Examen dInt egration et Analyse de Fourier

Ecole normale sup erieure de Lyon 11 Janvier 2005 PRINCIPE DINCERTITUDE DE HEISENBERG Le sujet est constitu e de cinq parties plus ou moins li ees. Les parties les plus d elicates sont la n de la partie III et la partie V. Les notes de cours manuscrites et imprim ees sont autoris ees. Il nest pas n ecessaire de traiter une proportion importante du sujet pour obtenir une tr` es bonne note. Le principe dincertitude de Heisenberg est un des piliers th eorique de la physique quantique. Son interpr etation physique est un probl` eme non trivial, mais sa d emonstration math ematique, une fois accept e le formalisme de base de la m ecanique quantique, ne pose gu` ere de dicult es. Cette d emonstration sera loccasion daborder quelques points techniques int eressants de la transform ee de Fourier. On notera la transform ee de Fourier dune fonction f sur Rn par f ( ) =
Rn

f (x) e2ix dx.

On pourra utiliser sans d emonstration les propri et es principales de cette transform ee : les th eor` emes de Plancherel, Parseval, la formule dinversion, et laction de la transform ee de Fourier sur la convolution (incluant lin egalit e de Young). On notera la convolution habituelle, sur R ou Rn selon le contexte. || Un multi-indice = (1 , . . . , n ) etant donn e, on notera = 1 , n x1 . . . x n o` u || = 1 + . . . + n . Pour x, y Rn , on notera |x| la norme euclidienne de x, et x y le produit scalaire de x par y . Si f est une fonction di erentiable sur Rn , on notera f = (1 f, . . . , n f ) son vecteur gradient (cest une fonction d enie de Rn dans Rn ). n La mesure dint egration sur R sera toujours la mesure de Lebesgue. I. La classe de Schwartz On note S (Rn ) lensemble des fonctions C de Rn dans R telles que pour tout multi-indice , et pour tout N N, sup | f (x)|(1 + |x|N ) < +.
xRn

En dautres termes, S (Rn ) est fait de fonctions tr` es r eguli` eres dont toutes les d eriv ees tendent vers z ero ` a linni plus vite que nimporte quelle puissance inverse de la norme. (On parle de fonctions ` a d ecroissance rapide, m eme si ces fonctions ne sont pas, stricto sensu, d ecroissantes.) I.1. Quelles sont les inclusions que lon peut etablir entre les espaces suivants : L1 (Rn ), L2 (Rn ), L (Rn ), S (Rn ) ? 1

I.2. Soit f S (Rn ), red emontrer la formule de cours qui exprime f ( ) en fonction de f ( ) et . Trouver une fonction g telle que f = g . G en eraliser ces formules en rempla cant par , o` u est un multi-indice arbitraire. I.3. Red emontrer limplication : f int egrable implique f born ee. En utilisant la question pr ec edente, montrer que si f est int egrable, alors | |f ( ) est born ee. N e pour || N . Pousser Montrer que si (1 + |x| )f est int egrable, alors f est born le raisonnement pour montrer que f S (R n ) Y a-t-il equivalence ? I.4. Lapplication f f , d enie de S (Rn ) dans S (Rn ), est-elle surjective ? injective ? bijective ? II. Principe dincertitude II.1. On se donne f S (R). Montrer que f 2 = 2
R R

f S (R n ).

xf (x)f (x) dx.

On pourra commencer par etablir cette identit e formellement, puis la justier rigoureusement en utilisant les propri et es de r egularit e et de d ecroissance de f . II.2. G en eraliser cette formule en dimension n, comme suit : n
Rn

f 2 = 2
Rn

(xf (x)) f (x) dx.

II.3. Expliciter une constante an , ne d ependant que de n, telle que f 2 an

Rn

|x|2 f (x)2 dx

|f (x)|2 dx

pour toute fonction f S (Rn ). II.4. Expliciter une constante bn , ne d ependant que de n, telle que f 2 bn
Rn Rn

|x|2 f (x)2 dx
Rn

| |2|f ( )|2 dx

pour toute fonction f S (Rn ). II.5. G en eraliser cette in egalit e` a des fonctions f ` a valeurs dans C. II.6. Que se passe-t-il si on remplace f par une fonction de la forme ei2x f ( + y ) ( et y vecteurs x es) ? 2

II.7. Conclure ` a l enonc e suivant : Pour toute fonction f S (Rn ; C), et pour tous x0 Rn , 0 Rn , (1)
Rn

|f |2 bn
Rn

|x x0 |2 |f (x)|2 dx
Rn

| 0 |2 |f ( )|2 d.

Cette in egalit e est commun ement appel ee principe dincertitude de Heisena la fois |f |2 (identi ee ` a une berg. Si f L2 = 1, elle implique que lon ne peut avoir ` n 2 mesure de probabilit e) tr` es concentr ee autour dun x0 R , et |f | tr` es concentr ee autour dun 0 Rn . Dans la suite du probl` eme, nous allons v erier quelle se g en eralise ` a des fonctions qui ne sont pas n ecessairement dans la classe de Schwartz (Nota : Il existe des d emonstrations plus courtes que celle que nous allons consid erer.) III. Fonctions plateaux de type positif Une fonction plateau est ici une fonction de classe C sur Rn , ` a valeurs dans [0, 1], ` a support compact, identiquement egale ` a 1 sur une boule BR (0) prescrite ` a lavance. Elle est dite de type positif si sa transform ee de Fourier est positive. Il existe plusieurs m ethodes pour construire des fonctions plateaux pr esentant de bonnes propri et es ; celle qui suit a des avantages dans certaines conditions. Pour tout a > 0, on note (a) = (2a)1 1[a,a] la fonction indicatrice (normalis ee) de lintervalle [a, a] R. III.1. Calculer (a). En d eduire (a) (a). III.2. Dessiner lallure de (a), (a) (b), (a) (b) (c) (on pourra supposer pour simplier que a b c). Montrer que ces fonctions sont paires et positives. Quelle est leur r egularit e ? Plus g en eralement, combien de fois peut-on di erentier contin ument un multi-produit de convolution (a1 ) . . . (ak ) ? III.3. (Question plus d elicate) Soit (ak )kN une s erie convergente d ecroissante de nombres strictement positifs. Dessiner qualitativement lallure des fonctions (N ) = (a1 ) (a2 ) . . . (aN ). Montrer que (N ) est de Cauchy pour une topologie ` a pr eciser, et quelle converge quand N vers une limite . III.4. Que vaut lint egrale de ? Montrer que est C et ` a support compact. En d eduire que est tr` es r eguli` ere. III.5. (Question plus d elicate) En modiant l eg` erement la construction pr ec edente, construire une fonction plateau de type positif, identiquement egale ` a 1 sur un intervalle [A, A] x e a priori. III.6. Construire maintenant une fonction plateau de type positif dans Rn , identiquement egale ` a 1 sur une boule BR (0) x ee a priori (on pourra introduire n , o` u est une fonction plateau sur R). IV. R egularisation Soit une fonction plateau de type positif sur Rn , identiquement egale ` a 1 sur la boule B1 (0), identiquement nulle en-dehors de la boule B2 (0) (On pourra admettre lexistence de cette fonction si lon na pas trait e la section pr ec edente.) 3

IV.1. On pose k (x) = (x/k ). Calculer k en fonction de . Que vaut

k ?

IV.2. Dessiner qualitativement k et k (en dimension 1 par exemple) en essayant dindiquer leur comportement quand k . IV.3. Montrer que k est (pour k ) une approximation de (masse de Dirac, el ement neutre pour la convolution) au sens de la convolution. IV.4. Soit f L2 (Rn ). On pose fk = f k . Montrer que fk converge vers f en norme L2 . En d eduire que fk converge vers f en norme L2 . Cette convergence L2 implique-t-elle que fk converge vers f presque partout ? IV.5. En exploitant plus pr ecis ement la forme de fk , montrer que fk converge vers f presque partout. (On pourra utiliser le fait quun produit de convolution par une approximation de converge presque partout.) IV.6. On pose fk, = (fk ) . Repr esenter qualitativement fk, . Calculer sa transform ee de Fourier. IV.7. Montrer que fk, converge vers fk dans L2 et presque partout quand . Montrer de m eme que fk, convege vers fk . IV.8. Montrer que chaque fk, appartient ` a S (Rn ). En d eduire l enonc e suivant : 2 n Si f est une fonction arbitraire dans L (R ), on peut approcher f dans L2 par une suite de fonctions (gj )j N S (Rn ), telles que gj (resp. gj ) converge vers f (resp. f ) dans L2 et presque partout. IV.9. En d eduire en particulier que |gj |2 converge vers |f |2 et |gj |2 converge vers |f |2 (pour cela, on na pas besoin de la convergence presque partout). V. Retour sur le principe dincertitude En utilisant un argument de r egularisation similaire ` a celui de la section pr ec edente, n d emontrer l enonc e suivant. Soit f une fonction sur R (` a valeurs dans R ou dans 2 2 2 2 C) telle que |f | (1 + |x| ) dx et |f | (1 + | | ) d soient toutes deux nies. Alors il existe une suite de fonctions (fj )j N dans S (Rn ) telles que |fj (x)|2 |x|2 dx converge vers |f (x)|2 |x|2 dx et |fj ( )|2| |2 d converge vers |f ( )|2| |2 d . En d eduire que lin egalit e (1) reste valable pour tout f L2 (Rn ; C). Notes et r ef erences : Lin egalit e de Heisenberg se trouve d emontr ee, avec quelques variantes, dans de nombreux ouvrages introductifs de m ecanique quantique. Il existe beaucoup dautres principes dincertitude en analyse harmonique ; par exemple : il est impossible davoir en m eme temps f et f ` a support compact, sauf ` a avoir f identiquement nulle. On pourra trouver dautres variantes, ainsi que les propri et es de lespace de Schwartz, le livre de W. Rudin, Functional Analysis (McGraw-Hill). La construction de fonctions plateaux par la m ethode de convolution it er ee est bien expliqu ee en section 1.3 du livre de L. H ormander, The analysis of linear partial dierential operators (Springer-Verlag, T.1) ; on y fait le lien avec les classes de fonctions quasi-analytiques. 4