Analytic Functions

2.3.1 Differentiability

So far we have dealt with concepts which are more or less obviously generalizations of the elementary notions of real analysis. Our ultimate goal, the development of the differential and integral calculus of complex functions, rests upon the notion of complex derivative and this, as we shall see, leads to definitely new insights.

A complex function is said to be differentiable or monogenic at the point if as approaches the difference quotient tends to a limiting value fixed completely independently of the manner of approach. The limit of the difference quotient is then called the derivative of at the point and is denoted by or . A differentiable function is certainly continuous since the difference must tend to zero with . Equivalently, we may present the definition in a way reminiscent of the mean value theorem of calculus:

A function is differentiable, at a point , if it can be written in the form: where as ; i.e. may be approximated by a linear function in the neighborhood of . If is a continuous function in any closed bounded subset of the domain of analyticity of the function, , being continuous ¹ must therefore be uniformly continuous whence we observe in (3.11) that we can arbitrarily preassign an so that where is completely independent of the choice of and .

We are especially interested in functions which possess a derivative at every point of a domain and these we term analytic in . Later we call such functions analytic and regular , the word analytic by itself being used more generally to designate functions which are differentiable at all but certain possible exceptional points. For the present, however, we do not make this distinction.

The rules for differentiation of analytic functions are formally the same as for real functions, the proofs carrying over in exact analogy. The derivative of the sum of two analytic functions exists and is the sum of their derivatives, For the product of the analytic functions and we have The quotient is differentiable provided and, as in the real case, Finally, an analytic function of an analytic function is analytic; more precisely, if is differentiable at a point and if is differentiable at the point then is differentiable at and has the derivative From these rules we shall be able to obtain a wide class of analytic functions once we have established the analytic nature of a few basic functions. We shall return to the consideration of special analytic functions in the next section.

To this point the theory of complex functions runs a close parallel to that of real functions. A function of a complex variable is thus far nothing more than a pair of real functions A series of complex functions converges in accordance with the convergence of the separate series of their real and imaginary parts. Similarly, to say a complex function is continuous is equivalent to saying and are both continuous. In general, formal manipulations with complex functions have seemed to lead to results which, formally at least, are similar to those in real function theory. It would be natural to suppose that a complex function is differentiable provided only that its real and imaginary parts are differentiable. ² 

But this is actually the point of departure. The differentiability of and does not of itself imply the differentiability of as may be seen from a simple example:

Let . Here and are both differentiable functions of and . Setting in (3.10) we obtain If we let tend to zero through real values then and the difference quotient tends to ; but, if we keep as approaches the limit of the difference quotient is . So is not analytic. It is by the extremely strong requirement that the limit of (3.10) is the same no matter how tends to that the definition of derivative introduces a completely new factor which is absent in the theory of real functions.

Let us now investigate what the differentiability of implies for and . We have where as . Separating real and imaginary parts by writing , , and this becomes whence and Since and tend to zero as it follows from these relations that , and , . Hence and must satisfy a pair of partial differential equations, the famous Cauchy-Riemann equations \begin{align} \tag{3.15} \left\{ \begin{aligned} \dfrac{\partial u}{\partial x}&=\dfrac{\partial v}{\partial y}\\ \dfrac{\partial u}{\partial y}&=-\dfrac{\partial v}{\partial x}. \end{aligned} \right. \end{align} These equations then are necessary conditions that be analytic. In fact we have the

As an example of an analytic function take Here and are certainly continuously differentiable and since , ; , the Cauchy Riemann equations (3.15) are satisfied. Note that and are the real and imaginary parts of the function and that . The derivative of could have been obtained without recourse to the Cauchy-Riemann equations by forming the difference quotient and passing to the limit. on the other hand we could not be satisfied with the result obtained by taking the limit in only one direction. So simple a function as does not have a derivative.

Although formally the same, the definition of derivative for complex functions leads to a far more restricted class of functions than the differentiable functions of a real variable. From the behavior of a real function in one part of its domain of definition nothing can be said about its behavior elsewhere. On the other hand, as we shall see, the local behavior of an analytic function is intimately related with its behavior in the entire domain of its definition. First we shall establish what is perhaps the most remarkable result of the theory – the fact that the derivative of an analytic function is in turn differentiable and hence that any analytic function is indefinitely differentiable.

2.3.2 Remarks and Examples, Harmonic Functions

Let us consider a number of examples of analytic functions. Take . In the form of (3.11) we have where is a polynomial and consequently as tends to . Hence is differentiable for any finite value , i.e. is analytic throughout the -plane with the derivative From the rules (3.12) , (3.13) , (3.14) it is immediately clear that any rational function is analytic in the entire -plane with the possible exception of the points at which the denominator is zero. In particular, the general linear function is analytic.

Another important example is the function The Cauchy-Riemann equations (3.15) are plainly satisfied and furthermore For real values of and the function reduces to . This function provides us with a natural extension of the exponential to a complex variable. We shall see later that it is the only possible analytic extension. Consequently we define From we have the familiar property of the exponential function

The function defined here can now be written in the form so that any complex number may be described in the polar form where , . This suggests the extension of the logarithmic function to complex values: ³ \begin{align} \log z &= \log\left(r e^{i \theta}\right) = \log r+i \theta \\ &=\log \sqrt{x^{2}+y^{2}}+i \arctan \frac{y}{x}.\tag{3.22} \end{align} 

Clearly so that is analytic in the entire -plane excepting the origin.

Very generally, we have already seen ( here ) that a power series is analytic in the interior of its circle of convergence and, in fact, possesses derivatives of all orders in that circle, the derivative being

In analogy to theorems of the real calculus we have the following results:

This is a direct consequence of the Cauchy-Riemann equations for if then But these equations determine and , hence , to within an arbitrary constant. ⁴ 

If furnishes a one-to-one mapping of a domain of the -plane onto a point set of the -plane then the inverse function exists. That is, to each point of there corresponds a unique point of – the point which is mapped on . Therefore we may write

But the theorems of the differential calculus give no more than this result. Since the Jacobian is not zero it follows that the neighborhood of a point in the -plane is mapped on a full neighborhood of the point in the -plane and is the ratio of magnification of the area. We know, even further, that if in a domain of the -plane then the image in the -plane is again a domain with boundary points corresponding to the boundary points of . Thus an analytic function preserves domains. We shall see that this simple mapping property has a consequence of wide applications: does not reach a maximum inside any domain of analyticity of .

2.3.2.1 Harmonic functions

How much latitude does one actually have in fixing the real and imaginary parts of an analytic function? Once we specify the real part of an analytic function it is clear by the Cauchy-Riemann equations, that the function is determined to within an arbitrary additive constant. However, we are even restricted in the choice of . Suppose (we shall prove it later) that the second partial derivatives of and exist. Then it follows from (3.24) that whence we obtain the equation Thus must satisfy a second order partial differential equation. This equation, called the Laplace or the potential equation, appears frequently in analysis and has vital significance for the applications. The solutions of are called variously harmonic functions or potential functions . Now, given a harmonic function we may determine a conjugate harmonic function by the equations (3.24) and thereby define an analytic function. Conversely, granting the existence of second derivatives, the real and imaginary parts of any analytic function are harmonic. As examples of harmonic functions we already have which may easily be verified.