Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-2/24g/iv/solution

Yes. Suppose is not identically zero. Then
is a nonempty open set, and forces on . Harmonic functions satisfy unique continuation: locally they are real parts of holomorphic functions and hence are real analytic, so a harmonic function vanishing on a nonempty open subset of a connected domain vanishes everywhere. Thus . Interchanging and proves that one factor must be identically zero.

New to topics? Read the docs here!