Licence de Physique - FIP

Mathématiques : TD no 8
Séries entières et fonctions spéciales
Amir-Kian Kashani-Poor & Sébastien Leurent

1 La fonction Gamma d’Euler

La fonction Gamma d’Euler est définie par

Z ∞
Γ(z) = e−t tz−1 dt. (1)
0

1. Pour quelles valeurs réelles de z cette fonction est-elle définie ?

2. Montrer que Γ(z + 1) = z Γ(z).
3. Que vaut Γ(1) ? En déduire Γ(n + 1) pour n ∈ N.
4. En utilisant la définition (1), montrer que
Z π/2
Γ(z1 )Γ(z2 ) = 2Γ(z1 + z2 ) dθ(cos θ)2z1 −1 (sin θ)2z2 −1 avec <{z1,2 } > 0.
0

5. En déduire la formule des compléments :

π
Γ(z) Γ(1 − z) = pour tout z ∈ C/Z− .
sin πz
Indication : on pourra effectuer les changements de variables cos2 θ = t puis t = u/(1 + u).

2 Fonctions de Bessel

Soit n ∈ N. On considère l’équation différentielle

d2 u 1 du n2
 
+ + 1− 2 u=0 (2)
dt2 t dt t

définie sur R+∗ .

1. Par souci de simplicité, on se limite à n = 0 et n = 1. Montrer que dans chacun de ces

deux cas il existe une solution de cette équation différentielle développable en série entière
autour de t = 0.
On note J0 (t) la solution associée au cas n = 0 telle que J0 (0) = 1, J00 (0) = 0, et J1 (t) celle
associée à n = 1 telle que J1 (0) = 0, J10 (0) = 1/2.
1
2. Pour n > 2, sachant qu’au voisinage de zéro, on a Jn (t) ∼ (t/2)n , vérifier que le
t→0 n!
développement en série entière de Jn est
+∞
X (−1)r (t/2)n+2r
Jn (t) = · (3)
r! (n + r)!
r=0

3. Quels sont les rayons de convergence de ces séries ?

4. Voyez-vous une généralisation possible des Jn à Jν avec ν ∈ R ? On pensera à utiliser
la fonction Γ, dont on admettra qu’elle se prolonge sur C \ Z− , divergeant au voisinage
des points de Z− . Seront-elles des fonctions entières si ν 6∈ N ? Si n ∈ N, montrer que
J−n (t) = (−1)n Jn (t). (Par convention, on supposera 1/Γ(n) = 0 pour n entier négatif ou
nul.)
5. Montrer que 2Jn0 (t) = Jn−1 (t) − Jn+1 (t). En déduire que
  ∞
1 1 X
exp t(z − ) = Jn (t)z n (4)
2 z n=−∞

pour tout (t, z) ∈ C × C∗ . On appelle cette fonction la fonction génératrice des fonctions
de Bessel.
6. Montrer que
Z π Z 2π
1 1
J0 (t) = cos(t sin θ) dθ = eit sin θ dθ (5)
π 0 2π 0

En déduire lim J0 (t).

t→∞
7. Trouver une relation entre J0 et J1 . En déduire une représentation intégrale de J1 .
8. Les fonctions de Bessel sont très importantes en physique et se rencontrent notamment dans
les problèmes bidimensionnels ayant une invariance par rotation. Montrer par exemple que
J0 intervient naturellement dans l’expression de la transformée de Fourier 1 d’une fonction
du plan invariante par rotation (transformée de Hankel).

1. Soit f une fonction intégrable sur Rn , on appelle transformée de Fourier de f l’application

F f : Rn −→ R
Z
k 7−→ F f (k) = e−2iπk·x f (x) dx
Rn