Auteur/autrice : zu6vi

Principe du Module Maximum Contexte : Fonctions Holomorphes et Module En analyse complexe, une fonction $f$ est holomorphe sur un domaine (un ouvert connexe) $U$ si elle est dérivable au sens complexe en chaque point de $U$. Le module d’un nombre complexe $z$, noté $|z|$, représente sa distance à l’origine dans le plan complexe. Le…

Lemme de Schwarz Contexte : Le Disque Unité Le Lemme de Schwarz est un résultat surprenant qui décrit le comportement des fonctions holomorphes qui envoient le disque unité ouvert dans lui-même, avec une contrainte supplémentaire. Le disque unité ouvert est l’ensemble $D = \{ z \in \mathbb{C} \,|\, |z| < 1 \}$. On s’intéresse à...

Théorème de Morera Contexte : Réciproque du Théorème de Cauchy Le théorème intégral de Cauchy nous dit que si une fonction $f$ est holomorphe sur un domaine simplement connexe $D$, alors son intégrale le long de n’importe quel chemin fermé (lacet) $\gamma$ dans $D$ est nulle : $\oint_\gamma f(z) dz = 0$. Le théorème de…

Théorème de Liouville Contexte : Fonctions Entières et Bornées En analyse complexe, on s’intéresse aux fonctions holomorphes (dérivables au sens complexe). Une fonction est dite entière si elle est holomorphe sur tout le plan complexe $\mathbb{C}$. Les polynômes et la fonction exponentielle en sont des exemples typiques. Une fonction $f$ est dite bornée s’il existe…

Théorème des Résidus Contexte : Singularités, Séries de Laurent et Résidus Pour comprendre le théorème des résidus, il faut d’abord définir les concepts clés de l’analyse complexe. Singularité Isolée : Un point $z_0$ est une singularité isolée d’une fonction $f$ si $f$ est holomorphe dans un voisinage de $z_0$, mais pas en $z_0$ même. Série…

Équations de Cauchy-Riemann Contexte : Dérivabilité Complexe (Holomorphie) Soit $f$ une fonction d’une variable complexe, définie sur un ouvert $U \subseteq \mathbb{C}$. On dit que $f$ est holomorphe (ou dérivable au sens complexe) en un point $z_0 \in U$ si la limite suivante existe et est finie : $$ f'(z_0) = \lim_{h \to 0} \frac{f(z_0+h)…

Théorème de Représentation de Riesz Contexte : Espaces Euclidiens et Dualité Soit $E$ un espace euclidien, c’est-à-dire un $\mathbb{R}$-espace vectoriel de dimension finie muni d’un produit scalaire $\langle \cdot, \cdot \rangle$. Une forme linéaire sur $E$ est une application linéaire $\varphi: E \to \mathbb{R}$. L’espace dual de $E$, noté $E^*$, est l’ensemble de toutes les…

Théorème de Radon-Nikodym Contexte : Mesures et Continuité Absolue Pour énoncer le théorème, nous avons besoin de concepts de la théorie de la mesure. Espace mesuré : Un triplet $(X, \mathcal{A}, \mu)$ où $X$ est un ensemble, $\mathcal{A}$ une tribu (sigma-algèbre) de parties de $X$, et $\mu$ une mesure (une fonction qui assigne une « taille »…

Théorème de Fubini-Tonelli Contexte : Intégrales Multiples Considérons une fonction de deux variables, $f(x,y)$, et deux espaces mesurés $(X, \mathcal{A}, \mu)$ et $(Y, \mathcal{B}, \nu)$. On peut définir une mesure produit sur l’espace $X \times Y$. L’intégrale de $f$ sur cet espace produit est notée $\int_{X \times Y} f(x,y) \, d(\mu \otimes \nu)$. En pratique,…

Théorème de la Convergence Monotone et Lemme de Fatou Lemme de Fatou Lemme de Fatou Soit $(X, \mathcal{A}, \mu)$ un espace mesuré. Soit $(f_n)_{n \in \mathbb{N}}$ une suite de fonctions mesurables de $X$ dans $[0, +\infty]$. Alors : $$ \int_X \left(\liminf_{n \to \infty} f_n\right) \, d\mu \le \liminf_{n \to \infty} \int_X f_n \, d\mu $$…