Banque X-ÉNS 2015 MP Mathématiques B CB

You might also like

Download as pdf or txt
Download as pdf or txt
You are on page 1of 8

Un corrigé du concours -B-(X) 2015 Filière MP

Proposé par Mr : HAMANI Ahmed

Première partie

1a‡. • Γ €esˆt „bŠi€e“n‡ €d€é f‰i’nˆi€e.

- L€a‡ „fo”n€ ‰t‰i€o”n‡ t 7−→ e−t ty−1 €esˆt € o”nˆt‰i’nˆu€e Œsˆuˆr‡ ]0, +∞[.
−t y−1 y−1 y−1
- Aˆu‡ •v‚oŠiŒsˆi’n€a€ge €d€e 0, e t ∼t €e‰t t 7−→ t €esˆt ˆi’nˆtég‰r€a„b†le €aˆu‡ •v‚oŠiŒsˆi’n€a€ge €d€e 0 € o”m’m€e „fo”n€ ‰t‰i€o”n‡ €d€e

Rˆi€e“m€a’n’n‡ €g‰r€â€ e €à‡ y > 0.



- Aˆu‡ •v‚oŠiŒsˆi’n€a€ge €d€e +∞, e−t ty−1 = o 1/t2 ) .

D€o”n€ Γ €esˆt ˆi’nˆtég‰r€a„b†le Œsˆuˆr‡ ]0, +∞[.


• O •n‡ Œp€oǑs€e u(t) = e −t
, v(t) = ty , €a„loŠrŒš u, v Œs€o”nˆt €d€e € laŒsŒs€e C1 Œsˆuˆr‡ ]0, +∞[, €d€e Œp„l‰uŒš „le € ‰r€o‚ ‘h€e‰t [u(t)v(t)]+∞
0 =
lim ty e−t − lim ty e−t = 0, € e €qˆuˆi‡ Œp€e‰r’m€e‰t ˆu’n€e ˆi’nˆtég‰r€aˆt‰i€o”n‡ Œp€aˆr‡ Œp€aˆrˆt‰i€eš.
+∞ 0+
Z +∞ Z +∞ Z +∞ Z +∞
yΓ (y) = ye−t ty−1 dt = u(t)v ′ (t)dt = − u ′ (t)v(t)dt = ty e−t dt = Γ (y + 1)
0 0 0 0

• E •n‡ Œp€aˆrˆt‰i€ ‰u„l‰i€e‰r‡ Œp€oŠuˆr‡ n ∈ N∗ , Γ (n + 1) = nΓ (n), ˆu’n€e ˆr€é ‰uˆrˆr€e“n€ e €qˆuˆi‡ €a„b‚oŠuˆt‰iˆt Œs€a’nŒš €dˆi„f f‰i€ ‰u„l‰té €à‡ Γ (n + 1) =
n!Γ (1) €e‰t Γ (1) = 1 = 0!, €d€o”n€ ∀n ∈ N, Γ (n + 1) = n!.
Z +∞
1b. • L'€éga„l‰iˆté Œpˆr€é éd€e“nˆte Œš'€é ‰rˆiˆt ∀y > 0, Γ (y) = y−1 Γ (y + 1) = y−1 e−t ty dt.
0
• L€e € ‘h€a’n€ge“m€e“nˆt €d€e •v‚aˆrˆi€a„b†le s = y−1 t − 1 €d€a’nŒš „l˜€eœxpˆr€esŒsˆi€o”n‡ Œpˆr€é éd€e“nˆte €d€o”n’n€e
Z +∞ Z +∞
Γ (y) = y−1 e−y(s+1) (y(s + 1))y yds = yy e−y e−yφ(s) ds
−1 −1

2a‡. • L€a‡ „fo”n€ ‰t‰i€o”n‡ t 7−→ e−t/x tα €esˆt € o”nˆt‰i’nˆu€e Œsˆuˆr‡ [δ, +∞[ €e‰t €aˆu‡ •v‚oŠiŒsˆi’n€a€ge €d€e +∞, €e l le €esˆt •n€ég l‰i€gea„b†le €d€e“v‚a’nˆt

1
t 7−→ , €d€o”n€ €e l le €esˆt ˆi’nˆtég‰r€a„b†le Œsˆuˆr‡ [δ, +∞[.
t2
• M€o”nˆt‰r€o”nŒš „le ˆr€ésˆu„l‰taˆtš Œp€aˆr‡ ˆr€é ‰uˆrˆr€e“n€ e Œsˆuˆr‡ n ∈ N.
- P€oŠuˆr‡ n = 0.
y t 7−→ e−t/x tα €esˆt € o”nˆt‰i’nˆu€e ˆi’nˆtég‰r€a„b†le Œsˆuˆr‡ [δ, +∞[.
−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
L€a‡ „fo”n€ ‰t‰i€o”n‡ €d€o”mˆi’n€a’nˆte €é‰ta’nˆt € o”nˆt‰i’nˆu€e ˆi’nˆtég‰r€a„b†le Œsˆuˆr‡ [δ, +∞[.
Z +∞
€d€o”n€ €d‡'€aŒpˆr€èš „le ˆt‘h€éoŠr€è“m€e €d€e „la‡ € o”n’vƒe‰r€ge“n€ e €d€o”mˆi’n€ée €gé“n€é‰r€a„l‰iŒs€é, lim e−t/x tα = 0, € '€esˆt €à‡ €dˆiˆr€e
x−→0+ δ
Z +∞
e−t/x tα = o(1) „loŠrŒs€qˆu€e x −→ 0+ .
δ

- SˆuŒpŒp€oǑs€o”nŒš „le ˆr€ésˆu„l‰taˆt €esˆt •vŠr€aˆi‡ €à‡ ˆu’n‡ €oŠr€dˆr€e n ≥ 1.


ZA
y S€oŠiˆt A > δ. U •n€e ˆi’nˆtég‰r€aˆt‰i€o”n‡ Œp€aˆr‡ Œp€aˆrˆt‰i€eš €aŒpŒp„l‰i€qˆu€ée €à‡ „l˜ˆi’nˆtég‰r€a„le e−t/x tα dt €d€o”n’n€e

δ
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
δ δ δ δ

€ e €qˆuˆi‡ €d€o”n’n€e €e“n‡ ˆte“n€d€a’nˆt A •vƒe‰rŒš +∞


Z +∞ Z +∞
e−t/x tα dt = xe−δ/x δα + αx e−t/x tα−1 dt
δ δ
Z +∞
€oŠr‡ xe−δ/x δα = o(xn+1 ) €e‰t Œp€aˆr‡ h’yp€oŠt‘h€ès€e €d€e ˆr€é ‰uˆrˆr€e“n€ e e−t/x tα−1 dt = o(xn ), €d€o”n€

Z +∞ δ

e−t/x tα dt = o(xn+1 ) € e €qˆuˆi‡ €é‰ta„b†l‰i€e „la‡ ˆr€é ‰uˆrˆr€e“n€ e.

1/ 8
D€édˆu€ ‰t‰i€o”n‡
Z +∞
- M€o”nˆt‰r€o”nŒš f(t)e−t/x dt = o(xn ).
δ
y S€oŠiˆt I = [δ, 1] €oŠu‡ I = [1, δ] Œs€e lo”n‡ „leš € aŒš δ≥1 €oŠu‡ δ≤1 €e‰t Œp€oǑs€o”nŒš M = sup |f|, €a„loŠrŒš „l˜h’yp€oŠt‘h€ès€e (a)
I
Œš'€é ‰rˆiˆt ∃K ≥ 0, C > 0, M > 0 ˆte l €qˆu€e ∀t ≥ δ, |f(t)| ≤ CtK + M, €d€o”n€
Z +∞ Z +∞ Z +∞
| f(t)e−t/x dt| ≤ Mxe−δ/x + C e−t/x tK dt, € e €qˆuˆi‡ €aŒsŒsˆuˆr€e €g‰r€â€ e €à‡ 2a. €qˆu€e f(t)e−t/x dt = o(xn ).
δ δ δZ 0+
+∞
k+λ−µ
y S€oŠiˆt k ∈ [[0, N]], €d‡'€aŒpˆr€èš € e €qˆuˆi‡ Œpˆr€é èd€e €e“n‡ Œpˆr€e“n€a’nˆt α= , €o”n‡ €aˆuˆr€a‡ e−t/x tα dt = o(xn ), € e
µ δ 0+

€qˆuˆi‡ €d€o”n’n€e Œp€aˆr‡ € o”m„bŠi’n€aˆiŒs€o”n‡ „l‰i’n€éaˆiˆr€e

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‡ € o”n€ l‰uˆt €d€o”n€ €qˆu€e 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'€aŒpˆr€èš „l˜h’yp€oŠt‘h€ès€e (b), ρN (t) = o t µ , € e €qˆuˆi‡ €aŒsŒsˆuˆr€e „l˜€eœx‰iŒsˆte“n€ e €d€e δ>0 ˆte l €qˆu€e
0+
Zδ Zδ
N+λ−µ N+λ−µ
∀t ∈]0, δ[, |ρN (t)| ≤ εt µ , €d€o”n€ ∀x > 0, e−t/x ρN (t)dt ≤ ε e−t/x t µ dt.
0 0
t
L€e € ‘h€a’n€ge“m€e“nˆt €d€e u= €a„b‚oŠuˆt‰iˆt €à‡
•v‚aˆrˆi€a„b†le

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 €qˆuˆi‡ €d€o”n’n€e

0 0 µ
  0
N+λ
„l˜ˆi’n€éga„l‰iˆté €d€e“m€a’n€d€ée €a’vƒe C′ = Γ .
µ
Zδ  N+λ 
2 . O •n‡ •vŠi€e“nˆt €d€e •m€o”nˆt‰r€e‰r‡ €qˆu€e e−t/x ρN (t)dt = o x µ .
0 +
0 Z +∞  N+λ 
N+λ −t/x n
E •n‡ €aŒpŒp„l‰i€qˆu€a’nˆt 2a, €a’vƒe „le δ Œpˆr€é éd€e“nˆt €e‰t n = 1+ E( ) , €o”n‡ €aˆuˆr€a‡ e ρ N (t)dt = o(x ) = o x µ
µ
0+ 0+
Z +∞  N+λ  δ

O •n‡ € o”n€ l‰uˆt Œp€aˆr‡ Œs€o”m’m€aˆt‰i€o”n‡ €qˆu€e e−t/x ρN (t)dt = o x µ .


0 0+
−t/x
2d‡. y L€a‡ „fo”n€ ‰t‰i€o”n‡ t 7−→ f(t)e €esˆt € o”nˆt‰i’nˆu€e Œp€aˆr‡ •m€oŠr€ eaˆu›x Œsˆuˆr‡ ]0, +∞[.
- Aˆu‡ •v‚oŠiŒsˆi’n€a€ge €d€e +∞, €g‰r€â€ e €à‡ „l˜h’yp€oŠt‘h€ès€e (a), f(t) = O(t ), K
€d€o”n€ f(t)e−t/x = O(tK e−t/x ) €e‰t Œp€aˆr‡ 2a,
−t/x
t 7−→ f(t)e €esˆt ˆi’nˆtég‰r€a„b†le Œsˆuˆr‡ [δ, +∞[ Œp€aˆr‡ € o”mŒp€aˆr€aˆiŒs€o”n‡.

N
X 1
- Aˆu‡ •v‚oŠiŒsˆi’n€a€ge €d€e 0, f(t) = ak t(k+λ−µ)/µ + o(t(N+λ−µ)/µ ), €oŠr‡ ∀k ∈ [[0, N]], t(k+λ−µ)/µ e−t/x ∼ k+µ
€e‰t
1−
k=0 t µ

k+µ
1− < 1, €d€o”n€ t 7−→ t(k+λ−µ)/µ e−t/x €esˆt ˆi’nˆtég‰r€a„b†le Œsˆuˆr‡ ]0, δ] €e‰t Œp€aˆr‡ Œsˆuˆiˆte t 7−→ f(t)e−t/x „l˜€esˆt €aˆuŒsŒsˆi‡.
µ
O •n‡ € o”n€ l‰uˆt €d€o”n€ €qˆu€e t 7−→ f(t)e−t/x €esˆt ˆi’nˆtég‰r€a„b†le Œsˆuˆr‡ ]0, +∞[, € e €qˆuˆi‡ €aŒsŒsˆuˆr€e „la‡ €d€é f‰i’nˆiˆt‰i€o”n‡ €d€e F.
t
y A •vƒe „le € ‘h€a’n€ge“m€e“nˆt €d€e •v‚aˆrˆi€a„b†le u= €o”n‡ €o†bŠt‰i€e“nˆt

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+λ
D€e Œp„l‰uŒš e−t/x ρN (t)dt = o x µ , €d€o”n€ €qˆu€a’n€d‡ 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), €d€o”n€ ∀s > −1, φ ′ (s) = , €d‡'€oŠù‡ „le ˆta„b†leaˆu‡ €d€e •v‚aˆrˆi€aˆt‰i€o”nŒš
1+s

s −1 0 +∞

φ (s) − 0 +
+∞ +∞
φ(s) ց ր
0

# L€a‡ „fo”n€ ‰t‰i€o”n‡ φ €é‰ta’nˆt € o”nˆt‰i’nˆu€e Œsˆt‰rˆi€ ‰te“m€e“nˆt €d€é ‰r€oŠiŒsŒs€a’nˆte Œsˆuˆr‡ ] − 1, 0[, €d€o”n€ Œs€a‡ ˆr€esˆt‰rˆi€ ‰t‰i€o”n‡ €à‡ ] − 1, 0[

2/ 8
€esˆt „bŠiŒje ‰t‰i’vƒe €d€e ] − 1, 0[ •vƒe‰rŒš ]0, +∞[.
# D€e •m€ê“m€e €e l le €esˆt € o”nˆt‰i’nˆu€e Œsˆt‰rˆi€ ‰te“m€e“nˆt € ‰r€oŠiŒsŒs€a’nˆte Œsˆuˆr‡ ]0, +∞[, €d€o”n€ Œs€a‡ ˆr€esˆt‰rˆi€ ‰t‰i€o”n‡ €à‡ ]0, +∞[ €esˆt

„bŠiŒje ‰t‰i’vƒe €d€e ]0, +∞[ €à‡ ]0, +∞[.

−1 0

3b. # L€a‡ „fo”n€ ‰t‰i€o”n‡ s 7−→ ln(1 + s) €esˆt €d€é“vƒe loǑpŒp€a„b†le €e“n‡ Œs€é‰rˆi€e €e“nˆt‰i€è‰r€e Œsˆuˆr‡ ] − 1, 1[ €e‰t €o”n‡ €a‡

+∞
X s k
∀s ∈] − 1, 1[, ln(1 + s) = (−1)k−1 , €d€o”n€
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‡ Œp€oǑs€e s = a1 q + a2 q
2
+ a3 q3 + a4 q4 , €a„loŠrŒš q −→ 0+ =⇒ s −→ 0+ .

s2 = a21 q2 + 2a1 a2 q3 + (2a1 a3 + a22 )q4 + o(q4 )


s3 = a31 q3 + 3a21 a2 q4 + o(q4 )
s4 = a41 q4 + o(q4 )
a2 a3 a2 a4
€d€o”n€ φ(s) = 1 q2 + (a1 a2 − 1 )q3 + (a1 a3 + 2 − a21 a2 + 1 )q4 + o(q4 ) €e‰t Œp€aˆr‡ Œsˆuˆiˆte φ(s) = q2 €eœx‰i€ge „le

 2 3 2 4

 a 2
= 2

 1
 a2
Œs’ysˆtè“m€e a2 = 1

 32

 a a3
 a3 = a1 a2 − 2 a1 − 1
2 4
√ 2 1 √ 2 1
€ e €qˆuˆi‡ €d€o”n’n€e b1 = 2, b2 = , b3 = √ €e‰t c1 = − 2, c2 = , c3 = − √ .
3 9 2 3 9 2
+∞
X +∞
X +∞
X √
• P€aˆr‡ h’yp€oŠt‘h€ès€e „loŠrŒs€qˆu€e q −→ 0+ , φ−1 2
+ (q ) = bk qk €e‰t φ−1 2
− (q ) = ck qk , €d€o”n€ φ−1
+ (q) = bk qk €e‰t

k=1 k=1 k=1


+∞
X √
φ−1
− (q) = ck qk , €e‰t Œp€aˆr‡ Œsˆuˆiˆte

k=1

p 2q q3/2 p 2q q3/2
φ−1
+ (q) = 2q + + √ + o(q3/2 ) €e‰t φ−1
− (q) = − 2q + − √ + o(q3/2 )
3 9 2 3 9 2
+∞
X +∞
X
• E •n‡ €d€é‰rˆi’v‚a’nˆt „l˜€éga„l‰iˆté φ−1 2
+ (q ) = bk qk , €o”n‡ €o†bŠt‰i€e“nˆt 2q(φ−1 ′ 2
+ ) (q ) = kbk qk−1 , €d€o”n€

√ 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‡ ˆr€e“mŒp„la€ a’nˆt b1 , b2 , b3 Œp€aˆr‡ c1 , c2 , c3 €o”n‡ €o†bŠt‰i€e“nˆt „l˜€éga„l‰iˆté (φ−1
− ) ′
(q) = √ + + √ + o( q).
2q 3 6 2
3d‡. D'€aŒpˆr€èš 1b. €e‰t €g‰r€â€ e €à‡ „la‡ ˆr€e laˆt‰i€o”n‡ €d€e C‘h€aŒs„leš
„la‡ €qˆu€esˆt‰i€o”n‡

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‡ „faˆiˆt „le € ‘h€a’n€ge“m€e“nˆt €d€e •v‚aˆrˆi€a„b†le φ(s) = q €d€a’nŒš „leš €d€e‰u›x ˆi’nˆtég‰r€a„leš €oŠù‡ φ = φ− Œp€oŠuˆr‡ „la‡ Œpˆr€e“mˆi€è‰r€e

€e‰t φ = φ+ Œp€oŠuˆr‡ „la‡ €d€e‰u›x‰i€è“m€e. O •n‡ €o†bŠt‰i€e“nˆt €d€o”n€


Z0 Z0 Z +∞ Z +∞
e−yφ(s) ds = e−yq (φ−1 ′
− ) (q)dq €e‰t e−yφ(s) ds = e−yq (φ+−1 ) ′ (q)dq, €d‡'€oŠù‡

−1 +∞ 0 0
Z +∞ 
Γ (y) = e−y yy e−yq (φ−1 ′ −1 ′
+ ) (q) − (φ− ) (q) dq
0
√ √
2 2√ √
3e. O •n‡ f(q) = (φ−1
Œp€oǑs€e + ) ′
(q) − (φ −1 ′
− ) (q) = √ + q + o( q), €a„loŠrŒš „loŠrŒs€qˆu€e q ˆte“n€d‡ •vƒe‰rŒš 0,
q 6

√ 2
f(q) = a0 q(λ−µ)/µ + a1 q(1+λ−µ)/µ + o(q(1+λ−µ)/µ ), €a’vƒe a0 = 2, a1 = €e‰t λ = 1/2, µ = 1.
      √ 6
1 √ 3 1 1 π
D'€aŒpˆr€èš 2d. €e‰t ŒpˆuˆiŒs€qˆu€e Γ = π, Γ = Γ = , €o”n‡ €aˆuˆr€a‡ „loŠrŒs€qˆu€e y ˆte“n€d‡ •vƒe‰rŒš +∞
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)), €d€o”n€
0 y 12y
 1/2  
−y y −y y 2π 1
„loŠrŒs€qˆu€e y −→ +∞ Γ (y) = e y F(1/y) = e y 1+ + o(1/y)
y 12y
Deuxième partie
 
1
4. • L€a‡ „fo”n€ ‰t‰i€o”n‡ t 7−→ e−t/x t−1 €esˆt € o”nˆt‰i’nˆu€e Œsˆuˆr‡ [1, +∞[ €e‰t e−t/x t−1 = o , €d€o”n€ F €esˆt „bŠi€e“n‡ €d€é f‰i’nˆi€e.
+∞ t2
Z x −1/u
x e
• L€e € ‘h€a’n€ge“m€e“nˆt €d€e •v‚aˆrˆi€a„b†le u= , € o”n€dˆuˆiˆt €à‡ F(x) = du.
t 0 u2
−1/u
e
L€a‡ „fo”n€ ‰t‰i€o”n‡ u 7−→ €é‰ta’nˆt €d€e € laŒsŒs€e C∞ Œsˆuˆr‡ ]0, +∞[, €d€o”n€ „la‡ „fo”n€ ‰t‰i€o”n‡ F €esˆt €d€e € laŒsŒs€e C∞ € o”m’m€e
u2
Œs€a‡ Œpˆrˆi’mˆiˆt‰i’vƒe.

ZA ZA  (N) 1
e−t/x
5. S€oŠiˆt A > 1. AŽpˆr€èš N ˆi’nˆtég‰r€aˆt‰i€o”nŒš Œp€aˆr‡ Œp€aˆrˆt‰i€eš, €o”n‡ €o”n„bŠt‰i€e“nˆt 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
€oŠr‡ (−1) (−x) e = (−1)k−1 (k − 1)!xk , €d€o”n€ €e“n‡ ˆte“n€d€a’nˆt A •vƒe‰rŒš +∞, €o”n‡ €o†bŠt‰i€e“nˆt
t tk

∀x > 0, F(x) = SN (s) + RN (x)

6a‡. # I„l Œš'€a€g‰iˆt €d‡'ˆu’n€e Œs€é‰rˆi€e €e“nˆt‰i€è‰r€e €d€e ˆr€a’yo”n‡ €d€e € o”n’vƒe‰r€ge“n€ e R = 0, €o†bŠte“nˆu‡ Œp€aˆr‡ „le € ‰rˆiˆtè‰r€e €d€e D'€a„le“m„bƒe‰rˆt,

€d€o”n€ „le €d€o”m€aˆi’n€e €d€e € o”n’vƒe‰r€ge“n€ e €esˆt „le Œsˆi’n€g le‰to”n‡ {0}.
# Sˆi‡ (RN (x))N €esˆt „b‚oŠr’n€ée, €a„loŠrŒš €g‰r€â€ e €à‡ „l˜€éga„l‰iˆté SN (x) = F(x) − RN (x), (SN (x))N €esˆt €aˆuŒsŒsˆi‡ „b‚oŠr’n€ée, €d€o”n€ €d€e

•m€ê“m€e Œp€oŠuˆr‡ (S2N+1 (x) − S2N (x))N , •m€aˆiŒš ∀x > 0, S2N+1 (x) − S2N (x) = (2N)!x2N+1 e−1/x €qˆuˆi‡ •n‡'€esˆt Œp€aŒš „b‚oŠr’n€é
X
, ŒpˆuˆiŒs€qˆu€e (2N)!x 2N+1
€esˆt „le ˆte‰r’m€e €gé“n€é‰r€a„l €d€e „la‡ Œs€é‰rˆi€e €e“nˆt‰i€è‰r€e (−1)k−1 (k − 1)!xk €qˆuˆi‡ €esˆt €dˆi’vƒe‰r€ge“nˆte

Œp€oŠuˆr‡ ˆtoŠuˆt x > 0.


1
6b. #∀ ≥ 1, e−t/x ≤ e−t/x , €d€o”n€
tN+1 Z +∞ Z +∞
1
∀x > 0, |RN (x)| = N!xN e−t/x N+1 dt ≤ N!xN e−t/x = N!xN+1 e−1/x = |rN (x)|.
1 t 1
|RN+1 (x)|
# |RN+1 (x)| ≤ |rN (x)| = (N + 1)x|rN (x)|, €d€o”n€ 0 ≤ ≤ (N + 1)x −→ 0, €d€o”n€
|rN (x)| x−→0+
|RN+1 (x)| = o(|rN (x)|).
0+

6 . P€aˆr‡ ˆu’n€e ˆi’nˆtég‰r€aˆt‰i€o”n‡ Œp€aˆr‡ Œp€aˆrˆt‰i€eš, €o”n‡ €o†bŠt‰i€e“nˆt

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), €d€o”n€

RN (x) − rN (x) = RN+1 (x) = o(rN (x)) € '€esˆt €à‡ €dˆiˆr€e RN (x) ∼ rN (x)
0+ 0+
 
|rN+1 (x)| 1 1
6d‡. S€oŠiˆt x ∈]0, 1/2[, 0 < = (N + 1)x ≤ 1 ⇐⇒ N ≤ − 1 ⇐⇒ N ≤ E −1 .
|rN (x)| x x
 
1 1
P€oǑs€o”nŒš N0 = E − 1 ≥ 1, ŒpˆuˆiŒs€qˆu€e 0 < x < , €a„loŠrŒš
x 2
L€a‡ Œsˆuˆiˆte (|rN (x)|)N≥1 €esˆt €d€é ‰r€oŠiŒsŒs€a’nˆte Œj‰uŒs€qˆu‡'€à‡ „le ˆr€a’n€g N0 , ŒpˆuˆiŒš € ‰r€oŠiŒsŒs€a’nˆte.

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 €é‰ta’nˆt Œp€aˆiˆr€e, €d€o”n€ RN (x) > 0 €e‰t Œp€aˆr‡ Œsˆuˆiˆte 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 , €d€o”n€ EN (x) = ≤ = , €oŠr‡ 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
C€e €qˆuˆi‡ €d€o”n’n€e „l˜ˆi’n€éga„l‰iˆté EN (x) ≤ M−1
.
X 2l+1
(1 − (2l + 1)x)(2l)!x
l=0
1
7b. O •n‡ €aŒpŒp„l‰i€qˆu€e „l˜ˆi’n€éga„l‰iˆté Œpˆr€é éd€e“nˆte €a’vƒe M = 2, x = . O •n‡ €o†bŠt‰i€e“nˆt
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. S€oŠiˆt h : (θ1 , θ2 ) 7−→ fi (θ1 )gi (θ2 ) €oŠù‡ n ∈ N∗ , f1 , ..., fn , g1 , ..., gn ∈ Cper (R) €e‰t Œs€oŠiˆt ε > 0, €a„loŠrŒš ˆi„l €eœx‰iŒsˆte

i=1
ε
€d€eš Œp€o†l“y“n€”m€eš ˆt‰rˆi€go”n€o”m€é‰t‰rˆi€qˆu€eš P1 , ..., Pn , Q1 , ..., Qn ˆte lš €qˆu€e ∀i ∈ [[1, n]], kfi − Pi k∞ ≤ €e‰t kgi −

ε 2nM
Qi k∞ ≤ €oŠù‡ M = max (kfi k∞ , kgi k∞ ). C€o”nŒsˆi€d€é‰r€o”nŒš „le Œp€o†l“y“n€”m€e ˆt‰rˆi€go”n€o”m€é‰t‰rˆi€qˆu€e R : (θ1 , θ2 ) 7−→
2nM 1≤i≤n
n
X
Pi (θ1 )Qi (θ2 ), €a„loŠrŒš

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∞ ) ≤ + =ε €e‰t Œp€aˆr‡ Œp€aŒsŒs€a€ge €aˆu‡ ŒsˆuŒp‡ Œsˆuˆr‡ (θ1 , θ2 ) ∈ R2 , €o”n‡
2 2
i=1
€o†bŠt‰i€e“nˆt kh − Rk∞ ≤ ε.

9. L€e €g‰r€aŒph€e €d€e ψj €esˆt „le Œsˆuˆi’v‚a’nˆt :

0 1/2 1
| |
−1 + 1/j −1/j 1/j 1 − 1/j

5/ 8
# G‰r€â€ e €aˆu‡ €g‰r€aŒph€e, ψj €é‰ta’nˆt € o”nˆt‰i’nˆu€e Œsˆuˆr‡ R Œp€é‰rˆi€o‚dˆi€qˆu€e, €d€o”n€ ψj,k €esˆt € o”nˆt‰i’nˆu€e Œp€aˆr‡ € o”mŒp€oǑsˆiˆt‰i€o”n‡, €d€e

Œp„l‰uŒš ∀t ∈ R, ψj,k (t + 1) = ψj (t + 1 − k/j) = ψj (t − j/k) = ψj,k (t). E •n‡ €d€é f‰i’nˆiˆt‰i’vƒe ψj,k ∈ Cper (R).

10a‡. # ∀k1 , k2 ∈ [[0, j − 1]], „leš „fo”n€ ‰t‰i€o”nŒš (θ1 , θ2 ) 7−→ ψj,k1 (θ1 )ψj,k2 (θ2 ) Œs€o”nˆt €d€eš €é lé“m€e“nˆtš €d€e Csep (R2 ) €qˆuˆi‡ €esˆt

ˆu’n‡ R− €esŒp€a€ e •vƒe ‰toŠrˆi€e l, €d€o”n€ Œp€aˆr‡ € o”m„bŠi’n€aˆiŒs€o”n‡ „l‰i’n€éaˆiˆr€e, S (f) ∈ Csep (R2 ).
j   
l1 l1 − k1
# S€oŠiˆt (l1 , l2 ) ∈ Z2 , j ≥ 2 €e‰t k1 , k2 ∈ [[0, j − 1]]. O •n‡ €a‡ ψj,k1 = ψj .
j j
ψj €é‰ta’nˆt 1− Œp€é‰rˆi€o‚dˆi€qˆu€e, €d€o”n€ €qˆuˆiˆt‰te €à‡ „faˆiˆr€e ˆu’n€e €dˆi’vŠiŒsˆi€o”n‡ €e‰u€ l‰i€dˆi€è“n’n€e €d€e l1 Œp€aˆr‡ j, €o”n‡ Œp€e‰uˆt ŒsˆuŒpŒp€oǑs€e‰r‡

|l1 − k1 |
€qˆu€e l1 ∈ [[0, j − 1]], €d€o”n€ 0 ≤ |l1 − k1 | < j €e‰t Œp€aˆr‡ Œsˆuˆiˆte 0 ≤ < 1, €d€e Œp„l‰uŒš ψj €esˆt Œs’y“m€é‰t‰rˆi€qˆu€e Œp€aˆr‡
j
1 |l1 − k1 | 1
ˆr€aŒpŒp€oŠrˆt €à‡ „la‡ €dˆr€oŠiˆte x = , €d€o”n€ €o”n‡ Œp€e‰uˆt ŒsˆuŒpŒp€oǑs€e‰r‡ €qˆu€e 0 ≤ < .
2 j 2
|l1 − k1 | 1 l1 − k1
- Sˆi‡ l1 6= k1 , €a„loŠrŒš |l1 − k1 | ≥ 1, €d€o”n€ ≥ €e‰t Œp€aˆr‡ Œsˆuˆiˆte ψj = 0.
j j j
 
l1 − k1
- Sˆi‡ l1 = k1 , €a„loŠrŒš ψj = ψj (0) = 1.
j
   
l1 l2
E •n‡ €d€é f‰i’nˆiˆt‰i’vƒe ψj,k
1
= δl1 ,k1 €d€e •m€ê“m€e ψj,k2 = δl2 ,k2 . O •n‡ €o†bŠt‰i€e“nˆt €d€o”n€
j j
   
l1 l2 l1 l2
Sj (f) , =f , .
j j j j
   
k1 k1 + 1 k2 k2 + 1
10b. • S€oŠiˆt θ = (θ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

# O •n‡ ŒsˆuŒpŒp€oǑs€e €qˆu€e k1 ≤ j − 2.


 
k1 1 k1
- Sˆi‡ l1 = k1 , θ1 − ∈ 0, , €d€o”n€ ψj (θ1 − ) = 1 − jθ1 + k1 = α1 .
j j j
 
k1 + 1 −1 k1 + 1
- Sˆi‡ l1 = k1 + 1, θ1 − ∈ , 0 , €d€o”n€ ψj (θ1 − ) = 1 + jθ − k1 − 1 = jθ1 − k1 = α2 .
j j
  j 
l1 k1 − l1 k1 − l1 + 1 1 j−1 l1
- Sˆi‡ 0 ≤ l1 ≤ k1 − 1, θ1 − ∈ , ⊂ , , €d€o”n€ ψj (θ1 − ) = 0
j j j j j j
   
l1 k1 − l1 k1 − l1 + 1 1 −1 l1
- Sˆi‡ k1 + 2 ≤ l1 ≤ j − 1, θ1 − ∈ , ⊂ −1 + , , €d€o”n€ ψj (θ1 − ) = 0
j j j j j j
# O •n‡ ŒsˆuŒpŒp€oǑs€e €qˆu€e k1 = j − 1.
 
k1 1 k1
- Sˆi‡ l1 = k1 = j − 1, θ1 −∈ 0, , €d€o”n€ ψj (θ1 − ) = −jθ1 + j = α1 .
j j j
   
0 1 −1
- Sˆi‡ l1 = 0, θ1 − ∈ 1 − , 1 , €d€o”n€ Œp€aˆr‡ Œp€é‰rˆi€o‚dˆi€ ‰iˆté €e‰t •vŠu‡ €qˆu€e (θ1 − 1) ∈ , 0 , €o”n‡ €aˆuˆr€a‡
j j j
0
ψj (θ1 − ) = ψj (θ1 − 1) = 1 + jθ1 − j = α2 .
j    
l1 k1 − l1 k1 − l1 + 1 1 1 l1
- Sˆi‡ 1 ≤ l1 ≤ j − 2, θ1 − ∈ , ⊂ ,1− , €d€o”n€ ψj (θ1 − ) = 0.
j j j j j j
E •n‡ €d€é f‰i’nˆiˆt‰i’vƒe Sˆi‡ l1 ∈ {k1 , k1 + 1}, ψj,k1 (θ1 ) = α1 €e‰t ψj,k1 +1 (θ1 ) = α2 , €a’vƒe α1 + α2 = 1.
Sˆi‡ l1 6= {k1 , k1 + 1}, ψj,l1 (θ1 ) = 0.
Oˆr‡ k1 €e‰t k2 ŒjoŠu€e“nˆt ˆu’n‡ ˆr€†le Œs’y“m€é‰t‰rˆi€qˆu€e, €d€o”n€ €o”n‡ €o†bŠt‰i€e“nˆt „leš •m€ê“m€eš ˆr€ésˆu„l‰taˆtš Œp€oŠuˆr‡ θ2 , €o”n‡ •n€oŠte ψj,k2 (θ2 ) =
β1 €e‰t ψj,k2 +1 (θ2 ) = β2 .
O •n‡ € o”n€ l‰uˆt €d€o”n€
       
k1 k2 k1 k2 + 1 k1 + 1 k2 k1 + 1 k2 + 1
Sj (θ) = α1 β1 f , + α1 β2 f , + α2 β1 f , + α2 β2 f ,
j j j j j j j j
€a’vƒe α1 β1 + α1 β2 + α2 β1 + α2 β2 = (α1 + α
2 )(β1 + β2 ) =1.  
[ k1 k1 + 1 k2 k2 + 1
• S€oŠiˆt ε > 0. O •n‡ €é ‰rˆiˆt [0, 1[2 = , × , .
j j j j
0≤k1 ,k2 ≤j−1
       
k1 k1 + 1 k2 k2 + 1 k1 k2 k1 k2 + 1
∀θ ∈ , × , , |Sj (f)(θ) − f(θ)| ≤ α1 β1 f , − f(θ) + α1 β2 f , − f(θ) +
j j j j j j j j
   
k1 + 1 k2 k1 + 1 k2 + 1
+α2 β1 f , − f(θ) + α2 β2 f , − f(θ)
j j j j

6/ 8
€oŠr‡ f €esˆt ˆu’nˆi„foŠr’m€é“m€e“nˆt € o”nˆt‰i’nˆu€e Œsˆuˆr‡ „le € o”mŒp€a€ ‰t [0, 1]2 , €d€o”n€ ˆi„l €eœx‰iŒsˆte α>0 ˆte l €qˆu€e ∀θ, φ ∈ [0, 1]2 , €o”n‡

€a‡ kθ − φk ≤  α =⇒  |f(θ) − f(φ)| ≤ ε.


k1 k2 k1 2 k2 2 2
k(θ1 , θ2 ) − , k2 = (θ1 − ) + (θ2 − ) ≤ 2 −→ 0, €d€o”n€ ∃j0 ˆte l €qˆu€e
j j j j j j−→+∞
 
k1 k2
∀j ≥ j0 , (θ1 , θ2 ) − , ≤ α, €d€o”n€ |Sj (f)(θ) − f(θ)| ≤ (α1 β1 + α1 β2 + α2 β1 + α2 β2 )ε = ε, € e €qˆuˆi‡ €d€o”n’n€e
j j
Œp€aˆr‡ Œp€aŒsŒs€a€ge €aˆu‡ ŒsˆuŒp‡ kSj (f) − fk∞ ≤ ε.

11. D'€aŒpˆr€èš „la‡ €qˆu€esˆt‰i€o”n‡ 8., „l˜€e“nŒs€e“m„b†le €d€eš Œp€o†l“y“n€”m€eš ˆt‰rˆi€go”n€o”m€é‰t‰rˆi€qˆu€eš €e“n‡ €d€e‰u›x •v‚aˆrˆi€a„b†leš €esˆt €d€e“nŒs€e €d€a’nŒš

2 2 2
Csep (R ) €e‰t €o”n‡ •vŠi€e“nˆt €d€e •m€o”nˆt‰r€e‰r‡ €d€a’nŒš „la‡ €qˆu€esˆt‰i€o”n‡ 10 €qˆu€e Csep (R ) €esˆt €d€e“nŒs€e €d€a’nŒš Cper (R ), €o”n‡ € o”n€ l‰uˆt

€d€o”n€ Œp€aˆr‡ ˆt‰r€a’nŒsˆiˆt‰i’vŠiˆté €d€e „la‡ €d€e“nŒsˆiˆté.

Quatrième partie

12. # ∀t ∈ R, α ′ (t) = ω ⇐⇒ ∀t ∈ R, α(t) = tω + α(0) ⇐⇒ ∀t ∈ R, α(t) = tω.



# ∀t ∈ R, F (t) = f(α(t)) ⇐⇒ Zt Zt

∀t ∈ R, F (t) = f(tω) ⇐⇒ ∀t ∈ R, F(t) = F(0) + f(sω)ds ⇐⇒ ∀t ∈ R, F(t) = f(sω)ds.
0 0

13. ω €esˆt ˆr€és€o”n’n€a’nˆt, €d€o”n€ k1 ω1 + k2 ω2 = 0 €oŠù‡ k1 , k2 ∈ Z r {0}.


i2π(k1 θ1 +k2 θ2 )
f : (θ1 , θ2 ) 7−→ e
S€oŠiˆt , €a„loŠrŒš f €esˆt € o”nˆt‰i’nˆu€e 1− Œp€é‰rˆi€o‚dˆi€qˆu€e €e‰t f(tω) = f(tω1 , tω2 ) = ei2πt(k1 ω1 +k2 ω2 ) =
Zt
e0 = 1, €d€o”n€ F(t) = 1dt = t.
0

14a‡. U •n‡ Œp€o†l“y“n€”m€e ˆt‰rˆi€go”n€o”m€é‰t‰rˆi€qˆu€e €esˆt € o”m„bŠi’n€aˆiŒs€o”n‡ „l‰i’n€éaˆiˆr€e €d€e „fo”n€ ‰t‰i€o”nŒš €d€e „la‡ „foŠr’m€e fk : (θ1 , θ2 ) 7−→
i2π(k1 θ1 +k2 θ2 )
e k1 , k2 ∈ Z, €d€o”n€ ˆi„l Œsˆu„f f‰iˆt €d€e •m€o”nˆt‰r€e‰r‡ €qˆu€e F €esˆt „b‚oŠr’n€ée Œp€oŠuˆr‡ „leš fk .
€oŠù‡
Zt Zt
# ∀t ∈ R, F(t) = fk (sω)ds = ei2πt(k1 ω1 +k2 ω2 ) ds, ω •n‡'€esˆt Œp€aŒš ˆr€és€o”n’n€a’nˆt, €d€o”n€ k1 ω1 + k2 ω2 6= 0,
0 0
1 i2πt(k1 ω1 +k2 ω2 )
€d€o”n€ F(t) = (e − 1) €e‰t Œp€aˆr‡ Œp€aŒsŒs€a€ge €aˆu‡ •m€o‚dˆu„le €e‰t €e“n‡ ˆuˆt‰i„l‰iŒs€a’nˆt „l˜ˆi’n€éga„l‰iˆté
i2π(k1 ω1 + k2 ω2 )
ˆt‰rˆi€a’n€g‰u„laˆiˆr€e, €o”n‡ €o†bŠt‰i€e“nˆt

1
∀t ∈ R, |F(t)| ≤
π|k1 ω1 + k2 ω2 |

14b. S€oŠiˆt f ∈ Cper (R2 ) €e‰t Œs€oŠiˆt ε > 0, €a„loŠrŒš Œp€aˆr‡ €d€e“nŒsˆiˆté €d€e „la‡ €qˆu€esˆt‰i€o”n‡ 11., ˆi„l €eœx‰iŒsˆte Q ˆu’n‡ Œp€o†l“y“n€”m€e

ˆt‰rˆi€go”n€o”m€é‰t‰rˆi€qˆu€e ˆte l kf − Qk∞ ≤ ε.


€qˆu€e

Zt Zt Zt
∀t ∈ R, F(t) = f(sω)ds = (f(sω) − Q(sω))ds + Q(sω)ds, €d€o”n€

Z0t 0 0
Zt
∀t ∈ R, |F(t)| ≤ kf − Qk∞ ds + M ≤ εt + M €oŠù‡ M ˆu’n‡ •m€aŒjoŠr€a’nˆt €d€e Q(sω)ds Œj‰uŒsˆt‰i„f‰i€é Œp€aˆr‡ „la‡ €qˆu€esˆt‰i€o”n‡

0 0
Œpˆr€é éd€e“nˆte.

O •n‡ €a‡ M = o(t), €d€o”n€ ˆi„l €eœx‰iŒsˆte A>0 ˆte l €qˆu€e ∀t > A, M ≤ εt €e‰t Œp€aˆr‡ Œsˆuˆiˆte ∀t > A, |F(t)| ≤ 2εt, € '€esˆt €à‡
+∞
€dˆiˆr€e F(t) = o(t).
+∞

15a‡. • h €é‰ta’nˆt €d€e € laŒsŒs€e C1 , €d€o”n€ Œs€eš €d€é‰rˆi’v‚éeš Œp€aˆrˆt‰i€e l leš Œs€o”nˆt € o”nˆt‰i’nˆu€eš €e‰t €o”n‡ €a‡ ∀θ = (θ1 , θ2 ) ∈ R2 , dh(θ).ω =
∂h ∂h
ω1 + ω2 , €oŠr‡ €g‰r€â€ e €à‡ „la‡ Œp€é‰rˆi€o‚dˆi€ ‰iˆté €d€e h Œp€aˆr‡ ˆr€aŒpŒp€oŠrˆt €à‡ Œs€eš €d€e‰u›x •v‚aˆrˆi€a„b†leš

Z1 ∂θ 1 ∂θ2 Z1
∂h ∂h
dθ1 = h(1, θ2 ) − h(0, θ2 ) = 0 €e‰t €e“n‡ ˆi’n’vƒe‰rŒs€a’nˆt „leš ˆr€†leš €d€e θ1 €e‰t θ2 , €o”n‡ €a‡ €aˆuŒsŒsˆi‡ dθ2 = 0 €d€o”n€

0 ∂θ1 0 ∂θ2
€e“n‡ Œp€e‰r’mˆuˆta’nˆt „leš €d€e‰u›x ˆi’nˆtég‰r€a„leš €qˆuˆi‡ €esˆt Œp€e‰r’mˆi‡ Œp€aˆr‡ „l˜€é“n€o”n€ é, €o”n‡ €o†bŠt‰i€e“nˆt

Z1 Z1
dh(θ).ω dθ1 dθ2 = 0.
0 0 Z1 Z1
E •n‡ ˆi’nˆtég‰r€a’nˆt „l˜€éga„l‰iˆté dh(θ).ω + g(θ) = ν, €o”n‡ €aˆuˆr€a‡ ν= g(θ)dθ1 dθ2 .
0 0
∂hi ∂hi
• L'€éqˆu€aˆt‰i€o”n‡ (4) €esˆt €éqˆuˆi’v‚a„le“nˆte €aˆu‡ Œs’ysˆtè“m€e ω1 + ω2 + gi (θ) = νi , (i = 1, 2) €oŠù‡ (h1 , h2 ), (g1 , g2 ) €e‰t
∂θ1 ∂θ2
(ν1 , ν2 ) Œs€o”nˆt „leš € o”mŒp€oǑs€a’nˆteš ˆr€esŒp€e ‰t‰i’vƒeš €d€e h, g €e‰t ν.
Qˆuˆiˆt‰te €à‡ ˆt‰r€a’v‚aˆi„l le‰r‡ Œsˆuˆr‡ „leš € o”mŒp€oǑs€a’nˆteš €o”n‡ Œp€e‰uˆt ŒsˆuŒpŒp€oǑs€e‰r‡ €qˆu€e h, g Œs€o”nˆt €à‡ •v‚a„le‰uˆrŒš €d€a’nŒš R €e‰t ν ∈ R.
2 2
O •n‡ ŒsˆuŒpŒp€oǑs€e €d€o”n€ €qˆu€e h : R −→ R, g : R −→ R €e‰t ν ∈ R.

7/ 8
# - Sˆi‡ g = cte, €a„loŠrŒš ν = cte €e‰t h=0 €esˆt ˆu’n€e Œs€o†l‰uˆt‰i€o”n‡ €qˆuˆi‡ €esˆt € o”nˆt‰i’nˆu€e 1− Œp€é‰rˆi€o‚dˆi€qˆu€e €e‰t €d€e •m€o”ye“n’n€e

•nˆu„l le.

# - Sˆi‡ g •n‡'€esˆt Œp€aŒš € o”nŒsˆta’nˆte. Qˆuˆiˆt‰te €à‡ ˆuˆt‰i„l‰iŒs€e‰r‡ „le ˆt‘h€éoŠr€è“m€e €d€e ŒsˆuŒp€e‰rŒp€oǑsˆiˆt‰i€o”n‡, ˆi„l Œsˆu„f f‰iˆt €d€e ˆr€és€oŠu€dˆr€e

2
„l˜€éqˆu€aˆt‰i€o”n‡ Œp€oŠuˆr‡ g(θ1 , θ2 ) = αcos(2π(k1 θ1 + k2 θ2 )) + βsin(2π(k1 θ1 + k2 θ2 )) €oŠù‡ (k1 , k2 ) ∈ Z r {(0, 0)}.
O •n‡ •v‚a‡ € ‘h€e‰r€ ‘h€e‰r‡ ˆu’n€e h(θ) = Acos(2π(k1 θ1 + k2 θ2 )) + Bsin(2π(k1 θ1 + k2 θ2 )).
Œs€o†l‰uˆt‰i€o”n‡ €d€e „la‡ „foŠr’m€e

 −2π(ω1 k1 + ω2 k2 )α = B
∂h ∂h
h €esˆt Œs€o†l‰uˆt‰i€o”n‡ €d€e ω1 + ω2 + g(θ) = ν Œsˆi‡ , €e‰t Œs€e‰u„le“m€e“nˆt Œsˆi‡ .
∂θ1 ∂θ2  2π(ω k + ω k )β = A
1 1 2 2

€ e ‰i‡ ˆi’n’vŠiˆte €à‡ ŒsˆuŒpŒp€oǑs€e‰r‡ €qˆu€e ω •n‡'€esˆt Œp€aŒš ˆr€és€o”n’n€a’nˆt. A •vƒe € e‰t‰te ŒsˆuŒpŒp€oǑsˆiˆt‰i€o”n‡ €o”n‡ €o†bŠt‰i€e“nˆt


 B
 α=−
h €esˆt Œs€o†l‰uˆt‰i€o”n‡, €e‰t Œs€e‰u„le“m€e“nˆt Œsˆi‡,
2π(ω1 k1 + ω2 k2 ) , € e €qˆuˆi‡ Œpˆr€oŠu’vƒe „l˜€eœx‰iŒsˆte“n€ e €d€e h.
 A

 β=
2π(ω1 k1 + ω2 k2 )
X
C€o”n€ l‰uŒsˆi€o”n‡ : Sˆi‡ €o”n‡ Œp€oǑs€e g1 (θ1 , θ2 ) = ak cos(2π(k1 θ1 + k2 θ2 ) + bk sin(2π(k1 θ1 + k2 θ2 ))) €e‰t g2 (θ1 , θ2 ) =
k∈K
X
ck cos(2π(k1 θ1 + k2 θ2 ) + dk sin(2π(k1 θ1 + k2 θ2 ))) €oŠù‡ K €esˆt ˆu’n€e Œp€aˆrˆt‰i€e „f‰i’nˆi€e €d€e Z2 , €a„loŠrŒš „la‡ Œs€o†l‰uˆt‰i€o”n‡ h
k∈K
€esˆt €d€o”n’n€ée Œp€aˆr‡ :

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)}

15b. E •n‡ €d€é‰rˆi’v‚a’nˆt „l˜€éga„l‰iˆté e(t) = α(t) + xh(α(t))


α Œp€aˆr‡ ˆr€aŒpŒp€oŠrˆt €à‡ t €g‰r€â€ e €à‡ „la‡ € laŒsŒs€e C1 €d€eš „fo”n€ ‰t‰i€o”nŒš €qˆuˆi‡

ˆi’nˆte‰r’vŠi€e“n’n€e“nˆt €d€a’nŒš € e‰t‰te €éga„l‰iˆté, €o”n‡ €aˆuˆr€a‡

′ ′ ′
e (t) = α (t) + xdh(α(t)).α (t),
∀t ∈ R, α €oŠr‡ €d‡'€aŒpˆr€èš „l˜€éqˆu€aˆt‰i€o”n‡ (3) , α ′ (t) = ω + xg(α(t)), €d€o”n€


e (t) = ω + xg(α(t)) + xdh(α(t)).(ω + xg(α(t))),
∀t ∈ R, α €e‰t ŒpˆuˆiŒs€qˆu€e €d‡'€aŒpˆr€èš „l˜€éqˆu€aˆt‰i€o”n‡ (4)
′ 2
g(α(t)) + dh(α(t)).ω = ν, €o”n‡ €o†bŠt‰i€e“nˆt e (t) = (ω + xν) + x dh(α(t)).(g(α(t)))
∀t ∈ R, α €e‰t Œp€aˆr‡ Œsˆuˆiˆte

e ′ (t) = (ω + xν) + xε(x, t)


∀t ∈ R, α €a’vƒe ε(x, t) = xdh(α(t)).g(α(t)).
# M€o”nˆt‰r€o”nŒš €qˆu€e sup kε(x, t)k −→ 0.
t∈R x−→0
1
h €é‰ta’nˆt €d€e € laŒsŒs€e C Œp€é‰rˆi€o‚dˆi€qˆu€e, €d€o”n€ dh : R2 −→ R2 €esˆt € o”nˆt‰i’nˆu€e Œp€é‰rˆi€o‚dˆi€qˆu€e, €d€o”n€ €e l le €esˆt „b‚oŠr’n€ée Œsˆuˆr‡

2
R , € e €qˆuˆi‡ €aŒsŒsˆuˆr€e „l˜€eœx‰iŒsˆte“n€ e €d€e M>0 ˆte l €qˆu€e ∀t ∈ R, |||dh(α(t))||| ≤ M.
€d€e Œp„l‰uŒš ∀t ∈ R, kg(α(t))k = kν − dh(α(t)).ωk ≤ kνk + |||dh(α(t))|||kωk ≤ kνk + Mkωk.
€e‰t Œp€aˆr‡ Œsˆuˆiˆte ∀t ∈ R, kε(x, t)k ≤ |x|M(kνk + Mkωk), € e €qˆuˆi‡ €e“nˆt‰r€aˆi’n€e €qˆu€e sup kε(x, t)k −→ 0.
t∈R x−→0
Zt
15 . E •n‡ ˆi’nˆtég‰r€a’nˆt „l˜€éga„l‰iˆté Œpˆr€é éd€e“nˆte €e“nˆt‰r€e 0 €e‰t t, €o”n‡ €o†bŠt‰i€e“nˆt e(t) − α
α e(0) = t(ω + xν) + x ε(x, s)ds €e‰t •vŠu‡ €qˆu€e

0
e(t) − xh(α(t))Z ,
α(t) = α €e‰t e(0) = xh(0, 0)
α
t
α(t) = t(ω + xν) + x ε(x, s)ds − x(h(α(t)) − h(0, 0)), €d€o”n€

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'€aŒpˆr€èš „l˜€éqˆu€aˆt‰i€o”n‡ (3) ˆi’nˆtég‰r€ée €e“nˆt‰r€e 0 €e‰t t, α(t) = tω + x g(α(s))ds €e‰t Œp€aˆr‡ Œsˆuˆiˆte €g‰r€â€ e €à‡ „l˜ˆi’n€éga„l‰iˆté
0
€d€eš €a€  ‰r€oŠiŒsŒs€e“m€e“nˆtš „f‰i’nˆiŒš €aŒpŒp„l‰i€qˆu€ée €à‡ h €qˆuˆi‡ €esˆt €d€e € laŒsŒs€e C1 €e‰t €à‡ „la‡ € o”nˆt‰i’nˆuˆiˆté €d€e goα Œsˆuˆr‡ „le € o”mŒp€a€ ‰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, €d€o”n€
0 s∈[0,T ]

∀t ∈ [0, T ], kη(x, t)k ≤ T sup kε(x, t)k + M|x|T sup kg(α(s))k €e‰t „le Œp€aŒsŒs€a€ge €aˆu‡ ŒsˆuŒp‡ €d€o”n’n€e
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

You might also like