Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Analytic/meromorphic continuation is a difficult problem in general. For "motivic L-functions", the idea of proving their analytic continuations by first proving their modularity goes back, I guess, to Riemann.

Here I just want to ask a purely complex-analytic question. Let's restrict ourselves to the case of one variable functions. Let $U$ be a region in the complex plane, and let $f$ be a holomorphic function on $U.$ Is there any criterion for $f$ to have analytic continuation to a larger region? And what is this "maximal domain of regularity"?

Feel free to assume $U$ and $f$ to have the shape you like, e.g. a power series on an open disk or a Dirichlet series on some half plane. I guess even if $U$ is an annulus or a punctured disk, where one can compute (theoretically or numerically) the value of the extended function (if exists) at the points inside the inner loop by Cauchy's formula, it is still difficult to decide if this extension is continuous or analytic.

share|improve this question
1  
I doubt that there is or can be a criterion (for the existence of morphic continuation) of the generality you are looking for. Experience teaches us that one usually needs additional pieces of information like functional equation or integral representation 'ready' for regularization, or like in the case of the monodromy theorem, that there exists analytic continuation along the paths of curves in a simply connected domain containing $U$. –  efq May 27 '10 at 1:40
    
Hi Shenghao, for functions defined on open simple connected subset of $\mathbb C$, I heard once, that the analytic continuation can be made until the domain get surrounded by a dense set o singularities. (Perhaps someone else could give us a precise statement regarding to this fact) Even supposing this fact is true, for some class of holomorphic functions, It sounds for you as an acceptable criterion ? I am asking because frequently will be very hard to verify it. But if you have any interest on this kind of statement, I can look for you the details. –  Leandro May 27 '10 at 3:07
    
To Leandro: Thanks, and yes please, I'm interested in this. Thank you in advance. –  shenghao May 27 '10 at 4:38
add comment

2 Answers

Well, in case of power series some criterions do exist. Roughly speaking, one can take the element $$\sum\limits_{n=1}^{\infty}c_nz^n,\quad z < 1,\qquad\qquad (*)$$ and consider an analytic function $\phi$, such that $\phi(n)=c_n$ for every $n$. $(*)$ can be analytically extended onto some angular domain iff $\phi(z)$ has finite exponential growth.

Let $E\subset \mathbb C$ be a closed unbounded domain and let $H(E)$ denote the set of functions such that each of them is analytic in a neighborhood of $E$. For a function $\phi\in H(E)$, the exponential type of $\phi$ on $E$ is defined as $$\sigma_\phi(E)=\limsup\limits_{z\to\infty,\\ z\in E}\frac{\log^+|\phi(z)|}{|z|}.$$ The following result is due to LeRoy and Lindelöf.

Theorem 1. Let $\Pi=\{z\in\mathbb C|\ \Re z \geq 0\}$. Assume that $\phi\in H(\Pi)$ is of finite exponential type $\sigma<\pi$. Then the series $$f(z)=\sum\limits_{n=1}^{\infty}\phi(n)z^n$$ can be analytically extended onto the angular domain $\{z\in\mathbb C| \ |\arg z|>\sigma\}$.

The LeRoy-Lindelöf theorem gives only a sufficient condition. A criterion can be obtained if we relax a bit the condition that $\phi$ is of finite exponential type.

Let $\Omega=\{z\in\mathbb C|\ \Re z > 0\}$ be the interior of $\Pi$. An analytic function $\phi\in H(\Omega)$ is said to be of (finite) interior exponential type iff $$\sigma_\phi^\Omega=\sup\limits_{\{\Delta\}}\sigma_\phi(\Delta)< \infty,$$ where $\{\Delta\}$ is the set of all closed angular domains such that $\Delta\subset \Omega\cup \{0\}.$

Theorem 2. The element $$\sum\limits_{n=1}^{\infty}c_nz^n,\quad z < 1,$$ can be analytically extended onto the angular domain ${{{{}}{}}}\{z\in\mathbb C| \ |\arg z|>\sigma\}$ for some $\sigma\in[0,\pi)$ iff there is a function $\phi\in H(\Pi)$ of interior exponential type less or equal to $\sigma$ such that $$c_n=\phi(n),\quad n=0,1,2,\dots.$$

You might be interested in this article.

share|improve this answer
add comment

Hi,

I would say analytic continuation is, in many cases, almost like black magic!

These problems are very, very hard. There is probably no sensible general answer. Not surprisingly, since solving the Riemann Hypothesis is trivially equivalent to the question of whether $1/\zeta$ has a continuation to $\{ \mathrm{Re}(z) > 1/2 \}$ or not!

Analytic continuation is very ill-posed: approximating a function $F$ by a sequence $F_n$ usually is of no use at all in determining the domain you can extend $F$ to. So you usually need exact formulae for your functions, expressed as infinite series, products, integrals or something else; numerical computations are almost certainly useless for these problems.

Often, existence of a continuation depends on cancellation in very complicated oscillating series or integrals, so you rarely have nice things like absolute convergence (or even conditional convergence!) on the true domain of the function. It can be very difficult to analyse the formulae you get.

Unfortunately you probably will have to do lots of detailed algebraic calculations with the specific functions you are considering. Cauchy's theorem for functions expressed using contour integration is about the only general method I can think of, although it's not always possible.

share|improve this answer
    
+1 for "Often, existence of a continuation depends on cancellation in very complicated oscillating series or integrals..." ; it cannot be emphasized enough. –  J. M. Aug 5 '10 at 1:12
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.