8
$\begingroup$

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)$.

  • 0
    By the way: Remmert's books *[Theory of com$p$lex functions](htt$p$://books.google.com/books?id=uP8$S$F4jf7GEC)* and *[Classical topics in complex function theory](http://books.google.com/books?id=BHc2b0iCoy8C)* contain a very detailed and lucid discussion of these topics, with lots of historical references.2011-06-22

2 Answers 2

10

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.

  • 1
    It's useful to notice that $f(z^{2^{n}}) = f(z) - (z + z^2 + \cdots + z^{2^{n-1}})$.2011-06-22
8

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.

  • 1
    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.2011-06-22