No history yet

Complex Functions

Functions in a New Dimension

You're likely familiar with functions that take a real number and produce another real number, like f(x)=x2f(x) = x^2. A complex function does something similar, but its inputs and outputs live in the complex plane. It takes a complex number z=x+iyz = x + iy and maps it to another complex number, which we'll call w=u+ivw = u + iv.

Since the output w=u+ivw = u+iv is a complex number, its real part uu and imaginary part vv are themselves real numbers. Both uu and vv depend on the input z=x+iyz = x+iy. This means we can think of a single complex function f(z)f(z) as a pair of two-variable real functions: u(x,y)u(x, y) and v(x,y)v(x, y).

For example, let's take f(z)=z2f(z) = z^2. We can find the formulas for uu and vv by substituting z=x+iyz = x+iy and expanding:

f(z)=(x+iy)2=x2+2ixy+(iy)2=x2+2ixyy2f(z) = (x+iy)^2 = x^2 + 2ixy + (iy)^2 = x^2 + 2ixy - y^2

To find uu and vv, we just group the real and imaginary parts:

f(z)=(x2y2)+i(2xy)f(z) = (x^2 - y^2) + i(2xy)

So for the function f(z)=z2f(z) = z^2, the corresponding real functions are u(x,y)=x2y2u(x, y) = x^2 - y^2 and v(x,y)=2xyv(x, y) = 2xy. Any complex function can be broken down this way.

Analyticity and Smoothness

In the world of real calculus, we care a lot about whether a function is differentiable. Differentiability means the function is smooth and doesn't have any sharp corners or breaks. The concept is even more powerful in complex analysis.

A complex function is called holomorphic at a point if it is differentiable not just at that point, but in a small neighborhood around it. If a function is holomorphic everywhere in its domain, we say it is an analytic function. This property of being differentiable in a neighborhood is very strict and gives holomorphic functions some incredible properties.

Unlike real functions, if a complex function is differentiable once, it is differentiable infinitely many times. This is a remarkable consequence of the structure of complex numbers.

But how can we tell if a function is holomorphic? Calculating the derivative from its definition can be tedious. Fortunately, there's a powerful test that connects back to the real functions u(x,y)u(x, y) and v(x,y)v(x, y).

The Cauchy-Riemann Equations

The Cauchy-Riemann equations are a pair of simple-looking equations that provide a crucial test for analyticity. They link the partial derivatives of uu and vv with respect to xx and yy. For a function f(z)=u(x,y)+iv(x,y)f(z) = u(x, y) + iv(x, y) to be holomorphic, its real and imaginary parts must satisfy these two conditions:

ux=vyanduy=vx\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \quad \text{and} \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}

If these equations hold and the partial derivatives are continuous, the function is holomorphic. Let's test them on our example, f(z)=z2f(z) = z^2, where u=x2y2u = x^2 - y^2 and v=2xyv = 2xy. We need to calculate four partial derivatives.

Partial DerivativeCalculation
ux\frac{\partial u}{\partial x}2x2x
uy\frac{\partial u}{\partial y}2y-2y
vx\frac{\partial v}{\partial x}2y2y
vy\frac{\partial v}{\partial y}2x2x

Now we check the conditions.

First condition: Is ux=vy\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}? Yes, 2x=2x2x = 2x.

Second condition: Is uy=vx\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}? Yes, 2y=(2y)-2y = -(2y).

Both equations hold for all xx and yy, so f(z)=z2f(z) = z^2 is analytic everywhere. This simple test is a cornerstone of complex analysis, allowing us to verify the 'good behavior' of functions without wrestling with the limit definition of a derivative.

Quiz Questions 1/5

A complex function f(z)f(z) takes a complex number z=x+iyz = x + iy as input. What is the general form of its output, ww?

Quiz Questions 2/5

Consider the complex function f(z)=z+5if(z) = z + 5i. If z=x+iyz = x + iy, what is the imaginary part, v(x,y)v(x, y), of this function?