Vous êtes sur la page 1sur 29

Chapitre 7

Transformation de Laplace
Le but de ce chapitre est dintroduire
la transformation de Laplace
et den presenter les applications les plus usuelles

7.1

Pr
esentation

La transformation de Laplace est une transformation integrale ayant un grand lien de parente avec la transformation de Fourier, mais qui sen demarque nettement sur plusieurs points. Notamment, on verra que la classe
des fonctions admettant une transformation de Laplace est beaucoup plus vaste que celles des fonctions pour
lesquelles lintegrale de Fourier est denie.
En outre, la transformation de Laplace est particuli`erement adaptee pour letude de la dynamique de
syst`emes supposes dans un etat connu a` un certain instant, que lon peut toujours prendre comme origine
des temps. Cette situation est tr`es banale en Physique, quil sagisse de resoudre un probl`eme de dynamique
classique, devolution dun syst`eme quantique, ou de relaxation dun syst`eme macroscopique a` partir dun etat
hors dequilibre. Dans toutes ces situations, si on note f la quantite physique dinteret, la question est donc
de resoudre lequation decrivant levolution de la grandeur f et den obtenir lexpression, f(t), a` un instant
t posterieur a` celui o`
u on a declenche le chronom`etre. Comme on la vu, au contraire, la transformation
de Fourier est tr`es commode pour letude des regimes forces qui, pour un syst`eme amorti, prevalent apr`es
extinction des regimes transitoires (oubli des conditions initiales), auquel cas le regime physique sobtient en
rejetant linstant initial inniment loin dans le passe.
Les equations devolution exigent toujours la donnee additionnelle de condition(s) initiale(s). Le nombre
de ces conditions depend de la nature de lequation dynamique. Si celle-ci est une equation dierentielle dordre
p, et si le nombre de degres de liberte est egal a` N , il faut N p conditions initiales. Si la quantite cherchee obeit
a une equation aux derivees partielles du premier ordre en temps, letat initial est compl`etement deni par la
`
donnee du champ a` t = 0 : cest le cas de lequation de Schr
odinger, qui ne peut etre compl`etement resolue pour
un syst`eme quantique donne (`a temperature nulle) que si la fonction donde de depart a ete precisee.
Dans les probl`emes devolution temporelle, un etat initial etant donne (`a un instant pris conventionnellement comme origine des temps, t = 0), lobjectif est dobtenir la fonction f(t) a` t > 0. Dans ces conditions, la
fonction f `
a t < 0 nest pas denie, ou plus precisement, on se moque de savoir ce quelle vaut. Cest pourquoi
il est usuel (et conventionnel) de la prendre nulle. Dailleurs, ce choix est souvent ce que dicte la situation
physique dinteret ; soit par exemple un oscillateur harmonique a` lequilibre (position dequilibre, vitesse nulle).
Sil recoit instantanement un choc `a un certain instant (t = 0), son abscisse (et sa vitesse) vont par la suite
osciller dans le temps, ce seront des fonctions devenues non-identiquement nulles apr`es de linstant du choc.

CHAPITRE 7. TRANSFORMATION DE LAPLACE

Dans toute la suite, la transformee de Laplace sera denie exclusivement pour de telles fonctions, nulles
pour t < 0, non-nulles pour t > 0. Remarquons tout de suite que ce nest pas toujours la variable temps t qui
intervient : si on etudie le mouvement dune particule connee dans le demi-espace R+ , toute grandeur relative
a cette particule sera une fonction de labscisse x, (x), identiquement nulle x < 0. Toutefois, la variable-type
`
utilisee ci-dessous sera notee t, an de respecter les usages.
La transformation de Laplace est souvent associee aux calculs de circuits electriques, car cest dans le
souci de developper un calcul symbolique (on dit aussi operationnel) pour ces syst`emes quelle a ete historiquement introduite. Il faut bien voir que ses proprietes, et sa puissance en tant quoutil, ne la rende en aucune
facon tributaire des circonstances de son emergence historique. La transformation de Laplace est lune des
transformations integrales importantes de lAnalyse, et presente un grand interet en soi, en-dehors du fait que,
dans presque tous les domaines des sciences, elle est tr`es souvent un outil dune extreme utilite.

7.2

D
enition et formule dinversion

La transformation de Laplace est une transformation integrale associant une fonction a` une autre. On notera :
F = L[f]

f F

(7.1)

La correspondance precise est la suivante. Soit une certaine fonction, f(t) continue par morceaux, et ayant au
plus un nombre ni de discontinuites dans tout intervalle ni de R ; sa transformee de Laplace F (z) est donnee
par la relation integrale suivante1 :
 +
d
ef
F (z) =
f(t)ezt dt .
(7.2)
0

f(t) est appele original et sa transformee F (z) est appelee image. Sur cette denition, on voit bien que tout se
passe comme si la fonction f(t) etait de fait nulle `a tout temps negatif. z est la variable conjuguee de t, et cette
notation ache la couleur : dans (7.2), z est a priori un nombre complexe. La toute premi`ere question `a regler
est de savoir dans quelles circonstances lintegrale (7.2) existe. Si on pose z = x + iy, on a :
 +

 +
 +


(x+iy)t
(x+iy)t


|F (z)| = 
f(t), e
dt
|f(t)| |e
| dt =
|f(t)| ext dt .
(7.3)
0

Il en resulte immediatement que si t > 0, f(t) est bornee2 en module par une exponentielle (|f(t)| < M ex0 t ,
M > 0), alors le module |F (z)| est borne z, z > x0 :
 +
M
|F (z)| < M
e(xx0 )t dt =
.
(7.4)
x

x0
0
Ainsi, la transformation integrale de Laplace denit une fonction F (z) qui est bornee dans le demi-plan z > x0 .
Labscisse x0 est appelee abscisse de sommabilite. La fonction F (z) est ainsi denie dans le demi-plan complexe
situe `a la droite de la droite verticale dabscisse x0 . Lequation (7.4) montre aussi que :
F (z),

lim |F (z)| = 0

|z|+

(z > x0 ) .

(7.5)

Une fonction donnee (z) qui na pas cette propriete ne saurait etre une transformee de Laplace au sens cidessus3 .
Notons que lintegrale dans (7.2), qui va a` linni, converge absolument et uniformement en z : pour
tout z = x + iy donne, il sut de remplacer partout
 x par x1 tel que x0 < x1 < x pour avoir une majoration
independante de z. De plus, F (z) est de la forme C (z ; t) dt o`
u la dependance en z est via lexponentielle
1 Si

t est un temps, z est linverse dun temps, une pulsation par exemple.
peut enoncer une condition un peu moins restrictive : il faut et sut quil existe t0 > 0 tel que f soit sommable entre 0 et
t0 et que t > t0 , |f (t)| < M0 ex0 t .
3 On peut cependant donner un sens, en tant que transform
ees de Laplace en un sens gen
eralise, `
a des fonctions nayant pas cette
u (+) (t) est la fonction denie en (7.39), (+) (n) (t) d
esignant sa derivee dordre n.
propriet
e. Cest ainsi que zn = L[ (+) (n) (t)], o`
2 On

Math
ematiques pour physiciens
LP 311

3 D
ecembre 2004

Cl. A.


7.2. DEFINITION
ET FORMULE DINVERSION

ezt , qui est une fonction holomorphe. Autrement dit, (z ; t) est holomorphe en z pour tout t xe. Comme
lintegrale converge uniformement en z, la fonction F (z) est elle-meme holomorphe4 .
La conclusion importante est donc, compte tenu de la forme particuli`ere de la transformation integrale
(7.2) :
|f(t)| < M ex0 t

F (z) holomorphe z, z > x0 .

(7.6)

Le caract`ere holomorphe peut dailleurs se demontrer directement comme suit. Lintegrale (7.2) est de
zt
la forme C (z ; t) dt, et la derivee
f(t) est bornee ; il en resulte que la derivee F  (z) sobtient par
z = te
derivation sous le signe somme :

+

F  (z) =

f(t) (t)ezt dt .

(7.7)

Compte tenu des hypoth`eses sur f(t), on a :




|F (z)| <

M te(xx0 )t dt =

M
(x x0 )2

z, z > x0 .

(7.8)

F a donc une derivee partout dans le demi-plan z > x0 , ce qui etablit que cette fonction y est holomorphe
(analytique).
Labscisse de sommabilite nest pas toujours positive, meme si cest tr`es souvent le cas. Par exemple,
pour une fonction a` support borne, labscisse de sommabilite est egale `a . Ainsi, la fonction-porte P (t) :

1 si 0 < t < 1
P (t) =
,
(7.9)
0 autrement
a pour transformee de Laplace :


P(z) =

ezt dt =

1
(1 ez ) .
z

(7.10)

Cette fonction, ainsi denie par lintegrale, est holomorphe dans C (la singularite en z = 0 est clairement
eliminable). Labscisse de sommabilite est bien cest dailleurs le cas pour toute fonction a` support
borne5 . Tout polyn
ome et toute fraction rationnelle ont une abscisse de sommabilite egale `a zero.
Il est bien evident que, comparee `a la transformation de Fourier, la transformation de Laplace permet de
considerer une classe beaucoup plus grande de fonctions : quand x0 est strictement positif, la fonction f(t) peut
diverger comme exf t avec xf < x0 , sa transformee de Laplace existe quand meme. La contrainte essentielle est
donc ici que loriginal ne croisse pas plus vite quune exponentielle, alors que la transformation de Fourier, avec
son exponentielle oscillante, na un sens avec certitude que pour des fonctions absolument integrables (rappelons
toutefois quune fonction integrable mais non-absolument integrable peut neanmoins avoir une transformee de
Fourier, par exemple sinx x ). Inversement, il est bien clair quil existe des fonctions croissant trop vite a` linni
2
pour avoir une transformee de Laplace : cest le cas de et , par exemple ; pour de telles fonctions, on peut dire
que labscisse de sommabilite x0 est egale `a +.
Pour memoire, la transformee de Laplace spatiale secrit :
 +
F (k) =
f(x)ekx dx ;

(7.11)

` nouveau, les grandeurs x


k a la dimension de linverse dune longueur, cest par exemple un vecteur donde. A
et k sont souvent dites conjuguees lune de lautre.
4 En eet, si lint
egrale C (z ; t) dt converge uniformement z D, et si les points singuliers de ne d
ependent pas du


u est un contour ferme situe dans D une cons
equence du fait que C (z ; t) dt dz =
param`etre z, alors F (z) dz = 0, o`


eor`
eme de Cauchy.
C
(z ; t) dz dt avec (z ; t) dz = 0 en vertu du th
5 Pour une fonction f (t) nulle pour t > t , on a visiblement f (t) = 0 < ex0 t , t > t , quel que soit x r
0
0
0 eel, y compris !

Cl. A.

3 D
ecembre 2004

Math
ematiques pour physiciens
LP 311

CHAPITRE 7. TRANSFORMATION DE LAPLACE

` titre dexemple, considerons la fonction de Heaviside (echelon-unite) :


A

0 t < 0
Y (t) =
,
1 t > 0

(7.12)

Dapr`es la denition integrale (7.2), sa transformee de Laplace est :




Y(z) L[Y ](z) =

1
z

ezt dt =

z, z > 0 .

(7.13)

La fonction Y (t) est bornee par ext x > 0, t > 0. On en deduit que sa transformee de Laplace Y(z) est
holomorphe dans le demi-plan ouvert de droite, z > 0 ; cest bien ce que dit (7.13) : la fonction 1z est bien
holomorphe dans ce demi-plan (elle na en fait quune seule singularite, un p
ole simple en z = 0).
Cet exemple simple permet dillustrer la notion de prolongement analytique. En eet, la fonction
F2 (z) = 1z est denie dans le domaine D2 = C\{0} (le plan prive de lorigine). Dun autre c
ote, la relation
integrale (7.13) denit une fonction F1(z) = 1z dans le domaine D1 = {z, z > 0}. Les deux domaines se
recouvrent (largement !), D1 D2 , et dans la region commune, on a bien F1 (z) = F2 (z). On peut donc dire
que F2 (z) est le prolongement analytique de Y(z) du c
ote z < 0. En denitive, la transformee de Laplace de
Y (t) est la fonction Y(z) = 1z prolongee dans tout le plan complexe et analytique partout dans C\{0} :
1
z

Y(z) L[Y ](z) =

z, z
= 0 .

(7.14)

Il convient de bien saisir la distinction entre (7.13) et (7.14), qui est dimportance.
Ainsi, et de facon generale, loperation de prolongement etant faite, on nest plus conne au demi-plan
z > x0 (ici z > 0) ; cest ce qui autorisera des promenades dans C aranchies de cette condition necessaire
pour que la denition par lintegrale (7.13) ait un sens , tout juste contraintes, comme toujours, a` contourner
les singularites de F (z), d
ument identiees.
On sait que le prolongement analytique nest pas toujours possible. On peut deviner davance quil lest
ici, en jouant avec lintervalle dintegration apparaissant dans lintegrale de denition. En eet, soit lintegrale :

ez d
(7.15)
C

o`
u le contour ferme C est forme de lintervalle [0, R] R, de larc de cercle de rayon R, 0 0 < 2 et
du segment joignant le point Rei0 `
a lorigine. Ce contour delimite un domaine o`
u ez est holomorphe. Le
theor`eme de Cauchy permet donc decrire :

ez d = 0 .
(7.16)
C

En decomposant lintegrale, on peut ecrire :




+R

ezt dt +

iRei d eRe +
i

eze

i0

d = 0 .

` la limite R = +, on a donc :
Lintegrale du milieu tend vers zero exponentiellement avec R. A
 +
 +
i0
zt
e
dt =
eze d .
0

(7.17)

+R

(7.18)

Maintenant, z = rei etant donne, largument de lexponentielle est rei(0 +) : il sut de prendre |0 + | < 2
pour que lexponentielle dans lintegrale de droite soit de la forme e(quantite positive) , assurant que lintegrale
au second membre de (7.18) converge `a linni et donc existe. Ainsi, simplement en jouant avec le contour
dintegration, on voit davance que Y(z) va pouvoir etre prolongee bien au-del`
a de {z, z > 0}.

Math
ematiques pour physiciens
LP 311

3 D
ecembre 2004

Cl. A.


7.2. DEFINITION
ET FORMULE DINVERSION

Bien evidemment, lorsque labscisse de sommabilite est egale `a , aucun prolongement analytique nest
necessaire ; cest le cas pour la fonction-porte (7.9) : demblee, la transformation integrale produit a` elle toute
seule la fonction donnee en (7.10), qui est holomorphe dans le plan entier ouvert.
Tout comme pour la transformation de Fourier, se pose maintenant la question de linversion de la
transformation integrale (7.2) : etant donne une fonction F (z), consideree comme une image par Laplace, quelle
est la formule donnant son original f(t) :
f = L1 [F ]

L1

F f ?

(7.19)

La fonction F (z) est donc donnee et lanalyse de son expression permet lidentication compl`ete de ses singularites ; la question est donc de trouver la facon dobtenir son original f(t).
B

Figure 7.1: Droite de Bromwich utilisee pour linversion de la transformation de Laplace (voir (7.24)). Les
points schematisent les singularites de F (z), qui sont toutes situees `a la gauche de cette droite.
Pour etablir la formule traduisant cette inversion, on sappuie sur ce que lon sait de la transformation
de Fourier. x0 designant toujours labscisse de sommabilite, on peut en introduisant Y (t) recrire (7.2) sous la
forme :

+

F (z = x iy) =

Y (t)f(t)e(xiy)t dt

soit :


F (x iy) =

x > x0 ,

(7.20)

eiyt Y (t)f(t)ext dt .

(7.21)

Cette derni`ere ecriture montre que F (x iy) = F [Y (t)f(t)ext ]. En utilisant la formule dinversion de Fourier,
il en resulte :
 +
 +
1
1
eiyt F (x iy) dy Y (t)f(t) =
e(xiy)t F (x iy) dy .
(7.22)
Y (t)f(t)ext =
2
2

x0

Figure 7.2: Un contour possible pour linversion de Laplace.


En posant maintenant z = x iy (dy = idz), et notant que quand y varie de `a +, z decrit sa
droite de haut en bas, il vient t > 0 :
 xi
i
ezt F (z) dz ,
(7.23)
Y (t)f(t) =
2 x+i
soit, en denitive :
1
Y (t)f(t) =
2i

Cl. A.


ezt F (z) dz .

(7.24)

3 D
ecembre 2004

Math
ematiques pour physiciens
LP 311

CHAPITRE 7. TRANSFORMATION DE LAPLACE

B est la droite parall`ele `a laxe imaginaire dabscisse x > x0 parcourue de bas en haut, appelee droite de
Bromwich. Par construction, toutes les singularites de F (z) sont a` gauche de cette droite, puisque celle-ci est
situee `a la droite de labscisse de sommabilite x0 . Ceci etant acquis, toutes les deformations de B sont autorisees
a condition de ne pas franchir de singularite de F (z). Le contour de la g. 7.2 est tout aussi legitime que B, ni
`
plus, ni moins.
Remarque
De la denition de la transformee de Laplace F (z) dune fonction f(t), il resulte que lim|z| |F (z)| = 0
(voir (7.5)). Cette propriete triviale nest pas anodine : elle permet de dire demblee si une fonction H(z)
tiree au hasard peut etre ou non une transformee de Laplace.
` titre dexemple, soit la gaussienne G(z) = e 2 z2 ( R), qui nest pas bornee lorsque |z| , quand z
A
est dans le double secteur |Arg z| < 4 (). La propriete ci-dessus permet darmer a priori quil nexiste
pas de fonction g(t) nulle `a t < 0 dont G(z) est la transformee de Laplace :

2 2
1
 g(t) : g(t) =
ezt e z dz .
(7.25)
2i B
Dun autre cote, rien ninterdit de considerer lintegrale I(t) :

2 2
1
I(t) =
ezt e z dz ,
2i D

(7.26)

o`
u D est une droite verticale dans C, dabscisse a R, parcourue de bas en haut. Lintegration de (7.26)
peut seectuer directement en posant z = a + iy ; ainsi :

 +
1 at a2 2 + iyt 2 (ay2 2iay)
1
(a+iy)t 2 (a+iy)2
e
e
idy =
e e
dy .
(7.27)
I(t) =
e e
2i
2

 1/2 2
 +
2
e 4 , ,  > 0, C, on trouve :
En utilisant eu +u du = a
I(t) =

t2
1
e 4 2 .
2

(7.28)

Au passage, on note que labscisse a de la droite D disparat ; ceci est une simple consequence du fait que
2 2
ezt e z est une fonction enti`ere et que lon peut deplacer la droite (et aussi la deformer en un spaghetti)
sans changer la valeur de I(t) : on ne risque pas de tomber sur des singularites qui nexistent pas.
Plus important est de noter que le resultat (7.28) est vrai quel que soit t, positif ou negatif. Ainsi, il
existe bien une fonction I(t) obtenue par integration suivant D, mais en loccurrence (7.26) ne peut etre
interpretee, en depit des apparences, comme une relation dinversion : cest juste une relation indiquant
la recette comment calculer I(t). En tout cas, I(t) nest pas de la forme Y (t)quelque chose, et nest donc
pas une transformee de Laplace.
On peut resumer les choses ainsi. Pour la transformation de Laplace, la succession des etapes est :
 +
L
ezt f(t) dt L[f](z)
etape (I) : f(t) F (z) =
0

1
L1
etape (II) : F (z) f(t) =
ezt F (z) dz L1 [L[f](z)](t) = f(t) .
(7.29)
2i B
F est limage dune certaine fonction f (original), obtenue suivant la prescription de Laplace. Dun autre
cote, si on debarque au milieu avec une fonction H(z) tiree dun chapeau, on peut toujours denir une
certaine fonction h(t) (si cette ecriture a un sens dans le cas particulier considere, evidemment) :

1
h(t) =
ezt H(z) dz ;
(7.30)
2i D
 +
mais si on force a` maintenir la relation H(z) = 0 ezt h(t) dt, celle-ci peut netre veriee que pour
h 0 et donc H 0, alors que la fonction H choisie nest pas identiquement nulle, evidemment. En
pareil, H nest pas une image, et h nest pas un original dans la mesure o`
u on peut pas lui denir une
transformee au sens usuel (par exemple quand h nest pas nulle `a t < 0).

Math
ematiques pour physiciens
LP 311

3 D
ecembre 2004

Cl. A.


7.2. DEFINITION
ET FORMULE DINVERSION

Il est instructif de voir la formule dinversion a` luvre pour la fonction Y (t), dont la tranformee est 1z .
Dans ce cas, le second membre de (7.24) est :

1
1
ezt dz .
(7.31)
2i B
z
Dans un premier temps, limitons la droite entre les deux points x1 iR (x1 > x0 ), et calculons lintegrale en
refermant le contour par un grand arc de cercle de rayon R. Quand t > 0, la contribution du grand arc tendra
vers zero (exponentiellement) `a la limite R + si z < 0 : pour t > 0, on referme a` gauche ; lintegrand de
(7.31) a un p
ole simple en z = 0, dont le residu vaut 1, de sorte que lintegrale vaut 2i. Il vient donc :

1
1
ezt dz = 1 ,
t>0 .
(7.32)
2i B
z
` linverse, si t < 0, on referme par la droite ; alors le contour ferme ne contient aucune singularite et, par le
A
theor`eme de Cauchy, lintegrale est nulle :

1
1
ezt dz = 0 ,
t<0 .
(7.33)
2i B
z
Au total, on a bien :
1
2i


ezt
B

1
dz = Y (t) .
z

(7.34)

Remarquons que si lon fait t = 0 sous lintegrale dans (7.31), on obtient une integrale qui se calcule immediatement puisquune primitive, ln z, est connue :

1
1
1
(7.35)
dz =
|ln z|B .
2i B z
2i
La droite B etant dans le demi-plan de droite, la variation de la partie imaginaire du logarithme, quelle que soit
la determination choisie, est +i. Il en resulte que, pour t = 0, linversion de Laplace fournit la valeur 12 , qui
est la demi-somme des valeurs `a gauche et `a droite de Y (t).
Cet exemple montre bien la necessite deectuer (le plus souvent mentalement et implicitement) le prolongement analytique, faute de quoi aucune incursion dans le demi-plan de gauche z x0 ne serait autorisee,
ce que lon vient pourtant de faire pour trouver L1 [ 1z ] lorsque t > 0.
Il est clair que quand loriginal f(t) a un (ou plusieurs) saut(s) (ni(s)), on peut en completer la denition
en convenant dune valeur ou dune autre au point de discontinuite6 : ceci ne change en aucune facon la valeur
de la fonction obtenue par la transformation integrale (on change loriginal sur un ensemble de mesure nulle).
` linverse, la formule inverse fournit une valeur unique, qui na aucune raison de concider avec la valeur
A
conventionnelle denie anterieurement. Cest pourquoi on precise usuellement que linversion de Laplace redonne
loriginal, aux valeurs aux points de discontinuite pr`es. De fait, L1 [f](t) et f(t) sont presque partout egales.
Ce phenom`ene, dej`a rencontre `a propos des series et de lintegrale de Fourier ne devrait plus surprendre
1
Un autre exemple ; soit f(t) = et , C (donc x0 > ), dont la transformee est z
, fonction
7
holomorphe dans C\{}. La droite de Bromwich est nimporte quelle droite parall`ele `a laxe imaginaire et
coupant laxe reel en un point dabscisse strictement superieure `a . La formule dinversion (7.24) est ici :

1
1
ezt
dz .
(7.36)
2i B
z

On referme le contour comme ci-dessus : par la gauche si t > 0, le p


ole simple en z = donnant au total et ,
par la droite si t < 0, auquel cas le contour ne contient aucune singularite et lintegrale est nulle. En denitive :

1
1
ezt
(7.37)
dz = Y (t) et , t
2i B
z
6 Souvent, on prend la valeur limite dun c
ot
e, mais on pourrait prendre aussi nimporte quelle autre valeur la demi-somme, un
choix parmi dautres etant a priori naturel.
7 ou, bien s
ur, nimporte quelle ligne laissant `
a sa gauche toutes les singularites de limage.

Cl. A.

3 D
ecembre 2004

Math
ematiques pour physiciens
LP 311

CHAPITRE 7. TRANSFORMATION DE LAPLACE

comme il se doit.
Tout comme pour la transformation de Fourier, il est parfois necessaire (ou en tout cas tr`es utile) de
denir la transformee de Laplace de fonctions obtenues comme limite de certaines suites. Le cas le plus utile
est celui de la fonction t (t) denie comme :
 1
si 0 < t < t
t
t (t) =
.
(7.38)
0
autrement
Si t 1, cette fonction est tr`es etroite et laire de son graphe vaut 1 : cest un precurseur de la fonction de
Dirac centree juste `a droite de t = 0, que lon peut noter (+) (t) :
lim t (t) = (+) (t) .

(7.39)

t 0

La transformee de Laplace de t (t) est :



L[t (t)] t (z) =

ezt

1
1 ezt
dt =
.
t
zt

(7.40)

1
Ceci montre que la largeur en z de t (z) est t
: tout comme pour la transformation de Fourier, le produit de
la largeur t de loriginal et z de son image qui ici vaut strictement 1 est dune facon generale un nombre
dordre unite :
t z 1 .
(7.41)

Comme pour les couples de Fourier, ceci tient a` la nature meme de la transformation integrale de denition,
qui conduit immediatement `a la relation de dilatation (voir (7.62)) : plus loriginal est concentre dans le temps,
plus limage est etendue en z, et inversement.
Maintenant, pour tout z xe, la limite de t (z) quand t 0 donne :
1 ezt
= 1 ;
t0
zt

(z) lim t (z) = lim


t0

(7.42)

ceci permet decrire :


L[ (+)(t)] = 1 ,

(7.43)

o`
u (+) (t) = limt0 t (t). Reciproquement, on a :
L1 [1] = (+) (t) .

7.3

(7.44)

Propri
et
es de la transformation de Laplace

` linstar de la transformation de Fourier, la transformation de Laplace poss`ede des proprietes importantes, qui
A
resultent directement de la denition (7.2). On note toujours :
L

f(t) F (z) ,

F = L[f] ;

L1

F (z) f(t) ,

f = L1 [F ] .

(7.45)

 Lin
earit
e Lintegrale etant une operation lineaire, on a de toute evidence :
L[f + g] = L[f] + L[g] ,

(7.46)

o`
u et sont des scalaires. La transformation de Laplace est donc elle aussi bien adaptee `a la resolution
dequations lineaires, et produira aisement les solutions admettant une transformee de Laplace, cest-`a-dire ne
croissant pas plus vite quune certaine exponentielle.

Math
ematiques pour physiciens
LP 311

3 D
ecembre 2004

Cl. A.

ES
DE LA TRANSFORMATION DE LAPLACE
7.3. PROPRIET

 Translation Etant
donne une fonction f(t), sa translatee de t0 est la fonction (Tt0 f)(t) = f(t t0 ) ; cette
fonction est non nulle seulement pour t > t0 . La transformee de Tt0 f est :
 +
 +
 +

zt
zt
zt0
L[Tt0 f] =
e f(t t0 ) dt =
e f(t t0 ) dt = e
ezt f(t ) dt = ezt0 L[f] . (7.47)
0

t0

Dans le contexte traditionnel de la transformation de Laplace, ce resultat sappelle parfois theor`eme du retard.
` titre dillustration elementaire, soit lequation :
A
f(t) = f(t t0 ) + a ,

(a, t0 R+ ) ,

f(t < 0) = 0

(7.48)

qui peut etre resolue par la transformation de Laplace. Remarquons dabord que la solution se trouve a` vue :
quand 0 < t < t0 , lequation est f(t) = 0 + a = a ; quand t0 < t < 2t0 , lequation est f(t) = a + a = 2a et ainsi
de suite. La solution nulle `a t < 0 vaut donc `a t positif :



t
(t > 0)
(7.49)
f(t) = a 1 + E
t0
o`
u E(x) designe la partie enti`ere du reel x : cest une fonction en escalier, qui vaut a entre 0 et t0 , 2a entre t0 et
2t0 , etc. Ce resultat peut aussi sobtenir comme suit. La transformation de Laplace appliquee `a (7.48) donne :

a
a
a
1
F (z) = ezt0 F (z) +
ezt
F (z) =

f(t)
=
dz . (7.50)
z
z(1 ezt0 )
2i B
z(1 ezt0 )
Lintegrale se calcule par residus. Les p
oles sont z0 = 0 dune part, les zeros de 1 ezt0 soit zk = 2ik
, k Z,
t0
dautre part ; le p
ole en z0 est double, le residu vaut tt0 , tous les autres sont simples et donnent chacun le residu
t
1
e2ik t0
2ik

(k
= 0). Lexpression de f(t) qui resulte de lapplication du theor`eme des residus est ainsi :
e2ik t0
1
t
+
f(t) =
,
a
t0
2ik

(7.51)

kZ

etant sous-entendu que f(t < 0) = 0. La serie peut se calculer en passant par lintermediaire de la derivee f  (t),
qui donne un peigne de Dirac, a` un terme pr`es, et a pour expression (toujours pour t > 0) :







1 
1
1
t
1
t
+ 2
2 2p 1 =

p =
(t pt0 ) ;
(7.52)
f (t) =
a
t0
t0
t0
t0
t0

pZ

pZ

pN

lecriture de la derni`ere somme (N au lieu de Z ) anticipe le fait que f et f  sont nulles t < 0, de sorte que
les (t pt0 ), p < 0, peuvent etre omis. On en deduit par integration et apr`es calage de la constante8 , sachant
que f(0 < t < t0 ) = a :

f(t) = a
Y (t pt0 )
t ,
(7.53)
pN

` tout t ni, la serie (7.53) ne contient quun


qui a bien les memes valeurs que la fonction f(t) donnee en (7.49). A
nombre ni de termes non-nuls.
Linversion peut aussi se faire comme suit. La transformee F (z) dans (7.50) se developpe en serie enti`ere :
+
a
a nzt0
F (z) =
e
.
=
z(1 ezt0 )
z n=0

(7.54)

Ce developpement converge uniformement z, |ezt0 | < 1, soit z > 0. On peut donc eectuer la transformation
1 1
inverse en integrant
terme

 `a terme ; se souvenant que L [ z ] = Y (t) et compte tenu du theor`eme du retard
1 nzt0 1
donnant ici L
e
z = Y (t nt0 ) :


+
+
+



1
1
nzt0 1
e
L [F ](t) = a
L
Tnt0 Y (t) = a
Y (t nt0 ) .
(7.55)
(t) = a
z
n=0
n=0
n=0
8 Une fois connues les r`
egles (exposees plus loin) concernant les relations entre les derivees et les primitives dun original et de
son image, linversion de (7.50) se fait plus rapidement. Par ailleurs

Cl. A.

3 D
ecembre 2004

Math
ematiques pour physiciens
LP 311

10

CHAPITRE 7. TRANSFORMATION DE LAPLACE

Pour tout t ni, la serie est en fait tronquee au plus grand entier n tel que nt0 < t, soit E( tt0 ) (tous les termes
dapr`es sont nuls). En denitive, on retrouve bien lexpression (7.49).
Notons limportant resultat pratique, auquel il sera fait reference dans la suite :
 +
( + 1)
L[t ] =
ezt t dt =
( > 1) ,
z +1
0
par denition9 de la fonction dEuler. Il en resulte :


1
t1
L1 =
Y (t)
z
()

( > 0) .

Maintenant, par le theor`eme de translation, on en deduit :


 zt0

t1
1
1 e
=
T
L
Y (t) =
Y (t t0 ) (t t0 )1 .
t
0
z
()
()

(7.56)

(7.58)

(7.59)

 Modulation Etant
donnee une fonction f(t), sa modulee `a 0 est ei0 t f(t). On a :
L[ei0 t f(t)] =

e(z+i0 )t f(t) dt = L[f](z + i0 ) F (z + i0 ) .

(7.60)

L[et f(t)] = F (z + ) .

(7.61)

Plus generalement, on a :

Exemple : on trouve sans peine que la fonction f(t) = Y (t) cos t a


fonction modulee fmod = sin t f(t) ; sa trans formee de Laplace est

z
pour transformee F (z) = z2 +
2 . Soit la
1
zi
z+i
Fmod (z) = 2i [ (zi)2 +2 (z+i)2 +2 ].

 Dilatation Un changement dechelle sur la variable dune fonction f(t) denit une nouvelle fonction f
telle que f (t) = f(t). On a :

L[f (t)] =

ezt f(t) dt =

t

ez f(t ) dt =

1
z
1
z
L[f]( ) F ( ) .

(7.62)

Fondamentalement, cest cette propriete qui est `a lorigine de la relation dincertitude entre t et z (voir
(7.41)) : plus f est ramassee, plus F est etendue.
` titre dillustration, montrons comment la relation (7.62) permet dobtenir astucieusement la transA
formee de la fonction10 f(t) = Y (t) ln t . En eet, posant F (z) = L[ln t ] on a dapr`es (7.62) :
t
1 z
L[ln ] = F ( ) ;

(7.63)

En utilisant ln t = ln + ln t , on obtient :
F (z) +

ln
1 z
= F( ) ;
z

(7.64)

maintenant, derivant membre a` membre par rapport a` et faisant ensuite = 1, on trouve que F (z) satisfait
u z0 est une constante
lequation dierentielle zF  (z) + F (z) = 1z , dont la solution generale est 1z ln zz0 , o`
9 On

rappelle que :


(z) =

xz1 ex dx

(z > 0) .

(7.57)

0
10 On

note que cette fonction na pas de transform


ee de Fourier.

Math
ematiques pour physiciens
LP 311

3 D
ecembre 2004

Cl. A.

ES
DE LA TRANSFORMATION DE LAPLACE
7.3. PROPRIET

11

dintegration, que lon peut trouver en connaissant une valeur particuli`ere de lintegrale de denition de F (z).
Si on fait z = 1 , on a :
 +
 +
t
1
t
F (z = ) =
e
ln dt =
eu ln u du .
(7.65)

0
0
La derni`ere integrale est connue et est egale `a loppose de la constante dEuler11 traditionnellement notee C :
 +
eu ln u du = C = 0.577 . . . .
(7.67)
0

Do`
u, notant = eC = 1.781 . . . comme le font la plupart des auteurs :
t
1
L[ln ] = ln( z) .

z
 Conjugaison
L[f ] =

ezt f (t) dt =



ez t f(t) dt

(7.68)

= F (z ) .

(7.69)

Cette propriete joue un r


ole important lorsque F (z) est une fonction multiforme, en permettant de lever toute
ambigute sur la determination `a considerer. Par exemple (avec > 1) :


L[t ] =

ezt t dt =

1
( + 1) ,
z +1

(7.70)

o`
u, a` nouveau, reference a ete faite `a la denition de la fonction dEuler. Lorsque nest pas entier, la fonction
z +1 a un point de branchement en z = 0, mais la coupure est ici compl`etement determinee par la denition
meme de la transformation de Laplace. En eet, compte tenu de la relation de conjugaison (7.69), la coupure
est necessairement le demi-axe reel negatif, et on a sans ambigute :
z = r ei ,

z +1 = r +1 ei(+1)

( < < +) .

(7.71)

 D
erivation Un resultat particuli`erement utile en pratique est le lien entre les transformees de Laplace dune
fonction et de ses derivees. La transformee de la derivee f  est par denition :
 +

L[f ] =
ezt f  (t) dt
( z z > x0 ) .
(7.72)
0

Par une integration par parties, on a :



+
L[f  ] = f(t)ezt 0

(z) ezt f(t) dt .

(7.73)

Le terme tout integre vaut12 f(0), do`


u:

do`
u la r`egle :

L[f  ] = f(0) + zL[f](z) ,

(7.74)

L[f  ] = zF (z) f(0) ,

(7.75)

11 On

sait plus pr
ecis
ement (!) que C = 0.577 215 664 901 532 860 606 512 090 082 402 431 042 159 335 939 923 598 805 767 234 884 . . ..
Cette constante apparat fr
equemment en Analyse et en theorie des nombres ; on peut la denir comme :
 N

 1
C = lim
.
(7.66)
ln N
N +
n
n=1

12 Il faut bien s
ur comprendre que f (0) d
esigne la limite `
a droite f (0+). Par ailleurs limz ezt f (t) = 0, puisque f (t) ne crot
pas plus vite que ex0 t .

Cl. A.

3 D
ecembre 2004

Math
ematiques pour physiciens
LP 311

12

CHAPITRE 7. TRANSFORMATION DE LAPLACE

De la meme facon :
L[f  ] = zL[f  ](z) f  (0) = z[zF (z) f(0)] f  (0) = z 2 F (z) zf(0) f  (0) ,
et plus generalement (f (m) (t) =

dm f
dtm

(7.76)

):

F [f (m) ] = z m F (z) z m1 f(0) z m2 f  (0) . . . f (m1) (0) = z m F (z)

m1

z mr1 f (r) (0) .

(7.77)

r=0

` titre dexemple, soit lequation :


A
f  (t) f(t t0 ) = (t)

(7.78)

o`
u (t) est une source donnee, et sachant que f(0) = f0 (avec toujours f(t < 0) = 0). La transformation de
Laplace donne ( = L[]) :
zF (z) f0 ezt0 F (z) = (z)

F (z) =

(z) + f0
.
z ezt0

La fonction cherchee est donc :




f0 ezt
(z)ezt
1
1
dz
+
dz fh (t) + fsource (t) .
f(t) =
zt
0
2i B z e
2i B z ezt0

(7.79)

(7.80)

Le terme contenant la source (z) ne peut etre explicite davantage tant que lon ne sait pas precisement ce

50

40

30

20

10

0
0,0

1,0

2,0

3,0

4,0

5,0

6,0

7,0

8,0

Figure 7.3: Graphe de la fonction denie en (7.83).


quest (t). En revanche, le terme homog`ene peut sinverser en developpant en serie la fraction rationnelle :
fh (t) = L1

+ 
+


zt0 n
f0
1
1 1
=
f
L
=
f
n Tnt0 L1 n+1 .
e
0
0
z ezt0
z n=0 z
z
n=0

(7.81)

En utilisant maintenant (7.56), il vient :


L1

f0
t Y (t)

= f0
n Tnt0
= f0
(t nt0 )n Y (t nt0 ) = f0
zt
0
z e
(n
+
1)
n!
n=0
n=0


t
t0

n
(t nt0 )n . (7.82)
n!
n=0

Explicitement, la fonction fh (t) denie en (7.82) est :

si 0 < t < t0
f0

f [1 + (t t )]
si t0 < t < 2t0
0
0
fh (t) =
2
2

f
[1
+
(t

t
)
+
(t

2t
)
]
si
2t0 < t < 3t0
0
0

2
0
...

Math
ematiques pour physiciens
LP 311

3 D
ecembre 2004

(7.83)

Cl. A.

ES
DE LA TRANSFORMATION DE LAPLACE
7.3. PROPRIET

13

Cette fonction un peu bizarre a un saut de la n`eme derivee en t = nt0 : nulle avant, la derivee en question vaut
n `
a nt0 + 0. On ne sen douterait pas au seul vu du graphe (voir g. 7.3) : un graphe dapparence anodine
peut se referer `a une fonction un peu etrange13 .
Notons que lusage de la transformation de Laplace nest pas ici absolument necessaire. En eet, la
solution de lequation homog`ene :
f  (t) f(t t0 ) = 0
(7.84)
peut aussi se trouver de proche en proche, en raisonnant successivement dans les intervalles [nt0 , (n + 1)t0 ].
Pour 0 < t < t0 , lequation est f  (t) = 0, soit f(t) = f0 ; pour t0 < t < 2t0 , lequation est f  (t) f0 = 0, qui
donne f(t) = f0 (t t0 ) + f0 . Pour 2t0 < t < 3t0 , on a f  (t) f(t t0 ) = 0 avec f(t) = f0 (t t0 ) + f0 , soit
f  (t) [f0 (t 2t0 ) + f0 ] = 0, et ainsi de suite.
Montrons maintenant comment il est possible de denir les transformees de Laplace des derivees de la
fonction t denie en (7.38). Notons quun precurseur gaussien de la fonction de Dirac (x) a pour derivee une
fonction impaire croissant tr`es vite pour x  0, et sannule en x = 0 et decrot tr`es vite pour x  0. Do`
u lidee
de considerer la fonction :
1
0 < t < t
t
2
(1)
1
t (t) =
(7.85)
t t
< t < t .
2

0
autrement
On trouve facilement que sa transformee de Laplace est

1
(1
zt

e 2 zt )2 . Dans la limite t 0, on obtient :


1

(1)

lim L[t (t)](z) = z .

(7.86)

t0

(1)

Revenant a` la denition de (+) (t), (7.43), et compte tenu de (7.75), on voit que lon peut bien considerer t (t)
comme la derivee de (+) (t). Plus generalement, z m sera la transformee de Laplace de la m`eme derivee (+) (m) (t)
de (+) (t) :
L[ (+)(m) ](t) = z m L1 [z m ](t) = (+)(m) (t) .
(7.87)
Il est clair que ces denitions (conventionnelles) ne respectent pas la propriete (7.5) propre a` toute
bonne transformee de Laplace.
Notons enn que (7.75) se lit aussi :
zF (z) = L[f  ](z) + f(0) ,

(7.88)

de sorte que pour des bonnes fonctions (telles que leur transformee de Laplace est nulle `a linni), on a :
lim zF (z) = f(0) .

(7.89)

t
 Int
egration Soit 0 f(t )dt la primitive de f qui sannule en t = 0. Sa derivee est egale `a f(t), dont la
t
transformee de Laplace est L[f] = F (z), mais dapr`es (7.74), elle vaut aussi zL[ 0 f(t )dt ] 0. On en deduit :

L
0

1
F (z)
f(t )dt (z) = L[f](z) =
.
z
z

(7.90)

Comme pour la transformation de Fourier, la symetrie entre L et L1 permet detablir des proprietes
duales. Par exemple, si on translate la transformee F (z) dune fonction f(t), Tz0 F (z) = F (z z0 ), la transformee
inverse est :

 +

1
1
L1 [Tz0 F ] =
ezt F (z z0 ) dz = ez0 t
ez t F (z  ) dz  = ez0 t L1 [F ] .
(7.91)
2i B
2i B
13 Un saut de fonction saute aux yeux, ainsi quune rupture de pente ; en revanche, un saut de d
erivee seconde est quasi invisible,
et a fortiori pour les derivees dordre sup
erieur.

Cl. A.

3 D
ecembre 2004

Math
ematiques pour physiciens
LP 311

14

CHAPITRE 7. TRANSFORMATION DE LAPLACE

Ceci
 est en quelque sorte le theor`eme dual du theor`eme du retard. Dans le meme ordre didee, considerons
F (z ) dz , qui est la primitive de F (z) sannulant a` linni. On a :
z


  +


z  t
F (z ) dz =
e
f(t) dt dz 
(7.92)
z

En prenant le chemin dintegration en z dans le demi-plan z x1 > x0 , lintegrale interne est majoree comme
suit (f(t) < M ex0 t ) :
 +

 +


z  t

 M
e
f(t)
dt
e(x1 x0 )t dt .
(7.93)


0

Lintegrale interne converge donc uniformement en z ; en intervertissant lordre des integrations dans (7.92) :





 +
 +
ezt
f(t)


z  t

=
F (z ) dz =
f(t) dt
e
dz
f(t) dt
= L
.
(7.94)
t
t
z
0
z
0


f(t)
F (z  ) dz  .
= L1
t
z
z
 at bt 
e
e
:
Ceci est la propriete duale de (7.90). Par exemple, soit a` trouver L
t


En denitive :

eat ebt
L
t

F (z  ) dz  = L


=

at

L[e

f(t)
t

bt

](z ) dz =

Enn, on peut noter que :



dm F
=
(t)m f(t) ezt dt
dz m
0

1
z +b
1

dz  = ln
.

z +a z +b
z +a

tm f(t) = (1)m L1

(7.95)

dm F
dz m

(7.96)

(7.97)

 Convolution La convolution de deux fonctions a ete denie au ch. 6 ; toujours notee f g, elle sobtient
par loperation suivante :
 +
(f g)(t) =
f(t )g(t t ) dt .
(7.98)

Ici, toutes les fonctions sont nulles pour t < 0, de sorte que lintegrale de (7.98) setend de fait de 0 a` t seulement :
 t
(f g)(t) =
f(t )g(t t ) dt .
(7.99)
0

La transformee de f g est :


L[f g](z) =

ezt dt

t

soit :

f(t )g(t t ) dt .

zt

f(t )e


0

f(t )ezt dt

dt

t

L[f g](z) =

(7.100)

Linterversion de lordre dintegration donne :


 +
 +



 zt
L[f g](z) =
f(t ) dt
g(t t )e dt =
0



g(t t )ez(tt ) dt ,

g(t )ezt dt F (z) G(z) .

(7.101)

(7.102)

Enn, on peut aussi montrer que la transformee de Laplace du produit de deux fonctions est la convolution
de leurs transformees :
 +
 a+i
1
zt
L[fg](z) =
f(t)g(t) e
dt =
F (z  )G(z z  ) dz  ;
(7.103)
2i ai
0

Math
ematiques pour physiciens
LP 311

3 D
ecembre 2004

Cl. A.

ES
ASYMPTOTIQUES
7.4. PROPRIET

15

Si x0 et x0 designent les abscisses de sommablite de f et g respectivement, on a a > x0 et z > x0 + a. L[fg](z)
est de fait holomorphe dans le demi-plan z > x0 + x0 . Schematiquement, (7.103) resulte de la suite degalites :


F (z  )G(z  )
,
z z  z 
0
B
B 
B
B 
(7.104)
la derni`ere ecriture venant de lintegration sur la variable t. Maintenant, on eectue lintegration en z  en
refermant par un demi-cercle `
a droite : F et G etant analytiques dans le demi-plan de droite, la seule singularite
est le pole simple en z0 = z z  ; le residu est F (z  )G(z z  ), mais comme on tourne dans le sens negatif,
cest (2i) qui apparat dans lexpression du theor`eme des residus, do`
u (7.103).
1
L[fg](z) =
(2i)2

7.4

zt

dte

dz

 z  t

dz e

z  t

F (z )e

1
G(z ) =
(2i)2


dz

dz 

Propri
et
es asymptotiques

On se doute intuitivement que, tout comme pour la transformation de Fourier, il existe une relation etroite entre
le comportement de f(t) a` linni et celui de F (z) aux petits z. Ceci est dailleurs evident au vu de la denition
(7.2) : si t devient tr`es grand, lintegrand est quasi nul sauf quand z est tr`es petit, typiquement |z|  t1 .
Autrement dit, les grandes valeurs de t ltrent les petites valeurs de |z|. Montrons ceci en commencant par
demontrer un resultat utile en pratique :
Si une fonction f(t) admet une limite pour t +, alors on a legalite :
f(+) = lim [zF (z)] ,

(7.105)

z 0

o`
u F (z) = L[f](z).
En eet, une fonction g(t) etant donnee, on a (G = L[g]) :


g(t) dt

lim G(z) =

z 0

L1 [G](t)dt ,

(7.106)

dune part. Dautre part, zF (z) = L[f  ](z) + f(0) L1 [zF (z)] = f  (t) + L1 [f(0)](t), do`
u:

lim zF (z) =

z 0

L1 [zF (z)](t) dt =


 
f (t) + L1 [f(0)](t) dt .

(7.107)

f(0) est une constante, donc dapr`es (7.44), L1 [f(0)](t) = f(0) (+) (t). Do`
u:

lim zF (z) =

z 0

[f  (t) + f(0) (+) (t)] dt = [f(+) f(0)] + f(0) = f(+) .

(7.108)

Lexistence de la limite f(+) est une hypoth`ese essentielle : la fonction F (z) L[sin t] = z2 +
2 est
telle que limz 0 zF (z) = 0, et pourtant sin t na pas de limite a` linni (tout au plus peut-on remarquer que
limz 0 zF (z) donne une sorte moyenne de sin t. . . )

En pratique, lusage de la transformation de Laplace est une methode commode et puissante pour obtenir
des informations precises sur une fonction f(t) que lon cherche `a analyser. Le resultat ci-dessus permet de
trouver la valeur de la limite quand on sait par ailleurs quelle existe. Il aussi egalement interessant de savoir
comment f(t) approche sa limite (quand elle existe). Une question frequente est ainsi la suivante : quel est le
comportement de f(t) aux grands temps, alors quen general F (z) est une fonction trop compliquee pour que
lon sache faire exactement linversion ?

Cl. A.

3 D
ecembre 2004

Math
ematiques pour physiciens
LP 311

16

CHAPITRE 7. TRANSFORMATION DE LAPLACE

La reponse est apportee par une suite de theor`emes appeles theor`emes tauberiens, qui setablissent tous
par application de la methode suivante : on eectue le developpement de F (z) aux petits14 z, et on inverse
terme `a terme. Par exemple, si on trouve15 :

a z ,
z 0 .
(7.109)
F (z) 

on peut alors montrer que :


f(t)

t1
;
()

(7.110)

il importe de noter que le developpement ainsi obtenu est en general asymptotique do`
u le symbole caracteristique , et que tout renseignement a priori sur les proprietes analytiques de f et/ou F est donc le bienvenu.
Par ailleurs, on note que ceci est symboliquement le resultat etabli en (7.58), prolonge aux valeurs quelconques
de .
La mise en uvre de ce type danalyse exige un peu de savoir-faire, comme le montre lexemple suivant.
Supposons que lon obtienne dune facon ou dune autre la transformee de Laplace suivante :
F (z) =

1
,
1 + (z)

(7.111)

o`
u (z) est une fonction compliquee interdisant lespoir de pouvoir eectuer exactement linversion de Laplace.
En revanche, on suppose connu le comportement de aux petits z ; admettons quil soit de la forme16 :
(z)  Cz

( > 0 non-entier) ,

(7.112)

ce qui autorise a` ecrire :


F (z) 

1
Fap (z) ,
1 + Cz

z 0 .

(7.113)

Lidee est dapproximer f(t) aux grands temps par L1 [Fap] fap (t).
Lerreur consisterait a` dire que, quand z est petit et si > 0, z peut etre neglige devant 1, do`
u lon
deduirait que f(t) L1 [1] = (+) (t). . . La r`egle absolue est de conserver le terme multiforme dominant. On
sen convainc en ecrivant en detail lexpression de fap (t) = L1 [Fap] resultant dune deformation continue de
la droite de Bromwich17 pour lui faire entourer la coupure de z , choisie le long du demi-axe reel negatif, de
facon `a ecrire linversion de Laplace sous la forme dune integration portant sur une variable reelle, une ecriture
evitant lapparition de canulars. Apr`es un petit calcul (z = xei sur les bords superieure et inferieur de la
coupure, x > 0), on trouve nalement que fap (t) se met en eet sous la forme de lintegrale reelle :
 +
x
C
fap (t) =
ext
dx .
(7.114)
sin

1 + 2Cx cos + C 2 x2
0
Sur cette expression, on peut maintenant sans risque exploiter le fait que t est tr`es grand, de sorte que gr
ace `a
la coupure eectuee par ezt , ce qui se passe loin de lorigine est quasi-invisible. On peut ainsi ecrire :
 +
C
C
( + 1)
x ext [1 + O(x )] dx
,
( > 0, t +) .
sin
sin
f(t) fap (t)

t+1
0
(7.115)
Notons que ce terme est bien nul pour les valeurs enti`eres de , auquel cas la fonction Fap (z) na pas de coupure
et prend les memes valeurs de part et dautre de laxe reel negatif : lexpression (eventuellement asymptotique)
14 Comme toujours, si t d
esigne le temps, parler des petits z veut dire que vis-`
a-vis dune autre
echelle de temps pr
ealablement
d
enie, on a z  1.
15 Les ne sont nullement tenus d
etre entiers.
16 Ne pas
ecrire F (z)  1 Cz au motif que z est petit ! Une telle ecriture conduirait `
a des objets ressemblant `
a des derivees
fractionnaires de (+) (t) et ne serait vraiment ici daucune utilite.
17 Ce faisant, il faut bien s
ur contourner les autres eventuelles singularites, do`
u limportance den savoir le plus possible sur les
propriet
es analytiques de la vraie transformee F (z) ! On suppose ici que F (z) na pas dautres singularites que la coupure ou
que tous ses p
oles ont une partie reelle negative, auquel cas la conclusion qui suit nest pas alter
ee, une fois
eteints les transitoires
correspondants.

Math
ematiques pour physiciens
LP 311

3 D
ecembre 2004

Cl. A.

17

7.5. QUELQUES APPLICATIONS DE LA TRANSFORMATION DE LAPLACE

de f(t) depend alors dautres singularites de F (z) non envisagees dans le calcul precedent. Par ailleurs, quand
augmente, il faut se poser tot ou tard la question des termes omis dans lexpression approchee (7.112) de
(z) : on pourrait tout a` fait avoir quelque chose comme (z)  Cz + Dz 2 auquel cas lanalyse ci-dessus peut
` nouveau, on est tente de penser que si > 2 le terme multiforme peut etre
sembler incorrecte quand > 2. A
omis car inniment petit devant le terme en z 2 (au motif que |z| |z|2 si z tend vers zero et si > 2). Cest
faux : le meme type de calcul montre que les termes non-multiformes se compensent et que la puissance de t
donnant le comportement asymptotique est inchangee ! Ce constat valide larmation suivant laquelle il faut
conserver le terme multiforme dominant (ce qui veut dire que lon peut oublier z compare `a z si > , et
non-entiers), meme si sa puissance (non-enti`ere) est superieure `a dautres termes en puissance enti`ere.
Le resultat interessant est le suivant : la presence dune puissance quelconque (i. e. non-enti`ere) dans
Fap (z) donne a` f(t) un declin en loi-puissance avec un exposant non entier. Depuis une bonne vingtaine dannees,
les comportements en loi-puissance sont massivement apparus en Physique (notamment a` propos des syst`emes
fractals caracterises par une certaine invariance dechelle, dans les phenom`enes de diusion anormale, pour
decrire les relaxations lentes, . . . ). Un declin en loi-puissance donne en general une physique qualitativement
dierente dun declin exponentiel banal : pour ce dernier, on peut sans ambigute denir un temps de relaxation,
ce qui nest pas possible pour une relaxation en loi-puissance quand lexposant est petit ; a` la limite, cet exposant
1
peut etre nul : cest le cas lorsque f(t) ln(t/)
, la fonction ln1x decroissant plus lentement que x quel que
soit > 0.

7.5
7.5.1

Quelques applications de la transformation de Laplace

Equations
di
erentielles lin
eaires `
a coecients constants

Il sagit sans doute de lapplication la plus elementaire (et cest dailleurs pour resoudre de telles equations que
la transformation de Laplace ou ses avatars a ete inventee). Soit lequation lineaire :
n

ap

p=0

dp f
= (t) ,
dtp

f(t < 0) = 0 ,

(7.116)

completee par la donnee dautant de conditions initiales que necessaire, par exemple les n nombres f(0),
f  (0), . . . , f (n1) (0). En prenant la transformee de Laplace, compte tenu de (7.77), il vient :


p1
n


ap z p F (z)
z pr1 f (r) (0) = (z) ,
(7.117)
a0 F (z) +
p=1

r=0



p1
n


1
pr1 (r)
ap
z
f (0) .
(z) +
F (z) = n
p
p =0 ap z
p=1
r=0

do`
u:

(7.118)

Sur cette expression, on retrouve bien le fait que la solution sobtient comme la somme dune combinaison lineaire
(dependant des n conditions initiales) representant la solution generale de lequation homog`ene, et dune solution
particuli`ere de lequation compl`ete qui contient la source (t). Lexpression formelle de f(t) est donc :
f(t) =

n1

r=0

f (r) (0)

n

p=r+1

ap

1
2i


B

z pr1
1
zt
n
dz +
 e
p

2i
p =0 ap z


B

(z)
zt
dz fh (t) + fsource (t) .
 e
 zp
a

p
p =0

n

(7.119)
n
La fonction au denominateur, Z(z) = p=0 ap z p , sappelle18 fonction de transfert ; sauf concidence accidentelle19 , ses n zeros zk donnent des p
oles pour F (z). Par le seul fait de la presence de Z(z) et sans prejuger
18 Attention, la terminologie est variable dun auteur `
a lautre : cest parfois
chaque cas, de quoi on parle.
19 avec des z
eros des num
erateurs.

Cl. A.

3 D
ecembre 2004

1
Z(z)

qui porte ce nom. Lessentiel est de savoir, dans

Math
ematiques pour physiciens
LP 311

18

CHAPITRE 7. TRANSFORMATION DE LAPLACE

dautres contributions venant de singularites du crochet dans (7.118) , lexpression de f(t) contiendra donc une
combinaison lineaire dexponentielles ezk t . Si toutes les parties reelles des zk sont negatives, ces termes tendent
vers zero quand t tend vers linni et representent les regimes transitoires qui disparaissent rapidement. Les
autres residus (ceux venant des singularites de (z)) decrivent le regime force.
que des zeros
Il est possible dexpliciter le terme homog`ene fh (t) de la solution (7.119). Si Z(z) na 
n
simples, notes zk = k + ik , on peut ecrire (par le theor`eme fondamental de lalg`ebre) Z(z) = an k=1 (z zk ),
o`
u les n zeros zk sont tous dierents et apparaissent par paires conjuguees si les coecients ap sont tous reels.
Alors, le theor`eme des residus20 permet decrire21 :
n1

n
n
n
n1
n
pr1





z
ezk t (r)
fh (t) =
f (r) (0)
ap n k
f
(0)
ap zkpr1 . (7.121)
ezk t =
 (z )
Z
a
(z

z
)
k r=0
n
l
l=1, l=k k
r=0
p=r+1
p=r+1
k=1

k=1

Au total, fh (t) est de la forme22 :


fh (t) =

n

k=1

Ak

ezk t
,
Z  (zk )

(7.122)

o`
u les Ak incorporent les n valeurs initiales {f (m) (0)}0mn1 .
Pour un syst`eme physique stable 23 , on a zk = k 0. Si tous les k sont strictement negatifs, le
terme homog`ene disparat de fait pour t  mink1 |k | ; au-del`
a de cet instant, loubli des conditions initiales est
quasi-total et f(t) se reduit en pratique `a fsource (t) : cest le regime force.
Si un zk est imaginaire pur24 , par exemple zk0 = ik0 , alors le terme homog`ene ne tend pas vers zero ;
apr`es extinction des autres termes (transitoires, eux, puisquayant k
= 0), et pour des ap R p :
fh (t)  2

n1
n

eik0 t (r)
f
(0)
ap (ik0 t)pr1 ,
Z  (ik0 t) r=0
p=r+1

t

1
.
mink=k0 |k |

(7.123)

Ainsi, seules subsistent aux grands temps des oscillations non-amorties relatives au(x) p
ole(s) imaginaire(s)
1
pur(s) de Z(z)
.
1
joue un r
ole essentiel ; toutes les autres quantites apparaissant dans
Clairement, la fonction (z)

= Z(z)
lexpression (7.119) de la solution dependent de la preparation du syst`eme (les conditions initiales) et de la
source externe (t) qui lui est imposee : on peut donc dire que
decrit la dynamique propre irreductible du
syst`eme etudie25 .

Le terme de source est de la forme :


1
fsource (t) =
2i


(z)(z)

ezt dz ,
B

(z)

1
.
Z(z)

(7.124)

Cette expression montre que L[fsource ](z) = (z)(z),

donc que fsource (t) est la convolution (L1 [])


. On
peut donc ecrire :
 t
fsource (t) =
(t t )(t ) dt .
(7.125)
0
20 ou

lapplication syst
ematique de :
L1

1
= e zk t .
z zk

(7.120)

d
enominateur dans (7.121) nest autre que la derivee de Z(z) calculee au p
ole, soit Z  (zk ).
dans lhypoth`ese o`
u tous les zeros de Z(z) sont simples.
23 Par l`
a, on entend ici quaucune divergence de nature exponentielle ne peut se produire. Alors labscisse de sommabilite est
1
est m
eromorphe, il en resulte que tous les p
oles ont une partie r
eelle negative ou nulle.
non-positive ; avec lhypoth`ese que Z(z)
24 Si les coecients a sont tous r
eels, les zeros imaginaires purs arrivent aussi par paires complexes conjuguees.
p
1
1
25 Pour loscillateur harmonique x
+ x + 02 = m
f (t), on a X(z) = [Z(z)]1 zx(0) + x(0)

+ m
(z) avec Z(z) = z2 + z + 02 .
21 Le

22 Toujours

Math
ematiques pour physiciens
LP 311

3 D
ecembre 2004

Cl. A.

19

7.5. QUELQUES APPLICATIONS DE LA TRANSFORMATION DE LAPLACE

o`
u la fonction = L1 []
est de ce fait egale `a :

(t) = L

n

p=0

ap z p

L1

1
Z(z)

(7.126)

Faisant a` nouveau lhypoth`ese que les zeros zk de Z(z) sont tous dierents les uns des autres, il vient :
(t) = Y (t)

n
n


ezk t
k ezk t ,

Y
(t)
Z  (zk )

k=1

Z(zk ) = 0 .

(7.127)

k=1

Remarque
Si deux zk concident (on parle alors de degenerescence), zk1 = zk2 , il existe un p
ole double. Plut
ot que
de faire le calcul idoine du residu, le plus simple est prendre la limite dans la forme generale (7.127), en
isolant deux zki quelconques et en imaginant que que lun tend vers lautre, par exemple zk2 zk1 . La
somme au second membre de (7.127) contient donc les deux termes `a analyser plus particuli`erement :
(zk1

ezk1 t
ezk2 t
+
,
zk2 )Z  (zk1 ) (zk2 zk1 )Z  (zk2 )

(7.128)

 zk t

1
e 1
ezk2 t

,
(7.129)
zk1 zk2 Z  (zk1 ) Z  (zk2 )
Les deux derivees Z  dans les denominateurs deviennent egales quand zk2 zk1 ; les autres termes se
combinent en restituant formellement la derivee de ezt par rapport a` z ; a` la limite, on trouve pour ces
deux termes :


ezk1 t
Z  (zk1 )
t

.
(7.130)
Z  (zk1 )
Z  (zk1 )
soit :

Un p
ole double produit donc typiquement un terme en t ezk t ; plus generalement, un pole dordre n en zk
fournira des contributions tn1 ezk t .
Lexpression (7.125) est caracteristique des syst`emes lineaires et exprime le fait que la reponse26 du
syst`eme `a une source exterieure est caracterisee par une susceptibilite27 (t), laquelle ne depend clairement que
du syst`eme (cest donc un attribut intrins`eque de ce syst`eme). On note egalement que cette expression contient
le Principe de causalite : la reponse (eet) `a linstant t ne depend que des valeurs de la source (cause) aux
instants anterieurs, puisque lintegrale nimplique que les instants t t.
Pour un syst`eme dont tous les modes sont amortis (zk = k < 0 k), il est par ailleurs possible de
denir la transformee de Fourier de (t),
F :
 +
eit (t) dt (z
= i) .
(7.131)

F () =

Dapr`es (7.127), on a :

F () =

n

k=1

n

ik
ik
=
.
izk
(ik k )

(7.132)

k=1

oles en k i|k | et sont donc toutes situees dans le demi-plan


Toutes les singularites de
F () sont des p
 + it
1
inferieur. Lexpression de (t) par la transformation de Fourier inverse, (t) = 2

F ()d, montre
e
que (t) est bien nulle t < 0 : en pareil cas, on referme le contour par un grand demi-cercle du cote  > 0
et on ne ramasse aucune singularite ; par le theor`eme de Cauchy, lintegrale donnant (t) est alors nulle28.
26 apr`
es

extinction des transitoires.


vocable est `
a prendre dans le meme sens que celui du langage ordinaire : on dit dune personne quelle est susceptible si elle
r
eagit au quart de tour. De la meme facon, un syst`
eme r
eagit plus ou moins `
a une sollicitation exterieure selon que sa susceptibilit
e
est plus ou moins grande.
28 Ces consid
erations pourraient faire croire quil existe un lien direct entre stabilite et causalite : il nen est rien. En fait, tous les
syst`
emes physiques, quils soient stables ou instables, obeissent au Principe de causalit
e. Le seul fait, pour largument, dutiliser la
transformation de Fourier
elimine de facto les syst`
emes instables et il ne reste que les syst`emes qui `
a la fois sont stables et satisfont
la causalite. Le lien apparent entre causalite et stabilite est donc illusoire.
27 Le

Cl. A.

3 D
ecembre 2004

Math
ematiques pour physiciens
LP 311

20

7.5.2

CHAPITRE 7. TRANSFORMATION DE LAPLACE

Equations
aux di
erences nies

Une equation aux dierences nies est une equation o`


u gurent les valeurs dune fonction inconnue en plusieurs
points separes dune distance nie, alors quune equation dierentielle ordinaire, par les derivees quelle contient,
nimplique que des valeurs distinctes inniment proches dune meme fonction29 . Notamment, une relation
de recurrence entre des quantites fm , fm+1 , fm+2 , . . . (m entier) rel`eve de cette categorie : en denissant
une fonction f(t) telle que f(t) = fm quand m t < m + 1, la relation de recurrence implique les valeurs
f(t), f(t + 1), f(t + 2), . . . de la fonction en dierents points.
De telles equations surviennent souvent en Physique, o`
u il est parfois utile de discretiser une variable
continue. Lexemple-type est celui o`
u on pref`ere travailler sur un reseau isomorphe `a Z, plut
ot que de raisonner
dans lespace continu R, quitte `a revenir vers le continuum en bout de course, quand on analyse le probl`eme `a
grande echelle ; cest ainsi que la marche de livrogne sur reseau (avec des deplacements vers les sites premiers
voisins) reproduit lequation classique de la diusion quand on regarde le reseau de loin30 . Par ailleurs, la
discretisation intervient forcement d`es que lon doit resoudre un probl`eme numeriquement : les machines ne
connaissent pas les inniment petits !
Soit donc une relation de recurrence lineaire dordre n, impliquant n + 1 termes consecutifs m 0 :
n

ap fm+p = 0 ,

m = 0, 1, , 2, . . .

(7.133)

p=0

dune suite de quantites fm denies pour m 0, quil sagit de trouver ; les coecients ap sont supposes
independants de m, au meme titre que les coecients de (7.116) etaient supposes independants31 de la variable
t. On voit tout de suite que lon ne pourra resoudre cette equation que moyennant la donnee supplementaire
de n valeurs initiales, par exemple les n valeurs fq , q = 0, 1, 2, . . . , n 1 : alors la valeur suivante fn est
determinee par lequation (7.133), et de proche en proche toutes les valeurs fm>n le sont aussi. Denissons
maintenant la fonction f(t) :
f(t) = fm
m t< m+1 ;
(7.134)
alors, lequation (7.133) devient :

ap f(t + p) = 0

t > 0 .

(7.135)

p=0

Pour transformer par Laplace une telle equation, il faut connatre L[f(t + p)] en fonction de F (z) = L[F ](z).
On a par exemple :


 +
 +
 1
L[f(t + 1)](z) =
ezt f(t + 1) dt = ez
ez(t+1) f(t + 1) dt = ez F (z)
ezt f(t) dt . (7.136)
0

On sait, par les conditions initiales, que f(t) = f0 quand 0 t < 1 ; il vient donc :



 1
1 ez
ez 1
z
zt
z
L[f(t + 1)](z) = e F (z) f0
e
dt = e F (z) f0
= ez F (z) f0
.
z
z
0

(7.137)

De la meme facon, on trouve (f1 est la valeur de f(t) pour 1 t < 2, quil faut aussi se donner) :
L[f(t + 2)](z) = e2z F (z) f0

ez (ez 1)
ez 1
f1
,
z
z

et ainsi de suite. Au total, la transformee de lequation (7.133) est de la forme :



 n

pz
ap e
F (z) = (f0 , f1 , . . . , fn1 ; z) ,

(7.138)

(7.139)

p=0
29 De

ce point de vue, lequation (7.78) est une equation qui est `


a la fois dierentielle et aux dierences nies.
que lon r
ealise en prenant formellement la limite nulle pour le pas du reseau.
31 Dans un cas comme dans lautre, le probl`
eme est dune tout autre diculte si les coecients sont variables en gen
eral, on ne
sait pas alors trouver la solution sous une forme exploitable.. .
30 Ce

Math
ematiques pour physiciens
LP 311

3 D
ecembre 2004

Cl. A.

21

7.5. QUELQUES APPLICATIONS DE LA TRANSFORMATION DE LAPLACE

o`
u (f0 , f1 , . . . , fn1 ; z) est une forme lineaire des n conditions initiales, parametree par la variable z, que lon
sait trouver dans chaque cas particulier. La solution est donc :
(f0 , f1 , . . . , fn1 ; z)
n
,
pz
p=0 ap e

F (z) =
o`
u Z(ez ) =
discr`ete.

n
p=0

(7.140)

ap epz est un polyn


ome de degre n dans la variable ez et joue le r
ole dune fonction de transfert

Lanalyse de lexpression (7.140) proc`ede suivant les memes lignes que precedemment, `a propos des
equations dierentielles. Elle montre un resultat general interessant : f(m t < m +
1) fm est une combinaison lineaire des ezk m (ezk )m , o`
u Z(ezk ) = 0 : chaque fm est donc de la forme k ck Xkm o`
u Z(Xk ) = 0,
les constantes ck etant trouvees `a partir des conditions initiales. Ce resultat est lequivalent, pour les equations
aux dierences nies, du resultat retrouve dans la sous-section 7.5.1 : pour une equation
n telle que (7.116), les
solutions sont des combinaisons lineaires des ezk t o`
u les zk sont les zeros32 de Z(X) = p=0 ap X p .
Bien s
ur, la methode fonctionne aussi pour une equation inhomog`ene, du genre :
n

ap fm+p = m ,

m = 0, 1, , 2, . . . ,

(7.141)

p=0

en denissant la fonction (t) = m si m t < m + 1.


Cette technique, appliquee `a lequation du second ordre (n = 2) :
fm+2 5fm+1 + 6fm = 0 ,

f0 = 0, f1 = 1 ,

(7.142)

donne la solution fm = 3m 2m (qui est bien une combinaison lineaire des zeros de Z(X) = X 2 5X + 6).
Pour lequation inhomog`ene :
fm+2 5fm+1 + 6fm = 4m ,
(7.143)
on trouve fm =

1 m
2 (4

2m ).

Traitons un dernier exemple simple, montrant le lien entre equations aux dierences nies et equations
dierentielles, et attirant lattention sur une diculte propre aux equations non-lineaires. Soit lequation
lineaire :
fm+1 = fm ,
f0 donne .
(7.144)
Bien evidemment, on voit immediatement que la solution est fm = m f0 . Lexercice consiste `a retrouver ce
resultat en utilisant la transformation de Laplace.
Pour la clarte des grandeurs introduites, t designe le temps ; on denit maintenant la fonction f(t) :
mt t < (m + 1)t

f(t) = fm

(7.145)

o`
u t est un intervalle de temps donne, ce qui permet de recrire (7.144) comme suit :
f(t + t) = f(t) ,

f0 donne .

(7.146)

On a :


L[f(t + t)](z) =

zt

zt

f(t + t) dt = e


z(t+t)

zt

f(t + t) dt = e

F (z)


zt

f(t) dt

(7.147)
soit :

L[f(t + t)](z) = e

zt

F (z) f0

Cl. A.


zt

e
0

32 On

dt

1 ezt
ezt 1
= ezt F (z) f0
= ezt F (z) f0
.
z
z
(7.148)

dit parfois que Z(X) = 0 est l


equation caract
eristique de l
equation dierentielle.

3 D
ecembre 2004

Math
ematiques pour physiciens
LP 311

22

CHAPITRE 7. TRANSFORMATION DE LAPLACE

Au total, la transformation de Laplace sur (7.146) produit :


ezt F (z) f0

ezt 1
= F (z)
z

f(t) = L1 f0

do`
u:

F (z) = f0

1 ezt
z(1 ezt )

1 ezt
,
z(1 ezt )

(7.150)

En developpant en serie la fraction rationnelle en ezt , il vient :




+
zt
1 1 e
n nzt
f(t) = f0 L
.
e
z
n=0
Utilisant L1 [ e

nt

(7.149)

(7.151)

] = Y (t nt), on trouve :
f(t) = f0

n [Y (t nt) Y (t (n + 1)t)] .

(7.152)

n=0

Ceci est une fonction en escalier, dont la marche situee entre nt et (n + 1)t est `a la hauteur n f0 . On peut
donc aussi lecrire (E designe toujours la partie enti`ere) :
f(t) = f0 E ( t ) .
t

(7.153)

En quelque sorte, f(t) est une exponentielle discretisee, decroissante si < 1, croissante dans le cas contraire.

1,0

0,8

0,6

0,4

0,2

0,0
0,0

5,0

10,0

15,0

20,0

Figure 7.4: Variations comparees de la fonction (7.153) et de sa limite en temps continu (labscisse est t/t,
f0 = 1).
Ceci peut aussi se voir en envisageant la limite continue en temps de lequation aux dierences, qui devient
dierentielle dans cette limite. Clairement, pour que ceci soit possible, il faut simultanement faire tendre t
vers zero et vers 1, puisque si t devient tr`es petit, f(t + t) tend vers33 f(t). Dailleurs, il est evident que
la limite dierentielle nexiste que si est de la forme :
1 + t

t 0 ;

(7.154)

ceci assure que pour les petits t, (7.146) prend laspect dune equation pre-dierentielle.
Eectuons donc la limite suivant cette procedure dans la solution (7.149). En developpant lexponentielle
ezt  1 + zt + O(t2 ) et tenant compte de (7.154), il vient :
F (z) f0
33 On

(7.155)

fait bien s
ur lhypoth`ese que f est une fonction continue.

Math
ematiques pour physiciens
LP 311

zt
1
= f0
Fcont(z) .
z[zt t]
z

3 D
ecembre 2004

Cl. A.

23

7.5. QUELQUES APPLICATIONS DE LA TRANSFORMATION DE LAPLACE

La fonction fcont (t) = L1 [Fcont] est f0 et , cest bien la solution de la limite t 0 de lequation aux dierences
(7.146), qui devient alors f  (t) = f. Cest aussi la limite de n = en ln(1+t+...) (voir (7.153)) dans la limite
n
n +, nt = Cste = t, avec lim n =limn+ 1 + nt = et . est 0 selon que 1.
On voit ainsi que les deux equations cousines, aux dierences et dierentielles, donnent essentiellement le
meme resultat, quand on regarde la solution de la premi`ere `a grande echelle (vu de loin, le t est petit). Cette
concidence est tr`es rassurante, mais elle ne tient que pour les equations lineaires. Il est possible de fabriquer
des equations non-lineaires tr`es simples, dont les deux versions discr`ete et continue nont pas du tout les memes
solutions (dans la version discr`ete, on assiste souvent `a la generation spontanee de points dits singuliers, qui
changent radicalement la nature des solutions34 ) ; linverse peut aussi se produire : il arrive aussi que la solution
discr`ete soit reguli`ere partout, alors que sa cousine continue a des comportements singuliers (voir lexemple
de la note 34). Ce fait peut legitimement declencher quelque inquietude, car les equations non-lineaires sont
le plus souvent insolubles analytiquement : lobligation de recourir a` un calcul sur ordinateur (pour lequel la
discretisation est une necessite incontournable) permet de suspecter davance de grandes dicultes pour ne
pas denaturer le probl`eme pose et en trouver bel et bien les solutions. En la mati`ere, un immense savoir-faire
est clairement de rigueur, et il est essentiel de proceder `a des analyses locales des solutions qui permettent de
trancher dans le vif si la machine fournit des solutions delirantes.

7.5.3

Equations
aux d
eriv
ees partielles

Une equation aux derivees partielles est une relation entre une fonction de plusieurs variables et ses derivees. Un
chapitre ulterieur du cours sera consacre `a de telles equations ; il sagit ici, a` propos dun exemple particulier,
de montrer comment les transformations integrales de Laplace et de Fourier permettent dobtenir rapidement
la solution.
Lexemple choisi est celui du propagateur dune particule libre en Mecanique quantique, cest-`
a-dire de
lobjet mathematique qui permet de construire la fonction donde a` tout instant, connaissant la fonction donde
au depart, a` linstant t0 pris comme origine des temps.
On verra dans le cours de Mecanique quantique, que la fonction donde (x, t) pour une particule libre
de masse m se deplacant dans R obeit `a lequation de Schr
odinger35 :
i

2 2
(x, t) ,
(x, t) =
t
2m x2

(7.156)

o`
u  est la celebrissime constante de Planck divisee par 2. Cest une equation du premier ordre en temps (et
du second ordre en espace). Autrement dit, pour trouver (x, t) a` un instant quelconque, il faut se donner un
etat initial (x, t0 ). Cette equation est en un sens inniment plus compliquee quune equation dierentielle : on
peut dire quelle necessite en fait une innite de conditions initiales, toutes les valeurs du champ au depart,
contenues dans la donnee de la fonction (x, t0 ).
a letat
Il se rev`ele commode dintroduire36 le propagateur37 U (x, t; x0 , t0 ) qui relie letat `a linstant t `
initial selon :

(x, t) =
U (x, t ; x0 , t0 ) (x0 , t0 ) dx0 ,
(7.157)
34 On rencontrera des exemples au ch. 9, mais on peut d
ej`
a en donner un. Lequation f  = f 2 f , f (0) = 2, a pour solution
2
f (x) = 2e
,
qui
diverge
en
x
=
ln
2.
Dun
autre
c
o
t
e
,
l
e
quation
aux dierences an+1 = a2n s
ecrit aussi an+1 an = a2n an et
0
x
n

partage un cousinage evident avec lequation dierentielle. Pourtant, ses solutions sont an = 22 et sont nies quel que soit n !
35 La particule
etant libre, il ny a pas denergie potentielle V (x) dans (7.156).
36 Une fois connu le propagateur pour un probl`
eme donne, le calcul de (x, t) se r
eduit `
a une simple int
egration avec letat initial
donn
e, conformement `
a (7.157).
37 La terminologie est uctuante : le propagateur sappelle aussi fonction de Green ; par ailleurs, le terme propagateur est aussi
utilis
e aussi dans une acception plus vaste : dans tous les cas, il sagit dune repr
esentation ou dune autre de ce qui permet de relier
explicitement un anc
etre `
a sa descendance. Il doit etre clair que la notion de propagateur nest pas speciquement quantique :
dune facon gen
erale, le propagateur est lobjet qui fait evoluer le syst`
eme dans lespace-temps.

Cl. A.

3 D
ecembre 2004

Math
ematiques pour physiciens
LP 311

24

CHAPITRE 7. TRANSFORMATION DE LAPLACE

cette relation tenant quel que soit (x, t0 ) ; le noyau U (x, t ; x0 , t0 ) est en quelque sorte une matrice continue.
Compte tenu de (7.156), le propagateur satisfait lequation :
i

2 2
U (x, t ; x0 , t0 )
U (x, t ; x0 , t0 ) =
t
2m x2

(7.158)

avec la condition initiale :


U (x, t = t0 ; x0 , t0 ) = (x x0 ) ,

(7.159)

exprimant que U (x, t0 ; x0 , t0 ) est le noyau de loperateur identite 1 (entre t0 et t = t0 , le syst`eme nevolue
et reste ce quil est). Physiquement, U (x, t ; x0 , t0 ) ne depend que de la dierence des temps : on peut donc
toujours prendre t0 = 0 ; dans la suite, on pose :
U (x, t ; x0 , t0 = 0) U (x, t ; x0 ) .

(7.160)

Il est facile de voir que lintegrale de |(x, t)|2 est une constante du mouvement (la probabilite totale se conserve,
la particule ne disparat pas, elle est toujours forcement quelque part), ce qui est assure38 par le fait que U
est un operateur unitaire satisfaisant :
U 1 (x, t ; x0 ) = U (x, t ; x0 ) = U (x, t ; x0 ) .

(7.162)

Il sut donc de determiner une fonction U+ egale `a U si t > 0 et nulle si t < 0 ; le noyau U `a t < 0 sen deduit
par (7.162). U+ est appele propagateur causal, ou avance.
Lequation (7.158), ecrite pour U+ , se resout aisement en eectuant successivement la transformation de
Laplace en t, puis celle de Fourier en x. On commence par poser39 :
 +
K(x, z ; x0 ) =
dt U+ (x, t ; x0 ) ezt (z > 0) .
(7.163)
0

La restriction40 z > 0 est susante41 ; il est possible de sen convaincre intuitivement comme suit. U+ est un
operateur unitaire dont toutes les valeurs propres sont de module egal a` 1 et sont bornees. Lintegrale (7.163)
converge d`es que z a une partie reelle nie, aussi petite soit-elle ; K(x, z ; x0 ) na donc aucune singularite dans
le demi-plan de droite z > 0.
La transformee de Laplace de lequation (7.158) pour U+ (x, t ; x0 ) se construit suivant la r`egle (7.74) et
secrit :
2 2
i [z K(x, z ; x0 ) (x x0 )] =
K(x, z ; x0 ) ,
(7.164)
2m x2
de sorte que lequation pour K reste dierentielle en x. Rearrangeant les termes :
z K(x, z ; x0 )

i 2
K(x, z ; x0 ) = (x x0 ) .
2m x2

(7.165)

Pour resoudre (7.165), il est maintenant commode de faire une transformation de Fourier en x et de poser :
 +
 +
1
ikx
K(x, z ; x0 ) =
U(k, z ; x0 ) e
dk U(k, z ; x0 ) =
dx K(x, z; x0 ) e+ikx . (7.166)
2

La transformee de Fourier de (x x0 ) est eikx0 ; la transformee de Fourier de lequation (7.165) est donc :
z U(k, z ; x0 ) +

i 2
k U(k, z ; x0 ) = eikx0 ,
2m

(7.167)

38 La conservation de la probabilit
e totale est assur
ee par le fait que de lequation fondamentale (7.156) on peut d
eduire une

equation de conservation locale entre une densite et un courant j :

+ divj = 0 ,
t

(7.161)


 ].
o`
u = ||2 et j = 2im [
39 Pour
etre tout `
a fait explicite, il conviendrait de noter K+ cette transformee de Laplace. On se souviendra quelle est reliee au
propagateur avance U+ .
40  d
esigne la partie reelle.
41 Et non pas z s > 0.
0

Math
ematiques pour physiciens
LP 311

3 D
ecembre 2004

Cl. A.

25

7.5. QUELQUES APPLICATIONS DE LA TRANSFORMATION DE LAPLACE

do`
u lon deduit immediatement :
U(k, z ; x0 ) =

eikx0
.
2
z + ik
2m

(7.168)

Soit K(k, t ; x0 ) la transformee de Laplace inverse de U(k, z ; x0 ) ; comme L1 (z + a)1 = eat :


K(k, t ; x0 ) = eikx0 ei
On note au passage la relation :

k2
2m

(7.169)

[K(k, t ; x0 )] = K(k, t ; x0 ) ,

(7.170)

qui exprime la symetrie dans le renversement du temps : en renversant le temps et la vitesse (k etant limpulsion
mv de la particule, inverser la vitesse cest changer k en son oppose), on obtient le complexe conjugue de K.
Ceci est en accord avec le fait que si (x, t) est solution de lequation de Schr
odinger, (x, t) lest aussi.
Pour avoir enn U+ (x, t ; x0 ) il sut maintenant de prendre la transformee de Fourier inverse de K ; compte
tenu de (7.169) :
 +
k2
1
U+ (x, t ; x0 ) =
dk eikx eikx0 e i 2m t .
(7.171)
2
Cette integrale gaussienne se calcule aisement, par un changement de variable elementaire. On trouve ainsi
nalement :

2
m
i m(xx0 )
2t
U+ (x, t ; x0 ) =
U (x, t ; x0 ) t > 0
(7.172)
e
2it
qui est donc le propagateur U pour t > 0. On reconnat dans lexponentielle donnant U+ laction classique
2
0)
Sclass = m(xx
de la particule libre partie de x0 `a t = 0 et arrivee en x `a linstant t un fait pour le moins
2t
surprenant a` premi`ere vue, qui est le point de depart de la formulation de Feynman de la Mecanique quantique
dans le formalisme de lintegrale de chemins (voir aussi la remarque de la note 42).
Pour avoir U pour t < 0, il sut dutiliser lunitarite de U (voir (7.162)). Il vient ainsi :
U (x, t < 0 ; x0 ) = [U+ (x, t ; x0 )] =



m
i
e
2it

m(xx0 )2
2t

(7.173)

La branche de la racine carree est celle qui prend des valeurs reelles positives sur laxe reel positif ; il en resulte
que :

(7.174)
( z) = z
et nalement :


U (x, t < 0 ; x0 ) =

i
m
e 
2(i)(t)

m(xx0 )2
2(t)

m
i
e
2it

m(xx0 )2
2t

(7.175)

Ainsi, lexpression de U est la meme, que t soit positif ou negatif42 ; retablissant t0 43 :



U (x, t ; x0 , t0 ) =

m
2i(t t0 )

12
e

2
i m(xx0 )
 2(tt0 )

m
2i(t t0 )

12

e  Sclass (x, x0 ; t, t0 )

t .

(7.177)

Il nest pas dicile en se souvenant de lexpression du precurseur gaussien de la fonction de Dirac (et en
eectuant le prolongement analytique) , de se convaincre que limtt0 U (x, t ; x0 , t0 ) = (x x0 ), comme il se
doit (un bon exemple dailleurs o`
u la methode de la phase stationnaire se confond avec la methode du col).
42 Ind
ependamment du prefacteur contenant la constante de Planck, il est remarquable que la fonction action classique Sclass
apparaisse aussi simplement dans lexpression du propagateur. Il nen va pas toujours ainsi, mais cest vrai pour tous les Hamiltoniens
au plus quadratiques en p
 et 
r (par exemple : oscillateur harmonique, particule accel
er
ee par un champ constant). Ce fait, tr`es
surprenant de prime abord, est le point de depart de la formulation de Feynman en integrale fonctionnelle de la Mecanique quantique.
43 La g
en
eralisation `
a trois dimensions despace est immediate :


U (
r, t ; 
r0 , t 0 ) =

Cl. A.

m
2i (t t0 )

3

3 D
ecembre 2004

r 
r0 )2
i m(
2(tt0 )

e

(7.176)

Math
ematiques pour physiciens
LP 311

26

CHAPITRE 7. TRANSFORMATION DE LAPLACE

Ce resultat fournit aussi le propagateur pour lequation de diusion libre dune particule classique ( = 0).
En eet, en consequence de la loi de Fick armant que le courant est proportionnel au gradient de la densite, j = D P
equation de conservation P
equation de diusion (en une dimension
x , l
t + div j = 0 donne l
despace44 ) :

2
(7.178)
P (x, t) = D 2 P (x, t) ,
t
x
o`
u P (x, t) et la densite de probabilite (cest cette fois une quantite positive ou nulle, alors que (x, t), essentiellement `
a valeurs complexes, est une amplitude de probabilite). Les deux equations (7.156) et (7.178) sont
formellement identiques, on passe de lune `a lautre par la substitution :
i
m
i
D

.
(7.179)
2m

2D
Il en resulte que le propagateur pour lequation de la diusion, usuellement note W , sobtient de lexpression
(7.177) en y faisant la substitution ci-dessus et vaut donc :
(xx0 )2
1

e 4D(tt0 ) .
W (x, t ; x0 , t0 ) = 
4D(t t0 )

(7.180)

Il est interessant de noter que les deux equations (7.156) et (7.178), quoique formellement identiques,
produisent des comportements en temps radicalement dierents. Lequation de Schr
odinger est invariante par
renversement du temps45 , alors que lequation de la diusion donne une evolution irreversible (la tache dencre
a la surface de leau setale toujours !). La dierence tient `a labsence ou `a la presence du nombre imaginaire
`
fondamental i, un detail qui a donc son importance. . .

7.5.4

R
eduction de lordre dune
equation di
erentielle

An de montrer lutilite de la transformation de Laplace pour ce propos, le mieux est de traiter un exemple46 .
Soit lequation dierentielle du second ordre :
1
x(x) = k02 , (x < 0) = 0 .
(7.181)
a3
Cette equation apparat en Mecanique quantique : cest lequation aux valeurs propres donnant les etats propres
(x) dune particule chargee negativement, soumise `a un champ electrique constant dirige vers les x croissants,
et connee sur le demi-axe R+ . a et k0 sont des reels. Physiquement, il est evident que seuls des etats lies
peuvent exister47 , denergie positive (cest pourquoi k0 est reel48 ), et on ne sinteresse donc quaux solutions
(x) qui tendent vers zero quand x +.
 +

Lexemple qui suit est donne `a titre dillustration, car on sait resoudre directement lequation49 (7.181).
Les solutions qui sannulent a` lorigine et a` linni sont les fonctions n (x) denies comme suit50 :

x
n (x) = Cn Ai
(n N ) , x > 0 ,
(7.183)
(k0, n a)2
a
 et l
g
en
eralisation `
a 3 est immediate : la loi de Fick secrit alors j = P
equation de conservation est P
+ div j = 0.
t

L
equation de la diusion qui en resulte est alors t P (
r , t) = DP (
r , t) o`
u est le Laplacien.
45 On verra quun paquet dondes s
etale toujours, mais cest simplement parce que la relation de dispersion nest pas lineaire (au
contraire du champ electromagn
etique), de sorte que les dierentes composantes navancent pas `
a la meme vitesse (la vitesse de
groupe nest pas egale `
a la vitesse de phase).
46 Une variante de cette m
ethode permet de resoudre gen
eralement les equations dierentielles dont les coecients sont au plus
des fonctions lineaires de la variable. Sur cette methode (dite aussi M
ethode de Laplace), voir par exemple L. Laudau & E. Lifchitz,
M
ecanique Quantique, Appendice p. 691 (Ed. Mir, Mocou, 1967).
47 La particule est soumise `
a deux eets antagonistes : le mur en x = 0 sur lequel elle ne peut que se r
e
echir et la renvoie vers
x > 0, et le champ qui la tire vers lorigine.
44 La

48 L
energie

2 k2

E de la particule est E = 2m0 . Elle est forcement superieure au minimum denergie potentielle, ici egal `
a z
ero.
49 En eet, en posant (x) = f (X) avec X = x (k a)2 , l
equation (7.181) secrit :
0
a

(7.182)
f  (X) = Xf (X) ,
qui est pr
ecis
ement lequation dite dAiry. La condition aux limites (x = 0) = 0 se traduit par f ((k0 a)2) = 0 : les (k0 a)2 sont
donc bien les zeros de la bonne fonction dAiry, celle qui, en outre, sannule `
a linni (on cherche des etats lies) do`
u la solution
(7.183).
50 C est une constante de normalisation.
n

Math
ematiques pour physiciens
LP 311

3 D
ecembre 2004

Cl. A.

27

7.5. QUELQUES APPLICATIONS DE LA TRANSFORMATION DE LAPLACE

3,0
2,5

Bi(x)
2,0
1,5
1,0
0,5

Ai(x)
0,0
-0,5
-1,0
-20,0

-15,0

-10,0

-5,0

0,0

5,0

Figure 7.5: Les deux solutions conventionnelles lineairement independantes de lequation dAiry (7.182).
o`
u Ai(x) est une fonction speciale repertoriee (cest lune des deux fonctions conventionnellement appelees
fonctions dAiry). Ai(x) tend vers zero quand x + et oscille autour de zero pour x negatif (voir g. 7.5).
Geometriquement, les graphes des n (x) sobtiennent donc a` partir de celui de la seule et unique fonction Ai(x),
en le translatant vers la droite de sorte que son premier zero, puis son deuxi`eme zero, . . . , concide avec lorigine,
et en eacant toute la partie situee `a gauche. Les fonctions n (x) sont orthogonales au sens o`
u51 :
 +
 + 

x

x



n (x)n (x) dx Cn Cn
Ai
(7.184)
(k0, n a)2 Ai
(k0, n a)2 dx = nn .
a
a
0
0
Ceci nest pas facile `a demontrer, mais resulte de lorthogonalite de deux fonctions propres associees `a deux
valeurs propres distinctes.
Le decalage de largument dans lexpression (7.183) assure que n (0) = 0 car les (k0, n a)2 sont precisement les abscisses des zeros de Ai(x) (cest comme toujours une condition aux limites, ici (x = 0) = 0, qui
produit la quantication) ; les trois premi`eres valeurs sont (k0, 1 a)2 = 2.33810743 . . ., (k0, 2 a)2 = 4.087949445 . . .,
(k0, 3 a)2 = 5.520559819 . . . et les fonctions correspondantes sont representees sur la g. 7.6. On note que si
n (x) est continue en x = 0 (la fonction donde est toujours continue), sa derivee ne lest pas : elle est nulle en
0, nie en 0+, en consequence du mur infranchissable vers les x negatifs, traduit par le saut inni de potentiel
en x = 0. Les energies de la particule sont donc les quantites discr`etes En =

2
2 k0,
n
2m .

Lequation (7.181) permet de trouver directement le comportement des solutions `a linni52 ; en eet,
pour x grand (`
a preciser le cas echeant), on peut oublier k02 compare `a x ; lequation (7.181) est alors
approximativement :
1
 + 3 x(x)  0 .
(7.185)
a
Il sagit de trouver le comportement dominant de (x) a` linni. En allant du plus simple au plus complique, on
constate quun comportement du genre x ne convient pas : on ne peut pas equilibrer les termes dominants.
En revanche, un comportement du genre exponentielle etiree convient :
 ex =  (x)  [( 1)x2 + 2 2 x22 ] ex

Les termes dominants satisfont (7.185) `a condition de prendre 2 2 = 1, soit =


solutions cherchees se comportent donc comme :
(x)  Ce 3 ( a )
2

x 3/2

as (x) ,

(7.186)
3
2

et =

2 3/2
.
3a

Les

(7.187)

o`
u C est une constante indeterminee, visiblement proportionnelle53 `a  (0). Cest cette information qui, convenablement traduite dans le langage de Laplace, permettra dachever la resolution du probl`eme.
51 Comme pour tout
etat lie `
a une dimension, les fonctions propres sont en fait reelles, `
a une phase constante pr`es, qui na aucun
sens physique.
52 On sait aussi le faire sur la d
enition conventionnelle de Ai(x), mais cest assez delicat. Lautre fonction dAiry, notee Bi(x),
diverge exponentiellement quand x + (voir g. 7.5).
53 De toute fa
con, lequation (7.181) est homog`ene : elle ne permet donc de trouver (x) qu`
a un facteur pr`
es. Tout facteur
arbitraire se reporte `
a la fois sur C et  (0), ce qui convainc que seul le rapport  (0)/C est pertinent.

Cl. A.

3 D
ecembre 2004

Math
ematiques pour physiciens
LP 311

28

CHAPITRE 7. TRANSFORMATION DE LAPLACE

0,6

1,0

n=1

n=1

n=2

0,5

n=3

n=2
0,5
0,4

n=3
0,3

0,0

0,2
-0,5
0,1

0,0
0,0

-1,0
1,0

2,0

3,0

4,0

5,0

6,0

7,0

0,0

8,0

1,0

2,0

3,0

4,0

5,0

6,0

7,0

8,0


` gauche : premiers etats propres normalises n (x) ( + |n (x)|2 dx = 1) de la particule (generaFigure 7.6: A
0
lement donnes en (7.183)) ; letat fondamental ne sannule pas pour x > 0, le premier etat excite sannule une
` droite les densites |n (x)|2 correspondantes. Labscisse est x . Plus n augmente,
fois, le second deux fois, etc. A
a
plus le maximum maximorum de la densite se decale vers la droite : plus letat est excite, plus la position
moyenne de la particule seloigne de lorigine.
En posant (k) = L[](k) =
(7.181) donne54 :

 +
0

ekx(x)dx, la transformation de Laplace appliquee `a lequation

1
L[x(x)](k) = k02 (k) .
a3
Or on a :
 +
 +
d
d
kx
L[x(x)](k) =
e
[x(x)] dx =
ekx (x) dx = (k) .
dk
dk
0
0
Lequation (7.188) se transforme en :
[k 2 (k)  (0)] +

(7.188)

(7.189)

1 
(k) + (k 2 + k02 )(k) =  (0) .
(7.190)
a3
Il sagit dune equation dierentielle du premier ordre : la transformation de Laplace reduit dune unite lordre
de lequation a` resoudre. La solution de (7.190) est :
 k
3 k3
2
3 k3
2 
(k) = a3  (0)ea ( 3 +k0 k)
ea ( 3 +k0 k ) dk  ,
(7.191)
K

o`
u K est une constante dintegration.
Pour trouver K, on peut utiliser le raisonnement suivant. Les proprietes de (x) a` linni sont reliees au
comportement de (k) pour k 0. Par consequent, la transformee de Laplace as de la forme asymptotique
(7.187) se comporte pr`es de k = 0 comme la vraie transformee de Laplace (k). On a :
 +
 +
2 x 3/2
2 x 3/2
e 3 ( a ) ekx dx =
e 3 ( a ) (1 kx + . . .) dx .
(7.192)
as (k) =
0

0
55

pour k = 0 :
 13 
 +
2
2
23 ( x
)3/2
a
as (k = 0) = C
e
dx = aC

.
3
3
0

En particulier, on sait calculer lintegrale

(7.193)

54 La fonction donde est toujours continue ; nulle `


a gauche, elle est donc nulle en x = 0, cest pourquoi le terme k(0) venant
de L[ ] est omis. Tant que le potentiel na que des sauts nis, la derivee de la fonction donde est elle aussi toujours continue ;
elle ne pr
esente un saut (ni) que lorsque le potentiel a un saut inni (exemple : le puits inniment profond).
55 Faire le changement de variable 2 ( x )3/2 = X.
3 a

Math
ematiques pour physiciens
LP 311

3 D
ecembre 2004

Cl. A.

29

7.5. QUELQUES APPLICATIONS DE LA TRANSFORMATION DE LAPLACE

Ceci est aussi la valeur de (k = 0). Il en resulte que legalite suivante doit etre satisfaite (voir (7.191)) :
a2  (0)

ea

3

( k3 +k02 k  )

dk  = C

 13 
2
2

,
3
3

(7.194)

Comme C et  (0) sont proportionnels, on peut ecrire la solution (7.191) sous la forme :


3 k3
( 3

(k) = a3  (0)ea

+k02 k)

3 k 3
( 3

ea

+k02 k )

dk  + C 

 (0) (k) ,

(7.195)

o`
u C  est une nouvelle constante a` determiner. Pour la trouver, on raisonne comme suit. Ici, on a simplement
L[ ] = k 2 (k)  (0) puisque (x = 0) = 0 ; dun autre c
ote, L[ ] tend vers zero quand k +, do`
u:
lim [k 2 (k)  (0)] = 0

k+

Compte tenu de (7.195), on en deduit que :



lim

k+

3
a3 ( k3

k 2 a3 e

+k02 k)

ea

3
( k3

 (0) =

lim k 2 (k) .

k+

(7.196)

!
+k02 k  )

dk  + C 

= 1 .

(7.197)

Ceci permet en principe de trouver la constante C  , ce qui ach`eve de determiner (k).


Le retour vers (x) exige linversion de Laplace de (k), qui nest pas simple. On peut toutefois
toucher du doigt le phenom`ene important de quantication de lenergie de la particule. En eet, puisque
 (x) = L1 [kF (k](x), on trouve nalement (voir (7.195)) :

Il en resulte que lon doit avoir :


soit :

 (x) =  (0)L1 [k(k)](x) .

(7.198)

 (0) =  (0)L1 [k(k)](x = 0) ,

(7.199)

L1 [k(k)](0) 1 = 0 .

(7.200)

Le premier membre de (7.200) est une certaine fonction du seul param`etre sans dimension du probl`eme `a savoir
k0 a. Cette equation signie donc que seules les valeurs de ce param`etre qui annulent le premier membre satisfont
toutes les conditions requises56 . a est une donnee liee au champ electrique, cest donc k0 qui est contraint de
prendre certaines valeurs discr`etes k0, n : lenergie de la particle est quantiee, toutes les energies (positives) ne
sont pas accessibles. Pour une particule quantique liee, il existe un ensemble ni ou isomorphe `a N (cest ce cas
ici) denergies possibles, au contraire de ce quenvisage implicitement la Mecanique classique, o`
u lenergie peut
prendre nimporte quelle valeur.

56 Les conditions essentielles sont dimposer aux solutions de tendre vers z


ero `
a linni, donc de representer des etats li
es (seuls les

etats li
es ont une energie quantiee), et de sannuler `
a lorigine pour tenir compte du mur infranchissable : il faut retenir que ce sont
les conditions imposees `
a la fonction donde qui produisent spontanement le miracle de la quantication de lenergie. Dailleurs, un
ph
enom`ene analogue de quantication se produit pour une corde vibrante dont les extremit
es sont maintenues xes : la longueur
es
donde ne peut pas avoir nimporte quelle valeur, seules les valeurs entier 2 = L sont possibles (L = distance entre les extremit
xes).

Cl. A.

3 D
ecembre 2004

Math
ematiques pour physiciens
LP 311

Vous aimerez peut-être aussi