Вы находитесь на странице: 1из 21

Chapitre 9

Equations
di
erentielles.
Fonctions de Green
Il sagit dune part de rappeler des resultats
concernant les equations di
erentielles,
dautre part de proter dun contexte familier
pour introduire la notion de Fonction de Green

Il ne sagit pas ici de refaire un cours sur les equations dierentielles, mais de rappeler des resultats
essentiels et de proter dun contexte en principe assez familier pour introduire, a` propos des equations lineaires,
la notion de fonction de Green, dont lusage est tr`es frequent et tr`es utile en Physique. Par ailleurs, la br`eve
discussion autour des equations dierentielles est aussi loccasion de dire quelques mots sur leurs pendants
discrets, les equations aux dierences, qui apparaissent si souvent en Physique.

9.1

G
en
eralit
es et d
enitions

Soit f une fonction de D C dans f(D) C, munies de toutes les derivees f  , f  ,. . . , f (m) souhaitables1 . On
appelle equation dierentielle une relation entre f et certaines de ses derivees satisfaite pour toutes les valeurs
de la variable z (reelle ou complexe) o`
u la fonction et ses derivees sont denies. Formellement, une telle relation
secrit toujours :
(z, f, f  , . . . , f (m) , . . .) = 0
z D ,
(9.1)
o`
u f (m) =

dm f
dz m

. Ainsi, les equations suivantes :

1
z 5 f  + f  + f = ,
z

zf  3f 2 = 0 ,

f (4) f 2 + 3 sin z f = 0 ,

f  + ef(z) = 0 . . .

(9.2)

sont des equations dierentielles.


La fonction f et la variable z sont a priori des quantites complexes, ce qui suppose implicitement que f
est une fonction analytique ; en eet, dans le cas contraire, on ne saurait pas ce que signie f  (z) ! Il est tout
a fait loisible de se restreindre au champ reel, en ne considerant quune variable reelle x, et une fonction f(x)
`
a valeurs reelles. Ce faisant, en un sens, on peut paradoxalement considerer des equations plus generales, dans
`
la mesure o`
u on ne sait pas toujours les prolonger a` vue dans C. Par exemple, lequation dierentielle reelle
f  (x)+|x| = 0 ne peut recevoir de sens si on choisit x dans C ; en eet, la fonction |z| nest pas holomorphe, donc
la derivee f  , egale `a |x| dapr`es lequation consideree, nest pas denie. Dailleurs, on sait que les fonctions
analytiques sont des objets remarquables et robustes : forcement, les equations dierentielles mettant en jeu de
1f

peut aussi etre `


a valeurs reelles. Si f est une fonction analytique, on sait qualors elle est inniment derivable.

CHAPITRE 9. EQUATIONS
DIFFERENTIELLES.

FONCTIONS DE GREEN

telles fonctions sont elles-memes remarquables et ne peuvent pretendre a` une forme duniversalite. Dans la suite,
sauf exception d
ument mentionnee, les equations dierentielles etudiees porteront sur des fonctions analytiques
dans un certain domaine D. Les exemples donnes en (9.2) sont bien de cette esp`ece notamment, toutes les
fonctions jouant le r
ole de coecients sont analytiques, sauf en leurs points singuliers (isoles).
Lordre dune equation dierentielle est lordre de la plus haute derivee y gurant explicitement. Les
equations dierentielles (9.2) sont respectivement dordre deux, un, quatre et un.
Il existe une variete innie dequations dierentielles, ce qui incite `a eectuer une classication permettant denoncer des theor`emes dont la validite repose sur certains traits caracteristiques de ces equations. La
classication fondamentale distingue deux grandes esp`eces :
1. les equations lineaires, caracterisees par le fait que la fonction inconnue et ses derivees apparaissent au
plus a` la puissance un (en particulier, une equation lineaire ne contient pas de termes du genre f p , ff  ,
f (n) f (m) , ni de fonctions (f), etc).
En outre, il est dusage de distinguer les equations homog`enes, o`
u f et ses derivees gurent dans tous les
termes `a la puissance un, les equations inhomog`enes o`
u gure un terme additif independant de f et de ses
derivees. Ainsi, les equations :
f  +

1 
f +f =0 ,
z2

f (3) + f = 0

(9.3)

sont des equations lineaires et homog`enes, alors que :


f (6) + ez f  + f ln z = 0

(9.4)

est une equation lineaire inhomog`ene. Souvent, on place au second membre le terme independant de f,
justiant les appellations traditionnelles equation avec ou sans second membre, parfois commodes mais au
fond sans grande utilite. Dans le cas homog`ene, si f est une solution, alors f est encore solution, etant
un nombre quelconque.
Au total, une equation dierentielle lineaire dordre N est toujours plus precisement de la forme :
N


(aN = 0) ;

an (z)f (n) (z) = (z)

(9.5)

n=0

les coecients an sont a priori des fonctions de z, le cas extreme etant celui o`
u ce sont de simples
constantes (on parle alors dequation a` coecients constants) ; la fonction est donnee (on lappelle
souvent source) ; lequation devient homog`ene si = 0. Pour la reference ulterieure, notons que (9.5) peut
secrire formellement comme suit :
f =
L
(9.6)
designe loperateur dierentiel :
o`
uL

L(s)
=

N


an (z)

n=0

dn
.
dz n

(9.7)

2. les equations non-lineaires, caracterisees par le fait que la fonction inconnue et ses derivees apparaissent dans des monomes (f (n) ) (f (m) ) . . ., ou dans des fonctions, sans aucune restriction. Les equations
suivantes sont non-lineaires :
1
z 5 (f  )2 + f  + f = ,
z

ln(f  ) 5f = 0 ,

f  f (4) +

3
cosh z = z .
f2

(9.8)

Il est bien clair que rien ne bride limagination quand il sagit de donner un exemple dequation nonlineaire. . .

Math
ematiques pour physiciens
LP 311

10 Janvier 2005

Cl. A.

9.2. CONDITIONS INITIALES. CONDITIONS AUX LIMITES

La distinction lineaire non-lineaire est absolument fondamentale. Pour des equations lineaires, on
sait que lensemble des solutions peut etre muni dune structure despace vectoriel, ce qui permet denoncer
de nombreux theor`emes concernant notamment lexistence et lunicite des solutions. Pour les equations nonlineaires, la situation est nettement plus dicile, moins confortable, parfois meme un peu acrobatique.
Ces deux types dequations se rattachent a` des mondes tr`es dierents. On peut dire que les equations
lineaires decrivent des phenom`enes tr`es banals, ne conduisant a` aucune vraie surprise. Au contraire, les equations
non-lineaires contiennent une richesse incommensurable, et engendrent parfois des solutions exotiques, presentant
de surcrot une extreme variabilite par rapport a` des changements a priori anodins. On rencontrera quelques
exemples dans la suite, mais il est utile de marquer la dierence spectaculaire sur un premier exemple tr`es
simple.
Lequation lineaire :
f +

f
=0
z1

(9.9)

u f(0) est la valeur (prescrite `a lavance voir plus loin, section 9.2). f(0) est
a pour solution2 f(z) = f(0)
1z , o`
un simple facteur qui ne change en rien la forme de la solution, et notamment naecte pas ses singularites, ici
un unique p
ole simple en z = 1 la simple vision de lequation (9.9) permet dailleurs de deviner que z = 1 est
un point particulier, o`
u il se passe quelque chose de remarquable.
Par contraste, soit lequation non-lineaire :
f = f2

(9.10)

Si on choisit f(0) = 1, la solution est :


f(z) =

1
.
1z

(9.11)

Ainsi, en prenant f(0) = 1 dans les deux cas, les deux equations (9.9) et (9.10) ont exactement la meme solution
et pourtant, la consideration de (9.10) ne permet nullement de soupconner que z = 1 est un point remarquable :
un p
ole apparat spontanement dans la solution, que lon aurait pas devine en regardant lequation (cest pourquoi
on parle de singularite spontanee). Maintenant, choisissons une autre condition initiale, par exemple f(0) = 2 ;
2
la solution est alors 12z
: elle a encore un p
ole, mais il est maintenant en z = 12 ! Ce simple changement de
condition initiale a profondement modie la solution. . .
Dune facon generale, pour une equation lineaire du premier ordre f  = (f, z), avec la condition
f(a) = A, la solution existe et est une fonction analytique dans le voisinage de a pourvu que (Z, z) soit une
fonction analytique vis-`
a-vis de chacun de ses arguments en Z = A et z = a. Rien de tel ne peut etre arme
pour une equation non-lineaire, pour laquelle le domaine danalycite et le rayon de convergence des solutions
sont en general imprevisibles en raison precisement de la possibilite dapparition spontanee de singularites.
Une autre dierence spectaculaire entre equations lineaires et non-lineaires tient aux comportements
compares de leurs solutions avec celles de leurs equations aux dierences equivalentes (voir section 9.5).

9.2

Conditions initiales. Conditions aux limites

Comme une equation dierentielle implique des derivees, sa resolution passe par des operations dintegration, qui
introduisent inevitablement des constantes dintegration. De ce fait, la seule donnee dune equation dierentielle
permet, si on sait le faire, de trouver sa solution generale, qui forme un ensemble de cardinal inni en general.
En Physique, larrivee dune equation dierentielle est le resultat de la construction dun mod`ele qui,
pour une situation physique donnee (et un probl`eme bien pose), ne peut donner quune et une seule solution.
En dautres termes, il ne sut pas de disposer dune equation dierentielle, il convient de la completer par
des conditions suggerees par lexperience que lon veut decrire theoriquement, ou imposees par des principes
2 obtenue

Cl. A.

par integration immediate !

10 Janvier 2005

Math
ematiques pour physiciens
LP 311

CHAPITRE 9. EQUATIONS
DIFFERENTIELLES.

FONCTIONS DE GREEN

physiques (celui de causalite par exemple), ou par le sens physique de la theorie en cours (par exemple, la
necessite pour la fonction donde dun etat lie detre normalisable). Ainsi, sagissant de trouver la dynamique
dune particule classique, il faut connatre sa vitesse et sa position initiales3 ; faute de quoi, on est dans
limpossibilite de trouver toutes les constantes dintegration. On parle de probl`eme mal pose si lon ne dispose
pas dautant de conditions que necessaire : un probl`eme bien pose a une et une seule solution.
Il est dusage de parler de conditions initiales, lorsque la variable est le temps. Par exemple, pour un
oscillateur harmonique (bille ponctuelle de masse m attachee `a un ressort parfait de constante de raideur k, a`
lequilibre au point dabscisse xe ), lequation masseacceleration = force secrit4 :
m
x(t) = k(x xe )

x = 2 (x xe)

(k = m2 ) .

(9.12)

La solution generale est :


x(t) = xe + A cos t + B sin t .

(9.13)

Si maintenant on dit que la position initiale est x0 et la vitesse initiale v0 , on peut ecrire le syst`eme :
(xe + A cos t + B sin t)t=0 = x0 ,

(A sin t + B cos t)t=0 = v0

(9.14)

do`
u lon tire les expressions des deux constantes dintegration A et B. De la sorte, la seule et unique solution
est :
v0
x = xe + (x0 xe ) cos t +
sin t ;
(9.15)

Cest bien lecriture explicite des conditions initiales qui permet dextraire lunique solution physique associee `a
ces conditions de depart.
En fait, prescrire des valeurs donnees pour la solution (et ses derivees) en un certain point nest pas la
seule facon de determiner de facon unique la solution du probl`eme (bien) pose. Par exemple, soit lequation
homog`ene du second ordre :
f  (x) k 2 f(x) = 0
(k R+ ) .
(9.16)
Sa solution generale est :

f(x) = Ae+kx + Bekx .

(9.17)

Supposons maintenant que, pour des raisons imposees par le probl`eme examine, la fonction f soit astreinte `a
etre bornee et continue5 . Alors, la solution acceptable physiquement est la seule et unique fonction :
f(x) = f(0)ek|x| ,

(9.18)

obtenue en supprimant dans lexpression generale (9.17) lexponentielle divergente selon le signe de x. Dans ce
cas, il reste `a dire ce que vaut f(0), par dautres considerations6 .
Enn, il faut savoir que le nombre de param`etres dont depend au total la solution la plus generale
peut etre superieur `
a lordre de lequation. Par exemple, la solution generale de lequation reelle non lineaire
1
du premier ordre f  = f 3 est telle que f 2/3 = 23 (x + C), o`
u C est quelconque. Lextraction de la racine
3
2
2
donne f(x) = [ 3 (x + C)] , avec = 1 ; dans ce cas precis, on peut aussi dire quil y a deux familles de
solutions, associees aux deux branches distinctes solutions de (e2ik )3/2 , chaque branche contenant une constante
dintegration C.
3 Ainsi, il faut deux conditions initiales par degr
e de liberte, puisque lequation fondamentale de la dynamique est du deuxi`eme
ordre en temps.
4 x d
equilibre.
e esigne labscisse du point d
5 Cest exactement le cas pour les
equations aux valeurs et fonctions propres rencontrees en M
ecanique quantique.
6 Les experts en M
ecanique quantique auront reconnu en (9.16) lequation aux valeurs propres pour une particule liee par un
ee par lintensite g de ,
potentiel attractf g(x) (g > 0),
equation
ecrite pour x = 0. Le saut de la derivee f  en x = 0 est pilot
repr
esentant la profondeur du puits. Dans ce contexte, la valeur f (0) sobtient en ecrivant la condition de normalisation de la
fonction donde.

Math
ematiques pour physiciens
LP 311

10 Janvier 2005

Cl. A.

` COEFFICIENTS CONSTANTS
9.3. EQUATIONS
DIFFERENTIELLES
LINEAIRES
A

Equations
di
erentielles lin
eaires `
a coecients constants

9.3
9.3.1

Rappel de quelques r
esultats

La forme generale dune equation dierentielle lineaire homog`ene dordre N `a coecients constants est :
N


an f (n) (z) = 0

(aN = 0)

f(z) = 0 .
L

(9.19)

n=0

Pour obtenir sa solution, il sut de remarquer que tout repose dune part sur la fonction exponentielle, douee
de sa propriete caracteristique (la derivee est proportionnelle `a la fonction elle-meme de proche en proche,
cest vrai pour toute derivee dordre quelconque), dautre part sur le fait que lequation etant lineaire, toute
combinaison lineaire de solutions est encore solution.
La fonction exponentielle est en eet la seule `a posseder la propriete suivante7 :
dm z
e = m ez
dz m

(m N)

[f (m) (z) = m f(z) f(z) = ez ] .

Il en resule immediatement que si lon injecte la forme f(z) = ez dans (9.19), on trouve :
 N


n
an
z .
ez = 0

(9.20)

(9.21)

n=0

Cette equation nest satisfaite que si est lune des racines du polyn
ome de degre N , PN () construit avec les
coecients an de lequation dierentielle et appele polyn
ome caracteristique :
N


an n = 0

PN () = 0

{k }1kN .

(9.22)

n=0

Maintenant, par construction, chaque fonction fk = ek z est solution de lequation :


N


n
k (z) = 0 ;
an k ek z = 0 PN (k )ek z = 0 Lf

(9.23)

n=0

est un operateur lineaire, puisque loperation de derivation est une operation lineaire. De cette
Par ailleurs, L
propriete decoule legalite :

L((z)
+ (z)) = L(z)
+ L(z)
,
(9.24)
o`
u les constantes et sont quelconques, tout comme les fonctions et . Il en resulte immediatement que
toute combinaison lineaire des solutions particuli`eres ek z :
f(z) =

N


Ck ek z

(9.25)

k=1

est solution de (9.19), quels que soient les coecients 8 Ck . En eet :


N

N



z
k

k z ;
L
=
Ck e
Ck Le
k=1

(9.26)

k=1

k z = 0 par construction, la derni`ere somme est nulle, quels que soient les Ck , et lequation dierentielle
comme Le
est bien satisfaite par lexpression (9.25).
n

+ z
z
n z
n
en particulier, le developpement de Taylor inni ez = +
n=0 n! ( e )z=0 =
n=0 n! .
devine que cette propriet
e permet de doter lensemble des solutions dune structure despace vectoriel de dimension N ,
egale
a lordre de lequation dierentielle.
`
7 Do`
u,
8 On

Cl. A.

10 Janvier 2005

Math
ematiques pour physiciens
LP 311

CHAPITRE 9. EQUATIONS
DIFFERENTIELLES.

FONCTIONS DE GREEN

La fonction dexpression (9.25) est de fait la solution generale de lequation : on peut en eet montrer
que toutes les solutions de lequation homog`ene (9.19) sont de cette forme.
Par le theor`eme fondamental de lalg`ebre, le polynome PN () deni en (9.22) poss`ede N zeros complexes
k et secrit apr`es factorisation :
N

PN () = aN
( k ) ;
(9.27)
k=1
k z

si tous les k sont dierents, les N fonctions e


lespace vectoriel des solutions.

sont lineairement independantes, et constituent une base de

Si plusieurs k sont egaux entre eux, cest-`


a-dire si lequation PN () = 0 a des racines multiples (on dit
aussi quil y a degenerescence), alors le nombre de fonctions ek z lineairement independantes est strictement
inferieur a` N . Par exemple, sil nexiste quune racine multiple, k0 , supposee dordre r, alors le polyn
ome
Nr
PN secrit PN () = aN ( k0 )r k=1 ( k ). Il est facile de verier que toutes les fonctions z p ek0 z ,
p = 0, 1, . . . , r 1 sont solutions de lequation, et elles sont visiblement lineairement independantes. Il sensuit
que dans ce cas, la solution generale secrit :
r1



f(z) =
cp z p ek0 z +
Ck ek z
(r 1) .
(9.28)
k =k0

p=0

Lorsque lequation est inhomog`ene :


N


(aN = 0)

an f (n) (z) = (z)

f(z) = (z) ,
L

(9.29)

n=0

la solution la plus generale sobtient en faisant la somme dune solution particuli`ere fpart et de la solution
generale de lequation homog`ene associee :
f(z) = fpart (z) +

N


Ck ek z .

(9.30)

k=1

En eet, la dierence f(z) f0 (z) satisfait :


N


an f (n) (z) = 0

(9.31)

n=0

N
dont la solution la plus generale est bien k=1 Ck ek z . On verra que cest dans ce cas que la methode des
fonctions de Green rev`ele toute son utilite (section 9.6) tant quil nest question que dequations dierentielles.

9.3.2

R
esolution a
` laide de transformations int
egrales

Il sagit juste dun rappel, pour la completude. On a vu au ch. 7 que la transformation de Laplace permet de
resoudre systematiquement les equations du genre (la variable est ici t) :
N

p=0

ap

dp f
= (t) .
dtp

(9.32)

Si F = L[f], = L[], la solution est :




p1
N


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

Math
ematiques pour physiciens
LP 311

10 Janvier 2005

(9.33)

Cl. A.

` COEFFICIENTS VARIABLES
9.4. EQUATIONS
DIFFERENTIELLES
LINEAIRES
A

N
o`
u Z(z) = p=0 ap z p est souvent appele fonction de transfert mais cest aussi le polyn
ome caracteristique
PN (z) introduit plus haut (voir (9.22)). Il sagit bien de la solution generale, prenant en compte les N constantes
dintegration f (r) (0), r = 0, 1, . . . , N 1. Linversion de Laplace fait apparatre les ek t , les k etant les zeros
de Z(z) et donnant des p
oles pour F (z).
Notons que toutes les solutions dune equation homog`ene `a coecients constants admettent une transformee de Laplace, puisquelles sont des combinaisons lineaires dexponentielles ek t . Il en resulte que le formalisme ci-dessus est operationnel d`es que la source a egalement une transformee de Laplace.
On peut aussi utiliser la transformation de Fourier, dans lhypoth`ese o`
u toutes les transformees existent ;

avec F () = F [f], ()
= F [], on trouve :

()
1

F () = N

()
.
p
Z(i)
a
(i)
p
p=0

(9.34)

On sait que (9.34) ne represente pas la solution generale9 (il ny a pas de constantes dintegration !), mais le
regime force, eectivement independant des conditions initiales, et realise physiquement apr`es extinction des
transitoires a` condition que tous les zeros k de Z(z) aient une partie reelle strictement negative10 cest bien
ce fait qui assure lamnesie vis-`a-vis des valeurs initiales. Cest bien aussi ce que dit lexpression (9.33) : avec
la condition ci-dessus pour tous les k , la somme contenant les conditions initiales disparat de fait d`es que
t (mink |
k |)1 .

9.4

Equations
di
erentielles lin
eaires `
a coecients variables

Dans le cas homog`ene, une equation dordre N est de la forme :


N


an (z)f (n) (z) = 0

(aN (z) = 0) ;

(9.35)

n=0

la dependance eective des coecients par rapport `a la variable z modie du tout au tout la diculte du
probl`eme. En eet, une exponentielle
du genre ez nest plus solution puisque le report dans (9.35) donne

N
n
ez = 0, qui ne peut visiblement pas etre satisfaite avec des an (z) variables.
lequation
n=0 an (z)
Toutefois, gr
ace au caract`ere lineaire de lequation, on peut demontrer que la solution generale de cette
equation est de la forme :
N

f(z) =
Ck Ek (z) ,
(9.36)
k=1

ace `a la linearite, lensemble des


o`
u les Ek (z) sont N solutions particuli`eres lineairement independantes. Ainsi, gr
solutions peut a` nouveau etre muni dune structure despace vectoriel. La grosse diculte, quand les coecients
sont variables, consiste `a trouver eectivement ces N solutions Ek (z) dans le cas o`
u les coecients sont
constants, cest au contraire en principe un jeu denfant de trouver les N solutions ek z , les k etant les zeros
du polyn
ome caracteristique PN ().
La methode generale de resolution repose sur des theor`emes demontres par Fuchs, precisant les conditions
qui permettent de chercher les solutions sous la forme11 (z z0 ) S(z), o`
u est un exposant (pas forcement
entier) `a determiner, et o`
u S(z) est une serie enti`ere en (z z0 ) dont les coecients sont trouves par une relation
de recurrence12 ; cette derni`ere sobtient en reportant dans (9.35) la forme f(z) = (z z0 ) S(z) et en identiant
9 Mais, en ex
ecutant les acrobaties decrites dans le ch 6, on peut cependant retrouver la solution gen
erale en faisant reapparatre
les constantes liees aux conditions initiales, et retomber bel et bien sur ses pieds.
10 Dans le cas contraire, la solution diverge quand t + et ne saurait avoir une transform
ee de Fourier.
11 Cest possible quand z est un point ordinaire ou un point singulier r
egulier.
0
12 Le produit (z z ) S(z) porte le nom de s
erie de Frobenius.
0

Cl. A.

10 Janvier 2005

Math
ematiques pour physiciens
LP 311

CHAPITRE 9. EQUATIONS
DIFFERENTIELLES.

FONCTIONS DE GREEN

les termes de meme puissance en (z z0 ). Une telle relation depend des valeurs initiales des cn , xees par
lapplication de conditions aux limites, ou par lexigence que la fonction soit bornee en certains points.
Cest cette methode qui est mise en uvre, par exemple, en Mecanique quantique pour trouver les
fonctions donde stationnaires de lequation aux valeurs propres dans le cas dune energie potentielle V variant
gentiment dans lespace13 . Pour memoire, citons quelques equations apparaissant frequemment en Physique :
equation dAiry14 : f  (z) = zf(z)
equation de Weber - Hermite15 : f  (z) + ( + 12 14 z 2 )f(z) = 0


2
equation de Bessel16 : f  (z) + 1z f  (z) + 1 x2 f(z) = 0.

9.5

Equations
di
erentielles et
equations aux di
erences

Montrons dabord comment on peut mettre en parall`ele une equation dierentielle et une equation aux dierences. Des equations de ce dernier type apparaissent souvent en Physique, soit directement, soit parce que le
probl`eme examine, sil sexprime naturellement en termes de grandeurs continues, se resout plus agreablement
avec des variables discr`etes ou inversement17 . Les equations aux dierences sont clairement dusage universel
dans les methodes de resolution numerique dequations que lon ne sait pas traiter analytiquement, lorsquun
algorithme de proche en proche ou iteratif est utilise.
Soit une suite de nombres fn (n N) obeissant `a une certaine relation de recurrence. Par exemple :
fn+1 = fn

( R+ ) .

(9.37)

Ceci se recrit trivialement :


fn+1 fn = ( 1)fn

(9.38)

et se traduit en bon francais en disant que la variation de f entre n et n + 1 est proportionnelle `a la valeur de f
au point n clairement, on peut dire que le premier membre est une derivee discr`ete : cest le taux de variation
de fn pour une variation unite de la variable, lentier n. Une valeur de depart f0 etant donnee (`a nouveau,
outre lequation, il faut se donner des conditions supplementaires, ici une seule sut), la solution de (9.37) est
manifestement :
fn = n f0 .
(9.39)
Dun autre point de vue, lecriture (9.38) evoque une equation dierentielle du genre :
f  (x) = kf(x)

(9.40)

en posant que la valeur de la fonction f(x) aux points x = nx est precisement egale `a fn . La solution de
(9.40) est f(x) = f(0)ekx . Lidentication va jusquau bout en notant que :
ln

fn = n f0 = f0 en ln = f0 e( x )(nx) f(x = nx) .

(9.41)

13 Pour V (x) constant par morceaux, on


evite la methode de Fuchs en travaillant intervalle par intervalle, et en recollant les
morceaux conform
ement aux prescriptions resultant du sens physique de la fonction donde (continuite de la fonction et de sa
d
erivee tant que V (x) a des sauts nis).
14 On la trouve souvent dans les probl`
emes doptique, et elle arrive pour une particule quantique chargee soumise `
a un champ
constant (par exemple, un electron soumis `
a un champ electrique ind
ependant du temps et uniforme dans lespace voir lexemple
dapplication de la transformation de Laplace donne `
a la n du ch. 7).
15 rencontr
ee notamment `
a propos de loscillateur harmonique quantique.
16 rencontr
ee partout en Physique. Bessel etait astronome et a introduit ces fonctions qui portent depuis son nom en accomplissant
lanalyse harmonique du probl`
eme de Kepler.
17 De fa
con caricaturale, on pourrait dire que le theoricien face `
a un probl`eme continu sempresse de le discretiser, et devant
un probl`
eme discret ne peut sempecher de le continuiser.. . En pratique, la continuisation doit se faire avec discernement ; par
exemple, une limite continue en temps doit respecter le Principe de causalite : lapparition de fonctions (t) en tant que limite
de fonctions `
a m
emoire courte peut conduire `
a des dicultes, tant que lon a pas realise que cest plut
ot (+) (t) qui, de fait, est
la bonne fonction `
a considerer. En outre, toutes les subtilites li
es `
a lalternative discret continu (voir notamment section 9.5)
doivent rester presentes `
a lesprit.

Math
ematiques pour physiciens
LP 311

10 Janvier 2005

Cl. A.

9.5. EQUATIONS
DIFFERENTIELLES
ET EQUATIONS
AUX DIFFERENCES

et `a condition de poser k =

ln
x

(et bien s
ur f0 = f(0)).

Ceci etant fait, il est alors legitime darmer que lequation aux dierences (9.37) (ou (9.38)) est la
version discr`ete de lequation dierentielle (9.40). Ces deux ecritures representent nalement la meme realite :
on peut dire que les fn sont des points experimentaux releves quand on dispose de la resolution denie par
x, et constituent la mesure de la grandeur theorique continue f(x). En tout cas, les deux ecritures, discr`ete
et continue, se fondent lune dans lautre (il sut dimaginer que la resolution est de meilleure en meilleure,
cest-`a-dire que x est rendu de plus en plus petit).
Cette quasi-concidence na pas helas luniversalite que lon pourrait esperer dailleurs, lidentication

compl`ete exige de poser k = ln


u limportance du signe de . Ce point seclaire en realisant que
x , do`
lassimilation dune fonction f(x) avec ses valeurs ponctuees f(nx) exige que, a` lechelle x, f(x) soit une
fonction lentement variable. Et de fait, si on prend < 0 dans (9.37), alors les dierents fn alternent en signe :
la fonction f(x) correspondante nest s
urement pas a` variation lente et on peut meme dire intuitivement que,
dans la limite x 0, cette fonction nest certainement ni continue, ni derivable.
Une question tr`es importante est donc delucider les relations precises entre les solutions dune equation
aux dierences et celles de son equation dierentielle associee18 . Les quelques exemples suivants donnent une
idee de la diculte du sujet, qui doit inciter a` la prudence.
` titre de premi`ere illustration, changeons simplement le signe de dans (9.37) en prenant maintenant :
A
fn+1 = fn

( R+ ) ,

(9.42)

dont la solution est fn = (1)n+1 n+1 f1 . Lequation dierentielle correspondante se trouve en recrivant (9.42)
sous la forme fn+1 fn = ( + 1)fn , soit :
f  (x) = ( + 1)f(x)

f(x) = f(0) e(+1)x .

(9.43)

Sans aucun doute, les deux versions donnent des fonctions compl`etement dierentes ; par exemple, si > 1, la
solution discr`ete diverge en oscillant, alors que la version continue tend vers zero exponentiellement vite ! La
comprehension en profondeur de ces points assez subtils repose sur la consideration des singularites des equations
considerees19 . Clairement, le traitement discret, inevitable sur ordinateur, des equations dierentielles (meme
lineaires) exige un certain savoir-faire, et doit toujours etre conduit avec discernement et vigilance.
De surcrot, la situation, en pratique, est rarement aussi simple : en general, une recurrence nimplique
pas seulement deux termes consecutifs. Tout en maintenant laspect lineaire, on peut avoir des relations du
genre :
fn+2 fn+1 + fn = 0 ;
(9.45)
une telle recurrence est dite du second ordre puisque chaque fn depend des deux fn precedents. (9.45) secrit
aussi :
fn+2 2fn+1 + fn = ( 2)fn+1 + (1 )fn ;
(9.46)
Tout comme fn+1 fn est la derivee (premi`ere) discr`ete, fn+2 2fn+1 + fn (fn+2 fn+1 ) (fn+1 fn ) peut
etre consideree comme une derivee seconde discr`ete.
Cette derni`ere remarque se generalise dailleurs comme suit. En denissant Dfn = fn+1 fn , on a :
Dfn = fn+1 fn ,

D2 fn = D(Dfn ) = fn+2 2fn+1 + fn ,

... ,

Dk fn =

k


(1)p Cpk fn+kp . (9.47)

p=0
18 Une

question particuli`erement pertinente si un traitement numerique de l


equation dierentielle simpose. . .
ici le cas parce que le point `
a linni est un point singulier irr
egulier. De fait, la comprehension en profondeur de
telles anomalies passe par lanalyse des points singuliers de lequation dierentielle. Tr`
es bri`
evement : on classe les singularites
dune equation dierentielle lineaire en examinant les singularites (au sens de la theorie des fonctions analytiques) des coecients
apparaissant dans (9.5), recrite de facon canonique (apr`
es division par aN (x)) :
19 Cest

f (N ) (x) + pn1 (x)f (n1) (x) + . . . + p1 (x)f (x) + p0 (x)f (x) = 0 ;

(9.44)

egulier si toutes les quantites (x x0 )k pnk (x) sont analytiques dans un voisinage de x0 , alors
On dit que x0 est un point singulier r
enition setend au cas du point `
a linni en eectuant le changement
que certains coecients pm (x) ont une singularite en x0 . La d
de variable X = x1 . Un point qui nest pas regulier est dit irr
egulier, cest la cas de x = dans lexemple traite ci-dessus. Pour
plus de details, voir par exemple louvrage de BENDER et ORSZAG, ch. 3.

Cl. A.

10 Janvier 2005

Math
ematiques pour physiciens
LP 311

CHAPITRE 9. EQUATIONS
DIFFERENTIELLES.

10

FONCTIONS DE GREEN

En adoptant maintenant les correspondances :


fn f(x = nx) ,

Dk f (k) (x) .

(9.48)

on est en mesure dassocier `a une equation aux dierences une et une seule equation dierentielle, et reciproquement. Par exemple, en faisant apparatre fn+1 fn au second membre de (9.46), lequation dierentielle
associee `a (9.45) par les r`egles (9.47) est :
f  = ( 2)f  + ( 1)f .

(9.49)

Remarques
1. Les relations (9.48) peuvent secrire de facon plus formelle comme suit. Soit loperateur de translation20
elementaire T deni comme :
d
ef
T fn = fn+1 .
(9.50)
Alors, Dfn = (T 1)fn , D2 fn = (T 1)2 fn , . . . Dk fn = (T 1)k fn . Le developpement de (T 1)k fait
bien apparatre les coecients du binome comme en (9.47)
2. On pourrait aussi denir la derivee discr`ete comme Dfn = fn fn1 , ou Dfn = 12 (fn+1 +fn ) 12 (fn +fn1 ).
Il ne sagit en general que de details conventionnels. Toutefois, la formulation de Feynman de la Mecanique
quantique (integrale de chemin) exige parfois un choix particulier, notamment en presence dun champ
magnetique.
` titre dexemple dune recurrence dordre deux21 , soit :
A
fn+2 = fn

fn+2 2fn+1 + fn = 2(fn+1 fn )

dont, selon (9.47), lequivalent continu est :

f  = 2f  .

(9.51)
(9.52)

La solution generale de lequation discr`ete est visiblement :


fn = A + (1)n B

(A et B constantes arbitraires) ,

(9.53)

cependant que la solution de lequation dierentielle est :


f(x) = C + De2x .

(9.54)

` nouveau, ces derni`eres solutions nont a priori aucun rapport avec les solutions (9.53) de lequation discr`ete !
A
Notamment, le comportement a` linni (x ) de lexpression (9.54) na rien a` voir avec celui (n ) de
(9.53). Tout au plus peut-on observer que les solutions lentement variables (en fait triviales puisquelles sont
constantes) obtenues en prenant B = D = 0 concident ; en revanche, les solutions variables (A = C = 0 ce
sont en general les plus interessantes !) nont strictement rien `a voir lune avec lautre22 .
Repetons que, meme pour une equation lineaire, la discretisation, ou loperation inverse (continuisation)
peuvent ne pas etre des operations innocentes. Pour etre aussi complet que possible dans un tour dhorizon, on
doit aussi faire remarquer que la resolution dune version peut etre un jeu denfant, alors que la resolution de
lautre est un tour de force ; exemple : fn+1 fn = f1n , dont la version continue est f  = f1 qui nest pas vraiment
20 Le mot translation a un sens profond, ind
ependamment du choix evident de la terminologie (T fait passer de n `
a n + 1. En
eet, la derivee est au cur des operateurs innitesimaux de translation dans lespace, que lon rencontre par exemple en Mecanique
quantique.
21 Ce type de r
ecurrence se resout en posant fn = r n , ce qui conduit `
a une
equation algebrique de degre N pour linconnue r. On
sait que lon peut aussi resoudre en eectuant une transformation de Laplace (ch 7).
22 Autre exemple : la r
ecurrence fn+1 = nfn et l
equation dierentielle f  = (x 1)f sont
equivalentes, selon la correspondance
x2

(9.47). Pourtant, les solutions respectives, fn = (n 1)!f1 et f (x) = f (0)e 2 x ont des comportements radicalement dierents `
a
2
linni : par la formule de Stirling, on a fn nn , qui diverge inniment plus vite que ex .

Math
ematiques pour physiciens
LP 311

10 Janvier 2005

Cl. A.

9.5. EQUATIONS
DIFFERENTIELLES
ET EQUATIONS
AUX DIFFERENCES

11

dicile `a resoudre. . . Autre exemple cel`ebre : la diabolique application logistique fn+1 = rfn (1 fn ), r > 0,
dont la version continue est reellement triviale23 .
A fortiori, une equation dierentielle non-lineaire et sa version discretisee peuvent avoir des solutions
tr`es dierentes. Plus precisement, il peut arriver que la version discr`ete ait des solutions insoupconnables au
vu de la version continue : a` nouveau, le diable est `a luvre et peut faire des intrusions spectaculaires en
jouant le scenario des singularites spontanees (une telle catastrophe nest pas toujours s
ure, heureusement ou
malheureusement, cest selon).
Par exemple, soit lequation dierentielle :
f  (x) = f 2 (x) f(x)

(9.55)

que lon cherche `a resoudre avec la condition f(0) = 2. La solution est24 :


f(x) =

2
2 ex

(9.56)

et presente une divergence en x = ln 2. Lequation aux dierences correspondante est :


fn+1 fn = fn2 fn ,

(9.57)

dont la solution25, pour f0 = 2, est fn = 22 , qui est nie pour tout n ni. Cette distinction est generale :
contrairement a` leurs equivalentes non-lineaires continues, les equations aux dierences non-lineaires ne sont pas
sujettes au phenom`ene dapparition de singularites spontanees.
Il convient donc detre toujours extremement prudent quand il sagit de prevoir le comportement des
solutions dune equation dierentielle au vu de celui des solutions de lequation aux dierences, ou inversement.
Ces resultats sont une source de perplexite, et en tout cas doivent inciter a` la prudence. En eet, d`es quil
faut resoudre numeriquement une equation, force est de recourir a` la discretisation : lordinateur ne connat ni
le continu, ni linni. La resolution numerique dune equation dierentielle lineaire ou non-lineaire exige donc
un grand savoir-faire, et doit toujours etre conduite avec vigilance. La r`egle methodologique de base est davoir
le constant souci de proceder `a de multiples verications de la solution obtenue numeriquement (symetries,
stabilite vis-`a-vis dun bruit numerique force, comportements limites, . . . ).
Un canular numeriquea
Pour illustrer les remarques precedentes, citons un canular numerique. Soit la relation de recurrence :
xn+1 = 111

1130
3000
+
,
xn
xn xn1

(9.58)

commencant avec x0 = 2 et x1 = 4. La relation de recurrence est du second ordre (elle met en jeu
trois termes consecutifs) et non-lineaire : tout pour plaire.
On peut montrer que, avec ces valeurs de depart, la suite des nombres xn a pour limite x = 6.
Essayez de mettre cette limite en evidence en programmant literation sur une machine ne connaissant
que les nombresb . . .
Comme le dit lauteur de larticle on observe parfois en machine une bonne et rapide convergence
vers un resultat totalement faux.
a Voir

larticle de J.-M. MULLER dans La Recherche, numero sp


ecial sur la th
eorie des nombres, juillet-ao
ut 1995.
revanche, les algorithmes formels du genre Mathematica se tirent bien daaire, `
a la condition expresse de
neectuer aucune operation num
erique pendant lit
eration.
b En

obtient lequation dierentielle f  = (r 1)f f 2 .


g = f1 conduit `
a une
equation lin
eaire pour g.
25 On trouve cette solution en posant g = log f , ce qui donne la r
ecurence lineaire gn+1 = 2gn .
n
2 n
23 On

24 Poser

Cl. A.

10 Janvier 2005

Math
ematiques pour physiciens
LP 311

CHAPITRE 9. EQUATIONS
DIFFERENTIELLES.

12

FONCTIONS DE GREEN

9.6

Fonctions de Green

Les fonctions de Green ne sont pas des fonctions speciales (au sens o`
u on parle de fonctions de Bessel, fonctions
de Weber, fonctions dAiry etc) : cette terminologie designe en realite un objet mathematique sur lequel est
fondee une methode de resolution des equations lineaires, quelles soient dierentielles ou aux derivees partielles
(voir ch. 10). Dans cette section, sauf mention contraire, les variables seront supposees reelles.
Sagissant des equations dierentielles, linteret des fonctions de Green reside principalement en ceci : pour
resoudre une equation inhomog`ene, il faut dune part determiner la solution generale de lequation homog`ene
qui lui est associee, dautre part trouver une solution particuli`ere de lequation compl`ete, puis faire la somme des
deux et enn caler les constantes dintegration avec les donnees supplementaires indispensables. La fonction de
Green est un moyen systematique de trouver precisement cette solution particuli`ere26 . En outre la methode des
fonctions de Green se prete bien `a la rediscussion des liens importants entre conditions aux limites et analycite
(par exemple : causalite et analycite).
Par ailleurs, sil est certain que la methode de Green rev`ele pleinement son utilite `a propos des equations
aux derivees partielles, les idees de base peuvent dej`a senoncer dans un contexte beaucoup plus simple, celui
des equations dierentielles : cest ce qui est fait ci-dessous.

9.6.1

Pr
eliminaires

La methode des fonctions de Green fait un usage intensif de la fonction de Dirac, dont la r`egle operationnelle
fondamentale est, pour memoire :
+
f(x)(x x0 ) dx = f(x0 )
(9.59)

o`
u la fonction f est continue en x0 . En prenant f(x) = 1 x, on a :
+
(x x0 ) dx = 1 .

(9.60)

Dans les notations de la Theorie des distributions, et pour x0 = 0, (9.59) secrit :


, f = f(0) ;

(9.61)

pour des fonctions sannulant a` linni, une integration par parties permet de denir la derivee de la fonction
; on trouve ainsi :
+
+
+

f(x) (x x0 ) dx = [(x x0 )f(x)]
f  (x)(x x0 ) dx = f  (x0 ) ;
(9.62)

en prenant a` nouveau x0 = 0, ceci secrit formellement :


  , f = f  (0) .

(9.63)

(x x0 ) est une idealisation de fonctions (x x0 ), reguli`eres et tr`es pointues dont laire vaut 1
(precurseurs de ). Si leur largeur autour de x0 est , alors leur hauteur au maximum est dordre 1 . Pour ces
precurseurs, on a les relations approchees :
b
b
f(x) (x x0 ) dx  f(x0 ) ,
(x x0 ) dx  1
(a < x0 < b, x0 a, b x0 ) , (9.64)
a

` la condition expresse que f(x) soit lentement variable a` lechelle . En raisonnant intuitivement avec les et
a
en passant `a la limite 0+, on peut retrouver tr`es rapidement tous les resultats utiles concernant les r`egles
operationnelles relatives `a et `a ses derivees.
26 On

connat
egalement un autre moyen pour trouver une telle solution, cest la methode dite de variation des constantes.

Math
ematiques pour physiciens
LP 311

10 Janvier 2005

Cl. A.

13

9.6. FONCTIONS DE GREEN

x
En particulier, lintegrale dune , a (x x0 )dx (a  x0 ), est une fonction de x, qui passe rapidement,
0
),
sur une echelle dordre , de la valeur zero `a la valeur un (par exemple, la fonction th, (xx0 ) = 12 (1+tanh xx

` la limite = 0+, la primitive de est la fonction echelon-unite, nulle si x < x0 , egale `a 1 si


avec  1). A
x > x0 (sans quil soit necessaire `a ce stade de la denir en x = x0 ). Si toutefois on utilise comme precurseur
1
xx0
esultat de Dirichlet permet decrire tr`es precisement27 :
sin
, le r

x
0 x < x0
1
si x = x0 (x x0 ) ;
(x x0 ) dx =
(9.65)
2

1 x > x0
(il est en eet parfois necessaire, pour des raisons physiques, de preciser la valeur en x0 ) ; il en va dailleurs ainsi
quand on prend th, (x x0 ). Quoi quil en soit dans les details, le resultat `a retenir est :
x
d
(x x0 ) =
(x x0 ) dx ,
(9.66)
(x x0 ) = (x x0 ) .
dx

On note a` nouveau que loperation dintegration adoucit les irregularites28 : a deux sauts damplitude innie
au meme point (lun dans un sens, lautre dans le sens contraire), alors que sa primitive na quun saut ni,
damplitude unite dailleurs.
Ce phenom`ene se conrme maintenant en prenant la primitive de la fonction echelon :

x
0
x < x0
(x x0 ) dx =
,
x

x
x
> x0
0
a<x0

(9.67)

qui est une fonction continue, y compris en x0 . Ainsi, toute primitive non-triviale de , fonction discontinue,
est une fonction continue. On peut aussi retenir les resultats inverses : si une fonction continue presente une
rupture de pente en un point x0 , sa derivee a un saut ni, sa derivee seconde contient un terme proportionnel
a , etc :
`

f  (x) = freg
(x)+[f(x0 +0)f(x0 0)] (xx0 ) ,

f  (x) = f  (x)reg +[f(x0 +0)f(x0 0)] (xx0 ) , (9.68)



et freg
designe les derivees obtenues par les moyens usuels.
o`
u freg

Ainsi, la solution de lequation29 f  g(x) = 0 est de la forme f(x) = Ax + B + C|x|, celle de


f + g(x x0 ) = 0 est f(x) = A + B(x x0 ), etc. Dans tous les cas, le saut ni se produit dans la
derivee f (N1) si lequation est dordre N (si N 2, la fonction elle-meme est donc continue). Pour trouver
ce saut, il sut dintegrer de part et dautre du point de concentration de la fonction . Par exemple, pour
la premi`ere equation, on trouve ainsi f  (+0) f  (0) = g, ce qui donne 2C = g, do`
u la solution generale
f(x) = Ax + B + g2 |x| ; pour la deuxi`eme equation, on a f(x0 + 0) f(x0 0) = g, do`
u B = g et la solution
generale f(x) = A g(x x0 ).


9.6.2

D
enition des fonctions de Green

Soit une equation dierentielle lineaire inhomog`ene :


N


an (x)f

(n)

(x) = (x)

L(x)
f(x) = (x) ,

n=0

d
ef

L(x)
=

N

n=0

an (x)

dn
.
dxn

(9.69)

27 La fonction d
enie en (9.65) di`ere donc de la fonction de Heaviside Y (t) introduite dans le ch. 7 ; elle di`ere
egalement de
la fonction introduite dans le ch. 8 `
a propos des fonctions de repartition.
28 Comme la musique, lint
egration adoucit les murs.
q(x)
29 L
equation de Poisson V = prend la forme V  =
sur
et pour une charge ponctuelle situee `
a lorigine. Cest
0
0
pourquoi, `
a une dimension despace, le potentiel coulombien, deni comme satisfaisant lequation de Poisson, varie comme |x|, et
1
(V (x) = 2q |x| + Cste ).
non pas comme |x|

Cl. A.

10 Janvier 2005

Math
ematiques pour physiciens
LP 311

CHAPITRE 9. EQUATIONS
DIFFERENTIELLES.

14

FONCTIONS DE GREEN

La (les) fonction(s) de Green de cette equation sont les fonctions satisfaisant lequation o`
u la source a ete
remplacee30 par (x x ). Si on note G(x, x ) la fonction de Green, alors par denition de G :
N


an (x)

n=0

n
d
ef
G(x, x ) = (x x )
xn

d
ef

L(x)
G(x, x ) = (x x ) .

Ceci etant, une solution de (9.69) sexprime alors comme :


+
f(x) =
G(x, x )(x ) dx .

(9.70)

(9.71)

En eet, faisant passer L(x)


sous lintegrale en x (commutant integration et derivations), on a selon (9.70) :
+
+

L(x)
f(x) =
(x x )(x ) dx = (x) ,
(9.72)
L(x)
G(x, x )(x ) dx =

qui reconstitue bien lequation satisfaite par la fonction f. La fonction ainsi construite est donc une solution
(particuli`ere) de lequation (9.69), dont la solution generale secrit :
+
f(x) = fh (x) +
G(x, x )(x ) dx ,
(9.73)

= 0.
o`
u fh (x) designe la solution generale de lequation homog`ene associee Lf
Autrement dit, une fois que lon connat la fonction de Green dune equation dierentielle, une solution particuli`ere sobtient par une simple integrale, conformement `a (9.71). Tout le travail consiste ainsi31
a determiner la fonction de Green ; celui-ci fait, le passage dune source `a une autre se fait sans labeur
`
supplementaire, ou presque32 ; cest l`a lun des avantages de la methode de Green. En outre, comme le premier
membre de (9.69) est caracteristique du syst`eme etudie (il en contient toute la dynamique interne), alors que le
second membre (la source) represente une action exterieure sur ce syst`eme, la fonction de Green contient toute
linformation sur la dynamique interne de ce syst`eme.
La diculte est ainsi exclusivement reportee sur la determination de la bonne (voir plus loin) fonction de

Green du probl`eme physique pose. Evidemment,


pour une equation dont les coecients an sont constants, il ny
a pas de diculte majeure ; au contraire, et comme pour les equations dierentielles, la dependance eventuelle
an (x) augmente considerablement la diculte de trouver eectivement G(x, x ).
`
Les ecritures ci-dessus supposent toutes les grandeurs sans dimension, les fonctions et les variables. A
n1
linverse, si x st une longueur, alors on doit avoir [an Ln ][G] = [L]1 quel que soit n, de sorte que [G]=[a1
L
].
n

9.6.3

Exemples

Il sagit maintenant dillustrer les idees precedentes dans des cas tr`es simples, o`
u dailleurs la solution peut etre
obtenue en quelques lignes, sans lusage des fonctions de Green33 . Ce qui suit doit donc etre considere comme un
simple exercice dillustration des idees enoncees, o`
u le risque est nul detre aveugle par une diculte technique
qui serait ici dinteret tr`es secondaire.
En outre, cette illustration sera loccasion de retrouver des idees importantes, comme par exemple le
lien etroit entre causalite et analycite. Enn, ces cas tr`es simples permettent de preciser le contenu physique
30 La fonction de Green satisfait donc la m
eme
equation que la fonction f inconnue, la source etant remplacee par une perturbation
de type percussion centree en x . En dautres termes, si dans (9.69) on choisit (x) = (x), la solution de cette equation avec une
source impulsion-unite est f (x) = G(x, x = 0).
31 supposant connue la solution g
en
erale de lequation homog`ene, mais dailleurs.. . (voir plus loin)
32 On trouve une situation comparable en M
ecanique quantique, o`
u les
equations de Heisenberg permettent de trouver la dynamique
des observables. La consideration dun etat initial ou dun autre, laborieuse dans la description de Schr
odinger, est quasi-immediate
dans la vision de Heisenberg.
33 On pourrait objecter que lon fait donner lartillerie pour tuer une mouche, mais ce serait hors de propos.

Math
ematiques pour physiciens
LP 311

10 Janvier 2005

Cl. A.

15

9.6. FONCTIONS DE GREEN

de la fonction de Green, dont luniversalite depasse tr`es largement le cadre simpliste des exemples traites. Par
exemple, on verra que quand la variable est le temps (x t), la partie imaginaire de la transformee de Fourier
de la fonction de Green decrit, pour un syst`eme non purement mecanique (dissipatif), labsorption denergie par
ce syst`eme.

Loscillateur harmonique isol


e
Comme premier exemple, prenons lequation de loscillateur harmonique (bille quasi-ponctuelle de masse m
attachee `a un ressort parfait de constante de raideur k), suppose isole cest-`a-dire en labsence de toute interaction
avec un milieu produisant de lamortissement (il sagit donc dun syst`eme purement mecanique, a` peu de
degres de liberte en fait un seul , dont le mouvement seectue a` energie constante) ; dans les variables
physiques x = ecart a` lequilibre, t = temps, = force par unite de masse), lequation avec une force (excitation)
quelconque est34 :
m
x = k x + F (t)

x + 02 x = (t) ,

k = m02 , (t) =

F (t)
;
m

(9.74)

dans la suite, la quantite (t) sera appelee source. Ceci etant pose, lequation satisfaite par la fonction de Green
associee est :
2
G(t, t ) + 02 G(t, t ) = (t t ) ;
(9.75)
t2
ici, G a la dimension dun temps. Dans les notations en cours, (9.73) se transcrit comme suit :
+
G(t, t )(t )dt ,
xh (t) = a cos 0 t + b sin 0 t .
(9.76)
x(t) = xh (t) +

Compte tenu des remarques preliminaires (sous-section 9.6.1), le terme le plus singulier est celui de plus
haute derivee, ici une derivee seconde, et cest elle qui contient le saut inni impose par la presence de au
second membre. Il en resulte, selon (9.66), que la primitive de cette derni`ere (la derivee premi`ere, donc) contient
une fonction (un saut ni) et que la primitive de la derivee (soit G) est continue en t = t, conformement `a
(9.67).
Ce rappel etant fait, pour t = t , (9.75) se reduit a` :
2
G(t, t ) + 02 G(t, t ) = 0
t2
On peut donc ecrire35 :
G(t, t ) =

C cos 0 t + D sin 0 t
A cos 0 t + B sin 0 t

t = t .
t < t
t > t

(9.77)

(9.78)

les quantites A, B, C et D sont les constantes dintegration vis-`


a-vis de lintegration en t, et sont donc a priori
des fonctions de t . La question est maintenant de les determiner.
Le point a` bien comprendre est que les deux expressions apparaissant dans (9.78) sont les expressions
dune seule et meme fonction, G(t, t ), chacune etant valide dans une region donnee, t < t ou t > t . Pour
trouver les constantes A, B, C et D ou en tout cas en determiner certaines, il sut dexploiter ce que lon
sait de G et de sa derivee. Lidee est dutiliser les deux expressions (9.78) et, partant de chaque region, de venir
vers leur fronti`ere commune (ici, le point t = t , linstant tetant xe) pour y ecrire les conditions sur G et sa
derivee. Cest typiquement ce que lon appelle des conditions36 de raccordement. Par exemple, on sait que G
34 Dans ces notations, la source est homog`
ene `
a une acc
el
eration. Par ailleurs, dans (9.74), lorigine est prise au point dequilibre
(xe = 0).
35 On note que, par d
enition, G(t, t ) a de part et dautre de t = t lallure dune solution gen
erale de lequation homog`ene cest
pourquoi la determination de G est tributaire de la connaissance de cette solution gen
erale, et cest bien dans un tel contexte que
G est ecace pour trouver une solution particuli`ere.
36 Cette proc
edure est syst
ematique en M
ecanique quantique quand lenergie potentielle V (x) est continue par morceaux : en
chaque point de discontinuite nie de V , la fonction propre (x) et sa derivee sont continues. Cest seulement lorsque V a un saut
inni (par exemple V (x) (x x0 ), ou puits carre inni) que  a un saut, restant toujours continue puisque lequation aux
valeurs et fonctions propres H = E est du second ordre despace (ou impulsion).

Cl. A.

10 Janvier 2005

Math
ematiques pour physiciens
LP 311

CHAPITRE 9. EQUATIONS
DIFFERENTIELLES.

16

FONCTIONS DE GREEN

est continue, y compris en t = t . On part donc de lexpression C cos 0 t + D sin 0 t, vraie a` gauche de t , et on
fait tendre t vers t par valeurs inferieures ; ceci donne la valeur a` gauche :
G(t = t 0, t ) = C cos 0 t + D sin 0 t ;

(9.79)

De meme, la valeur `a droite en t = t est G(t = t + 0, t ) = A cos 0 t + B sin 0 t ; la continuite de G donne


une premi`ere relation37 entre les constantes A, B, C et D :
C cos 0 t + D sin 0 t = A cos 0 t + B sin 0 t ;

(9.80)


egrant en
En revanche, on sait que la derivee G
t a un saut, en t = t , dont on trouve lamplitude en int

t (9.75) de part et dautre de t . Lintegration de la derivee seconde donne la variation de la derivee premi`ere
de part et dautre du point t ; par ailleurs, comme G est une fonction bornee continue, le terme en 02 G donne
zero (integration sur un intervalle de mesure nulle) quant au terme (t t ) du second membre, il donne 1 par
denition de . Au total on obtient ainsi legalite38 :








= 1 .
(9.81)
G(t, t )
G(t, t )
t
t
t=t+0
t=t 0

En allant chercher `a nouveau les deux expressions (9.78), on trouve la deuxi`eme equation de raccordement :
0 A sin 0 t + 0 B cos 0 t [0 C sin 0 t + 0 D cos 0 t ] = 1 ;

(9.82)

Les deux equations (9.80) et (9.82) produisent nalement le syst`eme lineaire inhomog`ene :

(A C) cos 0 t + (B D) sin 0 t = 0
,
(A C) sin 0 t + (B D) cos 0 t = 10
dont la solution est :
(A C) =
Selon (9.78), on a donc :

G(t, t ) =

1
sin 0 t ,
0

(B D) =

 C(t ) cos 0 t + D(t ) sin 0 t 


C(t ) 10 sin 0 t cos 0 t + D(t ) +

1
0

(9.83)

1
cos 0 t .
0

(9.84)

t < t

cos 0 t sin 0 t t > t

ceci peut secrire dune seule facon :






1
1
G(t, t ) = C(t )
(t t ) sin 0 t cos 0 t + D(t ) +
(t t ) cos 0 t sin 0 t ,
0
0
ou encore39 :
G(t, t ) = C(t ) cos 0 t + D(t ) sin 0 t +

1
(t t ) sin 0 (t t ) .
0

(9.85)

(9.86)

(9.87)

On verie aisement que cette fonction est bien solution de (9.75), quelles que soient les fonctions C(t ) et D(t ),
et en constitue donc la solution generale. En eet, on a :
2
[(t t ) sin 0 (t t )] =  (t t ) sin 0 (t t ) + 20 (t t ) cos 0 (t t ) 02 (t t ) sin 0 (t t ) . (9.88)
t2
u:
Par ailleurs   , f = f  (0), , f = f(0), do`
 (t t ) sin 0 (t t ) = 0 (t t ) cos 0 (t t ) = 0 (t t ) ,

(t t ) cos 0 (t t ) = (t t ) . (9.89)

37 Attention : il faut se souvenir que t est x


e ; ne pas deduire de cette equation A = C et B = D au motif que les sin et les cos
sont des fonctions lineairement ind
ependantes !
38 M
eme type de remarque que dans la note 37.
39 On note que, `
a ce stade, G(t, t ) nest pas une fonction de la seule dierence t t .

Math
ematiques pour physiciens
LP 311

10 Janvier 2005

Cl. A.

17

9.6. FONCTIONS DE GREEN

Au total, il vient :
2
[(t t ) sin 0 (t t )] = 0 (t t ) 02 (t t ) sin 0 (t t ) ,
t2

(9.90)

de sorte que :
2
G(t, t ) = 02 [C(t ) cos 0 t + D(t ) sin 0 t] 0 (t t ) sin 0 (t t ) + (t t )
t2
C, D
CQFD .
= 02 G(t, t ) + (t t )

(9.91)

Dans lexpression (9.87), il reste deux constantes indeterminees, C(t ) et D(t ), et cest bien normal
puisque lequation (9.75) satisfaite par G(t, t ) est une equation aux derivees partielles du second ordre, et
quaucune condition supplementaire na encore ete imposee `a G(t, t ). Pour linstant, la solution generale de
lequation (9.74) a pour expression (9.76) o`
u G(t, t ) est donnee en (9.87). Il reste ainsi 4 constantes encore
indeterminees pour linstant : les deux (vraies) constantes a et b dans (9.76) et les deux fonctions C(t) et D(t).
Les conditions initiales speciant, par exemple, la position et la vitesse a` un instant de reference donneront deux
relations supplementaires, mais il faut visiblement invoquer dautres contraintes pour tout trouver.
Comme toujours, sagissant dun probl`eme physique bien pose, ce sont des considerations physiques qui
vont permettre de lever toute ambigute ou indetermination. Ici, cest le principe de causalite que lon invoque :
il est certain que, en vertu de la causalite et selon (9.76), on doit avoir G(t, t ) = 0 si t < t , car la reponse x `
a
linstant t ne saurait dependre de la valeur de la source `a un instant posterieur. Revenant a` lexpression (9.87)
de la solution generale, lexigence du principe de causalite conduit immediatement `a C = D 0.
Physiquement, la bonne fonction de Green est donc, quels que soient t et t , donnee par (9.87) avec
C = D = 0, soit :
1
Gav (t, t ) =
(t t ) sin 0 (t t ) ;
(9.92)
0
lindice av (pour fonction de Green avancee, on dit aussi fonction de Green causale)40 rappelle quil sagit de la
fonction nulle pour t < t . Le facteur (t t ), qui apparat spontanement dans le calcul est l`a pour pour ca et
fait ce quil faut.
Il est important de souligner ce fait essentiel : cest lapplication de conditions particuli`eres, dictees par
des considerations physiques, qui permet de lever toute ambigute pour la reponse attendue. Ici, cest le Principe
de causalite qui ach`eve la determination de la fonction de Green, imposant la condition aux limites41 G(t, t ) = 0
si t < t , i.e. t t < 0. En outre, on note que G est maintenant une fonction de la seule dierence des temps
t t : une fois les considerations physiques prises en compte, le mouvement physique de la bille ne depend que
de lintervalle ecoule `
a partir dun certain instant42 .
Une chose doit aussi etre remarquee : la fonction de Green (9.92) na pas ici de transformee de Fourier
au sens usuel. Par exemple, pour la fonction avancee, lecriture (Gav = F [Gav]) :

Gav () =
40 On

et D =

dt


1
1
(t t ) sin 0 (t t ) ei(tt ) =
0
0

dt sin 0 t eit (???)

denit de meme la fonction de Green retard


ee (ou anticausale), Gret (t, t ) nulle, elle, pour t > t , en prenant C =
1
0

cos 0

t ,

(9.94)

0
1
0

sin 0 t

ce qui donne :
Gret (t, t) =

1
(t t) sin 0 (t t ) Gav (t, t) .
0

(9.93)

eme du present vers le futur, Gret (t, t ) propage du present vers le passe. La derni`ere
En quelque sorte, Gav (t, t ) propage le syst`

egalite traduit la symetrie par renversement du temps pour un syst`eme purement mecanique (non-amorti, cest-`
a-dire non dissipatif).
41 De m
eme, en Mecanique quantique, ce sont les conditions imposees aux fonctions propres conditions math
ematiques imposees
en vertu du sens physique attribue `
a ces fonctions qui produisent la quantication spontanee de l
energie des etats li
es. Le m
eme
type de quantication se produit pour une corde vibrante dont les extremites sont xees.
42 On peut voir l`
a la signature de luniformite du temps : que lon demarre une manip `
a midi ou au go
uter ne change pas le
r
esultat observ
e au bout dun quart dheure.

Cl. A.

10 Janvier 2005

Math
ematiques pour physiciens
LP 311

CHAPITRE 9. EQUATIONS
DIFFERENTIELLES.

18

FONCTIONS DE GREEN

na pas de sens, et doit donc etre regularisee. Une facon de faire converger lintegrand a` linni est dintroduire
`a la main un facteur exponentiel convergent et ( > 0 !) et de prendre la limite 0 apr`es integration.
On redenit ainsi :


+
1
1
1
1
d
ef
it t
Gav () = lim
dt sin 0 t e e
= lim

.
(9.95)
+0 0 0
+0 20
+ 0 + i 0 + i
Chacune des fractions rationnelles donne la partie principale de Cauchy, P, et une fonction de Dirac ; au total,
ainsi regularisee, la transformee de Fourier de la fonction de Green avancee est :


1
1
1
P
i( + 0 ) P
+ i( 0 ) .
(9.96)
Gav () =
20
+ 0
0
La justication physique dune telle regularisation a priori assez articielle apparatra clairement dans letude
de loscillateur amorti (voir ci-dessous) dont la fonction de Green, au contraire, poss`ede tout naturellement
une transformee de Fourier.
Quoi quil en soit, admettant pour linstant cette regularisation pour les transformees de Fourier et par
le theor`eme de convolution applique `a (9.71), la transformee X() = F [x(t)]() est donnee par43 :
X() =

1
1
(a ib)( + 0 ) + (a + ib)( 0 ) + Gav ()() ,
2
2

(9.97)

o`
u = F [], et o`
u a et b sont les constantes apparaissant en (9.76).
En denitive, la solution la plus generale et physiquement acceptable du mouvement de loscillateur
mecanique en presence de la source (t) est44 :
t
1
x(t) = xh (t) +
sin 0 (t t )(t ) dt ,
(9.98)
0
o`
u la borne superieure de lintegrale prend en compte le fait que Gav (t, t ) est nulle si t > t. On peut maintenant
xer les constantes a et b contenues dans xh (t). Par exemple, si on se dit qu`
a un certain instant t0 , position et
vitesse valent respectivement x0 et v0 , on peut ecrire :
t0
1
sin 0 (t0 t )(t ) dt ,
(9.99)
x0 = a cos 0 t0 + b sin 0 t0 +
0
et :


v0 = a0 sin 0 t0 + b0 cos 0 t0 +

t0

cos 0 (t0 t )(t ) dt ,

(9.100)

ce qui fournit deux equations45 pour les deux constantes a et b.


Ainsi, la fonction de Green etant trouvee, la solution relative a` une source donnee sobtient par une simple
integration ; un changement de source nexige que le calcul dune seule nouvelle integrale : le travail est fait une
fois pour toutes par la determination explicite de la bonne fonction de Green associee `a lequation consideree.
Pour illustrer ceci, supposons que loscillateur, au repos jusqu`
a un certain instant conventionnellement

pris comme origine t = 0, est soumis `a partir de t = 0 a` une perturbation (t) non nulle (i.e. (t) = Y (t)(t)).
Dans ces conditions, les deux constantes a et b sont nulles, comme on le voit en ecrivant les deux equations
(9.99) et (9.99) avec t0 = 0 : comme (t) = 0 pour t < 0, les deux integrales sont encore nulles a` t = 0, et le
syst`eme pour a et b na que la solution triviale a = b = 0, do`
u il resulte xh (t) 0. Dans ces conditions precises,
lexpression de la solution se reduit a` :
+
t
1



x(t) =
Gav (t, t )(t ) dt =
sin 0 (t t )(t ) dt
(t > 0) ,
(9.101)
0 0

souvenir que F[ei0 t ] = ( 0 ).


source
etant homog`ene `
a une acc
el
eration, le second membre de (9.98) est bien une longueur.
45 Le syst`
eme (9.99) et (9.100) a un determinant egal `
a 1, et a donc toujours une solution et une seule.
43 Se

44 La

Math
ematiques pour physiciens
LP 311

10 Janvier 2005

Cl. A.

19

9.6. FONCTIONS DE GREEN

o`
u la borne inferieure resulte du fait que (t) est maintenant supposee nulle `a t < 0.
Par exemple, si on applique de lexterieur une force constante46 Fm0 `a partir de t = 0, alors la source est
(t) = Fm0 Y (t) ; loscillateur etant toujours initialement au repos (avant larrivee de la perturbation), la solution
est :
t
F0
F0
x(t) =
sin 0 (t t ) dt =
(1 cos 0 t) .
(9.102)
m0 0
m02
Loscillation est toujours harmonique, mais seectue maintenant de part et dautre dune nouvelle position
F0
F0
dequilibre dabscisse xeq = m
equilibre entre la force de rappel vers x = 0 et
2 k , correspondant au point d
0

la force constante F0 appliquee en plus de lexterieur (m02 xeq kxeq ) ; (9.102) se recrit comme :
x(t) = xeq (1 cos 0 t) .

(9.103)

De fait, lapplication soudaine dune force constante ne fait que deplacer le point dequilibre autour duquel
seectue loscillation, dont la frequence est inchangee47 . Apr`es application de la force, lenergie (nulle avant)
F02
1
2 2
energie potentielle de la bille en
est constante et egale `a 12 mx 2 + 12 m02 (x xeq )2 = 2m
2 2 m0 xeq : cest l
0
x = 0 quand le point dequilibre est xeq .

Loscillateur harmonique amorti


Il vaut la peine de regarder le cas de loscillateur en presence de frottement, an dexhiber les dierences
qualitatives entre un syst`eme reel (en pratique, il y a toujours de lamortissement) et loscillateur isole, qui est
toujours un peu une vue de lesprit : physiquement on doit considerer le cas non-amorti comme lidealisation
dun oscillateur reel observe sur une echelle de temps courte par rapport a` lamortissement (soit t  1 dans
la notation qui va etre introduite). Pour sen tenir a` la description la plus simple, on choisit un frottement
proportionnel a` la vitesse (frottement uide). Dans ces conditions, lequation fondamentale en presence dune
source F (t) est :
m
x = x kx + F (t)

x + x + 02 x = (t)

( > 0, F = m) .

(9.104)

a un facteur
1 a la dimension dun temps, cest une echelle de temps supplementaire par rapport a` 01 qui (`
2 pr`es) donne la periode doscillation. Il existe ainsi desormais un param`etre sans dimension48, Q 0 , dont
les valeurs grandes ou petites devant lunite donneront deux types de comportements qualitativement dierents
(respectivement : regime sous-amorti et regime sur-amorti), le cas limite Q = + correspondant a` loscillateur
ideal sans amortissement (isole).
Ceci etant, lequation satisfaite par la fonction de Green associee `a (9.104) est alors :
2

G(t, t ) + G(t, t ) + 02 G(t, t ) = (t t ) .


t2
t

(9.105)

La procedure suivie maintenant est parall`ele `a celle entreprise precedemment. Pour t = t , (9.105) est :
2

G(t, t ) + G(t, t ) + 02 G(t, t ) = 0


2
t
t

t = t .

(9.106)

An de simplier les ecritures, on ecrit la solution de cette equation en combinaison lineaire dexponentielles
complexes (et non plus en sin et cos) :

C+ ei+ t + C ei t t < t
G(t, t ) =
,
(9.107)
A+ ei+ t + A ei t t > t
: une particule chargee li
ee harmoniquement, que lon soumet `
at0`
a un champ electrique constant.
m
eme phenom`ene se produit en Mecanique quantique.
48 Q mesure ce quil est convenu dappeler facteur de qualit
e de loscillateur : plus Q est grand, plus la resonance est ne.
46 Exemple
47 Le

Cl. A.

10 Janvier 2005

Math
ematiques pour physiciens
LP 311

CHAPITRE 9. EQUATIONS
DIFFERENTIELLES.

20

FONCTIONS DE GREEN


2
o`
u designe les racines de lequation 2 +i +02 = 0, soit = 02 4 +i 2
0 +i 2 : maintenant,
en consequence de lamortissement, les frequences caracteristiques ont une partie imaginaire nie (mais toujours
positive, quels que soient49 0 et ).
Les equations de raccordement secrivent ici :


C+ ei+ t + C ei t = A+ ei+ t + A ei t ,


(9.108)


i+ A+ ei+ t + iA ei t [i+ C+ ei+ t + iC ei t ] = 1 .

(9.109)

An daller plus vite, cherchons demblee la fonction de Green avancee, ce qui revient `a prendre C = 0. On
trouve alors, apr`es calcul50 :
Gav (t, t ) =


1
(t t ) e 2 (tt ) sin
0 (t t ) .

(9.111)

Ici apparat une premi`ere dierence qualitative avec le cas non amorti la transformee de Fourier de Gav
existe au sens usuel :


+

1
1
1
1
1
= 2
Gav () =
dt e 2 t sin
0 t eit =

; (9.112)

0 0
2
0 +
0 + i 2

0 + i 2

0 ( + i 2 )2
Cette expression montre que le param`etre de frottement (donnant lamortissement) se substitue tout naturellement au param`etre ctif introduit en (9.95) pour eectuer la regularisation. Comme tous les syst`emes
physiques sont amortis (meme inniment peu), la procedure de regularisation (9.95), somme toute a priori
assez articielle, sen trouve justiee au moins dans lhypoth`ese du frottement uide. Notons que, en tant que
transformee de Fourier dune fonction a` valeurs reelles, Gav poss`ede la symetrie :
Gav () = [Gav()] .

(9.113)

Ceci signie que la partie reelle de Gav () est paire, que sa partie imaginaire est impaire51 :
Gav () = Gav 1 () + i Gav 2 () :

Gav 1 () = Gav 1 () ,

Gav 2 () = Gav 2 () .

(9.114)

Par ailleurs, lexpression integrale de Gav (t, t ) :


1
Gav (t, t ) =
2


ei(tt ) Gav () d

(9.115)

re`ete bien une fois encore le lien entre analycite et causalite. En eet, pour t > t , on referme le contour par
le bas, et on ramasse les deux residus de Gav (z) en z = i 2
0 . Au contraire, pour t < t , on ferme par
en haut, mais comme il ny a aucune singularite, lintegrale est nulle comme il se doit. Avec les denitions en
cours52 , le Principe de causalite se traduit par le fait que Gav () est analytique dans le demi-plan superieur.
Quand lamortissement est nul, les poles se trouvent sur la droite reelle, et il faut bien regulariser, dune facon
ou dune autre, puisque le chemin dintegration bute sur les singularites, do`
u la partie principale de Cauchy et
la fonction de Dirac.
49 Si

 

< 20 , les ont une partie reelle nie (regime sous-amorti, frottement faible). Dans le cas contraire, > 20 , on

a = i

2
4

02

: les sont alors imaginaires pures (regime sur-amorti, frottement fort, pas doscillation pendant

relaxation), leurs parties imaginaires etant toutes deux positives.


50 De la m
eme facon, la fonction retardee est :
Gret (t, t ) =


1
(t t) e(tt ) sin
0 (t t ) = Gav (t, t) .

(9.110)

La sym
etrie de renversement du temps est brisee par lamortissement, comparer avec la note 40.
51 Attention : lusage est fr
equent de noter G  et G  respectivement les parties reelle et imaginaire de G, mais il ne sagit pas de
ses d
erivees !
52 Si on inverse la convention de d
enition de la transformation de Fourier, les deux demi-plans sechangent.

Math
ematiques pour physiciens
LP 311

10 Janvier 2005

Cl. A.

21

9.6. FONCTIONS DE GREEN

Il a ete arme plus haut que la fonction de Green contient toute la dynamique interne du syst`eme. Ceci
se voit bien sur la transformee de Fourier Gav (). Selon (9.112), et compte tenu de lexpression de
0 , on a :
Gav () =

02

02 2
+i 2
.
=
2
2
2
2
2
2
2
i
( 0 ) +
( 0 )2 + 2 2

(9.116)

Notamment, le module de Gav () presente un pic tr`es marque lorsque  0 (Q 1), ce qui traduit le
phenom`ene banal de resonance lorsquon excite un oscillateur (sous-amorti) a` une pulsation voisine de sa
pulsation propre 0 .
Limportance de la fonction de Green tient aussi au fait quelle decrit labsorption denergie par loscillateur. En eet, m(t) = F (t) est la force exterieure ; par consequent, le travail de cette force est par denition
lenergie recue par loscillateur : dW = F dx = F xdt.

Lenergie totale fournie a` (absorbee par) loscillateur est


donc53 :



+

E =

F xdt

= F [F x](

= 0) .

F x eit dt

(9.117)

=0

On a F [x]
= iF [x] ; en supposant loscillateur au repos avant larrivee de la perturbation , la solution
homog`ene est identiquement nulle et il reste seulement F [x] = G()() (voir (9.98)). Par le theor`eme de
convolution, il vient alors :
+
1
F [F x]()

=
m(  )[i Gav ( )( )] d ,
(9.118)
2
de sorte que lenergie absorbee est donnee par :
+
m
E =
( ) Gav ( )( ) d .
2i

(9.119)

u:
En outre, comme est la transformee de Fourier dune fonction reelle, () = () ; do`
+
m
 Gav ( )|( )|2 d ,
E =
2i
et, en vertu des symetries exprimees par (9.114), seule la partie imaginaire contribue a` lintegrale :


m + 
m + 
|( )|2 Gav ( )d =
|( )|2 Gav ( )d .
E =
2
0

(9.120)

(9.121)

Ainsi, la partie imaginaire de la fonction de Green avancee donne-t-elle directement lenergie absorbee par
loscillateur. Dans le cas dune source quasi-monochromatique a` e, de duree T e1 , () est un precurseur
1/T ( e ) de ( e ), qui va ltrer lintegrand ; au total, on trouve que lenergie absorbee est proportionnelle
a T G(e ) : lenergie moyenne absorbee par unite de temps, E
`
, varie comme G(e ), elle est dautant plus
T
grande que la pulsation de la source est voisine de la pulsation propre 0 de loscillateur. En outre, dans la
limite = 0+, E = 0 : si loscillateur est non-amorti (isole), son energie est constante. . . comme il se doit.
Tous ces resultats sappliquent a` un oscillateur harmonique amorti, quelle que soit sa nature physique
precise. Par exemple, pour un circuit RLC aux bornes duquel on applique la tension v(t), lequation pour
lintensite i(t) est :
d2 i
di
1
L 2 +R
+ i = v(t)

.
(9.122)
dt
dt C
Par rapport a` loscillateur materiel de reference, le dictionnaire des param`etres est le suivant :
m L ,

R ,

1
02 .
C

(9.123)

Linductance joue bien un r


ole inertiel, en sopposant aux variations brusques de courant (elle arrondit les sauts),
la resistance est bien le terme dissipatif, quant a` C 1 , cest bien ce qui rappelle lintensite vers la valeur zero.
La condition de resonance du circuit est LC2 = 1, en conformite avec = 0 pour loscillateur materiel.
53 Ici,

Cl. A.

pas de terme de chaleur


dQ !

10 Janvier 2005

Math
ematiques pour physiciens
LP 311

Вам также может понравиться