Lindelöf's theorem

In mathematics, Lindelöf's theorem is a result in complex analysis named after the Finland mathematician Ernst Leonard Lindelöf. It states that a holomorphic function on a half-strip in the complex plane that is bounded on the boundary of the strip and does not grow "too fast" in the unbounded direction of the strip must remain bounded on the whole strip. The result is useful in the study of the Riemann zeta function, and is a special case of the Phragmén–Lindelöf principle. Also, see Hadamard three-lines theorem.

Statement of the theorem

Let [math]\displaystyle{ \Omega }[/math] be a half-strip in the complex plane:

[math]\displaystyle{ \Omega = \{ z \in \mathbb{C} | x_1 \leq \mathrm{Re} (z) \leq x_2\ \text{and}\ \mathrm{Im} (z) \geq y_0 \} \subsetneq \mathbb{C}. }[/math]

Suppose that [math]\displaystyle{ f }[/math] is holomorphic (i.e. analytic) on [math]\displaystyle{ \Omega }[/math] and that there are constants [math]\displaystyle{ M }[/math], [math]\displaystyle{ A }[/math], and [math]\displaystyle{ B }[/math] such that

[math]\displaystyle{ | f(z) | \leq M \ \text{for all}\ z \in \partial \Omega }[/math]

and

[math]\displaystyle{ | f (x + i y) | \leq B y^A\ \text{for all}\ x + i y \in \Omega. }[/math]

Then [math]\displaystyle{ f }[/math] is bounded by [math]\displaystyle{ M }[/math] on all of [math]\displaystyle{ \Omega }[/math]:

[math]\displaystyle{ | f(z) | \leq M\ \text{for all}\ z \in \Omega. }[/math]

Proof

Fix a point [math]\displaystyle{ \xi=\sigma+i\tau }[/math] inside [math]\displaystyle{ \Omega }[/math]. Choose [math]\displaystyle{ \lambda\gt -y_0 }[/math], an integer [math]\displaystyle{ N\gt A }[/math] and [math]\displaystyle{ y_1\gt \tau }[/math] large enough such that [math]\displaystyle{ \frac{By_1^A}{(y_1 + \lambda)^N}\le \frac {M}{(y_0+\lambda)^N} }[/math]. Applying maximum modulus principle to the function [math]\displaystyle{ g(z)=\frac {f(z)}{(z+i\lambda)^N} }[/math] and the rectangular area [math]\displaystyle{ \{z \in \mathbb{C} \mid x_1 \leq \mathrm{Re} (z) \leq x_2\ \text{and}\ y_0 \leq \mathrm{Im} (z) \leq y_1 \} }[/math] we obtain [math]\displaystyle{ |g(\xi)|\le \frac{M}{(y_0+\lambda)^N} }[/math], that is, [math]\displaystyle{ |f(\xi)|\le M\left(\frac{|\xi + \lambda|}{y_0+\lambda}\right)^N }[/math]. Letting [math]\displaystyle{ \lambda \to +\infty }[/math] yields [math]\displaystyle{ |f(\xi)| \le M }[/math] as required.

References

• Edwards, H.M. (2001). Riemann's Zeta Function. New York, NY: Dover. ISBN 0-486-41740-9.