Complex analytic function
Subject classification: this is a mathematics resource. |
Educational level: this is a secondary education resource. |
Educational level: this is a tertiary (university) resource. |
A complex function is a function that takes a complex argument and yields a complex result. The simplest examples of such functions are the common real functions that can be defined by a power series. Just use the same power series, while allowing the function argument to be complex.
If a complex function is differentiable as a complex function (on an open subset of ), then it is said to be a complex analytic function or a holomorphic function (on that open subset of ).
Differentiability as a complex function is defined (in the usual way) as a limit at a point:
but the epsilon-delta definition of the limit has to be interpreted very carefully. When we say , that is,
we mean that, for every real , there is a real (yes, and are real) such that
- whenever is any complex number with
This looks just like the usual "real" definition, except that the absolute values are taken on complex numbers. (The absolute value of a complex number is just its modulus, that is, its distance from the origin. It is a real number.)
Now means that can be any complex number within the circle of radius , centered on . This means that, when taking limits of complex numbers,
can approach from any direction in the complex plane, not just from the left or right as with real limits.
This extra requirement on the limit that defines a complex derivative places strong constraints on differentiability. It is what makes these functions so powerful. A differentiable complex function is also called a complex analytic function or a holomorphic function. Among the remarkable properties of such functions are:
- If it is differentiable, its derivative is also differentiable, so it is differentiable any number of times.
- At any point in an open region in which a function is differentiable, its power series (Taylor series) about that point converges to the function.
- This is actually the more general "official" definition of "analytic"—that the power series converges to the function. Functions on the real numbers can have this convergence property too—they are called "real analytic functions". But there are real functions that are differentiable but not real-analytic, such as
- Complex functions don't have this problem. If it is complex differentiable, it is complex analytic.
- This is actually the more general "official" definition of "analytic"—that the power series converges to the function. Functions on the real numbers can have this convergence property too—they are called "real analytic functions". But there are real functions that are differentiable but not real-analytic, such as
- The real and imaginary parts of a complex analytic function obey the Cauchy-Riemann Equations. If we represent the complex function by real-valued functions and : , and furthermore represent those as functions of two real arguments which are the real and imaginary parts of : , we have:
- and
- If a complex analytic function doesn't go to infinity anywhere in the complex plane, even at infinity, that function is constant. This remarkable result is Liouville's theorem.
- When a function goes to infinity at some point, that point is called a singularity. Singularities are often of a special type called a pole.
- The real function
- is not constant, and doesn't go to infinity for any real arguments. But it does go to infinity (it has poles) at .
- A complex analytic function is completely determined by its values on any line segment anywhere on the complex plane. So, for example, if we know that a function matches the exponential function just on the real line, we know its value everywhere. That function is the "complex exponential". Similar extensions can be made for other real-analytic functions. That is, there are natural definitions for the complex sine, arctangent, logarithm, etc.
- The power series for a complex analytic function converges (to the function itself, of course) on the interior of a circle around the point at which it is evaluated. That circle is the circle of convergence, with the radius of convergence. Outside of that circle, the series diverges. That doesn't mean the function isn't defined beyond that circle, just that that particular series fails. One can usually expand a power series around some other point to get the value of the function elsewhere. This is called analytic continuation.
- The circle of convergence for a power series expansion just touches the nearest singularity. That is, the circle is the largest circle that does not contain any singularities.
- This gives us insight into something about the real power series for the real arctangent function. A little calculation will show that, along the imaginary axis, .
- But the function has singularities at , because and .
- Therefore, the function has singularities at , so the radius of convergence of its power series around the origin is 1. Even restricting one's attention to real numbers, the power series
- diverges beyond x=1.
- Revisiting the complex generalization of the exponential function, its power series is:
- Setting , we have
- from the known power series for the sine and cosine functions. So
- and Euler's famous formula, so mystifying when first seen: