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

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

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

ניסוח פורמלי

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

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

הוכחה

$D$ הוא התחום החסום על ידי העקום הגזיר למקוטעין הבנוי מ: $C_1,C_2,C_3,C_4$

$f=u+vi$ פונקציה הולומורפית בעלת נגזרות חלקיות רציפות במרחב פשוט קשר $D$ ועל שפתו $\partial D$ . מתקיים

$\underset{\partial D}{\oint }f(z)dz=\underset{\partial D}{\oint }(u+vi)(dx+dyi)=\underset{\partial D}{\oint }(udx-vdy)+i\underset{\partial D}{\oint }(vdx+udy)$

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

$\begin{array}{r}\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}\\ \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}\\ \underset{\partial D}{\oint }(udx-vdy)=\underset{D}{\iint }(-\frac{\partial v}{\partial x}-\frac{\partial u}{\partial y})dxdy=0\\ \underset{\partial D}{\oint }(vdx+udy)=\underset{D}{\iint }(\frac{\partial u}{\partial x}-\frac{\partial v}{\partial y})dxdy=0\end{array}$

כלומר $\underset{\partial D}{\oint }f(z)dz=0$ .

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