Examen d'analyse de Fourier
22 janvier 2020
Il est important de bien rédiger, d'écrire des phrases, etc.
I. Masse de Dirac
A quels espaces de Sobolev H s (Rn ) la masse de Dirac δ0 appartient-elle ? Même question pour
sa dérivée dx
d
δ0 dans le cas particulier de la dimension n = 1.
II. Une équation diérentielle-algébrique
On considère l'équation
Z
∂t f (x, t) = g(x − y)f (y, t)dy, f (x, 0) = f0 (x)
R
pour des fonctions g ∈ L1 (R, R) et f0 ∈ S(R, R) xées.
Question 1. En admettant l'existence, l'unicitéR et la régularité de la solution f , donner une
condition su sante sur g pour que la quantité |f (x, t)|2 dx décroisse au cours du temps, et
donner un exemple de fonction g non-triviale satis ant cette condition.
Question 2. Sous cette condition, et si f0 ∈ S(R), montrer qu'il existe une solution C 1 par
rapport à t et C 2 par rapport à x de l'équation ci-dessus.
Question 3. Donner une condition su sante sur g pour que limt→∞ f (x, t) = 0 pour tout x ∈ R,
et un exemple de fonction g véri ant cette condition.
III. Sommation d'Ewald en dimension 1 et sommation d'Abel
Question 1. On considère une distribution de charge ρ : R → R C ∞ à support compact.
1. Donner toutes les solutions au sens des distributions de l'équation −V 00 = δy (on rappelle
le théorème suivant : si T est une distribution telle que T 0 = 0, alors T est constante). En
déduire formellement qu'une solution de l'équation de Poisson −V 00 = ρ est
Z +∞
V (x) = |x − y|ρ(y)dy.
−∞
2. Montrer que cette intégrale dé nit une fonction continue sur R, et que limx±∞ V (x)/|x| =
ρ.
R
1
Question 2. On considère maintenant la quantité suivante :
Z +∞
Vε (x) = |x − y|e−ε|x−y| ρ(y)dy
−∞
pour ρ L1loc et 2π -périodique.
1. Montrer que, pour tout ε > 0, Vε est une fonction continue et périodique.
2. Calculer la transformée de Fourier de la fonction gε (x) = |x|e−ε|x| .
3. En déduire une équation diérentielle formellement satisfaite par Vε
4. Calculer les coe cients de Fourier de Vε en fonction de ceux de ρ et de la transformée de
Fourier de gε . On pourra utiliser des techniques similaires à Rcelles utilisées pour la preuve
du Théorème 2.8, et utiliser que, si h est 2π -périodique, alors −π+z h est indépendant de z .
π+z
5. Montrer que si ρ est à moyenne nulle sur sa période,
1 X 1
lim Vε (x) = √ cn (ρ) 2 einx
ε→0 2π n∈Z6=0 |n|
Question 3. (bonus, à ne faire qu'une fois le reste terminé et relu) Utiliser les développe-
ments de la question 2 pour proposer une valeur pour la somme non-convergente 1−2+3−4+. . . .
Proposer un critère sur f pour que la série n≥1 f (2n) − f (2n + 1) soit resommable de cette
P
façon.
