Key Concepts of Complex Differentiation

Why This Matters

Complex differentiation isn't just "regular calculus with $i$ thrown in"—it's a fundamentally more restrictive and powerful framework. When you're tested on this material, you're being asked to demonstrate that you understand why complex differentiability is such a strong condition: a function that's complex differentiable even once is automatically infinitely differentiable, representable by power series, and satisfies elegant geometric properties. This is radically different from real analysis, where a function can be differentiable but still badly behaved.

The concepts here cluster around a central question: what does it mean for a function to be "nice" in the complex plane? You'll need to connect differentiability conditions (like the Cauchy-Riemann equations) to structural consequences (like power series representations and conformality). Don't just memorize definitions—know what each concept tells you about function behavior and how they link together. If an exam asks about analytic functions, you should immediately think: Cauchy-Riemann equations, power series, harmonic components, conformal mappings.

---

Foundations of Complex Differentiability

The starting point for everything in complex analysis is understanding what it means for a function to have a derivative. Unlike real differentiation, complex differentiability requires the limit to exist from every direction in the plane simultaneously.

Definition of Complex Differentiability

• The difference quotient limit—a function $f(z)$ is complex differentiable at $z_0$ if $\lim_{z \to z_0} \frac{f(z) - f(z_0)}{z - z_0}$ exists
• Direction independence is the key constraint: the limit must be identical whether $z$ approaches along the real axis, imaginary axis, or any spiral path
• Geometric interpretation—differentiability means the function has a well-defined local linear approximation, implying smoothness far beyond what real differentiability guarantees

Cauchy-Riemann Equations

• The differentiability test—for $f(z) = u(x,y) + iv(x,y)$, complex differentiability requires $\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}$ and $\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$
• Necessary and sufficient when combined with continuity of the partial derivatives; these equations encode the direction-independence requirement algebraically
• Practical use—to verify a function is differentiable, check these equations rather than computing limits directly

---

The Analytic-Holomorphic Framework

Once a function passes the differentiability test at every point in a region, it enters a special class with remarkable properties. The terms "analytic" and "holomorphic" describe functions that are complex differentiable throughout a domain.

Holomorphic Functions

• Domain-wide differentiability—a function is holomorphic on a domain if it's complex differentiable at every point in that domain
• Infinite differentiability follows automatically; unlike real analysis, one derivative guarantees all derivatives exist
• Continuity of derivatives throughout the domain is a built-in consequence, not an additional assumption

Analytic Functions

• Local power series representation—a function is analytic at $z_0$ if it equals its Taylor series $\sum_{n=0}^{\infty} a_n(z - z_0)^n$ in some neighborhood
• Holomorphic equals analytic in complex analysis; this equivalence is a major theorem, not a definition
• Radius of convergence determines how far the power series representation extends from the center point

Power Series Representation

• The standard form $f(z) = \sum_{n=0}^{\infty} a_n(z - z_0)^n$ with coefficients determined by $a_n = \frac{f^{(n)}(z_0)}{n!}$
• Term-by-term differentiation is valid inside the radius of convergence, making derivatives easy to compute
• Uniform convergence on compact subsets guarantees the series behaves well for integration and other operations

---

Connections to Harmonic Analysis

The real and imaginary parts of analytic functions satisfy their own important equation. Harmonic functions bridge complex analysis with potential theory and physics applications.

Harmonic Functions

• Laplace's equation—a function $\phi(x,y)$ is harmonic if $\frac{\partial^2 \phi}{\partial x^2} + \frac{\partial^2 \phi}{\partial y^2} = 0$ (written $\nabla^2 \phi = 0$)
• Real and imaginary parts of any analytic function are harmonic; the Cauchy-Riemann equations force this relationship
• Mean value property—the value at any point equals the average over any surrounding circle, a powerful tool for proving uniqueness results

---

Essential Complex Functions

Certain functions form the building blocks of complex analysis. These extend familiar real functions to the complex plane, often revealing surprising new properties.

Complex Exponential Function

• Euler's formula in action—$e^z = e^{x+iy} = e^x(\cos y + i\sin y)$ connects exponentials to trigonometry
• Periodicity with period $2\pi i$; the exponential is no longer one-to-one, which creates complications for its inverse
• Never zero—$e^z \neq 0$ for any complex $z$, making it holomorphic everywhere (entire)

Complex Logarithmic Function

• Multi-valued nature—$\log(z) = \ln|z| + i\arg(z)$, where $\arg(z)$ has infinitely many values differing by $2\pi$
• Branch cuts are needed to define a single-valued version; the principal branch typically uses $-\pi < \arg(z) \leq \pi$
• Derivative formula $\frac{d}{dz}\log(z) = \frac{1}{z}$ holds on any branch, connecting to familiar calculus

Complex Trigonometric Functions

• Exponential definitions—$\sin(z) = \frac{e^{iz} - e^{-iz}}{2i}$ and $\cos(z) = \frac{e^{iz} + e^{-iz}}{2}$
• Unbounded behavior—unlike real trig functions, $|\sin(z)|$ and $|\cos(z)|$ can be arbitrarily large for complex inputs
• Zeros preserved—$\sin(z) = 0$ only when $z = n\pi$ for integer $n$, same as the real case

---

Differentiation Rules and Geometric Properties

Complex differentiation follows familiar rules but leads to powerful geometric consequences. The chain rule works as expected, but conformality is a uniquely complex phenomenon.

Chain Rule for Complex Functions

• Standard form—if $f$ and $g$ are holomorphic, then $(f \circ g)'(z) = f'(g(z)) \cdot g'(z)$
• Both functions must be holomorphic for the rule to apply; this is more restrictive than the real chain rule
• Composition preserves analyticity—composing holomorphic functions yields another holomorphic function

Conformal Mappings

• Angle preservation—a conformal map preserves the angle between any two curves at their intersection point
• Achieved by holomorphic functions with non-zero derivative; where $f'(z) = 0$, conformality fails
• Applications include fluid dynamics, electrostatics, and cartography, where shape preservation matters locally

---

Quick Reference Table

---

Self-Check Questions

1. A function satisfies the Cauchy-Riemann equations at a point but isn't complex differentiable there. What additional condition is missing, and why does this matter?

2. Compare and contrast: Why does complex differentiability at a point guarantee infinite differentiability, while real differentiability does not? What's fundamentally different about the two settings?

3. Given that $u(x,y) = x^2 - y^2$ is harmonic, how would you find its harmonic conjugate $v(x,y)$ to construct an analytic function $f(z) = u + iv$?

4. The complex exponential $e^z$ is periodic, but the real exponential $e^x$ is not. Which two functions from this guide are most directly affected by this periodicity, and how?

5. If an FRQ gives you a holomorphic function $f(z)$ with $f'(z_0) = 0$, what geometric property fails at $z_0$, and what does this tell you about the local behavior of the mapping?