COURS de

Mathématiques III - Analyse

Laurent Pujo-Menjouet (pujo@[Link])

cours basé sur les notes de
Stéphane Génieys (genieys@[Link])

Université de Lyon, Université Lyon 1,

CNRS, UMR 5208, Institut Camille Jordan,
Bâtiment du Doyen Jean Braconnier,
43, blvd du 11 novembre 1918,
F - 69222 Villeurbanne Cedex, France

Table des matières

1 Rappels : structure de R, suites dans R ou C : 2

2 Rappels suites complexes, limsup de suites réelles 6

3 Séries dans R ou C : 11

4 Suites de fonctions 22

5 Série de fonctions 27

6 Séries entières 31

7 Fonctions développables en séries entières 38

8 Séries de Fourier 45

1
1 Rappels : structure de R, suites dans R ou C :
R se construit rigoureusement à partir de N (entiers naturels) en définissant Z
(entiers relatifs) puis Q (nombres rationnels : de la forme p/q avec p ∈ Z et
q ∈ Z∗ ). Dans ce cours, on va simplement rappeler la différence entre R et Q.
La crise des nombres chez les grecs : Pythagore considère un triangle isocèle
rectangle de côté 1. Il remarque que le carré de l’hypothénuse vaut 2. Or il re-
marque qu’il n’existe pas de nombre dans Q dont le carré soit 2. Donc, si les seuls
nombres qu’on connaisse sont les rationnels, il y a des longueurs simples qui ne
sont pas des nombres !
R est défini à partir de Q en “rajoutant des nombres” pour éviter ce genre de
problème.
Une des façons de “rajouter des nombres” est d’utiliser la notion de
! suite :
N → R
Définition : (SUITE) On appelle suite réelle toute application
n #→ xn .
On note une telle application (xn )n∈N .

Remarque : On appellera aussi suite les applications dont l’ensemble de départ

est N privé de ses premiers éléments jusqu’à un certain rang.

La notion la plus importante concernant les suites est celle de convergence. Pour
définir la convergence, on définit la notion de voisinage. L’étude des voisinages
est une branche des mathématiques appelée la topologie. On peut définir des voi-
sinages pour des objets autres que des nombres (des vecteurs, des fonctions, . . .).
Chaque fois qu’on peut définir des voisinages, on peut alors étudier des conver-
gences, des continuités, des notions proches de la dérivabilité, et faire de l’opti-
misation.

Définition : (VOISINAGE) Soit x ∈ R. On dit que V ⊂ R est un voisinage de x

ssi ∃ε > 0 tel que [x − ε, x + ε] ⊂ V .

Remarque : On peut aussi dire, c’est équivalent, V ⊂ R est un voisinage de x ssi

2
∃ε > 0 tel que ]x − ε, x + ε[⊂ V .

Définition : (VOISINAGE DE L’INFINI) On dit que V ⊂ R est un voisinage de

+∞ (resp. de −∞) ssi ∃A ∈ R tel que [A, +∞[⊂ V (resp. ] − ∞, A] ⊂ V ).

Définition : (LIMITE) Soit (xn )n∈N une suite réelle. Soit l fini ou infini. On dit
que l est la limite de (xn )n∈N , et on note l = lim xn ssi ∀V voisinage de l,
n→+∞
∃NV ∈ N tel que ∀n ≥ NV , xn ∈ V .

Si une suite admet une limite finie on dit qu’elle converge. Si elle admet une
limite infinie ou si elle n’admet pas de limite, on dit qu’elle diverge.
– Si l est +∞, l = lim xn signifie :
n→+∞
∀A ∈ R, ∃NA ∈ N tel que n ≥ NA ⇒ xn ≥ A.
– Si l ∈ R, l = lim xn signifie :
n→+∞
∀ε > 0, ∃Nε ∈ N tel que n ≥ Nε ⇒ xn ∈ [l − ε, l + ε] (c’est à dire
|xn − l| ≤ ε).

Propriété : Soient (xn )n∈N et (yn )n∈N deux suites de réels tels que ∀n ∈ N, xn ≤
yn . Supposons que lim xn = l1 et lim yn = l2 . Alors l1 ≤ l2 .
n→+∞ n→+∞

Remarque : Même si on suppose que ∀n ∈ N, xn < yn , on ne peut pas en déduire

que l1 < l2 (on a juste l1 ≤ l2 ). Exemple : ∀n ∈ N∗ , xn = 0 et yn = 1/n.

Propriété : (THEOREME DES GENDARMES) Soient (xn )n∈N , (yn )n∈N et

(zn )n∈N trois suites de réels telles que ∀n ∈ N, xn ≤ yn ≤ zn . On suppose
que lim xn = lim zn = l (l fini ou infini). Alors lim yn = l.
n→+∞ n→+∞ n→+∞

Il existe une notion proche de celle de suite convergente, mais ne nécessitant pas
de préciser la valeur de l :

3
Définition : (SUITE DE CAUCHY) Soit (xn )n∈N une suite réelle. On dit que
(xn )n∈N est une suite de Cauchy ssi on a : ∀ε > 0, ∃Nε ∈ N tel que (n ≥ N et
m ≥ Nε ) ⇒ |xn − xm | ≤ ε.

Est-ce qu’être une suite de cauchy est la même chose qu’être une suite conver-
gente ?

Propriété : Si une suite est convergente, alors elle est de Cauchy.

Démontré en cours.

Si dans un ensemble toute suite de Cauchy est convergente, on dit que cet en-
semble est complet.

Q n’est pas complet :

considérons la suite définie par x0 = 2 et ∀n ∈ N, xn+1 = (1/2)(xn +2/xn ). Tous
les xn sont bien dans Q et on montrera (en TD) que cette suite est de Cauchy. Or,
si sa limite est l, alors l = (1/2)(l + 2/l), c’est à dire l2 = 2 donc l n’existe pas
dans Q !

On peut maintenant dire ce qu’est R : R est le complété de Q : c’est Q “auquel

on rajoute toutes les limites des suites de Cauchy”. (Cette phrase ne constitue bien
sûr pas une construction rigoureuse de R).

Il existe deux autres façons équivalentes de construire R à partir de Q. L’une utilise

la notion de borne sup :

Définition : (BORNE SUP, BORNE INF) Soit E ⊂ R. On dit que M ∈ R est la

borne supérieure de E (M = sup(E)) ssi
1. M est un majorant de E (∀x ∈ E, x ≤ M ),
2. si M % est un majorant de E, alors M ≤ M % .
De même m ∈ R est la borne inférieure de E (m = inf(E)) ssi
1. m est un minorant de E (∀x ∈ E, x ≥ m),
2. si m% est un minorant de E, alors m ≥ m% .

4
 
 M est un majorant de E,

Propriété : M = sup(E) ssi

 ∃ (xn )n∈N suite d’éléments de E telle que lim xn = M.
n→+∞

La propriété correspondante pour la borne inf est vraie.

Définition : (MAXIMUM, MINIMUM) Soit E ⊂ R. On dit que M est le maxi-

mum de E (M = max(E)) si M = sup(E) et M ∈ E. On dit que m est le
minimum de E (m = min(E)) si m = inf(E) et m ∈ E.

On peut maintenant décrire la deuxième façon de construire R : R c’est Q auquel

on rajoute “toutes les bornes sup de sous-ensembles de Q”.

On a alors les deux propriétés suivantes :

Propriété : (PROPRIETE DE LA BORNE SUP) Toute partie de R non vide et

majorée admet une borne sup.

Propriété : Tout réel est la borne sup d’un ensemble d’éléments de Q.

Remarque : Q n’a pas la propriété de la borne sup : {x ∈ Q tq x2 < 2} admet

√
2 comme borne sup dans R et n’admet pas de borne sup dans Q.

Enfin, la troisième façon de construire R utilise les suites croissantes et majorées :

R c’est Q auquel on rajoute “toutes les limites de suites croissantes et majorées
de Q”. On a alors :

Propriété : Toute suite réelle (xn )n∈N croissante et majorée (resp. décroissante et
minorée) converge et on a lim xn = sup xn (resp. lim xn = inf xn ).
n→+∞ n∈N n→+∞ n∈N

5
Remarque : Cette propriété n’est pas vraie dans Q.

Définition : (SUITES ADJACENTES) Soient (xn )n∈N et (yn )n∈N deux suites de
réels. On dit qu’elles sont adjacentes ssi
1. l’une des suites est croissante,
2. l’autre suite est décroissante,
3. lim (xn − yn ) = 0.
n→+∞

Propriété : Si (xn )n∈N et (yn )n∈N sont deux suites réelles adjacentes telles que
(xn )n∈N soit croissante et (yn )n∈N soit décroissante alors :
1. ∀(n, m) ∈ N2 , xn ≤ ym ,
2. lim xn et lim yn existent, sont finies et sont égales.
n→+∞ n→+∞
Démontré en cours.

2 Rappels suites complexes, limsup de suites réelles

Il n’existe pas x ∈ R tel que x2 = −1 (ou x2 + 1 = 0). Si on veut que tout
polynôme de degré 2 ait 2 racines, on introduit le nombre imaginaire i qui vérifie
i2 = −1. On définit alors les nombres complexes comme la somme d’une partie
réelle et d’une partie imaginaire :

C = {a + ib, a ∈ R, b ∈ R}.

C est donc très similaire à R2 = {(a, b), a ∈ R, b ∈ R}. La différence est qu’on
définit un produit C × C → C alors qu’on ne le fait pas sur R2 (il existe un produit
scalaire R2 × R2 → R mais c’est différent).

Un des intérêts principaux des nombres complexes est leur formulation module-
argument :

6
Propriété : Soit z = a + ib ∈ C. ∃! (ρ, θ) ∈ R+ × [0, 2π[ tel que z = ρeiθ . On a
√
alors a = ρ cos(θ), b = ρ sin(θ) et ρ = a2 + b2 .
! !
Alors si z = ρeiθ et z % = eiθ , on a zz % = ρei(θ+θ ) . Donc une multiplication
par un nombre complexe de module 1 correspond à une rotation. C’est à cause
de cet effet qu’on utilise les nombres complexes pour modéliser les phénomènes
oscillants.

!
N → C
Définition : (SUITE) Une suite complexe est une application
n #→ zn .

Pour définir la convergence des suites complexes, on définit les voisinages dans C

Définition : (VOISINAGE) Soit z ∈ C. On dit que V ⊂ C est un voisinage de z

ssi il existe ε > 0 tel que D(z, ε) = {z % ∈ C tq |z − z % | ≤ ε} ⊂ V .
o
Remarque : On peut aussi prendre D(z, ε) = {z % ∈ C tq |z − z % | < ε}.

La définition de limite de suite dans C est alors la même que dans R :

Définition : (LIMITE D’UNE SUITE) Soit (zn )n∈N une suite complexe et soit
l ∈ C. On dit que l est la limite de (zn )n∈N , et on note l = lim zn ssi pour tout
n→+∞
V voisinage de l, il existe NV ∈ N tel que pour tout n ≥ NV , zn ∈ V .

Remarques :
1. l = lim zn signifie donc pour tout ε > 0, il existe Nε ∈ N tel que
n→+∞

n ≥ Nε ⇒ |zn − l| ≤ ε (c’est à dire zn ∈ D(l, ε)).

2. Dans R on définit des voisinages de +∞ et −∞, ce qui permet de définir

7
 des limites infinies. Dans C on ne le fait pas : une limite infinie dans C n’a
aucun sens.

Comme dans R, on définit les suites de Cauchy :

Définition : (SUITE DE CAUCHY) Soit (zn )n∈N une suite complexe. On dit que
(zn )n∈N est une suite de Cauchy ssi on a : pour tout ε > 0, il existe Nε ∈ N tel que

(n ≥ Nε et m ≥ Nε ) ⇒ |xn − xm | ≤ ε.

Comme dans R, on a alors :

Propriété : Dans C, toute suite de Cauchy est convergente. (C’est à dire que C
est complet).

Pour le démontrer, on décompose la suite complexe en sa partie réelle et sa partie

imaginaire. On a :

Propriété : Soit (zn )n∈N une suite complexe. Les propositions suivantes sont équi-
valentes :
– (zn )n∈N est de Cauchy (dans C),
– (Re(zn ))n∈N et (Im(zn ))n∈N sont de Cauchy (dans R),
– (Re(zn ))n∈N et (Im(zn ))n∈N convergent (dans R),
– (zn )n∈N converge (dans C).

Lorsqu’on utilise la formulation module-argument :

Propriété : Soit (zn )n∈N une suite complexe et l ∈ C. On a

lim zn = l (limite dans C) ⇒ lim |zn | = |l| (limite dans R).

n→+∞ n→+∞

8
Remarque : LA RECIPROQUE N’EST PAS VRAIE. Il n’y a que deux cas où
l’étude du module permet de conclure sur la convergence de la suite :
– si lim |zn | = 0 alors lim zn = 0.
n→+∞ n→+∞
– si lim |zn | = +∞ alors (zn )n∈N diverge.
n→+∞

Différence fondamentale entre R et C : il n’y a pas de relation d’ordre (similaire

à ≤) dans C (ni dans R2 : de façon générale, on peut ordonner des nombres réels
mais pas des vecteurs). Donc pas de notion de suite croissante, de majoration, de
théorème des gendarmes, de limsup et liminf.

Limite supérieure et inférieure de suites réelles :

La relation d’ordre ≤ de R permet de définir la limsup et la liminf d’une suite

réelle. L’intérêt est que la limsup et la liminf existent toujours, dans R∪{−∞, +∞},
contrairement à la limite.

Définition : (LIMSUP, LIMINF) Soit (xn )n∈N une suite réelle. Par définition,
lim sup xn = lim sup xk et lim inf xn = lim inf xk .
n→+∞ n→+∞ k≥n n→+∞ n→+∞ k≥n

Remarque : La suite (sup xk )n∈N étant décroissante, elle admet toujours une
k≥n
limite dans R ∪ {−∞, +∞}. De même, la suite (inf xk )n∈N étant croissante, elle
k≥n
admet toujours une limite dans R ∪ {−∞, +∞}.

Il est commode de relier la limsup et la liminf d’une suite à ses valeurs d’adhé-
rence.

Définition : (VALEUR D’ADHERENCE) Soit (xn )n∈N une suite réelle et a ∈

R ∪ {−∞, +∞}. On dit que a est une valeur d’adhérence de (xn )n∈N ssi il existe
une sous-suite de (xn )n∈N qui tend vers a.

9
On a alors :

Propriété : Soit (xn )n∈N une suite réelle. Sa limite supérieure est la plus grande
de ses valeurs d’adhérence, et sa limite inférieure est la plus petite.

On en déduit :

Propriété : Une suite réelle (xn )n∈N tend vers l ∈ R∪{−∞, +∞} ssi lim sup xn =
n→+∞
lim inf xn = l.
n→+∞

10
3 Séries dans R ou C :

Définition : (SERIE) Soit (xn )n∈N une suite de nombres réels ou complexes. On
&
appelle série de terme général xn et on note xn , la suite (Sn )n∈N définie par

n
'
pour tout n ∈ N, Sn = xk .
k=0
&
On dit que la série xn converge (resp. diverge) ssi la suite (Sn )n∈N converge
'+∞
(resp. diverge). Si la série converge, lim Sn est notée xn et est appelée la
n→+∞
n=0
somme de la série.

n
'
Exemple : SERIE GEOMETRIQUE : soit z ∈ C tel que |z| < 1. Alors zk =
k=0
'n
1 − z n+1 1 &
et lim z n+1
= 0 donc lim zk = . La série z n converge
1−z n→+∞ n→+∞
k=0
1−z
1
et sa somme est .
1−z

& &
Propriétés élémentaires : Soient xn et yn deux séries réelles ou complexes
et λ ∈ C.
& & &
1. Si xn et yn convergent alors (λxn + yn ) converge et
+∞
' +∞
' +∞
'
(λxn + yn ) = λ xn + yn .
n=0 n=0 n=0
& & &
2. Si λ /= 0, si xn diverge et yn converge alors (λxn + yn ) diverge.

& & &

Remarque : Si xn et yn divergent, on peut avoir quand même (xn + yn )
qui converge. (Exemple : si xn = −yn ).

11
Premiers critères de convergence :

&
Propriété (Critère de Cauchy) : Une série réelle ou complexe xn converge
( (
( '
m (
( (
ssi pour tout ε > 0, il existe Nε ∈ N tel que (m > n ≥ Nε ) ⇒ ( xk ( ≤ ε.
( (
k=n+1

n
'
Preuve : La suite (Sn )n∈N où Sn = xk est une suite réelle ou complexe. Donc
k=0
elle converge ssi elle est de Cauchy. (Sn )n∈N est de Cauchy ssi pour tout ε > 0, il
existe Nε ∈ N tel que (n ≥ Nε et m ≥ Nε ) ⇒ |Sn − Sm | ≤ ε. Ou encore ssi pour
tout ε > 0, il existe Nε ∈ N tel que (m > n ≥ Nε ) ⇒ |Sn − Sm | ≤ ε. !

&
Remarque : D’après la propriété précédente, si xn converge, alors lim xn =
n→+∞
&
0. Si lim xn /= 0, on dit que xn est grossièrement divergente. Démontré en
n→+∞
cours.

Définition : (CONVERGENCE ABSOLUE) On dit que la série (réelle ou com-

& &
plexe) xn est absolument convergente ssi la série (réelle) |xn | est conver-
gente.

Propriété : Une série réelle ou complexe absolument convergente est conver-

gente.

& &
Preuve : Si xn est absolument convergente alors |xn | est convergente et
vérifie donc le critère
( de Cauchy
( : pour tout ε >( 0, il existe
( Nε ∈ N tel que
( ' m ( 'm ( ' m ( 'm
( ( ( (
m > n ≥ Nε ⇒ ( |xk |( = |xk | < ε. Or ( xk ( ≤ |xk |. Donc
( ( ( (
& k=n+1 k=n+1 k=n+1 k=n+1
xn vérifie le critère de Cauchy. Elle est donc convergente. !

12
Séries réelles à termes positifs :

& &
Propriété : (COMPARAISON) Soient xn et yn deux séries réelles à termes
positifs telles
& que ∀n ∈ N, xn ≤&yn . Alors
– i) si &yn converge alors& xn converge,
– ii) si xn diverge alors yn diverge.

Preuve :
n
' n
'
– i) Notons Sn = xk et Tn = yk . On a ∀n ∈ N, Sn ≤ Tn . Si
& k=0 k=0 &
yn converge, notons T = lim Tn . Comme yn est à termes posi-
n→+∞ &
tifs, ∀n ∈ N, Sn ≤ T . De plus, comme xn est à termes positifs, (Sn )n∈N
est croissante.
& Comme elle est majorée par T , elle est convergente.
– ii) Si xn diverge, puisqu’elle est à termes positifs, lim Sn = +∞.
n→+∞
Donc lim Tn = +∞. !
n→+∞

Définition : (EQUIVALENCE) Soient (xn )n∈N et (yn )n∈N deux suites réelles ou
complexes. On dit qu’elles sont équivalentes à l’infini et on note xn ∼+∞ yn ssi
pour n assez grand, xn = yn (1 + ε(n)) avec lim ε(n) = 0.
n→+∞

& &
Propriété : (SERIES ET EQUIVALENTS) Soient xn et yn deux séries
& &
réelles à termes positifs telles que xn ∼+∞ yn . Alors xn et yn sont de
même nature (convergentes ou divergentes).

Preuve : Si xn ∼+∞ yn , alors pour n assez grand, xn = yn (1+ε(n)) où lim ε(n) =

n→+∞
0. Pour n assez grand, −1/2 ≤ ε(n) ≤ 1/2 donc yn /2 & ≤ yn (1 + ε(n)) =
x
&n ≤ 3yn /2. Puisque
& pour n assez grand
& ny /2 ≤ x n , si xn converge alors
yn converge &et si yn diverge alors
& xn diverge. Puisque& pour n assez grand&
xn ≤ 3yn /2, si yn converge alors xn converge et si x& n diverge
& alors yn
diverge. Ces comparaisons ne sont valables que parce que xn et yn sont à

13
termes positifs. !

Définition : (NEGLIGEABILITE) Soient (xn )n∈N et (yn )n∈N deux suites réelles
ou complexes. On dit que (xn )n∈N est négligeable devant (yn )n∈N à l’infini et on
note xn =+∞ o(yn ) ssi pour n assez grand, xn = yn ε(n) avec lim ε(n) = 0.
n→+∞

& &
Propriété : (SERIES ET NEGLIGEABILITE) Soient xn et yn deux sé-
&
ries réelles telles que xn =&
+∞ o(yn ). On suppose que yn est à termes positifs
et qu’elle converge. Alors xn est aussi convergente.

Propriété : (SERIE DE RIEMANN) Soit α ∈ R∗+ . Si α > 1 alors la série

&
1/nα converge et si α ≤ 1 alors elle diverge.

Cette propriété sera démontrée par comparaison d’une série et d’une intégrale.

&
Propriété : (COMPARAISON AVEC LES SERIES DE RIEMANN) Soit xn
une série réelle à termes positifs.
&
1. S’il existe α > 1 tel que pour tout n ∈ N, nα xn ≤ 1, alors xn converge.
&
2. S’il existe α ≤ 1 tel que pour tout n ∈ N, nα xn ≥ 1, alors xn diverge.
La preuve est une simple application de la proposition précédente et du principe
de comparaison des séries à termes positifs.

Les deux propriétés suivantes (règle de Cauchy et règle de D’Alembert) consistent

à comparer une série à termes positifs avec une série géométrique. La façon la plus
simple de les énoncer est d’utiliser les limsup et liminf :

&
Propriété : (REGLE DE CAUCHY) Soit xn une série réelle à termes positifs.
√
Notons l = lim sup n xn . Alors
n→+∞

14
 &
– i) Si l < 1, & xn converge,
– ii) si l > 1, xn diverge,
– iii) si l = 1, on ne peut pas conclure. C’est le cas douteux de la règle de
Cauchy.

&
Propriété : (REGLE DE D’ALEMBERT) Soit xn une série réelle à termes
xn+1 xn+1
strictement positifs. Notons L = lim sup et l = lim inf . Alors
& n→+∞ xn n→+∞ xn
– i) Si L < 1,& xn converge,
– ii) si l > 1, xn diverge,
– iii) si l ≤ 1 ≤ L, on ne peut pas conclure. C’est le cas douteux de la règle
de D’Alembert.

xn+1
Remarque : Lorsque lim existe, on a L = l et la règle de D’Alembert est
n→+∞ xn
alors très similaire&à la règle de Cauchy :
– i) Si l < 1, & xn converge,
– ii) si l > 1, xn diverge,
– iii) si l = 1, cas douteux.

Remarque : (LIEN ENTRE LES REGLES DE CAUCHY ET DE D’ALEM-

BERT)
xn+1 √ xn+1 √
– Si lim existe, alors lim n xn existe et lim = lim n xn .
n→+∞ xn n→+∞ n→+∞ xn n→+∞
Donc il est inutile d’essayer la règle de Cauchy si la règle de D’Alembert a
xn+1
donné lim = 1.
n→+∞ xn
xn+1 √
– Si lim n’existe pas, il est possible que lim n xn existe quand
n→+∞ xn n→+∞
même, et il est possible qu’on ne soit pas dans le cas douteux de la règle
de Cauchy, même si on est dans le cas douteux de celle de D’Alembert.

Comparaison d’une série et d’une intégrale impropre :

15
Définition : (INTEGRALE IMPROPRE) Soit a ∈ R et f : [a, +∞[→ R
) X
intégrable sur tout intervalle borné inclus dans [a, +∞[. Si lim f (x)dx
X→+∞ a
) +∞
existe et est finie, on dit que l’intégrale impropre f (x)dx converge, et on
) +∞ ) X a

note f (x)dx = lim f (x)dx. Sinon, on dit que l’intégrale impropre

a X→+∞ a
diverge.

Propriété : (COMPARAISON D’UNE SERIE ET D’UNE INTEGRALE IM-

PROPRE) Soit f : [a, +∞[→ R intégrable sur tout intervalle)borné inclus dans
+∞
[a, +∞[, décroissante et positive. Alors l’intégrale impropre f (x)dx et la
& a
série f (n) sont de même nature (convergentes ou divergentes).

Preuve : Comme f est décroissante, on a pour tout n ∈ N, pour tout x ∈ [n, n+1],
f (n +)1) ≤ f (x) ≤ f (n), ) )
n+1 n+1 n+1
donc f (n + 1)dx ≤ f (x)dx ≤ f (n)dx.
n ) n+1
n n

C’est à dire f (n + 1) ≤ f (x)dx ≤ f (n). Or

) +∞ n
*X
f (x)dx = limX→+∞ X∈N a f (x)dx
a +* & * n+1 ,
E(a)+1
= limX→+∞ X∈N a f (x)dx + X−1 n=E(a)+1 n f (x)dx .
) n+1 ) +∞
Donc, puisque f (x)dx ≤ f (n), si f (x)dx diverge,
) n+1
n a
& & &
c’est à dire f (x)dx diverge, alors f (n) diverge, et si f (n) converge,
) +∞ n

alors f (x)dx converge.

a ) n+1 ) +∞
De même, puisque f (n + 1) ≤ f (x)dx, si f (x)dx converge, alors
n a ) +∞
& & &
f (n+1) converge et donc f (n) converge, et si f (n) diverge, alors f (x)dx
a

16
diverge. !

&
Exemple d’utilisation : SERIE DE RIEMANN ( 1/nα , α > 0) :

) +∞ ) X - 1−α .X
1 1 x
– Si α /= 1, dx = lim dx = lim =
1 xα X→+∞ 1 xα X→+∞ 1 − α
1
/ −1
si α > 1,
1−α
+∞ si α < 1.
) +∞
1
– Si α = 1, dx = lim [ln(x)]X 1 = +∞.
1 x X→+∞
' 1
Donc converge si et seulement si α > 1.
nα

Propriété : (ENCADREMENT DU RESTE)

) +∞
Soit f : [a, +∞[→ R positive et décroissante, telle que f (x)dx converge.
a
+∞
'
Notons pour n ≥ a, Rn = f (k). Alors, pour tout n ≥ a,
k=n+1
) +∞ ) +∞
f (x)dx ≤ Rn ≤ f (x)dx.
n+1 n

&
Remarque : Pour toute série réelle ou complexe xn convergente, la quantité
+∞
' &
Rn = xk est appelée reste d’ordre n de xn , et on a lim Rn =0.
n→+∞
k=n+1

Critères de convergence pour les séries complexes à termes

quelconques :

17
Définition : (SERIE SEMI-CONVERGENTE) Lorsqu’une série est conver-
gente mais pas absolument convergente, on dit qu’elle est semi-convergente.

&
Définition : (SERIE ALTERNEE) Une série réelle xn est dite alternée si et
seulement si (−1)n xn garde un signe constant pour tout n ∈ N.

Propriété : (REGLE DES SERIES ALTERNEES) Pour qu’une série alternée

&
xn converge, il suffit que la suite (|xn |)n∈N soit décroissante et tende vers 0.
+∞
'
De plus, dans ce cas, le reste d’ordre n, Rn = xk , vérifie pour tout n ∈ N,
k=n+1
|Rn | ≤ |xn+1 |.

&
Exemple : (−1)n /n est convergente mais pas absolument convergente (donc
elle est semi-convergente). Cette série est appelée série harmonique alternée. On
peut montrer en appliquant Taylor-Lagrange à − ln(1 + x) sur [0, 1] que

+∞
' (−1)n
= − ln(2)
n=1
n

&
Propriété : (REGLE D’ABEL) Soit xn une série complexe où pour tout n ∈
N, xn = αn un tels que
– i) la suite (αn )n∈N est réelle, décroissante et(tend vers
( 0,
(' n (
( (
– ii) il existe M ∈ R tel que pour tout n ∈ N, ( uk ( ≤ M .
( (
& k=0
Alors xn est convergente.

&
Exemple d’utilisation : Pour α > 0 et θ /= 0 [2π], la série exp(inθ)/nα converge.
En effet : 1/nα joue le rôle de αn , (1/nα )n∈N est une suite réelle, décroissante et
qui tend vers 0. exp(inθ) joue le rôle de un ,

18
( ( (
(' n ( ( 1 − exp(i(n + 1)θ) (( 2
( (
( exp(ikθ)( = (( (≤
( .
( ( 1 − exp(iθ) |1 − exp(iθ)|
k=0
2
Or est indépendant de n, donc la règle d’Abel s’applique.
|1 − exp(iθ)|

Sommation par paquets, changement de l’ordre des termes,

produit :

On peut remplacer des “paquets” de termes consécutifs par leur somme effectuée :

Propriété : Soit n #→ ϕ(n) une application strictement croissante de N dans N.

ϕ(n+1)−1
& & '
Soit xn une série complexe. On considère la série yn où yn = xk
k=ϕ(n)
alors & &
– i) Pour que xn converge , il est nécessaire que yn converge. De plus,
+∞
' +∞
'
si c’est le cas, xn = yn .
n=0 n=0 &
& réels positifs, pour que xn converge, il est nécessaire
– ii) Si les xn sont des
et suffisant que yn converge.

Définition : (PERMUTATION) On appelle permutation de N une bijection de

N sur N.

Définition : (SERIE COMMUTATIVEMENT CONVERGENTE)

&
On dit qu’une série xn& est commutativement convergente ssi pour toute per-
mutation σ de N, la série xσ(n) est convergente.

Propriété : Une série complexe est commutativement convergente si et seulement

19
si elle est absolument convergente. Dans ce cas, sa somme ne change pas si on
change l’ordre des termes.

Remarque :
Cette propriété implique que pour toute série complexe semi-convergente, on peut
trouver une permutation des termes qui donne une série divergente. On peut aussi
démontrer que pour toute série complexe semi-convergente, pour tout nombre
complexe fixé à l’avance, on peut trouver une permutation des termes qui donne
une série dont la somme est ce nombre.

' ' (−1)n+1

Exemple : à partir de la série harmonique alternée xn = = 1−
n≥1 n≥1
n
1 1 1 ' 1 1 1
+ − + · · · = ln(2), on construit la série yn = 1 − − + −
2 3 4 n≥1
2 4 3
1 1 1 1 1
− + ··· + − − + . . . Puis, par sommation
6 8 2n + 1 2(2n + 1) 0 2(2n1+ 2) 0 1
' 1 1 1 1 1
par paquets, on considère zn = 1 − − + − − + ··· +
2 4 3 6 8
0 1 n≥1 ' 1 (−1) n+1
1 1 1 1
− − + ··· = = ln(2). Or si
2n + 1 2(2n + 1) 2(2n + 2) n≥1
2 n 2
& ' ' 1 ' '
yn converge alors yn = zn = ln(2). Donc yn /= xn . !
n≥1 n≥1
2 n≥1 n≥1

& &
Définition : (SERIE PRODUIT) Soient xn et yn deux séries complexes.
& & &
On appelle série produit de xn et yn la série zn où ∀n ∈ N, zn =
' ' n 'n
xp yq = xp yn−p = xn−q yq .
p+q=n p=0 q=0

& &
Propriété : Soient xn et yn deux séries complexes absolument conver-
& & &
gentes. Alors la série produit zn de xn et yn est absolument convergente

20
 +∞
2 +∞ 3 2 +∞ 3
' ' '
et zn = xn yn .
n=0 n=0 n=0

Remarque : Cette propriété ne s’étend pas aux séries semi-convergentes.

(−1)n & &

Exemple : On pose ∀n ∈ N, xn = yn = 1/4
. Les séries xn et yn sont
(n + 1)
alternées et convergentes. Elles ne sont pas absolument convergentes car |xn | =
1 & &
1/4
donc |xn | est de même nature que 1/n1/4 ,
(n + 1)
(car (n + 1)1/4 ∼+∞ n1/4 ) qui est une série de Riemann divergente. La série
& ' 1 1
produit est zn avec zn = (−1)n . Or pour tout p ≤
p+q=n
(p + 1) (q + 1)1/4
1/4

n, (p + 1)1/4 ≤ (n + 1)1/4 donc pour tout (p, q) ∈ N2 tel que p + q = n,

1 1 ' 1 (n + 1)
1/4 1/4
≥ 1/2
. Donc |z n | ≥ 1/2
=
(p + 1) (q + 1) (n + 1) p+q=n
(n + 1) (n + 1)1/2
&
= (n + 1)1/2 . Donc zn est grossièrement divergente. !

21
4 Suites de fonctions

Dans les parties suivantes, on va considérer des fonctions D ⊂ C → C. La

continuité, la limite finie quand z tend vers z0 (z0 fini) et la dérivabilité de telles
fonctions se définissent comme pour les fonctions D ⊂ R → R (mais le module
remplace la valeur absolue). On ne définit pas de limite infinie, ni de limite quand
z tend vers l’infini. Les fonctions D ⊂ C → C dérivables sont dites holomorphes
et ont des propriétés bien plus fortes que les fonctions D ⊂ R → R dérivables.
Leur étude ne commence qu’en L3 de mathématiques.

Remarque :
f (x) − f (x0 )
Dans R, la définition de la dérivée fait intervenir le rapport . Elle
x − x0
implique donc de pouvoir diviser par (x − x0 ). Dans C, ça a un sens, la division
par un nombre complexe est bien définie. Dans R2 ça n’en a pas, la division par
un vecteur n’est pas définie. Pour cette raison, on peut définir la dérivée d’une
fonction D ⊂ C → C mais pas d’une fonction D ⊂ R2 → R2 . Pour ces der-
nières, on introduit une notion plus sophistiquée, la différentiabilité. L’étude de
la différentiabilité ne commence qu’en S4.

Comme il n’y a pas de relation d’ordre dans C, il n’y a pas de théorème de Rolle,
et pas d’égalité des accroissements finis. Mais on peut quand même démontrer
une inégalité des accroissements finis :

Théorème des accroissements finis : Soit f : D ⊂ C → C holomorphe sur

D, de dérivée f % et (z0 , z) ∈ D2 tels que [z0 , z] ∈ D, alors |f (z) − f (z0 )| ≤
|z − z0 | sup |f % (t)|.
t∈[z0 ,z]

Remarque : t ∈ [z0 , z] signifie il existeα ∈ [0, 1] tel que t = z0 + α(z − z0 ).

22
Définition : (CONVERGENCE SIMPLE) Soit (fn )n∈N une suite de fonctions
définies sur le même domaine D : pour tout n ∈ N, fn : D ⊂ C → C. Soit
f : D ⊂ C → C. On dit que (fn )n∈N converge simplement vers f sur D ssi pour
tout z ∈ D, lim fn (z) = f (z) (limite dans C).
n→+∞

Remarque : Cette définition est aussi valable pour les fonctions D ⊂ R → R.

!
[0, 1] → R,
Exemple : On considère fn : (fn )n∈N converge simplement sur
x #→ xn .

→R
 [0, 1] !
[0, 1] vers f où f : 0 si x ∈ [0, 1[,
 x #→
1 si x = 1.
On remarque que dans cet exemple, pour tout n ∈ N, fn est continue mais que f
est discontinue en 1.

Définition : (CONVERGENCE UNIFORME) Soit (fn )n∈N une suite de fonc-

tions D ⊂ C → C et f : D ⊂ C → C. On dit que (fn )n∈N converge uniformé-
ment vers f sur D ssi

lim sup |fn (z) − f (z)| = 0.

n→+∞ z∈D

Remarque :
(fn )n∈N converge simplement vers f sur D se traduit par :

∀z ∈ D, ∀ε > 0, ∃Nz,ε ∈ N tel que n ≥ Nz,ε ⇒ |fn (z) − f (z)| ≤ ε.

(fn )n∈N converge uniformément vers f sur D se traduit par :
∀ε > 0, ∃Nε ∈ N tel que n ≥ Nε ⇒ ∀z ∈ D, |fn (z) − f (z)| ≤ ε.
Il y a un risque de confondre ces deux expressions qui se ressemblent (surtout
si on note N au lieu de Nz,ε et Nε ). La différence est que pour la convergence
uniforme, Nε doit convenir pour tous les z ∈ D.

23
Propriété : Si (fn )n∈N converge uniformément vers f sur D alors elle converge
simplement vers f sur D.

Preuve : Soit z0 ∈ D. On a 0 ≤ |fn (z0 ) − f (z0 )| ≤ sup |fn (z) − f (z)|. Donc si
z∈D
lim sup |fn (z)−f (z)| = 0, d’après le théorème des gendarmes, lim |fn (z0 )−
n→+∞ z∈D n→+∞
f (z0 )| = 0 donc lim fn (z0 ) = f (z0 ). !
n→+∞

Remarque : LA RECIPROQUE N’EST PAS VRAIE.

Critères de convergence uniforme :

Définition : (SUITE UNIFORMEMENT DE CAUCHY) Soit (fn )n∈N une suite

de fonctions D ⊂ C → C. On dit que (fn )n∈N est uniformément de Cauchy sur
D ssi ∀ε > 0, ∃Nε ∈ N tel que (n ≥ Nε et m ≥ Nε ) ⇒ sup |fn (z) − fm (z)| < ε.
z∈D

Propriété : Une suite (fn )n∈N de fonctions D ⊂ C → C converge uniformément

sur D ssi elle est uniformément de Cauchy sur D.

En pratique, on fait d’abord l’étude de la convergence simple, ce qui détermine f .

On étudie alors sup |fn (z)−f (z)|. Si on le majore par (αn )n∈N tel que lim αn =
z∈D n→+∞
0 alors on a montré qu’il y a convergence uniforme. Si on le minore par (αn )n∈N
tel que lim αn /= 0 alors on a montré qu’il n’y a pas convergence uniforme.
n→+∞

Propriété :
Soit (fn )n∈N une suite de fonctions D ⊂ C → C et f : D ⊂ C → C. Pour
que (fn )n∈N ne converge pas uniformément vers f sur D, il suffit qu’il existe
une suite (zn )n∈N de points de D tels que fn (zn ) − f (zn ) ne converge pas vers 0

24
(limite dans C).

Propriétés des limites uniformes :

Propriété (limite et continuité) :

Soit (fn )n∈N une suite de fonctions D ⊂ C → C et f : D ⊂ C → C telles
que (fn )n∈N converge uniformément vers f sur D. Soit a ∈ D. Si pour tout n ∈ N,
fn est continue en a, alors f est continue en a.

Preuve : Soit a ∈ D. Soit ε > 0.

∃Nε ∈ N tel que ∀n ≥ Nε , ∀x ∈ D, |fn (x) − f (x)| ≤ ε/3.
∃ηε > 0 tel que (|x − a| ≤ ηε et x ∈ D) ⇒ |fNε (x) − fNε (a)| ≤ ε/3. Donc
(|x − a| ≤ ηε et x ∈ D) ⇒ |f (x) − f (a)| ≤ |f (x) − fNε (x)| + |fNε (x) − fNε (a)| +
|fNε (a) − f (a)| ≤ ε. Donc f est continue en a. !

Remarque :
!
[0, 1] → R
On voit que la suite de fonctions fn : ne converge uniformé-
x #→ xn
ment sur [0, 1] vers aucune fonction. En effet elle converge simplement sur [0, 1]
vers une fonction qui n’est pas continue.

Propriété (limite et intégrale) :

Soient (a, b) ∈ R2 , (a < b) et (fn )n∈N une suite de fonctions continues de
[a, b] dans R. Soit f : [a, b] → R telle que (fn )n∈N converge uniformément vers
) b ) b
f sur [a, b]. Alors lim fn (x)dx = f (x)dx.
n→+∞ a a

Preuve : Soit ε > 0 fixé. ∃N ∈ N tel que n ≥ N ⇒() ∀x ∈ [a, b], (

) b
( b (
|fn (x) − f (x)| ≤ ε/(b − a). Donc, si n ≥ N , (( fn (x)dx − f (x)dx(( =
a a

25
() b ( ) b
( (
( (fn (x) − f (x))dx( ≤ |fn (x) − f (x)| dx ≤ ε.
( (
a ) b a
) b
Donc lim fn (x)dx = f (x)dx. !
n→+∞ a a

Remarque :
Cette propriété n’est plus vraie si on n’a que la convergence simple de (fn )n∈N
vers f .

Propriété :
(LIMITE ET DERIVABILITE) Soient D un disque de C et (fn )n∈N une
suite de fonctions D ⊂ C → C, holomorphes sur D. On suppose que
– i) la suite (fn% )n∈N converge uniformément sur D vers une fonction g.
– ii) il existe z0 ∈ D tel que (fn (z0 ))n∈N converge.
Alors (fn )n∈N converge uniformément vers une fonction f : D ⊂ C → C sur
toute partie bornée de D. De plus, f est holomorphe sur D et f % = g.

Remarque :
Cette proposition est encore vraie pour les fonctions D ⊂ R → R (remplacer
holomorphe par dérivable et D disque de C par D intervalle de R).

26
5 Série de fonctions

Définition : (SERIE DE FONCTIONS) Soit (fn )n∈N une suite de fonctions dé-
finies sur le même domaine
& D : pour tout n ∈ N, fn : D ⊂ C → C. On dit que la
série de fonctions fn converge simplement (resp. uniformément) sur D ssi la
suite des somme partielles (suites de fonctions) (Sn )n∈N où pour tout n ∈ N, pour
'n
tout z ∈ D, Sn (z) = fk (z) converge simplement (resp. uniformément) sur D.
k=0

Remarque :
En pratique, pour l’étude de la convergence simple d’une série de fonctions
D ⊂ C → C, on est ramené à l’étude de la convergence d’une série complexe.

Propriété :
&
(CRITERE DE CAUCHY UNIFORME) Une série de fonctions fn où
fn : D ⊂ C → C converge
( m uniformément
( sur D ssi ∀ε > 0, ∃Nε ∈ N tel que
( ' (
( (
(m > n ≥ Nε ) ⇒ sup ( fk (z)( ≤ ε.
z∈D ( (
k=n+1

On en déduit que

Propriété :
&
Pour que la série de fonctions fn où fn : D ⊂ C → C converge unifor-
mément sur D, il faut que la suite (fn )n∈N converge uniformément vers 0 sur D.

Les propriétés sur la continuité, la dérivation et l’intégration viennent des proprié-

tés des suites de fonctions :

27
 &
Propriété : (SERIE DE FONCTIONS ET CONTINUITE) Soit fn , fn :
D ⊂ C → C, une série de fonctions et a ∈ D tel que pour tout n ∈ N, fn soit
+∞
'
&
continue en a. Si fn converge uniformément sur D alors fn est continue
n=0
en a.

Propriété : (SERIE DE FONCTIONS ET DERIVATIONS) Soient D un disque

de C et (fn )n∈N une suite de fonctions D ⊂ C → C, holomorphes sur D. On sup-
pose que &
– i) la série fn% converge uniformément
& sur D,
– ii)
& il existe z0 ∈ D tel que fn (z0 ) converge.
Alors fn converge simplement sur D 2 et uniformément
3% +∞sur toute partie bornée
+∞
' +∞
' '
de D. De plus, fn est holomorphe et fn = fn% .
n=0 n=0 n=0

&
Propriété : (SERIE DE FONCTIONS ET INTEGRATION) Soit fn , fn :
&
[a, b] ⊂ R → R (a < b) une série de fonctions continues. Si fn converge
) b 2'
+∞
3 +∞
' ) b
uniformément sur [a, b], alors fn (x)dx = fn (x)dx.
a n=0 n=0 a

On étudie maintenant une autre notion de convergence plus forte que la conver-
gence uniforme :

&
Définition : (CONVERGENCE NORMALE) Soit fn , fn : D ⊂ C → C,
&
une série de fonctions. On dit que& fn converge normalement sur D ssi pour
tout n ∈ N, sup |fn (z)| < +∞ et sup |fn (z)| converge.
z∈D z∈D

Remarque : En pratique, pour montrer qu’il y a convergence normale, on cherche

&
à majorer sup |fn (z)| par un réel αn tel que αn soit convergente, et pour montrer
z∈D

28
qu’il n’y a pas convergence normale, on cherche à minorer sup |fn (z)| par un réel
& z∈D
αn tel que αn soit divergente.

Une façon de minorer est d’utiliser :

Propriété (règle de la suite (zn )n∈N ) :

& &
Soit fn , fn : D ⊂ C → C, une série de fonctions. Pour que fn ne
converge pas &normalement sur D, il suffit qu’il existe une suite (zn )n∈N de points
de D tels que |fn (zn )| diverge.

Remarque :
Cette propriété est basée sur&une minoration : si ∀n & ∈ N, zn ∈ D, alors
sup |fn (z)| ≥ |fn (zn )|. Donc, si |fn (zn )| diverge, alors sup |fn (z)| diverge.
z∈D z∈D

Un cas particulier de la propriété précédente est :

Propriété :
&
& Soit fn , fn : D ⊂ C → C, une série de fonctions.
& S’il existe z0 ∈ D tel que
fn (z0 ) ne soit pas absolument convergente, alors fn n’est pas normalement
convergente sur D.

L’intérêt de la convergence normale est :

29
Propriété : Toute série normalement convergente est uniformément convergente.

2 n 3
& '
Preuve : Si fn est normalement convergente, la suite sup |fk (z)|
z∈D
k=0 n∈N
est convergente donc de Cauchy.
(C’est à dire ∀ε > 0, ∃Nε ∈ N tel que ( (m > n ≥ Nε() ⇒ (
(' m ' n ( ( ' m (
( ( ( (
( sup |fk (z)| − sup |fk (z)|( ≤ ε, ou encore ( sup |fk (z)|( ≤ ε.
( z∈D z∈D ( ( z∈D (
k=0 ( m k=0 ( k=n+1
( ' ( 'm 'm
( (
Or ∀z ∈ D, ( fk (z)( ≤ |fk (z)| ≤ sup |fk (z)|.
( ( z∈D
( k=n+1 ( k=n+1 k=n+1
( ' m ( &
( (
Donc sup ( fk (z)( ≤ ε. Donc fn vérifie le critère de Cauchy uniforme sur
z∈D ( (
k=n+1
D. Donc elle converge uniformément sur D. !

Autre critère de convergence uniforme :

Propriété (règle d’Abel uniforme) : (REGLE D’ABEL UNIFORME)

&
Soit fn , fn : D ⊂ C → C une série de fonctions telles que pour tout n ∈ N,
pour tout z ∈ D, fn (z) = αn (z)un (z) avec
– i) pour tout z ∈ D, la suite (αn (z))n∈N est réelle et décroissante,
– ii) la suite de fonctions (αn )n∈N converge uniformément vers la fonction
identiquement nulle sur D. ( (
(' n (
( (
– iii) il existe M ∈ R tel que pour tout n ∈ N, sup ( uk (z)( ≤ M .
z∈D ( (
& k=0
Alors fn converge uniformément sur D.

30
6 Séries entières

Les séries entières sont des séries de fonctions de forme particulière. Elles
sont bien adaptées à l’opération de dérivation, et donc à la résolution d’équations
différentielles.

Définition : (SERIE ENTIERE)

&
Une série entière est une série de fonctions de la forme an z n (fonctions C → C,
z #→ an z n ) où ∀n ∈ N, an ∈ C.

Pour étudier la convergence de la série,

Propriété : (THEOREME D’ABEL)

&
Soit an z n une série entière. Soit z0 ∈ C tel que la suite (an z0n )n∈N soit bornée.
Alors &
– i) pour tout z1 ∈ C tel que |z1 | < |z0 |, la série (complexe) an z1n est
absolument convergente. &
– ii) ∀r tel que 0 ≤ r < |z0 |, la série de fonctions an z n est normalement
convergente sur le disque fermé D(0, r) = {z ∈ C tq |z| ≤ r}.

Preuve : Si z0 = 0, !z1 ∈ C tel que |z1 | < |z0 | et !r ∈ R tel que r < |z0 | donc la
propriété est triviale.
Si z0 /= 0, soit M tel que ∀n ∈ N, |an z0n | ≤ M . ( 0 1 (
( n z1 n (
(
– i) Si z1 ∈ C est tel que |z1 | ≤ |z0 | alors ∀n ∈ N, |an z1 | = (an z0
n (≤
z (
( (n ( ( ( (n 0
( z1 ( ( z1 ( |z1 | & ( z1 ( &
M (( (( . Comme (( (( = < 1, M (( (( converge donc |an z1n |
z0 z0 |z0 | z0
converge. ( (n 0 1n
( z1 ( r
– ii) Si 0 ≤ r < |z0 |, sup |an z | ≤ sup M ( ( = M
n ( ( et
z∈D̄(0,r) z∈D̄(0,r) z0 |z0 |

31
 0 1n
& r
M converge. !
|z0 |

Définition : (RAYON DE CONVERGENCE)

&
Soit an z n une série entière. On appelle rayon de convergence de la série le
nombre R = sup{r ∈ R+ tq (an rn )n∈N soit bornée}.

Remarque :
{r ∈ R+ tq (an rn )n∈N soit bornée} =
/ ∅ car il contient 0. Si cet ensemble est
majoré il admet une borne sup. Sinon, on convient de poser R = +∞.

Propriété :
&
Soit R le rayon& de convergence d’une série entière an z n .
– i) Si R = 0, an z1n ne converge que& pour z1 = 0.
– ii) Si R = & +∞, pour tout z1 ∈ C, an z1n converge absolument et pour
tout r ≥ 0, an z1n converge normalement sur D(0, r).
– iii)
& Si R est un nombre fini non nul, pour tout z1 ∈ C tel que |z1&| < R,
an z1n converge absolument, pour tout& z1 ∈ C tel que |z1 | > R, an z1n
diverge, pour tout r tel que 0 ≤ r < R, an z1n converge normalement sur
D(0, r).

Définition : (DISQUE DE CONVERGENCE)

&
Si R est le rayon de convergence d’une série entière an z n , le disque ouvert
o
D(0, R) = {z ∈ C tq |z| < R} est appelé disque de convergence de la série
entière.

32
Remarque :
&
Si R est fini, on ne sait pas à priori si an z n converge pour |z| = R.

Détermination du rayon de convergence :

Propriété :
&
Soit an z n une série entière et R son rayon de convergence. Supposons que
|an+1 |
lim = l (l fini ou infini). Alors
n→+∞ |an |

si 0 < l < +∞, R = 1/l ; si l = 0, R est +∞ ; si l est +∞, R = 0.

Remarque :
Cette propriété se démontre par la règle de d’Alembert.

Propriété : (FORMULE D’HADAMARD)

&
Soit a4 n z une série entière et R son rayon de convergence. Notons
n

lim sup n |an | = l. Alors

n→+∞

si 0 < l < +∞, R = 1/l ; si l = 0, R est +∞ ; si l est +∞, R = 0.

Exemples :
& zn |n!| 1
1. Pour , R est +∞, ( lim = lim = 0).
n! n→+∞ |(n + 1)!| n→+∞ n + 1
& |(n + 1)!|
2. Pour n!z n , R = 0, ( lim = lim (n + 1) = +∞).
n→+∞ |n!| n→+∞
&z n
|n + 1|
3. Pour , R = 1, ( lim = 1). Pour |z| = 1, z = exp(iθ). Si
n n→+∞ |n|
& zn &1 & exp(inθ)
θ = 0 [2π], = diverge. Si θ /= 0 [2π], converge
n n n
(déja montré par la règle d’Abel).

33
 ( (
& zn |(n + 1)2 | &(( z n (( & 1
4. Pour , R = 1, ( lim = 1). Pour |z| = 1, ( 2 ( =
n2 n→+∞ |n2 | n n2
& zn
converge. Donc ∀z ∈ C tel que |z| = 1, est absolument convergente.
n2

Opérations sur les séries entières :

Propriété :
& &
Soient an z n et bn z n deux séries entières de rayon
& de convergence res-
pectif Ra et Rb . On considère la série entière somme (an + bn )z et la série
n

' n
&
entière produit cn z n où cn = ap bn−p de rayon de convergence respec-
p=0
tif Rs et Rp . On a alors Rs ≥ inf(Ra , Rb ), Rp ≥ inf(Ra , Rb ) et ∀z1 ∈ C tel
'+∞ +∞
' +∞
' +∞
'
que |z1 | < inf(Ra , Rb ), (an + bn )z1n = an z1n + bn z1n , cn z1n =
2 +∞ 3 2 +∞ 3 n=0 n=0 n=0 n=0
' '
an z1n bn z1n .
n=0 n=0

Remarque :
Si Ra /= Rb , alors Rs = inf(Ra , Rb ).

Propriétés fonctionnelles d’une série entière :

Propriété : (CONTINUITE)
& o
Soit an z n une série entière de rayon de convergence R /= 0. Alors sur D(0, R),
+∞
'
z #→ an z n est une fonction continue.
n=0

o &
Preuve : Soit z0 ∈ D(0, R). Alors |z0 | < R. Soit r tel que |z0 | < r < R. an z n

34
 +∞
'
converge normalement sur D(0, r) et ∀n ∈ N, z #→ an z n est continue sur
n=0
D(0, r) donc en z0 . !

Pour l’étude de l’intégration des &sériesn entières, on se restreint dans ce cours au

cas des séries entières réelles : an x où ∀n ∈ N, an ∈ R et x ∈ R. Toutes les
propriétés des séries entières complexes sont vraies pour les & séries entières réelles.
Si R est la rayon de convergence d’une série entière réelle an z n , son "disque"
de convergence est l’intervalle ] − R, R[.

Propriété : (INTEGRATION)
&
Soit an xn une série entière réelle de rayon de convergence R /= 0. Alors pour
) b'
+∞ +∞ ) b
'
tout a, b tels que a < b et [a, b] ⊂] − R, R[, n
an x dx = an xn dx.
a n=0 n=0 a

Pour l’étude de la dérivation, on revient aux fonctions complexes :

Propriété : (DERIVATION)
& &
– i) Les séries entières an z n et nan z n−1 ont le même rayon de conver-
gence. &
– ii) Soit an z n une série entière de rayon de convergence R /= 0. Alors
+∞
'
o
sur D(0, R), z #→ an z n est indéfiniment dérivable et pour tout p ∈ N,
n=0
2 +∞ 3(p) +∞
' '
an z n = n(n − 1) . . . (n − p + 1)an z n−p .
n=0 n=p

& &
Preuve du ii) : nan z n−1 a le même rayon de convergence R que an z n . Soit
o & &
z0 ∈ D(0, R) et soit r tel que |z0 | < r < R. nan z n−1 et an z n convergent
normalement sur D(0, r) qui est un disque de C. De plus, ∀n ∈ N, z #→ an z n

35
 +∞
'
est holomorphe et sa dérivée est z #→ nan z n−1
. Donc an z n est holomorphe
n=0
+∞
'
sur D(0, r) (donc en z0 ), et sa dérivée est nan z n−1 . En appliquant ce résultat
& n=1
à&la série entière dérivée nan z n−1 on obtient la série entière dérivée seconde
n(n − 1)an z n−2 . ∀p ∈ N, en réitérant ce processus, on obtient la série entière
dérivée d’ordre p. !

On voit là que contrairement aux autres séries de fonctions, les séries entières
sont bien adaptées à la dérivation. Grâce à cette propriété, elles constituent un
outil pratique pour la résolution de certaines équations différentielles :

Exemple : On cherche une série entière qui soit égale à sa dérivée (donc on cherche
une série entière solution de f % − f = 0). On suppose donc qu’il existe R > 0 tel
+∞
'
que ∀x ∈] − R, R[, f (x) = a n xn .
n=0
+∞
' +∞
'
Donc f % (x) = nan xn−1 = (n + 1)an+1 xn .
n=1 n=0
+∞
' +∞
'
Or f − f = 0 donc ∀x ∈] − R, R[,
% n
(n + 1)an+1 x − an xn = 0.
n=0 n=0
+∞ +
' ,
Donc (n + 1)an+1 − an xn = 0.
n=0
Donc ∀n ∈ N, an = (n + 1)an+1 . C’est à dire a1 = a0 , a2 = a1 /2 = a0 /2,
a3 = a2 /3 = a0 /6 . . .
a0
Montrons par récurrence que an = : c’est vrai aux rangs 1, 2 et 3. Supposons
n!
a0 ak a0
que ça soit vrai au rang k : ak = . Alors ak+1 = = .
k! k+1 (k + 1)!
& a0 n
La série ainsi formée, x a pour rayon de convergence +∞ et on peut
n!
+∞
' a0 n
montrer en utilisant le théorème de Taylor-Lagrange que ∀x ∈ R, x =
n=0
n!
a0 exp(x).
Donc toute série entière solution de f % − f = 0 est de la forme C exp(x) où C est
une constante.

36
En fait il n’y a pas d’autre solution, définie
0 sur un1intervalle : si g est définie sur un
% %
g(x) g (x) exp(x) − exp(x)g(x)
intervalle I et telle que g % −g = 0, alors = =
exp(x) exp(2x)
g(x)
0. Donc ∃C ∈ R tel que ∀x ∈ I, = C. Donc g(x) = C exp(x).
exp(x)

37
7 Fonctions développables en séries entières

L’exemple de l’exponentielle complexe :

On a vu que l’exponentielle est (à une constante multiplicative près) la seule fonc-
tion qui soit égale à sa dérivée (sur un intervalle), et c’est la raison pour laquelle
on l’utilise pour résoudre les équations différentielles d’ordre 1. Pour le montrer,
& xn
on a vu que le rayon de convergence de la série entière réelle est +∞ et que
n!
+∞ n
' x
∀x ∈ R, exp(x) = . On généralise cette expression à tout z ∈ C :
n=0
n!

Définition : (EXPONENTIELLE COMPLEXE)

+∞ n
' z
Pour tout z ∈ C, on pose exp(z) = .
n=0
n!

On a toujours la propriété fondamentale de l’exponentielle :

Propriété :
Pour tous z1 , z2 ∈ C, exp(z1 ) exp(z2 ) = exp(z1 + z2 ).

2 +∞ 3 2 +∞ 3 +∞
' zn ' zn '
Preuve : ∀z1 , z2 ∈ C, exp(z1 ) exp(z2 ) = 1 2
= cn où
n=0
n! n=0
n! n=0
'n
z1k z2n−k & & z1n & z2n
∀n ∈ N, cn = ( cn est la série produit de et qui
k=0
k! (n − k)! n! n!
sont absolument convergentes).
+∞
' n +∞
1 ' n! ' 1
Donc exp(z1 ) exp(z2 ) = z1k z2n−k = (z1 + z2 )n =
n=0
n! k=0 k!(n − k)! n=0
n!
exp(z1 + z2 ). !

38
On va maintenant voir pourquoi les nombres complexes de module 1 sont associés
à des rotations :

Propriété :
Pour tout θ ∈ R,
+∞
' (−1)n 2p
– i) cos(θ) = θ ,
n=0
(2n)!
+∞
' (−1)n 2n+1
– ii) sin(θ) = θ ,
n=0
(2n + 1)!
– iii) exp(iθ) = cos(θ) + i sin(θ).

Preuve :
– i) ∀n ∈ N, cos(2n) (x) = (−1)n cos(x) et cos(2n+1) (x) = (−1)n+1 sin(x).
Donc, ∀N ∈ N, en appliquant la formule de Taylor-Lagrange à l’ordre
2N + 1 à cos entre 0 et θ, on a : ∃cN compris entre 0 et θ tel que cos(θ) =
'N 0 2n 1
θ (2n) θ2n+1 (2n+1) θ2N +2
cos (0) + cos (0) + cos(2N +2) (cN ).
n=0
(2n)! (2n + 1)! (2N + 2)!
Or ∀n ∈ N, cos(2n) (0) = (−1)n cos(0) = (−1)n et cos(2n+1) (0) = (−1)n+1 sin(0) =
0, donc ( (
( 'N
(−1) n ( |θ|2N +2
( (
0 ≤ lim (cos(θ) − θ2n ( ≤ lim = 0.
N →+∞ ( (2n)! ( N →+∞ (2N + 2)!
n=0
La preuve du ii) est similaire.
+∞
' +∞
' +∞
'
θn (−1)p 2p (−1)p 2p+1
– iii) exp(iθ) = in = θ +i θ (une suite
n=0
n! p=0
(2p)! p=0
(2p + 1)!
complexe converge ssi sa partie réelle et sa partie imaginaire convergent).
!
On en déduit immédiatement que ∀θ ∈ R, | exp(iθ)| = 1.

Développement en série entière :

+∞ n
' x
On a vu en utilisant Taylor-Lagrange que ∀x ∈ R, exp(x) = , cos(x) =
n=0
n!

39
+∞
' +∞
'
x2n x2n+1
(−1)n
et sin(x) = (−1)n .
n=0
(2n)! n=0
(2n + 1)!
ATTENTION : Il ne faut pas confondre ces expressions avec les développements
limités en 0 de exp(x), cos(x) et sin(x) : Dans un développement limité, en 0, on
ne garde qu’un nombre fini de termes, et le développement n’est utile que quand
x tend vers 0.
Ici, on considère une infinité de termes et ces développements sont valables ∀x ∈
R. On les appelle des développements en série entière :

Définition : (DEVELOPPEMENT EN SERIE ENTIERE)

Soit f : D ⊂ C → C tel que D soit un voisinage de 0. On dit que f admet
un développement en série entière sur D si et seulement si il existe une suite de
+∞
'
coefficients complexes (an )n∈N telle que pour tout z ∈ D, f (z) = an z n .
n=0

On va voir que si elle existe, la suite (an )n∈N est nécessairement unique et liée aux
dérivées successives de f :

Propriété :
Soit f : D ⊂ C → C développable en série entière sur D. Alors pour tout
f (n) (0)
n ∈ N, f (n) (0) existe et an = .
n!

&
Preuve : Puisque f coïncide au voisinage de 0 avec z #→ an z n qui est indéfi-
niment dérivable en 0, f l’est aussi. De plus, pour tout p ∈ N,
+∞
'
(p)
f (0) = n(n − 1) . . . (n − p + 1)an 0n−p = p(p − 1) . . . 1 ap . !
n=p

A cause de cette propriété, à toute fonction indéfiniment dérivable en 0 on associe

sa série de Taylor en 0 :

40
Définition : (SERIE DE TAYLOR)
Soit f : D ⊂ C → C indéfiniment dérivable en 0. La série de Taylor de f en 0
' f (n) (0)
est la série zn.
n!

Deux questions se posent alors

' f (n) (0)
1. La série z n converge-t-elle ?
n!
2. Si oui, converge-t-elle vers f (z) ?
Il est évident que pour z = 0, la série converge vers f (0). Par contre, pour z /= 0,
la reponse peut être non à chacune de ces questions. Des exemples seront étudiés
en TD.

Remarque :
On définit de la même façon que dans C les fonctions développables en série
entière sur R et leur série de Taylor. Pour savoir si une fonction réelle indéfiniment
dérivable en 0 est développables en série entière, les deux mêmes questions se
posent, et la réponse peut être non à chacune de ces questions.

La formule de Taylor-Lagrange donne une condition suffisante pour qu’une fonc-

tion soit développable en série entière. Dans ce cours, on ne la donne que pour les
fonctions réelles :

Propriété :
Soit f : I ⊂ R → R où I est un intervalle contenant 0. On suppose que f est
indéfiniment dérivable sur I, et qu’il existe une constante M telle que pour tout
n ∈ N, pour tout x ∈ I, |f (n) (x)| ≤ M . Alors f est développable en série entière.

Remarque :
On a déjà utilisé cette propriété pour développer exp, cos et sin.

41
Preuve : On applique la formule de Taylor-Lagrange à f entre 0 et x, à l’ordre
'N
xn (n) xN +1 (N )
N : ∃cN compris entre 0 et x tel que f (x) = f (0) + f (cN ).
n! (N + 1)!
( (n=0
( 'N
f (0) n ((
(n)
xN +1
(
Donc 0 ≤ lim (f (x) − x ( ≤ lim M = 0. !
N →+∞ ( n! ( N →+∞ (N + 1)!
n=0

Développement des fonctions usuelles :

Souvent, pour développer une fonction en série entière, on se ramène à des fonc-
tions usuelles (comme pour les développements limités) :

Propriété :
+∞ n
' z
– Famille de l’exponentielle : ∀z ∈ C, exp(z) = .
n=0
n!
+∞
exp(x) + exp(−x) ' x2n
∀x ∈ R, ch(x) = = ,
2 n=0
(2n)!
+∞
' 2n+1
exp(x) − exp(−x) x
sh(x) = = ,
2 n=0
(2n + 1)!
+∞
' x2n
cos(x) = (−1)n ,
n=0
(2n)!
+∞
' x2n+1
et sin(x) = (−1)n .
n=0
(2n + 1)!
Toutes ces séries entières ont donc un rayon de convergence infini.

– Famille du binôme :
∀z ∈ C tel que |z| < 1,
+∞
'
1
= zn,
1−z n=0
'+∞
1
et = (−1)n z n .
1+z n=0
∀x ∈ R tel que |x| < 1,

42
 +∞
' xn+1
ln(1 + x) = (−1)n ,
n=0
n+1
'+∞
x2n+1
et arctan(x) = (−1)n .
n=0
2n + 1
∀α ∈ R, ∀x ∈ R tel que |x| < 1,
+∞
'
α α(α − 1) 2 α(α − 1) . . . (α − n + 1) n
α
(1 + x) = 1 + x + x +· · · = x .
1! 2! n=0
n!
Toutes ces séries entières ont un rayon de convergence égal à 1.

Remarques :
1. De la même façon qu’on a défini exp(z), ∀z ∈ C, en utilisant le développe-
ment en série entière de l’exponentielle, on peut définir cos(z), sin(z), ch(z)
et sh(z), ∀z ∈ C. Les développements de ces fonctions donnés dans la pro-
priété précédente sont encore valables dans C. Mais ces fonctions définies
sur C sont beaucoup moins utilisées que l’exponentielle complexe.
1
2. Le développement de se calcule facilement en étudiant la série géo-
1−z
& 1
métrique z n . On en déduit le développement de en changeant z en
1+z
−z, puis celui de ln(1 + x) en se restreignant à x ∈ R puis en prenant la pri-
1
mitive du développement de . De même, on calcule le développement
1+x
1
de arctan(x) en développant d’abord sa dérivée .
1 + x2
3. Le développement de (1 + x)α n’est valable que pour α indépendant de x.
La méthode la plus pratique pour le calculer est d’utiliser une équation dif-
férentielle (voir en TD). Pour α ∈ N, il n’y a qu’un nombre fini de termes
non nuls dans ce développement, et on retrouve la formule du binôme de
'α
α!
Newton : (1 + x)α = xn .
n=0
n!(α − n)!
4. Les fonctions ln(1 + x), arctan(x) et (1 + x)α peuvent elles aussi être pro-
o
longées à D(0, 1) ⊂ C de façon à ce que les développements donnés dans la
propriété précédente soient encore valables. Mais il y a plusieurs façons de
définir ces fonctions dans le cas complexe et on ne considèrera que le cas

43
réel dans ce cours.

44
8 Séries de Fourier

Les séries de Fourier sont des séries de fonctions d’un type particulier, qui
servent à étudier les fonctions périodiques. L’idée est d’exprimer une fonction 2π-
périodique quelconque comme une combinaison linéaire de fonctions 2π-périodiques
simples, de la forme cos(nx) ou sin(nx), avec n ∈ N. Cette “combinaison linéai-
re” sera, en général, une somme infinie, c’est à dire une série :

Définition : (SERIE TRIGONOMETRIQUE)

&
On appelle série trigonométrique une série de fonctions fn dont le terme gé-
néral est de la forme fn (x) = an cos(nx) + bn sin(nx) avec x ∈ R et, ∀n ∈ N,
an ∈ C et bn ∈ C .

Propriété :
& &
&5 Si an et bn convergent
6 absolument, alors la série trigonométrique
an cos(nx) + bn sin(nx) converge normalement sur R.

( ( & &
( (
Preuve : sup ( an cos(nx) + bn sin(nx)( ≤ |an |+|bn |. Or, si an et bn convergent
x∈R &
absolument
( alors (|an | + |bn |) (converge donc
& ( (
sup ( an cos(nx) + bn sin(nx)( converge. !
x∈R

Avec des hypothèses moins fortes sur (an )n∈N et (bn )n∈N , on a :

Propriété :
Si les suites (an )n∈N et&(b5n )n∈N sont réelles, décroissantes,
6 et tendent vers 0
alors, ∀x0 ∈ R \& 5 fixé
2πZ an cos(nx0 ) +6bn sin(nx0 ) converge.
De plus ∀ε > 0, an cos(nx) + bn sin(nx) converge uniformément sur chaque
intervalle de la forme [2nπ + ε, 2(n + 1)π − ε] avec n ∈ Z.

45
La preuve de cette propriété est une application de la règle d’Abel uniforme.

En utilisant les formules d’Euler, on peut réécrire une série trigonométrique en

remplaçant les cos et sin par des exponentielles
0 : 1 0 1
an − ibn inx an + ibn −inx
∀n ∈ N, an cos(nx) + bn sin(nx) = e + e .
2 2
Cette remarque permet d’introduire ce qu’on appelle l’écriture complexe d’une
série trigonométrique. Mais pour ça, l’habitude est d’utiliser des séries pour les-
quelles l’indice n est dans Z et non plus simplement dans N :

Définition :
' '
La série xn est par définition la série x0 + (xn + x−n ).
n∈Z n∈N∗

On a alors :

Propriété : (ECRITURE COMPLEXE D’UNE SERIE TRIGONOMETRIQUE)

'+ ,
Toute série trigonométrique an cos(nx) + bn sin(nx) peut se réécrire sous
n∈N
' an − ibn
la forme cn e inx
avec c0 = a0 et ∀n ∈ N∗ , cn = et
n∈Z
2
an + ibn
c−n = . Alors, ∀n ∈ N∗ , an = cn + c−n et bn = i(cn − c−n ).
2

Lorsqu’une série trigonométrique converge uniformément sur [−π, π], on peut

retrouver ses coefficients en fonction de sa somme :

'+ ,
Propriété : Soit an cos(nx) + bn sin(nx) une série trigonométrique uni-
+∞ +
' ,
formément convergente sur [−π, π]. Notons, S(x) = an cos(nx) + bn sin(nx) ,
n=0

46
 ) π )
1 1 π
∀x ∈ R. Alors a0 = S(x)dx et ∀n ∈ N , an =
∗
S(x) cos(nx)dx et
) π 2π −π π −π
1
bn = S(x) sin(nx)dx.
π −π

Remarques :
1. S est une fonction R → C. On a donc ici des intégrales de fonctions R → C
auxquelles il faut donner un sens.
) ) )
b b b
Par définition, pour f : R → C, f (x)dx = Re(f (x))dx+i Im(f (x))dx.
a a a
2. On n’a pas d’expression pour b0 . En fait, puisque b0 est le coefficient de
sin(0x) = 0, il n’a aucune importance, on peut choisir par exemple b0 = 0.

Si la série trigonométrique est donnée par son écriture complexe, les expressions
se simplifient :

Propriété :
'
Soit cn einx une série trigonométrique écrite sous forme complexe qui converge
n∈Z
+∞
'
uniformément sur [−π, π]. Notons, ∀x ∈ R, S(x) = cn einx . Alors ∀n ∈ Z,
) π n=−∞
1
cn = S(x)e−inx dx.
2π −π

'
Preuve : Soit n0 ∈ Z fixé. Puisque cn einx converge uniformément sur [−π, π],
n∈Z

) π ) π +∞
'
1 −in0 x 1
S(x)e dx = cn einx e−in0 x dx
2π −π 2π −π n=−∞
+∞ ) π
1 '
= cn einx e−in0 x dx.
2π n=−∞ −π

47
Or 
1
) π  1 si n = n0 ,
einx e−in0 x dx =
2π 
−π 0 sinon.!
Cette propriété a une interprétation géométrique simple qui sera développée dans
le paragraphe sur l’égalité de Parseval.

Remarque :
Puisque cos(nx) et sin(nx) sont 2π-périodiques, S(x) l’est aussi. A cause
de ça, on peut changer l’intervalle d’intégration : ∀α ∈ R, ∀n ∈ Z, cn =
) α+2π
1
S(x)e−inx dx. La même chose est vraie pour an et bn .
2π α

Maintenant qu’on a étudié les séries trigonométriques, on peut revenir au pro-

gramme de départ : étant donnée une fonction 2π-périodique quelconque, peut-on
la réécrire comme la somme d’une série trigonométique ?

Définition : (SERIE DE FOURIER)

Soit f une fonction & 52π-périodique. Sa série de6 Fourier est par définition la série
trigonométrique
) π ) π définie par
an cos(nx) + bn sin(nx)
1 1
a0 = f (x)dx et ∀n ∈ N∗ , an = f (x) cos(nx)dx et
2π ) −π π −π
1 π
bn = f (x) sin(nx)dx, si ces intégrales sont définies. Ou, de façon équi-
π −π '
valente, c’est la série trigonométrique écrite sous forme complexe cn einx où,
) π n∈Z
1
∀n ∈ Z, cn = f (x)e−inx dx. Les coefficients an et bn (ou, de façon équi-
2π −π
valente, cn ) sont appelés coefficients de Fourier de f .

Propriétés :
1. Puisque f est 2π-périodique, on peut changer l’intervalle d’intégration en
[α, α + 2π], ∀α ∈ R.

48
 2. Si f est paire, ∀n ∈ N, bn = 0.
3. Si f est impaire, ∀n ∈ N, an = 0.

De façon analogue à ce qui se passe quand on développe une fonction en série

entière, étant donnée une fonction f 2π-périodique dont les coefficients de Fourier
sont définis, deux questions se posent :
1. La série de Fourier de f converge-t-elle ?
2. Si oui, converge-t-elle vers f ?
Malheureusement, comme pour les séries entières, la réponse peut être non à cha-
cune de ces questions.
Il existe toute une théorie décrivant la convergence de la série de Fourier sous di-
verses hypothèses sur f . Parmis cette théorie, on retiendra pour ce cours le résultat
suivant :

Théorème : (DIRICHLET-JORDAN)
Soit f une fonction 2π-périodique continue sur [−π, π] sauf éventuellement en
un nombre fini de points. On suppose qu’en ces points de discontinuité, f admet
une limite à droite et une limite à gauche finies. Enfin, on suppose que f admet
en tout point de [−π, π] une dérivée à droite et une dérivée à gauche (finies).
Alors
0 ∀x ∈ R, la série de1Fourier de f est convergente en x et a pour somme
1
lim f (y) + lim− f (y) . En particulier, en tout point x où f est continue,
2 y→x+ y→x
la somme de sa série de Fourier est f (x).

Il est pratique de réinterpréter la théorie des séries de Fourier en utilisant les no-
tions d’espace vectoriel et de produit scalaire. On peut alors retenir certains
aspects des séries de Fourier en gardant en tête l’analogie avec l’espace vectoriel
simple qu’est R2 , qui est muni du produit scalaire *x.*y = x1 y1 + x2 y2 . Cette analo-
gie s’écrit de façon plus naturelle quand on utilise l’écriture complexe des séries
de Fourier.
L’espace qui, pour les séries de Fourier, joue le rôle de l’espace vectoriel R2 est
l’ensemble de fonctions
F = {f : R → C, 2π-periodiques et dont le carré est intégrable sur [−π, π]}.

49
On peut définir un produit sur F (une fonction F × F → C) qui jouera le rôle du
produit scalaire de R2 :

Définition : (PRODUIT SCALAIRE)

Pour f, g ∈ F, on appelle) produit scalaire de f et g, et on note (f, g) le nombre
π
1
complexe (f, g) = f (x)ḡ(x)dx où ḡ(x) désigne le nombre complexe
2π −π
conjugué de g(x).

Lorsqu’on a un produit scalaire, on peut définir une norme :

Définition : (NORME) Soit f ∈ F . On appelle norme de f et on note ||f || le

4
nombre réel positif ||f || = (f, f ).

Remarque :
La norme
√ de4R2 est construite de cette façon à partir du produit scalaire :
||*x|| = *x.*x = x21 + x22 .

Propriété :
L’ensemble (infini) des fonctions {x #→ einx , n ∈ Z} forme une base ortho-
normée (infinie) de F muni du produit scalaire (., .).

En effet on a déjà vu que ∀n0 ∈ Z,


1
) π  1 si n = n0 ,
einx e−in0 x dx =
2π 
−π 0 sinon,

ce qui se traduit par 

 1 si n = n0 ,
(ein0 x , einx ) =

0 sinon,

50
ce qui est la définition d’une famille orthonormée. Le fait que cette famille
contienne assez d’éléments pour être considérée comme une base nécessite des
développements supplémentaires :
La différence entre R2 et F est qu’une base orthonormée de R2 ne contient que
2 éléments alors qu’une base orthonormée de F contient une infinité d’éléments.
On dit que F est de dimension infinie.
Par analogie avec R2 , on dit qu’on a décomposé f ∈ F suivant la base ortho-
normée {x #→ einx , n ∈ Z} si on a trouvé des coefficients cn ∈ Z tels que
'+N
lim ||f (x) − cn einx || = 0. La proposition précédente affirme que cette
N →+∞
n=−N
décomposition est possible pour tout f ∈ F. Alors :

Interprétation géométrique des séries de Fourier :

Soit f ∈ F. Sa série de Fourier n’est rien d’autre que sa décomposition suivant
la base orthonormée {x #→ einx , n ∈ Z}.

Cette interprétation permet de retenir l’expression des coefficients de Fourier de

f:

Propriété :
Soit f ∈ F. Pour tout n ∈ Z son coefficient de Fourier cn)est la projection
π
1
orthogonale de f sur einx , c’est à dire cn = (f (x), einx ) = f (x)e−inx dx.
2π −π

Enfin, cette interprétation permet de relier la norme de f avec ses coefficients de

Fourier :

Théorème : (PARSEVAL-BESSEL)
Soit f ∈ F et {cn , n ∈ Z} ses coefficients de Fourier en écriture complexe,
{(an , bn ), n ∈ N} ses coefficients de Fourier en écriture réelle. Alors la norme de
f vérifie :

51
1. Inégalité de Bessel : ∀N ∈ N,
) π N
'
1
2
||f || = (f, f ) = f (x)f¯(x)dx ≥ |cn |2
2π −π n=−N
N
'
1
= |a0 |2 + (|an |2 + |bn |2 ).
2 n=1

2. Egalité de Parseval :
+∞
' +∞
1'
||f ||2 = (f, f ) = |cn |2 = |a0 |2 + (|an |2 + |bn |2 ).
n=−∞
2 n=1

52