Fonction analytique

Pour les articles homonymes, voir Analytique.

En mathématiques, et plus précisément en analyse, une fonction analytique est une fonction d'une variable réelle ou complexe qui est développable en série entière au voisinage de chacun des points de son domaine de définition.

Autrement dit, pour tout ${\displaystyle x_{0}}$ de ce domaine, il existe une suite ${\displaystyle (a_{n})}$ (dépendant de ${\displaystyle x_{0}}$) donnant une expression de la fonction, valable pour tout ${\displaystyle x}$ assez proche de ${\displaystyle x_{0}}$, sous la forme d'une série convergente :

${\displaystyle f(x)=\sum _{n=0}^{+\infty }a_{n}(x-x_{0})^{n}.}$

Toute fonction analytique est indéfiniment dérivable, mais la réciproque est fausse en général.

Dans le cas d'une fonction d'une variable complexe définie sur un ouvert, une fonction est analytique si et seulement si elle est holomorphe.

Qu'elle soit de variable réelle ou complexe, une fonction analytique sur un ouvert connexe et non identiquement nulle a ses zéros isolés. Cette propriété induit l'unicité du prolongement analytique sur tout ouvert connexe.

Définitions

Soit ${\displaystyle f:U\to \mathbb {C} }$ une fonction d'une variable complexe, où ${\displaystyle U}$ est un ouvert de ${\displaystyle \mathbb {C} }$. On dit que la fonction ${\displaystyle f}$ est analytique sur ${\displaystyle U}$ si pour tout ${\displaystyle a\in U}$, il existe une suite ${\displaystyle (a_{n})}$ de nombres complexes et un réel ${\displaystyle r>0}$ tel que, pour tout ${\displaystyle z\in D(a,r)}$, c'est-à-dire pour tout ${\displaystyle z}$ dans le disque (ouvert) de centre ${\displaystyle a}$ et de rayon ${\displaystyle r}$, supposé inclus dans ${\displaystyle U}$, la fonction s'exprime sous forme de la série convergente :

${\displaystyle f(z)=\sum _{n=0}^{+\infty }a_{n}(z-a)^{n}}$.

Autrement dit, une fonction est analytique si elle est développable en série entière au voisinage de chaque point de son ensemble ouvert de définition.

La même définition s'applique à une fonction de variable réelle ${\displaystyle f:I\to \mathbb {C} }$, définie sur un intervalle ouvert ${\displaystyle I\subset \mathbb {R} }$ borné ou non, en remplaçant le disque ${\displaystyle D(a,r)}$ par l'intervalle ouvert ${\displaystyle ]a-r,a+r[\subset I}$.

Une fonction analytique sur ${\displaystyle \mathbb {C} }$ tout entier est dite entière.

Propriétés

• Si une fonction de la variable complexe est analytique alors elle est holomorphe. Il existe d'ailleurs une réciproque à cette proposition : toute fonction holomorphe sur un ouvert est analytique sur celui-ci.
• De plus, une fonction analytique est indéfiniment dérivable (au sens complexe, voir Fonction holomorphe) et la dérivée n-ième en un point ${\displaystyle a\in U}$ est ${\displaystyle f^{(n)}(a)=n\,!\,a_{n}}$ avec les notations données dans la définition. Ceci prouve que le développement de ${\displaystyle f}$ en série entière au voisinage de chaque point ${\displaystyle a}$ de ${\displaystyle U}$ est unique ; on l'appelle encore développement en série de Taylor:

${\displaystyle f(z)=f(a)+{\frac {f'(a)}{1!}}(z-a)+{\frac {f''(a)}{2!}}(z-a)^{2}+{\frac {f^{(3)}(a)}{3!}}(z-a)^{3}+\cdots }$,

• L'ensemble des fonctions analytiques sur un ouvert est une algèbre : le produit par une constante d'une fonction analytique, la somme et le produit de fonctions analytiques sont analytiques.
• Lorsqu'elle est définie, la composée de fonctions analytiques est analytique.

Exemples et contre-exemples

• Toute fonction polynomiale est entière. Étant donné une fonction polynomiale, les termes de son développement en série entière au voisinage d'un point quelconque de ${\displaystyle \mathbb {C} }$ sont tous nuls à partir d'un certain rang ${\displaystyle d+1}$ où ${\displaystyle d}$ est le degré du polynôme. On obtient son développement en un point ${\displaystyle z_{0}}$ à partir de son développement en un autre point à l'aide de la formule du binôme de Newton : ${\displaystyle P(z)=\sum _{n=0}^{d}a_{n}z^{n}=\sum _{k=0}^{d}b_{k}(z-z_{0})^{k}}$ avec ${\displaystyle b_{k}=\sum _{n=k}^{d}a_{n}{n \choose k}z_{0}^{n-k}}$.
• Plus généralement, toute série entière de rayon de convergence non nul définit sur son disque de convergence une fonction analytique. Ce n'est pas trivial, car une série entière est a priori un développement au voisinage d'un seul point.
• En particulier, la fonction exponentielle définie par ${\displaystyle \exp z=\sum _{n=0}^{+\infty }{\frac {z^{n}}{n!}}}$ est entière.
• La fonction ${\displaystyle f:\mathbb {C} ^{*}\to \mathbb {C} ,\;z\mapsto z^{-1}}$ est analytique : ${\displaystyle \forall z_{0}\neq 0\quad \forall z\in D(z_{0},|z_{0}|)\quad {\frac {1}{z}}={\frac {1}{z_{0}}}-{\frac {1}{z_{0}^{2}}}(z-z_{0})+{\frac {1}{z_{0}^{3}}}(z-z_{0})^{2}-\dots }$
• Les fonctions sin, cos, tan, cot, sinh, cosh, etc. sont analytiques.
• La fonction ${\displaystyle \mathbb {C} \to \mathbb {C} ,\;z\mapsto |z|^{2}=z{\overline {z}}}$ n'est pas analytique : on montre qu'elle n'admet de dérivée (au sens complexe) qu'en 0.
• La fonction ${\displaystyle \mathbb {C} \to \mathbb {C} ,\;z\mapsto \mathrm {Re} (z)={\frac {z+{\overline {z}}}{2}}}$ n'est pas analytique : elle n'admet de dérivée (au sens complexe) en aucun point de ${\displaystyle \mathbb {C} }$.

Les deux dernières fonctions admettent cependant des dérivées partielles de tous ordres (elles sont de classe ${\displaystyle C^{\infty }}$ en tant que fonctions de deux variables réelles). Elles ne sont pas analytiques car l'ensemble des points où elles vérifient les équations de Cauchy-Riemann est d'intérieur vide (il est réduit à {0} pour la première, et vide pour la seconde).

• La fonction ${\displaystyle \mathbb {R} \to \mathbb {R} ,x\mapsto \mathrm {e} ^{-1/x^{2}}}$ pour ${\displaystyle x\neq 0}$ et ${\displaystyle 0\mapsto 0}$ n'est pas analytique en 0 (bien qu'elle soit de classe ${\displaystyle C^{\infty }}$ sur ${\displaystyle \mathbb {R} }$) ; elle possède en effet en 0 une série de Taylor identiquement nulle, et qui ne converge donc vers la fonction qu'en ce point. On trouvera d'autres contre-exemples réels à l'article « Série de Taylor » et dans l'article détaillé.

Les principaux théorèmes

Toute fonction analytique sur un ouvert ${\displaystyle I}$ de ${\displaystyle \mathbb {R} }$ admet un prolongement analytique sur un certain ouvert de ${\displaystyle \mathbb {C} }$ contenant ${\displaystyle I}$.

On considère maintenant un ouvert connexe ${\displaystyle U}$ de ${\displaystyle \mathbb {C} }$ (l'hypothèse de connexité est essentielle) et ${\displaystyle f:U\to \mathbb {C} }$ une fonction analytique.

Mathématiciens ayant travaillé sur le sujet

• Argand interpréta entre 1785 et 1830 les nombres complexes en terme géométrique.
• Émile Borel a développé la théorie des séries divergentes, des transformations intégrales, de la croissance…
• Otto Blumenthal a publié la théorie des fonctions d'ordre infini.
• Eugène Cahen s'est penché sur la théorie des séries de Dirichlet.
• Cauchy a fourni plusieurs outils : théorème des résidus, intégrale curviligne, rayon de convergence…
• Condorcet a publié ses résultats de recherche dans plusieurs livres.
• Euler développa la théorie du logarithme et démontra qu'il existe une infinité de déterminations complexes. Il est l'un des premiers à s'intéresser aux fonctions complexes.
• Gauss a démontré différents théorèmes se rapportant à l'analyse complexe.
• Jacques Hadamard a fourni le théorème de décomposition, a démontré le théorème des nombres premiers…
• Jensen a publié la formule de Jensen.
• Paul Koebe donna une démonstration du théorème de l'application conforme de Riemann.
• Edmund Landau a publié le théorème de Landau.
• Laplace inventa la méthode d'estimation des intégrales qui porte son nom. Il a aussi introduit la transformation de Laplace.
• Laurent a étudié le développement au voisinage d'un pôle.
• Legendre a développé la théorie des fonctions elliptiques.
• De Moivre a établi la formule de De Moivre.
• Paul Montel a publié sur les familles normales, le théorème de Montel…
• Émile Picard a publié deux théorèmes (le « petit » et le « grand ») sur les valeurs exceptionnelles.
• Poisson a fait, dans un article de 1813, le lien entre « étrangetés » en variable réelle et comportement de la fonction dans le plan complexe.
• Riemann à qui l'on doit l'application conforme, la fonction zêta de Riemann…
• Stirling donna la formule de Stirling.
• Georges Valiron s'est intéressé à la théorie des fonctions entières ou méromorphes.
• Weierstrass a étudié les singularités essentielles.

Notes et références

Voir aussi