Analytic function

Analytic function

:"This article is about both real and complex analytic functions. The article holomorphic function is solely about analytic functions in complex analysis. An analytic signal is a signal with no negative-frequency components."

In mathematics, an analytic function is a function that is locally given by a convergent power series. Analytic functions can be thought of as a bridge between polynomials and general functions. 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 it is equal to its Taylor series in some neighborhood.

Definitions

Formally, a function "f" is "real analytic" on an open set "D" in the real line if for any "x"0 in "D" one can write

:f(x) = sum_{n=0}^infty a_n left( x-x_0 ight)^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 "a"0, "a"1, ... are real numbers and the series is convergent for "x" in a neighborhood of "x"0.

Alternatively, an analytic function is an infinitely differentiable function such that the Taylor series at any point "x"0 in its domain:T(x) = sum_{n=0}^{infin} frac{f^{(n)}(x_0)}{n!} (x-x_0)^{n}converges to "f"("x") for "x" in a neighborhood of "x"0.

The definition of a "complex analytic function" is obtained by replacing, in the definitions above, "real" with "complex" and "real line" with "complex plane."

Examples

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

* Any polynomial (real or complex) is an analytic function. This is because if a polynomial has degree "n", any terms of degree larger than "n" in its Taylor series expansion will vanish, and so this series will be trivially convergent.

* The exponential function is analytic. Any Taylor series for this function converges not only for "x" close enough to "x"0 (as in the definition) but for all values of "x" (real or complex).

* The trigonometric functions, logarithm, and the power functions are analytic on any open set of their domain.

Typical examples of functions that are not analytic are:
* The absolute value function when defined on the set of real numbers or complex numbers is not analytic because it is not differentiable at 0. Piecewise defined functions (functions given by different formulas in different regions) are in general not analytic.

* The complex conjugate function, z o overline z, is not complex analytic, although its restriction to the real line is real analytic.

Properties of analytic functions

* The sums, products, and compositions of analytic functions are analytic.
* The reciprocal of an analytic function that is nowhere zero is analytic, as is the inverse of an invertible analytic function whose derivative is nowhere zero. (See also the Lagrange inversion theorem.)
* Any analytic function is smooth, that is, infinitely differentiable. The converse is not true; in fact, in a certain sense, the analytic functions are sparse compared to all infinitely differentiable functions.
* For any open set Ω ⊆ C, the set "A"(Ω) of all bounded, analytic functions "u" : Ω → C is a Banach space with respect to the supremum norm. The fact that uniform limits of analytic functions are analytic is an easy consequence of Morera's theorem.

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 "f" has an accumulation point inside its domain, then "f" is zero everywhere on the connected component containing the accumulation point.

More formally this can be stated as follows. If ("r""n") is a sequence of distinct numbers such that "f"("r""n") = 0 for all "n" and this sequence converges to a point "r" in the domain of "D", then "f" is identically zero on the connected component of "D" containing "r".

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 which are not analytic: see the following example. In fact there are many such functions, and the space of real analytic functions is a proper subspace of the space of smooth 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.

According to Liouville's theorem, any bounded complex analytic function defined on the whole complex plane is constant. This statement is clearly false for real analytic functions, as illustrated by

:f(x)=frac{1}{x^2+1}.Also, if a complex analytic function is defined in an open ball around a point "x"0, its power series expansion at "x"0 is convergent in the whole ball. This is not true in general for real analytic functions. (Note that an open ball in the complex plane would be a disk, while on the real line it would be an interval.)

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 "f" ("x") defined in the paragraph above is a counterexample, as it is not defined for "x" = "±i".

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 variables are never discrete.

ee also

*Cauchy-Riemann equations
*Holomorphic function
*quasi-analytic function

References

*cite book|first=John B.|last=Conway|title=Functions of One Complex Variable I (Graduate Texts in Mathematics 11)|publisher=Springer-Verlag|year=1978|id=ISBN 0-387-90328-3

External links

*
* [http://math.fullerton.edu/mathews/c2003/AnalyticFunctionMod.html Analytic Functions Module by John H. Mathews]


Wikimedia Foundation. 2010.

См. также в других словарях:

  • analytic function — noun a real valued function which is uniquely defined through its derivatives at one point …   Wiktionary

  • Global analytic function — In the mathematical field of complex analysis, a global analytic function is a generalization of the notion of an analytic function which allows for functions to have multiple branches. Global analytic functions arise naturally in considering the …   Wikipedia

  • Quasi-analytic function — In mathematics, a quasi analytic class of functions is a generalization of the class of real analytic functions based upon the following fact. If f is an analytic function on an interval , and at some point f and all of its derivatives are zero,… …   Wikipedia

  • Analytic combinatorics — is a branch of combinatorics that describes combinatorial classes using generating functions, which are often analytic functions, but sometimes formal power series.Two types of generating functions are commonly used mdash; ordinary and… …   Wikipedia

  • Analytic continuation — In complex analysis, a branch of mathematics, analytic continuation is a technique to extend the domain of a given analytic function. Analytic continuation often succeeds in defining further values of a function, for example in a new region where …   Wikipedia

  • Analytic signal — Not to be confused with Analytic function. In mathematics and signal processing, the analytic representation of a real valued function or signal facilitates many mathematical manipulations of the signal. The basic idea is that the negative… …   Wikipedia

  • Analytic capacity — In complex analysis, the analytic capacity of a compact subset K of the complex plane is a number that denotes how big a bounded analytic function from mathbb{C}setminus E can become. Roughly speaking, gamma(E) measures the size of the unit ball… …   Wikipedia

  • Analytic — See also: Analysis Contents 1 Natural sciences 2 Philosophy 3 Social sciences …   Wikipedia

  • Analytic variety — In mathematics, specifically geometry, an analytic variety is defined locally as the set of common solutions of several equations involving analytic functions. It is analogous to the included concept of complex algebraic variety, and any complex… …   Wikipedia

  • analytic continuation — Math. 1. a method of finding a function that coincides with a given analytic function in a domain and that remains analytic in a larger domain. 2. any function found by this method. [1955 60] * * * …   Universalium


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»