Complex Analysis: Residues & Contour Integrals

Learning Goal: Master complex analysis from geometric foundations to advanced analytical techniques. By the end of this curriculum, you will understand the geometric behavior of holomorphic functions, verify and apply the Cauchy-Riemann equations, compute Laurent series, classify isolated singularities, and systematically evaluate real-valued integrals over semicircular and trigonometric contours using Cauchy’s residue theorem and conformal mapping.

• Prerequisites: Multivariable Calculus (partial derivatives, line integrals, Green's Theorem), Linear Algebra (linear transformations, determinants).
• Estimated Total Study Time: 18 Hours

Module 1: Foundations of Complex Numbers

This module establishes a deep geometric and algebraic foundation for complex numbers. You will move beyond treating $i = \sqrt{-1}$ as a mere algebraic trick to visualizing complex numbers as geometric transformations (scaling, rotation, and translation) in the complex plane (Argand diagram). You will derive Euler's formula and master the conversion between rectangular, polar, and exponential forms.

Recommended Videos

1. Understanding Euler's Formula | BetterExplained

Understanding Euler's Formula | BetterExplained

@betterexplained09:53136,250

Understanding Euler's Formula | BetterExplained

Euler's formula e^(ix) = cos(x) + i*sin(x) can be intuitively understood by viewing multiplication as a transformation (stretching or rotating numbers), exponential growth as continuous change, and imaginary numbers as rotation; when e is raised to an imaginary power, it doesn't grow but instead rotates around the unit circle, with the angle measured in radians representing the distance traveled along the circumference, allowing us to reach any point on the circle either through linear grid coor

@betterexplained · 09:53

• Why this video: It bridges the gap between algebraic manipulation and raw geometric intuition. By treating multiplication as scaling and rotation, this video explains how Euler's formula represents continuous, perpendicular growth that naturally traces out a unit circle in the complex plane.
• Knowledge Checkpoint:
  • Explain how multiplying by $i$ physically translates to a $90^\circ$ rotation in the Argand diagram.
  • Describe "perpendicular growth" and why it prevents a trajectory from growing outward, keeping it on a circular orbit.
  • Reconstruct the intuitive proof that links continuous compounding to circular rotation.

2. Complex Numbers and Euler's Formula | MIT Differential Equations

Complex Numbers and Euler's Formula | MIT Differential Equations

@mitocw11:30170,820

Complex Numbers and Euler's Formula | MIT Differential Equations

Complex numbers can be represented in rectangular form (a + ib) or polar form (r × e^(iθ)), where r is the modulus (√(a² + b²)) and θ is the phase angle (tan⁻¹(b/a)), with Euler's formula e^(iθ) = cos(θ) + i sin(θ) enabling conversion between these representations; this framework allows computation of complex operations like reciprocals and roots through manipulation of modulus and phase rather than direct algebraic manipulation.

@mitocw · 11:30

• Why this video: Hosted by MIT, this lecture provides the analytical rigor needed to connect complex arithmetic to differential equations. It defines the Cartesian form $a + ib$ and demonstrates how polar form $r e^{i\theta}$ simplifies multiplication, division, and exponentiation.
• Knowledge Checkpoint:
  • Compute the modulus $r = |z|$ and the argument $\theta = \arg(z)$ of an arbitrary complex number.
  • Convert a complex number from rectangular to exponential form ($r e^{i\theta}$) and vice versa.
  • Utilize Euler's formula to solve algebra problems involving high-power exponentiation of complex coordinates.

3. Complex Numbers 2 - Argand Diagram (Modulus and Conversion from one form to another)

Complex Numbers 2 - Argand Diagram (Modulus and Conversion from one form to another)

@jonahemmanuelofficial42:44123,247

Complex Numbers 2 - Argand Diagram (Modulus and Conversion from one form to another)

The modulus of a complex number z = a + ib is calculated as |z| = √(a² + b²), representing its distance from the origin. Complex numbers can be converted between rectangular form (a + ib), polar form (R(cosθ + i sinθ)), and Euler's form (Re^(iθ)) using R = √(a² + b²) and θ = tan⁻¹(b/a). The Argand diagram is a graphical representation where the x-axis represents the real part and the y-axis represents the imaginary part, allowing visualization of complex numbers in four quadrants based on the si

@jonahemmanuelofficial · 42:44

• Why this video: This video offers an extensive, highly practical walkthrough of working inside the Argand diagram. It details quadrant-by-quadrant adjustment for calculating arguments, which is a common source of mathematical errors for students.
• Knowledge Checkpoint:
  • Sketch any complex coordinate onto the Argand diagram and determine the correct quadrant-adjusted principal argument $\operatorname{Arg}(z) \in (-\pi, \pi]$.
  • Calculate the distance between two complex numbers using the complex modulus definition.

Module 2: Complex Functions and Holomorphic Properties

Here, you will transition from static complex numbers to mapping spaces through complex functions. You will define complex differentiability and realize why it is immensely more restrictive than real differentiability. You will master the Cauchy-Riemann (CR) equations, analyze their geometric implications, and learn to prove whether a function is holomorphic (analytic) or merely differentiable at a point.

Recommended Videos

1. The intuition and implications of the complex derivative

The intuition and implications of the complex derivative

@zachstar13:37221,135

The intuition and implications of the complex derivative

This comprehensive section develops the complete framework of complex analysis, beginning with why complex derivatives surpass real derivatives in revealing function properties. The video establishes a geometric visualization approach by separating input and output spaces rather than treating derivatives as tangent line slopes. For real functions, partial derivatives measure directional responses; for complex functions, derivatives combine magnitude (output scaling factor) and phase (angular dif

@zachstar · 13:37

• Why this video: It presents an outstanding visual and conceptual overview of why a complex derivative is far more rigid than a real derivative. It demonstrates how complex differentiability implies a localized linear transformation consisting of uniform scaling and rotation, leading directly to the Cauchy-Riemann equations.
• Knowledge Checkpoint:
  • Explain why a complex derivative requires the limit definition to yield the same result from any of the infinite directions of approach in the complex plane.
  • Describe how complex differentiability forces a function to act as a localized scale-and-rotate transformation.
  • State why the existence of a first derivative on an open region guarantees that a complex function has infinitely many derivatives (unlike real functions).

2. Complex Analysis 6 | Cauchy-Riemann Equations

Complex Analysis 6 | Cauchy-Riemann Equations

@brightsideofmaths12:3948,451

Complex Analysis 6 | Cauchy-Riemann Equations

The Cauchy-Riemann equations are two partial differential equations (∂u/∂x = ∂v/∂y and ∂u/∂y = -∂v/∂x) that must be satisfied by the real and imaginary parts u(x,y) and v(x,y) of a complex function f(z) = u + iv for it to be complex differentiable (holomorphic) at a point. These equations arise from the requirement that the Jacobian matrix of the corresponding real function f: ℝ²→ℝ² must represent complex multiplication, which imposes the specific symmetric structure [[a, -b], [b, a]] on the mat

@brightsideofmaths · 12:39

• Why this video: This video provides the explicit mathematical derivation of the Cauchy-Riemann equations. By decomposing $f(z)$ into real and imaginary components $u(x, y) + i v(x, y)$, it shows how equating the limits along the real and imaginary axes yields the classic partial differential equations: $u_x = v_y$ and $u_y = -v_x$.
• Knowledge Checkpoint:
  • Derive the Cauchy-Riemann equations from the limit definition of the derivative.
  • State the exact mathematical conditions under which satisfying the CR equations guarantees differentiability at a point (e.g., continuity of partial derivatives).
  • Define what it means for a function to be holomorphic (or analytic) on an open set.

3. Problem No.1 on Cauchy Riemann Equation in Cartesian Co-ordinates - Engineering Mathematics 3

Problem No.1 on Cauchy Riemann Equation in Cartesian Co-ordinates - Engineering Mathematics 3

@Ekeeda07:3446,316

Problem No.1 on Cauchy Riemann Equation in Cartesian Co-ordinates - Engineering Mathematics 3

Computing partial derivatives: ∂u/∂x = e^x(xcos y - ysin y) + e^x(xsin y + ycos y), ∂u/∂y = e^x(-xsin y - ycos y) + e^x(xcos y - ysin y), ∂v/∂x = e^x(xsin y + ycos y) + e^x(xcos y - ysin y), ∂v/∂y = e^x(xcos y - ysin y) - e^x(xsin y + ycos y). Verifying ∂u/∂x = ∂v/∂y and ∂u/∂y = -∂v/∂x confirms the Cauchy-Riemann equations are satisfied, proving f(z) is analytic.

@Ekeeda · 07:34

• Why this video: To address the first gap identified in review feedback, this video is a step-by-step tutorial verifying the CR equations with real calculus equations. It guides you through calculating partial derivatives of complex transcendental expressions to prove analyticity.
• Knowledge Checkpoint:
  • Verify if a given function $f(z) = u(x,y) + i v(x,y)$ satisfies the Cartesian CR equations: $\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}$ and $\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$.
  • Calculate partial derivatives of composite exponential and trigonometric terms with high accuracy.

4. Mod-02 Lec-04 Cauchy-Riemann Equations and Differentiability

Mod-02 Lec-04 Cauchy-Riemann Equations and Differentiability

@iit53:3944,451

Mod-02 Lec-04 Cauchy-Riemann Equations and Differentiability

In complex analysis, the Cauchy-Riemann equations (∂u/∂x = ∂v/∂y and ∂u/∂y = -∂v/∂x) are necessary but not sufficient conditions for a function f(z) = u + iv to be differentiable at a point. While they must be satisfied for differentiability, additional conditions are required to guarantee it. Specifically, if a function has continuous first-order partial derivatives throughout an open set D and satisfies the Cauchy-Riemann equations at a point z₀ in D, then f is differentiable at z₀. This theor

@iit · 53:39

• Why this video: This lecture dives deeply into the formal analysis of differentiability. It showcases pathological examples where the CR equations are satisfied at a point, yet the function fails to be differentiable due to discontinuous partial derivatives.
• Knowledge Checkpoint:
  • Construct an argument explaining why satisfying the CR equations is a necessary but not sufficient condition for complex differentiability.
  • Outline the proof of sufficiency of the Cauchy-Riemann equations when the partial derivatives are continuous.

Module 3: Complex Integration and Cauchy's Theorem

This module moves from differentiation to contour integration. You will learn to parameterize curves in the complex plane, compute line integrals, and master the core theorems of complex analysis: Cauchy's Integral Theorem (integrals over closed loops vanish for holomorphic functions) and Cauchy's Integral Formula (evaluating interior values using boundary integration).

Recommended Videos

1. Complex Analysis - Computing Line Integrals

Complex Analysis - Computing Line Integrals

@ritvikmath03:4922,307

Complex Analysis - Computing Line Integrals

The systematic approach to computing complex line integrals involves three essential steps: (1) Always draw the curve to visualize its shape and direction; (2) Parameterize the curve using γ(t) = starting point + (ending point - starting point) × t for line segments, with t ranging from 0 to 1; (3) Convert the line integral to a standard single-variable integral by substituting z = γ(t), so f(z) becomes f(γ(t)) and dz becomes γ'(t)dt. Then evaluate the resulting integral using standard calculus

@ritvikmath · 03:49

• Why this video: This video provides a streamlined, highly functional 3-step system to compute line integrals: drawing the curve, parameterizing the path using $\gamma(t)$, and converting the entire integral into a single real-variable integral in terms of $t$.
• Knowledge Checkpoint:
  • Parameterize straight lines, circles, and curves in the complex plane using $z(t) = x(t) + i y(t)$.
  • Set up and evaluate $\int_\gamma f(z) \, dz$ by substituting $dz = z'(t) \, dt$.

2. Complex integration, Cauchy and residue theorems | Essence of Complex Analysis #6

Complex integration, Cauchy and residue theorems | Essence of Complex Analysis #6

@mathemaniac07:05436,560

Complex integration, Cauchy and residue theorems | Essence of Complex Analysis #6

The Cauchy integral formula states f(a) = (1/2πi)∫γ [f(z)/(z-a)]dz for a inside γ. Shrinking γ toward a approximates f(z) ≈ f(a), yielding f(a) = (1/2πi)(2πi f(a)). Differentiating gives formulas for derivatives: f^(n)(a) = (n!/2πi)∫γ [f(z)/(z-a)^(n+1)]dz. This shows holomorphic functions are infinitely differentiable, with derivatives computable from boundary values alone—a hallmark of complex analysis.

@mathemaniac · 07:05

• Why this video: A beautifully produced animation explaining the physical and geometric intuition behind Cauchy's Integral Theorem. It shows how "shrinking" a contour around a holomorphic region yields zero, and how a contour wrapping around a single singularity isolates the "pole," laying the groundwork for residues.
• Knowledge Checkpoint:
  • State Cauchy's Integral Theorem and identify when a contour integral evaluates to zero.
  • Explain how Cauchy's Integral Formula, $f(a) = \frac{1}{2\pi i} \oint_\gamma \frac{f(z)}{z-a} \, dz$, retrieves the exact value of a function at an interior point using only its values on the boundary.
  • Explain how shrinking a contour towards a singularity $a$ isolates the term $\frac{1}{z-a}$.

3. Cauchy Integral Formula-Complex Integration | Group B&C GYMAT301 S3 Module3 KTU 2024 Scheme|Part9

Cauchy Integral Formula-Complex Integration | Group B&C GYMAT301 S3 Module3 KTU 2024 Scheme|Part9

@RVSMathsAcademy38:06108,664

Cauchy Integral Formula-Complex Integration | Group B&C GYMAT301 S3 Module3 KTU 2024 Scheme|Part9

The Cauchy Integral Formula states that for a function f(z) analytic inside and on a simple closed contour C, and a point a inside C, the integral ∮_C f(z)/(z-a) dz equals 2πi times f(a). If a lies outside C, the integral equals zero. The generalized formula for derivatives states that the nth derivative of f at a is given by f^(n)(a) = n!/(2πi) ∮_C f(z)/(z-a)^(n+1) dz. This formula allows evaluation of complex contour integrals by simply evaluating the function at the point a, and is fundamenta

@RVSMathsAcademy · 38:06

• Why this video: This is a comprehensive problem-solving session showing how to systematically evaluate integrals of the form $\oint_C \frac{g(z)}{z-a} \, dz$. It explicitly contrasts cases where the singularity $a$ lies inside vs. outside the contour.
• Knowledge Checkpoint:
  • Identify which singularities of an integrand lie inside a given closed curve $C$.
  • Apply Cauchy's Integral Formula to evaluate integrals where the denominator has simple poles inside the contour.
  • Use Cauchy's generalized formula for derivatives to evaluate integrals of the form $\oint_C \frac{g(z)}{(z-a)^{n+1}} \, dz$.

4. Mod-1 Lec-3 Cauchy's Integral Theorem

Mod-1 Lec-3 Cauchy's Integral Theorem

@iit49:4347,232

Mod-1 Lec-3 Cauchy's Integral Theorem

Cauchy's Integral Theorem states that if a function f(z) is analytic at all points interior to and on a simple closed contour C, then the contour integral ∮_C f(z) dz = 0. This theorem implies that for analytic functions in a simply connected domain, the integral is independent of the path connecting two points, and an antiderivative exists such that ∫_z1^z2 f(z) dz = F(z2) - F(z1), where F is the antiderivative of f.

@iit · 49:43

• Why this video: This video offers the analytical proof of Cauchy's Integral Theorem using Green's Theorem. It discusses topological properties of domains (simply connected vs. multiply connected) and path independence.
• Knowledge Checkpoint:
  • Distinguish between simply connected and multiply connected domains.
  • Prove Cauchy's Integral Theorem using Green's Theorem under the assumption that $f'(z)$ is continuous.
  • Deform a contour around multiple singularities without changing the value of the integral.

Module 4: Singularities Classification, Laurent Series, and Residues

This renamed and expanded module focuses on what happens when a function fails to be analytic at isolated points. You will learn to construct Laurent series (including negative powers) in concentric regions, rigorously classify isolated singularities (removable, poles, and essential), and compute the "residue" (the coefficient of the $1/z$ term) using direct limits and power series.

Recommended Videos

1. Singularities \Group B&C GYMAT301 S3 Module 4 KTU 2024 Scheme| S3 2019 Module 4 | Part 6

Singularities \Group B&C GYMAT301 S3 Module 4 KTU 2024 Scheme| S3 2019 Module 4 | Part 6

@RVSMathsAcademy32:43142,134

Singularities \Group B&C GYMAT301 S3 Module 4 KTU 2024 Scheme| S3 2019 Module 4 | Part 6

In complex analysis, singularities of a function f(z) are classified into three types based on the Laurent series expansion: (1) Removable singularities occur when the Laurent series contains only positive powers of (z - z₀), meaning the function can be redefined at that point to become analytic; (2) Poles occur when the Laurent series contains a finite number of negative powers, with the order of the pole equal to the highest negative exponent; (3) Essential singularities occur when the Laurent

@RVSMathsAcademy · 32:43

• Why this video: Direct-targeted at filling the second feedback gap, this video focuses entirely on classifying isolated singularities. It explains how to determine whether a singularity is removable, a pole of order $n$, or an essential singularity by inspecting the Laurent series expansion and local limits.
• Knowledge Checkpoint:
  • Define the principal part and analytic part of a Laurent series.
  • Classify a singularity as removable (no negative powers in Laurent series), a pole of order $n$ (finite negative powers ending at $a_{-n}$), or an essential singularity (infinitely many negative powers).
  • State Picard’s Great Theorem regarding the behavior of a function near an essential singularity.

2. Complex Analysis 15 | Laurent Series

Complex Analysis 15 | Laurent Series

@brightsideofmaths08:2252,387

Complex Analysis 15 | Laurent Series

A Laurent series is a generalization of a power series that includes both positive and negative powers of (z - z₀), consisting of a principal part with negative powers and a regular part with non-negative powers, which together define a holomorphic function on an annular domain (a ring-shaped region) centered at z₀ with inner radius r₂ and outer radius r₁, where the residue is the coefficient of the (z - z₀)^(-1) term.

@brightsideofmaths · 08:22

• Why this video: A precise conceptual video showing how Laurent series generalize Taylor series to encompass domains containing holes (annular regions). It demonstrates the structure of the series: $\sum_{n=-\infty}^{\infty} a_n (z-z_0)^n$.
• Knowledge Checkpoint:
  • Define an open annulus $A(z_0, r, R)$ and determine its boundaries of convergence.
  • Distinguish between the Taylor series expansion (valid in a disk) and the Laurent series expansion (valid in an annulus).

3. Week7Lecture4: Finding Residues

Week7Lecture4: Finding Residues

@PetraBonfertTaylor13:126,492

Week7Lecture4: Finding Residues

This lecture teaches systematic methods for finding residues in complex analysis: (1) For removable singularities, the residue is always zero; (2) For simple poles, use Res(f, c₀) = limₙ→c₀ [(z - c₀)f(z)]; (3) For double poles, use Res(f, c₀) = limₙ→c₀ [d/dz((z - c₀)²f(z))]; (4) For poles of order n, use Res(f, c₀) = [1/(n-1)!)] × limₙ→c₀ [dⁿ⁻¹/dzⁿ⁻¹((z - c₀)ⁿf(z))]; (5) When f(z) = g(z)/h(z) and h(z) has a simple zero at c₀, use Res(f, c₀) = g(c₀)/h'(c₀).

@PetraBonfertTaylor · 13:12

• Why this video: It teaches systematic, highly efficient mathematical formulas to calculate residues at poles without having to fully compute the Laurent series. It covers residues at simple poles and poles of higher order.
• Knowledge Checkpoint:
  • Compute the residue at a simple pole $z_0$ using the limit formula: $\operatorname{Res}(f, z_0) = \lim_{z \to z_0} (z-z_0)f(z)$.
  • Compute the residue at a pole $z_0$ of order $m$ using the derivative limit formula: $\operatorname{Res}(f, 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]$.
  • Calculate the residue for quotient functions $\frac{p(z)}{q(z)}$ where $q(z)$ has a simple zero using the formula $\frac{p(z_0)}{q'(z_0)}$.

4. PYQs on Singularity | Complex Analysis | CSIR NET 2011 to 2023 | GATE 2000 to 2023| Short Cut Tricks

PYQs on Singularity | Complex Analysis | CSIR NET 2011 to 2023 | GATE 2000 to 2023| Short Cut Tricks

@DrHarishGarg1:44:4251,447

PYQs on Singularity | Complex Analysis | CSIR NET 2011 to 2023 | GATE 2000 to 2023| Short Cut Tricks

In complex analysis, singularities are classified by examining the limit of the function at the singularity point: if the limit exists and is finite, it is a removable singularity; if the limit is infinity, it is a pole; if the limit does not exist, it is an essential singularity. Isolated singularities are further categorized as removable, poles, or essential based on the Laurent series expansion (no negative terms, finite negative terms, or infinite negative terms respectively). For rational f

@DrHarishGarg · 1:44:42

• Why this video: A marathon problem-solving session tackling advanced university and competitive-level exam questions. This provides the ultimate stress-test of your ability to identify, classify, and compute residues for highly complex algebraic structures.
• Knowledge Checkpoint:
  • Apply "shortcut" tricks to classify the singularities of complex products and composite functions.
  • Rapidly determine poles of infinite order or non-isolated singularities (such as branch points).

Module 5: Contour Integration and Conformal Mapping

This final module integrates everything you have learned. You will apply Cauchy's Residue Theorem to compute challenging real-valued integrals by transforming them into complex contours. You will cover both real trigonometric integrals mapped to the unit circle and improper rational integrals mapped to semicircular contours. Finally, you will explore Conformal Mappings, discovering how holomorphic functions preserve angles between intersecting curves.

Recommended Videos

1. Using the Residue Theorem to Evaluate Real Integrals (2/2)

Using the Residue Theorem to Evaluate Real Integrals (2/2)

@michaelbarrus993524:2285,677

Using the Residue Theorem to Evaluate Real Integrals (2/2)

The residue theorem provides a powerful method for evaluating real integrals of rational functions over the entire real line by extending them to complex integrals over closed contours. The process involves three key steps: (1) choosing a closed contour that includes the real axis segment from -R to R (typically a semicircle in the upper half-plane), (2) applying the residue theorem to compute the contour integral by finding residues at enclosed poles, and (3) showing that the integral over the

@michaelbarrus9935 · 24:22

• Why this video: This video directly addresses the third review gap (evaluating real improper integrals over semicircular contours). It demonstrates how to integrate rational functions $\int_{-\infty}^\infty R(x) \, dx$ by forming a closed semicircle $C_R$ in the upper half-plane and taking the limit $R \to \infty$ using Jordan’s Lemma.
• Knowledge Checkpoint:
  • Construct a closed contour consisting of a real interval $[-R, R]$ and a upper-half-plane semicircle $C_R$.
  • Use Jordan's Lemma or direct estimation to prove that the integral over the circular arc $C_R$ vanishes as $R \to \infty$.
  • Solve real improper integrals $\int_{-\infty}^{\infty} \frac{P(x)}{Q(x)} \, dx$ by calculating residues of poles in the upper half of the complex plane.

2. Application of Residue| Evaluation of Real Integral Using Residue |L56|Residue Theorem @ranjankhatu

Application of Residue| Evaluation of Real Integral Using Residue |L56|Residue Theorem @ranjankhatu

@ranjankhatu18:5911,803

Application of Residue| Evaluation of Real Integral Using Residue |L56|Residue Theorem @ranjankhatu

To evaluate real integrals of the form ∫₀²π f(cosθ, sinθ) dθ using the residue theorem, substitute e^(iθ) = z, which transforms the integral into a complex contour integral over the unit circle |z|=1; identify the singular points (poles) of the resulting complex function, compute residues only at poles lying inside the unit circle, and apply the residue theorem formula I = 2πi × sum(residues) to find the integral value.

@ranjankhatu · 18:59

• Why this video: It bridges the gap on trigonometric integrals. It teaches you how to evaluate integrals of the form $\int_0^{2\pi} U(\sin\theta, \cos\theta) \, d\theta$ by parameterizing the unit circle using $z = e^{i\theta}$, converting trigonometric terms into expressions of $z$, and solving via residues inside the unit disk $|z|=1$.
• Knowledge Checkpoint:
  • Substitute $\sin\theta = \frac{z - z^{-1}}{2i}$ and $\cos\theta = \frac{z + z^{-1}}{2}$ to convert a real trigonometric integral to a complex contour integral.
  • Substitute $d\theta = \frac{dz}{iz}$ correctly in the integration process.
  • Determine which poles of the transformed complex integrand fall inside the unit circle $|z| = 1$.

3. Part I: Complex Variables, Lec 3: Conformal Mappings

Part I: Complex Variables, Lec 3: Conformal Mappings

@mitocw36:00152,568

Part I: Complex Variables, Lec 3: Conformal Mappings

Conformal mappings are invertible mappings that preserve angles between intersecting curves, and they are characterized by analytic complex functions with non-zero derivatives; specifically, if a complex function f(z) = u + iv is analytic and its derivative f'(z) ≠ 0, then the mapping from the xy-plane to the uv-plane is conformal and preserves Laplace's equation, meaning that solutions to ∇²T = 0 in the original domain correspond to solutions in the mapped domain scaled by the square of the mag

@mitocw · 36:00

• Why this video: A masterclass lecture from MIT explaining conformal maps. It proves that any analytic complex function with a non-zero derivative is conformal (i.e., it preserves both the angle magnitude and orientation between any two intersecting curves).
• Knowledge Checkpoint:
  • Define conformal mapping and prove why holomorphy with $f'(z) \neq 0$ implies angle preservation.
  • Explain how a conformal map transforms a grid of orthogonal lines in the $z$-plane to orthogonal curves in the $w$-plane.
  • Recognize standard conformal transformations, such as the Möbius transformation.

Course Map

Below is the recommended visual learning path. Ensure you satisfy the milestones of each module before progressing to the next.

Key People Index

• Leonhard Euler (1707–1783): Swiss mathematician who formulated $e^{i\theta} = \cos\theta + i\sin\theta$, linking complex exponentiation to trigonometric functions.
• Augustin-Louis Cauchy (1789–1857): French pioneer of mathematical analysis who formulated Cauchy’s Integral Theorem, Cauchy's Integral Formula, and the Residue Theorem.
• Bernhard Riemann (1826–1866): German mathematician who co-formulated the Cauchy-Riemann equations for complex differentiability and introduced Riemann surfaces and conformal mappings.
• Pierre Alphonse Laurent (1813–1854): French mathematician who discovered the Laurent series (1843), expanding functions around singularities using negative powers.
• Camille Jordan (1838–1922): French mathematician whose lemma (Jordan's Lemma) provides the boundary bounds needed to evaluate infinite semicircular contours.

Final Self-Assessment

Complete this comprehensive self-assessment to verify your mastery of the curriculum.

• Draw the geometric mapping of $z \mapsto z^2$ and describe how it affects angles and distances in the complex plane.
• Convert $z = -1 + i\sqrt{3}$ to exponential form ($r e^{i\theta}$) with principal argument $\theta \in (-\pi, \pi]$.
• Verify if $f(z) = \bar{z}$ (complex conjugate) is differentiable at any point in $\mathbb{C}$ using the Cauchy-Riemann equations.
• Prove whether $f(z) = e^x(\cos y + i \sin y)$ is an entire function (holomorphic on the entire complex plane).
• Parameterize and evaluate $\oint_C \frac{1}{z} \, dz$ over a circle of radius $2$ centered at the origin.
• Use Cauchy's Integral Formula to evaluate $\oint_C \frac{e^z}{z - i} \, dz$ where $C$ is the circle $|z| = 2$.
• Construct the Laurent series for $f(z) = \frac{1}{z(z-1)}$ in the annulus $0 < |z| < 1$ and identify its principal part.
• Classify the singularity at $z=0$ for the functions: $f(z) = \frac{\sin z}{z}$, $g(z) = \frac{1}{z^3}$, and $h(z) = e^{1/z}$.
• Calculate the residue of $f(z) = \frac{z^2 + 1}{(z-2)^2(z+1)}$ at its double pole $z=2$.
• Evaluate the real trigonometric integral $\int_0^{2\pi} \frac{1}{2 + \cos\theta} \, d\theta$ using unit-circle contour integration.
• Evaluate the real improper integral $\int_{-\infty}^{\infty} \frac{1}{x^2 + 1} \, dx$ using a semicircular contour and the Residue Theorem.
• Explain why a mapping $w = f(z)$ is guaranteed to be conformal at all points where $f$ is analytic and $f'(z) \neq 0$.