The field concerned with functions of complex variables that are complex-differentiable (holomorphic), including analytic continuation, contour integration, singularities, and the study of one or several complex variables.

Principle

Holomorphicity (complex differentiability) imposes strong rigidity: local power-series expansions, conformality where derivative is nonzero, and global constraints from singularities and monodromy; use contour integration and residues to relate local behavior to global integrals.

Demonstration

Use Cauchy's integral formula to compute derivatives from contour integrals and the residue theorem to evaluate real integrals and sums; examine the analytic continuation of the Riemann zeta function (as an illustrative phenomenon) or solve boundary value problems using Poisson integrals on the unit disk.

Misapplication

Assuming a function that is infinitely differentiable as a real function is holomorphic, or attempting to extend one-variable theorems blindly to several complex variables where phenomena like Hartogs' extension and domains of holomorphy change the picture.

Consequence

Correct application yields powerful uniqueness results, explicit integral formulas, classification of isolated singularities, and effective techniques for evaluating integrals and solving two-dimensional potential problems, with consequences in physics and engineering.

Reversal

Invert the focus to real-variable analysis where complex structure is ignored: many identities and rigidities disappear and one loses analytic continuation, residue calculus, and the strong constraints of holomorphic maps.

Boundary

Scope includes holomorphic and meromorphic function theory in one or several complex variables, contour methods, and singularity theory; it excludes purely real-variable methods without complexification, and problems lacking analytic structure (e.g., general continuous but nonanalytic PDE coefficients).

Semantic Tension

Tension exists between holomorphic and merely smooth functions, and between single-variable function theory (with full power of residues) and several-variable theory (with fundamentally different extension and convexity notions); 'analytic' can mean power series expansion or merely real-analytic, which are distinct contexts.

Synthesis

Complex analysis studies holomorphic functions whose differentiability over C forces power-series structure and strong global constraints; via Cauchy formulas, analytic continuation, and residue calculus it connects local singular behavior to global integral identities and yields tools for solving boundary problems and evaluating integrals, while distinguishing one- and several-variable phenomena.