title: Théorème de Lindelöf
text: # 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:
  
      $\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)|\leq M{\text{ pour tout }}z\in \partial \Omega \,$
  
  et
  
      ${\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)|\leq M{\text{ pour tout }}z\in \Omega .\,$
  
  ## Preuve
  
  Soit $\xi =\sigma +i\tau$ appartenant à $\Omega$. Soient $\lambda >-y_{0}$, un entier $N>A$ et $y_{1}>\tau$ vérifiant ${\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)={\frac {f(z)}{(z+i\lambda )^{N}}}$ sur le rectangle$\{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(\xi )|\leq {\frac {M}{(y_{0}+\lambda )^{N}}}$, c'est-à-dire, $|f(\xi )|\leq M\left({\frac {|\xi +\lambda |}{y_{0}+\lambda }}\right)^{N}$. En faisant $\lambda \rightarrow +\infty$, on en déduit $|f(\xi )|\leq M$ comme voulu.
  
  