1 épartement de Physique, Université Laval, Québec Pierre Amiot, 1. La fonction delta et certaines de ses utilisations. Clientèle Ce texte est destiné aux physiciens, ingénieurs et autres scientifiques. Il n est pas destiné aux mathématiciens. L emphase est mis sur l utilisation des fonctions delta, pas sur leurs structures et propriétés mathématiques. Qu il soit suffisant de dire ici que les fonctions delta ne sont pas des fonctions, mais des distributions dont les mathématiciens connaissent bien les caractéristiques. Nous nous contenterons de certaines de leurs propriétés. Les deltas apparaissent sous une forme discrète, dite delta de Kronecker et sous une forme continue dite de irac. C est sous la forme continue que nous devons être particulièrement attentifs à leurs propriétés de distribution. 1. La forme discrète ou le delta de Kronecker n m # n m = 1 si n = m& ( Il est simplement défini par ' % = si n " m )( * = n m m n où n et m sont souvent des indices entiers, par exemple, n, m =, 1,, 3, 4... En fait, n m peut être représenté par la matrice unité (en fait l'élément n, m, de cette matrice). Il s'agit de fait, d'une matrice puisqu'on peut utiliser le 1er indice comme indice de ligne et le second comme indice de colonne. Ainsi (si n et m vont de 1 jusqu'à 5) " 1 % ' 1 ' [ ] = 1 ' 1 ' ' # 1 & Notons quelques propriétés, qui sont surtout centrées sur le fait qu'un delta à l'intérieur d'une somme va tuer la somme, au sens où il ne restera qu'un seul terme, celui satisfaisant la contrainte imposée par le delta i) C n " n m = C m à condition que la valeur m (préfixée) tombe à l'intérieur du domaine n des valeurs de n, appelé, sinon le résultat est zéro. Le delta a tué la somme tous ii) " m n n k = m k n Le deuxième de ces résultat est équivalent à dire que la matrice unité fois (produit matriciel) la matrice unité donne la matrice unité C'est évident. iii) Une expression comme C i ij n a pas vraiment de sens. Elle prend vraiment tout son sens lorsqu on somme sur les valeurs de i, dans N C i " ij = C j i=1 iv) On doit noter que le delta de Kronecker est sans dimension.
. La forme continue ou le delta de irac en 1- : ( x " x ) a) éfinition C'est un peu la généralisation continue du delta de Kronecker avec x, une variable continue, jouant le rôle d'indice (continu), là où n et m étaient des indices discrets. On pourrait penser définir ( x " x ) = 1 si x = x = si x # x mais ce serait sursimplifier le problème parce qu'une variable continue a une "mesure" nulle i.e une probabilité essentiellement nulle d'avoir exactement une des valeurs qui lui sont permises. On est amené à définir la fonction delta d'une façon différente, ce qui en fait la prive de son caractère de fonction. a h x x Les mathématiciens appellent cela une distribution. Comme on est ici dans le domaine du continu, la somme est devenue une intégrale dans laquelle la fonction delta n'est définie que par le rôle qu'elle joue dans cette intégrale. Le delta de Kronecker tue la somme, celui de irac tue l'intégrale x # ( x " x ) f ( x)dx = f ( x ) si x x x 1, x 1 [ ] (1) on tue l'intégrale = si x %[ x 1, x ] Nous avons tué l'intégrale qui se réduit à la valeur de l'intégrant évalué au seul point permis par le delta. Contrairement à la somme, l'intégrale contient une mesure dx qui porte les mêmes dimensions que la variable x. C'est un élément important et pour rester cohérent, la fonction delta sera définie de façon à ce que x # x " x dx = 1 si x x 1, x x 1 [ ] [ ] () = si x % x 1, x On note, dans cette dernière équation, que 1 n'a pas de dimension mais que dx a les dimensions de x. Il faut donc que x " x argument, donc ait les dimensions inverses de celles de son
dim ( ( x) ) = dim( x "1 ) = ( dim( x) ) "1. 3 Il n'est pas déraisonnable d'imaginer alors une "fonction" de la façon qui apparaît sur la figure ci-dessus = lim où x " x a# h# a h=1 # f (x) x " x dx f (x )# x " x dx %( x " x ). Pour a suffisamment petit, il est clair que f (x ) 1 f (x ) où l'intégrale # ( x " x ) dx = la surface intérieure = 1 par construction. b) Quelques propriétés de la fonction delta de irac. On les comprend mieux en gardant à l'esprit que cette fonction ne contribue que là où son argument est nul et uniquement lorsqu'utilisé à l'intérieur d'une intégrale i) ( x) = + ("x) x = + est identique à x = -. ii) ( f ( x) ) = # n f ' ( x n ) x " x n où les x n sont les zéros de la fonction, i.e. f x n Par exemple ( a x) = ( x). a iii) x x l'intégration. On se permet ici d écrire x x nécessairement zéro. =, mais f ' ( x n ) =, un résultat assez évident, même si, strictement, il ne se manifestera que lors de = parce qu'intégrer cette quantité donnera ( y " a) iv) # x " y dy = x " a si le domaine d'intégration de y contient x et a. v) Une représentation très utile et fréquente de la fonction de irac est ( x " x ) = 1 + e i k ( x" x ) # % dk " Pour mieux la comprendre, il est utile de savoir faire les intégrales dans le plan complexe en utilisant le lemme de Jordan. vi) On peut aussi visualiser la fonction delta comme la dérivée de la fonction échelon de Heaviside ( x " x ) = d dx H ( x " x ), où H( x x ) est la fonction échelon de Heaviside (voir figure ci-dessous)
H( x x ) = 1 si x > x 4 = si x < x H 1 x x e plus, on peut continuer et définir la dérivée de la fonction delta, '( x " x ) = d dx ( x " x ). Elle a la propriété suivante, démontrable par intégrale par partie, #' x " x f ( x)dx = " f ' x à condition que x. c) Changement de coordonnées Imaginons un changement de coordonnées. Nous utiliserons un exemple très simple. Soit x = a u dx = adu parce que a est ici une constante. Clairement x u # ( x " x ) dx = a # ( au " au ) du =1 comme on le sait. Il est clair qu'il faut que x 1 u # au " au u du = 1 1 a possible est que au " au u 1 = a( u " u ) u mais nous savons que # u " u du = 1. La seule solution = 1 a u " u u 1. Essayons une transformation un peu plus compliquée. Soit x = u dx = udu x Ici # x " x dx = u # " u u du = 1 x 1 La solution est simple, u "u u u 1 = 1 u u " u ce qui donne x u ( x " x ) # dx = u u " u x 1 u " u # udu = u 1 # udu u 1 u u = # u " u du 1 u 1 La façon générale de noter ces résultats (sans le démontrer ici) est d'écrire que lors d'une transformation de coordonnées, x " x # ( u " u ) J où J est le Jacobien de la
5 transformation de coordonnées. Puisque sous cette transformation, la mesure d intégration se transforme comme dx J du, on aura alors # ( x " x ) dx = u " u # J du ( u " u )du = 1 J # si x u Ceux qui sont intéressés pourront vérifier que ce résultat est cohérent avec la propriété numéro ii) ci-dessus. 3. elta de irac en 3- : 3 ( r " r ) Essentiellement par définition, nous avons 3 # ( r " r ) f ( r ) d 3 r = f ( r ) si r. En système cartésien, on a simplement d 3 r = dxdydz et 3 ( r " r ) = ( x " x ) ( y " y ) ( z " z ). On vérifie dans ce cas que 3 ( r " r ) # d 3 r = # ( x " x ) dx # ( y " y ) dy # ( z " z ) dz " x # % " y # % " z # % =1 si x x =1 si y y =1si z z Qu'arrive-t-il en système non cartésien, disons par exemple en système cylindrique où l'élément de volume devient d 3 r = "d "d# "dz? oit-on alors écrire 3 # ( r " r ) d 3 r = ### ( " )(% " % ) z " z d d% dz? La réponse est NON Clairement il y a un problème, les dimensions n'étant même pas satisfaites ( un angle n'a pas de dimension). Il y a une dim qu'en coordonnées curvilignes, disons (u, v, w), que d 3 r = J dudv dw, où J est le Jacobien de la transformation cartésien > curviligne. ans ce cas, le simple critère sur les dimensions nous amène à écrire que 3 ( r " r ) = ( u " u ) ( v " v ) ( w " w ). e façon générale, nous J aurons alors u " u 3 ( r " r )d 3 r # ( ) ( v " v ) ( w " w ) J du dvdw J = ( u " u ) du ( v " v )dv ( w " w ) dw u de trop à droite. La solution est assez évidente lorsqu'on voit v Par exemple, dans le cas cylindrique où nous avons J =, nous devrons écrire 3 ( r " r ) = ( # " # ) ( " ) ( z " z ). # Nous aurons alors, en effet, 3 r " r ( " # d 3 r = ) (% "% ) ( z " z ) ### d d% d z = # " d # % " % d% # z " z dz % w z = 1 1 1 = 1 Cette façon de faire est très systématique, mais demande un peu d'attention. Prenons les coordonnées sphériques par exemple. L'élément de volume y est donné par
d 3 r = r sin drd d" = r dr d cos d" ans la première expression, les variables sont r, et ", où " #, #. On sait que le Jacobien est J = r sin. ans la deuxième expression, les variables sont r, cos et ", où 1 < cos" <, # # %. Ici on sait que le Jacobien est J = r. ans un cas comme dans l'autre, notre recette fonctionne, puisque r " r # 3 ( r " r ) d 3 r = ( ) ( " ) (% " % ) ### r sin dr d d% r sin = # r " r dr # " d # % " % d% r & & = 1 1 1 = 1 6 Alors que nous pouvons écrire aussi # 3 ( r " r ) d 3 ( r " r r = ) ( cos " cos ) % "% r ### r dr d cos d% = # r " r dr # cos " cos "1 d cos # % "% d% r & = 1 1 1 = 1 ans un cas comme dans l'autre, la présence du Jacobien permet de tout réduire à des produits de la forme (" # " ) d" % 1 si ", sinon =. 4. Exemples d'utilisation. Nous serons particulièrement intéressés par les fonction de irac dans le cadre de l'utilisation d'ensembles complets de fonctions orthogonales. a. Polynômes de Legendre On sait, par exemple que les polynômes de Legendre, P l ( x), l =,1,,3... forment un ensemble complet sur le domaine x = [1, ]. Ensemble complet signifie que toute fonction raisonnablement continue, f (x), limitée à ce domaine défini par x = 1, comme une combinaison linéaire de polynômes de Legendre f (x) = " c l P l ( x). l = [ ], peut s'écrire Tout se passe comme si f (x) était un vecteur, les P l ( x), l =,1,,3... des vecteurs de base et les c l les composantes du vecteur f (x) dans cette base. C'est RÉELLEMENT le cas et on parle d'espace linéaires, qu'ils soient vectoriels au sens habituel ou fonctionnels. ans ce dernier cas, la dimension de cet espace fonctionnel/vectoriel est infini, mais ce n'est pas là un problème conceptuel, rien ne limitant en principe la dimension d'un espace. Cela peut occasionner des problèmes pratiques, mais nous nous y attaquerons en temps et lieu. Il y a un problème très mineur avec la définition traditionnelle des polynômes de Legendre : ils ne sont pas normalisés, alors que nous sommes habitués à des vecteurs de base normalisés, comme en fait foi le produit scalaire habituel entre vecteurs (géométriques)
i ˆ (, i ˆ ) = i ˆ i ˆ =1. 7 ans un espace fonctionnel réel, le produit scalaire sera (toujours) défini par une intégrale sur le domaine, qui est ici x ["1, ]. onc ( P l, P k ) = " P l ( x) P 1 k ( x) dx = # l k l + 1. Le facteur l k indique l'orthogonalité de ces fonctions de base (les polynômes de Legendre) mais le facteur numérique est différent de un, il est égal à, ce qui nous dit que ces fonctions ne sont pas normalisées (à un). Il est l trivial d'y remédier, si on veut, en définissant une base constituée des fonctions l l ( x) = P l ( x). Elles seront orthogonales ET normalisées (on dit orthonormales) et on pourra écrire f (x) = " C l # l ( x). l = Mais...historiquement on les utilise généralement sous leur forme initiale, contrairement à ce que nous faisons ci-dessous e la même façon que dans A N = A e ˆ i i, où les composantes sont données par un produit i =1 scalaire (vectoriel) A i = e ˆ i, A e i A, nous calculerons ici les composantes de f (x) par le produit scalaire fonctionnel = ˆ = k (y) f (y) dy C k = k, f #. "1 Remplaçant dans l'expression pour f (x) donne, interchangeant somme et intégrale f (x) = %# l (y) f (y) dy "1 l ( x) = # dy f (y)% "1 l (y) l ( x). l = Si l'ensemble des fonctions de base est complet, alors le résultat du calcul à droite doit donner f (x) identiquement. Examinant le côté droit, il devient clair que cela revient à exiger que " # l (y) l ( x) = x % y l = En effet, remplaçant, l'expression à droite devient " dy f (y) # x y 1 doit. Nous avons donc un critère pour déterminer si un ensemble de fonctions, disons n ( z) pour ce faire, satisfaire tous " n ( y) n ( z) = # ( y z), pour y et z dans. l= f (x), comme il se { }, constitue un ensemble complet de fonctions sur un domaine. Elles doivent n Cette démonstration n'est pas triviale et les physiciens ont tendance à en laisser la démonstration aux mathématiciens (chacun son métier). La généralisation aux espaces de coordonnées à plusieurs dimensions est immédiate.
tous { n} r { n} " n ( r ') = # 3 r r ' { } où le symbole { n} signifie que la somme est multiple et porte sur un ensemble d'indices, puisqu'ils seront en général plusieurs (généralement un indice pour chaque dimension de l'espace de coordonnées). 8 Remarque additionnelle Nous n'avons parlé ci-dessus que d'espaces réels, impliquant des fonctions réelles. En mécanique quantique par exemple, il n'est pas possible d'échapper aux fonctions complexes. ans le cas où les fonctions sont complexes, le produit scalaire prend la forme plus générale ( r ), "( r ) = # ( r ) "( r ) d 3 r, où # ( r ) = complexe conjugué de ( r ). Clairement cette définition recouvre celle que nous avons utilisée pour les fonctions réelles. b. Autre exemple : les harmoniques sphériques La surface d'une sphère est un espace à deux dimensions qui peut être couvert par les coordonnées et " du système de coord. sphériques. En fait cette surface correspond à prendre r = constante dans le système de coordonnées sphériques ( r,," ). Sur cet espace, les harmoniques sphériques, définis par Y l m (," ) = l + 1 ( l m) 4# ( l + m) P l m ( cos ) e i m", forment un ensemble complet orthonormal. Ainsi & +l % % Y l m (" ',# ') Y l m ",# l = m=l = ' (# # ') ' ( cos" cos" ') : ensemble complet. On note ici que les variables naturelles des harmoniques sphériques sont cos et ". On vérifie d ailleurs que la mesure d intégration de volume s écrit d 3 r = r drd = r drsin"d"d# r drd cos"d# et il n y a donc aucun problème nouveau ici, simplement une façon différente d écrire la même chose. On vérifie d ailleurs l'orthonormalité en calculant & # % d d cos" Y % 1 l ' m ' (", ) Y l m (",) = ' l l ' m m' : orthonormal. On note l'orthogonalité sur les deux indices Toute fonction "raisonnable" de et " peut alors s'écrire f (," ) = # C l m Y l m," l = +l m=%l, qui représente le vecteur f sur la base des vecteurs unitaires de base, les Y lm, avec les composantes C lm définies par le produit scalaire comme il se doit & # = d dcos" Y l m C l m = Y l m, f % % (", ) f ", 1. c. Autres utilisation La fonction delta ne sert pas que pour décrire les relations formelles d'orthogonalité dans les espaces linéaires. Même si elle n'est strictement définie qu'à l'intérieur d'une
9 intégrale, on l'utilise parfois à l'extérieur, sachant que toute quantité d'intérêt physique devra impliquer une intégrale qui emportera le. On table parfois sur le fait que ( w) a les dimensions de w -1. Par exemple, on sait que 3 ( r " r ) a les dimensions de (volume) -1. On peut utiliser ce fait pour décrire une charge électrique ponctuelle, q, se trouvant à une position r, sous la forme d'une densité volumique de charge : ( r ) = q" 3 ( r # r ). Cette expression a les bonnes dimensions pour une densité (charge/volume). Il est également évident que l'intégrale de cette densité sur un domaine d'espace donnera la charge dans ce domaine, soit q si le domaine contient le point r et zéro s'il ne le contient pas. Cette densité de charge sera utilisée pour calculer des quantités comme le potentiel électrostatique en un point r ' dû à une charge q située en r V( 1 #( r ) r ' ) = 4" % r d 3 q &( r r r = ) r ' 4" % r r d 3 r ' espace espace = q 1 4" r ' r qui est évidemment la bonne expression pour ce potentiel. On voit que l'utilisation de la fonction de irac nous a permis de traiter dans un contexte continu (intégrale) le cas d'une charge ponctuelle, donc discrète, située en un point. d. Quelques précautions En Physique, on est souvent assez libéral dans les manipulations de la fonction delta. La plupart du temps, ça ne pose pas de problème, mais parfois elle se venge. Par exemple, occasionnellement, on se retrouve avec une fonction delta au carré. Ça n'existe pas. Il faut alors reculer d'un pas pour corriger le tir en faisant plus attention et en tenant compte qu'il ne s'agit pas d'une fonction, mais bien d'une distribution. On doit également faire attention en intégrant par parties lorsque l'intégrale contient une fonction. On a utilisé cette technique (intégration par parties) pour démontrer que # '( x " x ) f ( x)dx = " f '( x ) mais cette même technique se plante royalement si on l'utilise pour tenter de démontrer que ( x) = + ("x) puisqu'ici l'intégration par parties nous donnerait ("x) = "( x), un résultat qui est FAUX. En fait, il faut utiliser la propriété ii) ici. Ce sont ces petites différences qui font que la fonction delta n'est pas une fonction, mais une distribution. 5.Représentations du delta En page, nous avons donné une représentation du delta de irac sous la forme de la limite d'un rectangle dont la largeur tend vers zéro et la hauteur vers l'infini, tout en gardant égal à un le produit de ces deux quantités. Ce n'est pas la seule représentation possible du delta de irac. Nous en présentons ici quelques unes sans démonstration (voir Messiah par exemple) = 1 # lim x " x L % sin L x " x x " x
( x " x ) = 1 + e ik ( x " x ) # % dk particulièrement utile " 1 "( x # x ) = i & +% #% ( x " x ) = 1 # lim %& e ik x# x k dk ( 1 x / ) e" ( x) = 1 d dx x Notons que la deuxième représentation nous donne une façon de sortir de l impasse lorsque des manipulations intempestives nous ont amenés à un delta au carré, comme ( x " x ) = ( x " x )i 1 # + e ik( x" x ) % dk " 6. Quelques références : Cohen-Tannoudji et al, Annexe II, vol. Messiah, Mécanique quantique, Annexe 1, vol. 1 Mathews and Walker, Mathematical methods of Physics Morse and Feshbach, vol. 1 Merzbacher, Quantum Mechanics Pierre Amiot, 1.