Fonction de Hankel

Un article de Wikipédia, l'encyclopédie libre.

Les fonctions de Hankel, du nom du mathématicien Hermann Hankel, notées H_{\alpha}^{(1)}(x) et H_{\alpha}^{(2)}(x), sont des fonctions spéciales de la physique mathématique. Ce sont les solutions linéairement indépendantes de l'équation de Bessel:

 x^2 \frac{d^2 y}{dx^2} + x \frac{dy}{dx} + (x^2 - \alpha^2) \ y = 0

où α est un nombre arbitraire réel ou complexe. Dans le cas où α est un entier, on le note alors généralement par n dans l'équation de Bessel, et il est dénommé ordre.

Fonction de Hankel du premier type:

 H_{\alpha}^{(1)}(x) = J_{\alpha}(x) + i Y_{\alpha}(x)

Fonction de Hankel du deuxième type:

 H_{\alpha}^{(2)}(x) = J_{\alpha}(x) - i Y_{\alpha}(x)

La présence de i montre qu'il s'agit de solutions complexes. Les Fonctions de Hankel sont des combinaisons linéaires des 2 autres solutions de l'équation de Bessel que sont Jα(x) et Yα(x), dites fonctions de Bessel de première et deuxième espèce. Les fonctions de Hankel sont par conséquent aussi nommées Fonctions de Bessel de troisième espèce.

[modifier] Utilité

Les fonctions de Hankel du premier ou deuxième type sont utilisées pour exprimer en physiques des ondes cylindriques entrantes ou sortantes. Par exemple, dans un problème de diffraction par un cylindre infiniment long et éclairé par une onde plane, l'équation de Helmholtz en coordonnées cylindrique (ρ,θ,z) mènera à l'équation de Bessel décrite ci-dessus:


 \Delta f + k^2 f \ = \ 0 (équation de Helmholtz)
 \Delta f = {1 \over \rho} {\partial \over \partial \rho} \left( \rho {\partial f \over \partial \rho} \right) 
+ {1 \over \rho^2} {\partial^2 f \over \partial \theta^2} 
+ {\partial^2 f \over \partial z^2 } (Laplacien en coordonnées cylindriques)
 {1 \over \rho} {\partial \over \partial \rho} \left( \rho {\partial f \over \partial \rho} \right) + k^2 f = 0
 {\partial^2 f \over \partial \rho^2} + {1 \over \rho} {\partial f \over \partial \rho} + k^2 f = 0
 (k\rho)^2 {\partial^2 f \over \partial (k \rho)^2} + k\rho 
\ {\partial f \over \partial (k\rho)} + (k\rho)^2 f = 0 (équation de Bessel avec x = k ρ et α = 0)

Les conditions aux limites du problème imposent alors comme solution les fonctions de Hankel  f = H_{0}^{(1)}(k\rho)/4i .

[modifier] Propriétés

  • Expression en fonction des Bessels de première espèce :


 H_{\alpha}^{(1)} (x) = \frac{J_{-\alpha} (x) - e^{-\alpha \pi i} J_{\alpha} (x)}{i \sin (\alpha \pi)}

 H_{\alpha}^{(2)} (x) = \frac{J_{-\alpha} (x) - e^{\alpha \pi i} J_{\alpha} (x)}{- i \sin (\alpha \pi)}


  • Relation sur α :


 H_{-\alpha}^{(1)} (x) = e^{\alpha \pi i} H_{\alpha}^{(1)} (x)

 H_{-\alpha}^{(2)} (x) = e^{-\alpha \pi i} H_{\alpha}^{(2)} (x)


  • Comportement asymptotique :


 H_{0}^{+}(ix) = - \frac{2i}{\pi} \ K_{0}(x) \ \sim \ - i \sqrt{\frac{2}{\pi x}} \, e^{-x}

 H_{0}^{-}(-ix) = \frac{2i}{\pi} \ K_{0}(x) \ \sim \ i \sqrt{\frac{2}{\pi x}} \, e^{-x}

 \textrm{pour} \ x \in \mathbb{R} \ \textrm{avec} \ | x | \gg \frac{1}{4}

[modifier] Note

Une fonction de Hankel "oscille" si son argument x est uniquement réel, et converge de manière exponentielle si ce même argument est imaginaire pur.