Complex Analysis

Complex Numbers

1. Representation of complex numbers: $$z = r\cdot e^{i\theta} = r(\cos\theta +i\cdot \sin\theta)$$
2. Elementary functions
   1. Exponential function: $e^z = e^x(\cos y + i \sin y)$
      1. $e^z$ is merely shorthand for $\exp z$ and does not imply exponentiation.
      2. $|e^z| = e^x$, $\text{Arg}(e^z) = y + 2k\pi$
   2. Logarithmic function: $\text{Ln}\,z = \ln|r| + i\,\text{Arg}\,z$
      1. The function is analytic everywhere except at the origin and the negative real axis, and $(\text{Ln}\,z)' = \frac{1}{z}$.
   3. Trigonometric functions
      1. $\cos z = \frac{e^{iz} + e^{-iz}}{2}$, $\sin z = \frac{e^{iz} - e^{-iz}}{2i}$
      2. $\text{ch}\,z = \frac{e^z + e^{-z}}{2}$, $\text{sh}\,z = \frac{e^z - e^{-z}}{2}$

Analytic Functions

1. Definition of differentiability:
   $$\lim_{\Delta z \to 0} \frac{f(z_0 + \Delta z) - f(z_0)}{\Delta z} \text{ exists, then } f(z) \text{ is differentiable at } z_0.$$
2. Definition of analyticity:
   $$f(z) \text{ is analytic at } z_0 \text{ if it is differentiable at } z_0 \text{ and in some neighborhood of } z_0.$$
   Corollary: The sum, difference, product, and quotient of analytic functions are also analytic. The composition of analytic functions is analytic.
3. Necessary and sufficient conditions for differentiability and analyticity:
   $u(x, y)$ and $v(x, y)$ are differentiable and satisfy the Cauchy-Riemann equations:
   $$\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}.$$
   If either condition fails, the function is neither differentiable nor analytic.
   Corollary:
   $$f'(z) = \frac{\partial u}{\partial x} + i \frac{\partial v}{\partial x} = \frac{1}{i} \frac{\partial u}{\partial y} + \frac{\partial v}{\partial y}.$$

Complex Integration

Key Formula

$$\oint_{|z - z_0| = r} \frac{1}{(z - z_0)^n} dz = \begin{cases} 2\pi i, & n = 1 \\ 0, & n \neq 1 \end{cases}$$

1. Cauchy-Goursat Theorem
   For a simply connected, analytic region, the integral over any closed contour is zero:
   $$\oint_C f(z) dz = 0.$$
2. Composite Contour Theorem—Extension to multiply connected regions
   Let $C$ be a simple closed curve in an analytic, multiply connected region, and $C_1, C_2, \dots, C_n$ be simple closed curves inside $C$ with the same orientation. Then:
   $$\oint_C f(z) dz = \sum_{k=1}^n \oint_{C_k} f(z) dz.$$
3. Cauchy Integral Formula—Expressing the value of a function inside a contour in terms of its boundary values
   If $f(z)$ is analytic in a region $D$ and $C$ is a positively oriented simple closed curve in $D$:
   $$2\pi i \cdot f(z_0) = \oint_C \frac{f(z)}{z - z_0} dz.$$
4. Generalized Cauchy Integral Formula—Using higher-order derivatives to compute integrals
   $$f^{(n)}(z_0) = \frac{n!}{2\pi i} \oint_C \frac{f(z)}{(z - z_0)^{n+1}} dz.$$

Series

Power Series

1. Two properties of analytic functions
   1. Analytic functions have derivatives of all orders.
   2. Every analytic function can be represented by a power series.
2. Taylor expansion:
   $$f(z) = \sum_{n=0}^\infty \frac{f^{(n)}(0)}{n!} z^n.$$
3. Methods for finding Taylor expansions [[Advanced Mathematics#Expansion of Functions into Power Series]]

Laurent Series

1. Bilateral power series
   1. The region of convergence is an annulus $R_1 \lt |z - z_0| \lt R_2$.
2. Laurent expansion:
   $$f(z) = \sum_{n=-\infty}^\infty c_n (z - z_0)^n, \quad c_n = \frac{1}{2\pi i} \oint_C \frac{f(z)}{(z - z_0)^{n+1}} dz.$$
   Corollary: When $n = -1$, $c_{-1} \cdot 2\pi i = \oint_C f(z) dz$.
3. Methods for finding Laurent expansions
   1. Compute $c_n$ directly using the definition (rarely used).
   2. Use algebraic operations or substitutions to transform the Laurent series into the form and convergence domain of a Taylor series.

Residues

Isolated Singularities

1. Definition: $f(z)$ is not analytic at $z_0$ but is analytic in some punctured neighborhood of $z_0$.
2. Classification of isolated singularities (based on negative power terms in the Laurent series)
   1. Removable singularity: No negative power terms. As $z \to z_0$, $f(z)$ approaches a finite limit.
   2. Pole: Finite number of negative power terms (if there are $m$ such terms, $z_0$ is called an $m$-th order pole). As $z \to z_0$, $f(z) \to \infty$.
   3. Essential singularity: Infinite number of negative power terms. The limit of $f(z)$ does not exist.
3. Relationship between poles and zeros
   1. Definition of zeros: For a non-zero analytic function $f(z)$, if it can be expressed as $f(z) = (z - z_0)^m \varphi(z)$, then $z_0$ is called an $m$-th order zero of $f(z)$.
      Necessary and sufficient condition: $f^{(n)}(z_0) = 0$ for $n \lt m$, and $f^{(m)}(z_0) \neq 0$.
   2. If $z_0$ is an $m$-th order zero of $f(z)$, then $z_0$ is an $m$-th order pole of $\frac{1}{f(z)}$.

Residues

1. Definition:
   $$\text{Res}[f(z), z_0] = c_{-1} = \frac{1}{2\pi i} \oint_C f(z) dz.$$
2. Rules for computing residues
   1. If $z_0$ is a simple pole of $f(z)$:
      $$\text{Res}[f(z), z_0] = \lim_{z \to z_0} (z - z_0) f(z).$$
   2. If $z_0$ is an $m$-th order pole of $f(z)$:
      $$\text{Res}[f(z), z_0] = \frac{1}{(m-1)!} \lim_{z \to z_0} \frac{d^{m-1}}{dz^{m-1}} \left( (z - z_0)^m f(z) \right).$$
   3. If $f(z) = \frac{P(z)}{Q(z)}$, where $P(z_0) \neq 0$, $Q(z_0) = 0$, and $Q'(z_0) \neq 0$:
      $$\text{Res}[f(z), z_0] = \frac{P(z_0)}{Q'(z_0)}.$$

$$\text{Res}[f(z), \infty] = -\text{Res}\left[ f\left( \frac{1}{z} \right) \cdot \frac{1}{z^2}, 0 \right].$$