Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 1 24F b Solution Created 2026-09-24 Updated 2026-09-25
If for a holomorphic function , the calculation from part (a) would giveThe integral of a derivative around a closed curve is zero, whereas the residue theorem givesThis contradiction proves that no such exists. It is precisely the log modulus has no global harmonic conjugate on the punctured plane obstruction.
The derivative of an analytic function must be independent of the direction of approach. Taking a real increment gives ; taking an imaginary increment givesEquality of real and imaginary parts proves the Cauchy-Riemann equations:A real harmonic function is a twice continuously differentiable function whose Laplacian vanishes. For the given logarithmic function and ,It is therefore harmonic everywhere on the punctured complex plane.
On any domain admitting a branch of the complex logarithm, chooseIts derivatives are and , as required. For example, the principal complex logarithm gives such a harmonic conjugate on the plane cut along the negative real axis.
There is no single-valued harmonic conjugate on the whole punctured plane. Indeed its putative differential would satisfywhereas a globally defined function has zero integral of its differential around a closed curve. This is the log modulus has no global harmonic conjugate on the punctured plane obstruction. Thus the conjugate requested in the question must be interpreted locally or on a cut plane.