Академический Документы
Профессиональный Документы
Культура Документы
Bahram Houchmandzadeh
http://houchmanddzadeh.net/cours/Math/math.htm
First Version
Septembre 2008
Present Version
September 5, 2013
Introduction.
2.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2
12
2.3
16
. . . . . . . . . . . . . . . . . . . . . . .
17
3.1
Introduction.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
3.2
18
3.3
3.4
Un peu de gnralisation.
3.5
. . . . . . . . . . . . . . . . . . . . . . .
23
3.6
25
3.7
. . . . . . . . . . . . . . .
26
3.8
Equation de la chaleur. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
28
. . . . . . . . . . . . . .
21
. . . . . . . . . . . . . . . . . . . . . . . . . . .
23
39
4.1
Entre en matire.
39
4.2
40
4.3
41
4.4
42
4.5
46
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Les distributions.
47
5.1
47
5.2
Un peu de dcence. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
49
5.3
52
5.4
Exercices.
56
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Convolution et corrlation.
58
6.1
Les convolutions. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
58
6.2
Auto-corrlation.
61
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
67
7.1
Entre en matire.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
67
7.2
68
7.4
Comportement assymptotique.
. . . . . . . . . . . . . . . . . . . . . . . .
72
7.5
Produit de Convolution. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
74
7.6
75
7.7
7.8
La physique statistique.
7.9
TL inverse.
7.10 Exercices.
69
. . . . . . .
75
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
76
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
77
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
77
83
8.1
Entre en matire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
83
8.2
Le potentiel lectrostatique. . . . . . . . . . . . . . . . . . . . . . . . . . .
85
8.3
87
8.4
8.5
. . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
88
. . . . . . . . . . . . . . . . . . . . . . . . . .
88
89
9.1
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
89
9.2
90
9.3
. . . . . . . . . . . . . . . . . .
95
9.4
98
9.5
99
9.6
9.7
. . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . 103
106
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
. . . . . . . . . . . . . . . 115
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
11 Le calcul variationnel
11.1 Introduction.
122
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
. . . . 128
144
. . . . . . . . . . . . . . . . . . . . . . . . . 148
154
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166
167
. . . . . . . . . . . . . . . . . . . . . . . 176
. . . . . . . . . . . . . . . . . . . . . . . . . . 178
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 180
1formes.
nformes.
176
182
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182
16.2 Les
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182
16.3 les
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
192
. . . . . . . . . . . . . . . . . . . . . . . . 195
et
N.
Q.
198
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
padiques.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
19 Bibliograhie.
206
1 Introduction.
Durant les deux premires annes de l'universit, on apprend les bases essentielles des
mathmatiques : calcul direntiel et integral, algbre linaire, quations direntielles
linaires, etc. L'objet de ce cours est d'utiliser ce corpus pour introduire les mthodes
mathmatiques dites suprieures utilises pour rsoudre les problmes classiques de la
physique.
Les mathmatiques ne sont pas une collection de mthodes juxtaposes et sans relation : il existe des concepts extremement gnraux qui nous permettent de porter le
mme regard sur des notions priori disparates. Le concept qui reviendra tout au long
de ce cours est celui de l'espace vectoriel. Ainsi, tourner un vecteur du plan d'un angle
quelconque ou appliquer un oprateur integro-direntiel une fonction sont fondamentalement la mme chose ; de mme que trouver les valeurs propres d'une matrice ou
rsoudre une quation drive partielle linaire. C'est bien pour cela que l'tudiant
apprend un tel volme d'algbre linaire dans les cours de mathmatiques lmentaires.
Le plan du cours est le suivant : Aprs une introduction (un rappel) des espaces vectoriels, nous verrons que les fonctions elles mmes peuvent tre considres commes
des points (des vecteurs) dans un grand espace des fonctions, et que nous pouvons
dnir des bases orthogonales dans cet espace presque comme on le fait dans l'espace
tri-dimentionnel.
Le chapitre suivant est consacr aux sries de Fourier, le premier exemple pratique
que nous verrons de bases dnombrables dans l'espace des fonctions sur un intervalle
ni. Nous verrons entre autre comment cette base nous permet de rsoudre les quations
classique de la physique comme celle de diusion de la chaleur ou des cordes vibrantes.
Nous avons souvent aaire des fonctions dnies sur des intervalles
formes de Fourier nous permettent de disposer de bases pour l'espace de ces fonctions.
Comme souvent cependant, les innis posent des problmes particuliers et nous auront
allors dnir les
matique le concept de charge (ou force) ponctuelle si cher aux physiciens. Nous verrons
alors le nombre incroyable de problmes que ces nouvelles mthodes nous permettent
d'aborder : de la rsolution des quations direntielles celle d'quations stochastiques
(comme le mouvement brownien) en passant par la diraction par les cristaux etc.
Le cousin germain des transformes de Fourier est la transforme de Laplace : nous
verrons comment l'utiliser pour tous les problmes o les conditions initales sont importantes.
Finalement, un complment util tous ces outils est la mthode de Green (ou fonctions
de Green) qui nouveau a voir avec la gnralistation des charges ponctuelles : si on
connait l'eet d'une charge (ou d'une force ou ...) ponctuelle, on peut alors facilement
calculer l'eet d'une distribution de charge (de force ...).
1 Introduction.
Nous allons revenir sur le concept gnral d'operateur integro-direntiel. Une rotation
ou une homotetie transforment de faon
direntielle linaire comme
linaire
comme des vecteurs d'un grand espcace. Nous savons qu'tudier une application linaire
est toujours beacoup plus simple dans sa base propre. La mme chose est vrai pour les
vecteurs et valeur propres des oprateurs. Les transformes de Fourier nous fournissaient
une base trs particulire bien adapt certains problmes de physique, nous verrons
d'autres bases comme celle des polynomes othogonaux et nous gnraliserons le calcul
des oprateurs.
Quelques chapitres sont consacrs aux notions plus avances qui devront nanmoins
tre connues des tudiants la n de leur Master. Nous abordons le calcul des perturbations, outil indispensable ds que nous tentons la rsolution de vrai problmes, c'est
dire ceux qui s'cartent un peu des exemples classiques que nous savons rsoudre. Par
exemple, nous savons rsoudre une quation direntielle d'une certaine forme, le calcul
de perturbation nous permettra d'obtenir une solution approche quand la forme change
lgrement.
Un chapitre est consacr aux claculs des variations qui est une gnralisation des problmes d'extrmum l'espace des fonctions et des fonctionnelles qui y agissent. La plupart
des problmes de physique sont formule dans ce langage ou gagne tre formul dans
ce langage.
Nous aborderons galement la thorie des formes direntielles. Souvent ces objets sont
enseigns dans le cadre de la thorie des tenseurs et vue comme des tenseurs alterns. Il
est cependant beacoup plus simple de les aborder directement et en donner une image
gomtrique, surtout que ce sont des objets trs simple manipuler et qui donnent de la
cohrence aux divers operateurs direntiels comme le gradient, rotationnel et divergence.
Nous verrons comment certaines lois de la physique comme les quations de Maxwell
acquiert une signication gomtrique intuitive.
La thorie des tenseurs sera galement dans un chapitre. Nous nous contenterons essentiellement des tenseurs dans un espace euclidien o il n'y a pas faire de dirence
entre les vecteurs et les covecteurs.
Enn un petit chapitre est consacr aux nombres. Nous les manipulons depuis si
longtemps que nous avons oubli comment on les a construit. Ce chapitre tente de remedier cet oubli.
Bon, susement disgress, voyons du concret.
vecteurs
fonctions. Nous allons voir que nous pouvons dcrire les fonctions
les mmes outils que pour des vecteurs trois dimensions. Cela s'appelle
tionnelle
analyse fonc-
s'appuie constemment sur les rsultats de ce chapitre dont la lecteure est indispensable.
ment
ou complexes
S.
C.
o l'opra-
a un sens. Pas n'importe quel sens d'ailleurs, mais ce qu'on associe instinctive cette opration : (i) si
aussi ; (ii)
a+b = b+a
et
a+b
bien d'un
vecteur
et non d'un
n'a pas vraiment une structure d'espace vectoriel. Par contre, l'ensemble des vecteurs
dans un plan, l'ensemble des polynmes, ou l'ensemble des fonctions dnies sur
[0, 1]
ont une structure d'espace vectoriel. L'intrt majeur est que tout ce que l'on peut afrmer pour l'un de ces ensembles (en rapport avec son caractre vectoriel) pourra tre
gnralis aux autres.
E qui nous permet de dcrire tout les autres. Pour tre plus rigoureux, supposons que
e1 , e2 , e3 , ..., ei E, soit une base. Dans ce cas, pour n'importePquel lment a de E , on
peut trouver des scalaires ( des chires donc) si tel que a =
i si ei . On dit que a est
une combinaison linaire des vecteurs ei . Bien sr, il faut prendre le minimum de ei qui
rende cette description faisable. Pour cela, il sut d'exiger qu'aucun des ei ne puisse
1. un instinct forg par une douzaine d'anne d'tude.
2. En caractre gras pour ne pas le confondre avec le
des scalaires.
Le grand intrt des bases est qu'elles nous permettent de manipuler les vecteurs
comme des collections de chires. Pour les vecteurs dans le plan, nous ne sommes pas
(x1 , x2 )
oblig de faire des dessins, nous pouvons les reprsenter par des duplets
si nous
On peut cependant remarquer que l'ensemble des vecteurs du plan est de dimension
2 (il
sut de deux vecteurs pour dnir une base), tandis que l'ensemble des polynmes est
de dimension innie. Ce n'est pas une trs grande innie, le nombre d'lments dans la
base qui couvre les polynmes est le mme que celui des nombres dans
N.
On dit alors
dnombrable
d'analyse.
Le produit scalaire.
opration que le
l'Analyse est le
produit scalaire
a.b,
par
en mcanique quantique
(a, b). En
par ha| bi.
Nous sommes assez habitus depuis les annes du lyce avec ce concept. Un bon
produit scalaire doit avoir ces quelques proprits :
(i)
(sa, b) = s(a, b)
(ii)
(iii)
s S, et a, b E .
et
(a, a) > 0
si
a, b, c E .
a 6= 0
et
(a, a) = 0
si
a = 0.
Par exemple, dans l'ensemble des vecteurs du plan, on peut dnir un produit scalaire
par
(a, b) =
x i yi
xi
et
yi
norme
et
b.
longueur
d'un
L'intrt de pouvoir
disposer d'une norme est immense. On peut par exemple savoir si deux vecteurs
a, b sont
4. C'est le plus petit des innis. Sans rentrer dans les dtails, l'inni qui ensuite est vraiment plus
grande que
5.
N est celui de R. L'ensemble de toutes les fonctions est une innie encore plus grande.
(., .) : E E S.Si l'espace vectoriel est associ aux rels (complexes), le scalaire est un
(complexe).
rel
sin(.)
log(.)
et
sont proches ?
(a, b) = (b, a)
(iv)
(iv')
(a, b) =
si
(b, a) si
C2 ,
i xi yi o
xi , yi
et
b.
a, b
par
(iii) et disposer d'une norme . La proprit (iv) ou (iv)', combine la proprit (i) nous
donne :
(i')
(i)
L'orthogonalit.
(6=
0)
si
s (a, b) si
ab
Rn ,
deux vecteurs
acceptons cette dnitions pour tout espace vectoriel. On appelle une base orthogonale
une base telle que tout ses lments soit perpendiculaire l'un l'autre. Nous avons un
avantage fantastique utiliser des bases orthogonales. D'abord, si les vecteurs
e1 , e2 , ...
sont orthogonale les uns aux autres, ils sont linairement indpendant. Si notre espace
vectoriel est de dimension
n,
vecteurs tous
les
uns aux
P
a est un vecteur et (e1 , ...en ) une base orthonorme, alors a = (a, ei )ei , c'est dire que
la composante de a selon ei est (a, ei ). Comme exemple, prenez le cas des vecteurs dans
Rn .
Exercices.
1. Dmontrer que les deux vecteurs
riel
C2
associ
C.
2. Dmontrer que si
(1, 0) (0, 1)
ka bk = 0,
alors
(i, 0)
et
(0, i).
a = b.
n n,
ai,j bi,j
Ce produit scalaire est souvent utilis en analyse matricielle numrique pour l'valuation de la stabilit des mthode itratives.
6. Un exemple intressant de produit scalaire qui ne
restreinte. On repre un
vnement
respecte
x1 x2 + y1 y2 + z1 z2 t1 t2 .
10
(x, y, z, t) et le produit
distincts peuvent
Deux vnement
ment indpendants.
5. Dmontrer que si
{e1 , ..., en } est une base orthonorme, alors n'importe quel vecteur
n
X
a=
(a, ei )ei
i=1
Comment doit on modier cette formule si la base est simplement orthogonal, mais
pas orthonorme ?
6. En ralit, une norme pour pouvoir lgalement porter ce nom, doit respecter l'ingalit triangulaire :
ka + bk kak + kbk
Dmontrez que la norme dnie par le produit scalaire vrie cette ingalit. Pour
cela il faut d'abord dmontrer l'ingalit de Cauchy-Schwarz :
(a+b, a+b) 0.
n
7. Pouvez vous gnraliser le produit scalaire dans R l'espace des polynmes ? Et
surtout dmontrer qu'il respecte toutes les proprits d'un produit scalaire ?
8. Un operateur linaire est une fonction linaire de l'espace vectoriel dans lui mme :
il prend un vecteur en entre et produit un vecteur en sortie. La linarit veut
dire que si
vectoriel et
vecteur de la base :
L(ej ) =
Lij ei
i
Les nombres
Lij
{ei }.
En
gnral, pour les reprsenter, on les dispose dans un tableau (appel matrice) o la
ime
ligne et la
jme
Lij .
bi =
Lij aj
j
9. Dmontrer alors que si la base est orthonormale,
11
Lij
= L(ej ),
jme vecteur de
ime vecteur
de la base.
{ei }
{fi }
et
et
P (ei ) = fi i = 1, 2, ..., n
P
P
(fi ) = ei
{ei }.
Rn
RR
xI
associe le
Le produit scalaire.
ne sait pas encore si nous pouvons tendre la notion de base cet espace, mais on
peut parfaitement dnir des produits scalaires. Le produit scalaire que l'on utilisera
abondamment est le suivant :
Z
f (x)g(x)dx
(f, g) =
I
On dmontrera dans un exercice que ce produit scalaire a toute les bonnes proprits.
Mais on peut noter que cette dnition gnralise la somme
n
dans R , quand
xi yi du
produit scalaire
Bien, nous disposons d'un produit scalaire, on peut donc dnir la norme d'une fonction.
kf k =
[f (x)]2 dx
I
Cette norme, appele
L2 ,
[0, 2],
7. En faite, si on se baladait dans cet espace de faon alatoire, on ne rencontrerai jamais des fonctions
connues.
12
2.
R 2
kexp(.)k2 = 0 exp2 (x)dx = (exp 4 1)/2.
ksin(.)k =
3.
klog(.)k =???
1.
n
4. k1/(.) k
faire en exercice.
si
n > 1.
On voit ici les premires bizarreries des ces grands espaces ( de dimension inni) apparatre : un lment priori sympathique peut avoir une norme innie.
Le lecteur a remarqu que jusque l, nous avons utilis une notation particulire pour
distinguer une fonction (un point dans l'espace vectoriel des fonctions) de la valeur que
prend cette fonction pour une entre particulire : la premire est note
ime
f (x).
f (.)
est la deux-
Comme cette notation est quelque peu lourde et que nous esprons que le
lecteur est maintenant habitu cette distinction, nous emploierons partir de maintenant indiremment la notation
f (x)
kf gk = 0.
g(x) = 1 si x 6= 0
L2 ,
[0, 1]
f (x) = 1
et
g(x) = 0
si
x = 0.
! Grossirement parlant,
notre norme est une lunette pas trop prcise et ne distingue pas les dirences subtiles
9
entre deux fonctions. Elle ne va retenir que les traits les plus importants . Ainsi, quand
xn converge vers
f (x) = 0
sur l'intervalle
[0, 1]
au
convergences uniformes.
Notons enn que si nous manipulons l'ensemble des fonctions qui associent une valeur
relle un nombre
du produit scalaire :
Z
(f, g) =
f (x)g(x) dx
I
o le symbole
L'orthogonalit.
et
et
g (=
6 0)
sont orthogonales si
(f, g) = 0.
l'intervalle
exp(x/2)
et
[0, ].
Nous avons vu plus haut que la notion d'orthogonalit nous donne un srieux coup
de main pour trouver une base. En particulier, dans un espace de dimension
sut de trouver
n,
il nous
rsultat des espaces de dimension innie ? la rponse est oui si on prend des prcautions.
Les fonctions de normes innies nous posent de srieux problmes. Nous allons donc
restreindre notre espace de fonctions en nous contentant des fonctions de carr sommable,
8. C'est mme pire : Si la fonction
f.
g(x) = 0
si
xQ
et
g(x) = 1
sinon, au sens de
13
tel que
|f (x)|2 dx < .
R
I
fondamental suivant :
Dans l'espace des fonctions de carr sommable, on peut trouver des ensembles
inni dnombrable
Le lecteur peut mditer sur ce thorme : pour l'noncer ( sans le dmontrer ) nous avons
pris de nombreux raccourcies sans mme avoir prcis certains termes, encore moins leur
donner un peu de rigueur et de dcence. Nous allons dans la suite clarier un peu mieux
les choses, sans les dmontrer. Mais avant cela, voyons le ct trange de ce thorme.
Comme nous l'avons indiqu, l'inni dnombrable, celui des nombres entiers, et le plus
petit des innis. Il a cette particularit que pour un nombre donn, on peut indiquer celui
qui est juste avant et celui qui est juste aprs. L'inni des nombres rationnels n'est pas
vraiment plus grand, ni celui des nombres algbriques. Par contre, l'inni des nombre
rels est vraiment plus grand. On peut dire grossirement
10
que
R = 2N (bien
sr, on
nombre
un
une seule
fonction, nous
exigence a priori anodin, que les fonctions soient de carr sommable, rduit srieusement
la taille de l'ensemble des fonctions.
Aprs ces digressions philosophicales, un peu de concret. D'abord, qu'est ce que a
veut dire une base dans ces espaces innis ? intuitivement, a doit tre la mme chose
que les espaces de dimensions ni : un ensemble d'objet lmentaire qui nous permet
de dcrire tous les autres. Supposons que, dans l'espace des fonctions,
E = {e1 , e2 , ...}
f doit pouvoir
f (x) =
fn en (x)
n=1
o les
fn
sont des
scalaires
sur la base
projection
{en }. Elle
f sur les
de
Z
fn =
f (x)en (x)dx
I
Remarquez que
N (x) =
N .
PN
Cela veut dire qu'on peut approximer une fonction par une somme nie de
fonctions de base, et on peut rendre cette approximation aussi bonne qu'on le souhaite
10. le cardinal de
est not
R 1
aux nombres rels entre 0 et 1 comme une succession (innie ) de bits 0 et 1 (comme en informatique),
la relation 1 = 2 0 parat assez raisonnable. Nous devons tous ces rsultats sur les innis aux travaux
de Georg Kantor, la n du dix-neuvime sicle.
14
xn .
L2 .
trouver donc d'autres bases. Chaque base est bien adapt aux traitements d'un certain
nombres de problmes, essentiellement la rsolution d'une certaine classe d'quations
direntielles. La base la plus populaire, est de loin, et celui propos par monsieur Fourier,
prfet de l'Isre en son temps, au tout dbut du XIX
me
chapitre.
Exercices.
1. Donner une dnition prcise de la convergence d'une suite au sens de la norme
L2
au sens
f (x) = xn
dnie sur
L2 .
L2 .
L'ex-
Z
(f, g) =
w(x)f (x)g(x)dx
I
o la fonction
w(x)est
Pn (x)
de degrs
n,
orthogonaux
les uns aux autres au sens du produit scalaire dni plus haut. Trouver les trois
premiers polynmes associs au poids
w(x) = 1
et l'intervalle
[1, 1].
On appelle
D = d/dx est une opration linaire dans l'espace des fonctions inni
ment drivable (C ) : (i) elle prend une fonction en entre et donne une fonction
en sortie ; (ii) elle fait cela de faon linaire, i.e. D(f + g) = Df + Dg , o ,
sont des scalaires et f, g des fonctions. Supposons que des fonctions orthonormes
fn (x) constituant une base obissent la relation dfn (x)/dx = fn (x) + an fn+1 (x).
Pouvez-vous donner la reprsentation matricielle de D dans la base des fn ?
8. L'opration
15
16
3.1 Introduction.
Les premiers travaux sur la dcomposition en srie de Fourier viennent en faite du grand
Lagrange lui mme dans les annes 1780 et son tude de l'quation des cordes vibrantes.
Supposons une corde tendu entre
relche. Soit
et
que
2
2y
2 y
v
=0
t2
x2
o
(3.1)
dans l'quation (3.1), on trouve que cette forme ne peut tre une solution que si il existe
avec ses conditions aux bords. On les appelle les modes propres
f +g
et
sont
de la forme
y=
An cos(nvt/L) sin(nx/L)
n=1
17
Ak ,
y0 (x),
y(x, 0) =
c'est dire de la dformation originale que nous avons imprim notre corde
l'instant
t = 0.
y0 (x) =
An sin(nx/L)
n=1
Est-il possible de trouver des coecient
An
y0
y0 (x) = 4 sin(11x/L),
la rponse plus bas. A priori, trouver la rponse parat assez complique. Notons que si
a une forme simple, on peut trouver une solution. Par exemple, si
alors
A11 = 4
An
sont nul.
Thorme.
Z
(1, sin n(.) ) =
sin(2nx/L)dx =
0
la fonction
L
[cos(2nx/L)]L
0 =0
2n
est orthogonale toutes les sinus, et de mme toutes les cosinus. Ensuite,
comme
f (x) = a0 +
an cos(2nx/L) + bn sin(2nx/L)
n=1
1. La dmonstration est due Weierstrass dans les annes 1880. Elle ne pose pas de dicult majeure.
Disons que pour qu'une suite
est orhogonal tous les
fn ,
fn
alors
g = 0.
sin(.) seul
les sin(.).
cos(.)
18
ne peut
an
et
bn
a0 = (1/L)
f (x)dx
(3.2)
f (x) cos(2nx/L)dx
(3.3)
f (x) sin(2nx/L)dx
(3.4)
an = (2/L)
0
bn = (2/L)
0
Notons que le coecient
Exemple 1.
a0
f (x) = x , x [0, 1]. Le coecient a0 s'obtient facilea0 = 1/2. Pour les autres coecients, nous avons besoin
Prenons la fonction
x sin(2nx)dx =
bn = 2
0
Z 1
x cos(2nx)dx =
an = 2
0
Z 1
1
1
1
x=1
cos(2nx)dx =
[x cos(2nx)]x=0 +
n
n 0
n
Z 1
1
1
[x sin(2nx)]x=1
sin(2nx)dx = 0
x=0 +
n
n 0
x=
1 X 1
sin(2nx) x [0, 1]
2
n
(3.5)
n=1
plus en plus de termes de la srie de Fourier. . Nous pouvons constater plusieurs choses :
(i) videmment, plus on prend de terme, plus l'approximation est bonne , mais nous
avons des oscillations de plus en plus violentes sur les bords, dont l'amplitude dcrot ;
(ii) l'approximation prend les mmes valeurs aux deux bords, ce qui n'est pas le cas de
la fonction originale ; (iii) cette valeur est
1/2
sin
et
cos
la somme, tant de priode au moins 1, prend obligatoirement la mme valeur sur les
deux bords, donc la somme doit galement prendre la mme valeur sur les deux bords. Le
en
x = 1.
converge donc pas en tout point vers la fonction originale (adieu la convergence uniforme
ou point par point), mais seulement pour la
majorit
trouvent que cette majorit est largement susante : si on prend une innit de terme
dans la somme, alors la somme et la fonction originale ne dirent qu'en deux points.
Deux compar la taille de
19
n=0
n=1
n=2
n=4
n=8
n=32
0.5
0
1
0.5
Figure 3.1: Approximations successive de la fonction x par les sries de Fourier. En noir,
la fonction original, en rouge l'approximation par la srie gomtrique.
Tout ce que nous avons dit ci-dessus se gnralise immdiatement aux intervalles quelconques
[a, b].
L = ba
qui reprsente
Exemple 2.
X
(1)n
x=
n=1
sin(2nx) x [
1 1
, ]
2 2
(3.6)
Nous voyons que les coecients dpendent galement de l'intervalle sur lequel la fonction
est dnie.
Notons enn qu'en prenant des valeurs de
intressant de trouver la limite de certaines sommes. Dans l'quation (3.5) par exemple,
si on pose
x = 1/4,
X
(1)n+1
2n 1
n=1
Egalit de Parceval.
=1
1 1
+ ... =
3 5
4
1
L
f (x)2 = a20 +
1X 2
(an + b2n )
2
(3.7)
n=1
Cela veut dire que au lieu de calculer explicitement l'integrale du carr de la fonction, nous
pouvons simplement sommer le carr de ses coecents de Fourier. A priori, la dmarche
parat absurde, puisque pour calculer les coecient, on a du dj eectuer des intgrales.
20
le champs lctrique. L'galit de Parceval nous permet alors d'accder cette quantit.
Exercices.
f (x) = x2
et
f (x) = exp(x)
sur l'intervalle
des ert d'Euler, dans les annes 1730, que d'avoir pu dterminer cette somme.
2. Soit la fonction palier
1/2 si x 1/2.
sur
[0, 1]
tel que
et
f (x) =
f (x) = 0 si x <
f (x) = 1 2 |x|
sin(x/2)
sur l'intervalle
sur l'intervalle
[1/2, 1/2].
[0, 2].
f (x) = f (x),
[L, L],
constitue un
les coecients
bn
f,
sur l'intervalle [0, L], est symtrique par rapport son milieu, c'est dire telle
que
sr).
8. Que peut on dire des coecient de Fourier d'une fonction impaire ? En vous inspirant des deux prcdents problmes, que pouvez vous dire des coecients de
Fourier, sur
[0, L],
L2 [0, 1],
f (L x) = C f (x) ?
x
appartiennent
D = d/dx
dans la base de
D2 = d2 /dx2 ?
21
bn
0
-0.1
-0.2
-0.3
-0.4
10
n
15
20
priodique, de priode
connatre cette fonction, il sut donc de connatre sa valeur seulement sur une intervalle
Comme nous le savons, si ces fonctions sont de carr sommable sur une priode, elle
peuvent se dcomposer en srie de Fourier. Reprsenter leurs coecients de Fourier
et
bn
en fonction de
x.
an
Cette
reprsentation est appel le spectre d'une fonction, et ses composantes de Fourier les
f (x) = x sur [1/2, 1/2]. En ralit, pourpdes raisons que nous verrons plus
tard, on n'est mme intress qu'aux coecients sn =
a2n + b2n et c'est ce dernier qu'on
de la fonction
22
Exercices.
Reprsenter le spectre des fonctions dcomposes plus hauts.
soient de carr sommable). N'oublions pas cependant que le produit scalaire s'obtient
dans ce cas un intgrant une fonction qui multiplie le complexe conjugu de l'autre. Nous
avons donc,
+
X
f (x) =
cn exp(2inx/L)
n=
Tous ce que nous avons dit plus haut se gnralise aisment.
Exercices.
1. En vous inspirant du clacul des coecient
an
et
bn ,
cn .
les coecients
2. Dmontrer que si
f (x) R,
alors
an , bn
et
cn = cn .
cn .
cn .
complte.
est quivalent il n'existe pas une fonction, part celle uniformement nulle, qui soit orthogonale toutes les fonctions de la base de fourier. Est-il possible de trouver une autre
base sur l'intervalle
[0, L]
sin(nx/L) (remarquer le
coecient 2 dans l'argument qui a disparu) galement constitue une base, de mme que
la suite
cos(nx/L).
Le choix d'une base plutt que d'une autre est seulement dict par
le problme que nous avons rsoudre, nous en verrons un exemple plus bas.
23
(b)
(a)
1
0.5
0
-0.5
-1
Figure 3.3: Comparaison des trois premires fonction de la base de fourier (a) et celle
des sinus.
2L
f (x) = a0 +
an cos
n=1
nx
nx
+ bn sin
L
L
+L
Z
an = (1/L)
f (x) cos(nx/L)dx
L
Z +L
bn = (1/L)
f (x) sin(nx/L)dx
L
f (x) = f (x). En
L 0 et de 0
les coecients bn sont
L)
an
sont nuls, et
donnes par
Z
bn = (2/L)
f (x) sin(nx/L)dx
(3.8)
0
Considrons maintenant une fonction
une extension
f (x)
de
[0, L],
dnit sur
[0, L].
sur l'intervalle
f (x)
nous
[L, L],
la fonction
n=1
o les coecients
bn
sont donns par la relation (3.8). La gure (3.3) montre les trois
Exercice.
1. Dvelopper de faon analogue le dveloppement en srie de cosinus pur d'une fonction sur l'intervalle
[0, L]
24
paires
sur l'intervalle
[L, L].
[0, L],
sin(nx/L)
cos(kx)
qui soit
orthogonale toutes ces fonctions. Cela pourrait un peu plus nous convaincre de
la compltude de cette suite.
x=0
et
x = L;
y(x),
; (iii)
l'quation
s'crit
2
2y
2 y
=
v
t2
x2
(3.9)
Nous ne justions pas cette quation. Notons simplement que le membre de droite est
l'acclration d'un lment innitsimal de la corde (dans le sens vertical) au point
x,
et que le membre de droite est proportionnel la force exerce sur cet lment par ses
voisins. L'quation ci-dessus est simplement la relation de la dynamique
matriau continu. Le paramtre
a = f /m pour un
v2
T /.
Nous
supposons enn qu'initialement, la corde est maintenue dans une certaine forme (pince
par exemple)
y0 (x)
t = 0.
y(x; t)
l'aide de sa srie de
Fourier ou de sinus. Pour la reprsenter tous les instants, il sut donc que les
coecients
y(x; t) =
bn (t) sin
n=1
nx
L
(3.10)
Notons que nous faisons ici le choix de rechercher la solution sous la forme de fonction
de sinus, puisque chaque terme de la srie respecte les conditions aux bords
y(L, t) = 0.
y(0, t) =
En injectant (3.10) dans (3.9) est en identiant terme terme (puisque les
fonctions sont orthogonales), nous trouvons une quation direntielle pour l'amlitude
de chaque mode :
00
bn (t) + n2 2 bn (t) = 0
o
= v/L.
Comme la corde est relach avec une vitesse nulle, nous avons simplement
bn (t) = Bn cos(nt)
25
Bn
y0 (x).
L'image est donc la suivante : la dformation initiale est la superposition d'un certain
nombre de mode, chacune avec une amplitude
bn .
plitude de chaque mode oscillera dans le temps. Remarquez cependant qu'il n'y a pas de
transfert entre les modes : si un mode n'tait pas prsent dans la dformation initiale, il
ne sera pas excit dans la suite. Chaque mode se comporte comme un oscillateur indpendant, non coupl aux autres. En langage plus chic, on dira que la base de Fourier est une
base propre pour l'operateur Laplacian : dans cette base, la reprsentation matricielle de
cet oprateur est diagonale.
Nous avons, lors de cette rsolution, invers l'ordre des operations de drivation et
de sommation. Nous savons qu'il existe des conditions trs contraignantes pour pouvoir
eectuer cette inversion, et elles sont loin d'tre runies priori (voir ci-dessous). Notons
enn que la dirence entre un clavecin et un piano, qui excitent pratiquement les mme
cordes tendues, est dans la faon de former la dformation initiale, donc de produire des
coecients
Bn
dirents.
f (x) = a0 +
f (x)
dont la dcomposition de
an cos(2nx/L) + bn sin(2nx/L)
n=1
Dans quelles conditions nous pouvons la driver terme terme ? Dcomposons la fonction
f 0 (x)
en srie de Fourier :
f (x) = 0 +
n cos(2nx/L) + n sin(2nx/L)
n=1
Nous avons alors pour le premier terme
1
0 =
L
f 0 (x)dx =
1
(f (L) f (0))
L
n =
=
=
Z
2 L 0
f (x) cos(2nx/L)dx
L 0
Z
2
2n 2 L
(f (L) f (0)) +
f (x) sin(2nx/L)dx
L
L L 0
2
2n
(f (L) f (0)) +
bn
L
L
26
(3.11)
n =
Nous voyons donc que si
f (L) = f (0),
2n
an
L
terme. Sinon, des termes additionnelles apparaissent quand on drive les termes en sinus
dont il faut en tenir compte.
On peut gnraliser ce rsultat aux series de sinus et de cosinus pures :
1. Si
f (x) est continue et drivable par morceau, sa srie de cosinus est drivable terme
f (x)
est continue et drivable par morceau, sa srie de sinus est drivable terme
terme si
f (L) = f (0) = 0 !
Nous voyons maintenant dans quelles conditions nous avons pu driver terme terme la
serie de la corde vibrante. Comme nous avions la condition
u(0, t) = u(L, t) = 0,
nous
pouvions driver la srie de sinus pour obtenir une srie de cosinus. Nous avons pu ensuite
driver cette dernire encore une fois sans restriction particulire.
Une hrsie saute aux yeux dans l'quation (3.11) : la suite
qui ne dpend pas de
0.
/n
comporte un terme
u(0, t) = a, u(L, t) = b.
fonction
w(x, t) = u(x, t)
ba
xa
L
w(x, t)
(3.12)
et
coincide videment.
w(x, t)
et ensuite
u(x, t) =
bn (t) sin(nx/L)
n=1
nous avons concentr toute la dpendance temporelle dans l'amplitude des harmoniques
bn (t).
27
Z L
Z L
u
u(x, t)dx =
dx
t 0
0 t
L'change de l'intgrale (sur x) et de la drivation ( par rapport au temp) est permis si
u/t existe sur l'intervalle [0, L], est continue et elle est borne. Nous supposerons dans
la suite que pour les fonctions que nous considrons (qui reprsentent des hauteurs de
cordes, des pressions ou des tempratures) ces conditions sont toujours vries.
u
2u
=D 2
t
x
(3.13)
et
T.
, disons
u(0, t) = 0
(3.14)
u(L, t) = T
(3.15)
u(x, 0) = f (x)
(3.16)
Voil, le problme est maintenant bien pos. Avant de commencer son traitement total,
voyons voir si il existe une solution stationnaire, c'est dire une solution tel que
t u = 0.
Dans les processus diusive, c'est la solution qui est atteinte au bout d'un temps plus ou
moins long et correspond une sorte d'quilibre. Il est vident ici que
us (x) = T (x/L)
us (x) =
2T X (1)n+1
n
sin( x)
n
L
n=1
en
u(x, t) =
bn (t) sin(nx/L)
28
(3.17)
x.
prend des
valeurs direntes sur les deux bords, il faut donc ajouter des termes
2
2T
((1)n u(L, t) u(0, t)) =
(1)n
L
L
la srie drive :
n
T X
2T
n
bn (t)( ) +
x u(x, t) = +
(1) cos(nx/L)
L
L
L
Nous sommes maintenant en prsence d'une srie de cosinus, que nous redrivons encore
une fois par rapport
x2 u(x, t)
X
n
n
2T
n
bn (t)( ) +
(1) ( ) sin(nx/L)
L
L
L
La drivation par rapport au temps nous donne une srie de sinus dont les coecients
sont
b0n (t).
En galant terme terme, nous obtenons une quation de premier ordre pour
les coecients
b0n (t) = D
n 2
L
bn (t) D
2T n
(1)n
L L
2T (1)n+1
bn (t) = Bn exp n2 ( 2 D/L2 )t +
n
Notons d'abords que quand
t +,
les coecients
bn
(3.18)
est grand,
plus la thrmalisation est rapide : le cuivre est plus rapide thermaliser que le verre ;
(iii) plus l'ordre d'un harmonique est important, plus il disparat rapidement, est ceci
est propportionnel au
carr
l'harmonique d'ordre 1, qui sera le plus lent mourir (voir gure 3.4).
Nous avons russi nous en sortir mme quand la drivation sous la somme posait
problme. Mais tait-il vraiment ncessaire de faire appel une telle artillerie lourde, qui
numriquement n'est pas entirement satisfaisant ? Et si au lieu de chercher la fonction
u(x, t)
(3.19)
3. Sachant qu'un gigot de 1 kg cuit en une heure au four, quel est le temps de cuissons d'un gigot de
2 kg ?
29
t=0
t=0.1
0.5
t=0.25
t=1
0
0
0.2
0.4
0.8
0.6
u(0, t) = 0 ; u(1, t) = 1,
L = 1,
tion est trace pour 4 temps dirents. Nous avons reprsent la srie par
simplement
Cette fonction obit bien sr l'quation (3.13). Ces conditions aux limites sont
La fonction
(3.20)
(3.21)
u)
continues, et
x. Sa condition initiale
sont donc maintenant bien poses, et nous pouvons les rsoudre par
la technique habituelle des sries de sinus sans la complications des termes additionnels.
Une fois
u.
Problmes avancs.
y/t
f (x, t),
il faut galement
l'ajouter droite. Rsoudre l'quation de la corde vibrante (i) en prsence d'un frottement
30
0.5
0
0
0.2
0.4
0.8
0.6
qu'au temps
t = 0,
cause de la discontinuit de la condition initiale. Mais les oscillations articielles pour des temps ultrieurs de la gure (3.4) ont disparu, puisqu'on a
rsolu le problme de la discontinuit des conditions aux limites.
f = ky .
f = g
Les conditions aux bords sont toujours les mmes : corde xe
y0 (x).
2y
4y
=
t2
x4
Discuter les solutions de cette quation. Que pensez vous des conditions initiales ?
~2 2
=
t
2m x2
(L, t) = (L, t) = 0
i~
et
(x, 0) = f (x).
Discuter de la
4. Equation de la Chaleur I.
Soit une barre thermiquement isol, c'est dire
31
resolvez l'quation de la chaleur. A t'on plutt intert prendre des sries de cosinus ou
des sries de sinus ?
u
2u
= D 2 + Q(x)
t
x
Q est la quantit de chaleur produit en x. Prenez une source constante localis autour
L/2, et resolvez alors l'quation de la chaleur.
o
de
2u
u
=D 2
t
x
u(0, t) = 0 ; u(L, t) = g(t).
Si vous n'aimez pas cette faon de faire, il faut faire attention aux drivations terme
terme (qui donneront, bien sr, la mme reponse).
x(t).
E(x) = (k/2)x2 .
L'n-
ergie libre est une sorte de moyenne pondre par la temprature de toutes les nergies
disponible :
Z = eF/T =
eE(x)/T
(3.22)
{x}
4. Nous mesurons la temprature en chelle d'nergie :
Cela nous vite de trainer la constante de Boltzmann.
32
T = KB ,
Z=
2 /2T
ekx
dx = C.
p
T /k
hEi =
E(x)eE(x)/T /Z = T /2
{x}
Si la place d'un oscillateur, nous avions deux oscillateurs indpendants (non coupls),
x1
et
x2
de raideur
k1
et
k2 ,
l'nergie serait
(3.23)
et la somme (3.22) pour obtenir l'nergie serait cette fois une double intgrale qui se calcule tout aussi facilement. Un calcul lmentaire nous montre alors que l'nergie lastique
moyenne est
l'quipartition.
Voil pour des rappels rapides. Revenons notre corde vibrante, dont la hauteur
l'abscisse
u(x).
u(x)
vaut
conguration donne
Z
E[u(x)] =
k
0
Au lieu de reprsenter la corde par
Fourier :
u(x),
+
X
u(x) =
u
x
2
dx
(3.24)
cn exp[(2in/L)x]
n=
et une application simple du thorme de Parceval nous montre que
Z
E=
k
u
x
2
dx =
k
n=
2n
L
2
|cn |2
cn
N (N )
k(2n/L)2 .
la corde est
hEi =
+
X
n,
d'ampli-
T /2
n=
5. Le rsultat s'obtient facilement en eectuant le changement de variable
xx
p
T /k ;
la constante
6. Pour la signication de cette expression, voir les deux chapitres sur le calcul variationnel et le sens
des quations de la physique.
33
frquences) imposent cependant de trs fortes dformations. Il est vident que vous ne
pouvez pas plier en 10000 une corde de 1m. Il doit donc exister une sorte de longueur
minimum qui limiterait les hautes frquences, et on parle alors de longueur de
cut-o.
Par contre, la forme (3.24) dcrit parfaitement l'nergie du champ lectrique (poser
E = u) dans une cavit. Bien sr, il faut prendre un champs lectrique tridimentionnel
et prendre en compte les diverses polarisations ; cela est lgrement plus long calculer
mais c'est exactement le mme genre de calcul. Ce problme que l'on appelle divergence
ultra-violet (pour les hautes frquence spatiale) a t rsolu par Planck et Einstein en
supposant que l'energie d'un mode
8. Le mouvement Brownien.
Considrons une particule sur un rseau discret unidimensionnel de pas
une particule qui peut sauter de site en site. Appelons
a,
c'est dire
de temps autant vers la gauche que vers la droite. Cela veut dire que la probabilit pour
dt (et
donc, la probabilit de rester sur place est 1 2dt ). On cherche dterminer P (n, t), la
probabilit pour qu'au temps t, la particule se trouve sur le site n, sachant qu' t = 0, la
7
particule se trouvait n = 0 . Pour que la particule soit en n au temps t + dt, il faut qu'il
ait t en n 1 au temps t, et qu'il ait eectu un saut vers n pendant l'intervalle dt. Ce
phnomne enrichit la probabilit d'tre en n. Par ailleurs, si la particule se trouvait en
n au temps t, il a une probabilit de sauter gauche ou droite pendant l'intervalle dt,
ce qui appauvrit la probabilit d'tre en n. En prenant en compte ces deux phnomnes,
dt
est
1 dP (n)
= P (n 1) + P (n + 1) 2P (n)
dt
(3.25)
Ceci est en faite une innit d'quations direntielles de premier ordre, avec la condition
initiale
P (n = 0, t = 0) = 1,P (n 6= 0, t = 0) = 0.
P (n)
(s, t)
(s, t) =
+
X
P (n, t) exp(ins)
(3.26)
n=
7. Le mouvement de petites graines de poussire dans l'eau, tudi par Brown la n du dix-neuvime
sicle, est une version continue de ce mouvement. Einstein a donn l'explication de ce mouvement ratique
en supposant la nature molculaire de l'eau en 1905. Cet article est celui qui est cit le plus dans le monde
scientique.
34
n=0
0.4
0.2
n=1
n=2
n=3
z , In (z)
ez /
s.
La fonction
1, In (2z) z n /n!,
et
2z .
10
est 2 -
hni =
nP (n) = i
s s=0
exp(ins)
n,
on obtient pour
= 2(1 cos s)
t
Ce qui nous donne, en intgrant l'quation direntielle par rapport
(s, t = 0) = 1
2t,
A(s) = 1.
On connat
important du mouvement brownien. Mais on peut pousser l'analyse plus loin, et calculer
explicitement les probabilit. Il existe une classe de fonctions qu'on appelle des fonctions
de Bessel d'ordre
que l' on les tudiera plus tard lors de ce cours. Ces fonctions (voir
1
In (z) =
P (n, t)
ez cos cos(n)d
0
:
35
n1
soit proportionnelle
l'instant
P (n, t)
obit l'quation :
P (n 6= 1, 0) = 0.
t = 0,
(3.27)
P (1, 0) = 1,
u(x, t) =
P (n, t)exp(inx),
une quation pour cette fonction. Notons tout de suite que de par sa dnition,
est
u, on voit
P (n, t) sont simplement les coecients de la transforme de Fourier de cette
fonction. Quelle est la condition initiale pour u, c'est dire u(x, 0) =? En multipliant les
deux cts de l'quation (3.27) par exp(inx) et en sommant sur n, dmontrez que
priodique. On l'appelle la fonction gnratrice. Si on russit trouver
u
u
= 2(cos x 1)
t
x
Dmontrez que la solution de cette dernire (nous verrons plus tard comment rsoudre
ces quations) est donne par :
u(x, t) =
P (0, t) = t/(1 + t)
P (n, t) = tn1 /(1 + t)n+1
Discutez ce rsultat.
a.
est
xn = na.
Chaque atome
n'interagit qu'avec avec ses deux plus proches voisins. Nous voulons savoir comment
une perturbation des atomes par rapport leur positions d'quilibre se propage dans le
un
l'cart de l'atome
de la liaison chimique (grand pour les cristaux ioniques ou covalents plus petit pour
36
= F/m)
Dornavant, nous
Rsolution.
d2 un
= (C/m) (2un + un+1 + un1 )
dt2
2
poserons 0 = C/m.
(3.28)
s'crit donc
(q, t) =
+
X
(3.29)
n=
1.
par
exp(iaqn)
obit l'quation
+ 202 (1 cos(aq)) = 0
P+
P+
n= un1 exp(iaqn) =
n= un exp (iaq(n 1))
t2
2.
et en sommant sur
(3.30)
].
ordre en
37
pour les questions prcdentes, ce qui changerait si un atome interagissait avec ses 4 plus
proches voisins ?
d2 un
dt2
38
ni
de taille
L, elle pouvait tre approxime aussi prcisment qu'on le veuille par les sries de Fourier
exp(2inx/L). On peut, pour clarier la notation, poser q = 2n/L et crire pour notre
fonction :
f (x) =
feq exp(iqx)
(4.1)
q
o
f (x) exp(iqx)dx
feq = (1/L)
(4.2)
0
C'est en quelque sorte une formule d'inversion que nous devons l'orthogonalit. Cela
est fort sympathique, mais si on voulait approcher notre fonction sur toute l'intervalle
] , [ ?
f (x) =
1
2
fe(q) exp(iqx)dq
(4.3)
f (x) exp(iqx)dx
fe(q) =
(4.4)
On appelle les quations (4.3,4.4) des transformations de Fourier : prenez votre fonction,
multipliez par
symtrie : si
x.
Pourquoi ce facteur
doit apparatre
exp(2iqx)
lors
des drivations et des changements de variables et nous prfrons donc la dnition (4.4).
La signication de la TF est la suivante : une fonction
comme la superposition d'oscillations pures
exp(iqx),
39
f (x)
Cette signication, comme nous l'avons dit, est juste une gnralisation des sries
de Fourier. La TF est un exemple d'oprateur linaire, c'est dire une boite noire qui
prend une fonction en entre et produit une nouvelle fonction en sortie, et fait cela de
faon linaire, c'est dire :
TF[f (x)
1.
f (x) = ek|x| . Il est facile de dmontrer que f(q) = 2k/(k 2 + q 2 ). La formule d'inver-
sion est un peu plus compliqu dmontrer, et ncessite quelques lments de la thorie
des variables complexes.
2.
(x),
La fonction
x 1.
appel
porte,
f(q) = 2 sin(q)/q .
(x) = 0
si
|x| > 1
et
(x) = 1
si
doit tre sommable. Nous ne rentrons pas plus dans le dtail, disons
simplement qu'en gnral, les rsultats obtenus sont radicalement aberrants si on a viol
les limites permises.
Exercices.
1. Dmontrer la formule donne pour la TF de
k + ?
forme si
2. Calculer la TF de la fonction
pour
a1 (x/a).
et
a 0?
4. Sachant que
notez que
t<0
t 0.
R +
cela,
si on
a1 exp[x2 /2a2 ].
f (x) =
a 0?
40
log
de chacun (en
additionne
on prend l'antilog du rsultat. C'est presque la mme chose pour les quations direntielles et les TF : on prend la TF des quadifs (parfois en consultant une table), on rsout
l'quation
algbrique
devons connatre quelques rgles de manipulation des TF, l'quivalent des rgles comme
Si TF[f (x)]
= f(q)
alors TF[f (x
a)] = exp(iqa)f(q)
Translater dans l'espace direct revient multiplier par un facteur de phase dans l'espace
rciproque. Le changement de variable
x x+a
(si on remplace
par
x+a
) nous
donne la dmonstration :
iqx
f (x a)e
Inversion.
Si TF[f (x)]
= f(q),
Changement d'chelle.
dx = e
iqa
Si TF[f (x)]
= f(q),
f (x)eiqx dx
= f(q)
= af(qa)
x ax,
comme ce
que vous avez fait dans les exercices 1 et 3 ci-dessus. Nous avons en ralit suppos que
a > 0.
Drivation.
Si TF[f (x)]
= f(q),
= |a|f(qa).
= iq f(q).
par iq dans l'espace
rciproque. C'est
l le grand avantage qui permet de transformer les quadifs en quation algbrique dans
l'espace rciproque. Pour dmontrer cela, il faut simplement eectuer une intgration par
partie, et noter que puisque
est sommable,
f (x) 0
quand
x .
t.
fn = f (nt)
2
). Normalement, si on voulait calculer la TF, on devrait eectuer N
oprations (de
seconde. Nous sommes alors en possession de
multiplications et d'addition). Les transforms de Fourier Rapide (ou FFT, pour fast
fourier transform en anglais) n'eectuent pour ce calcul que
N log N
operations. La
dirence est enorme en temps de calcul. Par exemple, en supposant que notre ordinateur
eectue un milliard d'operations par seconde, la TF d'une seconde d'un CD prendrait
environ 2 secondes, tandis que sa TFR ne prendrait que 0.5 ms. C'est cette dirence
qui permet d'analyser le signal en temps rl.
41
y(t)
direntielle
x,
et
x(t)
en entre et
en sortie. Dans le cas d'un circuit RLC, ils sont relis par une quation
(ou
quand
d2 y
dy
+ + 02 y = x(t)
2
dt
dt
variable rciproque est note q (ou k )
la variable directe est t. En prenant
l'quation, on obtient
y() =
Le signal en entre
lation ayant un poids
( 2
x
()
+ i + 02 )
(4.5)
frquence
un dphasage
en entre est
Il existe bien sr autant de ltre que de problme traiter. Les images issues de la
microscopie lctronique sont souvent brouilles par des pixels alatoires. Pour nettoyer
ces images, on ltre les hautes frquences : on prend la TF de l'image (c'est une TF deux
dimensions) et on coupe les hautes frquences, en mulitpliant la TF par une fonction
d'Heaviside
H(q0 q)
q0
inverse et l'image rsultantes a t nettoy du bruit alatoire. Bien sr, dans l'opration,
on a aussi perdu peut-tre quelques informations. L'opration peut-tre rsum comme
suit :
TF de
t +.
> 0,
Pour
Calculons
f () =
=
1
2
e(i0 )t + e(+i0 t) eit dt
+ i
( + i)2 + 02
42
), et que la transforme de Fourier tend galement vers une limite bien dnie. Nous
posons donc :
f() = i
02
Bien sr, si on voulait prendre la TF inverse, on aurait nouveau des problmes pour
l'intgration autour des singularits
nous montre alors qu'on trouve bien le bon rsultat . Le lecteur peut dmontrer, en
suivant une dmarche analogue, que
TF [H(t) sin(0 t)]
0
02 2
A un
exp(i0 t + ) au
B . Si la
phase du champs au point A est exp(i0 t), elle est de
point B . 0 est
14 -1 pour la lumire visible) et
( 2 prs) la frquence de la lumire (de l'ordre de 10 s
est le dphasage d au temps que la lumire met pour aller de A B (distant de l) :
Considrons un rayon de lumire qui se propage d'un point
= 0 t = 2f
o
point
l
AB
= 2
c
est la longueur d'onde de la lumire (entre 0.3 et 0.8 micron pour la lumire visible).
Le lecteur connat sans doute tout cela depuis le premier cycle universitaire.
Chaque point d'un objet recevant une onde luminueuse peut tre considr comme une
Considrons maintenant une onde plane arrivant sur un objet (qui pour plus de simplicit, nous considrons unidimensionnel) et un point
(Fig. 4.1(a)). Le champ rcu en ce point est la somme des champs secondairse mis par
les divers points de l'objet. Par rapport au rayon
OP
2AA0 /
AP aura un dphasage de =
= (2/)x sin(). En appelant
q = (2/) sin(), et en appelant f (x) la fonction de transmission de l'objet, nous voyons
que le champs au point P vaut
Z
f (x) exp(iqx)dx
le rayon
43
f.
F ) en un point P
dont la coordone
x0
vaut
g(x0 ) =
2 0
2 0
f (x) exp i(
)x .x dx = f(
x)
F
F
Il n'est pas trop dicile de dmontrer que l'image forme est la TF du plan focal arrire,
nous laissons cela au soin du lecteur. La formation d'image peut donc tre vu comme une
double transformation de Fourier. Cela ouvre de grands perspectives pour eectuer des
oprations de ltrage directement dans le pfa d'une lentille. Voir des objets transparents,
comme par exemple des cellules dans l'eau n'est pas possible en microscopie classique.
Zernik, dans les annes 1950, a invent une technique appel contraste de phase, qui
consiste introduire des ltres dans le pfa de l'objectif et permet la visualisation des
objets transparents sous microscope.
= (1/2)kx2
F (t). Nous dsirons savoir quelle nergie cette force transfert la particule. L'
d2 x
+ 02 x = (1/m)F (t)
dt2
(4.6)
44
i0 )x.
(d/dt i0 )(d/dt +
Comme nous allons voir, cette dcomposition a son utilit. En mcanique quan-
H,
L'nergie totale
du systme (cintique +
potentielle ), s'crit :
(2/m)H = (dx/dt)2 + 02 x2
= (dx/dt i0 x)(dx/dt + i0 x)
Si on pose
z = dx/dt + i0 x,
(2/m)H = zz ,
et l'quation (4.6) se
transforme en
(4.7)
T1 et T2
Z
T2
i0 t
(dz/dt i0 z)e
T2
dt = (1/m)
F (t)ei0 t dt
T1
T1
Il nous sut maintenant d'eectuer une integration par partie du ct gauche de l'int-
E =
1
F (0 )F (0 )
2m
Pour connatre l'nergie totale transfre l'oscillateur, nous n'avons pas rsoudre
l'quation direntielle de second ordre avec second membre, valuer simplement la TF
de la Force applique la frquence propore de l'oscillateur nous sut.
Vous pouvez donc facilement calculer l'nergie transfre dans les cas suivants :
1.
F (t) = f0 et/t0
2.
F (t) = f0 (t/t0 )
3.
F (t) = f0
4.
F (t) = f0 cos(1 t)
si
si
t 0;
t 0;
sinon,
sinon,
F (t) = 0.
F (t) = 0
Dans les cas 1 et 2, discutez le transfert d'nergie en fonction du temps t0 . Pour rsoudre
le cas 3 et 4, vous aurez besoin des rsultats sur les distributions disponible dans les
prochains chapitres.
45
H = H(t)
H.
Comme
[L/2, L/2].
f (x)
sur l'intervalle
1
cq =
L
1/L
f (x)eiqx dx
L/2
L/2
q = 2n/L.
f (x) =
I(q)
f (x) :
Dsignons par
l'intgrale ci-
(1/L)I(q)eiqx
q,2/L
o dans la somme, l'indice
dq = 2/L.
Quand
L , dq 0
et
1
f (x) =
2
Par ailleurs, il est vident que quand
I(q)eiqx dq
L , I(q)
(4.4).
46
tend vers
f(q)
5 Les distributions.
5.1 Ce qu'il faut savoir.
Les transformes de Fourier nous posent quelques problmes quant la dnition de
f(q)
sont les
exp(iq1 x)
et
exp(iq2 x)
(5.1)
1
L L
+L/2
lim
(5.2)
L/2
q1 6= q2 , l'intgrale est au plus de l'ordre de 1et le (1/L) fait tout tend vers zro.
Par contre, si q1 = q2 , l'intgrale vaut L et l'expression (5.2) vaut 1. Le produit scalaire
(5.1) est donc de l'ordre de L ( avec L ) pour q1 = q2 et de l'ordre de 1 sinon.
Nous noterons ce genre d'objet (q1 q2 ) et nous l'appellerons le delta de Dirac, du nom
Quand
du physicien qui a tabli les rgles de manipulation de ces objets dans son livre sur la
mcanique quantique en 1930.
Pour un physicien, le concept de la
charge ou de masse ponctuel. Supposez que vous avez des charges rpartit continuement
dans l'espace avec une densit
(x)
C =
R
V
prenez des sphres de plus en plus petite autour de votre point. Il est vident qu'il y aura
de moins en mois de charge l'intrieur et que
une charge
ponctuelle
C 0.
Q,
x0
x0 ,
nulle
partout,
47
5 Les distributions.
et dont l'intgrale est
nie
excuteraient si on appelait ces objets des fonctions et nous obligent les nommer des
I 3 0
(5.3)
I
Du moment que l'intervalle
contient
zro. L'objet de
(x)
1
2
fa (x) = e(x/a)
a
C'est une gaussienne centre sur
0,
a 0,
elle devient
de plus en plus pique, avec une extension de moins en moins large, mais l'intgrale
reste constante. On peut dire la mme chose de la fonction
ga (x) = (1/2a)(x/a)
ou en
faite de n'importe quelle fonction qui, lors d'un processus de passage la limite, rduit
son extension, augmente l'amplitude de son pique, et garde son intgrale constante. La
distribution
(x)
La dnition (5.3) nous permet quelques gnralisations. Par exemple, on peut dnir
3(x),
mme dnir
0.
On peut
vaut :
0
0,
le multiplier par
f (x)
(x)
(x)
f (0).
En faite, on utilise
Z
f (x)(x)dx = f (0)
I 3 0
(5.4)
R(x) est une distribution centre sur 0. (x x0 ) est une distribution centre sur x0 et
(xx0 )f (x) = f (x0 ). Finalement, les rgles pour manipuler les ne sont pas vraiment
compliques.
La dernire chose savoir sur
R =] , +[
(x)
=
(q)
Z
(x) exp(iqx)dx = 1
R
La TF de
(x)est
la fonction constante
est la superposition,
vraiment tonnant :
(x) varie vraiment trs rapidement, toutes les modulations doivent y tre prsent.
Inversement,
1
2
Z
exp(iqx)dq = (x)
R
48
(5.5)
5 Les distributions.
Exercice : Dmontrer que la fonction
dire que
R (x)f (x)
dnie
de dirac, c'est
= f (0).
La dimension de la distribution
ment des chires, c'est dire des nombre sans dimensions. En physique cependant, les
quantits que nous manipulons reprsentent des grandeurs telles que des longueurs, nergies, temps, vitesses, etc. Ces grandeurs ont des dimensions. Les physiciens attachent
beaucoup d'importance cette question pour plusieurs raisons. Une de ces raisons est
purement gramaticale et permet de vrier la cohrence des divers tapes d'un calcul.
Prenons le cas d'une quation direntielle du genre
d2 y/dt2 +02 y = f0
et supposons que
[0 ] = T 1
et
manifestement tromp une tape de la rsolution. Ces vrications peuvent (et doivent
) tre eectu chaque tape du calcul.
Comme nous manipulerons pas mal les distributions par la suite, nous avons besoin de
connaitre leur dimension. Les fonctions
est-il de la distribution
dimension de
ydx.
(x) ? RPour
Le signe
sin(x)
et
exp(x)
dimension d' une pomme + une pomme est toujours une pomme. Le signe
signie
une trs petite quantit de et la dimension d'une trs petite quantit de pomme est
R
[ ydx] = [y][x]
R
distribution :
(x)f (x)dx =
f (0). Il est alors ais de voir que [(x)] = [x]1 ! Nous aurions pu bien sr arriver au mme
2 2
rsultat en utilisant l'expression par passage la limite (x) = (1/a) exp(x /a ) quand
a 0. Voil, il faut avoir cela en tte chaque fois que l'on veut vrier la cohrence
des quations qui impliquent des .
une fonction
en
entre et produit
Notons que la TF
Appelons
1. En ralit, l'espace des fonctions support borns et inniment drivable, mais nous ne sommes
pas notre premier dlit.
49
5 Les distributions.
plus srieusement, des formes linaires dnies sur
E ).
R
Nous pouvons gnraliser cet exemple : chaque fonction
une fonctionnelle
Lg F
g E,
tel que
Z
f (x)g(x)dx
Lg [f ] =
R
Lg
x0
x0 [f ] = f (x0 )
(x x0 ) dnie plus
haut. Noter bien l'opration : on peut identier une partie de l'espace F avec l'espace
E via ces Lg que nous avions construit : chaque lment de E nous pouvons faire
correspondre un lment de l'espace F . Mais l'espace F est plus vaste, et quelques uns
Voil, le tour est jou. Cette fonctionnelle est bien le delta de Dirac
de ces lments en plus constituent les distributions inhabituelles. C'est un peu comme
enrichir l'ensemble des nombres rationnels
R.
On peut dnir des oprations sur les distributions. Il est toujours plus simple de
partir des distributions du genre
Lg
Z
Lg0 [f ] =
g 0 (x)f (x)dx =
R
(N'oublions pas que comme
x ).
Lg0 ?
g(x)f 0 (x)dx = Lg [f 0 ]
et
x0 0 [f ] = x0 [f 0 ] = f 0 (x0 )
o dans le langage moins lgants des physiciens,
(x x0 )f (x)dx = f 0 (x0 )
H 0 (x) = (x).
dveloppement formel des distributions. Mais la constructions de Schwarz est extrmement lgante et nous conseillons au lecteur de voir au moins une fois les bases rigoureuses
de cette construction.
Nous voyons cependant que l'espace plus large des distributions nous permet de manipuler aisement des objets qui nous semblaient interdit. Une force ponctuelle a un sens.
50
5 Les distributions.
Une discontinuit galement. En physique, une fonction ne
densit de l'eau ne saute pas de
peut
d'paisseur petite (trs petite devant les autres echelle de longueur) o la densit varie
continuellement d'une valeur une autre. La lumire rchit par un mirroir pnetre sur
une petite longueur
dans
suite. Nous pouvons donc caractriser les discontinuit des fonctions par des distribtion.
Soit la fonction
est drivable en
Exercices.
1. En utilisant la dnition (5.4), dmontrer que l'expression (5.1) gale
2. Que vallent
0 (x)
et
(q1 q2 ).
(x) ?
Lpriodique f .
(x) =
P+
n= (x
n).
avions pos un delta de Dirac sur chaque nombre entier. Quelle est la TF de
5. Dmontrer que
a 0 (x)
(x + a) = (x) +
comme
(1/2)a2 00 (x)
+ ...
(x/a) ?
On peut faire un
dmomntrer cette galit, appliquer les deux cts de l'galit une fonction
6. Dmontrer que
(x) = (x)
et
(ax) = (1/|a|)(x).
que
Z
(g(x))f (x)dx =
I
8. En supposant que la fonction
g(x)
1
|g 0 (x
0 )|
f (x0 )
(g(x)) =
X
i
xi sont les
(x2 a2 ).
o les
de
racines simples de
1
(x xi )
|g 0 (xi )|
g(x).
51
5 Les distributions.
5.3 Manipulation et utilisation des distribution.
Oscillateur soumis une force priodique.
A exp(i1 t).
d2 x/dt2 + 02 x =
x
() =
comme
Il obit l'quation
R
x(t) = (1/2) x
() exp(it)d ,
x(t) =
2A( 1 )
02 2
nous trouvons
A exp(i1 t)
02 12
F (t)
obit l'quation
d2 y
dy
+ + ky = F (t)
2
dt
dt
F0 (t).
F (t) =
Ceci est l'idealisation d'un coup de marteau trs bref et trs puissant sur l'oscil-
lateur. Pour simplier le problme, nous supposons dans un premier temps que la masse
est ngligeable ( que les forces d'inertie sont petites devant les forces de frottement )
et que l'osciallateur est au repos. En renormalisant nos coecient, l'quation prend la
forme :
dy
+ y = f0 (t)
dt
(5.6)
y() = f0 /( + i).
Il sut
(5.7)
Ce rsultat est reprsent sur la gure (5.1). Nous suggrons au lecteur de discuter les
limites
et
u
2u
= D 2 + Q(x, t)
t
x
52
5 Les distributions.
1
1
F(t)
y(t)
0.5
0.5
-2
-1
1
t
-2
-1
Figure 5.1: Reponse d'un oscillateur amortie une force impulsionnelle. La distribution
x,
le
la
nous avons :
(q, t) = Q0 (t)
t u
(q, t) + Dq 2 u
(5.8)
Mais cette quation est exactement eq.(5.6), celle qu'on a crit pour l'oscillateur amorti.
C'est bien une quation direntielle
ordinaire
q,
u
(q, t) = Q0 H(t) exp(Dq 2 t)
Il nous sut maintenant de prendre la TF inverse pour obtenir la solution dans l'espace
direct :
u(x, t) =
=
Z +
1
u
(q, t).eiqx dq
2
Q0 1
x2
exp
4Dt
2 Dt
La dernire integrale s'obtient facilement par les techniques que nous avons dj utilis.
L'volution de
u(x)
Extension (dicile) : si la source n'est pas ponctuelle dans le temps, mais seulement
dans l'espace,
u
(q, t). Cette expression est trop
t u
(q, t) l'est beaucoup moins. En changeant alors l'ordre
et t , vous pouvez obtenir une expression pour t u(x, t). Il vous sut
Z
u(x, ) =
t u(x, t)dt
-1
0
Il n'est pas dicile alors d'obtenir le comportement assymptotique de
53
pour
t .
5 Les distributions.
0.8
0.6
0.4
0.2
0
-4
-2
de
0
x
concentration
Ici,
en
fonction
D = 1/4.
de
x,
dirent
t
(x),
temps
La distribution originale, en
=
est
t = 0,
le temps et dans l'espace (l'idalisation d'un marteau de piano tapant sur la corde).
l'quation d'onde s'crit
2u
2u
v 2 2 = (x)(t)
2
x
x
En suivant la mme dmarche que ci-dessus, vous devriez pouvoir obtenir la propagation
de l'onde. Vous pouvez notemment montrer que l'extension du domaine ou
la vitess
u 6= 0
croit
v.
u(x, t)
qui se propage
trs bon cependant, puisque le signal peut se dformer et notre maximum disparatre
ou d'autres maximum apparatre. Nous devons dnir la vitesse en prenant en compte
l'ensemble du signal. Une bonne dnition est par exemple de suivre le barricentre du
signal, ou mme mieux, le baricentre du carr du signal pour viter les comprensations
de signe :
Z
x
(t) =
u2 (x, t)dx =
1. Supposons par exemple que notre signal se propage sans se dformer u(x, t) = u0 (xct)
Par la suite, sans perte de gnralit, nous supposons notre signal norme :
et nous avons alors
Z
x
(t) =
xu20 (x) + ct
u20 (x)
= x
0 + ct
ce qui correspond bien notre intuition de la vitesse d'un signal.
54
5 Les distributions.
(x),
Z
x
(t) = i
I
o
u
(q, t)
est la TF de
u
(q, t)
q
u
(q, t)dq
(5.9)
savons qu'une translation dans l'espace direct revient multiplier par une exponentielle
complexe dans l'espace rciproque :
u
(q, t) = u
0 (q).eiqct
En rempalant dans l'expression (5.9), nous voyons que cela nous donne
Z
x
(t) = x
0 + ct
u
0 (q)
u0 (q)dq
= x
0 + ct
R
R
Parceval,
0 (q)
u0 (q)dq = I u20 (x).
Iu
En gnral le facteur qui multiplie le temps dans l'expoentiel complexe est appel la
frquence angulaire
s'crit
= cq
et nous voyons que nous pouvons dnir la vitesse comme
c=
d
dq
u
(q, t) = u
0 (q)ei(q)t
55
5 Les distributions.
t, avec
une forme (q) quelconque, sans plus ncessairement tre proportionnel au mode q . Dans
(q)t
au temps
le cas d'un cristal par exemple, on peut dmontrer (voir le problme correspondant au
chapitre sur les sries de fourier) que
(q) = A sin(q).
Z
x
(t) = x
0 + t
I
(q)
Si
troit en
q0 ,
d
dq
u
0 (q)
u0 (q)dq
u
0 (q)
u0 (q),
d
c=
dq q=q0
Ceci est ce qu'on appelle la vitesse du groupe. L'expression
/q ,
<>).
alatoire
est la viscosit et
(t)
d2 x
dx
+
= (t)
2
dt
dt
2 (t) = T .
h(t)i = 0 et sa variance
si nous connaissons la valeur de cette force un instant, nous ne pouvons rien dire sur
sa valeur quelque temps que ce soit aprs.
5.4 Exercices.
1. Que valent les distributions
y +
tH(t)
02 y
0 (x) sin(qx) ?
dmontrer qu'elle
= f0 (t).
est la primitive de
H(t).
tH(t).
et
m
y = f0 (t).
tions initiales, trouver la solution. Trouver la mme solution en considrant la particule soumise une force constante avec une certaine dure
et faire tendre ensuite la dure vers zro.
56
5 Les distributions.
y
a
x
(a)
(b)
Figure 5.4: la che d'un pont sous l'eet d'une force ponctuelle.
5. Intgrer directement l'quation
dy/dt + y = f0 (t)
en utilisant la mthode de la
F (x) est la densit de force (force par unit de longueur) appliqu au point x et
che
d'un
pont sous l'eet d'une charge. Nous souhaitons connatre la che d'un pont de
longueur
dessus. Comme
les dimensions du camion sont petit par rapport au pont, on le modlise par une
distribution de dirac. En solvant donc l'quation
du pont. Nous utiliserons deux formes de conditions aux limites : (i) pont pos sur
des pilliers,
deux bouts
de
y(0) = y(L) = 0 ; y(0) = y(L) = 0 (gure 5.4.a ; (ii) pont ancr aux
y(0) = y(L) = 0 ; y 0 (0) = y 0 (L) = 0 (gure 5.4.b) . Pour quelle valeur
7. Dmontrer que
xu (x)dx =
u
0 (q)
u (q)dq
u
(q)
I
0
est la TF de u(x). Help : crire u
(q) et
u
(q)
57
R
I
exp(iq(x
6 Convolution et corrlation.
Deux concepts abondemment utilis en physique ( et bien d'autres endroist ) sont les
convolutions et les correlations. Les TF nous permettent de calculer ces choses de faon
assez simple.
f g
de deux fonctions
et
f (s)g(x s)ds
h(x) = (f g)(x) =
f g = g f.
L'endroit o l'on rencontre frquemment ce produit est quand on mesure un signal. Supposons que le signal qu'on mesure est l'intensit lumineuse sur un ecran,
f (x).
Pour
x,
et
mesurer son intensit. Bien sr, il va eectuer cette mesure en plusieurs points. Le detecteur est cependant un instrument rel, de taille nie, disons
x,
2`
[x `, x + `]
rentre dans le detecteur, et l'exprimentateur mesure donc en faite la moyenne de l'intensit sur une intervalle autour du point
point. Evidemment, plus
x,
h(x)
x+`
h(x) =
f (s)ds
x`
Z +
f (s)(
xs
)ds
`
= (f ` )(x)
Ici,
l (x) = (x/`)
est la
fonction de l'appareil.
des formes plus compliques, comme par exemple une gaussienne. Le facteur limitant la
prcision du signal est le pouvoir de rsolution
signal original. Par exemple, un objectif de microscope est un appareil de mesure dont
le signal mesur est l'image forme . Ernst Abbe, physicien de la compagnie Carl Zeiss
dans les annes 1890, a developp la thorie de la formation d'image et dmontr que le
pouvoir de rsolution des objectifs et, au mieu,
utilise et
NA
` = /2N A,
58
6 Convolution et corrlation.
2
l=0.1
l=0.3
l=0.5
l=0.7
1.5
1
0.5
0
-3
-2
-1
la lumire). Les microscopes optiques ne peuvent donc pas voir les echelles plus petites
que 0.2 micron.
(voir gure 6.1). Pouvez vous determiner dans le cas de la gaussienne, partir de
quelle
`,
Les transformes de Fourier nous permettent de calculer facilement les produits de convolution :
TF[f
g] = TF[f ].TF[g]
h(x) = (f g)(x),
h(q)
=
Z +
dx eiqx
ds f (s)g(x s)
ds f (s)
dx eiqx g(x s)
Z
=
alors
iqs
ds f (s)e
dx eiqx g(x)
= f(q)
g (q)
Calculer numriquement le produit de convolution dans l'espace direct est de l'ordre de
N 2,
la TFR, eectuer une multiplication entre les TF et prendre une TFR inverse ne coutera
que
N log N
operations.
Un autre endroit o l'on rencontre frquemment les convolutions est la thorie des
probabilits et le thoreme central limite. Soit deux variables alatoires continues
X2
indpendantes
ralisation de
f (x)dx.
X1
de densit
tombe entre
X1
et
59
6 Convolution et corrlation.
probabilit
h(z)
h(z)dz =
Z = X1 + X2 .
de la variable
Pr(z
x1 =+
Pr(z
x1 =
Z +
= dz
h(z) = (f g)(z).
moyenne
de deux variables
1
1
x2
p
exp 2
2(l + p2 )
2 l2 + p2
pour vraiment apprecier les TF, faire le calcul d'abord dans l'espace direct, et
ensuite l'aide des TF. Une gaussienne de largeur
est la fonction
1
exp(x2 /2l2 )
2l
Les resultats ci-dessus sont important. Supposons que nous ayons deux variables ala-
originales. C'est pour cette raison par exemple qu'un exprimentateur, pour caractriser
un phnomne physique, prend plusieurs mesure et calcule leur moyenne (voir les problmes avancs).
Exercices :
1. Calculer
(x) = ( )(x),
et reprsenter le graphiquement.
f =f
0 ?
Ta [f (x)] = f (x a)
est la convolution de
(x a)
f.
60
6 Convolution et corrlation.
H(t) le signal enregistr de T +T .
H(t) = h(t).(t/T ). Montrer alors que
Z +1/T
H()
= 2T
f()A()d
Mathmatiquement
1/T
On voit donc que l'intervalle de temps ni
la limite
mlange
T ?
6.2 Auto-corrlation.
Un outil indispensable en physique est le concept d'auto-corrlation. Cela joue un rle
important dans les processus stochastiques, la diraction, ...Supposons que nous avons
une fonction
x(t).
1
lim
T T
t+T
x(t)dt = 0
t
t.
x(t + )
si nous
G( ) =
x (t)x(t + )dt
= 0 G( )
beaucoup de cas, le signal est rel et le complexe conjugu dans l'espace relle n'a pas
d'importance. Concrtement, nous prenons notre signal au temps
par le signal au temps
t + ,
t,
nous le multiplions
et
ajoutons le rsultat. Nous donnerons plus loin quelques exemples de la faon dont cette
mesure est utilise pour dterminer les caractristiques de certains systmes physiques.
Que vaut la TF de la fonction d'auto-corrlation ?
G()
=
dt x (t)x(t + ) exp(i )
Z
Z
=
dt x (t) d x(t + ) exp(i )
Z
Z
=
dt x (t) exp(+it) d x( ) exp(i )
(6.1)
= x
()
x() = |
x()|2
(6.4)
(6.2)
(6.3)
carr.
(6.2), nous avons chang l'ordre d'intgration ; pour passer de (6.2) (6.3) nous avons
eectu le changement de variable
t.
La fonction d'auto-correlation reoit des interprtation direntes dans dirents contextes. Par exemple en probabilits, soit
X1
61
6 Convolution et corrlation.
et
X2
t + .
G( )
X2 X1 .
de la variable alatoire
rij
i, j
est
distances, et vous avez une fonction d'autocorrelation des concentrations. Nous avions
trs petite longueur d'onde, la fonction de transmission devient proportionnelle la concentration des molcules qui diusent ces longueurs d'onde ecacement, c'est dire :
E(q) T F [c(x)].
Les clichs de
concentrations molculaires.
Exercice : le dmontrer.
Problmes avancs.
c
2c
=D 2
t
x
Et soit la fonction d'auto-correlation spatiale
G(y; t) =
Dmontrer que
de diusion de
G obit galement
2D. [indication : il
intgrales]
d2 x
dx
+
+ kx = f (t)
2
dt
dt
62
(6.5)
6 Convolution et corrlation.
10
8
6
4
2
0
0
est une fonction alatoire, c'est dire qu'on ne connat pas vraiment
probabilit
valeur. Cela gnralise le concept de variable alatoire utilis en calcul des probabilits.
chance,
KB T /a,
en moyenne, que les chocs mnent vers la gauche que vers la droite. De plus, on
(t + ),
quelque soit
(t)
Z
G( ) =
o bien sr,
(t + )
(t)(t + ) = ( )
dsigne le delta de Dirac. Cela n'est pas trop dur imaginer : comme
(t),
signe contraire que de mme signe. A la longue, l'intgral doit tendre vers
2 (t) > 0,
(6.6)
0.
Par contre,
son intgrale tend donc vers l'inni (reportez vous notre discussion sur ce
() = 1
G()
= ()
En notant
02 = k/m
x() = (f /m)()
(02 2 + i)
ce qui nous donne, grce la relation (6.6),
|x()|
=
Cette fonction prsente un pique
(02
0 ,
(f /m)
2 )2 + 2 2
(6.7)
des
ressorts de taille micromtrique pour exercer des forces sur des bactries o des molcules
1. Par des pinces optiques, magntique, des micropipettes, ...
63
6 Convolution et corrlation.
biologiques. Un problme majeur est celui de calibrer le ressort, c'est dire trouver sa
constante
k.
L'quation (6.7) nous montre qu'il existe une faon extrmement robuste
x(t)
x(t) ;
(iii)
lever le module de la TF au carr ; (iv) trouver pour quelle frquence, cette dernire
prsente un maximum : nous avons la frquence propre de l'oscillateur.
ralisation. On peut se donner l'image d'un boitier lctronique qui ache un nombre
chaque fois qu'on appuie sur un bouton (une ralisation). C'est par exemple, le jet
d'un ds ; ou le temps entre l'arriv de deux particules sur notre senseur ; ou la direction
prise par une amibe au fond d'une boite de petri quand on la photographie toute les 30
secondes ; ou le cours de la bourse chaque seconde ; ...
On caractrise une variable alatoire (que l'on suppose continue) par sa densit de
x et x + dx est gale
6
f (x)dx . Cela veut dire concrtement que si on eectue par exemple 10 ralisations
(mesurons l'arriv d'un million de particule sur notre senseur), une proportion f (x)dx
des ralisation tomberont dans l'intervalle [x, x+dx[. D'aprs ce que nous venons de dire,
il est vident que f (x) 0 et
Z
probabilit
entre
f (x)dx = 1
g(y).
indpendantes 2 X
Z = X+Y
et
de densit
f (x)
et
h(z)dz
la probabilit d'observer
dans l'intervalle
(x + dx) + dz[
pour un
dans
pour obtenir
h(z)dz ,
h(z) =
f (x)g(z x)dx
64
6 Convolution et corrlation.
De faon gnrale, pour une fonction quelconque
V,
on dnit
V (x)f (x)dx
hV (X)i =
Exercices.
vous les suivez dans l'ordre jusqu'au bout (bravo), cela vous mnera la dmonstration
du thorme de la limite centrale : quelque soit la densit de probabilit de la fonction
X
N
/ N ,
est la variance de
X.
haXi = a hXi
a est un
Z = aX ?
hX + Y i = hXi
P + hY i. Que vaut la moyenne de la variable Z =
(X + Y )/2 ? Soit ZN = (1/N ) N
i=1 Xi o les variables alatoire Xi sont identique.
Que Vaut hZn i ?
2
La variance d'une variable est dnie par V ar(X) = X
hXi2 . Que vaut
V ar(X + Y ) ? Et V ar(ZN ) ?
2. Dmontrer que
3.
4. La fonction caractristique
X (t)
de densit
f (x)
est
dnie par
X (t) = hexp(itX)i
X (t) ?
2
X (0) = 1 ; X (0) = i hXi ; X (0) = X ; gnraliser
et la fonction
00
ce rsul-
aX (t)
et
X+Y (t) ?
Que vaut
hXi = 0
X (t)
a un maximum absolue
V ar(X) =
et
Zn (t) ?
t = 0.
2 . Dvelopper
Zn (t) l'ordre
2 en t
(1 + x/n)n exp(x)]. En
rsultat au cas hXi =
6 0.
dduire la densit de
s=
Z tp
x 2 (t) + y 2 (t)dt
0
Appelons l'angle
y.
(s)
avec l'axe
65
6 Convolution et corrlation.
(s).
Par exemple,
= s/R
R.
systme d'axe.
Soit maintenant un polymre ( deux dimensions) de longeur
L (L
l'chelle
T.
L'n-
Z
E=
B2 (s)ds
0
o
est le module de rigidit du polymre. Quelle est la correlation entre les tangentes
la courbe distant de
hu(s).u(s + )i = exp(/LP )
o
u(s)
et
Lp = B/KT .
Ceci est loin d'tre un calcul anodin : c'est comme cela que l'on mesure la rigidit des
polymres biologiques comme l'actin, les microtubules ou l'ADN.
66
x(t).
f (t)
on multiplie la
f (t) exp(st)dt
f (s) = TL[f (t)] =
par
les TL,
0
Les conventions veulent que la variable conjugues
les TL. La fonction
f (t)
f(s)
ou
f(s).
s'appelle
pour les TF et
pour
place des TF. D'un point de vue pratique, toutes les deux transforment des quations
direntielles linaires en des quations algbriques. Mais il est dicile d'intgrer les
conditions initiales dans les TF, tandis qu'elles s'introduisent naturellement dans les TL,
comme nous en verrons des exemples plus bas. Prenons le cas d'un signal temporel
Pour les transformes de Fourier, ce signal a toujours exist (depuis
x(t).
t = ) et existera
toujours. Pour les Transforme de Laplace, le signal ne commence son existence qu' un
temps ni (t
= 0).
Un autre (grand) avantage des TL est que nos exigences sur le comportement de
quand
Re(s) > 0
exp(st)
1. TL[1]
= 1/s
2. TL[exp(at)]
3. TL[t]
= 1/(s + a)
te
0
4. TL[tk ]
= k!/sk+1
f (t)
dcrot trs
1
dt = 0 +
s
1
=
s2
est dt
67
les uns aux autres. Avec la perte d'orthogonalit, nous perdons galement la possibilit
d'inverser (facilement) une transforme de Laplace et la belle symtrie entre une fonction
et sa transforme.
les TF. Par contre, il faut vraiment bien les maitriser, puisque prendre la TL inverse est
souvent une operation complexe (au sens propre) et qu'on prefre toujours se ramener
des expessions connues.
Changement d'chelle.
Translation.
TL[f (t/a)]
= af(as)
= f(s + a)
Multiplication par t.
Donc, TL[tf (t)]
Drivation.
TL.
= 1/s,
donc TL[exp(at)]
= 1/(s + a).
R
f(s) par rapport s, nous avons df(s)/ds = tf (t) exp(st)dt.
2
Par exemple, comme TL[1] = 1/s, alors TL[t] = 1/s
Si on drive
= df(s)/ds 1
Z
0
f (t) exp(st)dt
0
et ainsi de
suite.
Intgration.
trer que
Z t
TL[
f ( )d ] = (1/s)f(s)
0
1. Vous remarquerez que nous avons souvent t ngligent avec l'orthodoxie des convergences et des
drivations sous le signe somme. Mais vous pouvez facilement dmontrer qu'ici au moins, nous n'avons
pas enfreint de rgles ( dmontrez le).
68
x0 (t) + x(t) = t
(7.1)
C = C(t),
obtenir une
utiliser la condition initiale pour obtenir la solution nale. Prenons plutt la TL des
deux cots de l'q.(7.1) :
x0 + (s + )
x(s) =
s2
Nous avions dj, l'exemple 3 ci-dessus, calcul la TL[t], et nous avons juste utilis
ce rsultat. En gnral, les TL des fonctions les plus connues sont entreposes dans des
tables et on ne fait souvent que les consulter au lieu de recalculer la TL (comme pour les
tables de logarithme). En dcomposant en fraction simple, nous avons
11 1 1
1
= 2
+
+ )
s
s s+
s2 (s
1
11 1 1
x0
x
(s) =
+
+
2
s
s s+
s+
(7.2)
est
t,
l'originale de
1/s
est
, l'originale de
t 2 (1 et ) + x0 et
(7.3)
On peut vrier, en l'injectant directement dans l'quation (7.1) que ceci est bien la
solution. Notez avec qu'elle facilit la condition initiale a t prise en compte dans la
solution.
x(3) + 3
x + 3x + x = 1 avec les conditions initiales nulles.
La TL nous donne x
(s) = 1/s(s + 1)3 = (1/s) 1/(s + 1)3 1/(s + 1)2 1/(s + 1). En
2
se reportant la table (7.1), on trouve immediatement x(t) = 1 (t /2 + t + 1) exp(t).
Exemple 2.
Rsoudre
69
f(s)
af (as)
f(s + a)
d
ds
f (s)
sf (s) f (0)
f (t)
f (t/a)
exp(at)f (t)
tf (t)
f 0 (t)
f (t)
f (n) (t)
Rt
0 f ( )d
1
t
exp(at)
sin(at) ou cos(at)
sinh(at) ou cosh(at)
t cos(at) +
(1/a) sin(at)
1/ t
t
1/(t + 1)
sn f(s)
1/s
1/s2
1/(s + a)
a/(s2 + a2 ) ou s/(s2 + a2 )
a/(s2 a2 ) ou s/(s2 a2 )
2a2 /(s2 + a2 )2
/ s
( /2)s3/2
exp(s)(0, s)
Table 7.1: Rsum des rgles de manipulation des TL et un petit dictionnaire des TL
lmentaires.
70
Soit
voulons crire
f(s) =
Soit
A2
An
A1
+
+ ... +
s a1 s a2
s an
qi (s) = q(s)/(sai ). Nous voyons que qi (s) n'a pas de zero en s = ai . Quand s ai ,
f (s) est
p(a)
p(s)
1
1
=
+ O(1)
f(s) =
.
.
qi (s) s ai
qi (a) s ai
d'o on dduit que
En plus, comme
sai
quand
s ai .
sai
q(s) q(ai )
= q 0 (ai )
s ai
f (t) =
o la sommation est sur les zeros de
q(ai ) = 0,
f(s)directement
comme
X p(an )
exp(an t)
q 0 (an )
n
q(s).
Exemple : f(s) = (3s2 3s + 1)/(2s3 + 3s2 3s 2). Nous avons p(s) = 3s2 3s + 1 ,
q(s) = 2s3 + 3s2 3s 2 et q 0 (s) = 6s2 + 6s 3. Les zro du dnominateur sont aux s =
1, 2, 1/2. Comme p(1)/q 0 (1) = 1/9, p(2)/q 0 (2) = 19/9 et que p(1/2)/q 0 (1/2) =
13/18, nous avons
19 1
1
1
1 1
+
f(s) =
9s1
9 s + 2 6 s + 1/2
Cas des racines multiples.
Soit maintenant
f(s) =
o
T (s)
est un
A0
A1
An1
+
+ ... +
+ T (s)
n
n1
(s a)
(s a)
(s a)
a.
s a.
Comme
R(s)
Ai
a,
A0 = R(a)
A1 = R0 (a)
...
71
f (s)
nous pouvons le
Trouvons l'originale de
f(s) =
f(s) = 1/(s2 + a2 )2 .
Nous avons
A0
A1
B0
B1
+
+
+
2
2
(s ia)
(s ia) (s + ia)
(s + ia)
Nous pouvons bien sr tout calculer, mais remarquons simplement que dans l'expression
f(s),
invariance dans l'expression de f (s) une fois dcompose en fraction simple, nous devons
avoir B0 = A0 et B1 = A1 . Or, d'aprs ce qu'on vient de dire, autour de la racine
s = ia, R(s) = 1/(s + ia)2 et
de
le changement de
en
A0 =
1
1
= 2
2
(s + ia) s=ia
4a
A1 =
2
1
=
3
(s + ia) s=ia 4ia3
De mme,
Comme l'originale de
exp(t),
1/(s ia)2
est
t exp(iat)
et que l'originale de
1/(s ia)
est
f (t) =
1
1
t cos(at) + 3 sin(at).
2
2a
2a
t +.
In (t)
In (t) =
et il n'est pas dicile de dmontrer
1/ s2 1.
t .
et cos cos(n)d
exp(t)/ 2t
exp(t2 ),
exp(t2 ),
f (t) exp(st)dt
Re(s) > s0 ,
s0
cosh(t), s0 = 1.
et
t,
cf exercice 8.
72
t, s0 = 0.
Pour la
I0HtL expH-tL
0.4
0.3
0.2
0.1
1 , H2 tL
5
10
50
100
500
1000
Figure 7.1: Comparaison des la fonction de Bessel I0 (t) et son approximation assymptotique (l'axe
est logarithmique)
f (t)
pour
grand : nous
voulons savoir rapidement si notre particule revient une position donne ou si au contraire, elle part l'inni, et si elle part l'inni, quelle vitesse elle le fait. Nous allons
voir dans la suite que le comportement de
f(s)
s0
Re(s0 ) = 0, puisque si la TL
exp(at)f (t)a un ple en s = 0.
f (t)
un ple en
s = a,
la fonction
de
Le
f (t) s'en
dduit donc immediatement.
R
f (t). Si I = 0 f (t)dt < +, c'est que f (t) 0
t +
et nous n'avons pas trop de questions nous poser pour son comporte-
2
dominant de 1/ t + exp(5t) + 1/(1 + t ) est 1/ t. Nous pouvons formellement crire
4
que h(t) = o(g(t)) . Il est vident que pour s 0, la transforme de laplace est domine
de ce point,
f (s) = 1/as + O(1). Donc, f (t) 1/a quand t ( l'original de 1/s est
1).
Dans cet exemple, et ceux qui suivent, le lecteur est encourag calculer
Exemple 1.
bien sr
f(s) = 1/s(s a)2 pour a > 0. Le ple le plus droite est en s = a. f(s)
(1/a)(s a)2 quand s a et donc f (t) (t/a) exp(at) quand t . Remarquer
Exemple 2.
limt h(t)/g(t) = 0.
Les notations
73
et
s = ia,
et donc
f(s) = 1/(s2 + a2 )2 .
et nous devons tenir compte des deux. Nous laissons le soin au lecteur de
t cos(at)/2a2 .
Nous avons en faite souvent recours au developpement assymptotique parce que nous
x
+ x =
ditions initiales nulles. C'est l'quation du mouvement d'un corps soumis un frottement
visqueux et une force qui grandit comme la racine du temps. La solution est facilement
trouve en terme de TL :
x
(s) = ( /2)s5/2 (s + 1)1 .
l'originale de cette fonction. Par contre, comme il existe un ple zero, le dveloppement
assymptotique s'crit
t 0.
t = 0+
f (t)
autour
(7.4)
(t)] =
0
Or, quand
s , l'intgrale tend vers zro, d'o l'galit (7.4). Nous pouvons aller bien
f (t) proche de t = 0 s'crit
sf (s)
pour
s .
(voir
l'exercice 9).
Z
h(t) =
f ( )g(t )d
(7.5)
0
On note cela par
h(t) = (f ? g)(t).
d'intgration, que
h(s)
= f(s).
g (s)
74
avec
second membre
x(t)
+ ax(t) = f (t)
En prenant la TL, nous trouvons que
1
x0
f (s) +
s+a
s+a
x
(s) =
Comme l'originale de
1/s + a
est
exp(at),
at
x(t) = e
Z t
a
e f ( )d
x0 +
0
Z
f (t) =
f ( )K(, t)d +
0
K(t ),
f(s) = f(s)K(s)
+
s
c'est dire que
75
= 1/KT
dnombre les
Ei , alors
X
= Z() =
eEi
eF
i
La quantit
Il arrive souvent que beaucoup d'tat ont la mme nergie et dans ce cas, ont peut les
regrouper dans la somme :
Z() =
eE n(E)
E
o cette fois, nous sommons sur les energies disponibles au systme ;
E.
n(E)
dsigne le
par rapport notre mesure, nous pouvons recrire la somme ci-dessus sous forme d'une
intgrale
Z() =
eE f (E)dE
(7.6)
0
o
f (E)dE
et
E0 = 0.
Ce que nous voyons l est trs simple : la fonction de partition est la transforme de
Laplace de la densit d'nergie.
E(x) = kx2
. x ici est la variable qui
E + dE est 1/ kE . En nous reportant
et
r
Z() =
76
1/2
Z()
Par dfnition, une transition de phase (comme l'eau en glace) est une discontinuite
de la fonction de partition (ou une de ses drives). Vous venez de dmontrer que les
transitions de phases ne peuvent pas exister. O est l'erreur ? Ceci tait un problme
majeur de la physique statistique jusque dans les annes 1920 et l'invention du modle
d'Ising par le scientique du mme nom. Ce modle n'a reu une solution qu'en 1944
par Onsanger. Les annes 1970 ont vu apparatre les thories mathmatiquement sales
(dites groupes de renormalisation) pour traiter les transitions de phases de second ordre.
Nous ne disposons ce jour pas de thories mathmatiques gnrales satisfaisantes pour
les transitions de phases.
7.9 TL inverse.
Pour pouvoir eectuer les TL inverse, il faut connatre un minimum de la thorie
d'intgration dans le plan complexe. Pour les lecteurs qui en sont familier, mentionnons
la procdure qui est juste une adaptation des TF. Considrons la fonction
f (t < 0) = 0.
ect f (t)
ct
1
f (t) =
2
Z
ct
f (t)e
f (t)
telle que
comme la TF inverse de sa TF :
it
dt eit d
t < 0. (i) En multilpliant les deux cts par ect ; (ii) en posant s = c + i ; (iii)
prenant soin dans la deuxime intgrale du changement de variable d = ds/i ; (iv)
nulle pour
en
1
f (t) =
2i
c+i
f(s)est ds
ci
7.10 Exercices.
1. Trouver la TL des fonctions suivantes :
k]
= k!/sk+1 .
77
n=0 H(t
n)
est
1/s(1 es ).
6. La TL d'une fonction
f(s) =
Ra
0
) est
f(s)/(1 eas ),
(t a)H(t
n (t na)H(t na)
(1)
n=0
a) ; H(t) H(t a) ;
n
n=0 (1) H(t na) ;
I0 (z) = (1/2)
ez cos d
0
Dmontrer que sa T.L. est
9.
1
I0 (s) =
2
s 1
Dmontrez que I0 (t) (1/ 2) t exp(t) quand t +. Help : Pour Calculer des
R
R(cos , sin )d, on a intert eectuer le changement de variable u = tan(/2)
Les fonctions de Bessel In (t) obissent l'quation dierentielle
t2 u00 (t) + tu0 (t) (t2 + n2 )u(t) = 0
Dmontrer alors que la TL de la fonction
u(t)
obit l'quation
(s2 1)
u00 (s) + 3s
u0 (s) + (1 n2 )
u(s) = 0
Rsoudre cette quation pour
n=1
p
u
(s) = C0 + C1 / s2 1
I1 (0) = 0, I 0 (0) = 1/2 et en utilisant le
tique de s
u(s), dmontrer que C1 = C0 = 1. Sachant
galement la TL de la fonction I0 (t). Enn, en utilisant
Sachant que
comportement assymptoque
dduire
la relation de reccurence
I.
Rz
R
() = 0 t1 exp(t)dt. Il n'est
pas dicile de dmontrer que ( + 1) = () ( le faire ) et donc que cette
fonction est la gnralisation de la fonction factorielle n! = (n + 1). La fonction
R 1
d'Euler incomplte est dnie par (, z) =
exp(t)dt (voir gure 7.2).
z t
1 exp(z). Tout
Son dveloppement assymptotique est donn (pour z ) par z
a pour vous demander de dmontrer que TL[1/(1+t)] = exp(s)(0, s). Gnraliser
se rsultat aux puissance ngative de (1 + t).
78
0.8
5
4
0.6
3
0.4
2
0.2
1/(s2 + a2 )2 .
(s2 + 1)1/2
J0 (z) = I0 (iz),et
sa TL est
J0 (z)
x
+ 2 x = b sin(t)
p
2/z cos(z /4).
x(0) = x0
et
x(0)
= v0 .
x(3) + 3
x + 3x + x = 1
16. Rsoudre
x(4) + 2
x + x = sin t
17. Le mouvement d'une particule dans un champs magntique peut tre ramen la
rsolution du systme suivant :
x = y ; y = x
o
x, y
t = 0 , x = x 0 ; y = y0 .
18. Resoudre
x
x+y+z = 0
x + y y + z = 0
x + y + z z = 0
= z(0)
= 0.
x(0) = 1 et y(0) = z(0) = y(0)
Sol. : x(t) = (2/3) cosh(t 2) + (1/3) cos t ; y(t) = z(t) = (1/3) cosh(t 2) +
(1/3) cos t.
y 00 + 2ay + b = f (t)
avec les conditions initiales
a2
b 6= 0
2
et a
y(0) = y0 ; y 0 (0) = v0 .
b = 0.
79
2
2u
2 u
c
= 0
t2
x2
u(x, 0) = f (x)
(7.7)
(7.8)
t u(x, 0) = g(x)
(7.9)
1
u(x, t) = f (x ct) + f (x + ct) +
2c
x+ct
g()d
(7.10)
xct
Nous allons tablir la mme chose, mais en utilisant de faon combin les TF
et
les TL,
ces derniers ayant l'avantage de grer automatiquement les conditions initiales. Le schma
1
TL
TF
(q, s) TL
u(x, t) u
(x, s) u
TF
u
(q, t) u(x, t). Noter que t [0, +[, donc nous allons eectuer des TL par rapport
cette variable. Par contre, x ] , +[, donc nous allons procder des TF pour
cette dernire.
1.
c2
2.
3.
dmontrer que
d2 u
(x, s)
+ s2 u
(x, s) = sf (x) + g(x).
dx2
u
(q, s) =
o
t,
f et g
s
1
f(q) + 2 2
g(q)
2
+s
c q + s2
c2 q 2
et
sin(ctq)
g(q)
u
(q, t) = f(q) cos(ctq) +
cq
4. Rsultat intermdiare.
Dmontrer que si la TF de
x+a
TF
g()d
xa
80
g(x)
2 sin(aq)
g(q)
q
et
(7.11)
g(q),
alors
TF, prendre la TF inverse de (7.11) pour obtenir l'quation dans l'espace direct.
Problme : le thorme H.
Introduction.
c(x, t)
obissant l'quation
x1 =0
x2 =0
c(x) = 0
(7.12)
tablit par Boltzmann vers 1870 et forme le coeur de la thorie cintique des gaz et de
la physique statistique. Nous allons voir ici qu'aussi intimidant qu'elle paraisse priori,
cette quation se traite en faite facilement par les outils que nous avons vus dans notre
cours. Du point de vue de la physique, la variable
x; p
le choc entre deux particules. Comme les molcules ont une nergie cintique positive,
c(x) = 0
1.
si
x<0
(7.13)
Nous pouvons eectuer l'intgrale triple ci-dessus dans l'ordre que nous voulons.
x2 .
Z
(1/p)
p=0
(7.14)
x1 =0
x/p
Z
(1/p)
p=0
L'intgrale sur
x1
x1 =0
2.
x1
x/p
I1 (x) =
TL
TL
TL
x , c(x) c(), I1 (x) I1 (). Nous
en TL, que TL[f (x/p)] = pf(p). En utilisant
I1 () = p
c(p)2
81
c(p)2 dp c() = 0
p=0
Eectuez un dernier changement de variable vident pour mettre le rsultat sous la forme
de
3.
c(u)2 du c() = 0
c() =
o
(7.15)
A
+A
est une constante est solution de l'quation (7.15) ci-dessus. [ Pour trouver cette
solution, il sut de remarquer que l'quation (7.15) peut se transformer en une quation
direntielle de Riccati en drivant une fois].
4.
Soit
T =
R
0
xc(x)dx ; T
c()
T =
=0
En dduire que
A = 1/T .
c(x) =
1 x/T
e
T
ou vers le bas. Quand une majorit de spin pointe dans une direction, le matriaux
devient magntique. Chaque spin n'interagit qu'avec ses deux plus proches voisins, et
tente d s'aligner sur eux. Plus exactement, il a une certaine probabilit de s'aligner sur
ces voisins ... Plus tard.aboutir au rsultat (7.10)
82
d2 x
dx
+b
+ cx = f (t)
2
dt
dt
x(0) = x0
(8.1)
x0 (0) = x
0 . Ceci est
une force f (t). a et b
et
par exemple
peuvent tre
fonction du temps. Pour rsoudre cette quation direntielle, il nous faut trouver la
solution de l'quation homogne, et lui ajouter une solution particulire. Nous cherchons
justement une solution particulire.
Supposons que nous savons calculer la rponse de la particule une force impulsionnelle
(genre
f (t) ?
La
Z
f (t) =
f (t).
Plus exactement,
(8.2)
0
ce qui veut dire que la force
t0 ,
avec le poids
f (t)
d2 G(t, t0 )
dG(t, t0 )
+b
+ cG(t, t0 ) = (t t0 )
2
dt
dt
Notez que toutes les drivations sont faites par rapport t. Multiplions les deux cts de
0
0
l'quation par f (t ). Comme f (t ) ne dpend pas de t, on peut la rentrer l'intrieur de
a
d2 [f (t0 )G(t, t0 )]
d[f (t0 )G(t, t0 )]
+
b
+ cf (t0 )G(t, t0 ) = (t t0 )f (t0 )
dt2
dt
83
t, nous pouvons, jetant par dessus bord la dcence et l'exigence priori de la convergence
uniforme, changer la drivation et l'intgration.
d2
a 2
dt
Z
0
d
f (t )G(t, t )dt +b
dt
0
f (t )G(t, t )dt +c
0
f (t )G(t, t )dt =
0
0
(8.3)
Nous remarquons, d'aprs (8.2), que la droite de l'quation ci-dessus est juste
pelons
Z
y(t) =
f (t).
Ap-
(8.4)
0
et nous voyons donc, d'aprs (8.3), que
y(t)
l'lgance, nous devons calculer une seule fois la fonction de green pour une quation
direntielle. Ensuite, quelque soit le membre de droite, la solution s'obtient par une
simple intgration. La solution gnrale de l'quation direntielle s'crit maintenant
C1
et
C2
sont choisit pour satisfaire les conditions initiales. Nous avons occult pas
dx/dt + x = f (t)
La fonction de green est la solution de
G(,
t0 ) =
H(t)tant
bien sr)
exp(it0 )
i +
souvenez, la TF de
H(t) exp(t)
est
t,
une
1.
f (t) = H(t)t.
G(t, t0 ) = 0
si
Alors,
y(t) =
Z0
=
Z
=
t0 exp((t t0 ))dt
84
2.
y(t) =
t
1
e
+ cos(t) + sin(t)
2
+
Vous voyez ici comment on rsout une fois l'quation direntielle pour la fonction
de Green, et qu' ensuite, il sut d'appliquer une intgration pour trouver la solution
gnrale.
En langage opratoriel, on crirai une quation direntielle comme
L[x] = f
o
d/dt +
transforme une fonction en une autre fonction. La solution de cette quation s'crira
x = L1 [f ]
Trouver la fonction de Green revient trouver l'oprateur
L1
donc qu'il comporte une intgration. Si on s'est donn une base, on peut reprsenter
par une matrice (innie) et trouver la fonction de Green revient inverser cette matrice.
Nous n'avons pas ni avec les fonctions de Green. Supposons que notre quation est
un peu plus complique :
d2 x
dx
+b
+ cx = f (t, x)
dt2
dt
ce qui rend la rsolution de l'quation nettement plus ardue par les techniques classique.
Mais cela ne change rien pour les fonctions de green. La solution s'crira toujours
Z
x(t) = C1 x1 (t) + C2 x2 (t) +
(8.5)
0
Nous avons transform une quation direntielle en une quation intgrale. A priori,
nous n'avons pas gagn grand chose, ces dernires tant plus compliques rsoudre que
les premires. Mais souvent, et surtout en mcanique quantique, la forme (8.5) se traite
bien par la technique des perturbations (objet du prochain chapitre), et c'est un grand
avantage que de pouvoir en disposer. Nous en verrons des exemples plus bas.
ponctuelle
unit en
r0
(r)
cr par une
est
G(r, r0 ) =
1
1
40 |r r0 |
85
(8.6)
vaut
(r) =
(8.7)
Nous utilisons cette formule depuis la premire anne du DEUG. Nous savons par ailleurs
que le potentiel obit l'quation de Poisson
= /0
Nous oublierons dornavant le facteur
0
(8.8)
G(r, r0 ) = (r r0 )
(8.9)
Dmontrons ce rsultat. Jusque l, nous n'avions manipuler que des TF et des distributions une dimension. Leurs gnralisation trois dimension n'est pas vraiment compliqu. Par exemple, la TF est dnie par
f(q) =
o
Z
f (r) exp(iq.r)dr
En gnral, les vecteurs sont nots par des caractres gras droits, et leur norme par le
mme symbole mais non gras et en italique. Par exemple,
q = |q|.
TF se gnralise galement assez facilement. Prenons la TF des deux cots de (8.9) par
rapport
eiq.r
G(q,
r0 ) =
q2
puisque le numrateur est la TF de la fonction
(8.10)
translat de
r0 , et que la TF du laplacien
2
d'une fonction est q fois la TF de la fonction (pouvez vous dmontrez ce rsultat ? ).
Il nous faut maintenant inverser la TF pour retrouver la fonction de Green :
r0 ) =
G(r,
1
(2)3
eiq(rr )
dq
q2
(8.11)
Pour eectuer l'intgration, passons aux coordonnes sphriques, o nous prenons l'axe
qz
parallle
(r r0 ).
Dans ce cas,
dq = q 2 sin dqdd.
et
r0 ) =
G(r,
1
(2)3
u = cos ,
Z
d
Z
d
le reste s'crit
r0 ) =
G(r,
1
(2)2
+1
dq
0
86
eiq|rr |u du
u,
nous trouvons
r0 ) = 1
G(r,
2 2
sin q|r r0 |
dq
q|r r0 |
1
r0 ) = 1
G(r,
2
2 |r r0 |
sin q
dq
q
n'est qu'une constante que nous pourrions calculer l'aide de la thorie des fonctions
analytique et vaut
problme.
/2.
de Green de l'oprateur
2 ,
f (t) = H(t) sin(0 t) ? Cette question n'a pas de sens priori, puisque la fonction sin n'est
pas sommable ( et ne tend surement pas vers zero quand t ). Mais nous pouvons
calculer la TF de H(t) exp(t) sin(0 t) et une fois la TF calcule, faire 0. Cela
nous donnera, et on laisse au lecteur le soin de le dmontrer, que
f() =
0
+ 02
Quelle est maintenant la rponse d'un oscillateur (initialement au repos) une force
impulsionnelle ? Nous devons rsoudre
d2 y
+ 02 y = f0 (t)
dt2
(8.12)
En faisant un allerretour dans l'espace de Fourier, nous voyons que la solution est
y(t) = H(t)
f0
sin(0 t)
0
Nous somme maintenant bien outill pour calculer la rponse d'une corde vibrante (initialement au repos) une force impulsionnelle. Nous notons
l'abscisse
et au temps
2
2u
2 u
c
= f0 (x)(t)
t2
x2
87
Figure 8.1: La solution u(x, t) en fonction de x pour les temps t0 , 2t0 ,...
x,
u
(q, t)
2u
+ c2 q 2 u
= f0 (t)
t2
Mais cela est justement l'quation (8.12) que l'on vient de rsoudre, et nous avons donc
u
(q, t) = f0 H(t)
sin(ct q)
cq
(x/a)
rencontre au chapitre 3 :
u(x, t) =
f0
x
H(t)( )
c
ct
(Exercice : Est-ce tout cela dimensionnellement correct ?) Cette solution est reprsent
sur la gure 8.1 .
Il est vident que si au lieu d'appliquer la force
force
fx0
en
x = x0 ,
f0
en
x=0
G(x, t; x0 , 0) =
fx0
x x0
H(t)(
)
c
ct
f (x)(x),
la
u(x, t) = c
H(t)
= c1 H(t)
f (x0 )(
x+ct
x x0
)dx0
ct
f (x0 )dx0
xct
L'inuence d'un vnement en
x0
( l'instant
que si cet vnement tait l'intrieur du cne d'inuence de ce dernier, c'est dire
88
L un
oprateur direntiel. Par exemple, l'quation de la chaleur peut s'crire Lu = q(x, t), o
L = t D et q(x, t) est le terme de source. A priori, la recherche des solutions est
par
L = {,
du domaine de l'analyse. Nous allons voir cependant que nous pouvons ramener la solution de ces quations dans le domaine de l'algbre matricielle des systmes
et
n inconnus
du genre
n quations
machine
en sortie. Nous pouvons choisir plusieurs reprsentations pour une mme fonction. Par
exp(iqx), f
f(q) (nous avons
1/2
dans la dnition de
f (x) =
f )
f(q) exp(iqx)dq
L'intgral ici n'eectue rien d'autre que la superposition des vecteurs de base avec leurs
f par un tableau
f (x) (la notation est
89
f (x)
f (x) =
f (y)(x y)dy
A nouveau, l'intgral ne fait rien d'autre que de superposer des vecteurs de la base.
Revenons maintenant au concept gnral de vecteur. Soit l'espace vectoriel
E.
Nous
pouvons dnir des oprations qui transforment un vecteur dans un autre, et cela de
faon linaire. Dans l'espace des vecteurs du plan euclidien, la rotation ou la projection
sur un axe sont de telles oprations. Par exemple, la rotation de la somme de deux
transforme un vecteur (une fonction) dans une autre, et cela de faon linaire. De mme,
l'opration intgration
I[f ] =
Rx
0
f (y)dy .
des fonctions, un oprateur linaire comme une machine qui prend en entre une fonction
et produit en sortie une autre fonction, et fait cela de faon linaire :
et
f1 et f2
des fonctions.
Soit l'oprateur
multiplie par
en sortie :
qui associe n'importe qu'elle fonction la fonction 0. Est-il linaire ? De faon gnral,
la fonction
Of (x)
la place de O[f (x)]. La confusion est gnante quand on crit par exemple, Xf (x) = xf (x).
X ici est un oprateur, f (x) et xf (x) sont des fonctions 3 ; Xf (x) est la fonction qui
rsulte de l'application de X f . Pour viter un peu ces confusions, la convention que
o mme pire,
nous suivrons dans ce cours et de toujours noter les oprateurs par des lettres majuscules.
(produit) entre ses membres, avec toutes les proprits d'associativits usuelles que
f (x)
de ne pas toujours distinguer explicitement les deux choses et laisser le boulot au cerveau. Dans ce cas, le
cerveau agit comme un vulgaire compilateur C, testant constamment le
90
type
a, b, c E ,
alors
a + b a.b E
a+b = b+a
a(b + c) = ab + ac ; (a + b)c = ac + bc
(ab)c = a(bc)
Nous devons avoir quelques proprits de plus pour mriter le nom d'algbre. Il faut
qu'il existe des lments neutre vis vis des deux oprations, qu'on appelle
a+0 = 0
et
a1 = 1a = a.
et de
doivent
a, tel
a + (a) = 0 ; de mme, il doit exister un lment un lment unique qu'on note 1/a
1 tel que a.(1/a) = (1/a)a = 1 (pour a 6= 0).
ou a
L'ensemble des nombres (rationnels ou rel), quip de + et de . usuel, constitue un
a,
et 1 :
que
algbre. C'est un cas un peu particulier, puisqu'en plus, la multiplication y est commutative (ab
= ba).
Mais toutes les thormes qui ont t dmontr pour l'algbre des
nombres sans invoquer la commutativit du produit sont valable pour n'importe qu'elle
autre algbre.
Nous pouvons dnir un algbre pour les oprateurs linaires. Nous devons d'abord
prciser le sens de l'galit entre oprateurs. Nous dirons que
O1 = O2
si le rsultat de
l'application de ces deux oprateurs une fonction est le mme, quelque soit la fonction
f, O1 f = O2 f .
L'opration +
les fonctions
+ entre
O1 +O2 est l'oprateur qui, appliqu une fonction, produit la
: L'oprateur
fonction
O1 f + O2 f
fonction
muni de
L2
drivable.
Toutes les notations que nous utilisons dans l'algbre classique peuvent tre utilises
pour l'algbre des oprateurs. Par exemple,
x et y
X2
est eectivement
f nfois
n,
comme : quelque
drivable. De mme si l'oprateur vient avec des conditions aux bords. A chaque fois,
nous supposerons l'ensemble des fonctions comme compatible avec la dnition de l'oprateur. Nous
n'entrerons pas plus dans le dtail lors de ce cours, pour ne pas alourdir chaque assertion par un train
de prcautions et de conditions d'applicabilits. Dans la majorit des cas, nous supposons de nous
2
travaillons avec l'ensemble des fonctions L [, +] au moins deux fois continuement drivalble. Ceci
surtout impose nos fonctions qu'elles et leurs drive
5. De mme que dans l'espace des fonctions, l'opration + est hrite de l'addition entre les nombres :
la fonction
f +g
91
le nombre
f (x) + g(x).
O1 O2 6= O2 O1 .
Cela ne veut pas dire que l'on ne peut pas trouver deux oprateurs
et
prsumer l'avance.
Dnition.
O2 O1 .
Dmontrons que
O1
et
O2 , l'oprateur O1 O2
[O1 , O2 ].
Fonctions d'oprateurs.
exp(x) =
nx
pour les oprateurs linaires, nous pouvons faire de mme et dnir des fonctions d'oprateurs, comme par exemple
exp(O)
ou
exp(D) =
(1/n!)n Dn
n=0
P
n (n) (x),
f (x) produit la fonction
n=0 (1/n!) f
f (x + ). L'oprateur exp(D) n'est rien d'autre que l'oprateur
T vu
plus haut. Bien sr, ds que l'on parle de suite et srie innie, nous
convergence.
hrite sa dnition de la convergence dans l'espace des fonctions : nous dirons que la suite
On
soit
converge vers
si la suite des
fonctions On f
Of
quelque
dy/dt = ay
y(t = 0) = y0 o a et y0 sont des
bien connue est y(t) = exp(ta)y0 . La
(9.1)
de temps. La solution
valeurs de la fonction un
temps ultrieur
exp(ta)
la condition
initiale.
Soit maintenant l'EDP de premier ordre
t x = 0
92
(9.2)
/t = D
o
D = /x
t.
En s'inspirant de l'exemple de
t, Tt .
exp(tD)
(x, t) = 0 (x + t)
Ceci est la solution exacte de l'EDP (9.2) que nous pouvons obtenir soit par des transformes de fourier-laplace , soit par la mthode des caractristiques du chapitre 15. Ceci
n'est pas une analogie. Les mme rgles d'algbre (et d'analyse) que nous appliquons
aux fonctions ont t dnies pour les oprateurs et nous donnent le droit de les manipuler symboliquement de la mme faon. Voyons cela d'un peu plus prs. La fonction
f (t) = exp(ta)
exp(ta) =
tn an /n!
n=0
sa drive (qui concide avec la drive terme terme de la srie) s'crit (en jouant sur
l'indice de sommation)
f 0 (t) =
tn an+1 /n!
n=0
= a
tn an /n!
n=0
= af (t)
et c'est pour cela que cette fonction est la solution gnrale de (9.1). En utilisant les
mmes rgles de manipulation pour l'algbre d'oprateurs, nous voyons que l'oprateur
exp(tD)
D exp(tD)0 (x),
c'est dire
D exp(tD).
La
D(x, t).
/t = H
o
D,
(x, t) = exp(tH)(x, t = 0)
93
exp(tH)
exp(tH)
titre, l'oprateur de l'volution temporelle. Cette faon de prsenter les choses est appele,
en mcanique quantique, l'interprtation d'Heinsenberg (voir plus bas pour une digression
historique). Evidemment, cette faon de rsoudre l'quation ne nous sert rien si nous
ne savons pas calculer
exp(tH).
Exercices.
1. Identit de Jacobi.
A, B, C ,
nous avons
Dmontrer que
[D X, D + X]
et
4.
Dans l'espace des oprateurs linaires sur les fonctions trois variables, nous dnis-
inition. Calculer
5. Oprateur rotation.
= Lz
exp(Lz ) ? [(r, , )
coordonnes sphrique]
dmontrer que
d
exp(tA) = A exp(tA)
dt
o
A, P
Dmontrer que
94
exp(P 1 AP ) = P 1 exp(A)P
Soit la matrice
A=
Calculer
A2 .
0 x
x 0
An selon
que
exp(A) =
cos x sin x
sin x cos x
sin
et
cos.
C=
C 2 = D2 = 0 et en
C et D commutent ?
Dmontrer que
Est ce que
9. .
eA+B
0 x
0 0
, D=
dduire
et
e(A+B)t = eAt +
eC .eD .
0 0
x 0
eC eD
et
eC+D ?
eA(ts) Be(A+B)s ds
0
Cette relation, appel en mcanique quantique relation de Dyson, est trs utile pour
exp(A + B).
2
2u
2 u
c
=0
t2
x2
95
{e1 , ...en }.
Soit un vecteur
l'application de
v,
dans un espace
E.
dans
la base donne :
v=
aj ej
j
et comme
est linaire,
R.v =
aj (R.ej )
j
Pour entirement caractriser l'oprateur
R,
l'action qu'il eectue sur chaque lment de la base. Par ailleurs, chaque
i = 1, ..., n
E,
R.ej =
R.ei ( pour
{e1 , ...en } :
rij ei
(9.3)
i
Donc, pour entirement connatre
R,
nn
nombres
rij .
Nous
l'espace.
R.v =
rij aj ei
(9.4)
i,j
Il est habituel de reprsenter la dcomposition de
tableau de
nlignes
R.ej
comme la
jime colonne
d'un
/2 dans
R.ex = ey =
Caractrisons la rotation de
base sera
et sa reprsentation ma-
tricielle. La reprsentation matricielle est comme une photo de l'oprateur : elle dpend de
la base choisie , comme la photo dpend du point de vue du photographe et de l'humeur
de la personne qui se fait photographi. Mais la photo
n'est pas
{eq = exp(iqx)}.
la personne.
La base est bien sr innie, (et mme trs innie !), mais cela n'a pas
D.eq = iq eq
La reprsentation matricielle de
diagonaux. Les lments
dqq0
de la matrice de
96
dqq0 = 0
si
q 6= q 0
dqq = iq .
Le faite que
Df (x) =
iq f(q) exp(iqx)dq
Base orthonormale.
scalaire
(., .)
v:v=
quelconque
ai ei .
(ei , ej ) = i,j
{e1 , ...en }
Alors
(v, ek ) = (
ai ei , ek )
=
=
Le coecient
ak
ai (ei , ek )
i
ak
de la dcomposition du vecteur
et
ek .
sur la base
{ei }
rij
d'un
oprateur dans une base orthonorme. En partant de l'expression (9.3), nous voyons que
rij ,
il sut d'applique
ej
ei .
Exercices.
1.
sur
[0, L].
l'oprateur
2.
et
D2
Cn
dn
exp(x2 )
dxn
exp(x2 /2)
(9.5)
Les coef-
que nous n'explicitons pas assurent que les fonctions sont normes. On peut
97
hn
H = D2 + X 2
Hhn (x) = (2n + 1)hn (x).
nous avons
des
dans la base
In
dnie par
hn .
3. Oprateur
In (x) =
ex cos cos(n)d
Dmontrer que
matrice de l'oprateur
tridiagonal. ]
4.
M = I .
projection sur
e1
P1 ej = i,j e1 .
(e1 , ..., en )
et considerer l'oprateur
En utilisant la commutation de
ei = ei+1
et
laguerre,...
propre (
Ovn = n vn
o
vn .
ey
x,
le premier associ
l'opration de rotation de
la valeur
ex
= 1
ey et ez
= 1, les
et
et
= 0.
98
R = I ).
Enn, la rotation de
/2
n'a
Exemple.
Si les vecteurs propres sont susamment nombreux pour former une base, on les appelle
une base propre. Evidemment, la reprsentation d'un oprateur dans sa base propre est
diagonale.
Pouvoir disposer d'une base propre acclre (ou rend possible) la solution des problme.
Prenons le systme deux quations et deux inconnu
2x + 3y = 4
x 2y = 1
formellement, nous pouvons le reprsenter comme
u = (x, y)T
2 3
1 2
Au = B
est la matrice
et
dans la base
2x = 4
3y = 1
se rsout immdiatement comme deux quations indpendantes. Formellement, on pouvait l'crire
Au = B
o cette fois
est la matrice
dans la base
2 0
0 3
une
de
inni
22
44
ou
1000 1000,
de Hilbert, trouver une base propre est souvent la seule possibilit de rsoudre un
99
t (x, t) = H(x, t)
o l'on suppose que l'oprateur
(9.6)
(x , t) = 0
(x, 0) = g(x)
la fonction tend vers zro pour les grand
la forme de
f (x).
x;
l'instant
t = 0,
laquelle l'oprateur
est diagonale
{fn (x)}
dans
{fn }
t,
(x, t) =
(x, t)
sur la base
an (t)fn (t)
i=0
Les
an (t)
i=0
Comme les
fn
n an (t)fn (x)
i=0
g(x) =
an,0 ;
an,0 fn (x)
i=0
et donc
fn
fn (x
) = 0.
7. Nous supposons que l'on peut intervertir les opration de sommation et de drivation par rapport
au temps.
100
fonction
pour recalculer la
en ce temps l :
(x, t) =
(9.7)
i=0
Cette faon de calculer la fonction
de Schroedinger .
=
i
t
2
2
2 +x
x
D'aprs l'exercice que nous avons vu sur les fonctions d'Hermite, il n'est pas dicile
d'expliciter la solution sous la forme de
(x, t) =
Comparaison Schrodinger-Heisenberg.
an ei(2n+1)t hn (x)
L'interprtation de Schrodinger et Heisen-
berg sont bien sr quivalente. Reprenons l'quation (9.6) . Dans l'interprtation d'Heisenberg, la solution s'crit
(9.8)
n=0
nous voyons que l'oprateur
H=
1 0
. .
0 2 0
.
0 3 .
.
.
. .
. .
8. Heisenberg et Schroedinger ont formul ces deux approches dans les annes 1925-28 quand les
mthodes d'analyse fonctionnelle n'taient pas encore popularises chez les physiciens. La contribution
de Von-Neuman tait de montrer, en important les concepts dvelopps par Hilbert en mathmatiques,
que les deux approches taient quivalentes. Dirac mis la dernire main l'dice en 1932 en formulant
l'ensemble de faon extrmement lgante.
101
tH
et1
0
.
.
0
et2
0
.
(x, 0) =
.
0
et3
(x, 0)
.
.
. .
n
nous voyons que l'interprtation d'Heisenberg (9.8) exprime exactement la mme chose
que l'interprtation de Schrodinger (9.7).
Fonctions d'oprateurs.
fonction d'oprateur, mme quand nous ne connaissons pas la srie de la fonction . Soit
A, diagonal dans sa base propre (e1 , e2 , ...) et possdant les valeurs propres
(1 , 2 , ...). L'oprateur f (A) est dnie de telle faon que sa reprsentation dans la mme
base soit diagonale, avec les lments (f (1 ), f (2 ), ...).
l'oprateur
(., .).On
appelle
u, v
(u, Ov) = (O u, v)
Supposons que le produit scalaire est dni sur le corps des rels. Alors
Si dans une base (que nous prenons orthonormale pour plus de simplicit, mais sans
ncessit aucune) l'oprateur
lignes et les colonnes d'une matrice pour obtenir celle de son adjoint. La matrice rsultante
est appel la transpose. Si le produit scalaire est dni sur le corps des complexes, alors
.
Oij
= Oji
O = O.
L2 (qui
Exemple.
pour
Les oprateurs hermitiens ont quelques proprits remarquables, parmi lesquels les
suivants que nous demandons au lecteur de dmontrer/dcouvrir travers les exercices.
102
1.
alors
2.
R.
[indication : calculer
(x, Ax)
et
(x, A x)]
Les vecteurs propres associs deux valeurs propres distinctes sont orthogonales :
Ax1 = 1 x1 , Ax2 = 2 x2 , A = A , 1 6= 2 ,
(x1 , Ax2 ) et (x1 , A x2 ).
Si
3.
Ax = x, A = A ,
alors
L2
(x1 , x2 ) = 0.
[indication : calculer
x, (x, D2 x) 0,
ce qui peut
s'obtenir en eectuant une intgration par partie. De tels oprateurs sont appels dnie
positif.].
4.
V (x)
E.
x R,V (x) E .
V.f (x) = V (x)f (x)] ;
:
[indication : il sut de
(u, (V E)u) pour une fonction u quelconque et dmontrer que sa valeur est
0]. En combinant avec le rsultat de la question prcdente, que pouvez vous
considrer
toujours
H = D2 + V
5.
fournit par le vecteur propre de la matrice associ la plus petite des valeurs propres ;
la valeur propore est juste un multiplicateur de lagrange (mieux rdiger).
6.
L2
divergence,
R3 ,
0, il sut qu'un des termes soit nul, et qu'il sut donc de rsoudre les
x 1 = 0 et x 2 = 0 pour avoir les solutions du problme. Or, ces
produit soit
deux
quations
deux
dernires quations sont soluble par des techniques que nous connaissons dj.
Les oprateurs linaires possdent un algbre. On peut se demander si on ne peut pas
entreprendre la mme dmarche pour dcomposer des EDP compliques en systmes plus
simple. La rponse est oui si on fait attention aux conditions aux limites et si on garde
en tte que l'algbre des oprateurs est non commutative. Nous n'allons pas donner ici
un expos de ces mthodes, mais prfrerons l'illustrer travers deux exemples.
103
Appelant
H = D2 + V (X)
= H
t
Nous avons vu au 9.6 qu'il est hermitien est que toute ses valeurs propres sont suprieures
E0 ,
V (x).
cintique et l'oprateur
V (x)
L'oprateur
D2
H est appel
L2 ] , +[ et la gestion des
((x ) = 0 ). Nous avons vu
au 9.5 que rsoudre cette quation revient trouver les valeurs et vecteurs propres de
l'oprateur
H.
H = D2 + X 2
d'une particule se trouvant dans un potentiel harmonique. Nous savons que toutes les
valeurs propres sont
> 0. Nous avions donn en exemple plus haut les fonctions et valeurs
propres de cet hamiltonien. Nous allons voir que nous pouvons trouver ces fonctions sans
rsoudre aucune quation direntielle, un peu comme faire du beurre avec de l'eau.
Il sut juste de manipuler l'algbre des oprateurs et surtout de leur commutateur.
L'exemple que nous allons suivre et le prototype de ce genre de calcul et nous le donnons
donc avec un peu de dtail.
Comme
[D, X] = 1,
H = (D + X)(D + X) + 1 = (D + X)(D + X) 1
Notons que l'oprateur
est hermitien
X = X
et que
D = D.
poser
A = D+X
A = D + X
et rcrire
H = AA 1= A A + 1.
[A, A ] = 2.
Par ailleurs, on peut dmontrer facilement que pour trois oprateurs quelconque,
[F G, F ] = F [F, G] et [F, F G] = F [F, G]. Cette petite gymnastique nous permet d'obtenir
[H, A ] = [A A + 1, A ]
= [A A, A ]
= 2A
(9.9)
L'quation (9.9) est un cas particulier d'un oprateur d'chelle. Avoir sa disposition de
telles relations est d'un trs grand avantage comme nous allons le voir.
104
Si
E , alors A E
E + 2.
Vous voyez ici l'avantage : si on connat une valeur propre et une fonction propre,
on peut en trouver beaucoup d'autre par l'application successif de l'oprateur
A .
La
HA E = (2A + A H)E
= (E + 2)A E
Nous pouvons eectuer les mme dmarche pour
et dmontrer que
HAE = (E
2)AE . Comme nous savons que tous les valeurs propres sont > 0, il existe donc forcment
une valeur propre minimum que nous appelons (noter que 0 < < 2). Toute les autres
valeurs propres sont donc de la forme (2n + ), avec n N.
Il nous reste maintenant dterminer cette valeur . Appelons 0 la fonction propre
associe . Nous devons alors obligatoirement avoir
A0 = 0
(9.10)
sinon nous aurions des valeurs propres ngatives. De l, nous pouvons naturellement
dduire que
H0 = 0
Et par consquent,
En = 2n + 1.
= 1.
d0 /dx + x0 = 0
avec les conditions
0 0
pour
x .
Exercices.
1.
2.
et
H.
propre
3.
0 ,
105
linaires
Lu = u
o
(10.1)
u(x) est une fonction au moins deux fois drivable, la fonction et ses drives tant de
2
est un scalaire que nous appelons valeur propre et L est un oprateur
carr sommable .
L = (x)
d2
d
+ (x)
+ (x)
2
dx
dx
Exemple 1.
u(x, t),solution
de l'EDP
nu
= Lu
tn
o l'oprateur
(10.2)
t,
Ln = n n
o
n (x) est fonction de la seule variable x. Si les {n }constituent une base dans l'espace
des fonctions appropries, alors la solution gnrale de (10.2) est alors donne par
u(x, t) =
fn an (t)n (x)
n
1. Cette thorie a t formule par les deux mathmaticiens franais aux alentour de 1850.
2. Ce genre d'espace est appel l'espace de Sobolev, mathmaticien sovitique du vingtime sicle,
prcurseur de la thorie des distributions.
106
an (t)
dn an
n an = 0
dtn
et les scalaire
fn
sont donns par les conditions initiale. Si l'on veut, cette mthode est
Nous
2u
= c2 u
t2
o
u = u(r, , t).
(10.3)
k (r, ) = k 2 k (r, )
(Question : pourquoi les valeurs propres de l'oprateur
la solution gnrale s'crit
(10.4)
sont relles
u(r, , t) =
X
et
ngative ?) alors
Ak eickt + Ak eickt k (r, )
k
En coordonne cylindrique, l'quation (10.4) s'crit
2
2 k
k
2 k
=
r
+r
+ r 2 k 2 k
2
2
r
r
(10.5)
Si on regarde de plus prs cette quation, nous voyons qu'elle a nouveau exactement
la forme (10.2) et nous pouvons appliquer la mme mthode en cherchant la solution de
l'quation aux valeurs propres
r2
o
m = m (r)
d2 m
d
+r
+ r2 k 2 m = m2 m
dr2
dr
k (r, ) =
X
(10.6)
Bm eim + Bm eim m (r)
k : k (r, + 2) =
k (r, ). Cette symtrie nous impose que m ne peut pas tre quelconque, mais doit tre
entier : m = 0, 1, ... Nous rencontrerons constemment cette symmetrie et sa consquence
Nous remarquons en plus une symtrie remarquable dans la fonction
107
m (r) = Jm (x)
o
x = kr.
d/dr = k(d/dx)
et nous
obtenons
00
0
x2 J m
(x) + xJm
(x) + (x2 m2 )Jm (x) = 0
Cette quation s'appelle l'quation de Bessel, les fonctions
Jm
(10.7)
de Bessel ; le lecteur notera que cette quation qui joue un rle primordial dans les
quations de propagation en coordonnes cylindriques est de la forme (10.1).
Nous avons beaucoup dtaill les calculs dans cet exemple. Nous pouvons systmatiser
le travail de la faon suivante : nous cherchons la solution de (10.3) directement sous la
forme
u,
nous trouvons
c2 f 00
a00
1
c2 00 + 0 /r 2
=0
a
r f
Cette quation est valable pour tous
et
et nous varions
(r, , t).
(10.8)
et restent inchang. Pour que l'quation soit satisfaite, nous devons avoir
f 00 /f = Cte.
m2 ,
La contrainte
(k/c)2 +
en multipliant par
1 00
+ 0 /r m2 /r2 = 0
(r, , )
l'quation de Laplace
u = 0
Posons
(10.9)
Par des arguments analogues ce que nous avons utiliss prcdemment, nous obtenons
h00 ()
= m2
h()
108
1 d
f (r) dr
r2
df
dr
=
(10.10)
1 d
sin() d
dg
m2
sin()
+ n(n + 1)
g() = 0
d
sin2 ()
Et nous allons quelques peu nettoyer cette dernire quation. Remarquons d'abord que
g() est pair ; nous n'avons donc besoin de le rsoudre que sur l'intervalle par
exemple [0, ]. Posons cos = t ( t [1, 1] ) et g() = P (t). La drivation en chane
nous donne d/d = sin (d/dt) et donc
d
m2
2 dP
(1 t )
+ n(n + 1)
P (t) = 0
(10.11)
dt
dt
1 t2
la fonction
Les solutions de cette quation, appeles les fonctions de Lengendre associes sont notes
Pnm (t).
Pour
m = 0,
L'quation s'crit
m 6= 0
m = 0.
La partie angulaire de
sinet cos
L2
et
Lz
sphriques.
et
x.
pouvons nous en dispenser. Ce que nous avons distingu dans les exemples que nous
avons traits plus haut est que l'quation drives partielles pouvait se mettre sous la
forme de
variable
(L1 + L2 + ...)u = 0
4
o l'oprateur
Li
4. Ceci bien sr n'est pas un hasard : on choisit (invente) un systme de coordonn dans lequel
l'EDP peut s'crire de cette faon. C'est la raison de la popularit des trois systmes de coordonns les
plus populaires. Le lecteur rencontrera d'autres systmes plus exotiques adapt des problmes bien
particulier.
109
x et y ) pour illustrer
H = Hx + Hy (par
= 2 /x2 + 2 /y 2 ). Supposons
que nous souhaitons rsoudre l'quation Hu(x, y) = 0 dans le domaine x [a1 , b1 ] et
y [a2 , b2 ]. Supposons que dans l'espace des fonctions sur [a2 , b2 ] nous disposons d'une
base {i (y)}qui de plus est une base propre de l'oprateur Hy : Hy i (y) = i i (y).
Evidemment, nous pouvons, pour chaque x, dcomposer la fonction (inconnue pour l'instant) u(x, y) dans cette base :
X
u(x, y) =
ci (x)i (y)
de deux oprateurs, chacun ne contenant qu'une seule dpendence :
i
connaitre les coecients
plaons l'expression ci-dessus dans l'EDP que nous tentons de rsoudre, nous trouvons,
en utilisant les proprits de linarit de
H
!
Hu = H
ci (x)i (y)
i
Puisque les
drives partielles
Hu = 0
(10.12)
Mais ceci n'est gure dirent. En faisant exactement la mme dmarche de dcomposer
u(x, y)
{i (y)},
ci (x)
l'quation dif-
frentielle ordinaire
tt (rr + (1/r)r ) (1/r2 ) u(r, , t) = 0
5. Souvenez vous, nous appelons cela l'interprtation de Schrodinger.
110
k,m
l'quation
u = 0
2
1 2
rr + r + 2 L u = 0
r
r
L2
, :
o
est l'oprateur qui contient toutes les drives par rapport aux variables angulaire
L2 =
Nous connaissons une base propre
1
1
sin +
sin
sin2
6
de l'oprateur
m,n
alors la fonctions
R(r)
2
n(n + 1)
R00 (r) + R0 (r)
R(r) = 0
r
r2
Exercices.
1.
l'quation de Bessel si
m)
m Z.
Jm (x) = (1/)
R
0
est solution de
de premire sorte.
6. A vrai dire, nous n'avons jamais dmontr que ces fonctions constituent une base. La dmonstration
dcoule du fameux thorme d'approximation Weirestrauss (1885). Nous admettons le rsultat. Nous
2
avions simplement dmontr que les sphrique harmonique sont les fonctions propre de l'oprateur L .
111
f (x, y)
dont la
Z Z
f(u, v) =
f est de symtrie cylindrique, c'est dire qu'on peut l'ecrire comme f (r)
x + iy = r exp(i). Dans ce cas, on peut galement choisir les coordonnes polaires
dans l'espace rciproque u + iv = q exp(i). Dmontrer alors que f est galement de
Supposons que
o
symtrie cylindrique et
f(q) = 2
f (r)J0 (qr)rdr
0
Ceci s'appelle une transformation de Bessel-Fourier ou Hankel et qui est trs similaire
la TF, puisqu'on peut facilement dmontrer l'inversion :
Z
f (r) = 2
f(q)J0 (qr)qdq
0
[Help : pour dmontrer la formule inverse, nous admettons la relation d'orthogonalit des
fonctions de Bessel :
3.
R
0
m
Jm
entier,
et
Jm
Ym (x)
deux
4.
].
x2 u00 + xu0 + x2 m2 u = 0
u = x w
+ ( 1)2 /4.
5.
en consquence. Solution :
u(x) = J (x)/ x
2
o
m2
et choisir
Rsoudre l'quation
x2 u00 + xu0 + 2 x2 m2 u = 0
x = y ,
u(x) = Jm (x )]
[Help : poser
6.
et choisir
112
u(x)
endre
(1 x )v 2xv + n(n + 1)
2
00
Pn
m2
(1 x2 )
est d'ordre
n,
v=0
Pnm
dm (1 x2 )u00 2xu0 + n(n + 1)u =
(1 x2 )dm+2 u 2(m + 1)xdm+1 u + [n(n + 1) m(m + 1)] dm u
o
dm
8.Moment cintique.
Soit l'oprateur
m.
= r2 r r2 r + L2
Lz = xy yx et les autres s'en dduisent par permutation circulaire des indices
Nous avions dj vu que Lz = . Dmontrer que les harmoniques sphriques
fonctions propres de Lz , donner les valeurs propres associes.
Rappel :
(x, y, z).
sont
9.
tt u = u
Help : en notatation opratoriel, l'quation s'crit
tt r2 r r2 r + L2 u = 0
Comme nous connaissons les fonctions propres de
tt (= exp(kt) ) et de L2 (= Ynm (, )
= 1
et
|m| < n,
R(r).
1
R(r) = J0 (n+1/2) (kr)
kr
o
0 = 1.
113
d'Hydrogne :
it = ( /r)
On suppose
> 0
obit l'quation
exp(iEt) de it ; = / E (on
m
la fonction propre Yn (, ). En
suppose
posant
Legendre.
X r0 n
1
1
=
=
Pn (cos )
|x x0 |
r2 + r02 2rr0 cos n=0 rn+1
Lu = u
frentiel de second degrs. Nous nous plaons dornavent dans l'ensemble des fonctions
valeurs complexes. Nous quipons notre espace vectoriel des fonctions d'un produit
scalaire, mais nous allons quelque peu largir notre dnition du produit scalaire :
(f, g) =
f (x)g(x)w(x)dx
Le lecteur peut vrier que cette denition possde toutes les bonnes proprits que l'on
exige d'un produit scalaire,
si w(x) 0 7
. La fonction
w(x)
anglais).
Dans la trs grande majorit des cas que l'on rencontre en physique-mathmatique,
l'oprateur
o l'oprateur
est hrmitien
tiens ont des proprits remarquables : ils sont diagonalisable et leurs valeurs propres sont
rel. Ces faits ne sont pas tranger au fait qu'ils apparaissent aussi souvent en physique.
Nous avons vu que la forme gnrale de l'oprateur
est
w(x) > 0
w(x)
114
dx et dxx
, ,
(x).
Si
, , .
Si
est hermitien, il
0
(f g f g 0 )(w)
Z
+
(f g 0 f 0 g) (w)0 w dx
I =
L'hermicit de
(w)0 = w
0
(f g f g 0 )(w) = 0
L'quation (10.13) dnit en fait le poids
(10.13)
(10.14)
et
La condition (10.14) nous indique que selon l'espace des fonctions que nous nous
x .
Remarquez que
w = 0
C'est sous cette forme que les systmes Sturm-Liouville ont t formuls. Notez que
l'quation (10.13) est une quation direntielle simple dont la solution est donne par
C
w(x) =
(x)
o par
dx
(10.15)
Exercices.
un changement de variable
x = (s)
w(x)
1.
LPn = n Pn
115
(10.16)
Pn (x)
n.
Pn consitutent bien
n N soit reprsents 9 .
La recherche des solutions polynomiales impose une forte contrainte pour satisfaire la
ou doit tre
cela.
L ne contient au plus que des drives d'ordre 2, cela nous impose que les
coecients , , soit eux mme des polynmes, de degrs 2 pour , 1 pour et 0 pour
. (Exercice : le dmontrer en considrant les trois premiers polynmes n = 0, 1, 2). Nous
Comme
10
(x) = 2 x2 + 1 x1 + 0
(x) = 1 x + 0
(x) = 0
Nous devons donc explorer un espace six dimensions pour puiser toutes les combinaisons des coecients. Pas tout fait en ralit, cela peut tre beaucoup plus simple.
directe-
encore simplier la forme de cette quation (en remplaant par exemple x par x/ a )
par
x2 + c0 = 0
Si nous savons rsoudre cette dernire nous savons rsoudre l'quation gnral de second
degrs : au lieu d'explorer une famille trois paramtres, nous n'avons qu' explorer une
famille un seul parmatre.
Nous avons pu eectuer cette simplication formelle et liminer deux paramtres parce
que nous avions 2 degrs de liberts notre disposition : le choix de l'origine et de l'chelle
de l'axe
x.
Dans une quation de type (10.16), nous avons 4 degrs de liberts. Par
L,
aL,
est un scalaire. Les fonctions propres de cette nouvelles quations restent inchanges, les
2 = 1
(quand
nouveau, les fonctions propres restent inchanges, les valeurs propres seront deplaces
9. Cela s'appelle la compltude dont nous avions parl au chapitre sur l'analyse fonctionnelle et qui
dcoule d'un thorme dmontr par Weirestrauss que nous n'avons pas donn ici.
10. Vous remarquerez donc que les fonctions de bessel ne sont pas polynamiales.
116
de
Exercices.
1. Comment se transforme l'quation de Jacobi
(1 x2 )u00 + [p q + (p + q + 2)x]u0 = u
avec le changement de variable
x 1 2x ?
= 0.
(x)
10.4.1
quadratique.
Comme nous l'avons dit, nous utilisons un degrs de libert pour choisir
Nous pouvons donc crire
(x).
x0
et
x1
2 = 1.
Ces deux racines sont soit complexes (et conjugues l'une de l'autre) soit relles.
Le lecteur peut dmontrer qu'avec des racines complexes, il n'est pas possible de remplir
les conditions d'hermicit. Nous utilisons maintenant deux degrs de libert d'origine de
l'axe
pour choisir
Exercices.
l'oprateur
x0 = 1
et
x1 = 1.
y = a(x b) qui transforme eectivement
(1 y 2 )(d2 /dy 2 )
et il est coutume de les noter 1 = (p + q + 2) et
fraction simple de / s'crit alors
0 = q p.
La dcomposition en
en oprateur
(x)
q+1
p+1
=
(x)
x+1 1x
ce qui nous amne nalement, d'aprs l'q.(10.15),
p, q
w 0
x .
On peut
aussi ngative que l'on veut, on ne peut pas satisfaire cette exigence telle
p, q > 1, nous voyons que w s'annule sur les bords. Nous chisisons
donc
si |x|<1
sinon
Les polynmes associs ce choix des paramtres sont appels des polynmes de Jacobi
(p,q)
Jn
(x). Certains choix de p, q ont obtenus des noms propres. Par exemple, p = q = 1/2
w(x) = (1 x2 )1/2 et les solutions s'appellent les polymes de
117
11
. Pour
p = q = 0,
w(x) = 1.
(x)
10.4.2
linaire.
w(x) = xs ex
x +, mais pas pour x . Cependant, ont
s > 1, nous pouvons connecter la fonction ci-dessus pour x > 0
la fonction w(x) = 0 pour x < 0. Les solutions de ce systme sont appels les polynmes
(s)
de Laguerre associs Ln (x). Pour s = 0 les solutions s'appellent simplement les polynme
Cela nous convient parfaitement pour
(x)
10.4.3
constant.
Nous n'avons plus de paramtres libres et tous les cas se ramne au choix
(x) = 2x
( le coecient de
(x) = 1
obtenons
w(x) = ex
12
n.
n,
le terme
n = 2 n(n 1) + 1 n = n (2 n + 1 2 )
Pour les Jacobis, l'quation direntielle est
n = n(n + 1).
11. Les polynmes de Chebychev ont t trouv par l'auteur du mme nom ( professeur l'universit
de St-Petersburg dans les annes 1850-80) l'occasion de l'tude de la thorie d'interpolation : Soit une
fonction donne sur l'intervalle
f (x)
en
[1, 1].
Tn (x)|
n Tn (x)
nos polynmes.
12. Professeur l'Ecole Polytechnique et l'ENS dans les annes
118
1850 1880.
xu00 (x (s + 1)) u0 + nu = 0
avec les valeur propres
n = n.
n = 2n.
Notez que les valeurs propres sont espac linairement dans les deux derniers cas et
quadratiquement dans le premier.
On peut calculer de direntes faon les polynomes orthogonaux. On peut poser
fn (x) =
Pn
i
i=0 ai x , remplacer l'expression dans l'quation direntielle du polynme
[n/2]
Pn (x) =
i=0
[n/2]
Hn (x) =
i=0
o
Pn
et
Hn
n
m
2n 2m
n
xn2m
1
(2x)n2m
m!(n 2m)!
fn (x) = Cn
1 dn
(n w)
w dxn
13
n (x)w(x)dx
Comme nous l'avons souvent indiqu, les polynmes orthogonaux sont dnis un coefcient multiplicatif prs, et on peut utiliser l'expression ci-dessus pour les normaliser.
fm
avec un poid
sont unique ( un coecient multiplicatif prs, voir un des exercices plus bas) nous
119
Calculer la fonction poids pour les quations suivantes ; mettre ces quations sous
forme SL :
1. Equation de Legendre
2. Equation de Mathieu
3. Equation de Bessel
x2 y 00 + xy 0 + (k 2 x2 m2 )y = 0
4. Equation de Bessel
y 00 + (1/x)y 0 + (k 2 m2 /x2 )y = 0
2.
x2 y 00 + xy 0 + (x2 m2 ) = 0
xy 00 + (1 x)y 0 + ny = 0
y 00 2xy 0 + 2ny = 0
x3 y 00 + xy 0 + 2y = 0
(x2 + 1 x + 0 )y 00 + (1 x + 0 )y 0 y = 0
(x) a deux racines complexes [Help : dmontrer
w n'est pas susement rapidement dcroissant et ensuite qu'on ne peut
pas trouver w continue s'annulant en deux points, pour pouvoir ensuite le connecter
la solution w = 0. Pour dmontrer ce dernier point, remarquer que (x) peut se mettre
R
2
2
sous la forme de (x a) + b et que
dx/(x) = (1/b)Arctg (x a) /b].
3.
(x)y 00 + (1 x + 0 )y 0 y = 0
n'a pas de solution poylnomiale si
4.
Soit
{Pn }
et
{Qn }
1 x + 0 0.
w(x). Dmontrer alors que les deux polynomes sont proportionnel : Pn = an Qn . Autrement
dit, un coecient multiplicatif prs, les polynmes orthogonaux associs un poids sont
unique.
5.
6.
avec le poids
Gm
n (x)
s'obti-
Gm
nm (x) =
dm
Pn (x)
dxm
Quelle est la relation entre les ultrasphriques et les fonctions de legendre associs ?
120
Tn (x)
p = q =
Tn (1) = 1)
dduire
que
8.
9.
v 00 x2 v = v
D'aprs ce que nous avons dit, cette quation n'a pas de solution polynmiale. On peut
cependant la mettre sous une meilleure forme. Poser
(x).
f (x)
2
pour liminer le terme en x (x) (attention au signe choisi) ? Que devient alors l'quation au valeurs propres pour
i
sur l'intervalle
10.
2
= 2 + x2
t
x
x ] , +[
F (a, b, c; x)
solution de
11.
12.
y .
Soit
u(x) =
Dmontrer que
Sturm-Liouville
y 00 + y 0 =
u00 + Ru = 0
o il faut expliciter la fonction
R(x).
121
11 Le calcul variationnel
11.1 Introduction.
Ds que vous avez vu les bases de l'analyse, vous avez appris rpondre la question
f (x)
local
: un point
qui produit la sortie la plus grande (ou la plus petite) que tous ses voisins immdiats.
x,
f 0 (x) = 0.
Donnons nous maintenant une fonctionnelle
tion
L.Ceci
une fonc-
b
Z
S(f ) =
f (x)2 + f 02 (x) dx
(11.1)
a
est une fonctionnelle qui prend une fonction, ajoute son carr et le carr de sa drive et
les intgre entre deux bornes pour produire un nombre. Si on entre la fonction
cette machine, elle produit le nombre
le nombre
b a.
Si on y entre la fonction
exp x,
sin x dans
elle produit
2 exp(2b) 2 exp(2a).
que
doit satisfaire une quation direntielle qui est reli la forme de la fonctionnelle
S.
Donnons deux exemples avant d'aller plus loin.
Brachistochrone.
A(0, 0)
f ),
y = f (x).
B(x1 , y1 )
On laisse un objet
voyez qu'une fois qu'on se donne un toboggan, c'est dire une fonction, en utilisant
quelques notion de mcanique et de conservation d'nergie, on peut calculer le temps
de parcours, c'est dire un scalaire. Essayons de mettre cela en forme. La vitesse de
l'objet l'ordonne
p
p
2gy.L'lment d'arc ds = dx2 + dy 2 = (1 + f 0 (x)2 dx
dt = ds/v . Le temps total du parcours est donc
Z x1 s
1 + f 0 (x)2
T =
dx
2gf (x)
0
vaut
122
11 Le calcul variationnel
Et il faut trouver la fonction
comme un d par un des frres Bernoulli vers 1690 ( peine dix ans aprs l'invention
du calcul direntiel) la communaut scientiques. Tous les grands (Newton, Leibnitz,
l'autre Bernoulli, Hospital, ...) y rpondirent. Euler (~1740) a trouv une solution gnrale
de ce genre de problme et Lagrange (~1780) les a gnralis la mcanique.
Mcanique analytique.
au temps
t=0
soumise un potentiel
x(t).
La fonction
x(t)
V (x).
x = x1
au temps
t = t1 .
x=0
qui minimise
t1
S=
(m/2)x 2 (t) V (x(t)) dt
(11.2)
0
est la trajectoire suivie par la particule. Ceci est une nouvelle formulation de la m-
F = ma o la fonction
x(t). Ici, la dmarche
(0, 0) (t1 , x1 ), la particule
F (x) = dV /dx
et
a = d2 x/dt2 pour
remonter la trajectoire
choisit justement celle qui minimise l'intgrale (11.2). Comme si un dieu calculait le cot
(qu'on appelle l'action
moins
l'nergie
Z
S[f ] =
(11.3)
a
Trouver la fonction
est un extremum.
avions crit dans (11.1). En plus, nous avons le droit de prendre les drives partielles
de
L/x = 2x
et
L/y = 2y .
1. A premire vue, il semble qu'il manque quelque cette formulation : l'intgrale ne contient pas de
rfrence
y1
123
y1 .
11 Le calcul variationnel
y1
f+g
f
g
y0
et une variation
L/f
et
L/f 0
dire drive partielle par rapport au premier ou deuxime argument. Dans ce cas, nous
aurions eu par exemple
L/f 0 = 2f 0 (t).
L/f 0
est ici
termines. Mais on prend vite l'habitude de ces notations. Notez galement que l'on ne
cherche pas n'importe quelle fonction, mais les fonctions qui prennent des valeurs bien
dtermine (y0 et
y1 )
aux bords
et
b.
f (x)
x+
d'ordres
point
df
et
au point
x,
alors son
2 + ...
x,
A(x)
f 0 (x).
Le
0
est un extremum si le coecient de proportionnalit f (x)
x,
l'accroissement de
( l'ordre 1
Nous n'avons qu' suivre cette mthodologie pour trouver l'extremum de notre fonc-
g(t) la fonction f (t), et calculer l'accroissement de la fonctionnelle dS = S[f + g] S[f ]. Avec un peu de chance, cette
accroissement comporte un terme linaire en :
tionnelle
S[f ]
A[f, g]
disons que
d'ordre
2 + ...
est un extremum si
A[f, g] = 0
124
quelque soit
g!
et
g.
Nous
11 Le calcul variationnel
ver l'extremum d'une fonction de plusieurs variables : le point
(x , y , z , ...)
est un ex-
tremum de la fonction
exemple
fonction, comme nous l'avons vu au chapitre 1, n'est nalement qu'un point dans un
espace dimension inni ; une fonctionnelle est comme une fonction d'une innit de
variable. Quelque soit
f (a) = y0
et
f (b) = y1 .
Comme
f + g la
g(a) = g(b) = 0.
tel que
S[f + g] =
(11.4)
(L/y)k + ...
deuxime intgrale un peu plus en forme en faisant une intgration par partie :
b Z b
L 0
L
d L
g (t)dt =
g(t)
g(t)dt
0
f 0
f 0
a dt f
a
vaut justement
Z b
dS =
a
d L
L
g(t)dt + ...
f
dt f 0
quelque soit
dS
et
.
Si la fonction
la fonction
g.
est un
La seule possibilit
L
d L
=0
f
dt f 0
(11.5)
qui est appel l'quation d'Euler-Lagrange. Notez que cette quation est homogne dimentionnellement. Faisons quelques exercices pour nous xer les ides.
Identit de Beltrami.
d
dt
Evaluons l'expression
L
f
L
f 0
0
L
L
L 0 L 00 L
0 d
= f
+f
f
f
0
0
f
dt f
f
f 0
t
d L
L
L
= f0
0
dt f
f
t
00
125
11 Le calcul variationnel
Si
t,
alors
L/t = 0 ;
parenthse n'est que l'quation d'Euler-Lagrange et vaut zro par construction. Nous en
dduisons que si le Lagrangien ne dpend pas explicitement du temps, alors
f0
L
L = Cte
f 0
Ceci est appel l'identit de Beltrami. En mcanique, ceci n'est rien d'autre que la conservation d'nergie (exercice : le dmontrer) ; elle est cependant de porte plus gnrale et
facilite grandement les calculs dans les problmes o la variable indpendante n'intervient
pas explicitement, comme dans le problme du brachistochrone.
L = T V,
l'nergie potentiel. Si
V (x),
x(t),
L(x, x)
= (1/2)mx 2 V (x).
Le premier terme de l'quation d'Euler-Lagrange est
L
dV
=
x
dx
Comme nous l'avons mentionn ci-dessus, le seul terme qui dpend de la premire variable
est
V (x).
x par y
dans l'expression
)donne
L
= mx
x
et la drivation par rapport au temps de cette dernire nous donne
d L
= m
x
dt x
et l'quation d'E.L. s'crit nalement
m
x + dV /dx = 0
Ce qui est bien sr la mme chose que l'quation de Newton
F = ma.
V (x) = Cte,
s'est
dire que la particule se meut dans une rgion de l'espace o il n'est pas soumis une force.
On peut galement dire que cette rgion de l'espace possde une symtrie d'invariance
par translation : deux particules identiques plac deux endroits dirents de l'espace
ragirait exactement de mme ; dit encore autrement, nous n'avons aucune mthode pour
dterminer o l'on se trouve dans l'espace. Dans ce cas,
s'crit
d L
=0
dt x
126
L/x = 0,
et l'quation d'E.L.
11 Le calcul variationnel
ou encore la quantit
mouvement
p = mx .
p = L/ x = Cte.
Or,
plusieurs fonctions. Par exemple, une particule dans l'espace habituel possde trois degrs
de liberts
x1 , x2 , x3 et L = L(xP
1 , x2 , x3 , x1 , x2 , x3 ). Si les xi sont les coordonnes cartsiL = (m/2) i x2i V (r). La dmarche ci-dessus peut-tre rpte
mot mot pour dmontrer que nous aurons une quation d'E.L. pour
libert :
chaque
degrs de
L
d L
=0
xi dt x i
(11.6)
m = 1) T = x 2 + y 2 + z 2 aux
L'nergie potentiel est V (r), ce qui
T = r 2 + r2 2 + r2 sin 2 .
2
donne le lagrangien
L = r 2 + r2 2 + r2 sin2 2 V (r)
(11.7)
Nous remarquons que nous avons une symtrie : si nous avions choisi nos axes pour que
t = 0, = /2
et
= 0
xy .
(t) = /2
xy
L = r 2 + r2 2 V (r)
Nous remarquons que
p =
L
= 2r2 = cte
2. Ceci s'appelle le thorme de Noether, du nom de la mathmaticienne allemande qui l'a formul
vers 1912.
127
11 Le calcul variationnel
Ceci n'est rien d'autre que la conservation du moment cintique, comme nous l'avions
annonc ci-dessus. Finalement, il faut crire l'E.L. pour
frentielles rsultantes. Le lecteur trouvera la solution de ses quations dans les livres de
mcanique.
xy
le temps :
` = `(t).
y)
m = 1 restreint au plan
que fait le
y comme ce degrs. L'nergie cintique est donne par T = (x 2 + y 2 )/2.
2
2 2
Comme x = ` sin et y = ` cos , T = (` + ` )/2. L'nergie potentiel est U = gy =
g` cos . Pour le premier terme de l'quation E.L., nous avons
d L
d h 2 i
=
`
dt
dt
= `2 + 2``
Le systme possde un seul degrs de libert. Nous choisissons l'angle
Si
+ 2 `/`
+ (g/`) sin = 0
l'quation du mouve-
` = `0 + `1 sin t, `0 `1 , on peut
est le double
p
de la frquence propre =
g/`0 ; la phase de l'oscillateur est alors bloque ( 0 ou ) sur
oscille faiblement autour d'une position moyenne
la phase de l'excitation. Ce procd est largement utilis dans les circuits lectroniques.
Vous avez sans doute remarqu avec quelle facilit l'on obtient les quations du mouvement. En aucun cas on ne doit chercher les forces des ractions des contraintes, comme
dans le cas de la formulation Newtonienne. Il existe une interprtation gomtrique extrmement profonde de cette approche qui peut-tre trouv dans les livres de mcanique
analytique. Nous ne continuerons pas plus le sujet ici.
t.
xi ,
128
i ,
d'une
variable
chacune de ces
11 Le calcul variationnel
Exemple fondamental.
Z
T =
(/t)2 dx
0
et son nergie potentielle est l'nergie lastique des dformations
Z
V =
k (/x)2 dx
(11.8)
0
o
cot
(x, t)
t1
t0
,
l'action (le
Lh
i
(/t)2 c2 (/x)2 dxdt
S[] =
l'ordre 1 en
c2 = k/,
) est
g(x, t)
autour de la trajectoire
(x, t),
t1
L
S[ + g] S[] =
t0
g
2 g
c
dxdt
t t
x x
t1
S =
t0
S = 0
L 2
t2
gdxdt
x2
[]est
2
2
2
c
=0
t2
x2
qui est bien sr l'quation d'onde bien connue.
cette approche par des calculs aussi lmentaires que ceux ci-dessus, l'tape le plus technique tant une intgration par partie. Soit un domaine
Z
S[u] =
129
11 Le calcul variationnel
o
u,i = u/xi .
La valeur de la fonction
u(x1 , ..., xn )
n
X
L
L
=0
xi u,i
u
i=1
Remarquez que cette expression est une simple gnralisation d'EL une dimension :
l'expression de drivation de moment
(d/dx)(L/u0 )
Tenseur energie-impulsion.
l'galit de Beltrami quand nous avons une fonction d'une variable et que le lagrangien
ne dpend pas de la variable indpendante :
d
dx
y0
L
L
y 0
=0
d
dx
ou nous avons not
L
y,x
L
y,x
y,x = y 0 = dy/dx.
Si
=0
analytique, le terme entre crochet rerpsente l'Hamiltonien, une quantit scalaire. Nous
pouvons gnraliser ce concept au lagrangien d'un champ
pas explicitement des variables indpendantes. En notant
Tij = u,i
L
u,j
u(x1 , x2 , ...xn )
qui ne dpend
ij L
n
X
Tij
j=1
la quantit
xj
=0
3. Rappelons que
ij = 0
si
i 6= j
et
divT = 0.
Classiquement, la
divergence est dni pour un vecteur et est fortement associe au ux de ce vecteur travers une surface.
Il n'est pas trop dicile de donner un sens au concept du ux d'un tenseur.
130
11 Le calcul variationnel
Exercices.
1. Pour une corde vibrante dans un champ de gravitation, nous devons ajouter le terme
Vg =
R
I
0 dx
Vh =
R
I
2 dx.
2. Calculer le tenseur energie-impulsion pour la corde vibrante sans potentiel extrieur. Que reprsente
Que reprsente alors
Ttt ?
Ttx ?
n
R dimension,
V = I k()2 dr.
ndimension
V =
Z X
aij
I i,j
dr
xi xj
aij = aji
f (x, y)
df = f (x + h, y + k) f (x, y) =
et ceci quelque soit
h, k
f
x
h+
f
y
k + O(h2 , k 2 )
f,
mais un point
x2
g(x, y) = 0.
y 2 est le point
f (x, y) =
+
(0, 0). Mais si nous contraignons notre point se dplacer sur la courbe y = ax + b, b 6= 0,
le point (0, 0) n'est pas atteignable. On peut cependant chercher un point qui minimise f
avec la contrainte donne . Dans le cas simple que nous somme en train de traiter ici, on
peut rsoudre une coordonnes par rapport l'autre et ramener la fonction une seule
5. Imaginer que vous marchez en montagne sur un chemin, et vous vous intressez au point le plus
bas
sur ce chemin
131
11 Le calcul variationnel
4
g(x,y)=0
4
4
Figure 11.2: La fonction f (x, y) = x2 + y2 est reprsente par ses courbes de niveau. Le
minimum absolu de cette fonction est le point
A.
g(x, y) = 0
prsence des contraintes, nous relchons cette exigence : il faut que la variation linaire
autour du point
les contraintes
nes par
(g/x)h + (g/y)k = 0
Ceci nous donne une quation supplmentaire considrer avec l'quation
df = (f /x)h + (f /y)k = 0
Nous sommes arrivs un systme de deux quations deux inconnus
solvant
en fonction de
linaire.
En r-
df
h,
nous obtenons
(f /x)(g/y) (f /y)(g/x) = 0
Ceci est une condition supplmentaire sur l'extremum de la fonction
(11.9)
f.
h = k = 0,
Ah + Bk = 0, Ch + Dk = 0
A
C
B
D
soit nulle.
132
11 Le calcul variationnel
Exemple.
g(x, y) = ax + y b = 0.
f (x, y) = x2 + y 2
avec la contrainte
(2x)1 (2y)(a) = 0
ou autrement dit,
variable supplmentaire,
de l'optimisation (libre)
de la fonction
F
x
F
y
F
=
=
f
g
=0
x
x
f
g
=0
y
y
= g(x, y) = 0
(11.10)
(11.11)
(11.12)
L'quation (11.12) n'est rien d'autre que la contrainte et assure que la solution trouve
est bien conforme. Les deux premires quations (11.10,11.11) ne sont rien d'autre que
la condition (11.9) si on y limine
Re-exemple.
.
f (x, y) = x2 + y 2 avec la contrainte g(x, y) =
2
2
fonction F (x, y) = x + y (ax + y b). Cela
Minimisons la fonction
ax + y b = 0.
Nous introduisons la
nous donne
2x + a = 0
2y = 0
Ce qui bien sr nous donne
tion physique profonde : supposons que nous avons un point matriel dans le potentiel
f (x, y)
g(x, y).
x ,
Au point
g(x, y)
point qui vaut justement (x g,y g). Si on enlevait la contrainte mais qu'on soumettait le point matriel cette force supplmentaire, il se mettrait exactement la mme
position.
133
11 Le calcul variationnel
11.4.3 Gnralisation des multiplicateurs de Lagrange.
Les multiplicateurs de Lagrange se gnralise de faon naturelle aux fonctions de
f (x1 , ...xn )
variables soumis
fonction
contraintes
de
n+m
soumise aux
variable
F (x1 , ...xn ; 1 , ...m ) = f (x1 , ...xn ) 1 g1 (x1 , ...xn ) ... m gm (x1 , ...xn )
Nous chercherons l'extremum (sans contrainte) de la fonction
Exercice.
F.
La mthode des multiplicateurs de Lagrange se gnralise trs naturellement aux fonctionnelles. Si Nous devons trouver le minimum de la fonctionnelle
avec la contrainte
R
I
g(y 0 , y)dx = A,
S 0 [y; ] =
S[y] =
R
I
L(y 0 , y, x)dx
L(y 0 , y, x) g(y 0 , y)
I
et de chercher le minimum de cette fonctionnelle par les techniques habituelles du calcul
des variations ( expliquer pourquoi nous pouvons omettre la constante
A)
(1/2)R2 ()d
S[R] =
(11.13)
0
avec la contrainte
R()d = L
(11.14)
0
Considrons la nouvelle fonctionnelle
S [R(); ] =
(1/2)R2 () R() d
Le terme entre
de drive de
mme pas
R=0
c'est dire
R = = Cte.
un cercle de rayon
, nous utilisons la
= L/2 . La courbe qui minimise la surface est donc
R = L/2 .
9. Ceci est une trs grosse supposition. Le lecteur a intrt a tracer quelques courbes qui ne sont
pas reprsentable par une fonction
R()
134
11 Le calcul variationnel
Exemple : distribution d'nergie dans un systme isol.
particule (N
l'intervalle
Z
Z
c(x)dx = 1
(11.15)
xc(x)dx = T
(11.16)
0
o nous appelons
du systme. Le thorme
T = E0 /N
avec
E0
l'nergie totale
c(x)
doit tre
H [c] =
(11.17)
0
soit extremum. La quantit
H [c; , ] =
Z
c(x)dx
xc(x)dx
0
Le calcul est assez simple dans ce cas, puisque nous n'avons pas de drivs dans la
fonctionnelle. En cherchant la valeur de la fonctionnelle pour
contentant d'ordre 1 en
,
H 0 [c + g; , ]
et en nous
nous trouvons
H 0 [c + g; , ] = H 0 [c; , ] +
(1 + log c x) g(x)dx
0
la fonction
nulle
g ,
c(x)
H0
c'est dire si
log c = ( 1) + x
ou autrement dit
1/T .
Autrement dit,
hermitien, alors les solutions des systmes SL minimise une certaine fonctionnelle. Nous
avons vu que si une telle fonction poids existe, alors elle doit ober l'quation
d
wy 0 + wy = wy
dx
135
(w)0 =
11 Le calcul variationnel
Remarquer que cette forme ressemble furieusement une quation Euler-Lagrange. On
peut faire le chemin inverse : minimiser la fonctionnelle
p(x)y 02 + q(x)y 2 dx
S[y] =
I
avec la contrainte
w(x)y 2 dx = 1
I
Comme on peut le voir, nous pouvons formellement identier l'quation d'Euler-Lagrange
du systme ci-dessus un systme SL en posant
p = w, q = w .
A regarder de plus
x au temps,
Z
S[y] =
L(y 0 , y, x)dx
a
avec les conditions aux bords xe
y(a) = y0 ; y(b) = y1
Pour cela, nous avons crit la variation de
g(x)
pour obtenir
L
S =
g
y 0
b
Z b
+
L
d L
y
dx y 0
S = 0
gdx
quelque soit
g(x).
Nos conditions
g(a) = g(b) = 0,
L
=0
y 0 x=a,b
136
11 Le calcul variationnel
ce qui nous fournit deux nouvelles conditions en remplacement des conditions
y(a) = y0 ,
y(b) = y0 .
Pour illustrer ce principe, considrons un lagrangien qui contient des drives d'ordre
2 :
y 0
dx y 00
y
y
dx y 0 dx2 y 00
a
a
Z
E=
L
f (x)
By 002 f (x)y dx
0
Si la poutre est encastre (a), nous avons les conditions
y(L) = 0
et y0 (0) = y0 (L) = 0.
y(0) =
(a)
(b)
(c)
y(0) = y(L) = 0.
L/y 00 = 0,
c'est dire
y 00 (0) = y 00 (L) = 0.
courbe quelconque. Nous laissons le soin au lecteur d'obtenir les conditions aux limites
ncessaires dans ce cas. Un exemple typique est de trouver le chemin le plus court entre
deux courbes
f (x, y) = 0, g(x, y) = 0
z = z(x, y) ;
militaires, choisir le meilleur trajectoire pour lancer un missile air-air et abattre l'avion
ennemie.
ds2 =
i,j
137
(x1 , x2 ).
11 Le calcul variationnel
o
ds2 = dr2 + r2 d2
= 0.
x2 = ), g11 = 1, g22 =
x2 ,
g12 = g21
x1 = r ,
g11 = 1, gi6=j = 0 et
. Le prrimtre d'une courbe y(x) reliant
g22 =
g 2 (x), o
10
Z
`[y(x)] =
2p
1 + g 2 (x)y 02 dx
1
et il est lmentaire de montrer, d'aprs les prcdents paragraphes, que l'quation
d'Euler-Lagrange nous donne immdiatement l'quation de la courbe :
y 0 = a/g
p
g 2 a2
a est une constante d'intgration. Dans le cas des coordonnes polaire par exemple o
g(x) = x, nous pouvons intgrer l'quation ci-dessus 11 et obtenir l'quation d'une droite
y = + arccos(a/x) o a et sont deux constante d'intgration. Pour vous convaincre
que cela est eectivement le cas, Il sut d'inteprter x comme r et y comme , faire un
o
12
g(x) = sin(x).
A nouveau, l'intgration
et nous obtenons
que nous venons de traiter correpsond la gomtrie sphrique : sur la sphre unit, la
ds2 = d2 + sin2 d2 .
de Rieman est beaucoup plus fondamental que cela : ce qui caractrise l'espace et qui
lui donne sa substance est la donne du tenseur mtrique. Les habitants de la surface
de la sphre unit ne peuvent pas voir qu'ils sont sur une sphre. Ils peuvent par contre
visionner les godsiques (en suivant les trajets des faisceaux de lumire ) et dterminer
la nature de leur espace en faisant des mesures par exemple de la somme des angles d'un
triangle form par trois godsiques. C'est exactement dans ce cadre qu'Einstein a formul
sa thorie de gravit en 1917, o les masses confrent de la courbure l'espace-temps.
10. Nous noterons par habitude les coordonnes
(x, y)
ennes
11. il sut d'eectuer le changement de variable
12. Il sut de poser
u = a/x
u = cot x
138
11 Le calcul variationnel
z
y
r(z)
F
a
(a)
(b)
(c)
: surface minimum entre deux cercle ; (b) ambage d'une barre ; (c)
A ajouter.
1. Discuter la Jauge dans le Lagragian et eventuellement le theorme de Noether.
Problmes.
1. Surface minimum.
h.
2. Energie de courbure.
grangien contient des drives secondes ? Plus spciquement, supposer que le Lagrangien
est de la forme
L = y 00 (x)2 + V (y).
3. Brachistochrone.
L = L(y 00 , y 0 , y, x).
x1
T =
0
1 + y 02
dx
y
y(x)
1
=C
y(1 + y 02 )
o
C est une constante. Rsoudre cette quation du premire ordre en dmontrant d'abord
que
r
dx = dy
o nous avons pos
y
2a y
139
11 Le calcul variationnel
4. Elasticit 1-d.
Soit une barre dont on repre les points (avant deformation) par la
coordonnes
fonction qui traque cette quantit. L'nergie lastique stock dans la barre est proportion-
au
nel
carr
du
Z
E=
gradient
de
ce
terme
(1/2)ku0 (x)2 dx
0
o
W = F u(L).
Z
E=
L
(1/2)ku0 (x)2 F u0 (x) dx
Figure 11.6:
F = Ku(L)
Que vaut
K?
L?
del d'une certaine force, la rgle ambe (g.11.5b). Ceci est un problme extrmement
important de la rsistance des matriaux et conditionne la conception des tours pour
qu'ils ne s'croulent pas (en ambant) sous leurs propres poids. Reprons la barre par
son cart la droite
y(x).
F.
y = 0,
B(y 00 (x) )2 .
Nous
Z
S[y, a] =
B(y 00 (x) )2 dx F (L a)
0
soumis la contrainte
a
(1 + (1/2)y 02 dx = L
0
Nous avons approxim ici l'lment de ligne
ds =
p
1 + y 02 par
son dveloppement de
Taylor, en supposant les carts la ligne (et leurs drives) faible. Dmontrez alors que
pour
F > Fc ,
140
Fc .
11 Le calcul variationnel
6. Flambage d'une poutre II.
bage, en intgrant directement la contrainte dans le Lagrangien. Pour cela il sut d'utiliser un systme de coordonnes plus adapts que les coordonnes cartesienne. Reperons
un point le long de la poutre par sa longueur d'arc partir de l'origine
de la tangente la courbe en ce point avec l'axe horizontal
(s).
s,
et par l'angle
Ce nouveau systme de
dx = cos ds
dy = sin ds
La courbure de la courbe en un point est simplement donne par
d/ds.
L'nergie s'crit
alors simplement
Z
S[] =
Ln
B 0
2
o
+ F cos ds F L
0
Que l'on peut traiter par les quation d'EL sans contrainte : la longueur d'arc
gre
(s, )
7. isoprimtrique II.
x(1) = x(0)
et
y(1) = y(0).
x = x(t), y = y(t)
quations d'Euler-Lagrange.
8. Isoprimtrique III.
9. Equation de la chainette.
de
a.
Une chane
A l'vidence, la chane doit minimiser l'nergie potentielle, avec une contrainte sur sa
longueur. L'energie potentielle est de la forme
de
a/2
H =
yds ;
n p
o
p
y 1 + y 0 (x)2 1 + y 0 (x)2 dx
a/2
o
y(x)
complexe
(R C)
dnie par
Z
S[y] =
L(y, y 0 , y , y ; x)dx
I
0
y0y
fonction. [Help : il faut dmontrer que l'on peut considerer y et y comme deux composantes indpendantes, et obtenir une equation d'EL pour chacune].
141
11 Le calcul variationnel
11. Equation de Schrodinger.
et
Dans la formulation
ne jouent pas le mme rle. Pouvez vous donner une version plus
symtrique de ce Lagrangien ?
A = (A0 , A1 , A2 , A3 )
x = (x0 , x1 , x2 , x3 ) 13 .
Comme nous sommes parfois trop habitu la sparation en espace (3d) et en temps, nous
dissocions parfois les expressions ci-dessus en donnant des noms dirents aux dirents
est appel temps et les trois autres l'espace. Les quations d'lectromagntisme ont t
formul dans le cadre de cette sparation trange et les direntes drives du champ
ont reu des noms dirents. Par exemple, on appelle champ lectrique le vecteur 3
dimensions
E = t A
et champ magntique
H=A
Revenons notre formulation gnrale. Le tenseur lectromagntique est dni par
Fik =
Ce tenseur est bien sr anti-symtrique
1. Donner l'expression du tenseur
Ak
Ai
xi
xk
Fik = Fki .
en fonction des champs
i, j, k ,
Ei
et
Hk .
impose
Fjk
Fij
Fki
+
+
=0
xk
xi
xj
dmontrer que les seules quations non-triviales sont celles o
nous donne
i 6= j 6= l
E = t H
.H = 0
qui ne sont rien d'autre que les deux premieres quations de Maxwell.
13. Nous vitons pour l'instant les exposants et notons les coordonnes
142
xi
au lieu de
xi
et cela
11 Le calcul variationnel
Dans l'espace-temps reliativiste, la distance
ds =
dx20
(dx21
dx22
dx23 )
3
X
i dx2i
i=0
o
0 = 1
et
i1 = 1.
autres quant au signe qu'il faut utiliser pour l'lment d'arc. Cette dirence apparat
obligatoirement dans toutes les expressions des lois physiques. En particulier, toutes les
expressions quadratiques auront une forme similaire l'expression de l'lment d'arc. Par
exemple, l'action du champs lectromagntique est donne par l'intgrale sur un volume
du Lagrangien suivant
14
3
X
L=
i j Fij2
i,j=0
Remarquer la similarit entre cette formulation et la formulation de la thorie de l'lasticit, o le champs
Fij
le tenseur
dformation. Ceci n'est pas un hasard ; Maxwell lui mme imaginait l'ether comme un
corps lastique et s'inspirait fortement de la thorie de l'lasticit.
1. Dduire que l'on peut mettre le Lagrangien sous forme de
L = E2 H2
3
X
i j
j=0
Fij
=0
xj
3. Mettre ces quations sous la forme plus usuelle des deux autres quations de
Maxwell :
H = t E ; .E = 0
14. Le signe moins n'a pas de consquence pour nos calculs, mais assure que la solution trouve est un
minimum plutt qu'un maximum de l'action.
143
x0 , nous
x0 + :
Ai
. De plus, si
au point
x0
,divis par
i!
est petit et que nous ne sommes pas trs exigent quant la prcision que
l'on cherche, nous pouvons nous contenter du premier ou des deux premiers termes du
dveloppement. Le calcul des perturbations gnralise cette dmarche au calcul des solutions des quations direntielles, des racines des polynmes, des quations intgrales,
des vecteurs propres des matrices, ... C'est le premier outil utilis par le physicien qui
tombe sur un problme ardu dont la solution n'est pas connu : si on connat un problme
proche dont la solution est connu, on peut tenter les perturbations. Mentionnons tout
de suite que cette technique ne marche pas toujours. On tombe parfois (souvent), sur
des perturbations dites singulires et il faut alors sortir l'artillerie lourde. Les perturbations qui se traitent facilement sont dites rgulires. Nous nous intresserons surtout aux
perturbations rgulires, mais dirons quelques mots sur les perturbations singulires.
des quations algbriques de second ordre, mais que nous savons rsoudre l'quation
x2 x = 0
x0 = 0, 1.
x2 x + = 0
o nous supposons
(12.1)
X = x0 + x1 + 2 x2 + ...
144
(12.2)
est petit,
la nouvelle racine ne doit pas tre trop loin de l'ancienne, et l'cart doit tre justement
fonction de
dj
(12.3)
et il est uniformment
nul. Nous en dduisons donc que tous les coecients du polynme doivent tre nuls, c'est
dire :
x20 x0 = 0
(12.4)
(2x0 1)x1 + 1 = 0
(12.5)
x21
+ 2x0 x2 x2 = 0
(12.6)
... = 0
L'quation (12.4), donne par le coecient de
0
quation originale non perturbe que nous savons rsoudre. l'quation (12.5) nous donne
x1
x1 = 1/(1 2x0 )
Comme nous connaissons dj
x2 =
et donc
x2 = 1
x21
1 2x0
ou
permettent assez aisment de calculer la solution aussi prcisment que l'on souhaite.
Nous avons donc, pour les deux racines de l'quation (12.1),
X1 = 0 + + 2 + ...
2
X2 = 1 + ...
(12.7)
(12.8)
X=
1 4
2
Un dveloppement de Taylor de cette dernire nous rassure sur l'exactitude des rsultats
(12.7,12.8).
145
naissons une valeur et un vecteur propre d'une matrices symtrique, c'est dire que nous
et un vecteur
(A + B) =
(12.9)
Procdons comme nous l'avons mentionn plus haut. Nous chercherons la solution sous
la forme
= 0 + 1 + ...
(12.10)
= 0 + 1 + ...
(12.11)
1 , ...
et
1 , ...
nous avons :
,
A0 = 0 0
(12.12)
A1 + B0 = 0 1 + 1 0
(12.13)
... = ...
La premire quation, c'est dire les terme d'ordre 0 en
,
rien que ne l'on connaisse dj. Dans l'quation (12.13), nous avons deux inconnus, le
vecteur
le vecteur
et le scalaire
(0 , A1 ) + (0 , B0 ) = 0 (0 , 1 ) + 1 (0 , 0 )
Nous avons suppos que
(0 , A1 ) = (AT 0 , 1 ) = (A0 , 1 ) = 0 (0 , 1 )
et en injectant ce rsultat dans (12.14), nous aboutissons nalement
1 = (0 , B0 )/(0 , 0 )
Nous connaissons donc la correction d'ordre 1 la valeur propre.
146
(12.14)
1+
2
2
2 + 3
que
Bij = (i + j 1).
Comme
La matrice
=1+
Le lecteur peut chercher directement la valeur propre de la matrice perturbe et vrier
le rsultat ci-dessus. Bien sr, quand la matrice est plus grande que
2 2,
la recherche
quation, et nous souhaitons savoir si ce point est stable ou non. Par exemple, le point
le plus bas pour un pendule est un point xe stable, tandis que le point le plus haut
est un point instable. Intuitivement, pour connatre la stabilit, nous cartons un peu le
systme de son point xe. Si le systme revient son point de dpart ou reste proche,
l'quilibre est stable. Si au contraire, la perturbation tende grandir, le point est alors
instable.
Considrons l'quation du mouvement d'un pendule amorti
+ + 2 sin = 0
o
= 0 et =
=0
(t = 0) = .
(12.15)
= 0,
= 0 + 1 + ...
nous
fonction sin, nous
1 + 1 + 2 1 = 0
quand
t .
Le point
= ,
=0
sin( + x) = sin x,
1 + 1 2 1 = 0
t , 1
147
. Le point
x2 + x 1 = 0
La solution non perturbe,
i.e.
pour
=0
s'crit
x=
vaut
x = 1.
(12.16)
La solution exacte pour
6= 0
1 + 4
2
1,
de la forme
x1 = 1
1
x2 =
Nous avons donc l'apparition d'une nouvelle racine qui est d'autant plus grande que la
perturbation est petite. Cela est un phnomne gnrale : chaque fois que la perturbation est sur un terme d'ordre suprieur, la perturbation est singulire. Il existe parfois
des changements de variable qui rendent la perturbation rgulire. Par exemple, dans
l'quation (12.16), en posant
x = 1/y ,
nous avons
y2 y = 0
qui peut se traiter par la mthode habituelle. D'aprs notre traitement de (12.1), ses
solutions sont
y1 =
y2 = 1 +
qui nous redonne bien les racines en
x = 1/
et
x = 1 .
x + x + 1 = 0
est celle d'un oscillateur harmonique amortie. Si la masse
de la forme
important en
deux solutions sont radicalement direntes. Remarquons nouveau que nous pouvons
chercher un changement de variable de la forme
t = p t0
et
x = q y
qui rendrait la
x
+ 2 x + x3 = 0
148
(12.17)
kx2 + k 0 x4 .
La solution gnral
Or,
x
1 + 2 x1 = (a3 /4) cos(3t)
2
x
1 + x1 = (3a /4) cos(t)
(12.19)
(12.20)
La premire quation ne prsente pas de danger : c'est l'quation d'un oscillateur harmonique de frquence propre
force la frquence
cos(3t + ).
Par contre, la deuxime quation (12.20) est celle d'un oscillateur harmonique de
frquence propre
est
de la forme
sur
les
x1 (t)
a cos(t).
x1 (t)
t > 1/,
le soit
sin(t)
et
sin(1.01t)
pour les temps infrieurs vingt et pour les temps autour de 250.
Nous voyons que la dirence est peine perceptible pour les temps courts, tandis que
149
10
20
15
235
240
245
250
255
Figure 12.1: sin(t) (en noir) et sin(1.01t) (en rouge) pour les temps courts et longs.
les deux fonctions n'ont plus rien voir aux temps longs. Ce problme avait t observ
d'abord en astronomie, o les calculs perturbatifs des sicles prcdents commenaient
s'carter des observations (d'o le terme sculaire). Lindstedt (vers 1880) a remdi
ces carences par sa technique de renormalisation qui est de chercher la solution sous la
forme
(12.21)
, nous
x
1 + 2 x1 2a1 cos[( + 1 )t] = (a3 /4) cos[3( + 1 )t] (3a3 /4) cos[( + 1 )t]
Il nous sut maintenant de choisir
1 =
3a2
8
x(t) = a cos[( +
o les coecients
a, A,
3a2
3a2
)t] + A cos[3( +
)t + ]
8
8
Problmes.
P
P (x) = an xn un polynme dont une des racines, x0 est connue, c'est dire
P (x0 ) = 0. Soit le polynme P 0 (x) = P (x) + xp . Soit x0 la racine proche de x0 de
1. Soit
x0 = x0 P
xp0
nan x0n1
150
(12.22)
x4
comme 2 + (o
= 1), la somme des coecients de l'quation non perturbe vaut 0. x = 1 est donc
une solution de l'quation non perturbe (i.e. pour = 0). Calculez la correction
cette racine l'ordre 1 en et comparez la solution exacte x = 1.10565. Et si au
4
lieu du coecient du x , nous avions choisit un autre terme, qu'aurait on obtenu ?
Nous remarquons qu'en crivant par exemple le coecient de
4. Calculer la correction l'ordre 2. Pouvez vous alors trouver un critre pour le choix
du coecient pour que la correction l'ordre 1 soit la meilleure ?
quation trencendante.
1.
x log x = 0
de 1 de l'quation
x log x = .
x = 1.
= 0.1.
0?
x = 3.10943.
quation intgrale.
sion des fonctions de Green. Nous allons tudier ci-dessous un schma itratif de leurs
rsolution. Ces schma l sont extrmement fragile cependant, et il faut toujours s'assurer
de leur convergence.
1. Une quation intgrale de Fredholm de deuxime espce est de la forme
Z
f (x) = g(x) +
a
Proposez un schma de rsolution par le calcul des perturbations. Ne vous contentez
pas de l'ordre 1. Trouvez la perturbation d'ordre
en gnral.
f (x) = 1 +
e(x+y) f (y)dy
0
En calculant les perturbations tout ordre et en sommant la srie ainsi obtenue.
3. Faites la mme chose pour
Z
f (x) = 1 +
f (y)dy
0
151
x
+ (x2 1)x + 0 x = 0
x est quivalent un frottement. Nous voyons qu'il est ngatif si
x est petite (< 1), c'est dire que le systme reoit de l'nergie de l'extrieur,
Le coecient du terme
l'amplitude
ce qui va l'amener augmenter son amplitude. Par contre si l'amplitude devient trop
grande (>
ce qui va diminuer son amplitude. Nous voyons que le systme maintient une oscillation
stable quelque soit les conditions de dpart.
1. Montrer que le point xe
x=0
est instable.
x = a cos 0 t,
= 0 + 1 .
amplitude
limite.
cosystme de prdateursproies.
celle des prdateurs et des proies. Le premier modle pour la dynamique de ces deux
populations a t propos par Lotka et Votera au dbut des annes 1930. Soit
nombre des prdateurs et
le
ont propos
dN/dt = N N P
(12.23)
dP/dt = N P P
(12.24)
est le taux de croissance naturel des proies en l'absence des prdateurs. La prsence
N P
tant
l'ecacit de la chasse. Dans l'quation qui rgit la dynamique des prdateurs, nous
voyons que la croissance est fonction du nombre de proie disponible, et le terme
est le
N0 , P0
pour
dN/dt = dP/dt = 0.
2. tudiez la solution de ce systme pour les faibles carts au point xe. Cela veut dire
N (t = 0) = N0 + et P (0) = P0 .
Cherchez la solution sous la forme N (t) = N0 + N1 (t) et P (t) = P0 + P1 (t), et
en collectant les termes d'ordre 1 en , obtenez un systme linaire pour N1 et P1 .
Rsolvez ce systme et dduisez galement la forme du cycle limite, c'est dire N1
en fonction de P1 .
152
4. Vous pouvez galement remarquer que le cycle limite peut s'obtenir en divisant
directement (12.23) par (12.24) et en rsolvant l'quation direntielle du premier
ordre. Comparez le rsultat de ce calcul au rsultat de la question 2.
Stabilit d'interface.
u(x, t)
u
2u
4u
= au bu3 + c 2 d 4
t
x
x
o nous supposons les coecients
u(x, t) = 0
selon que
a, b, d > 0.
153
des relations entre points de l'espace, dans le domaine de l'analyse et y appliquer toute
la puissance de feu dont on y dispose.
Les points de l'espace ont une existence propre, indpendement de la representation
en triplet que l'on utilise. Que le triplet qu'on utilise soit les coordonnes cartesiennes
ou polaire ne change pas le point
ni )
la
distance de ce point un autre. Si la distance entre deux points est 1 mm, cela ne
doit pas dpendre du systme de coordonnes cartesienne ou polaire que nous avons
orthogonales
h1 , h2 , h3
(13.1)
qi .
lments du tenseur mtrique . Il est vident que si pour un certain dplacement, nous
1. Dans le cas le plus gnral, l'lment de distance curviligne s'crit
ds2 =
i,j
et la matrice
hi,j
154
dq2 = dq3 = 0,
alors
ds = h1 dq1
Coordonnes cartsiennes.
Coordonnes polaires.
tout simplement.
(x, y, z).
C'est la plus
h1 = h2 = h3 = 1.
On le note souvent
(r, , z).
ds2 = dr2 + r2 d2 + dz 2
nous avons
h1 = 1, h2 = q1 = r
Coordonnes sphriques.
et
h3 = 1.
On le note souvent
(r, , ).
Ici
h1 = 1, h2 = q1 sin q3 = r sin , h3 = q1 = r.
Coordonnes semi-paraboliques.
On le note souvent
(, , z).
x = ; y = ( 2 2 )/2 ; z = z
Dmontrez que les lments du tenseur mtrique sont
Coordonnes paraboliques.
On le note souvent
h1 = h2 =
2 + 2 , h3 = 1.
(, , ), reli au systme
cartesien par
Problme.
qi = Cte
(q1 , q2 , q3 ),
systme, o mme plus, si l'espace est plat ou courb (mais ceci est une autre histoire).
1 E2 2 E1 . Si on connait ce sens,
on peut comprendre le sens profond de l'quation qui les contient. Par ricochet, il devient
trs facile de dduire leurs expressions dans n'importe quel systme de coordonnes. C'est
ce quoi nous allons nous attacher par la suite. Notons quand mme que ces oprateurs
ne sont pas si dissemblable qu'il n'y parat et tous relient, d'une faon ou d'une autre,
un ux travers un point, un circuit ou une surface ferme une intgrale. Ds la n du
155
classique
de ces oprateurs.
13.3 Le gradient.
Soit la fonction
champ scalaire. Cela peut tre une densit , un potentiel, ...Nous somme
de cela est un
P + ds.
Le gradient
est
au point
df = f (P + ds) f (P ) = gradf.ds
(13.2)
gradf qu'on note galement f est un vecteur dont le produit scalaire avec le dplacement ds donne la variation de f . Ceci est la dnition du gradient. f priori dpend
du point P . Notez que jusque l, nous avons exprim la variation indpendement du
systme de coordonnes choisi pour reprer les points de l'espace. Une quantit physique
ne doit jamais dpendre du systme de coordonnes et sa dnition doit toujours tre
donne de faon intrinsque, indpendemment des coordonnes. Quand en mcanique,
nous crivons
F = md2 r/dt2 ,
ceci est une relation qui est valable quelque soit le systme
de coordones. La mme chose s'applique aux oprateurs direntiels que nous utilisons
en physique.
Evidement, une fois que nous avons exprim les choses de faon intrinsque, il faut ensuite faire le boulot et calculer la trajectoire, les lignes du champ, les isopotentiels,...Pour
cela, nous devons choisir un systme de coordones. Donc, nous avons besoin d'exprimer
l'quation(13.2) vaut
(f )1 h1 dq1
(f )1 est la composante du gradient dans la direction 1. Ceci nous donne (f )1 =
(1/h1 )(f /q1 ). En refaisant la mme opration pour les trois coordonnes, on obtient :
1 f 1 f 1 f
f =
,
,
h1 q1 h2 q2 h3 q3
Examples.
Problme.
coordonnes polaire,
En
156
2
2
(a)
(b)
Problme.
en ce point.
dimension.
La seule connaissance du tenseur mtrique nous permet de donner l'expression du gradient dans le systme de coordonnes en question. Nous allons suivre la mme dmarche
pour tous les autres oprateurs direntiels.
Notons galement que la dnition (13.2) donne la direction selon laquelle le champs
varie le plus rapidement. A
la plus importante.
Un corrolaire important de cela est que le vecteur gradient est perpendiculaire aux
f est
f est une fonction de n variable, f (x1 , ...xn ) = Cte est une (hyper) surface
de dimension n 1. Un dplacement ds perpendiculaire au vecteur gradient ne change
pas ( l'ordre 1 en ds) la valeur de f ce qui implique que le gradient est perpendiculaire
surface de niveau. Une surface de niveau est l'ensemble des points sur lesquels
constante. Si
la surface.
ou le potentiel
d'un ot
V.
ou la vitesse
sont des quantits vectorieles. Nous supposons ici connu la notion de champ
P , la tangente la ligne de
champs est donne par le champ en ce point. Les lignes de champs de la gure 13.1a sont
des droites passant par l'origine, tandis que les lignes de champs de la gure 13.1b sont des
cercles centrs sur l'orgine. Le calcul des lignes de champs est lmentaire d'aprs ce que
157
dqi /dt = fi i = 1, 2, 3
ou encore, en regroupant les trois expressions,
dq1
dq2
dq3
=
=
f1
f2
f3
Nous avons crit ces expressions pour un espace trois dimensions, mais cela peut s'appliquer n'importe quelle dimension.
Exemple 1.
f1 = q1
et
Exemple 2.
champs sont
centrs sur l'origine, c'est dire les lignes de champs de la gure 13.1b.
13.5 Le rotationnel.
La distinction entre les gure 13.1a et b saute aux yeux : dans le premier, les lignes
de champs ne se referment pas sur elles mmes, dans le deuxime, toutes les lignes se
referment sur elle mme. Dans le premier, les lignes de champs sont comme originaire
d'une source l'origine, dans le deuxime au contraire, aucune source ne saute au yeux
priori. C'est cela que l'oprateur rotationnel, que l'ont note
rot
ou parfois
(ou curl
f.
Considrons un point
et un circuit
sur
C,
C, A
innitsimal C autour
R
se referme, alors
IC .
IC =
de ce
C f .ds 6= 0.
Il y a cependant un petit
et
An
le vecteur
telle que
Z
An. f =
f .ds
C
158
(13.3)
C
P
Figure 13.2: Le champ f ,sa projection sur le circuit C entourant le point P , la normale
la surface
l'ordre 1 en
(voir note
et le rotationel not
ou
curl f .
maux (quoiqu'ils aient une existence mathmatiquement lgitime depuis les annes 1960),
vous pouvez utilisez la dnition
1
n. f = lim
A0 A
o
Z
f .ds
(13.4)
C.
2. Prcisons quelques notions sur les approxiamtions. Supposons que nous pouvons approximer une
fonction autour d'un point
00
h,
vaut
f (x)h,
0
1
lim = f (x)
h h0
Concrtement, cela veut dire que nous nous interessons aux trs petits
(innitsimaux) et le premier
terme de l'approximation est amplement susant. De faon plus formelle, nous pouvons crire
0
= f (x)h + o(h)
o
o(h)
quand
h0
1
lim o(h) = 0
h h0
Si nous avons une ide prcise des termes que l'on nglige (comme c'est le cas ici) on peut crire
0
= f (x)h + O(h2 )
o
O(h2 )
veut dire que le plus grand terme que nous avons nglig est au mieux de l'ordre de
h2
1
lim O(h2 ) = Cte <
h2 h0
Pour simplier, par
et
o(h)
h
et par
O(h)
de l'ordre de
h.
Les symboles
sont appels les symboles de Landau, du nom du mathmaticien allemand Edmund Landau (et
non du physicien sovitique Lev Landau). Ils permettent une grande rigueur et concision dans l'criture
des expressions impliquant des limites.
159
2
A
= (q2 , q3 ), o A = (q2 + a, q3 ) , B =
(q2 + a, q3 + b) et C = (q2 , q3 + b). Noter que le circuit est dans le plan
(q2 , q3 ) et perpendiculaire l'axe q1 .
vrai
vecteur. En faite, on ne peut donner un sens vectoriel au rotationel que dans l'espace
trois dimensions. Nous verrons le sens gnral du rotationel dans le chapitre consacr soit
aux tenseurs, soit aux formes dierentielles. Nous continuerons de les traiter classiquement dans ce qui suit.
Une fois que nous avons dfni le rotationnel de faon (eq.13.3), nous pouvons nous en
servir pour l'crire dans n'importe quel systme de coordonnes. Soit le systme
et le champs
f = (f1 , f2 , f3 )
P A,
P,
dans le plan
fi = fi (q1 , q2 , q3 ).
Considrons
(q2 , q3 ).
(q1 , q2 , q3 )
q1
qui ne
a
f2 (q2 , q3 )h2 (q2 , q3 )a
(13.5)
et sur la partie BC
[h2 f2 ] ab
q3
AB
et
CP
nous donne
[h3 f3 ] ab
q2
La partie gauche de l'eq.(13.3) est par ailleurs, l'odre le plus bas en
a, b : h2 h3 ab (rot f )1 ,
(h3 f3 ) (h2 f2 )
1
(rot f )1 =
h2 h3
q2
q3
Les autres composantes se trouvent facilement par une permutation circulaire de
160
(13.6)
(1, 2, 3).
Problme.
(r, , z), h1 = h3 = 1, h2 = r.
1 fz
(rf )
(rot f )r =
r
z
fr
fz
(rot f ) =
z
r
1 (rf ) fr
(rot f )z =
r
r
En coordonnes polaire
Gnralisation.
caractriser une surface plane par le vecteur orthogonal celle-ci. Dans le cas gnral,
ceci n'est pas possible et il faut indexer les composants du rotationnel par deux indices
dsignant le plan qui contient le circuit sur lequel nous avons eectuer l'intgral. Ainsi,
nous aurions d noter l'expression (13.6) en ralit
(2, 3)
x2 , x3 . A quatre
n(n 1)/2 n di-
composantes (et
mension). Dans l'espace-temps par exemple, le rotationnel d'un vecteur qu'on appelle
potentiel vecteur possde 6 composantes : les trois o les circuits contenaient une dimension temporelle sont appels champ magntique et les trois qui ne contiennent que
des dimensions spatiales sont appel champ lectrique.
13.6 La divergence.
Le travail d'un comptable est de faire le bilan des sommes dpenses et gagnes par
son entreprise. C'est exactement ce travail qu'eectue l'oprateur divergence. Considrons
une surface innitsimal ferme
autour du point P
travers cette surface ? C'est ce bilan que la divergence quantie. Plus exactement,
Z
dV div f =
f d
La dmarche pour calculer la divergence est similaire ce que nous avons fait pour le
rotationnel. Considrons le ux (sortant) travers la surface
surfaces sont par convention orientes
sortant ) :
ABCD
3. Le rotationnel dans ce cas est appel tenseur lectromagntique. Nous rferons le lecteur un
livre avanc en lectromagntisme pour voir cela en dtail.
161
P B 0 C 0 D0
(h2 h3 f1 )
abc
q1
En considrant le ux travers les quatre autres surfaces, et en notant que
h1 h2 h3 abc,
dV =
on obtient nalement
1
div f =
h1 h2 h3
Example.
(r, , z), h1 = h3 = 1, h2 = r.
1 (rfr ) f
(rfz )
div f =
+
+
r
r
En coordonnes polaire
peu.
Problme.
Problme.
dimen-
sions ?
Prenons le cas d'un uide de densit
divv = 0.
ux entrant et sortant dans un petit volume provoque une accumulation de la masse en
ce point, d'o le sens de l'quation
+ divv = 0
t
Ceci est galement le sens des quations de Maxwell en electromagnetisme, sauf que l,
on ne considre pas le ux d'un vecteur mais d'un objet un peu plus complexe qu'on
appelle le tenseur lectromagntique.
13.7 Le Laplacien.
Le laplacien dun champ scalaire est dni en terme des autres oprateurs que nous
venons de voir :
f = div(gradf )
et d'aprs ce que nous avons dit, s'exprime simplement en coordonnes curviligne comme
f =
1
h2 h3 f
h3 h1 f
h1 h2 f
+
+
h1 h2 h3 q1
h1 q1
q2
h2 q2
q3
h3 q3
162
En coordonnes polaire
f =
(r, , z), h1 = h3 = 1, h2 = r.
1
r (rr f ) + (1/r)2 f + rz2 f
r
qui prend une forme plus simple si l'on fait rentrer le facteur
(1/r)
l'intrieur du
P,
[].
le laplacien
les points voisins. Voyons cela de plus prs. Prenons d'abord le cas une dimension et
P d'indice
x0 , choisissons deux points distants de h est calculons l'cart la moyenne d'une fonctions
f :
supposons que nous utilisons les coordonnes cartesiennes. Autour du point
=
=
=
donc, un facteur
1
(f (x0 + h) + f (x0 h)) f (x0 )
2
1
1
(f (x0 + h) f (x0 )) + (f (x0 h) f (x0 ))
2
2
1 00
2
3
f (x0 )h + O(h )
2
multiplie
2
carr h . La gnralisation est immdiate. Donnons nous un point
rayon
P0
et une sphre de
P de la sphre
P = P0 + hn
fonction au point
c'est dire que
et le point
=
=
=
V / = Ch,
Le point
hn,
ZZ
1
(f (P ) f (P0 )) d
ZZ
1
(gradf ) hnd
ZZZ
h
div (gradf ) dV
V
hV
3
div (gradf ) + O(h )
La quantit
P0 .
par
2u
= ku
t2
m = F
: le
V /S == r/d,
163
le rayon de la sphre.
Table 13.1: Les oprateurs dierentiels en coordonnes curviligne. Pour les oprateurs
vectoriels, seul la composante selon
par permutation circulaire
q1
(1, 2, 3).
Expression
application
f
(gradf )1 = h11 q
h1
i
1
(rot f )1 = h2 h3 (hq32f3 ) (hq23f2 )
3 h1 f2 )
2 h3 f1 )
div f = h1 h12 h3 (hq
+ (hq
1
2
h
i
h2 h3 f
1
f = h1 h2 h3 q1 h1 q1 + ...
(h1 h2 f3 )
q3
R
f (b) f (a) = C f.ds
R
R
C f .ds = S rotf .dn
R
R
S f dn = V divf dV
Une des quations trs importante de la physique (lectrostattique sans charge) est
celle de laplace (d'o le nom de Laplacien)
V = 0
Cela veut dire qu'en tout point
x,
la fonction
V (x)
voisinage. Ceci veut dire que soit la fonction est localement linaire autour du point
P,
soit que les variations le long d'une direction sont compens par des variation en sens
inverse dans d'autres dimension. Prenez par exemple l'image d'un col en montagne :
dans une direction, on monte, dans l'autre direction, on descend. Cela implique donc
qu'une fonction obissant cette quation ne peut pas avoir d'extrmum local nul part
l'intrieur du domaine o cette quation est valable.
13.8 Rsumons.
Il est temps de mettre tous ces expression cte cte et voir leur ressemblance.
Remarquez, dans la colonne des applications de la table 13.1), la relation entre la partie
droite et gauche de chaque galit. Dans la partie gauche, nous somme entrain de calculer
quelque chose comme le
ux
partie droite, nous relions ce ux l'intgrale d'un operateur dierentiel de ce champ
sur une surface de 1,2,3 dimensions qui entoure la courbe prcdente. Les trois relations
s'appellent formule de Stockes gnralise.
Remarquez que les relations de Stockes s'obtiennent directement partir des dni-
C commenant par le
B . Dcoupons ce circuit en N intervalles (bien sr, nous
+ ). Sur chaque intervalle, nous pouvons crire, l'ordre
prensons
trs grand,
164
P2
P3
PN1
B
N , nous obtenons
la relation de Stockes pour le gradient. La relation de Stockes pour les deux autres
oprateurs s'obtient de faon similaire.
Nous reviendrons beaucoup plus tard sur ces notions en leur donnant le caractre
gnral qui leur sied d'abord travers le cours sur les formes dierentielles et ensuite
quand nous aborderons le calcul tensoriel et les varits direntielles. Les formes diffrentielles sont plus lgant, mais les physiciens sont plus habitus au calcul tensoriel.
Les deux approches sont trs complmentaire, des perspectives direntes de la mme
chose. Notons simplement qu'avec les formes dierentielles, les relations de Stockes se
notent, de faon trs gnrale,
Z
=
o
de
d
.
est
13.9 Problmes.
1.
rot(gradf ) = 0
2.
P ).
2.
div(rot f ) = 0
3.
En utilisant les relations locales, dmontrez les formules de Stockes du tableau 13.1.
165
Nous avons dni le Laplacien d'un champ scalaire. Le Laplacien d'un champ vecto-
f = grad(divf ) rot(rotf )
Exprimez le Laplacien dans les dirents systmes de coordonnes. Pouvez vous en donner
un sens gomtrique ?
4.
13.10 Notes.
Certaines manipulations impliquant les
dqi
rigueur ncessaire. Il n'en est rien. Reprenons par exemple le calcul du rotationnel avec
autant de prcision que souhaitable.
Quelques points claircir d'avance. Si nous connaissons la fonction (trs lisse, inniment drivable)
q = (qi0 ), alors
+ dq1 , q20 , q30 ) :
0
valeur en un point proche, par exemple (q1
q = (qi0 ),
q10 +a
q10
f (q1 , q2 , q3 )dq1
q10 +a
q10
q1 = q10 + u
Z
f (q1 , q2 , q3 )dq1 =
f (q10 + u, q2 , q3 )du
Z
=
a
f (q) + u1 f (q) + (1/2)u2 12 f (q) + ...
nous avons simplement crit le premier ordre, le seul qui est pertinent quand on prend
la limite
a, b 0.
166
ml qui multiplient d'autres objets de ce genre et o il faut se souvenir que certains varient
ijk
de faon contravariante et d'autres covariante. En faite, ce sont des objets trs simple
qui gnralisent les matrices. Le lecteur dj familier avec ces derniers n'aura aucun mal
manipuler les tenseurs. Comme on va le voir par la suite, les tenseurs sont partout en
physique et donnent beaucoup de sens aux diverses formules.
a=
a,
m.
F,
1
F
m
par
(14.1)
produit le vecteur
a.
dire que (i) si l'on double la force, l'acclration est double ; (ii) si la force est considre
comme la somme de deux autres forces, l'acclration produite sera la somme des acclrations produites par chacune de ces forces. Si on note par
avons
, R
et trs fondamental,
1/m.
F et le
qui rentre dans un matriau dilectrique (non mtalique). Localement, le matriau devient
polaris, et le vecteur polarisation
par
P = E
(14.2)
parallle
E!
Le matriau, si il est cristalin, possde des axes priviligies. Il est plus polarisable dans
certaines directions et la composante de
Le vecteur polarisation rsultant priori n'est donc pas parallle au champ lectrique.
La susceptibilit lectrique (c'est son nom)
167
(une application linaire) . Quand on veut manipuler et mesurer ces choses, il faut bien
les reprsenter par des nombres. Comme nous l'avons dit, nous nous donnons alors une
base, est nous representons un vecteur par ses compostantes
de
ij
Ei
ou
Pi .
La reprsentation
s'crit
Pi =
ij Ej
(14.3)
j
L'expression ci-dessus est juste le produit de la matrice
par le vecteur
Pcrit
de faon
explicite.
Pour le physicien, la susceptibilit est une proprit fondamentale du materiau, au
mme titre que sa masse. De mme, les vecteurs
et
dpendemment de comment nous les mesurons. Ceci veut dire que dans direntes bases,
les
composantes
des vecteurs,
Ei
et
Pi
correctements, on retrouvera les mme vecteurs originaux. De mme pour les lments
ij
: quelque soit la base que nous avons choisi , en suivant la relation (14.3), on doit
toujours retrouver le mme vecteurs polarisation. Cela va de soit si nous savons que ces
nombres ne sont que des reprsentations des vecteurs et applications linaires, et que
nous disposons des mcanismes prcis pour les calculer, une fois donne une base. Cela
allait un peu moins de soi au dbut du vingtime sicle quand l'algbre linaire n'tait
pas aussi dmocratis que de nos jours. On prsentait alors un tenseur
ij
comme une
collection de nombres avec des rgles de transformations prcises lors des changements
de base. C'tait un peu comme faire de l'arithmtique avec des chires latins ( quel est le
rsultat de MCLLXIV+MLCLXII ? ) et malheureusement, cette conception des tenseurs
reste encore vivante de nos jours.
Nous reviendrons plus tard ces rgles de maniplation pratique des chires. Pour
l'instant nous allons nous habituer un peu plus ces concepts. A propos, le titre de cette
section tait les tenseurs de rang 2. C'est un terme savant pour dsigner les applications
linaires. Un scalaire est un tenseur de rang 0 (zro) et une application linaire est un
tenseur de rang 2 (il faut deux indices pour numerer les lments). A votre avis, qu'est
ce qu'un tenseur de rang 1 ?
Prenons maintenant un autre exemple, une fonction vectoriel dans l'espace
R3 , u(x, y, z) =
(u1 (x, y, z), u2 (x, y, z), u3 (x, y, z) ) . Si nous connaissons la valeur de la fonction au point
(x0 , y0 , z0 ), la valeur de la fonction au point (x0 +dx, y0 +dy, z0 +dz) est u(x0 , y0 , z0 )+du,
1. Dans le temps, on faisait beaucoup de dinstinction entre un scalaire, un vecteur et un tenseur.
Bien sr, on peut voir un scalaire comme une matrice diagonale avec tous ses lments gaux : le produit
d'une application identit par un nombre.
2. par exemple, base 1 :
x,y ,z
vertical et
premires bases sont couremment utilises par l'opticien : la premire est le rfrentiel du laboratoire
trs naturel utiliser ; Dans la deuxime, la matrice de la susceptibilit est diagonale (au dit autrement,
les axes du cristal constituent les vecteurs propres de
168
du = D.dr
la relation ci-dessus n'est pas autre chose que
seule variable et le tenseur
(14.4)
du = u0 (x0 )dx
Dij =
o nous avons remplac les coordonnes
ui
xj
x, y, z
par
x1 , x2 , x3
tique). Remarquez qu' priori, nous n'avons rien fait d'autre que d'crire le dveloppement l'ordre 1 de chaque composante
ui
matrice. La relation (14.4) est cependant plus profond et met l'accent sur la linarit de
la relation entre
dret du 4 .
Ce que vous devez retenir ce point est que les tenseurs gnralisent la notion de
multiplication des objets de dimension suprieurs 1.
Convention de sommation.
1920. Einstein par exemple a formul sa thorie de relativit gnrale en termes tensoriels.
Il a remarqu que quand on crivait des sommes du genre (14.3), l'indice sur lequel on
sommait (j dans le cas cit) tait toujours rpt dans deux quantits (ij et
Ej
dans ce
cas). Du coup, autant laisser tomber le signe somme et accepter que quand un indice
est rpt deux fois, cela veut dire qu'il faut sommer sur cet indice. Cette convention
est tellement pratique qu'elle a t adopt partout. La relation (14.3) s'crit, avec notre
convention, Pi = ij Ej . Si nous tions dans un espace quatre dimension, la relation
ij = ijkl kl (peut importe ce que cela veut dire) est une faon plus concise d'crire
ij =
4 X
4
X
ijkl kl
l=1 k=1
Si les composantes d'un vecteur
dans la base
Note : Faire plusieurs exercices pour bien habituer la convention, surtout en pr-
pji xj
et
pij xi
c'est la mme chose. Donner l'quivalent en langage humain du genre sommons sur la
premire indice. Faire vraiment beaucoup d'exercice sur l'indice muet. Une bonne partie
du pratique des tenseurs c'est seulement cette manipulation d'indice.
4. Si l'on deforme un solide, chacun de ses points est dplac. Nous pouvons dnir une fonction
vctoriel
u(x, y, z)
dessus (ou plutt sa version symtrise) est appel dans ce cas le tenseur des dformations et constitue
le socle de la thorie d'lasticit.
169
E1 dans
A : E1 E1 E2 .
deux
l'application
E2
A : E1 E2 .
Un tenseur
A(x, y)
un
zi = aijk xj yk
Reprenons notre exemple de fonction
introduire dj les formes linaires, mais attendre le produit scalaire pour parler de
l'espace dual.
170
sut de connaitre l'action de cette application seulement sur chaque vecteur de base
(14.5)
Aei = aji ej
i = 1, ..., n
(14.6)
Notez le sens de la variation des indices : c'est la fameuse convention de prsenter les
composantes de
Aei
colonnes
y = Ax
aij ,
convention de sommation ) :
Ax = A(xi ei )
La
i-me
= xi Aei
= xi aji ej
composante du vecteur
yi = aij xj
(14.7)
nous sommes en train de sommer sur le deuxime indice tandis que dans la relation (14.6),
5. Nous considrons seulement le cas o
mension
gnralisation au cas les espace vectoriel de dpart et d'arriv n'ont pas la mme dimension est triviale
et laiss au soin du lecteur.
6. Nous avons permuter
i et j
171
i et sa
colonne par
j.
Certaines
contravariante,
sous l'eet d'une application linaire. Le mot contraire est mal choisi , puisque il veut
simplement dire qu'il faut sommer sur l'autre indice. C'est malheureusement un mot
consacr qu'il faut connatre.
En est
n).
: En En En ,
A comme
une matrice, il nous faudrait arranger les termes dans un tableau tri-dimensionnel, peut
pratique crire. Il nous faut nous contenter des coecients, mais la longue vous le
verrez, ce n'est pas moins pratique. Comme nous l'avons indiqu plus haut, il nous faut
connatre l'action de
sur
tous
les
couples
vecteurs de base :
x, y
z = A(x, y)
= A(xi ei , yj ej )
= xi yj A(ei , ej )
= akij xi yj ek
Autrement dit,
zk = akij xi yj
Voil, c'est ce que nous disions sur la gnralisation naturelle des matrices. Notez la
concision que la convention de sommation de l'indice rpt nous procure.
coecients que
nk
pain dans la base du laboratoire o nous eectuons nos expriences ; (ii) certaines thories
comme la mcanique classique o la relativit sont fondes sur l'invarience de certaines
quantites lors des changements de rfrentiel : il faut donc savoir comment passer d'une
base l'autre si l'on veut comprendre ces thories.
7. Historiquement, l'application linaire le plus souvent considr tait un changement de base et le
mot contravariant avait plus de sens. Nous verrons cela un peu plus tard.
172
x dans la base {e1 , ..., en }et nous souhaitons obtenir ses composantes dans la base
{f1 , ..., fn }. Evidement, il existe une application linaire P qui transforme les vecteurs
fi en vecteur ei : P f1 = e1 , P f2 = e2 ,... Par exemple, si nous avons tourn les axes de la
premire base de 45 degrs pour obtenir la deuxime base, l'application P est l'application
Rotation de -45 degrs. Notez que c'est l'application qui transforme la deuxime base
en premire ; pour plus de clart, on le note parfois
matricielle de
dans la base
ei
{fi },
P21 .
fi
ei = pji fj
pij ,
fi :
comme combi-
x = xi ei
= xi pji fi
Si nous dsignons par
x0i
x0i = pij xj
(14.8)
Vous avez peut tre remarqu la beaut de la relation ci-dessus : les composantes du
vecteur
la premire base
{e} !
{f }
P x dans
{f } obtenue par une rotation de
vecteur x dans cette nouvelle base sont
{e} ;
-45 degrs,
{e},
P = P21 .
de l'application de passage
plication inverse
Q = P 1
fi = qji ej
Connaitre l'application
vecteur
fi .
dans la base
{f },
Allons-y :
Afi = Aqji ej
= qji Aej
= qji akj ek
= qji akj plk fl
Ce qui nous donne :
173
sur chaque
a0ijk
et
a0ijkl
ij
kl
yi xk .
essayons d'aller plus loin. Une bonne partie du calcul tensoriel consiste pratiquer la
manipulation des indices. Nous allons nous donner une nouvelle rgle de sommation dont
le sens sera prcis plus loin.
Rgle de sommation.
...
L'expression
gij xi y j est
x i yi
x 1 y1 + x 2 y2 + x 3 y3 +
gij xj y i . Par contre, gji xj y i
g ij xi yj
et
j
ou gij xi y sont gramaticalement incorrect, au mme titre que les expressions du genre
(a + b))c + d(
ou
(a + (b + (c).
(e1 , e2 , ...)
E.
N'importe
x = xi ei
Si vous vous souvenez, nous avions soulign que les composantes varient dans le sens
contraire des vecteurs lors d'un changement de base, cette notation met cela clairement
en vidence.
dimension que E . (cf exercice plus bas). E est l'espace des vecteurs contravariants comme
Nous rentrons maintenant dans le vif du sujet. A l'espace
dual
174
E.
hx, yi = gij xi y j
o
xi et y j
sont les composantes des deux vecteurs. N'oublions pas que le produit scalaire
gij que
hx, xi > 0
si
x 6= 0.
E,
puisque si
Note sur le produit tensoriel de deux espaces vectoriel, tenseur d'elasticit qui relie
deux tenseurs,...
Indice haut, bas, la reduction, monter ou descendre un indice : essentiellement en
relation avec la relativit et le produit scalaire de minkowski.
espace dual
exercice : dmontrer que
E est
une base dans l'esapce dual sans faire rfrence au produit scalaire.
produit scalaire gnralis
175
des caractristiques, au moins en thorie. Il est utile d'en donner un bref aperu.
(s, t)
obissant l'quation :
t + P (s)s = Q(s)
Nous cherchons la solution sous forme de
(15.1)
f, g, u
tions inconnues dterminer. A priori, nous n'avons rien gagn d'autre que d'augmenter
le nombre de fonctions inconnues. Mais nous gagnons la libert d'imposer des contraintes
ces fonctions qui nous ramnerons le problme des choses plus connues.
Nous avons, pour les drives partielles de
t = t uf (s)g 0 (u)
0
(15.2)
(15.3)
(15.4)
(15.5)
t u + P (s)s u = 0
(15.6)
L'quation (15.5) est une quation direntielle linaire homogne de premier ordre en
et sa solution est donne par
f (s) =
exp(A(s)), o A0 (s)
= Q(s)/P (s).
L'quation (15.6) , qui est une EDP de premier ordre homogne, a comme solution
176
reste indtermine.
t p = x (kxp) + Dx2 p
(15.7)
p(x, 0) = (x x0 )
(15.8)
l'abscisse
condense en
x, et
x0
t = t0 .
(s, t) la transforme
Z +
(s, t) =
eisx p(x, t)dx
Soit
de Fourier en
de
p(x, t)
t + kss = Ds2
(15.9)
avec la CI
(s, 0) = eisx0
(15.10)
L'quation (15.9) est une EDP de premier ordre similaire (15.1), avec
Q(s) =
s'crivent
et
A(s) =
Ds2 /2k et
W (s) = log(s)/k .
Les
P (s) = ks et
fonctions f ,u
(15.11)
u(s, t) = s exp(kt)
(15.12)
(15.13)
Nous pouvons vrier par drivation directe que l'expression (15.13) est bien solution de
(15.9). Il nous reste utiliser la CI (15.10) pour trouver
g,
ce qui donne :
Ds2
(s, t) = exp
(1 e2kt ) + isx0 ekt
2k
<X> =
xp(x)dx = i
|s=0
s
Z
2
< X2 > =
x2 p(x)dx = 2 |s=0
s
La fonction
de
177
matresse s'crit :
(s, t) =
p(n, t)ens
n
Calculer
p(n, 0) = n,n0 .
n0 , dont
< n(t) >et V ar(n(t)).
Calculer
t,
(15.14)
d'avoir la taille
Pour rsoudre l'q.(15.14), vous avez plus intrt utiliser la transforme de Laplace :
(s, t) =
p(n, t)ens
(s, t).
(s, t) comme
(15.15)
une surface :
(s, t) tant
la hauteur
nous aurions dj une trs bonne connaissance de la solution (voir gure 15.1). Quand
on parcours une courbe de niveau, la valeur de la fonction
maintenant que nous sommes une position
(ds, dt)
ds
(s, t).
dt pour ne
ds et dt en tout point
dy/dx = x/y dni l'quation d'un
cercle de centre origine ; le rayon de ce cercle est donn par une condition initiale.
178
0
1
0.8
0.6
0.4
0.9
0.2
0.8
0.7
0.6
0.2
0.5
0.4
0.4
0.3
0.6
0.2
0.8
La condition initiale
(s, 0) = I(s)
0.1
1
Figure 15.1: Construction d'une solution : nous trouvons d'abord les courbes de niveau
dans le plan
(t, s).
La variation de
en fonction de
(s, 0) = I(s),
(s, t).
(ds, dt)
est
d = (s )ds + (t )dt
ds proporP (s, t) et dt proportionnel R(s, t) pour que d = 0. Autrement dit, pour avoir
d = 0,
il sut de choisir
ds
dt
=
P (s, t)
R(s, t)
(15.16)
Comme vous le remarquez, l'expression ci-dessus est une quation direntielle ordinaire
donnant la forme de la courbe qu'on appelle caractristique. Ceci est le sens de l'expression
W (s) t
Exemple.
L'quation
faut connatre la valeur de cette fonction sur chaque courbe. Comment dterminer cela ?
videment, l'aide des conditions initiales. Si par exemple, on se donne
nous connaissons alors la valeur de
(s, 0) = I(s),
(s, 0) (voir
g(u)
par les conditions initiales dans la section prcdente. Nous avons donc la mthode
s = f (t, s0 ).
179
ds/P = dt/R,
(s, t) ;
t = 0
s0 ,
et nous
utilisons cette ordonnes pour paramtrer cette famille de courbe . Nous pouvons
2.
Soit l'quation
(x, t) = f (x + ct)
Nous avons appel cette quation quation d'onde puisque l'quation
2 /t2 = 0
c2 2 /x2
se factorise en
(cx t )(cx + t ) = 0
Si
d'onde.
15.3 Gnralisation.
A partir de l, nous pouvons gnraliser notre analyse l'quation
(s, 0) = I(s).
ds/P =
ds/dt = f 0 (t, s0 ) = P/R. Quand on se
s = f (t, s0 ), la variation de est
dt/R
s = f (t, s0 ) 2 ,
c'est dire
d = dss + dtt
= (P s + Rt )(dt/R)
= (Q/R)dt
1. Il faut mettre beaucoup de bmol dans ce que nous disons. D'abord, il peut y avoir une innit de
courbes qui passent par le point
(s, t).
s = at
ss + tt = 0,
et passent toutes par l'origine. Le traitement de tels points est un thme part que
nous n'abordons pas ici. Ensuite, il n'y a aucune raison pour que les courbes caractristiques croisent
l'axe
t = 0 : imaginez par exemple un parabolode dcentr par rapport l'origine. Nous avons
t pour paramtrer nos caractristiques mais ceci n'est pas toujours un bon choix.
Pour tre plus gnral, nous aurions du crire f (s, t, s0 ) = 0
variable
2.
180
utilis la
d
Q(s, t, )
=
dt
R(s, t)
(15.17)
La stratgie pour trouver la solution est une modication de ce que nous avons dit
prcdemment :
1. Trouver la courbe caractristique
s = f (t, s0 ),
s0 = g(s, t).
soumise la
I(s).
Rsoudre l'quation
d
Q(t)
=
dt
P (t)
Si nous appelons
A(t)
une primitive de
Q/P ,
ci-dessus est
(t) = C. exp(A(t)).
t (quelque soit leur ordonne s) ont la forme ci-dessus. Vous
et le plan t. La caractristique
passant par le point (s, t) passe par le point (s0 , 0) o s0 = W (t) s W (0). La solution
Toutes les courbes passant par
181
ux
circulation
le
engendr par cette courbe ; calculer le ux travers une surface ferme revient prendre
l'integrale de la divergence
grad(divf )
par coeur !
Tout cela n'est pas trs joli. D'abord, nous avons de la peine distinguer la signication de tous ces oprateurs et des relations qui existent entre elle ; ensuite, cette analyse
vectorielle ne marche qu'
trois
dimensions
16.2 Les
1formes.
(x, y, z),
une 1-forme
(16.1)
1. Et cela par un malentendu qui fait correspondre un vecteur aux produit vectoriel dans le cas des
espaces trois dimensions.
182
Figure 16.1: Reprsentation schmatique des formes. (a) 1-forme f (x)dx une dimension ; (b) 1-forme
deux dimensions.
di-
Z
W =
w
C
Nous sommes dj habitu aux 1-formes dans un espace une dimension, qui sont de
= f (P )dx. Cela reprsente la surface de la rectangle de base dx et de hauf (P ) centr sur le point P que nous reprons par une coordone x (Figure 16.1).
surface totale sous la courbe entre les point P0 et P1 est la somme de ces lments
la forme
teur
La
innitsimaux de surface. Cette surface est une proprit qui ne doit pas dpendre du
mtre qu'on utilise. Si au lieu d'utiliser des lments
dx,
dy = 2dx, nous devions quand mme retrouver la mme surface. Nous devons donc
= f (P )(1/2)dy . De faon gnrale, la forme direntielle ne doit
pas dpendre du systme de coordonnes qu'on utilise. Si de la coordonnes x on passe
la coordonne y avec la relation x = g(y), on doit alors avoir
ments
soit par
y,
l'lment
dx
dy
et le facteur
P , g 0 (y).
Nous avons un peu insist sur ces changements de variable auquel le lecteur est habitu,
puisque cela se gnralise tel quel (enn presque) aux
dimensions.
183
nformes
Comment la 1-forme
s'crit en coordonnes
x = r cos
y = r sin
Donc
u = x + y, v = x y
P.
que, par exemple dans un espace deux dimensions, chaque point de la courbe est dcrit
paramtriquement par
x = x(t)
y = y(t)
et la forme
= A(x(t), y(t))x0 (t) + B(x(t), y(t))y 0 (t) dt
Ceci est une 1-forme dans un espace une dimension que nous savons parfaitement
integrer. Concrtement, nous sommes en train de sommer les petits rctangles de la
gure (16.1b) le long d'une courbe
la base de l'lment
Exemple 2.
x = cos , y = sin ,
= 0 et = vaut -2.
16.3 les
nous avons
nformes.
1formes apparaissent sous des intgrales simples et sont des combinaisons d'lments dx,dy ,dz ,... Les nformes apparaissent sous des integrales multiples et sont des
Les
normal
dr = 0.
184
dn = 0.
dx
et
et de la normale
dy ne
n la
Une
2forme
s'crit
(16.2)
Cela reprsente par exemple un ux travers une surface innitsimal. Le lecteur peut
galement se faire une image l'exemple de la gure (16.1b) : la somme, au point
de
Ce sont l les deux seuls proprits du produit vectoriel dont nous avons besoins.
Digression.
par un autre vecteur du mme espace. Cela n'est possible que dans l'esapce trois
dimensions, et encore avec des complications pour le physicien quant la distinction
bilinaire
autre
et antisymtrique
ei E
et
des lments
e1 e2 E2
un lment
probablement courement en utilisant les trois doigts de la main droite. Mais cela n'est
possible qu' trois dimension. Un plan dans un espace quatre dimension ne peut pas
tre identi un vecteur.
Aprs cette digression sur le produit vectoriel, revenons nos moutons quant aux
formes direntielles. Avec ce que nous avons dit sur les produits vectoriels du genre
l'expression des
nformes
dxdy ,
185
2forme
(x, y)
aux
(u, v)
x = g1 (u, v)
y = g2 (u, v)
dx = (g1 /u)du + (g1 /v)dv et dy = (g2 /u)du + (g2 /v)dv . En prenant le
dxdy , nous allons tomber sur des expressions dudu et dvdv qui sont nulles, et
dvdu que l'on peut rarranger en dudv . On trouve nalement
alors
produit
A,
le dterminant de
du,dv
est le scalaire qui relie les surfaces portes par les deux
la dnition
dx,dy
A.
2formes
dimension, il
= F (u, v)dudv
et ceci est nalement une expression que nous savons intgrer sur un domaine
D.
La vie
n'est bien sr pas toujours facile, et il arrive souvent que nous puissions pas trouver un
paramtrage unique pour toute la surface d'intgration, mais qu'il faille la dcouper en
sous unit avec des paramatrages dirents. Ce sont l des dtails techniques.
f = (fx , fy , fz )
f .dn,
innitsimal, proportionnelle au
dn = du dv
vecteur (a, b, c).
o
186
pformes
avec la drivation. Nous allons d'abord donner la technique et nous viendrons ensuite sur
le sens.
pforme
en une
plus claire travers des exemples. Dans les exemples ci-dessous, nous prenons un espace
trois dimensions.
Exemple 1.
Soit la
Alors, trivialement,
Exemple 2.
Soit la
(gradf ).dr.
(16.3)
= (A/y)dxdy + (A/z)dzdx
(16.4)
dydx
en
dxdy .
dxdx = 0
et nous
Fy
et
par
Exemple 3.
par
Fx , B
par
Fz .
2forme = A(x, y, z)dxdy + B(x, y, z)dydz + C(x, y, z)dzdx. Le
(A/z)dzdxdy
en (A/z)dxdydz en permuttant d'abord dz et dx, ensuite dz et dy
Soit la
1 = 1,
nous obtenons
par
Fy
187
par
Fz , B
par
Fx
calcule toujours le ux d'une rotationnelle travers une surface) ; enn, la divergence,
associe une
3forme
oprateurs direntielles habituels ne sont bien dni que dans l'espace trois dimensions,
tandis que la drivation des formes extrieurs se fait indpendement de la dimension et
de faon presque mcanique, sans voir apprendre par coeur quoique ce soit. Si par
ailleurs, vous tes incapable de vous souvenir de la forme des oprateurs direntiels
dans d'autres systmes de coordonnes, transformez les formes ci-dessus en coordonnes
polaire ou sphrique et drivez les pour vous convaincre de la simplicit de manipulation
des formes (voir les exercices).
Le point le plus fondamental est le corpus gomtrique que les formes nous procurent
et avec lequel nous allons nous familiariser dans la suite.
(16.5)
a
Ceci est en faite une forme particulire du thorme de Stockes. Donnons nous un
3
domaine
point
Z
=
S
o
est une
(p 1)-formes.
(16.6)
(une 1-forme) le long d'une courbe ferme est gale l'intgrale de la rotationnelle de
cette fonction (la
2forme
Z
rotf .ds =
f .dl
S
188
(16.7)
(une
2forme
3forme
comme
Z
f .ds =
divf dV
(16.8)
Enn, nous avons appris que si une fonction est le gradient d'une autre, alors son intgrale
le long d'un chemin reliant les point
et
Z
gradf.dl = f (B) f (A)
(16.9)
C
Comme vous le constatez, ces grad,rot et div thormes ne sont que des applications du
thorme de Stockes aux 1,2 et 3 formes dans un espace de dimension 3.
1formes.
ndimensions (voir
pformes
dxdydz ,
le quelque chose
et par
/t + divJ = 0
(16.10)
En langage des formes, cette quation aquiert une interprtation gomtrique. Prenons
d'abord le cas de l'espace une dimension spatiale et une dimension temporelle, et
4. Le quelque chose peut tre l'argent d'une entreprise, et les comptables sont responsable, sur leur
denier personnel, de faire respecter cette loi. L'tudiant en physique perd au plus quelques points
l'examen.
5. Cela se dmontre facilement en physique statistique et s'appelle la rponse linaire.
189
d = 0
A 3+1 dimensions (ou plus si anit), il faut considerer la forme
innitsimales, ce que les mathmaticiens n'aiment pas trop ; de plus, il est dicile de
7
donner ces quantits une structure algbrique telle que nous avons vu plus haut . Nous
allons exposer une autre faon de voire ces formes travers leurs liens avec les vecteurs.
Nous sommes habitus manipuler ces derniers, nous savons ce que cela veut dire ; dans
ce chapitre, nous avons introduit les formes (en tout cas les 1-formes), comme des objets
qui y ressemblent, mais n'en sont pas vraiment.
De faon gnrale, les formes linaires sont des fonctions agissant sur les vecteurs et
produisant un scalaire. Un exemple classique est la projection sur un vecteur donn
u.
Ainsi, si nous disposons dans notre espace vectoriel d'un produit scalaire entre vecteur
(u, v),
par
ER
u
(v) = (u, v)
Nous voyons que l'application
qui vaut
(u, v ),
u
(v + w) =
u(v) +
u(w)
, R
v, w E
6. Le signe - vient de notre convention de compter en ngatif le ux entrant. Cela parat aussi
arbitraire que la charge de l'lectron. Historiquement, cela vient du fait que la surface est oriente pour
que la normale pointe vers l'extrieurs.
7. Les inniments petits ont pos longtemps des problmes de cohrence interne aux mathmaticiens
et on t
expulss
une nouvelle lgitimit dans les annes 1960 quand un mathmaticien a montr que les problmes d'incohrence peuvent-tre rsolu. Le lecteur intress peut se reporter au chapitre sur les nombres et en
particulier, aux hyper-rels.
190
dx
(1, 0, 3)
ux .
(ux , uy , ...),
Par exemple,
dx(v) = 1
dy(v) = 0
dz(v) = 3
Cela parat un peu dirent de notre dnition physicienne de ces quantits, mais on
retrouve la connection ds que l'on dnit l'intgrale d'une forme direntielle.
Soit la 1-forme
P0 , P1 , ...PN
. Alors
N
1
X
Z
= lim
C
(Pi P~i+1 )
i=0
Ceci nous restore l'ide qu'une intgrale est la somme de quantits innitsimaux, en
faisant porter le poids innitsimal sur les vecteurs localement tangents
que sur les
dx, dy ,...
Pi P~i+1
plutt
= 2xydx + zydy
ne sont que des applications tout a fait normaux.
Problmes et exercices.
Drive des 1, 2 formes en coordonnes polaire et sphrique.
quelques exmples d'intgration des formes.
lemme de poincarr. exemple de rot d'un gradient. champ lctrique. commencer
faire sentir pourquoi le champ magntique est associ une 2-forme.
est ce que
dw = 0
implique
w = d?
l'operateur *, le laplacien
lien entre la minimisation
le
le
191
petit que l'on souhaite. Cette vue a quelque peu disparu des mathmatiques au dbut du
XIXme sicle quand Cauchy &Co ont donn de la rigueur aux mathmatiques, mais a
donn trs naturellement lieu au dveloppement des calculs matriciels et la formalisation
des espaces vectoriels un sicle plus tard par Hilbert &Co. Avec l'arrive des ordinateurs
et la rsolution numrique des quations, cette approche redevient tout a fait naturelle.
Regardons quelques cas particuliers.
y 0 = f (x)
(17.1)
sur l'intervalle
bords sont
algbriques
y1 y0 = x.f (x0 )
y2 y1 = x.f (x1 )
...
...
yN yN 1 = x.f (xN 1 )
Si vous regardez bien, nous avons
N +1
quations ! Le
systme est sous dtermin et n'a pas de solution unique. Pour que le systme ait le mme
nombre d'quations que d'inconnus, il faut ajouter une quation supplmentaire, par
192
Y
k
(a)
(c)
(b)
y0 = a. C'est cela que nous appelons la condition initiale. Nous avons l'habitude
de penser aux quations direntielles comme la donne de deux choses direntes : une
quation de la forme (17.1) et des conditions initiales. En ralit, ces deux choses sont
indissociables. Nous pouvons maintenant reprsenter cela sous forme matricielle
1
0 ...
1 1 0 ..
0 1 1 ..
...
0
... 1
0
0
0
Ay = f .
y1
y2
.
.
yN
a + x.f (x0 )
f (x1 )
.
.
f (xN )
qua-
des techniques d'oprateurs linaires pour rsoudre le problme direntielle. Vous voyez
galement les direntes gnralisations possibles. Si par exemple, nous avons une quation de seconde ordre, nous n'obtiendrons alors que
et nous devons la supplmenter par
deux
des quations d'ordre plus levs. De la mme manire, l'approche se gnralise l'tude
des quations aux drives partielles. Les techniques de rsolution numrique d'quations
direntielles ne font que reprendre ces schmas.
k.
boules de masse
Chaque boule est assujettie se mouvoir sur une ligne verticale, et les lignes sont
espaces de
X1
n
k(yn+1 yn )2
(17.2)
des
extremum, il faut que sa drive par rapport chaque variable soit nulle. Considrons la
193
par rapport
yn
yn
(yn yn1 )2
qui sont
et
(yn+1 yn )2 . La minimisation
donne donc :
U
= k(2yn yn1 yn+1 ) = 0
yn
(17.3)
Cette dernire relation indique simplement que la force exerce sur la n-ime boule doit
tre nulle : en eet, la force n'est que le gradient ( un signe prs) du potentiel. L'extremum du potentiel correspond une position d'quilibre o les forces exerces s'annulent. Faisons maintenant
x = nd
d0
et
N +
y(x).
Comme
yn = y(xn ) = y(nd),
yn+1
yn1
dy
= yn +
d+
dx x=xn
dy
= yn
d+
dx
x=xn
1 d2 y
d2
2 dx2 x=xn
1 d2 y
d2
2 dx2
x=xn
d2 y/dx2 = 0.
y = 0
o l'oprateur
de Laplace
(17.4)
nergie. C'est exactement cette approche qu'Euler a utilis pour dvelopper le calcul
variationnel et qui a donn lieu aux quations d'Euler-Lagrange.
Que vaut la constante de raideur
coupage discrte,
k?
i.e. de l'espacement d entre les lments discrets que nous avons utilis
pour modliser le continuum. Mais comment ? La rgle fondamentale est que les valeurs
que l'on peut mesurer (physiquement) ne doivent pas dpendre de notre dcoupage.
Prenons maintenant une ligne de longueur
morceau espac de
U=
n
Si maintenant nous avions fait un autre dcoupage en prenant
0
des ressorts de constante k et un espacement
N0
1. Grand mathmaticien franais de la n dix-huitime et dbut dix-neuvime sicle. Trs clbre pour
son livre de mcanique cleste, les fondements de la thorie des probabilits (qui l'ont amen inventer
les transformes de Laplace), la thorie molculaire de la capilarit (quand les molcules n'existaient
pas !), ... Ses collgues et contemporins sont Lagrange, Fourier, Poisson et Cauchy. Que du beau monde.
194
U = (Y 2 /L)k 0 d0 .
Comme
tre constante :
k=
La constante de ressort
microscopique
K
d
kd
doit
(17.5)
y 0 (x).d + O(d2 ),
= (1/2)
XK
d
Z
= (1/2)
y 0 (nd)2 d2
Ky 0 (x)2 dx
quand
d0
R
(/2)|E|2 d = (/2)|V |2 d .
.
En lasticit,
i.e.
plus haut,
m
Comment
d2 yn
= k(2yn yn+1 yn1 )
dt2
dpend de notre dcoupage ? La rponse est plus simple cette fois. Si nous
dsignons par
d 0,
m = d. Nous avons
(2yn yn+1 yn1 ) ( 2 y/x2 )d2 .
(17.6)
k = K/d
et
2y
t2
=
=
(K/d) 2 y 2
d
d x2
K 2y
x2
(17.7)
2. Maxwell, le fondateur de la thorie lectromagntique dans les annes 1860, considrait les
phnomnes lectromagntiques comme des dformations lastiques d'une substance hypothtique appele ther et s'est beaucoup inspir des travaux sur l'lasticit pour formuler sa thorie.
195
K/
possde la
dimension d'une vitesse au carr (pourquoi ?) et dsigne, comme nous l'avons vu, la
vitesse de propagation des ondes.
Question
En lectromagntisme,
dyn /dt.
d 0,
2y
y
2y
+
=
K
t2
t
x2
sa transparence). Nous voyons que si la masse des boules (la force inertielle) peut-tre
nglige par rapport aux autres forces de frottement et applique par les voisins (penser
aux boules baignant dans du miel), nous pouvons ngliger la drive d'ordre 2 par rapport
au temps et crire
y
2y
=D 2
t
x
qui n'est rien d'autre que l'quation de la chaleur. Il est peut-tre dicile pour le lecteur
3
de penser au champ de temprature comme des boulent qui se meuvent dans du miel .
Nous le rfrons la thorie de la rponse linaire en physique statistique pour une
drivation de l'quation de la chaleur qui ait une plus grande ralit physique.
Revenons encore une fois notre image de boules de la gure (17.1.a) . Et imaginons
par l'espacement, en laissant le soin au lecteur de dmontrer que cela eectivement est la
bonne forme). Nous n'avons aucune obligation penser que
A certain endroit le long de l'axe
notons donc
Vn
x,
x.
L'expression
U=
X1K
n
2 d
Il ne sera pas alors dicile pour le lecteur de dmontrer que l'quation d'onde s'crira
2
2y
2 y
=
c
V (x).y
t2
x2
et l'expression de l'nergie (potentielle) est de la forme
3. Mme si la conception de la chaleur comme un uide de calorique tait populaire jusqu'au dbut
du XIXme sicle.
196
197
nombre
sommes jamais demand ce qu'est un nombre, nous avons pris cela comme une donne
dont la signication est priori connu.
Nous allons dans ce chapitre revenir un peu sur ce concept et voir la construction des
nombres rels. Nous verrons galement que ce n'est pas la seule faon de construire un
ensemble complet de nombe, et d'autres ensembles qui dent notre intuition de proche
et de loin sont galement constructible. Ce chapitre n'a pas d'autre but que d'veiller
la curiosit du lecteur.
Le plan gnral que l'on va suivre est de d'abord construire les nombres entiers, ensuite
topologie
et constru-
p-adiques.
Munir un
ensemble d'une topologie est un terme pour erayer l'tudiant. En langage profane, cela
veut simplement dire que l'on va dnir
habituelle que l'on dnie, et laquelle nous sommes habitu depuis notre tendre enfance
nous dit par exemple que 4.3 et plus
proche
avant
l'ensemble des nombres rationnels, nous n'avons pas besoin de ce concept, celui d'
et
aprs
nous sura.
N.
un
lment
juste avant
et
un
lment
Bon, bien sr, comme nous sommes en train de faire des mathmatiques, nous devons
dnir exactement ce que ces termes veulent dire. Voil les axiomes de Pano.
1.
0 N1
juste aprs ).
x0 = s(x) N
appel son
1. Grand dbat philosophique pour savoir si il faut commencer par 0 ou par 1. Cette question n'a pas
de sens tant que l'on a pas dni l'opration addition et son lment neutre. Tout ce que l'on veut ici
est de dnir un premier lment.
198
n'est le successeur d'aucun nombre (cela nous enlve le danger des cycles).
4. Si
s(x) = s(y)
alors
x=y
le mme successeur).
5. Axiome d'induction. Soit
Si
Alors
x,
alors
s(x)
est valable pour tous les nombres entiers (cela entre autre nous enlve le
+.
N = {0, 1, 2, ...}.
x + 1 = s(x) 2 .
L'opration
d'associativit, commutativit, etc. dont nous sommes habitu (exercices : les dmontrer).
Nous laissons au lecteur le soin d'en donner une dnition rigoureuse.
Tant que nous y sommes, nous pouvons galement dnir l'opration
(multiplication)
commes une autre application qui a chaque deux nombres entiers associe un troisime :
aurait
<
et
>,
et
(N, +, )
N,
xy =z
et
Q.
y+z =x
N.
dire que l'addition de n'importe quel deux nombres est encore dans
d'tre le cas pour la soustraction. Il sut d'examiner
z + 1 = 0,
01
: si
Z = {..., 2, 1, 0, 1, 2, ...}
qui contient
+1
199
de la multi-
x/y = z
/comme l'inverse
un couple quelconque,
x/y
tion de division. Notez que nous avons pas vraiment dnit comment on aggrandit nos
3
est trs riche. Concrtement les humains n'en sortent jamais pour faire
leurs calculs. Le trait principal de cet ensemble est qu'entre n'importe quel deux nombres
rationnels, on peut en trouver d'autres. Ceci dit, comme le lecteur le sait, l'ensemble
reste dnombrable, et mme si il est ferm pour la division, il n'est pas
algbriquement
ferm. Par cela nous voulons dire que les racines de tous les polynomes (de coecient
entier) ne se trouvent pas dans
x2 2 = 0
Q.
(qui reprsente l'hypothnus d'un triangle rctangle de cot unit) n'est pas
rationnelle.
Il sut de suivre la mme dmarche et construire l'ensemble des nombre algbrique
la fermeture algbrique de
2+
3+
17
A,
253.
A t'on puis tous les nombres ou existe t'il des nombres non-algbriques qu'on appelle
transcendants ?
ou le nombre
dix-neuvime sicle.
k45
(dont
par exemple le corps des rationnels). Nous demandons cette application d'avoir un
minimum de proprits : Pour tous
1.
d(a, b) 0
2.
3.
et
d(a, b) = 0
a, b, c k ,
si et seulement si
a = b.
(l'ingalit du triangle).
Ce n'est pas beaucoup demander, mais partir du moment o nous disposons d'une
mtrique, nous pouvons faire une quantit phnomnale de choses. Essentiellement, c'est
A = N N, c'est dire
x et y sont des entiers naturels. Nous dnissons une relation
x0 y . Nous dnissons l'operation +dans A par (a, b) + (c, d) =
(ad + bc, bd) et l'opration par (a, b) (c, d) = (ac, bd). L'ensemble A partitionn par la relation
d'quivalence ci-dessus et muni des deux oprations + et peut tre identi au corps des rationnels
Q. Un exercice interessant serait de suivre les mmes lignes pour construire les entiers relatifs partir
3. Voyons rapidement la construction des rationnels. Considrons l'ensemble
5. Bien sr, pour dnir une norme, nous n'avons pas ncessairement besoin d'un corps. Nous avons
vu ds le dbut de ce livre comment en dnir une pour l'espace vectorielle des fonctions de carr
sommable.
200
antes :
p1 :
|a| = 0
p2 :
|ab| = |a||b|
p3 :
|a + b| |a| + |b|
ssi
a = 0.
alors nous pouvons facilement dnir la distance entre deux lments par
d(a, b) = |ab|.
Nous laissons au lecteur le soin de dmontrer cela. L'exemple usuel de la valeur absolue
sur
est
|x| = x
si
x 0
et
Q,
Q,
an converge
vers la limite
proche
sont aussi
a est la limite
d(a, an ) < .
tel que si
n>N
alors
si tous
an si
Un des problmes de cette dnition de la convergence est que pour savoir si une suite
converge, nous devons connatre l'avance sa limite ! Le grand Cauchy a trouv comment
y remedier : une suite converge si la distance entre deux lments quelconques converge
vers zero au del d'un certain
n, m > N
alors
d(am , an ) <
: si pour tout
Q,
Cela nous pose un nouveau problme : la limite d'une suite dans un corps
tel que si
n'a au-
cune raison d'appartenir au mme corps. Mais nous pouvons continuer notre procdure
d'enrichissement et considrer un ensemble qui contient
et
le corps
et
de toutes les suites convergentes. Nous verrons ci-dessous deux exemples de fermeture
topologique de l'ensemble
padiques.
Q.
Exemple 1.
Le nombre
1/e,
Q.
n
n=0 (1) /n! n'est pas un
nombre rationnel. Pour voir cela supposons qu'il l'est et ecrivons le comme
dcomposons la srie en une somme jusqu'au terme
et le reste :
p X
=
(1)n /n! + Rq
q
n=0
201
p/q .
Nous
plus
q!.
Nous avons
1/e
est donc
fausse.
Nous dnissons l'ensemble des nombres rel
l'ensemble
Q au sens de Cauchy.
+ et se gnralisent aisement par continuit. Par exemple,pour a, b R,
(mais pas ncessairement rationnel) a + b = lim(an + bn ) o an et bn sont des suites dans
Q convergeant vers a et b.
Q
Les oprations
Nous pouvons pousser un ouf de soulagement, nous sommes au bout de notre chemin
( part peut-tre une extension triviale au nombre
C).
que l'ensemble des nombres algbriques ? La rponse est videment oui, mais est loin
d'tre vidente. Jusqu' presque la n du dix-neuvime sicle, la rponse cette question
n'tait pas connu. On a pu dmontrer cet poque avec peine que les nombre
et
ne sont pas algbrique, c'est dire que nous ne pouvons pas trouver un polynome de
coecient entier dont une des racines soit un de ces nombres. Mais combien y avait il
de ces nombres transcendant ? trs peu, beaucoup ? La rponse, un coup de matre, est
venu de Greg Cantor : les nombres algbriques sont une minorit ngligeable compars au
nombres rels. Cette dmonstration a provoqu beaucoup de dbats furieux l'poque,
puisque Cantor ne construisait pas
un seul
fait en deux tapes trs simple : (i) les nombres algbriques sont dnombrables ; (ii) les
nombres rels ne sont pas dnombrable. Voyons cela de plus prs.
p/q
px q = 0.
est ni ( Combien y'en a t'il au plus ?). Nous pouvons donc ranger les
nombres algbriques de faon suivante : On prend d'abord toutes les racines associes
l'hauteur 1, et on les range dans l'ordre croissant, en liminant les doublons. On prend
ensuite toutes les racines associes
H = 2,
H = 3, H = 4,...
202
et
1et
et construisons un nombre
(Exercice : le dmontrer).
entre
on vite t chass du monde. Dans les annes 1960, Abraham Robinson russi de les
rintroduire de faon rigoureuse par une mthode pas trop loin de ce que nous avons vu
pour la construction des nombres rels. Un inniment petit est par exemple un nombre
tel que
quelque soit
n N.
rel classique est entour d'un nuage de nombre distance inniment petit.
Concrtement, l'introduction de ces nombres n'apporte pas de nouvelles mthodes et
nous ne dvelopperons pas ce concept plus ici. Nous suggrons au lecteur intress de se
diriger vers des livres plus spcialiss sur ces nombres et l'analyse non-standard.
padiques.
Nous allons voir dans cette section des nombres tranges, trs dirents de ce que nous
connaissions jusque l. La notion de
proche
et de
loin
notion d'avant et aprs, contrairement la distance usuelle que nous avons utilis pour
construire
partir de
Q.
dnissent est radicalement dirente. Rappelons que la valeur absolue doit avoir les
trois proprits mentionnes la section 18.3. Si la valeur abolsue a en plus la proprit
suivante :
p4 :
|x + y| max{|x|, |y|}
nous l'appelons
puisque
non-archimedien.
203
p.
N'importe
n = pvp (n) n0
o
p . n0
ne divise pas
n0 ).
nous avons
2 = 50 2
5 = 51 1
6 = 50 6
150 = 52 6
v5 (2) = v5 (6) = 0 ; v5 (5) = 1 ; v5 (150) = 2. vp (n) est appel la
padique du nombre n, et dsigne la multiplicit du facteur premier p pour
former le nombre n. Par convention, vp (0) = : on peut diviser 0 par p ; le rsultat
tant 0, on peut encore multiplier 0 par p et cela peut continuer inniment.
On peut tendre de faon vidente la valuation padique aux nombres rationnels :
vp (a/b) = vp (a) vp (b)
2.
vp
vp agit
padique
un
d'un
par
valeur absolue en est vraiment une, et qu'en plus, elle est non archimedien. Nous pouvons
en plus dmontrer que si
x 6= y ,
alors
5-adique,
d(5, 6) = 1 ;
a la prorit suivante :
appel l'ingalit ultra-
mtrique.
Notons combien cette distance est dirente de la distance habituelle. Prenons par
|x z|
204
Qp .
actement comme nous avons fait avec les nombres rels, dnir les fonctions, leurs drive
et intgrale, ... Nous ne dveloppons pas plus cela ici, notons simplement quelques faits
inhabituels de ces ensembles :
Pour qu'une suite
an
|an+1 an | 0
an
|an |p 0
205
19 Bibliograhie.
Ce cours est un rsum rapide de ce que l'tudiant en physique doit absolument savoir.
Ce cours est une introduction qui devrait permettre l'tudiant d'attaquer les divers sujets en conslutant des livres plus avancs. Ci-dessous, je liste ple-mle quelques livres que
j'ai eu entre les mains et que j'ai trouv particulirement intressant pour des tudiants
de niveau L3-M2.
volumes, allant des mathmatiques lmentaires aux sujets les plus avances.
sur le sujet.
F.W. Byron & R.W. Fuller, Mathematics of classical and quantum physics.
Le livre
ment de la thorie de la mesure et des series de Fourier tout au long du dix neuvime et
du vingtime sicle.
Un aperu des
scientique, a crit des livres d'une rare profondeur. Son livre de mcanique analytique
est un pur bijou. Le livre mentionn ici traite avec une trs grande rigueur et lgance
les oprateurs linaires.
Un trs beau
livre sur les formes direntielles, crit il y a une quarantaine d'anne et n'ayant rien
perdu de sa beaut. La plupart des livres sur les formes dierentielles sont rservs aux
206
19 Bibliograhie.
tudiants avancs de mathmatiques, o l'expos est noy sous des tonnes de thormedmonstration. Edwards fait jaillir toute la beaut de ces objets mathmatiques. Pour
une lecture plus avanc mais toujours aussi lgant, le lecteur pourra se rapporter au
livre d'Arnold : mathmatiques de la mcanique classique.
Un grand tour
des EDP de la physique, crit par un des grands chercheurs du domaine qui sait galement
tre trs pdagogue.
Beaucoup de thme indispensable ont t neglig dans ce manuscrit. La thorie des
fonctions holomorphes et l'analyse complexe sont trs bien trait chez Bass ou Byron et
Fuller, nous suggrons cependant les deux livres suivants :
207