The Hadamard threelines theorem is a result, in the branch of mathematics known as complex analysis, about the behaviour of holomorphic functions defined in regions bounded by parallel lines in the complex plane. The theorem is named after the French mathematician Jacques Hadamard.
Let f(z) be a bounded function of z = x + iy defined on the strip
{
x
+
i
y
:
a
≤
x
≤
b
}
,
holomorphic in the interior of the strip and continuous on the whole strip. If
M
(
x
)
=
sup
y

f
(
x
+
i
y
)

,
then log M(x) is a convex function on [a, b].
In other words, if
x
=
t
a
+
(
1
−
t
)
b
with
0
≤
t
≤
1
, then
M
(
x
)
≤
M
(
a
)
t
M
(
b
)
1
−
t
.
Define
F
(
z
)
by
F
(
z
)
=
f
(
z
)
M
(
a
)
z
−
b
b
−
a
M
(
b
)
z
−
a
a
−
b
.
Thus F(z) ≤ 1 on the edges of the strip. The result follows once it is shown that the inequality also holds in the interior of the strip.
After an affine transformation in the coordinate z, it can be assumed that a = 0 and b = 1. The function
F
n
(
z
)
=
F
(
z
)
e
z
2
/
n
e
−
1
/
n
tends to 0 as z tends to infinity and satisfies F_{n} ≤ 1 on the boundary of the strip. The maximum modulus principle can therefore be applied to F_{n} in the strip. So F_{n}(z) ≤ 1. Since F_{n}(z) tends to F(z) as n tends to infinity. it follows that F(z) ≤ 1.
The threeline theorem can be used to prove the Hadamard threecircle theorem for a bounded continuous function
g
(
z
)
on an annulus
{
z
:
r
≤

z

≤
R
}
, holomorphic in the interior. Indeed applying the theorem to
f
(
z
)
=
g
(
e
z
)
,
shows that, if
m
(
s
)
=
sup

z

=
e
s

g
(
z
)

,
then
log
m
(
s
)
is a convex function of s.
The threeline theorem also holds for functions with values in a Banach space and plays an important role in complex interpolation theory. It can be used to prove Hölder's inequality for measurable functions
∫

g
h

≤
(
∫

g

p
)
1
p
⋅
(
∫

h

q
)
1
q
,
where
1
p
+
1
q
=
1
, by considering the function
f
(
z
)
=
∫

g

p
z

h

q
(
1
−
z
)
.