Explorer les Livres électroniques
Catégories
Explorer les Livres audio
Catégories
Explorer les Magazines
Catégories
Explorer les Documents
Catégories
M1 Mathématiques et Applications
Aix-Marseille Université
Millésime 2020-2021
f : Ω → C,
f (z) − f (z0 )
f 0 (z0 ) := lim
z→z0 z − z0
existe pour tout z0 ∈ Ω, quelle que soit la façon dont on prend la limite. C’est une extension
naturelle de la dérivée sur R, mais nous verrons que cette définition implique des propriétés
remarquables (par exemple, une telle fonction est aussi automatiquement C ∞ , et somme de sa
série entière en tout point de Ω). On re-démontrera notamment le théorème des résidus, qui est
un outil extrêmement utile pour calculer certaines intégrales.
Ce cours est en deux parties, motivées par deux objectifs :
1. Le théorème des résidus et le calcul d’intégrales,
2. Le théorème d’uniformisation de Riemann, et ses applications.
Livres de référence :
— S. Lang, Complex analysis
— H. et M. Quéffelec, Analyse complexe et applications - Cours et exercices
— P. Colmez, Éléments d’analyse et d’algèbre (chapitres V et VI)
— E. Stein et R. Shakarshi, Complex analysis
— W. Rudin, Real and complex analysis
Les deux premières séances seront consacrées à des exercices de “remise dans le bain” sur les
fonctions analytiques (celles qui sont sommes de leur série entière).
1
Rappels calculatoires
Notation 0.1. Soit z ∈ C et r > 0. On note D(z, r) le disque fermé, dans le plan complexe, centré
en z et de rayon r, et D(z, r− ) le disque ouvert centré en z et de rayon r, soit
1 Rappels d’analyse
1.1 Séries entières
Définition 1.1 (Série entière). Une série entière à coefficients dans C est une expression du
type ∞ n
P
n=0 n T , où (an )n∈N est une suite de nombres complexes. L’ensembles des séries entières à
a
coefficients dans C est noté C[[T ]]. Cet ensemble contient en particulier l’ensemble des polynômes
à une variables, C[T ] ⊆ C[[T ]].
Le nombre a0 est appelé terme constant de F .
La valuation est donc l’exposant du premier terme non nul dans l’écriture de F .
Propriétés 1.4.
— v(F G) = v(F ) + v(G)
— v(F + G) > min{v(F ), v(G)}
— v(F ) = +∞ ⇐⇒ F = 0
∞
X
0
F = (n + 1)an+1 T n .
n=0
On définit ensuite par récurrence, pour tout k ∈ N, la dérivée k-ième F (k) , en posant F (0) := F ,
et F (k+1) := (F (k) )0 .
Propriétés 1.8.
— (F + G)0 = F 0 + G0
— (F G)0 = F 0 G + F G0
Définition 1.9 (Composée). Soient F = ∞
P n
P∞ n
n=0 an T et G = n=0 bn T . Lorsque b0 = 0 (ce qui
revient à dire que v(G) > 1), on peut définir la composée
∞
X
F ◦G= an Gn ,
n=0
P∞ n
F (G). On a plus précisément F ◦ G =
que l’on note aussiP n=0 cn T où cn est le coefficient de T n
dans le polynôme nm=0 am Gm .
Exemple 1.10.
— La série exponentielle est définie par
∞
X 1 n
exp(T ) = T .
n=0
n!
Notez que la somme est finie (les termes correspondant à n > a sont tous nuls).
— Plus généralement, soit α ∈ C. On définit alors
∞
α
X α n α α(α − 1) · · · (α − n + 1)
(1 + T ) = T , où := .
n=0
n n n!
(1 + T )α+β = (1 + T )α (1 + T )β .
3
Le lemme suivant est très utile pour démontrer des égalités entre séries entières.
Lemme 1.11. Une série entière F telle que F 0 = 0 est constante, c’est-à-dire que F = a0 avec a0 ∈
C.
On se préoccupe maintenant de savoir quand on peut donner une valeur à la somme d’une
série entière.
Définition
P∞ 1.12 (Rayon de convergence). Le rayon de convergence d’une série formelle F =
n
n=0 na T est l’élément ρ(F ) ∈ R+ ∪ {+∞} définit par
n ∞
X o
n
ρ(F ) := sup r > 0, |an | r < ∞ .
n=0
Alors ρ(F ) = 1/λ, où l’on convient que 1/0 = +∞, et 1/+∞ = 0.
— On a en toutes circonstances
−1
ρ(F ) = lim sup |an |1/n
n→∞
On rappelle que la lim sup (dans ce contexte) est la plus grande des valeurs d’adhérences.
Définition
P∞1.14. Soit F une série entière telle que ρ(F ) > 0. Alors pour tout z ∈ D(0, ρ(F )− ), la
n
somme n=0 an z converge absolument, et définit un élément de C noté
∞
X
F (z) := an z n .
n=0
P∞
Propriétés 1.15. Soit r ∈ R+ , et FP= n=0 an T n une série entière.
— Si |z| < ρ(F ) alors la série P∞ n
n=0 an z converge absolument (c’est la définition...).
∞
— Si |z| > ρ(F ) alors la série n=0 an z n diverge grossièrement.
P∞ n
Remarque 1.16. Lorsque |z| = ρ(F ), on ne peut rien dire en général sur
P∞ −2 n la série n=0 an z :
— Il peut arriver qu’elle converge absolument, par exemple Pn=1 n z .
— Il peut arriver qu’elle diverge grossièrement, par exemple ∞ n
n=0 nz .
— Il peut arriver qu’elle ne soit pas absolument convergente, mais que l’on puisse tout de
même donner un sens à la limite radiale
lim F (reiθ )
r→ρ(F )
r<ρ(F )
Définition 2.1 (Topologie). On dit que Ω est ouvert si, pour tout z ∈ Ω, on peut trouver r > 0 tel
que D(z, r) ⊂ Ω.
On dit que Ω est fermé si son complémentaire est ouvert. Cela revient à dire que limn→∞ zn ∈ Ω
pour toute suite convergente (zn ) ∈ ΩN .
On dit que Ω est compact s’il est fermé et borné.
Propriétés 2.2. Soint A, K ⊂ C deux ensembles non vides, avec A fermé et K compact. Alors dist(A, K) >
0.
Définition 2.3 (Connexité). Un ensemble Ω est dit connexe, si on ne peut pas écrire Ω = A ∪ B
où A et B sont deux ouverts disjoints non vides de Ω.
Cela revient à dire que les seuls sous-ensembles A ⊂ Ω tels que A et Ω r A sont ouverts, sont Ω
et ∅.
Définition 2.4. Un ensemble S ⊂ C est dit discret si, pour tout x ∈ S, il existe un voisinage U
de x dans C tel que U ∩ S = {x}.
∂ 2f ∂ 2f ∂ 2f ∂ 2f
, , ,
∂x2 ∂x∂y ∂y∂x ∂y 2
sont continues. On a alors l’égalité
∂ 2f ∂ 2f
= .
∂x∂y ∂y∂x
5
Définition 2.7. Soit f : Ω → X. On dit que f est différentiable sur Ω, si pour tout (x, y) ∈ Ω,
il existe une application linéaire Dx,y : R2 → X, telle que pour tout (h1 , h2 ) ∈ R2 au voisinage
de (0, 0), l’on ait
Si f est de classe C 1 , alors elle est différentiable, et sa différentielle est donnée par
∂f ∂f
Dx,y (h1 , h2 ) = (x, y)h1 + (x, y)h2 .
∂x ∂y
|ez | = eRe(z) .