אנליזה מתקדמת למורים תרגול 6
חזרה ל מערכי תרגול.
אקסופנט
ראינו בשבוע שעבר שהפונקציה [math]\displaystyle{ f(x+yi)=e^x(\cos y+i\sin y) }[/math] גזירה ומקיימת [math]\displaystyle{ f'(z)=f(z) }[/math], וראיתם בהרצאה שהיא מקיימת את כל התכונות הנדרשות לפונקציית האקספוננט, ולכן הגדרנו: [math]\displaystyle{ e^z=e^x(\cos y+i\sin y) }[/math].
לדוגמא, נחשב [math]\displaystyle{ e^{1+\frac{\pi}{4}i} }[/math]:
[math]\displaystyle{ e^{1+\frac{\pi}{4}i}=e^1(\cos \frac{\pi}{4} +i\sin \frac{\pi}{4})=e(\frac{\sqrt{2}}{2}+\frac{\sqrt{2}}{2}i)=\frac{e\sqrt{2}}{2}+\frac{\sqrt{2}}{2}i }[/math].
תרגיל
כידוע, בממשיים מתקיים [math]\displaystyle{ e^x\gt 0 }[/math]. מה לגבי המרוכבים? האם קיים [math]\displaystyle{ z\in \mathbb{C} }[/math] כך ש [math]\displaystyle{ e^z }[/math] הוא ממשי וקטן מאפס?
פתרון
כן! נתחיל מדוגמא, ואז נבין את הפתרון הכללי. נחפש [math]\displaystyle{ x,y\in \mathbb{R} }[/math] כך ש [math]\displaystyle{ e^x(\cos y+i\sin y)=-e }[/math].
ראשית, כדי שהתוצאה תהיה ממשית דרוש [math]\displaystyle{ \sin y=0 }[/math], ולכן [math]\displaystyle{ y=0+\pi k }[/math]. כעת נקבל [math]\displaystyle{ \cos y\in \{-1,0,1\} }[/math], וכיון שאנחנו רוצים לקבל מספר שלילי נרצה [math]\displaystyle{ \cos y=-1 }[/math], ולכן ניקח [math]\displaystyle{ y=\pi }[/math].
מה שקיבלנו עד כה זה [math]\displaystyle{ e^{x+\pi i}=-e^x }[/math], ולכן אם ניקח [math]\displaystyle{ x=\ln e=1 }[/math] נקבל [math]\displaystyle{ e^{1+\pi i}=-e }[/math] כדרוש.
באופן כללי: יהי [math]\displaystyle{ t\lt 0 }[/math] ממשי. נבחר [math]\displaystyle{ z=\ln |t|+\pi i }[/math] ונקבל [math]\displaystyle{ e^z=-e^{\ln |t|}=-|t|=t }[/math].
תרגיל
הוכיחו שמתקיים: [math]\displaystyle{ e^{\overline{z}}=\overline{e^z} }[/math]
פתרון
לפי הגדרה: [math]\displaystyle{ e^{\overline{z}}=e^{x-yi}=e^x(\cos(-y)+i\sin(-y))=e^x(\cos y-i\sin y)=\overline{e^x(\cos y+i\sin y)}=\overline{e^z} }[/math].
טריגו
הגדרתם בהרצאה את הפונקציות הטריגונומטריות [math]\displaystyle{ \sin z=\frac{e^{iz}-e^{-iz}}{2i},\cos z=\frac{e^{iz}+e^{-iz}}{2} }[/math].
לדוגמא, נחשב:
[math]\displaystyle{ \sin(\frac{\pi}{4}+i)=\frac{e^{i(\frac{\pi}{4}+i)}-e^{-i(\frac{\pi}{4}+i)}}{2i}=\frac{e^{-1+\frac{\pi}{4}i}-e^{1-\frac{\pi}{4}i}}{2i}= }[/math]
[math]\displaystyle{ =\frac{e^{-1}(\frac{\sqrt{2}}{2}+\frac{\sqrt{2}}{2}i)-e(\frac{\sqrt{2}}{2}-\frac{\sqrt{2}}{2}i)}{2i}=\frac{\frac{\sqrt{2}}{2}(\frac{1}{e}-e)+\frac{\sqrt{2}}{2}(\frac{1}{e}+e)i}{2i}=\frac{\sqrt{2}}{4}(\frac{1}{e}+e)-\frac{\sqrt{2}}{4}(\frac{1}{e}-e)i }[/math]