Voici l’énoncé d’un exercice de séries de fonctions. Cet exercice est abordable à partir de la deuxième année dans le supérieur.
En voici l’énoncé :
Enoncé

Corrigé
On considère la série suivante :
\sum\arctan(n+x)-\arctan(n)
On note f la somme de cette série.
Posons alors :
f_n:x\in{\mathbb{R}}\mapsto \arctan(n+x)-\arctan(n)
Question 1
On remarque une chose :
\forall{x}\in{\mathbb{R}},\forall{n}\in{\mathbb{N}},\ f_n(x)=\arctan(n+x)-\arctan(n)=\int_{n}^{x+n}\frac{dt}{1+t^2}
On va se servir de ce constat pour montrer que la série converge simplement sur tout R. Pour cela, on distingue deux cas :
Dans un premier temps, si x est positif, la décroissance de la fonction dans l’intégrande nous donne :
\ x\geq{0} \Rightarrow \forall{n}\in{\mathbb{N}},\ 0\leq f_n(x)= \int_{n}^{x+n}\frac{dt}{1+t^2}\leq \int_{n}^{x+n}\frac{dt}{1+n^2}=\frac{x+n-n}{1+n^2}=\frac{x}{1+n^2}
Le dernier terme de cette inégalité est le terme général d’une série convergente, car :
\forall{x}\in{\mathbb{R}_+^*},\forall{n}\in{\mathbb{N}}, \frac{x}{1+n^2}\sim_{n\rightarrow{+\infty}}\frac{x}{n^2}
Donc dans le cas où x est positif, le terme général de la série étant positif et majoré par le terme général positif d’une série convergente, on a par comparaison pour les séries à termes positifs que la série converge simplement vers sa somme.
Dans un deuxième temps, si x est strictement négatif :
x<0 \Rightarrow \forall{n}\in{\mathbb{N}},\ n>x+n \Rightarrow \forall{n}\in{\mathbb{N}},\ f_n(x)=-\int_{x+n}^{n}\frac{dt}{1+t^2} \Rightarrow |f_n(x)|=\int_{x+n}^{n}\frac{dt}{1+t^2}
Ainsi, encore une fois par décroissance de l’intégrande :
x<0 \Rightarrow \forall{n}\in{\mathbb{N}},\ 0\leq |f_n(x)|=\int_{x+n}^{n}\frac{dt}{1+t^2}\leq \int_{x+n}^{n}\frac{dt}{1+(x+n)^2}=\frac{-x}{1+(x+n)^2}
Le dernier terme est encore une fois le terme général d’une série convergente (par les même arguments, à peu de choses près).
Par les même arguments que dans le cas positif, on a la convergence simple de la série considérée pour les x négatifs.
On en conclut que la série converge simplement, vers sa somme, sur tout R.
Pour la convergence uniforme, on peut raisonner en prenant le reste d’ordre p de la série que l’on a considéré ( C’est licite car la série converge ) :
\forall{p}\in\mathbb{N}, \forall{x}\in\mathbb{R},\ R_p(x)=\sum_{n=p+1}^{+\infty}f_n(x) = \sum_{n=p+1}^{+\infty} \arctan(n+x)-\arctan(n)
En particulier,
\forall{p}\in\mathbb{N},\ R_p(-p)=\sum_{n=p+1}^{+\infty} \arctan(n-p)-\arctan(n)
D’où,
\forall{p}\in\mathbb{N},\ |R_p(-p)| = -R_p(-p)\geq \arctan(n+1)-\arctan(1) \rightarrow \frac{\pi}{2}-\arctan(1)>0
Ainsi,
\neg(\ ||R_p||_{\infty}\rightarrow0\ )
Ainsi, il n’y a pas convergence uniforme sur R.
On peut aussi en déduire, même si ce n’est pas demandé, qu’il n’y a pas convergence normale sur R.
On peut aussi le montrer assez rapidement:
\forall{x}\in{\mathbb{R}},\forall{n}\in{\mathbb{N}},\ f_n(x)=\arctan(n+x)-\arctan(n) \rightarrow_{x\rightarrow{+\infty}} \frac{\pi}{2}-\arctan(n)
Donc,
||f_n||_{\infty} \geq \frac{\pi}{2}-\arctan(n)\geq \frac{\pi}{2}
Donc, la série des normes infinies ne converge pas : Pas de convergence normale sur R.
Maintenant, on a convergence normale, et donc uniforme, sur tout segment de R.
n\in\mathbb{N},\ x\in[a,b]\subset\mathbb{R}
La suite de fonctions est dérivable en x :
\forall{x}\in[a,b],\ f_n'(x)=\frac{1}{1+(x+n)^2}>0
La suite de fonctions est donc croissante sur cet intervalle, et donc :
\max_{x\in[a,b]}\{f_n(x)\}=f_n(b)\ ;\ \min_{x\in[a,b]}\{f_n(x)\}=f_n(a)
Maintenant,
||f_n||_{\infty,[a,b]}\leq |f_n(a)|+|f_n(b)|
Donc, la série des normes infinies sur cet intervalle est convergente. On a donc convergence normale et donc uniforme sur tout intervalle de R !
Question 2
Posons :
\forall{x}\in\mathbb{R},\ f(x)=\sum_{n=0}^{+\infty}f_n(x)
On veut appliquer le théorème de dérivation termes à termes pour les séries de fonctions.
i)\ \forall{n}\in\mathbb{N},\ f_n\in\mathcal{C}^1(\mathbb{R})\\ ii)\ \sum f_n \rightarrow f
Maintenant pour la troisième hypothèse, on doit avoir la convergence uniforme sur tout segment J de la série des dérivées.
f_n':x\mapsto\frac{1}{1+(x+n)^2}
Pour avoir la convergence uniforme, on teste la convergence normale sur tout segment.
||f_n'||_{\infty,J}=\sup_{x\in{J=[a,b]}} \{f_n'(x)\}=\frac{1}{1+(a+n)^2}
Donc :
\sum ||f_n'||_{\infty,J}
est une série convergente.
On donc convergence normale, et donc uniforme, sur tout segment J.
On peut appliquer le théorème de dérivation termes à termes pour les séries de fonctions, qui nous donne directement que :
f:x\mapsto\sum_{n=0}^{+\infty}f_n(x)\in\mathcal{C}^1
Question 3
\forall{x}\in\mathbb{R},\ f(x)=\sum_{k=0}^{+\infty}\arctan(x+k)-\arctan(k)
Donc,
\forall{x}\in\mathbb{R},\ f(x+1)-f(x) = \sum_{k=0}^{+\infty}\arctan(x+1+k)-\arctan(x+k)
Ainsi, par téléscopage :
\forall{x}\in\mathbb{R},\ f(x+1)-f(x) = \lim_{k\rightarrow{+\infty}}\arctan(x+1+k)-\arctan(x) =\frac{\pi}{2}-\arctan(x)
Au final :
\forall{x}\in\mathbb{R},\ f(x+1)-f(x) = \frac{\pi}{2}-\arctan(x)
Bonus : Un exercice corrigé en vidéo :
Voici l’énoncé correspondant :
