Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Oscillateur harmonique 14<br />
On arrive à résoudre le problème de connexion pour l’équation de Bessel grâce à<br />
l’existence des représentations intégrales de type (3.10) (pour ν /∈ Z leur forme est un<br />
peu plus compliquée). En analysant l’asymptotique des intégrales quand r → ∞ il est<br />
possible de montrer que<br />
a = e−iπν/2−iπ/4<br />
√<br />
2π<br />
, b = eiπν/2+iπ/4<br />
√<br />
2π<br />
.<br />
Exercice 36 (difficile). Démontrer ces formules dans le cas ν ∈ Z à l’aide de (3.10).<br />
4. Oscillateur harmonique<br />
Dans ce chapitre, on étudie l’équation différentielle ordinaire suivante:<br />
Ĥψ = λψ,<br />
Ĥ = − d2<br />
dx 2 + x2 ,<br />
où λ ∈ R est un paramètre constant. En mécanique quantique, l’opérateur Ĥ = ˆp2 x + ˆx 2<br />
représente l’hamiltonien de l’oscillateur harmonique. Il nous sera commode d’introduire<br />
la notation λ = 2ε + 1 <strong>et</strong> de réécrire l’équation comme<br />
( )<br />
d<br />
2<br />
(4.1)<br />
dx 2 − x2 + 1 + 2ε ψ(x) = 0.<br />
Exercice 37. Montrer que Ĥ est formellement symétrique par rapport au produit scalaire<br />
(4.2) (ϕ, ψ) =<br />
∫ ∞<br />
−∞<br />
ϕ(x) ψ(x) dx.<br />
4.1. Analyse asymptotique. Considérons d’abord le comportement asymptotique des<br />
solutions de (4.1) lorsque x → ±∞. De façon analogue à la précédente, introduisons la<br />
notation ψ(x) = e f(x) <strong>et</strong> supposons que<br />
(4.3) f(x → +∞) = P (x) + α ln x + a 1<br />
x + a 2<br />
x 2 + . . . ,<br />
où P (x) est un polynôme de degré d: P (x) = Ax d +O ( x d−1) . L’équation pour f(x) qu’on<br />
obtient à partir de (4.1) s’écrit sous la forme<br />
f ′′ (x) + ( f ′ (x) ) 2 − x 2 + 1 + 2ε = 0.<br />
En substituant dans c<strong>et</strong>te équation le développement de f(x),<br />
(<br />
f(x → +∞) = Ax d + o x d) ,<br />
(<br />
f ′ (x → +∞) = Ad x d−1 + O x d−2) ,<br />
(<br />
f ′′ (x → +∞) = Ad(d − 1)x d−2 + O x d−3) ,<br />
on trouve<br />
Ad(d − 1)x d−2 + O<br />
(x d−3) + A 2 d 2 x 2d−2 + O<br />
(x 2d−3) −x 2 + 1 + 2ε = 0.<br />
} {{ } } {{ }<br />
f ′′ (x)<br />
(f ′ (x)) 2<br />
Si d = 1, la plus grande puissance de x est égale à 2, mais dans ce cas le coefficient de<br />
x 2 est égal à −1, <strong>et</strong> on ne peut pas l’annuler (contradiction). D’autre part si d ≥ 2, la plus<br />
grande puissance de x est égale à 2d − 2, avec le coefficient A 2 d 2 . Le seul terme qui peut