Théorème de Fejér

Florian D USSAP
Agrégation 2018

Définition. On note Dn le noyau de Dirichlet et Kn le noyau de Fejér.

n 1 n−1
eikx
X X
Dn (x) = Kn (x) = Dn (x)
k=−n n k=0
1
Alors ces noyaux s’écrivent aussi :
¡ nx ¢ !2
sin n + 12 x
¡¡ ¢ ¢ Ã
1 sin 2
Dn (x) = Kn (x) =
sin x2 n sin x2
¡ ¢ ¡ ¢

p
Lemme (continuité des translations dans Lp ). Pour p ∈ [1, +∞[, soit f ∈ L2π et soit Φ f l’application :
p
R −→ L2π
a 7−→ τa f

où τa f (x) = f (x − a). Alors Φ f est uniformément continue.

Démonstration. On procède par densité. Soit ε > 0 et supposons dans un premier temps que f ∈ C2π .
Par continuité uniforme de f , il existe δ > 0 tel que pour tous x, y ∈ R,

|x − y| 6 δ =⇒ | f (x) − f (y)| 6 ε

Alors dès que |a − b| 6 δ,

µ π ¶1
1
Z
p
p
kτb f − τa f kp = | f (x − a) − f (x − b)| dx 6ε
2π −π
p p
Supposons à présent que f ∈ L2π . Par densité de C2π dans L2π , il existe g ∈ C2π telle que k f − g kp 6 ε.
Alors :

kΦ f (b) − Φ f (a)kp 6 kΦ f (b) − Φg (b)kp + kΦg (b) − Φg (a)kp + kΦg (a) − Φ f (a)kp
6 2k f − g kp + kΦg (b) − Φg (a)kp
6 2ε + kΦg (b) − Φg (a)kp
On conclut par continuité uniforme de Φg .

Théorème.
1. Si f ∈ C2π , alors kKn ∗ f k∞ 6 k f k∞ et (Kn ∗ f ) → f uniformément.
p
2. Si f ∈ L2π , alors kKn ∗ f kp 6 k f kp et (Kn ∗ f ) → f dans Lp , p ∈ [1, +∞[.
Démonstration.
1
1. Posons I = [−π, π]. Comme Kn (x) dx = 1, on a kKn ∗ f k∞ 6 k f k∞ . Soit ε > 0 et soient x ∈ R et
R
2π I
δ > 0,
Z π
¯(Kn ∗ f )(x) − f (x)¯ 6 1
¯ ¯ ¯ ¯
Kn (y)¯ f (x − y) − f (x)¯ dy
2π −π
1 δ 1
Z Z
¯ ¯ ¯ ¯
6 Kn (y)¯ f (x − y) − f (x)¯ dy + Kn (y)¯ f (x − y) − f (x)¯ dy
2π −δ 2π
I \[−δ,δ]

1. je ne le montre pas dans le développement.

1
 Par continuité uniforme de f , il existe δ tel que pour tous x, y ∈ R, |y| 6 δ ⇒ ¯ f (x − y) − f (x)¯ 6 ε.
¯ ¯

Pour un tel δ et pour tout x ∈ R,

¯(Kn ∗ f )(x) − f (x)¯ 6 ε + 2k f k³∞ ´

¯ ¯
n sin2 δ2

Donc :
lim sup k(Kn ∗ f ) − f k∞ 6 ε, ∀ε > 0
n→+∞

dy
2. On applique l’inégalité de Hölder avec la mesure de probabilité Kn (y) 2π .
µZ π ¶p µ π ¶
¯ f (x − y)¯ Kn (y) dy 1
Z
¯(Kn ∗ f )(x)¯p 6 ¯ f (x − y)¯p Kn (y) dy × 1
¯ ¯ ¯ ¯ ¯ ¯
6
−π 2π 2π −π

On intègre et on utilise Fubini–Tonelli :

1 π 1 π ¯¯ 1 π
Z µ Z ¶ Z
p ¯p p p
kKn ∗ f kp 6 τ y f (x)¯ Kn (y) dy dx = kτ y f kp Kn (y) dy = k f kp
2π −π 2π −π 2π −π

Le même calcul appliqué à (Kn ∗ f ) − f donne :

1 π
Z
p p
k(Kn ∗ f ) − f kp 6 kτ y f − f kp Kn (y) dy = (Kn ∗ g )(0)
2π −π
p
où g (y) = kτ−y f − f kp . Par le lemme, la fonction g est continue donc (Kn ∗ g )(0) → g (0) = 0.

Références
— B ECK, M ALICK et P EYRÉ, Objectif agrégation.
— QUEFFÉLEC et Z UILY, Analyse pour l’agrégation.