230 Séries de nombres réels ou complexes. Comportement des restes ou des sommes partielles des séries numériques. Exemples.

Séries de nombres réels ou complexes. Comportement des restes ou des sommes partielles des séries numériques. Exemples.

analysis

Séries réelles et complexes

Notion de série et convergence

Soit $K = R$ ou $C$ . Muni de sa norme usuelle $∣.∣$ , $K$ est un espace de Banach.

[GOU20]
p. 208

Définition 1

Soit $(u_{n})$ une suite à valeurs dans $K$ .

On appelle série de terme général $u_{n}$ la suite $(S_{n})$ définie par $\forall n \in N, S_{n} = u_{0} + \dots + u_{n}$ On note cette série $\sum u_{n}$ .
$u_{n}$ s’appelle le terme d’indice $n$ .
$S_{n}$ s’appelle la somme partielle d’indice $n$ .

Définition 2

En reprenant les notations précédentes, on dit que $\sum u_{n}$ converge si la suite $(S_{n})$ converge. Dans ce cas, la limite s’appelle la somme de la série, et on la note $\sum_{n = 0}^{+ \infty} u_{n}$ .

Définition 3

On appelle reste d’ordre $n$ d’une série convergente $\sum u_{n}$ l’élément $R_{n}$ défini par $R_{n} = k = 0 \sum + \infty u_{k} - k = 0 \sum n u_{k} = k = n + 1 \sum + \infty u_{k}$

Exemple 4

Soit $q \in C$ . Alors $\sum q^{n} converge ⟺ ∣ q ∣ < 1$ . Dans ce cas :

La somme partielle d’indice $n$ est égale à $\frac{1 - q ^{n + 1}}{1 - q}$ .
La somme de la série est égale à $\frac{1}{1 - q}$ .
Le reste d’ordre $n$ de $\sum q^{n}$ est égal à $\frac{q ^{n}}{1 - q}$ .

[AMR11]
p. 81

Proposition 5

Si $\sum u_{n}$ converge, alors $lim_{n \to + \infty} u_{n} = 0$ .

Contre-exemple 6

La réciproque est fausse, par exemple en considérant la suite $(u_{n})$ définie pour tout $n \in N^{*}$ par $u_{n} = ln (1 + \frac{1}{n})$ , on a $\sum_{k = 1}^{n} u_{k} = ln (n + 1) ⟶_{n \to + \infty} + \infty$ .

Proposition 7

Muni des opérations :

$\forall (u_{n}), (v_{n}) \in K^{N}, \sum u_{n} + \sum v_{n} = \sum (u_{n} + v_{n})$ ,
$\forall λ \in K, \forall (u_{n}) \in K^{N}, λ \sum u_{n} = \sum (λ u_{n})$ ,

l’ensemble des séries numériques est un espace vectoriel sur $K$ dont l’ensemble des séries convergentes est un sous-espace vectoriel.

[GOU20]
p. 209

Proposition 8

Critère de Cauchy pour les séries. Une série $\sum u_{n}$ converge si et seulement si $\forall ϵ > 0, \exists N \in N, \forall n \geq N, \forall p \in N, k = 0 \sum p u_{n + k} < ϵ$

Définition 9

On dit que $\sum u_{n}$ est absolument convergente si $\sum ∣ u_{n} ∣$ est convergente.

Théorème 10

Tout série à valeurs dans $K$ absolument convergente est convergente.

Ce dernier théorème justifie de s’intéresser plus particulièrement aux séries à termes positifs.

Séries à termes positifs

Comparaison

Proposition 11

Une série à termes positifs converge si et seulement si la suite des sommes partielles est majorée.

Corollaire 12

On considère deux séries réelles $\sum u_{n}$ et $\sum v_{n}$ telles que $\forall n \in N, 0 \leq u_{n} \leq v_{n}$ . Alors :

Si $\sum v_{n}$ converge, $\sum u_{n}$ converge.
Si $\sum u_{n}$ diverge, $\sum v_{n}$ diverge.

Proposition 13

On considère deux séries $\sum u_{n}$ et $\sum v_{n}$ à termes positifs.

Si $v_{n} = O (u_{n})$ et si $\sum u_{n}$ converge, alors $\sum v_{n}$ converge.
Si $u_{n} \sim v_{n}$ , alors les séries $\sum u_{n}$ et $\sum v_{n}$ sont de même nature.
- En cas de convergence, les restes vérifient $\sum_{k = n}^{+ \infty} u_{k} \sim \sum_{k = n}^{+ \infty} v_{k}$ .
- En cas de divergence, les sommes partielles vérifient $\sum_{k = 0}^{n} u_{k} \sim \sum_{k = 0}^{n} v_{k}$ .

p. 219

Application 14

Formule de Stirling $\exists k > 0 tel que n! \sim k n (\frac{n}{e})^{n}$

p. 228

Application 15

Développement asymptotique de la suite des sinus itérésSoit $(u_{n})$ une suite vérifiant $u_{0} \in] 0, \frac{π}{2}], et \forall n \in N, u_{n + 1} = sin (u_{n})$ Alors $u_{n} = \frac{3}{n} - \frac{3 3}{10} \frac{ln ( n )}{n n} + o (\frac{ln ( n )}{n n})$

p. 211

Proposition 16

Comparaison série - intégraleSoit $f : R^{+} \to R^{+}$ une fonction positive, continue par morceaux et décroissante sur $R^{+}$ . Alors la suite $(U_{n})$ définie par $\forall n \in N, k = 0 \sum n f (k) - \int_{0}^{n} f (t) d t$ est convergente. En particulier, la série $\sum f (n)$ et l’intégrale $\int_{0}^{+ \infty} f (t) d t$ sont de même nature.

Exemple 17

La série de Riemann $\sum \frac{1}{n ^{α}}$ converge si et seulement si $α > 1$ .

Exemple 18

La série de Bertrand $\sum \frac{1}{n ^{α} l n ( n ) ^{β}}$ converge si et seulement si $α > 1$ ou si $α = 1$ et $β > 1$ .

[I-P]
p. 380

Lemme 19

Soit $α > 1$ . Lorsque $n$ tend vers $+ \infty$ , on a $k = n + 1 \sum + \infty \frac{1}{n ^{α}} \sim \frac{1}{α - 1} \frac{1}{n ^{α - 1}}$

developpement-asymptotique-de-la-serie-harmonique

Application 20

Développement asymptotique de la série harmoniqueOn note $\forall n \in N^{*}, H_{n} = \sum_{k = 1}^{n} \frac{1}{k}$ . Alors, quand $n$ tend vers $+ \infty$ , $H_{n} = ln (n) + γ + \frac{1}{2 n} - \frac{1}{12 n ^{2}} + o (\frac{1}{n ^{2}})$

[AMR11]
p. 109

Proposition 21

Soit $\sum f (n)$ une série relevant d’une comparaison série - intégrale. On note $R_{n}$ le reste d’ordre $n$ de cette série. Alors, $\forall n \geq 1, \int_{n + 1}^{+ \infty} f (t) d t \leq ∣ R_{n} ∣ \leq \int_{n}^{+ \infty} f (t) d t$

Exemple 22

La somme $\sum_{n = 1}^{20} \frac{1}{n ^{3}}$ donne une approximation de $ζ (3) = \sum_{n = 1}^{+ \infty} \frac{1}{n ^{3}}$ à moins de $125 \times 1 0^{- 5}$ près.

[GOU20]
p. 213

Proposition 23

Soient deux séries réelles $\sum u_{n}$ et $\sum v_{n}$ à termes strictement positifs telles que $\frac{u _{n + 1}}{u _{n}} \geq \frac{v _{n + 1}}{v _{n}}$ à partir d’un certain rang. Alors :

Si $\sum u_{n}$ converge, $\sum v_{n}$ converge.
Si $\sum v_{n}$ diverge, $\sum u_{n}$ diverge.

Critères

Proposition 24

Règle de d’AlembertSoit $\sum u_{n}$ une série à termes strictement positifs telle que $n \to + \infty lim \frac{u _{n + 1}}{u _{n}} = λ \in [0, + \infty]$ Alors :

Si $λ < 1$ , $\sum u_{n}$ converge.
Si $λ > 1$ , $\sum u_{n}$ diverge.

[AMR11]
p. 94

Exemple 25

$\sum (1 - \frac{1}{n})^{n^{2}}$ converge.

p. 108

Proposition 26

Soit $\sum u_{n}$ une série relevant de la règle de D’Alembert. On note $R_{n}$ le reste d’ordre $n$ de cette série. Alors il existe $N \in N$ et $α \in] 0, 1 [$ tels que $\forall n \geq N, ∣ R_{n} ∣ \leq \frac{α}{1 - α}$

Exemple 27

$\sum_{k = 0}^{10} \frac{1}{n !}$ donne une valeur approchée de $e$ à moins de $3 \times 1 0^{- 8}$ près par défaut.

[GOU20]
p. 214

Proposition 28

Règle de CauchySoit $\sum u_{n}$ une série à termes strictement positifs telle que $n \to + \infty lim n u_{n} = λ \in [0, + \infty]$ Alors :

Si $λ < 1$ , $\sum u_{n}$ converge.
Si $λ > 1$ , $\sum u_{n}$ diverge.

[AMR11]
p. 112

Exemple 29

$\sum (\frac{4 n + 1}{3 n + 2})^{n}$ converge.

p. 107

Proposition 30

Soit $\sum u_{n}$ une série relevant de la règle de Cauchy. On note $R_{n}$ le reste d’ordre $n$ de cette série. Alors il existe $N \in N$ et $α \in] 0, 1 [$ tels que $\forall n \geq N, ∣ R_{n} ∣ \leq \frac{α ^{n + 1}}{1 - α}$

Exemple 31

En reprenant les notations précédentes, pour $u_{n} = n^{- n}$ , on a $R_{4} < 0, 00035$ .

Séries semi-convergentes

p. 214

Définition 32

On appelle séries semi-convergentes les séries convergentes mais non absolument convergentes.

Théorème 33

Critère de LeibnizSoit $(a_{n})$ une suite à termes positifs, décroissantes, tendant vers $0$ . Alors $\sum (- 1)^{n} a_{n} converge et \forall n \in N, ∣ R_{n} ∣ = k = n + 1 \sum + \infty (- 1)^{k} a_{k} \leq a_{n + 1}$

p. 97

Exemple 34

La série $\sum (- 1)^{n - 1} n^{- α}$ est convergente pour $α > 0$ . De plus, les restes $R_{n}$ vérifient $∣ R_{n} ∣ \leq \frac{1}{( n + 1 ) ^{α}}$

[GOU20]
p. 215

Proposition 35

Transformation d’AbelSoit une série $\sum u_{n}$ où $\forall n \in N, u_{n} = α_{n} v_{n}$ . On note $\forall n \in N, S_{n} = \sum_{k = 0}^{n} v_{k}$ . Alors, $k = 0 \sum n u_{k} = α_{n} S_{n} + k = 0 \sum n - 1 (α_{k} - α_{k + 1}) S_{k}$

[AMR11]
p. 99

Corollaire 36

Critère d’AbelSoit une série $\sum u_{n}$ où $\forall n \in N, u_{n} = α_{n} v_{n}$ . On suppose :

$(α_{n})$ est une suite réelle positive, décroissante et qui tend vers $0$ .
La série $\sum v_{n}$ est bornée par une constante $M$ .

Alors $\sum u_{n}$ est convergente, et les restes $R_{n}$ vérifient $\forall n \in N, ∣ R_{n} ∣ \leq M a_{n + 1}$ .

[GOU20]
p. 216

Remarque 37

En reprenant les notations précédentes, avec $v_{n} = (- 1)^{n}$ , on retrouve le critère de Leibniz.

Exemple 38

La série $\sum \frac{e ^{ni θ}}{n ^{α}}$ converge pour tout $α > 0, θ \in R ∖ 2 π Z$ .

Calcul de sommes

Séries de Fourier

p. 267

Définition 39

Soit $f : R \to C$ une application $2 π$ -périodique et continue par morceaux sur $R$ . On appelle coefficients de Fourier de $f$ les nombres complexes définis par $\forall n \in Z, c_{n} (f) = \frac{1}{2 π} \int_{0}^{2 π} f (t) e^{- in t} d t$ La série de Fourier associée à $f$ est $n \in Z \sum c_{n} (f) e^{in x}$

Théorème 40

Égalité de ParsevalSoit $f : R \to C$ une application $2 π$ -périodique et continue par morceaux sur $R$ . Alors, $n = - \infty \sum + \infty ∣ c_{n} (f) ∣^{2} = \frac{1}{2 π} \int_{0}^{2 π} ∣ f (t) ∣^{2} d t$

Exemple 41

On considère $f : x \mapsto 1 - \frac{x ^{2}}{π ^{2}}$ sur $[- π, π]$ . Alors, $∥ f ∥_{2}^{2} = \frac{8}{9} + n = 1 \sum + \infty \frac{16}{π ^{4} n ^{4}} = \frac{16}{15} ⟹ n = 1 \sum + \infty \frac{1}{n ^{4}} = \frac{π ^{4}}{90}$

Théorème 42

Théorème de Jordan-DirichletSoit $f : R \to C$ une application $2 π$ -périodique et $C^{1}$ par morceaux sur $R$ . Alors la série de Fourier de $f$ est convergente en tout point $x \in R$ et sa somme en ce point vaut $\frac{f ( x ^{+} ) + f ( x ^{-} )}{2}$

Exemple 43

Toujours avec $f : x \mapsto 1 - \frac{x ^{2}}{π ^{2}}$ , on obtient $\sum_{n = 1}^{+ \infty} \frac{1}{n ^{2}} = \frac{π ^{2}}{6}$ .

Séries entières

p. 247

Définition 44

On appelle série entière toute série de fonctions de la forme $\sum a_{n} z^{n}$ où $z$ est une variable complexe et où $(a_{n})$ est une suite complexe.

Lemme 45

Lemme d’AbelSoient $\sum a_{n} z^{n}$ une série entière et $z_{0} \in C$ tels que $(a_{n} z_{0}^{n})$ soit bornée. Alors :

$\forall z \in C$ tel que $∣ z ∣ < ∣ z_{0} ∣$ , $\sum a_{n} z^{n}$ converge absolument.
$\forall r \in] 0, ∣ z_{0} ∣ [, \sum a_{n} z^{n}$ converge normalement dans $\overline{D} (0, r) = {z \in C ∣ ∣ z ∣ \leq r}$ .

Définition 46

Soit $\sum a_{n} z^{n}$ une série entière. Le nombre $R = sup {r \geq 0 ∣ (∣ a_{n} ∣ r^{n}) est born \overset{e}{ˊ} e}$ est le rayon de convergence de $\sum a_{n} z^{n}$ . On a :

$\forall z \in C$ tel que $∣ z ∣ < R$ , $\sum a_{n} z^{n}$ converge absolument.
$\forall z \in C$ tel que $∣ z ∣ > R$ , $\sum a_{n} z^{n}$ diverge.
$\forall r \in [0, R [$ , $\sum a_{n} z^{n}$ converge normalement sur $\overline{D} (0, r)$ .

Le disque $D (0, R)$ est le disque de convergence de la série, le cercle $C (0, R)$ est le cercle d’incertitude.

Exemple 47

$\sum \frac{z ^{n}}{n !}$ est une série entière de rayon de convergence infini.

[GOU21]
p. 314

nombres-de-bell

Théorème 48

Nombres de BellPour tout $n \in N^{*}$ , on note $B_{n}$ le nombre de partitions de $[[1, n]]$ . Par convention on pose $B_{0} = 1$ . Alors, $\forall k \in N^{*}, B_{k} = \frac{1}{e} n = 0 \sum + \infty \frac{n ^{k}}{n !}$

[GOU20]
p. 263

Théorème 49

Abel angulaireSoit $\sum a_{n} z^{n}$ une série entière de rayon de convergence supérieur ou égal à $1$ telle que $\sum a_{n}$ converge. On note $f$ la somme de cette série sur le disque unité $D$ de $C$ . On fixe $θ_{0} \in [0, \frac{π}{2} [$ et on pose $Δ_{θ_{0}} = {z \in D ∣ \exists ρ > 0 et \exists θ \in [- θ_{0}, θ_{0}] tels que z = 1 - ρ e^{i θ}}$ .

Alors $lim_{z \to 1 z \in Δ_{θ_{0}}} f (z) = \sum_{n = 0}^{+ \infty} a_{n}$ .

Application 50

$n = 0 \sum + \infty \frac{( - 1 ) ^{n}}{( 2 n + 1 )} = \frac{π}{4}$

Application 51

$n = 1 \sum + \infty \frac{( - 1 ) ^{n - 1}}{n} = ln (2)$

Contre-exemple 52

La réciproque est fausse : $z \to 1 ∣ z ∣ < 1 lim n = 0 \sum + \infty (- 1)^{n} z^{n} = z \to 1 ∣ z ∣ < 1 lim \frac{1}{1 + z} = \frac{1}{2}$ alors que la série $\sum_{n = 0}^{+ \infty} (- 1)^{n}$ diverge.

Théorème 53

Taubérien faibleSoit $\sum a_{n} z^{n}$ une série entière de rayon de convergence $1$ . On note $f$ la somme de cette série sur $D (0, 1)$ . On suppose que $\exists S \in C tel que x \to 1 x < 1 lim f (x) = S$ Si $a_{n} = o (\frac{1}{n})$ , alors $\sum a_{n}$ converge et $\sum_{n = 0}^{+ \infty} a_{n} = S$ .

Remarque 54

Ce dernier résultat est une réciproque partielle du 49. Il reste vrai en supposant $a_{n} = O (\frac{1}{n})$ (c’est le théorème Taubérien fort).

Annexes

[GOU20]
p. 263

tikzpicture-1 — Illustration du théorème d’Abel angulaire.