ערך מחפש מקורות
רובו של ערך זה אינו כולל מקורות או הערות שוליים, וככל הנראה, הקיימים אינם מספקים. אנא עזרו לשפר את אמינות הערך באמצעות הבאת מקורות לדברים ושילובם בגוף הערך בצורת קישורים חיצוניים והערות שוליים . אם אתם סבורים כי ניתן להסיר את התבנית, ניתן לציין זאת בדף השיחה .
באנליזה מרוכבת , משפט האינטגרל של קושי-גורסה (על שמם של אוגוסטין קושי ואדואר גורסה (אנ' ) ) הוא משפט מרכזי ובעל השלכות רבות, העוסק בחישוב אינטגרל קווי של פונקציות מרוכבות הולומורפיות . בבסיסו, המשפט אומר שאם פונקציה היא הולומורפית בתחום פשוט קשר מסוים אז האינטגרל שלה לאורך מסלול סגור ופשוט המוכל בתחום מתאפס. ניתן להכליל את המשפט כך שאין צורך לדרוש שהמסלול יהיה פשוט אלא מספיק שיהיה סגור.
למשפט זה תוצאות חשובות רבות, כגון נוסחת האינטגרל של קושי , משפט ליוביל , המשפט היסודי של האלגברה , משפט השארית ועוד. מהמשפט ניתן גם להסיק כי פונקציות הולומורפיות הן אנליטיות , כלומר ניתן לפתח אותן לטור טיילור .
המשפט המקורי שקושי הוכיח כלל את ההנחה שהנגזרת
f
′
(
z
)
{\displaystyle f'(z)}
רציפה. כחצי מאה לאחר קושי, הוכיח אדואר גורסה את המשפט אך ללא הנחה זו. הוכחה זו משמעותית כי לאחר מכן ניתן להוכיח את נוסחת האינטגרל של קושי עבור פונקציות הולומורפיות, וממנה ניתן להוכיח שכל פונקציה הולומורפית היא אנליטית .
אם מניחים ש־
f
′
(
z
)
{\displaystyle f'(z)}
רציפה, ניתן להוכיח את משפט האינטגרל של קושי ישירות ממשפט גרין ומהעובדה שהחלקים הממשיים והמדומים של
f
=
u
+
i
v
{\displaystyle f=u+iv}
מקיימים את משוואות קושי-רימן בתחום התחום ב־
γ
{\displaystyle \gamma }
בפרט ובסביבה הפתוחה של התחום
U
{\displaystyle U}
בכלל. זו השיטה בה השתמש קושי להוכחת המשפט. מאוחר יותר הוכיח גורסה את המשפט בלי להניח את רציפות הנגזרת
f
′
(
z
)
{\displaystyle f'(z)}
. הוא לא היה צריך להניח את רציפות הנגזרת משום שהוכחתו לא נסמכה על אנליזה וקטורית .
ניתן להפריד את האינטגרנד
f
{\displaystyle f}
וכן את הדיפרנציאל
d
z
{\displaystyle dz}
לחלקיהם הממשיים והמדומים:
f
=
u
+
i
v
{\displaystyle f=u+iv}
d
z
=
d
x
+
i
d
y
{\displaystyle dz=dx+i\,dy}
במקרה זה קיבלנו:
∮
γ
f
(
z
)
d
z
=
∮
γ
(
u
+
i
v
)
(
d
x
+
i
d
y
)
=
∮
γ
(
u
d
x
−
v
d
y
)
+
i
∮
γ
(
v
d
x
+
u
d
y
)
{\displaystyle \oint _{\gamma }f(z)\,dz=\oint _{\gamma }(u+iv)(dx+i\,dy)=\oint _{\gamma }(u\,dx-v\,dy)+i\oint _{\gamma }(v\,dx+u\,dy)}
על פי משפט גרין, ניתן להחליף את האינטגרל הקווי על העקומה
γ
{\displaystyle \gamma }
באינטגרל הכפול על התחום
D
{\displaystyle D}
החסום על ידי
γ
{\displaystyle \gamma }
כדלהלן:
∮
γ
(
u
d
x
−
v
d
y
)
=
∬
D
(
−
∂
v
∂
x
−
∂
u
∂
y
)
d
x
d
y
{\displaystyle \oint _{\gamma }(u\,dx-v\,dy)=\iint _{D}\left(-{\frac {\partial v}{\partial x}}-{\frac {\partial u}{\partial y}}\right)\,dx\,dy}
∮
γ
(
v
d
x
+
u
d
y
)
=
∬
D
(
∂
u
∂
x
−
∂
v
∂
y
)
d
x
d
y
{\displaystyle \oint _{\gamma }(v\,dx+u\,dy)=\iint _{D}\left({\frac {\partial u}{\partial x}}-{\frac {\partial v}{\partial y}}\right)\,dx\,dy}
אך החלק הממשי והחלק המדמה של פונקציה הולומורפית בתחום
D
{\displaystyle D}
,
u
{\displaystyle u}
ו־
v
{\displaystyle v}
חייבים לקיים את משוואות קושי-רימן בתחום:
∂
u
∂
x
=
∂
v
∂
y
{\displaystyle {\frac {\partial u}{\partial x}}={\frac {\partial v}{\partial y}}}
∂
u
∂
y
=
−
∂
v
∂
x
{\displaystyle {\frac {\partial u}{\partial y}}=-{\frac {\partial v}{\partial x}}}
ומכך נובע ששני האינטגרנדים הם 0, ולכן גם האינטגרלים הם 0:
∬
D
(
−
∂
v
∂
x
−
∂
u
∂
y
)
d
x
d
y
=
∬
D
(
∂
u
∂
y
−
∂
u
∂
y
)
d
x
d
y
=
0
{\displaystyle \iint _{D}\left(-{\frac {\partial v}{\partial x}}-{\frac {\partial u}{\partial y}}\right)\,dx\,dy=\iint _{D}\left({\frac {\partial u}{\partial y}}-{\frac {\partial u}{\partial y}}\right)\,dx\,dy=0}
∬
D
(
∂
u
∂
x
−
∂
v
∂
y
)
d
x
d
y
=
∬
D
(
∂
u
∂
x
−
∂
u
∂
x
)
d
x
d
y
=
0
{\displaystyle \iint _{D}\left({\frac {\partial u}{\partial x}}-{\frac {\partial v}{\partial y}}\right)\,dx\,dy=\iint _{D}\left({\frac {\partial u}{\partial x}}-{\frac {\partial u}{\partial x}}\right)\,dx\,dy=0}
ולכן:
∮
γ
f
(
z
)
d
z
=
0
{\displaystyle \oint _{\gamma }f(z)\,dz=0}
מ.ש.ל
◼
{\displaystyle \blacksquare }
הוכחת משפט קושי-גורסה עבור מסלולים משולשיים
עריכה
תחילה, נניח
|
∮
∂
Δ
f
(
z
)
d
z
|
=
S
>
0
{\displaystyle \left|\oint _{\partial \Delta }f(z)\,dz\right|=S>0}
. מתקיים
∮
∂
Δ
f
(
z
)
d
z
=
∑
k
=
1
4
∮
∂
Δ
k
(
1
)
f
(
z
)
d
z
{\displaystyle \oint _{\partial \Delta }f(z)\,dz=\sum _{k=1}^{4}\oint _{\partial \Delta _{k}^{(1)}}f(z)\,dz}
, ו-
|
∮
∂
Δ
f
(
z
)
d
z
|
≤
∑
k
=
1
4
|
∮
∂
Δ
k
(
1
)
f
(
z
)
d
z
|
{\displaystyle \left|\oint _{\partial \Delta }f(z)\,dz\right|\leq \sum _{k=1}^{4}\left|\oint _{\partial \Delta _{k}^{(1)}}f(z)\,dz\right|}
.
לכן
S
≤
∑
k
=
1
4
|
∮
∂
Δ
k
(
1
)
f
(
z
)
d
z
|
{\displaystyle S\leq \sum _{k=1}^{4}\left|\oint _{\partial \Delta _{k}^{(1)}}f(z)\,dz\right|}
, ומעקרון דיריכלה נובע שקיים
1
≤
k
0
≤
4
{\displaystyle 1\leq k_{0}\leq 4}
כך ש-
|
∮
∂
Δ
k
(
1
)
f
(
z
)
d
z
|
≥
S
4
{\displaystyle \left|\oint _{\partial \Delta _{k}^{(1)}}f(z)\,dz\right|\geq {\frac {S}{4}}}
.
נסמן
Δ
k
0
(
1
)
=
Δ
1
{\displaystyle \Delta _{k_{0}}^{(1)}=\Delta _{1}}
. נמשיך כך ונקבל סדרת משולשים
Δ
0
⊃
Δ
1
⊃
Δ
2
⊃
.
.
.
⊃
Δ
n
{\displaystyle \Delta _{0}\supset \Delta _{1}\supset \Delta _{2}\supset ...\supset \Delta _{n}}
, כאשר
|
∮
∂
Δ
n
f
(
z
)
d
z
|
≥
S
4
n
{\displaystyle \left|\oint _{\partial \Delta _{n}}f(z)\,dz\right|\geq {\frac {S}{4^{n}}}}
.
לפי הלמה של קנטור , קיים
z
0
{\displaystyle z_{0}}
כך ש-
⋂
n
=
0
∞
Δ
n
=
{
z
0
}
{\displaystyle \bigcap _{n=0}^{\infty }\Delta _{n}=\left\{z_{0}\right\}}
. הנחנו ש-
f
{\displaystyle f}
הולומורפית ב-
z
0
{\displaystyle z_{0}}
, ולכן מתקיים
f
(
z
)
=
f
(
z
0
)
+
f
′
(
z
0
)
(
z
−
z
0
)
+
ε
(
z
)
(
z
−
z
0
)
{\displaystyle f(z)=f(z_{0})+f'(z_{0})(z-z_{0})+\varepsilon (z)(z-z_{0})}
, כאשר
lim
z
→
z
0
ε
(
z
)
=
0
{\displaystyle \lim _{z\rightarrow z_{0}}\varepsilon (z)=0}
.
מכאן ש-
S
4
n
≤
|
∮
∂
Δ
n
f
(
z
)
d
z
|
=
|
∮
∂
Δ
n
[
f
(
z
0
)
+
f
′
(
z
0
)
(
z
−
z
0
)
+
ε
(
z
)
(
z
−
z
0
)
]
d
z
|
=
(
∗
)
{\displaystyle {\frac {S}{4^{n}}}\leq \left|\oint _{\partial \Delta _{n}}f(z)\,dz\right|=\left|\oint _{\partial \Delta _{n}}{\big [}f(z_{0})+f'(z_{0})(z-z_{0})+\varepsilon (z)(z-z_{0}){\big ]}\,dz\right|=(*)}
.
עכשיו נסתכל על שני האיברים הראשונים:
(
z
f
(
z
0
)
)
′
=
f
(
z
0
)
,
(
f
′
(
z
0
)
(
z
−
z
0
)
2
2
)
′
=
f
′
(
z
0
)
(
z
−
z
0
)
{\displaystyle (zf(z_{0}))'=f(z_{0})\ ,\ \left({\frac {f'(z_{0})(z-z_{0})^{2}}{2}}\right)'=f'(z_{0})(z-z_{0})}
.
ניתן לראות שיש להם פונקציה קדומה , שהיא אנליטית בכל
C
{\displaystyle \mathbb {C} }
, ובפרט ב-
D
{\displaystyle D}
, ולכן האינטגרל שלהם שווה ל-0 לפי המשפט היסודי של החשבון הדיפרנציאלי והאינטגרלי . ולכן מתקיים
(
∗
)
=
|
∮
∂
Δ
n
ε
(
z
)
(
z
−
z
0
)
d
z
|
{\displaystyle (*)=\left|\oint _{\partial \Delta _{n}}\varepsilon (z)(z-z_{0})\,dz\right|}
.
נביט באורכי המסילות:
l
(
Δ
0
)
=
l
,
l
(
Δ
1
)
=
l
2
,
.
.
.
l
(
Δ
n
)
=
l
2
n
{\displaystyle l(\Delta _{0})=l\ ,\ l(\Delta _{1})={\frac {l}{2}}\ ,\ ...\ l(\Delta _{n})={\frac {l}{2^{n}}}}
, כלומר, עבור
z
∈
∂
Δ
n
{\displaystyle z\in \partial \Delta _{n}}
,
|
z
−
z
0
|
<
l
(
Δ
n
)
=
l
2
n
{\displaystyle \left|z-z_{0}\right|<l(\Delta _{n})={\frac {l}{2^{n}}}}
.
לפי הגדרת האינטגרל, אם
γ
{\displaystyle \gamma }
מסילה חלקה למקוטעין ו-
f
{\displaystyle f}
רציפה על
γ
{\displaystyle \gamma }
, אז
|
∮
γ
f
(
z
)
d
z
|
≤
M
⋅
l
(
γ
)
{\displaystyle \left|\oint _{\gamma }f(z)\,dz\right|\leq M\cdot l(\gamma )}
, כאשר
M
=
max
|
f
(
z
)
|
{\displaystyle M=\max \left|f(z)\right|}
על
γ
{\displaystyle \ \gamma }
ו-
l
(
γ
)
{\displaystyle l(\gamma )}
הוא האורך של
γ
{\displaystyle \gamma }
. לכן:
|
∮
∂
Δ
n
ε
(
z
)
(
z
−
z
0
)
d
z
|
≤
max
|
ε
(
z
)
|
⋅
l
2
n
⋅
l
(
Δ
n
)
=
max
|
ε
(
z
)
|
⋅
l
2
4
n
{\displaystyle \left|\oint _{\partial \Delta _{n}}\varepsilon (z)(z-z_{0})\,dz\right|\leq \max \left|\varepsilon (z)\right|\cdot {\frac {l}{2^{n}}}\cdot l(\Delta _{n})=\max \left|\varepsilon (z)\right|\cdot {\frac {l^{2}}{4^{n}}}}
.
מכאן נובע:
S
4
n
≤
max
∂
Δ
n
|
ε
(
z
)
|
⋅
l
2
4
n
{\displaystyle {\frac {S}{4^{n}}}\leq \max _{\partial \Delta _{n}}\left|\varepsilon (z)\right|\cdot {\frac {l^{2}}{4^{n}}}}
, ולאחר הכפלת שני הצדדים ב-
4
n
{\displaystyle 4^{n}}
נקבל
S
≤
max
∂
Δ
n
|
ε
(
z
)
|
⋅
l
2
{\displaystyle S\leq \ \max _{\partial \Delta _{n}}\left|\varepsilon (z)\right|\cdot l^{2}}
.
אבל
lim
n
→
∞
(
max
∂
Δ
n
|
ε
(
z
)
|
⋅
l
2
)
=
0
{\displaystyle \lim _{n\rightarrow \infty }\left(\max _{\partial \Delta _{n}}\left|\varepsilon (z)\right|\cdot l^{2}\right)=0}
(שכן מהגדרת
ε
(
z
)
{\displaystyle \varepsilon (z)}
מתקיים
lim
z
→
z
0
ε
(
z
)
=
0
{\displaystyle \lim _{z\rightarrow z_{0}}\varepsilon (z)=0}
, ו-
l
2
{\displaystyle l^{2}}
קבוע), ולכן נקבל
S
=
0
{\displaystyle S=0}
וזו סתירה להנחה המקורית.
ולכן נקבל
S
=
0
{\displaystyle S=0}
כלומר
∮
T
f
(
z
)
d
z
=
0
{\displaystyle \oint _{T}f(z)\,dz=0}
.
מ.ש.ל
◼
{\displaystyle \blacksquare }
^ על ידי בחירת הנורמל המצביע לתוך התחום
U
{\displaystyle U}