Teorema integrală a lui Cauchy este o teoremă de analiză complexă .
Afirmație
Teorema integrală a lui Cauchy afirmă că dată unei funcții holomorfe {\ textstyle f: A \ to \ mathbb {C}} , definit pe un domeniu {\ textstyle A} conectat simplu , pentru fiecare curbă închisă și regulată în bucăți
- {\ displaystyle \ gamma: [0,1] \ to A,}
ecuația se menține
- {\ displaystyle \ oint _ {\ gamma} f (z) \ mathop {\ mathrm {d} z} = 0.}
Demonstrație
Din teoria integrării complexe știm că integralul {\ textstyle f (z)} este dat de:
- {\ displaystyle \ oint _ {\ gamma} f (z) \ mathop {\ mathrm {d} z} = \ oint _ {\ gamma} [u (x, y) \ mathop {\ mathrm {d} x} - v (x, y) \ mathop {\ mathrm {d} y}] + i \ oint _ {\ gamma} [v (x, y) \ mathop {\ mathrm {d} x} + u (x, y) \ mathop {\ mathrm {d} y}],}
și folosind formula Gauss - Green obținem:
- {\ displaystyle \ oint _ {\ gamma} f (z) \ dz = \ iint _ {E} \ left [- {\ frac {\ partial v (x, y)} {\ partial x}} - {\ frac {\ partial u (x, y)} {\ partial y}} \ right] \ mathop {} \! \ mathrm {d} x \ mathop {} \! \ mathrm {d} y + i \ iint _ {E } \ left [{\ frac {\ partial u (x, y)} {\ partial x}} - {\ frac {\ partial v (x, y)} {\ partial y}} \ right] \ mathop {\ mathrm {d} x} \ mathop {\ mathrm {d} y} = 0;}
unde este {\ displaystyle E} este regiunea internă a {\ displaystyle \ gamma} . De fapt de atunci {\ displaystyle f (z)} este holomorf, ecuațiile Cauchy-Riemann susțin:
- {\ displaystyle u_ {x} = v_ {y} \ qquad u_ {y} = - v_ {x},}
care anulează integrandi, de unde și teza.
În ceea ce privește formele diferențiale, se poate spune, de asemenea, că forma diferențială :
- {\ displaystyle f (z) \ dz = \ left [u (x, y) \ dx-v (x, y) \ dy \ right] + i \ cdot \ left [v (x, y) \ dx + u (x, y) \ dy \ right].}
este o formă diferențială închisă dacă condițiile Cauchy-Riemann sunt valabile și exacte dacă domeniul este pur și simplu conectat .
Teorema continuă să se mențină pentru domeniile în care curba {\ displaystyle \ gamma} este granița domeniului pur și simplu conectat. Mai mult, dacă domeniul nu este conectat pur și simplu (a se vedea generalizarea de mai jos), dar constă uneori din curbe regulate, teorema continuă să se mențină, dar este necesar să se dea o orientare direcției de deplasare, prin convenție, domeniul trebuie să rămână întotdeauna la a plecat în timp ce călătorea pe curbe.
Această dovadă, care folosește formula Gauss-Green , necesită continuitatea derivatelor parțiale prime. Mai jos vedem dovada lui Edouard Goursat , care nu necesită ipoteza continuității primelor derivate. Din acest motiv, teorema lui Cauchy este numită și teorema Cauchy-Goursat.
Demonstrație Goursat
Calea către dovada lui Goursat a teoremei lui Cauchy
Dovada este împărțită în două părți: prima dovedește teorema în ipoteza că curba {\ displaystyle C} este o poligonală, în cea de-a doua rezultatul primului este folosit pentru a demonstra teorema pentru o curbă generică regulată în bucăți.
Partea 1: curbă poligonală
Mai întâi observăm că un poligon poate fi întotdeauna descompus în triunghiuri și, deoarece căile sunt întotdeauna în sens invers acelor de ceasornic, integralele de pe laturile comune între două triunghiuri (adică cele din interiorul poligonului) sunt anulate, apoi teza primei părți este echivalentă cu faptul decât pentru fiecare triunghi {\ displaystyle \ Delta \ subset A} da ai
- {\ displaystyle \ oint _ {\ partial \ Delta} f (z) \, dz = 0}
Să luăm apoi în considerare un triunghi generic {\ displaystyle \ Delta _ {0} \ subset A} și fie
- {\ displaystyle M = \ left | \ oint _ {\ partial \ Delta _ {0}} f (z) dz \ right |} .
Să construim patru sub-triunghiuri {\ textstyle \ Delta _ {0} ^ {(i)}, \ \ \ i \ in \ {1,2,3,4 \}} unirea punctelor medii ale {\ displaystyle \ Delta _ {0}} . Pentru construcție, lungimile perimetrelor sunt valabile {\ textstyle {\ frac {l_ {0}} {2}}} unde este {\ displaystyle l_ {0}} este lungimea perimetrului triunghiului inițial. Mai mult, având în vedere că (așa cum am spus mai înainte) integralele de pe părțile comune se anulează reciproc:
- {\ displaystyle {\ begin {align} M & = \ left | \ oint _ {\ partial \ Delta _ {0}} f (z) dz \ right | \\ & = \ left | \ sum _ {i = 1 } ^ {4} \ oint _ {\ partial \ Delta _ {0} ^ {(i)}} f (z) dz \ right | \\ & \ leq \ sum _ {i = 1} ^ {4} \ left | \ oint _ {\ partial \ Delta _ {0} ^ {(i)}} f (z) dz \ right | \ end {align}}}
Prin urmare
- {\ displaystyle \ există i \ în {1,2,3,4} \ \ \ tc \ left | \ oint _ {\ partial \ Delta _ {0} ^ {(i)}} f (z) dz \ right | \ geq {\ frac {M} {4}}} ,
și să spunem atunci {\ displaystyle \ Delta _ {1} = \ Delta _ {0} ^ {(i)}} . Procedăm în mod similar mai departe {\ displaystyle \ Delta _ {1}} construind un triunghi {\ displaystyle \ Delta _ {2}} astfel încât {\ textstyle l_ {2} = {\ frac {l_ {0}} {2 ^ {2}}}} Și
- {\ displaystyle \ left | \ oint _ {\ partial \ Delta _ {2}} f (z) dz \ right | \ geq {\ frac {M} {4 ^ {2}}}}
Prin iterație construim o succesiune de triunghiuri {\ displaystyle \ Delta _ {0} \ supset \ Delta _ {1} \ supset \ cdots \ supset \ Delta _ {n} \ supset \ Delta _ {n + 1} \ supset \ cdots} astfel încât {\ displaystyle l_ {n} = {\ frac {l_ {0}} {2 ^ {n}}}} și apoi
- {\ displaystyle \ left | \ oint _ {\ partial \ Delta _ {n}} f (z) dz \ right | \ geq {\ frac {M} {4 ^ {n}}}} .
Deoarece închiderile triunghiurilor sunt seturi compacte, intersecția lor nu este goală. [1]
Adică există un punct {\ displaystyle z_ {0} \ in {\ bar {\ Delta}} _ {n} \ quad \ forall n = 0,1,2, \ dots} . Acum diferențierea în {\ displaystyle z_ {0}} presupune că
- {\ displaystyle \ exists \ eta (z) {\ text {tc}} \ forall \ epsilon \ in \ mathbb {R} \ quad \ exists \ delta {\ text {tc}} {\ begin {cases} & | z -z_ {0} | <\ delta \ rightarrow | \ eta (z) | <\ epsilon \\ & {\ dfrac {f (z) -f (z_ {0})} {z-z_ {0}}} -f '(z_ {0}) = \ eta (z) \ end {cases}}}
si asta e
- {\ displaystyle f (z) = \ eta (z) (z-z_ {0}) + f '(z_ {0}) (z-z_ {0}) + f (z_ {0})} .
Acum este clar că puteți alege {\ displaystyle n} suficient de mare astfel încât {\ displaystyle \ Delta _ {n} \ subset B (z_ {0}, \ delta)} . De fapt, este suficient să alegi {\ displaystyle n} astfel încât {\ displaystyle l_ {n} <\ delta} . Apoi, deoarece este ușor să arătăm că integralul oricărei constante sau a oricărei funcții liniare pe o linie închisă este zero pe care îl deține
- {\ displaystyle {\ begin {align} \ oint _ {\ partial \ Delta _ {n}} f (z) dz & = \ oint _ {\ partial \ Delta _ {n}} f '(z_ {0}) (z-z_ {0}) + \ eta (z) (z-z_ {0}) + f (z_ {0}) dz \\ & = \ oint _ {\ partial \ Delta _ {n}} \ eta (z) (z-z_ {0}) dz \ end {align}}}
De aici rezultă că
- {\ displaystyle {\ begin {align} {\ frac {M} {4 ^ {n}}} & \ leq \ left | \ oint _ {\ partial \ Delta _ {n}} f (z) dz \ right | \\ & = \ left | \ oint _ {\ partial \ Delta _ {n}} \ eta (z) (z-z_ {0}) dz \ right | \\ & \ leq \ epsilon \ max _ {z \ în \ partial \ Delta _ {n}} | z-z_ {0} | l_ {n} \\ & \ leq \ epsilon l_ {n} ^ {2} \\ & = \ epsilon {\ frac {l_ {0 } ^ {2}} {4 ^ {n}}} \ end {align}}}
dar apoi{\ displaystyle M \ leq \ epsilon l_ {0} ^ {2}} și prin arbitrariul {\ displaystyle \ epsilon} urmează {\ displaystyle M = 0} , acesta este {\ textstyle \ oint _ {\ partial \ Delta _ {0}} f (z) dz = 0} care este teza primei părți.
Partea 2: curba generică
Acum ia în considerare o curbă generică {\ displaystyle C} . Dat {\ displaystyle \ rho> 0} ia în considerare întregul {\ displaystyle E = \ {z \ în A: d (z, C) = \ inf _ {\ zeta \ în C} d (\ zeta, z) \ leq \ rho \}} , care fiind compact oferă capacitatea de a se micșora {\ displaystyle f} la {\ displaystyle E} fiind pe el uniform continuu. Acesta este
- {\ displaystyle \ forall \ epsilon> 0 \ quad \ exists \ delta> 0: | z_ {1} -z_ {2} | <\ delta \ rightarrow | f (z_ {1}) - f (z_ {2}) | <\ epsilon}
de sine {\ displaystyle z_ {1}, z_ {2} \ în E} .
Lasă-i să fie atunci
- {\ displaystyle z_ {1}, z_ {2}, \ ldots, z_ {n} \ în C \ {\ text {tc}} \ L_ {k} <\ min \ {\ delta, \ rho \}}
unde este {\ displaystyle L_ {k}} este lungimea arcului de îmbinare {\ displaystyle z_ {k}} Și {\ displaystyle z_ {k-1}} , și așa să fie {\ displaystyle P_ {k}} segmentul de alăturare {\ displaystyle z_ {k}} Și {\ displaystyle z_ {k-1}} .
Atunci {\ textstyle P = \ bigcup _ {k = 1} ^ {n} P_ {k}} este un poligon conținut în {\ displaystyle E} . Intr-adevar
- {\ displaystyle z \ in P \ rightarrow \ există k \ in \ {1, \ ldots, n \}: z \ in P_ {k} \ rightarrow d (z, C) = \ inf _ {\ zeta \ in C } d (z, \ zeta) \ leq d (z, z_ {k}) \ leq d (z_ {k}, z_ {k-1}) \ leq \ rho \ rightarrow z \ in E}
dar atunci dacă {\ displaystyle \ zeta _ {1}, \ zeta _ {2} \ în P_ {k}} merita {\ displaystyle | f (\ zeta _ {1}) - f (\ zeta _ {2}) | <\ epsilon} pentru continuitate uniformă.
Notăm acum cu {\ displaystyle C_ {k} \ subset C} arcul de {\ displaystyle C} subtended de {\ displaystyle P_ {k}} . Acum observând acea ființă {\ displaystyle f (z_ {k})} o constantă se menține
- {\ displaystyle \ oint _ {C_ {k}} f (z_ {k}) dz = \ oint _ {P_ {k}} f (z_ {k}) dz}
și din faptul că integralul poligonului este zero pentru punctul anterior, se menține următorul lanț de inegalități:
- {\ displaystyle {\ begin {align} \ left | \ oint _ {C} f (z) dz \ right | & = \ left | \ oint _ {C} f (z) dz- \ oint _ {P} f (z) dz \ right | \\ & = \ left | \ sum _ {k = 1} ^ {n} \ left (\ oint _ {C_ {k}} f (z) dz- \ oint _ {P_ { k}} f (z) dz \ right) \ right | \\ & \ leq \ sum _ {k = 1} ^ {n} \ left | \ oint _ {C_ {k}} f (z) dz- \ oint _ {P_ {k}} f (z) dz \ right | \\ & = \ sum _ {k = 1} ^ {n} \ left | \ oint _ {C_ {k}} f (z) -f (z_ {k}) dz- \ oint _ {P_ {k}} f (z) -f (z_ {k}) dz \ right | \\ & \ leq \ sum _ {k = 1} ^ {n} \ left (\ left | \ oint _ {C_ {k}} f (z) -f (z_ {k}) dz \ right | + \ left | \ oint _ {P_ {k}} f (z) -f (z_ {k}) dz \ right | \ right) \\ & \ leq \ sum _ {k = 1} ^ {n} \ left (\ epsilon \ oint _ {C_ {k}} | dz | + \ epsilon \ oint _ {P_ {k}} | dz | \ right) \\ & \ leq 2 \ epsilon \ oint _ {P} | dz | \ end {align}}}
Prin urmare, teza rezultă din arbitrariul lui {\ displaystyle \ epsilon} .
Corolari
Curbe cu aceleași extreme
Este {\ textstyle f \ colon A \ to \ mathbb {C}} o funcție holomorfă definită pe un domeniu {\ textstyle A} pur și simplu conectat . De sine {\ textstyle \ gamma _ {1}, \ gamma _ {2}} sunt două curbe regulate uneori în {\ displaystyle A} care leagă două puncte {\ displaystyle P} Și {\ textstyle Q} , asa de:
- {\ displaystyle \ int _ {\ gamma _ {1}} f (z) \ mathop {\ mathrm {d} z} = \ int _ {\ gamma _ {2}} f (z) \ mathop {\ mathrm { d} z}.}
Cu alte cuvinte, integralul pe o curbă depinde doar de extreme.
Demonstrație
Este {\ displaystyle \ gamma} curba închisă obținută prin concatenare {\ displaystyle \ gamma _ {1}} Și {\ displaystyle \ gamma _ {2}} , acesta din urmă a călătorit în direcția opusă. Prin teorema lui Cauchy:
- {\ displaystyle \ oint _ {\ gamma} f (z) \ mathop {\ mathrm {d} z} = \ left (\ int _ {\ gamma _ {1}} - \ int _ {\ gamma _ {2} } \ right) f (z) \ mathop {\ mathrm {d} z} = 0,}
adică
- {\ displaystyle \ int _ {\ gamma _ {1}} f (z) \ mathop {\ mathrm {d} z} = \ int _ {\ gamma _ {2}} f (z) \ mathop {\ mathrm { d} z}.}
Existența unui primitiv
Fiecare funcție holomorfă
- {\ displaystyle f \ colon A \ to \ mathbb {C},}
definit pe o deschidere conectată simplu {\ displaystyle A} admite o primitivă {\ displaystyle F} . Adică există o funcție holomorfă
- {\ displaystyle F \ colon A \ to \ mathbb {C},}
astfel încât {\ displaystyle F '(z) = f (z)} pentru fiecare {\ displaystyle z} în {\ displaystyle A} .
Demonstrație
Functia {\ displaystyle F} este definit după cum urmează. Un punct este fix {\ displaystyle z_ {0}} din {\ displaystyle A} și apare
- {\ displaystyle F (z): = \ int _ {\ delta _ {z}} f (\ zeta) \ mathop {\ mathrm {d} \ zeta},}
pentru orice curbă lină {\ displaystyle \ delta _ {z}} în {\ displaystyle A} care leagă {\ displaystyle z_ {0}} la {\ displaystyle z} . Pentru rezultatul anterior {\ displaystyle F (z)} nu depinde de arc {\ displaystyle \ delta _ {z}} și, prin urmare, este bine definit.
Functia {\ displaystyle F} este de fapt holomorf și derivatul său este propriu-zis {\ displaystyle f} . Acest lucru poate fi verificat după cum urmează:
- {\ displaystyle \ lim _ {h \ to 0} {\ frac {F (z + h) -F (z)} {h}} = \ lim _ {h \ to 0} {\ frac {1} {h }} \ left (\ int _ {\ delta _ {z + h}} f (\ zeta) \ mathop {\ mathrm {d} \ zeta} - \ int _ {\ delta _ {z}} f (\ zeta ) \ mathop {\ mathrm {d} \ zeta} \ right).}
Luând ca{\ displaystyle \ delta _ {z + h}} concatenarea a {\ displaystyle \ delta _ {z}} oricare și o mică curbă {\ displaystyle \ gamma _ {h}} care se alătură {\ displaystyle z} Și {\ displaystyle z + h} , acest lucru este echivalent cu
- {\ displaystyle \ lim _ {h \ to 0} {\ frac {1} {h}} \ int _ {\ gamma _ {h}} f (\ zeta) \ mathop {\ mathrm {d} \ zeta} = f (z).}
Generalizarea teoremei lui Cauchy
Multiplicarea domeniului conectat pentru generalizarea teoremei integrale a lui Cauchy
Teorema integrală Cauchy poate fi, de asemenea, generalizată la mai multe domenii de conexiune: date {\ displaystyle f (z)} analize într-un domeniu {\ displaystyle A} (în albastru) orice cu interior (în roșu în figură) zone care nu aparțin domeniului respectiv. Desenăm o curbă orientată {\ displaystyle \ Gamma} reclama interna {\ displaystyle A} dar care conține toate zonele deconectate {\ displaystyle A '} (în violet) și trasați curbe în jurul acestora {\ displaystyle l_ {1}, l_ {2}, l_ {3}} alătură-te curbei {\ displaystyle \ Gamma} din {\ displaystyle d_ {1}, d_ {2}, d_ {3}, d_ {4}} . Toate curbele sunt acoperite în așa fel încât să lase domeniul în stânga (în mov). Atunci:
- {\ displaystyle {\ begin {align} \ oint _ {\ Gamma} f (z) \ mathop {\ mathrm {d} \ zeta} & + \ sum _ {i = 1} ^ {4} \ int _ {d_ {i}} f (z) \ mathop {\ mathrm {d} \ zeta} + \\\ sum _ {j = 1} ^ {3} \ int _ {- l_ {i}} f (z) \ mathop {\ mathrm {d} \ zeta} & - \ sum _ {i = 1} ^ {4} \ int _ {d_ {i}} f (z) \ mathop {\ mathrm {d} \ zeta} = 0. \ end {align}}}
Din moment ce curbele {\ displaystyle d_ {i}} sunt parcurse în ambele direcții, în timp ce curbele sunt anulate {\ displaystyle l_ {i}} sunt călătoriți în sens invers a {\ displaystyle \ Gamma} . Prin urmare:
- {\ displaystyle \ oint _ {\ Gamma} f (z) \ mathop {\ mathrm {d} z} + \ sum _ {j = 1} ^ {3} \ int _ {- l_ {i}} f (z ) \ mathop {\ mathrm {d} z} = 0,}
acesta este:
- {\ displaystyle \ oint _ {\ Gamma} f (z) \ mathop {\ mathrm {d} z} = \ sum _ {i = 0} ^ {3} \ oint _ {l_ {i}} f (z) \ mathop {\ mathrm {d} z}}
În acest fel poate fi generalizată teorema integrală a lui Cauchy pe domenii conectate multiple.
Notă
- ^ (EN) Walter Rudin, Principiile analizei matematice, 1976.
Bibliografie
- ( EN ) Arfken, G. „Teorema integrală a lui Cauchy”. §6.3 în Metode matematice pentru fizicieni , ed. A III-a. Orlando, FL: Academic Press, pp. 365-371, 1985.
- ( EN ) Kaplan, W. "Integrale ale funcțiilor analitice. Teorema integrală a lui Cauchy." §9.8 în Calcul avansat , ediția a IV-a. Reading, MA: Addison-Wesley, pp. 594-598, 1991.
- (EN) Knopp, K. „Teorema integrală a lui Cauchy”. Cap. 4 în Teoria funcțiilor părțile I și II, două volume legate ca una, partea I. New York: Dover, pp. 47-60, 1996.
- ( EN ) Krantz, SG „Teorema și formula integrale a lui Cauchy”. §2.3 în Manualul variabilelor complexe . Boston, MA: Birkhäuser, pp. 26-29, 1999.
- ( EN ) Morse, PM și Feshbach, H. Metode de fizică teoretică, Partea I. New York: McGraw-Hill, pp. 363-367, 1953.
- ( EN ) Woods, FS "Integral of a Complex Function." §145 în Calcul avansat: un curs organizat cu referire specială la nevoile elevilor de matematică aplicată . Boston, MA: Ginn, pp. 351-352, 1926.
- Bernardini, Ragnisco, Santini "Metode matematice de fizică, Carocci editore" pp 84-88, 2002.
Elemente conexe
linkuri externe