$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Résumé de cours : séries entières

Série entière - rayon de convergence

On appelle série entière toute série de fonctions de la forme $\sum_{n}a_nz^n$ où $(a_n)$ est une suite de nombres complexes et où $z\in\mathbb C$.

Lemme d'Abel : Si la suite $(a_nz_0^n)$ est bornée, alors pour tout $z\in\mathbb C$ avec $|z|<|z_0|$, la série $\sum_n a_n z^n$ est absolument convergente.

On appelle rayon de convergence de la série entière $$R=\sup\{\rho\geq 0;\ (a_n\rho^n)\textrm{ est bornée}\}\in \mathbb R_+\cup\{+\infty\}.$$

Proposition : Soit $\sum_n a_nz^n$ une série entière de rayon de convergence $R$. Alors, pour tout $z\in \mathbb C$,
  • si $|z|<R$, la série $\sum_n a_nz^n$ converge absolument;
  • si $|z|>R$, la série $\sum_n a_nz^n$ diverge grossièrement (son terme général ne tend pas vers 0);
  • si $|z|=R$, alors on ne peut pas conclure en général.

Le disque ouvert $D(0,R)$ est alors appelé disque ouvert de convergence de la série entière.

Corollaire (convergence normale) : Soit $\sum_n a_nz^n$ une série entière de rayon de convergence $R>0$ et soit $r\in ]0,R[$. Alors la série $\sum_n a_nz^n$ converge normalement sur le disque fermé $D(0,r)$. En particulier, la somme de la série entière est continue sur son disque ouvert de convergence.

Pour calculer le rayon de convergence d'une série entière, on utilise souvent la règle de d'Alembert pour les séries dont l'énoncé est le suivant :

Règle de d'Alembert : Soit $(u_n)$ une suite de réels strictement positifs. Si $u_{n+1}/u_n$ tend vers $\ell$, alors
  • si $\ell>1$, la série $\sum_n u_n$ diverge grossièrement;
  • si $\ell<1$, la série $\sum_n u_n$ converge absolument.
Lorsqu'on applique cette règle à une série entière $\sum_n a_nz^n$ en posant $u_n=|a_nz^n|$, on obtient que si $|a_{n+1}|/|a_n|$ converge vers $\ell$, alors le rayon de convergence de la série entière est $1/\ell$.
Opérations sur les séries entières

On considère $\sum_n a_n z^n$ et $\sum_n b_nz^n$ deux séries entières de rayon de convergence respectifs $R_a$ et $R_b$.

  • Comparaison des rayons de convergence : si $a_n=O(b_n)$, alors $R_a\geq R_b$. En particulier, si $a_n\sim b_n$, alors $R_a=R_b$.
  • Rayon de convergence de la série dérivée : le rayon de convergence de $\sum_n na_nz^{n-1}$ est égal au rayon de convergence de $\sum_n a_nz^n$.
  • Somme de deux séries entières : le rayon de convergence de la série somme $\sum_n (a_n+b_n)z^n$ vérifie $R\geq \min(R_a,R_b)$. De plus, pour tout $z\in\mathbb C$ avec $|z|<\min(R_a,R_b)$, alors $$\sum_{n\geq 0} (a_n+b_n)z^n=\sum_{n\geq 0} a_n z^n+\sum_{n\geq 0}b_nz^n.$$

On appelle série entière produit de $\sum_n a_nz^n$ et de $\sum_n b_nz^n$ la série entière $\sum_n c_nz^n$ avec $c_n=\sum_{k=0}^n a_k b_{n-k}$.

Proposition : Le rayon de convergence $R$ de la série produit $\sum_n c_nz^n$ de $\sum_n a_nz^n$ et $\sum_n b_nz^n$ vérifie $R\geq \min(R_a,R_b)$. De plus, pour tout $z\in\mathbb C$ avec $|z|<\min(R_a,R_b)$, alors $$\sum_{n\geq 0} c_nz^n=\left(\sum_{n\geq 0} a_n z^n\right)\times\left(\sum_{n\geq 0}b_nz^n\right).$$
Régularité, cas de la variable réelle

On s'intéresse désormais au cas où la variable ne peut plus prendre que des valeurs réelles, et nous noterons désormais les séries entières $\sum_n a_n x^n$. On s'intéresse à la régularité de la série entière à l'intérieur de son intervalle de convergence $]-R,R[$.

Théorème (intégration d'une série entière) : Soit $f(x)=\sum_{n\geq 0}a_nx^n$ une série entière de rayon de convergence $R>0$ et soit $F$ une primitive de $f$. Alors, pour tout $x\in ]-R,R[$, $$F(x)=F(0)+\sum_{n\geq 0}\frac{a_n}{n+1}x^{n+1}.$$
Théorème (dérivation terme à terme) : Soit $f(x)=\sum_{n\geq 0}a_nx^n$ une série entière de rayon de convergence $R>0$. Alors $f$ est de classe $\mathcal C^\infty$ sur $]-R,R[$. De plus, pour tout $x\in]-R,R[$ et tout $k\geq 0$, on a $$f^{(k)}(x)=\sum_{n\geq k}n(n-1)\cdots(n-k+1)a_n x^{n-k}.$$
Théorème (expression des coefficients d'une série entière) : Soit $f(x)=\sum_{n\geq 0}a_nx^n$ une série entière de rayon de convergence $R>0$. Alors, pour tout $n\geq 0$, $$a_n=\frac{f^{(n)}(0)}{n!}.$$
Corollaire : Si $f(x)=\sum_{n\geq 0}a_nx^n$ et $g(x)=\sum_{n\geq 0} b_nx^n$ coïncident sur un voisinage de $0$, alors pour tout $n\geq 0$, $a_n=b_n$.
Cas de la variable complexe
Théorème (dérivabilité de la variable complexe) : Soit $f(z)=\sum_{n\geq 0}a_nz^n$ une série entière de rayon de convergence $R>0$. Alors, pour tout $z_0\in D(0,R)$, $$\lim_{h\to 0}\frac{f(z_0+h)-f(z_0)}{h}=\sum_{n\geq 1}n a_n z_0^{n-1}.$$
Développements en série entière

Soit $I$ un intervalle contenant $0$ et $f:I\to\mathbb R$. On dit que $f$ est développable en série entière en 0 s'il existe $r>0$ et une suite $(a_n)$ tels que, pour tout $x\in ]-r,r[$, on ait $f(x)=\sum_{n\geq 0}a_n x^n$. En particulier, une fonction développable en série entière en $0$ est de classe $\mathcal C^\infty$ au voisinage de $0$.

Une combinaison linéaire de fonctions développables en série entière est développable en série entière. Le produit de deux fonctions développables en série entière est développable en série entière. Il en est de même de la dérivée ou d'une primitive d'une fonction développable en série entière.

Corollaire : Soit $I$ un intervalle contenant $0$ et $f:I\to\mathbb R$. Si $f$ est développable en série entière en $0$, alors il existe $r>0$ tel que, pour tout $x\in ]-r,r[$, $$f(x)=\sum_{n\geq 0}\frac{f^{(n)}(0)}{n!} x^n.$$
Développements en séries entières usuels
\begin{eqnarray*} e^x&=&\sum_{n\geq 0}\frac{x^n}{n!},\ R=+\infty\\ \cos x&=&\sum_{n\geq 0}\frac{(-1)^n x^{2n}}{(2n)!},\ R=+\infty\\ \sin x&=&\sum_{n\geq 0}\frac{(-1)^n x^{2n+1}}{(2n+1)!},\ R=+\infty\\ \cosh x&=&\sum_{n\geq 0}\frac{x^{2n}}{(2n)!},\ R=+\infty\\ \sinh x&=&\sum_{n\geq 0}\frac{ x^{2n+1}}{(2n+1)!},\ R=+\infty\\ \frac{1}{1-x}&=&\sum_{n\geq 0}x^n,\ R=1\\ \ln(1+x)&=&\sum_{n\geq 1}\frac{(-1)^{n+1}}{n}x^n,\ R=1\\ \arctan(x)&=&\sum_{n\geq 0}\frac{(-1)^n}{2n+1}x^{2n+1},\ R=1\\ (1+x)^\alpha&=&1+\sum_{n\geq 1}\frac{\alpha(\alpha-1)\cdots (\alpha-n+1)}{n!}x^n,\ R=1\\ \end{eqnarray*}