Analytic continuation


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 an infinite series representation in terms of which it is initially defined becomes divergent.

The step-wise continuation technique may, however, come up against difficulties. These may have an essentially topological nature, leading to inconsistencies (defining more than one value). They may alternatively have to do with the presence of mathematical singularities. The case of several complex variables is rather different, since singularities then cannot be isolated points, and its investigation was a major reason for the development of sheaf cohomology.

Contents

Initial discussion

Analytic continuation of natural logarithm (imaginary part)

Suppose f is an analytic function defined on an open subset U of the complex plane \mathbb C. If V is a larger open subset of \mathbb C, containing U, and F is an analytic function defined on V such that

\displaystyle F(z) = f(z) \qquad \forall z \in U,

then F is called an analytic continuation of f. In other words, the restriction of F to U is the function f we started with.

Analytic continuations are unique in the following sense: if V is the connected domain of two analytic functions F1 and F2 such that U is contained in V and for all z in U

F1(z) = F2(z) = f(z),

then

F1 = F2

on all of V. This is because F1 − F2 is an analytic function which vanishes on the open, connected domain U of f and hence must vanish on its entire domain. This follows directly from the identity theorem for holomorphic functions.

Applications

A common way to define functions in complex analysis proceeds by first specifying the function on a small domain only, and then extending it by analytic continuation. In practice, this continuation is often done by first establishing some functional equation on the small domain and then using this equation to extend the domain. Examples are the Riemann zeta function and the gamma function.

The concept of a universal cover was first developed to define a natural domain for the analytic continuation of an analytic function. The idea of finding the maximal analytic continuation of a function in turn led to the development of the idea of Riemann surfaces.

The power series defined above is generalized by the idea of a germ. The general theory of analytic continuation and its generalizations are known as sheaf theory.

Formal definition of a germ

Let

f(z)=\sum_{k=0}^\infty \alpha_k (z-z_0)^k

be a power series converging in the disc Dr(z0) defined by

D_r(z_0) = \{z \in \mathbb C : r > 0, |z - z_0| < r\}.

Note that without loss of generality, here and below, we will always assume that a maximal such r was chosen, even if that r is ∞. Also note that it would be equivalent to begin with an analytic function defined on some small open set. We say that the vector

g = (z0, α0, α1, α2, ...)

is a germ of f. The base g0 of g is z0, the stem of g is (α0, α1, α2, ...) and the top g1 of g is α0. The top of g is the value of f at z0, the bottom of g.

Any vector g = (z0, α0, α1, ...) is a germ if it represents a power series of an analytic function around z0 with some radius of convergence r > 0. Therefore, we can safely speak of the set of germs \mathcal G.

The topology of the set of germs

Let g and h be germs. If |h0g0| < r where r is the radius of convergence of g and if the power series that g and h define identical functions on the intersection of the two domains, then we say that h is generated by (or compatible with) g, and we write gh. This compatibility condition is neither transitive, symmetric nor antisymmetric. If we extend the relation by transitivity, we obtain a symmetric relation, which is therefore also an equivalence relation on germs (but not an ordering). This extension by transitivity is one definition of analytic continuation. The equivalence relation will be denoted \cong.

We can define a topology on \mathcal G. Let r > 0, and let

U_r(g) = \{h \in \mathcal G : g \ge h, |g_0 - h_0| < r\}.

The sets Ur(g), for all r > 0 and g\mathcal G define a basis of open sets for the topology on \mathcal G.

A connected component of \mathcal G (i.e., an equivalence class) is called a sheaf. We also note that the map φg(h) = h0 from Ur(g) to C where r is the radius of convergence of g, is a chart. The set of such charts forms an atlas for \mathcal G, hence \mathcal G is a Riemann surface. \mathcal G is sometimes called the universal analytic function.

Examples of analytic continuation

L(z) = \sum_{k=1}^\infin \frac{(-1)^{k+1}}{k}(z-1)^k

is a power series corresponding to the natural logarithm near z = 1. This power series can be turned into a germ

 g=(1,0,1,-\frac 1 2, \frac 1 3 , - \frac 1 4 , \frac 1 5 , - \frac 1 6 , \cdots)

This germ has a radius of convergence of 1, and so there is a sheaf S corresponding to it. This is the sheaf of the logarithm function.

The uniqueness theorem for analytic functions also extends to sheaves of analytic functions: if the sheaf of an analytic function contains the zero germ (i.e., the sheaf is uniformly zero in some neighborhood) then the entire sheaf is zero. Armed with this result, we can see that if we take any germ g of the sheaf S of the logarithm function, as described above, and turn it into a power series f(z) then this function will have the property that exp(f(z))=z. If we had decided to use a version of the inverse function theorem for analytic functions, we could construct a wide variety of inverses for the exponential map, but we would discover that they are all represented by some germ in S. In that sense, S is the "one true inverse" of the exponential map.

In older literature, sheaves of analytic functions were called multi-valued functions. See sheaf for the general concept.

Monodromy theorem

The monodromy theorem gives a sufficient condition for the existence of a direct analytic continuation (i.e., an extension of an analytic function to an analytic function on a bigger set).

Suppose D is an open set in \mathbb{C}, and f an analytic function on D. If G is a simply connected domain containing D, such that f has an analytic continuation along every path in G, starting from some fixed point a in D, then f has a direct analytic continuation to G.

In the above language this means that if G is a simply connected domain, and S is a sheaf whose set of base points contains G, then there exists an analytic function f on G whose germs belong to S.

Hadamard's gap theorem

For a power series

f(z)=\sum_{k=0}^\infty \alpha_k (z-z_0)^k

with coefficients mostly zero in the precise sense that they vanish outside a sequence of exponents k(i) with


\lim_{i\to\infty} \frac{k(i+1)}{k(i)} > 1 + \delta \,

for some fixed δ > 0, the circle centre z0 and with radius the radius of convergence is a natural boundary. Such a power series defines a lacunary function.

Polya's theorem

Let f(z)=\sum_{k=0}^\infty \alpha_k (z-z_0)^k be a power series, then there exist \epsilon_k\in \{-1,1\} such that

f(z)=\sum_{k=0}^\infty \epsilon_k\alpha_k (z-z_0)^k

has the convergence disc of f around z0 as a natural boundary.

The proof of this theorem makes use of Hadamard's gap theorem.

See also

References

External links


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • analytic continuation — noun a) An extension of an analytic function which is itself analytic b) The practice of extending analytic functions …   Wiktionary

  • 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

  • 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] …   Useful english dictionary

  • Continuation (disambiguation) — Continuation may refer to: Continuation, a concept in computer science Analytic continuation, a technique in complex analysis Continuation War, the Finno Soviet conflict during World War II Continuing patent application, a special type of patent… …   Wikipedia

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

  • Analytic torsion — In mathematics, Reidemeister torsion (or R torsion, or Reidemeister–Franz torsion) is a topological invariant of manifolds introduced by Kurt Reidemeister (Reidemeister (1935)) for 3 manifolds and generalized to higher dimensions by Franz (1935)… …   Wikipedia

  • 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

  • Real analytic Eisenstein series — In mathematics, the simplest real analytic Eisenstein series is a special function of two variables. It is used in the representation theory of SL2(R) and in analytic number theory. It is closely related to the Epstein zeta function.There are… …   Wikipedia

  • Non-analytic smooth function — In mathematics, smooth functions (also called infinitely differentiable functions) and analytic functions are two very important types of functions. One can easily prove that any analytic function of a real argument is smooth. The converse is not …   Wikipedia

  • Rigid analytic space — In mathematics, a rigid analytic space is an analogue of a complex analytic space over a nonarchimedean field. They were introduced by John Tate in 1962, as an outgrowth of his work on uniformizing p adic elliptic curves with bad reduction using… …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.