Chers amis,
cette integrale est facile a trouver en utilisant un contour dit "serrure", dont voici un image:

On cherche donc l'intégrale
et pour la trouver, on utilise la fonction
et la branche du logarithme avec

(cela simplifie les calculs, parce que c'est aussi la branche utilisee par MAPLE.)
On va calculer l'integrale de

le long de la serrure, et on va voir qu'elle est egale a une multiple de la valeur cherchee.
Soit

le rayon du grand cercle, et

le rayon du petit. On appellera la ligne superieure

et la ligne inferieure,

. Maintenant on prend la limite quand le grand cercle devient infiniment grand, et le petit cercle, infiniment petit. Les deux contributions disparaissent. Par exemple, on a la suivante majoration:
Par le théorème de Cauchy des résidus on a donc
soit
Il reste de calculer les contributions de

et

. On pose

sur

et

sur

, avec

Cela donne
soit
Pour conclure, on observe que
et donc
soit
Amicalement,
Marko
Code LaTeX
Chers amis,
cette integrale est facile a trouver en utilisant un contour dit "serrure", dont voici un image:
<a target="_new" href="http://www.les-mathematiques.net/phorum/file.php?4,file=11890,filename=keyhole1.png"><img src="http://www.les-mathematiques.net/phorum/file.php?4,file=11890,in_body_attachment=1" align="top" onload="in_body_attachments_resizeimage(this)" alt="keyhole1.png" title="keyhole1.png"></a>
On cherche donc l'intégrale \[ \int_0^\infty \frac{\log x}{(1+x^2)^2} dx \]
et pour la trouver, on utilise la fonction \[ f(z) = \frac{(\log z)^2}{(1+z^2)^2} \] et la branche du logarithme avec $-\pi < \arg \log z \le \pi$ (cela simplifie les calculs, parce que c'est aussi la branche utilisee par MAPLE.)
On va calculer l'integrale de $f(z)$ le long de la serrure, et on va voir qu'elle est egale a une multiple de la valeur cherchee.
Soit $R$ le rayon du grand cercle, et $r$ le rayon du petit. On appellera la ligne superieure $M$ et la ligne inferieure, $N$. Maintenant on prend la limite quand le grand cercle devient infiniment grand, et le petit cercle, infiniment petit. Les deux contributions disparaissent. Par exemple, on a la suivante majoration:
\[ \left| \int_R f(z) dz \right| \le 2 \pi R \frac{(\log R)^2 + \pi^2}{(R^2-1)^2} \rightarrow 0.\]
Par le théorème de Cauchy des résidus on a donc
\[
\left( \int_R + \int_M + \int_N + \int_r \right) f(z) dz =
2 \pi i \left( Res[f(z); z=i] + Res[f(z); z=-i] \right) \]
soit
\[2 \pi i \left( - \frac{\pi}{4} + \frac{1}{16} i \pi^2 - \frac{\pi}{4} - \frac{1}{16} i \pi^2 \right) =
- i \pi^2. \]
Il reste de calculer les contributions de $M$ et $N$. On pose $z =-x + i\epsilon$ sur $M$ et $z = -x - i\epsilon$ sur $N$, avec $0 < x < \infty.$ Cela donne
\[\left( \int_M + \int_N \right) f(z) dz =
- \int_\infty^0 \frac{(\log(-x + i\epsilon))^2}{(1+z^2)^2} dx
- \int_0^\infty \frac{(\log(-x - i\epsilon))^2}{(1+z^2)^2} dx\]
soit
\[\int_0^\infty \frac{(\log x + i\pi)^2}{(1+z^2)^2} dx
- \int_0^\infty \frac{(\log x - i\pi)^2}{(1+z^2)^2} dx. \]
Pour conclure, on observe que
\[ (\log x + i\pi)^2 - (\log x - i\pi)^2 = 4 \pi i \log x }\]
et donc
\[ 4 \pi i \int_0^\infty \frac{\log x}{(1+x^2)^2} dx = -i \pi^2 \]
soit
\[ \int_0^\infty \frac{\log x}{(1+x^2)^2} dx = - \frac{\pi}{4}.\]
Amicalement,
Marko
Edité 5 fois. La dernière correction date de il y a quatre années et a été effectuée par Marko Riedel.
Modifié 5 fois. Dernière modification le 24/04/2009 par Marko Riedel.