Série convergente =intégrale divergente — Les-mathematiques.net The most powerful custom community solution in the world

Série convergente =intégrale divergente

> Bonjour,
Pour plus de clarté j'isole cette question dans ce nouveau fil,
Partant de $\displaystyle H_n=\int_0^1
\frac{1-x^n}{1-x}\,dx$ on a
\begin{align}\sum_{n\geq 1}
\frac{H_n^2}{2^n}&=\sum_{n\geq 1} \int_0^1
\int_0^1
\dfrac{(1-x^n)(1-y^n)}{2^n(1-x)(1-y)}\,dx\,dy\\
&= \int_0^1 \int_0^1\sum_{n\geq 1}
\dfrac{(1-x^n)(1-y^n)}{2^n(1-x)(1-y)}\,dx\,dy\\
&= \int_0^1 \int_0^1\frac
1{(1-x)(1-y)}\sum_{n\geq 1}
\dfrac{(1-x^n-y^n+(xy)^n)}{2^n}\,dx\,dy\\
&= \int_0^1 \int_0^1
\dfrac{\frac{x}{x-2}+\frac{y}{y-2}+\frac{xy}{2-xy}+1}
{(1-x)(1-y)}\,dx\,dy\\
&= \int_0^1 \int_0^1
\dfrac{\frac{x}{x-2}+\frac{y}{y-2}+\frac{2}{2-xy}}
{(1-x)(1-y)}\,dx\,dy

\end{align}

Le série de gauche est convergente,
l’intégrale double de droite est divergente (même si wolfram croit le contraire), Comment vous expliquez cela
Le 😄 Farceur


Réponses

  • L'intégrale double n'est pas si divergente que cela.
    sage: f = x/(x-2)+y/(y-2)+2/(2-x*y)
    sage: factor(f)
    2*(x*y - 4)*(x - 1)*(y - 1)/((x*y - 2)*(x - 2)*(y - 2))
    sage: factor(f/(1-x)/(1-y))
    2*(x*y - 4)/((x*y - 2)*(x - 2)*(y - 2))
    
    En plus clair, les pôles apparents $x-1$ et $y-1$ se simplifient : \[\frac{\frac{x}{x-2}+\frac{y}{y-2}+\frac{2}{2-xy}}{(1-x)(1-y)}=\frac{2 \, {\left(x y - 4\right)}}{{\left(x y - 2\right)} {\left(x - 2\right)} {\left(y - 2\right)}}.\]
  • On peut surtout calculer cette intégrale.

    Si on intègre en fonction de $x$ (ou de $y$) on se retrouve avec une intégrale qu'on sait calculer sauf erreur.

    PS:
    Le résultat est bien $\ln^2 2+\dfrac{\pi^2}{6}$ et on l'obtient facilement.
  • Merci math Coss, je me sens tout petit, j' etais certain de la divergence de l' integrale.
    Le 😄 Farceur


  • Il faut dire que la simplification ne saute pas aux yeux.
Connectez-vous ou Inscrivez-vous pour répondre.
Success message!