Unit 3: Complex Variables and Integral Transforms: Comprehensive Study Guide

Complex Variables

Analytic Functions

A function f(z) is said to be analytic (or holomorphic, or regular) at a point z₀ if it is differentiable not only at z₀ but also at every point in some neighborhood of z₀.

A function is analytic in a domain D if it is analytic at every point in D.

Analytic functions are central to complex analysis. They possess remarkable properties, such as being infinitely differentiable and representable by power series.

Cauchy-Riemann Conditions

For a complex function f(z) = u(x, y) + i v(x, y) to be analytic at a point z = x + iy, its real part u and imaginary part v must satisfy the Cauchy-Riemann (C-R) conditions at that point.

Cartesian Form:
∂u/∂x = ∂v/∂y
∂u/∂y = -∂v/∂x

Observation: If the C-R conditions are satisfied and the first-order partial derivatives (∂u/∂x, ∂u/∂y, ∂v/∂x, ∂v/∂y) are continuous in a neighborhood of z, then f(z) is analytic at z.

Polar Form (z = re^iθ):
∂u/∂r = (1/r)∂v/∂θ
∂v/∂r = -(1/r)∂u/∂θ

Cauchy Integral Theorem

This theorem is fundamental for the integration of analytic functions.

Cauchy Integral Theorem: If a function f(z) is analytic at all points inside and on a simple closed contour C, then the integral of f(z) around C is zero.
∫_C f(z) dz = 0

Simply Connected Region: A region is simply connected if every simple closed curve within it encloses only points that are also in the region. Intuitively, it has no 'holes'.

Multiply Connected Region: A region is multiply connected if it is not simply connected; it contains one or more 'holes'.

Cauchy Integral Theorem for Multiply Connected Regions: If f(z) is analytic in a multiply connected region R bounded by an outer contour C and inner contours C₁, C₂, ..., C_n, then the integral around C is equal to the sum of the integrals around C₁, C₂, ..., C_n (all traversed in the same direction, typically counter-clockwise).
∫_C f(z) dz = ∑_k=1ⁿ ∫_Ck f(z) dz

Cauchy Integral Formula

This formula provides a way to evaluate an analytic function at any interior point of a simple closed contour, given its values on the contour itself.

Cauchy Integral Formula: If f(z) is analytic inside and on a simple closed contour C, and a is any point inside C, then:
f(a) = (1 / 2πi) ∫_C [f(z) / (z - a)] dz

Generalization for Derivatives: The Cauchy Integral Formula can be extended to find the n-th derivative of f(z) at point 'a'.

f⁽ⁿ⁾(a) = (n! / 2πi) ∫_C [f(z) / (z - a)ⁿ⁺¹] dz

This formula highlights that an analytic function is infinitely differentiable and its derivatives are also analytic.

Taylor and Laurent Series

These series provide powerful tools for representing complex functions as infinite sums.

Taylor Series

If f(z) is analytic inside a circle C with center z₀ and radius R, then for every point z inside C, f(z) can be represented by the Taylor series:
f(z) = ∑_n=0^∞ [f⁽ⁿ⁾(z₀) / n!] (z - z₀)ⁿ
This series converges within the disk |z - z₀| < R.

Example: The Taylor series for e^z around z₀ = 0 is e^z = ∑_n=0^∞ zⁿ / n!.

Laurent Series

When a function is not analytic at a point but is analytic in an annular region around that point, the Laurent series is used.

If f(z) is analytic in an annular region R₁ < |z - z₀| < R₂, then for every point z in this region, f(z) can be represented by the Laurent series:
f(z) = ∑_n=-∞^∞ a_n (z - z₀)ⁿ = ∑_n=0^∞ a_n (z - z₀)ⁿ + ∑_n=1^∞ b_n / (z - z₀)ⁿ
where a_n = (1 / 2πi) ∫_C [f(z) / (z - z₀)ⁿ⁺¹] dz and b_n = a_-n = (1 / 2πi) ∫_C [f(z) / (z - z₀)^-n+1] dz.

The term ∑_n=0^∞ a_n (z - z₀)ⁿ is called the analytic part or regular part, and ∑_n=1^∞ b_n / (z - z₀)ⁿ is called the principal part.

Poles

An isolated singular point z₀ of a function f(z) is a point where f(z) is not analytic, but there exists a punctured disk 0 < |z - z₀| < R within which f(z) is analytic.

Types of Isolated Singular Points:

• Removable Singularity: If lim_z→z0 f(z) exists and is finite. The Laurent series around z₀ has no principal part (no negative powers).
• Pole: If lim_z→z0 f(z) = ∞. The Laurent series around z₀ has a finite number of negative power terms. The highest negative power of (z - z₀) determines the order of the pole. For example, if (z - z₀)^-m is the highest negative power, z₀ is a pole of order m. A pole of order 1 is called a simple pole.
• Essential Singularity: If lim_z→z0 f(z) does not exist. The Laurent series around z₀ has an infinite number of negative power terms.

How to find Poles: For a rational function P(z)/Q(z), poles occur at the zeros of the denominator Q(z) that are not zeros of the numerator P(z).

Residue Theorem

The residue theorem is a powerful tool for evaluating complex integrals, especially those involving isolated singularities.

Residue at an Isolated Singularity: The residue of a function f(z) at an isolated singular point z₀, denoted as Res[f(z), z₀], is the coefficient of (z - z₀)^-1 (i.e., b₁) in the Laurent series expansion of f(z) around z₀.

Formulas for Residues:

• For a Simple Pole (order 1) at z₀:
  Res[f(z), z₀] = lim_z→z0 [(z - z₀) f(z)]
• For a Pole of Order m at z₀:
  Res[f(z), z₀] = (1 / (m-1)!) lim_z→z0 {d^m-1/dz^m-1 [(z - z₀)^m f(z)]}

Residue Theorem: If f(z) is analytic inside and on a simple closed contour C, except for a finite number of isolated singularities z₁, z₂, ..., z_n inside C, then:
∫_C f(z) dz = 2πi ∑_k=1ⁿ Res[f(z), z_k]

Evaluation of Integrals

Complex integration techniques are often used to evaluate real definite integrals.

Using Cauchy Integral Formula:

Integrals of the form ∫_C [f(z) / (z - a)ⁿ⁺¹] dz can be directly evaluated if f(z) is analytic inside and on C and 'a' is inside C, using the formula: ∫_C [f(z) / (z - a)ⁿ⁺¹] dz = (2πi / n!) f⁽ⁿ⁾(a).

Using Residue Theorem:

This is particularly useful for evaluating real integrals of the form ∫_-∞^∞ f(x) dx or ∫₀^2π F(cosθ, sinθ) dθ.

1. Identify the function f(z) and the contour C (usually a semicircle in the upper half-plane for integrals from -∞ to ∞, or a unit circle for trigonometric integrals).
2. Find all isolated singularities (poles) of f(z) that lie inside the chosen contour C.
3. Calculate the residue of f(z) at each of these poles.
4. Apply the Residue Theorem: ∫_C f(z) dz = 2πi ∑(Residues inside C).
5. Relate the complex integral to the desired real integral.

Integral Transforms

Fourier Transforms and its Applications

The Fourier Transform (FT) is an integral transform that converts a function of a real variable (often time, t) to a function of a complex variable (frequency, ω or ν). It decomposes a function into its constituent frequencies.

Fourier Transform of f(t):
F(ω) = ℱ{f(t)} = ∫_-∞^∞ f(t) e^-iωt dt

Inverse Fourier Transform of F(ω):
f(t) = ℱ^-1{F(ω)} = (1 / 2π) ∫_-∞^∞ F(ω) e^iωt dω

Applications: Fourier transforms are widely used in signal processing (e.g., audio and image compression, filtering), solving differential equations, quantum mechanics, and spectroscopy.

Convolution Theorem (Fourier)

The convolution theorem states that the Fourier transform of a convolution of two functions is the product of their individual Fourier transforms.

Convolution of f(t) and g(t):
(f * g)(t) = ∫_-∞^∞ f(τ) g(t - τ) dτ

Convolution Theorem:
ℱ{(f * g)(t)} = F(ω) G(ω)
This means convolution in the time domain becomes multiplication in the frequency domain.

Significance: This theorem simplifies the analysis of linear time-invariant (LTI) systems, where the output is the convolution of the input and the system's impulse response.

Parseval’s Relation (Fourier)

Parseval's relation (or theorem) relates the energy of a signal in the time domain to its energy in the frequency domain.

Parseval's Relation:
∫_-∞^∞ |f(t)|² dt = (1 / 2π) ∫_-∞^∞ |F(ω)|² dω

Significance: It implies the conservation of energy, meaning that the total energy of a signal is the same whether computed in the time domain or the frequency domain.

Laplace Transforms

The Laplace Transform (LT) is an integral transform that converts a function of a real variable t (often time) to a function of a complex variable s (complex frequency). It's particularly useful for solving linear differential equations with constant coefficients.

Laplace Transform of f(t):
L{f(t)} = F(s) = ∫₀^∞ e^-st f(t) dt

The integral converges for Re(s) > α, where α is the abscissa of convergence. The function f(t) must be piecewise continuous and of exponential order.

Laplace Transform of Common Functions:

Laplace Transform of Derivatives

One of the most powerful properties of the Laplace Transform is its ability to convert differentiation into multiplication in the s-domain, greatly simplifying differential equations.

Laplace Transform of First Derivative:
L{f'(t)} = sF(s) - f(0)

Laplace Transform of Second Derivative:
L{f''(t)} = s²F(s) - sf(0) - f'(0)

Laplace Transform of n-th Derivative:
L{f⁽ⁿ⁾(t)} = sⁿF(s) - s^n-1f(0) - s^n-2f'(0) - ... - f^(n-1)(0)

Here, f(0), f'(0), etc., are the initial conditions of the function and its derivatives at t = 0.

Inverse Laplace Transform and Convolution Theorem (Laplace)

Inverse Laplace Transform

The Inverse Laplace Transform (ILT) converts a function from the s-domain back to the t-domain.

Inverse Laplace Transform of F(s):
f(t) = L^-1{F(s)}

Common methods for finding the ILT include:

• Using Tables: Directly recognizing F(s) from a table of Laplace transforms.
• Partial Fraction Decomposition: Breaking down complex F(s) into simpler fractions that can be found in tables.
• Using Properties: Applying linearity, shifting theorems, etc., in reverse.

Convolution Theorem for Laplace Transform

Similar to the Fourier transform, the Laplace transform also has a convolution theorem.

Convolution Theorem for Laplace Transform:
L{(f * g)(t)} = L{∫₀^t f(τ) g(t - τ) dτ} = F(s) G(s)

Significance: This theorem is crucial for finding the inverse Laplace transform of a product of two functions, especially when solving differential equations with forcing functions or in system analysis.

Use of Laplace’s Transform in Solving Differential Equations

The Laplace transform provides an algebraic method for solving linear ordinary differential equations (ODEs), especially initial value problems.

Step-by-Step Procedure:

1. Transform the ODE: Apply the Laplace transform to both sides of the differential equation. Use the linearity property and the Laplace transform of derivatives, incorporating initial conditions. This converts the ODE into an algebraic equation in the s-domain.
2. Solve for the Transformed Function: Algebraically solve the resulting s-domain equation for F(s) = L{y(t)}.
3. Find the Inverse Laplace Transform: Apply the inverse Laplace transform to F(s) to obtain the solution y(t) in the time domain. This often involves partial fraction decomposition or referring to Laplace transform tables.

Example (Conceptual): Consider a second-order linear ODE: y'' + 4y = e^t with initial conditions y(0) = 0, y'(0) = 1.

• Step 1: Transform.
  L{y'' + 4y} = L{e^t}
  s²Y(s) - sy(0) - y'(0) + 4Y(s) = 1 / (s - 1)
  s²Y(s) - s(0) - 1 + 4Y(s) = 1 / (s - 1)
  (s² + 4)Y(s) - 1 = 1 / (s - 1)
• Step 2: Solve for Y(s).
  (s² + 4)Y(s) = 1 + 1 / (s - 1) = s / (s - 1)
  Y(s) = s / [(s - 1)(s² + 4)]
• Step 3: Inverse Transform.
  Use partial fraction decomposition for Y(s) to express it as A/(s-1) + (Bs+C)/(s²+4). Then find the inverse Laplace transform of each term using tables.
  y(t) = L^-1{s / [(s - 1)(s² + 4)]}