For the usual complex derivative df(z)/dz to exist, the Cauchy-Riemann equations must be satisfied.
We can deduce the Cauchy-Riemann equations heuristically based on the chain rule. Assuming that f'(z) exists, we have:
f'(z) = f'(x)x'(z)+f'(y)y'(z).
Since x=(z+z*)/2 and y=-i(z-z*)/2), we can do the derivations x'(z) and y'(z):
f'(z) = 1/2[f'(x)(1+z*')-if'(y)(1-z*')] (1)
Regarding the term z*', from the definition of the complex derivative, we have:
z*' = limdz->0 [(z+dz)*-z*]/dz
= limdz->0 dz*/dz
= limdz->0 (dx-idy)/(dx+idy).
If dy=0, this is 1. If dx=0, it is -1. If dx=dy, it is -i. If dx=-dy, it is i. Hence, this is a non-existing limit value, since it depends on the path dz traverses in order to approach 0.
For the derivative of f(z) to exist, we must require z*' to vanish from the expression (1) above. The part that involves z*' is:
By requiring it to be zero, we obtain:
This is the Cauchy-Riemann equations in complex form.
If we insert f(z)=u(x,y)+iv(x,y), where u and v are the real and imaginary parts of f(z), respectively, we get:
By setting the real and imaginary parts on either side equal to each other, we obtain the Cauchy-Rieman equations, which must hold for f(z) to be differentiable at z:
If we assume that those are satisfied, (1) reduces to:
which is what they wrote.
A non-heuristic way to derive the Cauchy-Riemann equations, and also equation (2), is as follows:
Again we assume thayt f'(z) exists.
We start with the definition of the complex derivative:
f'(z) = lim dz->0 [f(z+dz)-f(z)]/dz,
This limit exists only if it is independent of which way dz approaches zero.
First, let dx=0, and derive the derivative. Then let, instead, dy=0 and redo the calculation. Finally, insert f(z)=u(x,y)+iv(x,y). We then get:
f'(z) = u'(x)+iv'(x) (3)
f'(z) = -iu'(y)+v'(y). (4)
When we equate the real and imaginary parts, we have the Cauchy-Riemann equations. Our result is, that if f(z) is differentiable at z, then they must be satisfied. We have also shown, that if f'(z) exists, the four partial derivatives in (3) and (4) must exist.
Assuming that f'(z) exists, and by writing f'(z)=1/2[f'(z)+f'(z)], from (3) and (4) we have:
f'(z) = 1/2[u'(x)+iv'(x)-iu'(y)+v'(y)]
We have shown that if we assume that f'(z) exists, then the Cauchy-Riemann equations will be satisfied, and (2) will hold.
It is possible to show that if two real-valued continuous functions u(x,y) and v(x,y) have continuous first-order partial derivatives that satisfy the Cauchy-Riemann equations in some domain D, then the complex function f(z)=u+iv is analytic (defined and differentiable) in D.
An example where (2) does not hold, is when f(z)=|z|^2. We then have:
f(z) = |z|^2
By assuming that f'(z) exists and using the product rule, we have:
f'(z) = 1z*+zz*'
We see that unless z=0, this involves z*', that does not exist. We can therefore conclude that the function |z|^2 is a function that is not differentiable at any point, except at z=0. That is because its Cauchy-Riemann equations are not satisfied, except at that point. Equation (2), which would give f'(z) equal to z*, is therefore not valid.
Although it's derivative exists in z=0, it is not analytic there, because it is not analytic in a neighborhood of that point. The function |z|^2 is therefore not analytic.
Finally, it can be mentioned that although the ordinary complex derivative requires the Cauchy-Riemann equations to hold, the Wirtinger derivatives do not. These derivatives are what Daniel Fisher defined above. The Wirtinger derivative of |z|^2 is z*, and the Wirtinger derivative of z* is zero.
Wirtinger calculus is outlined here: