« Fonctions d'une variable complexe/Développement en séries entières » : différence entre les versions
Contenu supprimé Contenu ajouté
→Théorème de Taylor : complément |
→Théorème de Taylor : +th des zéros isolés |
||
Ligne 26 : | Ligne 26 : | ||
<div style="text-align: center;"><math>f(z)=\sum_{m=0}^{\infty}\frac{f^{(m)}(z_0)}{m!}(z-z_0)^m</math>.</div> |
<div style="text-align: center;"><math>f(z)=\sum_{m=0}^{\infty}\frac{f^{(m)}(z_0)}{m!}(z-z_0)^m</math>.</div> |
||
}} |
}} |
||
{{Wikipédia|Fonction entière}} |
{{Corollaire|titre=Corollaire 1 : fonctions entières|contenu={{Wikipédia|Fonction entière}} |
||
Si <math>f</math> est une fonction entière, c'est-à-dire holomorphe sur <math>\C</math>, alors sa série de Taylor en tout point a un rayon de convergence infini. |
|||
}} |
|||
{{Corollaire|titre=Corollaire 2 : unicité du prolongement analytique|contenu={{Wikipédia|Prolongement analytique}} |
|||
Soit <math>f</math> une fonction holomorphe sur un ouvert '''[[Topologie générale/Connexité|connexe]]''' <math>\Omega\subset\C</math>. Les trois propriétés suivantes sont équivalentes : |
|||
*<math>f</math> est la fonction nulle ; |
|||
*il existe un point <math>z_0\in\Omega</math> en lequel <math>f</math> et toutes ses dérivées sont nulles ; |
|||
*l'ensemble des zéros de <math>f</math> admet un [[Topologie générale/Adhérence, intérieur|point d'accumulation]] <math>z_0\in\Omega</math>. |
|||
}} |
|||
{{Bas de page |
{{Bas de page |
Version du 13 août 2018 à 14:48
Fonctions analytiques
Fonction analytique en un point
Une fonction est dite analytique en un point si elle admet un développement en série entière autour de ce point : .
Fonction analytique
Une fonction est dite analytique sur son domaine , si elle est analytique en tous les points de son domaine.
Théorème de Taylor
Nous allons généraliser la formule de Taylor aux fonctions de variable complexe.
Corollaire 1 : fonctions entières
Si est une fonction entière, c'est-à-dire holomorphe sur , alors sa série de Taylor en tout point a un rayon de convergence infini.
Corollaire 2 : unicité du prolongement analytique
Soit une fonction holomorphe sur un ouvert connexe . Les trois propriétés suivantes sont équivalentes :
- est la fonction nulle ;
- il existe un point en lequel et toutes ses dérivées sont nulles ;
- l'ensemble des zéros de admet un point d'accumulation .