5.11 Séries dépendant d'un paramètre

Souvent, les séries sont utilisées pour définir des fonctions d’une variable réelle.
Supposons que le terme général d’une série dépende d’un paramètre réel. Cela signifie que pour chaque

n ⩾ 1

, on a une fonction

x \mapsto a_{n} (x) .

Pour simplifier, on supposera que toutes ces fonctions sont définies sur le même intervalle

a_{n} : I \to R

On peut donc définir, formellement, la fonction

f : I \to R

par

x \mapsto f (x) := n ⩾ 1 \sum a_{n} (x) .

Évidemment, on ne peut étudier cette fonction que sur les points

x

où la série qui définit

f (x)

est convergente. Le domaine de

f

est donc

D (f) = {x \in I n ⩾ 1 \sum a_{n} (x) converge} .

Exemple 5.26.

Considérons le terme général

a_{n} (x) = x^{n} .

Pour tout

n ⩾ 0

a_{n}

est une fonction définie sur

I = R

. On remarque alors que

f (x) = \sum_{n ⩾ 0} x^{n}

n’est autre que la série géométrique, où

x

joue le rôle de raison. On sait donc qu’elle converge si et seulement si

∣ x ∣ < 1

. On a donc

D (f) =] - 1, 1 [

.
Il est intéressant de remarquer que pour

x \in D (f)

f (x)

est en fait

\frac{1}{1 - x}

Exemple 5.27.

Si on considère

a_{n} (x) = \frac{( x + 3 ) ^{n}}{n !},

défini pour tout

x \in R

, utilisons le critère de l’Alembert pour étudier la convergence de la série

f (x) = n ⩾ 0 \sum \frac{( x + 3 ) ^{n}}{n !} .

On peut étudier la convergence de cette série, pour un

x

fixé, en étudiant

ρ (x) = n \to \infty lim \frac{a _{n + 1} ( x )}{a _{n} ( x )} .

Or en développant,

ρ (x) = n \to \infty lim \frac{( x + 3 ) ^{n + 1} / ( n + 1 )!}{( x + 3 ) ^{n} / n !} = n \to \infty lim \frac{∣ x + 3∣}{n + 1} = 0 .

donc par le critère de d’Alembert, la série converge pour cette valeur de

x

, et donc

f (x)

est bien définie en ce point. Puisque c’est vrai pour tout

x \in R

, on en déduit que

D (f) = R

Informel 5.4.Une fonction définie par une série est en général très difficile à étudier! Si on considère par exemple le terme général

a_{n} (x) = \frac{c o s ( 9 ^{n} x )}{2 ^{n}}

, alors

f (x) = n ⩾ 0 \sum \frac{cos ( 9 ^{n} x )}{2 ^{n}}

est bien définie partout:

D (f) = R

. En effet,

0 ⩽ ∣ a_{n} (x) ∣ ⩽ \frac{1}{2 ^{n}},

qui est le terme général d’une série géométrique de raison

r = \frac{1}{2}

. Cette fonction, étudiée par Weierstrass au 19ème siècle, possède des propriétés très particulières: elle est continue partout, mais dérivable nulle part (on définira ces termes plus tard dans le cours).

Quiz 5.11.1.L’ensemble de définition

D (f)

de la fonction

f (x) = n ⩾ 1 \sum (\frac{1 + x}{1 - x})^{n}

est

Analyse I / GM

5.11 Séries dépendant d’un paramètre