Key Concepts of Complex Functions

Why This Matters

Complex functions form the backbone of everything you'll encounter in complex analysis. When you're asked to evaluate contour integrals, find residues, or analyze singularities, you need to recognize which type of function you're dealing with and what properties it carries. The exponential, logarithmic, trigonometric, and rational functions aren't just formulas to memorize—they're the building blocks that determine whether a function is entire, meromorphic, or multi-valued, and that distinction drives nearly every problem you'll solve.

You're being tested on your ability to connect function definitions to their analytic properties: holomorphicity, periodicity, branch behavior, and singularity structure. Don't just memorize that $e^z$ is entire or that $\log(z)$ needs a branch cut—understand why these properties emerge and how they affect integration paths, series expansions, and transformations. Master the underlying mechanisms, and you'll handle any variation the exam throws at you.

---

The Exponential Family: Functions Built from $e^z$

The exponential function is the engine driving most of complex analysis. Because $e^z$ is entire and periodic in the imaginary direction, it generates the trigonometric and hyperbolic functions while creating the multi-valuedness that makes logarithms tricky.

Exponential Function

• Defined as $e^z = e^{x+iy} = e^x(\cos y + i\sin y)$—the only function that equals its own derivative in the complex plane
• Periodic with period $2\pi i$, meaning $e^{z+2\pi i} = e^z$; this periodicity is the root cause of logarithmic branch cuts
• Entire function (holomorphic everywhere)—no singularities, no poles, making it the cleanest function to work with in contour integration

Trigonometric Functions

• Defined via exponentials: $\sin(z) = \frac{e^{iz} - e^{-iz}}{2i}$ and $\cos(z) = \frac{e^{iz} + e^{-iz}}{2}$—these definitions extend real trig functions to the complex plane
• Entire functions with period $2\pi$, but unlike their real counterparts, they are unbounded; $|\sin(z)|$ can grow arbitrarily large
• Essential for Fourier analysis and signal processing; their zeros occur exactly at integer multiples of $\pi$

Hyperbolic Functions

• Defined as $\sinh(z) = \frac{e^z - e^{-z}}{2}$ and $\cosh(z) = \frac{e^z + e^{-z}}{2}$—note the relationship: $\sin(iz) = i\sinh(z)$
• Entire functions with purely imaginary period $2\pi i$, connecting them directly to trigonometric functions through rotation
• Critical in physics applications, particularly hyperbolic geometry, relativity, and solutions to the wave equation

---

Multi-Valued Functions: When One Answer Isn't Enough

Some complex functions naturally produce multiple outputs for a single input. The logarithm and fractional powers inherit multi-valuedness from the argument function, requiring branch cuts to make them single-valued and analytic.

Logarithmic Function

• Defined as $\log(z) = \ln|z| + i\arg(z)$—the argument $\arg(z)$ is only determined up to multiples of $2\pi$, creating infinitely many values
• Requires a branch cut (typically along the negative real axis) to restrict to a single-valued function; the principal branch uses $-\pi < \arg(z) \leq \pi$
• Inverse of the exponential, essential for solving $e^w = z$ and for defining complex powers via $z^a = e^{a\log(z)}$

Branch Cuts and Riemann Surfaces

• Branch cuts are artificial barriers in the complex plane that prevent paths from circling around branch points and switching between function values
• Riemann surfaces provide a geometric resolution—a multi-sheeted surface where the function becomes single-valued by "unfolding" the plane
• Essential for understanding topology of functions like $\sqrt{z}$, $\log(z)$, and $z^{1/n}$; the number of sheets equals the number of function values

---

Holomorphic Hierarchy: Entire vs. Meromorphic

Understanding where a function is analytic determines which theorems apply. Entire functions are holomorphic everywhere; meromorphic functions allow isolated poles but nothing worse.

Entire Functions

• Holomorphic on all of $\mathbb{C}$—examples include polynomials, $e^z$, $\sin(z)$, and $\cos(z)$
• Power series representation $f(z) = \sum_{n=0}^{\infty} a_n z^n$ converges for all $z$; the radius of convergence is infinite
• Liouville's theorem applies: a bounded entire function must be constant—this proves the Fundamental Theorem of Algebra

Meromorphic Functions

• Holomorphic except at isolated poles—points where the function blows up like $(z-z_0)^{-n}$ for some positive integer $n$
• Expressible as ratios of entire functions: if $f(z) = g(z)/h(z)$ with $g, h$ entire, then $f$ is meromorphic with poles at zeros of $h$
• Central to residue calculus; the residue theorem requires identifying poles and computing residues for contour integration

Rational Functions

• Defined as $f(z) = \frac{P(z)}{Q(z)}$ where $P$ and $Q$ are polynomials—the simplest meromorphic functions
• Poles occur at zeros of $Q(z)$, with order equal to the multiplicity of the zero; partial fractions decomposition reveals the pole structure
• Fundamental for contour integration—most residue calculations involve rational functions or functions reducible to them

---

Building Blocks: Power Functions and Transformations

These fundamental functions serve as the raw materials for series expansions and geometric mappings. Power functions generate Taylor and Laurent series; Möbius transformations preserve the analytic structure of the extended plane.

Power Functions

• Defined as $f(z) = z^n$ for integer $n$—for positive $n$, entire; for negative $n$, meromorphic with a pole at the origin
• Building blocks for series: Taylor series use non-negative powers; Laurent series include negative powers to capture pole behavior
• Conformal except at critical points—$z^n$ multiplies angles by $n$, so it's not conformal at $z = 0$ unless $n = 1$

Möbius Transformations

• Defined as $f(z) = \frac{az + b}{cz + d}$ with $ad - bc \neq 0$—also called linear fractional transformations
• Bijective and angle-preserving (conformal), mapping circles and lines to circles and lines; they form a group under composition
• Act on the extended complex plane $\mathbb{C} \cup \{\infty\}$, with $f(-d/c) = \infty$ and $f(\infty) = a/c$; essential for understanding the Riemann sphere

---

Quick Reference Table

---

Self-Check Questions

1. Which functions from this guide are entire, and what property do they all share regarding their power series representation?

2. Compare $\sin(z)$ and $\sinh(z)$: how are their definitions related, and what identity connects them?

3. Why does $\log(z)$ require a branch cut while $e^z$ does not? What property of $e^z$ causes this asymmetry?

4. If you're given a rational function $f(z) = \frac{z^2 + 1}{z^3 - z}$, how would you identify its poles and determine whether it's meromorphic or has worse singularities?

5. Explain how Möbius transformations differ from power functions in terms of injectivity and behavior at infinity—when would you use each type of mapping?