SP ´ ECIALE MP* : DEVOIR LIBRE
Pr´ eambule
On d´esigne par E l’espace vectoriel sur le corps des complexes C form´e par les fonctions continues d´efinies sur R `a valeurs dans C et qui sont p´ eriodiques de p´ eriode 2π.
Pour n ∈ Z , e n ∈ E est l’´el´ement e n (x) = e inx , x ∈ R . ` A f et g dans E, on associe le nombre complexe :
(f | g) = 1 2π
Z π
− π
f (x)g (x) dx et on note k f k 2 = p
(f | f). On admettra que (. | .) est un produit scalaire qui fait de E un espace pr´ehilbertien sur C .
On d´esigne par k . k ∞ la norme de la convergence uniforme sur E : k f k ∞ = sup x ∈R | f (x) | . On admettra que E muni de cette norme est complet.
Pour N ∈ N , E N est l’espace vectoriel engendr´e par les e n pour n ∈ Z , n ∈ [ − N, N ]. On note D N l’´el´ement de E N d´efini par D N =
P N n= − N
e n et on pourra utiliser le fait que, pour x ∈ ]0, 2π[,
D N (x) = sin(N + 1 2 )x sin x 2 . Pour m ∈ N ∗ , on d´esigne par F m l’anneau Z /m Z .
Si (a n ) n ∈ Z ∈ C Z , on dit que (a n ) n ∈ Z est sommable si X
n > 0
| a n | et X
n > 1
| a − n | convergent
et on posera + P ∞ n= −∞
a n = + P ∞ n=0
a n + + P ∞ n=1
a − n .
Dans tout le probl`eme, N d´esignera un entier sup´erieur ou ´egal `a 1 qui pourra varier.
Partie I
A ` f ∈ E , on associe la suite de ses coefficients de Fourier (f n ) n ∈Z : f n = (e n | f ) = 1
2π Z π
− π
f (x)e −inx dx.
I.1. Soit (u n ) n∈ Z une famille telle que les sommes P N
n= − N | u n | soient born´ees, on d´esigne par S N l’´el´ement de E : S N = P N
n= − N u n e n . Montrer que (S N ) N > 1 converge vers un ´el´ement u de E pour la norme k . k ∞ .
Quels sont les coefficients de Fourier de u ?
I.2. Soit (u n ) n ∈Z d´efinie par u n = 0 pour n 6 0, u 1 = − 1 et u n = 1
n(n − 1) pour n > 2.
Montrer que l’´el´ement u de E obtenu par le proc´ed´e de la question I.2 n’est pas d´erivable en x = 0 (on pourra ´ecrire, pour N > 2 arbitraire et x 6 = 0,
Im u(x) − u(0)
x = Im S N (x) − S N (0)
x +
+ ∞
X
n=N+1
sin nx n(n − 1)x Im z d´esignant la partie imaginaire de z ∈ C et conclure en prenant x = 1
N ).
1
2 SP ´ ECIALE MP* : DEVOIR LIBRE
I.3. On d´esigne par Σ N l’´el´ement de E d´efini par : Σ N = P N
n=1
e n
n .
Montrer que la suite (Σ N ) N > 1 est de Cauchy dans E pour la norme k . k 2 .
I.4. Montrer que, si la suite (Σ N ) N > 1 converge vers σ ∈ E pour la norme k . k 2 , alors, pour tout x ∈ R ,
u(x) = (e ix − 1)σ(x) o` u u a ´et´e d´efinie en I.2 .
I.5. D´eduire des questions I.2 et I.4 que E muni de la norme k . k 2 n’est pas complet.
Partie II On notera P N f la projection de f ∈ E sur E N . II.1. a. Montrer que, pour tout x ∈ R ,
(P N f )(x) = 1 2π
Z π
−π
f (y)D N (x − y) dy b. Montrer que, pour tout x ∈ R ,
(P N f )(x) = 1 2π
Z π
−π
f (x − y)D N (y) dy
II.2. On d´esigne par α N la borne sup´erieure de l’ensemble des nombres k P N f k ∞ lorsque f d´ecrit la boule unit´e de (E, k . k ∞ ).
Montrer que α N 6 √
2N + 1.
II.3. Soit L N le nombre L N = 1 2π
Z π
− π | D N (x) | dx, et, pour ε > 0, ψ N ε ∈ E d´efini par : ψ N ε (x) = D N (x)
p ε + D 2 N (x) , x ∈ R
Montrer, en utilisant les ψ N ε que α N > L N (on pourra montrer que, pour tout y ∈ R , 0 6 | y | − y 2
p ε + y 2 = ε | y | p ε + y 2 ( p
ε + y 2 + | y | ) 6
√ ε).
II.4. Montrer que, lorsque N tend vers l’infini, L N est ´equivalent `a 4 π 2 ln N . II.5. Que pouvez-vous en conclure concernant l’application lin´eaire P n ?
Partie III
On d´esigne par H 1 le sous-espace de E form´e par les ´el´ements f tels que (1 + n 2 ) | f n | 2 ) n ∈Z
soit sommable.
On note alors, pour f ∈ H 1 , k f k 1 = P
n ∈ Z
(1 + n 2 ) | f n | 2 1/2
.
III.1. Montrer que, si f ∈ E est de classe C 1 sur R , alors f ∈ H 1 et k f k 2 1 = k f k 2 2 + k f ′ k 2 2 . R´eciproquement, si f ∈ H 1 , f est-elle de classe C 1 sur R ?
III.2. Montrer que k . k 1 est une norme sur H 1 et que H 1 , muni de cette norme, est complet.
III.3. Montrer que E 1 = C 1 ( R , C ) ∩ E est dense dans H 1 pour la norme k . k 1 . III.4. Soit f ∈ H 1 , montrer que :
k P N f − f k 2 6 1
N + 1 k f k 1 .
SP ´ ECIALE MP* : DEVOIR LIBRE 3
III.5. En ´ecrivant, pour g ∈ E 1 , x et y dans R , g 2 (x) − g 2 (y) = 2
Z x y
g(t)g ′ (t) dt,
montrer qu’il existe K 1 > 0 telle que, pour tout f ∈ H 1 , k f k ∞ 6 K 1 k f k
1 2
2 k f k
1 2