PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (211)
Orphanage
Unclass'd (1)
Unproven (472)
Corrections (36)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: High Entry average rating: No information on entry rating
analytic continuation (Definition)

Suppose that $ D_1$ and $ D_2$ are connected open subsets of the complex plane and that $ D_1 \subset D_2$. Suppose that $ f \colon D_1 \to \mathbb{C}$ and $ g \colon D_2 \to \mathbb{C}$ are analytic. If the restriction of $ g$ to $ D_1$ equals $ f$, we say that $ g$ is a direct analytic continuation of $ f$.

The reason that the notion of analytic continuation is interesting is the rigidity theorem for complex functions, which implies that analytic continuation is unique. This is in marked contrast to what would happen if, instead of analyticity, we only required a weaker condition such as continuity. In that case, there would exist a great number of continuations of a given function to a larger domain. In fact there are so many possibilities that the choice of continuation is largely arbitrary -- one can find a continuation which agrees with any continuous function on a subset of $ D_2$ which is separated from $ D_1$.

One can generalize this notion to continuation along a chain of open sets. Suppose that one has a sequence of open sets $ {D_k}_{k=1}^n$ such that $ D_k \cap D_{k+1}$ is not empty for $ k$ between $ 1$ and $ n-1$ and $ n$ functions $ f_k \colon D_k \to \mathbb{C}$ such that $ f_k (z) = f_{k+1} (z)$ when $ z \in D_k \cap D_{k+1}$ for all $ k$ between $ 1$ and $ n-1$. Then we say that $ f_n$ is the indirect analytic continuation of $ f_1$ along the chain $ {D_k}_{k=1}^n$,

A related notion is that of analytic continuation along an arc. Given an arc $ C$ with endpoints $ x$ and $ y$, a function $ f$ defined in open neighborhood of $ x$, and a function $ g$ defined in open neighborhood of $ y$ we say that $ g$ is the analytic continuation of $ f$ along the arc $ C$ if there exists an open set containing $ C$ and an an analytic function $ h$ defined on this open set such that $ f$ agrees with $ h$ at those points of the complex plane where both $ f$ and $ h$ are defined and $ g$ agrees with $ h$ at those points of the complex plane where both $ g$ and $ h$ are defined. By the rigidity theorem, the analytic continuation of a function along an arc is unique.

It is worth noting that it is possible to obtain different analytic continuations of the same function along two arcs with the same endpoints. For instance, if we let $ f$ be the square root function, let $ x=1$ and $ y=-1$, and let $ C_1$ and $ C_2$ be the two halves of the unit circle joining $ x$ to $ y$, then the result of analytically continuing $ f$ from $ x$ to $ y$ along $ C_1$ differs from the result of analytically continuing $ f$ from $ x$ to $ y$ along $ C_2$.

This seems to contradict the uniqueness of analytic continuation. This contradiction, however, is only apparent because there does not exist a single open set which contains both $ C_1$ and $ C_2$ to which $ f$ can be analytically continued. In fact, in order to accommodate both the analytic continuation along $ C_1$ and the analytic continuation along $ C_2$, one needs to define $ f$ on a Riemann surface. Then there exists an open subset of the Riemann surface which contains the lifts of both $ C_1$ and $ C_2$. Since the lift of the endpoint of the lift of $ C_1$ lies on a different sheet of the Riemann surface than the endpoint of the lift of $ C_2$, there is nothing contradictory about the fact that the analytic continuation of $ f$ assumes different values at these two distinct points on the Riemann surface.

The notion of analytic continuation along an arc can be extended to analytic continuation along a path. Any path can be written as the union of overlapping arcs. To continue a function along a path, one successively continues it along the various arcs into which the path has been decomposed. It is a simple consequence of the rigidity theorem that the result of analytically continuing a function along a path is independent of the decomposition of the path into arcs.



"analytic continuation" is owned by rspuzio. [ full author list (2) ]
(view preamble)

View style:

See Also: analytic continuation of Riemann zeta to critical strip, analytic continuation of gamma function

Also defines:  analytic continuation along an arc, analytic continuation along a path

Attachments:
persistence of analytic relations (Theorem) by rspuzio
analytic continuation by power series (Result) by rspuzio
natural boundary (Definition) by rspuzio
example of analytic continuation (Example) by pahio
analytic continuation of Riemann zeta (using integral) (Example) by rspuzio
Log in to rate this entry.
(view current ratings)

Cross-references: decomposition, independent, consequence, union, path, lies on, lifts, Riemann surface, order, contains, contradiction, unit circle, square root, points, neighborhood, endpoints, arc, sequence, chain, separated, subset, continuous function, domain, function, continuations, implies, complex functions, rigidity theorem, restriction, analytic, complex plane, open subsets, connected
There are 28 references to this entry.

This is version 11 of analytic continuation, born on 2004-10-03, modified 2007-04-08.
Object id is 6287, canonical name is AnalyticContinuation.
Accessed 6943 times total.

Classification:
AMS MSC: 30A99 (Functions of a complex variable :: General properties :: Miscellaneous)
 30B40 (Functions of a complex variable :: Series expansions :: Analytic continuation)
Pending Errata and Addenda
None.
[ View all 7 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)