Vanskelig integral II
Posted: 06/05-2011 20:22
Hei. Denne oppgaven får jeg nesten til. Setter pris på om noen finner ut hva jeg gjør feil.
Oppgave:
Vis at:
[tex]\int_0^\infty \frac{ln(x^{2} + 1)}{x^{2} + 1} dx = \pi ln(2)[/tex]
OK. Her går jeg veien om det komplekse planet. Definerer:
[tex]f(z) = \frac{log(z^{2} + 1)}{z^{2} + 1}[/tex]
Singularitetene er gitt ved:
[tex]z = \pm i[/tex]
Tar utgangspunkt i en kontur C. Konturen går fra -R til R langs den reelle aksen, hvor R > 1. Deretter trekker vi en halvsirkel i øvre del av det komplekse planet fra R til -R slik at singulariteten [tex]i[/tex] ligger inni halvsirkelen. Vi definerer også: [tex]-\frac{\pi}{2} < arg(z) < \frac{3\pi}{2}[/tex] Vi har da:
[tex]\int_{-R}^{R} \frac{log(z^{2} + 1)}{z^{2} + 1} dz = 2\pi iRes f(z) - \int_C_R f(z) dz [/tex]
Vi har:
[tex]f(z) = \frac{\phi(z)}{z - i}[/tex] hvor:
[tex]\phi(z) = \frac{log(z^{2} + 1)}{z + 1}[/tex]
[tex]Resf(z) = \phi(i)[/tex]
Vi skriver:
[tex]log(z^{2} + 1) = log((z + i)(z - i)) = log(z+i) + log(z - i)[/tex]
Dette gir:
[tex]\phi(i) = \frac{log(0) + log(2i)}{2i}[/tex]
Vi har at:
[tex]log(2i) = ln2 + i\frac{\pi}{2}[/tex]
Får da:
[tex]\phi(i) = \frac{ln2 + i\frac{\pi}{2}}{2i}[/tex]
[tex]2\pi i\phi(i) = \pi ln(2) + i\frac{\pi^{2}}{2}[/tex]
Altså har vi:
[tex]\int_{-\infty}^{\infty} \frac{ln(x^{2} + 1)}{x^{2} + 1} dx = \pi ln(2) -Re \int_C_R f(z) dz [/tex]
Vi har at:
[tex]\left|Re \int_C_R f(z) dz \right| \leq \left| \int_C_R f(z) dz \right| \leq \frac{log(R^{2} + 1)}{R^{2} - 1}\pi R[/tex]
Dette går mot [tex]0[/tex] når [tex]R \rightarrow \infty[/tex]
Altså har vi:
[tex]\int_{-\infty}^{\infty} \frac{ln(x^{2} + 1)}{x^{2} + 1} dx = \pi ln(2)[/tex]
Men i denne oppgaven skal vi kun finne integralet fra [tex]0[/tex] til [tex]\infty[/tex]. Svaret blir da:
[tex]\int_{0}^{\infty} \frac{ln(x^{2} + 1)}{x^{2} + 1} dx = \frac{\pi ln(2)}{2}[/tex] som jo ikke stemmer med den gitte oppgaven.
Altså må jeg gjøre en feil et eller annet sted, selv om jeg åpenbart er nær riktig svar. Setter veldig stor pris på om noen kan forklare hva jeg gjør feil. Jeg må innrømme at jeg er litt i stuss på måten jeg behandler log-uttrykket på når jeg skal finne residyren, så det kan være det er her jeg har gjort en feil.
Oppgave:
Vis at:
[tex]\int_0^\infty \frac{ln(x^{2} + 1)}{x^{2} + 1} dx = \pi ln(2)[/tex]
OK. Her går jeg veien om det komplekse planet. Definerer:
[tex]f(z) = \frac{log(z^{2} + 1)}{z^{2} + 1}[/tex]
Singularitetene er gitt ved:
[tex]z = \pm i[/tex]
Tar utgangspunkt i en kontur C. Konturen går fra -R til R langs den reelle aksen, hvor R > 1. Deretter trekker vi en halvsirkel i øvre del av det komplekse planet fra R til -R slik at singulariteten [tex]i[/tex] ligger inni halvsirkelen. Vi definerer også: [tex]-\frac{\pi}{2} < arg(z) < \frac{3\pi}{2}[/tex] Vi har da:
[tex]\int_{-R}^{R} \frac{log(z^{2} + 1)}{z^{2} + 1} dz = 2\pi iRes f(z) - \int_C_R f(z) dz [/tex]
Vi har:
[tex]f(z) = \frac{\phi(z)}{z - i}[/tex] hvor:
[tex]\phi(z) = \frac{log(z^{2} + 1)}{z + 1}[/tex]
[tex]Resf(z) = \phi(i)[/tex]
Vi skriver:
[tex]log(z^{2} + 1) = log((z + i)(z - i)) = log(z+i) + log(z - i)[/tex]
Dette gir:
[tex]\phi(i) = \frac{log(0) + log(2i)}{2i}[/tex]
Vi har at:
[tex]log(2i) = ln2 + i\frac{\pi}{2}[/tex]
Får da:
[tex]\phi(i) = \frac{ln2 + i\frac{\pi}{2}}{2i}[/tex]
[tex]2\pi i\phi(i) = \pi ln(2) + i\frac{\pi^{2}}{2}[/tex]
Altså har vi:
[tex]\int_{-\infty}^{\infty} \frac{ln(x^{2} + 1)}{x^{2} + 1} dx = \pi ln(2) -Re \int_C_R f(z) dz [/tex]
Vi har at:
[tex]\left|Re \int_C_R f(z) dz \right| \leq \left| \int_C_R f(z) dz \right| \leq \frac{log(R^{2} + 1)}{R^{2} - 1}\pi R[/tex]
Dette går mot [tex]0[/tex] når [tex]R \rightarrow \infty[/tex]
Altså har vi:
[tex]\int_{-\infty}^{\infty} \frac{ln(x^{2} + 1)}{x^{2} + 1} dx = \pi ln(2)[/tex]
Men i denne oppgaven skal vi kun finne integralet fra [tex]0[/tex] til [tex]\infty[/tex]. Svaret blir da:
[tex]\int_{0}^{\infty} \frac{ln(x^{2} + 1)}{x^{2} + 1} dx = \frac{\pi ln(2)}{2}[/tex] som jo ikke stemmer med den gitte oppgaven.
Altså må jeg gjøre en feil et eller annet sted, selv om jeg åpenbart er nær riktig svar. Setter veldig stor pris på om noen kan forklare hva jeg gjør feil. Jeg må innrømme at jeg er litt i stuss på måten jeg behandler log-uttrykket på når jeg skal finne residyren, så det kan være det er her jeg har gjort en feil.