Problem 19 - Complex Analysis

Question

If \(u: \mathbb{R}^{2} \rightarrow \mathbb{R}\) is a harmonic polynomial (in two real variables), then $$ f(z)=2 u\left(\frac{z}{2}, \frac{z}{2 \mathrm{i}}\right)-u(0,0) $$ is an analytic function with real part \(u\).

Step-by-Step Solution

Answer

f(z) is analytic with real part u.

Step 1: Define Harmonic Function

A harmonic function is a twice continuously differentiable function \( u(x,y) \) that satisfies Laplace's equation: \[ \frac{\partial^{2} u}{\partial x^2} + \frac{\partial^{2} u}{\partial y^2} = 0. \]In this problem, \( u(x, y) \) is a harmonic polynomial in two variables \( x \) and \( y \).

Step 2: Express f(z) using Complex Variables

The given function is \[ f(z) = 2u\left(\frac{z}{2}, \frac{z}{2i}\right) - u(0, 0). \]Here, substitute real variables \( x = \frac{z}{2} \) and \( y = \frac{z}{2i} \) to express it in terms of \( z \).

Step 3: Establish Real Part of f(z)

By substituting from Step 2, we observe that the real component of this construction: \[ \text{Re}\left(f(z)\right) = u\left(\frac{z}{2}, \frac{z}{2i}\right), \] matches with the original harmonic function \( u(x,y) \). This is because the transformation directly involves real parts of \( z \) and \( z/i \).

Step 4: Prove Analytic Nature of f(z)

To show that \( f(z) \) is analytic, we need to demonstrate that it satisfies the Cauchy-Riemann equations. Given that the real part has been verified to be correctly expressed as \( u(x,y) \), and given \( u \) is harmonic, its associated harmonic conjugate automatically fulfills these criteria, implying \( f(z) \) is analytic.

Key Concepts

Laplace's equation

In mathematics, Laplace's equation is a pivotal partial differential equation given by \( \frac{\partial^{2} u}{\partial x^2} + \frac{\partial^{2} u}{\partial y^2} = 0 \). It is fundamental when dealing with harmonic functions. A function \( u(x, y) \) must satisfy this equation to be harmonic. This means that the sum of its second partial derivatives with respect to the variables \( x \) and \( y \) must equal zero.

Harmonic functions naturally arise in various fields like physics, engineering, and even finance, often describing potential fields such as gravitational or electromagnetic fields.

When solving problems involving Laplace's equation, the solution's behavior is governed by boundary conditions. Interesting properties of harmonic functions include:

• They are infinitely differentiable within their domain.
• They exhibit the Mean Value Property, where the value at a point is the average of surrounding values.
• If a harmonic function is zero on a boundary, it is identically zero throughout its domain (Uniqueness Theorem).

Analytic Functions

Analytic functions, also known as holomorphic functions, are central in complex analysis. They are defined as functions that are complex-differentiable in a neighborhood of every point in their domain.

A function \( f(z) \) is analytic if it has a derivative at every point and can be expressed as a power series. This characteristic makes analytic functions very smooth and predictable.

Analytic functions have several important properties:

• They obey the principle of analytic continuation, meaning they can be extended beyond their initial domain unless reaching a natural boundary.
• They satisfy the Cauchy Integral Theorem, and they can be integrated term by term.
• Furthermore, singular points or isolated points where a function is not analytic are key in complex analysis.

Understanding analyticity is crucial for solving complex-valued problems, as seen in the original exercise, where proving the analyticity of \( f(z) \) was essential.

Cauchy-Riemann Equations

The Cauchy-Riemann equations play a vital role in determining whether a complex function is analytic. They are expressed as:
\[ \frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \]
and
\[ \frac{\partial u}{\partial y} = - \frac{\partial v}{\partial x} \]
where \( u(x, y) \) is the real part and \( v(x, y) \) is the imaginary part of a complex function \( f(z) = u(x,y) + iv(x,y) \).

These equations ensure the compatibility of the derivative in the complex plane. For a function to be analytic, it must satisfy these equations in its domain.

Key insights about the Cauchy-Riemann equations include:

• They demonstrate the deep connection between real and complex analysis.
• If \( u \) and \( v \) satisfy the Cauchy-Riemann equations and are continuously differentiable, the function \( f(z) \) is necessarily analytic.
• They also imply that the Laplacian of both \( u \) and \( v \) is zero, reinforcing the harmonic nature of their components.

Thus, ensuring a function meets these equations confirms its analytic character, pivotal in problems like the one given.