Principe de Phragmén–Lindelöf

En théorie des fonctions à la valeur complexe, il est connu que le module d'une fonction holomorphe (différentiable complexe) à l'intérieur d'un ouvert bornée est limité par son module sur la frontière de la région[1]. Plus précisément, si une fonction ${\displaystyle f:\mathbb {C} \to \mathbb {C} }$ est holomorphe sur une région ${\displaystyle \Omega }$ et continue sur son adhérence ${\displaystyle {\overline {\Omega }}=\Omega \cup \partial \Omega }$, alors ${\textstyle |f(z_{0})|<\sup _{z\in \partial \Omega }|f(z)|}$ pour tout ${\displaystyle z_{0}\in \Omega }$. C'est le principe du maximum. (En fait, puisque ${\displaystyle {\overline {\Omega }}}$ est compact et ${\displaystyle |f|}$ est continue, on dispose de ${\displaystyle w_{0}\in \partial \Omega }$ tel que ${\textstyle |f(w_{0})|=\sup _{z\in \Omega }|f(z)|}$.) Le principe du maximum est souvent utilisé pour montré qu'une fonction holomorphe est bornée sur une région de ${\displaystyle \mathbb {C} }$ après avoir montré qu'elle l'était sur la frontière de cette partie.

Cependant, le principe du maximum ne peut pas être appliqué à une région non bornée du plan complexe. Examinons par exemple le comportement de la fonction holomorphe ${\displaystyle f(z)=\exp(\exp(z))}$ dans la bande non bornée

${\displaystyle S={\Big \{}z:\Im (z)\in {\big (}-{\frac {\pi }{2}},{\frac {\pi }{2}}{\big )}{\Big \}}}$.

Bien que ${\displaystyle |f(x\pm \pi i/2)|=1}$, i.e. ${\displaystyle |f|}$ est bornée sur la frontière ${\displaystyle \partial S}$, ${\displaystyle |f|}$ croit rapidement lorsque ${\displaystyle |z|\to \infty }$ sur l'axe des réels positifs. Si la croissance de ${\displaystyle |f|}$ n'est pas "trop" importante, condition précisée plus loin, le principe de Phragmén–Lindelöf peut être appliqué pour montré que ${\displaystyle f}$ bornée sur la frontière d'une région implique ${\displaystyle f}$ bornée sur la région entière.

Soit ${\displaystyle f}$ une fonction holomorphe et une région non bornée ${\displaystyle S}$ du plan complexe, et nous voulons montrer que ${\displaystyle |f|\leq M}$ sur ${\displaystyle S}$. Selon un argument typique de Phragmén-Lidenlöf, nous introduisons un certain facteur multiplicatif ${\displaystyle h_{\epsilon }}$ satisfaisant ${\textstyle \lim _{\epsilon \to 0}h_{\epsilon }=1}$ pour « maîtriser » la croissance de ${\displaystyle f}$. Plus précisément, ${\displaystyle h_{\epsilon }}$ est choisi tel que (i) : ${\displaystyle fh_{\epsilon }}$ est holomorphe pour tout ${\displaystyle \epsilon >0}$ et ${\displaystyle |fh_{\epsilon }|\leq M}$ à la frontière ${\displaystyle \partial S_{\mathrm {b} }}$ d'une sous-région délimitée appropriée ${\displaystyle S_{\mathrm {b} }\subset S}$ ; et (ii) : le comportement asymptotique de ${\displaystyle fh_{\epsilon }}$ nous permet d'établir que ${\displaystyle |fh_{\epsilon }|\leq M}$ pour ${\displaystyle z\in S\setminus {\overline {S_{\mathrm {b} }}}}$ (c'est-à-dire la partie illimitée de ${\displaystyle S}$ en dehors de l'adhérence de la sous-région délimitée). Cela nous permet d'appliquer le principe du maximum pour conclure d'abord que ${\displaystyle |fh_{\epsilon }|\leq M}$ sur ${\displaystyle {\overline {S_{\mathrm {b} }}}}$ puis étendre la conclusion à tous ${\displaystyle z\in S}$. Enfin, nous faisons ${\displaystyle \epsilon \to 0}$ pour que ${\displaystyle fh_{\epsilon }\to f}$ simplement sur ${\displaystyle S}$ pour conclure que ${\displaystyle |f|\leq M}$ sur ${\displaystyle S}$.

Dans la littérature, il existe de nombreux exemples du principe de Phragmén-Lidenlöf appliqué à des régions non bornées de types différents, et une version de ce principe peut également être appliquée de manière similaire aux fonctions sous-harmoniques et superharmoniques.

Au vu de l'exemple ci-dessus, nous pourrions imposer une condition de croissance sur une fonction holomorphe ${\displaystyle f}$ qui l'empêche d'"exploser" et permet d'appliquer le principe de Phragmén-Lindelöf. À cette fin, nous ajoutons

${\displaystyle |f(z)|<\exp {\big (}A\exp(c\cdot |\Re (z)|){\big )}}$

avec ${\displaystyle c<1}$ un réel et ${\displaystyle A<\infty }$, pour tout ${\displaystyle z\in S}$. On peut montrer que ${\displaystyle |f(z)|\leq 1}$ pour tout ${\displaystyle z\in \partial S}$ implique que ${\displaystyle |f(z)|\leq 1}$ tient en fait pour tout ${\displaystyle z\in S}$. Nous avons donc la :

Proposition. Soit

${\displaystyle S={\Big \{}z:\Im (z)\in {\big (}-{\frac {\pi }{2}},{\frac {\pi }{2}}{\big )}{\Big \}},\quad {\overline {S}}={\Big \{}z:\Im (z)\in {\big [}-{\frac {\pi }{2}},{\frac {\pi }{2}}{\big ]}{\Big \}}}$.

Soit ${\displaystyle f}$ holomorphique sur ${\displaystyle S}$ et continue sur ${\displaystyle {\overline {S}}}$, supposons qu'il existe des constantes réelles ${\displaystyle c<1,\ A<\infty }$ telles que

${\displaystyle |f(z)|<\exp {\big (}A\exp(c\cdot |\Re (z)|){\big )}}$

pour tout ${\displaystyle z\in S}$ et ${\displaystyle |f(z)|\leq 1}$ pour tout ${\displaystyle z\in {\overline {S}}\setminus S=\partial S}$. Alors ${\displaystyle |f(z)|\leq 1}$ pour tout ${\displaystyle z\in S}$.

Remarquons que cette proposition ne tient plus pour ${\displaystyle c=1}$, comme le montre l'exemple préliminaire. Passons à l'ébauche de la preuve[2] :

Démonstration : Soit ${\displaystyle b\in ]c,1[}$ et définissons une fonction auxiliaire pour chaque ${\displaystyle \epsilon >0}$, par${\textstyle h_{\epsilon }(z)=e^{-\epsilon (e^{bz}+e^{-bz})}}$. On définit de plus pour chaque ${\displaystyle a>0}$ : ${\displaystyle S_{a}}$ le rectangle ouvert de sommets ${\displaystyle \{a\pm i\pi /2,-a\pm i\pi /2\}}$. Soit maintenant ${\displaystyle \epsilon >0}$ et considérons la fonction ${\displaystyle fh_{\epsilon }}$. On peut montrer que ${\displaystyle |f(z)h_{\epsilon }(z)|\to 0}$ lorsque ${\displaystyle |\Re (z)|\to \infty }$. On dispose par conséquent de ${\displaystyle x_{0}}$ tel que ${\displaystyle |f(z)h_{\epsilon }(z)|\leq 1}$ dès que ${\displaystyle z\in {\overline {S}}}$ et ${\displaystyle |\Re (z)|\geq x_{0}}$. Or ${\displaystyle S_{x_{0}}}$ est bornée, et ${\displaystyle |f(z)h_{\epsilon }(z)|\leq 1}$ pour tout ${\displaystyle z\in \partial S_{x_{0}}}$, le principe du maximum implique que ${\displaystyle |f(z)h_{\epsilon }(z)|\leq 1}$ pour tout${\displaystyle z\in {\overline {S_{x_{0}}}}}$. Or ${\displaystyle |f(z)h_{\epsilon }(z)|\leq 1}$ pour ${\displaystyle z\in S}$ avec ${\displaystyle |\Re (z)|>x_{0}}$, ${\displaystyle |f(z)h_{\epsilon }(z)|\leq 1}$ tient donc pour tout ${\displaystyle z\in S}$. Finalement, on conclut avec ${\displaystyle fh_{\epsilon }\to f}$ lorsque ${\displaystyle \epsilon \to 0}$, que ${\displaystyle |f(z)|\leq 1}$pour tout ${\displaystyle z\in S}$. ∎

Le principe de Phragmén-Lindelöf se révèle particulièrement utile sur les secteurs angulaires du plan complexe. Ce résultat peut être utilisée pour donner une preuve d'analyse complexe du principe d'incertitude de Hardy, qui stipule qu'une fonction et sa transformée de Fourier ne peuvent pas toutes les deux décroître plus rapidement qu'exponentiellement[3].

Proposition. Soit ${\displaystyle F}$ une fonction holomorphe sur un secteur

${\displaystyle S=\left\{z\,{\big |}\,\alpha <\arg z<\beta \right\}}$

d'angle central ${\displaystyle \beta -\alpha =\pi /\lambda }$, et continue sur sa frontière. Si

${\displaystyle |F(z)|\leq 1}$

pour ${\displaystyle z\in \partial S}$, et

${\displaystyle |F(z)|\leq e^{C|z|^{\rho }}}$

pour ${\displaystyle z\in S}$, où ${\displaystyle \rho \in [0,\lambda )}$ et ${\displaystyle C>0}$, alors ${\displaystyle |F(z)|\leq 1}$ pour tout ${\displaystyle z\in S}$.

En pratique le point 0 est souvent transformé en ∞ sur la sphère de Riemann. Cela fournit un principe pour les bandes, délimitées par exemple par deux droites de parties réelles constante. On donne parfois le nom de théorème de Lindelöf à ce cas particulier.

Le théorème de Carlson est une application de ce principe aux fonctions bornées sur l'axe imaginaire.

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Phragmén–Lindelöf principle » (voir la liste des auteurs).

• Phragmén, Lars Edvard et Lindelöf, Ernst, « Sur une extension d'un principe classique de l'analyse et sur quelques propriétés des fonctions monogènes dans le voisinage d'un point singulier », Acta Math., vol. 31, n^o 1,‎ 1908, p. 381–406 (ISSN 0001-5962, DOI 10.1007/BF02415450, lire en ligne)
• Marcel Riesz, « Sur le principe de Phragmén-Lindelöf », Proceedings of the Cambridge Philosophical Society, vol. 20,‎ 1920
• Edward Charles Titchmarsh, The Theory of Functions, Oxford University Press, 1976, Second éd. (ISBN 0-19-853349-7) (Voir chapitre 5)
• (en) « Principe de Phragmén–Lindelöf », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)
• Stein, Elias M. and Shakarchi, Rami, Complex analysis, Princeton, NJ, Princeton University Press, coll. « Princeton Lectures in Analysis, II », 2003 (ISBN 0-691-11385-8)

• Portail des mathématiques
• Portail de l'analyse