Fonction analytique
Un article de Wikivisual, l'encyclopédie libre.
Une fonction analytique est une fonction qui peut s'exprimer localement comme une série entière convergente. En analyse complexe le résultat important est que les fonctions holomorphes sont analytiques.
Sommaire |
[modifier] Définition
Soit <math>f : U \to \mathbb{C} \,</math> une fonction à variable complexe, où <math>U \,</math> est un ouvert de <math>\mathbb{C} \,</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 il existe 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>, on a :
- <math>f(z) = \sum_{n=0}^{+ \infty}a_{n}\,(z-a)^{n}</math>
Autrement dit, une fonction est analytique si elle est développable en série entière au voisinage de chaque point de son ouvert de définition.
[modifier] Propriétés des fonctions analytiques
- Une fonction analytique est holomorphe. Il existe d'ailleurs une réciproque à cette proposition, à savoir que toute fonction holomorphe sur un ouvert est analytique sur celui-ci.
- De plus, une fonction analytique est infiniment 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.
- L'ensemble des fonctions analytiques sur un ouvert est une algèbre : la somme et le produit de fonctions analytiques sont analytiques.
- Lorsqu'elle est définie, la composée de fonctions analytiques est analytique.
- 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 une tautologie, car une série entière est a priori un développement au voisinage d'un seul point.
- Toute fonction polynomiale est analytique sur <math>\mathbb{C}</math> : on dit qu'elle est entière. Étant donnée une fonction polynomiale, les termes de son développement en série entière au voisinage d'un point quelconque de <math>\mathbb{C}</math> sont tous nuls à partir d'un certain rang.
[modifier] Fonctions analytiques : exemples et contre-exemples
- La fonction exponentielle donnée par <math>\exp(z)= \sum_{n=0}^{+ \infty} \frac{z^{n}}{n!}</math> est analytique sur <math> \mathbb{C} \, </math> tout entier : c'est une fonction entière.
- La fonction <math>f : \mathbb{C}^* \to \mathbb{C}, z \mapsto z^{-1}</math> est analytique sur <math> \mathbb{C}^*</math>.
- La fonction <math> 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> z \mapsto \mathrm{Re}(z) </math> n'est pas analytique : elle n'admet de dérivée (au sens complexe) en aucun point de <math>\mathbb{C}</math>.
- (on notera que les deux dernières fonctions admettent des dérivées partielles de tous ordres)
[modifier] Les principaux théorèmes sur les fonctions analytiques
[modifier] Le principe des zéros isolés
On considère à nouveau un ouvert connexe <math>U \subset \mathbb{C}</math> et une fonction analytique <math>f : U \to \mathbb{C} \,</math>. Si <math> f \, </math> n'est pas la fonction nulle, alors tous ses zéros sont isolés, c'est-à-dire que si <math>a \in U \, </math> est tel que <math> f(a)=0 </math>, alors il existe un disque centré en <math>a \, </math>, inclus dans <math>\ U</math>, tel que <math> f \, </math> ne s'annule en aucun autre point que <math>a \,</math> sur ce disque ; ceci se traduit par :
- <math> \exists r >0 , D(a,r) \subset U</math> et <math> \forall z \in D(a,r)\setminus \{a\}, f(z) \neq 0 </math>
Ainsi, toute fonction <math>f : U \to \mathbb{C} \,</math> non constante (ie. <math>\exists (\alpha,\beta)\in U^2\ \alpha\neq\beta\ et\ f(\alpha) \neq f(\beta)</math>), n'est constante en aucun point (ie. dans aucune direction à partir de ce point), ce qui se traduit par :
- <math> \forall a \in U\ \exists r >0 , D(a,r) \subset U</math> et <math> \forall z \in D(a,r)\setminus \{a\}, f(z) \neq f(a) </math>
On en déduit qu'aucune fonction analytique <math>f : U \to \mathbb{C} \,</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) \not\subset \mathbb{R}</math>). En effet, comme <math>f\,</math> est continue car analytique, il devrait y avoir existence de courbes de niveau, et le résultat ci-dessus l'interdit, d'où ce dernier corollaire.
[modifier] Le principe du prolongement analytique
Soient <math>U \subset \mathbb{C} \,</math> un ouvert et une fonction analytique <math>f : U \to \mathbb{C} \,</math>. On suppose en outre que <math>U \,</math> est connexe (cette hypothèse est essentielle). Alors les trois propositions suivantes sont équivalentes :
- <math>f \,</math> est identiquement nulle sur <math>U \,</math>
- Il existe un ouvert de <math>U \, </math> noté <math>\Omega \,</math> sur lequel la restriction de <math>f \,</math> est identiquement nulle
- Il existe un point <math>a \in U \,</math> tel que <math>\forall n \in \N , f^{(n)}(a)=0</math>
Ce théorème signifie 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.ar:دالة تحليلية cs:Analytická funkce de:Analytische Funktion en:Analytic function fi:Analyyttinen funktio he:פונקציה אנליטית it:Funzione analitica pl:Funkcja analityczna ru:Аналитическая функция uk:Аналітична функція
