Ivan Shishkin, Rye (1878)

Discussions

Somme d’une série de fonctions

2 messages

Solution

Solution by Sequoia · FR

  1. Je renvoie à la solution de FiniteField pour cette question car je n’ai rien de mieux à ajouter.
  2. On considère ici une variable XX et x∈R\{±1}x\in\R\backslash\{\pm1\}.
    On a alors la décomposition en éléments simples

X(x−X)(1−X)=11−x(xx−X−11−X)\frac{X}{(x-X)(1-X)}=\frac{1}{1-x}\left(\frac{x}{x-X}-\frac{1}{1-X}\right)Si maintenant on prend n∈Nn\in\N et X=xn+1X=x^{n+1} alors on trouve
xn+1(x−xn+1)(1−xn+1)=11−x(xx−xn+1−11−xn+1),\frac{x^{n+1}}{(x-x^{n+1})(1-x^{n+1})}=\frac{1}{1-x}\left(\frac{x}{x-x^{n+1}}-\frac{1}{1-x^{n+1}}\right),relation que l’on peut réécrire
xn(1−xn)(1−xn+1)=11−x(11−xn−11−xn+1).\frac{x^{n}}{(1-x^{n})(1-x^{n+1})}=\frac{1}{1-x}\left(\frac{1}{1-x^{n}}-\frac{1}{1-x^{n+1}}\right).On peut alors sommer sur n∈Nn\in\N et user du télescopage pour obtenir
f(x)=11−x∑n=1+∞(11−xn−11−xn+1)=11−x(11−x1−lim⁡n→+∞11−xn+1).f(x)=\frac{1}{1-x}\sum_{n=1}^{+\infty}\left(\frac{1}{1-x^n}-\frac{1}{1-x^{n+1}}\right)=\frac{1}{1-x}\left(\frac{1}{1-x^1}-\underset{n\to+\infty}{\lim}\frac{1}{1-x^{n+1}}\right).où la limite vaut 11 si ∣x∣<1\vert x\vert<1 et 00 sinon.

Ce qui donne enfin:
∀x∈]−1,1[,f(x)=x(1−x)2.\forall x\in]-1,1[, f(x)=\frac{x}{(1-x)^2}.et
∀x∈R,∣x∣>1  ⟹  f(x)=1(1−x)2.\forall x\in\R, \vert x\vert>1 \implies f(x)=\frac{1}{(1-x)^2}.

Très fin ce télescopage, bravo ! Je peux ajouter ta preuve dans mes fichiers ?

Merci ! Et oui avec plaisir bien sûr.