Fine Art

.

In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions, categories that are similar in some ways, but different in others. Functions of each type are infinitely differentiable, but complex analytic functions exhibit properties that do not hold generally for real analytic functions. A function is analytic if and only if its Taylor series about x0 converges to the function in some neighborhood for every x0 in its domain.

Definitions

Formally, a function ƒ is real analytic on an open set D in the real line if for any x0 in D one can write

\( f(x) = \sum_{n=0}^\infty a_{n} \left( x-x_0 \right)^{n} = a_0 + a_1 (x-x_0) + a_2 (x-x_0)^2 + a_3 (x-x_0)^3 + \cdots \)

in which the coefficients a0, a1, ... are real numbers and the series is convergent to ƒ(x) for x in a neighborhood of x0.

Alternatively, an analytic function is an infinitely differentiable function such that the Taylor series at any point x0 in its domain

\( T(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(x_0)}{n!} (x-x_0)^{n} \)

converges to f(x) for x in a neighborhood of x0 pointwise (and locally uniformly). The set of all real analytic functions on a given set D is often denoted by Cω(D).

A function ƒ defined on some subset of the real line is said to be real analytic at a point x if there is a neighborhood D of x on which ƒ is real analytic.

The definition of a complex analytic function is obtained by replacing, in the definitions above, "real" with "complex" and "real line" with "complex plane". A function is complex analytic if and only if it is holomorphic i.e. it is complex differentiable. For this reason the terms "holomorphic" and "analytic" are often used interchangeably for such functions.[1]


Examples

Most special functions are analytic (at least in some range of the complex plane). Typical examples of analytic functions are:

Typical examples of functions that are not analytic are:

Alternative characterizations

If ƒ is an infinitely differentiable function defined on an open set D ⊂ R, then the following conditions are equivalent.

1) ƒ is real analytic.

2) There is a complex analytic extension of ƒ to an open set G ⊂ C which contains D.

3) For every compact set K ⊂ D there exists a constant C such that for every x ∈ K and every non-negative integer k the following bound holds

\( \left | \frac{d^k f}{dx^k}(x) \right | \leq C^{k+1} k! \)

The real analyticity of a function ƒ at a given point x can be characterized using the FBI transform.

Complex analytic functions are exactly equivalent to holomorphic functions, and are thus much more easily characterized.


Properties of analytic functions

A polynomial cannot be zero at too many points unless it is the zero polynomial (more precisely, the number of zeros is at most the degree of the polynomial). 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 Principle of Permanence.

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.

Analyticity and differentiability

As noted above, any analytic function (real or complex) is infinitely differentiable (also known as smooth, or C). (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. In fact there are many such functions.

The situation is quite different when one considers complex analytic functions and complex derivatives. It can be proved that any complex function differentiable (in the complex sense) in an open set is analytic. Consequently, in complex analysis, the term analytic function is synonymous with holomorphic function.

Real versus complex analytic functions

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.[2]

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

\( f(x)=\frac{1}{x^2+1}. \)

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 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 + x4x6... 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. The function ƒ(x) defined in the paragraph above is a counterexample, as it is not defined for x = ±i. This explains why the Taylor series of ƒ(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.

Analytic functions of several variables

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. However, especially for complex analytic functions, new and interesting phenomena show up when working in 2 or more dimensions. For instance, zero sets of complex analytic functions in more than one variable are never discrete.
See also

Cauchy–Riemann equations
Holomorphic function
Paley–Wiener theorem
Quasi-analytic function
Infinite compositions of analytic functions

Notes

"A function f of the complex variable z is analytic at point z0 if its derivative exists not only at z but at each point z in some neighborhood of z0. It is analytic in a region R if it is analytic as every point in R. The term holomorphic is also used in the literature do denote analyticity." Churchill, Brown, and Verhey Complex Variables and Applications McGraw-Hill 1948 ISBN 0-07-010855-2 pg 46

Krantz & Parks 2002.

References

Conway, John B. (1978). Functions of One Complex Variable I. Graduate Texts in Mathematics 11. Springer-Verlag. ISBN 0-387-90328-3.
Krantz, Steven; Parks, Harold R. (2002). A Primer of Real Analytic Functions (2nd ed.). Birkhäuser. ISBN 0-8176-4264-1.

External links

Hazewinkel, Michiel, ed. (2001), "Analytic function", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Weisstein, Eric W., "Analytic Function", MathWorld.
Analytic Functions Module by John H. Mathews
Solver for all zeros of a complex analytic function that lie within a rectangular region by Ivan B. Ivanov

Undergraduate Texts in Mathematics

Graduate Texts in Mathematics

Graduate Studies in Mathematics

Mathematics Encyclopedia

Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License

Home - Hellenica World