Cours d'Analyse 4 - Faculté des Sciences Rabat
Cours d'Analyse 4 - Faculté des Sciences Rabat
Cours d'Analyse 4 - Faculté des Sciences Rabat
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Cours</strong> d’Analys 4, SM3-SMI3<br />
Démonstration. On a pour tout entier k,<br />
f (k) (0) = (0+k) · · · (0+1)a0+k+(1+k) · · · (1+1)a1+k0 1 +· · ·+(n+k) · · · (n+1)an+k0 n +· · · = k!·ak. <br />
Remarque 4.6. (Définition et notation) Soit f(x) = <br />
anxn une série entière de rayon<br />
de convergence Rf > 0, alors<br />
<br />
(n + k) · · · (n + 1)an+kx n<br />
n<br />
est une série entière sur C de rayon Rf. Une telle série sera appelée dérivée d’ordre k de f<br />
est elle sera notée f (k) .<br />
Exercices 4.2. Une fonction définie sur un ouvert, non vide, U de C est dite holomorphe<br />
sur U, si pour tout z0 ∈ U, la limite<br />
f(z) − f(z0)<br />
lim<br />
z→z0 z − z0<br />
existe. Cette limite sera notée f ′ (z0). Soit f(x) = <br />
anxn une série entière de rayon de conver-<br />
gence Rf > 0 et soit f 1 sa série dérivée définie dans la remarque précédante. Montrer que pour<br />
tout z0 ∈ {z ∈ C : |z| < Rf},<br />
Solution. On a f(z) − f(z0) = ∞<br />
z0)un(z), où un(z) = n−1 <br />
k=0<br />
zkz n−1−k<br />
0 . Donc<br />
n<br />
f(z) − f(z0)<br />
lim<br />
z→z0 z − z0<br />
= f 1 (z0).<br />
n<br />
(anz<br />
n=1<br />
n − anzn 0 ). Remarquons que anzn − anzn 0 = an(z −<br />
f(z) − f(z0)<br />
z − z0<br />
Soit r ∈]|z0|, Rf[. Pour tous |z| < r et n ≥ 1, on a<br />
=<br />
∞<br />
anun(z)<br />
n=1<br />
n−1<br />
|anun(z)| ≤ |an| · r k r n−1−k = |an|nr n−1 .<br />
k=0<br />
La série ∞<br />
|an|nrn−1 converge, car sur R, f 1 et de rayon Rf donc elle converge absolument<br />
n=1<br />
sur [0, Rf[. D’où la série de fonctions f(z)−f(z0)<br />
converge normalement, donc uniformément, sur<br />
z−z0<br />
{z ∈ C : |z| < r} \ {z0}. D’après la proposition (double limite)<br />
f(z) − f(z0)<br />
lim<br />
z→z0 z − z0<br />
=<br />
∞<br />
lim anun(z) =<br />
z→z0<br />
n=1<br />
∞<br />
anun(z0) =<br />
n=1<br />
∞<br />
n=1<br />
annz n−1<br />
0<br />
71