complex-analysis-expert skill

Overview

This skill is an expert assistant for problems in complex functions, contour integration, residue theory, and conformal mapping. It provides step-by-step solution strategies, common theorem applications, and worked examples for integral evaluation and map construction. Note: the knowledge base is in legacy status and flagged for research updates; verify critical results against current literature before use.

How this skill works

The skill inspects problem statements, identifies applicable theorems (Cauchy integral formula, residue theorem, Morera, maximum modulus, Riemann mapping ideas), and proposes solution outlines with computations or proof sketches. For contour integrals it recommends contours, identifies singularities, computes residues, and assembles final values, including principal-value considerations. For conformal mapping it suggests mappings using elementary transforms (Mobius, power maps, logarithms) and composes steps to meet boundary conditions. It flags results that depend on delicate branch choices or unsettled assumptions and prompts for confirmation.

When to use it

• Evaluating real or complex integrals using complex contour methods
• Computing residues and handling poles, essential singularities, or branch points
• Designing conformal maps between canonical domains (disk, half-plane, slit domains)
• Checking analytic continuation, singularity classification, or Laurent expansions
• Sketching proofs that rely on classic complex-analysis theorems or estimates

Best practices

• State analyticity regions and branch cuts explicitly before computation
• Choose contours that exploit symmetry and avoid unnecessary branch crossings
• Verify residue calculations with series expansions when residues are nontrivial
• Annotate branch choices for multi-valued functions and track branches through composition
• Cross-check key steps (e.g., interchange of limits and integrals) against uniform convergence or dominated convergence criteria

Example use cases

• Evaluate integrals of rational functions times trig/exponential factors via residue sums
• Compute inverse Laplace or Fourier-type integrals by closing contours in appropriate half-planes
• Construct a conformal map from the upper half-plane to a polygonal region using Schwarz–Christoffel ideas
• Determine Laurent series and classify isolated singularities for given complex functions
• Find principal-value integrals that arise from symmetric integrands with branch cuts

FAQ