Complex analytic function

| This article/section deals with mathematical concepts appropriate for late high school or early college.

|

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 it is said to be a complex analytic function or a holomorphic function.

Differentiability as a complex function is defined in the usual way as a limit:

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,

means that  can approach  from any direction in the complex plane, not just from above and below 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

But complex functions don't have this problem. If it is complex differentiable, it is complex analytic.

* 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 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 explains 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: