משפט האינטגרל של קושי

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

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

ניסוח פורמלי

יהא $U\subset \mathbb{ℂ}$ תחום קושי כך שהשפה $\partial U$ היא איחוד סופי של תמונת מסילות סגורות, ותהי $f(z):\overline{U}\to \mathbb{ℂ}$ פונקציה רציפה על $\partial U$ והולומורפית ב-$U$. אז האינטגרל המסילתי ${\oint }_{\partial U}f(z)dz=0$, כאשר האינטגרל על שפת התחום הוא סכום סופי של אינטגרלים על מסילות סגורות שאיחוד תמונותיהן מהווה את השפה.

המשפט נובע מן הגרסה החלשה הבאה שלו: תהי $f$ הולומורפית ב-$D$ ו-$\mathrm{\Delta }$ משולש המוכל עם פנימו ב-$D$. אז ${\oint }_{\partial \mathrm{\Delta }}f(z)dz=0$.

הוכחה

תחילה, נניח $|{\oint }_{\partial \mathrm{\Delta }}f(z)dz|=S>0$. מתקיים ${\oint }_{\partial \mathrm{\Delta }}f(z)dz=\sum _{k=1}^4{\oint }_{\partial {\mathrm{\Delta }}_k^{(1)}}f(z)dz$, ו-$|{\oint }_{\partial \mathrm{\Delta }}f(z)dz|\le \sum _{k=1}^4|{\oint }_{\partial {\mathrm{\Delta }}_k^{(1)}}f(z)dz|$.

לכן $S\le \sum _{k=1}^4|{\oint }_{\partial {\mathrm{\Delta }}_k^{(1)}}f(z)dz|$, ומעקרון דיריכלה נובע שקיים $1\le k_0\le 4$ כך ש-$|{\oint }_{\partial {\mathrm{\Delta }}_k^{(1)}}f(z)dz|\ge \frac{S}{4}$.

נסמן ${\mathrm{\Delta }}_{k_0}^{(1)}={\mathrm{\Delta }}_1$. נמשיך כך ונקבל סדרת משולשים ${\mathrm{\Delta }}_0\supset {\mathrm{\Delta }}_1\supset {\mathrm{\Delta }}_2\supset ...\supset {\mathrm{\Delta }}_n$, כאשר $|{\oint }_{\partial {\mathrm{\Delta }}_n}f(z)dz|\ge \frac{S}{4^n}$.

לפי הלמה של קנטור, קיים $z_0$ כך ש-$\bigcap _{n=0}^{\mathrm{\infty }}{\mathrm{\Delta }}_n=\left\{z_0\right\}$. הנחנו ש-$f$ הולומורפית ב-$z_0$, ולכן מתקיים $f(z)=f(z_0)+f^{\prime }(z_0)(z-z_0)+\epsilon (z)(z-z_0)$, כאשר $\underset{z\to z_0}{\lim }\epsilon (z)=0$.

מכאן ש-$\frac{S}{4^n}\le |{\oint }_{\partial {\mathrm{\Delta }}_n}f(z)dz|=\left|{\oint }_{\partial {\mathrm{\Delta }}_n}\right[f(z_0)+f^{\prime }(z_0)(z-z_0)+\epsilon (z)(z-z_0)\left]dz\right|=(*)$.

עכשיו נסתכל על שני האיברים הראשונים: $(zf(z_0){)}^{\prime }=f(z_0),\left(\frac{f^{\prime }(z_0)(z-z_0{)}^2}{2}\right)=f^{\prime }(z_0)(z-z_0)$.

ניתן לראות שיש להם פונקציה קדומה, שהיא אנליטית בכל $\mathbb{ℂ}$, ובפרט ב-$D$, ולכן האינטגרל שלהם שווה ל-0 לפי המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי. ולכן מתקיים $(*)=|{\oint }_{\partial {\mathrm{\Delta }}_n}\epsilon (z)(z-z_0)dz|$.

נביט באורכי המסילות: $l({\mathrm{\Delta }}_0)=l,l({\mathrm{\Delta }}_1)=\frac{l}{2},...l({\mathrm{\Delta }}_n)=\frac{l}{2^n}$, כלומר, עבור $z\in \partial {\mathrm{\Delta }}_n$, $|z-z_0|<l({\mathrm{\Delta }}_n)=\frac{l}{2^n}$.

לפי הגדרת האינטגרל, אם $\gamma$ מסילה חלקה למקוטעין ו-$f$ רציפה על $\gamma$, אז $|{\oint }_{\gamma }f(z)dz|\le M\cdot l(\gamma )$, כאשר $M=max|f(z)|$ על $\gamma$ ו-$l(\gamma )$ הוא האורך של $\gamma$. לכן: $|{\oint }_{\partial {\mathrm{\Delta }}_n}\epsilon (z)(z-z_0)dz|\le max|\epsilon (z)|\cdot \frac{l}{2^n}\cdot l({\mathrm{\Delta }}_n)=max|\epsilon (z)|\cdot \frac{l^2}{4^n}$.

מכאן נובע: $\frac{S}{4^n}\le ma{x}_{\partial {\mathrm{\Delta }}_n}|\epsilon (z)|\cdot \frac{l^2}{4^n}$, ולאחר הכפלת שני הצדדים ב-$4^n$ נקבל $S\le ma{x}_{\partial {\mathrm{\Delta }}_n}|\epsilon (z)|\cdot l^2$.

אבל $\underset{n\to \mathrm{\infty }}{\lim }(ma{x}_{\partial {\mathrm{\Delta }}_n}|\epsilon (z)|\cdot l^2)=0$ (שכן מהגדרת $\epsilon (z)$ מתקיים $\underset{z\to z_0}{\lim }\epsilon (z)=0$, ו-$l^2$ קבוע), ולכן נקבל $S=0$ וזו סתירה להנחה המקורית.

ולכן נקבל $S=0$ כלומר ${\oint }_{T}f(z)dz=0$.

קישורים חיצוניים

• משפט האינטגרל של קושי, באתר MathWorld (באנגלית)

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

משפט האינטגרל של קושי33508198Q834025