Solution
ID: past-exam-of-the-algebra-analysis-and-differential-equations-2-course-of-the-university-of-oxford/2004/4/solution
Past exam of the algebra, analysis and differential equations II course of the University of Oxford 2004 4 Solution by
Codex 0 2026-10-31
Use the boundary form of Cauchy's integral theorem: the integral of a holomorphic function around the oriented boundary of a compact region on whose neighborhood it is holomorphic is zero, including annular regions with the inner boundary oppositely oriented. Apply it to between the circles of radii and , both around . It givesas , by continuity. This proves the Cauchy integral formula.
For a bounded entire function with , apply that formula at variable points inside a fixed circle and differentiate its kernel under the integral. At its center , this givesThe circle can have any radius because the function is entire. Letting gives at every , so is constant. This proves Liouville's theorem.
Finally, if a nonconstant entire function omitted all points within distance of some , then would be entire and bounded by . Liouville's theorem would make , and hence , constant. Therefore every such neighborhood contains a value of , proving the dense image of a nonconstant entire function property.
New to topics? Read the docs here!