Académique Documents
Professionnel Documents
Culture Documents
Cours dAnalyse IV
Suites et Sries de fonctions
1
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 rappelle-
rons 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.
2
Table des matires
3 Sries dans R ou C : 17
3.1 Premiers critres de convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.2 Sries relles termes positifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.3 Comparaison dune srie et dune intgrale impropre . . . . . . . . . . . . . . . . 22
3.4 Sries termes quelconques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.5 Sommation par paquets, produit . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
4 Suites de fonctions 27
4.1 Proprits des limites uniformes . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
5 Srie de fonctions 33
5.1 DEFINITION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
6 Sries entires 37
6.1 Oprations sur les sries entires . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
6.2 Proprits fonctionnelles dune srie entire . . . . . . . . . . . . . . . . . . . . . 40
8 Sries de Fourier 49
8.1 Interprtation gomtrique des sries de Fourier . . . . . . . . . . . . . . . . . . . 54
3
TABLE DES MATIRES TABLE DES MATIRES
10 Fonctions Eulriennes 65
11 Transformes de Laplace 67
11.1 Rappel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
11.2 Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
11.3 Quelques fonctions lmentaires . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
11.4 Existence de L . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
11.5 Transforme inverse et transforme de drives . . . . . . . . . . . . . . . . . . . 70
11.5.1 Transforme inverse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
11.5.2 Transformer une drive . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
11.6 Rsolution dquations diffrentielles . . . . . . . . . . . . . . . . . . . . . . . . 72
11.7 Thorme de translation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
11.7.1 Translation sur laxe des s . . . . . . . . . . . . . . . . . . . . . . . . . . 73
11.7.2 Translation sur laxe des t . . . . . . . . . . . . . . . . . . . . . . . . . . 73
11.8 Proprits additionnelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
11.8.1 Multiplier une fonction par tn . . . . . . . . . . . . . . . . . . . . . . . . 73
11.8.2 Convolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
11.8.3 Transforme dune intgrale . . . . . . . . . . . . . . . . . . . . . . . . . . 73
11.8.4 Equation intgrale de Volterra . . . . . . . . . . . . . . . . . . . . . . . . . 73
11.8.5 Transforme de fonction priodique . . . . . . . . . . . . . . . . . . . . . . 74
11.8.6 Fonction -Dirac . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
4
Chapitre 1
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 natu-
rels) 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.
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 :
Dfinition 1 (SUITES)
N R
On appelle suite relle toute application . 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 conver-
gence, 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 .
6
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.
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+
Si l R, l = lim xn signifie :
n+
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.
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+
7
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.
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
Remarque ATTENTION : la rciproque nest pas vraie en gnral. Par contre, le fait de tra-
vailler sur un espace o la rciproque est vraie serait bien pratique. En effet nous pourrions mon-
trer la convergence dune suite sans avoir calculer la limite de cette suite. Les espaces dont la
rciproque de la proprit ci-dessus.
Si dans un ensemble toute suite de Cauchy est convergente, on dit que cet ensemble est
complet
8
Structure de R, suites dans R ou C : 1.4 Borne sup ou inf, max ou min
M = sup(E)
M est un majorant de E,
si et seulement si il existe (xn )nN suite dlments de E telle que
lim xn = M.
n+
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.
9
1.5 Suites adjacentes Structure de R, suites dans R ou C :
Remarque Q na pas la proprit de la borne sup : {x Q tel que x2 < 2} admet 2 comme
borne sup dans R et nadmet pas de borne sup dans Q.
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 :
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
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+
Si (xn )nN et (yn )nN sont deux suites relles adjacentes telles que (xn )nN soit crois-
sante 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+
10
Chapitre 2
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 :
0 0
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
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 .
o
Remarque On peut aussi prendre D(z, ) = {z 0 C tq |z z 0 | < }.
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+
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 | .
Dans C, toute suite de Cauchy est convergente. Autrement dit C est complet.
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).
13
2.2 Limite sup et inf Rappels suites complexes, limsup de suites relles
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
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.
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
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 d-
finition 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)
n
X
pour tout n N, Sn = xk .
k=0
P
On dit que la srie 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
n+
n=0
srie.
P P P
Remarque Si xn et yn divergent, on peut avoir quand mme (xn + yn ) qui converge.
Exemple : si xn = yn .
Preuve n
X
La suite (Sn )nN o Sn = 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+
18
Sries dans R ou C : 3.2 Sries relles termes positifs
Preuve
P P
Si xn est absolument convergente alors |xn | est convergente et vrifie donc le critre de
Cauchy :
X m Xm
pour tout > 0, il existe N N tel que m > n N |xk | = |xk | < . Or
k=n+1 k=n+1
Xm Xm
|xk |. Donc xn vrifie le critre de Cauchy. Elle est donc convergente. 2
P
xk
k=n+1 k=n+1
Preuve
n
X n
X
i) Notons Sn = xk et Tn = yk . On a pour tout n N, Sn Tn .
P k=0 k=0 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 qui-
valentes 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 :
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
P pour n assez grand yn /2 xn , si xn converge alors yn converge et si yn diverge
Puisque
alors xn diverge. P P P
Puisque
P pour n assez grand x n 3yn /2, si y n converge alors x n converge et si xn diverge
alors yn diverge.
Ces comparaisons ne sont valables que parce que xn et yn sont termes positifs. 2
P P
Dfinition 4 (NEGLIGEABILITE)
Soient (xn )nN et (yn )nN deux suites relles ou complexes. On dit que (xn )nN est n-
gligeable 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+
Preuve
Cette proprit sera dmontre par comparaison dune srie et dune intgrale en dessous.
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 :
xn+1
Remarque Lorsque lim existe, on a L = l et la rgle de DAlembert est alors trs simi-
n+ 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.
Soient a R et f : [a, +[ R intgrable sur tout intervalle born inclus dans [a, +[.
Z X Z +
Si lim f (x)dx existe et est finie, on dit que lintgrale impropre f (x)dx
X+ a a
Z + Z X
converge, et on note f (x)dx = lim f (x)dx. Sinon, on dit que lintgrale
a X+ a
impropre diverge.
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
n+1 n+1 Z n+1
donc f (n + 1)dx f (x)dx f (n)dx.
n n
Z n+1 n
1/n , > 0 :
P
Exemple
22
Sries dans R ou C : 3.4 Sries termes quelconques
Z + Z X 1 X
1 1 x
Si 6= 1, dx = lim dx = lim =
1 x X+ 1 x X+ 1
1
( 1
, si > 1,
1
+, si < 1.
Z +
1
Si = 1, dx = lim [ln(x)]X1 = +.
1 x X+
X 1
Donc converge si et seulement si > 1.
n
Z + pour tout n a, Z
Alors,
+
f (x)dx Rn f (x)dx.
n+1 n
+
X
P
Remarque Pour toute srie relle ou complexe xn convergente, la quantit Rn = xk
k=n+1
P
est appele reste dordre n de xn , et on a lim Rn =0.
n+
Lorsquune srie est convergente mais pas absolument convergente, on dit quelle est
semi-convergente.
23
3.5 Sommation par paquets, produit Sries dans R ou C :
Exemple
(1)n /n est convergente mais pas absolument convergente (donc elle est semi-convergente).
P
Cette srie est appele srie harmonique alterne. On peut montrer en appliquant Taylor-Lagrange
ln(1 + x) sur [0, 1] que
+
X (1)n
= ln(2)
n=1
n
Exemple
Pour > 0 et 6= 0 [2], la srie exp(in)/n converge.
P
En effet : 1/n joue le rle de n , (1/n )nN est une suite relle, dcroissante et qui tend vers 0.
exp(in)
jouele rle de un ,
n 1 exp(i(n + 1))
X
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)|
Dfinition 8 (PERMUTATION)
Une srie complexe est commutativement convergente si et seulement si elle est absolu-
ment 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.
X 1 1 1 1 1 1 1 1
zn = 1 + + + + =
n1
2 4 3 6 8 2n + 1 2(2n + 1) 2(2n + 2)
X 1 (1)n+1 1
= ln(2).
n1
2 n 2
X X 1 X X
xn . 2
P
Or si yn converge alors yn = zn = ln(2). Donc yn 6=
n1 n1
2 n1 n1
Exemple
(1)n
On pose pour tout n N, xn = yn = .
P P (n + 1)1/4
Les sries xn et yn sont alternes et convergentes.
1 P
Elles ne sont pas absolument convergentes car |xn | = 1/4
donc |xn | est de mme nature
(n + 1)
que 1/n1/4 ,
P
(car (n + 1)1/4 + n1/4 ) qui est une srie de Riemann divergente.
X 1 1
La srie produit est zn avec zn = (1)n
P
.
p+q=n
(p + 1)1/4 (q + 1)1/4
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 1 (n + 1) 1/2
P
Donc |zn | = = (n+1) . Donc zn est grossirement divergente.
p+q=n
(n + 1)1/2 (n + 1)1/2
2
26
Chapitre 4
Suites de fonctions
Remarque
f (x) f (x0 )
Dans R, la dfinition de la drive fait intervenir le rapport . 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.
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 :
27
Suites de fonctions
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+
Exemple
[0, 1] R,
On considre fn :
x 7 xn .
R
[0, 1]
(fn )nN converge simplement sur [0, 1] vers f o f : 0 si x [0, 1[,
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.
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
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
zD n+ zD
le thorme des gendarmes, lim |fn (z0 ) f (z0 )| = 0 donc lim fn (z0 ) = f (z0 ). 2
n+ n+
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
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.
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 Suites de fonctions
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
On voit que la suite de fonctions fn : ne converge uniformment sur [0, 1] vers au-
x 7 xn
cune fonction. En effet elle converge simplement sur [0, 1] vers une fonction qui nest pas continue.
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+ a a
Preuve
Soit > 0 fix.
Il existe N N tel que n N pour tout x [a, b],
|fn (x) f (x)| /(b a).
Z b si n N ,Z b
Donc, Z b Z b
f n (x)dx f (x)dx = (fn (x) f (x))dx
|fn (x) f (x)| dx .
a Z b a Z b a a
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
Remarque Cette proposition est encore vraie pour les fonctions D R R (remplacer holo-
morphe 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 fonc-
tions.
On en dduit que
33
5.1 DEFINITION Srie de fonctions
Les proprits sur la continuit, la drivation et lintgration viennent des proprits des suites de
fonctions :
On tudie maintenant une autre notion de convergence plus forte que la convergence uniforme :
34
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
P zD
que n soit convergente, et
- pour montrer quil ny a pas convergence normale, on cherche minorer sup |fn (z)| par un rel
P zD
n tel que n soit divergente.
Preuve !
n
X
P
Si fn est normalement convergente, la suite sup |fk (z)| est convergente donc de
zD
k=0 nN
Cauchy.
Cest dire que pour tout > 0, il existeN N tel que (m > n N )
35
5.1 DEFINITION Srie de fonctions
X m X n X m
sup |fk (z)| sup |fk (z)| , ou encore sup |fk (z)| .
zD zD zD
k=0 k=0 m k=n+1
X Xm Xm
Or pour tout z D, fk (z) |fk (z)| sup |fk (z)|.
zD
k=n+1
k=n+1 k=n+1
X m 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
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.
an z n (fonctions C C,
P
Une srie entire est une srie de fonctions de la forme
z 7 an z n ) o pour tout n N, an C.
Soit an z n une srie entire. Soit z0 C tel que la suite (an z0n )P
P
nN soit borne. Alors
i) pour tout z1 C tel que |z1 | < |z0 |, la srie (complexe) an z1n est absolument
convergente.
ii) r tel que 0 r < |z0 |, la srie de fonctions an z n est normalement conver-
P
gente 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
n z0 z0
z1 |z1 | P z1
< 1, M converge donc |an z1n | converge.
P
Comme =
z0 |z0 | z0 n n n
n
z1 r P r
ii) Si 0 r < |z0 |, sup |an z | sup M = M et M
zD(0,r) zD(0,r) z0 |z0 | |z0 |
converge. 2
37
Sries entires
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 = +.
an z n .
P
Soit R le rayon de convergence dune srie entire
i) Si R = 0, an z1n ne converge que P
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).
an z1n
P
iii) Si R est un nombre fini non nul, pour tout z1 C tel que
P |z1 |n < R,
converge absolument, pourPtout z1 C tel que |z1 | > R, an z1 diverge, pour
tout r tel que 0 r < R, an z1n converge normalement sur D(0, r).
38
Sries entires 6.1 Oprations sur les sries entires
Exemple
P zn |n!| 1
1. Pour , R est +, ( lim = lim = 0).
n! n+ |(n + 1)!| n+ n+1
|(n + 1)!|
Pour n!z n , R = 0, ( lim
P
2. = lim (n + 1) = +).
n+ |n!| n+
n
Pz |n + 1|
3. 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 |(n + 1)2 | P z n
P 1
4. Pour , R = 1, ( lim = 1). Pour |z| = 1, = converge.
n2 n+ |n2 | n2 n2
P zn
Donc z C tel que |z| = 1, est absolument convergente.
n2
39
6.2 Proprits fonctionnelles dune srie entire Sries entires
Preuve o
Soit z0 D(0, R). Alors |z0 | < R. Soit r tel que |z0 | < r < R. an z n converge normalement sur
P
+
X
D(0, r) et pour tout n N, z 7 an z n est continue sur D(0, r) donc en z0 . 2
n=0
Pour ltude de lintgration des sries entires, on se restreint dans ce cours au cas des sries
an xn o pour tout n N, an R et x R. Toutes les proprits des sries
P
entires relles :
entires complexes sont vraies pour les sries entires relles. Si R est la rayon de convergence
dune srie entire relle an z n , son disque de convergence est lintervalle ] R, R[.
P
Proprit 7 (INTEGRATION)
n
nan z n1 ont le mme rayon de convergence.
P P
i) Les sries entires a n z et
an z n une srie entire de rayon de convergence R 6= 0. Alors
P
ii) Soit
+
o X
sur D(0, R), z 7 an z n est indfiniment drivable et pour tout p N,
n=0
+
!(p) +
X X
an z n = n(n 1) . . . (n p + 1)an z np .
n=0 n=p
40
Sries entires 6.2 Proprits fonctionnelles dune srie entire
Preuve
i) Dmontr en cours,
n1
a le mme rayon de convergence R que an z n .
P P
ii) nan z
o
Soit z0 D(0, R) et soit r tel que |z0 | < r < R. nan z n1 et an z n convergent normalement
P P
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
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
+
X +
X
Donc f 0 (x) = nan xn1 = (n + 1)an+1 xn .
n=1 n=0
+
X +
X
n
0
Or f f = 0 donc pour tout x ] R, R[, (n + 1)an+1 x an xn = 0.
n=0 n=0
+
X
Donc (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=0
n!
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 Sries entires
0
g 0 (x) exp(x) exp(x)g(x)
g(x)
= = 0.
exp(x) exp(2x)
g(x)
Donc il existe C R tel que pour tout x I, = C. Donc g(x) = C exp(x).
exp(x)
42
Chapitre 7
Preuve ! !
+ n + n +
X z 1
X z 2
X
Pour tout z1 , z2 C, exp(z1 ) exp(z2 ) = = cn o pour tout n N, cn =
n=0
n! n=0
n! n=0
43
7.2 Dveloppement en srie entire Fonctions dveloppables en sries entires
n
X z1k z2nk P P z1n P z2n
( cn est la srie produit de et qui sont absolument convergentes).
k=0
k! (n k)! n! n!
+ n +
X 1 X n! X 1
Donc exp(z1 ) exp(z2 ) = k nk
z1 z2 = (z1 + z2 )n = exp(z1 + z2 ). 2
n=0
n! k=0 k!(n k)! n=0
n!
On va maintenant voir pourquoi les nombres complexes de module 1 sont associs des rotations :
Pour tout R,
+
X (1)n
i) cos() = 2p ,
n=0
(2n)!
+
X (1)n 2n+1
ii) sin() = ,
n=0
(2n + 1)!
iii) exp(i) = cos() + i 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
2n+1
X (2n) (2n+1)
cN compris entre 0 et tel que cos() = cos (0) + cos (0) +
n=0
(2n)! (2n + 1)!
2N +2
cos(2N +2) (cN ). Or pour tout n N,
(2N + 2)!
cos(2n) (0) n
= (1) cos(0) = (1) et cos
n (2n+1)
(0) = (1)n+1 sin(0) = 0, donc 0
N
X (1)n
||2N +2
lim cos() 2n lim = 0.
N +
n=0
(2n)! N + (2N + 2)!
La preuve du ii) est similaire.
+ n + +
X
n
X (1)p X
2p (1)p 2p+1
iii) exp(i) = i = +i (une suite complexe
n=0
n! p=0
(2p)! p=0
(2p + 1)!
converge si et seulement si sa partie relle et sa partie imaginaire convergent). 2
On en dduit immdiatement que R, | exp(i)| = 1.
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.
On va voir que si elle existe, la suite (an )nN est ncessairement unique et lie aux drives suc-
cessives de f :
Preuve
an z n qui est indfiniment drivable en 0, f lest
P
Puisque f concide au voisinage de 0 avec z 7
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
45
7.3 Dveloppement des fonctions usuelles Fonctions dveloppables en sries entires
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 dvelop-
pable en srie entire. Dans ce cours, on ne la donne que pour les fonctions relles.
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
N
X xn xN +1 (N )
f (x) = f (n) (0) + f (cN ).
n=0
n! (N + 1)!
N
X f (n) (0) n xN +1
Donc 0 lim f (x) x lim M = 0. 2
N + n!
n=0
N + (N + 1)!
Famille de lexponentielle :
+ n
X z
pour tout z C, exp(z) = .
n=0
n!
Pour tout x R,
+
exp(x) + exp(x) X x2n
ch(x) = = ,
2 n=0
(2n)!
+
exp(x) exp(x) X x2n+1
sh(x) = = ,
2 n=0
(2n + 1)!
+
X x2n
cos(x) = (1)n , et
n=0
(2n)!
+
X x2n+1
sin(x) = (1)n .
n=0
(2n + 1)!
Toutes ces sries entires ont donc un rayon de convergence infini.
Famille du binme :
pour tout z C tel que |z| < 1,
+
1 X
= z n ,et
1z n=0
+
1 X
= (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=0
n + 1
+
X x2n+1
arctan(x) = (1)n .
n=0
2n + 1
Pour tout R, pour tout x R tel que |x| < 1,
+
( 1) 2 X ( 1) . . . ( n + 1) n
(1 + x) = 1 + x + x + = x .
1! 2! n=0
n!
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
1 P n
2. Le dveloppement de 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
se restreignant x R puis en prenant la primitive du dveloppement de . De mme,
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 !
la formule du binme de Newton : (1 + x) = xn .
n=0
n!( n)!
o
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 :
Proprit 1 (CONVERGENCE)
P P
Si
P an et bn convergent absolument,
alors la srie trigonomtrique
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
sup an cos(nx) + bn sin(nx) converge. 2
P
xR
Avec des hypothses moins fortes sur (an )nN et (bn )nN , on a :
49
Sries de Fourier
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 trigonom-
trique. Mais pour a, lhabitude est dutiliser des sries pour lesquelles lindice n est dans Z et
non plus simplement dans N :
On a alors :
Lorsquune srie trigonomtrique converge uniformment sur [, ], on peut retrouver ses coef-
ficients en fonction de sa somme :
50
Sries de Fourier
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 b Z b b
Par dfinition, pour f : R C, f (x)dx = Re(f (x))dx + i Im(f (x))dx.
a a 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 :
X
Preuve Soit n0 Z fix. Puisque cn einx converge uniformment sur [, ],
nZ
Z Z +
1 in0 x 1 X
S(x)e dx = cn einx ein0 x dx
2 2 n=
+ Z
1 X
= cn einx ein0 x dx.
2 n=
51
Sries de Fourier
Or
1
Z 1 si n = n0 ,
einx ein0 x dx = 2
2 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 ?
(SERIE DE FOURIER)
Soit f une fonction
P 2-priodique. Sa srie
de Fourier est par dfinition la srie trigo-
nomtriqueZ an cos(nx) + bn sin(nx) dfinie par
1
Z
1
a0 = f (x)dx et pour tout n N , an = f (x) cos(nx)dx et
2Z
1
bn = f (x) sin(nx)dx, si ces intgrales sont dfinies.
Ou, de faon quivalente, cest la srie trigonomtrique
Z crite sous forme complexe
X
inx 1 inx
cn e o, pour tout n Z, cn = f (x)e dx. Les coefficients an et bn
nZ
2
(ou, de faon quivalente, cn ) sont appels coefficients de Fourier de f .
Proprit 6 (PARITE)
52
Sries de Fourier
De faon analogue ce qui se passe quand on dveloppe une fonction en srie entire, tant don-
ne 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 ques-
tions.
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 :
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 sca-
laire ~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 :
Pour f, g F, on appelle
Z produit scalaire de f et g, et on note (f, g) le nombre com-
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
Dfinition 5 (NORME)
2
Remarque
p La norme de R est construite de cette faon partir du produit scalaire : ||~x|| =
2 2
~x.~x = x1 + x2 .
ce qui est la dfinition dune famille orthonorme. Le fait que cette famille contienne assez dl-
ments 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.
Enfin, cette interprtation permet de relier la norme de f avec ses coefficients de Fourier :
Thorme 2 (PARSEVAL-BESSEL)
2. Egalit de Parseval :
+ +
2
X
2 1X 2
||f || = (f, f ) = |cn | = |a0 | + (|an |2 + |bn |2 ).
n=
2 n=1
55
8.1 Interprtation gomtrique des sries de Fourier Sries de Fourier
56
Chapitre 9
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 RZ
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 =
a xx0
Z +
f (x0 , t)dt mais cest faux en gnral.
a
Exemple Z +
Soit (x) = xetx dt dfinie pour x 0. On pose f (t, x) = xetx .
0
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
Dautre part, lim xe = 0 et donc lim f (x, t)dt = 0.
x0 0 x0+
Z +
Ainsi, lim+ (x) 6= lim f (x, t)dt.
x0 0 x0+
Z +
d(x) f
On montrerait galement que 6= (x, t)dt.
dx 0 x
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)
: I R
Z b
x 7 f (x, t)dt,
a
Thorme 2 (DERIVEE)
On suppose que
i. f est continue sur I [a, b],
ii. f admet une drive partielle f sur I [a, b] et lapplication (x, t) 7
x
f (x, t) est continue pour tout (x, t) I [a, b]
x
alors la fonction
: I R
Z b
x 7 f (x, t)dt,
a
Z b
0
(x) = f (x, t)dt.
a x
On suppose que
i. lapplication f continue sur I [a, b],
m
ii. Lapplication f admet des drives partielles f jusqu lordre n (respective-
xm
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,
a
est dfinie et de classe C (respectivement de classe C ) sur lintervalle I. On a de plus
m
: [, ] R et : [a, b] R
Z b Z
x 7 f (x, t)dt, t 7 f (x, t)dx,
a
Thorme 5 (CONTINUITE)
: 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 :
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 suf-
fisante pour obtenir des rsultats similaires la section prcdente. Nous devrons avoir des hypo-
thses 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 f (x, t)dt
a
converge.
On rappelle la dfinition du chapitre 3. adapt notre fonction f .
61
9.2 Intervalle dintgration J non born INTEGRALES DEPENDANT DUN PARAMETRE
9.2.2 Convergence
Sous les notations et hypothses de la dfinition prcdente, on dit que lintgrale gn-
ralise 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
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, +[,
ii. lintgrale Z +
g(t)dt
a
est convergente.
converge.
ii. La fonction f admet une drive partielle par rapport la premire variable conti-
nue sur I [a, +[,
iii. Lintgrale gnralise Z +
f (x, t)dt (9.1)
a x
converge uniformment sur tout intervalle ferm born de I,
alors la fonction dfinie par
Z +
(x) = f (x, t)dt
a
64
Chapitre 10
Fonctions Eulriennes
Parmi les applications des fonctions dpendant dun paramtre, nous pouvons trouver les fonc-
tions 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.
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 Z
F :{
y 7 F (y) = f (x, y)dx.
Z b
De faon analogue, une intgrale dfinie par K(s, t)f (t)dt transforme une fonction f de va-
a
riable t en une fonction F de variable s.
Nous nous intressons tout particulirement ici une transforme intgrale o lintervalle dint-
gration 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+ 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 Transformes de Laplace
11.2 Dfinition
Dfinition 2 (TRANSFORMEE DE LAPLACE)
Notation : Nous aurons pour habitude dans ce chapitre de noter les transformes de Laplace en
majuscule correspondant la fonction transforme. Par exemple,
Proprit 1 (LINEARITE)
= L {f (t)} + L {g(t)}
= F (s) + G(s)
68
Transformes de Laplace 11.4 Existence de L
11.4 Existence de L
Rappelons ce quest une fonction continue 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.
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
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 !
f (t) = L 1 {F (s)}.
Si nous nous restreignons aux fonction f qui sont continues par morceaux sur tout inter-
valle 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.
Z +
= [e st
f (t)]+
0 +s est f (t)dt
0
= 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 Transformes de Laplace
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),
Q(s) G(s)
On crit X(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)}.
Thorme 4 (LIMITE)
Si f est continue par morceaux sur [0, +) et dordre exponentiel pour t > T alors
lims+ L {f (t)} = 0.
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 Thorme de translation
73
11.8 Proprits additionnelles Transformes de Laplace
o g et h sont connues.
Voir TD pour un exemple de rsolution dune telle quation.
74