Voir la source de Fonction analytique

{{Voir homonymes|Analytique}}
[[Fichier:Gamma abs 3D.png|vignette|Tracé du [[Module d'un nombre complexe|module]] de la [[fonction gamma]] (son [[prolongement analytique]]) dans le [[plan complexe]].]]
En [[mathématiques]], et plus précisément en [[analyse (mathématiques)|analyse]], une '''fonction analytique''' est une [[fonction (mathématiques)|fonction]] d'une variable [[nombre réel|réelle]] ou [[nombre complexe|complexe]] qui est développable en [[série entière]] au [[Voisinage (mathématiques)|voisinage]] de chacun des points de son [[domaine de définition]]. 

Autrement dit,  pour tout <math>x_0</math> de ce domaine, il existe une [[suite (mathématiques)|suite]] <math>(a_n)</math> (dépendant de <math>x_0</math>)  donnant une expression de la fonction, valable pour tout <math>x</math> assez proche de <math>x_0</math>, sous la forme d'une [[série convergente]] :
:<math>f(x) = \sum_{n=0}^{+\infty} a_n(x-x_0)^n.</math>

Toute fonction analytique  est [[classe de régularité|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 [[fonction holomorphe|holomorphe]].

Qu'elle soit de variable réelle ou complexe, une fonction analytique sur un ouvert [[Connexité (mathématiques)|connexe]] et non identiquement [[Fonction nulle|nulle]] a ses [[zéro d'une fonction|zéros]] [[point isolé|isolés]]. Cette propriété induit l'[[unicité (mathématiques)|unicité]]<ref group=note>Il n'y a pas forcément [[existence (mathématiques)|existence]] d'un tel prolongement analytique à tout ouvert connexe.</ref> du [[prolongement analytique]] sur tout ouvert connexe.

== Définitions ==

Soit <math>f:U\to\Complex</math> une fonction d'une variable complexe, où <math>U</math> est un ouvert de <math>\Complex</math>. On dit que la fonction <math>f</math> est ''analytique'' sur <math>U</math> si pour tout <math>a\in U</math>, il existe une suite <math>(a_n)</math> de nombres complexes et un réel <math>r>0</math> tel que, pour tout <math>z\in D(a,r)</math>, c'est-à-dire pour tout <math>z</math> dans le disque (ouvert) de centre <math>a</math> et de rayon <math>r</math>, supposé inclus dans <math>U</math>, la fonction s'exprime sous forme de la série convergente :
: <math>f(z) = \sum_{n=0}^{+ \infty}a_n(z-a)^n</math>.
Autrement dit, une fonction est analytique si elle est [[Série entière#Fonction développable en série entière|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 <math>f:I\to\Complex</math>, définie sur un [[Intervalle (mathématiques)|intervalle]] ouvert <math>I\subset\mathbb R</math> borné ou non, en remplaçant le disque <math>D(a,r)</math> par l'intervalle ouvert <math>]a-r,a+r[\subset I</math>.

Une fonction analytique sur <math>\Complex</math> tout entier est dite [[Fonction entière|entière]].

== Propriétés ==
* Si une fonction de la variable complexe est analytique alors elle est [[fonction holomorphe|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 <math>a\in U</math> est <math>f^{(n)}(a)=n\,!\,a_n</math> avec les notations données dans la définition. Ceci prouve que le développement de <math>f </math> en série entière au voisinage de chaque point <math>a</math> de <math>U</math> est unique ; on l'appelle encore '''développement en [[série de Taylor]]''':
<center><math>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</math>,</center>
* L'ensemble des fonctions analytiques sur un ouvert est une [[algèbre sur un corps|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 [[polynôme|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 <math>\Complex</math> sont tous nuls à partir d'un certain rang <math>d+1</math> où <math>d</math> est le degré du polynôme. On obtient son développement en un point <math>z_0</math> à partir de son développement en un autre point à l'aide de la [[formule du binôme de Newton]] : <math>P(z)=\sum_{n=0}^da_n z^n = \sum_{k=0}^db_k (z-z_0)^k</math> avec <math>b_k=\sum_{n=k}^da_n{n \choose k}z_0^{n-k}</math>.
* 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 complexe|exponentielle]] définie par <math>\exp z= \sum_{n=0}^{+ \infty} \frac{z^{n}}{n!}</math> est entière.
* La fonction <math>f:\Complex^*\to\Complex,\;z\mapsto z^{-1}</math> est analytique : <math>\forall z_0\neq0\quad\forall z\in D(z_0,|z_0|)\quad\frac1z=\frac{1}{z_0}-\frac{1}{z_0^2}(z-z_0)+\frac{1}{z_0^3}(z-z_0)^2-\dots</math>
* Les fonctions [[Sinus (mathématiques)|sin]], [[Cosinus|cos]], [[Tangente (trigonométrie)|tan]], [[Cotangente|cot]], [[Sinus hyperbolique|sinh]], [[Cosinus hyperbolique|cosh]]{{etc}} sont analytiques.
* La fonction <math>\Complex\to\Complex,\;z\mapsto|z|^2=z\overline z</math> n'est pas analytique : on montre qu'elle n'admet de dérivée (au sens complexe) qu'en 0.
* La fonction <math>\Complex\to\Complex,\;z\mapsto \mathrm{Re}(z)=\frac{z+\overline z}2</math> n'est pas analytique : elle n'admet de dérivée (au sens complexe) en aucun point de <math>\Complex</math>.

Les deux dernières fonctions admettent cependant des dérivées partielles de tous ordres (elles sont de classe <math>C^\infty</math> 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).

{{article détaillé|Fonction régulière non analytique}}
* La fonction <math>\R\to\R,x\mapsto\mathrm e^{-1/x^2}</math> pour <math>x\ne0</math> et <math>0\mapsto0</math> n'est pas analytique en 0 (bien qu'elle soit de classe <math>C^\infty</math> sur <math>\R</math>) ; 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#Convergence de la série de Taylor|Série de Taylor]] » et dans l'article détaillé.

== Les principaux théorèmes ==
Toute fonction analytique sur un ouvert <math>I</math> de <math>\R</math> admet un prolongement analytique sur un certain ouvert de <math>\Complex</math> contenant <math>I</math>.

On considère maintenant un ouvert connexe <math>U</math> de <math>\Complex</math> (l'hypothèse de connexité est essentielle) et <math>f:U\to\Complex</math> une fonction analytique.

=== Le principe du prolongement analytique ===
Pour tout point <math>a</math> de <math>U</math>, les quatre propositions suivantes sont alors équivalentes (une démonstration est proposée dans l'article « [[Prolongement analytique]] ») :
# <math>f</math> est identiquement nulle sur <math>U</math> ;
# <math>f</math> est identiquement nulle dans un voisinage de <math>a</math> ;
# pour tout entier naturel <math>n</math>, <math>f^{(n)}(a)=0</math> ;
# <math>f</math> est identiquement nulle sur un ensemble de points possédant un [[Point d'accumulation (mathématiques)|point d'accumulation]] dans <math>U</math>.
Un corollaire de ce théorème est que si une fonction analytique sur un ouvert connexe s'annule sur un disque de rayon si petit soit-il, alors c'est la fonction nulle. On peut interpréter cela comme un résultat d'unicité pour la théorie du prolongement analytique : si deux fonctions analytiques coïncident sur un voisinage d'un point d'un ouvert connexe, alors ces deux fonctions sont égales sur tout cet ouvert.

=== Le principe des zéros isolés ===

Un corollaire plus précis est que si <math>f</math> n'est pas la fonction nulle, alors [[Zéro d'une fonction holomorphe|ses zéros sont isolés]], c'est-à-dire que pour tout point <math>a</math> de <math>U</math> où <math>f</math> s'annule, il existe un disque centré en <math>a</math>, inclus dans <math>U</math>, sur lequel <math>f</math> ne s'annule en aucun autre point que <math>a</math>.

Ainsi, si <math>f</math> n'est pas [[Fonction constante|constante]] alors elle « n'est constante en aucun point » c'est-à-dire que pour tout point <math>a</math> de <math>U</math>, il existe un disque centré en <math>a</math>, inclus dans <math>U</math>, sur lequel <math>f</math> ne prend la valeur <math>f(a)</math> en aucun autre point que <math>a</math>.

On en déduit qu'aucune fonction analytique <math>f:U\to\Complex</math> non constante ne peut avoir son image <math>f(U)</math> contenue dans un [[espace vectoriel]] réel de dimension 1 (en particulier, <math>f(U)</math> n'est pas inclus dans ℝ). En effet, comme <math>f</math> est continue car analytique, il devrait y avoir existence de [[courbe de niveau|courbes de niveau]], or le résultat ci-dessus l'interdit.

=== Le [[théorème de l'image ouverte]] ===
Si <math>f</math> est une fonction analytique non constante sur un ouvert ''U'', alors <math>f(U)</math> est un ouvert.

On peut le démontrer à partir du principe des zéros isolés.

=== Le principe du maximum ===
Soit <math>f</math> une fonction analytique non constante sur un domaine ''D''. Du théorème de l'image ouverte on déduit immédiatement :
* le module de <math>f</math> ne possède pas de maximum local dans ''D''. Donc, si <math>|f|</math> atteint son maximum, par exemple si ''D'' est borné et <math>f</math> continue sur l'adhérence de ''D'', alors ce maximum se trouve sur la frontière de ''D''. Plus généralement, une fonction holomorphe et bornée sur un domaine D, borné ou non, continue sur l'adhérence de D, vérifie la propriété que la borne supérieure de son module sur D est égale à la borne supérieure de son module sur la frontière de D<ref>{{ouvrage|auteur=[[Roger Godement]]|titre=Analyse mathématique|tome=2|page=316}}</ref> ;
* ''si <math>f</math> ne s'annule pas sur D'' alors <math>|f|</math> ne possède pas non plus de minimum local dans ''D'' ;
* la [[partie réelle]] de <math>f</math> ne possède dans <math>D</math> ni maximum local, ni minimum local.

On en déduit notamment le [[lemme de Schwarz]].

Plus généralement, toute [[fonction sous-harmonique]] (comme <math>|f|</math> et, si <math>f</math> ne s'annule pas, <math>1/|f|</math>) vérifie le principe du maximum, donc toute [[fonction harmonique]] (comme Re(<math>f</math>)) vérifie le principe du maximum et du minimum.

==== Les théorèmes de Phragmén-Lindelöf ====
Soit ''f'' une fonction analytique sur un domaine ''D'' non borné, continue sur l'adhérence de ''D''. Il ne suffit pas de conclure que ''f'' est bornée sur la frontière de D pour conclure que ''f'' est bornée sur D, comme le montre l'exemple de la fonction <math>z \to \exp(\exp(z))</math> sur la bande ''B'' constituée des nombres complexes de partie imaginaire comprise entre <math>- \frac{\pi}{2}</math> et <math>\frac{\pi}{2}</math><ref>{{Rudin}}, exemple 12.7, {{p.|235}}.</ref>. Le [[Principe de Phragmén–Lindelöf|théorème de Phragmén-Lindelöf]] apporte une réponse à cette question en ajoutant des hypothèses sur la forme de ''D'' et sur la croissance du module de ''f''(''z'') lorsque ''z'' tend vers l'infini dans ''D''. Grossièrement, ce module ne doit pas augmenter trop vite.

On dispose par exemple du résultat suivi sur la bande ''B''. Si ''f'' est bornée sur la frontière de ''B'' et s'il existe deux constantes positives ''A'' et ''u'' telles que ''u'' < 1 et <math>|f(z)| \leq \exp(A \exp(u|\Re(z)|))</math>, alors ''f'' est bornée sur ''B''<ref>{{Rudin}}, th.12.9, {{p.|237}}.</ref>.

Des résultats analogues peuvent être obtenus sur d'autres domaines, le plus souvent par transformation conforme à partir de ''B''.

== Mathématiciens ayant travaillé sur le sujet ==
* [[Jean-Robert Argand|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érie divergente|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érie de Dirichlet|séries de Dirichlet]]
* [[Augustin Louis Cauchy|Cauchy]] a fourni plusieurs outils : [[théorème des résidus]], [[intégrale curviligne]], [[rayon de convergence]]…
* [[Nicolas de Condorcet|Condorcet]] a publié ses résultats de recherche dans plusieurs livres.
* [[Leonhard Euler|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.
* [[Carl Friedrich Gauss|Gauss]] a démontré différents théorèmes se rapportant à l'analyse complexe.
* [[Jacques Hadamard]] a fourni le [[Théorème de factorisation de Weierstrass#Le théorème de Hadamard|théorème de décomposition]], a démontré le [[théorème des nombres premiers]]…
* [[Johan Jensen|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]]
* [[Pierre-Simon de Laplace|Laplace]] inventa la méthode d'estimation des intégrales qui porte son nom. Il a aussi introduit la [[transformation de Laplace]].
* [[Pierre Alphonse Laurent|Laurent]] a étudié le développement au voisinage d'un pôle.
* [[Adrien-Marie Legendre|Legendre]] a développé la théorie des [[fonction elliptique|fonctions elliptiques]].
* [[Abraham de Moivre|De Moivre]] a établi la [[formule de De Moivre]].
* [[Paul Montel (mathématicien)|Paul Montel]] a publié sur les [[famille normale|familles normales]], le [[théorème de Montel]]…
* [[Émile Picard]] a publié [[Théorèmes de Picard|deux théorèmes]] (le « petit » et le « grand ») sur les valeurs exceptionnelles
* [[Siméon Denis Poisson|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.
* [[Bernhard Riemann|Riemann]] à qui l'on doit l'[[application conforme]], la [[fonction zêta de Riemann]]…
* [[James Stirling (mathématicien)|Stirling]] donna la [[formule de Stirling]].
* [[Georges Valiron]] s'est intéressé à la théorie des [[fonction entière|fonctions entières]] ou [[fonction méromorphe|méromorphes]]
* [[Karl Weierstrass|Weierstrass]] a étudié les singularités essentielles.

== Notes et références ==
{{Références}}

=== Note ===
{{Notes}}

== Voir aussi ==
=== Bibliographie ===
* « Fonctions analytiques », ''Dictionnaire des mathématiques – algèbre, analyse, géométrie'', [[Encyclopædia Universalis]] et [[Éditions Albin Michel|Albin Michel]], Paris, 1997
* {{Dieudonné2}}

=== Articles connexes ===

[[Fonction holomorphe]]

[[Analyse complexe]]

[[Prolongement analytique]]

[[Fonction entière]]

[[Fonction méromorphe]]

[[Fonction de plusieurs variables complexes]]

[[Domaine d'holomorphie]]

{{Lien|langue=en|trad=Strassmann's theorem|fr=Théorème de Strassmann}}


{{Portail|analyse}}

[[Catégorie:Analyse réelle]]
[[Catégorie:Analyse complexe]]
[[Catégorie:Propriété de fonction|Analytique]]
[[Catégorie:Série (mathématiques)]]

[[pl:Wzór Taylora#Szereg Taylora]]