Given a formal power series $\sum a_n z^n$ and a radius of convergence $R>0$, there are various ways to extend the function to the boundary such as

  • Abel's theorem
  • Fatou's lemma
  • $H^\infty$ theorem.

What is an example of a function that does (almost) nowhere to the boundary? Which power series are proven to not possess an analytic continuation beyond the radius of convergence.

The craziest things what I can construct is a finite number of essential singularities using an entire function $f$, which is not a polynomial, and looking at something like $z \mapsto f(1/z)$.

  • 2
    $\begingroup$ Well, this is an extremely well-studied problem and it is rather subtle. As Andrés Caicedo's fantastic answer in this MO-thread shows, quite a bit is known (and quite a bit unknown) about the subsets of the circle of convergence that may arise as sets of divergence of an analytic function. $\endgroup$ – t.b. Jun 22 '11 at 13:28
  • $\begingroup$ The examples given by AmbroseH are the canonical ones, besides the theta function $\vartheta(1;q) = 1 + 2\sum_{n \in \mathbb{Z}} q^{n^2}$ (which is a bit more subtle). $\endgroup$ – t.b. Jun 22 '11 at 13:35
  • $\begingroup$ By the way: Remmert's books Theory of complex functions and Classical topics in complex function theory contain a very detailed and lucid discussion of these topics, with lots of historical references. $\endgroup$ – t.b. Jun 22 '11 at 13:38

This is problem 2 in Chapter 2 of Stein & Shakarchi's Complex Analysis. They give two examples:

$f(z) = \sum_{n=0}^\infty z^{2^n},$

and, for $0 < \alpha < \infty,$

$f(z) = \sum_{n = 0}^\infty 2^{-n \alpha} z^{2^n}.$

The latter can in fact be extended continuously but not analytically to the boundary circle.

  • $\begingroup$ This answers the 2nd question: Which powerseries are proven to not posess an analytic continuation beyond the radius of convergence? Thanks! $\endgroup$ – Marc Palm Jun 22 '11 at 13:28
  • $\begingroup$ Actually, the former series (I think) answers your first question. Stein and Shakarchi's hint for that problem is to consider $\theta = \frac{2\pi p}{2^k}$ for positive integers $p,k,$ and consider $z = r e^{i \theta},$ and $\endgroup$ – Robert Haraway Jun 22 '11 at 13:41
  • 1
    $\begingroup$ show that $|f(r e^{i\theta})| \to \infty$ as $r \to 1.$ $\endgroup$ – Robert Haraway Jun 22 '11 at 13:41
  • $\begingroup$ I apologize for not specifying that in my answer. $\endgroup$ – Robert Haraway Jun 22 '11 at 13:43
  • 1
    $\begingroup$ It's useful to notice that $f(z^{2^{n}}) = f(z) - (z + z^2 + \cdots + z^{2^{n-1}})$. $\endgroup$ – t.b. Jun 22 '11 at 13:49

The sum $f(z) = \sum_{n = 0}^\infty z^{n!}.$ extends nowhere outside of $|z|\lt1$; there are infinitely many points in the set of n-th roots of unity in the boundary each of which blow up to infinity; the set of n-th roots is dense in the boundary $|z|=1$, so the series cannot squeeze out anywhere.

  • $\begingroup$ @Theo: Thanks again; hope editing this one was not as much work as the last one, which netted me some 60 points--I should give you a few of mine. $\endgroup$ – gary Jun 22 '11 at 15:15
  • 1
    $\begingroup$ you're welcome. Don't worry about the points, you earned them :) The only thing I did here was to change z^n! into z^{n!} to change $z^n!$ into $z^{n!}$ and some minor details. $\endgroup$ – t.b. Jun 22 '11 at 15:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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