Intereting Posts

If we accept a false statement, can we prove anything?
Finite union sigma field
If $\lim\limits_{x \to \pm\infty}f(x)=0$, does it imply that $\lim\limits_{x \to \pm\infty}f'(x)=0$?
Given a matrix, is there always another matrix which commutes with it?
$f(x+y) = f(x)+f(y)$ continuous at $x_0=0 \implies f(x)$ is continuous over R?
Residue Formula in complex analysis
Showing ${1\over n}\sum|S_i|=O(\sqrt n)$ for $S_i\subset $, $|S_i\cap S_i|\le 1$ for $i\ne j$
Prove that one of $n$ consecutive integers must be divisible by $n$
Prove that there exists $n\in\mathbb{N}$ such that $f^{(n)}$ has at least n+1 zeros on $(-1,1)$
Explaining Horizontal Shifting and Scaling
limsup and liminf of a sequence of points in a set
Problem book on differential forms wanted
How to compute ALL Nash equilibria in an example of a 3×3 matrix
Existence of d-regular graphs
Surjectivity of a continuous map between $\mathbb{R}^d$s

The complex power series $$\sum_{n=1}^{\infty}\frac{z^{n^2}}{n^2}$$ has radius $1$ (Ratio Test) and is absolutely convergent along $|z|=1$. Recalling something that my calculus professor (Ray Mayer, emeritus of Reed College) showed me 15 years ago, I started looking at a “graph” of this function. More precisely, here are plots of the images of $z$ with constant magnitude under this power series.

(The mapped curves are the images of $|z|=1$, $|z|=0.9$, and $|z|=0.8$. At the far right you can see $\sum\limits_{n=1}^{\infty}\frac1{n^2}=\frac{\pi^2}{6}$.)

- Location of zeros of a sum of exponentials
- Can the the radius of convergence increase due to composition of two power series?
- Zeta function's asymptotic $\zeta(\sigma+it) = \mathcal{O}(|t|^{1-\sigma+\epsilon})$
- The Schwarz Reflection Principle for a circle
- Why are differentiable complex functions infinitely differentiable?
- Contour Integration of $\sin(x)/(x+x^3)$

So… what the heck is going on with the fractal behavior of the image of the boundary? Is there any understanding of this kind of behavior from power series? For instance, rotating $z$ by some angles might leave you with roughly the original series after a bit of rotation, scaling and translation. But I haven’t been able to see how that would all come together.

I have a hunch that the “berries” along the inside of the leaf happen around values of $z$ with interesting arguments, but I haven’t sat down to map out what those arguments might be.

EDIT: Indeed, the “leaftips” and “berries” seem to happen at regular $z$ values. Starting at the largest leaftip in quadrant I and moving clockwise, the leaftips are the images of $\exp\left(\frac{\pi}{2}i\right), \exp\left(\frac{\pi}{4}i\right), \exp\left(\frac{\pi}{6}i\right)$,… Similarly, starting from the largest berry and moving clockwise the “seeds” of the berries are the images of $\exp\left(\frac{\pi}{3}i\right), \exp\left(\frac{\pi}{5}i\right), \exp\left(\frac{\pi}{7}i\right)$,…

It appears that the “arc” from the large berry in quadrant IV to the large berry in quadrant I is parametrized by $\exp(it)$ with $t\in\left(-\frac{\pi}{3},\frac{\pi}{3}\right)$. Further, that the large leaf in quadrant I that crosses into quadrant II is parametrized by $t\in\left(\frac{3\pi}{7},\frac{3\pi}{5}\right)$. These two sections (and indeed any of the “leaves”, “subleaves”, etc.) ought to be similar in the fractal sense.

- Entire function with vanishing derivatives?
- Finding the integral $I=\int_0^1{x^{-2/3}(1-x)^{-1/3}}dx$
- Evaluating definite integrals
- Question about a problem on the argument principle
- What's the intuition behind the identities $\cos(z)= \cosh(iz)$ and $\sin(z)=-i\sinh(iz)$?
- What is wrong with this fake proof $e^i = 1$?
- Is $\log(z^2)=2\log(z)$ if $\text{Log}(z_1 z_2)\ne \text{Log}(z_1)+\text{Log}(z_2)$?
- Which meromorphic functions are logarithmic derivatives of other meromorphic functions?
- How do I rigorously show $f(z)$ is analytic if and only if $\overline{f(\bar{z})}$ is?
- When does a complex function have a square root?

Let $f(z) = \sum_{n=1}^\infty \frac{z^{n^2}}{n^2}$. Separate this into the parts with odd $n$ and even $n$: $f_o(z) = \sum_{n \text{ odd}} \frac{z^{n^2}}{n^2}$,

$f_e(z) = \sum_{n \text{ even}} \frac{z^{n^2}}{n^2} = f(z^4)/4$. Thus

$$f(z) = \sum_{j=0}^\infty f_o(z^{4^j})/4^j = f_o(z) + \frac{f_o(z^4)}{4} + \frac{f_o(z^{16})}{16} + \ldots$$

The plot of $f_o(e^{it})$ for $0 \le t \le 2 \pi$ looks like this:

To produce the plot of $f(e^{it})$, think of a point going around the plot of $f_o$, and then a second describing a similar motion around that point but with 4 times the speed and 1/4 the scale, a third going around the second with $4^2$ times the speed and $1/4^2$ the scale of the original, etc.

The symmetry of the graph of $f_o$ is due to the fact that $f_o(e^{i\pi/4} z) = e^{i\pi/4} f_o(z)$ as well as $f_o(\overline{z}) = \overline{f_o(z)}$.

$f_o$ itself can be separated into parts for $n \equiv 0 \mod 3$ and $n \equiv 1 \text{ or } 2 \mod 3$: if $g = \sum_{n \equiv 1 \text{ or } 5 \mod 6} z^{n^2}/{n^2}$, we have

$$f_o(z) = \sum_{j=0}^\infty g(z^{9^j})/9^j = g(z) + \frac{g(z^9)}{9} + \frac{g(z^{81})}{81} + \ldots $$

The plot of $g(e^{it})$ looks like this:

with symmetry coming from the fact that $g(e^{i\pi/12} z) = e^{i\pi/12} g(z)$.

Here’s the input circle being slowly warped to the resulting output fractal.

gif

Code.

- If there exist sequence such that $g(x_n)=f(x_{n+1})$, then we have $g(x_0)=f(x_0)$ for some $x_0$
- Defining a metric space
- what is the summation of such a finite sequence?
- Properties of the “A transpose A” (A-transpose-A, ${\bf A}^{\rm T}{\bf A}$ or ${\bf A^{\rm '}A}$) matrix
- How to show that $a,\ b\in {\mathbb Q},\ a^2+b^2=1\Rightarrow a=\frac{s^2-t^2}{s^2+t^2},\ b= \frac{2st}{s^2+t^2} $
- Definition of set.
- Proof of Eberleinâ€“Smulian Theorem for a reflexive Banach spaces
- Fermat: Last two digits of $7^{355}$
- Proportional to 2 Separate Variables vs. Proportional to Product of 2 Variables
- How is this possible to convert a long string to a number with less characters?
- Does a “backwards” choice function imply the Axiom of Choice?
- What Is Exponentiation?
- Homology and Euler characteristics of the classical Lie groups
- Uncountably many sets of natural numbers with finite intersections
- Prove $\mathbb{P}(\sup_{t \geq 0} M_t > x \mid \mathcal{F}_0)= 1 \wedge \frac{M_0}{x}$ for a martingale $(M_t)_{t \geq 0}$