156 problems.
Review exercises
- Stokes theorem on a spherical triangle
- Fifth compositional roots of a Möbius transformation
- Taylor coefficients and numerical approximation of tanh
- A proper local homeomorphism is a covering map
- Polynomial maps away from critical values are coverings
- A polynomial giving a normal covering off its critical values
Embedded exercises
Section 1.8 exercises
- Complex multiplication from dot and planar cross products
- Area enclosed by an analytic image of the unit circle
- Wirtinger derivatives of a polar power-angle map
- Mixed Wirtinger derivative of the squared modulus
- Characterize polynomials splitting into holomorphic and antiholomorphic parts
- Analytic maps into strictly convex level sets are constant
- Zeros persist under compact-uniform convergence
- Distributional Wirtinger derivative of one over z
- Evaluate a rational integral by complex methods
- Constant boundary modulus forces a zero unless the function is constant
- Laurent expansion on the annulus between one and two
- A polynomial cannot uniformly approximate one over z on the unit circle
- Nonzero boundary degree forces an interior zero
- Generating function for partitions into unequal parts
- Sum of reciprocal derivatives at simple polynomial roots
- Removable compact null sets on a diameter
- Pointwise limits of polynomials are analytic on a dense open set
- Compare two power-series approximations to log two
- Essential singularities with prescribed logarithmic residue
- A beta-type improper integral and its convergence range
- Vanishing of the upper semicircle exponential integral
- Residue derivation of the even cosine-power integral
- Prescribe a cluster value of the exponential essential singularity
- First four nonzero terms of the tangent series by formal inversion
- Analytic functions with equal modulus differ by a unimodular constant
- Homogeneous harmonic polynomials on the plane
- Equal L2 norms of real and imaginary parts of a disk analytic function
- Pointwise bound from the L1 norm of an analytic function
- Uniform limits of harmonic functions are harmonic
- Bounded harmonic function with opposite semicircle boundary values
- A bounded harmonic function with unbounded harmonic conjugate
- Strictly subharmonic functions satisfy the maximum principle
- Unbounded analytic function with unit boundary modulus except at one point
Section 2.5 exercises
- There is no proper holomorphic map from the disk to the plane
- Proper holomorphic maps involving the punctured plane
- Quotient maps for finite Möbius groups
- Spherical metric invariance and generators of PSU two
- Reduction and radical solution of a generic cubic
- Zeros critical points and critical values of Chebyshev polynomials
- Normal form for proper degree-two disk maps
- Conformal map from a half-infinite rectangle to the upper half-plane
- Stereographic coordinates and great-circle distance
- Partial-fraction form of proper upper-half-plane self-maps
- Iterates of a disk self-map fixing the origin
- Hyperbolic distance in projective coordinates
- Area of a hyperbolic triangle from its angles
- Hyperbolic metric on the punctured disk
- Covering map and hyperbolic geometry of a round annulus
- Boundary behavior of iterates without an interior fixed point
- Growth bound for analytic functions with nonnegative real part
- Proper disk maps preserve boundary averages
- Compactness of normalized positive harmonic functions on the disk
- No conformal metric on the sphere is invariant under every Möbius transformation
- The Lie algebra of \(SL_2(\mathbb C)\) as holomorphic vector fields on \(\mathbb P^1\)
- Subsequence degeneration of unbounded Möbius transformations
- Degree-three rational maps preserving the unit circle and converging to the identity
- Circular triangles with equal ordered angles are Möbius equivalent
Section 3.4 exercises
- Polynomial minus exponential has infinitely many zeros — Section 3.4 Exercise 1
- Equality in three-circles convexity forces a monomial
- A nontrivial bounded holomorphic disk function cannot vanish at \(1-1/(n+1)\)
- Infinite product for \(\sin^2(\sqrt z)\)
- A genus-zero canonical product of exact order one
- A theta series is entire of order two
- Interpolation by entire functions at prescribed points — Section 3.4 Exercise 7
- Bézout identity for entire functions with no common zeros
- Entire functions are integrally closed among meromorphic functions
- Entire functions of bounded order form an integrally closed ring
- Every finitely generated ideal of the entire-function ring is principal
- A nonprincipal ideal in the ring of entire functions
- A fourth-order partial-fraction sum and \(\zeta(4)\)
- A nonzero entire function bounded by a prescribed positive function on the real axis
- A nontrivial bounded holomorphic disk function cannot vanish at \(1-1/(n+1)\) — Section 3.4 Exercise 15 (repeats Exercise 3)
- Evaluate a hyperbolic-cotangent Dirichlet series by residues
- Orders of \(\sin^2(\sqrt z)\) and \(e^{\sin z}\)
- Quasi-periodicity of an entire function with simple square-lattice zeros
- Evaluate \(\int_0^\infty e^{-x^\alpha}\,dx\) using the Gamma function
- An asymptotic formula for \(\Gamma'(x)\) on the positive real axis
- Decide whether \(\Gamma'(3/2)=0\)
- \(1/\Gamma\) has order one but no exponential-type bound
- The Gamma triplication formula
- Evaluate \(\int_0^1\log\Gamma(t)\,dt\)
- Solve \(f(z+1)=p(z)f(z)\) meromorphically for a polynomial \(p\)
- Characterize logarithmic derivatives of meromorphic functions on \(\mathbb C\)
- Construct an entire function of order \(1/3\)
- Build an entire function with prescribed zeros from generalized convergence factors
- Wallis’s product formula — Section 3.4 Exercise 29
- If nonconstant entire functions satisfy \(f\circ g=f\), then \(g\) is affine
- Finite order without convergence of the logarithmic growth quotient
- Estimate the average of \(\sin^{100}x\) by stationary phase
- Entire functions above and below a prescribed positive real-axis profile
- Shift the harmonic sum to obtain \(\log n+o(1)\)
Section 4.4 exercises
- Normalized univalent maps cannot have strictly nested images
- A second-coefficient bound for bounded normalized univalent maps
- Omitted values of a normalized exterior univalent map lie in the disk of radius two
- Uniformization of plane regions with at least three complementary points
- Compactness of normalized univalent maps on a fixed plane region
- Conformally map a round annulus to the region between an ellipse and its focal segment
- Length-area inequality for transverse curves in a conformal annulus
- Finite Dirichlet integral implies almost-everywhere finite radial limits
- A hyperbolic distance-decreasing disk homeomorphism with no continuous boundary extension
- Conformal radii of standard pointed regions
- Map the exterior disk conformally onto the complement of a semicircle
- Jordan-domain Riemann maps are dense among normalized univalent maps
- Map the exterior disk conformally onto the exterior of an ellipse
- Uniqueness questions for simply connected regions of prescribed conformal radius
- Can a normalized exterior univalent map have \(b_2=1/\sqrt2\)?
- Polygonal Riemann maps are dense among normalized univalent maps
- Kernel convergence can shrink the image of the limiting Riemann map
- Fourfold symmetry improves the guaranteed disk in a normalized univalent image
- Elementary coefficient bounds for normalized univalent functions
- Derive the Beta-Gamma identity from the Gamma functional equation
- Largest unramified disk for \(e^{z^2}\) on the unit disk
- Chain rule for the nonlinearity of a holomorphic map
- Chain rule for the Schwarzian derivative
- Wronskians and Schwarzians of ratios of solutions to \(u''+\phi u=0\)
- Cover the complement of a square by the upper half-plane
- Little Picard gives a uniform derivative bound into the twice-punctured plane
- Plane tilings and accumulation for groups generated by triangle reflections
- Entire solutions of \(f^n+g^n=1\) are constant for \(n>2\)
- A zero-free entire function taking the value one only finitely often is constant
- Quadratic differential with prescribed residues at \(0\), \(1\), and \(\infty\)
Section 5.5 exercises
- Discrete subgroups of \(\mathbb R^n\) are free abelian and have compact quotient exactly in full rank
- Do successive shortest independent lattice vectors form a basis?
- Complex multiplication endomorphisms of a complex torus and their degrees
- Zeros of the Weierstrass \(\wp\)-function for square and hexagonal lattices
- Vanishing Eisenstein sums for square and hexagonal lattices
- Nonconstant meromorphic solutions of \(f^3+g^3=1\)
- Double-angle formula for the Weierstrass \(\wp\)-function
- Dense orbits for torus doubling and its Weierstrass quotient
- Do the weight-four and weight-six lattice sums determine a lattice?
- Lattice shape from a real Weierstrass cubic with one real root
- Map a right triangle to the upper half-plane using a Weierstrass \(\wp\)-function
- Weierstrass zeta as the logarithmic derivative of sigma
- Quasi-periods of the Weierstrass zeta function and the Legendre relation
- Quasi-periodicity of the Weierstrass sigma function
- Mittag-Leffler criterion for prescribed principal parts on a complex torus
- Express \(\wp'\) as a quotient of Weierstrass sigma functions
- Derive the modular function from the cross-ratio of the Weierstrass roots
- Automorphism groups of four-punctured spheres
- Hyperbolic metric near a puncture of the thrice-punctured sphere
- Length of the figure-eight geodesic on the thrice-punctured sphere
- Determine the universal relation between \(G_2^2\) and \(G_4\)
- Cusp orbits of \(\mathrm{SL}_2(\mathbb Z)\) and \(\Gamma(2)\)
- Rational modular forms for \(\Gamma(2)\) as a graded ring
- Evaluate the modular lambda function at \(i/2\)
- Evaluate the weight-four square-lattice Eisenstein sum using Gamma values
- Relate the square-lattice Eisenstein value to the conformal radius of the square