Admin 09 Jun 2026 10:38

admin #general

Mean Value Theorem for Holomorphic Functions

Introduction

In complex analysis, holomorphic functions play a fundamental role due to their remarkable properties. A function f: U , where U is an open subset of the complex plane , is said to be holomorphic if it is complex differentiable at every point of U. This seemingly mild condition leads to strong consequences, one of which is the Mean Value Theorem for Holomorphic Functions.

The Mean Value Theorem for Holomorphic Functions is a powerful tool in complex analysis that establishes a crucial property of holomorphic functionsspecifically, the value of a holomorphic function at a point is equal to the average of its values on a circle centered at that point.

This property highlights a fundamental difference between real functions and complex functions. While the real Mean Value Theorem relates to the derivative at some point, the complex version directly relates function values, revealing the deep structure and rigidity of holomorphic functions.

Statement of the Mean Value Theorem

Theorem: Let f: U be a holomorphic function on an open set U , and let z U be a point such that the closed disk D(z, r) = {z : |z - z| r} is contained in U. Then:

f(z) = (1/2) ^{2} f(z + re^{it}) dt

In words, the value of f at the center point z equals the average of its values on the circle of radius r centered at z.

An equivalent formulation often encountered is:

f(z) = (1/2ir) _{|z-z|=r} f(z)/(z-z) dz

where the integral is taken counterclockwise around the circle.

Proof of the Theorem

Proof: Let f be a holomorphic function on U, and let z U be such that D(z, r) U. Consider the integral of f around the circle:

I = (1/2ir) _{|z-z|=r} f(z)/(z-z) dz

Applying Cauchy's Integral Formula, we have:

I = f(z)

Now, parameterize the circle by z(t) = z + re^{it} where t [0, 2]. Then dz = ire^{it} dt, and (z - z) = re^{it}. Substituting into the integral:

I = (1/2ir) ^{2} f(z + re^{it})/(re^{it}) ire^{it} dt = (1/2) ^{2} f(z + re^{it}) dt

By Cauchy's Integral Formula, we have f(z) = I. Therefore:

f(z) = (1/2) ^{2} f(z + re^{it}) dt

which completes the proof.

Applications of the Mean Value Theorem

The Mean Value Theorem for Holomorphic Functions has numerous important applications in complex analysis:

Maximum Modulus Principle: A direct consequence of the Mean Value Theorem is that if |f| attains a maximum at an interior point of U, then f is constant. This is because if |f| achieves its maximum at an interior point, then f must have the same absolute value everywhere on circles centered at that point, and by connectedness, everywhere in U.
Liouville's Theorem: Every bounded entire function is constant, which can be derived from the Mean Value Theorem combined with Cauchy's estimates. This fundamental result has powerful implications for the behavior of entire functions.
Harmonic Functions: Any holomorphic function can be written as f = u + iv, where u and v are harmonic functions. The Mean Value Theorem directly implies that both u and v satisfy the mean value property, which characterizes harmonic functions.
Poisson Integral Formula: The mean value theorem leads to the Poisson integral formula for harmonic functions, which represents a harmonic function in a disk in terms of its boundary values.
Schwarz's Lemma: This important lemma in complex analysis can be proved using the Mean Value Theorem. Schwarz's Lemma provides a powerful tool for studying automorphisms of the unit disc.

Examples

Example 1: Linear Function

Consider the holomorphic function f(z) = az + b, where a, b . Let's verify the Mean Value Theorem at z = 0 with r = 1:

f(0) = b

On the other hand:

(1/2) ^{2} f(e^{it}) dt = (1/2) ^{2} (ae^{it} + b) dt = (a/2) ^{2} e^{it} dt + (b/2) ^{2} dt = 0 + b = b

Thus, the Mean Value Theorem holds for this linear function.

Example 2: Exponential Function

Consider the holomorphic function f(z) = e^z. Let's verify the Mean Value Theorem at z = 0 with r = 1:

f(0) = e^0 = 1

On the other hand:

(1/2) ^{2} e^{e^{it}} dt

This integral can be evaluated using the power series expansion of the exponential function. Writing e^{e^{it}} as (e^{int}/n!) and integrating term by term, all terms with n 0 vanish, leaving only the term with n = 0, which gives 1. Thus, the theorem holds.

Example 3: Power Function

Consider f(z) = z^n for a positive integer n. At z = 0 with r > 0:

f(0) = 0

On the other hand:

(1/2) ^{2} (re^{it})^n dt = (r^n/2) ^{2} e^{int} dt = 0

This confirms the theorem for all power functions with n > 0. For n = 0, we get f(z) = 1, and the integral equals 1 as expected.

```

Reference Files For Mean Value Theorem For Holomorphic Functions

Screenshoot

File Name

cakmak.pdf

File Size

0.17 MB

File Type

PDF

File Site

Jagomart.net

Description

This file is just a reference file for Mean Value Theorem For Holomorphic Functions. Does not guarantee that the specific things you want are included in it.

Download on the Jagomart.net website

Direct download (wait 10 seconds)