Rest i oändligheten
I komplex analys , en gren av matematiken, är resten vid oändligheten en rest av en holomorf funktion på en ring med en oändlig yttre radie. Oändligheten är en punkt som läggs till det lokala utrymmet för att göra det kompakt (i detta fall är det en enpunktskomprimering ) . Detta mellanslag betecknat är isomorft till Riemann-sfären . Man kan använda resten i oändligheten för att beräkna några integraler .
Definition
Givet en holomorf funktion f på en ring (centrerad vid 0, med inre radie och oändlig yttre radie), resten vid oändligheten av funktionen f kan definieras i termer av den vanliga resten enligt följande:
Således kan man överföra studiet av i oändligheten till studiet av vid origo.
Observera att , vi har
Motivering
Man kan först gissa att definitionen av resten av f(z) vid oändligheten bara borde vara resten av f(1/z) vid z=0 . Anledningen till att vi istället betraktar -f(1/z)/z 2 är att man inte tar rester av funktioner utan av differentialformer , dvs resten av f(z)dz i oändligheten är resten av f( 1/z)d(l/z)=-f(l/z)dz/z2 vid z =0 .
Se även
- ^ Michèle Audin, Analyze Complexe , föreläsningsanteckningar från universitetet i Strasbourg tillgängliga på webben , s. 70–72
- Murray R. Spiegel, Variables complexes , Schaum, ISBN 2-7042-0020-3
- Henri Cartan , Théorie élémentaire des fonctions analytiques d'une ou plusieurs variabler complexes , Hermann, 1961
- Mark J. Ablowitz & Athanassios S. Fokas, Complex Variables: Introduction and Applications (andra upplagan), 2003, ISBN 978-0-521-53429-1 , P211-212.