Poly Math Part 1 L3

UNIVERSIT PARIS XII-VAL DE MARNE
UFR Sciences et Technologie

MATHMATIQUES POUR LINGNIEUR
Partie I
Transformations linaires
Licence L3
Mention Sciences de lIngnieur
Corinne VACHIER
Dernire mise jour septembre 2007
i
Avant-propos
Ce cours sinscrit dans un cursus denseignement des sciences et techniques de lingnieur. Il vise
introduire le langage mathmatique indispensable lingnieur et transmettre ltudiant des connais-
sances susamment solides pour laider dans la comprhension et la manipulation de outils propres aux
domaines dapplication quil va cotoyer. Il ne sagit donc pas simplement dun ensemble de recettes mais
dune prsentation tentant dallier rigueur et simplication.
Pourquoi lingnieur doit-il matriser les mathmatiques ? Le travail de lingnieur se situe
la lintersection de la physique et des mathmatiques : pour inventer de nouveaux systmes parfois
fort complexes (avions, radar, capteur numrique...) une bonne connaissance des lois qui gouvernent
les systmes physiques rels lmentaires est indispensable ; lingnieur doit galement dtre cappable
dadapter ce savoir pour anticiper des comportements dans des situations indites. Il ne sagit donc plus
seulement dtudier le rel mais bien danalyser le problme dans un monde abstrait, encore inexplor, ce
qui est justement le domaine des mathmatiques.
Les mathmatiques et le monde rel Entre le monde rel de la physique et le monde abstrait des
mathmatiques, tout est aaire de modlisation. Cette tape vise aussi bien prdire les phnomnes
physiques qu interfrer sur les objets physiques.
Prenons un exemple trs simple : la rsistance lectrique. On sait, par exprience, que la dirence
de potentiel (la tension) aux bornes dune rsistance dpend de lintensit du courant qui la traverse.
Maintenant, pour pouvoir prdire la valeur de la tension lorsque la rsistance est traverse par un courant
I et ceci, quelque soit le courant I, il faut se munir dune expression explicite du systme. On cherche
un objet mathmatique reprsentant la rsistance lectrique, cest--dire associant tout courant I une
certaine tension U. Lobjet mathmatique en question est une application. Elle associe tout courant I,
une certaine tension U : I, (I) = U
Lingnieur manipule, dans leur grande majorit, des objets dynamiques, cest--dire fonction dun ou
plusieus paramtres : par exemple le temps ou lespace. Si lintensit I varie au courant du temps, alors la
tension U est elle-mme une fonction du temps. Dans le cas dune image numrique, lobjet mathmatique,
le signal, nest plus une grandeur qui dpend du temps mais de lespace. Une image numrique est une
matrice dont les valeurs dpendent de la position x et y du point dans lespace.
Les objets mathmatiques vont non seulement servir reprsenter les entits physiques de manire
abstraite mais galement les manipuler : dbruiter un signal, cest dune part modliser le bruit et
son mode de combinaison avec les donnes brutes, et dautre part construire un oprateur agissant
sur le signal f pour produire un autre signal g aux proprits dsires, cest--dire rpondant au cahier
des charges (sur notre exemple, il sagira damliorer le rapport signal sur bruit). Il est clair que selon le
contexte (lectronique numrique, traitement numrique des images), les objets mathmatiques qui seront
choisis pour modliser les entits physiques manipules et les oprateurs sur ces objets qui vont se rvler
pertinents pour lapplication vont direr. La grande diversit des problmes qui intressent lingnieur
engendre une grande diversit des domaines des mathmatiques qui lui est ncessaire de matriser : analyse
fonctionnelle, algbre matricielle, thorie des probabilits...
ii
Pour tre retenue, une stratgie (cest--dire un choix de reprsentation et danalyse mathmatique)
devra au moins prsenter deux qualits : premirement, une certaine validit (le modle mathmatique doit
reprsenter au mieux la ralit du phnomne observ et rpondre au mieux la requte de lutilisateur)
et deuximement, la simplicit : parmi lensemble des choix mathmatiques envisageables, lingnieur, qui
a non seulement la charge de concevoir les systmes mais galement celle de leur mise en oeuvre, choisira
celui sur lequel il possde la meilleure matrise ou pense pouvoir atteindre une matrise susante.
Lhypothse de linarit En mathmatique, on divise lespace des applications en direntes familles
selon leurs proprits. Deux catgories sont clairement dissocies : les applications linaires et les appli-
cations non linaires. Un systme linaire est un systme qui satisfait le principe de superposition : sa
rponse la somme pondre de deux entres est une somme pondre identiquement des sorties associes
chaque entre prise isolment. Si le courant I1 +I2 traverse une rsistance, la tension ses bornes vaut
la somme (algbrique) des tensions obtenues pour chaque intensit sparemment ; si deux charges sont
accroches un ressort, llongation totale du ressort vaut la somme des longations obtenues pour cha-
cune des charges seule ; dans un cas comme dans lautre, si lentre devient k fois plus grande, la rponse
du systme devient galement k fois plus importante... Ceci scrit :
I
1
, I
2
, (I
1
+I
2
) = (I
1
) +(I
2
)
I, k, (kI) = k(I)
La linarit est au coeur de lanalyse de nombreux systmes physiques. Il sagit l dune hypothse,
la nature se dfend gnralement de satisfaire de telles proprits. Dans certains contextes cependant,
lhypothse se rvle acceptable. Dans le cas de notre exemple, la rsistance lectrique, connaissant son
comportement pour un courant lectrique I
0
, lhypothse linaire est acceptable pour tout courant I
proche de I
0
... Mais, en dehors de cette validit assez relative, ce qui pousse le physicien faire cette
hypothse est bel et bien li des considrations dordre mathmatique : lhypothse de linarit permet
de se situer dans un monde mathmatique bien matris, lespace vectoriel, qui ore une trs large gamme
doutils au physicien et notamment les quations direntielles et les trs puissantes transformations de
Fourier et de Laplace qui y vont tre des outils prcieux pour leur rsolution et leur manipulation.
Le plan du cours. Ce cours se focalise sur ltude des oprateurs ou transformations linaires, cest--
dire des applications dnies dun espace vectoriel E vers un espace vectoriel F. Les espaces fonctionnels
(espaces vectoriels de fonctions) modliseront les espaces de signaux, supposs se combiner linairement
de la mme faon que lespace vectoriel R
2
reprsente lensemble des vecteurs du plan. Les fondements
mathmatiques de lanalyse des systmes linaires sont dans les espaces vectoriels norms complets,
appels espaces de Banach et notamment dans les espaces de Hilbert pour lesquels la norme (des signaux)
drive dun produit scalaire.
Travaillant dans les espaces vectoriels, il est lgitime de rechercher une collection de signaux de r-
frence formant une base dans ces espaces. Ainsi, tout signal inconnu pourra tre reprsent par ses
composantes dans la base de reprsentation. Un signal inconnu sera donc regard comme le rsultat de la
contribution pondre des signaux de rfrence (de la mme manire quun vecteur du plan rsulte dune
combinaison pondre des vecteurs de la base). Cette recherche conduit aux reprsentations de Fourier
et de Laplace qui constituent le coeur de ce cours.
Ce cours sarticule autour de 5 grandes parties :
Espaces fonctionnels, normes et oprateurs linaires
Transformation de Laplace
Fonctions de la variable complexe
Srie de Fourier et intgrale de Fourier
iii
Les lments prsents en annexe sont considrs comme des pr-requis pour ce cours de troisime anne
de Licence en Sciences de lIngnieur.
iv Avant-propos
v
Sommaire
Avant-propos i
Sommaire iv
1 Espaces vectoriels, Normes, Espaces de Banach 1
1.1 Gnralits sur les espaces vectoriels (ev) . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1 Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.2 Exemples : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.3 Applications linaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Les espaces vectoriels norms (evn) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 Les produits scalaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.2 Normes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.3 Distance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.4 Indpendance linaire, base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Espaces vectoriels norms complets : les espaces de Banach . . . . . . . . . . . . . . . . . 10
1.3.1 Gneralits sur les espace vectoriels norms complets . . . . . . . . . . . . . . . . . 10
1.3.2 Le concept de "presque partout" . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3.3 Espace L
1
(R
d
) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3.4 Quelques grands thormes sur les fonctions intgrables . . . . . . . . . . . . . . . 13
1.3.5 Espace L
p
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3.6 Le cas particulier de lespace L
2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2 Les fonctions de la variable complexe 19
2.1 Continuit et drivabilit dans C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.1.1 Continuit des fonctions de la variable complexe . . . . . . . . . . . . . . . . . . . 20
2.1.2 Drivabilit des fonctions de la variable complexe . . . . . . . . . . . . . . . . . . . 21
2.2 Lintgration dans C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.2.1 Supports dintgration dans le plan complexe : les chemins . . . . . . . . . . . . . 26
2.2.2 Lintgration dans C : dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2.3 Indice dun point par rapport un lacet . . . . . . . . . . . . . . . . . . . . . . . . 29
2.3 Premiers thormes pour lintgration dans C . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.3.1 Le thorme de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.3.2 La formule de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.3.3 Un corollaire de la formule de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.4 Dveloppement des fonctions en sries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.4.1 Les sries entires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.4.2 Les sries de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.4.3 Les sries de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.5 Le thorme des rsidus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
vi Sommaire
2.5.1 Remarque prliminaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.5.2 Enonc du thorme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.5.3 Calcul des rsidus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3 La transformation de Fourier 43
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.1.1 Comment Fourier a rsolu lquation de la chaleur . . . . . . . . . . . . . . . . . . 43
3.1.2 Lanalyse de Fourier ou analyse harmonique . . . . . . . . . . . . . . . . . . . . . . 45
3.2 Dveloppement en srie de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2.1 Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.2.2 Thormes de convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.2.3 Proprits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.2.4 Thorme de Parseval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.2.5 Vitesse de convergence de la Srie de Fourier . . . . . . . . . . . . . . . . . . . . . 51
3.3 Transformation intgrale de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.3.1 Passage aux fonctions non priodiques . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.3.2 Lintgrale de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.3.3 Proprits de lintgrale de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
4 La Transformation de Laplace 55
4.1 Lintgrale de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.1.1 Dnition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.1.2 Existence de L(f) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4.2 Prolongement analytique de la transforme de Laplace . . . . . . . . . . . . . . . . . . . . 59
4.2.1 Holomorphie de la transforme de Laplace . . . . . . . . . . . . . . . . . . . . . . . 59
4.2.2 Drivation de la transforme de Laplace . . . . . . . . . . . . . . . . . . . . . . . . 60
4.3 Proprits de la transformation de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4.3.1 Linarit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4.3.2 Translation temporelle : thorme du retard . . . . . . . . . . . . . . . . . . . . . . 61
4.3.3 Translation frquentielle (modulation de frquence) . . . . . . . . . . . . . . . . . . 61
4.3.4 Changement dchelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.3.5 Drivation temporelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.3.6 Intgration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.3.7 Conjugaison . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.3.8 Convolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.4 Proprits asymptotiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.4.1 Thorme de la valeur nale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.4.2 Thorme de la valeur initiale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4.5 Transformation inverse, recherche des originaux . . . . . . . . . . . . . . . . . . . . . . . . 66
4.6 Quelques applications de la transformation de Laplace . . . . . . . . . . . . . . . . . . . . 68
5 Quelques exercices corrigs 69
6 Fiches de travaux dirigs 75
7 Annales dexamens 91
Bibliographie 101
1
Chapitre 1
Espaces vectoriels, Normes, Espaces de
Banach
De nombreux phnomnes physiques peuvent tre considrs comme linaires, cest--dire que leur
rponse une combinaison linaire dentres (
1
e
1
+
2
e
2
) est une combinaison linaire des rponses
chacune des entres (
1
s
1
+
2
s
2
). Modliser le phnomne physique cest donc chercher une transforma-
tion fournissant la bonne rponse s
i
une entre e
i
,
(e
i
) = s
i
et satisfaisant
(
i
e
i
) =
i
(e
i
)
Mais o cherche ? Quelle structure mathmatique lui donner ? Pour rpondre cette question, il
faut dj choisir un domaine ou un espace mathmatique satisfaisant. Or ce domaine doit reprsenter
lensemble des signaux e
i
et s
i
susceptibles dtre rencontrs et doit en outre tre tel que pour toute famille
e
i
iI
lui appartenant, le signal form par combinaison linaire

iI

i
e
i
lui appartient encore. Cette
proprit sappelle la stabilit par combinaison linaire. Elle est le propre des espaces appels espaces
vectoriels. Si maintenant les objets e
i
sont des signaux, cest--dire des fonctions qui dpendent dun
paramtre (le temps, lespace, la temprature...), alors on parle despace fonctionnel.
Les oprateurs ou transformations sur les espaces vectoriels sont appels morphisme. Plus gnrale-
ment, un morphisme est tout oprateur dun ensemble E vers un ensemble F ayant la mme structure
algbrique. Un morphisme est donc un oprateur qui respecte (ou prserve) la structure algnrique de
lespace sur lequel il opre.
On sinteressa plus spcialement aux espaces vectoriels norms (evn) dune importance capitale en
analyse : le calcul direntiel a pour thtre les espaces de Banach qui sont des evn particuliers. Beaucoup
de rsultats danalyse fonctionnelle ont comme terrain dappui les espaces de Hilbert, qui sont eux aussi
des evn. Physiquement, les espaces de Hilbert correspondent des ensembles stables par combinaison
linaire constitus de signaux de puissance ou dnergie nie.
2 1. Espaces vectoriels, Normes, Espaces de Banach
1.1 Gnralits sur les espaces vectoriels (ev)
Un espace vectoriel est un ensemble dlments de nature quelconque que nous noterons par exemple
x
1
, x
2
, x
3
..., gnralement appels vecteurs. On dnit ensuite sur ces vecteurs des oprations linaires :
elles xent les rgles de combinaison des vecteurs entre eux. Ces deux oprations sont : laddition et
la multiplication par un scalaire (le plus communment, ce scalaire est un nombre rel ou complexe).
Ces oprations fonctionnent avec les rgles usuelles lies la notion daddition et de multiplication :
associativit, commutativit, lment neutre, transitivit,...
1.1.1 Dnition
Donnons maintenant la dnition de la notion despace vectoriel. K dsignera un corps
1
, par exemple
R ou C.
Dnition [Espace Vectoriel] Soit E un ensemble muni dune addition et dune multiplication par
un scalaire (rel ou complexe). On dit que (E, +, .) est un espace vectoriel sur K si les conditions suivantes
sont satisfaites :
Stabilit par combinaison linaire
1. x, y E E, (x +y) E
2. x E, K, x E
Structure de groupe
3. x, y, z E, (x +y) +z = x + (y +z)
4. x, y E, x +y = y +x
5. x E, , R R, .x = .(.x)
6. x, y E E, K.(x +y) = x +y
7. x E, , K K( +).x = x +x
8. 0
E
E, x E, x + 0
E
= 0
E
+x = x
9. x E, y E, x +y = 0
E
Remarque : Dans cette liste, seules les deux premires conditions caractrisent la stabilit par combi-
naison linaire ; les autres garantissent lespace E une structure de groupe. En consquence, on sintresse
plus volontiers aux sous-ensembles des espaces vectoriels dont la caractrisation est plus simple.
Remarque : Un espace vectoriel sur un corps K est appel un K-espace vectoriel.
1
Un corps est un ensemble muni de deux lois de composition interne, + et tel que (K, +) est un groupe commutatif,
(K, ) est un groupe multiplicatif et tel que la multiplication soit distributive par rapport laddition.
1.1. Gnralits sur les espaces vectoriels (ev) 3
Dnition [Sous-Espace Vectoriel] Soit E un espace vectoriel sur un corps K et soit X un sous-
ensemble non vide de E. X est un sous-espace vectoriel sur K sil satisfait aux conditions de stabilit
linaire, cest dire si pour tout lments x et y de X et pour tout scalaire de K :
x +y X et x X
Exemple : Toute droite de R
n
passant par 0 est un sous-espace vectoriel de R
n
...
Remarque : Les appellations vecteur et espace vectoriel sont hrites du calcul vectoriel lmentaire
(vecteurs du plan ou de lespace). Ce cas est loin dtre lunique exemple : on verra que les vecteurs
peuvent tre des applications, des polynmes, des matrices...
Notations : On dsignera le plus souvent les vecteurs par des minuscules latines (u, v, x, y, etc.) et
les scalaires par des minuscules grecques (, , etc.). En particulier, on notera dsormais 0 le vecteur nul
de l espace vectoriel E (sil ny a pas de risque de confusion avec le scalaire nul) ; si lon tient faire la
distinction, on pourra dsigner par 0
E
le vecteur nul de E.
1.1.2 Exemples :
Le premier exemple despace vectoriel rel est lensemble des nombres rels R lui-mme, avec vi-
demment les addition et multiplication usuelles. Dans ce cas particulier, les nombres rels sont la
fois considrs comme des scalaires et comme des vecteurs en tant qulments de lespace vectoriel.
Il en va de mme pour lensemble des nombres complexes C. Cependant, dans ce cas, on peut
distinguer deux possibilits : C en tant quespace vectoriel complexe, ou bien C en tant quespace
vectoriel rel (dans ce cas, on parle de plan complexe).
Lespace euclidien R R consitu des vecteurs

u
1
= (x
1
, y
1
) :
u
1
+
u
2
= (x
1
+x
2
, y
1
+y
2
)
u = (x, y)
Autre exemple, lensemble des fonctions dnies sur un intervalle de I R valeurs relles : on
dnit naturellement laddition de deux fonctions f et g par :
h = f +g h(x) = f(x) +g(x) x I.
La multiplication dune fonction f par un scalaire est dnie par
h = f h(x) = f(x) x I.
Un point crucial est que laddition est une opration interne : par exemple, laddition de deux
fonctions doit encore tre une fonction dnie sur I valeur relle. Il en va de mme pour la
multiplication par un scalaire. Cest prcisment ceci quon appelle la stabilit linaire.
Par dnition, un espace vectoriel contient ncessairement un lment neutre pour laddition : le
vecteur nul. Ainsi, lensemble constitu des fonctions valant 1 en 0, nest pas un espace vectoriel
pour laddition et la multiplication usuelle, puisque la fonction nulle nen fait pas partie...
1.1.3 Applications linaires
Les applications linaires sont parmi les plus importantes en mathmatiques. Elles interviennent dans
de nombreuses situations. En analyse, elles servent par exemple approximer localement des fonctions ou
des quations direntielles. En algbre, on peut les utiliser pour reprsenter des quations. En gomtrie,
elles modlisent les symtries dun objet... Nous allons dans le cadre de ce cours nous contenter de rappeler
leur dnition et quelques unes de leurs principales proprits.
Dnition [Application ou forme linaire] Soient E et F des K-espaces vectoriels et une ap-
plication de E dans F. est une application K-linaire si pour tout x et y dans E et tout et dans
K,
(x +y) = (x) +(y)
Un peu de vocabulaire... Si est une application linaire du K-espace vectoriel E dans le K-espace
vectoriel F alors :
si E = F, est un endomorphisme.
si , est bijective est un isomorphisme.
si E = F, et que f est bijective alors est un automorphisme.
Dnition [Vecteur propre] Un vecteur propre x dun oprateur linaire sur un espace vectoriel
E est un vecteur non identiquement nulle et tel que on puisse trouver dans K tel que :
x = x
Remarques : est la valeur propre associe x. Nous verrons que lexistence de vecteurs propres est
de grand secours pour analyser . Si E est un espace fonctionnel, alors on parle de fonction propre.
Les fonctions propres jouent un rle important en physique. Par exemple, en mcanique quantique,
o lquation de Schrodinger
i

t
= H
a des solutions de la forme
(t) =
k
e
iEkt/
k
o les
k
sont des fonctions propres de loprateur H avec les valeurs propres E
k
. A cause de la nature
de loprateur hamiltonien H, ses fonctions propres sont orthogonales. Cela nest pas ncessairement le
cas pour les fonctions propres dautres oprateurs...
1.2. Les espaces vectoriels norms (evn) 5
Dnition [Espace dual] Lespace dual dun espace vectoriel est lensemble des formes linaires sur
E. Lespace dual de E est not E
.
Remarque : En dimension nie, un espace et son dual sont de mme dimension : dimE = dimE
.
1.2 Les espaces vectoriels norms (evn)
Les espaces vectoriels gnralisent bien la notion despace euclidien. Il semble naturel de chercher
dnir une distance entre les lments de lespace de la mme manire quon dnit une distance entre
les points du plan. Cette ide est essentielle car elle permet de dnir une topologie sur lespace et donc
de parler de voisinnage dun vecteur, de suites convergentes...
On considre dans tout ce qui suit un espace vectoriel de fonctions. On notera K le corps de base :
K = R ou C.
1.2.1 Les produits scalaires
En gomtrie vectorielle, le produit scalaire est une opration algbrique sajoutant aux lois dnissant
la structure despace vectoriel. deux vecteurs elle associe leur produit, qui est un nombre (ou scalaire).
Elle permet de retrouver les notions de la gomtrie euclidienne traditionnelle : longueurs, angles, or-
thogonalit en dimension deux et trois, mais aussi de les tendre des espaces vectoriels rels de toute
dimension, et parfois aux espaces vectoriels complexes.
Cest ainsi, par exemple, quune fois quon aura muni un espace de polynmes dun produit scalaire,
on pourra parler de distance ou dangle entre deux polynmes...
Toutefois, un mme espace vectoriel peut tre muni dune multitude de produits scalaires distincts qui
aboutiront des rsultats non quivalents dangles, distances, orthogonalit. Le choix du produit scalaire
adapt un problme, notamment danalyse fonctionnelle peut tre la clef de sa rsolution.
Le produit scalaire se rvle trs utile, aussi bien en physique pour le calcul du travail dune force
(W = F d, F projection de la force sur laxe de dplacement) quen gomtrie lmentaire pour
dmontrer des proprits sur les angles et les distances ou en algbre linaire pour munir un espace
vectoriel dune distance.
Dnitions gnrales
Produit scalaire dans un espace vectoriel rel (K = R)
Soit E un espace vectoriel rel. On dit quune application dnie par
: EE R
(x, y) (x[y)
est un produit scalaire si elle est :
1. bilinaire : est linaire relativement chaque argument (lautre tant x).
2. symtrique : x, y E (y[x) = (x[y)
3. positive : x E (x[x) 0
4. dnie : (x[x) = 0 x = 0
Produit scalaire dans un espace vectoriel complexe (K = C)
Pour adapter cette dnition aux espaces vectoriels complexes, nous avons besoin de la notion de
semi-linarit :
Une application f dun espace vectoriel complexe E C est dite semi-linaire si elle vrie
1. x, y E f(x +y) = f(x) +f(y)
2. x E, C f(x) = f(x)
Maintenant, si E un espace vectoriel complexe, on dit quune application
: E E C
(x, y) (x[y)
est un produit scalaire hermitien (ou simplement un produit scalaire) si elle est :
1. sesquilinaire : cest--dire
linaire relativement au second argument (le premier tant x)
semi-linaire relativement au premier argument (le second tant x)
2. symtrique hermitienne : x, y E (y[x) = (x[y)
3. positive : x E (x[x) R
+
4. dnie : (x[x) = 0 x = 0
Remarque : la convention de linarit droite, semi-linarit gauche nest pas universelle, certains
auteurs utilisent la convention inverse.
Exemples
Dans lespace R
n
, on dnit le produit scalaire canonique :
_
(x
1
, ..., x
n
)[(y
1
, ..., y
n
)
_
= x
1
y
1
+ +
x
n
y
n
.
Dans lespace C
n
, on dnit le produit scalaire canonique :
_
(z
1
, ..., z
n
)[(w
1
, ..., w
n
)
_
= z
1
w
1
+ +
z
n
w
n
.
Soit E le R-ev des fonctions continues de lintervalle [a, b] dans R. Lapplication
: E E R, (f, g)
_
b
a
f.g
est un produit scalaire sur E.
1.2.2 Normes
Dnition [Norme] Soit E un K-ev. Lapplication | | : E R
+
est une norme sur E si :
1. x , |x| = 0 x = 0
2. K, x E, |x| = [[|x|
3. x, y E, |x +y| |x| +|y|.
| | dsigne la valeurs absolue si K = R et le module si K = C.
La troisime proprit sappelle lingalit triangulaire.
Exemple : les normes euclidiennes A partir dun produit scalaire, on introduit la norme dite eu-
clidienne :
[[x[[
2
=
_
(x[x)
On note simplement [[x[[ sil ny a pas ambigut. On pourra dmontrer titre dexercice que x [[x[[
2
dnit bien une norme.
Proposition : Si | | est une norme sur E alors [ |x| |y| [ |x y|.
Preuve : Cette proposition vient des ingalits suivantes :
|f| = |(f g) +g| |(f g)| +|g|
|g| = |(g f) +f| |(g f)| +|f|
Dnition [Espace vectoriel norm] Un espace vectoriel norm est la donne dun espace vectoriel
E et dune norme | | sur E. On notera (E,| |) le couple form par lespace vectoriel et sa norme.
Quelques exemples devn :
E = R
n
, | |
k
o si x X et si (x
i
)
i=1..n
dsignent les coordonnes de x,
|x|
k
= (
n
i=1
[x
i
[
k
)
1
k
Si k = 2, cette norme est la norme euclidienne.
E = C
n
et si x = (x
1
, ...., x
n
) C
n
:
|x|
=
n
sup
i=1
[x
i
[
Dnition On dira que deux normes ||
1
et ||
2
sont quivalentes si il existe , k/x E,
|x|
1
|x|
2
|x|
1
Remarque : Etre quivalent est une relation dquivalence sur lensemble des normes dun evn.
Proprits Un produit scalaire sur un espace vectoriel rel ou complexe satisfait les deux ingalits
fondamentales suivantes :
L ingalit de Cauchy-Schwarz :
x, y E [(x[y)[ [[x[[ [[y[[
Lingalit de Minkowski
[[x +y[[ [[x[[ +[[y[[
Dans les deux cas, lgalit est obtenue si et seulement si x et y sont lis (, y = x).
Orthogonalit et angle dans le cas dun espace vectoriel rel On dit que des vecteurs x et y
sont orthogonaux si (x[y) = 0.
Langle entre deux vecteurs x et y non nuls peut tre dni partir de leur produit scalaire par la
formule
(x[y) = [[x[[ [[y[[ cos
En eet, lingalit de Cauchy-Schwarz scrit [(x[y)[ [[x[[ [[y[[
donc si [[x[[ [[y[[ ,= 0
on a :
(x|y)
||x||||y||
1
i.e. 1
(x|y)
||x||||y||
1
On peut donc poser : = arccos
_
(x|y)
||x||||y||
_
Attention : il sagit dun angle non orient. Ce nest que dans un plan euclidien orient quon sait
dnir la notion dangle orient.
1.2.3 Distance
Dnition Soit E un espace vectroiel sur K = R ou C. Lapplication d : EE R
+
est une distance
si et seulement si :
1. x E, y E, d(x, y) = 0 x = y
2. d(x, y) = d(y, x)
3. d(x, y) d(x, z) +d(z, y)
Si d est une distance sur E, lespace (E, d) est appel espace mtrique.
Proposition : Un evn est un espace mtrique : il sut de poser,
x, y E, d(x, y) = |x y|
Cette mtrique sera appele mtrique associe la norme | |.
Les espaces vectoriels norms sont donc des espaces mtriques (et a fortiori des espaces topologiques).
Si E est muni dune distance d alors pour tout point x
0
E, on appelle
boule ouverte de centre x
0
et de rayon r lensemble x X; d(x, x
0
) < r que lon note B(x
0
, r).
boule ferme de centre x
0
et de rayon r lensemble x X; d(x, x
0
) r que lon note B
f
(x, r).
1.2.4 Indpendance linaire, base
Soit E un espace vectoriel sur un corps K et soient n vecteurs x
1
, x
2
, . . . , x
n
. Si
1
, . . . ,
n
sont des
scalaires de K, alors le vecteur
1
x
1
+ +
n
x
n
=
k=n
k=1
k
x
k
est une combinaison linaire des vecteurs x
1
, . . . , x
n
.
Dnition [Indpendance linaire] On dit que les vecteurs x
1
, x
2
, . . . , x
n
forment une famille libre
ou quils sont linairement indpendants si toute combinaison linaire non nulle de ces vecteurs est
ncessairement non nulle, cest--dire :
[
1
x
1
+ +
n
x
n
= 0] = [
1
= =
n
= 0]
Dnition [Dpendance linaire] On dit que les vecteurs x
1
, x
2
, . . . , x
n
sont lis (ou linairement
dpendants) sils ne sont pas libres.
Proposition Soit x
1
, x
2
, . . . , x
n
une famille de n vecteurs. Si ces vecteurs sont libres (ou linairement
indpendants), alors la dcomposition x =
1
x
1
+ +
p
x
n
est unique.
Dnition [Famille gnratrice] Une famille dlments de E est dite gnratrice (dans E) lorsque
tout lment de E peut sexprimer dau moins une manire sous la forme dune combinaison linaire des
lments de cette famille.
Cest une condition de maximalit, car cela signie que la famille porte en elle susamment dinfor-
mation pour reconstituer tout lespace.
Dnition [Base dans les espaces vectoriels] On appelle base de lespace vectoriel E toute famille
dlments de E libre et gnratrice.
Une base est donc assez grande pour engendrer lespace, mais pas trop pour ne pas faire apparatre
de relations entre ses lments.
Autrement dit, une famille dlments B de E est une base de E si et seulement si tout lment x de
E sexprime de manire unique comme combinaison linaire des lments de la familleB. Les coecients
de cette combinaison linaire sont alors appels les composantes de x dans la base B.
Remarque : on montre que tout espace vectoriel non rduit 0 admet au moins une base ; mais, en
dehors du cas des espaces vectoriels de dimension nie, on est le plus souvent dans lincapacit dexpliciter
une base...
1.3 Espaces vectoriels norms complets : les espaces de Banach
Dans de nombeuses circonstances en physique, on sintresse la converge, cest--dire la notion
de limite : connaissant par exemple, le comportement dun systme en rponse une famille dentres
qui dcroissent vers un signal limite , quelle est la rponse du systme cette limite ? Pour parler
de converge dans ce cas, il faut dabord sassurer que le signal limite appartient lui aussi lespace dans
lequel on travaille, cest--dire se poser la question suivante : si une famille dlments appartient un
espace, le signal limite appartient-il lui assui cet espace ? Cette proprit sera garantie si lespace dans
lequel on travail na pas de trou , sil ny a aucun point manquant. En mathmatique, on parle despace
complet. Les espace vectoriels complets sont les espaces de Banach.
1.3.1 Gneralits sur les espace vectoriels norms complets
Avant de dnir les espaces complets, il faut dabord dnir la notion de suite dlments susceptible
de converger. Ces suites sont les suites de Cauchy. Une suite de Cauchy est une collection de nombres
rels, de complexes, ou plus gnralement de points dun espace mtrique ou dun espace topologique
dont les termes se rapprochent partir dun certain rang.
Dnition [Suite de Cauchy] Une suite (x
n
)
nN
dlments dun espace vectoriel norm E est une
suite de Cauchy si
, N, n, m N, |x
n
x
m
|
Ces suites sont donc susceptibles de converger. Elle convergeront si leur limite appartient lespace de
travail.
Dnition[Espace vectoriel norm complet] On dit quun espace vectoriel norm E est complet
si toute suite de Cauchy est convergente dans E.
La proprit de compltude est lie la mtrique : un espace peut tre complet pour une distance et
incomplet pour une autre. Il est donc important de toujours prciser la distance que lon prend quand on
parle despace complet.
Exemple : R et R
d
sont complets pour la norme euclidienne. Par contre, les nombres rationnels ne
forment pas un espace complet, puisque

2 ny gure pas.
Dnition [Espace de Banach] Un espace vectoriel norm complet sappelle un espace de Banach.
1.3.2 Le concept de "presque partout"
En mathmatiques, lorsquon crit f = g cela signe :
x D, f(x) = g(x)
1.3. Espaces vectoriels norms complets : les espaces de Banach 11
o D est le domaine de dnition de f et g.
Maintenant, que se passe-t-il si f et g dirent peu? En loccurence, considrant lintgrale au sens
de Riemann dune fonction f, on sait que si f est continue, son intgrale sur D reprsente laire comprise
entre le graphe de f et laxe des abscisses. Considrons maintenant une fonction g "peu dirente" de f :
g(x) =
_
f(x), x Dx
0
g(x
0
) ,= f(x
0
)
g est non continue donc non intgrable au sens de Riemann. Dun autre ct, la modication dune valeur
isole de g modie peu la valeur de laire comprise entre le graphe de g et laxe des abscisse. Peut-on dire
que lintgrale de g vaut celle de f ? Dans quelle mesure ? Que se passe-til si lon augmente le nombre de
points o g dire de f ? On sent bien intuitivement que si les points o g dire de f sont parses ,
cela ne posera pas de problme et que la situation devient plus complexe ds lors que les points o g
dire de f sont agglomrs... Pour formaliser ce concept, simple comprendre mais plus dlicat quil
ny parat, on utilise :
La notion de presque partout lie lide densemble de mesure nulle.
Un nouvelle intgrale appele intgrale de Lebesgue qui gnralise lintgrale de Riemann pour des
fonctions non continues.
La thorie de lintgrale de Lebesgue sortant du cadre dun cours de mathmatiques en licence pour les
sciences de lingnieur, nous tendrons abusivement le cadre de lintgrale de Riemann au cas des fonctions
continues presque partout ... Pour prciser le concept mathmatique de presque partout , il faut
parler de mesure sur un ensemble, une proprit sera ensuite dite vraie presque partout si lensemble des
points o elle nest pas vraie est de mesure nulle.
Dnition [Mesure mathmatique] Une mesure mathmatique est une fonction qui associe chaque
lment I dun ensemble X, une valeur relle positive ou nulle note (I) qui satisfait :
1. lensemble vide a une mesure nulle () = 0
2. est additive : si E
1
, E
2
, E
3
...E
N
sont des sous-ensembles dun ensemble E en nombre dnombrable,
deux deux disjoints, et si E est leur runion, alors :
(E) =
k=N
k=1
(E
k
)
Entre autre, on a :
(E
1
E
2
) = (E
1
) +(E
2
) si E
1
E
2
=
La mesure est un concept important en analyse ou en thorie des probabilits. Cest une fonction qui
associe une "longueur", un "volume" ou encore une probabilit certaines parties dun ensemble donn.
Les proprits suivantes se dduisent directement des axiomes prcdents :
si E
1
E
2
, alors (E
1
) (E
2
)
si E
1
, E
2
,... E
N
sont des ensembles mesurables embots (E
1
E
2
... E
N
) et si E =

k=N
k=0
E
k
alors, (E) = lim
N+
(E
N
)
Dnition [Ensemble presque vide] Un ensemble mesurable I est dit presque vide ou ngligeable
si (I) = 0.
Dnition [Mesure complte] Une mesure est dite complte si tout sous-ensemble dun ensemble
presque vide est mesurable (et un tel sous-ensemble est lui-mme automatiquyement presque vide).
Voici quelques exemples densembles de mesure :
Le dnombrement est une mesure : (I) = nombre dlments de I
La mesure de probabilit qui prend toutes ses valeurs dans [0, 1].
La longueur est une mesure : ([a, b]) = b a
A partir du concept de mesure nulle, on dnit aisment le concept de presque partout :
Dnition [presque partout] Soit une mesure sur un espace X et soit P(x) une proposition d-
pendant dune variable x X. P est dite vraie presque partout sur X si :
x, non[P(x))] A et (A) = 0
En dautres termes, une proprit est vraie presque partout si lensemble des points o elle est fausse
est de mesure nulle. Ainsi, une fonction f sera gale une fonction g presque partout si lensemble
x, f(x) ,= g(x) est de mesure nulle.
On notera :
[f g] [f = g presque partout]
Proprit Soit f une fonction intgrable sur un ensemble X, au sens de Lebesgue :
_
X
[f[dx = 0 f = 0 presque partout
et lon simplie le concept dintgrale au sens de Lebesgue, en considrant lintgrale au sens de
Riemann dune fonction continue f presque partout gale g :
_
X
gdx =
_
X
fdx
si g = f presque partout et f continue sur X.
1.3.3 Espace L
1
(R
d
)
Dans tout ce qui suit, on considrera des fonctions dnies sur R
d
(d 1).
Dnition [L
1
(R
d
)] Une fonction f : R
d
R appartient L
1
(R
d
) si sa valeur absolue est intgrable,
cest--dire : _
R
d
[f(x)[dx < +
Remarque : dans R
d
, x = (x
1
, x
2
, ..., x
d
) et
_
R
d
[f(x)[dx =
_ _
...
_
. .
d fois
[f(x
1
, x
2
, ..., x
d
)[dx
1
dx
2
...dx
d
Proprit : Lespace L
1
muni de la norme |f|
1
=
_
R
d
[f(x)[dx est un espace de Banach.
Remarque : Dans le cas de lespace L
1
, cest seulement grce ce concept que la proprit
x, |x| = 0 x = 0
des normes est vrife.
1.3.4 Quelques grands thormes sur les fonctions intgrables
Le premier thorme rgle la question de lordre de lintgration dans le cas o la fonction intgrer
dpend de plusieurs variables :
Thorme de Fubini Si f(x, y) est L
1
(R
d
R
d
), alors :
_ _
f(x, y)dxdy =
_
[
_
f(x, y)dx]dy =
_
[
_
f(x, y)dy]dx
En dautres termes, pour toute fonction L
1
, on peut calculer des intgrales multiples en se ramenant
une suite dintgrales simples, en prenant les variables dintgration dans lordre que lon veut.
Thorme de la convergence domine Soit (f
n
)
nN
une suite de fonctions de L
1
et f une fonction
de L
1
telles que :
n, x, [f
n
(x)[ f(x)
Si de plus,
pour presque tout x, lim
n+
f
n
(x) = g(x)
alors
g L
1
et lim
n+
_
f
n
(x)dx =
_
g(x)dx
La premire assertion indique que la suite de fonctions f
n
est domine par f et la domination est
uniforme en x. Dans la deuxime assertion, x tant x, il sagit de la convergence standard des suites de
nombres. Ce thorme donne les conditions qui permettent de faire entrer la limite sous le signe intgral.
Le produit de convolution dans L
1
Nous avons vu plus haut que lintgrale dun produit de fonctions sinterprte dans un espace fonc-
tionnel comme un produit scalaire. Cette opration permet donc de comparer deux fonctions entre elles
et dvaluer leur niveau de ressemblance de la mme facon que le produit scalaire permet dvaluer la
colinarit de deux vecteurs du plan... Si maintenant les fonctions considres modlisent des signaux,
on comprend lutilit dune telle opration. An de saranchir des dcalages temporels (ou spatiaux...)
ventuels entre les signaux, on peut dcider de calculer ce produit scalaire en ayant pralablement trans-
lat lun des deux signaux. Ceci conduit un des oprateurs les plus importants en analyse fonctionnelle
et dans de nombreux domaines de la physique : le produit de convolution.
Dnition [Le produit de convolution] Soient f et g deux fonctions de L
1
. Alors, la fonction dnie
par y f(x y)g(y) est intgrable. On dnit le produit de convulution de f et de g (not f g) par :
(f g)(x) =
_
f(x y)g(y)dy
Par construction, f g est L
1
et
|f g|
1
|f|
1
|g|
1
En thorie du signal, on convolue une entre e dun systme avec un noyau h, encore appel rponse
impulsionnelle. Le cours sur les distributions claircira ce point de vocabulaire. Si h est L
1
, la convolution
est une opration continue. La continuit de la convolution correspond une notion de stabilit du ltre :
cest la stabilit dite EBSB (entre borne, sortie borne). Un tel ltre est non seulement stable, mais il
jouit aussi de nombreuses autres proprits qui rsultent du caractre rgularisant de la convolution.
Une autre notion de stabilit importante est la stabilit dans L
2
: la sortie correspondant une entre
dnergie nie (f dans L
2
) est dnergie nie. Cest aussi le cas lorsque la rponse impulsionnelle est dans
L
1
. La dmonstration de ces proprits est lobjet de la che 1 de travaux dirigs : voir section ??.
Support dun produit de convolution Si f : R
d
R est continue, alors le support de f est
ladhrence de lensemble des points o f est non nulle : x, f(x) ,= 0. Ladhrence dun ensemble est le
plus petit ferm le contenant.
Remarque : le support dune fonction est un ensemble ferm.
Si f nest pas continue, on considre lensemble des points o f est essentiellement non nulle, cest-
-dire des points x
0
tels que la fonction f soit non nulle presque partout dans un voisinnage de x
0
.
Ces dnitions assurent que f est nulle presque partout en dehors de son support.
Remarque : Considrons la fonction indicatrice : cest une fonction note 1
A
valant 1 sur lensemble
A et 0 ailleurs. f tant nulle prresque partout en dehors de son support, elle peut tre remplace par
f1
supp(f)
.
Retournons lexpression de notre convolution :
g(y) = 0 si y / supp(g)
f(x y) = 0 si x y / supp(f) y / x supp(f)
Attention, ici laddition considre est une addition ensembliste. x supp(f) reprsente une version
translate au point x de supp(f) : x supp(f) = x +supp(f) = y = x z, z supp(f)
Finalement :
(f g)(x) =
_
supp(g)xsupp(f)
f(x y)g(y)dy
Cette intgrale est donc non nulle uniquement si lensemble supp(g) x supp(f) est non vide :
z supp(g) x supp(f)
y supp(f), z supp(g), z = x y x = z +y x supp(f) +supp(g)
Par consquent, fg est nulle en dehors de lensemble supp(f)+supp(g) donc a fortiori sur supp(f) +supp(g) =
A et nalement :
supp(f g) A
Attention, on na pas forcment lgalit car f g peut trs bien sannuler dans A!
Autres proprits Le produit de convolution satisfait quelques prorpits remarquables :
f g = g f
(f g) h = f (g h)
Cette proprit indique quon peut chaner plusieurs ltres, la sortie de lun devenant lentre du
suivant. Il en rsulte un ltre dont la rponse impulsionnelle est h
1
h
2
h
3
....
Ceci fait de loprateur une loi de composition interne, commutative et associative sur L
1
. Attention
cependant, il nexiste pas dlment neutre, cest--dire de fonction f telle que g L
1
, f g = g lorsquon
reste dans le cadre des fonctions. Il sera vu dans le cours sur les distributions quil est possible dtendre
la dnition de lensemble L
1
un ensemble plus vaste o lon trouve un lment neutre...
La convolution joue un rle fondamental dans lanalyse, la transformation et la commande des sys-
tmes linaires. On montre en eet que tout systme linaire (cest--dire satisfaisant le principe de
superposition) et invariant dans le temps est rgi par une quation de convolution, le noyau de convolu-
tion h caractrisant le systme et la convolution f h correspondant la rponse du systme lentre f.
Certaines proprits complmentaires celles exposes ici (continuit, convergence) seront vues en sance
de travaux dirigs (voir che ??).
1.3.5 Espace L
p
Dnition : Soit p 1. Une fonction f : R
d
R appartient lespace L
p
si [f[ est de puissance
pime intgrable :
_
[f(x)[
p
dx < +
Lespace L
p
est muni de la norme :
|f|
p
= [
_
[f(x)[
p
dx]
1
p
Par convention, on dit que f est L
si f est essentiellement borne (borne presque partout), cest-

-dire si :
c > 0, [f(x)[ c presque partout
Dans ce cas, la norme est :
|f|
= infc, [f(x)[ c presque partout

Cest le sup essentiel de [f[.
Proprit : Lespace L
p
est un espace de Banach (i.e. un evn complet).
Remarque Un lment de L
p
nest pas une fonction mais un ensemble de fonctions gales presque
partout. Nammmoins, pour simplier le langage, nous parlerons des fonctions de L
p
. Il sut de garder
en mmoire que lorsque deux fonctions sont gales presque partout, elles sont considres comme une
seule et mme entit (appele fonction). Cest grce la notion de presque partout que [
_
[f(x)[
p
dx]
1
p
est
une norme.
On convient de confondre dans L
p
deux intgrales gales presque partout.
En thorie du signal, on sintresse surtout aux espaces L
1
, L
2
et L
.
Ingalit de Holder Soient f L
p
et g L
q
avec
1
p
+
1
q
= 1, alors fg L
1
et
|fg|
1
=
_
[f(t)g(t)[dt |f|
p
|g|
q
On en dduit :
Ingalit de Minkowsky Soient f L
p
et g L
p
avec p 1, alors f +g L
p
et
|[f +g|
p
|f|
p
+|g|
p
Il en rsulte que pour p 1, L
p
est un espace vectoriel norm mais que pour 0 < p < 1, L
p
nest pas un
espace vectoriel.
Exemple de fonction L
p
: Soit a > 0 et z la variable complexe :
f(z) =
_
1
|z|a
si [z[ < 1
0 sinon
Proprit dinclusion On montre que
L
L
2
L
1
et plus gnralement
L
q
L
p
si 1 p q
On peut donc eectuer des approximations de fonctions L
p
par des fonctions plus particulires ("simples")...
1.3.6 Le cas particulier de lespace L
2
Tout ce qui prcde vaut encore si les fonctions sont valeurs dans C et non dans R.
La norme sur L
2
(R
d
) est dnie par :
|f|
2
= |f| =
_
[f(x)[
2
dx
et lespace L
2
est muni dun produit scalaire (ce qui nest pas forcment le cas des espace L
p
dans le cas
gnral) :
(f[g) =
_
f(x)g(x)dx
et lon a :
|f| =
_
(f[f)
On dit que L
2
est un espace de Hilbert.
Si lon considre les fonctions valeurs complexes, il faut remplacer la forme scalaire par la forme
sesquilinaire hermitienne (qui garantit que la proprit |f| = 0 f = 0 p.p. est conserve) :
(f[g) =
_
f(x)g(x)dx
avec
(f[g) = (g[f)
On a alors :
|f| =
_
(f[f)
Autre exemple despace de Hilbert
R
n
muni du produit scalaire usuel.
Remarques sur les espaces de Hilbert
Un espace de Hilbert est un espace vectoriel norm | | dont la norme dcoule dun produit scalaire
ou hermitien , ) par la formule |x| =
_
x, x) . Cest la gnralisation en dimension quelconque
dun espace euclidien ou hermitien.
Dans un espace de Hilbert de dimension innie, le concept habituel de base est remplac par celui de
base de Hilbert qui permet, non plus de dcrire un vecteur par ses coordonnes, mais de lapprocher
par une suite innie de vecteurs ayant chacun des coordonnes nies. On est donc au conuent de
lalgbre linaire et de la topologie. Cest dans le cadre des espaces de Hilbert quest dveloppe la
thorie de la formulation variationnelle, utilise dans de nombreux domaines de la physique.
En mcanique quantique, ltat dun systme est reprsent par un vecteur dans un espace de
Hilbert.
Lespace L
2
est le cadre de dnition de la transformation de Fourier. Dans le cadre des fonc-
tions priodiques, lespace est celui des fonction L
2
T-priodiques, sous-espace vectoriel de L
2
not
L
2
[0, T] (cest un espace de Banach). La norme est dnie par :
|f|
2
2
=
1
T
_
T
0
[f(t)[
2
dt
cest la puissance moyenne du signal f(t).
La quantit
_
T
0
[f(t)[
2
dt
reprsente lnergie du signal.
Le produit scalaire usuel est dni par :
(f[g) =
1
T
_
T
0
f(t)g(t)dt
19
Chapitre 2
Les fonctions de la variable complexe
Nous verrons que les transformations de Laplace et de Fourier travaillent avec des fonctions de la
variable complexe. la transformation de Laplace notamment transforme une fonction de la variable relle
(le temps, lespace) en une fonction de la variable complexe (interprte comme une pseudo-frquence,
cest--dire une extension complexe de la notion de frquence). Avant de prsenter ces transformations,
nous donnons quelques rsultats indispensables sur la thorie des fonctions de la variable complexe.
2.1 Continuit et drivabilit dans C
Dans tout ce qui suit, C dsignera lensemble des nombres complexes. f dsignera une fonction dnie
sur un sous-ensemble de C vers C :
f : C C
z f(z)
Un exemple trs simple de fonction de ce type est lexponentielle complexe f(z) = e
z
. Un autre exemple
est celui des fonctions polynomiales de la variable complexe f(z) = a
n
z
n
+a
n1
z
n1
+...+a
1
z+a
0
qui sont
des extensions directes des fonctions polynomiales relles. Leur dnition ne pose aucune dicult, les
nombres complexes ayant des proprits algbriques similaires aux nombres rels. Pour dautres oprateurs
cependant lextension au cas complexe peut poser des dicults. Citons en exemple le cas de la fonction
logarithmique : on notera aisment que dnir le logarithme dun nombre complexe est un problme qui,
au premier coup doeil, ne semble pas avoir de solution simple.
Que les fonctions envisages drivent ou non de dnitions proposes dans le cadre rel, le propos est
ici de les tudier de manire systmatique. Etudier une fonction cest dterminer si elle satisfait ou non
certaines proprits qui vont permettre ensuite de la caractriser : la continuit, la drivabilit, lexistence
de certaines limites en des points particuliers...
20 2. Les fonctions de la variable complexe
2.1.1 Continuit des fonctions de la variable complexe
Continuit dans R
Rappelons tout dabord que dans le cas des fonctions de la variable relle, une fonction f : A R R
est dite continue en un point x
0
A donn, si ses limites droite et gauche en x
0
existent dans R et
sont identiques, cest--dire :
> 0 , > 0 , x R, [x x
0
[ < [f(x) f(x
0
)[ < (2.1)
Cette proposition mathmatique se lit : "Pour tout epsilon strictement positif, on peut trouver nu
strictement positif tel que pour tout x rel, si la distance de x x
0
est strictement infrieure nu alors
la distance de f(x) f(x
0
) est strictement infrieure epsilon."
En dautres termes, si lon se xe un voisinnage quelconque autour du point f(x
0
), on peut trouver
un intervalle autour du point x
0
tel que tout point proche de x
0
ait son image dans ce voisinnage :
f neectue pas de saut ni droite ni gauche de x
0
. Graphiquement, une fonction continue est une
fonction quil est possible de dessiner "dun trait" sans avoir relever son crayon...
Dans la dnition ci-dessus x R, [x x
0
[ < correspond lintervalle ouvert de centre x
0
et de
rayon non nul. Un tel ensemble dni un voisinnage de x
0
. Selon la dnition prcdente, le problme de
la continuit dune fonction en un point ne peut tre pos que sil est possible dexaminer le comportement
de cette fonction sur un voisinnage de ce point (un disque ouvert de rayon non nul par exemple qui dans
R coincide avec un intervalle ouvert). En dautres termes, lensemble de dnition de la fonction a une
topologie particulire puisquil prsente cette particularit de pouvoir contenir un disque de rayon non
nul centr en chacun de ses points. Cest ce quon appelle un ensemble ouvert.
Continuit dans C
Le problme est maintenant dtendre la notion dnie dans le cas de la variable relle au cas de la
variable complexe. Il sagit donc de passer dune tude dans un espace une dimension (la droite) une
tude dans un espace deux dimensions (le plan).
Reprenons la dnition de la continuit dans R. Celle-ci peut tre tendue directement au cas dune
fonction complexe de la variable complexe f : C C si la valeur absolue [xx
0
[ devient un module
[z z
0
[. Il vient :
> 0 , > 0 , z C, [z z
0
[ < [f(z) f(z
0
)[ < (2.2)
Lextension ne pose aucun problme. Le voisinnage du point nest plus un intervalle ("objet" de dimension
un) mais un disque ("objet" de dimension deux) : z , [z z
0
[ < .
Cette dnition est simple mais il faut cependant bien comprendre ce quelle signie. Le point z tend
vers z
0
en "arrivant" de nimporte quelle direction du plan (ou mme en suivant une spirale). Ainsi, une
fonction de la variable complexe peut trs bien tre continue dans une direction privilgie mais non dans
une autre : notamment, la continuit selon laxe des abscisses et des ordonnes ne sut pas ; elle doit tre
satisfaite dans toutes les directions du plan.
2.1. Continuit et drivabilit dans C 21
Exemples Les fonctions suivantes sont-elles continues ?
z C, f(z) = arg(z)
f est polynomiale.
f est la fonction exponentielle complexe.
z C, f(z) = z
En pratique, pour dterminer si une fonction est continue ou non (on parle galement de fonctions de
classe C
0
), on utilise, lorsque cela est possible, les proprits de certaines fonctions usuelles et la linarit
de la continuit : si deux fonctions sont continues, leur somme pondre lest encore. Ainsi, les fonctions
polynomiales sont continues en tout point...
2.1.2 Drivabilit des fonctions de la variable complexe
La notion de drivabilit formalise mathmatiquement la notion de rgularit de certaines fonctions qui
ne prsentent pas de point anguleux, cest--dire de "changement brutal de pente". Trs prcisemment,
la drivabilit dune fonction f en un point x
0
donn se dnit en tudiant la limite de la fonction
daccroissement
f(x)f(x0)
xx0
lorsque x tend vers x
0
. La fonction est drivable si cette limite existe et est
unique. On rappelle que, dans R, la drivabilit entrane la continuit. Ainsi, une fonction continue sera
dite de classe C
0
et une fonction drivable (et donc galement continue) sera dite de classe C
1
, etc...
La notion de drivabilit est trs importante en physique car cest cette condition que les modles
construits prsentent une certaine rgularit. Plus les fonctions sont drivables (de classe C
2
, C
3
,...C
),
plus elles sont rgulires, cest--dire plus elles ressemblent des fonctions polynomiales (toute fonction
polynomiale est C
).
Dnition dans R
Pour les mmes raisons que prcdemment, on considrera une fonction f dnie sur un domaine A
ouvert de R. La fonction f est drivable en un point x
0
donn de A si et seulement si :
l R, > 0 , > 0 , x A, [x x
0
[ < [
f(x) f(x
0
)
x x
0
l[ < (2.3)
Lorsque l existe, l est la valeur de la drive de f au point x
0
. Elle est note f
(x
0
) ou f
(1)
(x
0
).
Dans la pratique, pour calculer la drive dune fonction f, on utilise les drives de fonctions usuelles
(polynomiales, exponentielles, logarithmiques...) et les proprits de la drivation (linairit, compor-
tement face aux oprations usuelles : le produit (fg)
= f
g + g
f, linversion (
1
f
)
=
f
f
2
...). Dans
certains cas cependant, il peut tre plus intressant de calculer le taux daccroissement (
f(x)f(x0)
xx0
) puis
de rechercher lexistence de sa limite selon la dnition prcdente.
Dnition dans C
Pour exprimer la drivabilit dune fonction f(z) de la variable complexe z = x+iy, plusieurs solutions
sont envisageables :
tendre simplement au cas complexe la dnition relle base sur lexamen du taux daccroissement
au cas complexe. Ceci conduit la notion de fonction holomorphe.
dcomposer f en fonctions plus simples polynomiales an dappliquer des rgles de drivations
standards. Ceci conduit la notion de fonctions analytiques.
regarder f comme une fonction de deux variables x et y et examiner les drives de f dans les
directions x et y. Ceci conduit la notion de drives partielles et de direntielle.
Nous allons dans un premier temps examiner chacune de ces notions et dans un second temps montrer
leurs correspondances.
Holomorphie Par extension de lanalyse mene dans le cas des fonctions de la variable relle au cas
complexe, on parle indirement de fonctions drivables ou holomorphes. Les fonctions complexes ayant
des proprits tout fait spciciques vis--vis de la drivation, on prfrera dans ce cours utiliser le
terme holomorphe.
Lholomorphie dans C se dnit de manire similaire la drivabilit dans R que nous avons rappele
prcdemment via la limite de la fonction accroissement.
Une fonction f dnie sur un ouvert de C vers C est dite holomorphe sur si et seulement si
z
0
, lim
zz0
f(z)f(z0)
zz0
existe dans C et est unique. Et si cette limite existe et est unique, elle sera
note f
(z
0
).
Exemple Les fonctions suivantes sont-elles holomorphe ?
f est complexe polynomiale.
z C, f(z) = z
z C, f(x +iy) = x
2
y
2
+ixy
Thorme : Le thorme suivant (fort utile dans la suite !) sera admis : si f est holomorphe sur un
domaine de C alors f est de classe C
sur .
Analyticit Pour une fonction arbitraire, la drive est dnie comme une limite. Par contre, pour
les polynmes, la drive peut tre calcule de manire algbrique : par exemple, la drive de x
k
est
kx
k1
. On peut exprimer cela algorithmiquement : on obtient la drive de X
k
en diminuant lexposant
dune unit et en multipliant le tout par lancien exposant. Le rsultat de cette transformation, purement
algbrique, concide avec la limite de
(x+h)
k
x
k
h
lorsque h tend vers 0. On peut trouver dautres fonctions
(autres que les polynmes) ayant de telles proprits : les fonctions trigonomtriques qui schangent
par drivation, la fonction exponentielle pour laquelle lopration de drivation est encore plus simple
puisque cest lidentit. Si lon considre lensemble de toutes les fonctions du monde physique, on a
limpression que celles qui jouissent dune telle proprit sont rares. Inversement, si lon considre le
monde des fonctions explicites, celles-ci tant dnies par des oprations mathmatiques lmentaires
(addition, multiplication, exponentiation) ou bien par combinaison (composition) de ces oprations, la
proprit de calcul algbrique prcdente semble constituer une rgle, non une exception...
Dans le cas de la drive dune fonction dnie par calcul de la limite du taux daccroissement, il
est essentiel que la variable soit relle. Si la variable est complexe, la notion mme daccroissement perd
son sens puisque les nombres complexes ne sont pas ordonnes. Par contre, dans le calcul purement
algbrique de la drive, il importe peu que la variable soit relle ou complexe puisque les oprations
utilises (+,,,/) stendent aux nombres complexes. Ainsi, pour z complexe, la fonction z
k
a toujours
un sens clair et sa drive aussi : rien nempche de dire, par dnition, que kz
k1
est la drive de
z
k
. Il en sera de mme pour le calcul de la primitive dans le cas des polynmes. Toute la dicult
consiste comprendre le sens de ces oprations dans le cas complexe : nous lavons dit plus haut, toute
la dirence rside dans la manire avec laquelle un point z tend vers un autre point z
0
et nous avons
constat que cette contrainte est beaucoup plus forte dans le cas complexe (bidimensionnel) que dans le
cas rel (monodimensionnel).
On appelle fonctions analytiques les fonctions qui, comme les polynmes ou lexponentielle, peuvent
tre drives ou intgres, de faon purement algbrique. Cette dnition, trs oprationnelle et trs utile
dans la pratique, nest pourtant pas rigoureuse puisque nous ne disposons pas ce stade dune formule
algbrique rigoureuse pour la drivation et lintgration dans le cas gnral. Nous verrons dans la suite
de ce cours que les fonctions complexes rgulires (holomorphes) pourront sexprimer comme sommes
pondres de fonctions polynomiales (via un dveloppement de Taylor similaire celui connu dans le
cadre des fonctions relles et tendu au cadre des fonctions complexes) et que par consquent les notions
de fonctions holomorphes et analytiques sont quivalentes.
Direntiabilit Les fonctions de la variable complexe z = x + iy peuvent tre vues comme des
fonctions de deux variables relles x et y. Notons X et Y les parties relle et imaginaire de la fonction
f : f(z = x +iy) = X(x, y) +iY (x, y). On a :
f : R R R R
(x, y) (X(x, y), Y (x, y))
(2.4)
Dire que f est drivable en un point z
0
= x
0
+ iy
0
cest dire que la pente de la fonction f est
calculable au point z
0
. En consquence, ces pentes sont nies dans des directions privilgies : selon laxe
des abscisses ou des ordonnes (comme dans nimporte quelle direction de lespace). En dautres termes
une condition ncessaire (mais non susante ! !) pour que la fonction f soit drivable est que les drives
partielles de f en x et y (notes
f
x
et
f
y
) existent au point (x
0
, y
0
). On dit alors que la fonction f est
direntiable au point(x
0
, y
0
). La direntielle de f est note df ; elle est dnie par :
df =
f
x
dx +
f
y
dy
Si de plus f est drivable au point z, alors : (df)
z
= f
(z)dz.
La question qui se pose maintenant est la suivante : peut-on dterminer par le simple examen des
drives partielles de f selon x et y si f est holomorphe ou non ? Nous allons voire que la rponse
cette question est : oui. Sous la condition que les drives partielles de f satisfasse certaines relations,
lexistence des drives partielles permet dassurer la drivabilit de la fonction complexe. Ces conditions
portent le nom de conditions de Cauchy-Riemann.
Condition de Cauchy-Riemann
Une fonction de la variable complexe z = x+iy (z = re
i
) peut tre vue comme une fonction de deux
variables relles x et y (ou r et ). De fait, le problme de la drivation peut tre abord de direntes
manires : via la fonction daccroissement, la direntielle, les drives partielles. La question qui se pose
alors est la suivante : quels sont les liens entre ces dirents lments ? Peut-on exprimer des conditions
simples permettant dassurer la drivabilit dans z ?
Par dnition, une fonction f est drivable en un point z si et seulement si
lim
h0
f(z +h) f(z)
h
existe dans C
En notant X la partie relle de f et Y sa partie imaginaire, et en notant z = x + iy et h = k + il,
laccroissement =
f(z+h)f(z)
h
scrit :
=
[X(x +k, y +l) X(x, y)] +i[Y (x +k, y +l) Y (x, y)]
k +il
Passons maintenant aux dveloppements limits lordre 1 des fonctions X et Y , il vient :
=
[
X
x
k +
X
y
l +reste
X
] +i[
Y
x
k +
Y
y
l +reste
Y
]
k +il
soit encore :
=
[
X
x
k +
X
y
l] +i[
Y
x
k +
Y
y
l]
k +il
+(h)
avec (h) tend vers 0 lorsque h tend vers 0.
Nous avons dej not la subtilit de lassertion "h tend vers 0" dans le cas complexe. La reprsentation
la mieux adapte dcrire le phnomne de convergence vers 0 est la reprsentation en coordonnes
polaires. Posons h = re
i
, alors, [h 0] signie [r 0, R]. Traduisons cette contrainte pour le cas
de notre fonction daccroissement :
=
[
X
x
rcos +
X
y
rsin] +i[
Y
x
rcos +
Y
y
rsin]
r
(cos isin) +(h)
= [(
X
x
cos +
X
y
sin) +i(
Y
x
cos +
Y
y
sin][cos isin] +(h)
Soit en dveloppant :
= [
X
x
cos
2
+ (
X
y
+
Y
x
)cossin +
Y
y
sin
2
] +i[
Y
x
cos
2
+ (
Y
y

X
x
)sincos
X
y
sin
2
]
Cette expression peut tre transforme an disoler les termes dpendants de en utilisant les relations
trigonomtriques : cos
2
=
1
2
[1 +cos2], sincos =
1
2
[sin2], sin
2
=
1
2
[1 cos2]. On obtient :
=
1
2
[(
X
x
+
Y
y
) + (
X
x

Y
y
)cos2 + (
X
y
+
Y
x
)sin2]+
i
2
[(
Y
x

X
y
) + (
Y
x
+
X
y
)cos2 + (
Y
y

X
x
)sin2] +(h)
Sachant que lim
h0
(h) = 0, on a :
lim
h0
existe dans C
lim
r0
_
1
2
[(
X
x
+
Y
y
) + (
X
x

Y
y
)cos2 + (
X
y
+
Y
x
)sin2
_
et
lim
h0
_
i
2
[(
Y
x

X
y
) + (
Y
x
+
X
y
)cos2 + (
Y
y

X
x
)sin2]
_
existent dans C et sont uniques, donc indpendantes de .
(
X
x

Y
y
) = 0
et
(
X
y
+
Y
x
) = 0
On aboutit donc une double condition sur les drives partielles de f selon x et y et cette double
condition est ncessaire et susante pour assurer la drivabilit de f. De plus, lorsquelle existe la drive
scrit :
f
(z) =
1
2
(
X
x
+
Y
y
) +
i
2
(
Y
x

X
y
) =
X
x
i
X
y
=
Y
y
+i
Y
x
Do :
f
(z) =
X
x
+i
Y
x
=
f
x
=
Y
y
i
X
y
= i
f
y
Cette relation va constituer une condition ncessaire et susante pour quune fonction complexe de
la variable complexe soit drivale. Cette condition sappelle la condition de Cauchy-Riemann.
Condition de Cauchy-Rieman Soit f une fonction dnie par :
f : C C
z = x +iy f(z) = X(x, y) +iY (x, y)
f est suppose direntiable en un point z . Alors, f est drivable au point z si et seulement si
dX
dx
=
dY
dy
et
dX
dy
=
dY
dx
(2.5)
De plus, lorsquelle existe, cette drive sexprime selon lune des expressions suivantes :
f
(z) =
f
x
= i
f
y
(2.6)
La condition de Cauchy-Rieman cre le lien entre les fonctions holomorphes et la notion de direntielle
dnie dans le cas des fonctions de plusieurs variables. Il reste maintenant faire le lien entre les fonctions
holomorphes et les fonctions analytiques, cest--dire, les fonctions dnies par le biais des fonctions
analytiques polynomiales ou exponentielles. Ceci sera fait dans la partie consacre aux dveloppements
en srie des fonctions holomorphes.
Exemple
La fonction f(x +iy) = x
2
y
2
+ixy est-elle holomorphe ? analytique ? direntiable ?
Fonctions holomorphes et fonctions harmoniques
Soit A une fonction valeurs relles dnie comme suit :
A : R R R
(x, y) A(x, y)
A est dite harmonique si elle satisfait :
A =

2
A
x
2
+

2
A
y
2
= 0
Soit une fonction f holomorphe dans un domaine du plan complexe C : f(x+iy) = X(x, y)+iY (x, y).
On suppose de plus que X et Y possde des drives partielles secondes en x et en y et que ces drives
sont continues. Alors, X et Y sont harmoniques, cest--dire :
X = 0 et Y = 0
Exemple Montrer que la fonction dnie par f(x, y) = x
2
y
2
est harmonique.
2.2 Lintgration dans C
Dans le cas des fonctions relles de la variable relle, lintgration est dnie, au sens de Riemann,
pour les fonctions continues sur un intervalle donn I = [a, b], comme la surface de la portion du plan
situ entre la fonction, laxe des abscisses et les droites x = a et x = b.
Si de plus, on connat une primitive F de la fonction f dont on cherche dterminer lintgrale, alors :
_
b
a
f(t)dt = F(b) F(a)
La primitive de f qui sannule en x
0
est donc dnie par :
F(x) =
_
x
x0
f(t)dt
Dans C, le support dintgration change puisquon passe dune variable dnie dans un espace une
dimension une variable dnie sur un espace deux dimensions. La mthode de calcul de lintgrale,
comme nous allons le voir requiert gnralement de passer par un dveloppement en srie de la fonction
intgrer....
2.2.1 Supports dintgration dans le plan complexe : les chemins
Le support dintgration dans le cas des fonctions de la variable complexe est une entit bi-dimensionnelle.
Ce sera le chemin.
2.2. Lintgration dans C 27
Lacets, chemins : dnition
En mathmatique, le chemin est une application continue associant un jeu de paramtres rels t
un ensemble de points parcourus dans un ordre dni via le paramtrage. A un chemin peut donc tre
associe une trajectoire oriente.
Ainsi le chemin dni comme suit :
: I = [0, 1] C
t z
0
+Re
2in
a pour trajectoire le cercle de rayon R de centre z
0
parcouru [n[ fois dans le sens positif (sens inverse des
aiguilles dune montre) si n est positif, dans le sens ngatif si n est ngatif.
Il faut prendre garde cette dnition car le langage courant tend confondre la notion de chemin et
celle de trajectoire. On remarquera galement que, en mathmatique, la notion de chemin est troitement
lie celle de paramtrage (sens de parcours) et quil ne faut pas dissocier les deux.
Soit un chemin dni de I = [a, b] vers C. Lorigine de est le point dni par (a) ; son extrmit
est dni par (b).
Un point z donn situ sur la trajectoire dun chemin est un point multiple de si il existe direntes
valeurs de t (que lon notera par exemple t
1
et t
2
) telles que z = (t
1
) = (t
2
). En dautres termes, un
point multiple est "atteint" plusieurs fois.
Un lacet est un chemin satisfaisant (a) = (b).
Domaines, frontires
Un domaine dsignera tout sous-ensemble de lespace deux dimensions : C.
Nous avons vu quun domaine est dit ouvert si lon peut loger dans le domaine un disque ouvert de
rayon non nul centr en chacun de ses points (ou tout autre voisinnage ouvert contenant chacun de ses
points) .
La frontire dun domaine sera dnie comme lensemble des points z dont tout voisinnage rencontre
la fois le domaine et son complmentaire. On remarque que si un domaine est ouvert, sa frontire ne
lui appartient pas.
Lacets homotopes
La notion dhomotopie est une notion mathmatique complexe que nous allons tenter dintroduire ici
dune manire simplie et en vitant tout formalisme non indispensable.
Considrant deux ensembles nots
1
et
2
de lespace deux dimensions. On dira que ces deux
ensembles sont homotopes si lon peut passer de lun lautre par une suite continue de dformations
continues. En dautres termes, considrant les frontires
1
et
2
de ces deux ensembles, il faut imaginer
que lon positionne un lastique en
1
et que lon cherche le dformer pour venir le loger lendroit exact
de
2
. Si lopration est possible (sans briser llastique en deux), les deux ensembles sont homotopes ;
dans le cas contraire, ils ne le sont pas.
Lhomotopie est une relation dquivalence : si
1
est homotope
2
et
2
est homotope
3
, alors,
1
est homotope
3
.
La trajectoire dun chemin est homotope un point si est homotope un lacet constant.
Ensembles connexes
Enn, une autre notion topologique va savrer utile dans le cadre de ce cours : la notion de connexit.
Nous nous restreignons ici la connexit dite par arcs.
Un domaine de C est dit connexe si deux points quelconques de peuvent tre joints par une ligne
polygonale intgralement incluse dans . En dautres termes, pour tout couple de points de , il existe
un chemin dont la trajectoire est entirement incluse dans passant par ces deux points (on parle de
connexit par arc).
Un domaine de C est dit simplement connexe si tout couple de points du domaine peuvent tre
joints par un chemin homotope un point. En dautres termes, les ensembles simplement connexes sont
des ensembles connexes sans trou.
2.2.2 Lintgration dans C : dnition
Considrons une fonction de la variable complexe :
f : C C
z f(z)
et un chemin :
: I = [a, b] R C
t (t)
tel que
(I)
Lintgrale de f le long de est dnie par :
_
f(z)dz =
_
b
a
f[(t)]
(t)dt (2.7)
On remarque que
_
f(z)dz dpend du paramtrage de .

A titre dexemples,
_
1dz value la longueur du chemin :

_
1dz =
_
b
a
(t)dt = (b) (a)

2.3. Premiers thormes pour lintgration dans C 29
Exemples
Calculer
_
cdz, o c est une constante.

Calculer
_
1
zz0
dz, lorsque a pour trajectoire le cercle unit de centre z
0
parcouru une fois dans
le sens positif.
Calculer
_
zdz
Le rsultat suivant sera admis.
Thorme Si
1
et
2
sont deux lacets homotopes dans tel que
1
(I
1
) et
2
(I
2
) , alors :
_
1
f(z)dz =
_
2
f(z)dz (2.8)
2.2.3 Indice dun point par rapport un lacet
Soit un lacet ((a) = (b)) :
: I = [a, b] R C
t (t)
et z
0
un point du plan situ en dehors de la trajectoire de : z
0
C(I)
On dnit lindice du point z
0
par rapport au lacet comme suit :
ind(z
0
, ) =
1
2i
_
dz
z z
0
Exemple On prend (t) = e
2int
, avec n entier relatif et t [0, 1]. La trajectoire de est donc le cercle
unit parcour n fois dans le sens positif ou ngatif selon si n est positif ou ngatif.
ind(0, ) =
1
2i
_
dz
z
= n
En dautres termes, lindice correspond au nombre de fois o la trajectoire du lacet tourne autour du
point 0. Lindice est positif si le sens de rotation est positif et ngatif dans le cas contraire. Nous avons
montr sur des exemples la vracit de cette assertion dans le cas de lacets correspondant des cercles.
En utilisant le rsultat 2.8, on tend ce rsultat tout type de lacet.
Cette interprtation de la notion dindice montre dautre part que lindice ne dpend pas de la "forme"
de la trajectoire du lacet : il importe juste de connatre le nombre de fois o celui-ci tourne autour du
point. Cette proprit sera largement utilise dans la suite pour le calcul eectif des rsidus.
2.3 Premiers thormes pour lintgration dans C
Une fois les intgrales sur les fonctions dnies, le problme qui se pose est celui du calcul de ces
intgrales. Dans le cas des intgrales dnies pour les nombres rels, on recourt la notion de primitive.
Cette notion est-elle transposable au cas complexe ? Les thormes qui suivent vont apporter des rponses
ces questions.
z0
z
Fig. 2.1 Si f est holomorphe sur le domaine dlimit par le chemin alors son intgrale sur est nulle
(thorme de Cauchy).
2.3.1 Le thorme de Cauchy
Thorme de Cauchy (admis) Soit f une fonction de la variable complexe dnie et holomorphe
(drivable) sur un domaine connexe de C et soit un lacet dni sur un intervalle I de R tel que
(I) . Alors :
_
f(z)dz = 0 (2.9)
2.3.2 La formule de Cauchy
La formule de Cauchy Soit f une fonction de la variable complexe dnie et holomorphe sur un
domaine connexe de C et soit un lacet dni sur un intervalle I de R tel que (I) correspond au bord
orient du domaine . Alors :
f(z) =
1
2i
_
f(w)
w z
dw (2.10)
On remarque que la fonction intgrer (
f(w)
wz
) nest pas holomorphe sur car non dnie pour
w = z , cest pourquoi, lintgrale le long de ne donne pas zro (le thorme de Cauchy ne
sapplique pas).
Cette formule de Cauchy permet de montrer quune fonction holomorphe (cest--dire une fonction
qui satisfait les conditions de Cauchy-Riemann) est ncessairement gale (sur un disque voisinnage) la
somme dune srie entire et donc quelle est analytique. Nous reviendrons sur ce point un peu plus loin
dans ce cours.
Preuve de la formule de Cauchy La fonction f tant holomorphe sur , la fonction intgrer
f(w)
wz
est holomorphe sur z. Nous avons dj mentionn que deux intgrales sur des lacets homotopes
sont identiques. Il sut donc de montrer le rsultat pour un lacet homotope au premier, par exemple un
disque de rayon r et centr au point z (cest le bord dun domaine connexe mais non simplement connexe
puisque priv de z). Passons maintenant aux coordonnes polaires en posant : w z = re
i
. Lintgrale
scrit :
1
2i
_
f(w)
w z
dw =
1
2i
_
2
0
f(z +re
i
)
re
i
ire
i
d =
1
2
_
2
0
f(z +re
i
)d
Lintgrale ayant la mme valeur pour dirents lacets homotopes, celle-ci ne peut pas dpendre de
2.3. Premiers thormes pour lintgration dans C 31
r. Par consquent, on peut prendre r inniment petit (r 0). Il vient alors :
1
2i
_
f(w)
w z
dw =
1
2
_
2
0
f(z +re
i
)d =
1
2
_
2
0
f(z)d = f(z)
cqfd.
2.3.3 Un corollaire de la formule de Cauchy
Intgration et drivation des fonctions holomorphes Le rsultat nonc ci-aprs est un corollaire
de la formule de Cauchy donne ci-dessus.
Soit f une fonction holomorphe sur un domaine de C simplement connexe et soit un lacet dni
sur un intervalle I de R tel que (I) soit le bord orient de . On cherche tablir une relation entre la
drive de f et lintgrale
_
f(w)
wz
dw.
On sait que la drive de f au point z est la limite du rapport
f(z+h)f(z)
h
lorsque h tend vers zro.
Appliquons la formule de Cauchy successivement f(z) et f(z +h) :
f(z) =
1
2i
_
f(w)
w z
dw
f(z +h) =
1
2i
_
f(w)
w z h
dw
De fait, on a :
f(z +h) f(z)
h
=
1
2ih
_
f(w)
w z h

f(w)
w z
dw
f(z +h) f(z)
h
=
1
2ih
_
hf(w)
(w z h)(w z)
dw
lim
h0
f(z +h) f(z)
h
=
1
2i
_
f(w)
(w z)
2
dw
Finalement :
f
(1)
(z) =
1
2i
_
f(w)
(w z)
2
dw
Nous allons montrer par rcurrence quune relation du mme type peut tre explicite pour la drive
n-ime de f.
z , f
(n)
(z) =
n!
2i
_
f(w)
(w z)
(n+1)
dw (2.11)
Nous savons dj que cette relation est vraie pour n = 1. Supposons quelle soit vraie au rang n. Nous
allons montrer qualors, elle est vraie au rang (n + 1).
La drive (n + 1)ime scrit :
f
(n+1)
(z) = lim
h0
f
(n)
(z +h) f
(n)
(z)
h
= lim
h0
n!
2i
_
f(w)[
1
(w z h)
(n+1)

1
(w z)
(n+1)
]dw
en utilisant la proprit au rang n. Or,
a
n
b
n
= (a b)
k=n1
k=0
a
k
b
n1k
Ce qui permet dcrire :
f
(n+1)
(z) = lim
h0
n!
2i
_
f(w)[
1
(w z h)

1
(w z)
]
k=n
k=0
[
1
(w z h)
]
k
[
1
(w z)
]
nk
dw
f
(n+1)
(z) =
n!
2i
_
f(w)[
h
(w z)
2
]
k=n
k=0
[
1
(w z)
]
k
[
1
(w z)
]
nk
dw
f
(n+1)
(z) =
n!
2i
_
f(w)
k=n
k=0
[
1
(w z)
]
n+2
dw =
n!
2i
_
f(w)(n + 1)[
1
(w z)
]
n+2
dw
f
(n+1)
(z) =
(n + 1)!
2i
_
f(w)
(w z)
n+2
dw
cqfd.
2.4 Dveloppement des fonctions en sries
Nous avons dit limportance des proprits de drivation algbrique satisfaites par les fonctions ana-
lytiques et nous avons vus que les fonctions polynomiales et les fonctions exponentielles complexes sont
analytiques. Or, dvouans le cas plus gnral des fonctions complexes, la drivation algbrique ne semble
pas aller de soi. Par contre, les sommes (mmes innies) de polynmes, cest--dire les sries entires,
ouvrent des possibilits dans ce domaine puisque, par ce biais, toute fonction peut scrire sous la forme
dune fonction analytique. Reste montrer que toute fonction holomorphe peut tre dveloppe en s-
rie entire et dterminer les coecients de cette dcomposition. Ceci montrera lquivalence entre les
notions dholomorphie et danalyticit.
Comme expliqus prcdemment, les lments donns dans ce domaine sintgrent dans ce quon
apple la thorie de Cauchy.
2.4.1 Les sries entires
Nous allons rappeler ici quelques dnitions et rsultats concernant la notion de srie entire.
Dnition
Dune manire gnrale une srie S
N
(z) est constuite partir dune suite de nombres u
n
ou de
fonctions u
n
(z) (encore appel terme gnral de la srie) via la somme partielle :
S
N
(z) =
N
n=0
u
n
(z)
2.4. Dveloppement des fonctions en sries 33
Une srie est donc une suite dnie en sommant les N premiers termes dune suite. Suite cette
dnition, la question qui se pose immdiatement est la suivante : que se passe-t-il lorsque N tend vers
linni ? Cest le problme de la convergence dune srie (problme qui se pose galement pour une suite
quelconque).
On dit quune suite (a
n
) quelconque converge si elle admet une limite lorsque n tend vers linni et
que cette limite est unique. Si la suite ([a
n
[) converge, alors on dit que la suite (a
n
) converge absolument.
Dans le cas o la suite est une suite de fonctions (a
n
(z)), on peut tudier la convergence de la suite en
fonction des valeurs prises par z. Si la convergence est indpendante de z, alors la convergence est dite
uniforme ; dans le cas contraire, on parlera de convergence simple. Les sries uniformment convergentes
prsentes de bonnes proprits. Notamment :
Si une srie S
N
(z) =

n=N
n=0
u
n
(z) converge uniformment sur un domaine C, alors, [u
n
continue en z
0

N 0, S
N
continue en z
0
].
Si une srie

+
n=0
u
n
(z) converge uniformment sur un domaine C, alors, pour tout chemin
: I C tel que (I) ,
_
n=0
u
n
(z)dz =
+
n=0
_
u
n
(z)dz
(Thorme de Weierstrasse) Si pour tout n, u
n
(z) est holomorphe sur un domaine de C et si la
srie

+
n=0
u
n
(z) est uniformment convergente sur , alors

+
n=0
u
n
(z) est holomorphe dans
et :
d
dz
[
+
n=0
u
n
(z)] =
+
n=0
d
dz
[u
n
(z)]
Passons maintenant au cas spcique des sries entires. La forme la plus gnrale dune srie entire
est :
+
n=0
a
n
(z z
0
)
n
Les a
n
sont des nombres complexes appels coecients de la srie et z
0
est un nombre complexe appel
centre de la srie.
Convergence
Les sries entires complexes ont une proprit remarquable : elles convergent toujours dans un do-
maine donn correspondant un disque. Ceci donne le thorme qui suit.
Thorme (Niels H. Abel) Pour une srie entire, il existe toujours un nombre rel R 0 (qui dpend
de la suite (a
n
)) tel que :
si [z z
0
[ < R, la srie converge,
si [z z
0
[ > R, la srie diverge,
si [z z
0
[ <= R, on ne peut pas conclure dans le cas gnral.
Preuve Soit w un nombre tel que lim
n+
a
n
w
n
= 0. Alors, si [z z
0
[ < [w[, la srie converge. En
eet, si lim
n+
a
n
w
n
= 0, alors il existe n
0
tel que n n
0
, [a
n
w
n
[ 1. Dautre part, si [z z
0
[ < [w[,
alors le rapport r =
|zz0|
|w|
< 1. Donc, pour n n
0
, [a
n
(z z
0
)
n
[ = [a
n
w
n
[r
n
r
n
. Or, la srie

r
n
est
converge car r < 1 et cette srie majore la srie considre.
Considrons maintenant les nombres rels positifs t tels que

n0
[a
n
[t
n
converge. Ces nombres
forment un inetrvalle de type ] , R], o R est la borne sup de cet intervalle et correspond au nombre
R annonc dans le thorme. En eet, si [z z
0
[ < R la srie converge daprs la premire partie de la
dmonstration (il sut de choisir w tel que [z z
0
[ < [w[ < R). De mme si [z z
0
[ > R, la srie diverge
car sinon Rne serait pas la borne sup de lintervalle de convergence de la srie relle. cqfd.
Ce thorme signie que le domaine de convergence dune srie entire est forcment un disque, avec
ventuellement des lacunes sur la frontire. Cela implique notamment que si une srie entire converge sur
un domaine donn (un carr ou un rectangle par exemple), elle convergera aussi au moins sur le disque
circonscrit associ.
Le disque de centre z
0
et de rayon R est le plus gros disque lintrieur duquel la srie entire
n0
a
n
(z z
0
)
n
converge ; on lappelle le disque de convergence et le nombre R est appel rayon de
convergence.
Il nexiste aucune rgle gnrale concernant la convergence de la srie sur la frontire de ce disque.
Voici quelques exemples classiques qui ont tous pour disque de convergence le disque de centre 0 et de
rayon 1 mais qui se comportent diremment sur la frontire du disque :
la srie

n0
z
n
diverge sur la frontire du disque de convergence
la srie

n0
z
n
n
2
converge sur la frontire du disque de convergence (elle est mme absolument
convergente en tout point du cercle
la srie

n0
z
n
n
converge sur la frontire du disque de convergence except au point daxe z = 1
pour lequel elle diverge.
On peut trouver dans la littrature dinombrables exemples illustrant les dirents phnomnes qui
peuvent se produire sur le bord du disque de convergence. Il faut toutefois viter de mal interprter
ces comportements. Notamment, mme si une srie entire diverge sur la frontire de son disque de
convergence, la fonction dnie par la srie entire peut tre prolonge au de l du disque de convergence.
On prendra en exemple f(z) =

n0
z
n
qui converge et vaut
1
z1
lintrieur du disque de centre 0 etd
e rayon 1, qui diverge pour z = 1 et qui peut tre prolonge sur un domaine plus vaste que le disque
(mme si elle reste non dnie au point 1) en la fonction dnie par z
1
z1
.
Les sries entires sont en quelque sorte des polynmes de degr inni. Elles conservent certaines
proprits des polynomes (lanalyticit par exemple) mais certaines proprits peuvent tres dgrades.
Par exemple, un polynme est forcment convergent (et donc dni) sur tout le plan alors quune srie
ne converge que sur un disque. Bien sr, il peut arriver que le rayon de convergence soit inni (cest par
exemple le cas pour la fonction e
z
) mais ces cas ne font pas gnralit comme on la vu.
Voici quelques thormes essentiels pour ltude de la convergence des sries entires.
Thorme (Hadamard, 1888)(admis) Le rayon de convergence R dune srie entire

n0
a
n
(z
z
0
)
n
est donn par
1
R
= limsup
n+
[a
n
[
1
n
Rappelons brivement la dnition de limsup. Soit u
n
une suite quelconque de nombres rels. La suite
v
n
= sup
kn
u
k
est dcroissante. Si v
n
est minore, elle converge vers une limite appele par dnition
limsup ; sinon on pose limsup u
n
= . Une dnition similaire peut tre donne la liminf considrant
la limite de la suite inf
kn
u
k
.
Thorme (admis) Toute srie entire est uniformment convergente lintrieur de son disque de
convergence.
Le thorme qui suit est une adaptation du thorme de Weierstrasse au cas des sries entires.
Thorme (drivation terme terme dune srie entire) Si f(z) =

n0
a
n
(zz
0
)
n
est dnie
lintrieur dun disque de convergence not D, alors f est analytique dans D et f
(z) =

n1
na
n
(z
z
0
)
n1
et la drive f
a le mme rayon de convergence que f.

Un corollaire immdiat de ce thorme est obtenu en appliquant ce thorme aux drives successives
de f. Ainsi f est C
et ses drives sont obtenues par drivation terme terme de la srie :

f
(2)
(z) =
n2
n(n 1)a
n
(z z
0
)
n2
f
(3)
(z) =
n3
n(n 1)(n 2)a
n
(z z
0
)
n3
Ceci exprime lexistence dune drivation purement algbrique, analmogue ) celle des polynmes ;
ainsi la somme dune srie entire dnit, dans le domaine dni par lintrieur du disque de convergence,
une fonction analytique.
Une autre consquence du thorme de Weierstrasse est de pouvoir exprimer les coecients a
n
de la
srie entire en fonction des valeurs de f etd e ses drives au point z
0
en eet, on a, par rcurrence :
f
(p)
(z) =
np
n(n 1)(n 2)..(n p + 1)a
n
(z z
0
)
np
et par consquent :
f
(p)
(z
0
) = (p!)a
p
soit encore :
n 0, a
n
=
1
n!
f
(n)
(z
0
)
2.4.2 Les sries de Taylor
Cas des fonctions holomorphes sauf en des points isols -> fonctions analytiques
Maintenant que nous avons rappels quelques points essentiels sur les sries entires, revenons nos
fonctions holomorphes.
La formule de Cauchy permet de montrer que toute fonction qui satisfait les conditions de cauchy-
Riemann (cest--dire les fonctions holomorphes) est ncessairement gale, sur un certain domaine, la
somme dune srie entire. Ceci snonce de faon trs prcise comme suit :
Thorme Soit f une fonction holomorphe dans un domaine C (ouvert quelconque) et soit z
0
un
point de et R
0
le rayon du plus grand disque ouvert de centre z
0
inclus dans . Alors la srie dnie
par
+
n=0
a
n
(z z
0
)
n
avec
a
n
=
1
2i
_
f(w)
(w z
0
)
n+1
dw
est convergente dans le disque de centre z
0
et de rayon R
0
et sa somme est gale f(z) sur ce disque.
Dans cete dnition, on remarque que R
0
est la distance du point daxe z
0
la frontire de . Le
disque de centre z
0
et de rayon R
0
est le disque de convergence de la srie

+
n=0
a
n
(zz
0
)
n
. La trajectoire
de est dnie comme le bord orient prositivement et parcouru une fois dun disque de centre z
0
et de
rayon r R
0
.
Preuve : On navait pas besoin de la thorie sur les fonctions analytiques pour savoir que
1
wz
est la
somme dune srie entire :
1
w z
=
1
(w z
0
) (z z
0
)
=
1
w z
0
1
1
zz0
wz0
=
1
w z
0
+
n0
[
z z
0
w z
0
]
n
La dernire galit est vraie partout o la srie converge, cest--dire si [
zz0
wz0
[ < 1, cest--dire [z z
0
[ <
[w z
0
[. Rcrivons maintenant la formule de Cauchy :
f(z) =
1
2i
_
f(w)
w z
dw
o est un lacet enserrant le point z. Comme il est possible de considrer tout lacet homotopiqueme,nt
quivalent partir du moment o il enserre z et o sa trajectoire est incluse dans , on choisit ici de
centre z
0
et de rayon r enserrant le point z, cest--dire que r satisfait :[z z
0
[ < r < R
0
.
Or, la srie prcdente converge pour tout point tel que [w z
0
[ > [z z
0
[ et par consquent comme
[z z
0
[ < r pour [w z
0
[ = r < R
0
. Le cercle [w z
0
[ = r est lintrieur du disque de convergence
puisque r < R
0
donc la convergence est uniforme et lon peut changer les signes

et
_
, ce qui donne :
f(z) =
1
2i
_
f(w)
1
w z
0
+
n0
[
z z
0
w z
0
]
n
dw =
+
n0
[
1
2i
_
f(w)
(w z
0
)
n+1
dw][z z
0
]
n
Soit, en posant a
n
=
1
2i
_
f(w)
(wz0)
n+1
dw :
f(z) =
+
n0
a
n
[z z
0
]
n
La vracit de cette galit est conditionne la possibilit dchanger les signes

et
_
, cest--dire
par lassurance que la convergence de la srie soir uniforme, ce qui est vri lintrieur du disque de
convergence. Par consquent, cette galit vaut en tout point intrieur un disque de centre z
0
et inclus
dans : en notant R
0
le rayon de ce plus grand disque inclus on peut crire que la relation vaut sur le
disque de centre z
0
etd e rayon R
0
.
Ce dveloppement sappelle le dveloppement en srie de Taylor. De tels dveloppement permettent
dexprimer toute fonction rgulire (holomorphe) comme une somme (innie) de polynme en voisinnage
de chacun de ses points. La dcomposition change selon le point examin.
Si maintenant, on se place dans un voisinnage trs restreint du point z
0
tudi (sur un disque de rayon
r tendant vers 0), la dcomposition peut tre simplie sans trop commettre derreur. En eet, plus k est
grand, plus r
k
tend vite vers 0 lorsque r tend vers 0 et les coecient a
n
vrient aussi une dcroissance
du mme ordre. En eet, on montre que :
[a
n
[
sup
z, |zz0|=r
[f(z)[
r
n
En dautres termes, quand r tend vers 0, on peut se contenter dne considrer que les premiers termes
du dveloppement en srie de Taylor : cette ide est bien connue, elle est la base de la notion de
dveloppement limit.
Le dveloppement de Taylor associ aux fonctions analytique permet de confrer certazines proprit
des polynmes ces fonctions, notamment la drivation algbrique comme on la dit prcdemment.
Examinons ici une autre proprit. Il est bien connu que les polynmes de degr n ont au maximum n
zros ; sinon ils coincident avec le polynme nul. Les zros des pollynmes sont en nolmbre nis : par
consquent, ils sont foecment isols. EN adaptant cette proprits aux fonctions anlytiques, on comprend
que ces fonctions puissent avoir une innit de zros, mais ceux-ci sont toujours isols. Il est notamment
impossible que les zros dune fonction analytique forment une suite convergente de points en incluant
leur limite : ainsi la fonction sin(
1
z
) sannule aux points
1
n
qui forment une suite convergente vers 0 ;
cette fonction nst pas analytique au point limite z = 0. A plus forte raison, il est impossible quune
fonction analytique puisse sannuler sur une droite, un arc de courbe moins dtre nulle partout. Ce fait
a une consquence pratique pour les calculs. Supposons que nous ayons deux expressions (par exemple
une intgrale et une limite) dont nous voulons prouver lgalit et que les deux expressions dpendent
dun paramtre z. Il nous sura de prouver lgalit pour un ensemble de type intervalle, arc de cercle
(z [a, b], [z[ = constante) cest--dire engendrant des zros non isols. Cette mthode est souvent
dsigne par le terme principe du prolongement analytique.
2.4.3 Les sries de Laurent
Dnition
Une srie de Laurent au point z
0
est une srie du type
n=+
n=
a
n
(z z
0
)
n
o les coecients a
n
sont complexes.
Cette somme peut tre scinde en deux parties
n=+
n=0
a
n
(z z
0
)
n
et
n=0
n=
a
n
(z z
0
)
n
=
n=+
n=0
a
n
(
1
z z
0
)
n
Daprs ce quon a vu plus haut sur les sries, on sait que la srie

n=+
n=0
a
n
(z z
0
)
n
converge sur
un certain disque de centre z
0
. On notera R
1
le rayon de disque :
D
1
= z C, [z z
0
[ < R
1
De la mme faon, la srie

n=+
n=0
a
n
(
1
zz0
)
n
converge sur un certain domaine dni par :
D
2
= z C, [z z
0
[ > R
2
Il sut dappliquer le rsultat connu pour une srie de type

n=+
n=0
a
n
Z
n
en prenant successivement
Z = z z
0
puis Z =
1
zz0
.
La srie de Laurent converge donc sur un domaine corespondant lintersection des deux domaines
prcdents, cest--dire :
D = z C, R
2
< [z z
0
[ < R
1
qui dnie une couronne de convergence entourant le point daxe z

0
.
On remarque au passage que lorsque les deux domaines ont une intersection vide, alors la srie ne
peut tre dnie (les deux sommes ne convergeant jamais simultannment) .
Dveloppement en srie de Laurent
Nous avons vu prcdemment quune fonction holomorphe est dveloppable en srie entire (les sries
de Taylor). Mais que se passe-t-il lorsque la fonction nest pas holomorphe ? Existe-t-il un dveloppement
en srie pour les fonctions singulires ? Nous allons voir maintenant que le rsultat prcdent peut tre
gnralis lorsque la fonction est holomorphe sur une couronne comme celle reprsente ci-dessus :
D = z C, R
2
< [z z
0
[ < R
1
Cest--dire quon admettra lexistence de singularits lintrieur de la couronne. Commenons par

tablir une version tendue de la formule de Cauchy. Si z est un point de la couronne, alors la formule
de Cauchy applique la fonction f au point z donne :
f(z) =
1
2i
_
f(w)
w z
dw
o est le bord dun domaine entirement inclus dans la couronne et contenant z et parcouru dans le
sens direct. Nous donnons gure 2.2 des exemples de tels chemins. On comprend aisment que le lacet
est quivalent la runion des deux lacets
1
et
2
correspondant aux bords de la couronne. On en
dduit que :
f(z) =
1
2i
_
1
f(w)
w z
dw +
1
2i
_
2
f(w)
w z
dw
Il faut prendre garde ici lorientation des trajectoires des lacets :
1
est orient dans le sens direct tandis
que
2
est orient dans le sens indirect. Si on oriente
2
dans le sens direct, il faut modier le signe devant
lintgrale.
De plus, on a :
f(w)
w z
=
f(w)
(w z
0
) (z z
0
)
=
f(w)
w z
0
+
n=0
[
z z
0
w z
0
]
n
De plus, cette srie converge uniformment sur la trajectoire de
1
car alors [w z
0
[ = R
1
et comme
R
2
< [z z
0
[ < R
1
, on a [
zz0
wz0
[ < 1. Par consquent :
1
2i
_
1
f(w)
w z
dw =
+
n=0
_
1
[
1
2i
f(w)
w z
0
][
z z
0
w z
0
]
n
dw =
+
n=0
[
1
2i
_
1
f(w)
(w z
0
)
n+1
dw](z z
0
)
n
z0
z
2
1
Fig. 2.2 Exemple de couronne de convergence dune srie de Laurent.
et cette relation est vraie pour tout point daxe z de la couronne.
De la mme manire,
f(w)
w z
=
f(w)
(w z
0
) (z z
0
)
=
f(w)
z
0
z
+
n=0
[
w z
0
z z
0
]
n
De plus, cette srie converge uniformment sur la trajectoire de
2
car alors [w z
0
[ = R
2
et comme
R
2
< [z z
0
[ < R
1
, on a [
wz0
zz0
[ < 1. Par consquent :
1
2i
_
2
f(w)
w z
dw =
+
n=0
_
2
[
1
2i
f(w)
z
0
z
][
w z
0
z z
0
]
n
dw =
+
n=0
[
1
2i
_
2
f(w)(w z
0
)
n
dw]
1
(z z
0
)
n+1
et cette relation est vraie pour tout point daxe z de la couronne.
Finalement, pour tout point z de la couronne, on a :
f(z) =
+
n=0
[
1
2i
_
1
f(w)
(w z
0
)
n+1
dw](z z
0
)
n
n=0
[
1
2i
_
1
f(w)(w z
0
)
n
dw]
1
(z z
0
)
n+1
cest--dire :
f(z) =
+
n=0
a
n
(z z
0
)
n
+
+
n=1
a
n
(z z
0
)
n
avec :
a
n
=
1
2i
_
1
f(w)
(w z
0
)
n+1
dw
et
a n =
1
2i
_
2
f(w)(w z
0
)
n1
dw =
1
2i
_
2
f(w)(w z
0
)
n1
dw
La fonction f(z) se dveloppe donc en srie de Laurent. Ce rsultat est connu sous le nom de thorme
de Pierre Laurent :
Thorme Une fonction f(z) holomorphe dans une couronne r
2
< [z[ < R
1
est gale dans la couronne
la somme dune srie entire en z z
0
et dune srie entire en
1
zz0
de sorte que la premire converge
sur un disque de rayon R
1
et que la seconde converge sur lextrieur du disque de rayon R
2
.
Daprs les calculs faits, on voit que le dveloppement en srie de Laurent est unique puisque on a
calcul la valeur des coecients en fonction de f.
Singularits des fonctions de la variable complexe
+
n=0
a
n
(zz
0
)
n
est une srie entire de la variable (zz
0
). Elle est appele partie entire ou rgulire
de la fonction (cest une fonction holomorphe).

+
n=1
a
n
(z z
0
)
n
est une srie entire de la variable
1
zz0
. Cest une fonction qui nest pas dnie au point z
0
. Elle est appele partie singulire de f(z).
Considrons maintenant lensemble des coecients a n non nuls de la partie singulire de f et m le
plus grand des indices de ces coecients non nuls :
m = sup
n1
a
n
,= 0
Si m est ni, alors la fonction (zz
0
)
m
f(z) est holomorphe au vosinnage de z
0
. z
0
est une singularit
dordre m de f. On parle galement de ple dordre m.
Si m et inni, alors on dit que z
0
est un point singulier essentiel de f.
SI une fonction nadmet comme singuilarit que des ples, alors on parle de fonction mromorphe.
2.5 Le thorme des rsidus
2.5.1 Remarque prliminaire
Evaluons la valeur de lintgrale
_
dz
z
n
pour toute valeur de n entire non nulle (pour n = 0 lintgrale est nulle puisque la fonction intgrer est
holomorphe partout) et pour tout lacet enserrant lorigine O du plan. De tels lacets sont homotopes
des cercles de centre 0 et de rayon r > 0. On peut donc choisir dintgrer sur des cercles pour lesquels :
z = re
i
. Il vient :
_
dz
z
n
=
_
2
0
rie
i
d
r
n
e
in
_
dz
z
n
= ir
1n
_
2
0
e
i(n1)
d
La dernire intgrale est nulle sauf pour n = 1 pour laquelle :
_
dz
z
= 2i
2.5.2 Enonc du thorme
La remarque faite ci-dessus a une consquence remarquable si on le combine avec le thorme de
Laurent. Considrons un lacet simple contenu dans la couronne de convergence dune srie de Laurent
f(z) =

+
n=
a
n
(z z
0
)
n
. On suppose que entoure le petit disque de la couronne de convergence (de
sorte que
1
,
2
et sont homothopiques dans la couronne de convergence). On suppose que est orient
dans le sens direct.
2.5. Le thorme des rsidus 41
Calculons maintenant lintgrale de f(z) le long de :
_
f(z)dz =
+
n=0
a
n
_
(z z
0
)
n
dz +
1
n=
a
n
_
(z z
0
)
n
dz
+
n=0
a
n
(z z
0
)
n
dnie une fonction holomorphe sur tout le disque de rayon R
1
donc sur le domaine
intrieur , donc, daprs le thorme de Cauchy, lintgrale le long de est nulle.
_
f(z)dz =
1
n=
a
n
_
(z z
0
)
n
dz =
+
n=1
a
n
_
1
(z z
0
)
n
dz
Or, le seul terme non nul de cette dernire somme est celui pour lequel n = 1 :
_
f(z)dz = a
1
_
1
z z
0
dz = 2ia
1
Ainsi, lintgrale de f ne dpend que du coecient a
1
. Ce coecient est appel rsidu de la fonction f.
Ce rsultat est d Cauchy. Il permet de concevoir des mthodes de calcul simples pour de nombreuses
intgrales (complexes ou relles). Lide est la suivante : lunicit du dveloppement en srie de Laurent
garantit que le coecient a
1
est toujours simple calculer puisque toute mthode pourra convenir...
Dans le cas o le lacet enserre plusieurs singularits de la fonction intgrer, alors ce rsultat
snonce sous une forme tendue comme suit :
Thorme des rsidus Soit f une fonction de la variable complexe dnie de C vers C. Soit
: I R C un lacet tel que (I) (ce qui exclut que la trajectoire de puisse passer par
des singularits de la foncion f). On note z
0
, z
1
, z
2
...z
N
les singularits de la fonction f enserrs par la
trajectoire du lacet . Alors :
_
f(z)dz = 2i
N
n=0
ind(, z
n
)Res(f, z
n
)
o Res(f, z
n
) dsigne le coecient a
1
du dveloppement en srie de Laurent de la fonction f au voisin-
nage du point z
n
.
2.5.3 Calcul des rsidus
Nous avons vu que le rsidu de la fonction f au point z
0
est dni par :
a
1
=
_
f(z)dz
Lorsque la singularit z
0
est un ple (cest--dire que le nombre de coecients ngatifs non nuls est
ni), alors il est possible de calculer le rsidu de la fonction en ce point trs simplement (et en vitant le
calcul de lintgrale ci-dessus) :
Si z
0
est un ple simple (m = 1), alors le dveloppement en srie de Laurent de f au voisinnage de
z
0
a pour forme :
f(z) = h(z) +
a
1
z z
0
avec h holomorphe au vosinnage de z
0
. Par consquent :
a
1
= lim
zz0
(z z
0
)f(z)
Si z
0
est un ple double (m = 2), alors le dveloppement en srie de Laurent de f au voisinnage de
z
0
a pour forme :
f(z) = h(z) +
a
1
z z
0
+
a
2
z z
0
2
avec h holomorphe au vosinnage de z
0
. Par consquent :
a
1
= lim
zz0
d
dz
[(z z
0
)
2
f(z)]
On montre par rcurrence que, plus gnralement, si z
0
est un ple dordre m, alors :
a
1
= lim
zz0
1
(n 1)!
d
n1
dz
n1
[(z z
0
)
n
f(z)]
43
Chapitre 3
La transformation de Fourier
3.1 Introduction
3.1.1 Comment Fourier a rsolu lquation de la chaleur
Lquation de la chaleur en une dimension est donne par lquation aux drives partielles suivante :
u
t
(x, t) = c
2
u
x
2
(x, t)
o c > 0 est une constante donne, u une fonction inconnue relle de deux variables relles x et t. Cette
fonction u = u(x, t) reprsente la temprature dans un conducteur de dimension 1. Lquation de la
chaleur est lexemple le plus simple dquation parabolique : en eet, si on applique loprateur de la
chaleur aux fonctions u : (x, t) e
t+x
on obtient :
u
t
(x, t) c
2
u
x
2
(x, t) = ( c
2
)e
t+x
= 0
cest--dire = c
2
qui reprsente une parabole.
Vers 1802-1804, Jean-Baptiste Joseph Fourier (1768-1830) trouva lquation de propagation de la
chaleur dans les corps solides. En 1807, sinspirant dune mthode dj propos par Daniel Bernoulli pour
rsoudre lquation des corps vibrantes, Joseph Fourier propose une solution de rsolution de lquation
de la chaleur. Le principe est ce quon appelle aujourdhui lanalyse de Fourier : remplacer une fonction
unique mais complique et dicile dcrire mathmatiquement par une srie beaucoup plus maniable
de fonctions trigonomtriques dont la somme quivaut la fonction initiale :
u(x, t) =
+
n=0
a
n
(t)cos(nx) +
+
n=0
b
n
(t)sin(nx)
En appliquant loprateur de la chaleur la srie, il vient :
+
n=0
a
n
(t)cos(nx) +
+
n=0
b
n
(t)sin(nx) = c[
+
n=0
(n)
2
a
n
(t) cos(nx) +
+
n=0
(n)
2
b
n
(t) sin(nx)]
En identiant les deux coecients de la srie, on voit que ceux-ci doivent satisfaire les quations
a
n
(t) = (n)
2
a
n
(t) et b
n
(t) = (n)
2
b
n
(t)
44 3. La transformation de Fourier
pour tous les indices n.
La rsolution de ces deux quations est immdiate :
a
n
(t) = a
n
(0)e
(n)
2
t
et b
n
(t) = b
n
(0)e
(n)
2
t
On le voit ici, la clef de la mthode de Fourier-Bernoulli est que la drivation des fonctions trigono-
mtriques quivaut ) une multiplication par une constante. On peut procder ainsi avec nimporte quel
oprateur direntiel et il est alors plus commode dutiliser les fonctions expoinentielles complexes au
lieu des fonctions trigonomtriques.
Le problme pos se rsoud donc simplement en deux tapes :
Ecrire la fonction u
0
(x) = u(x, 0) (qui est une fonction donne a priori dnissant les conditions
aux limites de lquation de la chaleur) sous la forme dune srie trigonomtrique :
u
0
(x) =
+
n=0
a
n
(0)cos(nx) +
+
n=0
b
n
(0)sin(nx)
substituer dans
a
n
(t) = a
n
(0)e
(n)
2
t
et b
n
(t) = b
n
(0)e
(n)
2
t
les coecients ainsi obtenus ce qui donne :
u(x, t) = [
+
n=0
a
n
(0)cos(nx) +
+
n=0
b
n
(0)sin(nx)]e
(n)
2
t
Au del de la rsolution du problme de lquation de la chaleur, la vritable dcouverte de Fourier est
davoir propos la reprsentation de la fonction u
0
(x) sous la forme dune somme se fonctions trigonom-
trique et davoir propos une solution simple de calcul des coecients intervenant dans la reprsentation.
Autrement dit, la vritable dcouverte est la suivante : considrant une fonction f(x) donne, si on pose
pour tout n entier strictement positif
a
n
=
1
_
2
0
f(x) cos nxdx et b
n
=
1
_
2
0
f(x) sin nxdx
et pour n = 0
a
0
=
1
2
_
2
0
f(x)dx
alors, f(x) est la somme de la srie
+
n=0
a
n
cos nx +b
n
sin nx
Cette srie sappelle la srie de Fourier de f(x).
Cet nonc soulve toutefois quelques questions et notamment : quel est le sens prcis de larmation
"f(x) est la somme de la srie" ? Aprs les travaux de Fourier, de nombreux mathmaticiens tudirent les
conditions de validit de cette armation. Cette maturation stend jusquau milieu du vingtime sicle.
Voici quelques uns des rsultats remarquables tablis dans ce domaine :
Dirichlet a montr que la convergence de la srie

+
n=0
a
n
cos nx+b
n
sin nx vers f(x) est assure
si f est continue sur lintervalle [0, 2] avec f(0) = p[2] et si f est continue par morceaux sur cet
intervalle (ces conditions portent le nom de conditions de Dirichlet).
3.2. Dveloppement en srie de Fourier 45
Cesaro a montr que la suite
1
N
N
n=0
a
n
cos nx + b
n
sin nx converge vers f(x) si f est continue
sur lintervalle [0, 2] ou si f(0) = f[2] (sans autre condition).
Dautres types de convergence savrent utiles telles que la convergence en moyenne quadratique (qui
imposent moins de conditions sur la fonction f(x) que les prcdentes) ou encore la convergence au
sens des distributions. Encore aujourdhui, lanalyse de Fourier reste, pour des problmes de convergence,
inapplicable certaines fonctions inhabituelles par exemple celles qui possdent un nombre inni de sauts
innis sur un intervalle ni. De vastes domaines nouveaux des mathmatiques ont t dvelopps partir
de ces recherches pour savoir si la srie de Fourier de telle ou telle fonction est convergente. Un exemple en
est la thorie des fonctions gnralises ou distributions laquelle sattachent les noms de George Temple
et Laurent Schwartz. Aprs environ deux sicles de dveloppement, la thorie de lanalyse de Fourier est
prsent solidement structure et bien comprise.
3.1.2 Lanalyse de Fourier ou analyse harmonique
Les systmes linaires sont caractriss par le fait que toute combinaison linaire de solution est encore
solution ce qui permet de fonder lanalyse dans une structure despace vectoriel. Lanalyse de Fourier
consiste alors dcomposer une fonction inconnue f dans une base de fonctions connues an dtudier
comment linformation porte par f se rpartie entre les direntes fonctions de rfrence. Nous verrons
que le thoprme de Parseval permet dinterprter le carr du module des coecients de la dcomposition
en termes de densit dnergie.
Lanalyse de Fourier a un rle majeur en physique pour ltude et la conception de systmes linaires.
Simplier un signal par exemple peut se dnir comme une opration qui va liminer une partie de
linformation au sens frquentiel, cest--dire liminant la partie du signal correspondant certaines
frquences : on peut ainsi slectionner dans

f() certaines frquence conserver et liminer les autres.
Une telle action correspondrait une multiplication de

f() par une fonction valant 0 ou 1 selon les
frquences. Comment maintenant interprter une opration de ce type dans le domaine temporel ? Nous
verrons que cette opration quivaut une convolution temporelle.
3.2 Dveloppement en srie de Fourier
Lexistence dun dveloppement en srie de Fourier nest pas assur dans tous les cas. Un cas parti-
culirement simple ne posant pas de dicult est celui des fonctions priodiques que nous examinons ici.
Une fonction priodique f est telle quil est possible de trouver T tel que
f(t +T) = f(t)
et la priode dune telle fonction f est le plus petit T satisfaisant cette relation. En physique, on parle
galement de frquence =
1
T
et de pulsation =
2
T
. =
1
T
est la frquence dite fondamentale. Les
multiples n sont appels harmoniques.
On connat deux fonctions priodiques lmentaires : les sinus et les cosinus. Pour une priode T
donne, on peut construire deux familles de signaux trigonomtriques priodiques de priode T :
les signaux cos(2n
t
T
) pour tout n entiers
les signaux sin(2n
t
T
) pour tout n entiers
ou bien considrer la famille quivalente des signaux complexes e
2in
t
T
pour tout n entier.
Ces signaux lmentaires jouent un rle majeur dans le monde rel. En musique par exemple, un
modle mathmatique n du LA du diapason est une sinusoide de frquence 440Hz. Ce modle est certes
incomplet (il ne parvient pas direntier un LA jou par un piano dun LA jou par une trompette) mais
sut coder linformation de hauteur de la note (la frquence). Les musiciens connaissent ce code depuis
fort longtemps ; il est la base de la transcription de la musique sur les portes musicales. Ainsi toute
note de musique lmentaire correspond une sinusode dune frquence donne et vice versa. Passons
maintenant aux signaux musicaux complexes : plusieurs notes sont joues simultanment. Un modle
mathmatique cohrent consiste en une combinaison linaire des signaux lmentaires ; les pondrations
correspondant aux direntes amplitudes associes chaque note lmentaire.
Du point de vue des mathmatiques, le modle propos est simple : il consiste dcomposer un
signal complexe en une somme pondre de signaux sinusoidaux. On suppose donc quon volue dans un
structure despace vectoriel stable par combinaison linaire dont les fonctions sinusoidales forment une
base orthonorme.
3.2.1 Dnition
Considrons lespace L
2
constitu de toutes les fonctions f(x) (o x est une variable relle) telles que
lintgrale
_
2
0
[f(x)[
2
dx
converge.
On parle galement pour dsigner cette intgrale de norme L
2
. Les fonctions de L
2
sont dites de carr
intgrable.
Considrons lintgrale suivante :
_
2
0
[f(x)
N
n=0
a
n
cos(nx) +b
n
sin(nx)[
2
dx
La convergence de cette intgrale vers 0 lorsque N tend vers linni, dni ce que lon appelle la
convergence en moyenne quadratique de la srie et donc lexistence dun dveloppement en srie de
Fourier sous rserve que les sries

N
n=0
[a
n
[
2
et

N
n=0
[b
n
[
2
soient convergentes. De plus, si lintgrale
_
2
0
[f(x)[
2
dx converge, alors la srie converge vers f(x). Lgalit sera alors vraie partout sauf peut tre
en un ensemble discret de valeurs de x. Pour comprendre cette ide, on pourra se rfrer lexemple
trait un peu plus loin de la fonction porte priodise qui prsente des points de discontinuit o lgalit
nest pas vrie.
La restriction L
2
permet donc de se restreindre un ensemble de fonctions orant des conditions
simples dexistence dun dveloppement en srie de Fourier.
Considrons maintenant lespace L
2
p
, ensemble des fonctions priodiques de L
2
. Les fonctions sinusoi-
dales (cest--dire les exponentielles complexes) appartiennent L
2
p
. Plus encore, on montre que la famille
des fonctions complexes S =
_
exp
j2nf
_
n
forme une base de L
2
p
. De fait, toute fonction f
p
(t) de L
2
p
peut
se mettre sous la forme :
f
p
(t) =
n=+
n=
c
n
e
2inft
(3.1)
f =
1
T
est la frquence de f
p
(t). Les coecients c
n
reprsentent les coordonnes de f
p
(t) dans la base S.
Ils sont appels les coecients de la srie complexe de Fourier.
Remarque : Il est toujours possible mathmatiquement de choisir une autre base de L
2
p
pour aboutir
une autre dcomposition de la fonction f
p
(t). Le choix dune base ou dune autre va essentiellement
tre lie linterprtation physique qui lui est associe. Lanalyse de Fourier se justie physiquement par
le rle signicatif jou par la notion de frquence.
Lquation 3.1 est appele quation de synthse car elle permet de synthtiser nimporte quel signal
partir dun jeu (ventuellement inni) de signaux lmentaires. Le signal ainsi constitu est intgralement
dni par le biais des coecients c
n
.
Le signal f
p
(t) tant x, le calcul des coecients de la dcomposition c
n
seectue simplement par
projection de f sur la nime composante de la base S (de la mme faon que labscisse dun vecteur
sobtient par projection du vecteur sur laxe (Ox)). Dans lespace vectoriel de fonctions L
2
p
des fonctions
T-priodiques, le produit scalaire usuel est le suivant :
< f, g >=
1
T
_
+
T
2
T
2
f(t)g(t)dt
On notera que le produit scalaire est inchang quelque soit lintervalle dintgration choisi pourvu que
celui-ci soit de longueur gale une priode T. On notera :
< f, g >=
1
T
_
T
f(t)g(t)dt
On a alors
c
n
=< f, e
2inft
>=
1
T
_
T
f(t)e
2inft
dt (3.2)
3.2.2 Thormes de convergence
Thorme de convergence ponctuelle Si f est T-priodique, continue au point x
0
et drivable
gauche et droite en x
0
, alors la srie de Fourier de f en x
0
converge vers f(x
0
) :
n=+
n=
c
n
(f)e
inx0
2
T
= f(x
0
)
Si f nest pas continue au point x
0
mais si f est variation borne sur un voisinnage de x
0
, alors il
faut remplacer f(x
0
) par la valeur moyenne des valeurs de f en x
0
:
n=+
n=
c
n
(f)e
inx0
2
T
=
f(x
+
0
) +f(x
0
)
2
Ce rsultat est connu sous le nom de thorme de Dirichlet.
Thorme de convergence uniforme Sur tout intervalle ouvert I de R o f est continment dri-
vable, la srie de Fourier de f converge uniformment vers f.
Convergence en moyenne quadratique Cette converge dsigne la convergence pour la norme her-
mitienne [[ [[
2
=
_
_
T
0
[f(t)[
2
dt qui en physique dinterprte comme une puissance. On montre (voir
paragraphe suivant) que la srie de Fourier dune fonction converge vers cette fonction au sens de la
norme hermitienne. Cest le thorme de Parseval. Il indique que la reprsentation en srie de Fourier est
une reprsentation sans perte (il y a prservation de la puissance). Nous y reviendrons.
3.2.3 Proprits
Si f est valeurs relles alors c
n
= c
n
. En eet :
c
n
=< f, e
2nft
>=
1
T
_
T
f(t)e
2inft
dt =
1
T
_
T
f(t)e
2inft
dt =
1
T
_
T
f(t)e
2inft
dt = c
n
La prsente dcomposition crite laide de lexponentielle complexe est quivalente celle crite
laide des fonctions trigonomtriques dans le cas des signaux rels. Il sut dcrire :
f
p
(t) =
n=+
n=
c
n
(cos(2nft) +i sin(2nft))
f
p
(t) =
n=+
n=0
c
n
(cos(2nft) +i sin(2nft)) +
n=1
n=
c
n
(cos(2nft) +i sin(2nft))
f
p
(t) =
n=+
n=0
c
n
(cos(2nft) +i sin(2nft)) +
n=+
n=1
c
n
(cos(2nft) i sin(2nft))
f
p
(t) = c
0
+
n=+
n=1
(c
n
+c
n
) cos(2nft) +i(c
n
c
n
) sin(2nft)
Or, nous avons vu prcdemment que si f est rel, c
n
= c
n
donc c
n
+c
n
= c
n
+c
n
= 2'(c
n
) et
c
n
c
n
= c
n
c
n
= 2i(c
n
).
La relation prcdente scrit donc :
f
p
(t) = c
0
+
n=+
n=1
2'(c
n
) cos(2nft) 2(c
n
) sin(2nft) =
n=+
n=0
a
n
cos(2nft) +b
n
sin(2nft)
a
0
= c
0
, n 1, a
n
= 2'(c
n
) = c
n
+c
n
, b
n
= 2(c
n
) = i(c
n
c
n
)
c
0
= a
0
, n 1, c
n
=
a
n
ib
n
2
c
0
= a
0
est la valeur moyenne de f. En eet :
c
0
= a
0
=
1
T
_
T
f(t)dt
c
0
= a
0
est appele la composante continue du signal (valeur DC).
c
1
e
2ift
+c
1
e
2ift
est appele la composante fondamentale du signal ou encore premire harmo-
nique.
c
n
e
2ift
+c
n
e
2ift
est appele la nime harmonique du signal.
Pour visualiser les coordonnes c
n
du dveloppement en srie de Fourier dune fonction, on recourt
gnralement la reprsentation polaire :
c
n
= [c
n
[e
in
Et on reprsente lamplitude et la phase des coecients en fonction de lindice n. La reprsentation
de lamplitude est le spectre damplitude et celle de la phase est le spectre de phase. Comme n prend
des valeurs discrtes, on dit que les spectres sont des spectres de raies.
On remarque de plus que si f est relle alors c
n
= c
n
par consquent : le spectre damplitude
est pair et donc symtrique par rapport laxe des ordonnes et le spectre de phase est impair
et donc symtrique par rapport lorigine. Pour cette raison, on se contente trs souvent de la
reprsentation des coecients associs aux indices positifs.
La fonction priodique relle f est paire si et seulement si les coecients c
n
sont rels et pairs. En
eet :
c
n
=
1
T
_
T
f(t)e
2inft
dt =
1
T
_ T
2
T
2
f(t)e
2inft
dt
et f est paire si et seulement si f(t) = f(t) donc :
c
n
=
1
T
_ T
2
0
f(t)[e
2inft
+e
2inft
]dt
c
n
= 2
1
T
_ T
2
0
f(t) cos(2nft)dt
Ce qui implique que c
n
est rel et pair.
Rciproquement, si les coecients c
n
sont rels et pairs, alors a
n
= 2c
n
et b
n
= 0.
f(t) =
n=+
0
2c
n
cos(2nft)
donc f est paire puisque la fonction cosinus lest.
De la mme faon, la fonction priodique f est impaire si et seulement si les coecients c
n
sont
imaginaires purs et impairs.
Exemples : On considre le signal porte priodise de priode T, de dure < T centre en t
0
,
damplitude A not A
T
(t t
0
) et dni comme suit :
_
_
_
t [t
0

2
, t
0
+

2
], A
T
(t t
0
) = A
t [t
0

T
2
, t
0

2
] [t
0
+

2
, t
0
+
T
2
], A
T
(t t
0
) = 0
A
T
(t +T) = A
T
(t)
Calculons les coecients de la srie de Fourier de A
T
(t t
0
) :
c
n
=
1
T
_
T
A
T
(t t
0
)e
2i
n
T
t
dt =
1
T
_
t0+
2
t0
2
Ae
2i
n
T
t
dt =
A
T
[
e
2i
n
T
t
2i
n
T
]
t0+
2
t0
2
=
A
T
e
2i
n
T
t0
sin(
n
T
)
n
T
c
n
=
A
T
sin
c
(
n
T
)e
2i
n
T
t0
o sin
c
est le sinus cardinal dni par : sin
c
(x) =
sin x
x
si x est dirent de 0 et sin
c
(0) = 1. Etant donn
limportance de la fonction porte en physique (la troncature dun signal correspond une multiplication
dun signal par une fonction porte), ce rsultat devra tre mmoris. De fait galemement, la fonction
sinus cardinal va jouer un rle signicatif par la suite. Une tude de cette fonction et de ses proprits
sera eectue en sance de travaux dirigs.
Enn, remarquons sur cet exemple que le point t
0
+

2
est un point de discontinuit puisque la fonction
ne prend pas la mme valeur droite et gauche en ce point (elle vaut 0 ou A). Or, en ce point la srie
prend la valeur

n
A
T
sin
c
(
n
T
) qui est dirente de 0 et de A. Cet exemple illustre une remarque faite
prcdemment concernant les conditoions dagalit entre f et sa srie de Fourier : lgalit vaut partout
sauf en certains points isols de discontinuit de la fonction.
3.2.4 Thorme de Parseval
Nous avons vu prcdemment que le dveloppement en srie de Fourier, dans le cas des fonctions p-
riodiques est une reprsentation exacte du signal, cest--dire que connatre f est quivalement connatre
les coecients c
n
. Physiquement cela signie que la quantit dinformation contenue dans f est gale
celle contenue dans les c
n
. Autrement dit, lnergie ou la puissance du signal f peut tre mesure di-
rectement sur f (dans le domaine temporel) ou bien partir de ses coecients c
n
. Ceci sexprime plus
gnralement dans le thorme de Parseval :
Theorme de Parseval Soit une fonction priodique f
p
(t) de L
2
cest--dire une fonction de puissance
nie) et soit T la priode f
p
(t). On suppose que f
p
admet un dveloppement en srie de Fourier et on
note c
n
les coecient de ce dveloppement. Alors :
1
T
_
T
[f
p
(t)[
2
dt =
+
[c
n
[
2
La quantit
1
T
_
T
[f
p
(t)[
2
dt correspond la puissance moyenne P du signal f
p
. On notera au passage
que P = [[f
p
(t)[[
2
. Cette remarque nous fournit une interprtation physique de sfonctions de carr int-
grable : ce sont les fonctions de puissance nie. Ceci nous explique pourquoi on sintresse cette notion
mathmatique.
Preuve Nous avons dit prcdemment que les fonctions exponentielles forment une base de L
2
p
. Par
consquent, al norme dune focntion dans cette base peut tre calcule partir de ses coordonnes dans
cette base. En eet, la proprit est similaire celle bien connue dans lespace deux dimensions o la
norme de tout vecteur

OM se calcul partir de ses coordonnes : [[
OM[[
2
= x
2
+y
2
.
Nous avons vu que la puissance P =
1
T
_
T
[f
p
(t)[
2
dt correspond la norme (au carr) de la fonction f
dans L
2
p
par consquent, cette norme se calcule partir des coordonnes de f dans L
2
p
: P =

+
[c
n
[
2
Le thorme de Parseval fournit une interprtation physique essentielle des coecients c
n
. Dun ct,
P =
1
T
_
T
[f
p
(t)[
2
dt =
1
T
_
T
p(t)dt o p(t) est la puissance instantanne. [f
p
(t)[
2
correspond donc
la densit temporelle de puissance. Dun autre ct, P =

+
[c
n
[
2
et [c
n
[
2
correspond donc une
Densit frquentielle (ou Spectrale) de Puissance (on parle de DSP). Lorsquon reprsente la variation de
[c
n
[
2
en fonction de n, la reprsentation porte le nom de spectre de puissance. Cest le carr du spectre
3.3. Transformation intgrale de Fourier 51
damplitude. On accde ainsi une reprsentation de la contribution de chaque frquence la puissance
globale du signal : la puissance associe la nime harmonique vaud : [c
n
[
2
+[c
n
[
2
.
Exemple : Soit f
p
(t) = 4 + 2cos(3t). Calculons sa puissance de deux manires direntes.
A partir de la reprsentation temporelle, on a :
P =
1
T
_
T
[f
p
(t)[
2
dt =
1
T
_
T
[4 + 2 cos(3t)[
2
dt =
1
T
_
T
[16 + 16 cos(3t) + 4 cos
2
(3t)]dt
P =
1
T
_
T
[16 + 16 cos(3t) + 2 + 2 cos(6t)]dt = 16 + 2 = 18
A partir de la reprsentation frquentielle :
f
p
(t) = 4 + 2cos(3t) = 4 +e
3it
+e
3it
f
p
est priodeique de priode
2
3
. Donc c
0
= 4, c
1
= 1 et c
1
= 1 et c
n
= 0 sinon. Par consquent,
on a directement :
P = 4
2
+ 1
2
+ 1
2
= 18
3.2.5 Vitesse de convergence de la Srie de Fourier
Dans la pratique, la synthse par ordinateur dune fonction partir des coecients de sa srie de
Fourier ncessite de calculer une somme sur un nombre ni de termes. Cest--dire quau lieu de calculer
c
n
e
2inft
, on calcule

+N
N
c
n
e
2inft
. Toute la question est dvaluer lerreur commise part cette
troncature. En dautres termes, il sagit de savoir combien de termes il faut prendre pour que le rsultat
atteigne une certaine abilit. Ceci mesure ce quon appelle la vitesse de convergence.
La vitesse de convergence dne srie est value par comparaison aux puissances de
1
n
. On peut ainsi
montrer que si la fonction nest pas continue alors la vitesse de convergence de la srie est celle de
1
n
. Si
la fonction est continue mais non drivable alors la vitesse de convergence de la srie est celle de
1
n
2
. Si
la fonction est continue, drivable mais non drivable deux fois alors la vitesse de convergence de la srie
est celle de
1
n
3
.
Exemple Etudier la vitesse de convergence de la srie de Fourier pour la fonction porte priodise.
3.3 Transformation intgrale de Fourier
La thorie de la transformation intgrale de Fourier est dicile. On se contentera ici den donner
une version simplie, en omettant volontairement certaines subtilits mathmatiques importantes mais
trop complexes dans le cadre dun cours de Licence en sciences de lingnieur. Une part importante des
dicults vient du fait que la transformation de Fourier ne conserve pas les proprits des fonctions ,
notamment en termes dintgrabilit. Ltudiant trouvera dans la partie bibliographie des rfrences de
livres plus complets sur ce sujet.
3.3.1 Passage aux fonctions non priodiques
La transformation de Fourier gnralise lide du dveloppement en srie de Fourier au cas des fonctions
non priodiques. Un fonction non priodique peut tre vue comme une fonction priodique de priode
innie (un seule motif de support inni qui ne se reproduit qu linni...) Dans le cas dune priode innie,
les expressions utilises pour gnrer les coecients de Fourier dans le cas dune fonction priodique de
priode nie, ne sont plus valables.
Lorsque la priode T est nie, on cherche une dcomposition des fonctions de la forme
n=+
n=
c
n
e
2i
n
T
x
o
n
T
sont des frquences discrtes multiples de la frquence fondamentale
1
T
. Lorsque la priode T devient
innie, lcart entre deux frquences
n
T
et
n+1
T
qui vaut
1
T
diminue et lensemble des frquences
n
T
devient
un ensemble dense de valeurs. Ceci revient dnir les frquences analyses dans un ensemble continu, la
dirence entre deux frquences successives jouant le rle dun incrment. La somme discrte

n=+
n=
devient une somme continue
_
+
et la solution est recherche sous la forme

_
+
c()e
2ix
d
On note plus volontiers,

f() les coecients c() de cette dcomposition.
f() =
_
+
f(t)e
2ix
dt
Remarque : Rciproquement, si on discrtise cette dernire intgrale en considrant de petits intervalles
de taille
2
T
, alors, on obtient la somme de Rieman. Autrement dit, lintgrale continue est bien la limite
de la somme discret pour des intervalles inniment petits.
En considrant maintenant la pulsation = 2 et non plus la frquence, il vient :
f(t) =
_
+
f()e
2ix
d =
1
2
_
+
f()e
ix
d
Cette introduction trs intuitive pose en fait la question dune dnition dune transformation intgrale
de type

f() =
_
+
f(t)e
2ix
dt permettant de reprsenter toute fonction f par ses coecients

f()
dans la base des fonctions exponentielles e
ix
.
Remarque : En traitement du signal, la variable frquence est de loin la plus utilise. En eet, cest
ainsi quon obtient la meilleure symtrie des relations entre f et

f. Selon le contexte, cette dnition
pourra tre adapte (signalons par exemple la mcanique quantique o la transformation de Fourier est
dnie par :
1
2
_
+
f(x)e
x
dx).
3.3. Transformation intgrale de Fourier 53
3.3.2 Lintgrale de Fourier
La transformation qui une fonction f(x) donne associe

f() est appele transforme de Fourier de
f. On a, par dnition :
f() =
_
+
f(x)e
2ix
dx
et la transformation inverse vaut (ce rsultat sera admis)
f(x) =

f(x) =
_
+
f()e
+2ix
d
Les quations que nous venons dintroduire de manire intuitive valent pour les fonctions de carr
intgrable, cest--dire les fonctions de L
2
. Dans cet ensemble, lopration
_
f(t)g(t)dt reprsente un
produit scalaire entre f et g.
_
f(t)
2
dt est une norme (cest la norme L
2
, note [[ [[
2
).
Comme dans le cas des sries, le signal f est dcompos en signaux exponentiels lementaires. Ici, la
base nest plus discrte mais continue. La fonction

f() fournit le contenu frquentiel de f. Lintgrale
de Fourier est bien encore un outil de passage du domaine temporel au domaine frquentiel.
Nous verrons dans la partie consacre aux distributions quil est possible de dnir lintgrale de
Fourier des fonctions priodiques ; le cadre des distributions permettra donc duniformiser les concepts
utiliss dans les cas priodiques et non priodiques.
Exemple Considrons lexemple de la fonction porte (mais cette fois-ci non priodise) :
f(t) = A(t t
0
) =
_
1 si t [t
0

2
, t
0
+

2
]
0 sinon
On associe f(t) une fonction

f() dnie par :
f() =
_
+
f(t)e
2it
dt
Ici, cette intgrale se simplie en :
f() =
_
t0+
2
t0
2
Ae
2it
dt
Lexistence de cette intgrale ne pose aucune dicult puisque le support de la fonction f est ni. Par
consquent

f() existe pour toute les frquences et on a :
f() = A[
e
2it
2i
]
t0+
2
t0
2
= A[
e
2i(t0+
2
)
e
2i(t0
2
)
2i
] = Ae
2it0
[
e
2i

2
e
2i

2
2i
]
Finalement :
f() = Ae
2it0
sin()
= Ae
2it0
sin
c
()
On pourra comparer ce rsultat aux coecients de la srie de Fourier obtenus dans le cas de la porte
priodise.
3.3.3 Proprits de lintgrale de Fourier
Les proprits de lintgrale de Fourier seront tudies dans le cadre plus gnral de la transformation
de Laplace. Dune manire gnral, le passage du cas discret au cas continu prserve les proprits nonces
concernant les signaux rels, pairs et impairs.
De la mme faon, le thorme de Parseval-Plancherel vaut encore mais son nonc est adapt au cas
des fonctions continues. Ainsi, en supposant que toutes les intgrales considres convergent, alors :
_
+
f(t)g(t)dt =
_
+
f() g()d
Ainsi, en particulier,
_
+
[f(t)[
2
dt =
_
+
f()[
2
d
Les deux termes reprsentent deux expressions direntes dune mme nergie. [f(t)[
2
est une densit
temporelle dnergie et [
f()[
2
est une densit frquentielle (on dira galement spectrale) dnergie.
Enn, une dernire remarque trs importante dans les applications physiques de la transformation de
Fourier est la suivante : si le signal f est de dure nie (ce qui est le cas des signaux physiques), alors sa
transforme de Fourier

f est partout dnie et son support est inni (cf. lexemple du signal porte donn
prcdemment). Les deux notions tant duales, si un signal admet une transforme de Fourier ayant un
support ni, alors le signal est de dure innie.
Enn, nous avons vu que le spectre dun signal priodique est un spectre de raies puisquil nest dni
que pour certaines frquences multiples de la frquence propre du signal. Dans le cas des signaux non
priodiques, le spectre est continu.
55
Chapitre 4
La Transformation de Laplace
Tout systme linaire et invariant dans le temps est rgi par une quation aux drives, linaire,
coecients constants, ou bien, de manire quivalente, par une quation de convolution. La modlisation,
lanalyse, la conception ou la commande dun systme suppose donc dtre cappable dextraire de ces
reprsentations mathmatiques des connaissances sur les comportements physiques des systmes (rponse
des signaux de rfrence, comportement dynamique, asymptotique...)
Comme la transformation de Fourier, lide de la transformation de Laplace est de transformer le
produit de convolution en un produit plus simple : la multiplication. En outre, la transformation de
Laplace est particulirement adapte pour ltude de la dynamique des systmes supposs dans un tat
connu un instant donn (qui est choisi comme origine des temps). Cette situation est trs courante en
physique : on part dun tat hors quilibre, et lon sintresse la manire avec laquelle le systme rejoint
une position dquilibre. Dans cette situation, le problme est de rsoudre lquation dcrivant lvolution
dune grandeur f et den obtenir lexpression, f(t), chaque instant t postrieur lorigine des temps. La
reprsentation de Fourier sintresse au rgime stationnaire (encore appel rgime permanent ou forc).
Ce rgime sobtient en rejetant linstant initial inniment loin dans le pass (orrigine des temps en ).
Celle de Laplace permet danalyser les comportements (des signaux et systmes) en rgime transitoire :
lattaque des signaux.
On recourt dans de nombreux domaines tels que le traitement du signal, lautomatique ou encore
llectronique constamment lune ou lautre de ces deux transformations. En automatique par exemple,
la notion de fonction de transfert est dnie via la transformation de Laplace tandis que le trac du
diagramme de Bode relve quant lui de la transformation de Fourier.
Les transformations de Laplace et de Fourier sont toutes deux des transformations intgrales qui sin-
terprtent comme des produits scalaires de fonctions. Ces deux transformations se dmarquent dun point
de vue physique (tude des rgimes transitoires pour lune, stationnaires pour lautre) et mathmatique :
la classe des fonctions admettant une transformation de Laplace est beaucoup plus vaste que celle des
fonctions pour lesquelles lintgrale de Fourier est dnie.
La transformation de Laplace reste en physique majoritairement utilise pour pour ltude des sys-
tmes causaux ; elle sera prsente ici dans un cadre plus gnral ce qui permettra ensuite dtablir le lien
avec la transformation de Fourier. Quest-ce quun systme causal ? Dans les problmes dvolution tem-
porelle, linstant o sinitie lexprience est pris comme origine des temps et lon sintresse lvolution
56 4. La Transformation de Laplace
dune grandeur f au cours du temps postrieur cette origine des temps : t 0. Dans ces conditions,
la fonction f est inconnue pour t < 0 et sa valeur na aucune incidence pour les temps t 0. Cest
pourquoi, il est usuel de prendre f = 0 pour t < 0. Ce choix est dailleurs dict par la situation physique :
on part dun position dquilibre (vitesse nulle, poisition zro) et lon sintresse au comportement de
lobjet physique sorti de sa position dquilibre (choc mcanique, tension lectrique...)
4.1 Lintgrale de Laplace
4.1.1 Dnition
Soit c lensemble des fonctions f de la variable rlle intgrables sur tout intervalle ni de R, cest--
dire telles que I = [a, b] R,
_
I
[f(t)[dt < +. Pour les signaux causaux, I est du type [t
0
, T] (et on
posera gnralement dans ce qui suit, sans perdre en gnralit, t
0
= 0). Attention, les fonctions de c
ne sont pas forcment intgrables sur R (c ,= L
1
), seule leur restriction I est suppose intgrable. Les
fonctions f de c sont dites localement intgrables : ce sont les fonctions continues par morceaux ayant au
plus un nombre ni de discontinuits dans tout intervalle ni de R.
Dnition Soit f c. La transforme de Laplace au point p C est dnie, lorsque cette intgrale
existe, par :
F(p) = L(f)(p) =
_
+
f(t)e
pt
dt
o p est une variable complexe.
Remarques :
Nous avons vu en TD que les signaux exponentiels complexes p e
pt
, p C sont des fonctions
propres des systmes de convolution.
La transformation de Laplace associe toute fonction f de la variable relle une autre fonction F
de la variable complexe. f est appele originale et F est appele image ou transforme de f. f est
a priori valeurs relles et F prend des valeurs complexes.
Homognit : si t est un temps, alors p sinterprte comme linverse dun temps (une pulsation par
exemple).
Reprsentation sans perte : pour que la transformation L soit exacte ou sans perte, il faut et il
sut que la transformation soit bijective, cest--dire, il faut pouvoir associer de manire univoque
la fonction f la transforme F par une transformation inverse L
1
. Ce thme, linversion de la
transforme de Laplace sera lobjet du chapitre suivant.
Transforme unilatrale et transforme bilatrale Dans le cas o f est dnie sur tout laxe rel,
on parle de transformation de Laplace bilatrale. Si f est une fonction causale, en supposant que lorigine
des temps est 0, alors f(t) est suppose nulle pour tout t ngatif (cette hypothse ne fait rien perdreen
gnralit puisque ce sont les valeurs de f pour les temps positifs qui nous intressent). La transformation
est dite unilatrale et vaut :
F(p) =
_
+
0
f(t)e
pt
dt
4.1. Lintgrale de Laplace 57
Pour bien signier que f est causale, on note parfois :
F(p) =
_
+
0
f(t)H(t)e
pt
dt
o H est lchelon dHeaviside dni par :
H(t) =
_
1 si t > 0
0 si t < 0
4.1.2 Existence de L(f)
La toute premire question rsoudre est de savoir dans quelles circonstances, lintgrale de Laplace
existe. De manire vidente, en posant p = x +i, il vient
[
_
f(t)e
pt
dt[
_
[f(t)[e
xt
dt
puisque [e
pt
[ = e
xt
. Par consquent, si la transforme de Laplace de [f[ existe au point x, alors F(x+i)
existe.
Maintenant, si t est positif, x x
0
e
xt
e
x0t
. Par consquent, lexistence de F(x
0
+ i) va
garantir lexistence de F(x + i) pour tout x x
0
partir du moment o lintgrale de Laplace nest
ralise que sur des valeurs positives de t. Nous allons maintenant prciser ce point. Intgrer sur des
valeurs positives de t revient ne sintresser qu des fonctions causales (supposes nulles pour t < 0).
Cas des fonctions causales Si p = x +i, alors
[
_
f(t)e
pt
dt[
_
[f(t)e
pt
[dt
_
[f(t)[ [e
pt
[dt
_
[f(t)[e
xt
dt
Par consquent, si f est intgrable sur tout intervalle I de R (donc sur les intervalles de type [0, t
0
]) et si
on peut trouver t
0
tel que pour tout t t
0
, f(t) est majore par une exponentielle, [f(t)[ Me
x0t
, alors
[
_
+
t0
f(t)e
pt
dt[
_
+
t0
[f(t)[e
xt
dt M
_
+
t0
e
(x0x)t
dt
Lintgrale
_
+
t0
e
(x0x)t
dt converge pour tout x > x
0
et vaut [
e
(x
0
x)t
x0x
]
+
t0
=
e
(xx
0
)t
0
xx0
.
Proposition Si f est causale, alors
1. lexistence de L(f)(x
0
) implique lexistence de L(f)(p) pour tout p tel que e(p) x
0
.
2. lensemble des p pour lesquels L(f)(p) existe est donc soit vide soit un demi-plan complexe ouvert
p C[ e(p) > x
0
ou ferm p C[ e(p) x
0
. Il peut tre vide. Cest le cas par exemple de
la fonction f = e
t
2
H(t). Lorsquil nest pas vide, on appelle abscisse de sommabilit de L(f) le plus
petit nombre rel x
0
tel que L(f)(p) existe si Re(p) > x
0
et nexiste pas si Re(p) < x
0
. Il se peut
que L(f)(x
0
) existe mais il se peut aussi que L(f)(x
0
) nexiste pas.
3. si f est borne, alors L(f) existe pour tout p tel que Re(p) > 0.
4. si f est nulle hors de lintervalle [0, T], alors, L(f) existe pour tout p C.
5. si f est L
1
(0, +), alors L(f) est dnie sur laxe imaginaire. Donc, L(f) existe pour tout p tel
que e(p) 0. Sur laxe imaginaire, L(f) vaut
L(f)(i) =
_

0
f(t)e
it
dt =
_

0
f(t)e
i2t
dt
qui dsigne la transformation de Fourier de f.
Cas des fonctions non causales Si f est non causale, on peut toujours lcrire sous la forme dune
somme dune fonction causale et dune fonction anti-causale : f(t) = f(t)H(t) + f(t)H(t), o H(t)
dsigne lchelon dHeaviside. On a :
F
b
(p) =
_
+
f(t)e
pt
dt =
_
0
f(t)e
pt
dt +
_
+
0
f(t)e
pt
dt
F
b
(p) =
_
+
0
f(t)e
pt
dt +
_
+
0
f(t)e
pt
dt
F
b
existe si la T.L. unilatrale de f(t) existe au point p et si la T.L. unilatrale de f(t) existe au point p.
En notant x
0
labscisse dintgrabilit de f(t)H(t) et en notant x
1
labscisse dintgrabilit de f(t)H(t),
le domaine dexistence de la T.L. bilatrale correspond lintersection des domaines dexistences des deux
T.L. unilatrales :
D
b
= p C, e(p) > x
0
p C, e(p) > x
1
= p C, x
0
< e(p) < x
1
Il sagit donc dune bande de convergence et on notera encore une fois que, dans le cas gnral, le domaine
est partout ouvert.
Exemples
La fonction e
t
2
nadmet pas de transforme de Laplace (elle nest pas L
1
, elle nest pas dordre
exponentiel).
La fonction causale t
1
H(t) est bien d ordre exponentiel. Sa transforme de Laplace est p
. La
fonction p p
est analytique (de classe C
) sur C 0 mais la transforme de Laplace, elle,

nest convergente que pour e(p) > 0.
Soit f(t) = e
at
est croissance au plus exponentielle avec A = e(a). La calcul donne F(p) =
1
pa
et cette fonction est analytique sur tout lespace sauf en a.
Remarque : Compare la transformation de Fourier (dnie pour les fonctions de L
2
), la trans-
formation de Laplace permet de considrer une classe beaucoup plus grande de fonctions (les fonctions
localement intgrables croissance lente). En crivant les deux transformations cte--cte
L[F](p) =
_
+
f(t)e
pt
dt
et
f() =
_
+
f(t)e
2it
dt
le lien entre les deux transformations apparat clairement. On a
f() = L[F](2i = i)
4.2. Prolongement analytique de la transforme de Laplace 59
ds lors que la transformation de Laplace existence pour e(p) = 0.
On peut aussi crire, en posant p = x +i,
L[F](x +i) =
_
+
[f(t)e
xt
]e
it
dt
et voir L[F](x +i) comme la transformation de Fourier du signal f(t)e
xt
.
4.2 Prolongement analytique de la transforme de Laplace
4.2.1 Holomorphie de la transforme de Laplace
Nous avons vu que, dans le cas des fonctions causales, la transformation de Laplace est dnie sur un
demi-plan droit du type p C[ e(p) > x
0
. Compte tenu de la forme particulire de la transformation
intgrale de Laplace,
[f(t)[ < Me
x0t
L[f](p) est holomorphe p e(p) > x
0
Cependant, la fonction associant p complexe F(p) = L[f](p peut tre dnie pour un ensemble de
points p plus vaste que ce demi-plan droit.
A titre dexemple, considrons la fonction dHeaviside
H(t) =
_
1 si t > 0
0 si t < 0
Calculons sa transforme de Laplace.
L(H(t))(p) = F(p) =
_
+
0
e
pt
dt = lim
A+
[
e
pt
p
]
A
0 = lim
A+
[
1 e
pA
p
]
Or,
[e
pA
[ = e
xA
avec x = e(p)
et
lim
A+
[e
pA
[ = 0 si et seulement si x > 0
Finalement,
L(H(t))(p) = F(p) =
1
p
et D = p C, e(p) > 0
La transforme de Laplace de lchelon vaut donc L[H](p) =
1
p
et elle est dnie pour tout p complexe
tel que e(p) > 0.
La fonction p
1
p
est bien holomorphe sur p C[ e(p) > 0. Elle est mme holomorphe sur
C
= C 0. La fonction F(p) : p
1
p
sur C
sappelle le prolongement analytique de p L[H](p) dnie

sur le demi-plan droit. Cest une fonction holomorphe sur tout le plan complexe priv des singularits de
L[H](p).
Ainsi, il est possible de ne pas se limiter au demi-plan droit de convergence de la transformation
de Laplace pour tudier le prolongement analytique de la transforme de Laplace sur un domaine plus
vaste. La seule contrainte tant dexclure de lensemble des positions complexes p les singularits de la
transforme.
4.2.2 Drivation de la transforme de Laplace
Thorme Si L(f)(p) existe sur un domaine D donn, alors elle est holomorphe sur D et :
p D, n N, L(f)
(n)
(p) =
_
(t)
n
f(t)e
pt
dt
En dautres termes, on a le droit dchanger les signes dintgration et de drivation. Ceci est d au
fait quil y a convergence uniforme en p sur le domaine ouvert de convergence.
On remarque que :
L(f)
(n)
= L[(t)
n
f(t)]
Exemple Le thorme prcdent est trs utile pour calculer des transformations de Laplace de fonc-
tions usuelles. Partons de lchelon dHeaviside dont la transforme de Laplace vaut
1
p
. En drivant la
transforme de lchelon sur son domaine de convergence D = p C[ e(p) > 0, on obtient
1
p
2
= L[tH(t)] soit encore
1
p
2
= L[tH(t)]
2
p
3
= L[t
2
H(t)]
6
p
4
= L[t
3
H(t)] soit encore
6
p
4
= L[t
3
H(t)]
Par rcurrence, on a :
n!
p
n+1
= L[t
n
H(t)]
4.3 Proprits de la transformation de Laplace
Revenons maintenant la transformation de Laplace et examinons ses proprits par rapports aux
oprations algbriques usuelles.
Dans tout ce qui suit, on considre f et g deux fonctions dont les transformations de Laplace sont
supposes exister sur des domaines D
f
et D
g
. Sauf prcision particulire, on ne fait aucune hypothse
sur la nature des signaux (qui peuvent donc tre causaux ou non).
4.3.1 Linarit
et sont deux nombres rels quelconques. Calculons la tranformation de Laplace de la combinaison
linaire f +g. Comme lintgration est une opration linaire, la transformation de Laplace aussi. Par
consquent,
4.3. Proprits de la transformation de Laplace 61
L(f +g) = L(f) +L(g)
et L(f +g) existe ds lors que L(f) et L(g) existent. Donc
D
f+g
D
f
D
g
4.3.2 Translation temporelle : thorme du retard
Considrons la fonction f retarde, g(t) = f(t t
0
), et calculons la transformation de Laplace de cette
fonction. Nous examinons simultanment deux cas : f causale et f non causale.
L(f(t t
0
))(p) =
_
+
t0 ou
f(t t
0
)e
pt
dt
=
_
+
0 ou
f(u)e
p(u+t0)
dt
= e
pt0
_
+
0 ou
f(u)e
pu
dt
= e
pt0
L(f)(p)
et L(f(t t
0
)) existe si et seulement si L(f) existe. Donc,
L(f(t t
0
)) = e
pt0
L(f) et D
f(tt0)
= D
f(t)
4.3.3 Translation frquentielle (modulation de frquence)
Nous allons voir que cette opration quivaut dans le domaine temporel une multiplication par une
exponentielle :
L(f(t)e
p0t
)(p) =
_
+
0 ou
f(t)e
p0t
e
pt
dt
=
_
+
0 ou
f(t)e
(pp0)t
dt
= L(f)(p p
0
)
et de fait, D
f(t)e
p
0
t = D
f
+p
0
. Le domaine dexistence de la TL est donc translat de e(p
0
).
L(f(t)e
p0t
)(p) = L(f)(p p
0
) et D
f(t)e
p
0
t = D
f
+p
0
4.3.4 Changement dchelle
On suppose ici que est un rel non nul. Calculons L(f(t)) :
L(f(t))(p) =
_
+
0 ou
f(t)e
pt
dt
=
1
||
_
+
0 ou
f(u)e
u
du
=
1
||
L(f)(
p
)
et de fait le domaine dexistence de la transformation de Laplace subit le mme changement dchelle.
L(f(t))(p) =
1
[[
L(f)(
p
) et D
f(t)
= D
f

4.3.5 Drivation temporelle
Pour calculer la TL dune fonction drive f
(t), nous allons examiner distinctement le cas o f est

causal et celui o f est non causale. En eet, les rsultats dans les deux cas dirent.
Cas causal
f(t) est suppose causale, cest--dire nulle si t est ngatif.
L(f)(p) =
_
+
0
f(t)e
pt
dt
et
L(f
)(p) =
_
+
0
f
(t)e
pt
dt
En intgrant par partie, on obtient :
L(f
)(p) = [f(t)e
pt
]
+
0

_
+
0
f(t)(p)e
pt
dt = [f(t)e
pt
]
+
0
+p
_
+
0
f(t)e
pt
dt = [f(t)e
pt
]
+
0
+pL(f)(p)
Or, si p D, alors f(t)e
pt
0 si t tend vers linni, donc :
L(f
)(p) = pL(f)(p) f(0

+
)
Le domaine dexistence de la TL de la fonction drive est identique au domaine de la fonction originale.
Ce rsultat se gnralise aux rangs suivants :
L(f
n
)(p) = p
n
L(f)(p) p
n1
f(0
+
) ... f
n1
(0
+
)
Cas non causal
Ici, f(t) est suppose non causale :
L(f)(p) =
_
+
f(t)e
pt
dt
et
L(f
)(p) =
_
+
(t)e
pt
dt
4.3. Proprits de la transformation de Laplace 63
En intgrant comme prcdemment par partie, on obtient :
L(f
)(p) = [f(t)e
pt
]
+
+pL(f)(p)
Or, si p D, alors f(t)e
pt
0 si t tend vers + ou , donc :
L(f
)(p) = pL(f)(p)
et l encore, le domaine dexistence de la TL de la fonction drive est identique au domaine de la fonction
originale.
Ce rsultat se gnralise aux rangs suivants :
L(f
n
)(p) = p
n
L(f)(p)
On le voit donc, il faut prendre garde bien prendre en compte les conditions initiales dans le cas
causal.
4.3.6 Intgration
Considrons la primitive g de f qui sannule en 0 :
g(t) =
_
t
0
f(u)du
et valuons sa TL en fonction de celle de f. Sachant que la drive de g est f et que g(0) = 0, on a :
L(f)(p) = pL(g)(p)
cest--dire :
L(
_
fdu)(p) =
L(f)(p)
p
Attention, dans le cas causal, ce rsultat ne vaut que pour la primitive de f qui sannule en 0. Dans le
cas contrainte, la valeur de g en 0 intervient...
4.3.7 Conjugaison
On suppose ici la fonction f valeurs complexes,
L[f
](p) =
_
f
(t)e
pt
dt =
_
[f(t)e
p
t
]
dt = [
_
f(t)e
p
t
]
dt = [L[f](p
)]
Cette proprit joue un rle impoprtant quand la fonction F(p) = L[f](p) est une fonction multiforme
(cest--dire lorsque ce nest pas une application, exemple p ln(p) car elle permet de lever toute
ambigut sur la dtermination considrer. Voir par exemple, le calcul de la transformation de Laplace
de la fonction causale t
avec > 1 qui sera tudie en sance de travaux dirigs.

4.3.8 Convolution
Le produit de convolution
Le problme que lon se pose ici est le suivant : quelle opration temporelle quivalent une multi-
plication dans le domaine des pseudo-frquences ? En dautres termes, on cherche une opration telle
que
L[f g] = L[f] L[g]
Formons le produit L[f] L[g] :
L[f] L[g] =
_
f(u)e
pu
du
_
g(v)e
pv
dv =
_ _
f(u)g(v)e
p(u+v)
dudv
Posons t = u +v,
L[f] L[g] =
_ _
f(u)g(t u)e
pt
dudt =
_
[
_
f(u)g(t u)du]e
pt
dt = L[
_
f(u)g(t u)du]
Ce qui conduit dnir notre oprateur comme suit :
[f g](t) =
_
+
f(u)g(t u)du
Cette opration est le produit de convolution. Nous lavons introduit au chapitre 1 : voir section 1.3.4.
On remarque le rle parfaitement symtrique jou par f et g tout au long du calcul ci-dessus. Ceci
prouve que :
_
+
f(u)g(t u)du =
_
+
f(t u)g(u)du
soit encore :
f g = g f
Loprateur a donc bien les qualit du produit : il est commutatif, distributif par rapport laddition
(f (g
1
+g
2
) = (f g
1
) + (f g
2
)), par rapport la multiplication par un scalaire (f (g) = (f g)).
La convolution est une transformation en plusieurs tapes :
1. g(u) g(u) : cette opration assure la commutativit du produit.
2. g(u) g((u t)) : on considre le signal retard de t.
3. f(u)g(t u) est une sorte de comparaison terme terme entre f et g plus ou moins retard.
4. lintgrationn nale somme les rsultats obtenus en chaque instant.
Transformation de Laplace dun produit de convolution de fonctions
Nous allons nous limiter aux fonction causales pour lequelles le produit de convolution vaut
[f g](t) =
_
t
0
f(u)g(t u)du
4.4. Proprits asymptotiques 65
La transforme de [f g] est
L[f g](p) =
_
+
0
e
pt
_
t
0
f(u)g(t u)dudt
Quand on inverse lordre dintgration, on obtient
L[f g](p) =
_
=
0
_
+
u
e
pt
f(u)g(t u)dtdu =
_
+
0
_
+
u
e
pu
f(u)g(t u)e
p(tu)
dtdu
soit encore
L[f g](p) =
_
+
0
_
+
0
e
pu
f(u)g(v)e
p(v)
dtdv = [
_
+
0
e
pu
f(u)du] [
_
+
0
g(v)e
p(v)
dv]
Ce qui scrit
L(f g] = L(f) L(g)
Et la rciproque est vraie (admis) :
L(f g] = L(f) L(g)
4.4 Proprits asymptotiques
On se doute intuitivement dune relation troite entre le comportement de f(t) linni et celui de
L[f](p) aux petits p : quand t devient grand, p devient trs petit, typiquement t[p[ << 1.
4.4.1 Thorme de la valeur nale
Si f est une fonction dnie sur R
+
et si f admet une limite quand t +, alors
lim
|p|0
pL[f](p) = lim
t+
f(t)
Preuve :
lim
|p|0
pL[f](p) = lim
|p|0
L[f
](p) +f(0
+
) =
_
+
0
f
(t)dt +f(0
+
) = f(+)
Lexistence de (+) est une hypothse essentielle. Par exemple, la fonction F(p) =

p
2
+
2
qui est la
transforme de Laplace de sin(t)H(t) est telle que lim
|p|0
pF(p) = 0 et pourtant la fonction t sin(t)
nadmet pas de limite en +. On remarque que, dans ce cas, lim
|p|0
pF(p) donne une sorte de moyenne
des oscillations de sin(t)H(t) linni...
4.4.2 Thorme de la valeur initiale
Si f est une fonction causale, alors
lim
p+, pR
pF(p) = f(0
+
)
Preuve Calculons pF(p) f(0
+
) :
pF(p) f(0
+
) = p
_
+
0
f(t)e
pt
dt f(0
+
) =
_
+
0
pf(t)e
pt
dt
pf(0
+
)
p
Or,
1
p
= L[H(t)], donc :
pF(p) f(0
+
) =
_
+
0
pf(t)e
pt
dt pf(0
+
)
_
+
0
H(t)e
pt
dt =
_
+
0
p[f(t) f(0
+
)]e
pt
dt
En passant au module :
[pF(p) f(0
+
)[
_
+
0
[p[f(t) f(0
+
)]e
pt
dt[ [p[
_
+
0
[f(t) f(0
+
)[e
xt
dt
p R donc p = x :
[pF(p) f(0
+
)[
_
+
0
[f(t) f(0
+
)[xe
xt
dt
Sur le domaine dexistence de la TL, lintgrale
_
+
0
[f(t) f(0
+
)[xe
xt
dt converge uniformment
donc :
lim
p+, pR
[pF(p)f(0
+
)[ lim
x+
_
+
0
[f(t)f(0
+
)[xe
xt
dt =
_
+
0
[f(t)f(0
+
)[ lim
x+
[xe
xt
]dt = 0
cqfd.
4.5 Transformation inverse, recherche des originaux
Soit f telle que L(f) existe pour tout p tel que e(p) > a et L(f) = F. Si f est unique, on dit que
f est loriginale de F. Considrant une fonction F de la variable complexe p, quelles sont les conditions
sur F qui permettent de linterprter comme la transformation de Laplace dune fonction f, cest--dire
qui assurent lexistence dun original f satisfaisant
F(p) = L[f](p)
Lorsque f existe, on notera f(t) = L
1
[F](t). On peut calculer f deux manires direntes :
1. par la formule dinversion qui va tre prsente dans cette section.
2. par les tables de transformes usuelles et les proprits relatives la convolution, la drivation, le
retard, lintgration..., pour dduire des originaux usuels, les signaux originaux de fonctions plus
complexes.
Si F dsigne la transforme de Laplace dune fonction causale f dnie par F(p) = L[f](p) =
_
+
0
f(t)e
pt
dt, alors F est holomorphe sur un demi-plan droit.
Maintenant, toute fonction complexe F(p) holomorphe sur un demi-plan droit peut tre vue comme
la transformation de Laplace dune fonction causale f :
f(t) = L
1
[F](t)
Pour tablir la formule dinversion de la transformation de Laplace, on crit que si f est loriginal de
F alors
4.5. Transformation inverse, recherche des originaux 67
F(p) =
_
+
0
f(t)e
pt
dt =
_
+
f(t)H(t)e
pt
dt
donc
F(x i) =
_
+
f(t)H(t)e
(xi)t
dt =
_
+
[f(t)H(t)e
xt
]e
it
dt
Cette dernire criture montre que F(xi) est la transformation de Fourier de f(t)H(t)e
xt
. En utilisant
la formule dinversion de la transformation de Fourier, il vient
1
2
_
+
F(x i)e
it
d = f(t)H(t)e
xt
soit encore
f(t)H(t) =
1
2
_
+
F(x i)e
(xi)t
d
et en posant p = x +i o x est x,
f(t)H(t) =
i
2
_
x
x+
F(p)e
pt
dp =
1
2i
_
x+
x
F(p)e
pt
dp
Et on obtient la formule dinversion de Mellin-Fourier :
f(t)H(t) =
1
2i
_
F(p)e
pt
dp
o est la droite de Bromwitch. Cette droite est, par construction situe droite de labscisse
dintgrabilit x
0
de la transformation de Laplace. Donc, toute les singularits de F(p) sont gauche
de Delta. Maintenant, toute droite satisfaisant cette condition (et mme, nous le verrons, tout support
dintgration inni laissant gauche les singularits de F(p)) est envisageable de sorte quil sut de
choisir comme droite toute droite perpendiculaire laxe (y
y) laissant gauche toutes les singularits

de F(p).
Cette formule dinversion est valide ds lors que la fonction complexe p F(p) est analytique sur un
demi-plan droit ouvert du plan complexe.
Maintenant, le calcul eectf de lintgrale de Mellin-Fourier seectue en fermant gauche le contour
dintgration linni (par un demi-cercle dont le diamtre est la droite ) et en appliquant le thorme
des rsidus sur ce contour ferm : voir gure 4.1. Il faut ensuite montrer que lintgrale sur vaut
lintgrale sur le contour ferm, autrement dit que lintgrale sur laxe de cercle est nulle. Nous verrons
en sance de travaux dirigs que cette intgrale est nulle ds lors que la fonction F(p) est, en module,
majore par
K
p
m
avec m 2.
Exercices
Montrer que si f est paire f(z) = f(z) alors, le rsidu de f au point 0 vaut 0.
Utiliser le thorme des rsidus pour calculer lintgrale suivante :
I =
_
e
z
z(z 1)
2
dz o t [0, 2], (t) = 4 cos(t) + 5i sin(t)
Rponse : I = 2i.
(0y)
(0x)
x
x
x
x
x
x
x
x
Fig. 4.1 Fermeture du contour dintgration pour linversion de la transforme de Laplace. est tout
axe parallle (Oy) orient dans le sens positif et laissant gauche les singularits de F(p).
Utiliser le thorme des rsidus pour calculer lintgrale suivante :
I =
_
+
dx
1 +x
4
4.6 Quelques applications de la transformation de Laplace
Lapplication la plus lmentaire est la rsolution des quations direntielles coecients constants,
des quations intgro-dirfentielles et des quations aux dirences nies (qui interviennent surtout
en physique et en traitement numrique du signal). Des exemples seront rsolus en sances de travaux
dirigs. La transformation de Laplace permet galement de rduire lordre dune quation direntielle
(applications en mcanique quantique notamment). L encore, un exemple sera trait en sance de travaux
dirigs. Un des domaines privilgis de lutilisation de la transformation de Laplace est le domaine de
lautomatique car on sintresse de prs aux comportements des signaux en rgime transitoire, domaine
o la transformation de Laplace montre sa supriorit sur la transformation de Fourier.
69
Chapitre 5
Quelques exercices corrigs
1. Rsoudre dans C lquation sin z = 4
sinz = 4 sin(x +iy) = 4
sin(x) cos(iy) + cos(x) sin(iy) = 4
sin(x)ch(y) +i cos(x)sh(y) = 4
_
sin(x)ch(y) = 4
cos(x)sh(y) = 0
_
sin(x)ch(y) = 4
cos(x) = 0 ou sh(y) = 0
_
sin(x)ch(y) = 4
x

2
[] ou y = 0
_
sin(x)ch(y) = 4
x

2
[] ou y = 0
La solution y = 0 est impossible car cela implique ch(y) = 1 et donc sin(x) = 4 ce qui est
impossible avec x rel. Il reste donc comme unique possibilit x

2
[]. Alors, sin(x) = +1 (si
x

2
[2]) ou 1 (si x
3
2
[2]). On a donc lquivalence suivante :
sin z = 4
_
sin(x)ch(y) = 4
x

2
[2] ou x
3
2
[2]
_
ch(y) = 4
x

2
[2]
ou
_
ch(y) = 4
x
3
2
[2]
Lgalit ch(y) = 4 est impossible avec y rel. Par consquent, les solutions admissibles se rduisent
ch(y) = 4 et x
3
2
[2] :
sin z = 4
_
y = argch(4)
x
3
2
[2]
z
3
2
+iargch(4)[2]
2. Dterminer les rgions du plan dnies par :
(a) z C, [z + 2i[ = 2,z C, [z + 2i[ 2 et z C, 1 < [z + 2i[ < 2
(b) z C,

3
arg(z)

2
(a) correspond une couronne de centre z

0
= 2i de petit rayon 1 et de grand rayon 2. La frontire
du grand cercle est comprise. Celle du petit cercle ne lest pas.
70 5. Quelques exercices corrigs
(b) correspond un cne dlimit par les demi-droites dorigine 0 et faisant un angle de

3
et

2
avec laxe des abscisses. Ces demi-droites sont incluses dans lensemble.
3. Rcrire les conditons de Cauchy-Riemann en coordonnes polaires.
Posons x = rcos et y = rsin. On a :
x
r
= cos
x
= rsin
y
r
= sin
y
= rcos
Considrons maintenant une fonction f de la variable complexe. On pose, f(z) = X(x, y) +
iY (x, y) = X(r, )+iY (r, ) Les condtions de Cauchy-Rieman en coordonnes cartsiennes scrivent :
X
x
=
Y
y
et
X
y
=
Y
x
Ecrivons maintenant les direntielles de X et Y en coordonnes cartsiennes et polaires :
dX =
X
x
dx +
X
y
dy =
X
r
dr +
X
d =
X
x
(
x
r
dr +
x
d) +
X
y
(
y
r
dr +
y
d)
dX = (
X
x
x
r
+
X
y
y
r
)dr + (
X
x
x
+
X
y
y
)d
dX = (
X
x
cos +
X
y
sin)dr + (
X
x
(rsin) +
X
y
(rcos))d
Do
X
r
=
X
x
cos +
X
y
sin et
X
=
X
x
(rsin) +
X
y
(rcos)
On obtiendra une expression similaire pour Y :
Y
r
=
Y
x
cos +
Y
y
sin et
Y
=
Y
x
(rsin) +
Y
y
(rcos)
Utilisons les relations de Cauchy-Riemann en coordonnes cartsiennes pour rcrire cette dernire
expression :
Y
r
=
X
y
cos +
X
x
sin et
Y
=
X
y
(rsin) +
X
x
(rcos)
Ce qui donne les relations de Cauchy-Riemann en coordonnes polaires :
Y
r
=
1
r
X
et
Y
= r
X
r
4. Pour chacune des fonctions de la variable complexe ci-dessous, donner leur domaine
de dnition, leur domaine de continuit, de direntiabilit et de drivabilit :
(a) f(z) = e
z
3
+4iz8
(b) f(z) = z
(c) z = re
i
, f(z) = ln(r) +i
(a) Les fonctions polynomiales sont holomorphes, la fonction exponentielle aussi, donc f(z) =
e
z
3
+4iz8
est holomorphe sur tout lensemble des complexes. En consquence, elle est galement
continue, direntiable et drivable sur tout cet ensemble.
5. Quelques exercices corrigs 71
(b) Cette fonction est dnie pour tout complexe. Examinons maintenant la continuit de f.
f(z) f(z
0
) = z z
0
= z z
0
On a bien [f(z) f(z
0
)[ 0 quand z z
0
. Donc f est bien continue sur tout lespace
complexe.
Posons maintenant z = x +iy. f(x +iy) = x iy = X +iY admet bien des drives partielles
en x et en y en tout point :
X
x
= 1 ,
X
y
= 0 ,
Y
x
= 0 ,
Y
y
= 1
Donc, la fonction est direntiable.
Examinons maintenant le comportement de laccroissement
f(z) f(z
0
)
z z
0
=
z z
0
z z
0
On remarque que cette fonction vaut 1 si z z
0
est rel et vaut 1 si z z
0
est imaginaire pur.
Par consquent f nest pas drivable. Ce rsultat peut tre obtenu autrement : les drives
partielles calcules prcdemment ne vrient pas les conditions de Cauchy-Riemann.
(c) La fonction est dnie pour tout complexe non nul : en eet r > 0 donc ln(r) a toujours un
sens except pour r = 0. Elle est de plus direntiable et
X
r
=
ln(r)
r
=
1
r
,
X
= 0 ,
Y
r
= 0 ,
Y
= 1
Les conditions de Cauchy-Riemann tant satisfaites, la fonction est holomorphe sur tout les-
pace des complexes.
5. En arodynamique et en mcanique des uides, les parties relles des fonctions holo-
morphes sont appeles potentiel de vitesse et fonction courant. Posons f(z) = P(x, y) +
iQ(x, y). Construire Q telle que la fonction dnie par f(z) = P(x, y) +iQ(x, y) soit holo-
morphe avec P(x, y) = x
2
+ 4x y
2
+ 2y. Que vaut alors f ?
f est holomorphe si et seulement si les conditions de Cauchy-Riemann sont satisfaites :
P
x
=
Q
y
et
P
y
=
Q
x
Ce qui donne :
Q
y
= 2x + 4 et
Q
x
= (2y + 2) = 2y 2
Soit en intgrant :
Q(x, y) = (2x + 4)y +h(x) = 2xy + 4y +h(x) et Q(x, y) = (2y 2)x +k(y) = 2xy 2y +k(y)
Il faut donc :
2xy + 4y +h(x) = 2xy 2y +k(y) 6y = k(y) h(x) [k(y) = 6y et h(x) = 0]
Finalement :
Q(x, y) = (2x + 4)y
6. On considre la fonction Gamma dnie par la formule dEuler :
(z) =
_
+
0
t
z1
e
t
dt
La fonction Gamma est trs importante pour les ingnieurs car elle intervient dans le
calcul de nombreuses ransformes de Laplace.
(a) Quel est le domaine de dnition de E ?
(b) Montrer que f est holomorphe sur ce domaine.
(c) Montrer que (z + 1) = z(z)
(d) En dduire que (n + 1) = n!
(e) Montrer que (z)(1 z) =

sin(z)
(a) La fonction dEuler
E(z) =
_
+
0
e
t
1 +zt
dt
est dni pour tout z tel que
_
+
0
e
t
1+zt
dt existe. Cette intgrale existe si
e
t
1+zt
existe (il ny a
pas de problme de convergence grce lexponentielle), cest--dire si 1+zt ,= 0, soit z ,=
1
t
.
Comme t [0, +], il faut et il sut que z ne soit pas rel strictement ngatif. Par consquent,
le domaine de dnition de la fonction dEuler est lensemble C R
(b) Pour montrer que f est holomorphe sur ce domaine, nous allons calculer laccroissement
f(z+h)f(z)
h
:
f(z +h) f(z)
h
=
1
h
_
+
0
[
e
t
1 + (z +h)t

e
t
1 +zt
]dt
f(z +h) f(z)
h
=
_
+
0
te
t
(1 +zt)(1 + (z +h)t)
dt
lim
h0
f(z +h) f(z)
h
=
_
+
0
te
t
(1 +zt)
2
dt
Donc la limite existe et est unique pour tout point z de lensemble de dnition. Par consquent,
la fonction dEuler est holomorphe sur C R
et :
E
(z) =
_
+
0
te
t
(1 +zt)
2
dt
...
7. Soit f la fonction 2-priodique telle que f(x) = 1 si 0 x et f(x) = 0 si x 2.
Dterminer les coecients de Fourier de f et tracer le graphe de f et celui de la somme
de la srie de Fourier asscocie f.
f(x)
1
2
est continue par morceaux (donc loc. intgrable) et impaire donc f(x)
1
2
est dveloppable
en srie de Fourier et
S(x) =
n=+
n=1
b
n
sin(2
n
T
x)
avec
b
n
=
1
T
_
T
[f(x)
1
2
] sin(2
n
T
x)dx
b
n
=
1
2
_
T
1
2
sin(nx)dx =
1
2
_

0
sin(nx)dx
5. Quelques exercices corrigs 73
b
n
=
1
2
[
cos(nx)
n
]
0
=
1
2n
[1 (1)
n
]
p, b
2p
= 0; b
2p+1
=
1
(2p + 1)
Finalement,
S(x) =
+
0
1
(2p + 1)
sin((2p + 1)x)
En tout point dirent de 2k, k entier relatif, f est continue donc f(x) =
1
2
+ S(x). Si x = 2k,
alors
1
2
=
1
2
+S(x) (throme de Dirichlet).
75
Chapitre 6
Fiches de travaux dirigs
76 6. Fiches de travaux dirigs
Universite Paris 12 - Val de Marne L3 Sciences de lIngenieur
Annee 2006 - 2007 [Semestre 1] Mathematiques
S. Jaard, C. Mammar, M.Zani
- Fonctions de la Variable Complexe et Transformations Lineaires -
Feuille 0
Exercice 1
Les ensembles suivants forment-ils des espaces vectoriels ?
1. Lensemble des polynomes à coecients reels constants.
2. Lensemble des fonctions continues sur R.
3. Lensemble des solutions dune equation dierentielle lineaire.
4. Lensemble des fonctions de la variable reelle à valeurs dans [0, M].
Remarque: on admettra que lensemble des fonctions denies sur R forme
un espace vectoriel.
Exercice 2
Soit une norme sur un espace vectoriel E quelconque. Montrer que
satisfait :
x, y E E, |x y| x y
Exercice 3
Soit f une fonction continue sur I R. Lapplication
f f
= sup
xI
|f(x)|
denie-t-elle une norme ?
Exercice 4
Les applications suivantes denissent-elles des produits scalaires ?
1. Soit E lensemble des polynomes à coecients constants reels et w une
fonction continue strictement positive sur lintervalle [a, b]. On denit
lapplication par :
1
(P, Q) =
b
a
P(x)Q(x)w(x)dx
Remarque: ceci conduit à la très riche theorie des polynomes orthog-
onaux.
2. Soit E le C-ev des fonctions continues de lintervalle [a, b] dans C. On
considère lapplication denie comme suit :
: E E C
(f, g) (f|g) =

b
a
f.g
3. Meme chose en travaillant sur des fonctions continues par morceaux
et non plus continues.
Exercice 5 On considère loperateur dierentiel :
A =
d
2
dx
2

d
dx
Montrer que les fonctions f
(x) = e
x
sont des fonctions propres de A avec
comme valeur propre : =
2
.
Ces fonctions propres sont-elles orthogonales ?
Exercice 6
On considère lensemble des fonctions trigonometriques cos(nx) et sin(nx)
sur [0, 2]. Montrer que ces fonctions sont lineairement independantes pour
le produit scalaire usuel.
Exercice 7
Resoudre dans C lequation suivante :
sin z = 4
Exercice 8
Determiner les regions du plan denies par :
1. {z C, 1 < |z + 2i| 2}
2. {z C,

3
arg(z)

2
}
2
Annee 2007 - 2008 Mathematiques
C. Baron, C. Mammar, F. Vigneron, M.Zani
Feuille 1
- Integration: Fubini, Convergence monotone et dominee,
Transformee de Fourier -
Exercice 1
En calculant de deux facons lintegrale
R
+
R
+
1
(1 + x)(1 + xy
2
)
dxdy ,
trouver la valeur de

+
0
log t
t
2
1
dt .
Exercice 2
1)Soit F une fonction de L
2
(R
2
). Soit f dans L
2
(R). Demontrer que
pour presque tout y de R, la fonction x F(y, x)f(x) est integrable sur R.
2) Soit la fonction g denie presque partout par
g(y) =
R
F(y, x)f(x)dx.
Montrer que g est dans L
2
(R) et que lon a
R
|g|
2
f
2
2
F
2
2
.
3) On note u : L
2
(R) L
2
(R) lapplication qui à la fonction f associe
la fonction g. Montrer que lapplication u est lineaire et continue, et que
u F
2
.
1
Exercice 3
Soient f et g : R
n
R deux fonctions. On pose h(x, y) = f(y x)g(x) .
Lorsque la fonction h
y
: x h(x, y) est integrable, on pose
(f g)(y) =
h
y
=
f(y x)g(x)dx.
1) Montrer que lorsque h
y
est integrable, on a f g = g f.
2) Montrer que si les fonctions sont dans L
1
(R
n
), la fonction h est
integrable. En deduire que
f g
1
f
1
g
1
.
3) Supposons que f est dans L
(R
n
) et que g est dans L
1
(R
n
). Montrer
qualors f g est dans L
(R
n
) et que
f g
g
1
.
Exercice 4
Donner les limites suivantes
1)
lim
n
1
log n

0
log(n + x) cos(nx)
1 + x
2
dx.
2)
lim
n
n
0
1
x
n
n
e
x/2
dx, lim
n
n
0
1 +
x
n
n
e
2x
dx
Exercice 5
En utilisant la transforme de Fourier, resoudre dans L
1
(R) lequation integrale:
e
a|xt|
f(t)dt = e
x
2
, a > 0 .
2
Feuille 2
Exercice 1
Calculer

+
0
e
xt
dt
et utiliser Fubini pour calculer
+
0
sin x
x
dx
En deduire que pour tout , > 0,
+
0
sin xsin x
x
2
dx =

2
inf(, )
Exercice 2
Soit la fonction
f(x, y) =
x
2
y
2
(x
2
+y
2
)
2
Calculer

1
0
1
0
f(x, y)dy
dx et
1
0
1
0
f(x, y)dx
dy
En deduire que f nest pas L
1
sur [0, 1] [0, 1].
Exercice 3
Calculer lintegrale

D
1
x
2
y
dxdy
o` u D est le domaine deni ci-dessous :
D = {(x, y) R
2
: x 1,
1
x
y x}
1
Exercice 4
En calculant de deux manières lintegrale
R
+
R
+
1
(1 +x)(1 +xy
2
)
dxdy
trouver la valeur de

+
0
log t
t
2
1
dt
Exercice 5 Soit F une fonction de L
2
(R
2
).
1. Soit f dans L
2
(R). Demontrer que pour presque tout y de R, la
fonction x F(y, x)f(x) est integrable sur R.
2. Soit g denie presque partout par
g(y) =
R
F(y, x)f(x)dx
Montrer que g est dans L
2
(R) et que lon a :
R
|g|
2
f
2
2
F
2
2
3. On note u : L
2
(R) L
2
(R) lapplication qui,à la fonction f associe la
fonction g. Montrer que u est lineaire et continue et que
u F
2
Exercice 6
Soient f et g : R
n
R deux fonctions. On pose h(x, y) = f(y x)g(x).
Lorsque la fonction h
y
: x h(x, y) est integrable, on pose
(f g)(y) =
h
y
=
f(y x)g(x)dx
1. Montrer que lorsque h
y
est integrable, on a f g = g f
2. Montrer que si les fonctions sont dans L
1
(R
n
), la fonction h est integrable.
En deduire que
f g
1
f
1
g
1
2
3. Supposons que f est dans L
(R
n
) et que g est dans L
1
(R
n
). Montrer
qualors f g est dans L
(R
n
) et que
f g
g
1
Exercice 7
Calculer lim
n
]0,1[
f(x
n
)dx dans les deux cas suivants :
1. f :]0, 1[R+ est decroissante
2. f est dans L
1
(R) positive et decroissante.
Exercice 8
Donner les limites suivantes
1.
lim
n

0
f(x)
1 +nsin
2
x
dx
o` u f est une fonction integrable de R+ dans R.
2.
lim
n
1
log n

0
log(n +x) cos(nx)
1 +x
2
dx
3.
lim
n
n
0
1
x
n
n
e
x
2
dx , lim
n
n
0
1 +
x
n
n
e
2x
dx
3
Feuille 3
Exercice 1
Soit f une fonction causale, localement integrable sur R
+
telle que lim
t0
+ f(t) =
f(O
+
). On suppose que f admet une transformee de Laplace Lf. Montrer
que
lim
|p|+
pL(f)(p) = f(O
+
)
Ce theorème est connu sous le nom de theorème de la valeur initiale.
En supposant maintenant que lim
t+
f(t) < +, on demontrera que
L(f)(p) existe p, Re(p) > 0
et que
lim
p0
pL(f)(p) = lim
t+
f(t)
Ces resultats forment le theorème de la valeur nale.
Exercice 2
En utilisant la denition et les proprietes de la transformee de Laplace,
calculer la transformation de Laplace des fonctions suivantes :
1. f(t) = t
n
pour t reel positif.
2. f(t) = cos t et f(t) = sin t pour t reel positif.
3. f(t) = cos t et f(t) = sin t pour t reel.
4. f(t) est la fonction triangle de hauteur T, de base de largeur T centree
en 0.
5. f(t) = e
|t|
e
jt
avec > 0 et f(t) = e
|t|
cos(t) avec > 0.
1
Exercice 3 Determiner (en utilisant les resultats de lexercice 2) les origin-
aux des fonctions suivantes :
1.
1
(p+a)
2
2.
1
(p+a)
n
, n 2
3.
1
(p+3)
2
(p+1)
Exercice 4 La fonction de Bessel dordre 0 notee J
0
(t) verie :
J
0
(0) = 1
t
0
J
0
()J
0
(t )d = sin t, t 0
On pose f(t) =

t
0
J
0
(t ) cos d
1. Quelle equation dierentielle a pour solution f(t) ?
2. Resoudre cette equation dierentielle et montrer que
f(t) = g(t).J
0
(t)
Trouver g(t).
Exercice 5 Resoudre
1.
(t) + x(t) = e
t
pour t 0
avec x(0
+
) = 2 et x
(0
+
) = 1
2.
(t) 4x
(t) + 3x(t) = H(t) pour t 0

avec x(0
+
) = 1 et x
(0
+
) = 0
3.

t
0
f() sin(t )d = t
2
pour t 0
2
Feuille 4
Exercice 1
Determiner les developpements en serie de Laurent des fonctions suivantes,
en prenant soin de bien preciser les domaines de validite des developpements :
1. f(z) =
z1
(z+2)
2
autour du point z = 1 puis autour du point z = 2.
2. f(z) =
e
z
z
autour du point z = 0.
3. f(z) = e
1
z
autour du point z = 0.
Exercice 2
Calculer lintegrale suivante (m est un reel quelconque strictement positif) :
+
0
cos(mx)
1 + x
2
dx
Exercice 3 Calculer lintegrale suivante :
I =
+
0
sin x
x
dx
Pour cela on suivra les etapes suivantes :
Poser f(z) =
e
iz
z
et exprimer I en fonction de f(x) et de f(x).
Calculer

f(z)dz avec
= [r, R] {Re
i
, [0, 2]} [R, r] {re
i
, [0, 2]}
Montrer que lim
R+
1
f(z)dz = 0 avec
1
= {Re
i
, [0, 2]}.
Montrer que lim
r0
2
f(z)dz = i avec
2
= {re
i
, [0, 2]}.
1
En deduire la valeur de I.
Exercice 4 Determiner les originaux des fonctions suivantes en utilisant la
formule de Mellin-Fourier et le theorème des residus :
1.
1
(p+a)
2
2.
1
(p+a)
n
, n 2
3.
1
(p+3)
2
(p+1)
Exercice 5 On cherche à resoudre lequation dierentielle suivante :
u(x, t)
x
= 2
u(x, t)
t
+ u(x, t) avec u(x, 0) = 6E
3x
o` u u(x, t) est une fonction de deux variables reelles x et t, causale en t.
1. Soit U(x, p) la transformee de Laplace selon la variable t de la fonction
u(x, t). Quelle est lequation dierentielle satisfaite par U(x, p) ?
2. En multipliant cette equation dierentielle à droite et à gauche par
e
(2p+1)x
, montrer que
u(x, t) = 6e
2t3x
H(t)
2
Feuille 5
- Series de Fourier -
Exercice 1
Soit f la fonction 2 periodique telle que f(x) = 1 si 0 x < , et f(x) = 0
si x < 2.
a) Determiner les coecients de Fourier de f.
b) Appliquer le theorème de Dirichlet: tracer le graphe de f et celui de la
somme de la serie de Fourier associee à f.
Exercice 2
a) Soit f la fonction 2 periodique telle que f(x) = x
2
si x [0, 2[. Tracer
le graphe de f. Appliquer le theorème de Dirichlet. En deduire la somme
+
n=1
1/n
2
.
b) Soit f la fonction 2 periodique telle que f(x) = x
2
si x [, [.
Calculer
+
n=1
(1)
n
/n
2
.
Exercice 3
Soit f la fonction de periode telle que f(x) = x( x) si 0 x .
a) Tracer le graphe de f et determiner la serie de Fourier associee à f.
b) Montrer que cette serie de Fourier converge uniformement vers f.
Exercice 4
Soit R \ Z. Developper en serie de Fourier la fonction f : x cos x
denie sur [, ]. Etablir les identites:
sin
=
1
+
+
n=
(1)
n
+n
, cot =
+
n=
1
+n
,
sin
=
+
n=1
(1
2
n
2
) .
En deduire la somme
+
n=0
1
n
2
+n + 1
.
1
Feuille 6
- Tansformation de Fourier -
Exercice 1
On considère la fonction f denie par
f(x) =
si |x| a
0 si |x| > a
a) Calculer la transformee de Fourier de f.
b) Tracer le graphe de f et de sa transformee de Fourier.
c) Ecrire lidentite de Parseval et en deduire la valeur de
sin
2
x
x
2
dx.
d) Etudier les comportements de f(x) et de sa transformee de Fourier si
a =
1
et 0.
Exercice 2
Soit la fonction de R dans R, denie par:
f(x) = e
a|x|
, a > 0 .
1) Calculer la transforme de Fourier F(f) de f.
2) En appliquant le theorème des residus, calculer la transformee de
Fourier reciproque de F(f).
Exercice 3
Calculer les transformees de Fourier directes et reciproques de
f(x) =
1
a

|x|
a
2
si |x| a
0 si |x| > a
, a > 0 , x R.
1
Exercice 4
En supposant que f est une fonction paire, resoudre dans L
1
(R) lequation
integrale
f(x) cos(2x)dx =
1 || si || 1
0 si || > 1 .
En deduire la valeur des integrales
I =
+
0
1 cos x
x
2
dx, J =
+
0
sin x
x
dx.
Exercice 5
En utilisant la transforme de Fourier, resoudre dans L
1
(R) lequation integrale:
e
a|xt|
f(t)dt = e
x
2
, a > 0 .
2
91
Chapitre 7
Annales dexamens
92 7. Annales dexamens
Universite Paris 12 Examen du 22 juin 2005
Mathematiques
Licence EEA
(Tous les documents sont interdits)
1. Calculer
A =
+
0
x
2n
1 + x
2
dx
pour n entier, n > 0
2. Trouver la serie de Laurent de
f(z) = z
2
e
1
z
autour de z = 0
en precisant bien le domaine de validite du developpement.
En deduire le residu de f(z) en z = 0.
3. Resoudre les equations suivantes (t > 0) :
(a)
(t) =
t
0
f(t u)du
f(0) = 1.
(b)
(t) + 2f
(t) = e
t
f(0) = 0, f
(0) = 0.
4. Donner les transformees de Laplace des fonctions suivantes f(t) = [1+2e
5t
]H(t),
de g(t) = f
(t) et de k(t) = tf(t)

H(t) designe lechelon dHeaviside (H(t) = 0 si t < 0 et H(t) = 1 sinon).
Universite Paris 12 - L3 Options Sciences de lIngnieur
Fonctions de la variable complexe et transformations linaires
Examen juin 2006
(Duree 2h - Tous les documents sont interdits)
Exercice I Theorème des residus
On cherche à calculer lintegrale
I =
+
0
x
2
1 + x
4
dx.
On considère le contour = I
1
C
R
I
2
avec R > 1, represente sur le
schema suivant :
1.a Montrer que I est convergente.
1.b Soit la fonction f : Z Z denie par f(z) =
z
2
1 + z
4
. Determiner les
poles de f et leur ordre.
1.c En quels points va sappliquer le theorème des residus? Calculer ces
residus.
1
2 Montrer que
C(R)
f(z) dz
R+
0.
3.a Appliquer le theorème des residus.
3.b En faisant R + calculer I.
Exercice II Series de Fourier
Soit f la fonctions R R, denie par f(x) = max(0, sin x) .
1.a Tracer le graphe de f sur R. Montrer que f est 2 -periodique, continue
sur R, C
1
par morceaux sur R.
1.b En quels points la serie de Fourier de f converge-t-elle vers f?
2. Calculer les coecients de Fourier de f.
3. Montrer que la serie de Fourier de f converge normalement vers f.
Exercice III Transformations de Laplace et resolution des equations
integro-dierentielles
Resoudre lequation integrale, la fonction y etant supposee causale, cest-à-
dire denie sur R
+
:
y(t) = t
2
+
t
0
y(u)sint(t u)du
2
Universite Paris 12. L3 Sciences de lIngenieur
FONCTIONS DE LA VARIABLE COMPLEXE ET
TRANSFORMATIONS LINEAIRES
Controle du 07 juillet 2007
Exercice 1
Rappel: Formule de Cauchy pour la derivee
Soit un domaine ouvert inclus dans C, et sa frontière parcourue dans
le sens direct. Soit f holomorphe dans et a . Alors
f
(n)
(a) =
n!
2i
f(z)
(z a)
n+1
dz .
1. Grace à la formule precedente, calculer

e
z
(z1)
2
dz, o` u est le cercle
de centre z = 1 et de rayon r > 0 parcouru dans le sens direct.
2. Developper la fonction g(z) =
e
z
(z1)
2
en serie de Laurent autour du
point z = 1. Donner la valeur du residu de g en 1. Comment peut-on
retrouver le resultat du calcul dintegrale precedent?
Exercice 2
Resoudre sur R
+
en utilisant la transformation de Laplace :
t
2
+
t
0
y(u)sin(t u)du = y(t)
Exercice 3
On considère une fonction x(t) de la variable reelle positive t dont la
transformee de Laplace vaut : X(p) =
p+4
p(p+2)
2
1. En utilisant le theorème de la valeur nale, determiner la limite à
linni de x(t).
2. En inversant la transformee de Laplace par la methode de votre choix,
expliciter x(t).
3. Determiner le resultat du produit de convolution de x(t) avec y(t) =
sin(2t).H(t), o` u H(t) designe la fonction dHeaviside (H(t) = 0 si
t < 0 et H(t) = 1 sinon).
Universite Paris 12. L3 Sciences de lIngenieur-Sciences de la
Matière
FONCTIONS DE LA VARIABLE COMPLEXE ET
TRANSFORMATIONS LINEAIRES
Controle du 03 juillet 2008
Exercice 1 (4 points)
On considère une fonction x(t) de la variable reelle positive t dont la
transformee de Laplace vaut : X(p) =
p+4
p
2
1. En utilisant le theorème de la valeur nale, determiner la limite à
linni de x(t).
2. En inversant la transformee de Laplace par la methode de votre choix,
expliciter x(t).
3. Determiner le resultat du produit de convolution de x(t) avec y(t) =
sin(2t).H(t), o` u H(t) designe la fonction dHeaviside (H(t) = 0 si
t < 0 et H(t) = 1 sinon).
Resoudre sur R
+
en utilisant la transformation de Laplace :
d
2
x
dt
2
4
dx
dt
+ 3x = 4H(t)
o` u H(t) designe lechelon dHeaviside,
avec les conditions initiales : x(0) = 1 et
dx
dt
(0) = 0.
Soit f de periode 2 denie par f(t) = |t| pour t ] , ].
1. Representer graphiquement f(t).
2. Calculer le developpement en serie de Fourier de f :
a
0
2
+
+
1
a
n
cos(2nt)+
b
n
sin(2nt).
Exercice 4 : Propagation des ondes (8 points)
Cet exercice se propose de resoudre lequation des cordes vibrantes
2
u
t
2
c
2
2
u
x
2
= 0 (1)
o` u t est le temps (t 0) et x est lespace (x ], +[), avec les conditions
initiales
u(x, t = 0) = f(x)
u
t
(x, t = 0) = g(x)
(2)
1. U(p, x) designera la transformation de Laplace de u(t, x) selon la vari-
able t, la variable de Laplace etant notee p.
(a) Rappeler la denition de U(x, p).
(b) En appliquant la transformation de Laplace à lequation 1, et en
utilisant les conditions initales 2, montrer que U satisfait 3.
c
2
2
U
x
2
+ p
2
U = pf(x) + g(x) (3)
2. Notons maintenant

U(, p) la transformation de Fourier de U(x, p) et
la variable de Fourier.
(a) Rappeler la denition de

U(, p).
(b) En appliquant la transformation de Fourier à lequation 3 et en
posant q = 2i, montrer que

U satisfait 4.
U =
p
p
2
+ c
2
q
2
f +
1
p
2
+ c
2
q
2
g (4)
3. Montrer que

U = TL( u).
4. En deduie que u satisfait 5
u(q, t) =

f(q) cos(cqt) + g(q) sin(cqt) (5)
5. On pose toujours q = 2i. Soit h(x) =

x+a
xa
g()d. Montrer que si
g est la transformation de Fourier de g alors
2 sin(aq)
q
g(q) est la trans-
formation de Fourier de h.
6. En deduire que la solution u de lequation 1 avec les conditions ini-
tiales 2 secrit :
u(x, t) =
1
2
[f(x + ct) + f(x ct)] +
1
2c
x+ct
xct
g()d
101
Bibliographie
Sites de cours de Mathmatiques pour les tudiants en sciences de lingnieur
http://www.les-mathematiques.net/pages/deug.php3
http://epsilon.2000.frr.fr/article.php?Ing=fr\&pg=56
http://ufr-math-p12.univ-mlv.fr/mias1./MIAS.pdf
http://eunomie.u-bourgogne.fr/elearning/math.html
http://librecours.org
Sites dexercices
http://postbac.com/
Quelques ouvrages couvrant le programme (les ouvrages souligns sont disponibles la bi-
bliothque de luniversit ou en ligne)
C. Aslangul. Mthodes mathmatiques pour physiciens. URL : http://www.librecours.org,2004.
P. Thuillier, J.-C. Belloc. Sries, intgrale de Laplace, intgrale de Fourier (Analyse 3). Masson.
Srie Schaum. Transforme de Laplace. Cours et problmes. Spiegel ISBN 978-2-7042-1018-3(05/1195).
E. Azoulay, J.Avignant, G. Auliac. Mathmatiques Tome 4. Cours et exercices rsolus. Mathmatiques
Deug Sciences Ediscience.
R. Dalmasso, P. Witomski. Analyse de Fourier et applications. Exercices corrigs. Dunod.
Biographies
Pour des lments biographiques sur Fourier, Laplace, Cauchy, Riemann... vous pouvez consulter le site
http://www.bibmath.net/bios.

Poly Math Part 1 L3

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Poly Math Part 1 L3

Enviado por

Direitos autorais:

Formatos disponíveis

UNIVERSIT PARIS XII-VAL DE MARNE

UFR Sciences et Technologie

si f est essentiellement borne (borne presque partout), cest-

= infc, [f(x)[ c presque partout

f(z)dz dpend du paramtrage de .

1dz value la longueur du chemin :

(t)dt = (b) (a)

cdz, o c est une constante.

a le mme rayon de convergence que f.

et ses drives sont obtenues par drivation terme terme de la srie :

De la mme faon, la srie

Il sut dappliquer le rsultat connu pour une srie de type

qui dnie une couronne de convergence entourant le point daxe z

Cest--dire quon admettra lexistence de singularits lintrieur de la couronne. Commenons par

et la solution est recherche sous la forme

est analytique (de classe C

) sur C 0 mais la transforme de Laplace, elle,

sappelle le prolongement analytique de p L[H](p) dnie

(t), nous allons examiner distinctement le cas o f est

)(p) = pL(f)(p) f(0

avec > 1 qui sera tudie en sance de travaux dirigs.

y) laissant gauche toutes les singularits

(a) correspond une couronne de centre z

(t) + 3x(t) = H(t) pour t 0

(t) et de k(t) = tf(t)

Você também pode gostar