We have discussed a lot of mathematical topics on this blog, with some of them touching on rather advanced subjects. But aside from a few comments about holomorphic functions and meromorphic functions in The Moduli Space of Elliptic Curves, we have not yet discussed one of the most interesting subjects that every aspiring mathematician has to learn about, complex analysis.
Complex analysis refers to the study of functions of complex numbers, including properties of these functions related to concepts in calculus such as differentiation and integration (see An Intuitive Introduction to Calculus). Aside from being an interesting subject in itself, complex analysis is also related to many other areas of mathematics such as algebraic geometry and differential geometry.
But before we discuss functions of a complex variable, we will first review the concept of Taylor expansions from basic calculus. Consider a function where is a real variable. If is infinitely differentiable at , we can express it as a power series as follows:
where refers to the first derivative of evaluated at , refers to the second derivative of evaluated at , and so on. More generally, the -th coefficient of this power series is given by
where refers to the -th derivative of evaluated at . This is called the Taylor expansion (or Taylor series) of the function around . For example, for the sine function, we have
More generally, if the function is infinitely differentiable at , we can obtain the Taylor expansion of around using the following formula:
If a function can be expressed as a power series at every point of some interval in the real line, then we say that is real analytic on .
Now we bring in complex numbers. Consider now a function where is a complex variable. If can be expressed as a power series at every point of an open disk (the set of all complex numbers such that the magnitude is less than for some complex number and some positive real number ) in the complex plane, then we say that is complex analytic on . Since the rest of this post discusses functions of a complex variable, I will be using “analytic” to refer to “complex analytic”, as opposed to “real analytic”.
Now that we know what an analytic function is, we next discuss the concept of holomorphic functions. If is a function of a real variable, we define its derivative at as follows:
If we have a complex function , the definition is the same:
However, note that the value of can approach in many different ways! For example, let , i.e. gives the complex conjugate of the complex variable . Let . Since , we have .
If, for example, is purely real, i.e. , then we have
But if is purely imaginary, i.e. , then we have
We see that the value of is different depending on how we approach the limit !
A function of complex numbers for which the derivative is the same regardless of how we take the limit , for all in its domain, is called a holomorphic function. The function discussed above is not a holomorphic function on the complex plane, since the derivative is different depending on how we take the limit.
Now, it is known that a function of a complex number is holomorphic on a certain domain if and only if it is analytic in that same domain. Hence, the two terms are often used interchangeably, even though the concepts are defined differently. A function that is analytic (or holomorphic) on the entire complex plane is called an entire function.
If a function is analytic, then it must satisfy the Cauchy-Riemann equations (named after two pioneers of complex analysis, Augustin-Louis Cauchy and Bernhard Riemann). Let us elaborate on what these equations are a bit. Just as we can express a complex number as , we can also express a function of as , or, going further and putting together these two expressions, as . The Cauchy-Riemann equations are then given by
Once again, if a function is analytic, then it must satisfy the Cauchy-Riemann equations. Therefore, if it does not satisfy the Cauchy-Riemann equations, we know for sure that it is not analytic. But we should still be careful – just because a function satisfies the Cauchy-Riemann equations does not always mean that it is analytic! We also often say that satisfying the Cauchy-Riemann equations is a “necessary”, but not “sufficient” condition for a function of a complex number to be analytic.
Analytic functions have some very special properties. For instance, since we have already talked about differentiation, we may also now consider integration. Just as differentiation is more complicated in the complex plane than on the real line, because in the former there are different directions in which we may take the limit, integration is also more complicated on the complex plane as opposed to integration on the real line. When we perform integration over the variable , we will usually specify a “contour”, or a “path” over which we integrate.
We may reasonably expect that the integral of a function will depend not only on the “starting point” and “endpoint”, as in the real case, but also on the choice of contour. However, if we have an analytic function defined on a simply connected (see Homotopy Theory) domain, and the contour is inside this domain, then the integral will not depend on the choice of contour! This has the consequence that if our contour is a loop, the integral of the analytic function will always be zero. This very important theorem in complex analysis is known as the Cauchy integral theorem. In symbols, we write
where the symbol means that the contour of integration is a loop. The symbol refers to the contour, i.e. it may be a circle, or some other kind of loop – usually whenever one sees this symbol the author will specify the contour that it refers to.
Another important result in complex integration is what is known as the Cauchy integral formula, which relates an analytic function to its values on the boundary of some disk contained in the domain of the function:
By taking the derivative of both sides with respect to , we obtain what is also known as the Cauchy differentiation formula:
The reader may notice that on one side of this fascinating formula is a derivative, while on the other side there is an integral – in the words of the Wikipedia article on the Cauchy integral formula, in complex analysis, “differentiation is equivalent to integration”!
These theorems regarding integration lead to the residue theorem, a very powerful tool for calculating the contour integrals of meromorphic functions (see The Moduli Space of Elliptic Curves) – functions which would have been analytic in their domain, except that they have singularities of a certain kind (called poles) at certain points. A more detailed discussion of meromorphic functions, singularities and the residue theorem is left to the references for now.
Aside from these results, analytic functions also have many other interesting properties – for example, analytic functions are always infinitely differentiable. Also, analytic functions defined on a certain domain may possess what is called an analytic continuation – a unique analytic function defined on a larger domain which is equal to the original analytic function on its original domain. Analytic continuation (of the Riemann zeta function) is one of the “tricks” behind such infamous expressions as
There is so much more to complex analysis than what we have discussed, and some of the subjects that a knowledge of complex analysis might open up include Riemann surfaces and complex manifolds (see An Intuitive Introduction to String Theory and (Homological) Mirror Symmetry), which generalize complex analysis to more general surfaces and manifolds than just the complex plane. For the latter, one has to consider functions of more than one complex variable. Hopefully there will be more posts discussing complex analysis and related subjects on this blog in the future.
Analytic Function on Wikipedia
Holomorphic Function on Wikipedia
Cauchy-Riemann Equations on Wikipedia
Cauchy’s Integral Theorem on Wikipedia
Cauchy’s Integral Formula on Wikipedia
Complex Analysis by Lars Ahlfors
Complex Variables and Applications by James Ward Brown and Ruel V. Churchill