Borel–Carathéodory theorem - Alchetron, the free social encyclopedia

In mathematics, the Borel–Carathéodory theorem in complex analysis shows that an analytic function may be bounded by its real part. It is an application of the maximum modulus principle. It is named for Émile Borel and Constantin Carathéodory.

Statement of the theorem

Let a function f be analytic on a closed disc of radius R centered at the origin. Suppose that r < R. Then, we have the following inequality:

∥ f ∥ r ≤ 2 r R − r sup | z | ≤ R Re ⁡ f ( z ) + R + r R − r | f ( 0 ) | .

Here, the norm on the left-hand side denotes the maximum value of f in the closed disc:

∥ f ∥ r = max | z | ≤ r | f ( z ) | = max | z | = r | f ( z ) |

(where the last equality is due to the maximum modulus principle).

Proof

Define A by

A = sup | z | ≤ R Re ⁡ f ( z ) .

First let f(0) = 0. Since Re f is harmonic, we may take A>0. f maps into the half-plane P to the left of the x=A line. Roughly, our goal is to map this half-plane to a disk, apply Schwarz's lemma there, and tease out the stated inequality.

w ↦ w / A − 1 sends P to the standard left half-plane. w ↦ R ( w + 1 ) / ( w − 1 ) sends the left half-plane to the circle of radius R centered at the origin. The composite, which maps 0 to 0, is the desired map:

w ↦ R w w − 2 A .

From Schwarz's lemma applied to the composite of this map and f, we have

| R f ( z ) | | f ( z ) − 2 A | ≤ | z | .

Take |z| ≤ r. The above becomes

R | f ( z ) | ≤ r | f ( z ) − 2 A | ≤ r | f ( z ) | + 2 A r

so

| f ( z ) | ≤ 2 A r R − r ,

as claimed. In the general case, we may apply the above to f(z)-f(0):

| f ( z ) | − | f ( 0 ) | ≤ | f ( z ) − f ( 0 ) | ≤ 2 r R − r sup | w | ≤ R Re ⁡ ( f ( w ) − f ( 0 ) ) ≤ 2 r R − r ( sup | w | ≤ R Re ⁡ f ( w ) + | f ( 0 ) | ) ,

which, when rearranged, gives the claim.

References

Borel–Carathéodory theorem Wikipedia

(Text) CC BY-SA

Contents

Statement of the theorem

Proof

References