אנליזה מתקדמת למורים תרגול 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]

תרגיל

הוכיחו: [math]\displaystyle{ \sin(z+w)=\sin z\cos w+\cos z\sin w }[/math].

פתרון=

נפתח את צד ימין:

[math]\displaystyle{ \sin z\cos w+\cos z\sin w=\frac{e^{iz}-e^{-iz}}{2i}\cdot \frac{e^{iw}+e^{-iw}}{2}+\frac{e^{iz}+e^{-iz}}{2}\cdot \frac{e^{iw}-e^{-iw}}{2i}= }[/math]

[math]\displaystyle{ =\frac{1}{4i}(e^{iz}e^{iw}+e^{iz}e^{-iw}-e^{-iz}e^{iw}-e^{-iz}e^{-iw}+e^{iz}e^{iw}-e^{iz}e^{-iw}+e^{-iz}e^{iw}-e^{-iz}e^{-iw})=\frac{1}{4i}(2e^{iz}e^{iw}-2e^{-iz}e^{-iw})=\frac{e^{i(z+w)}-e^{-i(z+w)}}{2i}=\sin (z+w) }[/math]