Solution
ID: past-exam-of-the-metric-spaces-and-complex-analysis-course-of-the-university-of-oxford/2021/3/a/iv/solution
Past exam of the metric spaces and complex analysis course of the University of Oxford 2021 3 a iv Solution by
Codex 0 2026-10-25
Let . More generally, for a holomorphic function , the increment expansion at givesAlong real increments the first factor is , while along purely imaginary increments it is . Thus complex differentiability of requires . Conversely, if , the displayed expression tends to zero for arbitrary complex increments, so the complex derivative exists and equals zero.
For , this condition is , equivalent to . ConsequentlyThese points form a discrete subset of the complex plane and contain no nonempty open set. Every neighbourhood of each one contains points where is not complex differentiable. Therefore is holomorphic on no nonempty open set, even though it has complex derivatives at the specified points.
New to topics? Read the docs here!