M
ethodes math
ematiques pour physiciens
LP206
Nul ne peut lire le grand livre de lUnivers sil nen connat la langue,
qui est la langue mathematique. (Galilee)
se tient toujours ouvert devant nos yeux, je veux dire lUnivers, mais on ne peut le comprendre si
on ne sapplique dabord `
a en comprendre la langue et `
a en connatre les caract`eres avec lesquels
il est ecrit. Il est ecrit dans la langue mathematique et ses caract`eres sont des triangles, des
cercles et autres figures geometriques, sans le moyen desquels il est humainement impossible den
comprendre un mot. Sans eux, cest une errance vaine dans un labyrinthe obscur.
Saggiatore, Rome 1623.
Galilee, Il
0
Table des mati`
eres
Chapitre 0. Rappels et notations . . . . . . . . . . . . . . . . . . . . .
1. Symboles, etc
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5. Derivation
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6. Integration
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . 6
. . . . . . . . . . . . . . . . 10
. . . . . . . . . . . . . . . . . . . 11
. . . . . . . . . . . . . . . . . . . . . 11
. . . . . . . . . . . 11
. . . . . . . . . . 12
. . . . . . . . . . . . . . . . . . . . . . . . . 18
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.1. Definition
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
. . . . . . . . . . . . . . . . . . . . . . . . . . 20
. . . . . . . . . . . . . . . . . . . . . . . . . . 22
3. Integrales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.1. Proprietes generales
3.2. Methodes dintegration
. . . . . . . . . . . . . . . . . . . . . . . . . 25
. . . . . . . . . . . . . . . . . . . . . . . . 25
. . . . . . . 26
. . . . . . . . . . 28
3.6. Echange
de limites, derivation sous le signe somme . . . . . . . . . . . . 30
4. Series
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.1. Generalites
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3
4.2. Series `
a termes positifs
. . . . . . . . . . . . . . . . . . . . . . . . 32
. . . . . . . . . . . . . . . . . . 35
Chapitre 2. Equations
diff
erentielles
. . . . . . . . . . . . . . . . . . . 37
. . . . . . . . . . . 36
. . . . . . . . . . . . . . . . . 39
. . . . . . . . . . . . . . . . . . . . . . . . 39
. . . . . . . . . . . . . . . . . . . 40
. . . . . . . 41
3. Equations
differentielles lineaires . . . . . . . . . . . . . . . . . . . . . . 44
3.1. Proprietes generales
. . . . . . . . . . . . . . . . . . . . . . . . . 44
3.2. Equations
lineaires homog`enes, equations lineaires inhomog`enes. . . . . . . 45
3.3. Quelques cas solubles dequations lineaires . . . . . . . . . . . . . . . . 48
3.4. Equations
lineaires `
a coefficients constants . . . . . . . . . . . . . . . . 48
3.5. Syst`emes dequations differentielles lineaires
. . . . . . . . . . . . . . . 51
. . . . . . . 53
4.2. Equations
a variables separees . . . . . . . . . . . . . . . . . . . . . 55
`
4.3. Changement de la fonction inconnue
. . . . . . . . . . . . . . . . . . 56
. . . . . . . . 57
. . . . . . . . . . . . . . . . . . . . . . 59
. . . . . . . . . . . . . 60
. . . . . . . . . . . . . . 60
2. Equations
differentielles lineaires avec source periodique
. . . . . . . . . . . 67
2.1. Decouplage des modes de Fourier . . . . . . . . . . . . . . . . . . . . 67
2.2. Filtre RC
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
. . . . . . . . . . . . . . . . . . . . . . . . . . . 72
. . . . . . . . 73
. . . . . . . . . . . . . . . . . . . . . 75
4
0
4.1. Reseau fini
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
. . . . . . . . . . . . . . . . . . . . . 77
. . . . . . . . . . . . . . 59
1.1. Equations
differentielles lineaires.
. . . . . . . . . . . . . . . . . . . 79
1.2. Oscillateur harmonique
2. Amortissement
. . . . . . . . . . . . . . . . . . . . . . . . 79
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
. . . . . . . . . . . . . . . . . . . . . . 87
. . . . . . . . . . . . . . . . 88
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
. . . . . . . . . . . . . . . . . . . . 93
. . . . . . . . . . . . . . . . . . . . 93
. . . . . . .
100
100
. . . . . . . . . . . . . . . . . . . . . . .
102
. . . . . . . . . . . . . . . . . . . . . . . .
103
104
. . .
104
. . . . . . . . . . . . .
105
106
. . . . . . . . . . . . . . . . . . . . .
108
. . . . . . . . . . . . . . . . . .
108
. . . . . . . . . . . . . . . . . . . . . . . . . . .
110
110
112
3. Portrait de phase
. . . .
114
5. Applications recursives
. . . . . . . . . . . . . . . . . . . . . . . . .
116
117
118
Chapitre 6. Equations
de bilan . . . . . . . . . . . . . . . . . . . . . . 99
1. Courant. Equation
de conservation. . . . . . . . . . . . . . . . . . . . 125
1.1. Densite et courant
. . . . . . . . . . . . . . . . . . . . . . . . .
125
1.3. Equation
de continuite dun fluide . . . . . . . . . . . . . . . . . . 126
1.4. Equation
de la chaleur, equation de diffusion . . . . . . . . . . . . . . 127
2. Chane radioactive . . . . . . . . . . . . . . . . . . . . . . . . . . .
129
132
. . . . . . . . . . . . . . . . . . . . . . . .
132
133
M
ethodes math
ematiques pour physiciens. LP206
1. Symboles, etc
d
ef
x A : x appartient `
a lensemble A
x
/ A : x nappartient pas `
aA
2. Nombres entiers, r
eels, complexes
N = {0, 1, 2, } ensemble des nombres entiers non negatifs,
Dans R, lintervalle ferme [a, b] est lensemble des x : a x b, tandis que lintervalle
semi-ouvert ]a, b] designe lensemble des x : a < x b, avec une inegalite stricte `a gauche,
etc. Les notations [a, b], ]a, b[ etc impliquent a b.
M
ethodes math
ematiques pour physiciens. LP206
y=sin
x=cos
Fig. 1: Interpr
etation g
eom
etrique dun nombre complexe
1
z
= 2 = 1 ei
z
|z|
i = i1 = ei/2
=
p=0
4 Juillet 2008
n(n 1) n2 2
a
x + + xn
2
n np p
a
x
p
(3.1)
n
p
n!
n(n 1) (n p + 1)
=
1 2 (p 1)p
p!(n p)!
n1
n1
+
p
p1
P (x) = an
i=1
(x zi ),
zi C .
4. Fonctions
el
ementaires : trigonom
etriques et hyperboliques, exponentielle, logarithme
Fonctions trigonometriques
cos , sin , interpretation geometrique voir fig. 1, tan (note tg dans les vieilles
notations francaises. . . ), tan =
sin
cos
cos(a) = cos a
sin2 a + cos2 a = 1
sin( a) = cos a
2
cos(a b) = cos a cos b + sin a sin b
dont linterpretation geometrique doit etre claire (par exemple la derni`ere : produit scalaire
de deux vecteurs). Retrouver `
a partir de ces identites les identites de lappendice A.
4 Juillet 2008
M
ethodes math
ematiques pour physiciens. LP206
Arc sin :
.
2
2
De meme Arc cos x est definie pour x [1, 1], elle y est decroissante et prend ses valeurs
dans [0, ]
x [1, 1]
Arc cos :
0.
La solution generale de x = cos y est y = Arc cos x + 2k. On a Arc sin x + Arc cos x =
comme il decoule soit de linversion de x = cos y = sin( 2 y), soit du calcul de la derivee
de cette somme.
Enfin la fonction inverse Arc tan x est definie pour tout x reel, elle est croissante et prend
ses valeurs dans [ 2 , 2 ]
xR
Arc tan :
.
2
2
ax = ex log a
Relation avec les fonctions trigonometriques
ei = cos + i sin .
4 Juillet 2008
1 u
(e + eu )
2
sh u =
1 u
(e eu )
2
th u =
sh u
1 e2u
=
ch u
1 + e2u
donc
eu = ch u + sh u
ch (u) = ch u
sh (u) = sh u ,
et
ch iu = cos u
sh iu = i sin u .
xx0
f (x) f (x0 )
x x0
df
dx
(5.1)
.
x=x0
d2 f
dx2
x=x0
f (k) (x0 ) =
dk f
dxk
x=x0
En physique, la notation f est souvent reservee `a une derivation par rapport `a une
coordonnee despace, tandis quune derivee par rapport au temps est notee par un point : f
df (t)
d2 f (t)
f(t) =
,
f(t) =
, etc.
dt
dt2
Sil y a plusieurs variables (par exemple des coordonnees despace et de temps, ou des
variables de pression et de temperature), on utilise les notations de derivee partielle
f (u, v)
f (u, v)
2 f (u, v)
, fv (u, v)
fuv
(u, v)
etc.
u
v
uv
Derivation des fonctions elementaires, voire un petit formulaire dans lAppendice B,
fu (u, v)
M
ethodes math
ematiques pour physiciens. LP206
6. Int
egration
Deux concepts lies :
* le calcul de la primitive F dune fonction f , operation inverse de la derivation : F (x) =
f (x) dx est une fonction (definie `a une constante additive pr`es) telle que F (x) =
f (x);
* lintegrale definie de f (x) sur le segment [a, b] de la droite reelle,
b
a
algebrique dun domaine compris entre laxe des x et le graphe de la fonction f , dune
part, entre les droites x = a et x = b de lautre; elle peut etre calculee comme la
limite de laire totale de petits trap`ezes decoupant ce domaine (integrale de Riemann)
quand la largeur de chacun de ces trap`ezes tend vers zero. Cette limite existe sous
certaines conditions dintegrabilite, par exemple que la fonction est continue (condition
suffisante dintegrabilite).
La relation entre les deux notions est que
b
a
u (x)v(x) dx = u(x)v(x)
u(x)v (x) dx .
(6.1)
(x) ln x dx = x ln x
x(ln x) dx = x(ln x 1) .
(6.2)
b
a
f (x)g (x) dx .
(6.3)
changement de variable
f (g(x))g (x) dx =
du
1
1
= ln(1 + u) = ln(1 + x2 )
1+u
2
2
o`
u on a effectue le changement de variables u = x2 . Autre exemple important
si on pose x = tan u, lintegrale est simplement
dx
1+x2
du, donc
dx
= Arc tan x ,
1 + x2
la fonction inverse de tan, definie pour tout x et prenant ses valeurs dans [ 2 , 2 ]. Dans
le meme ordre didees,
dx
= Arc sin x ,
1 x2
Quand on effectue un changement de variable dans une integrale definie, il faut veiller
f (g(x))g (x) dx =
g(b)
f (u) du .
(6.4)
g(a)
Mais attention, inversement, supposons quon veuille lire et utiliser cette equation de
droite `
a gauche, pour calculer
h()
f (u) du =
f (g(x))g (x) dx .
h()
1
1
du =
1 dx
1 2 x
= 0!?
4 Juillet 2008
M
ethodes math
ematiques pour physiciens. LP206
10
10
0.5
8
6
-3
-2
-1
-3
-2
-1
-3
-2
-1
-5
-0.5
-10
-1
Appendix A. Identit
es trigonom
etriques
Elles decoulent toutes de 5 identites fondamentales
sin(x) = sin x ;
cos x = sin
x
2
sin2 x + cos2 x = 1
cos(x) = cos x
(A.2)
(A.3)
= sin
(x) = cos x = cos x
2
2
cos x +
= cos
(x) = sin x = sin x
2
2
= cotan x ; tan x
= cotan x
tan x +
2
2
sin(x + ) = cos x +
= sin x
2
sin(x + 2) = sin x
4 Juillet 2008
cos(x + 2) = cos x
(A.1)
tan(x + 2) = tan x
(A.4)
Formules daddition
cos(x + y) = cos x cos y sin x sin y
sin(x + y) = cos
x y = sin x cos y + cos x sin y
2
tan x + tan y
sin x cos y + cos x sin y
=
tan(x + y) =
cos x cos y sin x sin y
1 tan x tan y
ou inversement
1
(cos(x + y) + cos(x y))
2
1
sin x sin y = (cos(x y) cos(x + y))
2
1
sin x cos y = (sin(x + y) + sin(x y))
2
cos x cos y =
ou encore
ab
a+b
cos
2
2
etc.
Formules de doublement
cos 2x = cos2 x sin2 x = 2 cos2 x 1 = 1 2 sin2 x =
sin 2x = 2 sin x cos x = 2 tan x cos2 x =
tan 2x =
2 tan x
.
1 tan2 x
2 tan x
1 + tan2 x
1 tan2 x
2
1
=
1 + tan2 x
1 + tan2 x
Noter que cos x, sin x et tan x sont des fractions rationnelles de tan x2 .
4 Juillet 2008
10
M
ethodes math
ematiques pour physiciens. LP206
Appendix B. D
eriv
ees des fonctions
el
ementaires
4 Juillet 2008
Fonction
D
eriv
ee
x1
ex
ex
ax
ln a ax
ln x
1
x
sin x
cos x
cos x
sin x
tan x
1 + tan2 x
Arc sin x
1
1 x2
Arc cos x
1
1 x2
Arc tan x
1
1 + x2
sh x
ch x
ch x
sh x
th x
1 th 2 x
alors L = limxc f (x), si pour tout x suffisamment proche de c, f (x) est arbitrairement
proche de L. On exprime cela par
> 0 > 0
|f (x) L| < ,
(1.1)
(attention `
a lordre des symboles !!) ce qui se lit mot `a mot pour tout (sous-entendu
aussi petit quon veut), il existe un nombre (sous-entendu, suffisamment petit, fonction
de ) tel que pour tout x `
a une distance de c plus petite que , la difference entre f (x) et
L soit inferieure en valeur absolue `a .
Exemple : La fonction x2 a pour limite 4 quand x 2. Contre-exemple : f (x) = sin x1
[a, b] est continue en c [a, b] si limxc f (x) = f (c). Elle est continue sur [a, b] si elle lest
Exemples : les fonctions usuelles, puissances, polynomes, trigonometriques, exponentielle, logarithme etc sont continues en tout point de leur ensemble de definition. Contreexemple, la fonction partie enti`ere E(x),
E(x) := n si n x < n + 1
(1.2)
a une limite en tout point non entier et y est continue, mais est discontinue `a tout point
entier. En effet la limite de E(x) quand x n (cest-`a-dire tend vers lentier n par
valeurs inferieures) est n 1, mais elle est n si x n+ .
12
M
ethodes math
ematiques pour physiciens. LP206
Definitions : 1. f (x) definie sur lintervalle ouvert [a, b[ a une limite finie L quand x b
(cest-`
a-dire par valeurs inferieures) si pour tout x suffisamment proche et strictement
inferieur `
a b, f (x) est arbitrairement proche de L : > 0 > 0
tel que
x : 0 <
2. La fonction f (x) definie sur lintervalle ouvert [a, b[ tend vers linfini + quand x b
et strictement inferieur `
a b, f (x) est superieur `a tout nombre K arbitrairement grand.
Ou dit autrement, si tout intervalle ]K, +[ contient toutes les valeurs de f (x) pour x
suffisamment proche de b.
K > 0
x : 0 < b x <
f (x) > K .
(1.3)
Le cas o`
u f (x) sexprime de meme.
Exemple : La fonction tangente est definie dans les intervalles ouverts ](2n1) 2 , (2n+1) 2 [
Limites a
` . Definitions analogues :
La fonction f (x) definie sur lintervalle ouvert [a, [ a une limite finie L quand x si
x+
|f (x) L| <
(1.4)
f (x) > M .
(1.5)
x+
tel que
x > K
Exemples :
1. limx 2 + ex = 2, limx 2 + ex = +
2. Comportement quand x + dune fraction rationnelle P (x)/Q(x), rapport de deux
polynomes P et Q de degres respectifs p et q.
si p < q
0ap
P (x)
rapport des coefficients de degre maximal, si p = q
bp =
signe ( ap ) si p > q
Q(x)
bq
22 Septembre 2008
J.-B. Z.
13
Operations sur les limites : Si f (x) et g(x) ont des limites finies quand x tend
vers un point `
a distance finie ou vers , lim(f (x) + g(x)) = lim f (x) + lim g(x),
lim(f (x).g(x)) = lim f (x). lim g(x) et (si lim g = 0) lim(f (x)/g(x)) = lim f (x)/ lim g(x).
Si lune des limites de f ou g est infinie, on peut parfois conclure, parfois on rencontre une
?
limx1 ( x + 1. tan x/2) = , limx0 ( x/ tan x/2) = 0/0 ??.
Theor`eme dencadrement, dit theor`eme des gendarmes . Si la fonction f (x) est
encadree par les fonctions g et h en ce sens que g(x) f (x) h(x) pour tout x [a, b[
(b pouvant etre ), et si g(x) et h(x) ont la meme limite (finie ou infinie) quand x b,
alors f (x) a elle aussi cette meme limite.
Exemples : f (x) = x sin x1 , g(x) = x, h(x) = x pour x ]0, 1]. Le theor`eme nous
dit que limx0 f (x) = 0. De meme pour x > 0, f (x) =
limx = 0.
sin x
,
x
g(x) = x1 , h(x) =
1
,
x
0.75
0.5
0.25
0.1
0.2
0.3
0.4
0.5
0.6
-0.25
-0.5
-0.75
Fig. 1: La fonction
x sin x1 , encadr
ee par les fonctions x, tend vers 0 quand x 0.
(1.6)
22 Septembre 2008
14
M
ethodes math
ematiques pour physiciens. LP206
limx0 (xp )/xp = 0 (on trouve aussi dans les livres la notation o(xp )). Plus generalement,
(x a)f (a) + (x a) (et on dit que f (a) + (x a)f (a) est la meilleure approximation
affine `
a f (x) ). Ceci se generalise en
Th
eor`
eme. Si la fonction f (x) est continue ainsi que ses n 1 premi`eres derivees
sur lintervalle [a, b], et si f (n) (a) existe en a, on peut, pour tout x [a, b], ecrire le
developpement de Taylor-Young
f (x) = f (a) + (x a)f (a) + +
(x a)n (n)
f (a) + ((x a)n ) .
n!
(1.7)
(x a)n (n)
(x a)n+1 (n+1)
f (a) +
f
() ,
n!
(n + 1)!
(1.8)
o`
u ]a, x[.
En pratique, la formule de Taylor-Lagrange avec son reste explicite est utile pour trouver des majorations/minorations dune fonction (si on connat le signe du reste). La formule (1.7) est utile pour fournir
des d
eveloppements limit
es.
22 Septembre 2008
J.-B. Z.
15
ex = 1 + x +
x3
3!
x2
cos x = 1
2!
(1.9)
x3
3
+ (x )
tan x = x +
3
( 1) 2
( 1) ( n + 1) n
(1 + x) = 1 + x +
x ++
x + (xn )
2!
n!
x2
x3
xn
ln(1 + x) = x
+
+ + (1)n1
+ (xn )
2
3
n
Operations sur les developpements limites : addition, multiplication et division, composition et integration. Ces manipulations sont dusage tr`es courant pour le physicien ! On
developpement de tan x `
a lordre 3. On ecrit sin x = x x6 + (x5 ), cos x = 1 x2 + (x4 )
quon inverse en utilisant le developpement de 1/(1 u), do`
u
x
sin x
=
cos x
1
x3
6
x2
2
+ (x5 )
+ (x4 )
= x(1
x2
x2
x3
x2
+(x4 ))(1+ +(x4 )) = x(1+ +(x4 )) = x+ +(x5 ) .
6
2
3
3
J.-B. Z.
22 Septembre 2008
16
M
ethodes math
ematiques pour physiciens. LP206
xa
a )
et on
Mais on peut aussi aussi transposer la discussion au cas dinfiniment grands pour une
variable x : on se ram`ene au cas precedent par un changement de variable x = 1/u.
On sait donc aussi ecrire des developpements limites au voisinage de linfini. Exemple :
1
sin x
x ,
ou 0 , ou , ou 1 , 00 ,
1
x ln x, ln x + x1 , (1 + x) x , xx , etc ?
On va montrer plus bas quon peut se ramener au premier cas 00 . Consid`erons donc
(x)
o`
u f (x) et g(x) tendent vers 0 quand x x0 . Il existe plusieurs procedes
un rapport fg(x)
f (x)f (x0 )
,
xx0
on a
f (x)
f (x) f (x0 )
f (x) f (x0 )
f (x0 )
x x0
= lim
= lim
=
g(x)
g(x) g(x0 )
x x0
g(x) g(x0 )
g (x0 )
si ces derivees existent et si leur rapport est fini (r`egle de lHospital). Ce qui signifie que
lim
(1). limx0
2+x 2
x
0
0
2+x 2
2+x2
1
1
= (2+x+
= 2+x+
2
x
2)x
2
2
`
eme
2+x 2
d
1
1
x
lim
=
= .
=
x0
x
dx
2 x x=2 2 2
x=2
(2). Un important resultat est que
sin x
=1
(1.10)
lim
x0 x
comme il decoule `
a nouveau de la definition de la derivee : la limite est par definition
la derivee de sin x en 0, soit cos x evalue en 0, soit 1. Linterpretation geometrique de
ce resultat est aussi importante `a garder en tete : 2 sin x mesure la longueur de la corde
dessinee sur un cercle de rayon unite par langle mesure (en radians) par 2x. Pour de petits
angles, la longueur de la corde vaut approximativement celle de larc : 2 sin x 2x, voir
figure.
22 Septembre 2008
J.-B. Z.
17
C
x
x
HA D
sinx
tan
x
B
Fig. 2: Interpr
etation g
eom
etrique de (1.10) : OB = OC = 1 ; BH = HC = sin x ;
Une autre des idees est dutiliser des majorations/minorations (comme dans le
theor`eme des gendarmes) pour se ramener `a dautres formes indeterminees dont la limite est plus aisement determinee.
2 sin x 2x 2 tan x (la corde BC est plus courte que celle de larc BAC, qui est plus
court que la ligne brisee BDC), do`
u lencadrement cos x
sin x
x
1.
2 x
eriv
ee f (x) = 2x est
Pour d
emontrer cette in
egalit
e
etudions la fonction f (x) = ln x x. Sa d
n
egative pour x > 4, positive pour 0 < x < 4. La fonction f est donc maximale en x = 4 et son maximum
egative, c.q.f.d.
vaut f (4) = 2(ln 2 1) = 2 ln 2e < 0. La fonction f est donc toujours n
Donc 0 <
ln x
x
<
x
x
variable,
> 0
lim x ln x = 0
lim
x0
o`
u on passe de la premi`ere assertion `a la seconde par x 1/x. Il faut donc retenir que
Quand toutes les methodes precedentes ont echoue, parce que la derivee de f ou de
g nexiste pas, ou que f /g est encore du type
0
0,
trouve, cela impose une discussion plus serree. Si on a deux fonctions f et g dont le rapport
f (x)/g(x) 0/0 quand x x0 , on peut remplacer chacune delles par sa partie principale
au sens des infiniment petits : si f (x) (x x0 )p et g(x) (x x0 )q , le rapport f /g
a une limite nulle, finie ou infinie selon que p > q, p = q, p < q. Obtenir ces parties
principales de f et g peut lui-meme necessiter lemploi de developpements limites. . .
J.-B. Z.
22 Septembre 2008
18
M
ethodes math
ematiques pour physiciens. LP206
Exemples : Limite de
xsin x
xtan x
x3
, x tan x
3!
1x+ln x
1cos(1x) quand
le produit f.g a une forme indeterminee 0 mais f /g 1 est de la forme 0/0. De meme,
si f 1, g , f g = exp((ln f )/g 1 ) et largument de lexponentielle est `a nouveau de
1
0 xx0
cest-`
a-dire l
echange des limites est-il autoris
e?
Il est ais
e de construire des exemples math
ematiques o`
u cela nest pas le cas, soit que lune des limites
de g(x) ou de h() nexiste pas, ou que ces limites existent mais soient en effet diff
erentes.
Exemples
(1) f (x, ) = x2 +
2 est telle que g(x) = lim0 f (x, ) = 0 pour tout x tandis que h() =
limx0 f (x, ) =
1
.
0.5
-2
-1
-0.5
-1
u x 0 et N ? limx0 f (x, N) = 0,
(2) f (x, N) = tanh Nx = 1e2N x dans les limites o`
1+e
limN f (x, N) = signe x, la fonction saut, voir figure 3.
Cette situation se rencontre aussi en physique. Cest ainsi quen m
ecanique statistique, o`
u on
sint
eresse aux propri
et
es de syst`
emes de grand nombre de constituants, il faut faire attention a
` lordre
des limites. Consid
erons par exemple la question de laimantation spontan
ee dun ferromagn
etique. Un
syst`
eme de N moments magn
etiques mi est soumis a
` un champ magn
etique h, qui tend a
` aligner ces
1
moments et conduit a
` lapparition dune aimantation moyenne M(h, N) = N
mi . Laimantation spontan
ee est la limite de cette aimantation quand h 0. On d
emontre qu`
a N fini, limh0 M = 0, tandis
que certains syst`
emes sont tels que limN M(h, N) existe et demeure finie quand h 0.
22 Septembre 2008
J.-B. Z.
19
En fait, bien s
ur, un nombre datomes, de particules, etc, nest jamais strictement infini, mais seulement
colossalement grand, de lordre du nombre dAvogadro N 6 1023 . Dans lexemple pr
ec
edent, il faut
donc comprendre que N est si grand que les quantit
es physiques envisag
ees ne diff`erent de celles pour N
infini que dans des intervalles des variables (ici de champ) extr
emement faibles. La fonction de la figure 3
1
en donne un exemple : lintervalle o`
u la fonction diff`
ere de la fonction saut est de lordre |x| N
.
Beaucoup de soin doit donc
etre exerc
e dans l
etude de limites simultan
ees de plusieurs variables.
2. Suites
2.1. Definition
On consid`ere une suite de nombres reels (un ), n = 1, 2, , soit definie par la donnee
- recurrence `
a deux termes un = un1 + un2 , u1 = 1, u2 = 1 : cest la suite de
Fibonacci
(un ) = (1, 1, 2, 3, 5, 8, 13, )
(2.1)
22 Septembre 2008
20
M
ethodes math
ematiques pour physiciens. LP206
N,
n > N,
|un u| < ,
(2.2)
cest-`a-dire tous les un sont arbitrairement pr`es de u, d`es que n est suffisamment grand.
(Noter la ressemblance avec la condition (1.4)).
Exemple : la suite un = 1/n2 tend vers zero. Verifier que (2.2) est bien satisfait.
Une suite peut ne pas converger, soit quelle a un comportement oscillant, telle un =
sin(n 3 ), soit quelle diverge (tende vers linfini), exemple un = n, soit quelle combine
ces deux comportements, comme tan(n 4 + n1 ) (discuter ce dernier cas).
Si les suites (un ) et (vn ) ont des limites, respectivement u et v, alors
R
un u
un + vn u + v
un vn uv
1
1
si u = 0
un
u
v
vn
un
u
Si une suite un converge et quon a trouve N tel que la condition (2.2) soit satisfaite,
linegalite triangulaire (cf Chapitre 0, 2) nous dit que |un un | |un u| +|un u| < 2
d`es que n, n > N . Autrement dit, la difference entre deux termes quelconques de la suite
peut etre rendue arbitrairement petite `a condition daller assez loin. Reciproquement,
si
N
n, n > N
|un un | < 2 ,
(2.3)
(ce quon appelle une suite de Cauchy), alors on montre que la suite un est convergente.
Voir 2.3 pour plus de details. On a donc avec la condition de Cauchy (2.3) une condition
necessaire et suffisante de convergence.
En particulier, si un converge, |un un+1 | peut etre rendu aussi petit quon veut.
J.-B. Z.
21
Exemple : un = 21 n . On a un1 < un < 2. La suite converge vers une limite (qui
est 2).
Inversement si une suite monotone croissante nest pas bornee (cest-`a-dire si ses
elements sont arbitrairement grands), elle diverge (tend vers +).
Encadrement, theor`eme des gendarmes. Si wn un vn et que les deux suites (vn )
Exemples : limites de un =
sin( 2n)
,
n2
un = 1/(n2 + sin n 4 ) ?
Si une suite un est asymptotiquement egale `a une autre suite vn , cest-`a-dire que
un vn
vn
quand n (on suppose tous les vn = 0), et si on sait que la suite vn converge vers
vers 0. Noter que lexemple precedent un = 21 n rel`eve aussi de ce cas, pour la suite
vn = 2 constante.
- suite definie recursivement, un = f (un1 , ) : si la suite admet une limite u, cette
limite doit satisfaire lequation u = f (u), donc u est `a chercher parmi les racines de
1+ 5
,
2
x =
1 5
,
2
x , le fameux nombre dor, etait connu des Grecs pour ses proprietes remarquables.
On reviendra au chapitre 5 sur ces suites definies par recurrence, letude graphique de
leur eventuelle convergence etc.
22 Septembre 2008
22
M
ethodes math
ematiques pour physiciens. LP206
n sin x
1+nx .
Supposons que pour toute valeur donnee x [a, b], la suite de nombres fn (x) converge
vers un nombre f (x). Cet ensemble de nombres definit la fonction limite f , et on dit quon
a convergence simple de fn vers f . Donc, pour repeter (2.2),
convergence simple x [a, b] N (x) tel que
(2.4)
o`
u on a bien souligne que lentier N depend a priori de x.
Cette condition de convergence est parfois trop faible. Par exemple, il nest pas vrai
en general que si les fonctions continues fn (x) convergent simplement, leur limite f (x) est
continue. Exemple : soit la suite de fonctions fn (x) = xn definies sur lintervalle [0, 1].
Pour tout x < 1, xn 0, tandis que pour x = 1, la valeur limite est 1. La fonction limite
f (x) est donc la fonction discontinue qui vaut 0 sur [0, 1[ et 1 en 1 (cest la fonction E(x)
definie en (1.2), restreinte `
a lintervalle [0, 1]).
En fait, la dependance de N en x dans (2.4) est souvent genante et on a besoin dune
condition de convergence plus forte (cest-`a-dire plus contraignante), o`
u on impose `a N
detre independant de x
convergence uniforme
N tel que
(2.5)
auquel cas on dit que f est la limite uniforme des fn . (Bien noter et comprendre lordre
distinct des quantificateurs et dans les deux conditions (2.4) et (2.5).)
22 Septembre 2008
J.-B. Z.
23
x [0, a]
|xn 0| = xn an aN ,
par des in
egalit
es triviales. Pour assurer que |xn 0| < , il suffit de choisir N tel que aN < ou encore
ln . Ce choix de N assure bien la convergence uniforme des f vers 0 dans
de facon
equivalente, N >
n
ln a
lintervalle [0, a]. Mais noter que ce N augmente sans limite quand a sapproche de 1. En cons
equence, la
convergence uniforme ne peut
etre maintenue sur tout lintervalle [0, 1[, m
eme ouvert a
` droite.
(n 1)x si x [0, n1 ]
. Pour x = 0, fn (0) = 0
1x
si x [ n1 , 1]
donc lim fn (0) = 0. Pour tout x = 0, il existe un n assez grand `a partir duquel tous les
3. Par contre les fonctions fn (x) = n sin nx convergent uniformement vers f (x) = x sur
x
n
x
6n2
<
1
6n2
() := sin +
0 utilis
ee dans cet argument par
etude des fonctions d
erivees successives ()
n
xp
p=1 p! ,
x
et gn (x) := (1 +
x n
n) ,
n > N
.
3
22 Septembre 2008
24
M
ethodes math
ematiques pour physiciens. LP206
et lin
egalit
e triangulaire dit alors que
|f (x) f (c)| |f (x) fn (x)| + |fn (x) fn (c)| + |fn (c) f (c)| <
+ + =,
3
3
3
CQFD.
continues et d
erivables pour tout x [0, 1]. La suite converge uniform
ement vers 0. On calcule fn (x) =
2n+1
2n+1
1
1
n+1
Convergences en moyenne.
La condition (2.5) peut aussi se r
ecrire
convergence uniforme
N tel que
n > N
(2.5)
x[a,b]
Cette condition de convergence uniforme (2.5) peut sexprimer en termes dune distance entre fonctions
d(f, g) = supx[a,b] |f (x) g(x)| en
ecrivant
N tel que
n > N
d(fn , f ) < .
|f (x)g(x)|2 dx,
|f (x)g(x)| dx; si elles sont de carr
e int
egrable (voir paragraphe suivant), d2 (f, g) =
a
etc. Ceci d
efinit les notions de convergence en moyenne, ou en moyenne quadratique, etc.
a
3. Int
egrales
On rappelle quon est conduit `
a la notion dintegrale dune fonction continue par deux
chemins. Dune part, la recherche de la primitive dune fonction f , operation inverse de la
derivation : F (x) =
telle que F (x) = f (x). Dautre part, lintegrale definie de f (x) sur le segment [a, b] de
la droite reelle,
b
a
f (x) dx, est laire algebrique dun domaine compris entre laxe des x
(3.1)
J.-B. Z.
25
b
a
f (x) +
b
a
on peut integrer une somme finie de fonctions terme `a terme; si f (x) g(x) sur lintervalle
b
a
b
a
f (x) dx
f (x) dx.
b
a
f (x) dx =
c
a
f (x) dx +
f (x) dx
b
a
|f (x)| dx .
(3.2)
Formule de la moyenne. Si f et g sont des fonctions continues sur [a, b] et si g y garde un signe
constant, il existe c [a, b] tel que
b
f (x)g(x) dx = f (c)
a
g(x) dx
(3.3)
b
a
f (x) dx = f (c)(b a) ,
(3.4)
f (x) dx est
egale a
` la valeur prise par la fonction f en (au moins) un
In
egalit
e de Schwarz. Soient f et g deux fonctions int
egrables sur [a, b]. Pour tout r
eel on peut
ecrire lin
egalit
e triviale
b
a
(g(x))2 + 2
2
a
f (x)g(x) dx +
a
(f (x))2 dx 0 .
Le trin
ome du second degr
e en est 0 pour tout ssi son discriminant est n
egatif ou nul, soit
b
b
a
f (x)g(x) dx
(f (x))2 dx
(g(x))2 dx
(3.5)
une in
egalit
e parfois tr`
egalit
e est r
eminiscente de lin
egalit
e sur le produit scalaire de
es utile. Cette in
deux vecteurs |u.v| u2 v 2 , et il y a de bonnes raisons a
` cela. . .
changement de variable
J.-B. Z.
22 Septembre 2008
26
M
ethodes math
ematiques pour physiciens. LP206
passage en coordonn
ees polaires
Une int
egrale dune fonction de deux variables peut souvent se calculer avec avantage par changement
des coordonn
ees rectangulaires en coordonn
ees polaires
x = cos ,
f (x, y) dx dy =
D
y = sin
f ( cos , sin ) d d ,
D
lint
egrale
etant entendue sur un domaine D donn
e. Par exemple, si la fonction f ( cos , sin ) ne d
epend
pas de et si le domaine D est invariant par rotation, tel une couronne entre deux rayons r1 et r2 , on a
r2
x2 + y 2 ) dx dy = 2
f(
2 x2 +y 2 r 2
r1
2
f () d
r1
Exemple
r1
x2 +y 2 r2
e(x
r2
+y )
dx dy = 2
r1
e d = (er1 er2 )
2
2
ex y dx dy =
ex dx
ey dy =
ex dx
ex dx = .
Par changement de variable, on a encore
x2
2 2
dx =
2 ,
2
2
une int
egrale fort importante en th
eorie des probabilit
es : 1/( 2)ex /2 est la densit
e de probabilit
e
dun processus gaussien centr
e en 0, de variance . Lint
egrale (probabilit
e totale) est bien
egale a
` 1.
b
a
1
xb ,
du
1
). Que peut-on dire de son integrale de a `a b ? On parle alors dintegrale
deuxi`eme, sin xb
J.-B. Z.
c
a
27
f (x) dx. On dira que f (x) est integrable sur [a, b], ou que
d
ef
f (x) dx = lim
cb
f (x) dx .
c
a
b
a
f (x) dx converge
Largument repose a
` nouveau sur le crit`
ere de Cauchy (2.3).
On peut demander aussi la convergence absolue, qui est une condition plus forte
b
a
|f (x)| dx converge
1
0
sin x1
dx
x
(b x ) dx =
f (x) dx converge ,
1
1 (b
x)+1
ln |b x|
si = 1
si = 1
(3.6)
Comme dans les cas precedemment etudies de limites, on peut trouver des conditions
2. si f (x)
3. si f (x)
A
(bx)
A
(bx)
A
(bx)
pour < 1,
b
a
f (x) dx converge;
divergente si 1.
Remarque importante. Bien noter quil est donc possible que f (x) quand
b
a
1
x(x2 +1)
1
x
x
x2 +1 .
Seule lintegration du premier terme pose probl`eme, dans le cas present, elle est impossible
J.-B. Z.
22 Septembre 2008
28
M
ethodes math
ematiques pour physiciens. LP206
1
sin(xb)
1
x
dx = ln | tan bx
| en utilisant les formules de trigonometrie sin u =
2
b
1
0 sin(xb)
b P (x)
a Q(x)
(x) ln x dx = x(ln x 1) ,
(3.7)
on verifie que
b
ln(b x) dx converge
et donc par comparaison, cest aussi le cas de lintegrale de la fonction f (x) consideree.
Une singularite logarithmique a
` distance finie est une singularite integrable.
Autres exemples : montrer que
b
1
ln(bx)
b
a
f (x) dx. Il
en est de meme pour la borne inferieure de lintegrale, quon peut faire tendre vers ,
definissant eventuellement
f (x) dx ou
b
a
f (x) dx o`
u a et b tendent ind
ependamment vers
c
a
J.-B. Z.
29
B
x
3. Si f (x)
A
x
pour > 1,
b dx
x
existe.
A
x
divergente si 1.
Exemple Lintegrale
P (x)
0 Q(x)
dx, o`
u P et Q sont des polynomes de degres respectifs p
f (x)dx !!
On a en effet avec les fonctions 1/x , 1, des exemples de fonctions qui tendent
vers zero `
a linfini, mais pas assez vite pour assurer la convergence de lintegrale.
Les integrations par parties et changements de variables peuvent etre pratiques dans
une integrale impropre et peuvent permettre de conclure `a sa convergence ou divergence.
dx
selon la valeur de .
Etudier
ainsi la convergence de
x ln x
2
sin(x ) dx, quon rencontre en Optique, dans la th
eorie de la diffraction de la lumi`
ere, et dont
Fresnel
1
on d
emontre quelle converge, bien que | sin(x2 )| ne tende pas vers z
ero. Pour montrer la convergence, on
peut effectuer un changement de variable u = x2 , suivi dune int
egration par parties, qui am`
ene a
` une
int
egrale absolument convergente :
sin(x2 ) dx =
Par exemple
1
2
du
1
sin u =
u
2
cos u
1
u 1
4
cos u
du
.
u3/2
(3.8)
integrale dej`
a rencontree au 3.3, est convergente mais pas absolument convergente.
J.-B. Z.
22 Septembre 2008
30
M
ethodes math
ematiques pour physiciens. LP206
P.P.
f (x) dx = lim
f (x) dx
(3.9)
dx
2
= [ln |x|]
1 + [ln |x|] = ln 2 .
x
P.P.
1
(3.10)
P.P.
f (x) dx
f (x) dx = lim
(3.11)
1
dx
na pas de sens, tandis que sa P.P. vaut limA ln A
= 0.
A+1
x1
(tandis que la d
efinition initiale de
B ). Par exemple,
3.6. Echange
de limites, d
erivation sous le signe somme
b
Consid
erons les int
egrales dune suite de fonctions In =
b
veut comparer a
`
lim ?
Th
eor`
eme. Si une suite fn (x) de fonctions continues converge uniform
ement vers f (x) sur [a, b], alors
f (x) est continue donc int
egrable sur [a, b] et limn
b
a
fn (x) dx =
b
a
f (x) dx.
Autrement dit, la convergence uniforme de la suite est une condition suffisante de convergence des
int
egrales vers la bonne limite.
M
eme question avec des fonctions F (x, ) d
ependant dun param`
etre . Quand 0 , a-t-on
?
lim
f (x, ) dx =
lim f (x, ) dx ? L`
a encore, la convergence uniforme est une condition suffisante.
du
A/n u2 +1
B/n
[Arc tan u]A/n
n
x2 +n2
int
egr
ees sur (, ). On calcule
n dx
A x2 +n2
quand A, B a
` n fix
e, tandis que lint
egrale de la limite pour
x2
2 2
. Leur int
egrale de a
` vaut 1.
f (x, ) dx =
a
f (x, ) dx .
(3.12)
On d
emontre que si f (x, ) et
f (x, ) sont continues pour x [a, b] et I un intervalle r
eel, alors la
fonction F () est d
erivable pour tout I et on peut d
eriver sous le signe dint
egration. Si lint
egrale en
t est impropre, sur lintervalle [a, b[, b
eventuellement infini, il faut imposer les conditions suppl
ementaires
22 Septembre 2008
J.-B. Z.
b
f (x, ) dx
a
31
soit uniform
ement convergente. Exemples :
4. S
eries
Etant
donnee une suite (un ) de nombres reels, on definit la somme partielle
s n = u1 + u2 + + un ,
(4.1)
ce qui definit une nouvelle suite (sn ). La question de la convergence de la suite (sn ), (on
dit aussi la convergence de la serie
s = limn sn =
un sa somme.
1 an
.
1a
(4.2)
Il est clair que sn a une limite a/(1 a) si |a| < 1, (puisqualors, an 0), quelle diverge
si |a| > 1 (puisque |a|n ), et aussi, en examinant les deux cas a = 1, quelle diverge
encore si |a| = 1.
4.1. Generalites
Operations algebriques et convergence
Si
un et
vn sont convergentes,
et
vn est divergente,
un est convergente
Ordre des termes, etc : en general, si on change lordre des termes ou quon effectue
des resommations partielles, on ne peut plus rien affirmer. Par exemple, la serie de terme
general un = (1)n est divergente, puisque les sommes partielles oscillent entre s2n1 = 1
et s2n = 0, tandis que la serie de terme general vn = u2n1 + u2n = 0 est evidemment
uk | =
un est divergente.
n
m
un diverge.
22 Septembre 2008
32
M
ethodes math
ematiques pour physiciens. LP206
un !!
Nous allons en effet rencontrer de nombreux exemples de series dont le terme general un
tend vers zero quand n , mais pas assez vite pour assurer la convergence de la serie
un . Exemple : la serie harmonique
1
n,
|un | convergente
un
|un | converge.
convergente
(4.3)
mais la r
eciproque est fausse.
(1)n
n
Exemple :
serie harmonique
1/n est divergente, comme on vient de lannoncer. Une telle serie convergente sans etre
absolument convergente est dite semi-convergente.
On peut a
` nouveau
etendre les consid
erations pr
ec
edentes a
` des s
eries de nombres complexes un C,
un = vn + iwn . Cela revient a
` consid
erer simultan
ement les s
eries
vn et
wn .
4.2. Series a
` termes positifs
On suppose dans ce paragraphe que un 0 (eventuellement `a partir dun ordre fini, ce qui
ne modifie rien `
a la convergence).
Convergence
La suite sn =
n
1
Th
eor`
eme. sn converge ssi sn est majore. Inversement sn diverge ssi sn .
Puisque nous avons `
a notre disposition des crit`eres de convergence dintegrales, il peut etre
utile de comparer series et integrales.
Th
eor`
eme. Si un = f (n) o`
u f est positive, decroissante et continue `a partir dune certaine
valeur, alors
f (n) et
deux divergentes.
Preuve Soit p 1 la plus petite valeur enti`ere `a partir de laquelle la fonction decrot.
On peut encadrer f (p + n) < f (x) < f (p + n 1) pour x [p + n 1, p + n], donc
f (p+n) <
p+n
p+n1
p+n
p
J.-B. Z.
33
f(x)
f(p+n1)
1111
0000
0000
1111
0000
1111
0000
1111
0000
1111
0000
1111
0000
1111
p+n
p+n1
f(p+n)
Fig. 4: Interpr
etation g
eom
etrique du th
eor`
eme de comparaison entre s
erie et int
egrale :
Laire sous la courbe entre les abscisses p + n 1 et p + n est encadr
ee par celles des deux
rectangles de largeur 1 et de hauteurs respectives f (p + n 1) et f (p + n). La s
erie et
lint
egrale sont de m
eme nature, convergente ou divergente.
Exemples
* les series de Riemann un =
1
n
1
n ln n .
Pourquoi ?
Comparaison de series a
` termes positifs
(a) Si `
a partir dun certain rang, 0 un vn ,
vn convergente
un divergente
(b) Si 0 < a
(c) Si
un
vn
nature
(d) Si
un
vn
un converge;
vn diverge;
b < ,
un et
c, cest-`
a-dire un cvn avec c fini et = 0 :
un+1
un
k < 1,
un converge; si
un+1
un
un et
vn sont de meme
1, elle diverge.
Les preuves setablissent par des majorations/minorations. Par exemple, la r`egle (d) :
dans le premier cas, un+p < k n up , majoration par une serie geometrique convergente; dans
le deuxi`eme cas, minoration un+p un , le terme generique de la serie ne tend pas vers
zero, divergence.
Exemples
1
n
: Si 0 < a n un b < , ou si
Si lim n un = 0, si > 1,
un converge, mais si 1 on ne peut pas conclure. De m
eme si
= , si 1,
un diverge, mais si > 1 on ne peut pas conclure.
lim n un
J.-B. Z.
22 Septembre 2008
34
M
ethodes math
ematiques pour physiciens. LP206
si (un ) n 1, la serie
si (un )
1
n
un est divergente;
k < 1, la serie
Si lim (un )
1
n
un est convergente;
= , > 1 :
un divergente; < 1 :
un convergente.
1
n
n+a
n2
, unn = 1 +
a n
n
a > 0 convergence, si a 0 divergence (puisque un ne tend pas vers zero pour a = 0).
an
avec a un
n!
n
|a|n
1
mm |a|
m! (m+1)n < m! mn
2. un =
|a| mm 1/n
m ( m! )
Il y a donc convergence quel que soit a. Montrer quen outre = lim (un ) n = 0. (Cette
serie a pour somme le nombre ea , cf le developpement de la fonction ex ).
Il existe dautres r`
egles, par exemple celle de dAlembert, qui compare aussi un a
` la s
erie vn = an
un+1
un+1
un+1
1, divergence, si u
k < 1, convergence. . . R
ep
eter
mais en calculant les rapports u . Si u
n
n
n
la discussion de la r`
egle de Cauchy dans ce cas (lim un+1 /un = , si > 1 ou < 1 ou = 1 , ibid. Si
= 1 par valeurs osc, il est plus difficile de conclure). Cest un crit`
ere moins puissant que celui de Cauchy
en ce sens que lim
un+1
un
N +p
N +p ( + ) N +p . Quand
uN ( )p < uN +p < ( + )p uN soit encore uN N +p ( ) N +p < uN
+p < uN
1
vn obtenue `a partir de
|sp sn |
k>n
p
1
vk
|uk | o`
u dans la somme du membre
J.-B. Z.
35
de droite, tous les k sont superieurs `a n. Cette somme tend vers zero quand n , par
un et
wn =
Une serie est alternee si son terme general a un signe qui change selon que n est pair ou
impair : un = (1)n |un | et vn = (1)n+1 |vn | sont des series alternees.
Th
eor`
eme (lemme dAbel). Si les |un | tendent vers 0 en decroissant, la serie alternee
(1)n |un | est convergente. En outre, si s est sa somme, |s sn | |un+1 |.
En effet les sommes partielles s2n et s2n+1 sont adjacentes : s2n1 s2n+1 < s2n
s2n2 , et comme u2n = s2n s2n1 0, elles ont la meme limite s et |ssn | |sn+1 sn | =
|un+1 |, cette derni`ere inegalite exprimant que lerreur faite en tronquant la somme `a lordre
n est inferieure au premier terme neglige (un+1 ).
Exemples. un =
(1)n
et vn =
(1)n
n
gentes !).
Le th
eor`
eme pr
ec
edent (lemme dAbel) admet une extension a
` des s
eries a
` signes quelconques.
Th
eor`
eme dAbel : bn 0 d
ecroissante vers 0, an de signe qcq, telle que |a1 + + an | < A pour tout n.
n
n
La s
erie un = an bn est convergente. Preuve : Soit An = a0 + + an ,
a b = a0 b0 +
b (Ak
0 k k
1 k
n1
Exemple : soit un =
(1)n+1
,
n
convergente comme on
vient de le voir mais pas absolument convergente. Rearrangeons les termes selon lordre
u4p3 , u4p1 , u2p , . Mais la somme u4p3 + u4p1 + u2p
2
4p
12p =
1
p
1
2
vn !! Exemple : un =
un nest pas n
ecessairement
(1)n
(1)n
, vn = n , un vn ; vn
n+cos n
de
est
22 Septembre 2008
36
M
ethodes math
ematiques pour physiciens. LP206
n
k=1
1
2n+1
1
2n1
1
n
qui diverge,
un diverge.
Notons pour finir que prouver la convergence dune serie est une chose, determiner quelle
est sa somme en est une autre. Il sagit souvent dune tache ardue. On verra au chapitre 3
et en TD des exemples de series convergeant vers des valeurs comme 2 /6, 2 /4 etc. Voil`a
un autre exemple de convergence non triviale : la serie
k=0
1
16
4
2
1
1
8k + 1 8k + 4 8k + 5 8k + 6
(4.4)
converge (demonstration facile !) tr`es vite (comme 1/(16k k 2 )) vers . . . . Verifiez-le avec
votre calculette ! La demonstration est donnee `a la fin du Chap. 2.
4.5. Series de fonctions, series enti`eres et leurs proprietes.
Les considerations concernant les suites de fonctions sappliquent aux series de fonctions
fn (x). On definit pour elles les notions de convergence simple, de convergence absolue
et de convergence uniforme de la meme facon quon la fait pour les suites de fonctions, en
les appliquant aux sommes partielles sn (x) =
Supposons quune serie de fonctions
n
k=1
fk (x).
S(x). On montre alors que si les fn (x) sont continues, leur somme S(x) lest aussi. Si les
fn (x) sont integrables, leur somme lest aussi et on peut integrer terme `a terme
b
fn (x) dx =
fn (x) dx .
(4.5)
fn (x) =
d
fn (x) .
dx
(4.6)
J.-B. Z.
37
Th
eor`
eme. La s
erie
an xn converge absolument pour |x| < R = 1 et elle diverge pour |x| > R; pour
|x| = R, on ne peut rien dire a priori. Si = 0, la s
erie est convergente pour tout x. Si = , elle ne
converge que pour x = 0. Elle converge uniform
ement dans tout intervalle ferm
e |x| r < R.
la s
erie d
eriv
ee terme a
` terme,
nan xn1 , est convergente pour |x| < R et a pour somme S (x).
Exemple. En int
egrant terme a
` terme entre 0 et x la s
erie g
eom
etrique
(1)n xn qui converge
n=0
vers 1/(1 + x) pour x ] 1, 1[, on obtient
ln(1 + x) =
(1)n1
n=1
xn
n
(4.7)
(n)
(0)
. Pour x ] R, R[, la s
erie enti`
ere S(x) =
an =
n!
Taylor(-Maclaurin) de S(x).
S(x) = S(0) + xS (0) +
an xn sidentifie donc au d
eveloppement de
x2
xn (n)
S (0) + +
S (0) +
2
n!
(4.8)
x2
xn (n)
f (0) + +
f (0) +
2
n!
Le double probl`
eme est le suivant : (1) cette s
erie enti`
ere converge-t-elle ? (2) si oui, sa somme est-elle
f (x) ? En dautres termes, a
` quelles conditions la fonction f est-elle analytique ?
Nous ne poursuivrons pas plus loin la discussion de ce probl`
eme important, qui prend tout son sens
avec l
etude du comportement de la s
erie et des singularit
es de la fonction pour des valeurs complexes de
la variable x.
Insistons seulement sur le caract`
ere n
ecessaire de lexistence (et donc
e) de toutes les
de la continuit
d
eriv
ees de f en 0 (f est de classe C ). Par exemple, les fonctions x, ou |x|, ou x3 |x|, ne peuvent
J.-B. Z.
22 Septembre 2008
38
M
ethodes math
ematiques pour physiciens. LP206
pas
etre analytiques ! En
etudiant le reste de la formule de Taylor, on peut aussi trouver des conditions
suffisantes danalyticit
e.
Les fonctions
el
ementaires pr
ec
edemment rencontr
ees sont analytiques dans lint
erieur de leur disque
de convergence. Cest le cas de ex , sin x et cos x, de rayon de convergence R = ; de ln(1 x), R = 1
comme on a d
ej`
a vu; de Arc tan x, R = 1; etc.
Inversement, le d
eveloppement de Taylor de f peut avoir un rayon de convergence non nul mais ne
pas repr
esenter la fonction f . Consid
erons la fonction d
efinie par f (0) = 0, f (x) = e
1
e x2
xp
1
x2
1
x2
pour x = 0.
Comme e
tend vers z
ero plus vite que toute puissance de x, cest-`
a-dire lim
= 0 pour tout p,
la fonction f est continue et ind
efiniment d
erivable en 0 et toutes ses d
eriv
ees y sont nulles ! Il est clair
que son d
eveloppement de Taylor (
0.xn ) est convergent vers 0 pour toute valeur de x, mais que ce
d
eveloppement ne converge nulle part vers f (x) sauf en x = 0. Cela est d
u au comportement tr`
es singulier
de la fonction en 0. Pour le voir, effectuons une petite incursion dans le plan complexe : pour x = it, la
1
22 Septembre 2008
J.-B. Z.
Chapitre 2. Equations
diff
erentielles
1. G
en
eralit
es sur les
equations diff
erentielles
1.1. Definitions et exemples
On appelle equation differentielle dordre n une equation reliant une fonction inconnue
y(x) et les n premi`eres de ses derivees, avec eventuellement une dependance explicite dans
la variable x, donc de la forme generale
F (y(x), y (x), , y (n) ; x) = 0 .
(1.1)
Une solution de cette equation est une fonction y(x) telle que (1.1) soit satisfaite pour tout
x (dans un ensemble de definition donne). Le probl`eme consiste `a trouver la ou les solutions dune telle equation, eventuellement completee par des informations supplementaires,
comme on va voir.
Un cas particulier de la forme (1.1) est celui qui secrit
y (n) = f (y, y , , y (n1) ; x) ,
(1.2)
cest-`a-dire o`
u y (n) a ete explicitement exprimee en fonction de y et de ses n 1 premi`eres
derivees.
1 2
2y
y + Ay = B : chute dun corps pesant freine par une force de frottement fluide proportionnelle `
a la vitesse, (cf TD3 et Chapitre 4), decharge dun condensateur dans une
resistance, desintegration dun isotope (Chap. 6), etc ;
y + Ay = By 2 : equation devolution de populations (biologiques, chimiques, etc), cf
chapitres 5 et 6 ;
y + y 2 = x : equation de Riccati ;
y y 2 = C : equation decrivant par exemple la chute dun corps freine par une force
40
M
ethodes math
ematiques pour physiciens. LP206
Equations
dordre 2 :
y + Ay + ky = sin x : oscillateur harmonique amorti et excite, (Chap. 4)
y + k 2 y = 0 : cordes vibrantes, cf TD 5 et ci-dessous ;
y = xy : equation dAiry, qui intervient en optique, en mecanique quantique. . .
etc, etc.
Comme lindiquent les commentaires en regard des equations, on rencontre tr`es
frequemment de telles equations en physique et plusieurs des exemples ci-dessus interviennent effectivement dans des probl`emes simples que nous retrouverons plus loin dans le
cours ou les TD. . .
Ces exemples montrent aussi que la nature de la fonction inconnue et celle de la
variable peuvent changer dun probl`eme `a lautre : x peut representer la variable de temps,
cest le cas dans les equations dynamiques, (telle lequation du mouvement), o`
u lequation
regit la variation temporelle dune variable dynamique y, position, temperature, pression,
courant ou charge electrique, nombre de particules, etc. Mais x peut aussi representer
une variable spatiale. Cest par exemple le cas des ondes stationnaires dans une corde
vibrante : si y designe le deplacement transverse dune corde tendue entre deux points
dabscisses x = 0 et x = L, et vibrant dans le mode de longueur donde , y(x) obeit `a
lequation y +
2 2
Plutot quune equation differentielle sur une fonction inconnue, on peut aussi avoir `a traiter
des equations differentielles couplees, formant un syst`eme dequations differentielles. Cest
par exemple le cas pour
y1 = f1 (y1 , y2 , , yn ; x)
y2 = f2 (y1 , y2 , , yn ; x)
..
.
(1.3)
yn = fn (y1 , y2 , , yn ; x) ,
Il est bon dobserver que toute equation differentielle du n-i`eme ordre de la forme
(1.2) peut se mettre sous la forme dun syst`eme de n equations du premier ordre. Il suffit
de definir y1 := y, y2 := y , , yn := y (n1) . On verifie aisement (par recurrence par
J.-B. Z.
Chapitre 2. Equations
diff
erentielles
(a)
(b)
(c)
41
Q
dI
+
=0
dt
C
dQ
I+
=0
dt
(1.4)
et en
eliminant I entre ces deux
equations, on a pour Q une
equation du second ordre :
L
Q
d2 Q
+
=0
dt2
C
(1.5)
Quelle
equation obtient-on en
eliminant Q dans (1.5) ? Pouvait-on sattendre a
` ce r
esultat ? Quelle
equation d
ecrit la situation de la figure 1(b) o`
u la bobine a aussi une r
esistance interne, ou celle de la
figure 1(c), o`
u le circuit est coupl
ea
` une tension ext
erieure Ve ?
2. Conditions initiales. Th
eor`
eme de Cauchy. Conditions aux limites
2.1. Existence et unicite des solutions
Considerons un probl`eme de mecanique elementaire, celui du mouvement dun point
materiel soumis `
a la seule gravite. Sa coordonnee z(t) verticale le long dun axe oriente
vers le haut satisfait donc lequation
z = g ,
(2.1)
= g
J.-B. Z.
t
0
dt = z(t)
= gt + v0
6 Octobre 2008
42
M
ethodes math
ematiques pour physiciens. LP206
o`
u v0 := z(0)
est la vitesse `
a linstant t = 0. Puis une nouvelle quadrature fournit
z(t) z(0) =
t
0
1
dt(gt + v0 ) = z(t) = gt2 + v0 t + z0
2
(2.2)
o`
u z0 := z(0) est la position `
a linstant t = 0. On trouve donc que la solution est
compl`etement determinee, `
a la donnee de deux constantes z0 et v0 pr`es. Ou encore,
la donnee de ces deux conditions initiales (au temps t = 0) determine compl`etement et
uniquement la solution z(t). Bien s
ur, plutot que le temps t = 0, on aurait pu choisir des
conditions initiales `
a nimporte quel temps donne.
Ce principe que la solution dune equation differentielle existe et est unique si on
se donne des conditions initiales appropriees est en fait tr`es general. Pour une large classe
dequations du type (1.2), on peut montrer que la donnee de la valeur en un point x0
de y et de ses n 1 premi`eres derivees, y(x0 ) = a0 , y (x0 ) = a1 , , y (n1) (x0 ) = an1 ,
determine une et une seule solution, pourvu que la fonction f apparaissant au second
membre soit une fonction suffisamment reguli`ere de ses n arguments ; autrement dit que
f (y0 , y1 , y2 , , yn1 ; x) soit suffisamment reguli`ere en y0 , y1 , y2 , , yn1 , x dans un inter-
valle contenant le point (a0 , a1 , , an1 , x0 ). Cest le theor`eme de Cauchy, et les valeurs
des y(x0 ), y (x0 ), , y (n1) (x0 ) sont appelees conditions de Cauchy (ou conditions ini-
tiales). Nous ne preciserons pas ici les conditions exactes de ce theor`eme. Dans tous les
exemples rencontres dans ce cours, ces conditions seront supposees satisfaites, et moyennant la donnee des conditions initiales, la solution existera donc et sera unique.
Cette propri
et
e na rien d
evident et on peut construire des exemples d
equations dont la solution
nest pas unique, a
` conditions initiales fix
ees. Consid
erons ainsi l
equation
2
y = 3y 3 ,
avec la condition initiale y(0) = 0. On v
erifie imm
ediatement quelle admet deux solutions, y(x) = 0 et
2
Noter que ce theor`eme dexistence et dunicite ne nous donne pas dinformation sur
la solution, ni sur la methode pour la determiner ! De fait, la resolution effective dune
equation differentielle est en general un probl`eme difficile, qui nadmet que rarement une
solution explicite en termes de fonctions simples. Il faut bien souvent recourir `a des approximations numeriques ou analytiques (developpement en approximations successives).
Dans la suite, nous allons nous borner `a considerer des cas suffisamment simples pour etre
compl`etement solubles et en meme temps suffisamment interessants pour la physique.
6 Octobre 2008
J.-B. Z.
Chapitre 2. Equations
diff
erentielles
43
La resolution de cette derni`ere equation nous indique avec quelle vitesse initiale v0 le corps
y(l) = B sin kl = 0 .
6 Octobre 2008
44
M
ethodes math
ematiques pour physiciens. LP206
la corde peut vibrer (la longueur donde de ses oscillations) nest pas arbitraire, elle est
(partiellement) determinee par la geometrie (la longueur de la corde). Dans ce cas, la
donnee de deux conditions aux bords ne suffit pas `a determiner uniquement la solution
mais a plut
ot pour effet de restreindre les param`etres de lequation pour quelle admette
une solution satisfaisant aux conditions requises. Donc ici, le probl`eme nest bien determine
quavec la donnee dune condition supplementaire, par exemple, lamplitude maximale de
la corde, qui fixe le coefficient B.
Dans une autre classe de probl`emes physiques, les conditions aux limites sont remplacees par des conditions asymptotiques. Cest le cas de lequation
y = k 2 y
dont la solution la plus generale, comme on va le revoir plus bas, est
y(x) = Aekx + Bekx .
Supposons quon sinteresse au comportement `a grand x > 0 de y(x) et que telle ou telle
contrainte physique (ou tout simplement le bon sens !) impose `a y de rester borne (cest-`adire de ne pas tendre vers linfini) quand x crot. (Nous rencontrerons cette situation dans
letude de la propagation de la chaleur, cf TD 5.) Cette condition asymptotique implique
que A = 0 et la solution est donc de la forme y(x) = Bekx , ce quon peut encore recrire
y(x) = y0 ekx o`
u y0 est la valeur en x = 0. Dans ce cas, la condition asymptotique plus la
condition initiale ou au bord y(0) = y0 determine compl`etement et uniquement la solution.
3. Equations
diff
erentielles lin
eaires
3.1. Proprietes generales
Nous allons nous interesser tout specialement `a des equations differentielles du n-i`eme
ordre du type suivant
(3.1)
k=0
L(y(x)) :=
6 Octobre 2008
Ck (x)
k=0
dk
d xk
y(x) = (x)
(3.2)
J.-B. Z.
Chapitre 2. Equations
diff
erentielles
45
o`
u (x) est une fonction donnee, les Ck (x) sont des fonctions donnees de x, et on cherche
`a determiner la fonction inconnue y(x), sujette `a n conditions initiales, `a x = 0 par
exemple. La fonction represente la source (une action exterieure), qui excite le
syst`eme represente par y, et on cherche `a calculer la reponse y `a .
Le membre de gauche de lequation ci-dessus a la propriete fondamentale detre lineaire
en y : y ou ses derivees ny apparat qu`a la puissance 1. Cest ce que nous avons souligne
par la notation L pour loperateur differentiel apparaissant au membre de gauche. La
propriete de linearite exprime que pour toute paire de fonctions y1 (x), y2 (x) et pour tous
(3.3)
Cela a pour consequence que si les fonctions y1 (x) et y2 (x) sont solutions de (3.2)
respectivement pour deux sources 1 (x) et 2 (x), cest-`a-dire Ly1 = 1 , Ly2 = 2 , alors,
quelles que soient les constantes 1 et 2 , 1 y1 (x) + 2 y2 (x) est solution de lequation
pour la source 1 1 + 2 2 , autrement dit L(1 y1 (x) + 2 y2 (x)) = 1 1 (x) + 2 2 (x).
Nous utiliserons ce principe dans la resolution dequations par decomposition en modes de
Fourier, au chapitre 3.
Avant daller plus loin, il convient de dire que les syst`emes lineaires, cest-`a-dire regis
par des equations differentielles lineaires jouent un r
ole fondamental en physique et dans
toutes les sciences exactes. Nous leur consacrerons le chapitre 4 de ce cours.
3.2. Equations
lineaires homog`enes, equations lineaires inhomog`enes.
On appelle equation differentielle lineaire homog`ene une equation du type (3.2) dans laquelle (x) = 0
n
equation homog`
ene
L(y(x)) =
Ck (x)
k=0
dk
d xk
y(x) = 0 .
(3.4)
J.-B. Z.
6 Octobre 2008
46
M
ethodes math
ematiques pour physiciens. LP206
1 y1 (x) + 2 y2 (x) = 0
y1 (x) =
2
y2 (x)
1
(3.5)
et y1 et y2 sont proportionnelles. Inversement on dit que deux fonctions y1 (x) et y2 (x) sont
lineairement independantes si la condition 1 y1 (x) + 2 y2 (x) = 0 est impossible `a realiser
avec deux constantes 1 et 2 non nulles. Plus generalement, on dira que n fonctions
y1 (x), , yn (x) sont lineairement independantes si on ne peut pas trouver n constantes
n
i=1
i yi (x) = 0
i=1
1 = 2 = = n = 0 .
(3.6)
(Montrer que dans le cas contraire, on pourrait toujours exprimer lune de ces fonctions
comme combinaison lineaire des n 1 autres.) Par exemple, on demontre que les fonctions
cos i x et sin i x, pour tout ensemble de n nombres positifs i distincts, sont lineairement
independantes. Ou encore, les fonctions exp(ki x), pour tout ensemble de n nombres ki
reels ou complexes distincts, sont lineairement independantes.
Exercices : (1) en appliquant le crit`ere ci-dessus, demontrer que les fonctions ekx
et xekx sont lineairement independantes. Les fonctions eikx , cos kx et sin kx sont-elles
independantes ? (Ici on admet dans (3.6) des coefficients i complexes.) (2) Montrer que
deux fonctions derivables y1 et y2 sont lineairement independantes si et seulement si leur
wronskien W (y1 , y2 ) := y1 y2 y2 y1 nest pas identiquement nul.
(3) Plus g
en
eralement, on d
efinit le wronskien de n fonctions yi (x), i = 1, n suppos
ees (n 1) fois
d
erivables comme le d
eterminant (cf. cours dAlg`
ebre)
y1 (x)
y1 (x)
y1 (x)
W (x) = det
..
.
(n1)
y1
(x)
6 Octobre 2008
y2 (x)
y2 (x)
y2 (x)
(n1)
y2
(x)
yn (x)
(x)
yn
yn (x)
..
.
(n1)
yn
(x)
(3.7)
J.-B. Z.
Chapitre 2. Equations
diff
erentielles
47
y
(x)
=
0,
et
cette
relation
est
aussi v
erifi
ee par les d
eriv
ees successives des yi , donc p =
i
i
i=1
n
(p)
0, n 1,
eterminant sont donc lin
eairement d
ependantes et
y (x) = 0. Les n colonnes du d
i=1 i i
le d
eterminant W (x) est nul pour tout x. Inversement, il suffit que le wronskien W (x) soit non nul en
un point x0 pour quon puisse conclure que les fonctions yi sont lin
eairement ind
ependantes. L
etude du
wronskien offre donc un moyen pratique d
etudier lind
ependance lin
eaire de n fonctions.
Ces definitions etant acquises, on peut demontrer deux theor`emes fondamentaux sur
les equations differentielles lineaires.
Th
eor`
eme 1 (
equations homog`
enes). Si les fonctions Ck , (k = 0, , n), sont conti-
nues dans un meme intervalle I, avec Cn (x) ne sannulant pas dans cet intervalle, il existe
n solutions lineairement independantes de lequation differentielle homog`ene (3.4) dans I,
et la solution la plus generale est une combinaison `a coefficients constants arbitraires de ces
n fonctions. En outre, il existe une unique solution de (3.4) satisfaisant `a des conditions
initiales y(x0 ) = a0 , y (x0 ) = a1 , , y (n1) (x0 ) = an1 , avec x0 I.
Th
eor`
eme 2 (
equations inhomog`
enes). Avec les memes hypoth`eses sur les fonctions
Ck quau Theor`eme 1, et etant supposee en outre continue dans I, la solution generale
dans I de lequation inhomog`ene (3.2) est la somme dune solution particuli`ere de (3.2) et
de la solution generale de lequation homog`ene (3.4). Il existe une unique solution de (3.2)
satisfaisant `
a des conditions initiales y(x0 ) = a0 , , y (n1) (x0 ) = an1 , avec x0 I.
En dautres termes, ces theor`emes nous affirment lexistence de familles de solutions
dependant de n param`etres. Pour lequation homog`ene, cest la combinaison lineaire `a
coefficients constants
n
i=1
cette meme combinaison lineaire est la solution generale de lequation homog`ene mentionnee au Th. 2. Dans lun et lautre cas, les constantes arbitraires i sont determinees
de facon unique par la donnee des conditions initiales.
Lexistence de n solutions independantes de (3.4) selon le Theor`eme 1 nest pas aisee `a
demontrer et nous ladmettrons en general, mais nous la demontrerons pour des coefficients
constants au paragraphe suivant. Le Theor`eme 2, lui, se demontre aisement : supposons
quon connaisse une solution particuli`ere y(x) de (3.2). Alors pour toute autre solution
y(x) de (3.2), en soustrayant membre `a membre les deux equations differentielles satisfaites
par y(x) et par y(x), on trouve que la difference y(x) y(x) est une solution de lequation
homog`ene : en invoquant alors le Theor`eme 1, ceci montre bien que la solution generale
y de (3.2) est la somme dune solution particuli`ere y(x) et dune solution quelconque
(generale) de (3.4). La reciproque est evidente : on obtient bien une solution de (3.2)
J.-B. Z.
6 Octobre 2008
48
M
ethodes math
ematiques pour physiciens. LP206
en ajoutant `
a y(x) (= une solution particuli`ere) une solution quelconque de lequation
homog`ene. Noter que l`
a encore, ces theor`emes enoncent lexistence et lunicite de solutions
sans nous dire comment les construire. . .
3.3. Quelques cas solubles d
equations lin
eaires
Bornons a
` quelques indications sur quelques cas o`
u la solution de l
equation lin
eaire peut
etre obtenue
explicitement.
Pour toute
equation lin
eaire homog`
ene du premier ordre,
ecrite comme
y (x) + q(x)y(x) = 0
(3.8)
la solution g
en
erale sobtient facilement par une quadrature, cest-`
a-dire a
` laide dun calcul de primitive
de q(x) :
x
y(x) = A exp
q(x )dx
(3.9)
La d
efinition a
` une constante additive pr`
es de la primitive de q(x) introduit-elle un nouvel arbitraire ?
Dans certains cas, une
equation lin
eaire a
` coefficients non constants peut se ramener a
` une
equation a
`
coefficients constants, quon sait r
esoudre assez ais
ement, voir le paragraphe suivant. Cest par exemple le
cas des
equations dites dEuler,
Ck xk y (k) (x) = 0,
etudi
ee pour x > 0, avec les Ck constants. Montrer
que le changement de variable x t = ln x permet de se ramener a
` une
equation diff
erentielle en t, lin
eaire
et a
` coefficients constants.
3.4. Equations
lineaires a
` coefficients constants
Resolution de lequation homog`ene
Ck y (k) (x) = 0 .
(3.10)
k=0
?
Ck k
ex = 0 ,
k=0
Ck k = 0 .
(3.11)
k=0
n
k=0
Ck z k
de degre n admet n racines, reelles ou complexes, qui sont les n solutions de lequation
P (z) = 0. Si nous supposons dabord que ces n racines i , i = 1, , n, sont distinctes, nous
6 Octobre 2008
J.-B. Z.
Chapitre 2. Equations
diff
erentielles
49
avons trouve n solutions exp(i x), et ces n fonctions sont bien lineairement independantes,
selon une remarque faite plus haut. Donc dans ce cas, nous savons construire explicitement
un syst`eme (on dit une base) de n solutions independantes, dont toute autre solution est
une combinaison lineaire. Dans le cas o`
u une racine est multiple, par exemple 1 racine
double, on verifie aisement que exp(1 x) et x exp(1 x) sont deux solutions independantes.
Indication : se rappeler que si 1 est racine double dun polyn
ome P (), alors P () = (1 )2 Q(),
et donc P (1 ) = 0.
Equation
du second ordre a
` coefficients constants
Examinons plus en detail le cas de lequation du second ordre, que nous retrouverons au
Chapitre 4 dans differents contextes physiques. Nous la recrivons sous la forme
ay (x) + by (x) + cy(x) = 0 ,
(3.12)
(3.13)
b
=
2a
et les deux fonctions e x forment une base de solutions, ce qui veut dire que la
solution generale de (3.12) est
y(x) = A+ e+ x + A e x ,
(3.14)
b i
=
.
2a
Comme base de solutions, on peut choisir soit les deux exponentielles oscillantes e x ,
soit encore
cos
J.-B. Z.
x
2a
bx
2a
et
sin
x
2a
bx
e 2a .
6 Octobre 2008
50
M
ethodes math
ematiques pour physiciens. LP206
La solution generale de lequation (3.12) peut donc secrire sous differentes formes
equivalentes
y(x) = B+ e+ x + B e x
+ et complexes conjugues
bx
x + A2 sin
x e 2a
ou encore = A1 cos
2a
2a
bx
ou encore = A cos
x + e 2a
2a
(3.15)
B+ = B
. Les constantes A1 et A2 , ou A et sont, elles, reelles.
b
Si = 0, la racine 0 = 2a
est double et on verifie immediatement que
e0 x
et xe0 x
sont deux solutions, donc que la solution generale de lequation (3.12) secrit
y(x) = (Ax + B)e0 x
(3.16)
reelles, A , ou B+ = B
, ou A1 et A2 , ou A et , ou A et B. Ces deux constantes sont
determinees de facon unique par deux conditions initiales, par exemple la donnee de y(x0 )
et y (x0 ).
Equation
lineaire inhomog`ene a
` coefficients constants
(3.17)
J.-B. Z.
Chapitre 2. Equations
diff
erentielles
51
(3.17) de la forme y = A(x) exp(x), avec une fonction A(x) `a determiner. En reportant
dans (3.17), on trouve
(C1 (A (x) + A(x)) + C0 A(x)) ex = (x)
qui se simplifie, en vertu de la condition satisfaite par , en
C1 A (x) = (x)ex
et le probl`eme de trouver une solution particuli`ere est donc reduit `a une quadrature,
trouver une primitive de la fonction (x)ex :
A(x) = C11
(x )ex dx .
interessant.
(3.18)
y2
(3.19)
Entre ces deux equations, on peut cette fois eliminer y2 , ce qui conduit `a
y1 = (a + d)y1 + (bc ad)y1 .
J.-B. Z.
(3.20)
6 Octobre 2008
52
M
ethodes math
ematiques pour physiciens. LP206
Cette derni`ere equation est une equation differentielle lineaire du second ordre `a coefficients
constants, qui tombe donc sous le coup de lanalyse menee plus haut : la solution generale
en y1 (x) (et de meme en y2 (x)) est une combinaison lineaire de fonctions exponentielles
e1 x et e2 x , o`
u 1 et 2 sont solutions de lequation
2 (a + d) + (ad bc) = 0 .
(3.21)
(3.22)
(3.23)
pour un certain nombre . Alors, en reportant (3.23) dans (3.22), on voit que lequation
(3.22) est une equation differentielle lineaire du premier ordre particuli`erement simple pour
la fonction y := y1 + y2
y = y ,
(3.24)
(3.25)
qui nadmet de solution non nulle en que si satisfait lequation du second degre
(d )(a ) bc = 0
(3.26)
qui admet elle-meme deux solutions, reelles ou complexes, distinctes ou confondues. Supposons les distinctes, il existe donc deux valeurs de , donc aussi deux paires de (, ) (`a
un facteur global pr`es) remplissant les conditions ci-dessus, cest-`a-dire conduisant `a une
equation du type (3.24) pour la combinaison lineaire correspondante. Chacune de ces deux
6 Octobre 2008
J.-B. Z.
Chapitre 2. Equations
diff
erentielles
53
combinaisons lineaires est appelee un mode propre du syst`eme initial (3.18). Par les combinaisons algebriques que nous avons effectuees, nous avons donc reduit le syst`eme initial,
equivalent `
a une equation du second ordre selon la discussion du point 1) ci-dessus, `a la
solution de deux equations du premier ordre decouplees. On note que les deux approches
ont en commun de faire jouer un role central `a lequation caracteristique (3.21)-(3.26).
3) On peut se demander si ceci se g
en
eralise a
` des syst`
emes impliquant plus de fonctions ou des
a
c
b
d
Y =
y1
y2
d
Y = AY .
dx
(3.28)
,
Supposons maintenant que la matrice A puisse se diagonaliser par un changement de base A = W 1 AW
1 1
0
1
=
W =
une matrice 2 2 ind
ependante de x, A
une matrice diagonale, o`
u 1 et
2 2
0 2
y1
1 y1 + 1 y2
2 sont les valeurs propres de A. Red
efinissant le vecteur colonne Y = W Y =
=
,
y2
2 y1 + 2 y2
on a en multipliant les deux membres de l
equation matricielle (3.28) par W
d
Y
Y =A
dx
y1
y2
1
0
0
2
y1
y2
(3.29)
y2 = 2 y2 .
(3.30)
cest-`
a-dire deux
equations d
ecoupl
ees
y1 = 1 y1
et
La d
emarche reproduit celle suivie au point 2). Les valeurs propres 1 et 2 sont les racines de l
equation
(3.26) ; la diagonalisation de la matrice, cest-`
a-dire lexistence dune matrice W , est assur
ee par lhypoth`
ese
que ces deux racines sont distinctes ; et les combinaisons y1 et y2 sont les deux modes propres d
efinis
en 2).
Lavantage de cette m
ethode matricielle est sa puissance et sa g
en
eralit
e. Elle s
etend sans difficult
e
a
` des syst`
emes d
equations diff
erentielles de dimension et/ou dordre plus
elev
es.
4. Autres classes d
equations diff
erentielles simples. Autres m
ethodes
4.1. Integrales premi`eres
Il existe des situations o`
u on peut reduire lordre de lequation differentielle en effectuant
explicitement une integration. Cest ce qui se produit par exemple dans letude du pendule.
J.-B. Z.
6 Octobre 2008
54
M
ethodes math
ematiques pour physiciens. LP206
O
M
ma
designe un vecteur unite dirige selon laxe vertical vers le haut) et de la tension du fil T , et
selon lequation fondamentale de la dynamique, ma =
F = T mg z. On se debarrasse
(4.1)
2 et dans
Multiplions cette equation par et reconnaissons dans la derivee de 12 ()
1
m 2 gm cos
2
=0
1
m2 = mg(cos cos m ) ,
2
(4.2)
(4.3)
o`
u m est une constante dintegration. Pour = m , le membre de droite sannule, donc
celui de gauche aussi : la vitesse angulaire sannule quand = m et linterpretation
de |m | est donc que cest lamplitude maximale doscillation du pendule.
Recrivons lequation precedente (multipliee par ) sous la forme
1 2 2
m mg cos = mg cos m =: E ,
2
6 Octobre 2008
(4.4)
J.-B. Z.
Chapitre 2. Equations
diff
erentielles
55
avec E independante du temps. Sur le plan mathematique, nous avons reduit notre
equation de depart du second ordre (4.1) `a une equation du premier ordre, ce qui est
un progr`es substantiel. Sur le plan physique, ce que cette constante du mouvement (ou
integrale premi`ere) de lequation initiale exprime est bien s
ur la loi de conservation de
lenergie du syst`eme isole. La somme de lenergie cinetique (le premier terme du membre
de gauche) et de lenergie potentielle de la masse du pendule (le second) est constante dans
le temps et vaut E, energie totale, determinee par les conditions initiales
E = mg cos m
(4.5)
si `a linstant initial on a lache le pendule avec une vitesse nulle et une amplitude angulaire
de m 0 (le choix du signe devant m est pour la commodite de la suite).
4.2. Equations
a
` variables separees
En general, on appelle equation a
` variables separees, une equation differentielle du premier
ordre F (y, y , x) = 0 qui peut se mettre sous la forme f (y)dy = g(x)dx et donc sintegrer
en
f (y )dy =
(4.6)
Exemples
1. On rencontrera au chapitre 5, dans letude de syst`emes dynamiques lequation x =
2 x2 . Montrer quelle est `
a variables separees. En chercher les solutions.
2. Autre exemple : on suppose quun corps en chute libre est freine par une force proportionnelle au carre de sa vitesse (parachute). Montrer que son equation du mouvement
secrit
z = k z 2 g
et que lequation differentielle satisfaite par z ressemble beaucoup `a celle de lexemple
precedent (cf TD3).
3.
precedent
1 2
= g(cos cos m ) .
(4.7)
2
Puisque |m | designe langle maximal atteint par le pendule (position o`
u sa vitesse
sannule), || < m et le signe du membre de droite est bien positif. Cette equation
se recrit
J.-B. Z.
|d|
=
cos cos m
2g
dt
6 Octobre 2008
56
M
ethodes math
ematiques pour physiciens. LP206
o`
u toute la dependance dans la variable a ete mise au membre de gauche, toute celle en t
(ici triviale) au membre de droite. Comme au paragraphe precedent, supposons le pendule
lache `
a linstant t = 0 avec une vitesse nulle et une amplitude angulaire m 0. Dans
la premi`ere demi-oscillation du pendule, tant que crot, cest-`a-dire que d 0, (ou
ne change pas de signe), on peut integrer lequation en calculant une primitive de chaque
membre
d
=
cos cos m
2g
t.
(4.8)
Il reste `
a calculer effectivement lintegrale du membre de gauche et `a en extraire la fonction
cherchee (t). Cette integration m`ene `a des fonctions non elementaires, dites fonctions
elliptiques, et nous ne la poursuivrons pas ici.
4.3. Changement de la fonction inconnue
Il existe de nombreux cas o`
u un changement judicieux de la fonction inconnue, solution
cherchee de lequation differentielle, simplifie considerablement la discussion. Il sagit donc,
etant donnee une equation differentielle satisfaite par une fonction y(x), decrire et detudier
lequation differentielle qui en resulte pour la nouvelle fonction z(x) = F (y(x)).
Cest le cas par exemple de lequation de Riccati
y + a(x)y 2 + b(x)y + c(x) = 0 .
(4.9)
1
z(x)
avec une nouvelle fonction inconnue z(x). En reportant cette expression dans (4.9) et en
utilisant le fait que y0 (x) satisfait elle-meme (4.9), on obtient
z
y0
1
b
+ a(2 + 2 ) + = 0
2
z
z
z
z
(4.10)
6 Octobre 2008
J.-B. Z.
Chapitre 2. Equations
diff
erentielles
57
4.4. R
esolution dune
equation diff
erentielle par une s
erie enti`
ere
Consid
erons, a
` titre dexemple, le cas de l
equation dAiry
f (x) = xf (x)
(4.11)
an x n .
n=0
En d
erivant terme a
` terme et en ins
erant dans (4.11), on trouve
2a2 +
n=1
soit, en identifiant a
` z
ero le coefficient de chaque terme xn ,
a2 = 0
et
an+2 =
an1
pour n 1 .
(n + 1)(n + 2)
k=0
1
16
4
2
1
1
8k + 1
8k + 4
8k + 5
8k + 6
(4.12)
On d
emontre ais
ement quelle est convergente (le v
erifier !). Pour calculer sa somme, construisons la s
erie
enti`
ere
k
x8
4x
2x4
x5
x6
S(x) =
.
(4.13)
16
8k + 1
8k + 4
8k + 5
8k + 6
k=0
V
erifier que
a) la s
erie converge pour |x| < 2 ;
6 Octobre 2008
58
M
ethodes math
ematiques pour physiciens. LP206
4, o`
u des syst`emes lineaires, cest-`a-dire regis par des equations dynamiques lineaires,
seront etudies plus en detail. Nous y reviendrons `a nouveau au Chapitre 5, o`
u le monde
des equations non-lineaires sera bri`evement evoque et illustre sur quelques exemples.
Ce cours ne dira rien des equations aux derivees partielles, une classe dequations
portant sur des fonctions de plusieurs variables. Des exemples que nous rencontrerons en
TD sont ceux des equations des ondes ou lequation de la chaleur. . . Dautres equations
dimportance capitale en physique, telles les equations de Maxwell de lelectromagnetisme,
ou les equations de Navier-Stokes de lhydrodynamique, sont des equations aux derivees
partielles.
6 Octobre 2008
J.-B. Z.
Chapitre 3. S
eries de Fourier
0. Pr
eambule sur les fonctions p
eriodiques
Une fonction f (x) definie pour tout x R est dite periodique sil existe un T tel que
f (x) = f (x + T ) .
x R
(0.1)
Si lequation (0.1) est satisfaite pour T , elle lest aussi pour tout multiple entier de T . On
appellera donc periode le plus petit |T | tel que (0.1) soit satisfaite. Par exemple, la periode
de sin x ou de cos x est 2, celle de tan x est .
La fonction est compl`etement definie par sa donnee sur une periode quelconque, cest`a-dire sur tout intervalle [a, a + T [ de longueur T . Si la fonction est derivable, sa derivee
est aussi periodique de meme periode. Si la fonction est integrable, son integrale sur une
periode ne depend pas de cette periode
a+T
(0.2)
f (x) dx =
a+T
a
f (x) dx et
b+T
f (x) dx +
b+T
b
f (x) dx +
f (x) dx
a+T
f (x) dx
b+T
f (x) dx =
b+T
f (x ) dx =
f (x) dx
C.Q.F.D.
On va utiliser frequemment cette propriete, en choisissant la periode la plus propice, cest`a-dire rendant le calcul le plus simple. Par exemple, si la fonction est periodique et impaire,
T /2
T /2
f (x) dx = 0, et donc a,
a+T
a
f (x) dx = 0.
60
M
ethodes math
ematiques pour physiciens. LP206
au bout duquel le phenom`ene considere se reproduit egal `a lui-meme. Mais une periode
peut aussi etre de nature spatiale : cest, par exemple, la longueur donde dun phenom`ene
ondulatoire, ou la maille dun reseau cristallin, etc. Bien s
ur, dans un syst`eme physique
reel, il nest pas possible deffectuer des translations arbitrairement grandes du temps
ou dune coordonnee despace. La notion de fonction periodique est une idealisation de
la realite physique, quand le temps dobservation ou les dimensions de lechantillon sont
beaucoup plus grands que les periodes observees.
Les fonctions trigonometriques cos nx et sin nx sont evidemment des fonctions
periodiques de periode T = 2.
trigonometrique
N
f (x) =
1
a0 +
(an cos nx + bn sin nx) .
2
n=1
(0.3)
1. Repr
esentation de Fourier dune fonction p
eriodique
1.1. Le developpement de Fourier; sa convergence.
Soit f une fonction reelle definie et integrable sur lintervalle [, ]. On suppose la
fonction periodique de periode 2 et on la prolonge alors par periodicite `a tout x R.
(k)
de f (+ ), ce qui fait que la fonction periodique sera discontinue en (et en tous ses
f (x) =
1
a0 +
(an cos nx + bn sin nx) .
2
n=1
(1.1)
J.-B. Z.
Chapitre 3. S
eries de Fourier
an et
61
tout lintervalle et sa somme est une fonction continue. Cette propriete que
an et
bn
1
n
1
n
|bn | = O
, > 1 .
(1.2)
nan et
nbn sont elles-memes absolument convergentes. Autrement dit, on peut alors ecrire
d
dx
1
a0 +
(an cos nx + bn sin nx)
2
n=1
n=1
(1.3)
avec une serie convergente au membre de droite. Par exemple, si , > 2 dans (1.2),
la somme de la serie (1.1) est continue et derivable, et sa derivee, donnee par (1.3), est
elle-meme continue.
(2) Quelles que soient les suites an , bn decroissantes et tendant vers zero, la serie
trigonometrique converge pour tout x = 2, Z. (Par contre pour x = 0 mod 2,
1
| sin(x/2)| , | k=1 sin kx| < | sin(x/2)| , et lhypoth`
ese du th
eor`
eme dAbel est satisfaite.
1
Exemple, an = n
,
an cos nx et
an sin nx convergent si x = 2, en particulier pour x = ,
n
(1)
n
= ln 2. Mais pour x = 0,
an cos 0 diverge,
an sin 0 = 0 converge.
(3) Si la serie trigonometrique converge sur lintervalle, elle definit une fonction periodique
de periode 2. Si la convergence est uniforme, la somme est continue.
Determination des coefficients an et bn .
Revenons maintenant `
a la question a) ci-dessus. Supposons que le developpement (1.1)
existe pour la fonction f . Nous allons alors faire usage des formules dintegration, pour
m 0 et n > 0 entiers(*)
cos mx cos nx dx = mn
sin mx sin nx dx = mn
(1.4)
cos mx sin nx dx = 0
cos mx dx = 2m0 .
20 Octobre 2008
62
M
ethodes math
ematiques pour physiciens. LP206
o`
u mn est le symbole de Kronecker = 0 ou 1 selon que m = n ou m = n. Ces formules
decoulent des formules daddition des sinus et cosinus ; elles sobtiennent aussi `a partir de
lintegration de lexponentielle
1
2
eipx dx = p0 .
(1.5)
En multipliant les deux membres de (1.1) par cos nx ou sin nx et en integrant `a laide de
ces formules, on tire
a0 =
f (x) dx
an =
f (x) cos nx dx
bn =
f (x) sin nx dx .
(1.6)
Ces expressions impliquent que si f est paire, tous les bn sont nuls. Si f est impaire, tous
les an (y compris a0 ) sannulent. Noter que selon la remarque du paragraphe precedent,
le choix de la periode dintegration dans (1.4) ou (1.6) est arbitraire. Plutot que (, ),
on peut choisir (0, 2) ou tout autre intervalle de longueur 2.
Theor`emes de convergence.
Les an et bn etant determines `
a partir de la fonction f , la question est maintenant de savoir
(1) si le developpement converge; (2) si oui, sil converge vers f (x).
Th
eor`
eme de Dirichlet. Si f (x) est definie sur [, ] et ny a quun nombre fini de
discontinuites finies et a ailleurs une derivee continue, (fonction C 1 par morceaux), alors
le developpement converge pour tout x [, ] ; sa somme est
point de ] , [, et
1
2
1
2
f (x ) + f (x+ ) en tout
Aux conditions du th
eor`
eme pr
ec
edent, on pr
ef`
ere parfois celles-ci, plus g
en
erales :
(i) f (x) na sur lintervalle [, ] quun nombre fini de discontinuit
es finies et a ailleurs une deriv
ee
born
ee,
ou bien encore
(ii) elle est born
ee et na quun nombre fini de minima et de maxima dans cet intervalle.
Sous ces conditions, ( conditions de Dirichlet ), la conclusion pr
ec
edente que la s
erie converge en tout
point vers 21 f (x ) + f (x+ ) est encore vraie.
Il existe des conditions plus faibles assurant la convergence (conditions suffisantes). La version suivante, due a
` Jordan, semble la meilleure.
20 Octobre 2008
J.-B. Z.
Chapitre 3. S
eries de Fourier
63
Th
eor`
eme de Jordan. Si une fonction est a
` variation born
ee sur lintervalle p
eriode, la s
erie de Fourier
converge en tout point vers la demi-somme 21 f (x ) + f (x+ ) .
Une fonction a
` variation born
ee est d
efinie comme suit. Pour une fonction d
efinie sur un intervalle
[a, b] on consid`
ere une subdivision arbitraire de [a, b], cest-`
a-dire un choix de points x0 = a < x1 < <
n
xn1 < xn = b et on calcule la variation correspondante
|f (xi )f (xi+1 |. La fonction est a
` variation
i=1
born
ee ssi cette variation est born
ee par un B ind
ependant de la subdivision. Une fonction monotone
born
ee est a
` variation born
ee. (On d
emontre que toute fonction a
` variation born
ee est la diff
erence de
deux fonctions croissantes born
ees.) Une fonction born
ee nayant quun nombre fini de maxima ou minima
sur [a, b] est a
` variation born
ee. Une fonction continue et a
` d
eriv
ee born
ee est a
` variation born
ee. (Cette
grande vari
et
e de cas impliquant la propri
et
e d
etre a
` variation born
ee explique la multiplicit
e de conditions
suffisantes de convergence des s
eries de Fourier rencontr
ees dans la litt
erature. . . )
Voici lexemple donn
e par Picard dune fonction continue sur lintervalle [, ], mais dont la s
erie
de Fourier ne converge pas. Soit
f (x) =
p=1
et
F (x) =
3
x
1
sin(2p + 1) ,
p2
2
f (x)
f (x)
si 0 < x <
si < x < 0
Pour tout x la s
erie converge uniform
ement, donc la somme f (x) est bien continue, donc born
ee, et
f (0) = 0. La fonction F est aussi continue et born
ee. (Par contre, en raison de ses rapides oscillations, la
fonction nest pas a
` variation born
ee.) On consid`
ere la s
erie de Fourier de F , seuls les cosinus apparaissent
pour cette fonction paire
a0 + a1 cos x + a2 cos 2x +
Soit Sn = a0 + a1 + + an la somme partielle de cette s
erie de Fourier en x = 0. En choisissant
3
3
3
1 1
p
p
+ 1). Pour p grand, log(2p + 1) p3 log 2,
n=2
1, Picard montre que S2p3 1 > 2 p2 log(2
log 2
donc S2p3 1 > p 2
qui crot sans limite. La suite des sommes partielles Sn ne peut donc converger :
la s
erie de Fourier de F en x = 0 diverge !
Picard, Trait
R
ef. : E.
e dAnalyse, J. Gabay. Lexemple est emprunt
ea
` Fej
er.
Autrement dit, sous les conditions du theor`eme, la somme de Fourier existe et converge
vers f sauf aux points de discontinuite et peut-etre (si f (+ ) = f ( )) aux extremites
Pour une fonction satisfaisant les conditions du theor`eme de Dirichlet, les coefficients
an , bn decroissent en valeur absolue au moins comme |an | 1/n, |bn | 1/n pour n grand,
ce qui nassure pas en general la convergence absolue de la serie de Fourier, mais nexclut
pas la convergence simple pour certaines valeurs de x. Ces coefficients peuvent decrotre
plus rapidement, si la fonction est plus reguli`ere. En fait on peut demontrer le
Th
eor`
eme de Stokes. Si f (k) est la premi`ere des derivees de f `a avoir une discontinuite
(ou un nombre fini de discontinuites) alors |an |, |bn |
1
.
nk+1
Ceci implique que la convergence est moins bonne pour les derivees successives : les coefficients de la derivee -i`eme de la serie de Fourier sont n an et n bn , qui decroissent moins
vite. En fait, la derivation terme `a terme du developpement de Fourier de f (x) ne donne
pas le developpement de Fourier de f (x) si f est discontinue. Un exemple est donne par
J.-B. Z.
20 Octobre 2008
64
M
ethodes math
ematiques pour physiciens. LP206
la fonction f (x) periodique et valant x sur sa periode (T /2, T /2), dont le developpement
de Fourier non trivial sera donne `a la section suivante. Sa derivee terme `a terme est
egalement non triviale et ne sidentifie pas au developpement de Fourier de f (x) = 1 qui
` linverse, la convergence est meilleure pour lintegrale de
se reduit au terme constant ! A
f (x) (convergence en moyenne).
Quen est-il de la convergence uniforme ? Retenons aussi du theor`eme de Dirichlet
que pour une fonction continue et periodique sur [, ], la serie de Fourier converge
uniformement vers f (x).
Remarques.
1. On a raisonne sur lintervalle [, ] mais il est aise de transposer toute la discussion `a
une fonction periodique de periode T . Une serie de Fourier pour une telle fonction secrit
f (x) =
2nx
2nx
1
a0 +
an cos
+ bn sin
,
2
T
T
n=1
(1.7)
2
T
2
nx
T
f (x) cos
I
dx
bn =
2
T
f (x) sin
I
2
nx
T
dx
(1.8)
o`
u I est un intervalle quelconque de longueur T .
2. On peut regrouper agreablement les deux types de termes de la serie de Fourier en
ecrivant
f (x) =
n=0
cn cos(nx n )
f (x) =
An einx
(1.9)
n=
inx
An e
= A0 +
n=
n=1
1
2
f (x)einx dx ,
(1.10)
J.-B. Z.
Chapitre 3. S
eries de Fourier
65
quon retrouve aussi directement comme consequence de (1.5). Supposons que la fonction
bn = 2m An .
2(1)n
n2
1
2
x2 dx =
2
3
2
x =
+2
3
n=0
2
cos nx
(1)n inx
e
=
+4
(1)n
.
2
n
3
n2
n=1
Les deux series convergent absolument et uniformement. On voit sur la figure suivante que
le pic en est de mieux en mieux represente quand la serie est tronquee `a un ordre plus
eleve. Ceci refl`ete bien le fait que les hautes frequences (grands harmoniques, cest-`a-dire
modes `
a n grand) donnent les details fins de la fonction.
10
8
8
6
6
4
2
-1
-0.5
0.5
-1
-0.5
0.5
-1
-0.5
0.5
Fig. 1: La fonction p
eriodique valant x2 sur sa p
eriode [, ], a
` gauche, puis repr
esent
ee
par sa s
erie de Fourier avec 6 (au milieu) et 20 (`
a droite) termes. En abscisse est port
ee la
variable x/(2).
J.-B. Z.
20 Octobre 2008
66
M
ethodes math
ematiques pour physiciens. LP206
En TD
2. Soient u et x deux variables r
eelles. En prenant les parties r
eelle et imaginaire de la s
erie
1
n einx =
,
absolument
convergente
pour
|u|
<
1
et
tout
x
(donc
uniform
e
ment
g
eom
etrique
u
n=0
1ueix
convergente), on obtient deux s
eries de Fourier uniform
ement convergentes
1 u cos x
=
1 2u cos x + u2
u sin x
=
1 2u cos x + u2
un cos nx
(1.11)
u sin nx
De m
eme, en prenant partie r
eelle et imaginaire de log(1 ueix ), on trouve
log(1 2u cos x + u2 ) = 2
u sin x
Arc tan
=
1 u cos x
n=1
n=1
un
cos nx
n
(1.12)
un
sin nx .
n
(1)n
n1
La s
erie converge vers f (x) pour x .
2a cos nx
.
a2 n2
(1)n1
n=1
sin 2nx
n
et selon le th
eor`
eme, ce d
eveloppement converge vers f dans ] 12 , 21 [, tandis quil vaut 0 = f ( 21 ) + f ( 21 )
1
en 2 .
0.4
0.4
0.2
-1.5
-1
-0.5
0.5
-0.2
-0.4
N =4
20 Octobre 2008
0.2
1.5
-1.5
-1
-0.5
0.5
1.5
-0.2
-0.4
N = 10
J.-B. Z.
Chapitre 3. S
eries de Fourier
67
Repr
esentons le d
eveloppement tronqu
ea
` la N-i`
eme harmonique 1
. On voit que
(1)n1 sin 2nx
n
n=1
quelques harmoniques reproduisent d
ej`
a tr`
es bien la discontinuit
e de la fonction en . Conform
ement au
th
eor`
eme, quand on augmente le nombre de termes, la s
erie de Fourier approxime de mieux en mieux la
fonction en dehors de ses discontinuit
es, mais on voit quelle exag`
ere la valeur de la discontinuit
e. Plus
pr
ecis
ement, la position du maximum (ou minimum) tend vers le point de discontinuit
e x(0) , mais la valeur
(0)
enom`
ene de Gibbs. On peut
a
` ce maximum ou minimum ne tend pas vers la valeur de f x . Cest le ph
calculer lexc
edent et on trouve quil tend vers environ 18% de la discontinuit
e (cf TD). A l
evidence, la
s
erie de Fourier ne converge pas uniform
ement !
Autre exemple : la fonction cr
eneau, p
eriodique de p
eriode 2, valant f (x) = 1 si x ] , 0[, et
f (x) = 1 si x ]0, [. Sa s
erie de Fourier na que les termes en sinus, et un calcul simple conduit a
`
f (x) =
n=0
1
sin(2n + 1)x .
2n + 1
-1
0.5
0.5
-0.5
0.5
-1
-0.5
0.5
-0.5
-0.5
-1
-1
Fig. 2: La fonction p
eriodique valant signe(x) sur sa p
eriode [, ], (fonction cr
eneau),
superpos
ee a
` sa s
erie de Fourier avec 6 (`
a gauche) et 20 (`
a droite) termes. En abscisse est
port
ee la variable x/(2).
2. Equations
diff
erentielles lin
eaires avec source p
eriodique
2.1. Decouplage des modes de Fourier
On consid`ere une equation differentielle du -i`eme ordre `a coefficients constants du type
etudie au chapitre precedent
L(y(x)) :=
Ck
k=0
dk
y(x) = (x)
d xk
(2.1)
o`
u (x) est une fonction periodique de x, de periode T , supposee satisfaire les hypoth`eses
du theor`eme de Dirichlet. On peut alors representer par son developpement de Fourier
(x) =
An einx ,
(2.2)
n=
J.-B. Z.
20 Octobre 2008
68
M
ethodes math
ematiques pour physiciens. LP206
o`
u, selon lusage, on note =
2
T ,
y(x) =
(2.3)
yn einx .
n=
Si on suppose y(x) suffisamment reguli`ere (cf section precedente), on peut deriver terme
`a terme le developpement de y(x), et deriver k fois revient `a multiplier le n-i`eme mode
(la n-i`eme composante de Fourier) par (in)k : y (k) (x) =
n=
yn (in)k einx .
La propriete de linearite implique que laction de L sur les differents modes de y(x)
secrit
L(y(x)) =
Ck (in)k yn einx
(2.4)
n k=0
et quon obtient une solution particuli`ere de (2.1) en sommant une solution pour chacun
des modes,
k=0
Ck (in)k yn = An , soit
yn =
An
k=0
Ck
(in)k
y(x) =
An
k=0
Ck
(in)k
einx .
(2.5)
On dit quil y a
decouplage des differents modes de Fourier. Lensemble {Zn } des coefficients de proportionnalite entre le n-i`eme mode An de la source et le n-i`eme mode de la reponse yn ,
Zn =
k=0
Ck (in)k
(2.6)
J.-B. Z.
Chapitre 3. S
eries de Fourier
.
69
R
A
C
q
i
D
.
2.2. Filtre RC
A titre dexemple des considerations precedentes, considerons le circuit electrique represente
sur la figure 3.
Soit Ve le signal dentree (tension entre A et B), Vs le signal de sortie (entre C et D).
On a VA VC = Ri = Rq,
Vs = VC VD = VC VB = q/C et Ve = VA VB = Rq +
1
C q.
Si le signal dentree Ve (t) est donne, le signal de sortie Vs (t) = q(t)/C est donc solution de
lequation differentielle
RC V s (t) + Vs (t) = Ve (t) .
(2.7)
1
1
,
=
1 + iRCn
1 + i n
0
(2.8)
Zn Vn eint
(2.9)
Noter que les Zn , ici des rapports de tensions, sont sans dimension, au contraire des
20 Octobre 2008
70
M
ethodes math
ematiques pour physiciens. LP206
0
.
in
Le circuit RC a
alors pour effet dintegrer le signal dentree (`a la multiplication par un facteur 0 pr`es
Vs (t)
0
Vn eint = 0
in
Ve (t )dt ,
(2.10)
(qui est une primitive de Ve (t)). Il est donc legitime dappeler ce filtre RC un integrateur.
Si par contre 0 , pour les petites valeurs de n (pour n tel que n 0 ), on peut
approximer Zn 1, et le signal de sortie Vs aux basses frequences ne diff`ere pas beaucoup
de celui dentree Ve . On dit que le circuit RC est alors un filtre passe-bas.
Signal dentree en creneaux
Prenons un cas concret, celui dun signal dentree donne par la fonction creneau Vecr , de
periode T , valant V sur [0, T /2] et +V sur [T /2, T ], etudiee `a de petites modifications
4V
sin(2n + 1)t .
(2n
+
1)
n=0
(2.11)
(En fait il ny a convergence du membre de droite vers la fonction creneau, et donc egalite
des deux membres de cette relation, quaux points autres que les points de discontinuite.)
Si 0 , le filtre transforme ce signal en
Vscr (t) =
40 V
cos(2n + 1)t ,
(2n + 1)2
n=0
(2.12)
qui doit donc etre la serie de Fourier dune primitive de Vecr (t), cest-`a-dire dune fonction
lineaire par morceaux, valant C t sur [0, T /2] et C T2 +t sur [T /2, T ], avec une constante
C determinee par les conditions initiales. Cest une fonction triangle (du type de celle
40 V
0
T 0
=
V =
V
2
(2n + 1)
2
4
n=0
(cf TD4, IB3 eq. (4)). La tension de sortie sannulant en t = 0 est donc la fonction
V cr (t) C.
s
20 Octobre 2008
J.-B. Z.
Chapitre 3. S
eries de Fourier
71
syst`eme.
Pour bien
etudier le r
egime transitoire, examinons plus en d
etail le signal de sortie Vs (t) pour un
signal dentr
ee donn
e par la fonction cr
eneau Vecr (t). Autrement dit,
etudions le circuit auquel on applique
la tension V aux bornes A et B du circuit pendant le temps T /2, puis la tension oppos
ee V pendant la
deuxi`
eme demi-p
eriode, etc. Supposons par exemple qu`
a linstant t = 0, le potentiel Vs = V .
On doit donc r
esoudre l
equation (2.7) avec un Ve (t) = V selon quon est dans une demi-p
eriode
t [nT, (n + 21 )T ] ou dans t [(n + 12 )T, (n + 1)T ]
01 V s + Vs =
V
+V
si t [nT, (n + 21 )T ]
si t [(n + 21 )T, (n + 1)T ] .
(2.13a)
(2.13b)
Dans chacun de ces intervalles, la solution est comme toujours de la forme : solution particuli`
ere de
l
equation, soit ici V , + une solution g
en
erale de l
equation sans second membre, V s + 0 Vs = 0, et donc
une fonction proportionnelle a
` exp 0 t
Vs (t) =
An e0 t V
Bn e0 t + V
si t [nT, (n + 21 )T ]
si t [(n + 21 )T, (n + 1)T ] .
(2.14a)
(2.14b)
Le coefficient A0 est d
etermin
e par la condition initiale Vs (0) = V , do`
u A0 = 2V , puis les autres
coefficients Bn et An sont d
etermin
es en imposant la continuit
e de la charge q, donc de Vs (t) a
` la fin de
chaque demi-p
eriode t = (n + 12 )T ou t = nT . Par exemple a
` linstant t = T /2 = /, la continuit
e entre
les deux formes (2.14a) et (2.14b) ci-dessus donne
B0 eo / = 2V (1 eo / ) .
Notant
:= e0 / ,
donc un nombre r
eel < 1, on v
erifie par r
ecurrence que
1 + 2n+1
1 + 1
1 2n2
Bn = 2V (1 1 + 2 2n1 ) = 2V
1 + 1
An = 2V (1 1 + 2 + 2n ) = 2V
et donc
Vs ((n + 12 )T ) = V + An 2n+1 = V + 2V
Vs ((n + 1)T ) = V + Bn 2n+2 = V
J.-B. Z.
+ 2n+2
1
= V
+ O(2n+2 )
1+
1+
1
+ O(2n+3 ) .
1+
20 Octobre 2008
72
M
ethodes math
ematiques pour physiciens. LP206
Si on n
eglige les termes O(2n+2 ), on voit que Vs prend aux demi-p
eriodes la valeur V o`
u
V =
1
.
1+
Linterpr
etation est quapr`
es un temps nT , plus ou moins long selon la valeur du rapport 0 /, le
terme e0 T = 2n est devenu n
egligeable. Cest la fin du r
egime transitoire mentionn
e plus haut. Le
syst`
eme est alors dans un r
egime p
eriodique o`
u le condensateur se charge et se d
echarge, avec une tension
a
` ses bornes oscillant entre les valeurs V .
Examinons les deux cas limites o`
u 0 / est petit ou grand :
(1) /0 1, cest-`
a-dire on excite le filtre a
` de hautes fr
equences par rapport a
` 0 . Dune part, le
r
egime transitoire dure assez longtemps, car est proche de 1. De lautre, on peut approximer la fonction
Vs (t) par une fonction lin
eaire par morceaux, et on retrouve notre fonction triangle et le circuit int
egrateur.
(2) /0 1, le r
egime transitoire est beaucoup plus bref, car 1, mais on ne peut plus lin
eariser
Vs (t). Dans la limite /0 0, on retrouve une fonction cr
eneau : le filtre a
` basse fr
equence est presque
transparent, cest un filtre passe-bas. Noter que les discontinuit
es de la fonction cr
eneau ont
et
e adoucies :
la fonction est continue.
1
0.5
0.5
1
0.8
0.6
50
100
150
200
250
10
15
20
25
30
0.4
0.2
-0.5
-0.5
1
-1
Exercice compl
ementaire, a
` r
esoudre par exemple a
` laide de Maple. Quel est leffet dune condition initiale V (0) diff
erente de celle choisie plus haut ? Par exemple, si V (0) = 12 V , ou V (0) = V , tracer
la courbe de Vs (t) pour /0 = 0.1, 1, 10. Montrer quau bout dun temps fini, qui d
epend de ce rapport
/0 , les courbes reproduisent celles de la figure 4.
J.-B. Z.
Chapitre 3. S
eries de Fourier
73
etre deforme lors de sa reception ou de son traitement, affectant ainsi les coefficients des
differentes harmoniques, et tronquant eventuellement les basses ou les hautes frequences.
(On parle de filtre passe-haut, resp. passe-bas, pour un dispositif qui coupe les basses,
resp. les hautes, frequences.) On dira quon analyse la fonction f avec une bande passante
finie si les hautes frequences sont coupees ou fortement attenuees. Quel en est leffet sur
la reproduction de la fonction ?
On a vu au 1.2 leffet dune coupure des harmoniques eleves sur les fonctions x2 , x
et signe(x) periodiques : les details fins de la fonction sont mal reproduits. En general,
si les coefficients de la serie decroissent lentement (par exemple, decroissance en 1/n des
coefficients de Fourier des fonctions discontinues), il est clair que la somme sera sensible
`a une coupure des hautes frequences. Pour ces fonctions, dont les premiers modes de
Fourier sont dordre 1, il est clair aussi quune coupure des basses frequences nest pas
anodine. . .
Pour analyser la chose autrement, examinons un exemple caracteristique. Considerons
la fonction paire
f (x) = e|x|
definie sur lintervalle [, ], ou si on pref`ere, pour tout x reel, en repetant lintervalle
[, ] periodiquement. Pour petit, la fonction est etalee autour de 0, et son pic se
retrecit quand crot.
1
0.8
0.6
Gamma=1
0.4
0.2
-1
-0.5
Gamma=5
0.5
J.-B. Z.
20 Octobre 2008
74
M
ethodes math
ematiques pour physiciens. LP206
La fonction ainsi definie est continue et periodique, selon les theor`emes precedents,
son developpement de Fourier doit converger. On calcule aisement les coefficients
an =
2 (1 (1)n e )
2 + n2
et en particulier
a0 =
2
1 e
(3.1)
2
2 +n2
qui est une fonction lorentzienne (Fig. 4). Son graphe est une courbe en cloche plus
2
n2 +2
1
,
donc |n| .
0.3
0.25
0.2
0.15
0.1
0.05
1
Fig. 6: Les coefficients de Fourier de la fonction f , par la formule (3.1) (trait plein) et par
lapproximation lorentzienne (ligne bris
ee). Ici = 1.
reproduire correctement la fonction. Inversement une bande passante etroite (une limite
basse sur les n) interdit de voir des details fins de la fonction f . La bande passante
doit etre dautant plus large que les details de la fonction sont plus fins. Il sagit l`a dun
aspect fondamental de lanalyse de Fourier, quon a dej`a rencontre en Optique :
avoir une bonne resolution spatiale, cest-`a-dire pouvoir discerner des details fins, impose
dutiliser des petites longueurs donde (cest-`a-dire des grandes frequences). Ce meme
principe va reapparatre sous des habits varies dans des situations multiples, telles les
relations dincertitude de la Mecanique Quantique.
2
Rappelons que la fonction gaussienne G(x) = ex a pour graphe une courbe en cloche,
ch`ere aux statisticiens. Voir aussi lexercice sur la distribution de Maxwell, TD2.
20 Octobre 2008
J.-B. Z.
Chapitre 3. S
eries de Fourier
75
4. Diffusion coh
erente par un r
eseau
Lun des aspects les plus importants et les plus courants de linteraction entre un rayonnement
electromagn
etique (lumi`
ere visible, ultra-violette, rayons X etc) et la mati`
ere est le ph
enom`
ene de diffusion.
` l
A
echelle microscopique, un photon de londe
electromagn
etique incidente excite un
electron dun atome
du mat
eriau consid
er
e. Latome excit
e r
e
emet ensuite un photon. Nous allons nous int
eresser aux aspects
coop
eratifs de ce ph
enom`
ene, quand plusieurs centres diffuseurs agissent de concert, de facon coh
erente.
Des ph
enom`
enes dinterf
erence, constructive ou destructive, peuvent alors avoir lieu. Le cas le plus simple
est obtenu avec des centres diffuseurs r
eguli`
erement espac
es, formant ainsi un r
eseau. Comme on va le voir,
les ph
enom`
enes de diffusion coh
erente se produisent quand la longueur donde est de lordre de grandeur de
la distance entre les centres diffuseurs de ce r
eseau. Il peut sagir dun r
eseau naturel, tel ceux constitu
es
par les r
eseaux cristallins tridimensionnels, et le rayonnement
electromagn
etique int
eressant sera alors fait
de rayons X (longueur donde typique 0,1
A< < 100
A)*. Pour observer le ph
enom`
ene en lumi`
ere visible,
A) il faut plut
ot utiliser des r
eseaux artificiels. Les r
eseaux lin
eaires
A< < 8000
(longueur donde 4000
peuvent
etre obtenus par gravure dune surface par des traits microscopiques r
eguli`
erement espac
es : il
faut alors se repr
esenter la surface expos
ee au rayonnement comme une t
ole ondul
ee, avec des ondulations
de profil quelconque mais dot
ees dune p
eriode spatiale tr`
es bien fix
ee.
(a)
La
La
a sin
(b)
a sin
(c)
a sin
a sin
4.1. R
eseau fini
On consid`
ere une onde lumineuse plane monochromatique, represent
ee par une amplitude complexe
et
dirig
e
selon
la direction de propagation
Aei(tk.x) : k est le vecteur donde de longueur |k| = 2
20 Octobre 2008
76
M
ethodes math
ematiques pour physiciens. LP206
est de la forme B(r )ei(tkr ) . Si on suppose toutes les distances r grandes par rapport aux distances
entre centres, r r, on peut n
egliger les variations de la fonction B : B(r ) B(r), et ne garder que la
a-dire ne prendre en compte que la diff
erence entre
d
ependance de la phase eikr dans la distance r , cest-`
les chemins optiques des rayons lumineux diffus
es par les diff
erents centres. Or la diff
erence de chemins
optiques entre deux rayons lumineux incidents sur deux centres adjacents est
egale a
` = a(sin sin ),
voir figure 7(b-c). Lamplitude totale, somme des amplitudes des contributions des ondes diffus
ees par
L
ik . Mais on calcule
chaque centre, est donc
egale a
` B(r)ei(tkr) multipli
ee par un facteur
e
=L
ais
ement (s
erie g
eom
etrique finie)
L
eix =
=L
sin(2L + 1) x2
ei(L+1)x eiLx
=
.
eix 1
sin x2
(4.1)
Leffet dinterf
erence est maximalement constructif quand la diff
erence de chemin optique est un
multiple entier de , donc k un multiple entier de 2. En effet quand x 2K dans (4.1), avec K
entier, la somme approche (2L + 1). Pour toute autre valeur, elle est tr`
es proche de z
ero, et ce dautant
plus que L est plus grand, voir figure.
-3
-2
0.8
0.8
0.6
0.6
0.4
0.4
0.2
0.2
-1
-3
-2
-1
-0.2
-0.2
-0.4
-0.4
.
(2L + 1)a cos
J.-B. Z.
Chapitre 3. S
eries de Fourier
77
K
donde , langle est d
eplac
e de = a cos
pour . Cet angle sera observable sil est sup
erieur a
` la
largeur de raie pr
ec
edemment calcul
ee , soit
1
K(2L + 1)
Le pouvoir s
eparateur est dautant plus grand (cest-`
a-dire
raie dordre plus
elev
e.
4.2. R
eseau infini. Peigne de Dirac
Dans la limite o`
u le nombre de diffuseurs tend vers linfini, le facteur apparaissant dans lamplitude
devient de plus en plus piqu
e et grand au voisinage de toute valeur 2K de x. La limite (dans un sens
qui devrait
etre pr
ecis
e) est donc infinie en tout point 2K, nulle ailleurs. On notera P (x) cette limite,
o`
u lindice P rappelle sa nature p
eriodique, de p
eriode 2
eipx = 2P (x) .
(4.2)
p=
P (x) dx =
1
2
eipx dx =
p=
p0 = 1 ,
(4.3)
p=
o`
u p0 d
esigne le symbole de Kronecker usuel, a
` ne pas confondre avec le nouvel objet P . Plus
g
en
eralement, soit f est une fonction suffisamment r
eguli`
ere (on dit lisse), et consid
erons lint
egrale
de f (x)P (x) sur lintervalle [, ]. Les valeurs de f en dehors dun voisinage arbitrairement petit de
lorigine sont effac
ees par P et finalement on sattend a
` trouver
P (x) dx = f (0) ,
(4.4)
(2m+1)
f () .
P (x)f (x) dx =
(2k+1)
(4.5)
=k
x/2
2
J.-B. Z.
20 Octobre 2008
78
M
ethodes math
ematiques pour physiciens. LP206
La th
eorie des distributions est un important d
eveloppement de lanalyse du XXi`
eme si`
ecle, auquel le
math
ematicien francais L. Schwartz a largement contribu
e. Les distributions sont rencontr
ees fr
equemment
en physique, en particulier en M
ecanique Quantique (m
eme si le physicien a tendance a
` glisser sur les
difficult
es et subtilit
es inh
erentes a
` ces objets. . . ).
4.3. R
eseau tridimensionnel. Condition de Bragg
G
en
eralisons maintenant la discussion au cas o`
u londe est incidente sur un r
eseau infini de centres
diffuseurs selon une direction sp
ecifi
ee par le vecteur donde k et est observ
ee dans une direction sp
ecifi
ee
par le vecteur k . Par g
en
eralisation de la discussion pr
ec
edente, on peut montrer que la condition de
coh
erence est (k k ).a = 2 o`
u a d
esigne tout vecteur du r
eseau cristallin diffuseur, et Z est un
entier arbitraire. Le propre dun r
eseau cristallin (de Bravais) R est d
etre engendr
e par trois vecteurs
a1 , a2 , a3 , en ce sens que pour toute paire de points M et M de R, le vecteur MM est combinaison lin
eaire
a
` coefficients entiers de ces p
eriodes MM =
i ai . Il suffit donc dassurer que (k k ).ai = 2i pour
chacun de ces vecteurs. On montre que cette condition implique que k k est parall`
ele a
` un plan du
r
eseau (cest-`
a-dire passant par trois points de R). Tout se passe comme sil y avait r
eflexion dans ce plan.
En outre la condition fixe langle dincidence (
egal a
` celui de r
eflexion) a
` des valeurs bien d
etermin
ees,
comme dans le cas unidimensionnel.
20 Octobre 2008
J.-B. Z.
1. G
en
eralit
es sur les syst`
emes lin
eaires. Loscillateur harmonique
1.1. Equations
differentielles lineaires.
On va etudier des syst`emes lineaires, cest-`a-dire des syst`emes dont la dynamique est definie
par une equation differentielle lineaire dans la variable temps t, ou par un syst`eme de telles
equations. Le cas le plus simple est celui dune equation dordre 2
x
(t) + A(t)x(t)
+ B(t)x(t) = C(t)
(1.1)
o`
u les fonctions A, B, C sont donnees et independantes de la variable dynamique x.
Linteret de ce syst`eme est de bien representer la physique de nombreux phenom`enes
vibratoires, mecaniques ou electriques, mais aussi de bien dautres syst`emes. Ainsi un
solide peut etre decrit comme compose datomes sujets `a des forces de cohesion, un atome
est soumis `
a des forces agissant sur ses electrons, et leur dynamique autour de leur position dequilibre est bien decrite par (1.1) et ses generalisations. . . En general, loscillateur
harmonique et ses generalisations `a plusieurs degres de liberte sont une bonne facon de
decrire la dynamique dun syst`eme au voisinage dun point dequilibre, comme on le verra
plus bas.
Les theor`emes generaux que nous avons enonces au Chapitre 2 sur les equations
differentielles lineaires vont nous etre utiles dans letude de (1.1) et de ses generalisations.
1.2. Oscillateur harmonique
On va etudier de facon detaillee le cas o`
u les coefficients A et B de lequation (1.1) sont
constants, independants du temps. Apr`es changement de notations, on lecrit sous la forme
x
+
1
x + 02 x = C(t) .
(1.2)
(1.3)
80
M
ethodes math
ematiques pour physiciens. LP206
(1.4)
Cest le cas pour un point attache `a un ressort qui exerce une force F = kx proportionnelle
et opposee `
a son elongation (positive ou negative) x par rapport `a sa position dequilibre ;
k > 0 est la raideur du ressort. Lequation differentielle sint`egre de diverses facons :
On verifie aisement que x1 (t) = sin 0 t et x2 (t) = cos 0 t sont deux solutions lineairement independantes. Une combinaison lineaire de ces deux solutions
1 sin 0 t + 2 cos 0 t peut se recrire sous la forme
x(t) = A sin(0 t + ) .
(1.5)
Cest bien la solution generale de (1.3), avec deux constantes A et determinees par
les conditions initiales : au temps t = 0, x(0) = A sin = x0 , x(0)
= 0 A cos = v0 ,
x0 et v0 donnes. x(t) a un mouvement oscillant, dont A est lamplitude et le
dephasage*. La periode est 2/0 , sa frequence est 0 /2. La grandeur 0 =
k/m
1 2
2x
et
1
k
mx 2 + x2
2
2
1 2
2x
=0
1
k
mx 2 + x2 = E = constante .
2
2
(1.6)
(1.7)
Ce que cette constante du mouvement (ou integrale premi`ere) de lequation initiale exprime est bien s
ur la loi de conservation de lenergie du syst`eme isole. La
somme de lenergie cinetique (le premier terme) et de lenergie potentielle du ressort
* Noter que ce dephasage na pas ici un sens intrins`eque : il peut etre absorbe dans un
changement de lorigine des temps.
10 Novembre 2008
J.-B. Z.
Chapitre 4. Syst`
emes lin
eaires
81
(le second) est constante dans le temps et vaut E, energie totale, determinee par les
conditions initiales
1
k
mv02 + x20 .
2
2
La discussion se poursuit en recrivant lequation (1.7) comme
E=
2E
x2
k
dx
= 0
dt
(1.8)
1
2
qui sint`egre `
a son tour par changement de la variable x =
2E
k
1
2
sin u, do`
u
du
= 0
dt
donc finalement x(t) =
2E
k
1
2
(1.9)
Le resultat est bien identique `a ce quon a obtenu plus haut, compte tenu de
E = 12 m02 A2 = k2 A2 .
Remarques.
1. Il y avait a priori un arbitraire de signe dans lextraction de la racine carree dans
1
dx/dt = 0 ( ) 2 . Montrer que le signe oppose aurait conduit `a la meme expression finale,
`a une redefinition de pr`es.
2. Retournant aux energies cinetique et potentielle, on trouve pour elles les expressions
Ecin (t) =
1
m02 A2 cos2 (0 t + ) ,
2
Epot (t) =
1
m02 A2 sin2 (0 t + ) .
2
(1.10)
Considerons la moyenne de ces quantites sur un temps long par rapport `a leur periode
(ou sur une periode precisement, ce qui revient au meme, pourquoi?)
E cin :=
pot
1
T
T
0
E cin (t) dt .
pot
(1.11)
Se rappelant que les fonctions cos2 et sin2 moyennees sur leur periode valent
1
2
cos2 d =
1
2
sin2 d =
1
,
2
1
,
2
tentielle moyennees sur une periode sont egales. Cette equipartition de lenergie moyenne
entre energie cinetique et energie potentielle constitue une des particularites de loscillateur
harmonique.
La physique de loscillateur harmonique depasse largement le cas du ressort evoque
plus haut. Considerons un pendule simple, constitue dune masse ponctuelle m fixee `a
lextremite dun fil de masse negligeable de longueur . Le pendule oscille dans un plan
vertical.
J.-B. Z.
10 Novembre 2008
82
M
ethodes math
ematiques pour physiciens. LP206
O
M
ma
o`
u z designe un vecteur unite dirige selon laxe vertical vers le haut) et de la tension du
fil T , et selon lequation fondamentale de la dynamique, ma =
F = T mg z. On se
debarrasse de la tension inconnue T par projection de lequation sur une direction tangente
`a sa trajectoire circulaire et on a alors
m = mg sin .
(1.12)
Cette equation peut setudier telle quelle, cf TD et TP. En particulier, elle admet `a nouveau une integrale premi`ere, obtenue en multipliant par et en integrant, qui exprime la
conservation de lenergie, cf chapitre 4, 3.2. Mais dans un premier temps, nous allons
supposer les oscillations du pendule petites, donc 1 ce qui nous autorise `a lineariser
(1.13)
O, J = r p, o`
u r = OM, p = mv
d
dJ
=
(r p) = couple des forces ext
erieures = r F .
dt
dt
(1.14)
J.-B. Z.
Chapitre 4. Syst`
emes lin
eaires
83
g.
lapproximation des petites oscillations, et on doit lui apporter des corrections d`es que
crot.
La discussion qui prec`ede sapplique `a une classe beaucoup plus large de syst`emes
mecaniques que le ressort ou le pendule simple. Considerons un syst`eme soumis `a une force
derivant dun potentiel m
x = dU(x)
. Supposons que le potentiel (energie potentielle)
dx
U (x) a un minimum en x = 0 et quon developpe U au deuxi`eme ordre au voisinage de ce
x2
U (0)
2
bien ramene `
a notre oscillateur harmonique, avec une pulsation propre 0 donnee par la
courbure U (0) du potentiel.
(a)
(b)
(c)
Un autre syst`eme physique decrit par lequation (1.3) est le circuit electrique LC
constitue dune bobine dotee dune inductance L et dun condensateur de capacite C
(figure 2(a)), dej`
a evoque au Chapitre 2, o`
u nous avons trouve pour la charge Q une
equation du second ordre :
d2 Q Q
+
=0
dt2
C
qui sidentifie avec (1.4) si on change Q x, L m et
(1.15)
1
LC
1
2
1
C
10 Novembre 2008
84
M
ethodes math
ematiques pour physiciens. LP206
2. Amortissement
2.1. Frottement fluide
On imagine maintenant que le syst`eme mecanique etudie est soumis `a une force de friction
proportionnelle (et opposee) `
a sa vitesse. Il sagit l`a dune bonne description du frottement
fluide, auquel est soumis un corps solide en deplacement `a faible vitesse dans un fluide. Par
exemple, une sph`ere de rayon r se deplacant dans un fluide en recoit une force F = 6rv
o`
u est la viscosite du fluide (loi de Stokes). Dune facon generale, il est utile decrire
cette force de frottement sous la forme m
v, avec un param`etre qui a la dimension dun
temps et qui va fournir une echelle de temps importante dans les phenom`enes etudies dans
la suite.
Cest ainsi que la vitesse dun corps en chute libre (une goutte de pluie tombant dans lair . . . ) ob
eit
e vers le
a
` l
equation v + 1 v = g, dont la solution est v(t) = g + Aet/ , (avec un axe des vitesses dirig
bas), avec une constante A d
etermin
ee par les conditions initiales. La vitesse limite est donc g (cf TD 3).
Il existe dautres types de forces de frottement. Le frottement solide, une force constante
ind
ependante de la vitesse et de lamplitude, d
ecrit la force qui sexerce dans un contact entre deux
solides rugueux. A linverse, aux grandes vitesses, un fluide peut exercer une force quadratique dans la
vitesse sur un corps solide (cf
etude du parachute au TD 3). Dautres formes de frottement, d
ependantes
de lamplitude, peuvent aussi se manifester. . . On reviendra dans la suite sur certaines dentre elles.
Une autre situation physique decrite par un terme de frottement fluide est le circuit
LRC, comme on la mentionne plus haut, cf figure 2(b). Dans la discussion ci-dessus, un
terme de resistance introduit une difference de potentiel supplementaire egale `a RI, selon
la loi dOhm, donc lequation (1.15) est `a modifier en
L
d2 Q
dQ Q
+R
+
=0.
2
dt
dt
C
(2.1)
1
x + 02 x = 0 .
(2.2)
J.-B. Z.
Chapitre 4. Syst`
emes lin
eaires
85
revenant `
a sa multiplication par , on voit que (2.2) est satisfaite `a condition que soit
racine de
2 +
1
+ 02 = 0 ,
(2.3)
une equation du second degre qui a deux solutions soit reelles, soit complexes conjuguees.
La solution generale de (2.2) est une combinaison lineaire des deux exponentielles correspondantes. Les deux cas decrivent deux situations physiques differentes.
(a) Si 0 > 12 , le discriminant de lequation est negatif, les deux racines sont complexes
conjuguees : =
1
2 (1
forme
x(t) = B+ et/2 e 2
402 2 1
it
+ B et/2 e 2
402 2 1
avec deux constantes B a priori complexes. La solution x(t) devant etre reelle, B
doivent en fait etre complexes conjuguees, ce quil est utile decrire sous la forme
B = ei( 2 )
A
,
2
(2.4)
avec
0 =
02 1/(4 2 ) .
(2.5)
Quand ,
0 0 et on retrouve bien s
ur (1.5). Le mouvement decrit par (2.4)
est un mouvement oscillant amorti, avec une frequence
0 plus petite que 0 (est-ce
1
2 (1
donc
x(t) = A+ et/2 e 2
1402 2
+ A et/2 e 2
1402 2
(2.6)
terme samortit beaucoup moins vite que le second et domine donc rapidement. Dans
tous les cas, lamortissement fort ( 1 > 20 ) a supprime les oscillations. Pour cette
J.-B. Z.
10 Novembre 2008
86
M
ethodes math
ematiques pour physiciens. LP206
raison, on se ref`ere `
a ce cas (b) comme le r
egime sur-amorti, le cas (a) etant le
r
egime sous-amorti. Voir la figure pour une illustration de ces deux cas.
(c) Pour etre complet, discutons rapidement le cas limite o`
u 0 =
1
2,
le discriminant
1
, et les deux solutions qui leur sont
sannule, les deux racines concident, = 2
attachees ne sont plus lineairement independantes. On sait toutefois que dans ce cas
les fonctions et/2 et tet/2 sont deux solutions lineairement independantes. La
solution x(t), superposition lineaire de ces deux fonctions, presente donc `a nouveau
un amortissement sans oscillations.
1
1
0.75
0.8
0.5
0.6
0.25
10
20
30
40
0.4
-0.25
0.2
-0.5
-0.75
10
Fig. 3: R
egimes sous- et sur-amortis. On a pris 0 = 1, = 5 dans le premier cas, 0 = 1,
= .4 dans le deuxi`
eme, o`
u on na gard
e que la premi`
ere exponentielle de (2.6).
Dans tous les cas, d`es que > 0, on voit que le syst`eme samortit, plus ou moins
vite, mais inexorablement.
le temps au bout duquel les variables x2 , ou x 2 (ou encore lenergie, qui est quadratique
en x) ont decru par un facteur e. On trouve dans les deux cas damortissement faible et
fort que
r =
1 1402 2
1
202
si 0 > 12
si 0 12
sous-amorti
tr`es sur-amorti .
Pour un syst`eme de ce type mais excite par une source exterieure (le terme C(t) dans
(1.2)), la solution generale, comme on sait, est somme dune solution particuli`ere et de
la solution amortie quon vient de decrire. Le fait quau bout dun temps r les variables
dynamiques de cette solution amortie aient ete attenuees exponentiellement signifie que le
syst`eme est alors compl`etement pilote par la source excitatrice et a oublie ses conditions
initiales. Cest ce que nous verrons en detail au paragraphe suivant.
10 Novembre 2008
J.-B. Z.
Chapitre 4. Syst`
emes lin
eaires
87
damortissement ? Pour simplifier le calcul, supposons que les conditions initiales sont
telles que A = x0 et = 0 dans (2.4) et bornons nous au cas dun amortissement faible,
0 12 , et donc, dans la solution (2.4),
0 0 . On calcule alors
x(t)
= x0 et/2
0 cos
0t
1
sin
0t
2
Dans le calcul des moyennes de x2 (t) et de x 2 (t) sur une periode, apparaissent des termes
et/ cos2
0 t etc. Mais puisquon a suppose 0
1
,
2
sur une periode, et on peut la sortir de lintegrale. On se ram`ene de la sorte aux integrales
dej`a considerees et on calcule aisement
1
1
mx20
+ 02 et/ m02 x20 et/
4
4 2
4
1
1
Epot (t) = m02 et/ sin2
0 t m02 x20 et/ .
2
4
Ecin (t)
On note que si on a bien encore (dans cette approximation) equipartition entre energie
cinetique et energie potentielle, leur somme E(t) = Ecin (t) + Epot (t) depend du temps :
lenergie du syst`eme nest plus conservee, elle est dissipee en raison de lamortissement.
La puissance dissipee P est elle-meme fonction du temps
P (t) :=
1
d
m02 x20 et/
E(t) =
dt
2
E(t)
.
On verifie que cette energie dissipee est egale (au signe pr`es) au travail de la force de
frottement. Sur une periode Wfrott. =
T P (t).
t+T
t
2
m
v v dt =
mv 2
2
dt = T E =
oscillant sujet `
a un amortissement par
Q := 2
energie emmagasinee
.
energie dissipee par periode
(2.8)
Q est donc une mesure de lamortissement, une valeur elevee de Q signalant un amortissement faible. Ici nous avons
Q=
J.-B. Z.
E
0
2E
0 .
2 =
P
P 0
10 Novembre 2008
88
M
ethodes math
ematiques pour physiciens. LP206
(Dans lapproximation damortissement faible que nous avons faite, E ne varie pas de
facon appreciable sur une periode.) Noter que Q est aussi (2 fois) le nombre doscillations
pendant le temps de relaxation r = .
Pour fixer les idees, voici quelques valeurs typiques de Q pour differentes situations
physiques de corps vibrants
- Terre (ondes sismiques) Q 250 1500
3. Oscillateur excit
e par une source p
eriodique
On consid`ere maintenant que loscillateur harmonique amorti est soumis `a une force
periodique dans le temps.
1
x + 02 x = A cos t .
(3.1)
la partie reelle x = e(
x) pour retrouver le cos t, `a la fin du calcul. Il est suggere de
chercher une solution de la forme x
(t) = Bei(t) , (B, reels), et on trouve que et B
doivent satisfaire
Bei =
10 Novembre 2008
02
A
.
2 + i/
(3.2)
J.-B. Z.
89
Chapitre 4. Syst`
emes lin
eaires
A et B etant reels (et de meme signe, par convention) ; est la phase du denominateur,
tan =
/
,
02 2
() =
Arc tan
/
02 2
Arc tan 2/
02
si 0
(3.3)
si 0
et finalement en revenant `
a des valeurs reelles
xperm (t) = B cos (t ()) =
A
[(02
2 )2
cos (t ())
2 21
2 ]
(3.4)
2.5
2.5
2
2
1.5
1.5
1
1
0.5
0.5
0.5
1.5
2.5
0.5
1.5
2.5
On rappelle que par definition de la fonction inverse Arc tan , 21 Arc tan 12 , et que
10 Novembre 2008
90
M
ethodes math
ematiques pour physiciens. LP206
Examinons donc de plus pr`es ce regime permanent. Tout dabord, notons que langle
a maintenant un sens physique intrins`eque, (au contraire de ce qui se passait dans le
cas non excite, o`
u il pouvait etre absorbe dans une redefinition de lorigine du temps t).
Cet angle decrit en effet le dephasage entre la force excitatrice et la reponse du syst`eme.
Comme on a note que sin > 0, donc [0, ], on voit que la reponse est toujours en
retard sur lexcitation. Ce dephasage est entre 0 et /2 pour < 0 , il est entre /2 et
pour > 0 . (Voir la figure 4 pour les courbes du rapport des amplitudes B/A et du
dephasage .) Une autre facon de dire les choses consiste `a regarder la vitesse v(t) = x(t).
1
;
02
2 21
2 ]
(3.5)
quand 0 , et B/A
1
2 ;
comportements limites, le rapport B/A, cest-`a-dire la reponse du syst`eme, peut etre forte.
On verifie aisement (cf TD 6) que le rapport damplitudes B/A a un maximum pour
= m := 0
1
,
202 2
(3.6)
`a condition que 202 2 > 1, cest-`a-dire pour un amortissement pas trop grand. Dans le
cas contraire, si 202 2 1, le rapport B/A est maximum en = 0.
On note que la valeur de m quon vient de calculer en (3.6) est toujours inferieure
`a 0 et quelle est dautant plus proche de 0 que est grand (amortissement faible). Le
maximum de B/A en m est dautant plus eleve que (ou le facteur de qualite Q) est plus
grand, puisque (B/A)|=m =
2 2
1
(402 2 1) 2
, qui est
pour
1
0 ,
cest-`a-dire Q 1.
On verifie aussi que quand est grand, le pic de B/A est etroit, voir figure 5 et TD 6. Ce
pic tr`es marque (haut et etroit) de la reponse du syst`eme pour grand et 0 est le
phenom`ene de resonance. Il se manifeste aussi sur le dephasage dont la pente en m est
de plus en plus marquee quand Q crot. (Exercice : tracer le graphe de en fonction de
pour diverses valeurs de Q.)
10 Novembre 2008
J.-B. Z.
Chapitre 4. Syst`
emes lin
eaires
91
1
0.8
0.6
tau=2,5
0.4
tau=25
0.2
0.5
1.5
electromagn
etique, loscillateur r
e
emet lui-m
eme une onde lumineuse damplitude proportionnelle a
` son
acc
el
eration. Lamplitude de londe
emise est donc proportionnelle a
` 2 , et lintensit
e diffus
ee proportionnelle a
` 4 . De ce simple fait, lintensit
e diffus
ee est proportionnelle a
` 1/4 , cest-`
a-dire la puissance inverse
quatri`
eme de la longueur donde, d
ecoule que la lumi`
ere bleue ( 4000
A) domine sur le rouge ( 8000
4. Susceptibilit
e
Pour une frequence donnee , on appelle susceptibilite () le coefficient de proportionnalite complexe entre les amplitudes A et Bei , tel quil apparaissait dans (3.2)
1
.
() = 2
2
0 + i/
(4.1)
* On rappelle la d
efinition de lAngstr
om 1
A= 1010 m.
J.-B. Z.
10 Novembre 2008
92
M
ethodes math
ematiques pour physiciens. LP206
En
electricit
e et magn
etisme, on r
eserve le nom de susceptibilit
e (
electrique, resp. magn
etique) a
` la
r
eponse du syst`
eme par lapparition dun moment (
electrique, resp. magn
etique) a
` un champ ext
erieur
(
electrique, resp. magn
etique) et on donne le nom dadmittance (resp. dimp
edance) au coefficient de
proportionnalit
e intensit
e/tension (resp. tension/intensit
e) telle quon lobserve dans un circuit de type
LRC.
(4.2)
La variable physique (pulsation) est par definition reelle positive. Nous observons cependant que la fonction () satisfait la propriete suivante
() = ()
(4.3)
si on consid`ere que peut prendre aussi des valeurs negatives. Donc () se prolonge en
une fonction paire et () en une fonction impaire de . Cela refl`ete une propriete de
realite (cf au Chapitre 2 une propriete analogue pour les modes de Fourier).
Signe de , relation avec la puissance absorbee ou dissipee.
Dans lesprit des calculs de bilan energetique effectues aux paragraphes 2 et 3, calculons
le travail de la force exterieure pendant une periode, entre les instants t et t + T . La force
est mA cos t, la vitesse B sin(t ), donc
W =
=
t+T
t
mAB
2
t+T
t
sin(t + t ) + sin(t + t ) dt
(4.4)
mAB t+T
(sin(2t ) sin )dt
=
2
t
mABT
=
sin
2
qui est positif, puisquon a vu que sin > 0 (et que AB > 0). Linterpretation de ce signe
important est que le syst`eme pompe de lenergie dans la source pour compenser (dans le
regime permanent quon etudie) lenergie dissipee par la force de frottement.
Reprenons le calcul en notations complexes en nutilisant que la forme generale de
proportionnalite entre force et vitesse. La force est e (Ameit ) =
2
mA it
2 (e
+ eit ), la
10 Novembre 2008
J.-B. Z.
Chapitre 4. Syst`
emes lin
eaires
vitesse e (iA()eit ) =
A
it
2 (i()e
93
sur une periode, les termes du produit en e2it ne contribuent pas. Seuls les termes
croises en eit eit subsistent. Et finalement
W =
T m
()A2 .
2
(4.5)
Le merite de ce dernier calcul est quil nutilise pas les formules explicites trouvees pour
loscillateur harmonique.
force exterieure soit positif (sans quoi le syst`eme fournirait gratuitement du travail `a
lexterieur !) donc en toute generalite, pour un syst`eme lineaire qui dissipe de lenergie,
() < 0 .
(4.6)
de la forme e(eit ) = e t cos t. On constate sur lexpression explicite de (4.1) que a deux p
oles,
cest-`
a-dire que son d
enominateur a deux z
eros dans le plan complexe,
P
oles :
02
1
4 2
(4.7)
dont on voit quils se situent toujours dans le demi-plan superieur (m > 0), que le syst`
eme soit sousou sur-amorti. Cette remarque dapparence anodine cache en fait une propri
et
e importante, g
en
erale pour
tout syst`
eme lin
eaire : en vertu du principe de causalit
e, fondamental en Physique, selon lequel les effets
ne peuvent pr
ec
eder leur cause, on peut montrer en effet que la fonction () ne peut avoir de singularit
e
(comme un p
ole) dans le demi-plan inf
erieur.
Ces deux p
oles sont dautant plus proches de laxe r
eel que (ou Q) est plus grand. Ainsi on
1
a un d
enominateur
comprend mieux lapparition de la r
esonance : la susceptibilit
e () = (
+ )( )
petit quand r
eel passe au voisinage de lune des valeurs , et lamplitude, proportionnelle au module
de , a un maximum marqu
e.
5. Oscillateurs coupl
es (traites en TD)
5.1. Cas de deux oscillateurs couples
Considerons maintenant le cas dun syst`eme `a deux degres de liberte, cest-`a-dire decrit
par deux variables dynamiques x1 (t) et x2 (t), dotees de masses m1 et m2 , et soumises `a
des forces derivant dun potentiel U (x1 , x2 ). Les equations du mouvement sont donc
U (x1 , x2 )
x1
U (x1 , x2 )
m2 x
2 =
x2
m1 x
1 =
J.-B. Z.
(5.1)
10 Novembre 2008
94
M
ethodes math
ematiques pour physiciens. LP206
U (x1 , x2 )
.
xi
(5.2)
Cest en particulier le cas pour un potentiel quadratique en x1 et x2 (on dit alors que U
est une forme quadratique en x1 et x2 .)
1
1
a11 x21 + a12 x1 x2 + a22 x22
2
2
m1 x
1 + a11 x1 + a12 x2 = 0
U=
(5.3)
m2 x
2 + a12 x1 + a22 x2 = 0 ,
ou encore, avec les notations compactes (et la convention que a12 = a21 = )
2
1
U=
aij xi xj
2 i,j=1
2
(5.4)
aij xj = 0 ,
mi x
i +
j=1
(linteret de ces notations compactes etant dalleger les ecritures et de faciliter le passage
de 2 `a n variables).
Nous imposons `
a la forme quadratique U (x1 , x2 ) limportante condition detre definie
positive, ce qui signifie que pour tous x1 et x2 reels non tous deux nuls, U (x1 , x2 ) > 0.
Cela exprime la stabilite de lequilibre decrit par la position au repos x1 = x2 = 0 : tout
deplacement `
a partir de cette position accrot lenergie potentielle.
On va supposer pour simplifier dans la suite de la discussion que x1 et x2 jouent des
roles identiques avec la meme masse et des couplages homologues egaux. On recrit (5.3)
sous la forme
1
1
K(x21 + x22 ) + k(x1 x2 )2
2
2
m
x1 = Kx1 k(x1 x2 )
U=
(5.5)
m
x2 = Kx2 k(x2 x1 )
x
2 + (20 + 02 )x2 02 x1 = 0 .
10 Novembre 2008
(5.6)
J.-B. Z.
Chapitre 4. Syst`
emes lin
eaires
95
111
000
000
111
000
111
K
111
000
000
111
000
111
Fig. 6: Un pendule de torsion. Quand le premier disque tourne de 1 et le second de 2 ,
le premier est soumis a
` un couple K1 par le fil sup
erieur, et a
` un couple k(1 2 )
par le fil interm
ediaire. On a des formules analogues pour le second.
Exemple Un exemple de cette situation est fourni par le cas de deux ressorts ou de deux pendules
coupl
es. Pour varier les exemples, d
ecrivons le cas de deux pendules de torsion, tels des disques a
` sym
etrie
cylindrique, identiques, de moments dinertie I1 = I2 = I, reli
es par des fils de torsion dont les constantes
de torsion sont K et k (voir figure 6). Les
equations du mouvement des deux disques sont
I
1 = K1 + k(2 1 )
I
2 = K2 + k(1 2 ) .
V
erifier que ces
equations sont bien du type juste d
ecrit.
(5.7)
(5.8)
Ces equations sont maintenant decouplees : pour chacune des variables , cest une
equation doscillateur harmonique simple ! (Noter que dans le cas des ressorts ou pendules
couples, est la coordonnee relative, + celle du centre de masse.) Les deux frequences
20 + 202 ,
(5.9)
10 Novembre 2008
96
M
ethodes math
ematiques pour physiciens. LP206
(5.10)
1
(+ + )
2
x2 =
1
(+ ) ,
2
(5.11)
les quatre constantes A et etant finalement determinees par les conditions initiales
sur x1 et x2 .
10
-1
-1
-2
-2
-3
-3
10
12
14
Fig. 7: On a port
e verticalement x1 + (en rouge) et x2 (en bleu), en prenant
= 2. On a pris lamplitude initiale a = 1. A gauche, couplage fort : 0 = 30, 0 = 1; a
`
droite, couplage faible, 0 = 5, 0 = 50.
Supposons par exemple que le syst`eme au temps t = 0 est tel que seule la coordonnee
x1 est non nulle, x1 (0) = a, tandis que x2 (0) = 0 et que les vitesses initiales sont nulles
x 1 (0) = x 2 (0) = 0. Alors
+ +
+
a
(cos + t + cos t) = a cos(
t) cos(
t)
2
2
2
a
+ +
+
x2 (t) = (cos + t cos t) = a sin(
t) sin(
t)
2
2
2
x1 (t) =
(5.12)
dont on peut dessiner le graphe, voir figure 7. Dans le cas dun couplage fort, 0 0 ,
oscillent ensemble, avec des oscillations rapides (de frequence /2 elevee) et damplitude
a/2 autour de leur mouvement doscillation lent (de frequence 0 /2 basse). Dans le cas
dun couplage faible, 0 0 , + = 0 , + 02 /0 0 , les oscillations du
+ +
,
2
+
/2), mais leur amplitude varie lentement (puisque + 0 ) comme cos(
t)
2
+
ou sin(
t). Il y a donc des battements, eux aussi en quadrature. Il y a transfert
2
J.-B. Z.
Chapitre 4. Syst`
emes lin
eaires
97
equation du mouvement s
ecrit
m
xn = K(xn1 2xn + xn+1 ) .
(5.13)
(5.14)
Noter que le d
ephasage
etant lin
eaire en n, la position discr`
ete sur la chane, largument du cosinus peut
= t k(na), avec = 2a/, k = /a = 2/, ce qui le met sous une forme
s
ecrire aussi t 2 na
famili`
ere dans la description des ondes. L
equation est satisfaite a
` condition que m 2 = 2K(1 cos ).
Posons 02 = K/m, 0 est la fr
equence propre de chaque ressort. A chaque valeur de , cest-`
a-dire de la
` basse fr
longueur donde , correspond une fr
equence dune onde . A
equence, 0 , on a 1,
on peut d
evelopper 1 cos pour trouver /0 , donc un nombre donde k = 2/ = /(a0 ). Le
nombre donde est proportionnel a
` la fr
equence, comme dans une onde
electromagn
etique.
J.-B. Z.
10 Novembre 2008
98
M
ethodes math
ematiques pour physiciens. LP206
.
10 Novembre 2008
J.-B. Z.
Les chapitres precedents nous ont familiarises avec les proprietes des syst`emes lineaires :
reponse lineaire, decouplage des modes, etc. Mais la linearite dun syst`eme physique nest
le plus souvent quune premi`ere approximation de sa description. Dans ce chapitre, on
va explorer quelques-unes des nouveautes que reserve letude des syst`emes non-lineaires,
cest-`a-dire des syst`emes regis par des equations differentielles, aux derivees partielles,
integrales, ou aux differences finies non lineaires.
Nous avons d
ej`
a rencontr
e des
equations diff
erentielles ou aux d
eriv
ees partielles. Une
equation
aux diff
erences finies est par exemple une
equation de la forme y(t + t) y(t) = F (y(t), t) , o`
u F est
une fonction donn
ee. On peut penser a
` une telle
equation comme une version discr
etis
ee de l
equation
diff
erentielle y(t)
y(t) + a 2
1
0
Letude des syst`emes non-lineaires est un domaine immense, tr`es actif actuellement
Exemples : Equation
du pendule au del`a de lapproximation des petites oscillations,
2
Equations
du premier ordre non lineaires, telles x = a bx2 , x = ax bx3 (Landau), quon
va discuter plus bas, etc. Autre type dequations, les equations aux differences finies, telle
Nn+1 = aNn bNn2 avec b > 0 decrivant la variation de la population dune esp`ece (Nn
est leffectif de la generation n, le terme aNn decrit sa reproduction, bNn2 la limitation due
aux ressources alimentaires etc) . . .
1
100
M
ethodes math
ematiques pour physiciens. PHYS206
1. Richesse et sp
ecificit
es des syst`
emes non-lin
eaires. Bifurcations
Une des particularites des syst`emes non-lineaires est la suivante : une petite variation
dune condition aux limites ou dun param`etre peut induire un grand effet. Leffet peut
etre une transition dun regime stable `a un regime instable, un effect irreversible (telle une
cassure), un changement de phase avec ou sans changement de symetrie du syst`eme, un
phenom`ene de seuil, etc. Les exemples qui vont suivre vont illustrer quelques-unes de
ces possibilites. On appelle bifurcation un changement qualitatif de comportement quand
un param`etre ou une condition initiale est modifie.
Par exemple, lanalyse qui nous a conduit au chapitre 4 `a decrire un syst`eme physique
simple, mecanique par exemple, `a laide dun syst`eme lineaire a consiste `a developper
lequation fondamentale de la dynamique au voisinage dun minimum du potentiel. Que se
passe-t-il quand ce potentiel admet plusieurs minima ? Que se passe-t-il quand le minimum
de ce potentiel se change en maximum ? Plus generalement que se passe-t-il si le syst`eme
considere admet plusieurs solutions independantes du temps ? Se qualifient-elles egalement
comme positions dequilibre ? On va examiner quelques exemples de ce phenom`ene.
1.1. Stabilite et instabilite
Soit un syst`eme dynamique decrit par une equation differentielle. Cette equation peut
etre du premier ordre, x(t)
On exprime en g
en
eral cette propri
et
e par la condition suivante : si x0 = x(t0 ) est la condition initiale
() tel que
(1.1)
(1.2)
Si a < 0, cest notre bon vieil oscillateur harmonique, avec sa force de rappel proportionnelle au deplacement. La solution statique xs = 0 decrit un equilibre stable, toute
2
24 Novembre 2008
J.-B. Z.
Chapitre 5. Syst`
emes non-lin
eaires
101
autre solution decrivant des oscillations autour de xs . Mais si a > 0, la situation physique
change dramatiquement. Lequation se resout encore aisement, et x(t) est une combinai
at
x(t) = x1 e
avec x0 = x1 + x2 , x 0 =
at
+ x2 e
a(x1 x2 ). La fonction e
at
at
physiquement cette solution nest pas satisfaisante. Si on ajuste les conditions initiales
pour eliminer cette solution, en faisant en sorte que x1 = 0, soit
x0 = x 0 / a ,
(1.3)
x(t) = x0 e
at
Cependant, la moindre variation des conditions initiales (x0 , x 0 ) qui ne respecte pas la
at
de x(t).
Montrer quune r
ealisation m
ecanique de cette situation o`
u a > 0 est la suivante :
etant donn
e
un potentiel de forme parabolique tournant sa concavit
e vers le bas, on cherche a
` envoyer un mobile de
position et vitesse initiales (x0 , x 0 ) sur le sommet du potentiel (en x = 0). Il est clair quune telle op
eration
n
ecessite un ajustement tr`
es soigneux de x 0 en terme de x0 , (selon (1.3)), et que la moindre erreur conduira
a
` rater la cible et donc a
` tomber a
` gauche ou a
` droite vers .
Linterpretation de cette discussion est quon est en presence dune instabilite. Sous
linfluence dune modification, si infime soit elle, des conditions initiales, le syst`eme bascule
dans un regime o`
u la fonction x(t) crot sans limite (et o`
u lapproximation qui a conduit
`a lequation (1.2) est `
a reconsiderer). La valeur a = 0 du param`etre a marque donc la
fronti`ere entre un regime a < 0 o`
u le syst`eme a une position statique autour duquel il peut
effectuer des petites oscillations et un regime a > 0 o`
u toute solution sous leffet dune
petite perturbation finit par crotre sans limite. Dans le premier cas, on parle dequilibre
stable en x = 0, dans le second, x = 0 est une position dequilibre instable, et la valeur
a = 0 du param`etre de contr
ole a marque une bifurcation.
Cette situation apparat couramment dans les syst`emes non-lineaires. Considerons le
cas de lequation
x = a x2 .
(1.4)
Ses solutions statiques satisfont x2s = a. Pour a < 0, il nexiste pas de solution ; si a > 0,
de contr
ole a. On discutera plus bas la stabilite des deux solutions statiques xs = a.
J.-B. Z.
24 Novembre 2008
102
M
ethodes math
ematiques pour physiciens. PHYS206
1
0.2
0.8
-1
-2
-2
0.6
-0.2
0.4
-0.4
0.2
-0.6
-1
-0.8
-0.2
-1
eter la figure en
Fig. 1: Le potentiel U(x) = a2 x2 + 4b x4 pour a = 1, b = 1. Compl
identifiant les signes de a et b pour chaque courbe.
(1.5)
Cest par exemple un point materiel soumis `a une force derivant dun potentiel m
x =
dU (x)/dx, avec m1 U (x) = a2 x2 + 4b x4 . Une position dequilibre stable pour la variable
x, x(t) = x0 pour tout t, est, comme lintuition mecanique nous le souffle et comme
x = 0 ou si a.b > 0
x=
a
.
b
a
b
(on suppose b > 0) deviennent des positions dequilibre stable possibles, comme on le
verifie. Intuitivement, les choses sont claires : le point materiel se place au fond dun creux
(concave) du potentiel, voir la figure 1 de gauche.
La question est maintenant, si a > 0, b > 0, laquelle des deux positions dequilibre
le point materiel choisit-il ? On est dans un cas de bistabilite, o`
u deux minima du potentiel sont egalement acceptables comme positions dequilibre. Revenant `a lequation
3
Par minimum local dune fonction f (x), on entend un point x0 tel que, au voisinage de x0 ,
en dessinant le graphe, que la fonction 14 x2 21 x4 + 61 x6 admet un minimum local mais pas global
en x = 0.
24 Novembre 2008
J.-B. Z.
Chapitre 5. Syst`
emes non-lin
eaires
103
Plus precisement, si x(t) est solution, x(t) en est une autre. Lensemble des solutions de
lequation est invariant par cette transformation x x. Mais rien nimpose `a une solu-
tion donnee de letre. En particulier, les solutions dequilibre, x = constant, peuvent etre
non invariantes par la symetrie, en loccurrence, etre non nulles. On parle de brisure spontanee de symetrie, le mot spontanee se referant au fait que le choix de la solution depend
du choix des conditions initiales, ou dune perturbation exterieure brisant la symetrie.
Dans le cas (1.5) (avec a, b > 0) qui nous occupe et dans son interpretation mecanique
dun point materiel initialement en x0 = 0 au sommet du maximum local du potentiel,
cest la vitesse initiale v0 = x|
t=0 qui, si petite soit-elle, va determiner si le point materiel
va basculer vers le minimum du potentiel de gauche ou de droite. Cela est une illustration
simple du phenom`ene mentionne plus haut dextreme sensibilite `a une condition initiale.
Le ph
enom`
ene de brisure spontan
ee de sym
etrie est dimportance capitale en physique : les th
eories
du ferromagn
etisme ou de la superfluidit
e, les th
eories modernes de physique des particules, et bien dautres
encore, y font appel.
(1.6)
(1.7)
i = (i + a r 2 )rei .
ou encore en coordonnees polaires z = rei , sous la forme re
i + ir e
Apr`es simplification par ei et en identifiant parties reelle et imaginaire,
r = (a r 2 )r
r = r
(1.8)
Une solution statique est r(t) = 0. Si on ecarte cette solution (cest-`a-dire quon suppose
r = 0), on peut diviser par r lequation en et le syst`eme se reduit `a
r = (a r 2 )r
J.-B. Z.
= 1 .
(1.9)
24 Novembre 2008
104
M
ethodes math
ematiques pour physiciens. PHYS206
Le mouvement seffectue `
a vitesse angulaire constante, (t) = (0) + t. Lanalyse de
lequation en r ressemble `
a celle de (1.4). Si a < 0, la seule solution statique est rs = 0, si
2. Analyse de stabilit
e : m
ethode graphique et lin
earisation.
2.1. Flot de x(t). Interpretation graphique du crit`ere < 0 de stabilite.
On a vu plus haut quune solution statique xs est dite stable si une solution voisine de xs
au temps t0 en reste proche `
a tout temps ulterieur. Pour une equation du premier ordre
x = f (x, a)
(2.1)
il existe une methode graphique simple permettant de discuter la stabilite des solutions
statiques, et plus generalement le flot de la solution x(t).
Dessinons le graphe de f (x, a) en fonction de x `a a fixe. Les points dintersection de
(i)
ce graphe avec laxe des abscisses (laxe des x) sont les solutions statiques xs , i = 1, 2 .
f(x,a)
x
xs
(1)
x0
xs
(2)
xs(3)
24 Novembre 2008
J.-B. Z.
Chapitre 5. Syst`
emes non-lin
eaires
105
respectivement pour xs
(2)
< x0 < xs
(3)
x0 o`
u f (x0 , a) < 0 donne un flot de x(t) decroissant soit vers le xs le plus proche inferieur
`a x0 , soit vers .
(j)
xs
(t)
(2.2)
(2.3)
o`
u := f /x|xs est independant de t (mais depend du param`etre de controle a). Selon
le signe de , la conclusion est differente. Si < 0, la perturbation (t) reste bornee par
sa valeur initiale `
a t = 0. La solution xs est stable 4 . Si par contre > 0, la perturbation
(t) augmente exponentiellement avec le temps, et si petite quelle ait ete au temps t0 = 0,
elle finit par devenir arbitrairement grande (et `a rendre incorrecte lapproximation lineaire
quon vient deffectuer). On conclut `a linstabilite de la solution xs . Noter quon a bien
retrouve la conclusion de lanalyse graphique precedente.
4
1 ; il faudrait pour cela demontrer que les termes dordre plus eleve en naffectent pas la
24 Novembre 2008
106
M
ethodes math
ematiques pour physiciens. PHYS206
statique xs = a, cest-`
a-dire posant x = xs + et ne gardant que les termes lineaires en
conduit `
a = 2xs , dont la solution (t) = (0)e2xs t a un comportement radicalement
o`
u le membre de gauche ne depend que de x, et celui de droite de t. On peut donc lintegrer
en prenant en compte la condition initiale x(0) = x0 , et en distinguant les cas a > 0, a = 0
ou a < 0.
ecrit alors
dx
dx
1
x
=
= Arc tan
a x2
x2 + 2
et donc en int
egrant entre t = 0 et t, et x = x0 et x,
t=
Arc tan
x
x0
Arc tan
(2.4)
tan u + tan v
1 tan u tan v
(2.5)
et un peu dalg`
ebre conduisent alors a
` lune des formules ci-dessous. Le cas a > 0 se traite de mani`
ere
analogue, les tan
etant remplac
ees par leur version hyperbolique. Le cas a = 0 est particuli`
erement simple.
a a+x0 tanh(at)
x0
si a = 0
(2.6)
x(t) = 1+x0 t
x0 a tan( at)
a a+x tan(at) si a < 0
0
(1 tanh( at))(x0 a)
a= a
t const.(x0 a)e2 at .
a + x0 tanh( at)
J.-B. Z.
Chapitre 5. Syst`
emes non-lin
eaires
107
Quelle que soit la valeur initiale x0 > a, la solution x(t) converge vers a. Pour a > 0
mais x0 < a, quand le temps t tend vers t1 donne par at1 = Arg tanh x0 a qui est
La position dequilibre stable + a est donc un point attracteur, tandis que a est
repulsif.
1 Arc tan
a
a
x0
(plus
eventuellement ) qui est positif. Donc pour a < 0, x(t) diverge vers , quelle que soit
la valeur x0 .
1
1
0.5
1
0.5
1.5
2.5
1.5
-2
-1
-4
-2
-6
-3
-8
-4
ax2
a
a
0
(a)
(b)
Fig. 4: (a) : Diagramme de flot de (1.4) pour a > 0; (b) : diagramme de bifurcation de
(1.4).
J.-B. Z.
24 Novembre 2008
108
M
ethodes math
ematiques pour physiciens. PHYS206
Pour a = 0, x(t) tend vers 0 quand t quel que soit x0 0, mais vers quand
t 1/x0 si x0 < 0. Noter que dans ce dernier cas, la singularite (la valeur infinie) de
x est atteinte en un temps fini. La solution xs = 0 du cas a = 0 est donc une position
dequilibre instable.
Exercice : dessiner les diagrammes de flot pour les cas a < 0 et a = 0.
Lanalyse des solutions (2.6) a donc confirme les conclusions de la linearisation. On
dessine un diagramme de bifurcation resumant ces conclusions, voir figure 4(b).
2.4. Linearisation dune equation dordre plus eleve : linearisation au voisinage dun
extremum du potentiel.
La methode de linearisation sapplique aussi `a des equations differentielles dordre plus
eleve, par exemple `
a lequation du mouvement dun point materiel soumis `a une force
derivant dun potentiel,
x
(t) = U (x(t))
avec U (x) =
d
dx U (x).
(2.7)
o`
u U (xs ) = 0, et selon la discussion precedente, pour en discuter la stabilite, on developpe
U (x) et U (x) au premier ordre non trivial pour x xs +
1
U (x) = U (xs ) + U (xs ) + U (xs ) 2 +
2
0
(2.8)
U (x) = U (xs ) +
Lineariser lequation (2.7), cest ne conserver que le terme lineaire en dans U (x), donc
ecrire
= U (xs ) .
(t)
(2.9)
On est ramene `
a la discussion de lequation (1.2). La solution = 0, cest-`a-dire x = xs ,
est stable si a = U (xs ) < 0, soit U (xs ) > 0. Ceci est en accord avec notre assertion
anterieure quune solution statique stable correspond `a un minimum du potentiel.
2.5. Linearisation du syst`eme de Hopf
Revenons maintenant `
a (1.6), ou plutot `a (1.9), r = (a r 2 )r , = 1. Appliquons lanalyse
lineaire precedente `
a lequation en r : elle a deux solutions statiques rs = 0 et rs = a,
24 Novembre 2008
J.-B. Z.
109
Chapitre 5. Syst`
emes non-lin
eaires
(2.10)
a
si rs =
0
2a si rs = a
o`
u on a finalement omis les termes (). Si a < 0, on est necessairement dans le premier
cas (rs = 0), et on voit que (t) = (0)eat qui tend vers zero `a grand t, le point rs = 0
est donc stable. Si a > 0, rs = 0 est instable, tandis que pour rs = a, (t) = (0)e2at
tend vers zero, rs = a est stable. Enfin on traite separement le cas a = 0, r = r 3 qui
na que la solution rs = 0 et pour laquelle lanalyse de stabilite lineaire ne permet pas de
conclure. Dans ce cas lequation de Hopf radiale est simplement r = r 3 , soit
d 1
dt r2
= 2,
Lequation (1.9) peut en fait se resoudre exactement pour tout a en separant les
variables
dt =
qui sint`egre en
dr
dr
=
r(a r 2 )
a
r
1
+
a r2
r
e2at = C
r2
|a r 2 |
1
r2
d ln
,
2a
|a r 2 |
(2.11)
r2
0
o`
u la constante C est fixee par la valeur initiale r0 := r(0), soit 1 = C |ar
2 | , et donc
0
r2
r02
=
e2at
a r2
a r02
(car on verifie que a r 2 reste toujours du meme signe que a r02 ). De cette derni`ere
equation on tire lexpression de r 2 puis finalement, celle de r(t) (qui est > 0 par definition)
a
r0
si a = 0
r02 +(ar02 )e2at
r(t) =
.
(2.12)
r0 2
si a = 0
1+2r0 t
On voit sur ces formules que la limite t est tr`es differente selon que a > 0 (o`
u
u r(t) 0).
r(t) a), ou a 0 (o`
Les figures qui suivent illustrent ces differents cas. Dans les cas (a) et (b) o`
u a > 0, la
trajectoire tend vers rs = a qui est donc attractive : on dit que le cercle de rayon r = rs =
J.-B. Z.
24 Novembre 2008
110
M
ethodes math
ematiques pour physiciens. PHYS206
0.3
0.04
0.2
0.02
0.1
0.4
-0.3
-0.2
-0.1
0.1
0.2
0.3
-0.06
-0.04
-0.02
0.02
0.04
0.2
-0.4
-0.2
0.2
0.4
0.6
0.8
-0.1
-0.02
-0.2
-0.04
-0.3
-0.06
-0.2
-0.4
a
0
Fig. 6: Diagramme de bifurcation pour le syst`
eme de Hopf
Le diagramme de bifurcation peut aussi se dessiner dans le plan (a, r), voir fig. 6.
Exercice. Tracer le diagramme de flot de r(t) en distinguant les cas a < 0 et a > 0.
3. Portrait de phase
3.1. Espace de phases
Considerons un point dans lespace ordinaire R3 , decrit par trois coordonnees spatiales
xi , i = 1, 2, 3. Sa dynamique fait apparatre sa vitesse, de coordonnees vi , ou de facon
24 Novembre 2008
J.-B. Z.
Chapitre 5. Syst`
emes non-lin
eaires
111
equivalente, son impulsion pi = mvi . En physique, on appelle espace des phases un espace
de dimension 6 (dans le cas considere ici), de coordonnees (xi , vi ), i = 1, 2, 3. Une loi
du mouvement xi = fi (t) implique par derivation la loi de vi = fi (t), et lensemble des
points (xi = fi (t), vi = fi (t)) definit une courbe (parametree par t) dans lespace des
phases, nommee portrait de phase. Inversement etant donnee une telle courbe, on peut
reconstruire la loi du mouvement : pour plus de simplicite, restreignons-nous `a un syst`eme
`a un degre de liberte (cest-`
a-dire une seule coordonnee x), dont lespace des phases (de
coordonnees x et v) est donc de dimension 2. Si au voisinage dun point x0 on peut decrire
la courbe par v = (x), la fonction cherchee x(t) doit etre telle que x(t)
x
x0
o`
u le syst`eme est en x0 .
Exemple : considerons un oscillateur harmonique libre non amorti, de frequence propre
0 , donc obeissant `
a lequation x + 02 x = 0. Si au temps t = 0, il est lache sans vitesse
initiale depuis la position x0 , sa loi du mouvement est x(t) = x0 cos 0 t, donc v(t) =
x0 0 sin 0 t. La trajectoire dans lespace de phases est la courbe parametree (x(t), v(t)),
donc une ellipse x2 +v 2 /02 = x20 . Inversement, etant donnee cette ellipse, on en choisit une
branche, (soit la partie superieure, soit la partie inferieure de lellipse dans le plan (x, v),
cest-`a-dire quon fait un choix de signe pour la racine carree), par exemple v = 0
x20 x2
de pr`es.).
Sans meme resoudre explicitement lequation horaire (lequation du mouvement), on
peut lire beaucoup dinformations concernant le mouvement sur le portrait de phase
(x, v). Considerons en effet un point (x, v = 0
branche superieure de lellipse). Le fait que v > 0 signifie qu`a partir de ce point, le
mouvement seffectue vers la droite sur cette branche, jusqu`a ce que v sannule et change
de signe, cest-`
a-dire quon passe sur la branche inferieure ; `a partir de ce moment, la
conclusion est inversee et le mouvement seffectue vers la gauche sur la branche inferieure
jusqu`
a ce quil recoupe `
a nouveau laxe, etc. Le mouvement dans lespace des phases est
donc un mouvement dans le sens des aiguilles dune montre le long de lellipse.
Ces considerations setendent `a un syst`eme `a N degres de liberte, cest-`a-dire decrit
par N coordonnees xi : lespace de phases est alors de dimension 2N .
J.-B. Z.
24 Novembre 2008
112
M
ethodes math
ematiques pour physiciens. PHYS206
resoudre
= 20
d
ef 0
20 ,
avec =
2 sin2
(3.1)
o`
u 0 = 0 est la vitesse angulaire au point o`
u = 0 (donc E/m2 = 12 20
seffectue sur une meme branche et dans une direction donnee tant que ne sannule pas.
Si > 0 (branche superieure), crot au cours du mouvement, donc le point se deplace
vers la droite. Le mouvement ne peut changer de sens que si vient `a sannuler.
Pour 1, , sont (au plus) dordre 1 en , et lequation se simplifie en
= 20
J.-B. Z.
Chapitre 5. Syst`
emes non-lin
eaires
113
oscillant, entre des angles m , avec sin(m /2) = . On obtient la periode en integrant
lequation du mouvement, l`
a encore une equation differentielle `a variables separees :
d
d
.
(3.2)
dt =
=
()
2 2 sin2
0
Comme esquiss
e au chapitre 2, 4, la demi-p
eriode correspond au temps n
ecessaire au pendule pour
osciller mettons entre les angles m et m , (donc avec une vitesse angulaire > 0, do`
u le choix du signe
+ dans (3.2)) soit
m
T
=
2
m 20
et le changement de variable dint
egration sin
m
= sin
T =4
0
20
sin2 2m
sin2 2
d
2 sin2
m
2
(3.3)
sin u am`
ene a
` (le v
erifier !)
4
0
du
1 sin2 u sin2
m
2
(3.4)
La p
eriode est donc donn
ee en fonction de langle maximum m par cette int
egrale non triviale, nomm
ee
int
egrale elliptique de premi`
ere esp`
ece
T =4
m def
K(sin2
) = 4
g
2
/2
du
1 sin2 u sin2
m
2
(3.5)
pendule atteint la verticale avec une vitesse nulle. La periode T tend vers linfini quand
1.
Enfin pour > 1, le radical dans (3.1) ne sannule jamais, donc le sens du mouvement
sur le portrait de phase ne sinverse jamais : vers la gauche sur la branche inferieure, vers
la droite sur la superieure.
2
-3
-2
-1
-1
-2
J.-B. Z.
24 Novembre 2008
114
M
ethodes math
ematiques pour physiciens. PHYS206
Voir le portrait de phase sur la figure 7. Noter que des trajectoires sintersectent
aux points = (2k + 1), qui correspondent `a des points dequilibre instable. Les trajectoires qui passent par ces points separent les trajectoires fermees, du type elliptique, des
trajectoires ouvertes. Pour cette raison, elles sont appelees separatrices.
4. Le mod`
ele proie-pr
edateur,
equation de Lotka-Volterra. (traite en TD)
Il sagit dun mod`ele dinteractions entre deux populations, les petits poissons et les gros,
les seconds mangeant les premiers . . . Il a ete initialement propose par Lotka pour la
modelisation de certaines reactions chimiques, puis applique par Volterra `a levolution de
populations de poissons dans lAdriatique. On ecrit donc
dp
= p apP
dt
dP
= P + ApP
dt
(4.1)
o`
u les quatre constantes sont positives, homog`enes `a linverse dun temps. Si les petits
poissons etaient seuls, serait leur taux de croissance (exponentielle), si les gros etaient
sans proies, serait leur taux dextinction. Les constantes non diagonales decrivent les
interactions entre ces populations.
Ce syst`eme admet des solutions triviales
p = P = 0;
p = 0, P (t) = P (0) et ;
P = 0, p(t) = p(0) et .
(4.2)
On cherche des solutions dans R2+ . Que sont les points fixes ? Ils sont solutions de
{ps = aps Ps ,
d
p
dt
,
A a
(4.3)
point fixe non trivial, on note quon peut recrire (4.1) sous la forme
p = ap(P Ps ) ,
P = AP (p ps ) .
(4.4)
dP
= APs p
dt
(4.5)
J.-B. Z.
Chapitre 5. Syst`
emes non-lin
eaires
115
donc en eliminant P
d2 p
= aAps Ps p
dt2
(ou la meme equation pour P ), equation du type oscillateur harmonique de frequence
propre donnee par 02 = aAps Ps = . Donc la version linearisee des equations de LotkaVolterra a pour solution
p(t) = ps + (p(0) ps ) cos 0 t
P (t) = Ps + (P (0) Ps ) cos 0 t +
a
(P (0) Ps ) sin 0 t
A
(4.6)
A
(p(0) ps ) sin 0 t
a
Sil est difficile de dessiner le portrait de phase (un syst`eme de courbes dans un espace
de dimension 4 !), on peut le representer `a deux dimensions dans le plan (p, P ) en dessinant
en chaque point le vecteur vitesse (p,
P ). Les trajectoires sont des courbes tangentes `a
ce champ de vitesse. Les equations (4.4) impliquent que le champ de vitesse, donc les
trajectoires, senroulent autour du point fixe non trivial dans le sens positif. On montre
en outre que les trajectoires sont fermees, donc periodiques. Voir figure 8.
Un dernier point au sujet de lequation de Lotka-Volterra. Malgre sa non-linearite, on
peut trouver une quantite conservee. Si on pose u = ln p, U = ln P , les equations (4.1) se
mettent sous la forme
du
= aeU ,
dt
J.-B. Z.
dU
= + Aeu .
dt
(4.7)
24 Novembre 2008
116
M
ethodes math
ematiques pour physiciens. PHYS206
H
H
dH
U+
=
u = 0 .
dt
U
u
Or il est aise dintegrer les deux equations
U H = aeU ,
u H = Aeu
seconde H(u, U ) = U aeU + u Aeu , `a une constante additive sans importance pr`es.
Le mouvement seffectue donc sur la courbe dequation
ln P aP + ln p Ap = constante ,
(4.8)
ou encore
P p = CeaP +Ap .
la constante C etant fixee par les conditions initiales.
5. Applications r
ecursives
Ce paragraphe est consacre au cas de syst`emes regis par des equations aux differences
finies, pouvant se mettre sous forme dapplications recursives xn = f (xn1 ) ou xn =
f (xn1 , xn2 ), etc
De telles applications peuvent etre vues comme des discretisations dune equation
differentielle, respectivement du premier, du deuxi`eme etc ordre. A ce titre, elles peuvent
representer une methode pratique de resolution numerique de telles equations. Elles peuvent aussi apparatre de plein droit dans letude de syst`emes dynamiques o`
u on na acc`es
qu`a des valeurs de la variable `
a des temps discrets, par exemple la position dune com`ete `a
son perihelie, la population dune esp`ece de tortues marines lors de leur ponte annuelle. . .
24 Novembre 2008
J.-B. Z.
Chapitre 5. Syst`
emes non-lin
eaires
117
(5.1)
o`
u f est une fonction supposee continue et derivable, et etudions ses points fixes et la
stabilite de sa linearisation au voisinage de ces points fixes. Les points fixes quil est
traditionnel de denoter par x satisfont
x = f (x ) .
Geometriquement, ce sont les abscisses des points dintersection de la courbe y = f (x)
avec la premi`ere bissectrice.
Lineariser literation au voisinage dun de ses points fixes x , cest definir une nouvelle
suite un = xn x et recrire la relation en termes des un en developpant f au premier
ordre en u
(5.2)
differents. Si < 1, la suite un converge vers zero, cest-`a-dire xn tend vers la limite
x . Au contraire, si > 1, la suite un diverge et, selon cette analyse de stabilite lineaire,
xn ne converge pas vers x (mais rien ninterdit quil converge vers un autre point fixe).
On peut aussi visualiser cette condition sur et la convergence ou non de xn vers
x par une methode graphique. Cette methode est illustree sur lexemple de la suite
le voit sur la figure 9a, cette racine nest pas la limite de cette suite qui en fait converge
J.-B. Z.
24 Novembre 2008
118
M
ethodes math
ematiques pour physiciens. PHYS206
y=e 2
y=x
y=x
1
x4
x*
x2 x1
x3
x+*
y=1/ x
x
x*
x1
(b)
(a)
vers lautre racine xn x 1.84141. On dit parfois que x+ est un point fixe repulsif,
x un point fixe attractif de literation. Noter que la meme relation de recurrence avec la
(5.3)
Etudier
de la m
eme facon la convergence de la suite xn = 3(1 exn1 ) vers la racine positive de
l
equation x = 3(1 ex ) rencontr
ee dans l
etude du corps noir (cf TD 2 et TP). (Literation converge
car la fonction (x) = 3(1 ex ) a une pente (x) = 3ex < 1 au voisinage de x = 3 (e3 1/20).)
(5.4)
J.-B. Z.
Chapitre 5. Syst`
emes non-lin
eaires
119
o`
u x est une variable dans lintervalle [0, 1] et a est un param`etre positif. En depit de son
apparente simplicite, cette application iterative rev`ele de surprenantes richesses . . .
Noter dabord quelle constitue une discr
etisation de l
equation dite de Verhulst, x = Ax Bx2 ,
qui, elle, nexhibe aucun ph
enom`
ene particuli`
erement int
eressant. Cette
equation diff
erentielle peut par
changement des variables x = A
x/B et t = At se mettre sous la forme canonique
d
x
=x
(1 x
)
dt
(5.5)
puis sint`
egre ais
ement par s
eparation de variables,
dt =
d
x
d
x
d
x
x
= d ln
x
x
2
x
1x
1x
soit
x
(0)
x
(t)
=
et .
1x
(0)
1x
(t)
On peut en fait se d
ebarrasser des valeurs absolues : l
equation pr
ec
edente montre que x
(t)/(1 x
(t)) ne
sannule pas au cours du temps, donc est du m
eme signe que x
(0)/(1 x
(0)). On en tire alors la solution
x
(t) =
etx
(0)
1 + (et 1)
x(0)
eAt x(0)
1+
B At
(e
A
1)x(0)
0.8
a 3.2
0.6
0.4
a 1.5
0.2
a 0.5
0
10
15
20
25
30
Fig. 10: It
erations xn = fn (x0 ) de lapplication logistique pour une condition initiale
quelconque, ici x0 = 0.1234567890, et, de bas en haut a = 0.5, a = 1.5 et a = 3.2. Laxe
des abscisses porte la valeur de n + 1.
J.-B. Z.
24 Novembre 2008
120
M
ethodes math
ematiques pour physiciens. PHYS206
1
a 4
0.8
a 3
0.6
a 2
0.4
a 1.5
a 1
a 0.5
0.2
0.2
0.4
0.6
0.8
1
,
2
(5.6)
n fois
la condition initiale pour une equation differentielle du premier ordre). Avec la notation
precedente, on a xn = fn (x0 ). Il est aise de calculer numeriquement les xn successifs pour
une valeur du param`etre a donnee. Voir figure 10.
Il est beaucoup moins ais
e de donner une expression ferm
ee de xn , en dehors de quelques valeurs
particuli`
eres de a. Par exemple pour a = 2, (5.4) est
equivalent a
` 1 2xn+1 = (1 2xn )2 donc ln(1
n+1
2xn+1 ) = 2 ln(1 2xn ) = = 2
ln(1 2x0 ).
Il apparat sur la figure que la suite (xn ) (la trajectoire de x si on pense `a n comme
une discretisation du temps) a une limite quand t pour a petit, vers une valeur nulle
ou finie, selon a, mais oscille pour a plus grand. Il est aise de confirmer par lanalyse cette
constatation empirique. Les limites possibles de xn sont les points fixes attractifs (au sens
de (5.3)) de lapplication. Les points fixes x sont solutions de x = ax (1 x ). Ce sont
donc
x = 0
et
x = 1 a1
(5.7)
mais la deuxi`eme valeur est en dehors de lintervalle [0, 1] pour a < 1 et doit donc etre
rejetee. Donc pour 0 a < 1, le seul point fixe est x = 0, et il est attractif selon le crit`ere
24 Novembre 2008
J.-B. Z.
Chapitre 5. Syst`
emes non-lin
eaires
121
(5.3) puisque f (0) = a est bien de module inferieur `a 1. Pour a 1 un nouveau point
En a1 = 3 se produit donc une nouvelle bifurcation. Le point fixe non trivial devient
`a son tour instable. Mais comme le montre la figure 10, lhistoire ne sarrete pas l`a.
En a = 3.2, les xn oscillent entre deux valeurs, ce qui sugg`ere que f2 = f f a des
points fixes non triviaux. Cherchons en effet les points fixes de f2 . On trouve f2 (x) =
a2 x(1 x) 1 ax(1 x) , donc les points fixes non triviaux x = 0 satisfont une equation
du 3`eme degre 1 = a2 (1 x ) 1 ax (1 x ) dont le point fixe non trivial de f doit
etre aussi solution (tout point fixe de f est point fixe de f2 !). Cela permet de ramener
lequation du 3`eme degre `
a une equation du 2`eme degre
1 a2 (1 x ) 1 ax (1 x ) = (1 a + ax)(1 + a a(1 + a)x + a2 x2 ) = 0
et les racines du facteur de degre 2 sont
x2 =
1
1 + a1
2
(1 + a1 )(1 3a1 )
Elles sont reelles pour a 3, egales `a 2/3 en a = 3 et restent dans [0, 1] pour tout a > 3.
Lanalyse de stabilite lineaire montre que les deux solutions sont stables (sous laction
0.6
0.4
a 3.5
0.2
10
15
20
25
30
Fig. 12: It
erations xn = fn (x0 ) de lapplication logistique pour x0 = 0.1234567890 (un
choix arbitraire !) et a = 3.5. Laxe des abscisses porte la valeur de n + 1.
J.-B. Z.
24 Novembre 2008
122
M
ethodes math
ematiques pour physiciens. PHYS206
1
f_1
0.8
0.6
f_4
0.4
f_2
0.2
0.2
0.4
0.6
0.8
Fig. 13: It
erations xn = fn (x) de lapplication logistique pour a = 3.5. f = f1 , f2 et f4
sont port
ees respectivement en trait fin, en pointill
e et en trait gras.
Au del`
a de cette valeur, le meme scenario se rep`ete. Comme le montre la figure 12,
pour a = 3.5, apparaissent des oscillations de xn = fn (x0 ) entre quatre valeurs, ce qui
montre que lon est maintenant en presence de cycles de longueur 4. Il faut donc examiner
la fonction f4 et ses points fixes (fig. 13).
Sur la figure 13, dessinee pour a = 3.5, apparaissent les points fixes de f , les deux
supplementaires de f2 , visibles aux points dintersection avec la droite y = x, mais dotes
dune pente (en valeur absolue) superieure `a 1, donc instables. Seuls les 4 nouveaux points
fixes de f4 sont stables.
0.8
0.6
0.4
0.2
0.5
1.5
2.5
3.5
Fig. 14: Le d
ebut de la cascade de Feigenbaum : bifurcations successives des points fixes
de f2n en ceux de f2n+1 . Ici on voit ceux de f1 = f , f2 et f4 . Les courbes en tirets
signalent des points fixes instables.
J.-B. Z.
Chapitre 5. Syst`
emes non-lin
eaires
123
valable dans une plage encore plus etroite de valeurs de a au bout de laquelle une nouvelle
bifurcation, et un nouveau doublement de periode, se produisent, etc. On peut representer
cette cascade de bifurcations comme sur la figure 14. Cest la cascade de Feigenbaum, du
nom de son decouvreur (1978).
Une etude plus detaillee montre quapparaissent successivement des points fixes nouveaux de f2r , attractifs dans un intervalle ar < a < ar+1 tandis que les points fixes
precedents deviennent instables. La suite ar converge vers a = 3.569945 et la suite des
ar ar1
ar+1 ar
on a
ar a A r .
Fait tr`es remarquable, cette valeur de a des proprietes duniversalite, en ce sens quelle
ne depend pas du choix de la fonction f pourvu que cette fonction applique lintervalle
[0, 1] sur lui-meme et quelle ait un maximum quadratique dans cet intervalle (le fait que
f (xm ) = 0, avec ici xm = 21 , etant donc le fait crucial). Par contre, les valeurs de a ou
de la constante A dans (5.8) ne sont pas universelles, mais dependent de la nature precise
de la fonction f . Ainsi, literation xn+1 =
si la valeur de a est differente.
a
4
precedents sont instables, il existe par contre pour la plupart des valeurs de a dans cet
intervalle une orbite aperiodique, dite attracteur etrange, faite dune infinite de points x, et
le long de laquelle le comportement des iteres successifs dun x0 semble erratique. Il existe
aussi des plages etroites de a o`
u des p-cycles nouveaux apparaissent, avec `a nouveau des
doublements de periode et des cascades de Feigenbaum (phenom`ene dintermittence).
Par exemple, pour 1 + 8 = 3.8284 < a < 3.8495, des 3 2r -cycles stables existent.
Ces p-cycles se voient comme des zones claires sur le diagramme des orbites ci-dessous
(figure 15). Pour a generique, le syst`eme presente un comportement quon aime associer
au chaos, cest-`
a-dire une extreme sensibilite aux conditions initiales. Dans ce cas, pour
deux valeurs initiales x0 et x0 proches, lintervalle xn xn crot exponentiellement
|xn xn | n |x0 x0 | ,
5
En fait la fonction f doit verifier plusieurs conditions techniques, quelle ait un maximum
y soit negative.
J.-B. Z.
24 Novembre 2008
124
M
ethodes math
ematiques pour physiciens. PHYS206
(5.9)
n+1 = 2n mod .
et donc |n n | = 2n |0 0 | mod .
Literation logistique est un des mod`eles de base pour etudier les phenom`enes encore
mal compris dapparition du chaos et de la turbulence. Il existe en effet des situations
experimentales (convexion de Rayleigh-Benard dans des cellules contenant de lhelium
liquide ou du mercure, experiences dA. Libchaber et al.) dans lesquelles on observe une
cascade de doublements de frequence avant lapparition dun regime turbulent, et dans
lesquelles les proprietes universelles des iterations se manifestent. Pour en savoir plus, voir
par exemple http://hal.archives-ouvertes.fr/jpa-00232033/en/ .
24 Novembre 2008
J.-B. Z.
Chapitre 6. Equations
de bilan
1. Courant. Equation
de conservation.
1.1. Densite et courant
Considerons un corps essentiellement unidimensionnel (tel un fil, un tuyau) contenant un
fluide, soit materiel, particules solides, charges electriques, fluide liquide ou gazeux. . . , soit
immateriel, chaleur, etc. Par fluide, on entend un syst`eme mouvant, dote de proprietes
de transport. La quantite de fluide contenue dans un petit element de ce corps est decrite
en tout point par une densite (volumique) (x, t) qui varie selon x et le temps t. La quantite
totale contenue dans un petit volume, entre les abscisses x et x + dx, est donc
dN = (x, t)dxS
si S est la section transverse du corps. (On aurait aussi pu introduire la densite lineque
(x, t) et ecrire dN = (x, t)dx.)
dx
j(x+dx)
j(x)
x+dx
Lelement de volume considere voit une certaine quantite de fluide entrer ou sortir
par ses extremites `
a chaque instant. On decrit cela en definissant le courant j(x, t). Par
definition la quantite algebrique (cest-`a-dire positive ou negative) de fluide traversant la
section S dans le sens des x croissants, cest-`a-dire de gauche `a droite, pendant le temps
dt est
d N (x, t) = j(x, t)Sdt .
Noter que cette quantite peut representer elle-meme un bilan, dans le cas par exemple o`
u
des particules traversent la surface S vers la gauche et dautres vers la droite. Dans ce
cas on a bien s
ur
j(x, t)dtS = #particules allant vers la droite #particules allant vers la gauche ,
`a travers la surface S au point x, pendant le temps dt. La quantite jS est le flux de
j `a travers la surface S.
126
M
ethodes math
ematiques pour physiciens. LP206
(1.1)
et donc
(x, t) j(x, t)
+
=0,
t
x
(1.2)
(1.3)
o`
u div j est lop
erateur divergence, qui s
ecrit en coordonn
ees rectangulaires
div j(x, y, z, t) := x jx + y jy + z jz .
1.3. Equation
de continuite dun fluide
Revenons `
a notre fluide contenu dans un corps unidimensionnel. Si la variation de la
quantite de fluide est due `
a un mouvement densemble `a une vitesse v(x, t), la quantite
qui traverse S entre les temps t et t + dt est celle qui etait contenue au temps t dans le
volume Sdx avec dx = vdt, donc
j(x, t)Sdt = (x, t)dxS = (x, t)v(x, t)dtS
1 D
ecembre 2008
J.-B. Z.
Chapitre 6. Equations
de bilan
127
soit
j(x, t) = (x, t)v(x, t) ,
(1.4)
(1.5)
t + x v + vx = 0 ,
(1.6)
ou encore
o`
u le dernier terme prend en compte une eventuelle compressibilite du fluide, cest-`a-dire
une variation de la densite dun point `a lautre. (La generalisation tridimensionnelle
ne pose pas de probl`eme div (v) + t = 0, ou encore t + div v + v. = 0). Cest
lequation de continuite, tr`es importante en hydrodynamique.
Dans le cas o`
u la vitesse v est independante de x, (mouvement en bloc du fluide),
lequation (1.6) se reduit `
a (t + vx ) = 0 dont la solution est de la forme (x, t) =
f (x vt), la fonction f etant determinee par la condition initiale, f (x) = (x, 0), donc
(x, t) = (x vt, 0), qui decrit une onde de densite.
1.4. Equation
de la chaleur, equation de diffusion
Le courant j peut aussi decrire le flux de chaleur entrant ou sortant dun corps. Selon
le calcul de bilan effectue plus haut en (1.1), la quantite de chaleur algebrique qui entre
dans le volume elementaire pendant lintervalle de temps dt est dQ = x j(x, t)dxdtS.
Lenergie interne de ce volume varie donc de dU = dQ. On definit la chaleur specifique (`a
volume constant) cV du corps par
dU = cV dT (Sdx) ,
(1.8)
o`
u est la masse volumique. On a donc
cV dT = cV t T dt = x jdt
soit
cV t T = x j .
J.-B. Z.
(1.9)
1 D
ecembre 2008
128
M
ethodes math
ematiques pour physiciens. LP206
Dans de nombreux corps, le courant de chaleur j(x, t) est proportionnel `a la derivee spatiale
(cest-`
a-dire au gradient) de la temperature (loi de Fourier)
j(x, t) = x T ,
(1.10)
o`
u est la conductibilite thermique, une quantite positive et caracteristique du corps,
constante en premi`ere approximation. Cette equation, avec son signe, implique que le
flux de chaleur est dirige vers la region de plus faible temperature, conformement `a notre
experience quotidienne. En combinant (1.9) et (1.10), on aboutit `a l
equation de la
chaleur
2T
T
=
.
t
cV x2
(1.11)
` nouveau, la g
A
en
eralisation a
` trois dimensions noffre pas de difficult
e conceptuelle
T
=
T
t
cV
(1.12)
o`
u=
x2
y 2
z 2
est le laplacien.
(x, t) ,
x
(1.13)
o`
u la constante D, dite constante de diffusion, est positive. Cette loi (empirique) signifie
que les transferts du fluide ont lieu vers les zones o`
u est le plus faible. En la combinant
avec (1.2), on obtient
2
=D 2 ,
t
x
(1.14)
J.-B. Z.
Chapitre 6. Equations
de bilan
129
2. Chane radioactive
Rappelons quun noyau atomique est caracterise par son nombre de protons Z (nombre
atomique) et son nombre de masse A, qui compte la somme protons+neutrons. Des
noyaux de meme Z (correspondant `a la meme esp`ece chimique) mais dotes de A differents
(nombres de neutrons differents) sont dits isotopes. Si X est la denomination de lesp`ece
chimique correspondant `
a Z protons, on note A
Z X lisotope de nombre de masse A
Rappelons encore quil existe des noyaux instables, se desintegrant spontanement selon
lun des trois types de radioactivite, , et . La radioactivite correspond `a lemission
dune particule , autrement dit un noyau dHelium, fait de 2 protons et 2 neutrons. Dans
une telle desintegration,
A
ZX
1
A4
Z2 X + .
http://www.ktf-split.hr/periodni/fr/pse-pdf.html .
J.-B. Z.
1 D
ecembre 2008
130
M
ethodes math
ematiques pour physiciens. LP206
A
Z+1
X + e .
Enfin la radioactivite correspond `a une desexcitation dun noyau par emission dun
gamma, rayonnement electromagnetique de tr`es haute energie. Elle naffecte pas A ni Z et
ne nous concernera pas ici. On connat des chanes delements radioactifs se desintegrant
en cascade. Par exemple, lUranium 238 (lisotope le plus courant de ce corps) subit la
chane suivante de desintegrations
238
92 U
234
234
230
226
222
218
234
90 Th 91 Pa 92 U 90 Th 88 Ra 86 Rn 84 Po
suivi de
218
85 At
218
84 Po
214
83 Bi
214
82 Pb
214
84 Po
210
82 Pb
210
81 Tl
210
206
210
83 Bi 84 Po 82 Pb .
La chane sarrete alors, le Plomb 206 etant un isotope stable. On voit que plusieurs canaux
de desintegration sont parfois possibles pour un meme isotope.
Pour chacune de ces desintegrations, le nombre de desintegrations par unite de temps
est proportionnel au nombre de noyaux presents, avec un taux de desintegration constant,
caracteristique du noyau etudie et de son mode de desintegration. Pendant le temps dt, le
nombre de noyaux se desintegrant (dans un certain canal) est
|dN | = N dt = dN .
(2.1)
(Autrement dit la probabilite dun noyau de se desintegrer est par seconde, voir plus bas
3.2). On definit la demi-vie, notee , par le temps au bout duquel le nombre N a decru
par un facteur 2. En integrant (2.1), on trouve
N (t) = N (0)et
(2.2)
ln 2
(2.3)
J.-B. Z.
Chapitre 6. Equations
de bilan
131
La quantite initiale de lisotope considere decrot dun facteur 1000 au bout dun temps
ln 1000
ln 2
10 (se rappeler que 210 103 ). Par exemple, pour lisotope naturel
238
ln 2
ij
Ni ij +
j
ij
Nk ki .
k
ki
On ecrit
U 234 Th 234 Pa
dU
U
= U U = ln 2
dt
U
Th
U
dTh
ln 2
=
dt
U
Th
Th(t)
U(0) 2t/U
U
Th
ln 2
(2.4)
Th
U(0) 2t/U
U Th
(2.5)
(le premier terme etant la solution generale de lequation homog`ene, le second une solution
particuli`ere de (2.4)). On determine finalement la constante A en fixant la condition initiale
Th(0) = A + Th U(0)/(U Th )
Th(t) = Th(0) 2t/Th +
J.-B. Z.
Th
U(0)(2t/U 2t/Th ) .
U Th
(2.6)
1 D
ecembre 2008
132
M
ethodes math
ematiques pour physiciens. LP206
Noter le signe du deuxi`eme terme dans (2.5) : si U Th (ce qui est le cas, U = 4,5
de noyaux de Th quil ne sen desint`egre par le second processus, et on atteint tr`es vite
(d`es que Th t U ) un regime o`
u le terme 2t/Th 1 tandis que 2t/U 1 et donc
Th(t)
Th
U Th U(0)
t U que le terme 2
t/U
Dans le cas o`
u il existe plusieurs canaux de desintegration pour un isotope X donne,
comme
214
ln 2
et XZ =
ln 2
214
Po et le complement
Bi 210 Tl.
3. Autres
equations de bilan
3.1. Reactions chimiques
Considerons une reaction
aA + bB + cC + dD +
o`
u A, D designent des molecules, a, d sont les coefficients stoechiometriques. Si
1 D
ecembre 2008
dNB
dNC
dND
dNA
=
= =
=
= = d
a
b
c
d
J.-B. Z.
Chapitre 6. Equations
de bilan
133
d
dt
1 dNB
1 dNC
1 dND
1 dNA
=
= =
=
= .
a dt
b dt
c dt
d dt
Si on travaille `
a volume constant V , on pref`ere utiliser les concentrations molaires [A] =
NA
,
V
etc, donc
v=
V d[A]
a dt
aussi se faire, dans les reactions dites auto-catalytiques, que les concentrations [C], [D],
des produits de la reaction interviennent dans cette formule, avec des puissances , , .
dite
equation matresse, qui exprime une fois encore le bilan des transitions amenant a
` ou faisant partir
de la configuration C. (La restriction a
` C = C dans la somme de (3.1) peut
etre lev
ee.)
En sommant sur toutes les configurations C on obtient
dP(C; t)
=
dt
C ,C
et
e trait
e comme une variable continue, et non comme un entier discret), et a concern
e en fait le nombre
moyen (la valeur moyenne ou esp
erance au sens probabiliste) de la variable al
eatoire nombre total de
noyaux de tel isotope. L
equation (2.1) se redit en termes probabilistes comme suit :
J.-B. Z.
1 D
ecembre 2008
134
M
ethodes math
ematiques pour physiciens. LP206
la probabilit
e dun noyau donn
e de subir la d
esint
egration
etudi
ee pendant le temps dt est T (X
X ) = dt.
La probabilit
e davoir N noyaux dans l
etat initial (radioactif) X au temps t
etant not
ee PN (t), on a
PN (t + dt) = (1 dt)N PN (t) + (N + 1)PN +1 (t)dt + O(dt2 )
donc
d
PN (t) = ((N + 1)PN +1 (t) NPN (t))
dt
(3.2)
On sest donn
e (avec probabilit
e 1) la valeur initiale N0 , PN (t = 0) = N N0 . On r
esout l
equation (3.2)
par la m
ethode de la fonction g
en
eratrice : soit
N0
F (x, t) =
N =0
xN PN (t) .
(3.3)
L
equation (3.2) conduit a
`
F (x, t) = (1 x)
F (x, t)
t
x
(3.4)
=
N =0
N0
= (1 et ) + xet
N0
(1 et )N e(N0 N )t
N
N0
(3.5)
N0
(1 et )N e(N0 N )t ,
N
(3.6)
N (t) =
nPn (t) =
n=0
F (x, t)
x
x=1
= N0 et .
On retrouve bien le r
esultat obtenu plus haut a
` partir de l
equation diff
erentielle satisfaite par N. On
pourrait aussi
etudier maintenant ce que sont les fluctuations de la variable al
eatoire N autour de cette
valeur moyenne, etc.
1 D
ecembre 2008
J.-B. Z.