Functions of each type are infinitely differentiable, but complex analytic functions exhibit properties that do not generally hold for real analytic functions.
, and therefore having a well-defined Taylor series; the Fabius function provides an example of a function that is infinitely differentiable but not analytic.
is real analytic on an open set
are real numbers and the series is convergent to
Alternatively, a real analytic function is an infinitely differentiable function such that the Taylor series at any point
The definition of a complex analytic function is obtained by replacing, in the definitions above, "real" with "complex" and "real line" with "complex plane".
For this reason the terms "holomorphic" and "analytic" are often used interchangeably for such functions.
[1] Typical examples of analytic functions are Typical examples of functions that are not analytic are The following conditions are equivalent: Complex analytic functions are exactly equivalent to holomorphic functions, and are thus much more easily characterized.
For the case of an analytic function with several variables (see below), the real analyticity can be characterized using the Fourier–Bros–Iagolnitzer transform.
In the multivariable case, real analytic functions satisfy a direct generalization of the third characterization.
A similar but weaker statement holds for analytic functions.
If the set of zeros of an analytic function ƒ has an accumulation point inside its domain, then ƒ is zero everywhere on the connected component containing the accumulation point.
In other words, if (rn) is a sequence of distinct numbers such that ƒ(rn) = 0 for all n and this sequence converges to a point r in the domain of D, then ƒ is identically zero on the connected component of D containing r. This is known as the identity theorem.
Also, if all the derivatives of an analytic function at a point are zero, the function is constant on the corresponding connected component.
These statements imply that while analytic functions do have more degrees of freedom than polynomials, they are still quite rigid.
As noted above, any analytic function (real or complex) is infinitely differentiable (also known as smooth, or
(Note that this differentiability is in the sense of real variables; compare complex derivatives below.)
There exist smooth real functions that are not analytic: see non-analytic smooth function.
It can be proved that any complex function differentiable (in the complex sense) in an open set is analytic.
Real and complex analytic functions have important differences (one could notice that even from their different relationship with differentiability).
Analyticity of complex functions is a more restrictive property, as it has more restrictive necessary conditions and complex analytic functions have more structure than their real-line counterparts.
[6] According to Liouville's theorem, any bounded complex analytic function defined on the whole complex plane is constant.
The corresponding statement for real analytic functions, with the complex plane replaced by the real line, is clearly false; this is illustrated by
Also, if a complex analytic function is defined in an open ball around a point x0, its power series expansion at x0 is convergent in the whole open ball (holomorphic functions are analytic).
This statement for real analytic functions (with open ball meaning an open interval of the real line rather than an open disk of the complex plane) is not true in general; the function of the example above gives an example for x0 = 0 and a ball of radius exceeding 1, since the power series 1 − x2 + x4 − x6... diverges for |x| ≥ 1.
Any real analytic function on some open set on the real line can be extended to a complex analytic function on some open set of the complex plane.
However, not every real analytic function defined on the whole real line can be extended to a complex function defined on the whole complex plane.
This explains why the Taylor series of f(x) diverges for |x| > 1, i.e., the radius of convergence is 1 because the complexified function has a pole at distance 1 from the evaluation point 0 and no further poles within the open disc of radius 1 around the evaluation point.
One can define analytic functions in several variables by means of power series in those variables (see power series).
Analytic functions of several variables have some of the same properties as analytic functions of one variable.