Vous êtes sur la page 1sur 74

Universit Claude Bernard, Lyon I

43, boulevard 11 novembre 1918


69622 Villeurbanne cedex, France

Licence Sciences, Technologies & Sant


Spcialit Mathmatiques
L. Pujo-Menjouet
pujo@math.univ-lyon1.fr

Cours dAnalyse IV
Suites et Sries de fonctions

Prambule
Le but de ce cours est de gnraliser la notion de somme finie de termes en tudiant comment
cette dernire se comporte lorsque lon considre une succession infinie de termes.
La cl sera de considrer ces sommes infinies, aussi appeles sries, comme la limite de suites.
Autrement dit, quand on se souvient du cours sur les suites, il sera plus facile dassimiler le cours
sur les sries Cest pour cela que les deux premiers chapitres concernant des rappels ne doit pas
tre nglig.
Un des points cls de ce cours sera ltude des sries de Fourier dont les applications sont assez
nombreuses dans dautres domaines des mathmatiques (notamment les quations diffrentielles
et les quations aux drives partielles).
Pour arriver au chapitre concernant les sries de Fourier, il faudra cependant faire un petit chemin
qui nous y amnera de faon moins abrupte. Comme nous lavons crit plus haut, nous rappellerons la structure de R, puis la notion de suites dans R ou C. Nous considrerons ensuite les sries
dans leur gnralit, puis les suites et sries de fonction, pour ensuite passer aux sries entires,
aux fonctions dveloppables en sries entire et enfin les sries de Fourier. Nous pourrons alors
rsoudre quelques quations diffrentielles laide de cette thorie.
Lobjectif de la deuxime partie du cours sera de rsoudre des quations diffrentielles laide
des transformes de Laplace. Cet outil mathmatique ne pourra sappliquer rigoureusement sans
un petit travail prliminaire sur les intgrales dpendant dun paramtre.
Une fois ces concepts assimils, vous serez en possession doutils solides pour rsoudre plusieurs
types dquations diffrentielles et quations aux drives partielles mais galement des problmes
un peu plus thoriques.

Table des matires


1

Structure de R, suites dans R ou C :


1.1 La crise des nombres chez les grecs
1.2 Suites et voisinages : . . . . . . . .
1.3 Limites de suites . . . . . . . . . .
1.4 Borne sup ou inf, max ou min . . .
1.5 Suites adjacentes . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

5
5
6
7
9
10

Rappels suites complexes, limsup de suites relles


11
2.1 Suites complexes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2 Limite sup et inf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

Sries dans R ou C :
3.1 Premiers critres de convergence . . . . . . . . . . .
3.2 Sries relles termes positifs . . . . . . . . . . . .
3.3 Comparaison dune srie et dune intgrale impropre
3.4 Sries termes quelconques . . . . . . . . . . . . .
3.5 Sommation par paquets, produit . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

17
18
19
22
23
24

Suites de fonctions
27
4.1 Proprits des limites uniformes . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

Srie de fonctions
33
5.1 DEFINITION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

Sries entires
37
6.1 Oprations sur les sries entires . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
6.2 Proprits fonctionnelles dune srie entire . . . . . . . . . . . . . . . . . . . . . 40

Fonctions dveloppables en sries entires


43
7.1 Lexemple de lexponentielle complexe . . . . . . . . . . . . . . . . . . . . . . . 43
7.2 Dveloppement en srie entire . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
7.3 Dveloppement des fonctions usuelles . . . . . . . . . . . . . . . . . . . . . . . . 46

Sries de Fourier
49
8.1 Interprtation gomtrique des sries de Fourier . . . . . . . . . . . . . . . . . . . 54
3

TABLE DES MATIRES

TABLE DES MATIRES

INTEGRALES DEPENDANT DUN PARAMETRE


9.1 Intervalle dintgration J compact . . . . . . . .
9.1.1 Bornes dintgration constantes . . . . .
9.1.2 Bornes dintgration variables . . . . . .
9.2 Intervalle dintgration J non born . . . . . . .
9.2.1 Rappel . . . . . . . . . . . . . . . . . .
9.2.2 Convergence . . . . . . . . . . . . . . .

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

57
58
58
60
61
61
62

10 Fonctions Eulriennes

65

11 Transformes de Laplace
11.1 Rappel . . . . . . . . . . . . . . . . . . . . . .
11.2 Dfinition . . . . . . . . . . . . . . . . . . . .
11.3 Quelques fonctions lmentaires . . . . . . . .
11.4 Existence de L . . . . . . . . . . . . . . . . .
11.5 Transforme inverse et transforme de drives
11.5.1 Transforme inverse . . . . . . . . . .
11.5.2 Transformer une drive . . . . . . . .
11.6 Rsolution dquations diffrentielles . . . . .
11.7 Thorme de translation . . . . . . . . . . . . . .
11.7.1 Translation sur laxe des s . . . . . . .
11.7.2 Translation sur laxe des t . . . . . . .
11.8 Proprits additionnelles . . . . . . . . . . . . .
11.8.1 Multiplier une fonction par tn . . . . .
11.8.2 Convolution . . . . . . . . . . . . . . .
11.8.3 Transforme dune intgrale . . . . . . .
11.8.4 Equation intgrale de Volterra . . . . . .
11.8.5 Transforme de fonction priodique . . .
11.8.6 Fonction -Dirac . . . . . . . . . . . .

67
67
68
68
69
70
70
71
72
73
73
73
73
73
73
73
73
74
74

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

Chapitre 1
Structure de R, suites dans R ou C :

(a) Julius Wilhelm (b)


Augustin
Richard Dedekind Louis
(1789(1831
1916), 1857),
un
mathmaticien
mathmatiallemand, il est le cien
franais,
premier proposer a propos la
une
construction premire dfinirigoureuse
des tion rigoureuse
nombres rels dune
limite
partir des nombres dune suite ainsi
rationnels.
que
plusieurs
contributions
fondamentales
dans ltude de la
convergence des
sries.

(c) Joseph
Louis,
comte de Lagrange
(1736-1813) un mathmaticien italien,
lorigine semble-t-il de
la notation indicielle
des suites.

F IGURE 1.1 Quelques mathmaticiens clbres lis aux rels et aux suites.
Lensemble des nombres rels, not R se construit rigoureusement partir de N (entiers naturels) en dfinissant 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 diffrence entre R et Q.

1.1

La crise des nombres chez les grecs

Pythagore considre un triangle isocle rectangle de ct 1. Il remarque que le carr de lhypothnuse vaut 2. Or il remarque quil nexiste pas de nombre dans Q dont le carr soit 2. Donc, si
5

1.2 Suites et voisinages :

Structure de R, suites dans R ou C :

les seuls nombres quon connaisse sont les rationnels, il y a des longueurs simples qui ne sont pas
des nombres !
Lensemble des rels, R est dfini partir de Q en rajoutant des nombres pour viter ce genre de
problme.
Une des faons de rajouter des nombres est dutiliser la notion de suite :

1.2

Suites et voisinages :

Commenons cette section par la dfinition des suites relles.


Dfinition 1 (SUITES)

On appelle suite relle toute application

N R
. On note une telle application
n 7 xn

(xn )nN .

Remarque On appellera aussi suite les applications dont lensemble de dpart est N priv de ses
premiers lments jusqu un certain rang.
La notion la plus importante concernant les suites est celle de convergence. Pour dfinir la convergence, on dfinit la notion de voisinage. Ltude des voisinages est une branche des mathmatiques
appele la topologie (voir cours dAnalyse III pour les bases, et le cours de Topologie lmentaire
(Semestre 5) pour plus de dtails). On peut dfinir des voisinages pour des objets autres que des
nombres (des vecteurs, des fonctions, . . .). Chaque fois quon peut dfinir des voisinages, on peut
alors tudier des convergences, des continuits, des notions proches de la drivabilit, et faire de
loptimisation.

Dfinition 2 (VOISINAGE)
Soit x R. On dit que V R est un voisinage de x si et seulement sil existe > 0 tel
que [x , x + ] V .

Remarque On peut aussi dire, cest quivalent, que V R est un voisinage de x si et seulement
sil existe > 0 tel que ]x , x + [ V .
Dfinition 3 (VOISINAGE DE LINFINI)
On dit que V R est un voisinage de + (resp. de ) si et seulement sil existe
A R tel que [A, +[ V (resp. ] , A] V ).

Structure de R, suites dans R ou C :

1.3 Limites de suites

La notion de voisinage tant en place, nous nous intressons alors au comportement des suites
quand n tend vers linfini. Pour cela nous allons introduire les limites de suites.

1.3

Limites de suites
Dfinition 4 (LIMITE)
Soit (xn )nN une suite relle. Soit l fini ou infini. On dit que l est la limite de (xn )nN , et
on note l = lim xn si et seulement si pour tout V voisinage de l, il existe NV N tel
n+

que pour tout n NV , xn V .

Si une suite admet une limite finie on dit quelle CONVERGE. Si elle admet une limite infinie ou
si elle nadmet pas de limite, on dit quelle DIVERGE.
Si l est +, l = lim xn signifie :
n+

pour tout A R, il existe NA N tel que n NA xn A.


Si l R, l = lim xn signifie :
n+

pour tout > 0, il existe N N tel que n N xn [l , l + ]


(cest dire |xn l| ).

Proprit 1 (COMPARAISON DES LIMITES)


Soient (xn )nN et (yn )nN deux suites de rels tels que pour tout n N, xn yn .
Supposons que lim xn = l1 et lim yn = l2 . Alors l1 l2 .
n+

n+

Remarque Mme si on suppose que pour tout n N, xn < yn , on ne peut pas en dduire que
l1 < l2 (on a juste l1 l2 ).
Exemple : pour tout n N , xn = 0 et yn = 1/n.
Proprit 2 (THEOREME DES GENDARMES)
Soient (xn )nN , (yn )nN et (zn )nN trois suites de rels telles que pour tout n N,
xn yn zn . On suppose que lim xn = lim zn = l (l fini ou infini). Alors
n+

n+

lim yn = l.

n+

1.3 Limites de suites

Structure de R, suites dans R ou C :

Il existe une notion proche de celle de suite convergente, mais ne ncessitant pas de prciser la
valeur de l.
Dfinition 5 (SUITE DE CAUCHY)
Soit (xn )nN une suite relle. On dit que (xn )nN est une suite de Cauchy si et seulement
si on a pour tout > 0, il existe N N tel que (n N et m N ) |xn xm | .

QUESTION IMPORTANTE : est-ce qutre une suite de cauchy est la mme chose qutre une
suite convergente ?

Proprit 3
Si une suite est convergente, alors elle est de Cauchy.

Preuve Dmontr en cours.


Remarque ATTENTION : la rciproque nest pas vraie en gnral. Par contre, le fait de travailler sur un espace o la rciproque est vraie serait bien pratique. En effet nous pourrions montrer la convergence dune suite sans avoir calculer la limite de cette suite. Les espaces dont la
rciproque de la proprit ci-dessus.
Dfinition 6 (ENSEMBLE COMPLET)
Si dans un ensemble toute suite de Cauchy est convergente, on dit que cet ensemble est
complet

Exemple Q nest pas complet.


En effet, considrons la suite dfinie par x0 = 2 et pour tout 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), cest dire l2 = 2 donc l nexiste pas dans Q !
On peut maintenant dire ce quest R :
R est le complt de Q :
cest Q auquel on rajoute toutes les limites des suites de Cauchy. (Cette phrase ne constitue bien
sr pas une construction rigoureuse de R).
Mais ce nest pas la seule faon de construire R. Il en existe deux autres quivalentes. Lune delle
permet de dfinir R partir de Q par la notion de borne sup qui est lobjet de la section suivante.
8

Structure de R, suites dans R ou C :

1.4

1.4 Borne sup ou inf, max ou min

Borne sup ou inf, max ou min


Dfinition 7 (BORNE SUP, BORNE INF)
Soit E R. On dit que M R est la borne suprieure de E (M = sup(E)) si et
seulement si
1. M est un majorant de E (pour tout x E, x M ),
2. si M 0 est un majorant de E, alors M M 0 .
De mme m R est la borne infrieure de E (m = inf(E)) si et seulement si
1. m est un minorant de E (pour tout x E, x m),
2. si m0 est un minorant de E, alors m m0 .

Proprit 4 (MAJORANT ET SUITES)


M = sup(E)
si et seulement si

M est un majorant de E,

il existe (xn )nN suite dlments de E telle que

lim xn = M.
n+

La proprit correspondante pour la borne inf est vraie.


Dfinition 8 (MAXIMUM, MINIMUM)
Soit E R.
On dit que M est le maximum 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 dcrire la deuxime faon de construire R : R correspond Q auquel on rajoute


toutes les bornes sup de sous-ensembles de Q.
On a alors les deux proprits suivantes :
Proprit 5 (PROPRIETE DE LA BORNE SUP)
Toute partie de R non vide et majore admet une borne sup.

1.5 Suites adjacentes

Structure de R, suites dans R ou C :

Proprit 6 (REEL ET BORNE SUP)


Tout rel est la borne sup dun ensemble dlments de Q.

Remarque Q na pas la proprit de la borne sup : {x Q tel que x2 < 2} admet


borne sup dans R et nadmet pas de borne sup dans Q.

2 comme

Enfin, la troisime faon de construire R utilise les suites croissantes et majores : R sera alors Q
auquel on rajoute toutes les limites de suites croissantes et majores de Q. On a alors :
Proprit 7 (SUITE CROISSANTE MAJOREE)
Toute suite relle (xn )nN croissante et majore (resp. dcroissante et minore) converge
et on a lim xn = sup xn (resp. lim xn = inf xn ).
n+

nN

n+

nN

Remarque Cette proprit nest pas vraie dans Q.

1.5

Suites adjacentes
Dfinition 9 (SUITES ADJACENTES)
Soient (xn )nN et (yn )nN deux suites de rels. On dit quelles sont adjacentes si et
seulement si
1. lune des suites est croissante,
2. lautre suite est dcroissante,
3.

lim (xn yn ) = 0.

n+

Proprit 8 (LIMITES ET SUITES ADJACENTES)


Si (xn )nN et (yn )nN sont deux suites relles adjacentes telles que (xn )nN soit croissante et (yn )nN soit dcroissante alors :
1. pour tout (n, m) N2 , xn ym ,
2.

lim xn et lim yn existent, sont finies et sont gales.

n+

n+

Preuve Dmontr en cours.


10

Chapitre 2
Rappels suites complexes, limsup de suites
relles
2.1

Suites complexes

Il nexiste pas x R tel que x2 = 1 (ou x2 + 1 = 0). Si on veut que tout polynme de degr 2
ait 2 racines, on introduit le nombre imaginaire i qui vrifie i2 = 1. On dfinit alors les nombres
complexes comme la somme dune partie relle et dune partie imaginaire :
C = {a + ib, a R, b R}.

C est donc trs similaire R2 = {(a, b), a R, b R}. La diffrence est quon dfinit un produit
C C C alors quon ne le fait pas sur R2 (il existe un produit scalaire R2 R2 R mais cest
diffrent).
Un des intrts principaux des nombres complexes est leur formulation module-argument :

Proprit 1 (MODULE ET ARGUMENT)


i
Soit z = a + ib C. il existe un unique couple
(, ) R+ [0, 2[ tel que z = e .
2
2
On a alors a = cos(), b = sin() et = a + b .

Alors si z = ei et z 0 = ei , on a zz 0 = ei(+ ) . Donc une multiplication par un nombre


complexe de module 1 correspond une rotation. Cest cause de cet effet quon utilise les
nombres complexes pour modliser les phnomnes oscillants.

11

2.1 Suites complexes

Rappels suites complexes, limsup de suites relles

Dfinition 1 (SUITE COMPLEXE)



Une suite complexe est une application

N C
n 7 zn .

Pour dfinir la convergence des suites complexes, on dfinit les voisinages dans C.

Dfinition 2 (VOISINAGE)
Soit z C. On dit que V C est un voisinage de z si et seulement sil existe > 0 tel
que D(z, ) = {z 0 C tq |z z 0 | } V .

Remarque On peut aussi prendre D(z, ) = {z 0 C tq |z z 0 | < }.


La dfinition de limite de suite dans C est alors la mme que dans R.
Dfinition 3 (LIMITE DUNE SUITE)
Soit (zn )nN une suite complexe et soit l C. On dit que l est la limite de (zn )nN , et on
note l = lim zn si et seulement si pour tout V voisinage de l, il existe NV N tel que
n+

pour tout n NV , zn V .

Remarque
1. l = lim zn signifie donc pour tout > 0, il existe N N tel que
n+

n N |zn l| (cest dire zn D(l, )).


2. Dans R on dfinit des voisinages de + et , ce qui permet de dfinir des limites
infinies. Dans C on ne le fait pas : une limite infinie dans C na aucun sens !
Comme dans R, on dfinit les suites de Cauchy.
12

Rappels suites complexes, limsup de suites relles

2.1 Suites complexes

Dfinition 4 (SUITE DE CAUCHY)


Soit (zn )nN une suite complexe. On dit que (zn )nN est une suite de Cauchy si et
seulement si on a : pour tout > 0, il existe N N tel que
(n N et m N ) |zn zm | .

Comme dans R, on a alors :


Proprit 2 (C EST COMPLET)
Dans C, toute suite de Cauchy est convergente. Autrement dit C est complet.

Pour le dmontrer, on dcompose la suite complexe en sa partie relle et sa partie imaginaire. On


a:

Proprit 3 (CONVERGENCE (CAUCHY))


Soit (zn )nN une suite complexe. Les propositions suivantes sont quivalentes :
(zn )nN est de Cauchy (dans C),
(Re(zn ))nN et (Im(zn ))nN sont de Cauchy (dans R),
(Re(zn ))nN et (Im(zn ))nN convergent (dans R),
(zn )nN converge (dans C).

Lorsquon utilise la formulation module-argument :


Proprit 4 (LIMITE, MODULE ET ARGUMENT)
Soit (zn )nN une suite complexe et l C. On a
lim zn = l (limite dans C) lim |zn | = |l| (limite dans R).

n+

n+

Remarque ATTENTION : LA RECIPROQUE NEST PAS VRAIE. Il ny a que deux cas o


ltude du module permet de conclure sur la convergence de la suite :
si lim |zn | = 0 alors lim zn = 0.
n+

n+

13

2.2 Limite sup et inf

Rappels suites complexes, limsup de suites relles

si lim |zn | = + alors (zn )nN diverge.


n+

DIFFERENCE FONDAMENTALE ENTRE R ET C : il ny a pas de relation dordre (similaire


) dans C (ni dans R2 : de faon gnrale, on peut ordonner des nombres rels mais pas des
vecteurs). Donc pas de notion de suite croissante, de majoration, de thorme des gendarmes, de
limsup et liminf !

2.2

Limite sup et inf

ATTENTION, nous ne considrerons ici que les suites relles. La relation dordre de R
permet de dfinir la limsup et la liminf dune suite relle. Lintrt est que la limsup et la liminf
existent toujours, dans R {, +}, contrairement la limite.

Dfinition 5 (LIMSUP, LIMINF)


Soit (xn )nN une suite relle. Par dfinition, lim sup xn = lim sup xk et lim inf xn =
n+

n+ kn

n+

lim inf xk .

n+ kn

Remarque
1.Cette dfinition stend aux suites non ncessairement bornes, en posant
lim sup xn = + si la suite nest pas majore,
n+

et
lim inf xn = si la suite nest pas minore.
n+

2. La suite (sup xk )nN tant dcroissante, elle admet toujours une limite dans R{, +}. De
kn

mme, la suite (inf xk )nN tant croissante, elle admet toujours une limite dans R {, +}.
kn

Il est commode de relier la limsup et la liminf dune suite ses valeurs dadhrence.

Dfinition 6 (VALEUR DADHERENCE)


Soit (xn )nN une suite relle et a R {, +}. On dit que a est une valeur
dadhrence de (xn )nN si et seulement sil existe une sous-suite de (xn )nN qui tend
vers a.

On a alors :
14

Rappels suites complexes, limsup de suites relles

2.2 Limite sup et inf

Proprit 5 (LIMSUP, LIMINF ET ADHERENCE)


Soit (xn )nN une suite relle. Sa limite suprieure est la plus grande de ses valeurs
dadhrence, et sa limite infrieure est la plus petite.

On en dduit :
Proprit 6 (CONVERGENCE)
Une suite relle (xn )nN tend vers l R {, +} si et seulement si lim sup xn =
n+

lim inf xn = l.
n+

15

2.2 Limite sup et inf

Rappels suites complexes, limsup de suites relles

16

Chapitre 3
Sries dans R ou C :
Nous sommes dsormais en mesure de dfinir la notion de srie. Nous allons voir que sa dfinition repose sur la notion de suite. Les deux sont donc extrmement lis, et il ne faudra jamais
perdre cet aspect de vue.

Dfinition 1 (SERIE)
Soit (xn )nN une suite
P de nombres rels ou complexes. On appelle srie de terme
gnral xn et on note xn , la suite (Sn )nN dfinie par

pour tout n N, Sn =

n
X

xk .

k=0

xn converge (resp. diverge) ssi la suite (Sn )nN converge (resp.


+
X
diverge). Si la srie converge, lim Sn est note
xn et est appele la somme de la

On dit que la srie

n+

n=0

srie.

Exemple (SERIE GEOMETRIQUE) Soit z C tel que |z| < 1.


n
n
X
X
1 z n+1
1
k
n+1
Alors
z =
et comme, lim z
= 0 on a lim
zk =
.
n+
n+
1

z
1

z
k=0
k=0
P n
1
La srie z est donc convergente et sa somme est
.
1z
17

3.1 Premiers critres de convergence

Sries dans R ou C :

Proprit 1 (SOMMES DE SERIES)


P
P
Soient xn et yn deux sries relles ou complexes et C.
P
P
P
1. Si xn et yn convergent alors (xn + yn ) converge et
+
+
+
X
X
X
(xn + yn ) =
xn +
yn .
n=0

2. Si 6= 0, si

n=0

n=0

xn diverge et

yn converge alors

P
(xn + yn ) diverge.

P
P
P
Remarque Si xn et yn divergent, on peut avoir quand mme (xn + yn ) qui converge.
Exemple : si xn = yn .

3.1

Premiers critres de convergence


Proprit 2 (CRITERE DE CAUCHY POUR LES SERIES)
P
Une srie relle ou complexe
x n converge
si et seulement pour tout > 0, il existe
m
X



N N tel que (m > n N )
xk .


k=n+1

Preuve
La suite (Sn )nN o Sn =

n
X

xk est une suite relle ou complexe. Donc elle converge si et seule-

k=0

ment si elle est de Cauchy. Et (Sn )nN est de Cauchy si et seulement si


pour tout > 0, il existe N N tel que (n N et m N ) |Sn Sm | .
Ou encore si et seulement si pour tout > 0, il existe N N tel que (m > n N )
|Sn Sm | . 2
P
Remarque IMPORTANT : daprs la proprit prcdente, si xn converge, alors lim xn =
n+
0.
P
Du coup, si lim xn 6= 0, on dit que xn est grossirement divergente.
n+

Preuve Dmontr en cours.


Dfinition 2 (CONVERGENCE ABSOLUE)
P
On dit que la srie (relle
xn est absolument convergente si et seuleP ou complexe)
ment si la srie (relle) |xn | est convergente.

18

Sries dans R ou C :

3.2 Sries relles termes positifs

Proprit 3 (CONVERGENCE ABSOLUE ET CONVERGENCE)


Une srie relle ou complexe absolument convergente est convergente.

Preuve
P
P
Si
xn est absolument convergente alors
|xn | est convergente et vrifie donc le critre de
Cauchy :


m
m
X

X


pour tout > 0, il existe N N tel que m > n N
|xk | =
|xk | < . Or


k=n+1
k=n+1


m
m
X

X
P


|xk |. Donc xn vrifie le critre de Cauchy. Elle est donc convergente. 2
xk



k=n+1

3.2

k=n+1

Sries relles termes positifs


Proprit 4 (COMPARAISON)
P
P
Soient
xn et
yn deux sries relles termes positifs telles que pour tout n N,
xn yn . Alors
P
P
i) si Pyn converge alorsP xn converge,
ii) si xn diverge alors yn diverge.

Preuve
n
X

n
X

i) Notons Sn =
xk et Tn =
yk . On a pour tout n N, Sn Tn .
k=0
k=0
P
P
Si
yn converge, notons T = lim Tn . Comme
yn est termes positifs, pour tout
n+
P
n N, Sn T . De plus, comme
xn est termes positifs, (Sn )nN est croissante.
CommeP
elle est majore par T , elle est convergente.
ii) Si xn diverge, puisquelle est termes positifs, lim Sn = +. Donc lim Tn =
n+
n+
+. 2
Dfinition 3 (EQUIVALENCE)
Soient (xn )nN et (yn )nN deux suites relles ou complexes. On dit quelles sont quivalentes linfini et on note xn + yn si et seulement si pour n assez grand,
xn = yn (1 + (n)) avec lim (n) = 0.
n+

19

3.2 Sries relles termes positifs

Sries dans R ou C :

Proprit 5 (SERIES ET EQUIVALENTS)


P
P
Soient
x
et
yn deux sries relles termes positifs telles que xn + yn . Alors
n
P
P
xn et yn sont de mme nature (convergentes ou divergentes).

Preuve
Si xn + yn , alors pour n assez grand, xn = yn (1 + (n)) o lim (n) = 0. Pour n assez
n+

grand,
1/2 (n) 1/2 donc yn /2 yn (1 + (n))
P = xn 3yn /2. P
P
Puisque
P pour n assez grand yn /2 xn , si xn converge alors yn converge et si yn diverge
alors xn diverge.
P
P
P
Puisque
pour
n
assez
grand
x

3y
/2,
si
y
converge
alors
x
converge
et
si
xn diverge
n
n
n
n
P
alors yn diverge.
P
P
Ces comparaisons ne sont valables que parce que xn et yn sont termes positifs. 2
Dfinition 4 (NEGLIGEABILITE)
Soient (xn )nN et (yn )nN deux suites relles ou complexes. On dit que (xn )nN est ngligeable devant (yn )nN linfini et on note xn =+ o(yn ) si et seulement si pour n
assez grand, xn = yn (n) avec lim (n) = 0.
n+

Proprit 6 (SERIES ET NEGLIGEABILITE)


P
P
P
Soient xn et yn deux sries relles telles que
x
=
o(y
).
On
suppose
que
yn
n
+
n
P
est termes positifs et quelle converge. Alors xn est aussi convergente.

Proprit 7 (SERIE DE RIEMANN)


P
Soit R+ . Si > 1 alors la srie 1/n converge et si 1 alors elle diverge.

Preuve
Cette proprit sera dmontre par comparaison dune srie et dune intgrale en dessous.
Proprit 8 (COMPARAISON AVEC LES SERIES DE RIEMANN)
P
Soit xn une srie relle termes positifs.
P
1. Sil existe > 1 tel que pour tout n N, n xn 1, alors xn converge.
P
2. Sil existe 1 tel que pour tout n N, n xn 1, alors xn diverge.

20

Sries dans R ou C :

3.2 Sries relles termes positifs

Preuve
La preuve est une simple application de la proposition prcdente et du principe de comparaison
des sries termes positifs.
Les deux proprits suivantes (rgle de Cauchy et rgle de DAlembert) consistent comparer
une srie termes positifs avec une srie gomtrique. La faon la plus simple de les noncer est
dutiliser les limsup et liminf :

Proprit 9 (REGLE DE CAUCHY)


P

Soit xn une srie relle termes positifs. Notons l = lim sup n xn . Alors
n+
P
i) Si l < 1, P xn converge,
ii) si l > 1, xn diverge,
iii) si l = 1, on ne peut pas conclure. Cest le cas douteux de la rgle de Cauchy.

Proprit 10 (REGLE DE DALEMBERT)


xn+1
xn une srie relle termes strictement positifs. Notons L = lim sup
et
xn
n+
xn+1
. Alors
l = lim inf
n+ xn
P
i) Si L < 1,P xn converge,
ii) si l > 1, xn diverge,
iii) si l 1 L, on ne peut pas conclure. Cest le cas douteux de la rgle de
DAlembert.
Soit

xn+1
existe, on a L = l et la rgle de DAlembert est alors trs simin+ xn
laire la rgle de Cauchy
P :
i) Si l < 1, Pxn converge,
ii) si l > 1, xn diverge,
iii) si l = 1, cas douteux.

Remarque Lorsque lim

Remarque LIEN ENTRE LES REGLES DE CAUCHY ET DE DALEMBERT :

xn+1
xn+1
Si lim
existe, alors lim n xn existe et lim
= lim n xn . Donc il est
n+ xn
n+
n+ xn
n+
xn+1
inutile dessayer la rgle de Cauchy si la rgle de DAlembert a donn lim
= 1.
n+ xn

xn+1
Si lim
nexiste pas, il est possible que lim n xn existe quand mme, et il est
n+ xn
n+
possible quon ne soit pas dans le cas douteux de la rgle de Cauchy, mme si on est dans
le cas douteux de celle de DAlembert.
21

3.3 Comparaison dune srie et dune intgrale impropre

3.3

Sries dans R ou C :

Comparaison dune srie et dune intgrale impropre

Rappelons ici la dfinition dune intgrale impropre. Nous y reviendrons plus tard dans le
chapitre consacr aux intgrales.
Dfinition 5 (INTEGRALE IMPROPRE)
Soient a R et f : [a, +[ R intgrable sur tout intervalle born inclus dans [a, +[.
Z +
Z X
f (x)dx existe et est finie, on dit que lintgrale impropre
f (x)dx
Si lim
X+ a
a
Z +
Z X
converge, et on note
f (x)dx = lim
f (x)dx. Sinon, on dit que lintgrale
impropre diverge.

X+

Proprit 11 (COMPARAISON SERIE ET INTEGRALE IMPROPRE)


Soit f : [a, +[ R intgrable sur tout intervalle
Z +born inclus dans [a, +[, dcroisP
sante et positive. Alors lintgrale impropre
f (x)dx et la srie
f (n) sont de
mme nature (convergentes ou divergentes).

Preuve
Comme f est dcroissante, on a pour tout n N, pour tout x [n, n + 1],
f (n +Z1) f (x) f (n), Z
Z
n+1

n+1

n+1

f (x)dx
f (n)dx.
f (n + 1)dx
n
n
n
Z n+1
Cest dire f (n + 1)
f (x)dx f (n). Or
n
Z +
RX
f (x)dx = limX+ XN a f (x)dx
a
R

R n+1
PX1
E(a)+1
= limX+ XN a
f (x)dx + n=E(a)+1 n f (x)dx .
Z n+1
Z +
Donc, puisque
f (x)dx f (n), si
f (x)dx diverge,
n
a
Z
Z +
P n+1
P
P
cest dire
f (x)dx diverge, alors f (n) diverge, et si f (n) converge, alors
f (x)dx
n
a
converge.
Z n+1
Z +
P
De mme, puisque f (n+1)
f (x)dx, si
f (x)dx converge, alors f (n+1) converge
n
a
Z +
P
P
et donc f (n) converge, et si f (n) diverge, alors
f (x)dx diverge. 2
donc

Exemple

1/n , > 0 :
22

Sries dans R ou C :

3.4 Sries termes quelconques

1
dx = lim
X+
x

 1 X
1
x
=
dx
=
lim
X+ 1
x
1

Si 6= 1,
1
1
( 1
, si > 1,
1
+, si < 1.
Z +
1
Si = 1,
dx = lim [ln(x)]X
1 = +.
X+
x
1
X 1
Donc
converge si et seulement si > 1.
n

Proprit 12 (ENCADREMENT DU RESTE)


Z

f (x)dx converge. Notons

Soit f : [a, +[ R positive et dcroissante, telle que


pour n a, Rn =

+
X

f (k).

k=n+1

Alors,
Z + pour tout n a, Z
f (x)dx Rn
n+1

Remarque

f (x)dx.

Pour toute srie relle ou complexe

xn convergente, la quantit Rn =

+
X
k=n+1

est appele reste dordre n de

3.4

xn , et on a lim Rn =0.
n+

Sries termes quelconques


Dfinition 6 (SERIE SEMI-CONVERGENTE)
Lorsquune srie est convergente mais pas absolument convergente, on dit quelle est
semi-convergente.

Dfinition 7 (SERIE ALTERNEE)


P
Une srie relle
xn est dite alterne si et seulement si (1)n xn garde un signe
constant pour tout n N.

23

xk

3.5 Sommation par paquets, produit

Sries dans R ou C :

Proprit 13 (REGLE DES SERIES ALTERNEES)


P
Pour quune srie alterne xn converge, il suffit que la suite (|xn |)nN soit dcroissante
+
X
et tende vers 0. De plus, dans ce cas, le reste dordre n, Rn =
xk , vrifie pour tout
k=n+1

n N, |Rn | |xn+1 |.

Exemple
P
(1)n /n est convergente mais pas absolument convergente (donc elle est semi-convergente).
Cette srie est appele srie harmonique alterne. On peut montrer en appliquant Taylor-Lagrange
ln(1 + x) sur [0, 1] que

+
X
(1)n
n=1

= ln(2)

Proprit 14 (REGLE DABEL)


P
Soit xn une srie complexe o pour tout n N, xn = n un tels que
i) la suite (n )nN est relle, dcroissante et tend vers
0,
n
X



ii) il existe M R tel que pour tout n N,
uk M .


k=0
P
Alors xn est convergente.

Exemple
P
Pour > 0 et 6= 0 [2], la srie exp(in)/n converge.
En effet : 1/n joue le rle de n , (1/n )nN est une suite relle, dcroissante et qui tend vers 0.
exp(in)
joue le rle de un ,

n
X
1 exp(i(n + 1))
2



exp(ik) =
.




1

exp(i)
|1

exp(i)|
k=0
2
Or
est indpendant de n, donc la rgle dAbel sapplique.
|1 exp(i)|

3.5

Sommation par paquets, produit

On peut remplacer des paquets de termes conscutifs par leur somme effectue :
24

Sries dans R ou C :

3.5 Sommation par paquets, produit

Proprit 15 (COMPARAISON DE SERIES)


Soit n 7 (n) une application strictement croissante de N dans N. Soit
(n+1)1
X
P
complexe. On considre la srie yn o yn =
xk alors

xn une srie

k=(n)
P
P
i) Pour que xn converge , il est ncessaire que yn converge. De plus, si cest
+
+
X
X
le cas,
xn =
yn .
n=0
n=0
P
ii) Si les xn sont
des
rels
positifs,
pour
que
xn converge, il est ncessaire et
P
suffisant que yn converge.

Dfinition 8 (PERMUTATION)
On appelle permutation de N une bijection de N sur N.

Dfinition 9 (SERIE COMMUTATIVEMENT CONVERGENTE)


P
On dit quune srie
xn est commutativement
convergente si et seulement si pour
P
toute permutation de N, la srie x(n) est convergente.

Proprit 16 (COMMUTAT. ET ABS. CONVERGENTE)


Une srie complexe est commutativement convergente si et seulement si elle est absolument convergente. Dans ce cas, sa somme ne change pas si on change lordre des termes.

Remarque
Cette proprit implique que pour toute srie complexe semi-convergente, on peut trouver une
permutation des termes qui donne une srie divergente. On peut aussi dmontrer que pour toute
srie complexe semi-convergente, pour tout nombre complexe fix lavance, on peut trouver une
permutation des termes qui donne une srie dont la somme est ce nombre.
Exemple partir de la srie harmonique alterne
X
X (1)n+1
1 1 1
xn =
= 1 + + = ln(2),
n
2 3 4
n1
n1
on
Xconstruit la1srie1 1 1 1
1
1
1
yn = 1 + + +

+ ...
2
4
3
6
8
2n
+
1
2(2n
+
1)
2(2n
+
2)
n1
Puis, par sommation par paquets, on considre
25

3.5 Sommation par paquets, produit

Sries dans R ou C :







1
1 1
1
1
1
1
1
+

+ +

+ =
zn = 1
2
4
3 6
8
2n + 1 2(2n + 1)
2(2n + 2)
n1
X 1 (1)n+1
1
= ln(2).
2
n
2
n1
X
X
X
X
P
1
Or si yn converge alors
yn =
zn = ln(2). Donc
yn 6=
xn . 2
2
n1
n1
n1
n1

Dfinition 10 (SERIE PRODUIT)


P
P
P
P
Soient xn et yn deux sries complexes. On appelle srie produit de xn et yn
n
n
X
X
X
P
la srie zn o n N, zn =
xp y q =
xp ynp =
xnq yq .
p+q=n

p=0

q=0

Proprit 17 (CONVERGENCE SERIE PRODUIT)


P
P
Soient
xn et
yn deux sries complexes absolument convergentes. Alors la
+
X
P
P
P
zn =
srie produit
zn de
xn et
yn est absolument convergente et
n=0
! + !
+
X
X
yn .
xn
n=0

n=0

Remarque Cette proprit ne stend pas aux sries semi-convergentes.


Exemple
(1)n
.
On pose pour tout n N, xn = yn =
(n + 1)1/4
P
P
Les sries xn et yn sont alternes et convergentes.
P
1
Elles ne sont pas absolument convergentes car |xn | =
donc
|xn | est de mme nature
1/4
(n
+
1)
P
que 1/n1/4 ,
(car (n + 1)1/4 + n1/4 ) qui est une srie de Riemann divergente.
X
P
1
1
.
La srie produit est zn avec zn = (1)n
(p + 1)1/4 (q + 1)1/4
p+q=n
Or pour tout p n, (p + 1)1/4 (n + 1)1/4 donc pour tout (p, q) N2 tel que p + q = n,
1
1

.
(p + 1)1/4 (q + 1)1/4
(n + 1)1/2
X
P
1
(n + 1)
1/2
Donc |zn |
=
=
(n+1)
.
Donc
zn est grossirement divergente.
(n + 1)1/2
(n + 1)1/2
p+q=n
2
26

Chapitre 4
Suites de fonctions

Dans les parties suivantes, on va considrer des fonctions D C C. La continuit, la limite


finie quand z tend vers z0 (z0 fini) et la drivabilit de telles fonctions se dfinissent comme pour
les fonctions D R R (mais le module remplace la valeur absolue). On ne dfinit pas de limite
infinie, ni de limite quand z tend vers linfini. Les fonctions D C C drivables sont dites
holomorphes et ont des proprits bien plus fortes que les fonctions D R R drivables. Leur
tude ne commence quen L3 de mathmatiques.

Remarque
f (x) f (x0 )
. Elle implique donc de
x x0
pouvoir diviser par (x x0 ). Dans C, a a un sens, la division par un nombre complexe est bien
dfinie. Dans R2 a nen a pas, la division par un vecteur nest pas dfinie. Pour cette raison, on
peut dfinir la drive dune fonction D C C mais pas dune fonction D R2 R2 .
Pour ces dernires, on introduit une notion plus sophistique, la diffrentiabilit. Ltude de la
diffrentiabilit se voit en ANALYSE III.
Dans R, la dfinition de la drive fait intervenir le rapport

Comme il ny a pas de relation dordre dans C, il ny a pas de thorme de Rolle, et pas dgalit
des accroissements finis. Mais on peut quand mme dmontrer une ingalit des accroissements
finis :

Thorme 1 (INEGALITE DES ACCROISSEMENTS FINIS)


Soit f : D C C holomorphe sur D, de drive f 0 et (z0 , z) D2 tels que
[z0 , z] D, alors |f (z) f (z0 )| |z z0 | sup |f 0 (t)|.
t[z0 ,z]

27

Suites de fonctions

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


Dfinition 1 (CONVERGENCE SIMPLE)
Soit (fn )nN une suite de fonctions dfinies sur le mme domaine D : pour tout n N,
fn : D C C. Soit f : D C C. On dit que (fn )nN converge simplement vers
f sur D ssi pour tout z D, lim fn (z) = f (z) (limite dans C).
n+

Remarque Cette dfinition est aussi valable pour les fonctions D R R.


Exemple

On considre fn :

[0, 1] R,
x 7 xn .

R
[0, 1] 
0 si x [0, 1[,
(fn )nN converge simplement sur [0, 1] vers f o f :
x 7
1 si x = 1.
On remarque que dans cet exemple, pour tout n N, fn est continue mais que f est discontinue
en 1.

Dfinition 2 (CONVERGENCE UNIFORME)


Soit (fn )nN une suite de fonctions D C C et f : D C C. On dit que
(fn )nN converge uniformment vers f sur D si et seulement si
lim sup |fn (z) f (z)| = 0.

n+ zD

Remarque
(fn )nN converge simplement vers f sur D se traduit par :
pour toutz D, pour tout > 0, il existeNz, N tel que
n Nz, |fn (z) f (z)| .
(fn )nN converge uniformment vers f sur D se traduit par :
pour tout > 0, il existeN N tel que
n N pour tout 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 diffrence est que pour la convergence uniforme, N doit convenir
pour tous les z D.
28

Suites de fonctions

Proprit 1 (CONVERGENCE UNIFORME ET SIMPLE)


Si (fn )nN converge uniformment 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 lim sup |fn (z) f (z)| = 0, daprs
n+ zD

zD

le thorme des gendarmes, lim |fn (z0 ) f (z0 )| = 0 donc lim fn (z0 ) = f (z0 ). 2
n+

n+

Remarque LA RECIPROQUE NEST PAS VRAIE !


Dfinition 3 (SUITE UNIFORMEMENT DE CAUCHY)
Soit (fn )nN une suite de fonctions D C C. On dit que (fn )nN est uniformment
de Cauchy sur D si et seulement si > 0, N N tel que (n N et m N )
sup |fn (z) fm (z)| < .
zD

Proprit 2 (CONVERGENCE UNIFORME ET CAUCHY)


Une suite (fn )nN de fonctions D C C converge uniformment sur D si et seulement si elle est uniformment de Cauchy sur D.

En pratique, on fait dabord ltude de la convergence simple, ce qui dtermine f . On tudie alors
sup |fn (z) f (z)|.
zD

Si on le majore par (n )nN tel que lim n = 0 alors on a montr quil y a convergence
n+

uniforme.
Si on le minore par (n )nN tel que lim n 6= 0 alors on a montr quil ny a pas convergence
n+

uniforme.

Proprit 3 (SUITE NON CONVERGENTE UNIFORMEMENT)


Soit (fn )nN une suite de fonctions D C C et f : D C C. Pour que (fn )nN
ne converge pas uniformment vers f sur D, il suffit quil existe une suite (zn )nN de
points de D tels que fn (zn ) f (zn ) ne converge pas vers 0 (limite dans C).

29

4.1 Proprits des limites uniformes

4.1

Suites de fonctions

Proprits des limites uniformes


Proprit 4 (LIMITE ET CONTINUITE)
Soit (fn )nN une suite de fonctions D C C et f : D C C telles que (fn )nN
converge uniformment 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. 2
Remarque


[0, 1] R
ne converge uniformment sur [0, 1] vers aux 7 xn
cune fonction. En effet elle converge simplement sur [0, 1] vers une fonction qui nest pas continue.

On voit que la suite de fonctions fn :

Proprit 5 (LIMITE ET INTEGRALE)


Soient (a, b) R2 , (a < b) et (fn )nN une suite de fonctions continues de [a, b] dans R.
Soit f : [a, b] R telle que (fn )nN converge uniformment vers f sur [a, b]. Alors
Z b
Z b
lim
fn (x)dx =
f (x)dx.

n+

Preuve
Soit > 0 fix.
Il existe N N tel que n N pour tout x [a, b],
|fn (x) f (x)| /(b a).
Donc,
Z b si n N ,Z b
Z b
Z b




= (fn (x) f (x))dx
f
(x)dx

f
(x)dx
|fn (x) f (x)| dx .
n



a
a
Z b a
Z b a
Donc lim
fn (x)dx =
f (x)dx. 2
n+

Remarque Cette proprit nest plus vraie si on na que la convergence simple de (fn )nN vers
f.
30

Suites de fonctions

4.1 Proprits des limites uniformes

Proprit 6 (LIMITE ET DERIVABILITE)


Soient D un disque de C et (fn )nN une suite de fonctions D C C, holomorphes
sur D. On suppose que
i) la suite (fn0 )nN converge uniformment sur D vers une fonction g.
ii) il existe z0 D tel que (fn (z0 ))nN converge.
Alors (fn )nN converge uniformment vers une fonction f : D C C sur toute
partie borne de D. De plus, f est holomorphe sur D et f 0 = g.

Remarque Cette proposition est encore vraie pour les fonctions D R R (remplacer holomorphe par drivable et D disque de C par D intervalle de R).

31

4.1 Proprits des limites uniformes

Suites de fonctions

32

Chapitre 5
Srie de fonctions
5.1

DEFINITION

De faon analogue aux sries, les sries de fonctions sont dfinies partir des suites de fonctions.
Dfinition 1 (SERIE DE FONCTIONS)
Soit (fn )nN une suite de fonctions dfinies sur le mme
P domaine D : pour tout n N,
fn : D C C. On dit que la srie de fonctions
fn converge simplement (resp.
uniformment) sur D ssi la suite des somme partielles (suites de fonctions) (Sn )nN o
n
X
fk (z) converge simplement (resp.
pour tout n N, pour tout z D, Sn (z) =
k=0

uniformment) sur D.

Remarque En pratique, pour ltude de la convergence simple dune srie de fonctions D


C C, on est ramen ltude de la convergence dune srie complexe.
Proprit 1 (CRITERE DE CAUCHY UNIFORME)
P
Une srie de fonctions
fn o fn : D C C converge uniformment sur
D si et seulement
pour tout > 0, il existe N N tel que (m > n N )
m
X



sup
fk (z) .

zD
k=n+1

On en dduit que
33

5.1 DEFINITION

Srie de fonctions

Proprit 2 (CONDITION NECESSAIRE DE CONV. UNIF.)


P
Pour que la srie de fonctions
fn o fn : D C C converge uniformment sur
D, il faut que la suite (fn )nN converge uniformment vers 0 sur D.

Les proprits sur la continuit, la drivation et lintgration viennent des proprits des suites de
fonctions :
Proprit 3 (SERIE DE FONCTIONS ET CONTINUITE)
P
Soit fn , fn : D C C, une srie de fonctions et a D tel que pour tout n N,
+
X
P
fn est continue
fn soit continue en a. Si
fn converge uniformment sur D alors
n=0

en a.

Proprit 4 (SERIE DE FONCTIONS ET DERIVATIONS)


Soient D un disque de C et (fn )nN une suite de fonctions D C C, holomorphes
sur D. On suppose
Pque0
i) la srie fn converge uniformment
sur D,
P
P
ii) il existe z0 D tel que fn (z0 ) converge.
Alors
fn converge simplement sur D et!uniformment sur toute partie borne de D.
0
+
+
+
X
X
X
fn0 .
fn est holomorphe et
fn =
De plus,
n=0

n=0

n=0

Proprit 5 (SERIE DE FONCTIONS ET INTEGRATION)


P
P
Soit
fn , fn : [a, b] R R (a < b) une srie
de fonctions continues. Si
fn
!
Z b X
Z
+
+
b
X
converge uniformment sur [a, b], alors
fn (x)dx =
fn (x)dx.
a

n=0

n=0

On tudie maintenant une autre notion de convergence plus forte que la convergence uniforme :
Dfinition 2 (CONVERGENCE NORMALE)
P
P
Soit
fn , fn : D C C, une srie de fonctions. On P
dit que
fn converge
sup |fn (z)| converge.
normalement sur D ssi pour tout n N, sup |fn (z)| < + et
zD

34

zD

Srie de fonctions

5.1 DEFINITION

Remarque
En pratique,
- pour montrer quil y a convergence normale, on cherche majorer sup |fn (z)| par un rel n tel
zD
P
que n soit convergente, et
- pour montrer quil ny a pas convergence normale, on cherche minorer sup |fn (z)| par un rel
zD
P
n tel que n soit divergente.
Une faon de minorer est dutiliser :

Proprit 6 (SERIE NON CONVERGENTE NORMALEMENT (1))


P
(rgle
de
la
suite
(z
)
)
Soit
fn , fn : D C C, une srie de fonctions. Pour
n
nN
P
que
fn ne converge P
pas normalement sur D, il suffit quil existe une suite (zn )nN
de points de D tels que |fn (zn )| diverge.

Remarque Cette proprit est base sur une minoration :


P
P
si pour tout n N, zn D, alors sup |fn (z)| |fn (zn )|. Donc, si
|fn (zn )| diverge, alors
zD

sup |fn (z)| diverge.


zD

Un cas particulier de la proprit prcdente est :


Proprit 7 (SERIE NON CONVERGENTE NORMALEMENT (2))
P
P
Soit fn , fn : D C C, une srie de fonctions.
Sil
existe
z

D
tel
que
fn (z0 )
0
P
ne soit pas absolument convergente, alors fn nest pas normalement convergente sur
D.

Lintrt de la convergence normale est dans la proprit suivante :


Proprit 8 (CONVERGENCE NORMALE ET UNIFORME)
Toute srie normalement convergente est uniformment convergente.

Preuve
P
Si
fn est normalement convergente, la suite

n
X
k=0

!
sup |fk (z)|
zD

est convergente donc de


nN

Cauchy.
Cest dire que pour tout > 0, il existeN N tel que (m > n N )
35

5.1 DEFINITION

Srie de fonctions





m
n
m
X

X

X




sup |fk (z)|
sup |fk (z)| , ou encore
sup |fk (z)| .





zD
zD
zD
k=0
k=0
k=n+1
m

m
m
X

X
X


Or pour tout z D,
fk (z)
|fk (z)|
sup |fk (z)|.


zD
k=n+1
k=n+1
k=n+1


m
X

P


Donc sup
fk (z) . Donc
fn vrifie le critre de Cauchy uniforme sur D. Donc elle

zD
k=n+1
converge uniformment sur D. 2
Autre critre de convergence uniforme :
Proprit 9 (REGLE DABEL UNIFORME))
P
Soit
fn , fn : D C C une srie 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))nN est relle et dcroissante,
ii) la suite de fonctions (n )nN converge uniformment vers la fonction identiquement nulle sur D.


n
X



uk (z) M .
iii) il existe M R tel que pour tout n N, sup


zD
k=0
P
Alors fn converge uniformment sur D.

36

Chapitre 6
Sries entires
Les sries entires sont des sries de fonctions de forme particulire. Elles sont bien adaptes
lopration de drivation, et donc la rsolution dquations diffrentielles.
Dfinition 1 (SERIE ENTIERE)
Une srie entire est une srie de fonctions de la forme
z 7 an z n ) o pour tout n N, an C.

an z n (fonctions C C,

Pour tudier la convergence de la srie,


Proprit 1 (THEOREME DABEL)
P
Soit an z n une srie entire. Soit z0 C tel que la suite (an z0n )P
nN soit borne. Alors
i) pour tout z1 C tel que |z1 | < |z0 |, la srie (complexe) an z1n est absolument
convergente.
P
ii) r tel que 0 r < |z0 |, la srie 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 proprit est triviale. Si
z0 6= 0, soit M tel que n N, |an z0n | M .

n
 n



z
1
M z1 .
i) Si z1 C est tel que |z1 | |z0 | alors n N, |an z1n | = an z0n
z0
z0

n
z1 |z1 |
P z1
P
Comme =
< 1, M converge donc |an z1n | converge.
z0
|z0 |
z0
n

n

n
z1
P
r
r
n


ii) Si 0 r < |z0 |, sup |an z | sup M = M
et
M
z0
|z0 |
|z0 |

zD(0,r)
zD(0,r)
converge. 2
37

Sries entires

Dfinition 2 (RAYON DE CONVERGENCE)


P
Soit
an z n une srie entire. On appelle rayon de convergence de la srie le nombre
R = sup{r R+ tq (an rn )nN soit borne}.

Remarque {r R+ tq (an rn )nN soit borne} =


6 car il contient 0. Si cet ensemble est major
il admet une borne sup. Sinon, on convient de poser R = +.
Proprit 2 (VALEURS DE RAYONS DE CONVERGENCE)
P
Soit R le rayon de convergence
dune
srie
entire
an z n .
P
i) Si R = 0, an z1n ne converge que P
pour z1 = 0.
ii) Si RP= +, pour tout z1 C,
an z1n converge absolument et pour tout
n
r 0, an z1 converge normalement sur D(0, r).
P
iii) Si R est un nombre fini non nul, pour tout z1 C tel que
an z1n
P |z1 |n < R,
converge absolument, pour
an z1 diverge, pour
Ptout z1 C tel que |z1 | > R,
tout r tel que 0 r < R, an z1n converge normalement sur D(0, r).

Dfinition 3 (DISQUE DE CONVERGENCE)


o
P
Si R est le rayon de convergence dune srie entire an z n , le disque ouvert D(0, R) =
{z C tq |z| < R} est appel disque de convergence de la srie entire.

Remarque Si R est fini, on ne sait pas priori si

an z n converge pour |z| = R.

Dtermination du rayon de convergence :


Proprit 3 (DALEMBERT ET RAYON DE CONVERGENCE)
P
Soit
an z n une srie entire et R son rayon de convergence. Supposons que
|an+1 |
= l (l fini ou infini). Alors
lim
n+ |an |
si 0 < l < +, R = 1/l ; si l = 0, R est + ; si l est +, R = 0.

Remarque Cette proprit se dmontre par la rgle de dAlembert.


38

Sries entires

6.1 Oprations sur les sries entires

Proprit 4 (FORMULE DHADAMARD)


P
n
Soit ap
n z une srie entire et R son rayon de convergence. Notons
lim sup n |an | = l. Alors
n+

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

Exemple
1.
2.
3.

4.

6.1

P zn
|n!|
1
Pour
, R est +, ( lim
= lim
= 0).
n+
n+
n!
|(n + 1)!|
n+1
P
|(n + 1)!|
Pour n!z n , R = 0, ( lim
= lim (n + 1) = +).
n+
n+
|n!|
n
Pz
|n + 1|
Pour
, R = 1, ( lim
= 1). Pour |z| = 1, z = exp(i). Si = 0 [2],
n+
n
|n|
P zn
P1
P exp(in)
=
diverge. Si 6= 0 [2],
converge (dja montr par la rgle
n
n
n
dAbel).

P zn
P z n
P 1
|(n + 1)2 |
Pour
,
R
=
1,
(
lim
=
1).
Pour
|z|
=
1,
=
converge.


n+
n2
|n2 |
n2
n2
P zn
Donc z C tel que |z| = 1,
est absolument convergente.
n2

Oprations sur les sries entires


Proprit 5 (SOMME ET PRODUIT DE SERIES ENTIERES)
P
P
Soient
an z n et
bn z n deux sries entires de rayon de convergence respectif Ra et
Rb . On considre
P
- la srie entire somme (an + bn )z n , et
n
X
P
n
- la srie entire produit cn z o cn =
ap bnp de rayon de convergence respectif
p=0

Rs et Rp . On a alors Rs inf(Ra , Rb ), Rp inf(Ra , Rb ) et pour tout z1 C tel que


|z1 | < inf(Ra , Rb ),
+
+
+
X
X
X
(an + bn )z1n =
an z1n +
bn z1n ,et
n=0
n=0 !
n=0 !
+
+
+
X
X
X
cn z1n =
an z1n
bn z1n .
n=0

n=0

n=0

39

6.2 Proprits fonctionnelles dune srie entire

Sries entires

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

6.2

Proprits fonctionnelles dune srie entire


Proprit 6 (CONTINUITE)
o
P
Soit
an z n une srie entire de rayon de convergence R 6= 0. Alors sur D(0, R), z 7
+
X
an z n est une fonction continue.
n=0

Preuve o
P
Soit z0 D(0, R). Alors |z0 | < R. Soit r tel que |z0 | < r < R. an z n converge normalement sur
+
X
an z n est continue sur D(0, r) donc en z0 . 2
D(0, r) et pour tout n N, z 7
n=0

Pour ltude de lintgration


des sries entires, on se restreint dans ce cours au cas des sries
P
entires relles :
an xn o pour tout n N, an R et x R. Toutes les proprits des sries
entires complexes sont vraies
pour les sries entires relles. Si R est la rayon de convergence
P
dune srie entire relle an z n , son disque de convergence est lintervalle ] R, R[.
Proprit 7 (INTEGRATION)
P
Soit
an xn une srie entire relle de rayon de convergence R 6= 0. Alors pour tout
a, b tels que a < b et [a, b] ] R, R[,
Z bX
+

an x dx =

a n=0

+ Z
X
n=0

an xn dx.

Pour ltude de la drivation, on revient aux fonctions complexes :


Proprit 8 (DERIVATION)
P
P
n
i) Les sries
entires
a
z
et
nan z n1 ont le mme rayon de convergence.
n
P
ii) Soit
an z n une srie entire de rayon de convergence R 6= 0. Alors
+
X
o
sur D(0, R), z 7
an z n est indfiniment drivable et pour tout p N,
n=0
+
X
n=0

!(p)
an z n

+
X

n(n 1) . . . (n p + 1)an z np .

n=p

40

Sries entires

6.2 Proprits fonctionnelles dune srie entire

Preuve
i) Dmontr
en cours,
P
P
n1
ii) nan z
a le mme rayon de convergence R que an z n .
o
P
P
Soit z0 D(0, R) et soit r tel que |z0 | < r < R. nan z n1 et an z n convergent normalement
sur D(0, r) qui est un disque de C.
+
X
De plus, pour tout n N, z 7 an z n est holomorphe et sa drive est z 7 nan z n1 Donc
an z n
n=0

est holomorphe sur D(0, r) (donc en z0 ), et sa drive est


+
X

nan z n1

n=1

P
En appliquant
ce
rsultat

la
srie
entire
drive
nan z n1 on obtient la srie entire drive
P
seconde n(n 1)an z n2 .
Pour tout p N, en ritrant ce processus, on obtient la srie entire drive dordre p. 2
On voit l que contrairement aux autres sries de fonctions, les sries entires sont bien adaptes
la drivation. Grce cette proprit, elles constituent un outil pratique pour la rsolution de
certaines quations diffrentielles :
Exemple
On cherche une srie entire qui soit gale sa drive (donc on cherche une srie entire solution
+
X
0
de f f = 0). On suppose donc quil existe R > 0 tel que pour tout x ]R, R[, f (x) =
an x n .
n=0

Donc f 0 (x) =

+
X
n=1

nan xn1 =

+
X

(n + 1)an+1 xn .

n=0

Or f f = 0 donc pour tout x ] R, R[,

+
X

(n + 1)an+1 x

n=0

Donc

+ 
X

+
X

an xn = 0.

n=0

(n + 1)an+1 an xn = 0.

n=0

Donc pour tout n N, an = (n + 1)an+1 . Cest dire a1 = a0 , a2 = a1 /2 = a0 /2, a3 = a2 /3 =


a0 /6 . . .
a0
Montrons par rcurrence que an =
: cest vrai aux rangs 1, 2 et 3. Supposons que a soit vrai
n!
a0
ak
a0
au rang k : ak = . Alors ak+1 =
=
.
k!
k+1
(k + 1)!
P a0 n
La srie ainsi forme,
x a pour rayon de convergence + et on peut montrer en utilisant
n!
+
X
a0 n
le thorme de Taylor-Lagrange que pour tout x R,
x = a0 exp(x).
n!
n=0
Donc toute srie entire solution de f 0 f = 0 est de la forme C exp(x) o C est une constante.
En fait il ny a pas dautre solution, dfinie sur un intervalle : si g est dfinie sur un intervalle I et
telle que g 0 g = 0, alors
41

6.2 Proprits fonctionnelles dune srie entire

g(x)
exp(x)

0
=

Sries entires

g 0 (x) exp(x) exp(x)g(x)


= 0.
exp(2x)

Donc il existe C R tel que pour tout x I,

g(x)
= C. Donc g(x) = C exp(x).
exp(x)

42

Chapitre 7
Fonctions dveloppables en sries entires

7.1

Lexemple de lexponentielle complexe

On a vu que lexponentielle est ( une constante multiplicative prs) la seule fonction qui soit
gale sa drive (sur un intervalle), et cest la raison pour laquelle on lutilise pour rsoudre les
quations diffrentielles dordre 1. Pour le montrer, on a vu que le rayon de convergence de la
+ n
X
P xn
x
est + et que pour tout x R, exp(x) =
. On gnralise cette
srie entire relle
n!
n!
n=0
expression tout z C.

Dfinition 1 (EXPONENTIELLE COMPLEXE)


Pour tout z C, on pose exp(z) =

+ n
X
z
n=0

n!

On a toujours la proprit fondamentale de lexponentielle.


Proprit 1 (PROPRIETE DE LEXPONENTIELLE)
Pour tous z1 , z2 C, exp(z1 ) exp(z2 ) = exp(z1 + z2 ).

Preuve
Pour tout z1 , z2 C, exp(z1 ) exp(z2 ) =

n=0

+ n
X
z

n!

n!

+ n
X
z

43

n=0

!
=

+
X
n=0

cn o pour tout n N, cn =

7.2 Dveloppement en srie entire

Fonctions dveloppables en sries entires

n
X
P z1n P z2n
z1k z2nk P
( cn est la srie produit de
et
qui sont absolument convergentes).
k!
(n

k)!
n!
n!
k=0
n
+
+
X
X
n!
1
1 X
k nk
z1 z2 =
(z1 + z2 )n = exp(z1 + z2 ). 2
Donc exp(z1 ) exp(z2 ) =
n! k=0 k!(n k)!
n!
n=0
n=0

On va maintenant voir pourquoi les nombres complexes de module 1 sont associs des rotations :
Proprit 2 (DEVELOPPEMENT DE COS, SIN, EXP)
Pour tout R,
i) cos() =

+
X
(1)n
n=0
+
X

(2n)!

2p ,

(1)n 2n+1

,
(2n + 1)!
n=0
iii) exp(i) = cos() + i sin().
ii) sin() =

Preuve
i) pour tout n N,
cos(2n) (x) = (1)n cos(x) et cos(2n+1) (x) = (1)n+1 sin(x). Donc, pour tout N N, en
appliquant la formule de Taylor-Lagrange lordre 2N +1 cos entre 0 et , on a : il existe

N  2n
X

2n+1
(2n)
(2n+1)
cos (0) +
cos
(0) +
cN compris entre 0 et tel que cos() =
(2n)!
(2n + 1)!
n=0
2N +2
cos(2N +2) (cN ). Or pour tout n N,
(2N + 2)!
n
n
(2n+1)
cos(2n) (0)
(0) = (1)n+1 sin(0) = 0, donc 0
= (1) cos(0) = (1) et cos
N

X (1)n
||2N +2

lim cos()
2n lim
= 0.
N +
N + (2N + 2)!
(2n)!
n=0
La preuve du ii) est similaire.
+
X
(1)p 2p+1
iii) exp(i) =
i
=
+i

(une suite complexe


n!
(2p)!
(2p
+
1)!
p=0
p=0
n=0
converge si et seulement si sa partie relle et sa partie imaginaire convergent). 2
+
X

+
X
(1)p

2p

On en dduit immdiatement que R, | exp(i)| = 1.

7.2

Dveloppement en srie entire

On a vu en utilisant Taylor-Lagrange que pour tout x R,


+ n
+
+
2n
X
X
X
x
x2n+1
n x
exp(x) =
, cos(x) =
(1)
et sin(x) =
(1)n
.
n!
(2n)!
(2n
+
1)!
n=0
n=0
n=0
44

Fonctions dveloppables en sries entires

7.2 Dveloppement en srie entire

ATTENTION : Il ne faut pas confondre ces expressions avec les dveloppements limits en 0 de
exp(x), cos(x) et sin(x). Dans un dveloppement limit, en 0, on ne garde quun nombre fini de
termes, et le dveloppement nest utile que quand x tend vers 0.
Ici, on considre une infinit de termes et ces dveloppements sont valables pour tout x R. On
les appelle des dveloppements en srie entire.

Dfinition 2 (DEVELOPPEMENT EN SERIE ENTIERE)


Soit f : D C C tel que D soit un voisinage de 0. On dit que f admet un
dveloppement en srie entire sur D si et seulement si il existe une suite de coefficients
+
X
an z n .
complexes (an )nN telle que pour tout z D, f (z) =
n=0

On va voir que si elle existe, la suite (an )nN est ncessairement unique et lie aux drives successives de f :

Proprit 3 (DERIVEE N-IEME)


Soit f : D C C dveloppable en srie entire sur D. Alors pour tout n N,
f (n) (0)
f (n) (0) existe et an =
.
n!

Preuve
P
Puisque f concide au voisinage de 0 avec z 7
an z n qui est indfiniment drivable en 0, f lest
aussi. De plus, pour tout p N,
+
X
f (p) (0) =
n(n 1) . . . (n p + 1)an 0np = p(p 1) . . . 1 ap . 2
n=p

A cause de cette proprit, toute fonction indfiniment drivable en 0 on associe sa srie de


Taylor en 0.
Dfinition 3 (SSERIE DE TAYLOR)
Soit f : D C C indfiniment drivable en 0. La srie de Taylor de f en 0 est la
X f (n) (0)
zn.
srie
n!

45

7.3 Dveloppement des fonctions usuelles

Fonctions dveloppables en sries entires

Deux questions se posent alors


X f (n) (0)

z n converge-t-elle ?
n!
2. Si oui, converge-t-elle vers f (z) ?
1. La srie

Il est vident que pour z = 0, la srie converge vers f (0). Par contre, pour z 6= 0, la reponse peut
tre non chacune de ces questions. Des exemples seront tudis en TD.

Remarque On dfinit de la mme faon que dans C les fonctions dveloppables en srie entire
sur R et leur srie de Taylor. Pour savoir si une fonction relle indfiniment drivable en 0 est
dveloppables en srie entire, les deux mmes questions se posent, et la rponse peut tre non
chacune de ces questions.
La formule de Taylor-Lagrange donne une condition suffisante pour quune fonction soit dveloppable en srie entire. Dans ce cours, on ne la donne que pour les fonctions relles.
Proprit 4 (CONDITION SUFFISANTE)
Soit f : I R R o I est un intervalle contenant 0. On suppose que f est indfiniment drivable sur I, et quil existe une constante M telle que pour tout n N, pour tout
x I, |f (n) (x)| M . Alors f est dveloppable en srie entire.

Remarque On a dj utilis cette proprit pour dvelopper exp, cos et sin.


Preuve
On applique la formule de Taylor-Lagrange f entre 0 et x, lordre N :
il existe cN compris entre 0 et x tel que
f (x) =

N
X
xn
n=0

n!

f (n) (0) +

xN +1 (N )
f (cN ).
(N + 1)!



N

X
f (n) (0) n
xN +1

Donc 0 lim f (x)
x lim
M = 0. 2
N +
N + (N + 1)!
n!
n=0

7.3

Dveloppement des fonctions usuelles

Souvent, pour dvelopper une fonction en srie entire, on se ramne des fonctions usuelles
(comme pour les dveloppements limits).
46

Fonctions dveloppables en sries entires

7.3 Dveloppement des fonctions usuelles

Proprit 5 (FONCTIONS USUELLES)


Famille de lexponentielle :
+ n
X
z
.
pour tout z C, exp(z) =
n!
n=0
Pour tout x R,
+
exp(x) + exp(x) X x2n
ch(x) =
=
,
2
(2n)!
n=0
+
exp(x) exp(x) X x2n+1
sh(x) =
=
,
2
(2n + 1)!
n=0
+
X
x2n
(1)n
cos(x) =
, et
(2n)!
n=0
+
X
x2n+1
(1)n
sin(x) =
.
(2n
+
1)!
n=0
Toutes ces sries entires ont donc un rayon de convergence infini.
Famille du binme :
pour tout z C tel que |z| < 1,
+
X
1
z n ,et
=
1z
n=0
+
X
1
=
(1)n z n .
1+z
n=0
Pour tout x R tel que |x| < 1,
+
X
xn+1
ln(1 + x) =
(1)n
, et
n
+
1
n=0
+
X
x2n+1
arctan(x) =
(1)n
.
2n
+
1
n=0
Pour tout R, pour tout x R tel que |x| < 1,
+
X

( 1) 2
( 1) . . . ( n + 1) n

(1 + x) = 1 + x +
x + =
x .
1!
2!
n!
n=0
Toutes ces sries entires ont un rayon de convergence gal 1.

Remarque
1. De la mme faon quon a dfini exp(z), pour tout z C, en utilisant le dveloppement
en srie entire de lexponentielle, on peut dfinir cos(z), sin(z), ch(z) et sh(z), pour tout
z C. Les dveloppements de ces fonctions donns dans la proprit prcdente sont
encore valables dans C. Mais ces fonctions dfinies sur C sont beaucoup moins utilises
que lexponentielle complexe.
47

7.3 Dveloppement des fonctions usuelles

Fonctions dveloppables en sries entires

P n
1
se calcule facilement en tudiant la srie gomtrique
z .
1z
1
On en dduit le dveloppement de
en changeant z en z, puis celui de ln(1 + x) en
1+z
1
. De mme,
se restreignant x R puis en prenant la primitive du dveloppement de
1+x
1
on calcule le dveloppement de arctan(x) en dveloppant dabord sa drive
.
1 + x2
3. Le dveloppement de (1 + x) nest valable que pour indpendant de x. La mthode la
plus pratique pour le calculer est dutiliser une quation diffrentielle (voir en TD). Pour
N, il ny a quun nombre fini de termes non nuls dans ce dveloppement, et on retrouve

X
!

xn .
la formule du binme de Newton : (1 + x) =
n!( n)!
n=0

2. Le dveloppement de

4. Les fonctions ln(1+x), arctan(x) et (1+x) peuvent elles aussi tre prolonges D(0, 1)
C de faon ce que les dveloppements donns dans la proprit prcdente soient encore
valables. Mais il y a plusieurs faons de dfinir ces fonctions dans le cas complexe et on ne
considrera que le cas rel dans ce cours.

48

Chapitre 8
Sries de Fourier

Les sries de Fourier sont des sries de fonctions dun type particulier, qui servent tudier les
fonctions priodiques. Lide est dexprimer une fonction 2-priodique quelconque comme une
combinaison linaire de fonctions 2-priodiques simples, de la forme cos(nx) ou sin(nx), avec
n N. Cette combinaison linaire sera, en gnral, une somme infinie, cest dire une srie :

Dfinition 1 (SERIE TRIGNONOMETRIQUE)


P
On appelle srie trigonomtrique une srie de fonctions fn dont le terme gnral est
de la forme fn (x) = an cos(nx) + bn sin(nx) avec x R et,pour tout n N, an C et
bn C .

Proprit 1 (CONVERGENCE)
P
P
Si
a
et
bn convergent absolument,
alors la srie trigonomtrique
n

P
an cos(nx) + bn sin(nx) converge normalement sur R.

Preuve


P
P


sup an cos(nx) + bn sin(nx) |an | + |bn |. Or, si
an et
bn convergent absolument alors
xR
P
(|an | + |bn |) converge donc
P


sup an cos(nx) + bn sin(nx) converge. 2
xR

Avec des hypothses moins fortes sur (an )nN et (bn )nN , on a :
49

Sries de Fourier

Proprit 2 (CONVERGENCE (2))


Si les suites (an )nN et P
(bn )nN sont relles, dcroissantes,
et tendent vers 0 alors, pour

tout x0 R \ 2Z fix
aP
n cos(nx0 ) + bn sin(nx0 ) converge.

De plus pour tout > 0,
an cos(nx) + bn sin(nx) converge uniformment sur
chaque intervalle de la forme [2n + , 2(n + 1) ] avec n Z.

La preuve de cette proprit est une application de la rgle dAbel uniforme.

En utilisant les formules dEuler, on peut rcrire une srie trigonomtrique en remplaant les cos
et sin par des exponentielles :




an ibn inx
an + ibn inx
pour tout n N, an cos(nx) + bn sin(nx) =
e +
e
.
2
2
Cette remarque permet dintroduire ce quon appelle lcriture complexe dune srie trigonomtrique. Mais pour a, lhabitude est dutiliser des sries pour lesquelles lindice n est dans Z et
non plus simplement dans N :

Dfinition 2 (INDICE ENTIER RELATIF)


La srie

xn est par dfinition la srie x0 +

(xn + xn ).

nN

nZ

On a alors :
Proprit 3 (ECRITURE COMPLEXE)

X
Toute srie trigonomtrique
an cos(nx) + bn sin(nx) peut se rcrire sous la
nN

forme

cn einx avec c0 = a0 et n N , cn =

nZ

cn =

an ibn
et
2

an + ibn
. Alors, n N , an = cn + cn et bn = i(cn cn ).
2

Lorsquune srie trigonomtrique converge uniformment sur [, ], on peut retrouver ses coefficients en fonction de sa somme :
50

Sries de Fourier

Proprit 4 (EVALUATION DES COEFFICIENTS)



X
Soit
an cos(nx) + bn sin(nx) une srie trigonomtrique uniformment convergente sur [, ].
+ 

X
Notons, S(x) =
an cos(nx) + bn sin(nx) , pour tout x R.
Z n=0

1
Alors a0 =
S(x)dx et pour tout n N ,
2

Z
Z
1
1
an =
S(x) cos(nx)dx et bn =
S(x) sin(nx)dx.

Remarque
1. S est une fonction R C. On a donc ici des intgrales de fonctions R C auxquelles il
faut donner un sens.
Z
Z
Z
b

Par dfinition, pour f : R C,

f (x)dx =
a

Re(f (x))dx + i
a

Im(f (x))dx.
a

2. On na pas dexpression pour b0 . En fait, puisque b0 est le coefficient de sin(0x) = 0, il na


aucune importance, on peut choisir par exemple b0 = 0.
Si la srie trigonomtrique est donne par son criture complexe, les expressions se simplifient :

Proprit 5 (SERIE TRIGO-COMPLEXE)


Soit

cn einx une srie trigonomtrique crite sous forme complexe qui converge uni-

nZ

formment sur [, ].
Notons, pour tout x R, S(x) =
Z
1
S(x)einx dx.
2

Preuve Soit n0 Z fix. Puisque

+
X

cn einx . Alors pour tout n Z, cn =

n=

cn einx converge uniformment sur [, ],

nZ

1
2

in0 x

S(x)e

1
dx =
2
1
=
2
51

+
X

cn einx ein0 x dx

n=
+
X
n=

cn einx ein0 x dx.

Sries de Fourier

Or
1
2

einx ein0 x dx =

1 si n = n0 ,

0 sinon.

Cette proprit a une interprtation gomtrique simple qui sera dveloppe dans le paragraphe sur
lgalit de Parseval.

Remarque Puisque cos(nx) et sin(nx) sont 2-priodiques, S(x) lest aussi. A cause
de a, on
Z +2
1
peut changer lintervalle dintgration : pour tout R, pour tout n Z, cn =
S(x)einx dx.
2
La mme chose est vraie pour an et bn .
Maintenant quon a tudi les sries trigonomtriques, on peut revenir au programme de dpart :
tant donne une fonction 2-priodique quelconque, peut-on la rcrire comme la somme dune
srie trigonomtique ?

Dfinition 3 (SERIE DE FOURIER)


(SERIE DE FOURIER)
Soit f une fonction
2-priodique. Sa srie
 de Fourier est par dfinition la srie trigoP
nomtrique
an cos(nx) + bn sin(nx) dfinie par
Z
Z
1
1

f (x)dx et pour tout n N , an =


f (x) cos(nx)dx et
a0 =
2Z

1
bn =
f (x) sin(nx)dx, si ces intgrales sont dfinies.

Ou, de faon quivalente, cest la srie trigonomtrique
crite sous forme complexe
Z
X
1
inx
inx
cn e o, pour tout n Z, cn =
f (x)e
dx. Les coefficients an et bn
2
nZ
(ou, de faon quivalente, cn ) sont appels coefficients de Fourier de f .

Proprit 6 (PARITE)
1. Puisque f est 2-priodique, on peut changer lintervalle dintgration en [, +
2], pour tout R.
2. Si f est paire, pour tout n N, bn = 0.
3. Si f est impaire, pour tout n N, an = 0.

52

Sries de Fourier

De faon analogue ce qui se passe quand on dveloppe une fonction en srie entire, tant donne une fonction f 2-priodique dont les coefficients de Fourier sont dfinis, deux questions se
posent :
1. La srie de Fourier de f converge-t-elle ?
2. Si oui, converge-t-elle vers f ?
Malheureusement, comme pour les sries entires, la rponse peut tre non chacune de ces questions.
Il existe toute une thorie dcrivant la convergence de la srie de Fourier sous diverses hypothses
sur f . Parmis cette thorie, on retiendra pour ce cours le rsultat suivant :

Thorme 1 (DIRICHLET JORDAN)


Soit f une fonction 2-priodique continue sur [, ] sauf ventuellement en un
nombre fini de points. On suppose quen 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 drive droite et une drive gauche (finies).
 Alors pour tout x R,la
1
lim f (y) + lim f (y) .
srie de Fourier de f est convergente en x et a pour somme
yx
2 yx+
En particulier, en tout point x o f est continue, la somme de sa srie de Fourier est
f (x).

Il est pratique de rinterprter la thorie des sries de Fourier en utilisant les notions despace
vectoriel et de produit scalaire. On peut alors retenir certains aspects des sries de Fourier en
gardant en tte lanalogie avec lespace vectoriel simple quest R2 , qui est muni du produit scalaire ~x.~y = x1 y1 + x2 y2 . Cette analogie scrit de faon plus naturelle quand on utilise lcriture
complexe des sries de Fourier.
Lespace qui, pour les sries de Fourier, joue le rle de lespace vectoriel R2 est lensemble de
fonctions
F = {f : R C, 2-periodiques et dont le carr est intgrable sur [, ]}.
On peut dfinir un produit sur F (une fonction F F C) qui jouera le rle du produit scalaire
de R2 :

Dfinition 4 (PRODUIT SCALAIRE)


Pour f, g F, on appelle
produit scalaire de f et g, et on note (f, g) le nombre comZ
1
plexe (f, g) =
f (x)
g (x)dx o g(x) dsigne le nombre complexe conjugu de
2
g(x).

53

8.1 Interprtation gomtrique des sries de Fourier

Sries de Fourier

Lorsquon a un produit scalaire, on peut dfinir une norme :


Dfinition 5 (NORME)
(NORME)
p Soit f F. On appelle norme de f et on note ||f || le nombre rel positif
||f || = (f, f ).

2
Remarque
p La norme de R est construite de cette faon partir du produit scalaire : ||~x|| =

2
2
~x.~x = x1 + x2 .

Proprit 7 (BASE ORTHONORMEE)


Lensemble (infini) des fonctions {x 7 einx , n Z} forme une base orthonorme
(infinie) de F muni du produit scalaire (., .).

En effet on a dj vu que pour tout n0 Z,


1
2

einx ein0 x dx =

1 si n = n0 ,

0 sinon,

ce qui se traduit par


(ein0 x , einx ) =

1 si n = n0 ,

0 sinon,

ce qui est la dfinition dune famille orthonorme. Le fait que cette famille contienne assez dlments pour tre considre comme une base ncessite des dveloppements supplmentaires :
La diffrence entre R2 et F est quune base orthonorme de R2 ne contient que 2 lments alors
quune base orthonorme de F contient une infinit dlments. On dit que F est de dimension
infinie.
Par analogie avec R2 , on dit quon a dcompos f F suivant la base orthonorme {x 7
+N
X
einx , n Z} si on a trouv des coefficients cn Z tels que lim ||f (x)
cn einx || = 0. La
N +

n=N

proposition prcdente affirme que cette dcomposition est possible pour tout f F. Alors on
obtient linterprtation suivante.

8.1

Interprtation gomtrique des sries de Fourier

Soit f F. Sa srie de Fourier nest rien dautre que sa dcomposition suivant la base orthonorme {x 7 einx , n Z}. Cette interprtation permet de retenir lexpression des coefficients de
Fourier de f :
54

Sries de Fourier

8.1 Interprtation gomtrique des sries de Fourier

Proprit 8 (PROJECTION ORTHOGONALE)


Soit f F. Pour tout n Z son coefficient de Fourier
Z cn est la projection orthogonale
1
de f sur einx , cest dire cn = (f (x), einx ) =
f (x)einx dx.
2

Enfin, cette interprtation permet de relier la norme de f avec ses coefficients de Fourier :
Thorme 2 (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 relle. Alors la norme de f
vrifie :
1. Ingalit de Bessel : pour tout N N,
1
||f || = (f, f ) =
2
2

= |a0 |2 +

1
2

f (x)f(x)dx

N
X

|cn |2

n=N

N
X

(|an |2 + |bn |2 ).

n=1

2. Egalit de Parseval :
+
X

1X
||f || = (f, f ) =
|cn | = |a0 | +
(|an |2 + |bn |2 ).
2
n=
n=1
2

55

8.1 Interprtation gomtrique des sries de Fourier

56

Sries de Fourier

Chapitre 9
INTEGRALES DEPENDANT DUN
PARAMETRE
Une intgrale dpendant dun paramtre est une fonction de la forme
Z
(x) = f (x, t)dt.
J

Nous intgrons donc en fonction de t sur un intervalle J R, mais cette fonction dpend dun
paramtre x. En intgrant, nous obtenons donc une nouvelle fonction qui dpendra de x, note
ici . En gnral on ne sait pas calculer explicitement lintgrale, et donc la seule expression
que nous puissions avoir de sera sa forme intgrale et non pas explicite. Nous essayons quand
mme davoir des informations sur concernant sa continuit, drivabilit et mme son intgration
quand cest possible. Cest le but de ce chapitre. Il existe une thorie dveloppe sur des espaces
vectoriels, mais nous ne nous contenterons dans cette partie que de fonctions de la forme
: I R
Z
x 7
f (x, t)dt,
J

o I et J sont des intervalles de R borns ou non, avec x I et t J. Nous nous limiterons ici
dans le cadre des intgrales de Riemann, pour un cadre plus gnral il faudra se rfrer au cours
dintgration de troisime anne de licence.

Remarque Nous verrons que lorsque J nest pas born, par exemple J = [a, +[ la limite
lim (x), o x I nest pas comme notre intuition pourrait le laisser penser.
xx0
Z +
En effet, nous serions videmment tents dcrire que cette limite est la mme que
lim f (x, t)dt =
xx0
a
Z +
f (x0 , t)dt mais cest faux en gnral.
a

Nous pouvons le montrer avec lexemple suivant.


57

9.1 Intervalle dintgration J compact

INTEGRALES DEPENDANT DUN PARAMETRE

Exemple
Z
Soit (x) =

xetx dt dfinie pour x 0. On pose f (t, x) = xetx .

On a donc (0) = 0, et un simple calcul nous montre que pour tout x > 0, (x) = 1. Par
consquent, lim+ (x) = 1
x0
Z +
tx
lim f (x, t)dt = 0.
Dautre part, lim xe
= 0 et donc
x0
x0+
0
Z +
lim f (x, t)dt.
Ainsi, lim+ (x) 6=
x0+
x0
0
Z +
d(x)
f
On montrerait galement que
6=
(x, t)dt.
dx
x
0

Intervalle dintgration J compact

9.1
9.1.1

Bornes dintgration constantes

Dans cette section, nous supposerons que t J = [a, b], avec a et b des rels tels que a < b (ce
nest pas ncessaire mais cela simplifiera les notations). Nous allons donc considrer de la forme
: I R
Z b
x 7
f (x, t)dt,
a

Thorme 1 (CONTINUITE)
On suppose f continue sur I [a, b], alors la fonction
: I R
Z b
x 7
f (x, t)dt,
a

est dfinie et continue sur lintervalle I.

Preuve Dmontr en cours.


58

INTEGRALES DEPENDANT DUN PARAMETRE

9.1 Intervalle dintgration J compact

Thorme 2 (DERIVEE)
On suppose que
i. f est continue sur I [a, b],

f sur I [a, b] et lapplication (x, t) 7


ii. f admet une drive partielle
x

f (x, t) est continue pour tout (x, t) I [a, b]


x
alors la fonction
: I R
Z b
f (x, t)dt,
x 7
a

est dfinie et de classe C sur lintervalle I. On a de plus pour tout x I,


Z b

0
(x) =
f (x, t)dt.
a x
1

Preuve Dmontr en cours.


Thorme 3 (DERIVEE DORDRE SUPERIEUR)
On suppose que
i. lapplication f continue sur I [a, b],

m
f jusqu lordre n (respectivexm
ment tout ordre) sur I [a, b] et pour tout m n (respectivement pour tout m)
m
les applications (x, t) 7
f (x, t) sont continues pour tout (x, t) I [a, b]
xm
alors la fonction
: I R
Z b
x 7
f (x, t)dt,
ii. Lapplication f admet des drives partielles

est dfinie et de classe C (respectivement de classe C ) sur lintervalle I. On a de plus


pour tout m n (respectivement pour tout m N), pour tout x I,
Z b m

(m)
(x) =
f (x, t)dt.
m
a x
m

Preuve Dmontr en cours.


59

9.1 Intervalle dintgration J compact

INTEGRALES DEPENDANT DUN PARAMETRE

Thorme 4 (INTEGRATION : FUBINI)


On suppose que f : [, ] [a, b] R est continue (o [, ] et [a, b] sont des segments
ferms borns de R), alors les fonctions
et : [a, b] R
Z
f (x, t)dx,
t
7

: [, ] R
Z b
f (x, t)dt,
x
7

sont continues, et lon a


Z b Z

Z

f (x, t)dx dt =
a

9.1.2


f (x, t)dt dx.

Bornes dintgration variables

Thorme 5 (CONTINUITE)
On suppose les applications f : I R [a, b] R, u : I [a, b] et v : I [a, b]
continues, alors la fonction
: I R
Z v(x)
x 7
f (x, t)dt,
u(x)

est continue.

60

INTEGRALES DEPENDANT DUN PARAMETRE

9.2 Intervalle dintgration J non born

Thorme 6 (DERIVABILITE)
On suppose que :
1. f : I R [a, b] R est continue,
f
2. f admet une drive partielle
continue sur I,
x
3. les applications u : I [a, b] et v : I [a, b] sont drivables,
alors la fonction

: I R
Z v(x)
f (x, t)dt,
x 7
u(x)

est drivable, de drive


Z v(x)
f (x, t)
0
(x) =
dt + v 0 (x)f (x, v(x)) u0 (x)f (x, u(x)).
x
u(x)

9.2

Intervalle dintgration J non born

Dans cette section, on ne suppose plus un intervalle dintgration [a, b] mais un intervalle du type
[a, +[, le cas ] , a] se fait de faon analogue. Nous allons considrer ici une application
f : I [a, +[ R
(x, t)
7 f (x, t),
o a R.
Comme nous lavons dans lintroduction de ce chapitre, la continuit seule de f ne sera pas suffisante pour obtenir des rsultats similaires la section prcdente. Nous devrons avoir des hypothses supplmentaires quil ne faudra pas oublier de montrer, sinon nous ne pourrons pas conclure.

9.2.1

Rappel
Z

Avant toute chose, il faut tout dabord sassurer que pour tout x I lintgrale
converge.
On rappelle la dfinition du chapitre 3. adapt notre fonction f .
61

f (x, t)dt
a

9.2 Intervalle dintgration J non born

INTEGRALES DEPENDANT DUN PARAMETRE

Dfinition 1 (INTEGRALE IMPROPRE)


Soient a R et f : I [a, +[ R intgrable sur tout intervalle born I [a, b] inclus
Z k
dans I [a, +[. Si lim
f (x, t)dt existe et est finie, on dit que lintgrale impropre
k+ a
Z +
Z +
Z k
f (x, t)dt converge, et on note
f (x, t)dt = lim
f (x, t)dt. Sinon, on dit
a

9.2.2

k+

que lintgrale impropre diverge.

Convergence

Dfinition 2 (CONVERGENCE UNIFORME)


Soient a R et f : I [a, +[ R continue sur tout intervalle I [a, +[. On dit
que pour tout x I lintgrale gnralise
Z +
f (x, t)dt
a

converge uniformment sur I si on a :


pour tout > 0, il existe A R, A a, tel que pour tout T > A, et pour tout x I, on
a
Z +
|
f (x, t)dt| < .
T

On en dduit la proprit suivante.

Proprit 1 (CRITERE DE CAUCHY UNIFORME)


Sous les notations et hypothses de la dfinition prcdente, on dit que lintgrale gnralise converge uniformment sur lintervalle I si et seulement si
pour tout > 0, il existe A et T 0 > A R, A a, tels que pour tout T tel que
T > T 0 > A, et pour tout x I, on a
Z T
|
f (x, t)dt| < .
T0

62

INTEGRALES DEPENDANT DUN PARAMETRE

9.2 Intervalle dintgration J non born

Dfinition 3 (CONVERGENCE NORMALE OU DOMINEE)


Soient a R et f : I [a, +[ R continue sur tout intervalle I [a, +[. On dit
que pour tout x I lintgrale gnralise
Z +
f (x, t)dt
a

converge normalement sur une partie V de I sil existe une fonction positive continue
g : [a, +[ R+ telle que
i. pour tout x V et pour tout t [a, +[,
|f (x, t)| g(t),
ii. lintgrale
+

g(t)dt
a

est convergente.

Proprit 2 (CONVERGENCE NORMALE ET UNIFORME)


Si une intgrale gnralise converge normalement, elle converge uniformment.

Proprit 3 (CONVERGENCE UNIFORME ET CONTINUITE)


Soient a R et f : I [a, +[ R continue sur tout intervalle I [a, +[. Si
lintgrale gnralise
Z
+

f (x, t)dt
a

converge uniformment sur tout intervalle ferm borne contenu dans lintervalle I, alors
la fonction dfinie par
Z
+

(x) =

f (x, t)dt
a

est continue sur I.

En rgle gnrale il suffit de montrer le rsultat suivant pour avoir la continuit de .


63

9.2 Intervalle dintgration J non born

INTEGRALES DEPENDANT DUN PARAMETRE

Proprit 4 (CONTINUITE SOUS LE SIGNE INTEGRAL)


Soient a R et f : I [a, +[ R continue sur tout intervalle I [a, +[ tels que :
i. pour tout x I la fonction x f (x, t) est continue sur I,
ii. pour tout t [a, +[, la fonction t f (x, t) est continue et intgrable sur
[a, +[,
iii. il existe une fonction g : [a, +[ R continue, positive et intgrable sur [a, +[
telle que pour tout (x, t) I [a, +[,
|f (x, t)| g(t).
Alors la fonction dfinie pour tout x I par
Z +
(x) =
f (x, t)dt
a

est continue sur I.

Proprit 5 (CONVERGENCE UNIFORME ET DERIVEE)


Soient a R et f : I [a, +[ R continue sur tout intervalle I [a, +[. On suppose
que les conditions suivantes sont vrifies :
i. il existe x0 dans I tel que lintgrale suivante
Z +
f (x0 , t)dt
a

converge.
ii. La fonction f admet une drive partielle par rapport la premire variable continue sur I [a, +[,
iii. Lintgrale gnralise
Z +

f (x, t)dt
(9.1)
x
a
converge uniformment sur tout intervalle ferm born de I,
alors la fonction dfinie par
Z +
(x) =
f (x, t)dt
a

est drivable sur I et


0

(x) =
a

64

f (x, t)dt.
x

Chapitre 10
Fonctions Eulriennes
Parmi les applications des fonctions dpendant dun paramtre, nous pouvons trouver les fonctions eulriennes.

65

Fonctions Eulriennes

66

Chapitre 11
Transformes de Laplace
11.1

Rappel

En premire anne, on a vu que la diffrentiation et lintgration sont des transformes, autrement


dit, ces oprations transforment une fonction en une autre.
De plu, ces deux transformes sont linaires. Dans ce chapitre, nous allons tudier une transforme
particulire : la transforme de Laplace.
Auparavant dfinissons la notion de transforme intgrale.
Dfinition 1 (TRANSFORMEE INTEGRALE)
Si, pour tout (x, y) R2 , (x, y) 7 f (x, y) est une fonction de deux variables valeurs
dans R alors une intgrale dfinie par rapport lune des deux variables conduit une
fonction de lautre variable. Autrement dit,
R R
F :{

7 F (y) =

f (x, y)dx.

K(s, t)f (t)dt transforme une fonction f de va-

De faon analogue, une intgrale dfinie par


a

riable t en une fonction F de variable s.


Nous nous intressons tout particulirement ici une transforme intgrale o lintervalle dintgration est lintervalle non borne [0, +[.
On rappelle, daprs les chapitres prcdents, que si pour tout t R+, t 7 f (t) est dfinie, alors
on dfinit
Z
Z
K(s, t)f (t)dt = lim
K(s, t)f (t)dt,
0

b+

comme tant une intgrale impropre. Si la limite existe on dit que lintgrale est convergente, sinon
elle diverge.
Dans ce qui suit, nous allons prendre K(x, t) = est : cest comme cela que nous allons dfinir la
transforme de Laplace.
67

11.2 Dfinition

11.2

Transformes de Laplace

Dfinition

Dfinition 2 (TRANSFORMEE DE LAPLACE)


Soit f une fonction dfinie pour t 0. Alors lintgrale
Z +
L {f (t)} =
est f (t)dt

(11.1)

est appele transforme de Laplace de f sous la condition quelle converge. Si elle


converge le rsultat est une fonction de s que nous supposerons rels ici (il est not
que la plupart du temps on considre s complexe, mais pour la clart de ce chapitre nous
resterons sur les rels).

Notation : Nous aurons pour habitude dans ce chapitre de noter les transformes de Laplace en
majuscule correspondant la fonction transforme. Par exemple,
F (s) = L {f (t)}, G(s) = L {g(t)}, Y (s) = L {y(t)}, ...

Proprit 1 (LINEARITE)
Lorsquelle existe, la transforme de Laplace L est une transforme linaire, autrement
dit pour tous f, g tels que L {f } et L {g} existent et pour tous rels et , nous avons :
Z +
Z +
Z +
st
st
e [f (t) + g(t)]dt =
e f (t)dt +
est g(t)dt
0

= L {f (t)} + L {g(t)}
= F (s) + G(s)

11.3

Quelques fonctions lmentaires

Prsentons dans cette section les transformes de Laplace des fonctions lmentaires les plus
usuelles avec les conditions sur s pour avoir leur existence.
68

11.4 Existence de L

Transformes de Laplace

Fonction

11.4

a.

L {1}

Transforme
1
=
s

b.

L {tn }

c.

L {eat }

d.

L {sin(kt)}

e.

L {cos(kt)}

f.

L {sinh(kt)}

g.

L {cosh(kt)} =

n!
sn+1

, n N

1
sa

Condition
s>0
s>0
s>a

s2

k
+ k2

s>0

s2

s
+ k2

s>0

s2

k
k2

s > |a|

s
s2 k 2

s > |a|

Existence de L

Rappelons ce quest une fonction continue par morceaux.


Dfinition 3 (CONTINUITE PAR MORCEAUX)
Une fonction est continue par morceaux sur [0, +[ si pour chaque intervalle 0 a
t b, il existe un nombre fini de points tk , k = 1, 2, ..., n (tk1 tk ) sur lesquels f
possde des discontinuits et qui est continue sur chaque intervalle ouvert tk1 < t < tk .

Nous introduisons alors une nouvelle notion appele ordre exponentiel, qui permet de matriser les
variations de la fonction f en fonction de certaines exponentielles.

Dfinition 4 (ORDRE EXPONENTIEL)


Une fonction est dordre exponentiel c sil existe des constantes relles c, M > 0 et
T > 0 telles que |f (t)| M ect , pour tout t > T .

Nous pouvons alors noncer une condition suffisante dexistence de transforme de Laplace.
69

11.5 Transforme inverse et transforme de drives

Transformes de Laplace

Thorme 1 (CONDITION SUFFISANTE)


Si f , continue par morceaux sur [0, +) est dordre exponentiel c pour t > T alors
L f (t) existe pour s > c.
Attention, ces conditions ne sont pas ncessaires !

11.5

Transforme inverse et transforme de drives

11.5.1

Transforme inverse

Dfinition 5 (TRANSFORMEE INVERSE)


Si F (s) reprsente la transforme de Laplace dune fonction f , i.e. L {f (t)} = F (s),
alors f (t) est la transforme de Laplace inverse de F (s) et nous notons
f (t) = L 1 {F (s)}.

Quelques transformes inverses


Transforme

Transforme inverse
1
= L 1 { }
s

a.

b.

tn

= L 1 {

c.

eat

= L 1 {

1
}
sa

d.

sin(kt)

= L 1 {

k
}
s2 + k 2

e.

cos(kt)

= L 1 {

f.

sinh(kt)

= L 1 {

n!
sn+1

}, n N

s2

s
}
+ k2

s2

k
}
k2

s
}
k2
Etat que la transforme de Laplace dune application nulle t 7 N (t), est nulle, il rsulte de cela
que deux fonctions diffrentes peuvent avoir la mme transforme de Laplace :
L (f (t) + N (t)) = L (f (t)) = F (t)
g.

cosh(kt)

= L 1 {

70

s2

Transformes de Laplace

11.5 Transforme inverse et transforme de drives

Exemple Voir exemple en cours ou TD.


Par consquent, si nous acceptons la fonction nulle, nous voyons que la transforme inverse de
Laplace nest pas unique.
Dun autre ct, elle sera unique si nous nacceptons pas les fonctions nulles. Ce rsultat snonce
dans le thorme suivant.
Thorme 2 (LERCH)
Si nous nous restreignons aux fonction f qui sont continues par morceaux sur tout intervalle fini [0, N ], N R+ et dordre exponentiel pour t > N , alors la transforme inverse
de Laplace F (s) est unique.

Remarque
-L 1 est un oprateur linaire, autrement dit, pour tous , constantes, et s tels que F (s) et G(s)
existent,
L 1 {F (s) + G(s)} = L 1 {F (s)} + L 1 {G(s)},
o F et G sont des transformes des fonctions f et g.

11.5.2

Transformer une drive

Le but de ce chapitre sur les transformes de Laplace est de les utiliser pour la rsolution
dquations diffrentielles.
Supposons que f soit continue et dordre exponentiel pour tout t 0 et que f 0 soit continue par
morceaux pour tout t 0, alors
Z +
0
L {f (t)} =
est f 0 (t)dt
0

st

= [e

f (t)]+
0

+s

est f (t)dt

= f (0) + sL {f (t)}.
donc L {f 0 (t)} = sF (s) f (0). De mme, L {f 00 (t)} = s2 F (s) sf (0) f 0 (0), et L {f 000 (t)} =
s3 F (s) s2 f (0) sf 0 (0) f 00 (0),
Thorme 3 (DERIVEE)
Si f , f 0 , ..., f n1 sont continues sur [0, +) et sont dordre exponentiel et si f (n) est
continue par morceaux sur [0, +) alors
L {f (n) (t)} = sn F (s) sn1 f (0) sn2 f 0 (0) ... f (n1) (0)
o F (s) = L f (t).

71

11.6 Rsolution dquations diffrentielles

11.6

Transformes de Laplace

Rsolution dquations diffrentielles

Dans cette section, nous allons nous intresser une mthode de rsolution des quations diffrentielle linaires dordre n coefficients constants grce aux transformes de Laplace.
Considrons lquation diffrentielle

an x(n) (t) + an1 x(n1) (t) + ... + a0 x(t) = g(t),


(11.2)

0
(n1)
x(0) = x0 , x (0) = x1 , ... x
= xn1 ,
o les ai et les yi , i = 0, ..., n sont constantes. Par la proprit de linarit, la transforme de
Laplace de cette combinaison linaire est une combinaison linaire de transformes de Laplace :
an L {x(n) (t)} + an1 L {x(n1) (t)} + ... + a0 L {x(t)} = L {g(t)}.

(11.3)

Le systme (11.2) devient alors


an [sn X(s) sn1 x(0) ... x(n1) (0)]
+
an1 [sn1 X(s) sn2 x(0) ... x(n2) (0)] + a0 X(s) = G(s),

(11.4)

o L {x(t)} = X(s) et L {g(t)} = G(s). lquation linaire devient alors une quation algbrique
en X(s). On rsout alors lquation transforme (11.4) pour X(s),
P (s)X(s) = Q(s) + G(s).

(11.5)

Q(s) G(s)
+
o P (s) = an sn + an1 sn1 + ... + a0 , Q(s) est un polynme de
P (s) P (s)
degr n 1 et G(s) = L {g(t)}.
Il est not que pour cette tape il sera demand de bien se souvenir de la dcomposition en
lments simples des fractions rationelles du cours dalgbre II.
Enfin on rsout x(t) = L 1 {X(s)}.

On crit X(s) =

Thorme 4 (LIMITE)
Si f est continue par morceaux sur [0, +) et dordre exponentiel pour t > T alors
lims+ L {f (t)} = 0.

Remarque Ce thorme perrmet de dire si .


Remarque La transforme de Laplace inverse peut ne pas tre unique, i.e. L {f1 (t)} = L {f2 (t)}
avec f1 6= f2 . Mais si f1 6= f2 sont continues par morceaux sur [0, +) et dordre exponentiel
alors f1 et f2 sont dites essentiellement les mmes, et si elles sont continues, on dit que ce sont
les mmes.
72

Transformes de Laplace

11.7

11.7 Thorme de translation

Thorme de translation

Il nest pas pratique dutiliser la transforme de Laplace (sa dfinition) chaque fois que nous
souhaitons trouver la transforme de Laplace dune fonction f . Dans ce paragraphe, nous prsentons
des thormes qui nous viterons un travail fastidieux et qui nous permettront de construire une liste
plus longue de transformes de Laplace.

11.7.1

Translation sur laxe des s

11.7.2

Translation sur laxe des t

Dfinition 11.1 Fonction de Heaviside La fonction de Heaviside U (t a) (U pour Unit Step


Function) est dfinie par

0 si 0 t < a,
U (t a) =
1 si t a.

11.8

Proprits additionnelles

11.8.1

Multiplier une fonction par tn

11.8.2

Convolution

Si les fonction f et g sont continues par morceaux sur [0, +), alors un produit spcial not
f g est dfini par lintgrale
Z
t

f ( )g(t )d.

f g =
0

Cest la convolution
de f et g. Cest
Z
Z une fonction de t.
t

f (t )g( )d , autrement dit f g = gf . Mais ATTENTION,

f ( )g(t )d =

N.B. :
0

lintgrale dun produit nest pas gal au produit des intgrales ! ! ! Par contre, la transforme de Laplace
dun produit spcial est le produit des transformes de Laplace. Ce qui est intressant ici est donc de
trouver la transforme de Laplace dun produit de convolution sans calculer lintgrale de Laplace.

11.8.3

Transforme dune intgrale

Z t
Z t
1
F (s)
Quand g(t) = 1 et L {g(t)} = G(s) = , alors L { f ( )d } =
et donc
f ( )d =
s
s
0
0
F (s)
L 1 {
}
s

11.8.4

Equation intgrale de Volterra

Le thorme de convolution et le rsultat de lintgrale dune transforme


Z sont utiles pour rsoudre
des quations dans lesquelles la fonction inconnue apparat sous le signe .
73

11.8 Proprits additionnelles

Transformes de Laplace

Equation intgrale de Volterra


t

f ( )h(t )d,

f (t) = g(t) +
0

o g et h sont connues.
Voir TD pour un exemple de rsolution dune telle quation.

11.8.5

Transforme de fonction priodique

Si f est priodique de priode T , T > 0, f (t + T ) = f (t).

11.8.6

Fonction -Dirac

Les systmes mcaniques sont souvent soumis des forces externes de large magnitude sur une
priode trs brve (une aile davion qui vibre frappe par un clair, une masse sur un ressort (flipper),
une balle (golf, tennis, base-ball etc...).
Impulsion :

0 t < t0 a,

0
1
a (t t0 ) =
t0 a t t0 + a,

2a
0
t t0 + a,
o a > 0 et t0 > 0. Quand a 0, a (t t0 ) tend vers la fonction -Dirac.
Fonction -Dirac : quelques proprits :
i. (t t0 ) = lim
 a0 a (t t0 )
sit = t0
ii. (t t0 ) =
0 sit 6= t0
Z

(t t0 )dt = 1

iii.
0

74