Complex Analysis and Potential Theory - A Journey into a Higher Dimension of Calculus

While real calculus provides the tools to understand change and accumulation along a one-dimensional number line, complex analysis extends these ideas into a rich, two-dimensional plane. By treating complex numbers not just as algebraic curiosities but as points in a plane, a new, more powerful calculus emerges. Functions of a complex variable, particularly the well-behaved class known as analytic functions, exhibit stunning properties with no analogue in real analysis. Their derivatives are not just rates of change but are related to local rotations and scaling, and their integrals reveal deep connections between a function's values on a boundary and its behavior within a region. This exploration delves into the foundations of complex analysis, from its basic concepts and the powerful theorems of Cauchy to its applications in series, residue calculus, conformal mapping, and potential theory.

---

The Complex Number System - A Refresher

A brief review of the complex number system, the stage upon which complex analysis is performed.

• Geometric Representation: A complex number $z = x + iy$ is represented as a point $(x,y)$ in the complex plane or Argand diagram, with a real axis and an imaginary axis.
• Complex Plane: The complex plane is a two-dimensional space where each point corresponds to a complex number. The horizontal axis represents the real part, and the vertical axis represents the imaginary part.
• Complex Conjugate: The complex conjugate of $z = x + iy$ is $\overline{z} = x - iy$. It reflects the point across the real axis in the complex plane. The product $z\overline{z} = |z|^2$.
• Complex Functions: A complex function $f(z)$ maps complex numbers to complex numbers. It can be expressed in terms of its real and imaginary parts: $f(z) = u(x,y) + iv(x,y)$, where $z = x + iy$.
• Complex Modulus: The modulus $|z|$ is the distance from the origin. The modulus of a complex number $z = x + iy$ is $|z| = \sqrt{x^2 + y^2}$.
• Complex Argument: The argument $\arg(z)$ is the angle with the positive real axis. The argument of a complex number $z = x + iy$ is given by $\theta = \tan^{-1}\left(\dfrac{y}{x}\right)$, with adjustments based on the quadrant.
• Complex Addition and Multiplication: Addition is straightforward: $(x_1 + iy_1) + (x_2 + iy_2) = (x_1 + x_2) + i(y_1 + y_2)$. Multiplication uses the distributive property: $(x_1 + iy_1)(x_2 + iy_2) = (x_1x_2 - y_1y_2) + i(x_1y_2 + x_2y_1)$.
• Complex Division: To divide two complex numbers $z_1 = x_1 + iy_1$ and $z_2 = x_2 + iy_2$, multiply the numerator and denominator by the conjugate of the denominator: $\dfrac{z_1}{z_2} = \dfrac{(x_1 + iy_1)(x_2 - iy_2)}{x_2^2 + y_2^2} = \dfrac{x_1x_2 + y_1y_2}{x_2^2 + y_2^2} + i\dfrac{y_1x_2 - x_1y_2}{x_2^2 + y_2^2}$
• Polar & Euler Form: Using modulus $r = |z| = \sqrt{x^2+y^2}$ and argument $\theta = \arg(z)$, we can write:
  • Polar Form: $z = r(\cos\theta + i\sin\theta)$
  • Euler's Form: $z = re^{i\theta}$ (using Euler's formula $e^{i\theta} = \cos\theta + i\sin\theta$)
• Powers & Roots: De Moivre's Theorem states $(\cos\theta + i\sin\theta)^n = \cos(n\theta) + i\sin(n\theta)$. This simplifies finding powers ($z^n = r^n e^{in\theta}$) and the $n$ distinct $n^{th}$ roots of a complex number: $w_k = r^{1/n} \left[ \cos\left(\dfrac{\theta+2k\pi}{n}\right) + i\sin\left(\dfrac{\theta+2k\pi}{n}\right) \right] \quad \text{for } k=0, 1, \dots, n-1$
• Exponential, Logarithm, and General Power: These functions are extended to complex variables.
  • Exponent: $e^z = e^{x+iy} = e^x e^{iy} = e^x(\cos y + i\sin y)$.
  • Logarithm: The natural logarithm $\ln z$ is the multi-valued inverse of the exponential function. If $z=re^{i\theta}$, then: $\ln z = \ln(re^{i\theta}) = \ln r + \ln(e^{i(\theta+2k\pi)}) = \ln r + i(\theta+2k\pi)$ The principal value, denoted $\text{Ln } z$, is when $k=0$ and $\theta$ is the principal argument, $-\pi < \theta \le \pi$.
  • General Power: For complex numbers $a$ and $b$, $a^b$ is defined as $a^b = e^{b \ln a}$. Due to the multi-valued nature of $\ln a$, this is generally multi-valued.
• Trigonometric Functions: The complex sine and cosine functions are defined as: $\sin z = \dfrac{e^{iz} - e^{-iz}}{2i} \quad \cos z = \dfrac{e^{iz} + e^{-iz}}{2}$
• Hyperbolic Functions: Similarly, hyperbolic functions can be defined using the exponential function: $\sinh z = \dfrac{e^z - e^{-z}}{2} \quad \cosh z = \dfrac{e^z + e^{-z}}{2}$

---

Analytic Functions - The Heart of Complex Calculus

The Complex Derivative

A function $f(z)$ is said to be differentiable at a point $z_0$ if the following limit exists: $f'(z_0) = \lim_{\Delta z \to 0} \dfrac{f(z_0 + \Delta z) - f(z_0)}{\Delta z}$ Crucially, in the complex plane, $\Delta z$ can approach zero from any direction. This stringent requirement is what gives differentiable complex functions their remarkable properties.

Analytic Functions

A complex function $f(z)$ is analytic (or holomorphic) in a domain $D$ if it is differentiable at every point in $D$. These are the central objects of study in complex analysis.

Cauchy–Riemann Equations and Laplace's Equation

For a function $f(z) = u(x,y) + i v(x,y)$ (where $z=x+iy$) to be analytic, its real and imaginary parts, $u(x,y)$ and $v(x,y)$, must satisfy the Cauchy-Riemann equations: $\dfrac{\partial u}{\partial x} = \dfrac{\partial v}{\partial y} \quad \text{and} \quad \dfrac{\partial u}{\partial y} = -\dfrac{\partial v}{\partial x}$ These equations are a necessary condition for differentiability. If the partial derivatives are also continuous, they become a sufficient condition.

Derivation: We evaluate the limit for $f'(z_0)$ along two different paths as $\Delta z = \Delta x + i\Delta y \to 0$.

1. Path 1 (along the real axis): Let $\Delta y = 0$, so $\Delta z = \Delta x$. $f'(z_0) = \lim_{\Delta x \to 0} \dfrac{[u(x_0+\Delta x, y_0) + iv(x_0+\Delta x, y_0)] - [u(x_0,y_0)+iv(x_0,y_0)]}{\Delta x}$ $= \lim_{\Delta x \to 0} \left[ \dfrac{u(x_0+\Delta x, y_0)-u(x_0,y_0)}{\Delta x} + i \dfrac{v(x_0+\Delta x, y_0)-v(x_0,y_0)}{\Delta x} \right]$ By the definition of partial derivatives, this is: $f'(z_0) = \dfrac{\partial u}{\partial x} + i\dfrac{\partial v}{\partial x}$
2. Path 2 (along the imaginary axis): Let $\Delta x = 0$, so $\Delta z = i\Delta y$. $f'(z_0) = \lim_{\Delta y \to 0} \dfrac{[u(x_0, y_0+\Delta y) + iv(x_0, y_0+\Delta y)] - [u(x_0,y_0)+iv(x_0,y_0)]}{i\Delta y}$ $= \lim_{\Delta y \to 0} \left[ \dfrac{u(x_0, y_0+\Delta y)-u(x_0,y_0)}{i\Delta y} + i \dfrac{v(x_0, y_0+\Delta y)-v(x_0,y_0)}{i\Delta y} \right]$ Using $1/i = -i$: $f'(z_0) = -i\dfrac{\partial u}{\partial y} + \dfrac{\partial v}{\partial y} = \dfrac{\partial v}{\partial y} - i\dfrac{\partial u}{\partial y}$

For the derivative to exist, these two results must be equal. Equating the real and imaginary parts gives the Cauchy-Riemann equations.

An amazing consequence is that if $f=u+iv$ is analytic, both $u$ and $v$ must satisfy Laplace's Equation: $\nabla^2 u = \dfrac{\partial^2 u}{\partial x^2} + \dfrac{\partial^2 u}{\partial y^2} = 0 \quad \text{and} \quad \nabla^2 v = 0$ Functions that satisfy Laplace's equation are called harmonic functions. They are fundamental in potential theory.

---

Complex Integration - Path-breaking Mathematics

Line Integral in the Complex Plane

The integral of a complex function $f(z)$ along a path $C$ in the complex plane is defined as: $\int_C f(z) dz$ If the path $C$ is parameterized by $z(t) = x(t) + iy(t)$ for $a \le t \le b$, the integral is computed as: $\int_C f(z) dz = \int_a^b f(z(t)) z'(t) dt$ where $z'(t) = \dfrac{dz}{dt}$.

Basic Properties:

• Linearity: $\int_C (af(z) + bg(z)) dz = a\int_C f(z) dz + b\int_C g(z) dz$ for constants $a, b$.
• Additivity: If $C_1$ and $C_2$ are two paths, then $\int_{C_1 + C_2} f(z) dz = \int_{C_1} f(z) dz + \int_{C_2} f(z) dz$.
• Reversal of Path: If $C$ is traversed in the opposite direction, $\int_{-C} f(z) dz = -\int_C f(z) dz$.

Cauchy’s Integral Theorem

This is a cornerstone of complex analysis. It states:

If $f(z)$ is analytic in a simply connected domain $D$, then for every simple closed path (contour) $C$ in $D$, the integral of $f(z)$ around that path is zero. $\oint_C f(z) dz = 0$

This theorem is a powerful statement about the "niceness" of analytic functions. It implies that the line integral of an analytic function between two points is path independent within a simply connected domain.

Fundamental Results:

• Independence of Path: If $f(z)$ is analytic in a simply connected domain $D$, the integral $f(z)$ depends only on the endpoints, not the path taken.
• Contour Deformation: If $C_1$ and $C_2$ are two contours in a simply connected domain where $f(z)$ is analytic, then $\int_{C_1} f(z) dz = \int_{C_2} f(z) dz$.

Cauchy’s Integral Formula

This remarkable formula shows that the value of an analytic function at any point inside a contour is completely determined by its values on the contour itself.

Let $f(z)$ be analytic in a simply connected domain $D$ and let $C$ be a simple closed contour within $D$. If $z_0$ is any point inside $C$, then: $f(z_0) = \dfrac{1}{2\pi i} \oint_C \dfrac{f(z)}{z-z_0} dz$

Derivation Sketch: The function $\dfrac{f(z)}{z-z_0}$ is analytic everywhere inside $C$ except at $z=z_0$. By deforming the contour $C$ to a small circle $C_\epsilon$ of radius $\epsilon$ around $z_0$, Cauchy's theorem implies $\oint_C = \oint_{C_\epsilon}$. We then parameterize the integral over $C_\epsilon$ as $z = z_0 + \epsilon e^{i\theta}$ and take the limit as $\epsilon \to 0$, which yields the result.

Derivatives of Analytic Functions

A stunning consequence of Cauchy's formula is that if a function is analytic, it is infinitely differentiable. The derivatives can also be expressed as integrals: $f^{(n)}(z_0) = \dfrac{n!}{2\pi i} \oint_C \dfrac{f(z)}{(z-z_0)^{n+1}} dz$ This is derived by formally differentiating Cauchy's integral formula with respect to $z_0$ under the integral sign.

Key Theorems from Cauchy's Integral Theory

Cauchy's formulas lead to several powerful theorems about the nature of analytic functions.

• Cauchy's Inequality: This provides an upper bound on the magnitude of the derivatives of an analytic function.

  If $f(z)$ is analytic inside and on a circle $C$ of radius $R$ centered at $z_0$, and if $|f(z)| \le M$ for all $z$ on $C$, then: $|f^{(n)}(z_0)| \le \dfrac{n!M}{R^n}$

  Derivation: We start with the formula for the $n^{th}$ derivative and take its magnitude: $|f^{(n)}(z_0)| = \left|\dfrac{n!}{2\pi i} \oint_C \dfrac{f(z)}{(z-z_0)^{n+1}} dz\right|$. Using the ML-inequality for contour integrals, which states $|\oint_C g(z)dz| \le (\text{max of } |g(z)| \text{ on C}) \times (\text{Length of C})$, we have: $|f^{(n)}(z_0)| \le \dfrac{n!}{|2\pi i|} \left(\max_{z \text{ on } C} \left|\dfrac{f(z)}{(z-z_0)^{n+1}}\right|\right) (2\pi R)$. On the circle $C$, $|f(z)| \le M$ and $|z-z_0|=R$. Also, $|2\pi i| = 2\pi$. $|f^{(n)}(z_0)| \le \dfrac{n!}{2\pi} \left(\dfrac{M}{R^{n+1}}\right) (2\pi R)$, which simplifies to the result.

• Liouville’s Theorem: This theorem places a strong restriction on functions that are analytic everywhere.

  If a function $f(z)$ is entire (analytic in the entire complex plane) and bounded (i.e., there exists a constant $M$ such that $|f(z)| \le M$ for all $z$), then $f(z)$ must be a constant function.

  Derivation: We use Cauchy's inequality for the first derivative ($n=1$) at any point $z_0$: $|f'(z_0)| \le \dfrac{1!M}{R^1} = \dfrac{M}{R}$. Since $f(z)$ is entire and bounded, this inequality holds for a circle of any radius $R$ centered at $z_0$. We can let $R$ become arbitrarily large ($R \to \infty$). As $R \to \infty$, the term $M/R \to 0$.

This means $|f'(z_0)|$ must be less than or equal to a value that can be made arbitrarily small. The only non-negative number with this property is 0. Thus, $|f'(z_0)|=0$, which implies $f'(z_0)=0$ for any arbitrary point $z_0$. Since the derivative is zero everywhere, the function $f(z)$ must be constant.

• Morera’s Theorem: This theorem provides a partial converse to Cauchy's Integral Theorem.

  If a function $f(z)$ is continuous in a simply connected domain $D$ and if $\oint_C f(z) dz = 0$ for every simple closed contour $C$ in $D$, then $f(z)$ is analytic in $D$.

  Proof Sketch: The condition $\oint_C f(z) dz = 0$ implies that the line integral $\int f(z)dz$ is path-independent in $D$. This allows us to define an unambiguous antiderivative function $F(z) = \int_{z_0}^z f(\zeta) d\zeta$. It can then be shown that this function $F(z)$ is analytic and that its derivative is $F'(z) = f(z)$. Since the derivative of an analytic function is also analytic, it follows that $f(z)$ itself must be analytic.

---

Infinite Series in the Complex Plane

Sequences, Series, and Convergence

Concepts of convergence for sequences and series of complex numbers are analogous to those for real numbers, but using the modulus for distance.

• A sequence $\{z_n\}$ converges to $L$ if for any $\epsilon > 0$, there exists an $N$ such that $|z_n - L| < \epsilon$ for all $n>N$.
• Theorems:
  • Sequences of the Real and the Imaginary Parts: A sequence of complex numbers $z_n = x_n + iy_n$ converges to $c = a + ib$ if and only if the real parts $x_n \to a$ and the imaginary parts $y_n \to b$.
  • Real and Imaginary Parts: A series of complex numbers $z_n = x_n + iy_n$ converges and has a sum $S = a + ib$ if and only if the series of real parts $\sum x_n$ converges to $a$ and the series of imaginary parts $\sum y_n$ converges to $b$.
  • Divergence: If a series $\sum z_n$ converges, then $\lim_{n \to \infty} z_n = 0$. Hence, if this does not hold, the series diverges.
  • Cauchy’s Convergence Principle for Series: A series $\sum z_n$ is convergent if and only if for every $\epsilon > 0$, there exists an $N$ such that for all $m > n \geq N$, we have: $| \sum_{k=n}^m z_k | \lt \epsilon$
  • Absolute Convergence: A series $\sum z_n$ converges absolutely if $\sum |z_n|$ converges. If a series converges absolutely, it converges unconditionally, meaning the order of summation does not affect convergence.
• Convergence Tests:
  • Ratio Test: For a series $\sum a_n$, if $\lim_{n \to \infty} |a_{n+1}/a_n| = L < 1$, the series converges absolutely. If $L > 1$, it diverges. If $L = 1$, the test is inconclusive.
  • Root Test: For a series $\sum a_n$, if $\limsup_{n \to \infty} |a_n|^{1/n} = L < 1$, the series converges absolutely. If $L > 1$, it diverges. If $L = 1$, the test is inconclusive.
  • Comparison Test: If $0 \leq |a_n| \leq b_n$ for all $n$ and $\sum b_n$ converges, then $\sum a_n$ converges.

Power Series

A power series in the complex plane is an infinite series of the form: $\sum_{n=0}^\infty a_n (z-z_0)^n$ Every complex power series has a radius of convergence $R$. The series converges absolutely for all $z$ inside the circle $|z-z_0|<R$ and diverges for all $z$ outside this circle ($|z-z_0|>R$).

Cauchy-Hadamard Theorem: The radius of convergence $R$ can be determined by: $\dfrac{1}{R} = \limsup_{n \to \infty} |a_n|^{1/n}$ The series converges absolutely for $|z-z_0| < R$ and diverges for $|z-z_0| > R$.

Theorems:

• Continuity of the Sum of a Power Series: If a function $f(z)$ can be represented by a power series with radius of convergence $R \gt 0$, then $f(z)$ is continuous at $z = 0$.
• Identity Theorem for Power Series: Let the power series $\sum_0^\infty a_nz^n$ and $\sum_0^\infty b_nz^n$ both be convergent for $|z| \lt R$, where R is positive, and let them both have the same sum for all these $z$. Then the series are identical, that is, $a_n = b_n$ for all $n \geq 0$. Hence if a function can be represented by a power series with any center $z_0$, this representation is unique.
• Termwise Differentiation of a Power Series: The derived series of a power series has the same radius of convergence as the original series. $\sum_{n=0}^\infty a_n (z-z_0)^n \text{ converges to } f(z) \implies \sum_{n=1}^\infty n a_n (z-z_0)^{n-1} \text{ converges to } f'(z)$
• Termwise Integration of a Power Series: The integral of a power series can be expressed as another power series with the same radius of convergence. $\sum_{n=0}^\infty a_n (z-z_0)^n \text{ converges to } f(z) \implies \int_{z_0}^z \sum_{n=0}^\infty a_n (w-z_0)^n dw = \sum_{n=0}^\infty \dfrac{a_n}{n+1} (z-z_0)^{n+1} + C$
• Analyticity of Power Series: A power series is analytic within its radius of convergence. This means it can be differentiated and integrated term by term, and it converges uniformly on any compact subset of the disk of convergence.

Taylor and Maclaurin Series

One of the most important results of complex analysis is that any function $f(z)$ that is analytic at a point $z_0$ can be represented by a power series, its Taylor series, centered at $z_0$: $f(z) = \sum_{n=0}^\infty a_n (z-z_0)^n, \quad \text{where } a_n = \dfrac{f^{(n)}(z_0)}{n!}$ A Maclaurin series is a Taylor series centered at $z_0=0$.

Taylor's Theorem: If $f(z)$ is analytic in a domain $D$ and let $z = z_0$ be any point in $D$, then there exists precisely one Taylor series with center $z_0$ that represents $f(z)$. Moreover, if $f(z)$ is analytic in the closed disk $|z - z_0| \leq r \subset D$, and if $M = \max_{|w - z_0| = r} |f(w)|$, then for any $z$ with $|z - z_0| < r$, the remainder after $N$ terms satisfies: $\left| f(z) - \sum_{n=0}^{N} a_n(z - z_0)^n \right| \leq \dfrac{M}{r^{N+1}} |z - z_0|^{N+1}$ where $M$ is the maximum of $|f(z)|$ on a circle $|z-z_0| = r$ in D whose interior is also in D.

• A power series with a nonzero radius of convergence is the Taylor series of its sum.
• Important Taylor Series:
  • $\dfrac{1}{1-z} = \sum_{n=0}^\infty z^n$ for $|z| < 1$
  • $e^z = \sum_{n=0}^\infty \dfrac{z^n}{n!}$
  • $\sin z = \sum_{n=0}^\infty (-1)^n \dfrac{z^{2n+1}}{(2n+1)!}$
  • $\cos z = \sum_{n=0}^\infty (-1)^n \dfrac{z^{2n}}{(2n)!}$
  • $\sinh z = \sum_{n=0}^\infty \dfrac{z^{2n+1}}{(2n+1)!}$
  • $\cosh z = \sum_{n=0}^\infty \dfrac{z^{2n}}{(2n)!}$
  • $\ln(1+z) = \sum_{n=1}^\infty (-1)^{n-1} \dfrac{z^n}{n}$ for $|z| < 1$

Uniform Convergence

Uniform convergence is a stronger type of convergence for a series of functions. It ensures that properties like continuity and integrability can be interchanged with the limit process (e.g., the integral of the sum is the sum of the integrals). Power series converge uniformly within any closed disk strictly inside their circle of convergence.

A series with sum $s(z)$ is called uniformly convergent in a region $G$ if for every $\epsilon > 0$, we can find an $N = N(\epsilon)$, not depending on z, such that for all $n > N(\epsilon)$ and all $z$ in $G$. $| s_n(z) - s(z)| < \epsilon$ Uniformity of convergence is thus a property that always refers to an infinite set in the $z$-plane, that is, a set consisting of infinitely many points.

Properties:

• A power series with a nonzero radius of convergence $R$ is uniformly convergent in every circular disk $|z - z_0| \le r$ of radius $r < R$.
• Let the series $\sum_{n=0}^\infty f_n(z)$ converge uniformly to $f(z)$ in a region $G$. Then if each $f_n(z)$ is continuous, then $f(z)$ is continuous in $G$.
• Weierstrass M-test: If $|f_n(z)| \le M_n$ for all $z$ in a region $G$, and $\sum_{n=0}^\infty M_n$ converges, then $\sum_{n=0}^\infty f_n(z)$ converges uniformly in $G$.

---

Laurent Series and Residue Calculus

Laurent Series

What if a function is not analytic at a point $z_0$? The Laurent series generalizes the Taylor series for such cases. If $f(z)$ is analytic in an annulus (a ring-shaped region) $R_1 < |z-z_0| < R_2$, it can be represented by a series that includes negative powers of $(z-z_0)$: $f(z) = \sum_{n=-\infty}^\infty a_n (z-z_0)^n = \dots + \dfrac{a_{-2}}{(z-z_0)^2} + \dfrac{a_{-1}}{z-z_0} + a_0 + a_1(z-z_0) + \dots$ The part with negative powers is called the principal part.

Laurent's Theorem: If $f(z)$ is analytic in an annulus $R_1 < |z-z_0| < R_2$, then it can be expressed as a Laurent series centered at $z_0$: $f(z) = \sum_{n=0}^\infty a_n (z-z_0)^n + \sum_{n=1}^\infty \dfrac{b_n}{(z-z_0)^n}$ where the first series converges for $|z-z_0| < R_2$ and the second series converges for $|z-z_0| > R_1$.

• Convergence: The Laurent series converges in the annulus $R_1 < |z-z_0| < R_2$. Inside this annulus, the series converges to the function $f(z)$.
• Uniqueness: The coefficients $a_n$ and $b_n$ are uniquely determined by the function $f(z)$.
• Analyticity: The function $f(z)$ is analytic in the annulus, except possibly at isolated singularities.

Singularities and Zeros

• Singularity: A point where a function is not analytic.
  • Isolated Singularity: A singularity $z_0$ that has a neighborhood containing no other singularities.
    • Removable Singularity: The principal part of the Laurent series is zero.
    • Pole of order $m$: The principal part has a finite number of terms, with the highest power being $(z-z_0)^{-m}$.
    • Essential Singularity: The principal part has infinitely many terms.
• Poles: If $f(z)$ is analytic and has a pole at $z = z_0$, then $|f(z)| \to \infty$ as $z \to z_0$ in any manner.
• Zeroes: The zeros of an analytic function $f(Z)$ are isolated; i.e., each of them has a neighborhood that contains no further zeros of $f(z)$.
• Poles & Zeroes: Let $f(z)$ be analytic at $z = z_0$ and have a zero of nth order at $z=z_0$. Then $1/f(z)$ has a pole of nth order at $z = z_0$ and so does $h(z)/f(z)$ provided $h(z)$ is analytic at $z = z_0$ and $h(z_0) \neq 0$.
• The Point at Infinity: We can analyze the behavior of $f(z)$ at infinity by studying the behavior of $f(1/w)$ at $w=0$.

Picard's Theorem: If $f(z)$ is analytic and has an isolated essential singularity at a point $z_0$, it takes on

every value, with at most one exceptional value, in an arbitrarily small $\epsilon$-neighborhood of $z_0$.

Residue Integration Method

• Residue: The coefficient $a_{-1}$ in the Laurent series expansion of $f(z)$ around an isolated singularity $z_0$ is called the residue of $f(z)$ at $z_0$, denoted $\text{Res}(f, z_0)$.
• Cauchy's Residue Theorem: This is a powerful generalization of Cauchy's integral theorem.

  If $C$ is a simple closed positively oriented contour and $f$ is analytic inside and on $C$ except for a finite number of isolated singularities $z_1, z_2, \ldots, z_k$ inside $C$, then:

  $\oint_C f(z) dz = 2\pi i \sum_{j=1}^k \text{Res}(f, z_j)$
• Calculating Residues:
  • At a simple pole $z_0$: $\text{Res}(f, z_0) = \lim_{z \to z_0} (z-z_0)f(z)$.
  • At a pole of order $m$: $\text{Res}(f, z_0) = \dfrac{1}{(m-1)!} \lim_{z \to z_0} \dfrac{d^{m-1}}{dz^{m-1}}[(z-z_0)^m f(z)]$.

Residue Integration of Real Integrals

Residue calculus provides a powerful method for evaluating certain types of difficult real integrals by transforming them into contour integrals in the complex plane. This includes improper integrals of rational functions over $(-\infty, \infty)$ and integrals of trigonometric functions over $[0, 2\pi]$.

$\int_{-\infty}^{\infty} f(x) cos sx dx = -2 \pi \sum \text{Im} \text{Res}(f(z)e^{isz})$ $\int_{-\infty}^{\infty} f(x) sin sx dx = 2 \pi \sum \text{Re} \text{Res}(f(z)e^{isz})$

---

Geometric Applications - Conformal Mapping

Analytic functions have a remarkable geometric property: they act as conformal maps.

• Conformal Mapping: A mapping (or function) is conformal if it preserves angles between intersecting curves, both in magnitude and orientation.
• Conformality of Mapping by Analytic Functions: The mapping $w=f(x)$ by an analytic function $f$ is conformal, except at critical points, i.e., points at which the derivativ $f'$ is zero.

Linear Fractional Transformations (Möbius Transformations)

These are functions of the form: $w = f(z) = \dfrac{az+b}{cz+d} \quad (ad-bc \neq 0)$

• Properties: LFTs are conformal everywhere. They have the unique property that they map the set of circles and lines to the set of circles and lines (a circle can map to a line and vice-versa).
• Special LFTs: Translation ($w=z+b$), rotation ($w=e^{i\alpha}z$), magnification ($w=az$), and inversion ($w=1/z$) are basic LFTs. Any general LFT is a composition of these.

Conformal Mapping by Other Functions

Functions like $w=z^2$, $w=e^z$, and $w=\sin z$ are also conformal (where their derivatives are non-zero) and are used to transform simple geometric regions into more complex ones, which is a powerful tool for solving boundary value problems in physics and engineering.

For example, to map horizontal lines in the $z$-plane to circles in the $w$-plane, and vertical lines to hyperbolas.

• Sine Function: $w = \sin z = \sin x \cosh y + i \cos x \sinh y$
• Cosine Function: $w = \cos z = \sin(z + \pi/2)$
• Hyperbolic Sine: $w = \sinh z = -i \sin(iz)$
• Hyperbolic Cosine: $w = \cosh z = \cos(iz)$

Riemann Surfaces

Multi-valued functions like $f(z)=\sqrt{z}$ or $f(z)=\ln z$ present a challenge. The concept of a Riemann surface resolves this by imagining the function's domain not as a flat plane, but as a multi-layered surface where each "sheet" or "branch" corresponds to a single value of the function. By moving from one sheet to another (e.g., by circling a branch point like the origin for $\sqrt{z}$), one can navigate the function in a way that makes it single-valued and continuous.

---

Potential Theory - Connecting to Physics

There is a deep and fruitful connection between complex analysis and potential theory, the study of harmonic functions.

• Harmonic Functions: As established, the real and imaginary parts of any analytic function are harmonic (they satisfy Laplace's equation $\nabla^2 u = 0$). Conversely, any harmonic function in a simply connected domain is the real part of some analytic function. These are fundamental in electrostatics (electric potential), steady-state heat flow (temperature), and ideal fluid flow (velocity potential). Let $\phi(x,y)$ be harmonic in a domain containing a simply connected bounded region $R$ and its boundary curve $C$. Then:
  • (Maximum principle) If $\phi(x,y)$ is not constant, it has neither a maximum nor a minimum in $R$. Consequently, the maximum and the minimum are taken on the boundary of $R$.
  • If $\phi(x,y)$ is constant on $C$, then $\phi(x,y)$ is a constant.
  • If $h(x,y)$ is harmonic in R and on C and if $h(x,y) = \phi(x,y)$ on C, then $h(x, y) = \phi(x, y)$ everywhere in R.
• Uniqueness Theorem for the Dirichlet Problem: A Dirichlet problem seeks a harmonic function within a region that takes on specified values on the boundary of that region.

  The Uniqueness Theorem states that If for a given region and given boundary values the Dirichlet problem for the Laplace equation in two variables has a solution, the solution is unique.

This is critically important in physics, as it guarantees that if we can find one solution to Laplace's equation that satisfies the boundary conditions (e.g., specified voltages on conductors), then it is the only solution.

---

Key Takeaways: The Elegance and Power of Complex Analysis

Complex analysis provides a remarkably powerful and elegant extension of calculus, revealing deep connections and providing potent tools for problem-solving.

• Analytic Functions are Central: The concept of a differentiable complex function (an analytic function) is the core of the subject. The stringent condition of differentiability in the complex plane means these functions are incredibly well-behaved.
• Cauchy's Theorems are a Game-Changer: Cauchy's Integral Theorem and Formula are foundational. They show that an analytic function's behavior inside a region is completely determined by its values on the boundary, leading to the stunning result that analytic functions are infinitely differentiable.
• Series and Singularities: Analytic functions can be represented by Taylor series. For functions with singularities, Laurent series provide a powerful generalization, and the behavior at these singularities can be classified.
• Residue Calculus as a Computational Tool: The Residue Theorem simplifies the evaluation of complex contour integrals to an algebraic calculation of residues, providing a surprisingly effective method for solving difficult real-world integrals.
• Geometric Insight through Conformal Mapping: Analytic functions provide angle-preserving maps, which are invaluable for transforming complex geometries into simpler ones, a key technique for solving problems in physics and engineering involving Laplace's equation.
• A Bridge to Potential Theory: The real and imaginary parts of analytic functions are harmonic, directly linking complex analysis to electrostatics, heat flow, and fluid dynamics, where potential theory is paramount.

The study of complex analysis reveals a world of mathematical beauty and profound connections, offering a deeper understanding of functions and their applications across science.