Corrigé du devoir

Questions de cours :

Soit

tel que pour tout $n\in\mathbb{N}$ , $\vert a_n\vert r^n\leqslant M$ . Écrivons :

$\displaystyle \vert a_n z^n\vert = \vert a_n\vert r^n \left\vert\frac{z^n}{r^n}\right\vert \leqslant M\left\vert\frac{z^n}{r^n}\right\vert\;.$

Si $\vert z\vert<r$ , $\left\vert\frac{z}{r}\right\vert<1$ et la série $\sum M\left\vert\frac{z^n}{r^n}\right\vert$ converge. Dons la série $\sum \vert a_n\vert z^n$ converge, par le théorème de comparaison des séries.

L'ensemble des réels positifs ou nul tels que la suite $(\vert a_n\vert r^n)$ est bornée est non vide, car il contient 0. S'il est majoré alors le rayon de convergence de la série $\sum a_n z^n$ est sa borne supérieure, sinon le rayon de convergence est infini.

Pour tout $\varepsilon >0$ , il existe

tel que pour tout

$\displaystyle 0<l- \varepsilon <\left\vert\frac{a_{n+1}}{a_n}\right\vert<l+\varepsilon \;.$

On en déduit par récurrence que

$\displaystyle \Big(\vert a_{n_0}\vert (l-\varepsilon )^{-n_0}\Big) (l-\varepsil... ...rt < \Big(\vert a_{n_0}\vert (l+\varepsilon )^{-n_0}\Big)(l+\varepsilon )^n\;.$

Soit

un réel tel que $0\leqslant r<\frac{1}{l+\varepsilon }$ . L'inégalité de droite entraîne que $\vert a_n\vert r^n$ est borné. Donc le rayon de convergence

est tel que

$\displaystyle R\geqslant \frac{1}{l+\varepsilon }\;.$

est tel que $r>\frac{1}{l-\varepsilon }$ , L'inégalité de gauche entraîne que $\vert a_n\vert r^n$ tend vers l'infini. Donc

$\displaystyle R\leqslant \frac{1}{l-\varepsilon }\;.$

Comme ceci est vrai pour tout $\varepsilon >0$ ,

Pour tout $\varepsilon >0$ , il existe

tel que pour tout

$\displaystyle \left\vert\frac{a_{n+1}}{a_n}\right\vert<\varepsilon \;.$

On en déduit par récurrence que

$\displaystyle \vert a_n\vert < \Big(\vert a_{n_0}\vert \varepsilon ^{-n_0}\Big)\varepsilon ^n\;.$

Soit

un réel tel que $0\leqslant r<\frac{1}{\varepsilon }$ . L'inégalité de droite entraîne que $\vert a_n\vert r^n$ est borné. Comme ceci est vrai pour tout $\varepsilon >0$ , $\vert a_n\vert r^n$ est borné pour tout

. Donc d'après la question 1, $\sum a_nz^n$ est absolument convergente pour tout $z\in\mathbb{C}$ (le rayon de convergence est infini).

Pour tout $\varepsilon >0$ , il existe

tel que pour tout

$\displaystyle l-\varepsilon <\sqrt[n]{\vert a_n\vert}<l+\varepsilon \;,$

donc

$\displaystyle (l-\varepsilon )^n<\vert a_n\vert<(l+\varepsilon )^n\;.$

Soit

un réel tel que $0\leqslant r<\frac{1}{l+\varepsilon }$ . L'inégalité de droite entraîne que $\vert a_n\vert r^n$ est borné. Donc le rayon de convergence

est tel que

$\displaystyle R\geqslant \frac{1}{l+\varepsilon }\;.$

est tel que $r>\frac{1}{l-\varepsilon }$ , L'inégalité de gauche entraîne que $\vert a_n\vert r^n$ tend vers l'infini. Donc

$\displaystyle R\leqslant \frac{1}{l-\varepsilon }\;.$

Comme ceci est vrai pour tout $\varepsilon >0$ ,

Exercice 1 :

Il y a plusieurs manières de procéder. La plus simple consiste à écrire la limite du rapport de deux termes successifs.

$\displaystyle \lim_{n\to+\infty} \frac{1}{1}= \lim_{n\to+\infty} \frac{\frac{1}{n+1}}{\frac{1}{n}}=1\;.$

Les sommes suivantes sont des résultats du cours.

$\displaystyle S_1(x)=\sum_{n=0}^{+\infty} x^n=\frac{1}{1-x}$ et $\displaystyle \quad S_2(x) = \sum_{n=1}^{+\infty} \frac{x^n}{n}=-\ln(1-x)\;.$

D'après le cours, la série produit $(\sum a_n z^n)(\sum b_n z^n)$ a un rayon de convergence au moins égal au plus petit des deux rayons de convergence de $\sum a_n z^n$ et $\sum b_n z^n$ , et son coefficient d'ordre

est :

$\displaystyle c_n = \sum_{k=0}^n a_kb_{n-k}$

Si on applique le résultat à

et $b_n=\frac{1}{n}$ pour

, on obtient

$\displaystyle c_n = 1+\frac{1}{2}+\cdots+\frac{1}{n}\;,$

et le rayon de convergence de $\sum c_n z^n$ , est $\geqslant 1$ . Mais comme $c_n\geqslant 1$ , il est aussi $\leqslant 1$ . Donc il est égal à

. Pour tout $x\in ]-1,1[$ ,

$\displaystyle \sum_{n=1}^{+\infty} c_n x^n = S_1(x)S_2(x) = -\frac{\ln(1-x)}{1-x}\;.$

On observe que $c_{n+1}=c_n+\frac{1}{n+1}$ . Donc

$\displaystyle \frac{c_{n+1}}{c_n}=1+\frac{1}{(n+1)c_n}$

Comme $c_n\geqslant 1$ , le rapport $\frac{c_{n+1}}{c_n}$ tend vers

. Donc le rayon de convergence de $\sum c_n z^n$ est $\frac{1}{1}=1$ .

Pour tout $x\in ]-1,1[$ ,

$\displaystyle xf(x) = \sum_{n=1}^{+\infty} c_n x^{n+1} = \sum_{m=2}^{+\infty}c_{m-1} x^m\;.$

Donc

$\displaystyle f(x)-xf(x)$	$\displaystyle =$	$\displaystyle \displaystyle{1+\sum_{n=2}^{+\infty} (c_n-c_{n-1}) x^n}$
	$\displaystyle =$	$\displaystyle \displaystyle{ 1+\sum_{n=2}^{+\infty} \frac{1}{n} x^n}$
	$\displaystyle =$	$\displaystyle \displaystyle{ \sum_{n=1}^{+\infty} \frac{1}{n} x^n}$
	$\displaystyle =$	$\displaystyle \displaystyle{ S_2(x)=-\ln(1-x)\;.}$

L'équation $f(x)-xf(x)=(1-x)f(x)=-\ln(1-x)$ , redonne le résultat de la question 2.

Par le résultat déjà rappelé, le produit de séries $(\sum a_n z^n)(\sum z^n)$ a un rayon de convergence au moins égal à $\min\{R_a,1\}$ , et son terme général est

$\displaystyle \sum_{k=0}^n a_k\times 1=a_0+\cdots+a_n=b_n\;.$

Si la suite de termes positifs

tend vers 0, elle est bornée. Donc par définition du rayon de convergence, $R_a\geqslant 1$ . Si

était strictement supérieur à

, alors la série $\sum a_n z^n$ convergerait pour

, ce qui n'est pas le cas. Donc

. Calculons $\frac{b_{n+1}}{b_n}$ :

$\displaystyle \frac{b_{n+1}}{b_n} = 1+\frac{a_{n+1}}{b_n}\;.$

Or $a_{n+1}$ tend vers 0 et $b_n\geqslant a_0$ , donc $\frac{b_{n+1}}{b_n}$ tend vers

. Donc

Pour tout $x\in ]-1,1[$ , posons

$\displaystyle g(x)=\sum_{n=0}^{+\infty} b_n x^n\;,$

donc

$\displaystyle xg(x) = \sum_{n=0}^{+\infty} b_n x^{n+1} = \sum_{m=1}^{+\infty}b_{m-1} x^m\;.$

Donc

$\displaystyle g(x)-xg(x)$	$\displaystyle =$	$\displaystyle \displaystyle{a_0+\sum_{n=1}^{+\infty} (b_n-b_{n-1}) x^n}$
	$\displaystyle =$	$\displaystyle \displaystyle{ a_0+\sum_{n=1}^{+\infty} a_n x^n}$
	$\displaystyle =$	$\displaystyle \displaystyle{ \sum_{n=0}^{+\infty} a_n x^n}$
	$\displaystyle =$	$\displaystyle f(x)\;.$

L'équation

entraîne

$\displaystyle \sum_{n=0}^{+\infty} b_n x^n = g(x) = \frac{f(x)}{1-x}\;.$

Exercice 2 :

Comme pour tout $n\in\mathbb{N}^*$ , $a_n\geqslant 0$ , l'équation de récurrence donne $na_n \geqslant n(n-1)$ , d'où $a_n\geqslant n-1$ . Nous montrons la majoration par récurrence. Supposons qu'elle soit vraie pour $k\leqslant n-1$ .

$\displaystyle a_n$	$\displaystyle \leqslant$	$\displaystyle \displaystyle{ (n-1) +\frac{1}{n}\sum_{k=1}^{n-1} k^2-k}$
	$\displaystyle =$	$\displaystyle \displaystyle{ (n-1)+\frac{1}{n}\left(\frac{n(n-1)(2n-1)}{6}-\frac{n(n-1)}{2}\right)}$
	$\displaystyle =$	$\displaystyle \displaystyle{ \frac{n-1}{2}\left(1+\frac{2n-1}{3}\right)}$
	$\displaystyle \leqslant$	$\displaystyle \displaystyle{ \frac{n(n-1)}{2}\;.}$

(Pour un algorithme de tri, la majoration correspond cas le pire, celui où toutes les comparaisons possibles sont effectuées).

En prenant la limite du rapport de deux termes successifs, on vérifie que les deux séries $\sum (n-1) z^n$ et $\sum \frac{n(n-1)}{2} z^n$ ont pour rayon de convergence . Par le théorème de comparaison des séries, la série $\sum a_n z^n$ a aussi pour rayon de convergence .

La série $\sum n(n-1) x^{n-2}$ est la dérivée seconde de la série géométrique. Pour tout $x\in ]-1,1[$ ,

$\displaystyle \sum_{n=2}^{+\infty} n(n-1) x^{n-2} = \left(\frac{1}{1-x}\right)'' = \frac{2}{(1-x)^3}\;.$

Par conséquent :

$\displaystyle \sum_{n=1}^{+\infty} n(n-1) x^{n} = x^2\sum_{n=1}^{+\infty} n(n-1) x^{n} = \frac{2x^2}{(1-x)^3}\;.$

Le raisonnement a déjà été effectué dans l'exercice précédent. Pour tout $n\in\mathbb{N}^*$ , posons

$\displaystyle b_n=a_1+\cdots+a_n=\sum_{k=1}^{n-1} a_k\;.$

Comme $b_n\geqslant a_n$ , le rayon de convergence de $\sum b_n z^n$ est inférieur ou égal à

. La majoration de la question

montre que $b_n< \frac{n^2(n-1)}{2}$ , ce qui entraîne que le rayon de convergence de $\sum b_n z^n$ est égal à

Pour tout $x\in ]-1,1[$ , posons

$\displaystyle g(x)=\sum_{n=1}^{+\infty} b_n x^n\;,$

donc

$\displaystyle xg(x) = \sum_{n=1}^{+\infty} b_n x^{n+1} = \sum_{m=2}^{+\infty}b_{m-1} x^m\;.$

Donc

$\displaystyle g(x)-xg(x)$	$\displaystyle =$	$\displaystyle \displaystyle{a_0+\sum_{n=2}^{+\infty} (b_n-b_{n-1}) x^n}$
	$\displaystyle =$	$\displaystyle \displaystyle{ a_0+\sum_{n=2}^{+\infty} a_n x^n}$
	$\displaystyle =$	$\displaystyle \displaystyle{ \sum_{n=1}^{+\infty} a_n x^n}$
	$\displaystyle =$	$\displaystyle f(x)\;.$

L'équation

entraîne

$\displaystyle \sum_{n=1}^{+\infty} b_n x^n = g(x) = \frac{f(x)}{1-x}\;,$

donc

$\displaystyle \sum_{n=1}^{+\infty} b_n x^{n+1} = g(x) = \frac{xf(x)}{1-x}\;,$

La série $\sum na_n z^{n-1}$ est la dérivée de la série $\sum a_n z^n$ . Donc pour tout $x\in ]-1,1[$ :

$\displaystyle \sum_{n=1}^{+\infty} na_n x^n =x\sum_{n=1}^{+\infty} na_n x^{n-1}=xf'(x)\;.$

En multipliant l'équation de récurrence par

et en sommant, on obtient :

$\displaystyle \sum_{n=1}^{+\infty} na_n x^n = \sum_{n=1}^{+\infty} n(n-1) x^{n} + \sum_{n=1}^{+\infty}\left(\sum_{k=1}^{n-1} a_k\right) x^n\;.$

D'après ce qui précède, ceci entraîne pour tout $x\in ]-1,1[$ :

$\displaystyle xf'(x) = \frac{2x^2}{(1-x)^3} +\frac{2xf(x)}{1-x}\;.$

D'où l'équation différentielle cherchée.

$\displaystyle y(x)=\sum_{n=0}^{+\infty} b_n x^n\;,$

alors,

$\displaystyle y'(x)=\sum_{n=1}^{+\infty} nb_n x^{n-1}=\sum_{n=0}^{+\infty} (n+1)b_{n+1} x^n\;,$

$\displaystyle (1-x)y'(x)= \left(\sum_{n=0}^{+\infty} (n+1)b_{n+1} x^n\right)- ... ...\infty} nb_{n} x^{n}\right) =\sum_{n=0}^{+\infty} ((n+1)b_{n+1}-nb_n) x^n\;.$

L'égalité des développements en série de

et de

entraîne que, pour tout $n\in\mathbb{N}$ ,

$\displaystyle (n+1)b_{n+1}-nb_n = 2b_n\;\Longleftrightarrow (n+1)b_{n+1}-(n+2)b_n = 0\;.$

De l'équation précédente, on déduit par récurrence que pour tout $n\geqslant 1$ ,

. La série $\sum (n+1) z^n$ est dérivée de la série géométrique et a pour rayon de convergence

. On en déduit que pour tout $x\in ]-1,1[$ ,

$\displaystyle y(x) = b_0 \sum_{n=0}^{+\infty} (n+1) x^n = \frac{b_0}{(1-x)^2}\;.$

On pourrait effectuer une vérification à la main, mais ayant la solution de l'équation homogène (H), il est aussi simple d'utiliser la méthode de variation de la constante :

$\displaystyle y(x) = \frac{K(x)}{(1-x)^2}$ et $\displaystyle \quad y'(x) = \frac{K'(x)}{(1-x)^2}+\frac{2K(x)}{(1-x)^3}\;.$

En identifiant les deux membres de l'équation :

$\displaystyle K'(x) = \frac{2x}{1-x} = 2\left(-1+\frac{1}{1-x}\right)\;.$

Donc :

$\displaystyle K(x) = 2(-x+\ln(1-x)+k)$ et $\displaystyle \quad y(x) = \frac{2}{(1-x)^2}\Big(-x-\ln(1-x)+k\Big)\;.$

La condition

conduit bien à la solution annoncée.

Il ne reste plus qu'à développer en série entière la fonction de la question précédente. On effectue pour cela le produit des deux séries :

$\displaystyle \frac{2}{(1-x)^2} = \sum_{n=0}^{+\infty} 2(n+1) x^n$ et $\displaystyle \quad -x-\ln(1-x)=\sum_{n=2}^{+\infty} \frac{1}{n} x^n\;.$

Le terme en

du produit est nul pour

, et pour $n\geqslant 2$ ,

$\displaystyle a_n$	$\displaystyle =$	$\displaystyle \displaystyle{\sum_{k=2}^{n} \frac{2(n-k+1)}{k}}$
	$\displaystyle =$	$\displaystyle \displaystyle{ 2(n+1)\left(\frac{1}{2}+ \cdots+\frac{1}{n}\right)-2(n-1)}$
	$\displaystyle =$	$\displaystyle \displaystyle{ 2(n+1)\left(1+\frac{1}{2}+ \cdots+\frac{1}{n}\right)-4n\;.}$