Suppose is a holomorphic function on an open set containing the closed disc , with . For any nonnegative integer and , the counterclockwise boundary contour satisfies
The case is the Cauchy integral formula. On a smaller closed disc, the denominator stays uniformly away from zero, allowing repeated differentiation under the contour integral. This proves that a holomorphic function has complex derivatives of every order. [ref]
At the centre, if , taking absolute values gives the Cauchy estimate . Boundary size therefore limits interior variation. For on the unit disc, , and the estimate is exact: . This is one quantitative reason that holomorphic functions are so rigid.
For a holomorphic function on a neighbourhood of a closed disc, parametrize the Cauchy derivative formula on its boundary. The conjugate Cauchy integral theorem gives . Replacing in the derivative integral by therefore gives the displayed identity. The boundary real part determines every nonconstant analytic coefficient; only an imaginary additive constant is lost.
If is analytic and bounded by on , then Cauchy's derivative estimate gives
on . Integrating along line segments gives a Lipschitz bound with the same constant in that smaller half-plane.

Articles by others on the same topic (0)

There are currently no matching articles.