4 svar
59 visningar
naytte 8166 – Moderator
Postad: Igår 19:46 Redigerad: Igår 20:06

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 II och att definiera en komplex funktion ff enligt

fz=11+z2N\displaystyle f\left(z\right)=\frac{1}{\left(1+z^2\right)^N}

samt två kurvor i planet enligt

γ1R:zt=t,t-R,Rγ2R:zt=Reiθ,θ0,π\displaystyle \left\{\begin{array}{ll}\gamma_1\left(R\right):z\left(t\right)=t,& t\in\left[-R,R\right]\\gamma_2\left(R\right): z\left(t\right)=Re^{i\theta},& \theta \in\left[0,\pi\right] \end{array}\right.

Notera speciellt att

I=limRγ1Rfzdz=:limRIR\displaystyle I=\lim_{R\to \infty} \int_{\gamma_1\left(R\right)}f\left(z\right)dz=:\lim_{R\to\infty} I_R

Eftersom ΓR:=γ1Rγ2R\Gamma\left(R\right) :=\gamma_1\left(R\right) \cup \gamma_2\left(R\right) är en enkel, positivt orienterad och sluten kurva, inom och på vilken ff är analytisk, förutom för tillräckligt stora RR vid en uppräknelig mängd isolerade singulariteter z0,,znz_0,\dots, z_n, gäller det enligt Cauchys residysats att

ΓRfzdz=2πij=1nReszj\displaystyle \oint_{\Gamma\left(R\right)}f\left(z\right)dz=2\pi i\sum_{j=1}^{n}\mathrm{Res}\left(z_j\right)

För tillräckligt stora RR ser vi att ff har en pol av ordning NN inom ΓR\Gamma\left(R\right), nämligen vid z=iz=i. Residyn i denna punkt ges av

Resi=limzi1N-1!dN-1dzN-1z-iNfz=limzi1N-1!dN-1dzN-1z+i-N\displaystyle \mathrm{Res}\left(i\right)= \lim_{z\to i}\frac{1}{\left(N-1\right)!}\frac{d ^{N-1}}{{dz}^{N-1}}\left(\left(z-i\right)^N f\left(z\right)\right)=\lim_{z\to i}\frac{1}{\left(N-1\right)!}\frac{d ^{N-1}}{{dz}^{N-1}}\left(z+i\right)^{-N}

Vi inför en variabel kN>0k\in \mathbb{N}_{\gt 0} och härleder ett allmänt uttryck för derivatan för kk. Sedan kan vi stoppa in k=N-1k=N-1. Vi ser att

dkdzkz+i-N=-1kN+k-1!N-1!z+i-N+k\displaystyle \frac{d ^{k}}{{dz}^{k}}\left(z+i\right)^{-N}=\frac{\left(-1\right)^k\left(N+k-1\right)!}{\left(N-1\right)!}\left(z+i\right)^{-\left(N+k\right)}

Så då k=N-1k=N-1 har vi

dN-1dzN-1z+i-N=-1N-12N-2!N-1!z+i-2N-1\displaystyle \frac{d ^{N-1}}{{dz}^{N-1}}\left(z+i\right)^{-N}=\frac{\left(-1\right)^{N-1}\left(2N-2\right)!}{\left(N-1\right)!}\left(z+i\right)^{-\left(2N-1\right)}

Gränsvärdet utvärderas nu trivialt:

limzi1N-1!dN-1dzN-1z-iNfz=-1N-12N-2!22N-1N-1!2i-(2N-1)\displaystyle \lim_{z\to i}\frac{1}{\left(N-1\right)!}\frac{d ^{N-1}}{{dz}^{N-1}}\left(\left(z-i\right)^N f\left(z\right)\right)=\frac{\left(-1\right)^{N-1}\left(2N-2\right)!}{2^{2N-1}\left(\left(N-1\right)!\right)^2}i^{-(2N-1)}

Om vi återgår till Residysatsen har vi nu alltså

Resi=2πi-1N-12N-2!22N-1N-1!2i-(2N-1)=π-1N-12N-2!22N-2N-1!2i2N-2=π2N-2!22N-2N-1!2\displaystyle \mathrm{Res}\left(i\right) = 2\pi i\frac{\left(-1\right)^{N-1}\left(2N-2\right)!}{2^{2N-1}\left(\left(N-1\right)!\right)^2}i^{-(2N-1)}=\pi \frac{\left(-1\right)^{N-1}\left(2N-2\right)!}{2^{2N-2}\left(\left(N-1\right)!\right)^2i^{2N-2}}=\frac{\pi\left(2N-2\right)!}{2^{2N-2}\left(\left(N-1\right)!\right)^2}

Vi har då alltså:

I=limRγ1Rfzdz=π2N-2!22N-2N-1!2-limRγ2Rfzdz\displaystyle I=\lim_{R\to\infty}\int_{\gamma_1\left(R\right)}f\left(z\right)dz=\frac{\pi\left(2N-2\right)!}{2^{2N-2}\left(\left(N-1\right)!\right)^2}-\lim_{R\to\infty}\int_{\gamma_2\left(R\right)}f\left(z\right)dz

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 MLML-olikheten på något sätt men jag är osäker på de tekniska detaljerna.

LuMa07 740
Postad: Igår 20:14 Redigerad: Igår 20:37

Sätt in parametriseringen av kurvan γ2\gamma_2 och sedan är det "bara" triangelolikhet som behövs för att visa att gränsvärdet är noll.

γ2dz(1+z2)N=0πiReiθ(1+R2ei2θ)Ndθ\displaystyle \int_{\gamma_2} \frac{dz}{(1+z^2)^N} = \int_0^\pi \frac{iR\,e^{i\theta}}{(1+R^2 e^{i2\theta})^N}\,d\theta.

Triangelolikheten ger att |1+R2ei2θ|R2|ei2θ|-1=R2-1| 1+R^2 e^{i2\theta} | \ge R^2 |e^{i2\theta}| - 1 = R^2-1.

Visa spoiler

Därmed blir

0πiReiθ(1+R2ei2θ)Ndθ 0πiReiθ(1+R2ei2θ)Ndθ0πR(R2-1)Ndθ0\displaystyle \left| \int_0^\pi \frac{iR\,e^{i\theta}}{(1+R^2 e^{i2\theta})^N}\,d\theta \right| \le  \int_0^\pi \left| \frac{iR\,e^{i\theta}}{(1+R^2 e^{i2\theta})^N} \right| \,d\theta \le \int_0^\pi \frac{R}{(R^2-1)^N} \,d\theta \to 0 RR\to\infty

naytte 8166 – Moderator
Postad: Idag 01:14 Redigerad: Idag 01:15

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

0πiReiθ1+R2e2iθNdθ=0πiReiθ1+R2e2iθNdθ=0πR1+R2e2iθNdθ=0πR1+R2e2iθNdθ\displaystyle \int_{0}^{\pi}\left|\frac{iRe^{i\theta}}{\left(1+R^2e^{2i\theta}\right)^N}\right|d\theta =\int_{0}^{\pi}\frac{\left| iRe^{i\theta}\right|}{\left| \left(1+R^2e^{2i\theta}\right)^N\right |}d\theta=\int_{0}^{\pi}\frac{R}{\left|\left(1+R^2e^{2i\theta}\right)^N\right |}d\theta =\int_{0}^{\pi}\frac{R}{\left|1+R^2e^{2i\theta}\right |^N}d\theta

Och eftersom triangelolikheten ger att 1+R2e2iθR2-1\left| 1+R^2e^{2i\theta}\right| \ge R^2-1, så måste

R1+R2e2iθNRR2-1N\displaystyle \frac{R}{\left|1+R^2e^{2i\theta}\right |^N} \le \frac{R}{\left(R^2-1\right)^N}

varför

0πR1+R2e2iθNdθ0πRR2-1Ndθ\displaystyle \int_{0}^{\pi}\frac{R}{\left|1+R^2e^{2i\theta}\right |^N} d\theta \le \int_{0}^{\pi}\frac{R}{\left(R^2-1\right)^N}d\theta

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)?

naytte 8166 – Moderator
Postad: Idag 01:42 Redigerad: Idag 01:42

Hur som helst, om vi vet att

limRγ2Rfzdz=0\displaystyle \lim_{R\to\infty}\int_{\gamma_2\left(R\right)}f\left(z\right)dz=0

då har vi att

I=π2N-2!22N-2N-1!2\displaystyle I= \frac{\pi\left(2N-2\right)!}{2^{2N-2}\left(\left(N-1\right)!\right)^2}

Speciellt för N=2N=2 (den första deluppgiften) har vi att

I=π2\displaystyle I= \frac{\pi}{2}

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.

LuMa07 740
Postad: Idag 05:37 Redigerad: Idag 05:53
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

limRI2(R)=0\displaystyle \lim_{R\to \infty} {I_2(R)} = 0 om och endast om limRI2(R)=0\displaystyle \lim_{R\to \infty} \left| I_2(R)\right| = 0

Sedan är det bara den vanliga instängningssatsen för reellvärda gränsvärden:

0γ2(R)f(z)dz0πR(R2-1)Ndθ=πR(R2-1)N0\displaystyle 0 \le \left | \int_{\gamma_2(R)} {f(z)}\,dz \right| \le \int_0^\pi \dfrac{R}{(R^2 - 1)^N}\,d\theta = \underbrace{\dfrac{\pi\,R}{(R^2 - 1)^N}}_{\to 0}

limR0limRγ2(R)f(z)dzlimRπR(R2-1)N \displaystyle \lim_{R\to\infty} 0 \le \lim_{R\to \infty}\left | \int_{\gamma_2(R)} {f(z)}\,dz \right| \le \lim_{R\to\infty} \dfrac{\pi\,R}{(R^2 - 1)^N}.


Btw: Det gick också att skaffa sig en ML-olikhet som dock också baseras på triangelolikheten:

|1+z2||z2|-|1|=|z|2-1 |1(1+z2)N|=1|1+z2|N1(|z|2-1)N=1(R2-1)N=:M {|1 + z^2|} \ge {|z^2|} - {|1|} = {|z|^2} - 1  \implies |\dfrac{1}{(1+z^2)^N}| = \dfrac{1}{|1+z^2|^N} \le \dfrac{1}{(|z|^2 - 1)^N} = \dfrac{1}{(R^2-1)^N} =: M

(OBS: Olikhetshantering som ovan är korrekt endast under förutsättningen att |z|>1|z| > 1. Vi vill att RR\to\infty, så det är inget problem egentligen.)

Halvcirkelns längd är då L:=πRL := \pi\,R, så γ2(R)f(z)dzM·L=1(R2-1)N·πR\displaystyle \left | \int_{\gamma_2(R)} {f(z)}\,dz \right| \le M \cdot L = \dfrac{1}{(R^2-1)^N} \cdot \pi R.

Svara
Close