Université Paris Descartes — UFR Math-Info Année 2011-2012
Master 1ère année spécialités MA et IM Analyse de Fourier
page web du cours : http://www.mi.parisdescartes.fr/˜moisan/fourier/
Exercices 1 à 10 (séries de Fourier)
Exercice 1 (assimilation du cours). Répondre par vrai ou faux aux affirmations
suivantes. Dans le cas d’une affirmation fausse, justifiez votre réponse par un contre exemple
et/ou en modifiant l’énoncé pour le rendre correct.
1. Les espaces Lp (1 6 p 6 ∞) sont des espaces vectoriels normés complets.
2. Pour tout intervalle I de R, L2 (I) ⊂ L1 (I).
3. Un espace de Hibert est un espace vectoriel muni d’un produit scalaire.
4. Si une suite de fonctions (fn ) converge dans L2 vers une fonction f ∈ L2 , alors fn (x)
converge vers f (x) pour presque tout x.
5. Si une suite de fonctions (fn ) converge dans L∞ vers une fonction f ∈ L∞ , alors fn (x)
converge vers f (x) pour presque tout x.
6. L’espace Cc∞ (R) est dense dans Lp (R) pour tout p ∈ [1, +∞].
7. L’espace C ∞ (R) est dense dans Lp (R) pour tout p ∈ [1, +∞].
8. Si f : R2 → R vérifie R R f (x, y) dx dy < ∞, alors R R f (x, y) dx dy = R R f (x, y) dy dx.
R R R R R R
9. La famille (en )n∈Z avec en (t) = eint est une base de l’espace vectoriel L2p (0, 2π).
10. Si deux fonctions de L2p (0, 2π) ont les mêmes coefficients de Fourier, alors elles sont
égales.
11. Si f : R → R est continue et 2π-périodique, alors sa série de Fourier converge simple-
ment.
12. Si f : R → R est de classe C 1 par morceaux et 2π-périodique, alors sa série de Fourier
converge simplement.
13. La série de Fourier d’une fonction f ∈ L2p (0, 2π) converge simplement vers f presque
partout.
Exercice 2 (sommes de séries). Développer en série de Fourier la fonction 2π-périodique
n+1
qui coı̈ncide avec x 7→ x2 sur [−π, π]. En déduire la valeur de n>1 n12 , de n>1 (−1)
P P
n 2 et
P 1
de n>1 n4 .
1
Exercice 3 (développements eulériens). Soit α ∈ C \ Z, et fα la fonction 2π-périodique
qui coı̈ncide avec x 7→ cos(αx) sur [−π, π]. Calculer la série de Fourier de f , et en déduire
que
1 X (−1)n
=
sin t t − nπ
n∈Z
pour des valeurs de t à préciser.
Exercice 4 (lissage de Mackworth-Mokhtarian). On considère une courbe fermée
plane représentée par une fonction f0 : R → C, continue, non constante et 2π-périodique. Un
réel α ∈]0, π[ étant fixé, on définit par récurrence
Z α
1
fn+1 (t) = fn (t + s) ds.
2α −α
Montrer que pour α assez petit, il existe λ > 0 tel que λn fn tend vers une ellipse.
Indication: calculer la série de Fourier de fn .
Exercice 5 (développement en série de Fourier des fonctions hölderiennes). Soit
f : R → C une fonction 2π-périodique et α-hölderienne avec α > 21 .
1) Calculer, pour h > 0 fixé, la série de Fourier de x 7→ f (x + h) − f (x − h) et appliquer
l’égalité de Parseval.
2) En minorant la somme obtenue par paquets dyadiques (2p 6 n < 2p+1 ) pour h = π4 2−p ,
monrer que X 1 1
|n| 2 +α |cn (f )|2 6 C · 2−p(α− 2 )
n6=0
pour une certaine constante C.
3) En déduire que f est somme de sa série de Fourier.
Exercice 6 (régularité d’une fonction et décroissance de ses coefficients de Fourier).
Montrer que pour toute fonction f : R :→ C 2π-périodique, on a pour tout entier k > 1,
X X
f ∈ Ck ⇒ n2k |cn (f )|2 < ∞ ⇒ nk−1 |cn (f )| < ∞ ⇒ f ∈ C k−1 .
n∈Z n∈Z
Exercice 7 (une série trigonométrique qui n’est pas une série de Fourier). Soit
(an )n>1 une suite de réels positifs.
an sin(nt) est la série de Fourier d’une fonction f ∈ L1p . Déterminer
P
1) On suppose que
les coefficients de Fourier de la primitive de f qui s’annule en 0. En déduire que
+∞
X an
< ∞.
n
n=1
2) Montrer que la série trigonométrique n>2 sin(nt)
P
ln n est partout convergente, mais que ce
n’est pas la série de Fourier d’une fonction de L1p .
2
Exercice 8 (inégalité de Wirtinger). 1) Soit f : R → C une fonction 2π-périodique,
continue, C 1 par morceaux et de moyenne nulle sur une période. Montrer que
Z 2π Z 2π
2
|f (t)| dt 6 |f 0 (t)|2 dt,
0 0
avec égalité si et seulement si
∀t ∈ R, f (t) = eit z1 + e−it z2
pour un certain couple (z1 , z2 ) ∈ C2 .
Indication : appliquer l’égalité de Parseval aux fonctions f et f 0 .
2) Démontrer de manière similaire l’inégalité isopérimétrique : si C est une courbe
régulière simple, fermée, et C 1 , de longueur L et d’aire intérieure S, alors L > 4πS, avec
égalité si et seulement si C est un cercle.
Exercice 9 (formule sommatoire de Poisson). Soit f : R → C une fonction C 1 telle
que x 7→ (1 + x2 )|f (x)| et x 7→ (1 + x2 )|f 0 (x)| soient bornées.
1) Montrer que la fonction ϕ : x 7→ n∈Z f (x + 2nπ) est C 1 et 2π-périodique.
P
2) Montrer que la fonction fˆ : x 7→ R f (t)e−itx dt est bien définie sur R, puis, en utilisant
R
le développement en série de Fourier de ϕ, que
X X
fˆ(n) = 2π f (2nπ).
n∈Z n∈Z
Exercice 10 (pavage d’un rectangle). On considère un rectangle R du plan R2 pavé
par des rectangles (Ri )16i6n vérifiant:
i) les cotés de chaque Ri sont parallèles aux axes;
ii) chaque Ri a un côté dont la longueur est un nombre entier.
Montrer que R a un côté dont la longueur est un nombre entier.
ZZ
Indication: calculer e2iπ(x+y) dx dy.
Ri
