Professional Documents
Culture Documents
Banque X-ÉNS 2015 MP Mathématiques B CB
Banque X-ÉNS 2015 MP Mathématiques B CB
Banque X-ÉNS 2015 MP Mathématiques B CB
Première partie
- La fon tion t 7−→ e−t ty−1 est ontinue sur ]0, +∞[.
−t y−1 y−1 y−1
- Au voisinage de 0, e t ∼t et t 7−→ t est intégrable au voisinage de 0 omme fon tion de
• E n parti ulier pour n ∈ N∗ , Γ (n + 1) = nΓ (n), une ré urren e qui aboutit san dif fi ulté à Γ (n + 1) =
n!Γ (1) et Γ (1) = 1 = 0!, don ∀n ∈ N, Γ (n + 1) = n!.
Z +∞
1b. • L'égalité pré édente 'é rit ∀y > 0, Γ (y) = y−1 Γ (y + 1) = y−1 e−t ty dt.
0
• Le hangement de variable s = y−1 t − 1 dan lexpression pré édente donne
Z +∞ Z +∞
Γ (y) = y−1 e−y(s+1) (y(s + 1))y yds = yy e−y e−yφ(s) ds
−1 −1
2a. • La fon tion t 7−→ e−t/x tα est ontinue sur [δ, +∞[ et au voisinage de +∞, e l le est nég ligeable devant
1
t 7−→ , don e l le est intégrable sur [δ, +∞[.
t2
• Montron le résultat par ré urren e sur n ∈ N.
- Pour n = 0.
y t 7−→ e−t/x tα est ontinue intégrable sur [δ, +∞[.
−t/x α
y ∀t ≥ δ, lim e t = 0.
x−→0+
1
y ∀(x, t) ∈]0, 1] × [δ, +∞[, |e−t/x tα | ≤ e−t tα = o .
0+ t2
La fon tion dominante étant ontinue intégrable sur [δ, +∞[.
Z +∞
don d'aprè le théorème de la onvergen e dominée généralisé, lim e−t/x tα = 0, 'est à dire
x−→0+ δ
Z +∞
e−t/x tα = o(1) lorsque x −→ 0+ .
δ
δ
ZA ZA h iA ZA
e−t/x tα dt = (−xe−t/x ) ′ tα dt = −xe−t/x tα + αx e−t/x tα−1 dt
δ δ δ δ
Z +∞ δ
1/ 8
Dédu tion
Z +∞
- Montron f(t)e−t/x dt = o(xn ).
δ
y Soit I = [δ, 1] ou I = [1, δ] se lon le a δ≥1 ou δ≤1 et poǑson M = sup |f|, alor lhypothèse (a)
I
'é rit ∃K ≥ 0, C > 0, M > 0 te l que ∀t ≥ δ, |f(t)| ≤ CtK + M, don
Z +∞ Z +∞ Z +∞
| f(t)e−t/x dt| ≤ Mxe−δ/x + C e−t/x tK dt, e qui assure grâ e à 2a. que f(t)e−t/x dt = o(xn ).
δ δ δZ 0+
+∞
k+λ−µ
y Soit k ∈ [[0, N]], d'aprè e qui pré ède en prenant α= , on aura e−t/x tα dt = o(xn ), e
µ δ 0+
Z +∞ N
X N
X Z +∞
k+λ−µ k+λ−µ
e−t/x ( ak t µ )dt = ak e−t/x t µ dt = o(xn ).
δ δ 0+
k=0 k=0
Z +∞ Z +∞ Z +∞ XN
k+λ−µ
O n on lut don que e−t/x ρN (t)dt = f(t)e−t/x dt − ( ak t µ )e−t/x dt = o(xn ).
δ δ δ 0+
k=0
N+λ−µ
2b. D'aprè lhypothèse (b), ρN (t) = o t µ , e qui assure lexisten e de δ>0 te l que
0+
Zδ Zδ
N+λ−µ N+λ−µ
∀t ∈]0, δ[, |ρN (t)| ≤ εt µ , don ∀x > 0, e−t/x ρN (t)dt ≤ ε e−t/x t µ dt.
0 0
t
Le hangement de u= aboutit à
variable
Zδ Z δ/x x Z +∞
N+λ−µ N+λ N+λ N+λ N+λ N+λ N+λ
e−t/x t µ dt = x µ e−u u µ −1 du ≤ x µ e−u u µ −1 du = x µ Γ , e qui donne
0 0 µ
0
N+λ
linégalité demandée ave C′ = Γ .
µ
Zδ N+λ
2 . O n vient de montrer que e−t/x ρN (t)dt = o x µ .
0 +
0 Z +∞ N+λ
N+λ −t/x n
E n appliquant 2a, ave le δ pré édent et n = 1+ E( ) , on aura e ρ N (t)dt = o(x ) = o x µ
µ
0+ 0+
Z +∞ N+λ δ
N
X 1
- Au voisinage de 0, f(t) = ak t(k+λ−µ)/µ + o(t(N+λ−µ)/µ ), or ∀k ∈ [[0, N]], t(k+λ−µ)/µ e−t/x ∼ k+µ
et
1−
k=0 t µ
k+µ
1− < 1, don t 7−→ t(k+λ−µ)/µ e−t/x est intégrable sur ]0, δ] et par suite t 7−→ f(t)e−t/x lest aussi.
µ
O n on lut don que t 7−→ f(t)e−t/x est intégrable sur ]0, +∞[, e qui assure la dé finition de F.
t
y A ve le hangement de variable u= on obtient
Z +∞ x
Z +∞
−t/x
k+λ−µ k+λ
−u k+λ −1 k+λ k+λ
∀k ∈ [[0, N]], e t µ dt = x µ e µ t du = x µ Γ .
µ
Z +∞0 0
N+λ
De plu e−t/x ρN (t)dt = o x µ , don quand x −→ 0+
0 x−→0+
N
X k+λ N+λ
F(x) = ak Γ +o x µ
µ
k+0
s
3a. ∀s > −1, φ(s) = s − ln(1 + s), don ∀s > −1, φ ′ (s) = , d'où le tableau de variation
1+s
s −1 0 +∞
′
φ (s) − 0 +
+∞ +∞
φ(s) ց ր
0
# La fon tion φ étant ontinue stri tement dé roissante sur ] − 1, 0[, don sa restri tion à ] − 1, 0[
2/ 8
est bije tive de ] − 1, 0[ ver ]0, +∞[.
# De même e l le est ontinue stri tement roissante sur ]0, +∞[, don sa restri tion à ]0, +∞[ est
−1 0
3b. # La fon tion s 7−→ ln(1 + s) est déve loǑppable en série entière sur ] − 1, 1[ et on a
+∞
X s k
∀s ∈] − 1, 1[, ln(1 + s) = (−1)k−1 , don
k
k=1
+∞
X X +∞
sk sk
∀s ∈] − 1, 1[, φ(s) = (−1)k = s2 (−1)k
k k+2
k=2 k=0
s2 s3 s4
3 . • φ(s) = − + = o(s4 ).
2 3 4 0+
O n poǑse s = a1 q + a2 q
2
+ a3 q3 + a4 q4 , alor q −→ 0+ =⇒ s −→ 0+ .
2 3 2 4
a 2
= 2
1
a2
système a2 = 1
32
a a3
a3 = a1 a2 − 2 a1 − 1
2 4
√ 2 1 √ 2 1
e qui donne b1 = 2, b2 = , b3 = √ et c1 = − 2, c2 = , c3 = − √ .
3 9 2 3 9 2
+∞
X +∞
X +∞
X √
• Par hypothèse lorsque q −→ 0+ , φ−1 2
+ (q ) = bk qk et φ−1 2
− (q ) = ck qk , don φ−1
+ (q) = bk qk et
k=1
p 2q q3/2 p 2q q3/2
φ−1
+ (q) = 2q + + √ + o(q3/2 ) et φ−1
− (q) = − 2q + − √ + o(q3/2 )
3 9 2 3 9 2
+∞
X +∞
X
• E n dérivant légalité φ−1 2
+ (q ) = bk qk , on obtient 2q(φ−1 ′ 2
+ ) (q ) = kbk qk−1 , don
√ k=1 k=1
1 √ 1 2 q √
(φ−1
+ ) ′
(q) = √ (b 1 + 2b 2 q + 3b 3 q + o(q)) = √ + + √ + o( q).
2 q 2q 3 6 2
3/ 8
√
1 2 q √
E n rempla ant b1 , b2 , b3 par c1 , c2 , c3 on obtient légalité (φ−1
− ) ′
(q) = √ + + √ + o( q).
2q 3 6 2
3d. D'aprè 1b. et grâ e à la re lation de Chasle
la question
Z +∞ Z0 Z +∞
∀y > 0, Γ (y) = e−y yy e−yφ(s) ds = e−y yy e−yφ(s) ds + e−y yy e−yφ(s) ds.
−1 −1 0
# O n fait le hangement de variable φ(s) = q dan le deux intégrale où φ = φ− pour la première
−1 +∞ 0 0
Z +∞
Γ (y) = e−y yy e−yq (φ−1 ′ −1 ′
+ ) (q) − (φ− ) (q) dq
0
√ √
2 2√ √
3e. O n f(q) = (φ−1
poǑse + ) ′
(q) − (φ −1 ′
− ) (q) = √ + q + o( q), alor lorsque q tend ver 0,
q 6
√
√ 2
f(q) = a0 q(λ−µ)/µ + a1 q(1+λ−µ)/µ + o(q(1+λ−µ)/µ ), ave a0 = 2, a1 = et λ = 1/2, µ = 1.
√ 6
1 √ 3 1 1 π
D'aprè 2d. et puisque Γ = π, Γ = Γ = , on aura lorsque y tend ver +∞
2 2 2 2 2
Z +∞ 1/2
2π 1
F(1/y) = e−qy f(q)dq = a0 Γ (1/2)y−1/2 + a1 Γ (3/2)y−3/2 + o(y−3/2 ) = (1 + + o(1/y)), don
0 y 12y
1/2
−y y −y y 2π 1
lorsque y −→ +∞ Γ (y) = e y F(1/y) = e y 1+ + o(1/y)
y 12y
Deuxième partie
1
4. • La fon tion t 7−→ e−t/x t−1 est ontinue sur [1, +∞[ et e−t/x t−1 = o , don F est bien dé finie.
+∞ t2
Z x −1/u
x e
• Le hangement de variable u= , onduit à F(x) = du.
t 0 u2
−1/u
e
La fon tion u 7−→ étant de lasse C∞ sur ]0, +∞[, don la fon tion F est de lasse C∞ omme
u2
sa primitive.
ZA ZA (N) 1
e−t/x
5. Soit A > 1. Aprè N intégration par partie, on onbtient dt = (−x)N e−t/x dt =
1 t 1 t
" #A
N
X (N−k) (k−1) ZA (N)
1 1
(−1)k (−x)N e−t/x + (−1)N (−x)N e−t/x dt.
t 1 t
k=1 1
(k−1)
k N −t/x (N−k)
1 e−t/x
or (−1) (−x) e = (−1)k−1 (k − 1)!xk , don en tendant A ver +∞, on obtient
t tk
6a. # Il 'agit d'une série entière de rayon de onvergen e R = 0, obtenu par le ritère de D'alembert,
don le domaine de onvergen e est le sing leton {0}.
# Si (RN (x))N est bornée, alor grâ e à légalité SN (x) = F(x) − RN (x), (SN (x))N est aussi bornée, don de
même pour (S2N+1 (x) − S2N (x))N , mai ∀x > 0, S2N+1 (x) − S2N (x) = (2N)!x2N+1 e−1/x qui n'est pa borné
X
, puisque (2N)!x 2N+1
est le terme général de la série entière (−1)k−1 (k − 1)!xk qui est divergente
Z +∞ ′ Z +∞
−1 e−t/x
RN+1 (x) = (−1)N+1 N!xN+1 e−t/x dt = (−1)N+1 N!xN+1 e−1/x + (−1)N N!xN dt = −rN (x) +
1 tN+1 1 tN+1
4/ 8
RN (x), don
RN (x) − rN (x) = RN+1 (x) = o(rN (x)) 'est à dire RN (x) ∼ rN (x)
0+ 0+
|rN+1 (x)| 1 1
6d. Soit x ∈]0, 1/2[, 0 < = (N + 1)x ≤ 1 ⇐⇒ N ≤ − 1 ⇐⇒ N ≤ E −1 .
|rN (x)| x x
1 1
PoǑson N0 = E − 1 ≥ 1, puisque 0 < x < , alor
x 2
La suite (|rN (x)|)N≥1 est dé roissante jusqu'à le rang N0 , pui roissante.
2M
X 2M
X M−1
X
7a. # SN (x) = (−1)k−1 (k − 1)!xk e−1/x = (−1)k−1 |rk−1 (x)| = |r2M (x)| + (|r2k (x)| − |r2k+1 (x)|) > 0.
k=1 k=1 k=1
# N étant paire, don RN (x) > 0 et par suite F(x) = SN (x) + RN (x) > SN (x).
RN (x) N!xN+1 e−1/x N!xN+1
# |RN (x)| ≤ |rN (x)| = N!xN+1 e−1/x , don EN (x) = ≤ = , or SN (x)e
1/x
=
F(x) SN (x) SN (x)e1/x
2M
X 2M−1
X M−1
X M−1
X M−1
X
(−1)k−1 (k − 1)!xk = (−1)k k!xk+1 = (2l)!x2l+1 − (2l + 1)!x2l+2 = (1 − (2l + 1)x)(2l)!x2l+1 .
k=1 k=0 l=0 l=0 l=0
N!xN+1
Ce qui donne linégalité EN (x) ≤ M−1
.
X 2l+1
(1 − (2l + 1)x)(2l)!x
l=0
1
7b. O n applique linégalité pré édente ave M = 2, x = . O n obtient
10
1 4!(1/10)5 24 27 −3
E4 ≤ = 10−3 ≤ 10 = 3.10−3
10 9 3 2 1 9, 049 9
+ (1 − )
102 10 103
Troixième partie
n
X
8. Soit h : (θ1 , θ2 ) 7−→ fi (θ1 )gi (θ2 ) où n ∈ N∗ , f1 , ..., fn , g1 , ..., gn ∈ Cper (R) et soit ε > 0, alor il existe
i=1
ε
de polynme trigonométrique P1 , ..., Pn , Q1 , ..., Qn te l que ∀i ∈ [[1, n]], kfi − Pi k∞ ≤ et kgi −
ε 2nM
Qi k∞ ≤ où M = max (kfi k∞ , kgi k∞ ). Considéron le polynme trigonométrique R : (θ1 , θ2 ) 7−→
2nM 1≤i≤n
n
X
Pi (θ1 )Qi (θ2 ), alor
i=1
n
X n
X
∀θ1 , θ2 ∈ R, h(θ1 , θ2 ) − Pi (θ1 )Qi (θ2 ) ≤ |fi (θ1 )gi (θ2 ) − Pi (θ1 )Qi (θ2 )| ≤
i=1 i=1
n
X n
X
≤ |fi (θ1 ) − Pi (θ1 )||gi (θ2 )| + |Pi (θ1 )||gi (θ2 ) − Qi (θ2 )| ≤
i=1 i=1
Xn
ε ε
≤ (kfi − Pi k∞ kgi k∞ + kPi k∞ kgi − Qi k∞ ) ≤ + =ε et par passage au sup sur (θ1 , θ2 ) ∈ R2 , on
2 2
i=1
obtient kh − Rk∞ ≤ ε.
0 1/2 1
| |
−1 + 1/j −1/j 1/j 1 − 1/j
5/ 8
# Grâ e au graphe, ψj étant ontinue sur R périodique, don ψj,k est ontinue par ompoǑsition, de
plu ∀t ∈ R, ψj,k (t + 1) = ψj (t + 1 − k/j) = ψj (t − j/k) = ψj,k (t). E n dé finitive ψj,k ∈ Cper (R).
10a. # ∀k1 , k2 ∈ [[0, j − 1]], le fon tion (θ1 , θ2 ) 7−→ ψj,k1 (θ1 )ψj,k2 (θ2 ) sont de é lément de Csep (R2 ) qui est
un R− espa e ve torie l, don par ombinaison linéaire, S (f) ∈ Csep (R2 ).
j
l1 l1 − k1
# Soit (l1 , l2 ) ∈ Z2 , j ≥ 2 et k1 , k2 ∈ [[0, j − 1]]. O n a ψj,k1 = ψj .
j j
ψj étant 1− périodique, don quitte à faire une division eu lidiènne de l1 par j, on peut suppoǑser
|l1 − k1 |
que l1 ∈ [[0, j − 1]], don 0 ≤ |l1 − k1 | < j et par suite 0 ≤ < 1, de plu ψj est symétrique par
j
1 |l1 − k1 | 1
rapport à la droite x = , don on peut suppoǑser que 0 ≤ < .
2 j 2
|l1 − k1 | 1 l1 − k1
- Si l1 6= k1 , alor |l1 − k1 | ≥ 1, don ≥ et par suite ψj = 0.
j j j
l1 − k1
- Si l1 = k1 , alor ψj = ψj (0) = 1.
j
l1 l2
E n dé finitive ψj,k
1
= δl1 ,k1 de même ψj,k2 = δl2 ,k2 . O n obtient don
j j
l1 l2 l1 l2
Sj (f) , =f , .
j j j j
k1 k1 + 1 k2 k2 + 1
10b. • Soit θ = (θ1 , θ2 ) ∈ , × , .
j j j j
j−1 j−1
X X l1 l2
Sj (f)(θ) = f , ψj,l1 (θ1 )ψj,l2 (θ2 ).
j j
l1 =0 l2 =0
6/ 8
or f est uniformément ontinue sur le ompa t [0, 1]2 , don il existe α>0 te l que ∀θ, φ ∈ [0, 1]2 , on
11. D'aprè la question 8., lensemble de polynme trigonométrique en deux variable est dense dan
2 2 2
Csep (R ) et on vient de montrer dan la question 10 que Csep (R ) est dense dan Cper (R ), on on lut
Quatrième partie
14a. U n polynme trigonométrique est ombinaison linéaire de fon tion de la forme fk : (θ1 , θ2 ) 7−→
i2π(k1 θ1 +k2 θ2 )
e k1 , k2 ∈ Z, don il suf fit de montrer que F est bornée pour le fk .
où
Zt Zt
# ∀t ∈ R, F(t) = fk (sω)ds = ei2πt(k1 ω1 +k2 ω2 ) ds, ω n'est pa résonnant, don k1 ω1 + k2 ω2 6= 0,
0 0
1 i2πt(k1 ω1 +k2 ω2 )
don F(t) = (e − 1) et par passage au module et en utilisant linégalité
i2π(k1 ω1 + k2 ω2 )
triangulaire, on obtient
1
∀t ∈ R, |F(t)| ≤
π|k1 ω1 + k2 ω2 |
14b. Soit f ∈ Cper (R2 ) et soit ε > 0, alor par densité de la question 11., il existe Q un polynme
Zt Zt Zt
∀t ∈ R, F(t) = f(sω)ds = (f(sω) − Q(sω))ds + Q(sω)ds, don
Z0t 0 0
Zt
∀t ∈ R, |F(t)| ≤ kf − Qk∞ ds + M ≤ εt + M où M un majorant de Q(sω)ds justifié par la question
0 0
pré édente.
O n a M = o(t), don il existe A>0 te l que ∀t > A, M ≤ εt et par suite ∀t > A, |F(t)| ≤ 2εt, 'est à
+∞
dire F(t) = o(t).
+∞
15a. • h étant de lasse C1 , don se dérivée partie l le sont ontinue et on a ∀θ = (θ1 , θ2 ) ∈ R2 , dh(θ).ω =
∂h ∂h
ω1 + ω2 , or grâ e à la périodi ité de h par rapport à se deux variable
Z1 ∂θ 1 ∂θ2 Z1
∂h ∂h
dθ1 = h(1, θ2 ) − h(0, θ2 ) = 0 et en inversant le rle de θ1 et θ2 , on a aussi dθ2 = 0 don
0 ∂θ1 0 ∂θ2
en permutant le deux intégrale qui est permi par lénon é, on obtient
Z1 Z1
dh(θ).ω dθ1 dθ2 = 0.
0 0 Z1 Z1
E n intégrant légalité dh(θ).ω + g(θ) = ν, on aura ν= g(θ)dθ1 dθ2 .
0 0
∂hi ∂hi
• L'équation (4) est équivalente au système ω1 + ω2 + gi (θ) = νi , (i = 1, 2) où (h1 , h2 ), (g1 , g2 ) et
∂θ1 ∂θ2
(ν1 , ν2 ) sont le ompoǑsante respe tive de h, g et ν.
Quitte à travail ler sur le ompoǑsante on peut suppoǑser que h, g sont à valeur dan R et ν ∈ R.
2 2
O n suppoǑse don que h : R −→ R, g : R −→ R et ν ∈ R.
7/ 8
# - Si g = cte, alor ν = cte et h=0 est une solution qui est ontinue 1− périodique et de moyenne
nul le.
# - Si g n'est pa onstante. Quitte à utiliser le théorème de superpoǑsition, il suf fit de résoudre
2
léquation pour g(θ1 , θ2 ) = αcos(2π(k1 θ1 + k2 θ2 )) + βsin(2π(k1 θ1 + k2 θ2 )) où (k1 , k2 ) ∈ Z r {(0, 0)}.
O n va her her une h(θ) = Acos(2π(k1 θ1 + k2 θ2 )) + Bsin(2π(k1 θ1 + k2 θ2 )).
solution de la forme
−2π(ω1 k1 + ω2 k2 )α = B
∂h ∂h
h est solution de ω1 + ω2 + g(θ) = ν si , et seulement si .
∂θ1 ∂θ2 2π(ω k + ω k )β = A
1 1 2 2
e i invite à suppoǑser que ω n'est pa résonnant. A ve ette suppoǑsition on obtient
B
α=−
h est solution, et seulement si,
2π(ω1 k1 + ω2 k2 ) , e qui prouve lexisten e de h.
A
β=
2π(ω1 k1 + ω2 k2 )
X
Con lusion : Si on poǑse g1 (θ1 , θ2 ) = ak cos(2π(k1 θ1 + k2 θ2 ) + bk sin(2π(k1 θ1 + k2 θ2 ))) et g2 (θ1 , θ2 ) =
k∈K
X
ck cos(2π(k1 θ1 + k2 θ2 ) + dk sin(2π(k1 θ1 + k2 θ2 ))) où K est une partie finie de Z2 , alor la solution h
k∈K
est donnée par :
X 1
h1 (θ1 , θ2 ) = (−bk cos(2π(ω1 k1 + ω2 k2 )) + ak sin(2π(ω1 k1 + ω2 k2 )))
2π(ω1 k1 + ω2 k2 )
k∈Kr{(0,0)}
X 1
h2 (θ1 , θ2 ) = (−dk cos(2π(ω1 k1 + ω2 k2 )) + ck sin(2π(ω1 k1 + ω2 k2 )))
2π(ω1 k1 + ω2 k2 )
k∈Kr{(0,0)}
′ ′ ′
e (t) = α (t) + xdh(α(t)).α (t),
∀t ∈ R, α or d'aprè léquation (3) , α ′ (t) = ω + xg(α(t)), don
′
e (t) = ω + xg(α(t)) + xdh(α(t)).(ω + xg(α(t))),
∀t ∈ R, α et puisque d'aprè léquation (4)
′ 2
g(α(t)) + dh(α(t)).ω = ν, on obtient e (t) = (ω + xν) + x dh(α(t)).(g(α(t)))
∀t ∈ R, α et par suite
2
R , e qui assure lexisten e de M>0 te l que ∀t ∈ R, |||dh(α(t))||| ≤ M.
de plu ∀t ∈ R, kg(α(t))k = kν − dh(α(t)).ωk ≤ kνk + |||dh(α(t))|||kωk ≤ kνk + Mkωk.
et par suite ∀t ∈ R, kε(x, t)k ≤ |x|M(kνk + Mkωk), e qui entraine que sup kε(x, t)k −→ 0.
t∈R x−→0
Zt
15 . E n intégrant légalité pré édente entre 0 et t, on obtient e(t) − α
α e(0) = t(ω + xν) + x ε(x, s)ds et vu que
0
e(t) − xh(α(t))Z ,
α(t) = α et e(0) = xh(0, 0)
α
t
α(t) = t(ω + xν) + x ε(x, s)ds − x(h(α(t)) − h(0, 0)), don
0 Zt
∀t ∈ [0, T ], α(t) = t(ω + xν) + x(h(0, 0) − h(tω)) + xη(x, t) η(x, t) = ε(x, s)ds + h(tω) − h(α(t)).
où
Zt 0
D'aprè léquation (3) intégrée entre 0 et t, α(t) = tω + x g(α(s))ds et par suite grâ e à linégalité
0
de a roissement fini appliquée à h qui est de lasse C1 et à la ontinuité de goα sur le ompa t
[0, T ] Zt
∀t ∈ [0, T ], kh(tω) − h(α(t))k ≤ Mktω − α(t)k = Mkx g(α(s))dsk ≤ M|x|T sup kg(α(s))k, don
0 s∈[0,T ]
∀t ∈ [0, T ], kη(x, t)k ≤ T sup kε(x, t)k + M|x|T sup kg(α(s))k et le passage au sup donne
t∈R s∈[0,T ]
sup kη(x, t)k ≤ T sup kε(x, t)k + M|x|T sup kg(α(s))k −→ 0.
t∈[0,T ] t∈R s∈[0,T ] x−→0
8/ 8