1 Definition and basic concepts
An analytic function is a function that agrees locally with a convergent power series. In practical terms, this means that near each point of its domain, the function can be written as an infinite sum of powers of the variable with coefficients determined by the function itself. In complex analysis, analyticity is often treated as a central regularity condition because it implies a high degree of rigidity.
The notion appears in both real and complex settings, though the complex version is especially powerful. Analytic functions are not merely continuous or differentiable: they are locally encoded by their Taylor series, which often determines the function completely within a connected region.
1.1 Local power series representation
A function is analytic at a point if, in some neighborhood of that point, it can be expressed as a power series centered there. The coefficients of the series provide a local description of the function and are typically obtained from derivatives at the center. When the series converges to the function in a neighborhood, it serves as an exact representation rather than an approximation.
This local expansion is one of the main reasons analytic functions are so useful. It allows complicated expressions to be studied through algebraic manipulations of series, and it connects local behavior with global properties through continuation and uniqueness results.
1.2 Complex differentiability
In complex analysis, analyticity is closely linked to complex differentiability. A function of a complex variable is called holomorphic if it has a complex derivative at every point of an open set. On open domains, holomorphic functions are analytic, and the two terms are often used interchangeably in that context.
Complex differentiability is much stronger than real differentiability. The requirement that the derivative exist with respect to complex increments imposes strong constraints, leading to many structural theorems that have no exact counterpart in ordinary real-variable calculus.
1.3 Real-analytic functions
A real-analytic function is a real-valued function that can be represented locally by a convergent power series in a real variable. Such functions may be defined on intervals, open sets in Euclidean space, or more general smooth manifolds. Their local behavior is governed by the same series expansion principle as in the complex case.
Not every smooth real function is real-analytic. Real-analyticity is a stricter condition than having derivatives of all orders, since a smooth function may fail to equal its Taylor series even when that series exists formally.
1.4 Domain of analyticity
The domain of analyticity is the region on which a function is analytic. For complex functions, this is usually an open subset of the complex plane or a higher-dimensional complex space. For real functions, analyticity is defined on intervals, open sets, or coordinate neighborhoods on manifolds.
A function may be analytic on one region and fail to be analytic at boundary points or isolated singularities. The exact domain matters because analytic behavior is local, and extension beyond the original region may require additional arguments.
2 Equivalent characterizations
Analyticity can be described in several equivalent ways, depending on the setting. The most common characterizations involve Taylor expansions, differentiability conditions, and the existence of convergent series representations. In complex analysis, these equivalences are especially strong and form the basis of much of the subject.
2.1 Taylor series characterization
A function is analytic at a point if it equals its Taylor series in a neighborhood of that point. This means that the infinite series formed from the derivatives at the center converges to the original function near that point. The Taylor series therefore provides not only approximation but exact local reconstruction.
This characterization is often used in calculations and proofs. It links the abstract property of analyticity to explicit coefficients, making it possible to classify and compare functions through their expansions.
2.2 Holomorphicity in complex analysis
In complex analysis, holomorphicity is the standard equivalent condition for analyticity on open sets. If a complex-valued function is complex differentiable on a neighborhood of each point in its domain, then it is analytic there. Conversely, a function with a convergent local power series is automatically holomorphic.
This equivalence is one of the most important results in the theory. It shows that the apparently local algebraic condition of a power series and the analytic condition of complex differentiability are in fact the same phenomenon.
2.3 Convergence and radius of convergence
A power series does not converge everywhere; it converges only within a certain radius around its center. The radius of convergence determines the largest disk or interval on which the series defines a function. Within that region, term-by-term operations such as differentiation and integration are typically justified.
The boundary of convergence often reflects the location of singularities or other obstructions to continuation. As a result, the radius of convergence carries information about the analytic structure of the function beyond the immediate neighborhood.
2.4 Analytic continuation
Analytic continuation is the process of extending an analytic function beyond its original domain by using overlapping local power series representations. If two analytic expressions agree on a set with accumulation points, they often must coincide wherever both are defined. This makes continuation a powerful tool for extending functions uniquely.
The method is central in complex analysis, where many important functions are first defined by a series, integral, or differential equation and then extended across larger regions. Analytic continuation can reveal hidden global structure from local data.
3 Fundamental properties
Analytic functions satisfy a collection of rigid and far-reaching properties. These include smoothness of all orders, strong uniqueness principles, and tight control over their zeros. Such features distinguish them sharply from general differentiable functions.
3.1 Infinite differentiability
Every analytic function is infinitely differentiable. In fact, all derivatives are encoded in the coefficients of the local power series. This means that once analyticity is established, higher-order differentiability follows automatically.
The converse is false in general: a function may have derivatives of every order without being analytic. Thus, infinite differentiability is necessary but not sufficient for analyticity in the real setting.
3.2 Uniqueness from local data
An analytic function is determined by its behavior on a sufficiently small neighborhood. If two analytic functions have the same derivatives at a point, or agree on a set with an accumulation point, they agree wherever both are defined on the same connected analytic domain. This property reflects the rigidity of analytic structure.
Because of this uniqueness, local calculations often have global consequences. A small amount of information can determine an analytic function completely, provided the domain is connected and the appropriate hypotheses are met.
3.3 Identity theorem
The identity theorem states that if two analytic functions coincide on a set that has a limit point inside a connected domain, then the two functions are identical throughout that domain. This is one of the most important structural results in complex analysis.
The theorem underlies many arguments involving continuation, comparison, and classification. It also explains why analytic functions cannot be altered in one region without affecting the entire connected domain.
3.4 Zeros of analytic functions
The zeros of a nonzero analytic function are isolated unless the function is identically zero on a connected domain. This means that analytic functions do not vanish on large sets unless forced to do so by uniqueness. The order of a zero can also be described through the first nonvanishing derivative in the local expansion.
This behavior is more restrictive than for general smooth functions. It plays an important role in factorization, counting arguments, and the study of singularity structure.
4 Examples and nonexamples
Many familiar elementary functions are analytic on their natural domains. Others are smooth but fail to be analytic, showing that the class is smaller than the class of infinitely differentiable functions. Examples and counterexamples help clarify the distinction.
4.1 Polynomial functions
Polynomial functions are analytic everywhere on their domain. Their power series expansions terminate after finitely many terms, so they are trivially convergent. Because of this, polynomials are among the simplest analytic functions.
They are often used as local models for more complicated analytic behavior. In many contexts, higher-order approximations reduce to polynomial data through Taylor expansion.
4.2 Exponential and trigonometric functions
The exponential function and the basic trigonometric functions are analytic on the entire real line and, in the complex setting, on the entire complex plane. Their power series expansions converge globally, making them key examples of entire functions. Their derivatives repeat in simple patterns, which makes them especially useful in analysis.
These functions serve as building blocks for many other analytic expressions. Their expansions are frequently used to derive identities, solve equations, and develop approximation schemes.
4.3 Rational functions
Rational functions are quotients of polynomials. They are analytic wherever the denominator does not vanish. At points where the denominator is zero, the function typically has a singularity and is no longer analytic.
Because rational functions can be decomposed into simpler pieces, they are central in complex function theory. Their poles provide basic examples of isolated singular behavior.
4.4 Functions that are smooth but not analytic
A function may have derivatives of all orders and still fail to be analytic. A standard example is a smooth function that becomes flat at a point, meaning that all derivatives vanish there, while the function itself is not identically zero nearby. Such a function cannot equal its Taylor series at that point if the series is identically zero.
These examples show that smoothness and analyticity are distinct concepts. Analyticity imposes a much stronger local determinacy condition than mere differentiability of every order.
5 Operations on analytic functions
Analytic functions behave well under many standard operations. They are closed under addition, multiplication, composition in suitable domains, and term-by-term differentiation and integration. This stability makes them flexible tools in both theory and computation.
5.1 Addition and multiplication
The sum and product of analytic functions are analytic wherever both functions are defined and analytic. This follows directly from the corresponding operations on convergent power series. Coefficients of the resulting series can be computed from the original coefficients.
These closure properties allow analytic functions to form algebraic systems under ordinary operations. They are essential for building new functions from known ones.
5.2 Composition
The composition of analytic functions is analytic whenever the inner function takes values in the domain of analyticity of the outer function. The resulting local expansion can be derived by substituting one power series into another, provided the convergence conditions are satisfied.
Composition is important in applications because it allows analytic behavior to be transferred through coordinate changes and functional transformations. It also supports the study of iterated maps and implicit definitions.
5.3 Differentiation and integration
Term-by-term differentiation and integration preserve analyticity within the radius of convergence of a power series. As a result, derivatives and antiderivatives of analytic functions remain analytic. In complex analysis, this property interacts with contour integrals and integral representations in particularly powerful ways.
These operations are often simpler for analytic functions than for arbitrary differentiable functions. The local series form provides a direct computational framework.
5.4 Power series manipulation
Power series can be added, multiplied, differentiated, and reexpanded to produce new analytic expressions. Many identities arise from such manipulations. The same series may also be re-centered at different points through algebraic transformation.
These techniques form a practical toolkit for extracting local information. They are widely used in asymptotic analysis, perturbation theory, and symbolic computation.
6 Analytic functions in complex analysis
Complex analysis gives analytic functions a particularly rich theory. In this setting, analyticity is tied to geometric, algebraic, and integral properties that strongly constrain function behavior. Many of the most striking results in the subject depend on this connection.
6.1 Cauchy-Riemann equations
For a function of one complex variable, the Cauchy-Riemann equations provide conditions on the real and imaginary parts that are necessary, and under suitable regularity assumptions sufficient, for complex differentiability. They express the compatibility required between the two components of a complex-valued function.
These equations link analytic functions to partial differential equations. They also explain why complex differentiability is far more restrictive than ordinary differentiability in the plane.
6.2 Cauchy's integral formula
Cauchy's integral formula is a foundational theorem stating that the value of a holomorphic function inside a region can be recovered from its values on a surrounding curve. From this formula, many major consequences follow, including estimates on derivatives and the existence of power series expansions.
The result shows that analytic functions are controlled by their boundary behavior. It is one of the deepest reasons why complex analyticity yields such strong rigidity.
6.3 Laurent series
A Laurent series generalizes a power series by allowing negative powers. It is used to represent functions that are analytic on an annulus rather than at a center point itself. Such expansions are especially useful near isolated singularities.
Laurent series separate regular and singular parts of a function. This decomposition helps classify local behavior and calculate residues in contour integration.
6.4 Singularities and poles
A singularity is a point where a function fails to be analytic. Among isolated singularities, a pole is one of the most important types, characterized by behavior resembling a finite-order reciprocal power. More complicated singularities may also occur, but poles are among the most tractable.
The study of singularities reveals how and where analytic functions break down. It also provides information about the global structure of meromorphic functions and their expansions.
7 Analytic functions in real analysis
Real analysis studies analytic functions on real intervals, open sets, and manifolds. While the real theory shares many formal features with the complex theory, it is generally less rigid. Still, real-analytic functions retain strong local and global properties.
7.1 Real power series
A real power series is a series in powers of a real variable that converges within some interval around its center. When such a series equals a function on that interval, the function is real-analytic there. The coefficients often encode derivative information at the expansion point.
Real power series are used to build and study solutions to equations, approximate functions, and develop local coordinate descriptions. Their convergence behavior is central to the theory.
7.2 Local expansions of real functions
Many real functions admit local Taylor expansions even when they are not globally simple. If the expansion converges to the function in a neighborhood, the function is analytic at that point. Such local expansions can reveal symmetry, parity, and other structural features.
These expansions are especially valuable in approximation and perturbation methods. They provide a bridge between exact formulas and numerical or asymptotic analysis.
7.3 Analyticity on intervals and manifolds
On an interval, analyticity means that each point has a neighborhood where the function is given by a convergent power series. On a real-analytic manifold, the idea is formulated using coordinate charts whose transition maps are themselves analytic. This extends the concept beyond ordinary Euclidean domains.
Analytic manifolds provide a setting for geometry with strong local rigidity. In such contexts, analytic functions interact naturally with analytic curves, vector fields, and coordinate transformations.
8 Applications
Analytic functions are widely used because they combine explicit local expansions with strong uniqueness and continuation properties. Their influence extends across pure and applied mathematics, especially in areas where local behavior determines global structure.
8.1 Differential equations
Analytic functions play a major role in solving differential equations. Power series methods often produce local solutions, and analyticity can ensure that these solutions extend uniquely under suitable conditions. The series approach is particularly effective near ordinary points and regular singular points.
In many cases, analyticity allows equations to be studied through recursive coefficient relations. This makes it possible to construct solutions even when closed-form expressions are unavailable.
8.2 Approximation theory
Analytic functions are central to approximation theory because their Taylor and related series offer natural approximations by polynomials and other simple basis functions. Convergence properties make them suitable for local numerical methods and error estimates.
They also serve as target classes for interpolation and spectral methods. The smoothness and rigidity of analytic functions often lead to rapid convergence in approximation schemes.
8.3 Mathematical physics
Many models in mathematical physics involve analytic functions, especially in wave propagation, quantum theory, and potential theory. Analytic methods often simplify differential equations and enable contour integration, transform techniques, and series expansions.
Because analytic functions obey strong structural laws, they help encode symmetries and conservation principles in mathematical formulations. Their use is common wherever exact local descriptions are needed.
8.4 Geometry and dynamical systems
In geometry, analytic functions appear in the study of curves, surfaces, and analytic manifolds, where local coordinate behavior is described by convergent expansions. In dynamical systems, analytic maps and flows are used to study iteration, stability, and local normal forms.
Analyticity often improves the precision of classification results and perturbation arguments. It also supports the transfer of local information to broader geometric or dynamical conclusions.