Formule de Jensen

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

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 :

Soient

f

une fonction analytique sur une région du plan complexe contenant le disque fermé

\overline{D (0, r)}

de centre 0 et de rayon r et

α_{1}, α_{2}, \dots, α_{N}

les zéros de

f

dans

\overline{D (0, r)}

, comptés avec leur multiplicité.

Si

f (0)

est non nul, alors

\log | f (0) | = - \sum_{k = 1}^{N} \log (\frac{r}{| α_{k} |}) + \frac{1}{2 π} \int_{0}^{2 π} \log | f (r e^{i θ}) | d θ .

Ou de manière équivalente :

Si

n (r)

désigne le nombre de zéros de module strictement inférieur à

r

, alors

\log | f (0) | + \int_{0}^{r} \frac{n (s)}{s} d s = \frac{1}{2 π} \int_{0}^{2 π} \log | f (r e^{i θ}) | d θ .

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.

Démonstration

On va tout d'abord faire la démonstration de cette formule lorsque $f$ n'a pas de zéros dans $\overline{D (0, r)}$ (grâce à une propriété d'harmonicité), et ensuite on se ramènera au premier cas en « éliminant » les zéros de $f$ .

Supposons donc tout d'abord que $f$ n'a pas de zéros dans $\overline{D (0, r)}$ .Dans ce cas, elle n'en a pas non plus dans $D (0, r + ε)$ pour $ε$ assez petit. Or $D (0, r + ε)$ est simplement connexe et $f$ ne s'y annule pas donc il existe une fonction $g$ holomorphe sur $D (0, r + ε)$ telle que $f = e^{g}$ . Alors $\log (| f |) = R e (g)$ , partie réelle d'une fonction holomorphe, est harmonique sur $D (0, r + ε)$ . En particulier elle est harmonique sur $D (0, r)$ et continue sur $\overline{D (0, r)}$ . D'après le principe de la moyenne, on a alors : $\log (| f (0) |) = \frac{1}{2 π} \int_{0}^{2 π} \log (| f (r e^{i θ}) |) d θ .$ Ceci montre alors la première partie de la preuve.
Supposons maintenant que $f$ a des zéros dans $\overline{D (0, r)}$ , on les énumère de la manière suivante :

| α_{1} | \leq \dots \leq | α_{m} | < r, | α_{m + 1} | = \dots = | α_{N} | = r .

On pose alors

g (z) = f (z) \times \prod_{n = 1}^{m} \frac{r^{2} - \overline{α_{n}} z}{r (α_{n} - z)} \times \prod_{n = m + 1}^{N} \frac{α_{n}}{α_{n} - z} .

Alors $g$ est holomorphe sur $D (0, r + ε)$ et ne s'annule pas sur $\overline{D (0, r)}$ . D'après la première partie de la preuve on a alors :

\frac{1}{2 π} \int_{0}^{2 π} \log (| g (r e^{i θ}) |) d θ = \log (| g (0) |) = \log (| f (0) |) + \sum_{n = 1}^{N} \log (| \frac{r}{α_{n}} |) .

Si on montre que $\int_{0}^{2 π} \log (| g (r e^{i θ}) |) d θ = \int_{0}^{2 π} \log (| f (r e^{i θ}) |) d θ$ , alors on aura fini la preuve. Or

\int_{0}^{2 π} \log (| g (r e^{i θ}) |) d θ = \int_{0}^{2 π} \log (| f (r e^{i θ}) |) d θ + \sum_{n = 1}^{m} \int_{0}^{2 π} \log (1) d θ - \sum_{n = m + 1}^{N} \int_{0}^{2 π} \log (| 1 - e^{i θ} \overline{α_{n}} / r |) d θ

et si $α_{n} = r e^{i θ_{n}}$ on a :

\int_{0}^{2 π} \log (| 1 - e^{i θ} \overline{α_{n}} / r |) d θ = \int_{- θ_{n}}^{2 π - θ_{n}} \log (| 1 - e^{i u} |) d u = \int_{0}^{2 π} \log (| 1 - e^{i v} |) d v = 0

donc

\int_{0}^{2 π} \log (| g (r e^{i θ}) |) d θ = \int_{0}^{2 π} \log (| f (r e^{i θ}) |) d θ,

ce qui termine la preuve.

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 à 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$ est une série entière dont les coefficients sont nuls pour des indices suffisamment grands :

P (X) = a_{0} + a_{1} X + \dots + a_{k} X^{k}

où $a_{k}$ est non nul. On peut supposer $a_{0}$ non nul. L'application $z \mapsto P (z)$ est une fonction entière (c'est-à-dire holomorphe sur ℂ). On a l'équivalent $P (z) \sim a_{k} z^{k}$ . Par des méthodes classiques de comparaison d'intégrales divergentes, il vient :

\frac{1}{2 π} \int_{0}^{2 π} \log | P (r e^{i θ}) | d θ \sim k \log r .

Un polynôme de degré $k$ sur ℂ a au plus k racines complexes comptées avec multiplicité. Comme $n (r)$ est croissant, $n (r)$ est constant égal à $n_{0}$ pour $r$ suffisamment grand. La formule de Jensen donne

\frac{1}{2 π} \int_{0}^{2 π} \log | P (r e^{i θ}) | d θ = \log | P (0) | + \int_{0}^{r} \frac{n (s)}{s} d s = n_{0} \log r + Constante .

En comparant les deux équivalents obtenus, on obtient $n_{0} = k$ . Par conséquent, le polynôme $P$ 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 Rolf Nevanlinna pour tout ce qui touche aux théorèmes de Picard.

Mesure de Mahler des polynômes en une variable

Article détaillé : Mesure de Mahler.

La formule de Jensen appliquée à un polynôme en une variable permet de calculer la mesure de Mahler de ce polynôme en fonction des racines de module plus grand que 1.

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Jensen's formula » (voir la liste des auteurs).
(en) John Mackintosh Howie, Complex analysis, Springer-Verlag, coll. « Springer Undergraduate Mathematics Series », 2004, 276 p. (ISBN 978-1-85233-733-9, lire en ligne)
(en) Lars Valerian Ahlfors, Complex analysis : an introduction to the theory on analytic functions of one complex variable, New York, McGraw-Hill, 1979, 331 p. (ISBN 0-07-000657-1)

Portail de l'analyse