הצגת המקור של הדף "למת ז'ורדן"

ב[[אנליזה מרוכבת]], '''למת ז'ורדן''' היא תוצאה שימושית, המיושמת בדרך כלל ביחד עם [[משפט השארית]] כדי לחשב [[אינטגרל קווי|אינטגרלים קוויים]] (ב[[המישור המרוכב|מישור המרוכב]]) ו[[אינטגרל לא אמיתי|אינטגרלים לא אמיתיים]]. הלמה נקראת על שם ה[[מתמטיקאי]] [[צרפתים|הצרפתי]] [[קאמי ז'ורדן]].

== ניסוח הלמה ==
נתייחס ל[[פונקציה מרוכבת]] ו[[פונקציה רציפה|רציפה]] ''f'' המוגדרת על מסילה חצי-מעגלית:

:<math>C_R = \{R e^{i \theta} \mid \theta \in [0, \pi]\}</math>

שלה [[רדיוס]] חיובי ''R'', הנמצאת בחצי המישור העליון ושמרכזה בראשית. אם הפונקציה ''f'' היא מהצורה:

:<math>f(z) = e^{i a z} g(z), \quad z \in C_R ,</math>

עם פרמטר ''a'' חיובי, אז למת ז'ורדן היא האי-שוויון הבא עבור האינטגרל לאורך המסלול החצי-מעגלי:
:<math>\left| \int_{C_R} f(z) \, dz \right| \le \frac{\pi}{a} M_R \quad \text{where} \quad M_R := \max_{\theta \in [0,\pi]} \left| g \left(R e^{i \theta}\right) \right|</math>.

כאשר שוויון בין אגף שמאל לחסם העליון שבאגף ימין מושג כאשר ''g'' מתאפסת בכל מקום על המסילה, ובמקרה זה שני האגפים הם זהותית אפס. טענה אנלוגית תופסת עבור מסלול אינטגרציה חצי-מעגלי בחצי המישור התחתון כאשר <math>0>a</math>.

אם ''f'' רציפה על המסילה החצי-מעגלית ''C<sub>R</sub>'' בעבור ''R'' גדול במידה שרירותית ו-

(*) <math>\lim_{R \to \infty} M_R = 0</math>

אז לפי למת ז'ורדן:
<math>\lim_{R \to \infty} \int_{C_R} f(z)\, dz = 0</math>.

== יישום של למת ז'ורדן ==
[[קובץ:Jordan's Lemma.svg|שמאל|ממוזער|300px|המסילה ''C'' היא השרשור של המסילות ''C''<sub>1</sub> ו-''C''<sub>2</sub>.]]

למת ז'ורדן מספקת דרך נוחה לחשב את האינטגרל לאורך הציר הממשי של פונקציות מהצורה <math>f(z)=e^{iaz} g(z)</math> שהן [[פונקציה הולומורפית|הולומורפיות]] בחצי המישור העליון ורציפות בחצי המישור העליון הסגור למעט אולי מספר סופי של נקודות <math>z_1, z_2, ... z_n</math> במישור המרוכב. אינטגרלים מסוג זה מופיעים כאשר מוצאים [[התמרת פורייה]] או [[התמרת לפלס]] של פונקציות מסוימות, כך שלמת ז'ורדן היא שימושית ביותר בחישובים כאלו. כדי להיווכח בכך, נסתכל על המסילה הסגורה ''C'' שהיא שרשור המסלולים <math>C_1, C_2</math> הנראים באיור. לפי הגדרה
:<math>\oint_C f(z) \, dz = \int_{C_1}f(z)\,dz + \int_{C_2} f(z)\,dz\,</math>.

מכיוון שעל ''C''<sub>2</sub> המשתנה ''z'' הוא ממשי, האינטגרל השני הוא ממשי:
:<math>\int_{C_2} f(z) \, dz = \int_{-R}^{R} f(x)\,dx\,</math>.

אגף שמאל יכול להיות מחושב בעזרת [[משפט השארית]] וכך נקבל, עבור כל ''R'' הגדול יותר מהמקסימום של <math>|z_1|, |z_2|, ... |z_n|</math>, ש-
:<math>\oint_{C} f(z)\, dz = 2\pi i \sum_{k=1}^n \operatorname{Res}(f, z_k)</math>

כאשר <math>\operatorname{Res}(f, z_k)</math> מסמל את השארית של ''f'' בנקודות הסינגולריות ''z<sub>k</sub>''. לפיכך, אם ''f'' מקיימת את התנאי (*), אז לאחר לקיחת הגבול שבו רדיוס החלק המעגלי של המסילה ''R'' שואף לאינסוף, האינטגרל המסילתי לאורך ''C''<sub>1</sub> מתאפס לפי למת ז'ורדן ומתקבל ערך האינטגרל הלא אמיתי

:<math>\int_{-\infty}^{\infty} f(x)\,dx = 2\pi i \sum_{k=1}^n \operatorname{Res}(f, z_k)\,</math>.

== דוגמה ==
הפונקציה
:<math>f(z)=\frac{e^{iz}}{1+z^2},\qquad z\in{\mathbb C}\setminus\{i,-i\},</math>

מקיימת את התנאי של למת ז'ורדן עבור כל <math>R</math> גדול מ-''0'' ושונה מ-''1'', והפרמטר ''a'' שלה הוא ''1''. נשים לב שבעבור <math>R > 1</math>,
:<math>M_R=\max_{\theta\in[0,\pi]}\frac1{|1+R^2e^{2i\theta}|}=\frac1{R^2-1}\,</math>,

ולכן התנאי (*) תופס. מכיוון שה[[קוטב (אנליזה מרוכבת)|קוטב]] היחידי של ''f'' בחצי המישור העליון הוא ב־<math>z=i</math>, היישום לעיל מניב
:<math>\int_{-\infty}^\infty \frac{e^{ix}}{1+x^2}\,dx=2\pi i\,\operatorname{Res}(f,i)\,</math>.

מכיוון ש־<math>z=i</math> הוא קוטב פשוט של ''f'' ו־<math>z^2+1=(z+i)(z-i)</math>, מקבלים
:<math>\operatorname{Res}(f,i)=\lim_{z\to i}(z-i)f(z)
=\lim_{z\to i}\frac{e^{iz}}{z+i}=\frac{e^{-1}}{2i}</math>

כך ש-
:<math>\int_{-\infty}^\infty \frac{\cos x}{1+x^2}\,dx=\operatorname{Re}\int_{-\infty}^\infty \frac{e^{ix}}{1+x^2}\,dx=\frac{\pi}{e}\,</math>.

תוצאה זו מדגימה את האופן שבו ניתן לחשב בקלות, בעזרת אנליזה מרוכבת, אינטגרלים שקשה לחשב בעזרת שיטות קלאסיות.

== הוכחת למת ז'ורדן ==
לפי הגדרת האינטגרל המרוכב הקווי נקבל
:<math> \int_{C_R} f(z)\, dz
=\int_0^\pi g(Re^{i\theta})\,e^{iaR(\cos\theta+i \sin\theta)}\,i Re^{i\theta}\,d\theta
=R\int_0^\pi g(Re^{i\theta})\,e^{aR(i\cos\theta-\sin\theta)}\,ie^{i\theta}\,d\theta\,
</math>.

בעוד [[אי שוויון המשולש]] בגרסתו האינטגרלית
:<math> \biggl|\int_a^b f(x)\,dx\biggr|\le\int_a^b \left|f(x)\right|\,dx</math>

נותן:
:<math> I_R:=\biggl|\int_{C_R} f(z)\, dz\biggr|
\le R\int_0^\pi\bigl|g(Re^{i\theta})\,e^{aR(i\cos\theta-\sin\theta)}\,ie^{i\theta} \bigr|\,d\theta
=R\int_0^\pi \bigl|g(Re^{i\theta})\bigr|\,e^{-aR\sin\theta}\,d\theta\,
</math>.

בעזרת שימוש בהגדרת ''M<sub>R</sub>'' כפי שמופיעה בניסוח של למת ז'ורדן ובסימטריה <math>\sin \theta = \sin (\pi - \theta)</math>, נקבל
:<math> I_R \le RM_R\int_0^\pi e^{-aR\sin\theta}\,d\theta = 2RM_R\int_0^{\pi/2} e^{-aR\sin\theta}\,d\theta\,</math>.

מקעירות [[גרף של פונקציה|גרף הפונקציה]] <math>\sin \theta</math> באינטרוול <math>\theta \in [0, \pi/2]</math> נובע שהוא נמצא מעל הקו הישר שמחבר בין נקודות הקצה שלו <math>(0,0)</math> ו-<math>(\pi / 2, 1)</math>, ולפיכך
:<math>\sin\theta\ge \frac{2\theta}{\pi}\quad</math>

בעבור כל <math>\theta \in [0, \pi/2]</math>, מה שגורר גם
:<math>I_R
\le 2RM_R \int_0^{\pi/2} e^{-2aR\theta/\pi}\,d\theta
=\frac{\pi}{a} (1-e^{-a R}) M_R\le\frac\pi{a}M_R\,</math>.

== ראו גם ==
* [[שיטות אנליטיות לחישוב אינטגרלים מסוימים]]

==קישורים חיצוניים==
* {{MathWorld}}

[[קטגוריה:אנליזה מרוכבת]]