Understanding Monodromy for Statisticians
Complex Functions
Functions in a New Dimension
You're likely familiar with functions that take a real number and produce another real number, like . A complex function does something similar, but its inputs and outputs live in the complex plane. It takes a complex number and maps it to another complex number, which we'll call .
Since the output is a complex number, its real part and imaginary part are themselves real numbers. Both and depend on the input . This means we can think of a single complex function as a pair of two-variable real functions: and .
For example, let's take . We can find the formulas for and by substituting and expanding:
To find and , we just group the real and imaginary parts:
So for the function , the corresponding real functions are and . 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 and .
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 and with respect to and . For a function to be holomorphic, its real and imaginary parts must satisfy these two conditions:
If these equations hold and the partial derivatives are continuous, the function is holomorphic. Let's test them on our example, , where and . We need to calculate four partial derivatives.
| Partial Derivative | Calculation |
|---|---|
Now we check the conditions.
First condition: Is ? Yes, .
Second condition: Is ? Yes, .
Both equations hold for all and , so 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.
A complex function takes a complex number as input. What is the general form of its output, ?
Consider the complex function . If , what is the imaginary part, , of this function?