Introduction aux nombres complexes

Je veux le résumé du cours

Les Nombres Complexes : Une Exploration Détaillée

L'analyse complexe est l'étude des fonctions de variables complexes. Les nombres complexes étendent la notion de nombres réels et fournissent un cadre puissant pour résoudre des problèmes en mathématiques, en physique et en ingénierie.

1. De la Nécessité des Nombres Complexes

L'évolution des systèmes de nombres est motivée par la nécessité de résoudre des équations de plus en plus complexes.

• L'ensemble des entiers naturels est stable pour l'addition et la multiplication. Cependant, l'équation (avec ) n'a pas toujours de solution dans .
• L'introduction des entiers relatifs résout ce problème. Mais l'équation (avec ) nécessite une nouvelle extension.
• Les nombres rationnels permettent d'effectuer les quatre opérations arithmétiques de base. Pourtant, une équation comme n'a pas de solution dans .
• Les nombres réels comblent ces "trous". L'ensemble est complet : toute suite de Cauchy y converge. Cependant, même dans , l'équation n'a pas de solution.

C'est pour résoudre cette dernière équation, et plus généralement toute équation polynomiale, que les nombres complexes sont introduits.

2. Propriétés Algébriques et Structure de Corps

Construction formelle

Un nombre complexe est défini comme un couple ordonné de nombres réels . L'ensemble de ces couples, noté , est muni de deux opérations :

• Addition :
• Multiplication :

Muni de ces opérations, forme un corps commutatif.

• L'élément neutre pour l'addition est .
• L'élément neutre pour la multiplication est .
• L'inverse multiplicatif d'un nombre non nul est :

La notation

Pour simplifier, on identifie le couple au nombre réel . On introduit un nombre spécial, noté , qui correspond au couple .
Avec cette notation :

• Un nombre complexe s'écrit .
• On calcule le carré de : . On écrit donc .

Les calculs avec les nombres complexes s'effectuent comme avec les nombres réels, en remplaçant systématiquement par .

Exemple : Puissances de Les puissances de sont cycliques avec une période de 4 : . La somme d'une série géométrique est donnée par . Le résultat dépend de .

Parties réelle et imaginaire, Conjugué et Module

Pour un nombre complexe :

• Partie réelle :
• Partie imaginaire :
• Conjugué : . Géométriquement, c'est la symétrie par rapport à l'axe réel.
• Module : . C'est un nombre réel positif, représentant la distance de l'origine au point dans le plan.

Propriétés importantes :

• et
• et
• et
• Inégalité triangulaire :
• Inverse d'un nombre complexe : pour .

Exemple : Équation quadratique L'équation avec et , a pour discriminant .

• Si , deux racines réelles distinctes : .
• Si , une racine réelle double : .
• Si , deux racines complexes conjuguées : .

Fait crucial : Une équation polynomiale à coefficients réels dont les racines non réelles apparaissent toujours par paires de conjugués.

3. Représentation Géométrique et Forme Polaire

En associant au point du plan cartésien (appelé plan complexe ou plan d'Argand), on peut décrire des figures géométriques. Exemples de descriptions géométriques :

• Droite : .
• Cercle de centre l'origine et de rayon : .
• Médiatrice du segment : .

Forme Polaire (ou Trigonométrique)

Un nombre complexe non nul peut être décrit par son module et un angle .

• Module : .
• Argument : L'angle , appelé argument de et noté , est défini à près. La détermination principale de l'argument est l'unique valeur dans l'intervalle .
  On a et . Le calcul de doit tenir compte du quadrant de .

Opérations en Forme Polaire

Soient et .

• Multiplication : .
  Règle : Les modules se multiplient, les arguments s'additionnent (modulo ).
• Division : .
  Règle : Les modules se divisent, les arguments se soustraient.
• Puissance (Formule de De Moivre) : Pour tout entier ,

Racines n-ièmes

Tout nombre complexe non nul admet exactement racines -ièmes distinctes. Si , ses racines -ièmes sont données par : Géométriquement, ces racines forment les sommets d'un polygone régulier à côtés, inscrit dans un cercle de rayon . Cas particulier : les racines n-ièmes de l'unité Ce sont les solutions de . Ici, . La racine est appelée racine primitive n-ième de l'unité. Toutes les autres racines sont ses puissances: . On a la factorisation :

4. Topologie du Plan Complexe

Distance, Suites et Séries

• La distance entre et est . Elle vérifie l'inégalité triangulaire : .
• Une suite converge vers si . Cela équivaut à la convergence des parties réelles et imaginaires séparément.
• Le critère de Cauchy est valide : une suite converge si et seulement si . Cela signifie que est un espace métrique complet.
• Une série converge si sa suite de sommes partielles converge. Une condition suffisante est la convergence absolue : .

Attention : La fonction argument n'est pas continue. Par exemple, si , alors , mais alors que . La discontinuité se trouve sur l'axe réel négatif.

Séries Entières et Rayon de Convergence

Une série entière est une série de la forme .

Théorème de Cauchy-Hadamard
Pour toute série entière , il existe un unique , appelé rayon de convergence, tel que :

• La série converge absolument si .
• La série diverge si .

Le disque est le disque de convergence. La convergence est uniforme sur tout disque fermé avec . Le rayon est donné par la formule : .

Ensembles Topologiques

Concept	Définition	Exemples
Ouvert	Un ensemble est ouvert si pour tout , il existe tel que le disque .	, , le demi-plan .
Fermé	Un ensemble est fermé si son complémentaire est ouvert, ou de manière équivalente, s'il contient les limites de toutes ses suites convergentes.	, un point, un segment.
Borné	Un ensemble est borné s'il est contenu dans un disque pour un certain .	. L'axe réel n'est pas borné.
Compact	Un ensemble est compact s'il est fermé et borné.	, le carré .
Connexe	Un ensemble est connexe s'il ne peut pas être séparé en deux ouverts non vides disjoints. Intuitivement, "d'un seul tenant".	Un disque, un segment. L'ensemble est non connexe.
Domaine	Un ensemble ouvert et connexe.	, le demi-plan droit .

Les ensembles compacts dans ont des propriétés fondamentales:

• Théorème de Bolzano-Weierstrass : Un ensemble est compact si et seulement si de toute suite de points de , on peut extraire une sous-suite qui converge vers un point de .
• Théorème de Heine-Borel : Un ensemble est compact si et seulement si de tout recouvrement de par des ensembles ouverts, on peut extraire un sous-recouvrement fini.

Le Plan Achevé et la Sphère de Riemann

Le plan achevé est , où est le "point à l'infini". Une suite si . La projection stéréographique fournit une représentation géométrique de sur une sphère, la sphère de Riemann .

• On place une sphère de rayon 1 centrée en dans . Le plan complexe est identifié au plan .
• Le "pôle Nord" est projeté sur .
• Tout autre point sur la sphère est associé à un unique point du plan, situé sur la droite passant par et .
• Les formules de passage sont :
  
  

Une propriété remarquable est que les cercles sur la sphère de Riemann correspondent à des cercles ou des droites dans le plan complexe.

5. Fonctions Holomorphes

Définition et Conditions de Cauchy-Riemann

Une fonction est dite dérivable (ou holomorphe) en si la limite suivante existe : Une fonction est holomorphe dans un domaine si elle est dérivable en chaque point de .

Théorème (Équations de Cauchy-Riemann)
Soit une fonction.

1. Si est holomorphe en , alors les dérivées partielles de et existent en et satisfont les équations de Cauchy-Riemann :
   
2. Réciproquement, si les dérivées partielles de et sont continues dans un voisinage de et y satisfont les équations de Cauchy-Riemann, alors est holomorphe en .

La dérivée est alors donnée par .

Propriétés des Fonctions Holomorphes

• Toute fonction holomorphe est continue.
• Les règles de dérivation (somme, produit, quotient, composition) sont les mêmes que pour les fonctions réelles.
• Une série entière est une fonction holomorphe à l'intérieur de son disque de convergence. Sa dérivée s'obtient en dérivant terme à terme.

6. Intégration Complexe

Intégrales Curvilignes

L'intégrale d'une fonction complexe le long d'un chemin (courbe) paramétré par pour est définie par : Si admet une primitive holomorphe (c-à-d ), alors l'intégrale ne dépend que des points de départ () et d'arrivée () : En particulier, si le chemin est fermé (), l'intégrale est nulle.

Théorèmes Fondamentaux de Cauchy

Théorème de l'Intégrale de Cauchy (Goursat)
Si est une fonction holomorphe dans un domaine simplement connexe , alors pour tout chemin fermé contenu dans , on a :

Ce théorème est la pierre angulaire de l'analyse complexe. Il mène à deux formules intégrales puissantes.

Formule de l'Intégrale de Cauchy
Si est holomorphe dans un domaine et est un chemin fermé simple parcouru dans le sens positif dans , alors pour tout à l'intérieur de : Cette formule montre que la valeur d'une fonction holomorphe en un point est entièrement déterminée par ses valeurs sur un contour l'entourant.

Une conséquence majeure est que si une fonction est holomorphe, elle est infiniment dérivable.

Formule de Cauchy pour les Dérivées
Sous les mêmes hypothèses, les dérivées de en sont données par :

Conséquences et Applications

• Série de Taylor : Toute fonction holomorphe dans un disque est développable en série de Taylor : , où . Holomorphe est synonyme d'analytique complexe.
• Théorème de Liouville : Une fonction entière (holomorphe sur tout ) et bornée est nécessairement constante.
• Théorème Fondamental de l'Algèbre : Tout polynôme non constant à coefficients complexes admet au moins une racine dans . (Se démontre élégamment avec le théorème de Liouville).
• Principe du prolongement analytique : Si deux fonctions holomorphes sur un domaine coïncident sur un ensemble de points ayant un point d'accumulation dans , alors elles sont identiques sur tout .
• Principe du module maximum : Le module d'une fonction holomorphe non constante n'atteint pas de maximum local à l'intérieur de son domaine de définition.

7. Singularités et Calcul des Résidus

Séries de Laurent

Si une fonction n'est pas holomorphe en un point , on peut parfois la développer autour de ce point en utilisant des puissances négatives.

Théorème de Laurent
Si est holomorphe dans une couronne , alors peut y être représentée par une série de Laurent : La partie est la partie régulière, et est la partie principale.

Classification des Singularités Isolées

Un point est une singularité isolée de si est holomorphe dans un disque pointé . On distingue trois types de singularités selon la partie principale :

1. Singularité apparente (ou éliminable) : La partie principale est nulle. La fonction peut être prolongée par continuité en pour devenir holomorphe. Ex: en .
2. Pôle : La partie principale a un nombre fini de termes non nuls. Si le terme le plus bas est , on parle de pôle d'ordre m. La fonction tend vers l'infini en . Ex: en .
3. Singularité essentielle : La partie principale a une infinité de termes non nuls. Le comportement est chaotique. D'après le théorème de Casorati-Weierstrass, l'image de tout voisinage de est dense dans . Ex: en .

Le Théorème des Résidus

Le coefficient de la série de Laurent joue un rôle spécial. Définition : Le résidu de en une singularité isolée , noté , est le coefficient . On a pour un petit contour autour de . Calcul du résidu en un pôle d'ordre m : Pour un pôle simple () : .

Théorème des Résidus
Soit une fonction holomorphe dans un domaine , à l'exception d'un nombre fini de singularités isolées . Soit un chemin fermé simple dans ne passant par aucune singularité et les entourant. Alors :

Ce théorème transforme le problème du calcul d'une intégrale en un problème algébrique de calcul de résidus.

Applications au Calcul d'Intégrales Réelles

Le théorème des résidus est un outil extrêmement puissant pour évaluer de nombreuses intégrales réelles difficiles.

1. Intégrales de fonctions rationnelles de sinus et cosinus :
   Pour , on pose . Le cercle unité est parcouru. On substitue , , et . L'intégrale devient une intégrale de contour, évaluée par les résidus des pôles à l'intérieur du cercle unité.
2. Intégrales impropres de fonctions rationnelles :
   Pour , où est une fonction rationnelle, on intègre sur un contour semi-circulaire dans le demi-plan supérieur. Si , l'intégrale sur l'arc de cercle tend vers zéro lorsque le rayon tend vers l'infini. L'intégrale réelle est alors fois la somme des résidus des pôles dans le demi-plan supérieur.
3. Transformées de Fourier :
   Pour , on utilise un contour similaire. Le lemme de Jordan assure que l'intégrale sur l'arc tend vers zéro.