Analytic Continuation

Article Index for Analytic

Website Links For Analytic

Information About Analytic Continuation

	CATEGORIES ABOUT ANALYTIC CONTINUATION
	complex analysis
	riemann surfaces

	APPAREL
	BABY
	BEAUTY
	BOOKS
	CAR TOYS
	CELL PHONES
	DVD'S
	ELECTRONICS
	GOURMET FOOD
	GROCERIES
	HEALTH & PERSONAL
	HOME & GARDEN
	JEWELRY
	MUSIC
	MUSIC INSTRUMENTS
	OFFICE PRODUCTS
	SOFTWARE
	SPORTING GOODS
	TOOLS & HARDWARE
	TOYS
	VIDEO GAMES
	SHOPPING HOME
	MORE SHOPPING...

INITIAL DISCUSSION Suppose ''f'' is an analytic function defined on an Open Subset ''U'' of the Complex Plane C. If ''V'' is a larger open subset of C, containing ''U'', and ''F'' is an analytic function defined on ''V'' such that F 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 Connected and ''F''1 and ''F''2 are two analytic continuations of ''f'' defined on ''V'', then F everywhere. That is because the difference is an analytic function vanishing on a non-empty open set, and hence must be identically zero. For example, if a Power Series with Radius Of Convergence ''r'' about a point ''a'' of C is given, one can consider analytic continuations of the power series, i.e. analytic functions ''F'' which are defined on larger sets than the Open Disc of radius ''r'' at ''a'', in symbols
	:''z'' &minus ''a''	''r''
	Be A	"http://wwwinformationdelightinfo/encyclopedia/entry/power_series" class="copylinks">Power Series converging in the disc ''D''<sub>''r''</sub>(''z''<sub>0</sub>) := {''z'' in '''C''' : ''z'' - ''z''<sub>0</sub> < ''r''} for ''r'' > 0 (Note, without loss of generality, here and in the sequel, we will always assume that a maximal such ''r'' was chosen, even if it is &infin) Also note that it would be equivalent to begin with an analytic function defined on some small open set We say that the vector
	Let ''g'' And ''h'' Be	"http://wwwinformationdelightinfo/encyclopedia/entry/germ_(mathematics)" class="copylinks">Germs If ''h''<sub>0</sub> - ''g''<sub>0</sub> < ''r'' where ''r'' is the radius of convergence of ''g'' and if the power series that ''g'' and ''h'' represent 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 ''g'' &ge ''h'' 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 <math>\cong</math>
	:<math>U R(g)	\{h \in \mathcal G : g \ge h, g_0 - h_0 < r\}</math>

is a power series corresponding to the Natural Logarithm near ''z'' = 1. This power series can be turned into a Germ



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 Function s''. See Sheaf for the general concept.


HADAMARD'S GAP THEOREM


For a power series

: $f(z)=\backslash sum\_\{k=0\}^\backslash infty\; \backslash 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



for some fixed δ > 0, the circle centre ''z''₀ and with radius the radius of convergence is a natural boundary. (See for example E. C. Titchmarsh , ''Theory of Functions''.)