Correction Td n◦ 6 d’Analyse fonctionnelle
Transformation de Fourier
Séance du 30 mars 2012
Solution 1. Quelques questions sur la transformée de Fourier
1. 1A ∈ L2donc 1c A ∈ L par Plancherel. Par contre, si 1A ∈ L , par inversion de
2 c 1
Fourier, on aurait que 1A ∈ C, ce qui est absurde.
2. La condition s’écrit en Fourier : fˆĝ = 0. Il suffit donc de prendre f1 , g1 ∈ D(Rn ) avec
disons Supp(f1 ) ⊂ B(−2, 1) et Supp(g1 ) ⊂ B(−2, 1) et de poser f = F −1 f1 , g = F −1 g1
(et ce sont bien des éléments de S(Rd )).
Si on suppose de plus que les supports de f et g sont compacts, alors fˆ et ĝ sont
analytiques. Comme les zéros de fˆ et de ĝ sont alors isolés (sauf si f ou g est nul), ceux
de fˆĝ le sont également et fˆĝ 6= 0. Par inversion de Fourier, on voit que f ∗ g 6= 0.
3. En Fourier, on a ki=1 ai ξ i û(ξ) = 0. Or û est analytique (pourquoi ?) donc par le
P
principe des zéros isolés, û = 0 et donc u = 0.
Solution 2. Quelques questions sur les espaces de Sobolev H s
1. On remarque que δ̂0 = 1, puis que Rd (1+|ξ|2 )s dξ < +∞ ssi s < −d/2. Pour montrer
R
l’injection de H s dans C0 , c’est dans la même veine : pour avoir le résultat on peut montrer
que û ∈ L1 (Rd ) dès que s > d/2 et on conclut par le lemme de Riemann-Lebesgue.
2. Soit m l’ordre de u dans E 0 . La T.F. de u est bien définie car E 0 ⊂ S 0 . On veut
montrer qu’il existe s ∈ R pour lequel û(1 + |ξ|2 )s/2 ∈ L2 . On prend ϕ fonction test dans
S et on évalue :
hû(1 + |ξ|2 )s/2 , ϕi = hû, (1 + |ξ|2 )s/2 ϕi
= hu, F (1 + |ξ|2 )s/2 ϕ i
≤ C sup ∂ α F (1 + |ξ|2 )s/2 ϕ
|α|≤m,x∈K
Z
≤ C (1 + |ξ|2 )m/2 (1 + |ξ|2 )s/2 ϕdξ
Rd
Z 1/2
2 m 2 s
≤ C (1 + |ξ| ) (1 + |ξ| ) dξ kϕkL2
Rd
(on a utilisé successivement des propriétés fondamentales de la transformée de Fourier, la
définition d’une distribution à support compact et pour la dernière inégalité, c’est Cauchy-
Schwarz). On conclut par densité de S dans L2 et par dualité.
3. Il suffit de remarquer (1 + |ξ|2 )s1 ≥ (1 + |ξ|2 )s2 pour s1 ≥ s2 .
4. Par le théorème des accroissements finis (appliqué à exp(−i·)), on a :
|e−ixξ − e−iyξ | ≤ |x · ξ − y · ξ| = |x − y||ξ|.
Cécile Huneau 1 FIMFA 2011/2012
Et donc en interpolant, on a pour tout α ∈ [0, 1] :
|e−ixξ − e−iyξ | = |e−ixξ − e−iyξ |α |e−ixξ − e−iyξ |1−α ≤ 21−α |x − y|α |ξ|α .
On a alors : Z
u(x) − u(y) = C û(ξ) e−ixξ − e−iyξ dξ.
Donc, pour tout ε > 0 :
|u(x) − u(y)|
Z
≤ |ξ|α |û|(ξ)dξ
|x − y|α
Z 1 Z 1
dξ 2
d+ε+2α 2
2
≤ (1 + |ξ|) |û| (ξ)dξ
(1 + |ξ|)d+ε
≤ C(ε)kuk d+ε +α .
H 2
Donc finalement, pour tout α ∈]0, s − d/2[, on a (avec ε = 2s − d − α > 0) :
|u(x) − u(y)|
≤ C(α)kukH s .
|x − y|α
Enfin,
(1 + |ξ|2 )s/2
Z Z Z
ixξ
|u(x)| = û(ξ)e dξ ≤ |û|(ξ)dξ ≤ |û|(ξ)
dξ
(1 + |ξ|2 )s/2
Z 1/2 Z 1/2
2 2 s dξ
≤ |û| (ξ)(1 + |ξ| ) dξ ≤ C(s)kukH s .
(1 + |ξ|2 )s
car s > d/2 donc 1/(1 + |ξ|2 )s ∈ L1 (dξ). Finalement,
|u(x) − u(y)|
kukL∞ + sup ≤ C(α)kukH s .
x6=y |x − y|α
Par densité, on conclut que H s ⊂ C α avec injection continue.
Solution 3. Transformée de Fourier de vpx
1. Pour tout ϕ ∈ D(R) :
Z Z
< x vp x, ϕ >=< vp x, xϕ >= lim ϕ(x)dx = ϕ(x)dx =< 1, ϕ > .
ε→0 |x|≥ε R
Donc x vp x ≡ 1 dans D0 (R).
2. Pour tout ϕ ∈ D(R), on a par définition de la transformée de Fourier des distribu-
tions :
< F(vp x), ϕv > = < vp x, F(ϕv ) >
= < vp x, (F(ϕ))v >
R −ε R∞
= limε→0 −∞ F (ϕ)(−ξ)
ξ dξ + ε F (ϕ)(−ξ)
ξ dξ
= − < vp x, F(ϕ) > .
3. D’après la question 1, on a, comme F(1) = 2πδ0 :
2πδ0 = F(x vp x) = iF(vp x)0 ,
Cécile Huneau 2 FIMFA 2011/2012
donc F(vp x)0 = −2πδ0 ; on en déduit que F(vp x) = −2π(H + C), où H est la fonction
de Heavyside et C est une constante. L’imparité donne C = −1/2 ; D’où :
ξ
F(vp x)(ξ) = −iπ .
|ξ|
Solution 4. Formule sommatoire de Poisson
1. La continuité et la périodicité sont claires par théorème de convergence dominée via
C
l’hypothèse |f (x)| ≤ 1+x 2 . Soit cm sont m-ieme coefficient :
2iπmx
1 a P∞
f (x + na)e− a dx
R
cm = aP 0 n=−∞
1 ∞ a − 2iπmx
R
= a n=−∞ 0 f (x + na)e
a dx
(n+1)a 2iπm(x−na)
1 P ∞ R −
= a n=−∞ na f (x)e a dx
1 ˆ 2πm
= a f ( a ).
2. Comme f 0 et f 00 sont intégrables, (1 + ξ 2 )fˆ(ξ) est bornée. Donc la série des (cm )m
est convergente. On obtient donc
∞
X 2iπmx
S(x) = cm e a ,
m=−∞
ce qui donne la conclusion.
3. On applique la formule sommatoire de Poisson en x = 0 à a = 1 et à la fonction
2 ξ2
f (y) = e−xπy , qui vérifie bien les hypothèses. Comme fˆ(ξ) = π e− 4πx , on trouve :
p
x
∞ ∞ ∞ r
X X X π − 4π2 m2 1 1
Θ(x) = f (n) = fˆ(2πm) = e 4πx = √ Θ( ).
n=−∞ m=−∞ m=−∞
πx x x
4. On écrit fˆ = fˆ1[−F,F ] et on pose a = 2π
F . Rappelons que F̄(1[−F,F ] )(x) = sinc(F x).
On fixe ω ∈ (−F, F ) et on applique la formule de Poisson à h(x) = f (x)e−ixω , de tranformée
de Fourier ĥ(ξ) = fˆ(x + ω) :
X 1 X ˆ 1
f (nT )e−inT ω = f (ω + 2mF ) = fˆ(ω).
T T
n∈Z m∈Z
On multiplie cette équation par 1[−F,F ] (ω). On peut conclure en prenant la transformation
de Fourier inverse.
Cécile Huneau 3 FIMFA 2011/2012
