Namespaces
Variants
Actions

Difference between revisions of "Analytic continuation"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
a0122001.png
 +
$#A+1 = 126 n = 0
 +
$#C+1 = 126 : ~/encyclopedia/old_files/data/A012/A.0102200 Analytic continuation
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''of a function''
 
''of a function''
  
An extension of a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a0122001.png" />, already defined on a certain subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a0122002.png" /> of a complex manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a0122003.png" />, to a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a0122004.png" /> which is holomorphic on a certain domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a0122005.png" /> containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a0122006.png" /> such that the restriction <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a0122007.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a0122008.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a0122009.png" /> coincides with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220010.png" />. The starting point in the theory of analytic continuation is the concept of an (analytic) element, i.e. a pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220011.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220012.png" /> is a domain in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220013.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220014.png" /> is a holomorphic function on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220015.png" />. One says that the elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220016.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220017.png" /> are direct analytic continuations of each other through a connected component <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220018.png" /> of the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220019.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220020.png" />. By definition, an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220021.png" /> continues analytically to a boundary point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220022.png" /> if there exists a direct analytic continuation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220023.png" /> of the element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220024.png" /> through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220025.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220026.png" />. A maximal analytic continuation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220027.png" /> (in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220028.png" />) is an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220029.png" /> which continues <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220030.png" /> analytically to the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220031.png" />, but which cannot analytically be continued to any boundary point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220032.png" />. The maximal analytic continuation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220033.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220034.png" /> is unique, but does not always exist. In order to overcome this drawback one introduces the concept of a covering domain over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220035.png" /> (a Riemann surface in the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220036.png" />), which is constructed from the elements that are analytic continuations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220037.png" />. An element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220038.png" /> is called an analytic continuation of an element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220039.png" /> if there exists a finite chain of elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220040.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220041.png" />, and corresponding connected components <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220042.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220043.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220044.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220045.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220046.png" /> are direct analytic continuations of each other through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220047.png" />. One says that the holomorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220048.png" />, initially defined in the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220049.png" />, continues analytically to a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220050.png" /> if there exists an analytic continuation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220051.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220052.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220053.png" />. One introduces an equivalence relation among the elements which are continuations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220054.png" /> to the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220055.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220056.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220057.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220058.png" /> in a neighbourhood of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220059.png" />. On the set of equivalence classes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220060.png" /> (for all possible <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220061.png" />) there is a natural way of introducing the topology and complex structure of a covering domain over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220062.png" />. The function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220063.png" /> is lifted to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220064.png" /> in a natural manner (its value on the equivalence class at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220065.png" /> containing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220066.png" /> is set equal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220067.png" />); it continues analytically to all of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220068.png" /> and, in the sense defined above, it does not continue to any boundary point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220069.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220070.png" />.
+
An extension of a function $  f _ {0} $,  
 +
already defined on a certain subset $  E $
 +
of a complex manifold $  M $,  
 +
to a function $  f $
 +
which is holomorphic on a certain domain $  D \subset  M $
 +
containing $  E $
 +
such that the restriction $  f \mid  _ {E} = f _ {0} $
 +
of $  f $
 +
to $  E $
 +
coincides with $  f _ {0} $.  
 +
The starting point in the theory of analytic continuation is the concept of an (analytic) element, i.e. a pair $  (D , f) $,  
 +
where $  D $
 +
is a domain in $  M $
 +
and $  f $
 +
is a holomorphic function on $  D $.  
 +
One says that the elements $  (D _ {0} , f _ {0} ) $
 +
and $  ( D _ {1} , f _ {1} ) $
 +
are direct analytic continuations of each other through a connected component $  \Delta $
 +
of the set $  D _ {0} \cap D _ {1} $
 +
if $  f _ {0} | _  \Delta  = f _ {1} | _  \Delta  $.  
 +
By definition, an element $  (D _ {0} , f _ {0} ) $
 +
continues analytically to a boundary point $  \xi \in \partial  D \subset  M $
 +
if there exists a direct analytic continuation $  (D _ {1} , f _ {1} ) $
 +
of the element $  ( D _ {0} , f _ {0} ) $
 +
through $  \Delta $
 +
such that $  \xi \in {\overline \Delta \; } \cap D _ {1} $.  
 +
A maximal analytic continuation of $  ( D _ {0} , f _ {0} ) $(
 +
in $  M $)  
 +
is an element $  ( D, f) $
 +
which continues $  f _ {0} $
 +
analytically to the domain $  D \supset D _ {0} $,  
 +
but which cannot analytically be continued to any boundary point of $  D $.  
 +
The maximal analytic continuation of $  ( D _ {0} , f _ {0} ) $
 +
in $  M $
 +
is unique, but does not always exist. In order to overcome this drawback one introduces the concept of a covering domain over $  M $(
 +
a Riemann surface in the case $  M = \mathbf C $),  
 +
which is constructed from the elements that are analytic continuations of $  ( D _ {0} , f _ {0} ) $.  
 +
An element $  (D, f) $
 +
is called an analytic continuation of an element $  ( D _ {0} , f _ {0} ) $
 +
if there exists a finite chain of elements $  ( D _ {i} , f _ {i} ) $,  
 +
$  i = 0 \dots n $,  
 +
and corresponding connected components $  \Delta _ {i} $
 +
in $  D _ {i} \cap D _ {i+1 }  $
 +
such that $  ( D _ {n} , f _ {n} ) = ( D , f ) $
 +
and $  ( D _ {i} , f _ {i} ) $,
 +
$  ( D _ {i+1 }  , f _ {i+1 }  ) $
 +
are direct analytic continuations of each other through $  \Delta _ {i} $.  
 +
One says that the holomorphic function $  f _ {0} $,  
 +
initially defined in the domain $  D _ {0} $,  
 +
continues analytically to a point $  z \in M $
 +
if there exists an analytic continuation $  (D, f) $
 +
of  $  ( D _ {0} , f _ {0} ) $
 +
such that $  z \in D $.  
 +
One introduces an equivalence relation among the elements which are continuations of $  f _ {0} $
 +
to the point $  z: $
 +
$  ( D  ^  \prime  , f ^ { \prime } ) \sim ( D  ^ {\prime\prime} , f ^ { \prime\prime } ) $
 +
if $  z \in D  ^  \prime  \cap D  ^ {\prime\prime} $
 +
and $  f ^ { \prime } = f ^ { \prime\prime } $
 +
in a neighbourhood of $  z $.  
 +
On the set of equivalence classes $  D _ {f} $(
 +
for all possible $  z $)  
 +
there is a natural way of introducing the topology and complex structure of a covering domain over $  M $.  
 +
The function $  f _ {0} $
 +
is lifted to $  D _ {f} $
 +
in a natural manner (its value on the equivalence class at $  z $
 +
containing  $  (D _ {0} , f _ {0} ) $
 +
is set equal to $  f _ {0} (z) $);  
 +
it continues analytically to all of $  D _ {f} $
 +
and, in the sense defined above, it does not continue to any boundary point of $  D _ {f} $
 +
over $  M $.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220071.png" /> is the complex plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220072.png" /> or, more generally, the complex space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220073.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220074.png" />, this process of analytic continuation can be described more simply. A canonical element is a pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220075.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220076.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220077.png" /> is a power series centred at the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220078.png" /> with a non-empty domain of convergence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220079.png" />. A canonical element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220080.png" /> is an analytic continuation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220081.png" /> along a path <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220082.png" /> if there exists a family of canonical elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220083.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220084.png" />, with centres <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220085.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220086.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220087.png" />, and for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220088.png" /> the elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220089.png" /> are direct analytic continuations of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220090.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220091.png" /> sufficiently near to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220092.png" />. The family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220093.png" /> is in fact uniquely determined. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220094.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220095.png" />, is a continuous family of paths in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220096.png" /> with common end points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220097.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220098.png" />, and if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a01220099.png" /> continues analytically along each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200100.png" />, then the result <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200101.png" /> does not depend on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200102.png" /> (the monodromy theorem). In the case of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200103.png" /> the canonical elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200104.png" /> obtained by analytic continuation along all possible paths in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200105.png" /> become the points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200106.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200107.png" /> is lifted to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200108.png" /> and continues analytically throughout <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200109.png" /> to a holomorphic function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200110.png" />, while <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200111.png" /> is the domain of holomorphy of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200112.png" />.
+
If $  M $
 +
is the complex plane $  \mathbf C $
 +
or, more generally, the complex space $  \mathbf C  ^ {n} $,  
 +
$  n \geq  1 $,  
 +
this process of analytic continuation can be described more simply. A canonical element is a pair $  ( D _ {a} , f _ {a} ) $
 +
where a \in \mathbf C  ^ {n} $
 +
and $  f _ {a} $
 +
is a power series centred at the point a $
 +
with a non-empty domain of convergence $  D _ {a} $.  
 +
A canonical element $  (D _ {b} , f _ {b} ) $
 +
is an analytic continuation of $  ( D _ {a} , f _ {a} ) $
 +
along a path $  \gamma :  [ 0, 1 ] \rightarrow \mathbf C  ^ {n} $
 +
if there exists a family of canonical elements $  ( D _ {t} , f _ {t} ) $,  
 +
0 \leq  t \leq  1 $,  
 +
with centres $  a _ {t} = z(t) $,  
 +
such that $  ( D _ {0} , f _ {0} ) = ( D _ {a} , f _ {a} ) $,
 +
$  ( D _ {1} , f _ {1} ) = ( D _ {b} , f _ {b} ) $,  
 +
and for any $  t _ {0} \in \gamma $
 +
the elements $  ( D _ {t} , f _ {t} ) $
 +
are direct analytic continuations of $  ( D _ {t _ {0}  } , f _ {t _ {0}  } ) $
 +
for all $  t $
 +
sufficiently near to $  t _ {0} $.  
 +
The family $  ( D _ {t} , f _ {t} ) $
 +
is in fact uniquely determined. If $  \gamma _  \tau  $,  
 +
0 \leq  \tau \leq  1 $,  
 +
is a continuous family of paths in $  \mathbf C  ^ {n} $
 +
with common end points a $
 +
and $  b $,  
 +
and if $  ( D _ {a} , f _ {a} ) $
 +
continues analytically along each $  \gamma _  \tau  $,  
 +
then the result $  ( D _ {b} , f _ {b} ) $
 +
does not depend on $  \tau $(
 +
the monodromy theorem). In the case of $  \mathbf C  ^ {n} $
 +
the canonical elements $  ( D _ {a} , f _ {a} ) $
 +
obtained by analytic continuation along all possible paths in $  \mathbf C  ^ {n} $
 +
become the points of $  D _ {f} $;  
 +
$  f _ {a} $
 +
is lifted to $  D _ {f} $
 +
and continues analytically throughout $  D _ {f} $
 +
to a holomorphic function $  f $,  
 +
while $  D _ {f} $
 +
is the domain of holomorphy of $  f $.
  
This general process of analytic continuation is not very effective in practice, and for this reason many special methods of analytic continuation are employed. These include various analytic representations: parameter-dependent integrals such as Cauchy-type integrals (cf. [[Cauchy integral|Cauchy integral]]); the [[Laplace integral|Laplace integral]]; the [[Borel transform|Borel transform]]; change of variable in a power series, special methods of summation of power series (the Borel expansion into a polynomial series converging in a maximal polygon (cf. [[Borel summation method|Borel summation method]]), the Mittag-Leffler series converging in a maximal star (cf. [[Star of a function element|Star of a function element]]; [[Mittag-Leffler summation method|Mittag-Leffler summation method]]), etc., the Riemann–Schwarz reflection method (cf. [[Riemann–Schwarz principle|Riemann–Schwarz principle]]), functional and differential equations satisfied by a function (e.g. the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200113.png" /> for the gamma-function, conditions of periodicity, evenness, symmetry, etc.), and analytic expressions in terms of known functions.
+
This general process of analytic continuation is not very effective in practice, and for this reason many special methods of analytic continuation are employed. These include various analytic representations: parameter-dependent integrals such as Cauchy-type integrals (cf. [[Cauchy integral|Cauchy integral]]); the [[Laplace integral|Laplace integral]]; the [[Borel transform|Borel transform]]; change of variable in a power series, special methods of summation of power series (the Borel expansion into a polynomial series converging in a maximal polygon (cf. [[Borel summation method|Borel summation method]]), the Mittag-Leffler series converging in a maximal star (cf. [[Star of a function element|Star of a function element]]; [[Mittag-Leffler summation method|Mittag-Leffler summation method]]), etc., the Riemann–Schwarz reflection method (cf. [[Riemann–Schwarz principle|Riemann–Schwarz principle]]), functional and differential equations satisfied by a function (e.g. the equation $  \Gamma (z + 1) = z \Gamma (z) $
 +
for the gamma-function, conditions of periodicity, evenness, symmetry, etc.), and analytic expressions in terms of known functions.
  
The subject of analytic continuation also comprises studies on the relation between the initial element of an analytic function (a Taylor series) and the properties of the [[Complete analytic function|complete analytic function]] generated by this element [[#References|[1]]]. Results have been obtained on singular points (criteria for singular points, the [[Hadamard theorem|Hadamard theorem]] on products, the [[Fabry theorem|Fabry theorem]] on quotients) and on singular curves (theorems on gaps and non-extendability beyond the boundary of the disc of convergence, e.g. the [[Hadamard theorem|Hadamard theorem]] on gaps, the [[Fabry theorem|Fabry theorem]] on gaps, etc.), theorems on [[Over-convergence|over-convergence]] and on relations between analytic continuation of a power series and properties of an entire function which defines its coefficients, problems of meromorphic continuation, meromorphic continuation by [[Padé approximation|Padé approximation]], etc. The field of analytic continuation also includes theorems on removable singularities (removability of an isolated singularity of a bounded holomorphic function, removability of a rectifiable singular curve under conditions of continuity, etc.), as well as a large class of theorems on the simultaneous continuation of holomorphic functions of several complex variables. The space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200114.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200115.png" />, comprises domains for which every holomorphic function can be extended to a larger domain (this phenomenon is absent in the one-dimensional case). It is therefore an important problem in the theory of analytic continuation of functions of several complex variables to describe these larger domains — the so-called envelopes of holomorphy. Thus, there are descriptions of the hulls (envelopes) of holomorphy for Hartogs domains, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200116.png" />-circular and tube domains, theorems on the removability of compact singularity sets and of singularity sets of codimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200117.png" />, the [[Bogolyubov theorem|Bogolyubov theorem]] on the "edge-of-the-wedge" and
+
The subject of analytic continuation also comprises studies on the relation between the initial element of an analytic function (a Taylor series) and the properties of the [[Complete analytic function|complete analytic function]] generated by this element [[#References|[1]]]. Results have been obtained on singular points (criteria for singular points, the [[Hadamard theorem|Hadamard theorem]] on products, the [[Fabry theorem|Fabry theorem]] on quotients) and on singular curves (theorems on gaps and non-extendability beyond the boundary of the disc of convergence, e.g. the [[Hadamard theorem|Hadamard theorem]] on gaps, the [[Fabry theorem|Fabry theorem]] on gaps, etc.), theorems on [[Over-convergence|over-convergence]] and on relations between analytic continuation of a power series and properties of an entire function which defines its coefficients, problems of meromorphic continuation, meromorphic continuation by [[Padé approximation|Padé approximation]], etc. The field of analytic continuation also includes theorems on removable singularities (removability of an isolated singularity of a bounded holomorphic function, removability of a rectifiable singular curve under conditions of continuity, etc.), as well as a large class of theorems on the simultaneous continuation of holomorphic functions of several complex variables. The space $  \mathbf C  ^ {n} $,  
 +
$  n > 1 $,  
 +
comprises domains for which every holomorphic function can be extended to a larger domain (this phenomenon is absent in the one-dimensional case). It is therefore an important problem in the theory of analytic continuation of functions of several complex variables to describe these larger domains — the so-called envelopes of holomorphy. Thus, there are descriptions of the hulls (envelopes) of holomorphy for Hartogs domains, $  n $-
 +
circular and tube domains, theorems on the removability of compact singularity sets and of singularity sets of codimension $  \geq  2 $,  
 +
the [[Bogolyubov theorem|Bogolyubov theorem]] on the "edge-of-the-wedge" and
  
P Vladimirov's theorem on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200121.png" />-convex hulls [[#References|[3]]] (cf. [[Holomorphic envelope|Holomorphic envelope]]; [[Hartogs domain|Hartogs domain]]; [[Tube domain|Tube domain]]). A number of effective methods for the construction of envelopes of holomorphy are available [[#References|[3]]].
+
P Vladimirov's theorem on $  C $-
 +
convex hulls [[#References|[3]]] (cf. [[Holomorphic envelope|Holomorphic envelope]]; [[Hartogs domain|Hartogs domain]]; [[Tube domain|Tube domain]]). A number of effective methods for the construction of envelopes of holomorphy are available [[#References|[3]]].
  
The problem of analytic continuation of functions of a real variable can be reduced to that of holomorphic functions, since for any domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200122.png" /> and any function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200123.png" /> analytic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200124.png" /> there are a domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200125.png" /> and a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200126.png" /> holomorphic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200127.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200128.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a012/a012200/a012200129.png" />.
+
The problem of analytic continuation of functions of a real variable can be reduced to that of holomorphic functions, since for any domain $  G \subset  \mathbf R  ^ {n} $
 +
and any function $  f $
 +
analytic in $  G $
 +
there are a domain $  D \subset  \mathbf C  ^ {n} $
 +
and a function $  \widetilde{f}  $
 +
holomorphic in $  D $
 +
such that $  D \cap \mathbf R  ^ {n} = G $
 +
and $  \widetilde{f}  \mid  _ {G} = f $.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> L. Bieberbach, "Analytische Fortsetzung" , Springer (1955) pp. Sect. 3 {{MR|0068621}} {{ZBL|0064.06902}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A.I. Markushevich, "Theory of functions of a complex variable" , '''1–3''' , Chelsea (1977) (Translated from Russian) {{MR|0444912}} {{ZBL|0357.30002}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> V.S. Vladimirov, "Methods of the theory of functions of several complex variables" , M.I.T. (1966) (Translated from Russian)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> L. Bieberbach, "Analytische Fortsetzung" , Springer (1955) pp. Sect. 3 {{MR|0068621}} {{ZBL|0064.06902}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> A.I. Markushevich, "Theory of functions of a complex variable" , '''1–3''' , Chelsea (1977) (Translated from Russian) {{MR|0444912}} {{ZBL|0357.30002}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> V.S. Vladimirov, "Methods of the theory of functions of several complex variables" , M.I.T. (1966) (Translated from Russian)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
 
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> L. Hörmander, "An introduction to complex analysis in several variables" , v. Nostrand (1966) {{MR|0203075}} {{ZBL|0138.06203}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> H. Grauert, K. Fritzsche, "Several complex variables" , Springer (1976) (Translated from German) {{MR|0414912}} {{ZBL|0381.32001}} </TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> L. Hörmander, "An introduction to complex analysis in several variables" , v. Nostrand (1966) {{MR|0203075}} {{ZBL|0138.06203}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> H. Grauert, K. Fritzsche, "Several complex variables" , Springer (1976) (Translated from German) {{MR|0414912}} {{ZBL|0381.32001}} </TD></TR></table>

Revision as of 18:20, 5 April 2020


of a function

An extension of a function $ f _ {0} $, already defined on a certain subset $ E $ of a complex manifold $ M $, to a function $ f $ which is holomorphic on a certain domain $ D \subset M $ containing $ E $ such that the restriction $ f \mid _ {E} = f _ {0} $ of $ f $ to $ E $ coincides with $ f _ {0} $. The starting point in the theory of analytic continuation is the concept of an (analytic) element, i.e. a pair $ (D , f) $, where $ D $ is a domain in $ M $ and $ f $ is a holomorphic function on $ D $. One says that the elements $ (D _ {0} , f _ {0} ) $ and $ ( D _ {1} , f _ {1} ) $ are direct analytic continuations of each other through a connected component $ \Delta $ of the set $ D _ {0} \cap D _ {1} $ if $ f _ {0} | _ \Delta = f _ {1} | _ \Delta $. By definition, an element $ (D _ {0} , f _ {0} ) $ continues analytically to a boundary point $ \xi \in \partial D \subset M $ if there exists a direct analytic continuation $ (D _ {1} , f _ {1} ) $ of the element $ ( D _ {0} , f _ {0} ) $ through $ \Delta $ such that $ \xi \in {\overline \Delta \; } \cap D _ {1} $. A maximal analytic continuation of $ ( D _ {0} , f _ {0} ) $( in $ M $) is an element $ ( D, f) $ which continues $ f _ {0} $ analytically to the domain $ D \supset D _ {0} $, but which cannot analytically be continued to any boundary point of $ D $. The maximal analytic continuation of $ ( D _ {0} , f _ {0} ) $ in $ M $ is unique, but does not always exist. In order to overcome this drawback one introduces the concept of a covering domain over $ M $( a Riemann surface in the case $ M = \mathbf C $), which is constructed from the elements that are analytic continuations of $ ( D _ {0} , f _ {0} ) $. An element $ (D, f) $ is called an analytic continuation of an element $ ( D _ {0} , f _ {0} ) $ if there exists a finite chain of elements $ ( D _ {i} , f _ {i} ) $, $ i = 0 \dots n $, and corresponding connected components $ \Delta _ {i} $ in $ D _ {i} \cap D _ {i+1 } $ such that $ ( D _ {n} , f _ {n} ) = ( D , f ) $ and $ ( D _ {i} , f _ {i} ) $, $ ( D _ {i+1 } , f _ {i+1 } ) $ are direct analytic continuations of each other through $ \Delta _ {i} $. One says that the holomorphic function $ f _ {0} $, initially defined in the domain $ D _ {0} $, continues analytically to a point $ z \in M $ if there exists an analytic continuation $ (D, f) $ of $ ( D _ {0} , f _ {0} ) $ such that $ z \in D $. One introduces an equivalence relation among the elements which are continuations of $ f _ {0} $ to the point $ z: $ $ ( D ^ \prime , f ^ { \prime } ) \sim ( D ^ {\prime\prime} , f ^ { \prime\prime } ) $ if $ z \in D ^ \prime \cap D ^ {\prime\prime} $ and $ f ^ { \prime } = f ^ { \prime\prime } $ in a neighbourhood of $ z $. On the set of equivalence classes $ D _ {f} $( for all possible $ z $) there is a natural way of introducing the topology and complex structure of a covering domain over $ M $. The function $ f _ {0} $ is lifted to $ D _ {f} $ in a natural manner (its value on the equivalence class at $ z $ containing $ (D _ {0} , f _ {0} ) $ is set equal to $ f _ {0} (z) $); it continues analytically to all of $ D _ {f} $ and, in the sense defined above, it does not continue to any boundary point of $ D _ {f} $ over $ M $.

If $ M $ is the complex plane $ \mathbf C $ or, more generally, the complex space $ \mathbf C ^ {n} $, $ n \geq 1 $, this process of analytic continuation can be described more simply. A canonical element is a pair $ ( D _ {a} , f _ {a} ) $ where $ a \in \mathbf C ^ {n} $ and $ f _ {a} $ is a power series centred at the point $ a $ with a non-empty domain of convergence $ D _ {a} $. A canonical element $ (D _ {b} , f _ {b} ) $ is an analytic continuation of $ ( D _ {a} , f _ {a} ) $ along a path $ \gamma : [ 0, 1 ] \rightarrow \mathbf C ^ {n} $ if there exists a family of canonical elements $ ( D _ {t} , f _ {t} ) $, $ 0 \leq t \leq 1 $, with centres $ a _ {t} = z(t) $, such that $ ( D _ {0} , f _ {0} ) = ( D _ {a} , f _ {a} ) $, $ ( D _ {1} , f _ {1} ) = ( D _ {b} , f _ {b} ) $, and for any $ t _ {0} \in \gamma $ the elements $ ( D _ {t} , f _ {t} ) $ are direct analytic continuations of $ ( D _ {t _ {0} } , f _ {t _ {0} } ) $ for all $ t $ sufficiently near to $ t _ {0} $. The family $ ( D _ {t} , f _ {t} ) $ is in fact uniquely determined. If $ \gamma _ \tau $, $ 0 \leq \tau \leq 1 $, is a continuous family of paths in $ \mathbf C ^ {n} $ with common end points $ a $ and $ b $, and if $ ( D _ {a} , f _ {a} ) $ continues analytically along each $ \gamma _ \tau $, then the result $ ( D _ {b} , f _ {b} ) $ does not depend on $ \tau $( the monodromy theorem). In the case of $ \mathbf C ^ {n} $ the canonical elements $ ( D _ {a} , f _ {a} ) $ obtained by analytic continuation along all possible paths in $ \mathbf C ^ {n} $ become the points of $ D _ {f} $; $ f _ {a} $ is lifted to $ D _ {f} $ and continues analytically throughout $ D _ {f} $ to a holomorphic function $ f $, while $ D _ {f} $ is the domain of holomorphy of $ f $.

This general process of analytic continuation is not very effective in practice, and for this reason many special methods of analytic continuation are employed. These include various analytic representations: parameter-dependent integrals such as Cauchy-type integrals (cf. Cauchy integral); the Laplace integral; the Borel transform; change of variable in a power series, special methods of summation of power series (the Borel expansion into a polynomial series converging in a maximal polygon (cf. Borel summation method), the Mittag-Leffler series converging in a maximal star (cf. Star of a function element; Mittag-Leffler summation method), etc., the Riemann–Schwarz reflection method (cf. Riemann–Schwarz principle), functional and differential equations satisfied by a function (e.g. the equation $ \Gamma (z + 1) = z \Gamma (z) $ for the gamma-function, conditions of periodicity, evenness, symmetry, etc.), and analytic expressions in terms of known functions.

The subject of analytic continuation also comprises studies on the relation between the initial element of an analytic function (a Taylor series) and the properties of the complete analytic function generated by this element [1]. Results have been obtained on singular points (criteria for singular points, the Hadamard theorem on products, the Fabry theorem on quotients) and on singular curves (theorems on gaps and non-extendability beyond the boundary of the disc of convergence, e.g. the Hadamard theorem on gaps, the Fabry theorem on gaps, etc.), theorems on over-convergence and on relations between analytic continuation of a power series and properties of an entire function which defines its coefficients, problems of meromorphic continuation, meromorphic continuation by Padé approximation, etc. The field of analytic continuation also includes theorems on removable singularities (removability of an isolated singularity of a bounded holomorphic function, removability of a rectifiable singular curve under conditions of continuity, etc.), as well as a large class of theorems on the simultaneous continuation of holomorphic functions of several complex variables. The space $ \mathbf C ^ {n} $, $ n > 1 $, comprises domains for which every holomorphic function can be extended to a larger domain (this phenomenon is absent in the one-dimensional case). It is therefore an important problem in the theory of analytic continuation of functions of several complex variables to describe these larger domains — the so-called envelopes of holomorphy. Thus, there are descriptions of the hulls (envelopes) of holomorphy for Hartogs domains, $ n $- circular and tube domains, theorems on the removability of compact singularity sets and of singularity sets of codimension $ \geq 2 $, the Bogolyubov theorem on the "edge-of-the-wedge" and

P Vladimirov's theorem on $ C $- convex hulls [3] (cf. Holomorphic envelope; Hartogs domain; Tube domain). A number of effective methods for the construction of envelopes of holomorphy are available [3].

The problem of analytic continuation of functions of a real variable can be reduced to that of holomorphic functions, since for any domain $ G \subset \mathbf R ^ {n} $ and any function $ f $ analytic in $ G $ there are a domain $ D \subset \mathbf C ^ {n} $ and a function $ \widetilde{f} $ holomorphic in $ D $ such that $ D \cap \mathbf R ^ {n} = G $ and $ \widetilde{f} \mid _ {G} = f $.

References

[1] L. Bieberbach, "Analytische Fortsetzung" , Springer (1955) pp. Sect. 3 MR0068621 Zbl 0064.06902
[2] A.I. Markushevich, "Theory of functions of a complex variable" , 1–3 , Chelsea (1977) (Translated from Russian) MR0444912 Zbl 0357.30002
[3] V.S. Vladimirov, "Methods of the theory of functions of several complex variables" , M.I.T. (1966) (Translated from Russian)

Comments

References

[a1] L. Hörmander, "An introduction to complex analysis in several variables" , v. Nostrand (1966) MR0203075 Zbl 0138.06203
[a2] H. Grauert, K. Fritzsche, "Several complex variables" , Springer (1976) (Translated from German) MR0414912 Zbl 0381.32001
How to Cite This Entry:
Analytic continuation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Analytic_continuation&oldid=24365
This article was adapted from an original article by E.M. Chirka (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article