- Formule de Jensen
-
La formule de Jensen (d'après le mathématicien Johan Jensen) est un résultat d'analyse complexe qui décrit le comportement d'une fonction analytique sur un cercle par rapport aux modules des zéros de cette fonction. Elle est d'une aide précieuse pour l'étude des fonctions entières.
L'énoncé est le suivant:
- Soit f est une fonction analytique sur une région du plan complexe contenant un disque fermé D de centre 0 et soit les zéros de f dans D, comptés avec leur multiplicité. Si , alors
Ou de manière équivalente :
- Si n(r) désigne le nombre de zéros de module <r, alors
Cette formule établit un lien entre les modules des zéros contenus dans un disque | z | < r et les valeurs de | f(z) | sur le cercle | z | = r, et peut être vue comme une généralisation des propriétés de valeurs moyennes des fonctions harmoniques. La formule de Jensen peut être généralisée aux fonctions méromorphes: c'est le théorème de Poisson-Jensen.
Sommaire
Applications
Le théorème fondamental de l'algèbre
Article détaillé : Théorème de d'Alembert-Gauss.Le théorème fondamental de l'algèbre affirme que tout polynôme P(X) à coefficients complexes de degré k admet k racines comptées avec multiplicité. Il existe de nombreuses démonstrations plus ou moins équivalentes utilisant des outils d'analyse complexe. Par exemple, la formule de Jensen énoncée plus haut fournit une preuve du théorème fondamental.
Le polynôme P(X) est une série entière dont les coefficients sont nuls pour des indices suffisamment grands :
où ak est non nul. On peut supposer a0 non nul. L'application est une fonction holomorphe entière (= définie sur C). On a l'équivalent P(z)∼akzk. Par des méthodes classiques de comparaison d'intégrales divergentes, il vient :
Un polynôme de degré k sur C a au plus k racines complexes comptées avec multiplicité. Comme n(r) est croissant, n(r) est constant égal à n0 pour r suffisamment grand. La formule de Jensen donne
En comparant les deux équivalents obtenus, on obtient n0 = k. Par conséquent, le polynôme P(X) possède k racines comptées avec multiplicité.
La théorie des fonctions entières
Article détaillé : fonction entière.La formule de Jensen est fondamentale dans la théorie développée principalement par Nevanlinna pour tout ce qui touche au théorème de Picard.
Références
- Complex Analysis, John M. Howie, Springer-Verlag
- Complex Analysis, L. V. Ahlfors, McGraw-Hill, 1979, ISBN 0-07-000657-1
Catégories :- Analyse complexe
- Théorème d'analyse
- Soit f est une fonction analytique sur une région du plan complexe contenant un disque fermé D de centre 0 et soit les zéros de f dans D, comptés avec leur multiplicité. Si , alors
Wikimedia Foundation. 2010.