Méthode de Laplace et de la phase stationnaire - ENS de Cachan ...
Méthode de Laplace et de la phase stationnaire - ENS de Cachan ...
Méthode de Laplace et de la phase stationnaire - ENS de Cachan ...
- Aucun tag trouvé…
Transformez vos PDF en papier électronique et augmentez vos revenus !
Optimisez vos papiers électroniques pour le SEO, utilisez des backlinks puissants et du contenu multimédia pour maximiser votre visibilité et vos ventes.
Métho<strong>de</strong> <strong>de</strong> <strong>Lap<strong>la</strong>ce</strong> <strong>et</strong> <strong>de</strong> <strong>la</strong> <strong>phase</strong> <strong>stationnaire</strong>Virginie Bonnaillie-Noël26 novembre 20041 Métho<strong>de</strong> <strong>de</strong> <strong>Lap<strong>la</strong>ce</strong>Référence : Gourdon p. 159.But : Il s’agit d’étudier le comportement d’intégrales du type∫ bag(x)e th(x) dx lorsque t → +∞.1.1 Cas particulier g(x) = x α , h(x) = ctx β .Lemme 1. Si α > −1, β > 0, c > 0 <strong>et</strong> b ≥ 0, alors∫ bx α e −ctxβ dx ∼ 1 ( ) α + 1β Γ (ct) − α+1β lorsque t → ∞,βoù Γ est <strong>la</strong> fonction définie par Γ(x) =Démonstration. Définissons0∫ ∞0J(t) =t x−1 e −t dt pour x > 0.∫ b0x α e −ctxβ dx.Posons u = ctx β , alors x = ( ) 1u βct. Ainsi :J(t) = 1 ∫α+1 ctb β(ct)− β u α+1β −1 e −u du ∼ 1 ( )α+1(ct)− βα + 1Γ quand t → 0.β 0β β1.2 Cas généralThéorème 2. Soient b > 0 <strong>et</strong> g, h : (0, b) → R <strong>de</strong>ux applications continues telles que :1.∫ b0| g(x) | e h(x) dx < +∞,2. ∃δ 0 > 0, ∀δ ∈ (0, δ 0 ), ∀x ∈ [δ, b), h(x) ≤ h(δ),3. au voisinage <strong>de</strong> 0 + , g(x) ∼ Ax α , (α > −1),h(x) = a − cx β + o(x β ), (c, β > 0).Alors,I(t) =∫ b0g(x)e th(x) dx ∼ A ( ) α + 1β Γ e at (ct) − α+1ββlorsque t → +∞.1
Démonstration. Quitte à multiplier l’intégran<strong>de</strong> g(x)e th(x) par e−atA, on peut supposer que a = 0<strong>et</strong> A = 1.Pour alléger les notations, posons :φ(t) = 1 β Γ ( α + 1βRemarquons que, d’après le Lemme 1, nous avons∫ b0x α e −ctxβ dx ∼ φ(t) lorsque t → ∞.)(ct) − α+1β . (1)Le comportement asymptotique <strong>de</strong> I(t) est donc donné par le comportement <strong>de</strong> l’intégran<strong>de</strong> auvoisinage <strong>de</strong> 0 + .– Etu<strong>de</strong> <strong>de</strong> <strong>la</strong> partie principale (autour <strong>de</strong> 0) :Soit ɛ ∈ (0, 1). Par l’hypothèse (3), il existe δ ≤ δ 0 tel que pour tout x ∈ (0, δ) :Nous déduisons ainsi :avec(1 − ɛ)x α ≤ g(x) ≤ (1 + ɛ)x α ,−(1 + ɛ)cx β ≤ h(x) ≤ −(1 − ɛ)cx β .I 1 (t) ≤∫ δ∫ δI 1 (t) = (1 − ɛ)0I 2 (t) = (1 + ɛ)g(x)e th(x) dx ≤ I 2 (t),0∫ δ0x α e −(1+ɛ)ctxβ dx,x α e −(1−ɛ)ctxβ dx.En reprenant le Lemma 1, nous déduisons les asymptotiques suivantes lorsque t → +∞ :I 1 (t) ∼ 1 − ɛ ( ) α + 1β Γ (1 + ɛ) − α+1β (ct) − α+1β ,βI 2 (t) ∼ 1 + ɛ ( α + 1β Γ β)(1 − ɛ) − α+1β (ct) − α+1β .Par conséquent (définition <strong>de</strong> l’équivalence), il existe t 1 > 0 tel que pour tout t ≥ t 1 , ona :∫ δ(1 − ɛ) 2 (1 + ɛ) − α+1β φ(t) ≤ g(x)e th(x) dx ≤ (1 + ɛ) 2 (1 − ɛ) − α+1β φ(t). (2)0– Etu<strong>de</strong> du reste :Selon les hypothèses (2) <strong>et</strong> (3) <strong>et</strong> par construction <strong>de</strong> δ, nous savons queEcrivons pour tout t ≥ 1 <strong>et</strong> tout x ∈ (δ, b),h(x) ≤ h(δ) < 0, ∀x ∈ (δ, b).th(x) = (t − 1)h(x) + h(x) ≤ (t − 1)h(δ) + h(x).∫ bNous en déduisons ainsi que l’intégrale | g(x) | e th(x) dx converge pour t ≥ 1 <strong>et</strong> nousδavons : ∫ b∫ b| g(x) | e th(x) dx ≤ e (t−1)h(δ) | g(x) | e h(x) dx ≤ Ce (t−1)h(δ) .δ2δ
Par conséquent, le Théorème 2 montre que pour t → +∞,∫ bag(x)e th(x) dx ∼ 2 g(x (0) 1Γ e2 2)th(x 0)√∼ g(x 0 )e th(x 0)√2π−th ′′ (x 0 ) ,2−th ′′ (x 0 )car Γ ( 12)=√ π (poser t = u 2 <strong>et</strong> passer en coordonnées po<strong>la</strong>ires).Remarque 1.( 1Γ2)== 2= 2∫ ∞0∫ ∞0( ∫ π2t − 1 2 e −t dt0e −u2 du∫ ∞0e −r2 rdrdθ) 12= 2( [π2] ∞e −r220) 12= √ π.1.3 ApplicationProposition 4. Γ(t + 1) ∼ √ 2π t t+ 1 2 e −t lorsque t → ∞Démonstration. Rappelons que Γ(t + 1) =∫ ∞0e t ln x−x dx. Remarquons que si h(x) = t ln x − x,alors h ′ (x) = t x − 1. Posons <strong>la</strong> changement <strong>de</strong> variables u = x t(pour se ramener au cas où <strong>la</strong>fonction atteint son maximum en une abscisse indépendante <strong>de</strong> t), alors∫ ∞Γ(t + 1) = t t+1 e t(ln u−u) du.La fonction h: u ↦→ ln u − u adm<strong>et</strong> un unique maximum en u = 1 avec h(1) = −1 <strong>et</strong> h ′′ (1) = −1.Alors, en appliquant le Corol<strong>la</strong>ire 3 avec g ≡ 1, il vient :0Γ(t + 1) ∼ t→∞ t t+1 e −t √2πt.Remarque 2. Nous r<strong>et</strong>rouvons <strong>la</strong> formule <strong>de</strong> Stirling quand t est un entier.2 Métho<strong>de</strong> <strong>de</strong> <strong>la</strong> <strong>phase</strong> <strong>stationnaire</strong>Références : Zuily-Queffélec p. 334, Vauthier-Prat p. 22But : Le but <strong>de</strong> c<strong>et</strong>te métho<strong>de</strong> est d’étudier le comportement lorsque t → ∞ d’intégrales <strong>de</strong><strong>la</strong> formeF (t) =∫ bag(x)e ith(x) dx, (5)où g <strong>et</strong> h sont <strong>de</strong>s fonctions C ∞ sur (a, b) <strong>et</strong> g est à support dans (a, b) ⊂ R. Ce comportementest beaucoup plus difficile à contrôler que dans le cas où l’exponentielle est réelle. Tout se joueau voisinage <strong>de</strong>s points où h ′ s’annule (<strong>la</strong> “<strong>phase</strong> stationne”).4
2.1 Cas où <strong>la</strong> <strong>phase</strong> ne s’annule pasThéorème 5. Supposons que | h ′ (x) |≥ c > 0 sur (a, b), alors <strong>la</strong> fonction F est à décroissancerapi<strong>de</strong>, i.e.∀n ∈ N,∫ bDémonstration. Ecrivons l’intégrale sous <strong>la</strong> forme :∫ baag(x)e ith(x) dx =g(x)e ith(x) dx = O(t −n ). (6)= 1 t∫ ba∫ bg(x)ith ′ (x) ith′ (x)e ith(x) dxag 1 (x)e ith(x) dx,(en faisant une intégration par parties (car g(a) = g(b) = 0) <strong>et</strong> en posant g 1 (x) = i g(x) ′.h (x)) ′C<strong>et</strong>te fonction g 1 est C ∞ sur R à support dans (a, b).Montrons par récurrence que pour tout entier n, qu’il existe une fonction g n C ∞ sur R à supportdans (a, b) telle que :F (t) = 1 ∫ bt n g n (x)e ith(x) dx. (7)aCe résultat vient d’être établi pour n = 1. Supposons le vrai pour un certain entier n > 0 <strong>et</strong>montrons <strong>la</strong> re<strong>la</strong>tion (7) à l’ordre n + 1. Pour ce<strong>la</strong>, effectuons à nouveau une intégration parparties :∫ b( )avec g n+1 (x) = i gn(x) ′.h ′ (x)2.2 Cas où <strong>la</strong> <strong>phase</strong> s’annuleag(x)e ith(x) dx = 1 ∫ bt n g n (x)e ith(x) dx= 1t n=a∫ bag n (x)ith ′ (x) ith′ (x)e ith(x) dx∫1 bt n+1 g n+1 (x)e ith(x) dx,La version <strong>la</strong> plus simple <strong>de</strong> <strong>la</strong> métho<strong>de</strong> concerne le cas où les points critiques sont nondégénérés. Ces points étant isolés, il suffira dans un premier temps d’étudier le cas où il y a unseul point critique. Avant <strong>de</strong> traiter le cas particulier h(x) = λx 2 , rappelons le résultat suivant :aLemme 6. Pour ɛ > 0,F(e −ɛx2 +iλx 2 ) =√ ( π√ exp −ɛ − iλξ 24(ɛ − iλ)).Démonstration. Commençons par calculer <strong>la</strong> transformée <strong>de</strong> Fourier <strong>de</strong> <strong>la</strong> fonction x ↦→ e −x2 .Comme c<strong>et</strong>te fonction est dans S(R), il en est <strong>de</strong> même <strong>de</strong> sa transformée <strong>de</strong> Fourier. De plus :∫ˆf ′ (t) = i e −ixt (−xe −x2 )dx = i ∫e −ixt (e −x2 ) ′ dxR 2 R= − i ∫2 R(e −ixt ) ′ e −x2 dx = − t ∫e −ixt e −x2 dx = − t 2 R2 ˆf(t).5
Par conséquent, ˆf(t) = Ce − t2 4 . Comme ˆf(0) = √ π, on déduit que :ˆe −x2 (t) = √ πe − t2 4 .Déduisons-en <strong>la</strong> transformée <strong>de</strong> Fourier <strong>de</strong> <strong>la</strong> fonctionf(x) = e −zx2 , Rz > 0.Considérons <strong>la</strong> fonction <strong>de</strong> <strong>la</strong> variable complexe z∫H(z) = e −itx e −zx2 dx.RA t fixé dans R, H est une fonction holomorphe dans {z ∈ C; Rz > 0} car à x fixé, <strong>la</strong> fonctionz ↦→ e −itx e −zx2 est holomorphe. De plus, si K est un compact <strong>de</strong> {z ∈ C; Rz > 0}, <strong>et</strong> si z ∈ K,on a Rz ≥ ɛ > 0. Alors :| e −itx e −zx2 |= e −Rzx2 ≤ e −ɛx2 ∈ L 1 .Si z est un réel positif, posons dans l’expression <strong>de</strong> H(z), √ zx = y, il vient :H(z) = 1 √ z∫√e −i √ tzy e−y 2 π t2dy = e− 4z , z > 0.zLa fonction z ↦→ √ πzest holomorphe sur {z ∈ C; Rz > 0}, <strong>de</strong> même que H. Ces <strong>de</strong>uxfonctions coïnci<strong>de</strong>nt sur le <strong>de</strong>mi-axe réel positif. Par prolongement analytique, elles coïnci<strong>de</strong>ntdans le <strong>de</strong>mi-p<strong>la</strong>n Rz > 0. Par conséquent,√eˆ π −zx2 t2(t) = e− 4z , Rz > 0.ze−t24zLemme 7. Considérons <strong>la</strong> fonction G: R \ {0} → C définie par :∫G(λ) = e iλx2 b(x)dx, λ ∈ R \ {0}, (8)Roù b ∈ C ∞ 0 (R). Alors G(λ) =avec√ π∑N√ e i π 4 signe(λ) i n| λ | 4 n n! λ−n b (2n) (0) + R N (λ), (9)n=0| R N (λ) |≤ C N | λ | −N− 3 2∫R| ξ | 2N+2 | ˆb(ξ) | dξ.Démonstration. L’idée est d’écrire une formule <strong>de</strong> Parseval pour c<strong>et</strong>te intégrale :∫f(x)g(x)dx = 1 ∫ˆf(ξ)ĝ(ξ)dξ,2πRqui est va<strong>la</strong>ble pour f <strong>et</strong> g dans L 2 (R). Mais e iλx2 /∈ L 2 (R).Considérons alors pour tout ɛ > 0,∫G ɛ (λ) = e −ɛx2 +iλx 2 b(x)dx. (10)R6R
Comme b ∈ L 1 (R), alors le théorème <strong>de</strong> Lebesgue prouve que pour tout λ ∈ R, on a :lim G ɛ(λ) = G(λ). (11)ɛ→0Nous allons appliquer <strong>la</strong> formule <strong>de</strong> Parseval avec les fonctions x ↦→ e −ɛx2 +iλx 2<strong>et</strong> b. Nousdéduisons alors du Lemme 6 <strong>et</strong> <strong>de</strong> <strong>la</strong> formule <strong>de</strong> Parseval que :∫ (1G ɛ (λ) =2 √ π √ ξ 2 )exp − ˆb(ξ)dξ. (12)ɛ − iλ 4(ɛ − iλ)RNous allons montrer que c<strong>et</strong>te intégrale est convergente en utilisant le théorème <strong>de</strong> convergencedominée <strong>de</strong> Lebesgue. En eff<strong>et</strong>, pour tout λ ≠ 0 <strong>et</strong> tout ξ ∈ R, on a :(ξ 2 ))1. lim exp −= exp(−i ξ2,ɛ→0 4(ɛ − iλ)4λ( ) ( )2. | exp −ξ2 ˆb(ξ) |= exp −ɛξ2 | ˆb(ξ) |≤| ˆb(ξ) | .4(ɛ−iλ)4(ɛ 2 +λ 2 )Or, b ∈ C ∞ 0 (R), donc ˆb ∈ L 1 (R). En outre,limɛ→0{ √√ ei π 4 | λ | si λ < 0,ɛ − iλ = √ (13)λ si λ > 0,e −i π 4Nous déduisons alors <strong>de</strong> l’expression (12) <strong>de</strong> G ɛ , <strong>de</strong> <strong>la</strong> re<strong>la</strong>tion (13) <strong>et</strong> <strong>de</strong> <strong>la</strong> convergence <strong>de</strong> G ɛque :∫lim G 1ɛ = G avec G(λ) =ɛ→0 2 √ π | λ | ei signe(λ) π ξ2−i 4 e 4λˆb(ξ)dξ. (14)RLemme 8. Pour tout N ∈ N <strong>et</strong> tout y ∈ R, on ae iy =N∑ (iy) nn=0n!+ A N (y) avec | A N (y) |≤ | y |N+1(N + 1)! .Démonstration. Il suffit d’écrire <strong>la</strong> formule <strong>de</strong> Taylor à l’ordre N avec reste intégral. L’expression<strong>de</strong> A N est ainsi :∫ 1A N (y) = (iy)N+1 (1 − u) N e iuy du.N!Par conséquent,| A N (y) |≤ | y |N+1N!∫ 100(1 − u) N du = | y |N+1(N + 1)! .Le Lemme 8 avec y = − ξ24λ(14) :perm<strong>et</strong> <strong>de</strong> donner une nouvelle expression <strong>de</strong> G(λ) en utlisantG(λ) = ei π 4 signe(λ) N∑2 √ (−i) nπ | λ | 4 n n! λ−n ξn=0∫R2nˆb(ξ)dξ + RN (λ), (15)avec R N (λ) = ei π 4 signe(λ) ∫ ( )2 √ A N − ξ2 ˆb(ξ)dξ.π | λ |4λOr, par hypothèse, b ∈ C0 ∞(R), donc ˆb est à décroissance rapi<strong>de</strong> à l’infini <strong>et</strong> nous pouvons écrire<strong>la</strong> formule d’inversion <strong>de</strong> Fourier pour b, ainsi :b(x) = 1 ∫e −ixξˆb(ξ)dξ. (16)2πR7R
De plus, nous pouvons dériver sous le signe intégrale autant que voulu. Nous en déduisons alorsl’expression <strong>de</strong> <strong>la</strong> dérivée 2n-ième en 0 <strong>de</strong> b :b (2n) (0) = 1 ∫(−iξ) 2nˆb(ξ)dξ. (17)2πRC<strong>et</strong>te <strong>de</strong>rnière re<strong>la</strong>tion perm<strong>et</strong>, en reprenant (15) <strong>et</strong> le Lemme 8 d’obtenir une nouvelle expression<strong>de</strong> G :√ π∑NG(λ) = √ e i π 4 signe(λ) i n| λ | 4 n n! λ−n b (2n) (0) + R N (λ), (18)avecn=0| R N (λ) |≤ C N | λ | −N− 3 2Ceci achève <strong>la</strong> démonstration du Lemme 7.∫R| ξ | 2N+2 | ˆb(ξ) | dξ.Théorème 9. Supposons que h s’annule en exactement un point x 0 ∈ (a, b) tel que h ′′ (x 0 ) ≠ 0.Alors, il existe une suite (A n ) n <strong>de</strong> C telle que pour tout N ∈ N, on a pour tout t ≥ 1 :avecEn particulier,⎧⎨⎩∫ bag(x)e ith(x) dx =N∑A n t n− 1 2 + RN (t), (19)n=0A 0 = e ith(x 0) √ 2π e iɛ π 4√ g(x |h0) avec ɛ = signe h ′′ (x 0 ),′′ (x 0 )|| R N (t) | = O(t −N− 3 2 ), t ≥ 1.∫ ba(20)g(x)e ith(x) dx ∼ A 0√tlorsque t → 0, si g(x 0 ) ≠ 0. (21)Démonstration. Remarquons que nous avons traité au Lemme 7 le cas où g(x) = λx 2 . Passonsau cas général. Notons F (t) l’intégrale :∫F (t) = g(x)e ith(x) dx.RNous allons nous ramener au cas où h(x) = x 2 en écrivant le <strong>la</strong> formule <strong>de</strong> Taylor avec resteintégral <strong>de</strong> h.Lemme 10. Sous les conditions du Théorème 9, il existe un intervalle I <strong>et</strong> une fonction C ∞φ: (−α, α) → I = (x 0 − γ, x 0 + γ),telle que :– φ est un difféomorphisme local <strong>de</strong> (−α, α) sur I,– ∀s ∈ (−α, α), h(φ(s)) = h(x 0 ) + ɛs 2 .Démonstration. Ecrivons <strong>la</strong> formule <strong>de</strong> Taylor <strong>de</strong> h avec reste intégral :∫ 1h(x) = h(x 0 ) + (x − x 0 ) 2 (1 − t)h ′′ (x 0 + t(x − x 0 ))dt= h(x 0 ) + (x − x 0 ) 2 k(x).08
Grâce à l’expression intégrale <strong>de</strong> k, nous remarquons que k ∈ C ∞ (R) <strong>et</strong> que :k(x 0 ) = 1 2 h′′ (x 0 ) = ɛ 2 | h′′ (x 0 ) | .Il existe donc un intervalle (x 0 − β, x 0 + β) sur lequel | k(x) |≥ 1 4 | h′′ (x 0 ) |.Posons∀x ∈ (x 0 − β, x 0 + β), (x − x 0 ) | k(x) | 1 2 = s(x). (22)Nous pouvons appliquer le théorème <strong>de</strong>s fonctions implicites : il existe un intervalle (x 0 −γ, x 0 +γ) ⊂ (x 0 − β, x 0 + β) <strong>et</strong> un difféomorphisme C ∞ φ: (−α, α) → (x 0 − γ, x 0 + γ) tel que :(φ(s) − x 0 ) | k(φ(s)) | 1 2 = s ou h(φ(s)) = h(x0 ) + ɛs 2 .Coupons l’intégrale F selon que l’on est proche <strong>de</strong> x 0 ou non. Notons (a, b) le support <strong>de</strong> <strong>la</strong>fonction g. Alors :avec∫ bag(x)e ith(x) dx = U(t) + V (t) + W (t),U(t) =V (t) =W (t) =∫ x0 −γa∫ x0 +γx 0 −γ∫ bx 0 +γg(x)e ith(x) dx,g(x)e ith(x) dx,g(x)e ith(x) dx.Comme h ′′ ne s’annule pas sur (a, x 0 − γ) ∪ (x 0 + γ, b), nous pouvons appliquer le Théorème 5,alors, pour tout n ∈ N, nous avons :U(t) = O(t −n ) <strong>et</strong> W (t) = O(t −n ). (23)Etudions maintenant l’intégrale V en effectuant le changement <strong>de</strong> variables x = φ(s), il vient :Notons queV (t) =∫ α−α= e ith(x 0)g(φ(s))φ ′ (s)e ith(x 0) e itɛs2 ds (24)∫ α−α√2g 1 (0) = g(x 0 )| h ′′ (x 0 ) | .g 1 (s)e itɛs2 ds. (25)Nous pouvons maintenant reprendre le calcul <strong>de</strong> G(λ) pour le cas particulier h(x) = λx 2 <strong>et</strong>choisir λ = signe(h ′′ (x 0 ))t = ɛt, t > 0. Nous reprenons ainsi <strong>la</strong> re<strong>la</strong>tion (9). Nous obtenonsalors :V (t) = √ N∑πe iɛ π 4 B n t −n− 1 2 + RN (t) avec R N (t) = O(t −N− 3 2 ). (26)n=0Calculons B 0 . D’après (9), nous savons que :√2B(0) = b(0) = g 1 (0) = g(x 0 )| h ′′ (x 0 ) | .9