1.3 Non-differentiability
In Theorem 1 you saw that differentiability implies continuity. An immediate consequence of this is the following test for non-differentiability.
Strategy A for non-differentiability
If is discontinuous at
, then
is not differentiable at
.
Example 4
Show that there are no points of the negative real axis at which the function is differentiable.
Solution
The function is discontinuous at all points of the negative real axis. It follows that there are no points of the negative real axis at which
is differentiable.
Exercise 6
Show that there are no points of the negative real axis at which the principal logarithm function

is differentiable.
Answer
The function Arg is discontinuous at each point of the negative real axis. It follows that Log is discontinuous at each point of the negative real axis, and hence that there are no points on it at which Log is differentiable.
The converse of Theorem 1 is not true; if a function is continuous at a point, then it does not follow that it is differentiable at the point. A particularly striking illustration of this is provided by the modulus function . This is continuous on the whole of
and yet, as you will see, it fails to be differentiable at any point of
.
Since is continuous, Strategy A cannot be used to show that
is not differentiable at a given point
. Instead we return to the definition of derivative and show that the difference quotient for
fails to have a limit.
In general, if the domain of a function
contains
as one of its limit points, then the existence of the limit

means that for each sequence in
that converges to
,

exists, and has a value that is independent of the sequence .
So, if two such sequences and
can be found for which

then cannot be differentiable at
.
In the next example, you will see that is not differentiable at
. This result should not surprise you because the real modulus function is not differentiable at
. Indeed, the proof is identical to that of the real case.
Example 5
Prove that is not differentiable at 0.
Solution
We need to find two sequences and
that converge to 0 which, when substituted into the difference quotient, yield sequences with different limits. A simple choice is to pick sequences
and
that approach 0 along the real axis: one from the right, and one from the left, as shown in Figure 4.


There is no point in picking sequences that are more complicated than they need to be, so let ,
. Then

Now let ,
. Then

Since the two limits do not agree, the difference quotient does not have a limit as tends to 0. It follows that
is not differentiable at 0.
The next exercise asks you to extend the method used in Example 5 to show that is not differentiable at any point of
.
Exercise 7
Let be any non-zero complex number, and consider the circle through
centred at the origin. By choosing one sequence
that approaches
along the circumference of the circle, and another sequence
that approaches
along the ray from
through
, prove that
is not differentiable at
.

Answer
Let ,
. Then
tends to
along the circumference of the circle, and

Now let ,
. Then
tends to
along the ray from
through
, and

Since for
, these two limits do not agree. It follows that
is not differentiable at
.
The modulus function illustrates an important difference between real and complex differentiation. When the modulus function is treated as a real function, the limit of its difference quotient has to be taken along the real line. But when treated as a complex function, the limit of the difference quotient is required to exist however the limit is taken. This explains why the real modulus function is differentiable at all non-zero real points, whereas the complex modulus function fails to be differentiable at any point of . More generally, it shows that complex differentiability is a much stronger condition than real differentiability.
In Exercise 7 you were asked to prove that the modulus function fails to be differentiable by observing that its behaviour along the circumference of a circle centred at 0 is different from its behaviour along a ray. Similar observations can be applied to other functions. For example, in the next exercise you may find it helpful to notice that directions of paths parallel to the imaginary axis are reversed by the function , whereas directions of paths parallel to the real axis are left unchanged (Figure 5).


Exercise 8
Show that there are no points of at which the complex conjugate function
is differentiable.
Answer
Let be an arbitrary complex number. Directions of paths parallel to the imaginary axis through
are reversed by
, while directions of paths parallel to the real axis are not. This suggests looking at the sequences
and
,
.
First let ; then

Now let ; then

Since these two limits do not agree, and since is arbitrary, it follows that there are no points of
at which
is differentiable.
For some functions , you may be able to find a sequence
that converges to
for which the sequence

is divergent. In such cases, there is no need to look for a second sequence.
Example 6
Show that the function is not differentiable at 0.
Solution
Strategy A cannot be used here, since is continuous at 0. Instead we look for a sequence
that converges to
for which the sequence 1 (above) is divergent. To make the square roots easy to handle, let
,
. Then

This sequence tends to infinity, and is therefore divergent. It follows that is not differentiable at 0.
The methods exemplified above for showing that a function is not differentiable at a given point can be summarised as follows.
Strategy B for non-differentiability
To prove that a function is not differentiable at
, apply the strategy for proving that a limit does not exist to the difference quotient

If you think that a given function is not differentiable, then you should try to apply Strategy A or Strategy B. A third strategy for proving that is not differentiable at a point will appear in Section 2.1. If, on the other hand, you think that the function is differentiable, then you should try to find the derivative.
Exercise 9
Decide whether each of the following functions is differentiable at . If it is, then find its derivative at
.
Answer
The fact that
is constant along the imaginary axis, but variable parallel to the real axis, suggests that
is not differentiable at
(or anywhere else, for that matter). It also suggests looking at the sequences
and
,
.
First let
; then
Now let
; then
Since these two limits do not agree, it follows that
is not differentiable at
.
is a polynomial function, so
for all
. Thus
.
is not differentiable at
, since it is not continuous at
.
OpenLearn - Introduction to complex analysis Except for third party materials and otherwise, this content is made available under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 Licence, full copyright detail can be found in the acknowledgements section. Please see full copyright statement for details.