1 The Cauchy-Riemann equations
Remembering that and , we note that there is a very useful test to determine whether a function is analytic at a point. This is provided by the Cauchy-Riemann equations. These state that is differentiable at a point if, and only if,
at that point.
When these equations hold then it can be shown that the complex derivative may be determined by using either or .
(The use of ‘if, and only if,’ means that if the equations are valid, then the function is differentiable and vice versa .)
If we consider then and so that
It should be clear that, for this example, the Cauchy-Riemann equations are always satisfied; therefore, the function is analytic everywhere. We find that
or, equivalently,
This is the result we would expect to get by simply differentiating as if it was a real function. For analytic functions this will always be the case i.e. for an analytic function can be found using the rules for differentiating real functions.
Example 3
Show that the function is analytic everwhere and hence obtain its derivative.
Solution
Hence
Then
The Cauchy-Riemann equations are identically true and is analytic everywhere.
Furthermore as we would expect.
We can easily find functions which are not analytic anywhere and others which are only analytic in a restricted region of the complex plane. Consider again the function . Here
so that and so that
The Cauchy-Riemann equations are never satisfied so that is not differentiable anywhere and so is not analytic anywhere.
By contrast if we consider the function we find that
As can readily be shown, the Cauchy-Riemann equations are satisfied everywhere except for i.e. (or, equivalently, .) At all other points . This function is analytic everywhere except at the single point .
Analyticity is a very powerful property of a function of a complex variable. Such functions tend to behave like functions of a real variable.
Example 4
Show that if then exists only at .
Solution
so that
Hence the Cauchy-Riemann equations are satisfied only where and , i.e. where . Therefore this function is not analytic anywhere.
1.1 Analytic functions and harmonic functions
Using the Cauchy-Riemann equations in a region of the -plane where is analytic, gives
and
If these differentiations are possible then so that
(Laplace’s equation)
In a similar way we find that
(Can you show this?)
When is analytic the functions and are called conjugate harmonic functions .
Suppose then it is easy to verify that satisfies Laplace’s equation (try this). We now try to find the conjugate harmonic function
First, using the Cauchy-Riemann equations:
Integrating the first equation gives a function of . Integrating the second equation gives a function of . Bearing in mind that an additive constant leaves no trace after differentiation, we pool the information above to obtain
Note that where is a constant (replacing ).
We can write (as you can verify). This function is analytic everywhere.
Task!
Given the function
- Show that is harmonic,
- Find the conjugate harmonic function, .
Hence and is harmonic.
Integrating gives function of .
Integrating gives function of .
Ignoring the duplication, where is a constant.
Task!
Find in terms of , where , where and are those found in the previous Task.
Now and thus
Exercises
- Find the singular point of the rational function . Find at other points and evaluate .
- Show that the function is analytic everywhere and hence obtain its derivative.
- Show that the function is harmonic, find the conjugate harmonic function and hence find in terms of .
-
is singular at
. Elsewhere
-
and
Here the Cauchy-Riemann equations are identically true and is analytic everywhere.
-
therefore
is harmonic.
therefore function of
therefore function of