Académique Documents
Professionnel Documents
Culture Documents
´ Epreuve De Math´ Ematiques 1: ∞ 06t62π π −π 2 1 π −π k ikt k n k k k n n n k=−n k k
´ Epreuve De Math´ Ematiques 1: ∞ 06t62π π −π 2 1 π −π k ikt k n k k k n n n k=−n k k
SESSION DE 1996
Durée : 4 heures - Coefficient : 6
L’usage des calculatrices programmables et alphanumériques est autorisé sous réserve des dispositions
définies dans la circulaire n˚ 86-228 du 28juillet 1986.
II est rappelé aux candidats qu’il sera tenu compte de la présentation et de la rédaction des copies.
On désigne par C l’espace vectoriel des applications continues 2π-périodiques de R dans C que l’on munit
de la norme : N∞ : f 7→ sup |f (t)|.
06t62π
1 π
Z
On rappelle que 1’application (f, g) 7→ hf |gi = f (t)g(t) d t est un produit scalaire hermitien sur C
2π −π
et l’on note f 7→ N2 (f ) la norme hermitienneZ associée.
1 π
On pose enfin pour tout f ∈ C , N1 (f ) = |f (t)| d t.
2π −π
Pour tout élément k de Z, on note ek la fonction t 7→ eikt . On désigne par P le sous-espace vectoriel de C
engendré par les fonctions ek , où k décrit Z ; les éléments de P sont les polynômes trigonométriques. On
note Pn le sous-espace vectoriel engendré par les fonctions ek où |k| 6 n. Pour tout élément f de C et tout
k ∈ Z, on note ck (f ) = hek |f i le k ième coefficient de Fourier de f et, pour tout n ∈ N, on note Sn (f ) la
n
nième somme partielle de la série de Fourier de f définie par S (f ) =
P
n c (f )e .
k k
k=−n
L’objet du problème est d’étudier des procédés d’approximation tant du point de vue qualitatif que quan-
titatif des fonctions continues ou lipschitziennes par des polynômes trigonométriques. Les deux dernières
parties utilisent les résultats obtenus pour résoudre deux problèmes l’un de nature algébrique, l’autre de
nature géométrique.
I. Exemples de polynômes trigonométriques.
1. Noyau de Dirichlet.
n
P
Pour tout entier naturel n, on pose : Dn = ek .
k=−n
1
c. Montrer que, pour tout n ∈ N,
Z π n Z π
|sin (n + 1)t| X sin t
dt = d t.
0 t 0 t + kπ
k=0
En utilisant
Z π l’égalité Z π Z π
sin t sin t 1 1
dt = dt + − sin t d t,
0 t + kπ 0 (k + 1)π 0 t + kπ (k + 1)π
en déduire que, pour tout n ∈ N,
Z π n+1
|sin (n + 1)t| 2X1
dt = + vn
0 t π k
k=1
où (vn )n>0 est une suite bornée.
d. Prouver finalement que, pour tout n ∈ N,
4
N1 (Dn ) = 2 ln (n + 1) + rn
π
où (rn ) est une suite bornée.
2. Noyau de Féjer.
1 P n
Pour tout n ∈ N, on pose Kn = Dk .
n + 1 k=0
a. Pour tout n ∈ N et tout k ∈ Z, établir que
|k|
ck (Kn ) = 1 − si |k| 6 n, 0 sinon.
n +1
n
P |k|
En déduire que Kn = 1− ek .
k=−n n+1
Pour tout n ∈ N et tout t ∈ R , établir que
2
sin (n + 1) 2t
1
Kn (t) = si t ∈ R \ 2πZ, n + 1 si t ∈ 2πZ.
n+1 sin 2t
En conclure que, pour n ∈ N , Kn est un polynôme trigonométrique pair à valeurs positives.
b. Prouver que tout n ∈ N , N1 (Kn ) = 1.
Z π
Établir que pour 0 < α 6 π, lim Kn (t) d t = 0.
n→+∞ α
II. Convolution des fonctions périodiques.
1. Soit f ∈ C . Prouver que pour tout nombre réel α, Z
Z α+2π π
f (t) d t = f (t) d t.
α −π
2
où ωf (α) = sup |f (s) − f (t)|.
|s−t|6α
3
III. Convolutions et translations.
1. Soient f et g deux éléments de C . Montrer que pour tout k ∈ Z,
ck (f ? g) = ck (f )ck (g).
En déduire que la loi (f, g) 7→ f ? g est associative. Cette loi possède-telle un élément neutre ?
2. Soit φ ∈ C .
a. Pour tout a ∈ R, on note φa la translatée de φ définie par φa (t) = φ(t − a). Vérifier que, pour
tout k ∈ Z, ck (φa ) = ek (a)ck (φ).
b. On note Eφ le sous-espace vectoriel de C engendré par les translatées φa de φ lorsque a parcourt
R.
Montrer que pour tout f ∈ C et tout ε > 0, il existe ψ ∈ Eφ tel que N∞ (f ? φ − ψ) 6 ε.
Z π
(On pourra approcher l’intégrale f (t)φ(x − t) d t par une somme de Riemann en observant
−π
que la fonction (x, t) 7→ f (t)φ(x − t) est uniformément continue sur R × [−π, π]).
c. On note Tφ l’application de C dans lui-même ainsi définie : Tφ (f ) = f ? φ.
(i) Vérifier que Tφ est un endomorphisme de C . Déterminer les valeurs propres de Tφ .
Montrer que pour toute valeur propre λ non nulle de Tφ , le sous-espace propre Eλ (Tφ ) associé
à λ est de dimension finie et en donner une base.
(ii) On suppose que tous les coefficients de Fourier de φ sont non nuls. Montrer que dans ces
conditions Tφ est injectif et que Tφ induit un isomorphisme de P sur lui-même. En déduire
que l’adhérence de Eφ est égale à C .
d. On suppose dans cette question que Eφ est de dimension finie et on note X la partie de Z
constituée des entiers k tels que ck (φ)6=0. Montrer que Eφ n’est autre que le sous-espace vectoriel
de P engendré par les fonctions ek où k décrit X.
IV. Inégalité isopérimétrique. − → −→
Soit E un plan affine euclidien muni d’un repère orthonormé O, i , j . On note k·k la norme euclidienne
→
−
de l’espace vectoriel E associé à E.
Soit γ : [0, 2π] → E un arc paramétré de classe C 1 , régulier de longueur L satisfaisant de plus aux conditions
suivantes :
(i) la restriction de γ à [0, 2π[ est injective,
(ii) γ(2π) = γ(0),
(iii) γ 0 (2π) = γ 0 (0).
On note A l’aire du domaine borné délimité par γ. On se propose d’établir l’inégalité L2 > 4πA et d’étudier
le problème de l’égalitéZ dans cette inégalité.
2π
Vérifier que A= γ1 (t)γ20 (t) d t
0
→
− →
−
où γ1 et γ2 sont les fonctions réelles de classe C 1 définies sur [0, 2π] par la relation γ(t) = γ1 (t) i + γ2 (t) j .
2π t
Z
γ 0 (s)
d s,
1
1. Quitte à effectuer le changement de paramètre C -admissible θ : t 7→
L 0
montrer que l’on peut supposer que l’arc paramétré vérifie en outre la condition :
L
(iv) pour tout t ∈ [0, 2π], kγ 0 (t)k = .
2π
2 1 2π
Z
L
(γ10 (t))2 + (γ20 (t))2 d t.
Prouver que dans ces conditions : 2
=
4π 2π 0
2. On note ψ1 ( resp. ψ2 ) la fonction 2π-périodique de classe C 1 à valeurs réelles qui coı̈ncide avec γ1
(resp. γ2 ) sur l’intervalle [0, 2π[.
a. Soit f un élément de C à valeurs réelles. Montrer que pour tout k ∈ Z, c−k (f ) = ck (f ).
4
b. Établir les relations
Z suivantes : n
1 2π
γ 0 (t)
2 d t = 2 lim
X
k 2 |ck (ψ1 )|2 + |ck (ψ2 )|2
2π 0 n→+∞
k=1
Z 2π n
1 X
γ1 (t)γ20 (t) d t = −2 lim k Im ck (ψ1 )ck (ψ2 ) .
2π 0 n→+∞
k=1
+∞
En déduire que : L2 − 4πA = 8π 2 k 2 |ck (ψ1 )|2 + |ck (ψ2 )|2 + 2k Im ck (ψ1 )ck (ψ2 )
P
k=1
la série du second membre convergeant absolument.
Pour tout k > 1, établir que :
k 2 |ck (ψ1 )| + |ck (ψ2 )| + 2k Im ck (ψ1 )ck (ψ2 ) = |kck (ψ1 ) − ick (ψ2 )|2 + (k 2 − 1) |ck (ψ2 )|2 .
2 2
Déduire de ce qui précède l’inégalité annoncée et montrer qu’il ne peut y avoir égalité que, si et
L
seulement si, γ est un cercle de rayon .
2π
Fin de l’énoncé.