SP´
ECIALE MP* : DEVOIR SURVEILL ´
E 3
Avec les notations de cette question, on pose
ψk,β(x) = Zx
0
sin(βt +ktlq(t)) dt:
on admettra qu’il existe une constante C2>0 ind´ependante de ket de βtelle que
pour tout x∈[0, δ] on a |ψk,β(x)|6C2
l
√k.
II.4. Soit hune fonction continue sur [−π, π], `a valeurs r´eelles, telle que h(0) = 1 et |h(x)|<1
pour tout x∈[−π, π]\ {0}. On suppose qu’il existe un r´eel µ > 0, un entier pair m > 0
et une fonction ε(x) d´efinie au voisinage de 0, tendant vers 0 si xtend vers 0, tels que, au
voisinage de 0, on ait
h(x) = e−µxm(1+ε(x)) .
a. ´
Etablir la convergence de l’int´egrale
J(ν) = Z+∞
−∞
e−νymdy, (ν > 0).
b. Montrer que J(ν) est une fonction continue de νsur R∗
+.
c. Montrer que, pour tout σ > 0, il existe η > 0 tel que, pour tout k∈N∗
Zη
−η
e−kµxm(1+σ)dx6Zη
−η
h(x)kdx6Zη
−η
e−kµxm(1−σ)dx.
d. Grˆace au changement de variable y=xm
√k, en d´eduire que
J(µ) = lim
k→+∞
m
√kZπ
−π
h(x)kdx.
Troisi`
eme partie
Soit a(x) =
N
P
n=−N
aneinx un polynˆome trigonom´etrique. On suppose que a(0) = 1 et que
|a(x)|<1 pour tout x∈]0,2π[.
Dans toute cette partie, on suppose que a(x) poss`ede la propri´et´e suivante :
il existe un r´eel α, deux entiers let mtels que 1 < l < m,m´etant pair, un polynˆome q(x)
`a coefficients r´eels tel que q(0) 6= 0, un r´eel γstrictement positif et une fonction ε(x) d´efinie et
de classe C1au voisinage de 0, v´erifiant ε(0) = 0, tels que, au voisinage de 0, on ait
a(x) = exp iαx +ixlq(x)−γxm(1 + ε(x)).
On se propose de d´emontrer que l’application Ad´efinie au In’est pas stable.
III.1. a. On pose b(x) = e−iαx−ixlq(x)a(x).
Soit η∈]0, π[ tel que |ε(x)|61
2si |x|6η. En consid´erant successivement les inter-
valles [−η, η], [−π, −η] et [η, π], montrer qu’il existe une constante λ > 0 telle que
pour tout x∈[−π, π] on ait |b(x)|6e−λxm.
b. Montrer qu’il existe une fonction ε1(x) d´efinie et continue au voisinage de 0, telle que
ε1(0) = 0 et telle que, au voisinage de 0, on ait
b′(x) = −mγxm−1(1 + ε1(x)).
En d´eduire qu’il existe une constante C3>0 telle que pour tout x∈[−π, π] on ait
|b′(x)|6C3|x|m−1.