Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


$$f(z)= \sum_{n=1}^{\infty} z^{(1/z)^{n}}$$

A domain colored portrait (with artifacts) for $f(z)$ on the unit disk looks like:

The gray and white regions are where the software package had difficulty with the sum, because it was divergent. Is there any good way of characterizing for which $|z|<1$ this series is convergent? I'm interested in the boundary of the red dagger shaped region to the right.

The code that was used to generate this is (using mpmath and matplotlib):

from mpmath import *
import pylab
def f(z):
    return fp.nsum(lambda n: z**(1/(z**n)), [1,inf])

fp.cplot(lambda z: f(z), [-1.0, 1.0], [-1.0, 1.0], points=800000, verbose=True)
share|cite|improve this question
The series converges for $$\left| {{z^{1/z}}} \right| < 1$$ – Pedro Tamaroff Mar 6 '12 at 21:03
No, it's $z^{(1/z^n)}$, not $(z^{1/z})^n$ – Robert Israel Mar 6 '12 at 21:22
up vote 2 down vote accepted

$|z^{(1/z)^n}| = \exp(\text{Re}(\log(z) (1/z)^{n}))$. Now if $z$ is not a positive real number, $\log(z) (1/z)^n$ will be in some sector $\{z: -\pi/2+\epsilon \le \arg(z) \le \pi/2 - \epsilon\}$ infinitely often, and since $|\log(z) (1/z)^n| \to \infty$ as $n \to \infty$ the terms of your series won't go to $0$, and the series will diverge. On the other hand, for $0 < z < 1$ the series converges.

So the thickness of your red region is really just an artifact of the numerical methods being used.

share|cite|improve this answer

Your Answer


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.