1 Foundations
Complex analysis begins with the extension of real-number methods to the complex plane. Its central objects are complex-valued functions, especially those with strong differentiability properties. The subject is notable for the rigidity of its main results: once a function is complex differentiable in a suitable region, its behavior is often heavily constrained and highly structured.
1.1 Complex numbers
A complex number is written in the form \(z = x + iy\), where \(x\) and \(y\) are real numbers and \(i\) satisfies \(i^2 = -1\). The number \(x\) is the real part and \(y\) the imaginary part. Complex numbers can be added, subtracted, multiplied, and divided using algebraic rules that extend the real field.
| Geometrically, a complex number corresponds to a point in the plane or to a vector from the origin. This representation makes it possible to interpret multiplication as a combination of rotation and scaling. The modulus \( | z | \) gives the distance from the origin, while the argument describes an angle. |
|---|
1.2 Complex functions
A complex function assigns a complex output to each complex input. Such functions may be written as \(f(z)\), where \(z\) ranges over a subset of the complex plane. Many familiar real functions can be extended to the complex setting, often revealing additional structure.
Complex functions are typically studied through their algebraic form, their geometric effect on the plane, and their local behavior near points of interest. Special attention is given to functions that preserve angles or admit power-series expansions, since these often exhibit strong regularity.
1.3 Limits and continuity
Limits in complex analysis are defined in terms of the distance between points in the plane. A function has a limit at a point if its values approach a single complex number as the input approaches that point from any direction. Continuity means that the function value changes without sudden jumps under small changes in the input.
Because the complex plane has infinitely many approach directions, complex limits can be more restrictive than real limits. This directional richness plays an important role in later results, especially those involving differentiability and analyticity.
1.4 Complex differentiability
Complex differentiability is the key notion that distinguishes complex analysis from ordinary real analysis. A function is complex differentiable at a point if the ratio of change in the function to change in the input has a well-defined limit there, independent of the path of approach. This condition is much stronger than differentiability in the real sense.
1.4.1 Definition of complex derivative
The complex derivative of \(f\) at \(z_0\) is defined by the limit \[ f'(z_0) = \lim_{z \to z_0} \frac{f(z)-f(z_0)}{z-z_0}, \] provided the limit exists. If it does, the function has a tangent-like linear approximation near \(z_0\).
This definition requires the same limiting value from every direction in the plane. As a result, many functions that are smooth in the real-variable sense fail to be complex differentiable.
1.4.2 Holomorphic functions
A function is holomorphic on a region if it is complex differentiable at every point in that region. Holomorphic functions are the central class of functions in complex analysis. They possess many remarkable properties, including infinite differentiability and local power-series representations.
In practice, holomorphicity is often the strongest and most useful regularity condition in the theory. It links local behavior to global consequences, allowing powerful methods of integration and expansion.
1.4.3 Cauchy-Riemann equations
If a complex function \(f(z)=u(x,y)+iv(x,y)\) is differentiable, its real and imaginary parts satisfy the Cauchy-Riemann equations: \[ u_x = v_y, \quad u_y = -v_x. \] These conditions express compatibility between the two coordinate directions in the plane.
The equations are not only necessary but, under suitable smoothness assumptions, sufficient for complex differentiability. They also reveal the close relationship between complex analytic functions and harmonic functions.
1.5 Analytic functions
An analytic function is one that can be represented locally by a convergent power series. In complex analysis, the terms “analytic” and “holomorphic” are often equivalent on open regions, a major result that distinguishes the subject from real analysis.
This equivalence means that complex differentiability automatically implies a strong form of local expansion. As a result, analytic functions are highly predictable near each point, and many properties can be read directly from their series coefficients.
2 Core theorems
The principal theorems of complex analysis show how local differentiability leads to global structure. These results form the foundation for contour integration, expansion theory, and many applications. They also explain why complex analytic functions are so rigid compared with general smooth functions.
2.1 Cauchy integral theorem
The Cauchy integral theorem states, in one of its common forms, that the integral of a holomorphic function around a closed contour is zero under suitable conditions. This result lies at the heart of complex integration and reflects the existence of an underlying antiderivative-like structure.
The theorem has profound consequences. It implies path independence in simply connected regions and serves as the starting point for many deeper identities in the subject.
2.2 Cauchy integral formula
The Cauchy integral formula expresses the value of a holomorphic function at a point in terms of an integral over a surrounding contour. It is one of the most powerful tools in complex analysis, because it reconstructs the function from its boundary values.
The formula also gives estimates for derivatives and leads directly to many consequences, including smoothness, series expansions, and maximum principles. It shows that the interior behavior of a holomorphic function is tightly controlled by its values on the boundary.
2.3 Morera's theorem
Morera's theorem provides a converse to the Cauchy integral theorem in many settings. It states that if a continuous function has zero integral around every closed contour in a region, then the function is holomorphic there.
This result is useful for proving analyticity when direct differentiation is difficult. It is especially common in arguments involving limits of holomorphic functions.
2.4 Maximum modulus principle
The maximum modulus principle says that a nonconstant holomorphic function cannot attain its maximum absolute value inside a connected region. Instead, if a maximum exists in the interior, the function must be constant.
This principle reflects the rigidity of holomorphic behavior. It is often used to derive bounds, uniqueness statements, and other consequences of boundary control.
2.5 Liouville's theorem
Liouville's theorem states that every bounded entire function must be constant. Here, entire means holomorphic on the whole complex plane.
The theorem is a concise but powerful result with far-reaching implications. It is a key ingredient in many classical arguments and provides a direct route to major algebraic conclusions.
2.6 Fundamental theorem of algebra
The fundamental theorem of algebra asserts that every nonconstant polynomial with complex coefficients has at least one complex root. Equivalently, a polynomial of degree \(n\) factors completely into linear terms over the complex numbers, counting multiplicity.
Complex analysis supplies elegant proofs of this theorem, often via Liouville's theorem or contour methods. The result confirms that the complex number system is algebraically closed.
3 Series and expansions
Series methods are central to complex analysis because holomorphic functions admit especially efficient local representations. These expansions turn analytic questions into problems about coefficients, convergence, and singular behavior. They also make it possible to study functions through approximation and continuation.
3.1 Power series
A power series has the form \[ \sum_{n=0}^\infty a_n (z-z_0)^n. \] Such series converge in a disk centered at \(z_0\), possibly with a finite radius. In complex analysis, power series are not merely approximations; they often represent the exact local form of a holomorphic function.
Power series are essential for defining many functions and for proving local properties. Their coefficients encode derivatives, and their convergence behavior reflects the geometry of the function’s domain.
3.2 Taylor series
The Taylor series of a holomorphic function is its power-series expansion about a point, with coefficients determined by derivatives at that point. For analytic functions, the Taylor series converges to the function within its radius of convergence.
This representation shows that a holomorphic function is completely determined by its derivatives at a single point, provided the region of convergence is connected appropriately. It is one of the clearest manifestations of analytic rigidity.
3.3 Laurent series
A Laurent series extends the idea of a Taylor series by allowing negative powers: \[ \sum_{n=-\infty}^{\infty} a_n (z-z_0)^n. \] It is used to describe functions near isolated singularities, especially on annular regions.
Laurent expansions separate the regular part of a function from its singular part. This decomposition is central to residue theory and the classification of singular points.
3.4 Convergence in the complex plane
Convergence of series in the complex plane is governed by the same basic principles as in real analysis, but the geometry of the plane introduces additional structure. A series may converge inside a disk, on its boundary, or on an annulus, depending on the coefficients and the type of expansion.
The radius of convergence is often determined by the nearest singularity of the represented function. This connection between convergence and singularities is one of the most useful ideas in the subject.
3.5 Analytic continuation
Analytic continuation extends a holomorphic function beyond the region where it was initially defined, whenever the extension remains consistent with the original values. This process can enlarge the domain of a function while preserving analyticity.
The idea is fundamental in the study of special functions and complex geometry. It often reveals hidden global structure from local information and can lead to surprising uniqueness properties.
4 Complex integration
Integration in the complex plane generalizes line integration from vector calculus, but with a stronger theoretical framework. Contour integrals encode how functions behave along curves, making them indispensable for both theory and computation. They also connect local singular behavior to global integral identities.
4.1 Contours and paths
A contour is a directed curve in the complex plane, usually assumed piecewise smooth. Paths provide the geometric routes along which complex integrals are taken. Orientation matters, since reversing a contour changes the sign of the integral.
Contours may be open or closed, simple or self-intersecting. Their shape often plays a decisive role in evaluating integrals and applying the main theorems of the subject.
4.2 Contour integrals
A contour integral is formed by integrating a complex function along a path. It generalizes the accumulation of values along a curve and is often computed by parametrizing the path.
Contour integrals are especially effective for holomorphic and meromorphic functions. They often simplify calculations that are difficult or impossible by elementary real-variable methods.
4.3 Antiderivatives in the complex plane
If a function has an antiderivative on a region, its contour integrals between two points depend only on the endpoints, not on the chosen path. This property is the complex analogue of the fundamental theorem of calculus.
In simply connected domains, many holomorphic functions possess antiderivatives. The existence of such functions is closely tied to the vanishing of contour integrals around closed loops.
4.4 Residue theorem
The residue theorem is a major computational tool that relates contour integrals to the sum of residues of singularities enclosed by the contour. It converts an integral problem into a local algebraic one.
This theorem is widely used to evaluate definite integrals, series, and inverse transforms. Its strength lies in capturing the effect of singular points through compact numerical data.
4.4.1 Residues
The residue of a function at an isolated singularity is the coefficient of \((z-z_0)^{-1}\) in its Laurent series. It measures the singular part that contributes to contour integrals.
Residues are local invariants. Although they are defined near a singularity, they often determine global integral values around large contours.
4.4.2 Poles and isolated singularities
An isolated singularity is a point where a function fails to be holomorphic, while remaining holomorphic nearby except at that point. A pole is a singularity where the function behaves like a finite-order reciprocal power near the point.
Isolated singularities are classified by their local expansions. Poles are among the most manageable, while other types may exhibit more intricate behavior.
4.4.3 Computation of residues
Residues can often be computed from a Laurent series, by formula, or by using derivatives in the case of higher-order poles. In many practical cases, only a few terms of the local expansion are needed.
Efficient residue computation is one reason complex analysis is so useful in applied mathematics. It turns difficult integral evaluations into manageable local calculations.
4.5 Applications of contour integration
Contour integration is used to evaluate real integrals, sums, and transforms by choosing contours that exploit symmetry and decay. It is also employed to derive identities involving trigonometric, exponential, and rational functions.
The method is especially valuable when direct real-variable techniques are cumbersome. By embedding a problem in the complex plane, one can often access stronger structural tools.
5 Singularities and local behavior
The study of singularities examines how functions fail to be analytic and how they behave near exceptional points. These local features often determine the global analytic form of a function. Classifying singularities is therefore a central part of complex analysis.
5.1 Removable singularities
A removable singularity is a point where a function is not initially defined or not analytic, but can be extended holomorphically. In such cases, the apparent singular behavior is only superficial.
A classic example is a function that remains bounded near the missing point. The ability to remove the singularity reflects the rigidity of holomorphic structure.
5.2 Poles
A pole is a singularity where the function grows without bound in a controlled way. Near a pole, the function resembles a reciprocal power of \(z-z_0\).
Poles are important because they are simple to classify and contribute clearly to residues. They occur frequently in rational and meromorphic functions.
5.3 Essential singularities
An essential singularity is a singular point that is neither removable nor a pole. Near such a point, the function can exhibit highly irregular behavior.
Essential singularities are among the most striking features of complex analysis. Their local dynamics are far more complicated than those of poles, and they illustrate the dramatic variety possible in analytic functions.
5.4 Branch points
A branch point is a point around which a multivalued function cannot be made single-valued without choosing a branch. Typical examples arise from roots, logarithms, and inverse trigonometric functions.
Branch points signal the need for more sophisticated geometric structures. They help explain why some functions cannot be globally defined on the plane in a single-valued way.
5.5 Branch cuts
A branch cut is a curve or line removed from the domain to make a multivalued function single-valued on the remaining region. It is a practical device for selecting one branch of a function.
Branch cuts are not intrinsic singularities of the function itself, but rather conventions that support consistent definition. Their placement depends on the problem and the chosen branch.
6 Conformal mapping
Conformal mapping studies functions that preserve angles locally. These maps are central in complex analysis because holomorphic functions with nonzero derivative often act as local shape-preserving transformations. They are useful both conceptually and computationally.
6.1 Angle-preserving maps
An angle-preserving map maintains the angles between intersecting curves, at least locally. In the complex plane, holomorphic functions with nonzero derivative are precisely the standard source of such transformations.
This property makes conformal maps valuable in geometry and applied analysis. They can simplify domains while retaining the essential local structure of a problem.
6.2 Möbius transformations
Möbius transformations are fractional linear maps of the form \[ f(z)=\frac{az+b}{cz+d}, \] with \(ad-bc \neq 0\). They map circles and lines to circles and lines, treating the extended complex plane in a highly symmetric way.
These transformations form a basic class of conformal maps. They are widely used as building blocks for more complicated geometric transformations.
6.3 Riemann mapping theorem
The Riemann mapping theorem states that any simply connected open proper subset of the complex plane is conformally equivalent to the unit disk. This is one of the deepest and most celebrated results in the field.
The theorem shows that, from the viewpoint of conformal geometry, all such regions have the same local complex structure. It highlights the remarkable flexibility of planar domains under holomorphic change of variables.
6.4 Applications of conformal maps
Conformal maps are used to transfer problems from difficult domains to simpler ones. In this way, boundary value problems, potential problems, and integral equations can often be reduced to more tractable settings.
They also provide geometric intuition by preserving local angles and shapes. This makes them especially useful in both theoretical and computational analysis.
7 Harmonic functions
Harmonic functions arise naturally from complex analysis and partial differential equations. They are closely linked to holomorphic functions through real and imaginary parts. Their theory plays a major role in potential theory and boundary-value methods.
7.1 Definition and properties
A harmonic function is a twice differentiable function satisfying Laplace's equation. Such functions are smooth and exhibit strong averaging behavior. They cannot have interior maxima or minima unless they are constant, under suitable conditions.
Harmonic functions model steady-state phenomena in many contexts. Their regularity makes them a natural companion to holomorphic functions.
7.2 Connection with holomorphic functions
The real and imaginary parts of a holomorphic function are harmonic. Conversely, on appropriate domains, a harmonic function can often be paired with another harmonic function to form a holomorphic function.
This connection is one of the most fruitful bridges in the subject. It allows methods from complex analysis to solve problems in real-variable potential theory.
7.3 Laplace's equation
Laplace's equation is \[ \Delta u = 0, \] where \(\Delta\) is the Laplacian. Functions satisfying this equation are harmonic.
In complex analysis, Laplace's equation appears naturally through the Cauchy-Riemann equations. It is central to understanding equilibrium states and boundary effects.
7.4 Mean value property
The mean value property states that the value of a harmonic function at a point equals the average of its values on surrounding circles or spheres, under suitable conditions. This property is characteristic of harmonicity.
It provides both a diagnostic tool and a source of intuition. The property also helps explain why harmonic functions are so rigid and smooth.
7.5 Harmonic conjugates
A harmonic conjugate of a harmonic function is another function that pairs with it to form the real and imaginary parts of a holomorphic function. Together, the pair satisfies the Cauchy-Riemann equations.
Harmonic conjugates are not always globally defined, but when they exist, they provide a direct route from real-valued potential functions to complex analytic ones.
8 Geometric function theory
Geometric function theory studies how analytic functions behave as geometric transformations of the plane. It focuses on injectivity, growth, and distortion, combining analytic estimates with shape preservation. The area emphasizes the global geometry of holomorphic maps.
8.1 Univalent functions
A univalent function is one-to-one on its domain. Such functions preserve distinct points and are especially important in conformal mapping.
Univalent functions are studied for their geometric constraints and coefficient behavior. They often serve as model examples in the broader theory of analytic maps.
8.2 Normal families
A family of functions is normal if every sequence has a subsequence that converges in a suitable sense. This compactness concept is widely used in complex analysis to control families of holomorphic functions.
Normal families provide a framework for proving existence results and extracting limiting behavior. They are closely connected to Montel’s ideas and to compactness in analytic dynamics.
8.3 Schwarz lemma
The Schwarz lemma concerns holomorphic self-maps of the unit disk that fix the origin. It gives sharp bounds on their size and derivative, showing that such maps are strongly constrained.
This result is both elegant and foundational. It often serves as the first example of a distortion estimate in complex analysis.
8.4 Distortion theorems
Distortion theorems give quantitative bounds on how much a holomorphic or univalent function can stretch or compress distances. They refine qualitative statements about conformal behavior into precise inequalities.
These theorems are essential in geometric function theory. They describe how the analytic structure of a function limits its geometric deformation of domains.
9 Advanced topics
Advanced topics extend complex analysis into broader settings and deeper algebraic structures. They reveal connections between local analytic behavior, global geometry, and higher-dimensional generalizations. Many of these areas are central to modern pure mathematics.
9.1 Riemann surfaces
A Riemann surface is a one-dimensional complex manifold that allows multivalued analytic objects to be treated as single-valued on an appropriate domain. It provides a natural setting for branch behavior and analytic continuation.
Riemann surfaces unify local complex coordinates with global topology. They are indispensable for understanding algebraic functions and multivalued analytic expressions.
9.2 Multivalued functions
Multivalued functions arise when an expression can take several values at once, such as square roots or logarithms. In complex analysis, such functions are often handled by choosing branches or by passing to Riemann surfaces.
The study of multivaluedness clarifies why some analytic expressions cannot be globally defined on the plane without extra structure. It is a major theme in the transition from local formulas to global geometry.
9.3 Elliptic functions
Elliptic functions are doubly periodic meromorphic functions. They repeat their values under two independent complex periods, giving them a rich and highly structured behavior.
These functions play an important role in classical analysis, number theory, and geometry. Their periodicity distinguishes them from the simpler trigonometric functions, which have only one period.
9.4 Modular forms
Modular forms are highly symmetric analytic functions with transformation properties under certain linear fractional transformations. They appear in many areas of mathematics, especially where symmetry and arithmetic interact.
In complex analysis, modular forms illustrate how analytic conditions can encode deep algebraic and geometric information. They are closely related to elliptic functions and to the theory of complex tori.
9.5 Several complex variables
Several complex variables extends complex analysis to functions of more than one complex variable. The theory becomes substantially richer and more subtle than the one-variable case.
Many familiar results persist in modified form, but new phenomena also appear, such as higher-dimensional domain geometry and more intricate boundary behavior. This area connects complex analysis with differential geometry and partial differential equations.
10 Applications
Complex analysis is valued not only for its internal elegance but also for its broad usefulness. Its techniques simplify calculations, provide structural insight, and solve problems in several branches of science and engineering. The subject often turns difficult real-variable problems into manageable complex-analytic ones.
10.1 Differential equations
Complex methods are used to solve and classify differential equations, especially those with analytic coefficients. Power series, contour integration, and analytic continuation can reveal solution behavior near singular points.
The complex perspective is also helpful in studying linear ordinary differential equations and special functions. It often clarifies why certain solutions exist and how they extend across domains.
10.2 Potential theory
Potential theory studies functions such as harmonic potentials and their boundary behavior. Complex analysis contributes powerful tools through harmonic functions, conformal maps, and the theory of analytic continuation.
These methods are particularly effective in two-dimensional settings. They provide elegant solutions to problems involving equilibrium, flow, and boundary data.
10.3 Quantum mechanics
Complex analysis appears in quantum mechanics through wave functions, operator methods, and analytic continuation of amplitudes. Contour integration and residue techniques are often useful in calculations involving integrals and spectral representations.
The analytic structure of complex functions helps organize many formal expressions encountered in the theory. It also supports methods for evaluating special integrals and propagators.
10.4 Signal processing
In signal processing, complex numbers are used to represent oscillations, phases, and frequency components. Complex analytic ideas support the study of Fourier transforms, filters, and systems with frequency-domain descriptions.
Complex methods help streamline calculations involving periodic and transient behavior. They are especially useful when signals are decomposed into amplitude and phase.
10.5 Fluid dynamics
Complex analysis is used in two-dimensional ideal fluid flow, where velocity potentials and stream functions can be paired as analytic functions. Conformal mapping can transform complicated flow regions into simpler ones.
This approach is particularly effective for studying steady flows around obstacles and in channels. It combines geometric intuition with exact analytic formulas.