Komplex analys - lösa integral med residykalkyl
Hej!
Jag sitter med b)-uppgiften nedan från en gammal tentamen i komplex analys och skulle behöva lite vägledning och även hjälp att se om mina logiska slutledningnar är korrekta.

Vi inleder med att beteckna den sökta integralen med och att definiera en komplex funktion enligt
samt två kurvor i planet enligt
Notera speciellt att
Eftersom är en enkel, positivt orienterad och sluten kurva, inom och på vilken är analytisk, förutom för tillräckligt stora vid en uppräknelig mängd isolerade singulariteter , gäller det enligt Cauchys residysats att
För tillräckligt stora ser vi att har en pol av ordning inom , nämligen vid . Residyn i denna punkt ges av
Vi inför en variabel och härleder ett allmänt uttryck för derivatan för . Sedan kan vi stoppa in . Vi ser att
Så då har vi
Gränsvärdet utvärderas nu trivialt:
Om vi återgår till Residysatsen har vi nu alltså
Vi har då alltså:
Nu gäller det bara att lyckas beräkna den andra integralen, men här är jag lite fast. Helst skulle jag vilja använda typ -olikheten på något sätt men jag är osäker på de tekniska detaljerna.
Sätt in parametriseringen av kurvan och sedan är det "bara" triangelolikhet som behövs för att visa att gränsvärdet är noll.
.
Triangelolikheten ger att .
Visa spoiler
Därmed blir
då
Jag hänger inte riktigt med på vad som händer här. Jag köper olikheten med beloppen. Men sedan hänger jag inte riktigt med. Är tanken att
Och eftersom triangelolikheten ger att , så måste
varför
och eftersom något större eller lika stort än beloppet av vår integral går mot noll, måste beloppet av vår integral gå mot noll, och då också alltså själva integralen (beloppet kan enbart gå mot noll om integralen går mot noll)?
Hur som helst, om vi vet att
då har vi att
Speciellt för (den första deluppgiften) har vi att
Vilket är rätt svar.
Hur som helst undrar jag om mitt resonemang och mina slutledningar är logiskt korrekta? Jag har försökt motivera varje steg så noggrant som möjligt och explicit förklara varför t.ex. residysatsen är tillämpbar här.
naytte skrev:...
och eftersom något större eller lika stort än beloppet av vår integral går mot noll, måste beloppet av vår integral gå mot noll, och då också alltså själva integralen (beloppet kan enbart gå mot noll om integralen går mot noll)?
Exakt.
Det gäller även för komplexvärda gränsvärden att
om och endast om
Sedan är det bara den vanliga instängningssatsen för reellvärda gränsvärden:
så
.
Btw: Det gick också att skaffa sig en ML-olikhet som dock också baseras på triangelolikheten:
(OBS: Olikhetshantering som ovan är korrekt endast under förutsättningen att . Vi vill att , så det är inget problem egentligen.)
Halvcirkelns längd är då , så .