1 Basic definitions and setting
1.1 Complex differentiability
A function \(f:U\to\mathbb C\) defined on an open set \(U\subset\mathbb C\) is complex differentiable at a point \(z_0\in U\) if the limit \[ \lim_{z\to z_0}\frac{f(z)-f(z_0)}{z-z_0} \] exists as a complex number. When it does, the limit is denoted \(f'(z_0)\).
1.1.1 Limits in the complex plane
Because \(z\) approaches \(z_0\) through arbitrary complex directions, complex differentiability is stronger than differentiability viewed as a function of a real variable. The quotient must converge consistently regardless of how \(z\) tends to \(z_0\), not merely along a line.
1.1.2 Independence of path and uniqueness of derivative
If the complex derivative exists, it is unique: there is exactly one complex number that can serve as the value of the limit. Conceptually, this reflects the fact that the same limiting behavior must occur along all possible approaches, which underpins many later rigidity results.
1.2 Domains and holomorphicity
A function is holomorphic on \(U\) if it is complex differentiable at every point of \(U\). Holomorphicity is a local property: it can be checked on small neighborhoods, and it controls the function’s global behavior through theorems that use analytic structure.
1.2.1 Open sets and local behavior
Open sets ensure that near any point \(z_0\in U\), there are complex numbers close to \(z_0\) that still lie in the domain. This is necessary for the difference quotient to make sense for all nearby points.
1.2.2 Equivalent formulations (pointwise vs. on a region)
Holomorphicity can be characterized by equivalent local conditions, such as the Cauchy–Riemann equations together with basic regularity, or by integral criteria. These formulations connect the pointwise notion of differentiability to global statements about behavior on regions.
1.3 Analytic vs. holomorphic
In complex analysis, holomorphic functions exhibit analytic behavior: they can be represented by convergent power series in a neighborhood of each point.
1.3.1 Local power series representation
| If \(f\) is holomorphic near \(z_0\), then there exists a radius \(R>0\) such that on \(\{z: | z-z_0 | <R\}\) one has a power series |
|---|
\[ f(z)=\sum_{n=0}^\infty a_n (z-z_0)^n \] converging to \(f\). The coefficients are determined by derivatives at \(z_0\).
1.3.2 Identity theorem consequences
A key consequence is the identity theorem: if two holomorphic functions agree on a set with an accumulation point inside the domain, then they agree everywhere on the connected component of the domain. This reflects the impossibility of “wiggling” without altering the analytic structure.
2 Cauchy–Riemann theory
2.1 Cauchy–Riemann equations
Write \(f=u+iv\), where \(u(x,y)\) and \(v(x,y)\) are real-valued functions of \(z=x+iy\). The Cauchy–Riemann equations are \[ u_x=v_y,\qquad u_y=-v_x \] provided the relevant partial derivatives exist.
2.1.1 Real and imaginary parts
The equations tie the behavior of the real and imaginary parts together. Intuitively, specifying \(u\) forces \(v\) (up to local constraints), and vice versa, which is why holomorphic functions are so restrictive compared with general complex-valued differentiable functions of a real parameter.
2.1.2 Sufficient conditions for holomorphicity
Under mild regularity assumptions (for example, continuity of the first partial derivatives in a neighborhood), satisfying the Cauchy–Riemann equations implies holomorphicity. In practice, these criteria provide a working method for establishing holomorphicity without directly evaluating the complex derivative limit.
2.2 Harmonicity
Real and imaginary parts of holomorphic functions obey strong second-order conditions.
2.2.1 Laplace’s equation for real/imaginary parts
If \(f=u+iv\) is holomorphic, then both \(u\) and \(v\) are harmonic, meaning they satisfy Laplace’s equation: \[ \Delta u = u_{xx}+u_{yy}=0,\qquad \Delta v= v_{xx}+v_{yy}=0. \]
2.2.2 Relationship between harmonic and holomorphic functions
While harmonic functions need not correspond to holomorphic functions, harmonic functions can often be paired with harmonic conjugates to produce holomorphic data. Locally, under suitable conditions, a harmonic function can serve as the real part of some holomorphic function.
2.3 Regularity and consequences
Holomorphicity entails more smoothness than real differentiability.
2.3.1 Differentiability order
Holomorphic functions are infinitely differentiable in the real sense and, in fact, analytic. Derivatives of all orders exist and enjoy strong compatibility relations with the original function.
2.3.2 Smoothness and analytic structure
The analytic structure implies that local behavior determines global extensions in suitable settings. Many theorems in subsequent sections can be viewed as formal consequences of this underlying power series regularity.
3 Fundamental theorems
3.1 Cauchy’s integral theorem
Cauchy’s integral theorem states that under appropriate hypotheses, the integral of a holomorphic function around a closed contour is zero.
3.1.1 Simple connectedness and variants
A common version requires the domain to have no “holes” (e.g., simply connected regions) and the function to be holomorphic on a region containing the contour and its interior. Variants relax geometric conditions by using homological or deformation arguments.
3.1.2 Deformation of contours
If two contours can be continuously deformed into one another within a domain where holomorphicity holds, then the integrals of a holomorphic function over them are equal. This deformation invariance is central to contour methods.
3.2 Cauchy’s integral formula
Cauchy’s integral formula strengthens the theorem by expressing values and derivatives of a holomorphic function in terms of boundary integrals. For \(f\) holomorphic in a neighborhood of a closed contour \(C\) and for \(z_0\) inside \(C\), \[ f(z_0)=\frac{1}{2\pi i}\int_C \frac{f(z)}{z-z_0}\,dz. \]
3.2.1 Value of holomorphic functions via integrals
The formula shows that the value at an interior point is determined by boundary data. It makes explicit the way holomorphic functions “average” around singularity kernels like \(1/(z-z_0)\).
3.2.2 Bounds derived from contour length and distance
| From the integral formula, one obtains estimates by bounding \( | f(z) | \) on the contour and controlling \( | z-z_0 | \). These inequalities connect analytic behavior to geometric quantities like contour length. |
|---|
3.3 Consequences and corollaries
The integral formula yields a cascade of powerful results.
3.3.1 Estimates for derivatives (Cauchy estimates)
Differentiating Cauchy’s integral formula or applying standard bounds leads to Cauchy estimates: if \(f\) is holomorphic on and inside a circle (or suitable contour), then derivatives at the center are bounded by powers of the maximum modulus on the contour.
3.3.2 Liouville’s theorem
A function holomorphic on all of \(\mathbb C\) that is bounded must be constant. This is an immediate consequence of Cauchy estimates: as the contour radius grows, derivative bounds force all derivatives of positive order to vanish.
3.3.3 Maximum modulus principle and its variants
| For a non-constant holomorphic function on a domain, the maximum of \( | f | \) cannot occur in the interior. More refined variants address cases where \( | f | \) attains local maxima or where boundedness is imposed on boundary components. |
|---|
4 Power series and analytic expansions
4.1 Taylor series in complex analysis
Holomorphic functions admit Taylor expansions that converge to the function in neighborhoods.
4.1.1 Derivatives from Cauchy’s formula
Using Cauchy’s integral formula for derivatives, \[ f^{(n)}(z_0)=\frac{n!}{2\pi i}\int_C \frac{f(z)}{(z-z_0)^{n+1}}\,dz, \] one obtains coefficients \(a_n=f^{(n)}(z_0)/n!\) in the Taylor series. Thus boundary integrals determine local expansions.
4.1.2 Radius of convergence and holomorphicity regions
The radius of convergence is limited by the nearest singularity to the expansion center. Within the disk of convergence, the series representation guarantees holomorphicity.
4.2 Laurent series and local structure
When holomorphicity fails at isolated points, Laurent series describe the local behavior.
4.2.1 Expansion around isolated singularities
Near an isolated singularity \(z_0\), one may write \[ f(z)=\sum_{n=-\infty}^{\infty} a_n (z-z_0)^n \] on an annulus punctured at \(z_0\). Negative powers capture the principal part, which reflects the nature of the singularity.
4.2.2 Annuli of convergence
| Laurent series converge on sets of the form \(r< | z-z_0 | <R\). The boundaries correspond to the locations of other singularities in the analytic continuation landscape. |
|---|
4.3 Analytic continuation (overview)
Analytic continuation extends a function beyond its initial domain while preserving analyticity.
4.3.1 Continuation along paths
Given a holomorphic germ (local series data), one can often extend it step by step along curves, producing a larger domain where the extended function remains consistent with the original.
4.3.2 Uniqueness of continuation
If two continuations agree on a region with accumulation points, the identity theorem forces them to coincide wherever both are defined. This yields a notion of uniqueness for analytic continuation along connected domains.
5 Integration and antiderivatives
5.1 Complex line integrals
Complex line integrals generalize integrals from calculus to curves in the plane.
5.1.1 Parameterization and orientation
For a parameterized curve \(z(t)\), \(t\in[a,b]\), the integral of \(f\) along the curve is \[ \int_C f(z)\,dz=\int_a^b f(z(t))\,z'(t)\,dt. \] Reversing the direction of the curve changes the sign of the integral.
5.1.2 Line integrals of holomorphic functions
When \(f\) is holomorphic on a region containing the curve and an appropriate homotopy, integrals over homologous curves agree. In particular, integrals over closed curves can vanish under conditions linked to Cauchy’s theorem.
5.2 Morera’s theorem
Morera’s theorem provides a converse-style criterion for holomorphicity using only integrals.
5.2.1 Testing holomorphicity via integrals over loops
If \(f\) is continuous on an open set \(U\) and the integral of \(f\) around every closed triangle (or, more generally, every sufficiently small loop) in \(U\) is zero, then \(f\) is holomorphic on \(U\).
5.2.2 Practical applications
This theorem can be useful when derivatives are difficult to compute directly. Verifying vanishing integrals over test regions can establish holomorphicity without explicit Cauchy–Riemann checks.
5.3 Primitives and path independence
A primitive (antiderivative) of \(f\) is a function \(F\) such that \(F'=f\).
5.3.1 Simply connected domains
On simply connected domains, the existence of primitives becomes tightly linked to contour integrals. If \(f\) is holomorphic on a simply connected region, then it has holomorphic antiderivatives throughout the region.
5.3.2 Existence of holomorphic antiderivatives
More generally, holomorphic functions are locally integrable to holomorphic primitives. Global existence depends on topology: nontrivial domain loops can obstruct single-valued antiderivatives.
6 Residues and contour methods
6.1 Singularities in holomorphic context
Holomorphic behavior fails only at singular points, which can be analyzed via local expansions.
6.1.1 Isolated singularities
A point \(z_0\) is an isolated singularity of \(f\) if \(f\) is holomorphic on a punctured neighborhood of \(z_0\) but not at \(z_0\) itself.
6.1.2 Classification via Laurent series
The Laurent expansion around \(z_0\) allows classification:
- If the principal part is absent, the singularity is removable.
- If the principal part is finite, it is a pole.
- If the principal part is infinite, the singularity is essential.
6.2 Residue theorem
The residue theorem evaluates integrals of meromorphic functions by summing residues at poles inside the contour. If \(f\) is meromorphic in a region containing \(C\) and finitely many singularities inside, then \[ \int_C f(z)\,dz = 2\pi i \sum \operatorname{Res}(f; a_k), \] where the sum runs over poles \(a_k\) inside \(C\).
6.2.1 Computing integrals using residues
Residues can be computed from Laurent coefficients. For a pole at \(a\), the residue is the coefficient of \((z-a)^{-1}\) in the Laurent expansion, or equivalently obtained via formulas tailored to the order of the pole.
6.2.2 Choice of contours and poles
Selecting contours that isolate relevant poles simplifies evaluation. Deformation of contours, combined with residue calculations, often reduces complicated integrals to manageable algebraic steps.
6.3 Argument principle (overview)
The argument principle relates changes in argument of a meromorphic function to the counts of zeros and poles.
6.3.1 Zeros and poles counting
Roughly, the winding behavior of \(f(C)\) around the origin encodes how many zeros minus poles lie inside the contour, counted with multiplicity.
6.3.2 Applications to holomorphic functions
By applying the argument principle to \(f\) or to expressions such as \(f'/f\), one can deduce structural information about zeros. This supports stability results for analytic objects defined implicitly.
7 Zeros, growth, and rigidity
7.1 Zeros of holomorphic functions
Holomorphic functions exhibit structured zero sets.
7.1.1 Multiplicity and factorization
A zero \(z_0\) of \(f\) is said to have multiplicity \(m\) if \(f(z)=(z-z_0)^m g(z)\) with \(g(z_0)\neq 0\). This factorization reflects the order of vanishing in the Taylor series.
7.1.2 Identity theorem and consequences
If a holomorphic function has infinitely many zeros accumulating inside the domain, then it must be identically zero. Thus zeros cannot cluster arbitrarily without forcing global equality.
7.2 Growth and boundedness
Growth restrictions translate into strong conclusions.
7.2.1 Liouville-type results
Liouville’s theorem is the archetype: boundedness on all of \(\mathbb C\) forces constancy. Similar reasoning yields constraints for holomorphic functions with growth rates limited by certain orders.
7.2.2 Normal families (brief overview)
A related framework considers families of holomorphic functions that are bounded in an appropriate sense on compact sets. Under such conditions, subsequences may converge to holomorphic limits, forming the basis of compactness results in complex analysis.
7.3 Rigidity and uniqueness
Holomorphic functions resist deformation without changing their analytic character.
7.3.1 Maximum principle implications
| The maximum modulus principle implies that extremal behavior of \( | f | \) forces constancy in certain scenarios. As a result, many inequalities become strict unless the function is constant or has a prescribed form. |
|---|
7.3.2 Extension and continuation constraints
Analytic continuation is constrained by singularities. While local expansions may extend, the global continuation is limited by obstructions where analytic structure breaks down.
8 Conformal and geometric aspects
8.1 Holomorphic maps as conformal maps
Holomorphic functions behave like angle-preserving maps wherever the derivative does not vanish.
8.1.1 Angle preservation where derivative is nonzero
If \(f\) is holomorphic and \(f'(z_0)\neq 0\), then locally \(f\) preserves oriented angles between curves through \(z_0\). This stems from the fact that the complex derivative acts as a multiplication by a complex number, which combines rotation and scaling.
8.1.2 Local scaling and orientation
| Near such a point, the map resembles a linear function \(w\approx f(z_0)+f'(z_0)(z-z_0)\). The magnitude \( | f'(z_0) | \) controls scaling, while the argument of \(f'(z_0)\) controls rotation. |
|---|
8.2 Basic examples
Several standard families illustrate geometric behavior and singular phenomena.
8.2.1 Linear and Möbius transformations
Affine maps \(f(z)=az+b\) with \(a\neq 0\) are globally conformal. Möbius transformations \(f(z)=\frac{az+b}{cz+d}\) (with \(ad-bc\neq 0\)) are conformal on their domains of definition, mapping circles and lines to circles and lines in the extended complex plane.
8.2.2 Branching behavior and domains (non-exhaustive)
When a function involves fractional powers or roots, holomorphicity can fail globally due to branching. Locally, suitable branch choices yield holomorphic functions on slit domains, illustrating how topology influences analytic structure.
9 Constructing holomorphic functions
9.1 Elementary building blocks
Holomorphic functions often arise from familiar algebraic and transcendental expressions.
9.1.1 Polynomials and power functions
Polynomials are entire, meaning holomorphic on all of \(\mathbb C\). Power functions \(z^n\) for integer \(n\) are also holomorphic everywhere; for non-integer exponents, holomorphicity depends on a chosen branch and thus on domain restrictions.
9.1.2 Exponential and trigonometric functions
The exponential function \(e^z\) is entire and satisfies differential identities that mirror real-variable counterparts. Trigonometric functions, defined through exponential combinations, inherit holomorphicity and produce useful series expansions.
9.2 Convolution-like constructions (where applicable)
Complex analysis often builds new functions from existing ones through series and convergence principles.
9.2.1 Series-based constructions
Power series and Laurent series are primary construction tools. Under suitable convergence, term-by-term differentiation integrates analytic structure into new examples of holomorphic functions.
9.2.2 Uniform convergence and limits
Uniform convergence on compact sets allows interchange of limits with differentiation and integration. This is a practical mechanism for creating holomorphic limits from sequences or approximations.
9.3 Limits of holomorphic functions
Convergence theorems ensure that holomorphicity is preserved under appropriate limiting processes.
9.3.1 Uniform convergence on compact sets
If a sequence of holomorphic functions converges uniformly on every compact subset of a domain, then the limit is holomorphic. This principle underlies many compactness arguments.
9.3.2 Preservation of holomorphicity (compact convergence)
The key idea is that compact uniform convergence gives control sufficient to pass to derivatives and power series expansions. Consequently, the analytic nature of each approximant transfers to the limiting function.