Solution

ID: past-exam-of-the-algebra-analysis-and-differential-equations-1-course-of-the-university-of-oxford/2012/5/a/solution

A holomorphic function on the open set is complex differentiable at every point of : the limit
exists independently of the direction of approach. Write . The Cauchy-Riemann equations are
To prove necessity, approach first with real , obtaining . Approach instead with for real , obtaining
Equality of real and imaginary parts yields the displayed Cauchy-Riemann equations.
A sufficient condition is that and have continuous first partial derivatives throughout and satisfy the Cauchy-Riemann equations there. Indeed, real differentiability gives, for ,
The Cauchy-Riemann equations imply , so this is . Dividing by proves complex differentiability and at every point. Merely having first partial derivatives and the equations at a point, without a suitable differentiability hypothesis, would not justify this argument.

New to topics? Read the docs here!