Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge / 2025 / Paper 1 / 7

For a holomorphic function, the derivative supplied by complex differentiability must have the same value along real and imaginary increments. Those two computations giveEquating real and imaginary parts proves the Cauchy-Riemann equations:Conversely, if the first partial derivatives are continuous near a point and obey these equations there, real differentiability giveswhich proves complex differentiability under this regularity assumption.

The gradients of the real and imaginary parts have dot productand $|\nabla u{|}^2=|\nabla v{|}^2=|f^{\prime }(z){|}^2$. At every point with $f^{\prime }(z)\ne 0$, the two level sets are regular curves, their gradients are nonzero normal vectors, and their tangent directions are therefore perpendicular.

The printed phrase "at every point" needs this regular-point qualification. At a critical point with $f^{\prime }(z)=0$, the level sets may cross or fail to have a unique tangent. For example, $f(z)=z^2$ gives $u=x^2-y^2$ and $v=2xy$: at the origin the zero level sets are respectively the diagonals and the coordinate axes. Thus the valid conclusion is $\boxed{\text{orthogonality at every regular intersection, where }{f}^{\prime }(z)\ne 0}$.

The Cauchy-Riemann equations determine the harmonic conjugate. Firstso $v_y=u_x$ integrates with respect to $y$ toNowand the second Cauchy-Riemann equation, $v_x=-u_y$, forces $h^{\prime }(x)=0$. HenceThe normalization at zero gives $C=0$, so the required entire function is

For the first function, the complex exponential has no zeros, while the denominator has three distinct simple zeros. Thus there are $\boxed{\text{simple poles at }z=0,2i,-2i;\text{no finite zeros}}$. To examine infinity, substitute $z=1/w$:The factor $e^{1/w}$ has an essential singularity at zero, and multiplication by a nonzero finite-order factor cannot remove it. Therefore $\boxed{\infty \text{ is an isolated essential singularity}}$ of the first function.

For the second function, $\sin z$ has simple zeros at $z=n\pi$. At zero, its Taylor series givesso $\boxed{z=0\text{ is removable, with extended value }1}$. Every other $z=n\pi$ is a double pole, since the numerator is nonzero there. There are no finite zeros, including after removal at zero.

At infinity the double poles $n\pi$ accumulate. Equivalently, after $z=1/w$, the function $1/[w^2{\sin }^2(1/w)]$ has double poles at $w=1/(n\pi )$ tending to zero. Hence $\boxed{\infty \text{ is a non-isolated singularity}}$. The removable/pole/essential trichotomy for isolated singularities does not apply there; calling this an isolated essential singularity would be incorrect.

Put $w=z-1$ and $a=1-i$. Partial fraction decomposition givesBoth terms admit a geometric series at $w=0$. The local Laurent series is actually a Taylor series, since the center is regular:The nearest pole is $z=i$, a distance $|1-i|=\sqrt{2}$ from the center; the other pole is at distance $4$. Thus the requested local radius of convergence is $\boxed{R=\sqrt{2}}$.

For completeness, specifying a Laurent series without a region can also mean either of the other maximal annuli. Expanding the first fraction in inverse powers and the second in positive powers givesExpanding both fractions in inverse powers instead givesThese are different Laurent series on different annuli, rather than extensions of the local Taylor series beyond its radius of convergence.