Академический Документы
Профессиональный Документы
Культура Документы
Physique.
Bahram Houchmandzadeh
http://houchmanddzadeh.net/cours/Math/math.htm
First Version
Septembre 2008
Present Version
Introduction.
2.1
. . . . . . . . . . . . . . . . . . . . . . . . .
2.2
13
2.3
18
. . . . . . . . . . . . . . . . . . .
19
3.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19
3.2
20
3.3
24
3.4
Un peu de gnralisation.
26
3.5
3.6
28
3.7
. . . . . . . . . . .
29
3.8
Introduction.
Equation de la chaleur. . . . . . . . . . . . . . . . . . . . . . . . . .
31
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
26
44
4.1
. . . . . . . . . . . . . . . . . . . . . . . . . . .
44
4.2
46
4.3
47
4.4
47
4.5
Entre en matire.
51
. . . . . . .
Les distributions.
53
5.1
. . . . . . . . . . . . . . . . . . . . . . . . . .
53
5.2
Un peu de dcence. . . . . . . . . . . . . . . . . . . . . . . . . . . .
56
5.3
58
5.4
Exercices.
63
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Convolution et corrlation.
65
6.1
Les convolutions. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
65
6.2
Auto-corrlation. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
68
75
7.1
Entre en matire.
. . . . . . . . . . . . . . . . . . . . . . . . . . .
75
7.2
76
7.3
78
7.4
Comportement assymptotique.
. . . . . . . . . . . . . . . . . . . .
80
7.5
Produit de Convolution. . . . . . . . . . . . . . . . . . . . . . . . .
83
7.6
7.7
7.8
La physique statistique.
7.9
TL inverse.
7.10 Exercices.
. . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
83
. . .
84
. . . . . . . . . . . . . . . . . . . . . . . .
84
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
85
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
86
93
8.1
93
8.2
Le potentiel lectrostatique. . . . . . . . . . . . . . . . . . . . . . .
96
8.3
98
8.4
. . . . . . . . . . . . .
99
8.5
Entre en matire . . . . . . . . . . . . . . . . . . . . . . . . . . . .
99
. . . . . . . . . . . . . . . . . . . . . . .
100
9.1
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
9.2
9.3
9.4
9.5
9.6
9.7
. . . . . . . . . . . . . . . 116
119
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
. . . . . . . . . . . . . . . . . . . . . . 128
. . . . . . . . . . . 131
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
11 Le calcul variationnel
11.1 Introduction.
139
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
. . . . . . . . . . . . . . . 157
. . . . . . . . . . . . . . . . 159
168
. . . . . . . . . . . . . . . . . . . . . 172
179
. . . . . . . . . . . . . . . . . . . . . . . . 181
. . . . . . . . . . . . . . . . . . . . . . . . . . 182
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192
194
. . . . . . . . . . . . . . . . . . . . 198
. . . . . . . . . . . . . . . . . . . . . . 206
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209
204
. . . . . . . . . . . . . . . . . . . 204
211
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
1formes.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212
nformes
nvecteurs.
kformes. . .
et les
. . . . . . . . . . . . . . . . . . . . 214
. . . . . . . . . . . . . . . . . . . . 215
234
. . . . . . . . . . . . . . . . . . . . 238
et
N.
Q.
240
. . . . . . . . . . . . . . . . . . . . . . . . . 240
. . . . . . . . . . . . . . . . . . . . . . . . . 241
padiques.
. . . . . . . . . . . . . . . . . . . . . . . . 246
19 Bibliograhie.
248
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
innis. Les
distributions,
1 Introduction.
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 ...).
Nous allons revenir sur le concept gnral d'operateur integro-direntiel. Une
rotation ou une homotetie transforment de faon
autre. Un oprateur direntielle linaire comme
linaire
un vecteur dans un
2
(t Dx )
pour les fonctions, considres 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.
2 lments d'analyse
fonctionnelle.
Les espaces vectoriels jouent un rle unicateur fondamental en mathmatiques. Peut-tre cela rappelle au lecteur des souvenirs de matrices, de bases
et de ses changements, ... Nous allons revoir tout cela de faon assez legre mais
dimensions innies, en utilisant pratiquement les mmes outils que pour des vecteurs trois dimensions. Cela s'appelle
analyse fonctionnelle
et a t formalis
par Hilbert au dbut des annes 1900. Le reste de ce cours s'appuie constemment
sur les rsultats de ce chapitre dont la lecteure est indispensable.
ou complexes
o l'opration
S.
C.
d'un
scalaire.
L'ensemble des maisons d'une ville par exemple 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 armer pour l'un de ces ensembles (en rapport avec son caractre vectoriel)
pourra tre gnralis aux autres.
des scalaires.
qui nous permet de dcrire tout les autres. Pour tre plus rigoureux,
quel lment
de
autres (on dit alors que ces vecteurs sont linairement indpendant). Les scalaire
si
a sont
{e}.
les
composantes
du vecteur
dans la base
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 oblig de faire des dessins, nous pouvons les reprsenter par des duplets
(x1 , x2 )
A partir du moment o on peut reprsenter les objets par des chires, on peut
pratiquement tout faire (hem).
Pour l'espace vectoriel des polynmes, les polynmes
une base. Une autre serait
1, X, X 2 , ...
constituent
base n'est pas unique. On peut cependant remarquer que l'ensemble des vecteurs
du plan est de dimension
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
4
N.
dnombrable .
Quand est il de l'espace des fonctions ? A priori, c'est un espace d'une trs
grande dimension. On verra par la suite que si on se donne quelques restrictions,
on peut galement dnir une base
dnombrable
Le produit scalaire.
scalaire 5 . Nous noterons le produit scalaire de deux vecteurs (a, b). En physique,
on a plus l'habitude de le noter par
.,
a b
a| b
Nous sommes assez habitus depuis les annes du lyce avec ce concept. Un
bon produit scalaire doit avoir ces quelques proprits :
4. C'est le plus petit des innis. Sans rentrer dans les dtails, l'inni qui ensuite est vraiment
plus grande que
est celui de
R.
grande.
5.
(., .) : E E S.Si
rel (complexe).
10
si
a = 0.
Par exemple, dans l'ensemble des vecteurs du plan, on peut dnir un produit
scalaire par
et
(a, b) =
xi yi
xi
et
yi
b.
La proprit (iii) est trs intressante. Elle nous permet de dnir la
norme
= (a, a).
longueur
L'intrt
de pouvoir disposer d'une norme est immense. On peut par exemple savoir si
deux vecteurs
dirence
(souvenez
l'on parle des vecteurs d'un plan, a l'est beaucoup moins quand on discute des
espaces vectoriels plus riches comme celui des fonctions. Est ce que par exemple,
on peut dire que la fonction
sin(.)
et
log(.)
sont proches ?
par
i xi yi o xi , yi sont les composantes de a et b. Notez bien que l'on doit
(iv)
(i')
(i)
L'orthogonalit.
vecteurs (=
0)
ab
Rn ,
deux
est nul. Nous 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 , ...
les
vecteurs tous
n,
il nous
(x, y, z, t)
vnement
respecte
Deux vnement
distincts
x1 x2 + y1 y2 + z1 z2 t1 t2 .
11
extrmement simple : si
a=
(a, ei )ei ,
Exercices.
1. Dmontrer que les deux vecteurs
vectoriel
C2
associ
2. Dmontrer que si
C.
a b = 0,
alors
a = b.
n n,
ai,j bi,j
est un produit
scalaire. Ce produit scalaire est souvent utilis en analyse matricielle numrique pour l'valuation de la stabilit des mthode itratives.
4. Dmontrer que si
linairement indpendants.
5. Dmontrer que si
vecteur
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 :
a+b a + b
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)|2 a . b
qu'on peut assez facilement dmontrer en considrant le produit
(a+b, a+
b) 0.
7. Pouvez vous gnraliser le produit scalaire dans
Rn
nmes ? Et surtout dmontrer qu'il respecte toutes les proprits d'un produit scalaire ?
12
a, b
deux membres
b).
L(a)
et
action sur
chaque
vecteur de la base :
L(ej ) =
Lij ei
i
Les nombres
bi =
Lij aj
j
Lij
jme
vecteur de la basep
de ce
vecteur avec le
10. Soit deux
P (ei )
P 1 (fi )
P
= fi i = 1, 2, ..., n
= ei
aij .
{ei }.
13
I.
noire qui prennent des chires en entre et produisent des chires en sortie. La
fonction
sin(.)
xI
associe le nombre
sin x.
On peut
voir les fonctions comme des points dans un espace immensment grand o en se
baladant, on rencontrerai de temps en temps des fonctions connues comme
log(.),
exp(.), exp(2.)
Le produit scalaire.
riel. On 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 :
(f, g) =
f (x)g(x)dx
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
produit scalaire dans
Rn ,
quand
xi yi du
tgral).
Bien, nous disposons d'un produit scalaire, on peut donc dnir la norme d'une
fonction.
[f (x)]2 dx
=
I
L2 ,
[0, 2],
2
2.
sin(.) =
3.
log(.) =???
1.
4.
exp(.)
1/(.)
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
f (.)
est la deuxime
f (x).
et que nous esprons que le lecteur est maintenant habitu cette distinction,
nous emploierons partir de maintenant indiremment la notation
f (x)
pour
14
[0, 1] : f (x) = 1
norme L2 , ces deux
g(x) = 0
tiques
si
x = 0.
Au sens de notre
f g = 0. Consig(x) = 1 si x = 0
et
! Grossirement parlant, notre norme est une lunette pas trop prcise et
ne distingue pas les dirences subtiles entre deux fonctions. Elle ne va retenir
9
fn (x) = x
converge vers
f (x) = 0
n ,
[0, 1]
sur l'intervalle
L2 ,
mais ne
complexe, i.e. f : R C,
f (x)g(x) dx
(f, g) =
I
o le symbole
L'orthogonalit.
sont orthogonales si (f, g) = 0. Ainsi, sur l'inter[1, 1], les fonctions 1 et x sont orthogonales. De mme pour les fonction
exp(x/2) et exp(x/2)(1 x) sur l'intervalle [0, ].
fonctions :
et
g (= 0)
valle
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
n,
|f (x)|2 dx < .
I
tel
inni dnombrable
f.
g(x) = 0
si
xQ
et
g(x) = 1
sinon, au
15
10
que
R = 2N (bien
nombre entier. L'ensemble des fonctions est beaucoup, beaucoup plus vaste. Ima-
une seule
nombre
rel. Le thorme ci-dessus nous dit que si la fonction est de carr sommable, nous
n'avons alors besoin pour la reprsenter que de
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,
fonction quelconque
fn en (x)
f (x) =
n=1
o les
fn
sont des
scalaires
sur la base
Elle sont donnes, comme pour des espaces de dimensions nis, par la
de
{en }.
projection
fn =
f (x)en (x)dx
I
Remarquez que
suite
de fonctions
alors
f N
fonc-
tion par une somme nie de fonctions de base, et on peut rendre cette approximation aussi bonne qu'on le souhaite en prenant susamment de composante.
Le lecteur est dj partiellement habitu cette ide : le dveloppement de Taylor approxime une fonction par la combinaison des fonctions
10. le cardinal de
xn .
N est not 0
L'espace des
16
L2 .
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
sicle.
Exercices.
1. Donner une dnition prcise de la convergence d'une suite au sens de la
norme
L2
g(x) = 0
au sens
f (x) = xn
dnie sur
L2 .
L2 .
(f, g) =
w(x)f (x)g(x)dx
I
o la fonction
w(x)est
sde les proprits d'un produit scalaire. Que doit on imposer la fonction
poids ?
5. On appel polynmes orthogonaux des polynmes
Pn (x)
de degrs
n,
or-
thogonaux les uns aux autres au sens du produit scalaire dni plus haut.
Trouver les trois premiers polynmes associs au poids
tervalle
[1, 1].
w(x) = 1
et l'in-
6. Dmontrer que les polynmes de Legendre que vous avez trouv obissent
l'quation direntielle
w(x) = ex et
l'intervalle
[0, [.
Ces
17
D = d/dx
et donne une fonction en sortie ; (ii) elle fait cela de faon linaire,
D(f + g) = Df + Dg ,
f, g
i.e.
des fonc-
18
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
l'instant initial et que l'on relche. Soit
et l'instant
t.
y(x, t)
et
qu'on dforme
2y
2y
v2 2 = 0
t2
x
o
(3.1)
En
injectant cette forme dans l'quation (3.1), on trouve que cette forme ne peut
tre une solution que si il existe une relation entre
la fonction
y doit
et k : = vk . Ensuite,
y(0, t) = y(L, t) = 0. La
sin kL = 0,
c'est dire
19
avec
f +g
et
An cos(nvt/L) sin(nx/L)
y=
n=1
Ak ,
y(x, 0) = y0 (x),
t = 0.
y0 (x) =
An sin(nx/L)
n=1
An
verrons la rponse plus bas. A priori, trouver la rponse parat assez complique.
Notons que si
si
exemple,
sin
et
cos,
Thorme.
des fonctions de
sin(2nx/L)dx =
0
L
L
[cos(2nx/L)]0 = 0
2n
1. La dmonstration est due Weierstrass dans les annes 1880. Elle ne pose pas de dicult
majeure. Disons que pour qu'une suite
que si un lment
suite des
sin(.)
fn
fn ,
alors
g = 0.
sin(.).
20
cos(.)
qui soit
Ensuite, comme
les fonctions
n = m,
orthogonales, sauf si
de
L2 [0, L]
auquel cas,
f (x) = a0 +
an cos(2nx/L) + bn sin(2nx/L)
n=1
an
bn
et
a0
(1/L)
f (x)dx
(3.2)
f (x) cos(2nx/L)dx
(3.3)
f (x) sin(2nx/L)dx
(3.4)
0
L
an
(2/L)
0
L
bn
(2/L)
0
Exemple 1.
a0
Prenons la fonction
bn = 2
x sin(2nx)dx
1
1
x=1
[x cos(2nx)]x=0 +
n
n
1
1
x=1
[x sin(2nx)]x=0 +
n
n
0
1
an = 2
x cos(2nx)dx
0
cos(2nx)dx =
0
1
1
n
sin(2nx)dx = 0
0
x=
1
1
sin(2nx) x [0, 1]
2 n=1 n
x,
(3.5)
21
n=0
n=1
n=2
n=4
n=8
n=32
0.5
0
1
0.5
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 dans
le cas prsent, ce qui est la moyenne des valeurs que prend la fonction originale
aux deux bords.
Le point (ii) est d la priodicit de nos fonctions
f (x) = x
0 en x = 0 et 1 en x = 1. La somme par contre, prend la valeur 1/2
sur les deux bords. Le point (iii) est plus troublant : la fonction originale
prend la valeur
sur les deux bords : la somme ne converge donc pas en tout point vers la fonction
originale (adieu la convergence uniforme ou point par point), mais seulement
pour la
majorit
des points sur l'intervalle. Ils se trouvent que cette majorit est
Tout ce que nous avons dit ci-dessus se gnralise immdiatement aux intervalles quelconques
[a, b].
22
L = ba
[1/2, 1/2].
f (x) = x,
x=
(1)n
1 1
sin(2nx) x [
, ]
n
2 2
n=1
(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
x = 1/4,
(1)n+1
1 1
= 1 + ... =
2n 1
3 5
4
n=1
Egalit de Parceval.
1
L
f (x)2 = a2 +
0
0
1
(a2 + b2 )
n
2 n=1 n
(3.7)
Exercices.
1. Dcomposez les fonction
f (x) = x2
et
f (x) = exp(x)
[0, 1].
cos(x) =
sur l'intervalle
sur
[0, 1]
tel que
23
et
0 si x < 1/2
et
f (x) = 1 si x 1/2.
f (x) =
f (x) = f (x),
coecients
bn
armation : si la fonction
f,
bn
[0, L],
f (L x) = C
f (x) ?
9. Quelle est la condition pour que la fonction
D = d/dx
dans la
D2 = d2 /dx2 ?
24
bn
0
-0.1
-0.2
-0.3
-0.4
10
n
20
15
partout !
Comme nous le savons, si ces fonctions sont de carr sommable sur une priode,
Fourier
de
de Fourier les
harmoniques.
f (x) = x
sur
[1/2, 1/2].
En ralit, pour
des raisons que nous verrons plus tard, on n'est mme intress qu'aux coecients
sn =
a2 + b2
n
n
distingue le Do 240 Hz du piano de la mme note d'une te n'est pas leurs frquence de base, mais l'amplitude de leurs harmoniques (la forme de leur spectre).
On appelle cela le timbre d'un instrument. L'oreille une capacit fantastique
distinguer les timbres, et les meilleurs synthtiseur doivent sommer plus d'une
vingtaine d'harmonique pour pouvoir imiter une note d'un vrai instrument.
L'oreille humain d'ailleurs ne fait que dcomposer les sons en leurs harmoniques : la forme intrieure de l'oreille fait qu'une vibration pure (sinusodale)
de frquence donne met une rgion particulire de l'oreille en oscillation, ce qui
stimule les neurones cet endroit. Chaque harmonique d'un son excite donc une
rgion dirente de l'oreille, et la carte de ces rgions permet au cerveau de dterminer trs prcisment la nature du son et distinguer ainsi le piano du violon.
La compression JPEG des photos numriques utilise le principe des transformes de Fourier : un image est divis en plusieurs rgions et les composantes
de Fourier de chaque sous rgions sont calcules, mais seulement l'amplitude des
premires harmoniques sont conserves, puisque l'oeil humain n'est pas sensible
aux petits dtails.
25
exp(2inx/L).
Cela en plus nous largit un peu les horizons, puisqu'on peut alors tudier les
fonctions
f :RC
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,
f (x) =
cn exp(2inx/L)
n=
Exercices.
1. En vous inspirant du clacul des coecient
calcule les coecients
2. Dmontrer que si
an
et
bn ,
expliquer comment on
cn .
f (x) R,
cn = c .
n
alors
an , bn
et
cn .
cn .
N)
complte.
Cette
dernire assertion 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]
seulement compo-
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.
26
intervalle de longueur
2L
f (x)
dnit sur
[L, L]
(un
f (x) = a0 +
an cos
n=1
nx
nx
+ bn sin
L
L
+L
an
(1/L)
f (x) cos(nx/L)dx
L
+L
bn
(1/L)
f (x) sin(nx/L)dx
L
f (x) = f (x).
L
bn
L)
an
bn = (2/L)
f (x) sin(nx/L)dx
(3.8)
de sinus seulement
bn sin
f (x) =
n=1
o les coecients
bn
nx
L
Exercice.
1. Dvelopper de faon analogue le dveloppement en srie de cosinus pur
d'une fonction sur l'intervalle
l'intervalle
cos(kx)
[0, L]
paires
sur
[L, L].
[0, L],
sin(nx/L)
27
(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.
s'crit
2y
2y
= v2 2
2
t
x
(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,
a = f /m
a les dimensions
v2
T /.
corde est maintenue dans une certaine forme (pince par exemple)
le relache l'instant
y0 (x) et qu'on
t = 0.
y(x; t)
l'aide de sa
srie de Fourier ou de sinus. Pour la reprsenter tous les instants, il sut donc
28
coecients
bn (t) sin
y(x; t) =
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
terme (puisque les fonctions sont orthogonales), nous trouvons une quation
direntielle pour l'amlitude de chaque mode :
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)
o les coecient
Bn
y0 (x).
Bn
dirents.
f (x)
dont la dcomposition
de Fourier est
f (x) = a0 +
an cos(2nx/L) + bn sin(2nx/L)
n=1
29
f (x)
en srie de Fourier :
f (x) = 0 +
n cos(2nx/L) + n sin(2nx/L)
n=1
0 =
1
L
f (x)dx =
0
1
(f (L) f (0))
L
=
=
=
2
L
f (x) cos(2nx/L)dx
0
2
(f (L) f (0)) +
L
2
(f (L) f (0)) +
L
2n 2
L L
2n
bn
L
f (x) sin(2nx/L)dx
0
(3.11)
n =
Nous voyons donc que si
f (L) = f (0),
2n
an
L
terme 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)
f (x)
f (L) = f (0) = 0 !
u(0, t) =
u(L, t) = 0, nous pouvions driver la srie de sinus pour obtenir une srie de cositerme la serie de la corde vibrante. Comme nous avions la condition
nus. 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
terme qui ne dpend pas de
30
0.
comporte un
/n
bn , qui doit
u(0, t) = a, u(L, t) = b.
Il est alors
w(x, t) = u(x, t)
ba
xa
L
(3.12)
w(x, t)
w(0, t)= w(L, t) = 0. Nous pouvons donc d'abord rechercher w(x, t) et ensuite
u l'aide de la relation (3.12). Nous verrons un exemple plus bas.
recouvrir
bn (t) sin(nx/L)
u(x, t) =
n=1
nous avons concentr toute la dpendance temporelle dans l'amplitude des harmoniques
bn (t).
sous la somme,
t
L'change de l'intgrale (sur
permis si
u/t
u(x, t)dx =
0
x)
u
dx
t
[0, L],
est continue
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.
31
u
2u
=D 2
t
x
o
(3.13)
dsigne l'espace et
[L2 /T ].
direntes
, disons
et
T.
limites
u(0, t)
(3.14)
u(L, 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.
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
(1)n+1
n
sin( x)
n
L
n=1
u(x, t) =
bn (t) sin(nx/L)
x.
(3.17)
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
2. Voir le chapitre correspondent pour la signication de cette quation.
32
x u(x, t) =
T
+
L
bn (t)(
n
2T
)+
(1)n cos(nx/L)
L
L
Nous sommes maintenant en prsence d'une srie de cosinus, que nous redrivons
encore une fois par rapport
2
x u(x, t) =
x
bn (t)(
n
2T
n
)+
(1)n ( ) sin(nx/L)
L
L
L
La drivation par rapport au temps nous donne une srie de sinus dont les coecients sont
bn (t).
bn (t) = D
n
L
bn (t) D
2T n
(1)n
L L
t +,
2T (1)n+1
les coecients
bn
(3.18)
exp(n2 t/ ),
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)
cherchions la fonction
(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 ?
33
t=0.1
t=0
0.5
t=0.25
t=1
0
0
0.2
0.4
0.8
0.6
L = 1, u(0, t) = 0 ; u(1, t) = 1,
simplement
Cette fonction obit bien sr l'quation (3.13). Ces conditions aux limites sont
(0, t)
u(0, t) us (0) = 0
(3.20)
(L, t)
u(L, t) us (L) = T T = 0
(3.21)
obit donc (contrairerement u) des conditions aux limites continues, et ne pose donc aucun problme lors de ses drivations par rapport x. Sa
La fonction
gure (3.5) montre l'avantage (entre autre numrique) de cette dernire mthode.
34
0.5
0
0
0.2
0.4
0.8
0.6
35
y/t
de l'quation (3.9). Si la corde est en plus soumis une force par unit de longueur
f = g
f = ky .
Les
conditions aux bords sont toujours les mmes : corde xe ses deux extrmits
et avec une dformation initiale
y0 (x).
2y
4y
= 4
2
t
x
Discuter les solutions de cette quation. Que pensez vous des conditions initiales ?
i
avec les condition aux limites
2
=
t
2m x2
(L, t) = (L, t) = 0
et
(x, 0) = f (x).
Discuter
4. Equation de la Chaleur I.
Soit une barre thermiquement isol, c'est dire
x u(0, t) = x u(L, 0) = 0.
En
en cet endroit, et que isol (pas de ux de chaleur de/vers l'extrieur), impose
les conditions ci-dessus. En partant d'une distribution de temprature initiale
parabolique
36
u
2u
= D 2 + Q(x)
t
x
Q est la quantit de chaleur produit en x. Prenez une source constante localis
L/2, et resolvez alors l'quation de la chaleur.
autour de
u
2u
=D 2
t
x
avec les conditions aux limites u(0, t) = 0 ; u(L, t) = g(t). Nous supposons une
condition initiale homogne u(x, 0) = 0 et bien sr g(0)=0. Notez que vous avez
intert chercher plutt la fonction (x, t) = u(x, t) g(t)x/L pour rgulariser les conditions aux limites. Si vous n'aimez pas cette faon de faire, il faut
faire attention aux drivations terme terme (qui donneront, bien sr, la mme
reponse).
? Ce problme a
me
sicle
E(x) = (k/2)x2 .
x(t).
Z = eF/T =
eE(x)/T
(3.22)
{x}
T = KB ,
37
est la temprature
ekx
Z=
/2T
dx = C. T /k
E(x)eE(x)/T /Z = T /2
E =
{x}
x1
et
x2
de raideur
k1
k2 ,
et
l'nergie serait
E = (1/2)(k1 x2 + k2 x2 )
1
2
(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
E = E1 + E2 = T
Pour
E = N T /2,
statistique, l'quipartition.
Voil pour des rappels rapides. Revenons notre corde vibrante, dont la hauteur l'abscisse
u(x). L'nergie
u(x) vaut 6
E[u(x)] =
u
x
k
0
dx
(3.24)
u(x) =
cn exp[(2in/L)x]
n=
E=
k
0
u
x
dx =
k
n=
2n
L
2
2
|cn |
xx
T /k ;
la
6. Pour la signication de cette expression, voir les deux chapitres sur le calcul variationnel
et le sens des quations de la physique.
38
n,
N (N ) oscillateurs
cn ayant une constante
d'amplitude
k(2n/L)2 .
L'nergie
E =
T /2
n=
Ae .. Une simple corde temprature non nulle emmagasine une nergie innie.
La raison principale pour cette divergence est la forme (3.24) de l'nergie de la
corde : elle n'est valable pour des petites dformations de la corde. Les modes
cut-o.
E=
u)
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
ne pouvait pas prendre des valeurs continues mais varie par palier discret.
8. Le mouvement Brownien.
Considrons une particule sur un rseau discret unidimensionnel de pas
dire une particule qui peut sauter de site en site. Appelons
a, c'est
la probabilit
de saut par unit de temps autant vers la gauche que vers la droite. Cela veut
dire que la probabilit pour que la particule saute gauche ou droite pendant
un temps innitsimal
1 2dt
dt
est
dt
t,
t = 0, la particule se trouvait
7
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
). On cherche dterminer
n,
P (n, t),
sachant qu'
39
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 = 0, t = 0) = 0.
P (n)
(s, t)
(s, t) =
P (n, t) exp(ins)
(3.26)
n=
et essayons de voir qu'elle quation doit obir
est 2 -priodique
en
s.
La fonction
n =
nP (n) = i
s=0
= 2(1 cos s)
t
(s, t = 0) = 1
A(s) = 1. On
2t, qui est un
lors de ce cours. Ces fonctions (voir Fig.3.6) sont dnies par des intgrales
In (z) =
Cel nous donne directement les
ez cos cos(n)d
0
P (n, t)
40
n=0
0.4
n=1
0.2
n=2
n=3
fonctions
z n /n!,
et pour
10
Pour
1, In (2z)
n1
l'instant
n (notez
P (n, t) pour
soit proportionnelle
(3.27)
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)
41
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
n
C
les cristaux ioniques ou covalents plus petit pour les cristaux molculaires). Soit
= F/m)
s'crit, en
Dornavant, nous
Rsolution.
d2 un
= (C/m) (2un + un+1 + un1 )
dt2
2
poserons 0 = C/m.
[/a, /a]
(q, t)
un (t)
o la variable
(3.28)
s'crit donc
(q, t) =
(3.29)
n=
1.
2
2
+ 20 (1 cos(aq)) = 0
t2
42
(3.30)
+
n=
un1 exp(iaqn) =
+
n=
un exp (iaq(n
1))
].
2.
seconde ordre en
un
exp [i(q t qna)].
(ii) La vitesse du propagation d'onde est dnie par vq = dq /dq. Donnez l'expression de vq et tracez la en fonction de q . Que vaut cette vitesse pour q 0
(grande longueur d'onde) et q /a ?
3.
un (t).
4. Gnralisation.
d2 un
dt2
2
0 (2un + un+1 + un1 )
2
0 (2un + un+2 + un2 )
43
ni
de taille
L,
q = 2n/L
exp(2inx/L).
f (x) =
fq exp(iqx)
(4.1)
q
o
fq = (1/L)
f (x) exp(iqx)dx
(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
deviendrait alors
f (x) =
1
2
f (q) exp(iqx)dq
(4.3)
f (q) =
f (x) exp(iqx)dx
(4.4)
x.
Pourquoi ce facteur
exp(2iqx)
44
f (q).
Cette signication, comme nous l'avons dit, est juste une gnralisa-
tion 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)
+ g(x)]
1.
f (x) = ek|x| .
f (q) = 2k/(k 2 + q 2 ).
La formule
2.
si
La fonction
x 1.
(x), appel porte, est dnie par (x) = 0 si |x| > 1 et (x) = 1
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
transforme si
k + ?
2. Calculer la TF de la fonction
est appel la
t<0
et vaut
pour
t 0.
a1 (x/a).
Que devient
a 0?
+
Sachant que
exp(x2 )dx = , calculez la TF de exp(x2 /2).
2
2
2
cela, notez que x + 2iqx = (x + iq) + q . Le rsultat d'intgration
cette transforme quand
4.
Pour
reste
a1 exp[x2 /2a2 ].
a 0?
6. Calculer la TF d'un train d'onde,
priode de l'onde et
1
f (x) = (x/a) exp(ik0 x). k0 est
45
la
log
additionne
algbrique
correspondant,
log(b)
log(ab) = log(a) +
Translation.
Si TF[f (x)]
= f (q)
alors TF[f (x
par
x+a
f (x a)eiqx dx = eiqa
Inversion.
x x+a
(si on remplace
Si TF[f (x)]
= f (q),
Changement d'chelle.
f (x)eiqx dx
Si TF[f (x)]
= f (q),
= 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|f (qa).
a > 0.
= iq f (q).
Driver dans l'espace direct revient multiplier par iq dans l'espace rciproque.
Drivation.
Si TF[f (x)]
= f (q),
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
x .
46
est sommable,
f (x) 0 quand
t.
Le son sur un CD est par exemple chantillone 48 KHz, c'est dire 48000
enregistrement de l'amplitude par seconde. Nous sommes alors en possession de
transforms de Fourier Rapide (ou FFT, pour fast fourier transform en anglais)
n'eectuent pour ce calcul que
N log N
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.
x(t)
en entre et un signal
y(t)
d2 y
dy
2
+
+ 0 y = x(t)
2
dt
dt
Une habitude veut que la variable rciproque est note
directe est
x,
et
(ou
y () =
Le signal en entre
x(t)
x()
2
( 2 + i + 0 )
(4.5)
exp(it),
x(). L'quation (4.5) montre comment le poids
2
[( 2 0 )2 + 2 2 ]1/2 . Chaque
2
2
dphasage = arctan[(0 )/].
47
H(q0 q)
q0
est la frquence
-1
In (x) =
[H(q0 q)TF[I(x)] ].
TF de
t +. Calculons plutt
f (t) = H(t) exp(t) cos(0 t). Pour > 0, cette fonction
ne tendant pas vers zero pour
H(t) est
cos(0 t)
la TF de la fonction
converge rapidement
f ()
=
=
1
2
+ i
2
( + i)2 + 0
0,
f (t) f (t)
(pas
f () = i
2
0 2
valeur principale
= 0 .
tion dans le plan complexe 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)]
2
0
0
2
A un point B . Si
exp(i0 t + ) au point
est
exp(i0 t),
48
elle est de
est (
lumire visible) et
de
pour la
(distant de l) :
= 0 t = 2f
o
1014 s-1
AB
l
= 2
c
0.3
et
0.8
mire 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
P.
T = r exp(i)
f (x)
x.
Considrons maintenant une onde plane arrivant sur un objet (qui pour plus
de simplicit, nous considrons unidimensionnel) et un point
direction
l'inni dans la
OP que
AP aura un dphasage de = 2AA / =
(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
secondairse mis par les divers points de l'objet. Par rapport au rayon
f (x) exp(iqx)dx
qui n'est rien d'autre que la TF de la fonction
f.
de la lentille (distant de
F sin
du champ
g(x )
g(x ) =
f (x) exp i(
2
2 x )
)x .x dx = f (
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
49
F (t).
= (1/2)kx2
) soumis une
d2 x
2
+ 0 x = (1/m)F (t)
dt2
(4.6)
2
0 = k/m est la frquence propre d'oscillation de la particule. Nous supposons
qu'au temps T1 du dbut, l'osciallateur est au repos. L'nergie totale transfre
T2
par la suite).
i0 )(d/dt + i0 )x.
(d/dt
H , L'nergie
2
(dx/dt)2 + 0 x2
(2/m)H
(dx/dt i0 x)(dx/dt + i0 x)
50
H = H(t)
H.
se transforme en
(4.7)
T1 et T2
T2
T2
T1
F (t)ei0 t dt
T1
T1 pour
z(T2 ) exp(i0 T2 ). Comme en plus l'oscillateur est au
repos avant T1 , on peut tendre l'intgrale . Quand T2 +, le ct droit
devient gale la TF de F value pour la frquence 0 , et nous avons
de l'intgrale et d'utiliser le fait que l'oscillateur est au repos l'instant
trouver que ce ct vaut
E =
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
t0 .
Pour
rsoudre le cas 3 et 4, vous aurez besoin des rsultats sur les distributions disponible dans les prochains chapitres.
vers
51
f (x)
sur l'intervalle
[L/2, L/2].
cq =
1
L
L/2
f (x)eiqx dx
L/2
1/L
(1/L)I(q)eiqx
f (x) =
q,2/L
o dans la somme, l'indice
dq 0
dq = 2/L.
Quand
L ,
f (x) =
1
2
I(q)eiqx dq
L , I(q)
l'quation (4.4).
52
tend vers
f (q)
donne par
5 Les distributions.
5.1 Ce qu'il faut savoir.
Les transformes de Fourier nous posent quelques problmes quant la d-
] , +[, la
f (x) peut tre reprsente comme la superposition des fonctions exp(iqx)
avec le poids f (q). Pour en revenir notre image de base dans l'espace des fonciq(.)
Nous avions aux sections prcdentes bas nos dmonstrations sur le concept
d'orthogonalit. Mais peut on dire que
(5.1)
1
L L
+L/2
lim
(5.2)
Quand
q1 = q2 ,
le
delta
fonction
concept de charge ou de masse ponctuel. Supposez que vous avez des charges
petite autour de votre point. Il est vident qu'il y aura de moins en mois de
charge l'intrieur et que
C 0.
53
5 Les distributions.
ponctuelle au point considr. Pour une charge ponctuelle Q, quel que soit la taille
de la sphre autour, la quantit totale de la charge l'intrieur reste constante.
x0 ,
x0
nulle
nie
distributions.
suivante :
(x)dx = 1
(5.3)
I
Du moment que l'intervalle
contient
0,
vaut
zro.
(x)
0,
a 0,
elle
devient de plus en plus pique, avec une extension de moins en moins large, mais
ga (x) =
(1/2a)(x/a)
(x)
fonction.
La dnition (5.3) nous permet quelques gnralisations. Par exemple, on peut
dnir
0.
3(x),
vaut :
f (x)(x)
o on suppose
f (x)
continue en
0.
L'intgrale
f (x)(x)dx = lim
f (x)(x) = f (0)
f (0).
0,
le multiplier par
f (x)
(x)
est nulle
f (x)(x)dx = f (0)
(x)
(5.4)
(x) est une distribution centre sur 0. (x x0 ) est une distribution centre sur
x0 et (x x0 )f (x) = f (x0 ). Finalement, les rgles pour manipuler les ne sont
pas vraiment compliques.
54
5 Les distributions.
(x)
R =] , +[
(q) =
(x) exp(iqx)dx = 1
R
La TF de
(x)est
la fonction constante
1.
(x)
exp(iqx) !
(x)
est la superpo-
1
2
exp(iqx)dq = (x)
dnie
(x)f (x) = f (0).
R
La dimension de la distribution
(5.5)
de dirac,
tiellement 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
Si
2
d2 y/dt2 + 0 y = f0
[y],
alors
[0 ] = T 1
y = f0 sin(0 t).
[f0 ] = [y]T 2 .
et
Ceci est ncessaire si nous voulons que les deux cots de l'quation aient la mme
dimension. La dimension du ct gauche de la solution est
sin
Les deux cots de la solution n'ont pas la mme dimension et nous nous sommes
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
sin(x) et exp(x) n'ont pas de di(x) ? Pour cela, il faut d'abord rpondre
ydx.
Le signe
l'opration addition. La dimension d' une pomme + une pomme est toujours
une pomme. Le signe
d'une trs petite quantit de pomme est toujours une pomme. Nous en dduisons de tout cela que
[ ydx] = [y][x]
f (0).
[(x)] = [x]1 !
(x)f (x)dx =
55
(x) =
5 Les distributions.
(1/a) exp(x2 /a2 ) quand a 0. Voil, il faut avoir cela en tte chaque fois que
l'on veut vrier la cohrence des quations qui impliquent des .
un scalaire
une fonction
n'est pas
E ).
linaires
Un exemple de
exp(x2 )f (x)dx
Lexp(x2 ) [f ] =
R
Lg F
g E,
nous pouvons
tel que
Lg [f ] =
f (x)g(x)dx
R
Lg
x0
x0 [f ] = f (x0 )
Voil, le tour est jou. Cette fonctionnelle est bien le delta de Dirac
(x x0 )
dnie plus haut. Noter bien l'opration : on peut identier une partie de l'espace
avec l'espace
via ces
Lg
F.
Mais l'espace
est
plus vaste, et quelques uns de ces lments en plus constituent les distributions
inhabituelles. C'est un peu comme enrichir l'ensemble des nombres rationnels
pour arriver l'ensemble des nombres rel
R.
1. En ralit, l'espace des fonctions support borns et inniment drivable, mais nous ne
sommes pas notre premier dlit.
56
5 Les distributions.
On peut dnir des oprations sur les distributions. Il est toujours plus simple
de partir des distributions du genre
Lg
Lg
Lg [f ] =
g (x)f (x)dx =
R
x ).
g(x)f (x)dx = Lg [f ]
R
et
x0 [f ] = x0 [f ] = f (x0 )
o dans le langage moins lgants des physiciens,
(x x0 )f (x)dx = f (x0 )
De mme, nous pouvons dmontrer que
H (x) = (x).
peut
pas
l'interface liquide
solide, il existe une couche 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
le mirroir
+
en x0 . La fonction f par contre, saute de la valeur g(x0 ) x0 + g(x0 ) x0 .
Au sens des distributions, la driv de f est donne par f (x) = g (x) + (x x0 ).
Imaginez donc f comme une fonction normale, avec une che positionne en
x0 .
Exercices.
1. En utilisant la dnition (5.4), dmontrer que l'expression (5.1) gale
(q1
q2 ).
2. Que vallent
(x)
et
(x) ?
Lpriodique f .
tions) ?
57
5 Les distributions.
+
n= (x n). C'est comme
si nous avions pos un delta de Dirac sur chaque nombre entier. Quelle est
(x) =
(x/a) ?
5. Dmontrer que
un
6. Dmontrer que
(x) = (x)
g (x0 ) = 0.
et
(ax) = (1/|a|)(x).
g(x)
Prenons un intervale
peut supposer
I = [x0 a, x0 + a]
x0
g(x0 ) = 0,
x0 (on
autour de
autour de sa
(g(x))f (x)dx =
I
8. En supposant que la fonction
1
f (x0 )
|g (x0 )|
1
(x xi )
|g (xi )|
(g(x)) =
i
o les
xi
pression de
g(x).
(x2 a2 ).
A exp(i1 t).
x() =
comme
Il obit l'quation
2A( 1 )
2
0 2
x(t) =
nous trouvons
A exp(i1 t)
2
2
0 1
58
2
d2 x/dt2 +0 x =
5 Les distributions.
1
1
F(t)
y(t)
0.5
0.5
-2
-1
1
t
-2
-1
distribution
F (t)
Un oscillateur amorti
obit l'quation
d2 y
dy
+
+ ky = F (t)
dt2
dt
F (t) = F0 (t).
Ceci est l'idealisation d'un coup de marteau trs bref et trs puis-
sant sur l'oscillateur. 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
(5.7)
Ce rsultat est reprsent sur la gure (5.1). Nous suggrons au lecteur de discuter
les limites
et
59
5 Les distributions.
les phnomnes de diusion sont gouverns par l'quation de la chaleur :
u
2u
= D 2 + Q(x, t)
t
x
o
x,
nous avons :
(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
temps, et
ordinaire
q peut tre considerer comme une constante : Pour chaque mode q , nous
avons une EDO indpendante. La solution est donc analogue (5.7), et s'crit :
1
2
u(x, t)
Q0 1
x2
exp
4Dt
2 Dt
u(q, t).eiqx dq
La dernire integrale s'obtient facilement par les techniques que nous avons dj
utilis. L'volution de
u(x)
gure (5.2).
Extension (dicile) : si la source n'est pas ponctuelle dans le temps, mais
seulement dans l'espace,
t u(x, t).
-1
u(x, ) =
t u(x, t)dt
0
pour
t .
Equation d'onde avec source ponctuelle.
et au repos l'instant initial. A l'instant
60
5 Les distributions.
0.8
0.6
0.4
0.2
0
-4
-2
0
x
de concentration en fonction de
Ici,
D = 1/4.
x,
dirent temps
La distribution originale, en
t =
(x),
dans 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)
x2
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
u=0
croit la vitess
v.
u(x, t)
qui se
ceci n'est pas 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 :
x(t) =
Par la suite, sans perte de gnralit, nous supposons notre signal norme :
u2 (x, t)dx = 1. Supposons par exemple que notre signal se propage sans se
I
dformer u(x, t) = u0 (x ct) et nous avons alors
x(t)
xu2 (x) + ct
0
=
I
u2 (x)
0
I
x0 + ct
61
5 Les distributions.
Figure 5.3 un
u(x, t)
signal
en fonction de
trois temps
dirents, se
(x),
il est facile de
x(t) = i
I
o
u(q, t)
est la TF de
u(x, t)
u(q, t)
u (q, t)dq
(5.9)
par rapport
des TF, nous savons qu'une translation dans l'espace direct revient multiplier
par une exponentielle complexe dans l'espace rciproque :
u(q, t) = u0 (q).eiqct
En rempalant dans l'expression (5.9), nous voyons que cela nous donne
x(t)
u0 (q) (q)dq
u0
x0 + ct
x0 + ct
u0
0
I 0
En gnral le facteur qui multiplie le temps dans l'expoentiel complexe est
= cq
et nous voyons que nous pouvons dnir la vitesse comme
c=
d
dq
62
5 Les distributions.
prend une forme simple
u(q, t) = u0 (q)ei(q)t
t,
(q)
au mode
q.
(q)t
au temps
(q) = A sin(q).
d
dq
x(t) = x0 + t
I
Si
(q)
un pic troit en
q0 ,
u0 (q) (q)dq
u0
u0 (q) (q),
u0
serait
c=
d
dq
q=q0
/q ,
ayant un sens
<>).
alatoire
d2 x
dx
+
= (t)
dt2
dt
est la viscosit et
5.4 Exercices.
1. Que valent les distributions
et
(x) sin(qx) ?
tH(t)
H(t).
tH(t).
est la primitive de
63
5 Les distributions.
y
a
x
(a)
(b)
Figure 5.4 la che d'un pont sous l'eet d'une force ponctuelle.
4. Une particule initialement au repos de masse
pulsionnelle obit l'quation
m = f0 (t).
y
En intgrant directement et
zro.
5. Intgrer directement l'quation
point
che
L sous
u (q) (q)dq
xu2 (x)dx =
I
o
u(q)
est la TF de
u(x).
I
Help : crire
64
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
h(x) = (f g)(x) =
f (s)g(x s)ds
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).
un point
x,
[x , x + ]
x,
toute
tateur mesure donc en faite la moyenne de l'intensit sur une intervalle autour
du point
x,
est petit, meilleure est la prcision de l'appareil. En terme mathmatique, l'exprimentateur enregistre le signal
h(x)
x+
h(x)
f (s)ds
x
+
f (s)(
xs
)ds
=
Ici,
(f )(x)
avoir des formes plus compliques, comme par exemple une gaussienne. Le facteur
limitant la prcision du signal est le pouvoir de rsolution
de l'appareil qui
lisse et rend ou le signal original. Par exemple, un objectif de microscope est
65
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
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,
x0
x0 .
l ;
(ii)
et
de
piques spares ?
Les transformes de Fourier nous permettent de calculer facilement les produits
de convolution :
TF[f
g] = TF[f ].TF[g]
h(q)
dx eiqx
ds f (s)g(x s)
dx eiqx g(x s)
ds f (s)
ds f (s)eiqs
h(x) = (f g)(x),
dx eiqx g(x)
g
= f (q)(q)
66
alors
6 Convolution et corrlation.
Calculer numriquement le produit de convolution dans l'espace direct est de
l'ordre de
N 2,
contre, prendre 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
X1
X2
indpendantes
et
de densit
h(z)dz
Pr(z
x1 =+
Pr(z
x1 =
+
dz
h(z) = (f g)(z).
moyenne
de deux
et
1
l 2 + p2
exp
x2
+ p2 )
2(l2
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
alatoires gaussienne de largeur l. Leur moyenne est alors galement une variable
N variables alatoires est galement une variable alatoire, mais qui uctue N
fois
moins
que les variables 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).
67
6 Convolution et corrlation.
Exercices :
1. Calculer
(x) = ( )(x),
et reprsenter le graphiquement.
f =f
Ta [f (x)] = f (x a)
(x a)
avec la fonction
est la convolution de
f.
A(t),
dterminer
En pratique, ceci n'est pas une bonne solution, puisqu'on ne peut jamais
H(t) le signal
H(t) = h(t).(t/T ).
+T .
Mathmatiquement parlant,
+1/T
H() = 2T
f ()A()d
1/T
On voit donc que l'intervalle de temps ni
trouve t'on 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
1
T T
t+T
lim
x(t)dt = 0
t
x(t + )
si
nous connaissons le signal en t. Cette quantit est contenu dans la fonction d'autocorrlation
x (t)x(t + )dt
G( ) =
= 0 G( )
soit relle.
Dans 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
68
6 Convolution et corrlation.
t,
t + ,
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 )
dt x (t)
dt x (t) exp(+it)
(6.1)
d x(t + ) exp(i )
(6.2)
d x( ) exp(i )
= x ()() = |()|2
x
x
(6.3)
(6.4)
carr.
passer de (6.1) (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
alatoire au temps t, et
X2
X1
t + . En suivant
G( )
X2 X1 .
En matire condens, on a coutume d'imager autrement la fonction d'autocorrelation. Supposez que vous avez des particules distribues dans l'espace.
Quelle est la distribution des distances entre les particules ? Prenez n'importe
quelles deux particules
i, j
rij
E(q)
est la TF de la
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)]. Or, les plaques photographiques ou les senseurs de nos camras
I(q) = E(q)E (q). Les
clichs de diusion des Rayons sont donc une mesure directe de la fonction
Exercice : le dmontrer.
69
6 Convolution et corrlation.
Problmes avancs.
c
2c
=D 2
t
x
Et soit la fonction d'auto-correlation spatiale
G(y; t) =
Dmontrer que
coecient de diusion de
2D.
m
m
d2 x
dx
+
+ kx = f (t)
dt2
dt
(6.5)
la constante du
c'est dire qu'on ne connat pas vraiment la valeur qu'elle peut prendre, mais
seulement la
probabilit
f est l'amplitude
KB T /a, o a est la taille de la particule.
On suppose que la fonction est de moyenne nulle, c'est dire qu'il y a autant
en moyenne, que les chocs mnent vers la gauche que vers la droite. De
(t + ),
quelque soit
G( ) =
(t)
(t)(t + ) = ( )
70
(6.6)
6 Convolution et corrlation.
10
8
6
4
2
0
0
o bien sr,
comme
qu'il soit de signe contraire que de mme signe. A la longue, l'intgral doit tendre
vers
0.
Par contre,
2 (t) > 0,
G() = () () = 1
En notant
2
0 = k/m
(0 2 + i)() = (f /m)()
x
ce qui nous donne, grce la relation (6.6),
|x()|2 =
2
(0
(f /m)
2 )2 + 2 2
0 ,
(6.7)
gure 6.2.
On peut faire beaucoup de chose partir de l. En physique, on ralise souvent
des ressorts de taille micromtrique pour exercer des forces sur des bactries o
des molcules biologiques. Un problme majeur est celui de calibrer le ressort,
c'est dire trouver sa constante
k.
x(t)
x(t) ;
(iv) trouver pour quelle frquence, cette dernire prsente un maximum : nous
avons la frquence propre de l'oscillateur.
71
6 Convolution et corrlation.
3. Somme de deux variables alatoires et thorme limite centrale.
Une variable alatoire
chaque 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 probabilit
est gale
ralisations (mesurons l'arriv d'un million de particule sur notre senseur), une
proportion
f (x)dx
f (x) 0
[x, x + dx[.
D'aprs
et
f (x)dx = 1
indpendantes 2 X
et
de densit
dz[.
h(z)dz
la probabilit d'observer
dans l'intervalle
[z, z +
X
dans
[x, x + dx[
et
dans
[z x, z (x + dx) + dz[
pour un
quelconque. Cet
vnement a la probabilit
pour obtenir
h(z)dz ,
ce qui nous
h(z) =
f (x)g(z x)dx
est note
X =
xf (x)dx
72
6 Convolution et corrlation.
De faon gnrale, pour une fonction quelconque
V,
on dnit
V (X) =
V (x)f (x)dx
Exercices.
babilits. Si 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
probabilit de la moyenne de
/ N ,
est la variance de
X.
cours de probabilit.
1. Dmontrer que
aX = a X
Z = aX ?
X +Y = X + Y
Z = (X + Y )/2 ? Soit ZN = (1/N )
sont identique. Que Vaut Zn ?
2. Dmontrer que
N
i=1
V ar(X + Y ) ?
Et
Xi
V ar(X) = X 2 X
Xi
. Que vaut
V ar(ZN ) ?
4. La fonction caractristique
de densit
f (x)
X (t) = exp(itX)
Quelle est la relation entre la densit de
5. Dmontrer que
X (0) = 1 ; X (0) = i X
et la fonction
;
X (t) ?
X (0) = X 2
; gnraliser
aX (t)
et
X+Y (t) ?
Que vaut
X (t)
Zn (t) ?
a un maximum absolue
t = 0.
8. On suppose que
y(x) ou par ses coordonnes parax(t), y(t). Si nous appelons l'extrmit de la courbe A, la longueur d'arc
73
6 Convolution et corrlation.
partir de
jusqu' un point
x2 (t) + y 2 (t)dt
s=
0
Appelons l'angle
l'axe
y.
(s)
avec
de la fonction
un cercle de rayon
= s/R
dcrit
= (d)/ds)2 . Nous
la donne de (s) de
L (L
l'chelle molculaire, comme l'ADN par exemple) baigant dans un bain temprature
T.
B2 (s)ds
E=
0
o
u(s).u(s + ) = 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.
74
x(t).
exp(st)
et on intgre
f (t) exp(st)dt
0
et
f (t)
s'appelle
Dans la plupart des livres que vous consulterez, l'image est not
maintenons ici la convention
f (s)
pour les TF
ou
f (s).
F (s),
image.
mais nous
dsavantages utiliser les TL la 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 ver-
rons des exemples plus bas. Prenons le cas d'un signal temporel
transformes de Fourier, ce signal a toujours exist (depuis
= 0).
Un autre (grand) avantage des TL est que nos exigences sur le comportement
de
f (t)
quand
Re(s) > 0
1. TL[1]
= 1/s
2. TL[exp(at)]
= 1/(s + a)
75
exp(st)
), la transforme de Laplace de
tet
dt =
0+
=
= k!/sk+1
est dt
1
s2
4. TL[tk ]
1
s
ne sont pas
sur 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)
1/(s + a).
tf (t) exp(st)dt. Donc, TL[tf (t)] = df (s)/ds 1 . Par exemple, comme TL[1] =
1/s, alors TL[t] = 1/s2
Drivation.
t=
f (t) exp(st)dt
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).
76
de suite.
Intgration.
dmontrer que
t
TL[
f ( )d ] = (1/s)f (s)
Exemple 1.
x (t) + x(t) = t
avec la condition initiale
x(t = 0) = x0 .
C = C(t),
(7.1)
x = C exp(t),
C,
la
x0 + (s + )(s) =
x
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
1
11 1 1
= 2
+
s2 (s + )
s
s s+
x(s) =
1
11 1 1
x0
+
+
2
s
s s+
s+
(7.2)
x(t). Or, nous savons que l'originale de 1/s2 est t, l'originale de 1/s est 1
l'originale de 1/(s + ) est exp(t) (souvenez vous de la rgle de translation).
calculer
,
x(t) =
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.
77
f (s)
af (as)
f (s + a)
d
ds f (s)
(s) f (0)
sf
f (t)
f (t/a)
exp(at)f (t)
tf (t)
f (t)
f (t)
f (n) (t)
t
f ( )d
0
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)
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)
2
En se reportant la table (7.1), on trouve immediatement x(t) = 1 (t /2 + t +
1) exp(t).
Exemple 2.
Rsoudre
a2 )...(s an ).
q(s)
Soit
f (s) = p(s)/q(s),
p(s)
f (s) =
f (s)
comme
A1
A2
An
+
+ ... +
s a1
s a2
s an
78
et
q(s)
Soit
p(s)
1
p(a)
1
f (s) =
.
=
.
+ O(1)
qi (s) s ai
qi (a) s ai
d'o on dduit que
sai
quand
s ai .
En plus, comme
sai
q(s) q(ai )
= q (ai )
s ai
f (t) =
n
o la sommation est sur les zeros de
q(ai ) = 0,
f (s)directement
comme
p(an )
exp(an t)
q (an )
q(s).
f (s) = (3s2 3s+1)/(2s3 +3s2 3s2). Nous avons p(s) = 3s2 3s+1
2
2
, q(s) = 2s + 3s 3s 2 et q (s) = 6s + 6s 3. Les zro du dnominateur
sont aux s = 1, 2, 1/2. Comme p(1)/q (1) = 1/9, p(2)/q (2) = 19/9 et que
p(1/2)/q (1/2) = 13/18, nous avons
Exemple :
19 1
1
1
1 1
f (s) =
+
9s1
9 s + 2 6 s + 1/2
Cas des racines multiples.
f (s) =
o
T (s)
A0
A1
An1
+ T (s)
+
+ ... +
(s a)n
(s a)n1
(s a)
a,
Soit maintenant
f (s)
pour
s a.
Ai
Comme
R(s)
A0
R(a)
A1
R (a)
...
79
f (s) = 1/(s2 + a2 )2 .
Trouvons l'originale de
f (s) =
Nous avons
A0
A1
B1
B0
+
+
+
2
2
(s ia)
(s ia) (s + ia)
(s + ia)
Nous pouvons bien sr tout calculer, mais remarquons simplement que dans l'expression de
f (s),
le changement de
en
A0 =
1
(s + ia)2
A1 =
2
(s + ia)3
De mme,
Comme l'originale de
est
exp(t),
1/(s
ia)
est
s=ia
s=ia
t exp(iat)
1
4a2
1
4ia3
et que l'originale de
1/(s
ia)
f (t) =
1
1
t cos(at) + 3 sin(at).
2a2
2a
t +.
In (t) =
In (t)
1
et cos cos(n)d
0
2
t
1, la fonction de bessel par exp(t)/ 2t (gure 7.1). Voyons voir le comment
et il n'est pas dicile de dmontrer
du pourquoi.
Nous nous sommes peu intress jusque l au domaine d'existence de la Transforme de Laplace. Il est vident que pour que la TL ait un sens, il faut que
f (t) exp(st)dt existe. Pour certaines fonctions comme exp(t2 ), cette condi0
2
tion est toujours ralis. Pour d'autres, comme exp(t ), elle ne l'est jamais. Enn,
2. en changeant l'ordre d'intgration sur
et
80
t,
cf exercice 8.
0.4
0.3
0.2
0.1
2t
5
10
50
100
500
1000
s0
est logarithmique)
Re(s) > s0 ,
est un rl. Par exemple, pour toutes les fonctions polynomiales ou toute
pouissance positive de
t, s0 = 0.
Pour la fonction
cosh(t), s0 = 1.
f (t) pour t 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
de son ple le plus droite
s0
f (s)
autour
limt h(t)/g(t) = 0.
Les notations
81
et
0.
Autour de ce point,
( l'original de
s=
t
droite
quand
qui suivent, le
f (s) (1/a)(s a)2 (1/a2 )(s a)1 et donc f (t) (t/a 1/a2 ) exp(at).
Exemple 2.
Exemple 3.
relle
f (s) = 1/(s2 + a2 )2 .
s = ia,
t cos(at)/2a2 .
x+x =
( /2)s5/2 (s + 1)1 .
x(s) =
rections ce dveloppement ? ).
t 0.
t = 0+
f (t)
(7.4)
TL[f
(t)] =
0
Or, quand
s ,
f (t)
proche de
t = 0
s'crit
82
sf (s) pour s .
h(t) =
f ( )g(t )d
(7.5)
0
On note cela par
d'intgration, que
g
h(s) = f (s).(s)
avec
second membre
x(s) =
Comme l'originale de
1
x0
f (s) +
s+a
s+a
x(t) = eat x0 +
ea f ( )d
0
f (t) =
f ( )K(, t)d +
0
K(t ),
f (s) = f (s)K(s) +
s
83
= 1/KT
eF = Z() =
Ei ,
alors
eEi
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 :
eE n(E)
Z() =
E
E.
n(E) dsigne
est faible par rapport notre mesure, nous pouvons recrire la somme ci-dessus
sous forme d'une intgrale
eE f (E)dE
Z() =
0
84
(7.6)
f (E)dE
et
E + dE ; toutes les
E0 que nous
E0 = 0.
Ce que nous voyons l est trs simple : la fonction de partition est la transforme
de Laplace de la densit d'nergie.
1/2
Z() =
Problme : Transition de phases.
que la fonction
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)
telle que
f (t < 0) = 0.
ect f (t)
comme la TF inverse de sa TF :
ect f (t) =
1
2
s = c + i ;
t < 0.
ect ;
(ii) en posant
85
f (t) =
1
2i
c+i
f (s)est ds
ci
ple le plus droite de la fonction f (s0 ). Nous dfrons une discussion plus en
l'intervalle
7.10 Exercices.
sin(at) ; cos(at) ; sinh(at) ; cosh(at) ;
2
2
2 2
Trouver, par la mthode de votre choix, l'original de a /(s + a ) . Help :
2
2
2
Remarquez que vous pouvez crire cette fonction comme (s + a )/(s +
2 2
2
2
2 2
2
a ) s /(s +a ) , et que le dernier terme vaut (1/2)s(d/ds)(1/(s +a2 ).
] = k!/sk+1 .
n=0
H(t n)
est
1/s(1 es ).
6. La TL d'une fonction
as
na)
8. Les fonctions de Bessel jouent un rle trs important en physique mathmatique. Elles jouent un rle important pour l'quation de Laplace en coordonnes cylindriques, analogue celui des fonctions circulaires une dimension.
L'une d'elle est dnie par
ez cos d
I0 (z) = (1/2)
0
Dmontrer que sa T.L. est
I0 (s) =
21
s
Dmontrez que I0 (t) (1/ 2) t exp(t) quand t +. Help : Pour
Calculer des
R(cos , sin )d, on a intert eectuer le changement de
variable u = tan(/2)
86
0.8
5
4
0.6
3
0.4
2
0.2
In (t)
u(t)
obit l'quation
n = 1
u(s) = C0 + C1 /
s2 1
I1 (0) = 0, I (0) = 1/2 et en utilisant le comportement assymps(s), dmontrer que C1 = C0 = 1. Sachant que I0 (t) = I1 (t),
u
galement la TL de la fonction I0 (t). Enn, en utilisant la relation
Sachant que
totique de
dduire
de reccurence
I.
z u2
2
e
du (voir gure 7.2).
10. La fonction d'erreur est dnie par erf(z) =
0
Elle joue un rle fondamentale en probabilit. Dmontrer que la TL de
() = 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).
1
La fonction d'Euler incomplte est dnie par (, z) =
t
exp(t)dt
z
(voir gure 7.2). Son dveloppement assymptotique est donn (pour z )
1
par z
exp(z). Tout a pour vous demander de dmontrer que TL[1/(1+
t)] = exp(s)(0, s). Gnraliser se rsultat aux puissance ngative de (1+t).
87
2 2
a ) .
1/(s2 +
lement.
14. Rsoudre
v0 .
15. Rsoudre
x(3) + 3 + 3x + x = 1
x
16. Rsoudre
x(4) + 2 + x = sin t
x
17. Le mouvement d'une particule dans un champs magntique peut tre ramen la rsolution du systme suivant :
x = y ; y = x
x, y
t = 0
x = x0 ; y = y0 .
transformes de Laplace.
18. Resoudre
xx+y+z
x+yy+z
x+y+zz
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 + 2ay + b = f (t)
avec les conditions initiales
o
a2 b = 0
et
y(0) = y0 ; y (0) = v0 .
a2 b = 0.
88
2u
2u
c2 2 = 0
2
t
x
u(x, 0) = f (x)
t u(x, 0)
(7.7)
(7.8)
= g(x)
(7.9)
1
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 condi-
tions initiales. Le schma de la rsolution que nous allons mener est la suivante :
1
TL
TF
TL
TF
u(x, t).
Noter que
t [0, +[,
donc nous allons eectuer des TL par rapport cette variable. Par contre,
x ] , +[,
1.
t,
dmontrer
que
c2
2.
d2 u(x, s)
dx2
u(q, s) =
3.
f et g
s
1
f (q) + 2 2
g (q)
c2 q 2 + s2
c q + s2
et
sin(ctq)
g (q)
cq
4. Rsultat intermdiare.
Dmontrer que si la TF de
x+a
TF
g()d
xa
89
2 sin(aq)
g (q)
g(x)
(7.11)
et
g (q),
alors
pour les TF, prendre la TF inverse de (7.11) pour obtenir l'quation dans l'espace
direct.
Problme : le thorme H.
Introduction.
tion
x1 =0
x2 =0
c(x) = 0
(7.12)
thorme H 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
c(x)
x;
c(x) = 0
1.
si
x<0
(7.13)
Nous pouvons eectuer l'intgrale triple ci-dessus dans l'ordre que nous
(1/p)
p=0
(7.14)
x1 =0
x/p
(1/p)
p=0
L'intgrale sur
x1
2.
x1
x/p
I1 (x) =
90
I1 () = p(p)2
c
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() =
(7.15)
A
+A
est une constante est solution de l'quation (7.15) ci-dessus. [ Pour trouver
4.
Soit
T =
xc(x)dx ; T
T =
En dduire que
A = 1/T .
()
c
=0
c(x) =
1 x/T
e
T
91
1,
pointant vers le haut 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)
92
d2 x
dx
+ cx = f (t)
+b
dt2
dt
x(0) = x0
(8.1)
x (0) = x0
et
f (t). a
et
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)
f (t) ?
t.
temps. Il sut donc de superposer les rponses aux divers impulsions pour obtenir
la rponse la force
f (t).
f (t) =
f (t )(t t )dt
(8.2)
0
ce qui veut dire que la force
f (t)
temps
t , avec
Gt (t)
t.
est un peu lourd comme notation, nous noterons cette fonction plutt
par sa dnition, elle doit satisfaire
d2 G(t, t )
dG(t, t )
+b
+ cG(t, t ) = (t t )
dt2
dt
93
G(t, t ). De
f (t ).
Comme
f (t )
t.
d2 [f (t )G(t, t )]
d[f (t )G(t, t )]
+b
+ cf (t )G(t, t ) = (t t )f (t )
dt2
dt
t,
t.
d2
dt2
f (t )G(t, t )dt + b
0
d
dt
f (t )G(t, t )dt + c
f (t )G(t, t )dt
(t t )f (t )dt
(8.3)
0
Nous remarquons, d'aprs (8.2), que la droite de l'quation ci-dessus est juste
f (t).
Appelons
y(t) =
f (t )G(t, t )dt
(8.4)
0
et nous voyons donc, d'aprs (8.3), que
y(t)
Remarquez 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
dx/dt + x = f (t)
La fonction de green est la solution de
bien sr)
exp(it )
G(, t ) =
i +
H(t)tant
vous souvenez, la TF de
H(t) exp(t)
t<0
et
est justement
94
vous
t,
G(t, t ) = 0
si
t > t.
t.
Si
f (t) = H(t)t.
1.
est
G(t, t )
que t,
plus tard
f.
Alors,
y(t)
t exp((t t ))dt
0
=
f (t) = H(t) sin t.
2.
y(t)
1
et + 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
qui 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
et ce n'est pas un
hasard donc qu'il comporte une intgration. Si on s'est donn une base, on peut
reprsenter
dx
d2 x
+b
+ cx = f (t, x)
dt2
dt
95
t.x1/2
ce qui rend la rsolution de l'quation nettement plus ardue par les tech-
niques classique. Mais cela ne change rien pour les fonctions de green. La solution
s'crira toujours
f (t , x)G(t, t )dt
(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.
(r)
ponctuelle
unit en
G(r, r ) =
est
1
1
4 0 |r r |
(8.6)
(r )
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
= /
Nous oublierons dornavant le facteur
(8.8)
G(r, r )
est la fonction de
G(r, r ) = (r r )
(8.9)
96
f (q) =
f (r) exp(iq.r)dr
eiq.r
G(q, r ) =
q2
q 2
(8.10)
translat de
r,
et que la TF du
G(r, r ) =
eiq(rr )
dq
q2
1
(2)3
(8.11)
G(r, r ) =
1
(2)3
u = cos ,
u,
d
0
2 .
le reste s'crit
G(r, r ) =
et en intgrant sur
dq =
d
0
et
1
(2)2
+1
eiq|rr |u du
dq
1
nous trouvons
G(r, r ) =
2 2
sin q|r r |
dq
q|r r |
1
1
G(r, r ) =
2 2 |r r |
sin q
dq
q
1/|r r |.
L'intgrale
97
/2.
2 ,
rsolvez
TF de la fonction
puisque la fonction
f () =
0
2
2 + 0
d2 y
2
+ 0 y = f0 (t)
dt2
(8.12)
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
de la corde l'abscisse
et au temps
u(x, t) la hauteur
2u
2u
c2 2 = f0 (x)(t)
t2
x
En prenant la TF par rapport la variable
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)
98
sin(ct q)
cq
Figure 8.1 La solution u(x, t) en fonction de x pour les temps t0 , 2t0 ,...
Il nous reste maintenant inverser la TF, ce qui est facile si on se souvient de la
TF de la fonction Porte
(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
la force
fx
en
x=x,
s'crit
G(x, t; x , 0) =
xx
fx
H(t)(
)
c
ct
f (x)(x),
u(x, t)
= c1 H(t)
f (x )(
x+ct
= c1 H(t)
xx
)dx
ct
f (x )dx
xct
l'instant
( l'instant
t = 0
99
quations par
connu, et
s'crire
priori, la recherche des solutions est 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
B.
n quations et n inconnus 1
du genre
AX =
Le trs grand avantage est que pour faire de l'algbre, nous n'avons, en gros,
2
machine
f )
f (x) =
f (q) exp(iqx)dq
1.
100
par
f (x)
(la notation est un peu confuse). En ralit, cela revient reprsenter une
fonction
f (x)
f (x) =
f (y)(x y)dy
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 vecteurs gale la somme de leurs rotations :
Re2 .
est une opration linaire : elle transforme un vecteur (une fonction) dans une
x
f (y)dy .
0
De faon gnral, nous appelons, dans l'espace des fonctions, un oprateur linaire
autre, et cela de faon linaire. De mme, l'opration intgration
I[f ] =
comme une machine qui prend en entre une fonction et produit en sortie une
autre fonction, et fait cela de faon linaire :
et
Exercices.
Soit l'oprateur
f1 et f2
des fonctions.
f en entre et produit la
X[f (x)] = xf (x) [exemple : X[sin(x)] =
en sortie :
x sin(x)]. Dmontrer que c'est un oprateur linaire. Qu'en est il de l'opraX 2 : X 2 [f (x)] = x2 f (x) ? Soit V (X) un oprateur tel que V (X)[f (x)] =
V (x)f (x). Est ce que ce dernier est linaire ? Mme question pour l'oprateur
1 : 1[f (x)] = f (x). L'oprateur 0 est l'oprateur qui associe n'importe qu'elle
fonction la fonction 0. Est-il linaire ? De faon gnral, l'oprateur associe
une fonction f la fonction f ( il faut avouer que la notation est vraiment
confuse entre l'oprateur et le scalaire ; on s'y habitue vite cependant). Soit
l'oprateur de translation T [f (x)] = f (x + ) ; dmontrer qu'il est linaire.
teur
101
Xf (x)
f.
Pour
viter un peu ces confusions, la convention que nous suivrons dans ce cours et de
toujours noter les oprateurs par des lettres majuscules.
tions
a + b a.b
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
= ba).
O1 = O2
f, O1 f = O2 f .
f (x)
l'habitude 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
type
f nfois
n,
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 travaillons avec l'ensemble des fonctions
L2 [, +]
au moins deux fois continuement drivalble. Ceci surtout impose nos fonctions qu'elles et leurs
drive
102
L'opration
: L'oprateur
L2
drivable.
Toutes les notations que nous utilisons dans l'algbre classique peuvent tre
X2
pas dire que l'on ne peut pas trouver deux oprateurs qui commutent, l'exemple
prcdent de
et
Exemple 1.
Dmontrons que
Dnition.
O1 O2 O2 O1 .
O1
et
O2 ,
l'oprateur
[O1 , O2 ].
Fonctions d'oprateurs.
n
n x /n!. Puisque l'on dispose
d'une algbre pour les oprateurs linaires, nous pouvons faire de mme et dnir
exp(x) =
exp(O)
ou
exp( D) =
(1/n!) n Dn
n=0
5. De mme que dans l'espace des fonctions, l'opration + est hrite de l'addition entre les
nombres : la fonction
f +g
103
le nombre
f (x) + g(x).
On f
Of
On
converge vers
quelque soit
si la suite des
fonctions
dy/dt = ay
avec la condition initiale
y(t = 0) = y0
(9.1)
exp(ta)
la condition initiale.
t x = 0
(9.2)
tant
Nous
/t = D
o
D = /x
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)
tn an /n!
exp(ta) =
n=0
104
f (t)
tn an+1 /n!
=
n=0
tn an /n!
= a
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).
La
au temps la fonction
D exp(tD)0 (x),
c'est dire
D(x, t).
/t = H
o
x ) plus compliqu
D, mais la discussion ci-dessus reste
(x, t) = exp(tH)(x, t = 0)
L'oprateur
exp(tH)
exp(tH)
exp(tH)
exp(tH).
Nous verrons plus bas les outils que les mathmaticiens ont dvelopp
Exercices.
1. Identit de Jacobi.
A, B, C , nous avons
En dduire
D2 + X 2 = (D + X)(D X) + 1 = (D X)(D + X) 1.
[D X, D + X] et [D2 + X 2 , D X]. [indication : Utiliser la relation
[D, X] = 1
].
2.
Dmontrer que
105
g(B)
4.
commutent.
Dans l'espace des oprateurs linaires sur les fonctions trois variables, nous
2
2
L = L . Calculer [L2 , L ].
dnissons
5. Oprateur rotation.
que
= Lz
en coordonnes sphrique]
dmontrer que
d
exp(tA) = A exp(tA)
dt
o
A, P
8. Commutation et exponentiel.
exp(P 1 AP ) = P 1 exp(A)P
Soit la matrice
A=
Calculer
Dmontrer que
A2 .
0 x
x 0
An selon
que
est pair ou
exp(A) =
cos x sin x
sin x cos x
sin
et
C=
cos.
0
0
x
0
, D=
106
0
x
0
0
Dmontrer que
C+D
9. .
? Est ce
eA+B
et
eC eD
et
trer que
e(A+B)t = eAt +
eA(ts) Be(A+B)s ds
0
Cette relation, appel en mcanique quantique relation de Dyson, est trs utile
pour valuer l'exponentiel d'un oprateur, si
de l'oprateur
y ay = f (x) ?
exp(At)
exp(A + B)t].
exp(A + B).
2u
2u
c2 2 = 0
2
t
x
u(x, 0) = f (x) et t u(x, t)|t=0 = g(x) en l'crivant
2 u/t2 c2 D2 u = 0 et en vous inspirant de la solution
u a2 u = 0.
{e1 , ...en }.
v
dans un espace
v,
v=
aj ej
j
et comme
le rsultat de l'application de
dcomposer
Soit un vecteur
est linaire,
R.v =
aj (R.ej )
j
107
E.
Nous pouvons
connatre l'action qu'il eectue sur chaque lment de la base. Par ailleurs, chaque
R.ei
i = 1, ..., n
{e1 , ...en } :
( pour
la base
R.ej =
E,
rij ei
(9.3)
i
Donc, pour entirement connatre
R,
n n nombres rij .
R n'importe quel
vecteurs de l'espace.
R.v =
rij aj ei
(9.4)
i,j
Il est habituel de reprsenter la dcomposition de
lonne d'un tableau de
nlignes
R.ej
co-
(ex , ey ).
/2
jime
Caractrisons la rotation de
comme la
(0, 1).
De mme,
est donc
0
1
R=
La reprsentation
1
0
R et sa reprsentation
n'est pas
la personne.
Choisissons la base de
{eq = exp(iqx)}. La base est bien sr innie, (et mme trs innie !), mais
D.eq = iq eq
D dans la base de fourier ne comporte que des
dqq de la matrice de D sont donc donns par
= iq . Le faite que D soit diagonale dans la base de
La reprsentation matricielle de
dqq = 0
si
q=q
et par
dqq
Df (x) =
iq f (q) exp(iqx)dq
108
Base orthonormale.
(., .)
duit scalaire
{e1 , ...en }
v:v=
(v, ek )
ai ei .
(ei , ej ) = i,j
et soit la dcomposi-
Alors
ai ei , ek )
i
ai (ei , ek )
i
= ak
Le coecient
ak
ecient
rij
de la dcomposition du vecteur
et
Pour trouver
dernier avec
il sut d'applique
ej
Exercices.
1.
dnie sur
[0, L].
l'expression de l'oprateur
2.
et
D2
Cn
dn
exp(x2 )
dxn
(9.5)
que nous n'explicitons pas assurent que les fonctions sont normes.
109
hn
H = D2 + X 2
nous avons
la base des
3. Oprateur
par
In (x) =
In
dans
dnie
ex cos cos(n)d
0
Dmontrer que
de la matrice de l'oprateur
4.
alors
M = I .
e1
P1 ej = i,j e1 .
(e1 , ..., en )
et considerer
En utilisant la commutation de
matrice de
de permutation cyclique
ei = ei+1
: en
laguerre,...
que
Ovn = n vn
vn .
x, les deux vecteurs
ex et ey sont des vecteurs propres, avec les valeurs propres 1 et 0. En gomtrie
trois dimensions, les trois vecteurs ex et ey et ez sont des vecteurs propres de la
projection sur l'axe x, le premier associ = 1, les deux autres = 0. Dans le
plan, Pour l'opration de rotation de , tous les vecteurs du plan sont des vecteurs
110
/2
la rotation de
= 1
R = I ).
Enn,
Exemple.
D = x
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
x 2y
2
1
u = (x, y)T
est la matrice
3
2
et
linaire dans
Au = B
2x
3y
Au = B
o cette fois
2
0
dans la base
e1 , e2 ,
est la matrice
0
3
la matrice de l'oprateur
une
2 2 est facile
44 ou 10001000, le gain est dj plus apprciable.
inni
111
t (x, t) = H(x, t)
o l'on suppose que l'oprateur
(9.6)
(x , t)
(x, 0)
g(x)
{fn (x)}
f (x).
est diagonale
{fn }
(x, t) sur la
(x, t) =
an (t)fn (t)
i=0
Les
an (t)
an (t)fn (x) =
i=0
Comme les
fn
n an (t)fn (x)
i=0
unique et
an,0 ;
g(x) =
an,0 fn (x)
i=0
fn
fn (x ) = 0.
7. Nous supposons que l'on peut intervertir les opration de sommation et de drivation par
rapport au temps.
112
an (t)
n .
en ce temps l :
(x, t) =
(9.7)
i=0
Cette faon de calculer la fonction
prtation de Schroedinger .
=
t
2
+ x2
x2
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
an ei(2n+1)t hn (x)
(x, t) =
Comparaison Schrodinger-Heisenberg.
L'interprtation de Schrodinger et
Heisenberg sont bien sr quivalente. Reprenons l'quation (9.6) . Dans l'interprtation d'Heisenberg, la solution s'crit
exp(tH)
la fonction
ci-dessus), l'oprateur
au temps
(9.8)
s'obtient en appliquant
fn (x)
exp(tH) =
(1/n!)tn H n
n=0
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.
113
En
H=
et
tH
1
0
.
.
et1
0
.
.
0
2
0
.
.
.
.
.
0
.
.
.
t3
et2
0
.
(x, 0) =
.
0
3
.
.
(x, 0)
Fonctions d'oprateurs.
culer une fonction d'oprateur, mme quand nous ne connaissons pas la srie
faon que sa reprsentation dans la mme base soit diagonale, avec les lments
(f (1 ), f (2 ), ...).
l'oprateur
u, v
(u, Ov) = (O u, v)
114
(., .).On
(v, u).
(u, v) =
Si dans une base (que nous prenons orthonormale pour plus de simplicit,
mais sans ncessit aucune) l'oprateur O est reprsent par la matrice Oij =
(ei , Oej ), on peut dmontrer sans dicult que pour la matrice de l'adjoint,
Oij = Oji : on interverti les 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
Un oprateur est dit self-adjoint ou hermitien si
Oij = Oji .
O = O.
pour
Exercices.
1.
A = A ,
2.
alors
[indication :
teur
[indication : calculer
(x, Ax)
et
Ax = x,
(x, A x)]
Les vecteurs propres associs deux valeurs propres distinctes sont ortho-
gonales : Si
3.
R.
Ax1 = 1 x1 , Ax2 = 2 x2 , A = A , 1 = 2 ,
L2
alors
(x1 , x2 ) = 0.
x, (x, D2 x) 0,
ce qui peut s'obtenir en eectuant une intgration par partie. De tels oprateurs
sont appels dnie positif.].
4.
E . Dmontrer d'abord
V (x)f (x)] ; Dmontrer
que l'oprateur
H = D2 + V
115
(x, x) = 1
(x, Ax)
avec la contrainte
6.
L2
R3 ,
dmontrer
0,
x1 = 0
et
x2 = 0
problme. Or, ces 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.
H = D2 + V (X) joue un rle trs important en mcanique quanAppelant la fonction d'amplitude, l'quation de Schroedinger est de la
L'oprateur
tique.
forme
= H
t
Nous avons vu au 9.6 qu'il est hermitien est que toute ses valeurs propres sont
suprieures
E0 ,
V (x)
V (x).
L'oprateur
D2
joue
H = D2 + X 2
116
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. Nous pouvons
donc poser
A =
A
et rcrire
D+X
D + X
Par ailleurs, on peut dmontrer facilement que pour trois oprateurs quelconque,
[F G, F ] = F [F, G]
et
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.
Lemme.
alors
Si
A E
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 .
HA E
(2A + A H)E
(E + 2)A E
(E 2)AE .
HAE =
> 0, il existe
(noter que 0 <
et dmontrer que
117
. Appelons
(2n + ),
0
avec
la fonction
A0 = 0
(9.10)
sinon nous aurions des valeurs propres ngatives. De l, nous pouvons naturellement dduire que
H0 = 0
= 1.
Et par consquent,
forme
En = 2n + 1.
sont donc de la
d0 /dx + x0 = 0
avec les conditions
0 0
pour
x .
Exercices.
1.
2.
et
H.
tion propre
3.
118
linaires
Lu = u
o
u(x)
est une fonction au moins deux fois drivable, la fonction et ses drives
2
(10.1)
L = (x)
d2
d
+ (x)
+ (x)
2
dx
dx
Ce genre d'quation se rencontre partout en physique et la solution du systme cidessus a occup une grande partie du travail des physiciens-mathmaticiens. Les
grandes familles de fonctions spciales, les Bessel, Legendre, Hermit, Laguerre,
les hypergomtriques, ... ont t introduites l'occasion de l'tude de ce genre
d'quation. Le but de ce chapitre est en partie de nous habituer avec ces fonctions.
La thorie gnrale que nous allons voir dans ce chapitre est une application
directe de la thorie des oprateurs linaires que nous avons rencontr au chapitre
prcdent ; nous aurons ainsi l'occasion d'approfondir les concept que nous avons
vus.
Illustrons travers les trois exemples suivants quelques fonctions et quations
fondamentales de la physique mathmatique.
Exemple 1.
u(x, t),solution
de l'EDP
u
= Lu
tn
o l'oprateur
(10.2)
t,
Ln = n 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.
119
n (x)
x.
Si les
{n }constituent
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
o les coecients
an (t)
dn an
n an = 0
dtn
et les scalaire
fn sont donns par les conditions initiale. Si l'on veut, cette mthode
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
tive ?) alors la solution gnrale s'crit
(10.4)
sont relles
et
nga-
u(r, , t) =
k
2 k
2 k
k
= r2
+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
d
d2 m
+r
+ r2 k 2 m = m2 m
2
dr
dr
(10.6)
( R)
120
m = m (r)
(10.5) est
k (r, ) =
m
2) = k (r, ).
m = 0, 1, ...
k : k (r, +
m (r) = Jm (x)
o
x = kr.
d/dr = k(d/dx)
et
nous obtenons
Jm
(10.7)
sont appeles les
fonctions 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,
1
c2 f
a
c2 ( + /r) 2
=0
a
r f
nous trouvons
(10.8)
et
alors en
(k/c) +
en multipliant par
1
( + /r) m2 /r2 = 0
121
(r, , )
l'quation
de Laplace
u = 0
Posons
u(r, , ) = f (r)g()h().
1 d
f (r) dr
r2
df
dr
(10.9)
1
d
g() sin() d
sin()
dg
d
1
d2 h
=0
2
h() sin () d2
Par des arguments analogues ce que nous avons utiliss prcdemment, nous
obtenons
h ()
= m2
h()
et
1 d
f (r) dr
r2
df
dr
Bn r
(n+1)
(10.10)
f (r) = An rn +
= n(n + 1). Ceci nous
de la forme
1 d
sin() d
sin()
dg
d
+ n(n + 1)
m2
sin2 ()
g() = 0
Et nous allons quelques peu nettoyer cette dernire quation. Remarquons d'abord
que la fonction
g()
[0, ].
d
dt
(1 t2 )
dP
dt
Posons
+ n(n + 1)
m2
1 t2
P (t) = 0
La
(10.11)
Les solutions de cette quation, appeles les fonctions de Lengendre associes sont
notes
m
Pn (t).
Pour
m = 0,
L'quation s'crit
m = 0.
m=0
m
m
Yn (, ) = eim Pn (cos )
122
et
x.
articiel et nous pouvons nous en dispenser. Ce que nous avons distingu dans les
exemples que nous avons traits plus haut est que l'quation drives partielles
(L1 + L2 + ...)u = 0
i 4.
o l'oprateur
Li
ne
et
dpendence :
avons
u(x, y) =
ci (x)i (y)
i
ci (x)
u(x, y) 5 .
Si
nous remplaons l'expression ci-dessus dans l'EDP que nous tentons de rsoudre,
nous trouvons, en utilisant les proprits de linarit de
Hu
= H
ci (x)i (y)
i
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.
5. Souvenez vous, nous appelons cela l'interprtation de Schrodinger.
123
drives partielles
(10.12)
Mais ceci n'est gure dirent. En faisant exactement la mme dmarche de dcomposer
u(x, y) sur la base des {i (y)}, nous obtenons pour les coecients ci (x)
c = 1.
u(r, , t) =
k,m
Rk,m (r)
u = 0
1
2
rr + r + 2 L2 u = 0
r
r
o
L2
est l'oprateur qui contient toutes les drives par rapport aux variables
angulaire
L2 =
1
1
sin +
sin
sin2
124
m
R(r)Yn (, )
u(r, , ) =
m,n
alors la fonctions
R(r)
n(n + 1)
2
R (r) + R (r)
R(r) = 0
r
r2
Exercices.
1.
de l'quation de Bessel si
(d'ordre
m)
de premire sorte.
2.Transforme de Bessel-Fourier.
f (x, y)
f (u, v) =
Supposons que
comme
f (r)
coordonnes
alors que
f est
f (q) = 2
f (r)J0 (qr)rdr
0
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 :
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 avions simplement dmontr que les sphrique harmonique sont les
fonctions propre de l'oprateur
L2 .
125
deux
Ym (x)
4.
solutions ind-
].
x2 u + xu + x2 m2 u = 0
u = x w et
= m + ( 1)2 /4.
5.
en consquence. Solution :
u(x) = J (x)/ x
Rsoudre l'quation
x2 u + xu + 2 x2 m2 u = 0
x = y , et choisir
u(x) = Jm (x )]
[Help : poser
sel.Solution :
6.
[Solution :
7.
xu + (p + 1)u + u/4 = 0
u(x)
solution de l'quation
de Legendre
(1 x2 )v 2xv + n(n + 1)
Si on sait que le polynme de Legendre
pour
m
Pn
pour
m > n?
Pn
m2
(1 x2 )
est d'ordre
n,
v=0
que peut on dduire
dm
126
m.
Soit l'oprateur
= r2 r r2 r + L2
Lz = xy yx et les autres s'en dduisent par permutation circulaire des
(x, y, z). Nous avions dj vu que Lz = . Dmontrer que les harmoniques
sphriques sont fonctions propres de Lz , donner les valeurs propres associes.
Rappel :
indices
9.
tt u = u
Help : en notatation opratoriel, l'quation s'crit
tt r2 r r2 r + L2
u=0
tt (= exp(kt) ) et de
m
Yn (, ) ), il sut de chercher la solution gnrique sous la forme de
L2
m
u(r, , , t) = R(r)Yn (, )eikt
o
= 1
R:
et
|m| < n,
pour
= 1.
R(r).
On devrait obtenir,
1
R(r) = J (n+1/2) (kr)
kr
Ces fonctions sont parfois appeles des Bessel sphriques.
10.Atome d'Hydrogne.
d'Hydrogne :
it = ( /r)
On suppose
>0
obit l'quation
exp(iEt) de it ; =
E > 0) ; n(n + 1) est la valeur propre associe la fonction
m
s x
propre Yn (, ). En posant R(x) = x e
u(x) et en choisisant s convenablement,
/ E
(on suppose
127
1
1
r
=
Pn (cos )
=
2 + r 2 2rr cos
|x x |
rn+1
r
n=0
crise
[0, L]
2u
2u
= c2 2
t2
x
La solution sur la base propre de fourier, d'aprs ce que nous avons vu plus haut,
est donne par
u(x, t) =
(10.13)
n
o
de
2 /x2
Notons que la fonction u(x, t)
propre de l'oprateur
7. De la mme manire que la mcanique Newtonienne ajoutait quelque chose de trs trange
la science du mouvement rpandu en 1680. Notre intuition nous disait que la vitesse d'une
charette que l'on pousse dpend de la force qu'on exerce dessus et qu'elle s'arrte quand nous
ne poussons plus. La physique Aristotlicienne postulait donc, en langage moderne,
v = C.F .
supposer
a = (1/m)F .
frottement, ... On peut facilement imaginer combien cette mcanique nouvelle paraissait contreintuitif et trange aux scientique de l'opque. Pour nous qui avons assimil cette mcanique
depuis notre enfance, cette mcanique nous parat aller de soi. De la mme manire, la MQ
parraissait trange au dbut du XXme, puisque les scientiques s'taient forg une intuition
qui allait l'encontre des postulats de la nouvelle mcanique.
8. Parfois appel dualit onde-corpuscule
128
et s'crit
K
ut u + ux u dx
t
x
2
2
E(u) =
0
dsigne
u/.
constante lastique et
Par ailleurs,
c2 = K/.
(10.14)
sa
facilement
2
An A k n
n
E(u) = (2LK)
(10.15)
An
n,
entre les deux photos successives, nous pouvons mesurer point par point
deux mesures nous permettent ensuite d'eectuer une intgrale point par point
et remonter l'nergie (10.14)
10
M = 106
cordes
vibrantes toutes dans le mme tat (identiques). En les mesurant les uns aprs
les autres avec l'appareil, on doit toujours trouver la mme valeur
E . Les premiers
kn .
La
mesure
valeur, ni mme des valeurs disperses de faon continue, mais un ensemble discret
de valeur. Il s'avre que quand ont fait cette mesure un grand nombre de fois,
la
proportion
au coecient
attendu
An A .
n
La
moyenne
sur les
11
kn
et proportionnelle
9. voir les chapitres consacrs, d'une part aux quations de la physique, d'autre part au
calcul variationnel.
10. Pour l'investigation des phnomnes l'chelle atomique, les scientiques du dbut de
XXme sicle avaient leur disposition un appareil de mesure base sur la strepctoscopie.
Ce sont le character discret des raies qui ont commenc poser des problmes. Notez que le
problme dont on parle ici n'est pas du tout celui de la divergence ultra-violette du corps
noir. Ce dernier est d a un postulat de la physique statistique qui exige, dans le cadre de la
physique classique, qu' l'quilibre thermodynamique, on ait
2
2LKAn A kn = T /2,
n
ce qui rend
129
12
dcohrence.
Lu = u o L est un oprateur
direntiel 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 (x)g(x)w(x)dx
(f, g) =
Le lecteur peut vrier que cette denition possde toutes les bonnes proprits
que l'on exige d'un produit scalaire,
si w(x) 0 13
. La fonction
w(x)
est dite le
est hrmitien
systmes o l'oprateur
14
est
dx et dxx
, ,
fonctions
(x).
Si
12. Cela s'appelle l'interprtation de Copenhague (1928) : Une mesure d'un observable
projette un tat quantique mixte sur un des tats propres de cet observable, avec une probabilit
donne par la norme au carr de l'amplitude de ce mode propre.
13. Il faut que
w(x) > 0
w(x)
130
[(f g f g )(w)]
(f g f g) [(w) w] dx
L'hermicit de
(w)
[(f g f g
)(w)]
et
(10.16)
(10.17)
w de
w = 0 est
x .
Remarquez que
La condition (10.17) nous indique que selon l'espace des fonctions que nous
w=0
w>0
une rgion
w choisie
Lu = u sous la
du
d
(w)
+ ( )wu = 0
dx
dx
C'est sous cette forme que les systmes Sturm-Liouville ont t formuls. Notez
que l'quation (10.16) est une quation direntielle simple dont la solution est
donne par
w(x) =
o par
C
exp
(x)
dx
(10.18)
Exercices.
1.
LPn = n Pn
131
(10.19)
Pn (x)
n.
solutions pour un systme donn, nous aurons la garantie que ces fonctions
Pn consitutent bien une base de notre espace des fonctions, pourvu que tous les
n N soit reprsents 15 . La recherche des solutions polynomiales impose une
forte contrainte pour satisfaire la condition d'hermicit (10.17) : (w) doit tendre
trs rapidement vers 0 quand x , ou doit tre = 0 en dehors d'un certain
intervalle ( charge pour nous de connecter les rgions w = 0 et les rgions w > 0
). Nous allons voir plusieurs exemple qui claircireront cela.
Comme
ne contient au plus que des drives d'ordre 2, cela nous impose que
les coecients
et 0 pour
(x)
2 x2 + 1 x1 + 0
(x)
1 x + 0
(x)
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. Prenons l'quation algbrique lmentaire
de rsoudre directement cette quation, nous pouvons
ax2 + bx + c = 0. Au lieu
remplacer x par x + x0 et
rsoudre
toujours remplacer
x2 + c = 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.
aL,
L, nous
15. 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.
16. Vous remarquerez donc que les fonctions de bessel ne sont pas polynamiales.
132
= 0).
L+a
2 = 1
0 = 0.
a.
(quand
a.
Nous
x.
Exercices.
1. Comment se transforme l'quation de Jacobi
(1 x2 )u + [p q + (p + q + 2)x]u = u
avec le changement de variable
x 1 2x ?
= 0.
Nous allons maintenant considrer tous les cas possible.
10.5.1
(x)
quadratique.
Comme nous l'avons dit, nous utilisons un degrs de libert pour choisir 2 =
1. Nous pouvons donc crire (x) = (x0 + x)(x1 x) o x0 et x1 sont les deux
racines de (x). 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
x0 = 1
et
x1 = 1.
y = a(x b) qui transforme ef(x0 + x)(x1 x)(d2 /dx2 ) en oprateur (1 y 2 )(d2 /dy 2 )
Il nous reste deux paramtre et il est coutume de les noter 1 = (p + q + 2)
et 0 = q p. La dcomposition en fraction simple de / s'crit alors
Exercices.
fectivement l'oprateur
(x)
q+1
p+1
=
(x)
x+1 1x
ce qui nous amne nalement, d'aprs l'q.(10.18),
p, q
w 0
x .
On
133
s'annule sur
(1 + x)q (1 x)p
w(x)
si |x|<1
sinon
Les polynmes associs ce choix des paramtres sont appels des polynmes
(p,q)
10.5.2
(x)
linaire.
paramtre
w(x) = xs ex
x +, mais pas pour x . Ces > 1, nous pouvons connecter la fonction
w(x) = 0 pour x < 0. Les solutions de ce
(s)
de Laguerre associs Ln (x). Pour s = 0 les
x > 0
ci-dessus pour
la fonction
solutions s'appellent simplement les polynme de Laguerre et nous les rencontrerons pour la rsolution de l'atiome d'hydrogne.
10.5.3
(x)
constant.
Nous n'avons plus de paramtres libres et tous les cas se ramne au choix
1 (x) = 2x
( le coecient de
(x) =
nous obtenons
w(x) = ex
18
17. 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
Tn (x)|
On cherche un polynme de
en
[1, 1].
n Tn (x)
f (x)
degrs
134
1850 1880.
n,
n.
le terme d'ordre
n = 2 n(n 1) + 1 n = n (2 n + 1 2 )
Pour les Jacobis, l'quation direntielle est
n = n2
et pour les
n = n(n + 1).
xu (x (s + 1)) u + nu = 0
avec les valeur propres
n = n.
u 2xu + 2nu = 0
et les valeurs propres sont
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
n
i
i=0 ai x , remplacer l'expression dans l'quation direntielle du
polynme et dduire les coecients explicitement. Par exemple,
poser
fn (x) =
[n/2]
Pn (x)
=
i=0
[n/2]
Hn (x)
=
i=0
Pn
et
Hn
n
m
2n 2m
n
xn2m
1
(2x)n2m
m!(n 2m)!
fn (x) = Cn
1 dn
(n w)
w dxn
135
19
+
2
w(x)fn (x)dx = (1)n n!an
n (x)w(x)dx
Comme nous l'avons souvent indiqu, les polynmes orthogonaux sont dnis
un coecient multiplicatif prs, et on peut utiliser l'expression ci-dessus pour les
normaliser.
10.8 Problmes.
1.
Calculer la fonction poids pour les quations suivantes ; mettre ces quations
sous forme SL :
1. Equation de Legendre
2.
3.
4.
5.
6.
7.
8.
2.
(x2 + 1 x + 0 )y + (1 x + 0 )y y = 0
n'a pas de solution polynomiale si
montrer d'abord que
(x)
fn
et
fm
fn
w = 0.
(x a)2 + b2
sous la forme de
w.
et que
et de dmontrer
136
(x)y + (1 x + 0 )y y = 0
n'a pas de solution poylnomiale si
4.
1 x + 0 0.
Soit
poids
an Qn .
5.
6.
w(x),
{Pn (x)}
{Pn (x)}
w(x)(x).
Gm (x)
n
dm
Pn (x)
dxm
Gm (x) =
nm
Quelle est la relation entre les ultrasphriques et les fonctions de legendre associs ?
tablir une relation entre cette fonction est un polynme de laguerre associ ?
9.
v 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
x2 (x)
f (x)
137
i
sur l'intervalle
10.
2
= 2 + x2
t
x
x ] , +[
F (a, b, c; x)
so-
lution de
11.
rence
12.
Soit
y = y .
u(x) =
Dmontrer que
u + Ru = 0
o il faut expliciter la fonction
R(x).
138
11 Le calcul variationnel
11.1 Introduction.
Ds que vous avez vu les bases de l'analyse, vous avez appris rpondre la
f (x)
est
local
petite) que tous ses voisins immdiats. Nous savons que pour un tel point
x,
f (x) = 0.
Donnons nous maintenant une fonctionnelle
une fonction
S.
f (x)2 + f 2 (x) dx
S(f ) =
(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
fonction
Si on y entre la
S(f ) ?
la forme de la fonctionnelle
S.
Brachistochrone.
139
11 Le calcul variationnel
y
ds =
dx2 + dy 2 =
(1 + f (x)2 dx
vaut
2gy.L'lment
dt = ds/v .
x1
T =
0
Et il faut trouver la fonction
1 + f (x)2
dx
2gf (x)
1
t lanc 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.
x=0
au temps
t=0
x = x1
t = t1 . Cette
V (x). Le mouvement de la particule est donn
x(t) qui minimise
au temps
x(t).
La fonction
t1
S=
(11.2)
0
est la trajectoire suivie par la particule. Ceci est une nouvelle formulation de
la mcanique. Classiquement, nous rsolvons l'quation direntielle
o la fonction
F (x) = dV /dx
et
a = d2 x/dt2 pour
F = ma
remonter la trajectoire
x(t). Ici, la dmarche est dirente : de toute les trajectoires possibles qui relie
(0, 0) (t1 , x1 ), la particule choisit justement celle qui minimise l'intgrale (11.2).
Comme si un dieu calculait le cot (qu'on appelle l'action S ) de chaque trajectoire et choisissait la meilleure. Bien sr, cette formulation de la mcanique et la
formulation Newtonienne sont quivalente, bien que la formulation lagrangienne
soit beaucoup plus profonde et pratique. Notez que la quantit dans l'intgrale
n'est pas l'nergie totale, mais l'nergie cintique
moins
l'nergie potentielle. On
1. A premire vue, il semble qu'il manque quelque cette formulation : l'intgrale ne contient
pas de rfrence
l'ordonn
y1 .
y1
140
11 Le calcul variationnel
11.2 Calcul des variations.
Formulons correctement notre problme (nous n'allons pas attaquer le cas le
plus gnral pour l'instant). Soit la fonctionnelle
S[f ] =
(11.3)
a
Trouver la fonction
f (t),
avec
les conditions
f (a) = y0
et
f (b) = y1
pour laquelle
Lagrangien. C'est une fonction tout ce qu'il y a de plus normal. Par exemple,
L(x, y) = x2 + y 2 .
comme l'expression que nous avions crit dans (11.1). En plus, nous avons le droit
de prendre les drives partielles de
L/y = 2y .
partielles par
L/f
et
L/f
L/x = 2x
et
L/f = 2f (t).
t et on peut par
d[L/f ]/dt = 2f (t). Si au
dbut, vous trouvez cette notation abrupte, remplacez f et f avant les drivations
par x et y , et remettez les leur place une fois les oprations termines. Mais
D'ailleurs,
L/f
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.
x+
d'ordres
+ ...
f (x) = 0,
f (x).
Le point
df et au point x, et
x est un extremum si
A(x)
est le coecient
( l'ordre 1 en
est petit)
x,
l'accroissement de
) est nulle.
Nous n'avons qu' suivre cette mthodologie pour trouver l'extremum de notre
fonctionnelle
S[f ]
141
11 Le calcul variationnel
y1
f+g
f
g
y0
et une variation
g.
A[f, g]
d'ordre
+ ...
est un extremum si
A[f, g] = 0
quelque soit
g!
et
Cela est
(x , y , z , ...)
soit
g dans l'expression
prcdente veut simplement dire quelque soit le dplacement dans cet espace.
Il faut prendre une prcaution : nous ne cherchons que des fonctions pour
lesquelles
que
que
Nous obtenons :
S[f + g]
(11.4)
a
b
S[f ] +
a
L
g(t)dt +
f
b
a
L
g (t)dt + ...
f
o nous avons simplement utilis le fait que L(x+h, y+k) = L(x, y)+(L/x)h+
(L/y)k+... On peut dj voir la partie linaire apparatre. Nous pouvons mettre
142
11 Le calcul variationnel
la deuxime intgrale un peu plus en forme en faisant une intgration par partie :
b
a
L
L
g (t)dt =
g(t)
f
f
d L
g(t)dt
dt f
vaut justement
L
d L
f
dt f
dS =
a
g(t)dt + ...
dS
et
quelque soit
. Si la fonction
la fonction
g.
La
L
d L
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
L
L
f
Evaluons l'expression
=
=
Si
L
L
L
L
d L
f
+f
f
f
dt f
f
f
t
L
L
d L
f
dt f
f
t
f
entre 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
L
L = Cte
f
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 ,
143
l'nergie
11 Le calcul variationnel
potentiel. Si on se restreint au cas unidimensionnel o une particule est soumis
un potentiel
V (x),
x(t),
L
dV
=
x
dx
Comme nous l'avons mentionn ci-dessus, le seul terme qui dpend de la premire
variable
est
V (x).
xpar y
dans
)donne
L
= mx
d L
= m
x
dt x
m + dV /dx = 0
x
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,
L/x = 0,
d L
=0
dt x
ou encore la quantit
mouvement
144
11 Le calcul variationnel
conservation. La conservation de l'nergie est lie la symtrie de translation
dans le temps, la conservation du moment cintique est associ l'invariance par
rotation autour d'un axe et ainsi de suite. En physique, une thorie n'est bien
form que si on peut la formuler sous forme variationnelle et chercher, par la
symtrie sous-jacente du lagrangien, ses lois de conservation. Plus tard dans ce
chapitre, nous verrons les formulations lagrangienne de l'lectromagntisme et de
la mcanique quantique quand nous verrons comment traiter les champs.
x1 , x2 , x3
L = L(x1 , x2 , x3 , x1 , x2 , x3 ). Si les xi sont les coordonnes cartsiennes, nous
2
avons L = (m/2)
i xi V (r). La dmarche ci-dessus peut-tre rpte mot
une particule dans l'espace habituel possde trois degrs de liberts
et
mot pour dmontrer que nous aurons une quation d'E.L. pour
libert :
chaque
degrs de
d L
L
=0
xi
dt xi
(11.6)
L'approche lagrangienne ne dpend pas du choix de coordonnes, bien videmment. Il sut donc de pouvoir crire l'nergie cintique et potentielle pour dduire
les quations du mouvement de faon automatique.
m = 1)
L = r2 + r2 2 + r2 sin2 2 V (r)
(11.7)
Nous remarquons que nous avons une symtrie : si nous avions choisi nos axes
simplement donc
L = r2 + r2 2 V (r)
p =
= 2r2 = cte
145
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
et rsoudre
xy
= (t).
m=1
y)
restreint
que
y comme ce degrs. L'nergie cintique est donne par
avons
d L
dt
=
=
L/ = U/ = g sin ,
mouvement :
Si
d 2
dt
2
+ 2
+ 2 /
+ (g/ ) sin = 0
nant
0+ 1
sin t,
1,
est le
double
de la frquence propre
alors bloque (
ou
g/
Drivation vectorielle.
Nous avons vu ci-dessus comment driver les quations d'Euler-Lagrange quand
le Lagrangien dpend de plusieurs fonctions
Trs souvent cependant, les fonctions
xi (t)
x1 , x2 , ...xn
vecteur
t.
et
F = ma,
146
quations du
11 Le calcul variationnel
genre
fx = m, fy = m
x
y
vectoriser
scalaire.
Un Lagrangien avec un
sens gomtrique ne doit donc faire intervenir que des oprations sur les vecteurs
dont le rsultats est un scalaire intrinsque, c'est dire un scalaire dont le rsultat
ne dpend pas du systme de coordonnes que nous avons choisi. Le meilleurs
exemple d'une telle opration est le
produit scalaire.
f (r) = r.r ;
f (x, y, z) = x2 + y 2 + z 2
x f . Pouvons nous
f /r ? La rponse est videmment oui si nous nous
souvenons de la dnition de la drive. Faisons un petit dplacement u autour
du point r et mesurons la partie linaire du changement dans la fonction f
Nous pouvons donc donner un sens des expressions tel que
donner un sens l'expression
df
f (r + u) f (r)
(r + u).(r + u) r.r
2r.u + O(u2 )
df =
o
(f /r)
reprsente le vecteur
2r.
f
r
.u
f (x) = 2x.
ou
f 3.
(f /r)
f (x) = x2 ,
Nous pouvons gnraliser le produit scalaire en utilisant les notations matricielle. Dans ce cas, le produit scalaire ci-dessus s'crit
rT r
rT
est un vecteur
df = rT (A + AT ) .u
As = (A + AT )/2 la partie symmtrique de l'application A, nous
f /r = 2rT As . Cette formulation est dveloppe en dtail dans le chapitre
consacr au tenseur. Notons simplement que l'application A peut tre utilis pour
Si l'on note
avons
147
11 Le calcul variationnel
grer simplement les changement de coordonnes. A 2 dimensions, en coordonnes
polaire par exemple, nous avons
1
0
A=
Exercice.
Soit le Lagrangien
0
r2
L = (1/2)mx.x + V (x).
m = gradV
x
xi ,
d'une
i ,
variable
t.
L,
chacune de ces
Exemple fondamental.
y0 (x)
y1 (x)
A un instant donne
t,
la surface reliant
dans le temps.
T =
(/t) dx
0
V =
k (/x) dx
0
148
(11.8)
11 Le calcul variationnel
est la densit de la ligne et k sa constante lastique. Notant c2 = k/, l'action
(le cot d'une trajectoire (x, t) ) est
t1
dxdt
t0
g(x, t)
(/t) c2 (/x)
S[] =
autour de la trajectoire
(x, t),
nous trou-
t1
S[ + g] S[] =
t0
g
g
c2
dxdt
t t
x x
t1
S =
t0
S = 0
2
2
c2 2 gdxdt
t2
x
[]est
2
2
c2 2 = 0
2
t
x
qui est bien sr l'quation d'onde bien connue.
nraliser cette approche par des calculs aussi lmentaires que ceux ci-dessus,
l'tape le plus technique tant une intgration par partie. Soit un domaine
dans un esapce
fonctionnelle
S[u] =
D
o
i=1
xi
L
u,i
L
=0
u
Remarquez que cette expression est une simple gnralisation d'EL une dimension : l'expression de drivation de moment
somme de toutes les drives partielles.
149
(d/dx)(L/u )
11 Le calcul variationnel
Tenseur energie-impulsion.
vu 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
L
L
y
=0
d
dx
ou nous avons not
y,x
L
L
y,x
y,x = y = dy/dx.
Si
=0
naique analytique, le terme entre crochet rerpsente l'Hamiltonien, une quantit scalaire. Nous pouvons gnraliser ce concept au lagrangien d'un champ
u(x1 , x2 , ...xn )
notant
Tij = u,i
L
u,j
ij L
j=1
la quantit
Tij
=0
xj
Exercices.
1. Pour une corde vibrante dans un champ de gravitation, nous devons ajouter
le terme
Vg =
dx
est le produit de
Vh =
2 dx.
4. Rappelons que
ij = 0
si
i=j
Ttt ? Que
Ttx ?
et
divT = 0.
Classique-
ment, 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.
150
11 Le calcul variationnel
3. Dduire les quations du mouvements d'un champ dans un espace
o l'expression de l'nergie potentielle (interne) est donn par
V =
ndimension,
k( )2 dr.
I
ndimension
V =
aij
I i,j
dr
xi xj
aij = aji
(pourquoi ?). Ce
f (x, y)
qu'au point extremum, les termes linaires des variations doivent tre nulle
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 x
g(x, y) = 0
sur ce chemin
151
11 Le calcul variationnel
4
g(x,y)=0
4
4
(0, 0).
O =
appartenir la courbe
g(x, y) = 0
est le point
A.
(x , y )
(h, k)
(h, k)
compatible
(x , y )
g(x, y) = 0
(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
En rsolvant
en fonction de
linaire.
df
h,
nous
(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.
152
ait une
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
x + ay = 0. En combinant cette quation avec la contrainte
y = ax+b, nous trouvons les coordonnes du point extremum : x = ab/(1+a2 ),
y = b/(1 + a2 ).
ou autrement dit,
F
x
F
y
F
=
=
=
f
g
=0
x
x
f
g
=0
y
y
(11.10)
(11.11)
g(x, y) = 0
(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
Minimisons la fonction
2x + a =
2y
Ce qui bien sr nous donne
x + ay = 0.
0
0
= 2y =
2b/(1 + a ).
Le coecient
f (x, y)
g(x, y).
Au point
x ,
le
point (qui est stable) est soumis une force non-nulle de la part du potentiel
F = (x f, y f ).
153
x ,
11 Le calcul variationnel
g(x, y)
(x g,y g).
de
variables soumis
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.
L(y , y, x)dx
I
g(y , y)dx = A,
I
avec la contrainte
S[y] =
fonctionnelle
S [y; ] =
A)
10
R().
(1/2)R2 ()d
S[R] =
(11.13)
0
avec la contrainte
R()d = L
(11.14)
0
9. Cette dualit force-contrainte a jou un grand rle dans le dveloppement de la mcanique,
de sa formulation Newtonienne dans les annes ~1680 l'apparition du livre de mcanique
analytique par Lagrange en ~1780. Lagrange tait er de n'avoir pas inclus une seule gure
dans son livre. En mcanique, la mthode de Lagrange nous permet de calculer une position
d'quilibre sans calculer explicitement les forces de ractions.
10. Ceci est une trs grosse supposition. Le lecteur a intrt a tracer quelques courbes qui ne
sont pas reprsentable par une fonction
R()
154
11 Le calcul variationnel
Considrons la nouvelle fonctionnelle
(1/2)R2 () R() d
S [R(); ] =
0
Le terme entre
{}
R;
R=0
R = = Cte. Ceci est bien un cercle. Pour trouver , nous utilisons la
= L/2 . La courbe qui minimise la surface
un cercle de rayon R = L/2 .
c'est dire
particule (N
c(x)dx
(11.15)
xc(x)dx
(11.16)
0
o nous appelons
c(x)
T = E0 /N
avec
E0
l'nergie
H [c] =
(11.17)
0
soit extremum. La quantit
H [c; , ] =
c(x)dx
0
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
et en nous contentant d'ordre 1 en
H [c + g; , ]
, nous trouvons
(1 + log c x) g(x)dx
H [c + g; , ] = H [c; , ] +
0
155
11 Le calcul variationnel
c(x) est un extremum
g , c'est dire si
la fonction
sont nulle
de la fonctionnelle
log c = ( 1) + x
ou autrement dit
A = = 1/T .
c(x) = Aex ;
Autrement dit,
w(x)
qui rend
l'oprateur 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
alternative
(w) = w
d
(wy ) + wy = wy
dx
p(x)y 2 + 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'EulerLagrange du systme ci-dessus un systme SL en posant
p = w, q = w .
masse et une constante de ressort dpendant du temps. Ceci, comme nous l'avons
mentionn, est le point de dpart de l'approximation WKB.
156
11 Le calcul variationnel
11.6 Les conditions aux bords naturelles 1.
Revenons notre formulation initiale de problme d'xtremum. Nous voulons
trouver l'extremum de la fonctionnelle
S[y] =
L(y , y, x)dx
a
y(a) = y0 ; y(b) = y1
Pour cela, nous avons crit la variation de
g(x)
pour obtenir
S =
L
g
y
L
d L
y
dx y
+
a
gdx
(11.18)
S = 0 quelque
g(a) = g(b) = 0, donc le
g(x).
soit
premier terme
Nos
g(a) = g(b) = 0,
pour
L
y
=0
x=a,b
y(a) = y0 , y(b) = y0 .
y varier sur
et laisser
en un bord
l'autre bord.
L = L(y , y , y, x).
Dans ce
S =
d L
L
L
g
g+
g
y
dx y
y
+
a
157
L
d2 L
d L
+ 2
y
dx y
dx y
gdx
11 Le calcul variationnel
Pour une poutre lastique soumis une charge
By
E=
f (x)y dx
0
Si la poutre est encastre (a), nous avons les
conditions
y(0) = y(L) = 0
et y (0) = y (L) = 0.
(a)
(b)
y(0) = y(L) = 0.
(c)
y (0) = y (L) = 0.
L/y = 0,
Nous laissons au
Mettons un
F = lg ( L) + (sl sg )h
les coecients
lg ,...
est la
la lon-
gueur de cette mme interface avant la monte, et nous supposerons ces deux
valeurs trs grand (
). h
y(x).
Sol.
Gaz
F [y] =
lg
1 + y 2 1 dx + (sl sg )y(0)
0
Liq.
ydx = 0
0
Nous sommes en prsence d'une optimisation sous contrainte, en prsence de
bords libre, c'est dire la hauteur du liquide
y(x)
une variation
g(x)
x=0
et
x = .
En ajoutant
obtenons d'une part une quation d'Euler Lagrange comme d'habitude, et d'autre
part une condition non-trivial sur le bord
x=0
L
+ (sl sg )
y
158
=0
x=0
11 Le calcul variationnel
Or,
L
=
y
lg y
1 + y2
= lg cos
solide-liquide
cos =
y.
sg sl
lg
encore plus en relachant cette contrainte et permettre aux points sur les bords de
se mouvoir le long d'une courbe quelconque. Supposons, pour la simplicit, que
x=b
y = (x).
L'expression (11.18) que nous avions crit dpend bien sr du bord, et on peut
crire la variation caus autour de
y(x)
L
g
y
L
g
y
par
+
a
a
b
L
d L
y
dx y
b+db
gdx +
L(y , y, x)d
b
(11.19
Le terme entre crochet nous donne l'quation d'Euler-Lagrange comme d'habitude sur l'interval
[a, b].
y = (x),
en
S =
L
( (b) y (b)) + L(y , y, x) db
y
159
11 Le calcul variationnel
et la nullit de ce terme nous impose
y (b)
L
L
L=
(b)
y
y
H , tandis que
p. En mcanique analytique, on les appelles l'Hamiltonien
L/y
H = p (b)
Rsumons : Si
(11.20)
(b) = 0
x),
alors
H=0
Exemple : angle de contact d'une goutte pos sur un substrat solide non
plane.
Exemple 2 : Brachistrochrone gnrale.
(x1 , x2 ).
ds2 =
160
11 Le calcul variationnel
o
1 + g 2 (x)y 2 dx
[y(x)] =
1
y = a/g
o
g 2 a2
est une constante d'intgration. Dans le cas des coordonnes polaire par
exemple o
g(x) = x,
y = + arccos(a/x)
et
12
et obtenir
tgration. Pour vous convaincre que cela est eectivement le cas, Il sut d'inteprter
x comme r
et
comme
d'angles .
Prenons le cas plus intressant pour nous de
gration s'eectue sans dicult
13
g(x) = sin(x).
A nouveau, l'int-
et nous obtenons
sin d
ds2 = d2 +
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
11. Nous noterons par habitude les coordonnes
cartesiennes
12. il sut d'eectuer le changement de variable
13. Il sut de poser
u = cot x
161
u = a/x
11 Le calcul variationnel
z
y
r(z)
F
a
(a)
(b)
(c)
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'espacetemps.
A ajouter.
1. Discuter la Jauge dans le Lagragian et eventuellement le theorme de Noether.
Problmes.
1. Surface minimum.
2. Energie de courbure.
L = y (x)2 + V (y).
L = L(y , y , y, x).
3. Brachistochrone.
x1
T =
0
1+y2
dx
y
162
11 Le calcul variationnel
En utilisant l'identit de Beltrami, dmontrer que la courbe
l'quation
y(x)
doit obir
1
=C
y(1 + y 2 )
d'abord que
dx = dy
1/C 2 = 2a ;
y = a(1 cos ).
y
2a y
paramtrique.]
4. Elasticit 1-d.
par la coordonnes
x.
dplacement u(x) = x x
(1/2)ku (x)2 dx
E=
0
o
W = F u(L).
E=
0
Dmontrer alors que
Figure 11.6
determiner. Dterminer
F = Ku(L)
Que vaut
K?
L?
table ; au 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).
En supposant
163
11 Le calcul variationnel
est donn par sa courbure locale
courbe maintenu
force
F.
y = 0,
B(y (x) )2 .
et soumis une
B(y (x) )2 dx F (L a)
S[y, a] =
0
soumis la contrainte
(1 + (1/2)y 2 dx = L
0
Nous avons approxim ici l'lment de ligne
ds =
de Taylor, en supposant les carts la ligne (et leurs drives) faible. Dmontrez
alors que pour
F > Fc ,
Fc .
6. Flambage d'une poutre II.
de l'origine
horizontal
dx
cos ds
dy
sin ds
d/ds. L'nergie
S[] =
B ( ) + F cos ds F L
0
Que l'on peut traiter par les quation d'EL sans contrainte : la longueur d'arc
coordonnes semi-intrinsque
(s, )
7. Angle de contact.
164
11 Le calcul variationnel
8. isoprimtrique II.
y = y(t)
x = x(t),
x(1) = x(0)
et
y(1) = y(0).
Ecrire tout
9. Isoprimtrique III.
primtre ?
a.
Une chane
y(x)
L.
Trouver l'quation de la
yds ;
on
a/2
H =
1 + y (x)2
1 + y (x)2 dx
a/2
o
y(x)
complexe
(R C)
dont l'ac-
L(y, y , y , y ; x)dx
S[y] =
I
(x, t)
qui
et
Dans la formu-
165
xi
au lieu de
xi
11 Le calcul variationnel
ci-dessus en donnant des noms dirents aux dirents composants : nous notons
par exemple
A = (, A)
o nous appelons
x = (t, x)
le potentiel et
le potentiel vec-
E = t A
et champ magntique
H=
Fik =
Ak
Ai
xi
xk
Fik = Fki .
i, j, k ,
Ei
et
Hk .
impose
Fij
Fjk
Fki
+
+
=0
xk
xi
xj
dmontrer que les seules quations non-triviales sont celles o
cela nous donne
i=j=l
et
E =
.H
t H
0
qui ne sont rien d'autre que les deux premieres quations de Maxwell.
Dans l'espace-temps reliativiste, la distance
ds
donne par
2
i dxi
i=0
= 1
et
i1
= 1.
les trois 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
166
11 Le calcul variationnel
est donne par l'intgrale sur un volume du Lagrangien suivant
15
3
2
i j Fij
L=
i,j=0
Fij
le tenseur dformation. Ceci n'est pas un hasard ; Maxwell lui mme imagi-
L = E2 H 2
3
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
15. 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.
167
x0
, nous pouvons
f (x0 + ) = f (x0 ) + A1 + A2
x0 +
+ ...
Ai
,divis par
i! . De plus, si
au point
x0
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.
lutions des quations algbriques de second ordre, mais que nous savons rsoudre
l'quation
x2 x = 0
168
x0 = 0, 1.
x2 x + = 0
o nous supposons
(12.1)
X = x0 + x 1 +
x2 + ...
(12.2)
Nous cherchons la solution sous cette forme puisque nous pensons que comme
est petit, la nouvelle racine ne doit pas tre trop loin de l'ancienne, et l'cart
doit tre justement fonction de
: pour
x0 ,
calculer
x1 , x2 , ...
= 0,
+ ... = 0
(12.3)
et il est uni-
formment nul. Nous en dduisons donc que tous les coecients du polynme
doivent tre nuls, c'est dire :
x2 x0
0
(12.4)
(2x0 1)x1 + 1
(12.5)
x2
1
(12.6)
... =
+ 2x0 x2 x2
est notre quation originale non perturbe que nous savons rsoudre. l'quation
(12.5) nous donne
x1
x1 = 1/(1 2x0 )
Comme nous connaissons dj
1.
x0 ,
x2 =
et donc
x2 = 1
ou
1.
dtermine
de
xk .
xk
xk
est
x1 = 1
ou
x2
1
1 2x0
x2
aussi prcisment que l'on souhaite. Nous avons donc, pour les deux racines de
l'quation (12.1),
X1
X2
=
=
0+ +
+ ...
(12.7)
+ ...
(12.8)
169
X=
14
2
Gnralisation.
et un vecteur
.On
de la matrice
A0 = 0 .
AT = A. Nous
tel que
A + B.
Appelons cette
(A + B) =
(12.9)
Procdons comme nous l'avons mentionn plus haut. Nous chercherons la solution
sous la forme
= 0 + 1 + ...
(12.10)
(12.11)
= 0 + 1 + ...
1 , ...
et
1 , ...
vantes :
A0
A1 + B0
= 0 0
(12.12)
= 0 1 + 1 0
(12.13)
... = ...
La premire quation, c'est dire les terme d'ordre 0 en
sr rien que ne l'on connaisse dj. Dans l'quation (12.13), nous avons deux
170
et le scalaire
(0 , A1 ) + (0 , B0 ) = 0 (0 , 1 ) + 1 (0 , 0 )
Nous avons suppos que
(12.14)
(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.
Si tous cela parat un peu abstrait, cherchons la valeur propre de la matrice
1+
2
2
2+3
A = diag(1, 2) et de la
Bij = (i + j 1) . La matrice B est la perturbation si on
1. La matrice A possde bien sur les deux valeurs propres 1 et 2 et
propres associs (1, 0) et (0, 1). Cherchons la valeurs propre proche
tel que
suppose
les vecteurs
1 de la matrice perturbe. D'aprs ce que nous avons dit, nous devons calculer
(1, 0)B(1, 0)T :
2
1
(1, 0).
=
2 3
0
de
Comme
s'crit
=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,
d'une 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.
171
+ + 2 sin =
0
(12.15)
=0
et
sin,
nous trouvons :
0
1 + 1 + 2 1 =
1 = exp(t) exp(i t)
= 0 est donc un point
stable. En rptant les mme oprations pour le point = , et en n'oubliant pas
que sin( + x) = sin x, nous aboutissons
quand
t .
Le point
0
1 + 1 2 1 =
et cette fois, il est claire que quand
t , 1
. Le point
est donc
instable.
x2 + x 1 = 0
La solution non perturbe,
=0
i.e.
pour
=0
s'crit
x=
vaut
(12.16)
x = 1.
1+4
x1
x2
172
1
1
1,
de la
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+
x = 1/
et
x=1
x+x+1=0
est celle d'un oscillateur harmonique amortie. Si la masse
est de la forme
x = A exp(t).
le plus important en
, est de la forme
A exp(t) + B exp(t/ )
et le lecteur
peut vrier que les deux solutions sont radicalement direntes. Remarquons
nouveau que nous pouvons chercher un changement de variable de la forme
t=
et
x=
au lecteur intress.
L'ennui avec les quations direntielles est que les termes les plus inoensifs
peuvent rendre les perturbations singulires. Considrons l'exemple de l'oscillateur suivant :
x + 2 x + x3 = 0
a cos(t + ).
(12.17)
kx + k x
. La solution
x1 + 2 x1 = a3 cos3 (t)
Or,
(12.18)
cos3 (u) = (1/4) cos(3u)+(3/4) cos(u) et donc la solution de (12.20) est donne
x1 + 2 x1
x1 + x1
=
=
173
(12.19)
(12.20)
cos(3t + ).
Par contre, la deuxime quation (12.20) est celle d'un oscillateur harmonique
de frquence propre
qui est de la forme
en supposant
t > 1/
a cos(t).
x1 (t)
a cos(t) + x1 (t),
nous avons
fait l'erreur de penser que le terme d'ordre 0 continue prsenter une oscillation
frquence
voyons que la dirence est peine perceptible pour les temps courts, tandis que
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)
x1 + 2 x1 2a1 cos[(+ 1 )t] = (a3 /4) cos[3(+ 1 )t](3a3 /4) cos[(+ 1 )t]
174
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.
1 =
3a2
8
x(t) = a cos[( +
o les coecients
a, A,
3a2
3a2
)t] + A cos[3( +
)t + ]
8
8
Problmes.
Racine des polynmes.
1. Soit
x = x0
xp
0
nan xn1
0
x comme
= 1), la somme des coecients de l'quation non perturbe
x = 1 est donc une solution de l'quation non perturbe (i.e. pour
2+
(12.22)
(o
vaut 0.
solution exacte
175
x log x = 0
= 0.1.
la solution proche de
0?
x sin x =
de
. Comparez, pour
= 0.1,
la
x = 3.10943.
quation intgrale.
discussion 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
f (x) = g(x) +
K(x, x )f (x )dx
a
en gnral.
e(x+y) f (y)dy
f (x) = 1 +
0
f (x) = 1 +
f (y)dy
0
x + (x2 1)x + 0 x = 0
Le coecient du terme
ngatif
si l'amplitude
1),
176
perd de l'nergie vers l'extrieur, 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 .
cosystme de prdateursproies.
gie est 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
dN/dt =
N N P
(12.23)
dP/dt
N P P
(12.24)
prsence des prdateurs cause galement la disparition des proies, proportionnellement au nombre de prdateur et de proie, d'o le terme en
premire quation,
N P
dans la
dynamique des prdateurs, nous voyons que la croissance est fonction du nombre
de proie disponible, et le terme
1. Montrez que ce systme possde un point xe, c'est dire des valeurs
pour lesquels
N0 , P0
dN/dt = dP/dt = 0.
2. tudiez la solution de ce systme pour les faibles carts au point xe. Cela
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 .
177
Stabilit d'interface.
u(x, t)
2u
4u
u
= au bu3 + c 2 d 4
t
x
x
o nous supposons les coecients
la solution
u(x, t) = 0
selon que
a, b, d > 0.
c est positif
d'instabilit.
178
ni )
P par
(q1 , q2 , q3 ) et le point innitsimalement voisin P + dP par le triplet
(q1 + dq1 , q2 + dq2 , q3 + dq3 ). Notons ds la distance entre P et P + dP . La relation
entre la distance ds et le triplet (dq1 , dq2 , dq3 ) dnit la mtrique du systme de
polaire que nous avons choisi. Supposons que nous avons repr un point
le triplet
orthogonales
nous avons :
2
2
2
ds2 = h2 dq1 + h2 dq2 + h2 dq3
1
2
3
Les quantits
h1 , h2 , h3
179
(13.1)
qi .
On les appelle
les lments du tenseur mtrique . Il est vident que si pour un certain dplacement, nous avons
dq2 = dq3 = 0,
Coordonnes cartsiennes.
alors
tout simplement.
Coordonnes polaires.
ds = h1 dq1
(x, y, z).
C'est la
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).
Ce systme est
x = ; y = ( 2 2 )/2 ; z = z
Dmontrez que les lments du tenseur mtrique sont
h1 = h2 =
2 + 2 ,
h3 = 1.
Coordonnes paraboliques.
On le note souvent
(, , ),
tesien par
Problme.
(q1 , q2 , q3 ),
qu'elle est ce systme, o mme plus, si l'espace est plat ou courb (mais ceci est
une autre histoire).
2. Dans le cas le plus gnral, l'lment de distance curviligne s'crit
ds2 =
et la matrice
hi,j
180
ds2
peut s'crire
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 dix-neuvime sicle, cette
similtude a emmen E. Cartan inventer la notion de formes dierentielles qui
unie tous ces oprateurs, qui ne sont alors que l'expression d'une opration de
drivation (qu'on appelle extrieure). Ces formes d'une lgance extraordianire
font l'objet d'un autre chapitre. Ici, nous nous attacherons une introduction
classique
de ces oprateurs.
13.3 Le gradient.
Soit la fonction
f (P )
...Nous somme interess par savoir de combien cette fonction change si on passe
du point
au point voisin
P + ds.
Le gradient
est
df = f (P + ds) f (P ) = gradf.ds
gradf
dplacement
ds
est un
donne la variation de
P.
f.
vecteur
(13.2)
Ceci est la
dnition
du gradient.
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
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
(q1 + dq1 , q2 , q3 ).
Alors
181
( f )1 h1 dq1
o ( f )1 est la composante du gradient dans la direction 1.
( f )1 = (1/h1 )(f /q1 ). En refaisant la mme opration pour
nes, on obtient :
f=
Examples.
En coordonnes polaire,
Problme.
1 f 1 f 1 f
,
,
h1 q1 h2 q2 h3 q3
donnes.
Problme.
dimension.
ds xe,
qui
est constante. Si
182
(a)
(b)
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 nous venons de dire. Supposons que nous
devons avoir
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.
une famille de droite passant par l'origine, c'est dire les lignes de champs de la
gure 13.1a.
183
C
P
Exemple 2.
et le rotationel not
q2 = t
dq1 /dt = 0
et
ou
curl f .
alors ceci est une famille de cercles 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
IC =
IC . Il
f .ds = 0.
innitsimal C
sur
autour
se referme, alors
C a autant
An le vecteur porteur du circuit C , A tant l'air
n le vecteur unitaire perpendiculaire C , alors
et
telle que
An.
f =
f .ds
(13.3)
C
l'ordre 1 en
(voir note
3. Prcisons quelques notions sur les approxiamtions. Supposons que nous pouvons approxi-
184
f = lim
n.
o
A0
1
A
f .ds
(13.4)
C.
vrai
vecteur, mais
(13.5)
h,
vaut
f (x)h,
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
= 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
= f (x)h + O(h2 )
o
O(h2 )
h2
veut dire que le plus grand terme que nous avons nglig est au mieux de l'ordre de
1
lim O(h2 ) = Cte <
h2 h0
et
o(h)
h
et par
O(h)
de l'ordre de
h.
Edmund Landau (et non du physicien sovitique Lev Landau). Ils permettent une grande rigueur
et concision dans l'criture des expressions impliquant des limites.
185
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 .
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
h2 h3 ab (rot f )1 ,
a, b
(rot f )1 =
1
(h3 f3 ) (h2 f2 )
h2 h3
q2
q3
(13.6)
(1, 2, 3).
Example.
En coordonnes polaire
(r, , z), h1 = h3 = 1, h2 = r.
donc
(rot f )r
(rot f )
(rot f )z
1 fz
(rf )
r
z
fz
fr
z
r
1 (rf ) fr
r
r
186
Nous avons
rabolique.
Gnralisation.
vons 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
x2 , x3 . A quatre
n(n 1)/2 n
composantes (et
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
du ux d'un champs
autour du point P
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
normales aux surfaces sont par convention orientes
sortant ) :
ABCD
(les
PB C D
(h2 h3 f1 )
abc
q1
4. Le rotationnel dans ce cas est appel tenseur lectromagntique. Nous rferons le lecteur
un livre avanc en lectromagntisme pour voir cela en dtail.
187
h1 h2 h3 abc,
div f =
Example.
dV =
on obtient nalement
1
h1 h2 h3
En coordonnes polaire
donc
div f =
Noter que comme
1
r
(r, , z), h1 = h3 = 1, h2 = r.
Nous avons
(rfz )
(rfr ) f
+
+
r
quelques peu.
Problme.
parabolique.
Problme.
dimensions ?
divv = 0.
la dierence entre le 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
h1 h2 h3 q1
h2 h3 f
h1 q1
q2
188
h3 h1 f
h2 q2
q3
h1 h2 f
h3 q3
En coordonnes polaire
donc
f =
(r, , z), h1 = h3 = 1, h2 = r.
1
2
2
r (rr f ) + (1/r) f + rz f
r
qui prend une forme plus simple si l'on fait rentrer le facteur
du
Nous avons
(1/r)
l'intrieur
[].
P , le laplacien
sur les points voisins. Voyons cela de plus prs. Prenons d'abord le cas une
dimension et supposons que nous utilisons les coordonnes cartesiennes. Autour
du point
d'indice
x0 ,
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
f (x0 )h2 + O(h3 )
2
=
=
=
donc, un facteur
1/2
multiplie
=
=
=
=
La quantit
V / = Ch,
hV
(f (P ) f (P0 )) d
(gradf ) hnd
div (gradf ) dV
V
div (gradf )
+ O(h3 )
5. De faon gnrale,
V /S == r/d,
sphre.
189
le rayon de la
Table 13.1 Les oprateurs dierentiels en coordonnes curviligne. Pour les opq1 est donne, les autres
(1, 2, 3).
application
1 f
h1 q1
f
f
(rot f )1 = h21h3 (h32 3 ) (h23 2 )
q
q
1
2 h3
3 h1
div f = h1 h2 h3 (hq1 f1 ) + (hq2 f2 )
f
1
2
f = h1 h2 h3 q1 hhh3 q1 + ...
1
(gradf )1 =
f (b) f (a) =
f.ds
(h1 h2 f3 )
q3
f .ds =
rotf .dn
f dn =
divf dV
2u
= ku
t2
m =
la moyenne de chaque point par rapport ses voisins, est la force exerce sur ce
point.
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)
son 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
190
ux
P
2
P
3
P
N1
B
B.
trs grand,
com-
Dcoupons ce circuit en
f (P1 ) f (A)
f (P2 ) f (P1 )
f |A .ds1
f |P1 .ds2
...
f (B) f (PN 1 )
f |PN 1 .dsN
N ,
nous
=
d
o
extrieure de
191
est
est la drive
rot(gradf ) = 0
P ).
2.
3.
2.
div(rot f ) = 0
div(A B) = (rotA).B + A.(rotB)
13.1.
3.
Nous avons dni le Laplacien d'un champ scalaire. Le Laplacien d'un champ
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
sans la 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)
0
q = (qi ), alors nous
0
0 0
exemple (q1 + dq1 , q2 , q3 ) :
pouvons
0
2 2
f (q1 + dq1 , q2 , q3 ) = f (q) + dq1 1 f (q) + (1/2)dq1 1 f (q) + ...
C'est ce que nous appelons le dveloppement de Taylor. Maintenant, si nous
connaissons la fonction
0
q = (qi ), alors comment valuer
0
q1 +a
f (q1 , q2 , q3 )dq1
0
q1
192
0
q1 = q1 + u
f (q1 , q2 , q3 )dq1
0
f (q1 + u, q2 , q3 )du
0
q1
0
a
2
f (q) + u1 f (q) + (1/2)u2 1 f (q) + ...
=
0
2
= af (q) + (1/2)a2 1 f (q) + (1/6)a3 1 f (q) + ...
La dernire ligne a t possible parceque les quantit
f (q), 1 f (q),
u!
Dans
l'quation13.5, nous avons simplement crit le premier ordre, le seul qui est pertinent quand on prend la limite
193
ml
ijk
F,
par la relation
a=
1
F
m
(14.1)
produit le vecteur
a.
linaire veut 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
, R
et
trs
lectromagntique qui rentre dans un matriau dilectrique (non mtalique). Localement, le matriau devient polaris, et le vecteur polarisation
champs lectrique
est reli au
par
P = E
194
(14.2)
rallle
E!
pa-
parallle ces
directions est plus amplife . Le vecteur polarisation rsultant priori n'est donc
pas parallle au champ lectrique. La susceptibilit lectrique (c'est son nom)
n'est donc pas un scalaire, mais un tenseur (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
matrice, dont les lments sont
ij
Ei
ou
Pi .
La reprsentation de
est une
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
propre, indpendemment de comment nous les mesurons. Ceci veut dire que dans
direntes bases, les
composantes
des vecteurs,
Ei
et
Pi
ij
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.
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.
base 3 :
dans la
galaxie. Les deux 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
et
donc les calculs y sont trs simple. La base 3 n'a jamais t utilis ma connaissance pour faire
de l'optique.
195
R3 ,
u(x, y, z) = (u1 (x, y, z), u2 (x, y, z), u3 (x, y, z) ) . Si nous connaissons la valeur de
(x0 , y0 , z0 ), la valeur de la fonction au point (x0 + dx, y0 +
dy, z0 + dz) est u(x0 , y0 , z0 ) + du, o
la fonction au point
du = D.dr
la relation ci-dessus n'est pas autre chose que
d'une seule variable et le tenseur
(14.4)
du = u (x0 )dx
Dij =
o nous avons remplac les coordonnes
ui
xj
x, y, z
par
x1 , x2 , x3
plus pratique). Remarquez qu' priori, nous n'avons rien fait d'autre que d'crire
le dveloppement l'ordre 1 de chaque composante
ui
et de regrouper le tout
sous forme d'une 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.
Ej
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
Pi = ij Ej .
ij = ijkl kl (peut
u(x, y, z)
que nous
avons dni ci-dessus (ou plutt sa version symtrise) est appel dans ce cas le tenseur des
dformations et constitue le socle de la thorie d'lasticit.
196
ij =
ijkl kl
l=1 k=1
dans la base
pji xj
et
pij xi
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.
197
un
vecteur en sortie :
A : E1 E1 E2 .
deux
vecteurs en
l'application
A(x, y)
A(x1 + x2 , y)
A(x1 , y) + A(x2 , y)
A(x, y1 + y2 )
A(x, y1 ) + A(x, y2 )
, R. A nouveau, pour faire des calculs, nous nous donnons une base, et
A doit tre donn par trois indices aijk (une matrice trois dimensions
vous voulez : ligne, colonne,epaisseur). Si z = A(x, y), alors la relation entre
cette fois,
si
zi = aijk xj yk
Reprenons notre exemple de fonction
u(x1 , x2 , x3 )
plus haut.
introduire dj les formes linaires, mais attendre le produit scalaire pour parler
de l'espace dual.
x1 e1 + ...xn en = xi ei
{e1 , e2 , ...en },
nous
x =
(x1 , ...xn ).
2), il sut de connaitre l'action de cette application seulement sur chaque vecteur
de base
Ae1
Ae2
(14.5)
...
Aen
est
alors carr. La 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.
198
Aei = aji ej
i = 1, ..., n
(14.6)
Aei
colonnes
aij ,
y = Ax
nous pouvons
(on ne le prcisera
Ax
xi Aei
=
i-me
A(xi ei )
=
La
xi aji ej
composante du vecteur
yi = aij xj
(14.7)
Ceci est bien sr la rgle selon laquelle il faut multiplier la i-me ligne de la matrice
(14.6) : cette fois nous sommes en train de sommer sur le deuxime indice tandis
que dans la relation (14.6), nous sommions sur la premire indice. On dit que
les composantes d'un vecteur varient de faon
sens contraire la variation des vecteurs sous l'eet d'une application linaire. Le
7
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.
plus reprsenter
peut
dans
tous
les
couples
sur
vecteurs de base :
et
et sa colonne par
j.
199
z =
sur n'im-
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.
nk
coecients que
), mais nous gagnons notre 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.
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
vecteur
tourn les axes de la premire base de 45 degrs pour obtenir la deuxime base,
l'application
dans la base
{fi },
ei
il sut, comme nous l'avons dit plus haut (relation 14.5), d'crire les vecteurs
comme des combinaisons linaires des vecteurs
ei = pji fj
200
fi
pij ,
fi
comme
xi ei
= xi pji fi
Si nous dsignons par
xi
avons
xi = pij xj
(14.8)
Vous avez peut tre remarqu la beaut de la relation ci-dessus : les composantes
du vecteur
Px
{e} !
{f }
{e} ;
{f }
obtenue par
dans
-45
{e},
aij
d'un
P = P21 .
Q = P 1 :
{f }
fi = qji ej
Connaitre l'application
chaque vecteur
fi .
dans la base
{f },
sur
Allons-y :
Afi
= Aqji ej
= qji Aej
= qji akj ek
= qji akj plk fl
201
aijk
et
aijkl
ij
kl yi xk .
l tous les indices en bas, mais 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.
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.
Nous rentrons maintenant dans le vif du sujet. A l'espace
un espace dual
E des
E,
nous associons
l'autre cot du mirroir. Par forme linaire, il faut entendre l'espace de toutes les
le sens qu'on lui donne) et de plus, E a la mme dimension que E . (cf exercice
plus bas). E est l'espace des vecteurs contravariants comme nous allons le voir,
fonctions
faon linaire :
mais retenez l'image du mirroir : quand vous tournez vers la gauche, votre image
dans le mirroir tourne vers la droite.
202
E.
produit scalaire <, >, c'est dire une application bilinaire qui a deux vec-
teur de
alors nous pouvons crire le produit scalaire de n'importe quel deux vecteurs
x, y = gij xi y j
o
xi et y j
sont les composantes des deux vecteurs. N'oublions pas que le produit
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
203
de premier ordre
mthode 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
sont
des fonctions 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 uf (s)g (u)
(15.2)
(15.3)
(15.4)
(15.5)
t u + P (s)s u =
(15.6)
204
L'quation (15.6) , qui est une EDP de premier ordre homogne, a comme
solution
reste indtermine. Son choix dpend des conditions initiales imposes au systme.
Exemple
2
t p = x (kxp) + Dx p
(15.7)
p(x, 0) = (x x0 )
(15.8)
l'instant
l'abscisse
x,
p(x, t)
de
p(x, t)
x0
l'instant
t = t0 .
Soit
(s, t)
la transforme
(s, t) =
t + kss = Ds2
(15.9)
avec la CI
(s, 0) = eisx0
(15.10)
P (s) =
W (s) = log(s)/k . Les
L'quation (15.9) est une EDP de premier ordre similaire (15.1), avec
ks
et
alors
et
f (s)
exp(Ds2 /2k)
(15.11)
u(s, t)
s exp(kt)
(15.12)
(s, t)
(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
donne :
(s, t) = exp
Ds2
(1 e2kt ) + isx0 ekt
2k
205
g,
ce qui
la densit de probabilit
connat
p.
<X>
< X2 >
Problme 1.
=
=
|s=0
s
2
x2 p(x)dx = 2 |s=0
s
xp(x)dx = i
p(n, t)
l'instant
t.
p(n, t)ens
(s, t) =
n
Calculer
p(n, 0) = n,n0 .
n0 , dont les taux de mort et naissance sont gaux et valent . Calculer < n(t) >et
V ar(n(t)).
Nous verrons que l'quation matresse dans ce cas s'crit :
t,
(15.14)
d'avoir la taille
p(n, t)ens
(s, t) =
n
206
(s, t).
(s, t)
(15.15)
(s, t)
tant la
cette surface, nous aurions dj une trs bonne connaissance de la solution (voir
(s, t).
fonction
(ds, dt)
reste constante ? Quelle doit tre le rapport entre le dplacement dans la direction
ds
en fonction de
(ds, dt)
est
d = (s )ds + (t )dt
En comparant cette expression (15.15), nous voyons qu'il sut de choisir
P (s, t) et dt proportionnel
d = 0, il sut de choisir
proportionnel
dit, pour avoir
R(s, t)
ds
dt
=
P (s, t)
R(s, t)
pour que
d = 0.
ds
Autrement
(15.16)
W (s) t
de rsolution.
Exemple.
L'quation
sds + tdt = 0,
par
sur
l'origine.
Trs bien, nous connaissons les courbes de niveaux. Mais pour vraiment connatre
207
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
initiale
(s, 0) = I(s),
(t, s).
sur
(s, t).
1. D'abord, nous trouvons les courbes caractristiques, qui sont une famille de
s0 ,
(s0 , 0)
au point
(s, t) est la valeur que prend la condition initiale au point (s0 , t0 ), o (s0 , t0 )
et (s, t) sont sur la mme courbe de niveau, autrement dit, s0 = g(s, t).
Autrement dit, (s, t) = I(g(s, t)).
(x, t) = f (x + ct)
1. Il faut mettre beaucoup de bmol dans ce que nous disons. D'abord, il peut y avoir une
exemple, le point focal d'une lentille est un tel point. Dans l'quation
caractristiques sont donnes par
s = at
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
208
/t = 0
c2 2 /x2
se factorise en
(cx t )(cx + t ) = 0
Si
est solution de
cx t = 0
ou de
cx + t = 0,
alors
est solution de
l'quation d'onde.
15.3 Gnralisation.
A partir de l, nous pouvons gnraliser notre analyse l'quation
(s, 0) = I(s).
le long
des courbes est donne par une quation direntielle ordinaire. Supposons que
=
=
(P s + Rt )(dt/R)
=
Donc, le long de ces courbes,
dss + dtt
(Q/R)dt
Q(s, t, )
d
=
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).
2. Rsoudre l'quation direntielle
la condition initiale
Exemple.
Rsoudre l'quation
(s, 0) = I(s).
(0) = I(s0 ),
s + P (t)t = Q(t)
cette quation.
2. Pour tre plus gnral, nous aurions du crire
209
f (s, t, s0 ) = 0
dans
primitive de
1/P (t),
( la fonction
Q(t)
d
=
dt
P (t)
Si nous appelons
A(t)
une primitive de
Q/P ,
(t) = C. exp(A(t)).
Toutes les courbes passant par
s)
ont la forme
et le
t. La caractristique passant par le point (s, t) passe par le point (s0 , 0) o
s0 = W (t) s W (0). La solution complte de l'quation s'crit donc comme
210
ux
circulation
dans
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
1. Et cela par un malentendu qui fait correspondre un vecteur aux produit vectoriel dans le
cas des espaces trois dimensions.
211
1formes.
Une 1-forme est une application linaire qui agit sur un vecteur et produit un
nombre. Le lecteur est probablement habitu dj ce concept : en notation matricielle, les (vrais) vecteurs sont reprsents par des colonnes (vecteur colonne) ;
ceci dit, nous avons galement des vecteurs
lignes.
un vecteur
revient
pour produire un
qui dpend de la base choisie. Les vecteurs sont des objets gomtriques qui ne
2
Pour dvelopper notre thorie, c'est quand mme pratique de ce donner une
base. Prenons pour simplier les choses un espace
nous donnons trois vecteurs indpendants
ex , ey
plat
et
ez .
3 dimensions, o nous
N'importe quel vecteur
az ez
o les coecients
ay
v = ax ex +ay ey +
De la mme faon, nous pouvons nous donner une base dans l'espace des formes
et crire une 1-forme
ici que les mathmaticiens ont introduit une notation qui peut paratre droutant
3
aux physiciens , mais qui s'avre extrmement fconde. Il existe par exemple un
(unique) 1-forme
tel que
212
Dans
l'espace
reprsenter
les
dimensions,
1une
de
niveau
pour
certaines
1-formes.
Pour
ces
1
1
sous l'action des forces), nous pouvons dnir un champ de 1-forme comme par
exemple
P1 P2 ,
(h, k)T ,
(x0 , y0 ),
P0
alors
ce que l'on entend par l'intgration des 1-formes le long d'un chemin
deux
points
6. Il existe une dierence entre un vecteur abstrait, c'est dire un objet appartenant un
espace vectoriel, et un vecteur gomtrique reliant deux points
fortement connect, mais dirent.
213
P1
et
, un chemin C et N +1 points le
(P0 = A, P1 , ...Pi , ..., PN = B ).
long de la courbe
Nous dnissons
(Pi Pi+1 )
= lim
i=0
En clair, nous appliquons le 1-forme tous les petits vecteurs dont l'union
constitue le chemin. Remarquez que nous avons transfr, pour l'intgration ici
le poids du petit des formes aux vecteurs.
= f (x, y)dx+
C . Nous pouvons donner l'quation de la courbe sous forme
paramtrique x = x(t) et y = y(t) pour t [a, b]. Nous avons alors, selon les op7
rations classiques de l'analyse , dx = x (t)dt et dy = y (t)dt. Nous avons alors
Ceci dit, comment faire l'intgration concrtement ? Soit la forme
g(x, y)dy
et le chemin
Exemple.
Intgrons la forme
= ydx + xdy
1 parcouru dans le sens positif. Nous pouvons paramtriser le quart de cercle par
x = cos t
et
y = sin t
pour
t [0, /2].
/2
=
C
ydx + xdy
L'intgration de
0
le long du meme chemin nous donnerai
/2.
= adx + bdy
f = (a, b)T .
f .ds
C
o
ds
16.4 les
nformes
et les
nvecteurs.
214
peut
e1 e2
orient 8 .
ee =
e1 e2
= e2 e1
n=
n
2 . Un hasard malheureux (ou heureux, selon les points de
3, l'espace des bi-vecteus est de dimension 3 galement. Une
vecteur
Ainsi, la 2-forme
constante peut-tre vue comme un ux ; appliqu une surface, cela produit le
ux travers cette surface.
kformes.
Tout ce que nous avons dit sur les 1-forme se gnralise aux
appelerons un
ksurface
k -formes. Nous
k variables. Une
courbe par exemple est une 1-surface, une surface au sens habituel est une 2-
n dimensions,
kforme sur un
lments ports par des kvecteurs
en
petits
= lim
D
8. L'opration
(ai )
i=0
entre
215
dx
et
dy .
D.
variables
(u, v) D R
dx =
el l'lment
dxdy
dxdy =
Or, comme
a
a
du +
dv
u
v
a
a
du +
dv
u
v
dudu = dvdv = 0
et
dxdy =
b
b
du +
dv
u
v
dudv = dvdu,
a b
a b
u v
v u
dudv
et ainsi pour les autres lments. La parenthse reprsente bien sr ce que nous
appelons un Jacobien, c'est dire le determinant de la matrice des drives.
dx,dy ,dz
aux
du,dv
circulation
f = (fx , fy , fz )T .
Sa circulation
C=
f .dt
C
dt
P,
et
f .dt
reprsente le
216
f = fx dx + fy dy + fz dz
et la circulation est
simplement
C=
C
De mme, le fulx
est dnie
par
f .n.dS
(16.1)
dS
lment, et
(16.2)
S
La dnition habituelle du ux en analyse vectoriel est problmatique cause de
la dnition du vecteur
pformes
pforme
en une
cela vaut zero et on ne s'en occupe pas ; enn, on arrange de faon cohrente les
divers
dxdz ,
... Cela sera sans doute plus claire travers des exemples. Dans les
Exemple 1.
Soit la
Alors, trivialement,
f.
217
Soit la
La
d[A(x, y, z)dx]
= (A/y)dxdy + (A/z)dzdx
Nous somme pass de la premire ligne la seconde en notant que
nous avons rarrang le
dydx
en
dxdy .
(16.3)
(16.4)
dxdx = 0
et
Vous avez bien sr reconnu ce qu'en analyse vectoriel nous noterions par une
rotationnelle. Il sut, pour reconnaitre les notations habituelles, de remplacer
par
Fx , B
par
Fy
et
par
Fz .
Exemple 3.
Soit la
Fx
et
par
Fy
par
Fz , B
Nous voyons donc que les divers oprateurs direntiels de l'espace trois dimension ne sont que des formes dguises de la drivation (extrieure) des formes
direntielles. C'est pour cela que le gradient, associ une
est intgre sur une surface (on calcule toujours le ux d'une rotationnelle
travers une surface) ; enn, la divergence, associe une
3forme
est toujours
intgre dans un volume. Noter galement que les 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 avoir 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.
218
un point
autour du
vecteurs. Appelons
a b,
de
et faisons
et
comme la
def
d(a b) =
2forme
qui, appliqu
0.
plus haut calcule explicitement la deux-forme. Voyons cela de plus prs. Prenons
(P1 P2 ) + (P3 P4 )
=
=
En calculant l'application de
nalement que
=
C
f
g
x y
(4hk)
P,
a b.
nformes. Pour la
applique
et calculons la somme
toutes ces surfaces (correctement orientes). Il existe une 3-forme qui, applique
au tri-vecteur en question, produit le mme nombre et correspond bien sr
notre
d .
Lemme de Poincarr.
Ce lemme est quelque chose de tellement vident qui n'a pas mrit le nom de
thorme ; ceci dit, nous l'utilisons constemment dans divers contexte en lui donnant des noms dirents (par exemple les deux premieres quations de Maxwell).
Le voici :
d(d) = 0
Driver deux fois une
kforme
produit la
(k + 2)forme
f (x, y)
219
df
d2 f
f
f
dx +
dy
x
y
2f
2f
+
yx xy
dxdy = 0
Ceci a un caractre trs gnral : quelque soit la forme que vous prenez, en la
drivant deux fois, vous tombez sur des expressions ou nous avons des drives
secondes croises qui apparaissent deux fois avec des signes opposes.
Si par ailleurs, le lecteur a bien compris la signication gomtrique de la
drivation extrieure, il n'aura pas de mal dmontrer le lemme de faon gnrale,
sans faire appel aux coordonnes.
Exercice.
Dmontrer pourquoi en calcul vectoriel, nous avons les identits
( f)
div(
u)
Changement de variable.
Une des beaut des formes direntielles est la facilit qu'elles ont grer les
changements de variable, de faon presque automatique. Prenons par exemple la
forme
= dxdy
x = r cos
dx = cos dr r sin d
et donc
= rdrd.
; y = r sin
; dy = sin dr + r cos d
juste une question de multiplication propre des formes. Cet exemple nous sert
galement illustrer que la drivation extrieure est indpendant du systme de
coordonnes choisi. En systme cartsien, nous avons par exemple
= (xdy ydx)/2.
= d
= (1/2)r2 d
et nous voyons bien que
d = rdrd.
Exercice.
220
1 2 = (1)deg(1 ) 2 1
Exercice
Dmontrer, en analyse vectoriel 3 dimensions, que
1.
(y A1 + x A2 ) dxdy
(z A2 + y A3 ) dydz
(z A1 x A3 ) dzdx
Nous avons pris la peine de sparer les direntes contributions selon les conventions usuelles
10
dt
E = V t A
10. En donnant les indices 0 3 nos coordonnes, nous avons simpement quelque chose du
genre
221
(i, j)
et
dt)
n'est pas
Bx = z A2 + y A3 ; ...
ou encore, crit dans les notations pedestres :
B=
Sparer ainsi les coordonnes temporelles et spatiales nous oblige alourdir inutilement nos notations, et pire, nous aveugler devant des vidences. Par le lemme
de Poincarr, nous avons
d2 A = 0
En sparant pniblement les divers coordonnes, nous obtenons ce que l'on appelle
les deux premires quations de Maxwell.
Voyons cela de plus prs. Dans la drivation de
termes de la 2-forme
=0
dxdydt,
..., nous
trouvons trois autres identits que l'on crit, en notation vectorielle, par
E = t B
Un peu plus de travail sur les formes direntielles nous montrerai que les deux
autres quations de Maxwell s'crivent comme
d(dA) = 0 (J)
o
et
est
J est
= dt + j1 dx + j2 dy + j3 dz .
222
(16.5)
( le point
=
S
o
est une
(p 1)-formes.
(16.6)
fonction (une 1-forme) le long d'une courbe ferme est gale l'intgrale de la
rotationnelle de cette fonction (la
2forme
par cette courbe. En ralit, c'est ce thorme que les physiciens appelle thorme
de Stockes
rotf .ds =
S
f .dl
(16.7)
Mais nous n'avons pas nous limiter l. Le ux d'un champ de vecteur travers
une surface
3forme
(une
2forme
f .ds =
S
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
(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.
223
La dmonstration suit
f g dx = [f g]I
I
f gdx
I
(d1 )2
d(1 2 ) (1)deg(1 )
1 (d2 )
S
1 2 (1)deg(1 )
=
S
1 (d2 )
S
n T
f = (f , f , ...f )
f =
(x1 , x2 , ...xn ),
(f1 , f2 , ...fn )
f i = fi .
sans trop nous arrter au dtail. Une fois tabli cette association, nous pouvons
tablir l'association entre les
kvecteur
et les
kformes
en utilisant simplement
Exemple fastidieux.
f = (f 1 , f 2 ) = f 1 ux + f 2 uy
(r, ), nous avons
Soit le vecteur
ux
cos ur sin u
uy
sin ur + cos u
224
en coordonnes
f r ur + f u
(16.10)
yux + xuy
s'crit
cartsiennes
f 1 = f1
f = f1 dx + f2 dy
et
f =
=
(16.11)
fr
= fr
= rf
d(u ) = 1/r.
Concept de
distance.
distance
distance.
P = (x1 + h1 , x2 + h2 , ...xn + hn )
d
par
gij hi hj
=
i,j
Les coecients
trique.
gij
gij
sont nuls si
i = j.
orthogonales,
(gi hi )2
=
i
225
2
gii = gi
tenseur m-
o les lments
et dnir
et
plat
un vecteur
12
est un objet
u = PP
P = P + u.
. Nous
Nous pouvons nous donner un produit scalaire entre deux vecteurs partant
d'un point
(x1 , x2 , ...xn ), le
(v , ..., v n ) est donne
gonales
et
u = (u1 , ..., un )
par
gii ui v i
u.v =
i=1
o les coecients
gii
dpendent du point
tachs.
Probablement, la chose la plus troublante pour le lecteur qui n'a pas dj vu un
cours de gomtrie est le fait qu'un vecteur soit associ un point. Ceci provient
du fait que la plupart du temps, un espace plat muni de coordonnes cartsiennes
ont t utilis
14
gii = 1.
valence entre les vecteurs associs dirents points et librer les vecteurs de
leurs points d'attache. En gnral, ceci n'est pas le cas.
Si nous avons un produit scalaire entre deux vecteurs, nous nous donnons
automatiquement une distance entre deux points :
d(P, P )2 = P P .P P
et nous voyons donc apparatre le tenseur mtrique
Remarquons tout de suite que la base
e1
gij .
En eet
2
ei .ei = gii = gi
12. Ceci bien sr est fortement reli au concept de vecteur comme objet appartenant un
espace vectoriel, mais ceci nous entrainerai loin du prsent chapitre. Disons que les vecteurs gomtriques reprsentent un sous ensemble des groupes de transformation des points de l'espace,
d'o la notation
PP
en point
. Dans
un espace plat, nous n'avons pas nous limiter aux points voisins pour dnir un vecteur. Dans
un espace non-plat, nous dnissons les vecteurs en un point comme les vecteurs de l'espace
tangent en ce point : imaginer une sphre et le plan tangent cette sphre en un point. Si tout
cela vous parat confus, vous avez raison, c'est vraiment trop rapide.
13. Habituellement, ces vecteurs sont nots symboliquement par
14. qu'on appelle euclidien
226
xi .
(x1 , x2 , ...xn ),
ui
nous avons
ui = (1/gi )ei
(16.12)
au point
(r, ) s'crit
(0, 1/r).
Retour sur les formes direntielles.
plus prcis aux formes direntielles. Commenons par un 0-forme, c'est dire
une fonction
df (u) = lim
(f (P + u) f (P ))
(x1 , x2 , ...xn ),
(16.13)
f (P ) = xi , c'est
point P . Si ei est le
soit la fonction
dxi (ei ) = 1
De mme, si
ui
i,
alors
Association vecteur-forme.
lui associer une 1-forme
voulons avoir
f (f ) = f .f
f . Nous souhaitons
f = f 1 u1 + ... + f n un
alors la simple application de la contrainte (16.14) nous amne
fi = gi f i
de mme, si nous appelon
g i = 1/gi ,
nous avons
f i = g i fi
227
d
et donc
grr = 1, g = r2 ,
donc
Application : le gradient.
(r, )
et
(r + h, + )
et
= h2 + r2 2
fr = gr f r = f r
et
f = g f = rf .
f (x).
vecteur
que
nes gnralises.
Nous avons
df =
f i
dx
xi
( f )i = g i
f.
f
xi
f=
Le rotationnel.
f
1 f
ur +
u
r
r
f (x).
Trouver le vecteur
f=
et donc
(gj f j ) (gi f i )
xj
xi
df =
i=1
o nous avons pos
A la 2-forme
df ,
gi f i dxi
dxi dxj
=
i=1
1
gi gj
(gj f j ) (gi f i )
xj
xi
u1 u2
f =
o
1
gi gj
(gj f j ) (gi f i )
xj
xi
k = i + 2(mod)3.
228
uk
n1
f u2 u3
g1 g2 f 1 dx2 dx3
forme. En analyse
f = f 1 u1 +...En faite,
divf =
1
x1 g1 g2 f 1 + ... u1 u2 u3
g1 g2 g3
1.
de l'espace. Bien sr, un 3-vecteur ne peut pas valoir un scalaier, mais l'espace
des 3-vecteurs est de dimensions 1, et nous les associons donc aux scalaire.
drive seconde, mais nous ne pouvons videment pas l'utiliser tel quel, puisque
d'aprs le lemme de Poincarr, pour une
kforme , d(d) = 0.
L'oprateur de
appelons
volume.
nforme
nforme
k -forme.
xi ,
la
= dx1 ...dxn
Insistons nouveau : cette
nforme
base, elle s'crirait autrement. Une fois qu'on la xe, on xe en ralit la gometrie
de notre espace
15
= gdx1 ...dxn
o
g = g1 g2 ...gn
L'oprateur de Hodge
une
(n k)forme
telle que
() =
15. Se donner la
nforme
229
n=3
g = 1.
dx
dzdx
dz
Nous voyons alors que
dydz
dy
i
=
=
dxdy
dx (dx ) = 1dxdydz
pour
i = 1, 2, 3.
La seule petite
complication est de bien grer le signe, c'est dire le degrs de permutation que
cela nous impose. Prenons maintenant une fonction
0forme.
f (x, y, z),
df
df
d(df )
d(df )
f
f
f
dx +
dy +
dz
x
y
z
f
f
f
dydz +
dzdx +
dxdy
x
y
z
2f
2f
2f
+ 2 + 2 dxdydz
x2
y
z
3-
S=
{dA(dA) + A()}
(16.15)
V
o
est la
variation sur
d(A) =
ce qui constitue les deux dernires quations de Maxwell (voir exercice).
230
16
conservatif s. La
le quelque
dxdydz , l'quation
de conservation s'crit
/t + divJ = 0
(16.16)
v(x)
la vitesse du uide et
17
en un
d'une
(la chaleur diuse du chaud vers le froid, l'encre se dilue dans l'eau,...)
J = Kgrad,
l'quation de diusion
/t = K
d = 0
A 3+1 dimensions (ou plus si anit), il faut considerer la forme
Problmes et exercices.
Primtre et surface.
Soit
C.
Dmontrer que
nous avons
A = (1/2)
xdy ydx
C
16. 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.
17. Cela se dmontre facilement en physique statistique et s'appelle la rponse linaire.
18. 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.
231
A=
f (x)dx
a
x?
an cos(n)
r() =
n=0
dont
un
exemple
1. Dmontrer que
et
est
donne
par
la
gure
2
cos2 (n)d = si n = 0
0
0. De mme, dmontrer que
2 si n =
cos(n) cos(m)d = 0
2
0
si
1.5
1.0
m = n.
0.5
= dxdy
= (1/2)(xdy ydx).
1.5
16.2.
1.0
0.5
0.5
1.0
1.5
0.5
1.0
3. Donner l'expression de
et
en coordonnes
1.5
polaires.
4. Vrier qu'en coordonnes polaire, nous avons
bien
= d .
par
donne
l'quation
r = 1 + (1/2) cos(4) +
(1/5) cos(16)
A = (a2 + (1/2)
0
a2 )
n
n=1
Volume.
dxdydz
drive de la 2-forme
1
(xdydz + ydzdx + zdxdy)
3
en dduire le volume d'une sphre, d'une ellipsoide de rvolution et d'une ellipsoide gnrale.
232
D'Alembertien.
Dans l'espace-temps (n
= 4),
= dtdxdydz
Etant donnes la fonction
f (t, x, y, z),
donner l'expression de
d(df ).
C'est ce
que l'on appelle couremment le D'Alembertien qui gouverne toutes les quations
d'ondes.
Equations de Maxwell.
sur
A,
intgrer par partie les formes rsultantes pour dduire les quations du
dw = 0
implique
w = d?
d(df ),
df df
et
d(df ) = 0.
Eventuellement, si
possible, faire le lien avec le chapitre prcdent et le calcul des surfaces minimales.
Peut tre faire une vague intro la gometrie des surfaces et la relation avec
les courbures.
Faire le lien avec les tenseurs antisymetriques du prochain chapitre.
233
discrtisons
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 = f (x)
(17.1)
y1 y0
x.f (x0 )
y2 y1
x.f (x1 )
...
yN yN 1
...
=
234
x.f (xN 1 )
algbriques
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 exemple
y0 = a.
1
1
0
0
1
1
...
0
..
1
..
...
... 1
0
0
0
Ay = f .
y1
y2
.
.
yN
a + x.f (x0 )
f (x1 )
.
.
f (xN )
puissance des techniques d'oprateurs linaires pour rsoudre le problme diffrentielle. Vous voyez galement les direntes gnralisations possibles. Si par
exemple, nous avons une quation de seconde ordre, nous n'obtiendrons alors que
N 1
quations pour
N +1
deux
quations aux bords, et ainsi de suite pour 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
yn
valeurs des
yk
1
k(yn+1 yn )2
2
(17.2)
riables, pour tre extremum, il faut que sa drive par rapport chaque variable
soit nulle. Considrons la n-ime boule. Dans l'expression de l'nergie sous la
somme, il y a seulement deux termes qui contienne la coordonne de
235
yn
qui sont
Y
k
(a)
(c)
(b)
et
(yn+1 yn )2 . La minimisation de U
par rapport
yn
U
= k(2yn yn1 yn+1 ) = 0
yn
donne donc :
(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
d 0 et N + pour retrouver
x = nd devient continue, de mme que la fonction y(x).
Comme yn = y(xn ) = y(nd), nous avons, par un simple dveloppement de Taylor,
yn+1
yn1
dy
dx
yn +
dy
yn
dx
1 d2 y
2 dx2
x=xn
1 d2 y
d+
2 dx2
x=xn
x=xn
d+
x=xn
d2
d2
d2 y/dx2 = 0.
y = 0
o l'oprateur
(17.4)
l'quation de Laplace
tion d'une certaine nergie. C'est exactement cette approche qu'Euler a utilis
pour dvelopper le calcul variationnel et qui a donn lieu aux quations d'EulerLagrange.
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.
236
i.e.
de l'espacement
U=
n
N boules relies
k et un espacement d (g. 17.1.c), nous aurions
U = (Y 2 /L)k d . Comme U ne doit pas dpendre de notre
kd
k=
La constante de ressort
microscopique
K
d
(17.5)
K,
(1/2)
(1/2)
K
y (nd)2 d2
d
Ky (x)2 dx
quand
d0
( /2)| V |2 d . V
( /2)|E|2 d =
) g-
dplacement, et
la rigidit du systme est donne par le module d'Young . Dans le cas des gaz,
nous somme en prsence d'un champ de
pression
et
de compressibilit.
237
m. Nous pouvons
F = ma pour chaque
2
2
boule. L'acclration de la n-ime boule est donne par d yn /dt . La force sur
la n-ime boule tant gale au gradient du potentiel, i.e. Fn = U/yn , nous
m
Comment
d2 yn
= k(2yn yn+1 yn1 )
dt2
(17.6)
2y
t2
=
=
(K/d) 2 y 2
d
d x2
K 2y
x2
(17.7)
K/
Nous pouvons maintenant aborder plusieurs gnralisation. Si les boules baignent en plus dans un liquide , il faut tenir compte de la force de dissipation
visqueuse qui est proportionnelle (et oppose) la vitesse, et donc
L'quation d'onde devient alors, lors de la passage la limite
En lectromagntisme,
dyn /dt.
d 0,
y
2y
2y
+
=K 2
2
t
t
x
verse de 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
238
tout de suite la raideur 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
U=
n
x.
Vn
x,
elle
la constante du
1K
2
(yn+1 yn )2 + d.Vn yn
2 d
Il ne sera pas alors dicile pour le lecteur de dmontrer que l'quation d'onde
s'crira
2y
2y
= c2 2 V (x).y
2
t
x
3. Mme si la conception de la chaleur comme un uide de calorique tait populaire jusqu'au dbut du XIXme sicle.
239
nombre dans
un autre. Nous nous 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 les nombres rationnels. Nous munirons alors notre ensemble d'une
topologie et construirons soit l'ensemble des nombres rels, soit celui des nombres
p-adiques.
diant. En langage profane, cela veut simplement dire que l'on va dnir
tances,
la notion
d'tre proche.
les dis-
quelle nous sommes habitu depuis notre tendre enfance nous dit par exemple
que 4.3 et plus
proche
avant
et
aprs
nous sura.
N.
de faire des mathmatiques, nous devons dnir exactement ce que ces termes
veulent dire. Voil les axiomes de Pano.
1.
0 N1
1. Grand dbat philosophique pour savoir si il faut commencer par 0 ou par 1. Cette question
240
juste aprs ).
x = s(x) N
appel
0 n'est le successeur d'aucun nombre (cela nous enlve le danger des cycles).
4. Si
Si
Alors
x,
alors
s(x)
est valable pour tous les nombres entiers (cela entre autre nous
N = {0, 1, 2, ...}.
+. C'est une application
x+0 = x
et
x + s(y) = s(x + y)
. Par exemple, et
x + 1 = s(x) 2 .
tivit, 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 troi-
<
et
>,
et
Q.
N.
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.
2. Notez comment l'operation
+1
241
xy = z
y+z = x
comme l'inverse de
l'addition, c'est dire que l'addition de n'importe quel deux nombres est encore
qui est ferm pour l'opration de division. Notez que nous avons
pas vraiment dnit comment on aggrandit nos ensemble, cela alourdirait trop
3
ce texte .
L'ensemble
Q 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
il n'est pas
algbriquement
x2 2 = 0
Q. Par exemple,
2+
3 + 17 253. A t'on puis tous les nombres ou existe t'il des nombres non-
transcendants ?
ou le nombre
A = NN, c'est
(x, y) o x et y sont des entiers naturels. Nous dnissons
une relation d'quivalence (x, y) = (x , y ) si xy = x 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
3. Voyons rapidement la construction des rationnels. Considrons l'ensemble
242
k45
d(a, b) 0
d(a, b) = 0
2.
3.
a, b, c k ,
et
a = b.
si et seulement si
(l'ingalit du triangle).
lue. Supposons que nous disposons d'une valeur absolue sur un corps k
avec les
proprits suivantes :
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
|a b|.
d(a, b) =
est
|x| = x
si
x0
et
seule valeur absolue possible, nous en verrons des exemples plus bas.
Comme nous l'avons dit, ds que nous disposons d'une distance, nous pouvons
est la limite de
alors
d(a, an ) <
an si
pour tout
Q,
Q,
tel que si
n>N
tel que si
n, m > N
alors
convergente.
Cela nous pose un nouveau problme : la limite d'une suite dans un corps
n'a
aucune raison d'appartenir au mme corps. Mais nous pouvons continuer notre
procdure d'enrichissement et considrer un ensemble qui contient
et le corps k et
toutes les limites de toutes les suites convergentes. Nous verrons ci-dessous deux
4. Rappelons qu'un corps est un ensemble, muni des deux oprations
et
et ferme vis
vis d'elles.
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.
243
padiques.
Q.
beaucoup (vraiment beaucoup) de ces suites n'ont pas leurs limites dans
Q.
n
n=0 (1) /n! n'est pas
un nombre rationnel. Pour voir cela supposons qu'il l'est et ecrivons le comme
Exemple 1.
p/q .
Le nombre
1/e,
et le reste :
p
=
(1)n /n! + Rq
q n=0
Comme nous avons aaire une srie alternative convergente, le reste est plus
petit que le dernier terme :
par
q!.
plus
un terme plus
petit que l'unit. Le cot droit n'est donc pas un entier naturel. Notre hypothse
de rationnalit de
1/e
an
et
bn
a, b R,
et
convergeant vers
et
a + b = lim(an + bn )
b.
C).
est
vraiment plus riche 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
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
nombre transcendant. Sa
dmonstration se 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.
244
p/q
px q = 0.
a0 + a1 x +
... + an xn (an = 0). Nous appelerons hauteur de ce polynme le nombre H =
n 1 + |a0 | + |a1 | + ...|an |. Il existe un seul polynome de hauteur 1 : x. Pour
H = 2, nous avons les polynmes suivants : x2 ; x 1. Pour H = 3, x3 ; 2x2 ;
x2 x ; x2 1 ; 2x 1 ; x 2 et ainsi de suite. Le fait intressant est que le
nombre de racines de tous les polynomes d'un hauteur H est ni ( Combien y'en
Considrons maintenant un polynome coecient entier du genre
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,...
r0
r1
r2
...
r construit partir des dcimaux diagonaux : r =
0.a00 a11 a22 ... et construisons un nombre r partir de r en changeant chacun des
dcimaux de r d'une faon quelconque. Il est alors facile de voir que r ne peut
Soit maintenant le chire
entre
inniment petits.
245
quelque soit
n N.
tel que
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
partir de
Q.
|x + y| max{|x|, |y|}
p4 :
nous l'appelons
3, puisque
p.
n = pvp (n) n
o
p n
5, nous avons
50 2
51 1
50 6
150
52 6
inniment.
246
padique
2.
vp
d'un nombre
vp agit un
padique
par
padique
d'un nombre est infrieure ou gale 1 ; (ii) plus un nombre est di-
visible par
p,
0.
soin de dmontrer que cette valeur absolue en est vraiment une, et qu'en plus,
elle est non archimedien. Nous pouvons en plus dmontrer que si
x = y,
alors
l'ingalit ultramtrique.
Notons combien cette distance est dirente de la distance habituelle. Prenons
|x z|
Comme nous disposons d'une distance, nous pouvons dnir les suites et leur
convergences, et fermer
Qp .
l'analyse exactement 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
|an |p 0
247
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 plemle quelques livres que j'ai eu entre les mains et que j'ai trouv particulirement
intressant pour des tudiants de niveau L3-M2.
en plusieurs volumes, allant des mathmatiques lmentaires aux sujets les plus
avances.
L'auteur y d-
F.W. Byron & R.W. Fuller, Mathematics of classical and quantum physics.
Le livre que chaque tudiant de physique devrait avoir lu.
Un aperu
grand 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.
248
19 Bibliograhie.
H. M. Edwards, Advanced Calculus : A Dierential Forms Approach.
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 tudiants avancs de mathmatiques, o l'expos est noy sous
des tonnes de thorme-dmonstration. 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 :
249