Residyteoremet
I kompleks analyse, er residyteoremet, noen ganger kalt Cauchys residysetning, et kraftig verktøy for å evaluere linjeintegraler av komplekse analytiske funksjoner over lukkede kurver; det kan også brukes til å beregne reelle integraler og uendelig serie. Teoremet generaliserer Cauchy integralteorem og Cauchys integrerte formel. Fra et geometrisk perspektiv kan det sees på som et spesielt tilfelle av generalisert stokes teorem.
Uttalelse[rediger | rediger kilde]
Erklæringen er som følger:
La U være et enkelt lukket åpen mengde av de kompleks plan som inneholder en endelig liste over punktene a1, ..., an, U0 = U \ {a1, …, an}, og en funksjon f som er definert og holomorf på U0. La γ være en lukket korrigerbar kurve i U0, og betegn viklingsnummeret av γ rundt ak av I(γ, ak). Linjeintegralet til f rundt γ er lik 2πi ganger summen av residyene av f på punktene som er tellt like mange ganger som γ vikler seg rundt punktet:
Forholdet mellom restsetningen og Stokes teorem er gitt av Jordans curve theorem. Den generelle plan kurven γ må først reduseres til et sett med enkle lukkede kurver Mal:Mset hvis total tilsvarer γ for integrasjonsformål; dette reduserer problemet til å finne integralet av f dz langs en Jordan-kurve γi med i V på insiden. Kravet om at f skal være holomorf på U0 = U \ Mal:Mset tilsvarer uttalelsen om at utvendige derivater d(f dz) = 0 på U0. Dermed hvis to regioner av plan V og W av U omslutter samme delmengde Mal:Mset av Mal:Mset, vil regionene V \ W og W \ V ligger fullstendig innenfor U0. Dermed følger det at
For å evaluere reelle integraler brukes resedysetningen på følgende måte: integranden utvides til det komplekse planet og dets residyer blir beregnet (noe som vanligvis er enkelt), og en del av den virkelige aksen utvides til en lukket kurve ved å feste en halv sirkel i øvre eller nedre halvplan, og danner en halvsirkel. Integralet over denne kurven kan deretter beregnes ved hjelp av residyteoremet. Ofte vil halvsirkeldelen av integralet gå mot null ettersom radiusen til halvsirkelen vokser, og etterlater bare den reelle aksedelen av integralet, som vi opprinnelig var interessert i.
Referanser[rediger | rediger kilde]
- Ahlfors, Lars. Complex Analysis. McGraw Hill. ISBN 0-07-085008-9.
- Lindelöf, Ernst L. Le calcul des résidus et ses applications à la théorie des fonctions (fransk). Editions Jacques Gabay. ISBN 2-87647-060-8.
- Mitrinović, Dragoslav; Kečkić, Jovan. The Cauchy method of residues: Theory and applications. D. Reidel Publishing Company. ISBN 90-277-1623-4.
- Whittaker, E. T.; Watson, G. N. A Course of Modern Analysis (3rd utg.). Cambridge University Press.