Analytic function

This is an old revision of this page, as edited by Vivacissamamente (talk | contribs) at 13:30, 3 June 2004. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematics, an analytic function is one that is locally given by a convergent power series.

Complex analysis teaches us that if a function f of one complex variable is differentiable in some open disk D centered at a point c in the complex field, then it necessarily has derivatives of all orders in that same open neighborhood, and the power series

converges to f(z) at every point within D. For a proof of this result, see proof that holomorphic functions are analytic. That is an important respect in which complex functions are better-behaved than real functions; see an infinitely differentiable function that is not analytic. Consequently, in complex analysis, the term analytic function is synonymous with holomorphic function.

A complex analytic function of several complex variables is defined to be analytic and holomorphic at a point if it locally expandable (within a polydisk, a cartesian product of disks, centered at that point) as a convergent power series in the variables. This condition is stronger than the Cauchy-Riemann equations; in fact it can be stated

A function of several complex variables is holomorphic if and only if it satisfies the Cauchy-Riemann equations and is locally square-integrable.

For real variables, even just one, smoothness does not suffice to ensure analyticity.