Théorème de Lindelöf

En mathématiques, le théorème de Lindelöf est un résultat d'analyse complexe, du nom du mathématicien finlandais Ernst Leonard Lindelöf. Il énonce qu'une fonction holomorphe sur une demi-bande dans le plan complexe, bornée sur sa frontière, et ne croissant pas "trop vite" dans la direction non bornée de la bande est en fait bornée sur toute la bande. Le résultat est utile dans l'étude de la fonction zêta de Riemann, et est un cas particulier du principe de Phragmén–Lindelöf. Le théorème de Lindelöf est analogue au théorème des trois droites d'Hadamard.

Enoncé du théorème

Soit Ω une demi-bande du plan complexe:

Ω = { z ∈ C | x 1 ≤ R e ( z ) ≤ x 2  et  I m ( z ) ≥ y 0 } ⊊ C . {\displaystyle \Omega =\{z\in \mathbb {C} |x_{1}\leq \mathrm {Re} (z)\leq x_{2}{\text{ et }}\mathrm {Im} (z)\geq y_{0}\}\subsetneq \mathbb {C} .\,}

Supposons que ƒ est holomorphe (i.e. analytique) sur Ω et qu'existent M, A et B telles que

| f ( z ) | ≤ M  pour tout  z ∈ ∂ Ω {\displaystyle |f(z)|\leq M{\text{ pour tout }}z\in \partial \Omega \,}

et

| f ( x + i y ) | y A ≤ B  pour tout  x + i y ∈ Ω . {\displaystyle {\frac {|f(x+iy)|}{y^{A}}}\leq B{\text{ pour tout }}x+iy\in \Omega .\,}

Alors f est bornée par M sur Ω entier:

| f ( z ) | ≤ M  pour tout  z ∈ Ω . {\displaystyle |f(z)|\leq M{\text{ pour tout }}z\in \Omega .\,}

Preuve

Soit ξ = σ + i τ {\displaystyle \xi =\sigma +i\tau } appartenant à Ω {\displaystyle \Omega } . Soient λ > − y 0 {\displaystyle \lambda >-y_{0}} , un entier N > A {\displaystyle N>A} et y 1 > τ {\displaystyle y_{1}>\tau } vérifiant B y 1 A ( y 1 + λ ) N ≤ M ( y 0 + λ ) N {\displaystyle {\frac {By_{1}^{A}}{(y_{1}+\lambda )^{N}}}\leq {\frac {M}{(y_{0}+\lambda )^{N}}}} . En appliquant le principe du maximum à la fonction g ( z ) = f ( z ) ( z + i λ ) N {\displaystyle g(z)={\frac {f(z)}{(z+i\lambda )^{N}}}} sur le rectangle { z ∈ C | x 1 ≤ R e ( z ) ≤ x 2  et  y 0 ≤ I m ( z ) ≤ y 1 } {\displaystyle \{z\in \mathbb {C} |x_{1}\leq \mathrm {Re} (z)\leq x_{2}{\text{ et }}y_{0}\leq \mathrm {Im} (z)\leq y_{1}\}} on obtient | g ( ξ ) | ≤ M ( y 0 + λ ) N {\displaystyle |g(\xi )|\leq {\frac {M}{(y_{0}+\lambda )^{N}}}} , c'est-à-dire, | f ( ξ ) | ≤ M ( | ξ + λ | y 0 + λ ) N {\displaystyle |f(\xi )|\leq M\left({\frac {|\xi +\lambda |}{y_{0}+\lambda }}\right)^{N}} . En faisant λ → + ∞ {\displaystyle \lambda \rightarrow +\infty } , on en déduit | f ( ξ ) | ≤ M {\displaystyle |f(\xi )|\leq M} comme voulu.

Articles connexes

Références

  • (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Lindelöf's theorem » (voir la liste des auteurs).
  • Edwards, H.M., Riemann's Zeta Function, New York, NY, Dover, (ISBN 0-486-41740-9)
  • icône décorative Portail de l'analyse