‫פונקציות מרוכבות ושימושיהן (‪ - )80314‬תרגיל ‪8‬‬

‫אושר אלינגר | ‪322248105‬‬

‫‪  .1‬‬
‫נרצה להעביר את רבע המישור החיובי למעגל היחידה‪ .‬נשתמש בכך שהעתקת מוביוס מעבירה ישרים ומעגלים לישרים‬
‫ומעגלים‪ .‬ראינו בתרגול פונקציה המעבירה את הישר ‪ Im(z) = 0‬למעגל היחידה ‪ , | z | = 1‬נשים לב שעל ידי‬

‫= ) ‪. g( D‬‬ ‫ההעתקה ‪ g(z) = z 2‬נקבל כי ‪z Im(z) > 0‬‬

‫כעת נמצא העתקת מוביוס המעבירה את הישר ‪ Im(z) = 0‬למעגל היחידה ‪. | z | = 1‬‬
‫נסתכל על הישר ב ‪ 0‬וב ∞ ונקבל שני תנאים לנקודות על המעגל‪:‬‬
‫‪a‬‬
‫= )∞ ( ‪f‬‬ ‫‪∈ z |z| = 1‬‬
‫‪c‬‬
‫‪b‬‬
‫= )‪f ( 0‬‬ ‫‪∈ z |z| = 1‬‬
‫‪d‬‬
‫כיוון שכל נקודה על המעגל תספיק נבחר נקודות פשוטות‪:‬‬
‫‪a‬‬
‫= )∞ ( ‪f‬‬ ‫‪=1‬‬
‫‪c‬‬
‫‪b‬‬
‫= )‪f ( 0‬‬ ‫‪= -1‬‬
‫‪d‬‬
‫‪ ‬‬
‫תעבור לנקודה בתוך המעגל (ולא מחוצה‬ ‫הדרישה האחרונה כדי לקבוע את העתקת מוביוס ביחידות תהיה שנקודה ב ‪D‬‬
‫לו)‪ .‬לצורך כך נדרוש‬
‫‪f( i) = 0‬‬
‫נחשב את המקדמים של העתקת מביוס מתוך הדרישות‪:‬‬
‫‪a=c=1‬‬
‫‪b = -d‬‬
‫‪i+b‬‬
‫‪= 0 ⇒ i+b = 0 ⇒ b = -i‬‬
‫‪i+d‬‬
‫⇓‬
‫‪a = c = 1, b = -i, d = i‬‬
‫‪z-i‬‬
‫למעגל היחידה‪.‬‬ ‫‪z Im(z) > 0‬‬ ‫= )‪ f(z‬המעבירה את חצי המישור‬ ‫וקיבלנו את ההעתקה‬
‫‪z+i‬‬
‫כלומר סכ"ה ההעתקה‬

‫‪z2 - i‬‬
‫= )‪f ∘ g ( z‬‬
‫‪z2 + i‬‬
‫מעתיקה את התחום ‪ D‬למעגל היחידה כנדרש‪.‬‬
‫‪2.‬‬
‫‪  .2.1‬‬
‫‪ ‬‬

‫לא קיימת העתקה כזו כיוון שהעתקת מוביוס היא חח"ע ועל בניגוד לדרישה כי ‪.f(1) = 0, i‬‬
‫‪  .2.2‬‬

‫נבנה העתקה כזו‪:‬‬

‫‪d‬‬
‫‪f(-i) = ∞ ⇒ -‬‬ ‫‪= -i‬‬
‫‪c‬‬
‫‪b‬‬
‫⇒ ‪f ( 0) = - i‬‬ ‫‪= -i‬‬
‫‪d‬‬
‫‪b‬‬
‫‪f( i) = 0 ⇒ -‬‬ ‫‪=i‬‬
‫‪a‬‬
‫נפשט את הפונקציה על ידי הבחירה ‪ c = 1‬ונקבל‪:‬‬
‫‪d = i , b = 1 , a = i, c = 1‬‬
‫ולכן ההעתקה היא‪:‬‬
‫‪iz + 1‬‬
‫= )‪f ( z‬‬
‫‪z+i‬‬

‫‪  .2.3‬‬

‫‪c=1‬‬
‫‪a+b‬‬
‫= )‪f ( 1‬‬ ‫‪=4‬‬ ‫‪3‬‬ ‫‪3‬‬
‫‪c+d‬‬ ‫‪c=1‬‬ ‫=‪d‬‬ ‫)‪= - ( i + 2‬‬
‫‪ai + b‬‬ ‫)‪( i - 2‬‬ ‫‪5‬‬
‫‪a = 4 + 2d‬‬
‫= )‪f( i‬‬ ‫‪=1‬‬ ‫⇒‬ ‫⇒‬ ‫‪6‬‬
‫‪ci + d‬‬ ‫‪a = 1 + id‬‬ ‫)‪a = 4 - ( i + 2‬‬
‫‪b‬‬ ‫‪b = 2d‬‬ ‫‪5‬‬
‫‪f ( 0) = = 2‬‬ ‫‪6‬‬
‫‪d‬‬ ‫)‪b = - ( i + 2‬‬
‫‪5‬‬
‫כך הכל נקבל את הפונקציה‪:‬‬
 ‫‪8‬‬ ‫‪6‬‬ ‫‪6‬‬
‫‪5‬‬
‫)‪- 5 i ) z - 5 ( i + 2‬‬
‫= )‪f ( z‬‬
‫‪3‬‬
‫)‪z - 5 ( i + 2‬‬

‫‪  .3‬‬
‫‪z-1‬‬
‫= )‪f ( z‬‬
‫‪z+1‬‬
‫א‪ .‬תמונת הישר הממשי‪:‬‬
‫‪f ( ∞) = 1‬‬
‫‪f ( 0) = - 1‬‬
‫∞ = )‪f ( - 1‬‬
‫כיוון שההעתקה מעבירה לאינסוף זה אומר שהישר עבר לישר‪ .‬כיוון שמדובר בישר העובר ב ‪ ,1, -1‬נקבל כי התמונה‬
‫של הנשר הממשי תחת ‪ f‬היא הישר הממשי‪.‬‬
‫ב‪ .‬תמונת הישר המדומה‪:‬‬
‫‪f ( ∞) = 1‬‬
‫‪f ( 0) = - 1‬‬
‫אין ‪ z‬בתחום שיועבר לאינסוף ולכן הישר יעבור למעגל‪ .‬נמצא נקודה שלישית ונוכל לקבוע את המעגל ביחידות‪:‬‬
‫‪i-1‬‬ ‫‪( i - 1) 2‬‬ ‫‪-1 - 2i + 1‬‬
‫= )‪f( i‬‬ ‫‪= -‬‬ ‫‪= -‬‬ ‫‪=i‬‬
‫‪i+1‬‬ ‫‪2‬‬ ‫‪2‬‬
‫כלומר קיבלנו מעגל העובר בשלושה נקודות ולכן יחיד ‪ -‬מרכזו ב ‪ w0 = 0‬ורדיוסו ‪r = 1‬‬
‫ג‪ .‬תמונת המעגל ‪: | z | = 2‬‬
‫כיוון שאין נקודה שתועתק לאינסוף (‪ -1‬לא בתחום) אז אנו מחפשים מעגל‪ .‬נמצא ‪ 3‬נקודות שיקבעו אותו ביחידות‪:‬‬
‫‪2-1 1‬‬
‫= )‪f ( 2‬‬
‫=‬
‫‪2+1 3‬‬
‫‪-2 - 1‬‬
‫= )‪f ( - 2‬‬ ‫‪= -3‬‬
‫‪-2 + 1‬‬
‫‪2i - 1‬‬ ‫)‪(1 - 2i)(1 - 2i‬‬ ‫‪1 - 4i - 4 1‬‬
‫= )‪f(2i‬‬ ‫‪= -‬‬ ‫‪= -‬‬ ‫)‪= (4i + 3‬‬
‫‪2i + 1‬‬ ‫)‪(1 + 2i)(1 - 2i‬‬ ‫‪1+4‬‬ ‫‪5‬‬
‫כלומר מרכז המעגל יהיה ב‬
‫‪2‬‬
‫‪1‬‬ ‫‪2‬‬
‫‪x0 -‬‬ ‫‪+ y02 = r 2‬‬ ‫‪1‬‬
‫‪3‬‬ ‫‪x0 -‬‬ ‫‪= ( x 0 - 3) 2‬‬
‫‪3‬‬
‫‪(x0 - 3) 2 + y02 = r 2‬‬ ‫⇒‬ ‫‪2‬‬ ‫‪2‬‬
‫‪2‬‬ ‫‪2‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪4‬‬
‫‪3‬‬ ‫‪4‬‬ ‫)‪( x 0 - 3‬‬ ‫‪+ y02‬‬ ‫‪= x0 -‬‬ ‫‪+ y0 -‬‬
‫‪x0 -‬‬ ‫‪+ y0 -‬‬ ‫‪= r2‬‬ ‫‪5‬‬ ‫‪5‬‬
‫‪5‬‬ ‫‪5‬‬
 ‫‪5‬‬
‫= ‪x0‬‬
‫⇒‬ ‫‪3‬‬
‫‪y0 = 0‬‬
‫⇓‬
‫‪5‬‬
‫= ‪w0‬‬
‫‪3‬‬
‫‪2‬‬
‫‪5 1‬‬ ‫‪1‬‬
‫= ‪.r‬‬ ‫‪-‬‬ ‫‪=1‬‬ ‫רדיוס המעגל‪:‬‬
‫‪3 3‬‬ ‫‪3‬‬
‫ד‪ .‬תמונת המעגל ברדיוס ‪ 2‬סביב ‪:1‬‬
‫נשים לב כי התמונה צריכה להיות קו ישר כיוון ש ‪ -1‬נמצא בתחום ו ∞ = )‪.f(-1‬‬
‫∞ = )‪f ( - 1‬‬
‫‪3-1 1‬‬
‫= )‪f ( 3‬‬ ‫=‬
‫‪3+1 2‬‬
‫‪1 + 2i - 1‬‬ ‫‪i‬‬ ‫‪i(1 - i) i + 1‬‬
‫= )‪f(1 + 2i‬‬ ‫=‬ ‫=‬ ‫=‬
‫‪1 + 2i + 1 i + 1‬‬ ‫‪1+1‬‬ ‫‪2‬‬
‫כיוון שישר ניתן לחיזוי על ידי שתי נקודות נקבל את הישר‪:‬‬
‫‪1‬‬ ‫‪0‬‬
‫‪l:‬‬ ‫·‪+t‬‬
‫‪0‬‬ ‫‪1‬‬

‫‪.‬‬ ‫‪z ∈ C Re(z) = 1‬‬ ‫כלומר התחום יהיה‪:‬‬

‫‪  .4‬‬

‫נשים לב שנוכל להעביר את הישר ‪ Re(z) = 0‬לישר ‪ Im(z) = 0‬על ידי הוספת פאזה של חצי פאי היכולה להתקבל‬
‫על ידי חילוק‪/‬הכפלה ב ‪ .i‬נשים לב שהעתקת מוביוס עבור ‪ c = 0‬תתן לנו העתקה לינארית ולכן נוכל לבחור את‬
‫ההעתקה‪:‬‬
‫‪z‬‬
‫= )‪f ( z‬‬
‫‪i‬‬
‫דבר היכול להתקבל על‬ ‫המעבירה את הישר ‪ Re(z) = 0‬לישר ‪ .Im(z) = 0‬כעת נרצה להזיז את כל הישר "למעלה"‪.‬‬
‫ידי הזזה של ‪ - z‬חיסור ‪ .i‬ולכן ההעתקה שתקיים את הנתון תהיה‪:‬‬
‫‪z‬‬ ‫‪z-1‬‬
‫= )‪f ( z‬‬ ‫= ‪+i‬‬
‫‪i‬‬ ‫‪i‬‬
‫שזו העתקת מוביוס המעבירה את הישר ‪ Re(z) = 0‬לישר ‪ Im(z) = 1‬וגם מקיימת ‪( f(0) = i‬אפשר לבדוק‬
‫בקלות)‪.‬‬
 ‫‪1‬‬ ‫‪1‬‬
‫‪.‬‬ ‫כפי שראינו בהרצאות ההעתקה = )‪ f(z‬מעבירה את המעגל למעגל חדש (בכיוון ההפוך) ברדיוס‬
‫‪2‬‬ ‫‪z‬‬
‫‪4‬‬
‫כדי "לתקן" את רדיוס המעגל נכפיל פי ‪ 4‬את התוצאה כלומר ההעתקה = )‪ f(z‬תעתיק את המעגל ‪ | z | = 2‬למעגל‬
‫‪z‬‬
‫‪ | z | = 2‬ובנוסף תקיים ∞ = )‪ ,f(0‬כנדרש‪.‬‬
‫‪  .5‬‬
‫‪ ‬‬

‫‪ ‬‬

‫נפתור את המשוואה‪:‬‬
‫‪f(zstat ) = zstat‬‬
‫‪az + b‬‬ ‫‪d-a‬‬ ‫‪b‬‬
‫= )‪f ( z‬‬ ‫‪= z ⇒ az + b = cz 2 + dz ⇒ z 2 +‬‬ ‫‪z-‬‬ ‫‪=0‬‬
‫‪cz + d‬‬ ‫‪c‬‬ ‫‪c‬‬
‫⇓‬
‫‪1‬‬
‫= ‪zstat‬‬ ‫‪( a - d) ±‬‬ ‫‪( a - d) 2 - 4 · b‬‬
‫‪2c‬‬
‫לא מתאפס‪.‬‬ ‫ולכן ישנן מקסימום שתי נקודות שבת המתקבלות כאשר הביטוי ‪(b - d) 2 - 4 · b‬‬
‫‪ ‬‬

‫יהיה שווה ל ‪.0‬‬ ‫בכדי לקבל נקודת שבת אחת בלבד נדרוש כי הביטוי ‪(a - d) 2 - 4 · b‬‬
‫נוכל לבחור בהעתקה‪:‬‬
‫‪1‬‬
‫= )‪f ( z‬‬
‫‪z+4‬‬
‫ולכן נקבל נקודת שבת אחת בלבד‪.‬‬ ‫= ‪( a - d) 2 - 4 · b‬‬ ‫שכפי שניתן לראות מקיימת את הנדרש ‪4 - 4 = 0‬‬
‫‪ ‬‬
‫‪ ‬‬
‫‪ ‬‬
‫‪ ‬‬
‫‪ ‬‬
‫‪ ‬‬
‫‪ ‬‬
‫‪ ‬‬
‫‪ ‬‬
‫‪ ‬‬
‫‪ ‬‬
‫‪ ‬‬
‫‪ ‬‬
‫‪ ‬‬