Fonction Dirac
Fonction Dirac
Fonction Dirac
3. Fonction de Dirac
1. Fonctions fortement piquees. La fonction delta de Dirac
1.1. Exemple en electrostatique
O 1/2 -1/2
n = 8
n = 4
n = 2
!
n
(x)
x
Figure 1
n = 1
Considerons, sur une droite, une suite de densites de charges
n
(x) representees
par (Fig. 1)
n
(x) = n(nx), (1.1)
o` u (x) est la fonction porte, denie par :
(x) =
0, |x| 1/2
1, |x| < 1/2.
(1.2)
32 Chapitre 3 : Fonction de Dirac
Lintegrale de la fonction
n
(x), qui represente la charge totale en electrostatique,
est independante de n :
n
(x) dx = 1. (1.3)
Lorsque n tend vers linni, la charge totale, qui est restee egale `a lunite, est cepen-
dant enti`erement concentree `a lorigine. On a obtenu une charge unite ponctuelle
`a lorigine.
Suivant Dirac, on peut songer `a representer cette charge par une fonction
(x) qui vaudrait
(x) =
0, x = 0
+, x = 0,
(1.4)
et telle que :
(x) dx = 1. (1.5)
Une telle fonction est cependant mathematiquement mal denie, car lintegrale
dune fonction presque partout nulle est nulle.
1.2. La fonction delta
Loperation fondamentale `a laquelle Dirac voulait soumettre (x) est levalua-
tion de lintegrale
(x)f(x) dx =
(x)f(x) dx f(0)
n
(x)f(x) dx = f(0). (2.1)
2.1. Suite de fonctions porte
Cest par exemple le cas de la suite de fonctions porte consideree au para-
graphe 1. On a en eet, en prenant
n
(x) =
n
(x) :
n
(x)f(x) dx =
1/2n
1/2n
nf(x) dx. (2.2)
En utilisant le theor`eme de la moyenne pour les integrales, on en deduit :
n
1/2n
1/2n
f(x) dx = f(),
1
2n
1
2n
. (2.3)
Lorsque n , alors 0. De la continuite de f(x), il sensuit que f() f(0).
On a donc le resultat (2.1).
2.2. Autres exemples
On souhaite construire dautres suites de fonctions possedant `a la limite la
propriete de ltrage, notamment des suites de fonctions qui soient continues et
dierentiables (ce qui nest pas le cas des fonctions porte). Les exemples les plus
couramment utilises sont les suivants :
suite de lorentziennes
On pose :
n
(x) =
n
1
1 + n
2
x
2
. (2.4)
suite de gaussiennes
On pose :
n
(x) =
n
e
n
2
x
2
. (2.5)
Toutes ces fonctions sont normalisees `a lunite :
n
(x) dx = 1. (2.6)
Par des raisonnements analogues `a ceux eectues au paragraphe 2.1 pour les suites
de fonction porte, on peut demontrer que les suites de lorentziennes et les suites
de gaussiennes denies respectivement par les formules (2.4) et (2.5) poss`edent `a
la limite n la propriete de ltrage (formule (2.1)).
34 Chapitre 3 : Fonction de Dirac
3. Calculs faisant intervenir la fonction delta
Le traitement de (x) en tant que fonction au sens ordinaire (ce quelle nest
pas) est un raccourci commode permettant dobtenir des resultats qui dependent
de certains processus de passage `a la limite. On peut developper les r`egles de ce
calcul par des operations formelles, en partant des proprietes suivantes :
0, x = 0
+, x = 0,
(3.2)
(x) dx = 1, (3.3)
et en ignorant, pour le moment, leur justication mathematique
1
.
Si la variable x represente une grandeur physique, cest en general une quantite
dimensionnee. Il en est alors de meme de (x), dont les dimensions sont inverses
de celles de la grandeur x.
3.1. Signication de (x a). Peigne de Dirac
On consid`ere lintegrale
(x a)f(x) dx =
n=
(x na) (3.5)
a des proprietes interessantes. Elle porte le nom de peigne de Dirac. On a :
P(x)f(x) dx =
n=
f(na). (3.6)
3.2. Changement dechelle
On cherche `a demontrer la relation :
(ax) =
1
|a|
(x), a = 0. (3.7)
1
Elle peut etre eectuee de facon rigoureuse dans le cadre de la theorie des distributions.
Representations de Fourier de la fonction delta 35
On pose ax = . On a, si a > 0 :
(ax)f(x) dx =
()f
1
a
d =
1
a
f(0). (3.8)
Si a < 0, un calcul analogue conduit `a :
(ax)f(x) dx =
()f
1
a
d =
1
a
f(0). (3.9)
Ceci demontre la formule (3.7).
4. Representations de Fourier de la fonction delta
Il est essentiel, en vue des applications dans de nombreux domaines de la
physique, de disposer pour la fonction delta dune representation de Fourier, no-
tamment dune representation en integrale de Fourier. Lecriture de cette represen-
tation integrale necessite certains passages `a la limite. Cest pourquoi nous com-
mencons par ecrire une representation en serie de Fourier.
4.1. Representation en serie de Fourier
On part de la fonction porte (ou impulsion)
a
(x) representee sur la Figure 2.
Cette fonction est normalisee `a lunite. Elle a pour largeur 2a. Lintervalle de
denition est choisi comme etant L x L.
-L
Figure 2
x
!
a
(x)
L
1/(2a)
a -a
On rep`ete cette fonction periodiquement, la periode choisie etant 2L > 2a.
Les coecients de Fourier de la fonction ainsi periodisee sont b
n
= 0 (la fonction
n
(x) est paire), a
0
= 1/L et a
n
= (1/na) sin(na/L) pour n 1. On a donc :
a
(x) =
1
2L
+
n=1
1
na
sin
na
L
cos
nx
L
, L x L. (4.1)
36 Chapitre 3 : Fonction de Dirac
Apr`es passage `a la limite a 0, on obtient une serie de Fourier pour (x) :
(x) =
1
2L
+
1
L
n=1
cos
nx
L
, L x L. (4.2)
La serie au second membre de lequation (4.2) est divergente, ce qui nest pas
etonnant, car, si elle etait convergente, alors (x) serait une vraie fonction, ce qui
nest pas le cas.
4.2. Passage `a une representation en integrale de Fourier
On reecrit tout dabord la formule (4.2) sous la forme equivalente suivante :
(x) =
1
2L
n=
exp
i
nx
L
, L x L. (4.3)
Lorsque L , la serie au second membre de lequation (4.3) se transforme en
integrale (divergente) :
(x) =
1
2
e
ikx
dk. (4.4)
La representation integrale (4.4) de la fonction delta est largement utilisee en
physique
2
.
On peut ecrire aussi
(x x
) =
1
2
e
ik(xx
)
dk, (4.5)
ou :
e
ik(xx
)
dk = 2(x x
). (4.6)
5. Fonction delta et convolution
5.1. Denition du produit de convolution de deux fonctions
Rappelons que lon appelle, lorsquil existe, produit de convolution de deux
fonctions f(x) et g(x) la fonction h(x) denie par la formule
h(x) =
x
a
, (5.3)
la fonction (x) etant la fonction porte. Dans ce cas, la formule (5.1) secrit :
h(x) = f(x)
1
a
x
a
=
1
a
f(u)
x u
a
du =
1
a
x+(a/2)
x(a/2)
f(u) du. (5.4)
La fonction h(x) represente alors simplement la valeur moyenne de f(x) entre
x (a/2) et x + (a/2).
5.3. Passage `a la limite a 0
`
A la limite a 0, dapr`es la formule (5.4), on sattend `a avoir :
f(x) (x) = f(x). (5.5)
Ainsi la fonction apparat comme lunite du produit de convolution (convoluer
une fonction par la fonction delta ne change rien). En physique, cette propriete
secrit souvent de la facon suivante :
f(u)(x u) du =