Why It Matters
Core Definitions
Key Formulas
Important Theorems
Worked Examples
Practice Problems
Common Mistakes
| Mistake | Correction | Example |
|---|---|---|
| Assuming real differentiability implies complex differentiability | The function is real-differentiable but not complex-differentiable | fails Cauchy-Riemann |
| Forgetting continuity of partials in the sufficiency condition | Cauchy-Riemann + continuity of partials -> analyticity; without continuity, C-R may hold but may not exist | Need continuous |
| Confusing with real trigonometric | β it's unbounded! | grows without bound |
| Assuming is one-to-one | is periodic: ; it maps horizontal strips to | |
| Wrong sign in Cauchy-Riemann | It's and , not | Common sign error |
| Assuming conformality at critical points | Where , the mapping is NOT conformal (angles may not be preserved) | at : angles double |
| Forgetting that harmonic conjugates are unique only up to a constant | and are both conjugates of | Different choices of give different |
Interview / Exam Questions
Q1: What is the relationship between analytic functions and harmonic functions?
A1: If is analytic, then both and are harmonic (satisfy Laplace's equation). Conversely, in a simply connected domain, every harmonic function has a harmonic conjugate such that is analytic. This is because the Cauchy-Riemann equations and imply . The connection is deep: harmonic functions are the real or imaginary parts of analytic functions, and conformal mappings transform harmonic functions from one domain to another.
Q2: Why is complex differentiability so much more restrictive than real differentiability?
A2: In the real case, only requires agreement from two directions (left and right). In the complex case, must give the same limit from every direction in the plane β the real axis, imaginary axis, and all other approaches. This is a much stronger condition, captured precisely by the Cauchy-Riemann equations. The result is that complex differentiability implies infinite smoothness and representability by power series, which never happens in real analysis.
Q3: Describe the geometric effect of the mapping near .
A3: At , . The mapping scales by and rotates by . Near , acts like a linear map that doubles distances and preserves angles. Since , the mapping is conformal at : angles between curves are preserved.
At , , so the mapping is not conformal. The angle between two curves through the origin is doubled.
Q4: What are the three types of isolated singularities, and how do you distinguish them?
A4: An isolated singularity of is:
- Removable if can be redefined at to be analytic. The Laurent series has no negative powers, and .
- A pole of order if as . The Laurent series has finitely many negative powers, and .
- Essential if the Laurent series has infinitely many negative powers. Equivalently, for all .
Q5: If is analytic and has a local maximum at an interior point, what can you conclude?
A5: By the Maximum Modulus Principle, must be constant on the domain. This is a powerful rigidity result: analytic functions cannot have interior local maxima of their modulus (unless they are constant). This principle is used to prove uniqueness theorems, bound analytic functions, and establish that polynomials map circles to curves that enclose the same area. It also implies that the maximum of on a closed bounded domain is always achieved on the boundary.
Q6: Construct the harmonic conjugate of and form the analytic function .
A6: Check: , , so β (harmonic).
From C-R: and .
Integrate : . Differentiate: , so , .
.
. (Indeed, .)
Quick Reference
Cross-References
- 091 - Complex Numbers β The algebraic foundations (modulus, argument, polar form) underpin all function theory.
- 093 - Contour Integration β Cauchy's theorem and integral formula are consequences of analyticity; they are the computational engine of complex analysis.
- 094 - Residue Theory β Poles and essential singularities (classified here) are the objects whose residues are computed.
- 095 - Applications β Fourier transforms, filter design, and conformal mappings to physical domains rely on the properties of analytic functions.
- Partial Differential Equations β Harmonic functions arise as steady-state solutions; conformal mappings transform Laplace's equation between domains.
- Fluid Dynamics (Topic 25): Velocity potentials and stream functions are harmonic conjugates; conformal mappings solve flow problems around obstacles.