Meromorphic function Study Guide

📖 Core Concepts Meromorphic function – holomorphic on an open set except at isolated poles (points where the function blows up to ∞). Pole – a singularity that looks locally like $\displaystyle \frac{g(z)}{(z-a)^m}$ with $g(a)\neq0$; the integer $m$ is the order of the pole. Removable singularity – when numerator and denominator share a zero of the same order, the point can be re‑defined to make the function holomorphic. Essential singularity – a point where the Laurent series has infinitely many negative terms (e.g. $e^{1/z}$); not a pole. Field of fractions – on a connected domain, meromorphic functions = quotients of holomorphic functions, just as $\mathbb Q$ is the field of fractions of $\mathbb Z$. Riemann sphere $\widehat{\mathbb C}$ – adding the point ∞ to $\mathbb C$. Meromorphic functions on $\widehat{\mathbb C}$ are exactly the rational functions. Mapping view – a meromorphic function on any Riemann surface is a holomorphic map $f\!:\!X\to\widehat{\mathbb C}$ that is not constantly ∞; poles are precisely the points sent to ∞. --- 📌 Must Remember Isolated ⇒ countable: poles are isolated ⇒ a meromorphic function has at most countably many poles. Quotient representation: $f(z)=\dfrac{h(z)}{g(z)}$, with $h,g$ holomorphic on the same domain, $g\not\equiv0$. Closure: sums, differences, products, and quotients (where defined) of meromorphic functions are meromorphic. Rational = global meromorphic: on $\widehat{\mathbb C}$, only rational functions are meromorphic everywhere. Key examples: $\displaystyle f(z)=\sum{n=1}^{\infty}\frac{1}{z-n}$ – countably infinite simple poles at $z=n$. $\Gamma(z)$ and $\zeta(s)$ – meromorphic on all of $\mathbb C$. $e^{1/z}$, $\sin\!\bigl(\tfrac1z\bigr)$ – essential singularities ⇒ not meromorphic on the whole plane. Mittag‑Leffler theorem: guarantees a meromorphic function with any prescribed principal parts at a discrete set of points. --- 🔄 Key Processes Classify a singularity (zero‑order test) Write $f(z)=\dfrac{N(z)}{D(z)}$ locally. Let $\operatorname{ord}a N = m$, $\operatorname{ord}a D = n$. If $m=n$ → removable; $n>m$ → pole of order $n-m$; $m>n$ → zero; otherwise (infinitely many negative terms) → essential. Construct a meromorphic function with prescribed poles (Mittag‑Leffler) Choose a discrete set $\{ak\}$ and principal parts $Pk(z)$ (finite‑order parts of Laurent series). Form partial sums $SN(z)=\sum{k=1}^{N}\bigl(Pk(z)-Qk(z)\bigr)$ where $Qk$ are entire functions making the series converge. Limit $S(z)=\lim{N\to\infty}SN(z)$ exists and is meromorphic with the desired poles. Determine meromorphicity on a Riemann surface Pick a local chart $\phi:U\to\mathbb C$. Express $f\circ\phi^{-1}$ as a quotient of holomorphic functions on $\phi(U)$. Verify poles are isolated in each chart; globally they correspond to $f^{-1}(\infty)$. --- 🔍 Key Comparisons Meromorphic vs Holomorphic – Meromorphic may blow up at isolated poles; holomorphic never blows up. Pole vs Essential singularity – Pole: finite order negative term in Laurent series; Essential: infinitely many negative terms. Rational function vs General meromorphic – Rational: globally meromorphic on $\widehat{\mathbb C}$ (no poles accumulating anywhere, including ∞). General meromorphic on $\mathbb C$ may have infinitely many isolated poles (e.g., $\sum\frac1{z-n}$). Isolated pole vs Accumulating poles – Isolated ⇒ countable and permissible; accumulation inside the domain → not meromorphic (e.g., $\sum\frac1{(z-n)^2}$ accumulates at ∞, still allowed; accumulation at a finite point is not). --- ⚠️ Common Misunderstandings “All singularities are poles.” False – essential singularities (e.g., $e^{1/z}$) are not poles. “A meromorphic function can have only finitely many poles.” Wrong – countably infinite poles are allowed as long as they are isolated. “Complex logarithm is meromorphic on $\mathbb C\setminus\{0\}$.” Incorrect; its branch cut prevents representation as a quotient of holomorphic functions on a domain excluding only isolated points. “If numerator and denominator both vanish, the point is automatically a pole.” No – the orders decide; equal orders give a removable singularity. --- 🧠 Mental Models / Intuition “Fractions of holomorphic = meromorphic” – treat meromorphic functions just like rational numbers: think of the denominator as the “danger zone” that can create poles, but everywhere else the function behaves smoothly. Pole order = “how many times you have to differentiate to kill the blow‑up.” Each differentiation reduces the pole order by 1. Mapping to the sphere – imagine the complex plane stretched over a sphere; every time the function “shoots off to infinity” it lands at the north pole. --- 🚩 Exceptions & Edge Cases Infinite poles with accumulation at ∞ – allowed (e.g., $\sum{n=1}^\infty \frac{1}{z-n}$). Accumulation at a finite point – disqualifies meromorphicity (poles would not be isolated). Essential singularities – never meromorphic, even if they occur at a single isolated point. Meromorphic on a compact surface – every holomorphic function is constant, but non‑constant meromorphic functions do exist (they must have poles). --- 📍 When to Use Which Identify meromorphic → try to write the function as $h/g$ with holomorphic $h,g$; check isolated zeros of $g$. Decide pole order → compare multiplicities of zeros of numerator vs denominator. Construct a function with prescribed poles → apply Mittag‑Leffler rather than ad‑hoc series. Work on the Riemann sphere → restrict to rational functions; use polynomial division to simplify. Use closure properties → when adding or multiplying known meromorphic functions, the result stays meromorphic (except where a new denominator zero appears). --- 👀 Patterns to Recognize Zero cancellation → same order zero in numerator and denominator → removable singularity. Series of simple fractions → $\displaystyle \sum \frac{1}{z-ak}$ ⇒ countably many simple poles at $\{ak\}$. Laurent series with finitely many negative terms → pole; infinitely many → essential. Mapping to ∞ → any point where $f(z)=\infty$ is automatically a pole (by definition). Rational function denominator degree > numerator degree → pole at ∞ (on the sphere). --- 🗂️ Exam Traps Choosing “essential singularity” for a pole – the presence of a single negative term in the Laurent series signals a pole, not an essential singularity. Assuming infinite poles are impossible – remember countable isolated poles are allowed; only accumulation in the finite plane is forbidden. Treating the complex logarithm as meromorphic – its branch cut creates a non‑isolated discontinuity, so it fails the definition. Confusing “holomorphic on the punctured plane” with “meromorphic on the whole plane.” Example: $e^{1/z}$ is holomorphic on $\mathbb C\setminus\{0\}$ but not meromorphic on $\mathbb C$ because $0$ is essential. Believing any quotient of holomorphic functions is meromorphic everywhere – the denominator’s zeros must be isolated; a denominator that vanishes on a curve would violate meromorphicity. ---