Question about infinite tetrate

[tommy1729]

probably a stupid question

the complex function h(z) = z^z^z^z^z^....

converges in a heart shaped region on the complex plane.


what is the area of that region ?

sorry

[andydude]

what is the area of that region?

That's not a stupid question, its actually a good question, and I don't know the answer. But let's see if we can answer that using what is known about this region. Galidakis (1) and I (2) both call it the Shell-Thron region since these two authors have both investigated this region in great detail. Shell and Thron note that converges where and (a result which they both attribute to Barrow). So if we want the outer path, then we change the less-than sign to an equals sign, and this should give us the answer. If , then we can parameterize this as where . This means that , and putting this back in the relationship with b gives the parameterization

where .

There are some interesting points that can be expressed with this function
=
& 0.8152027425068848021
& + i\ 2.0166402199122300356 \\
f(2.316910654383280043 =
& -0.380979728647791984
& + i\ 0.8997001955459000918 \\
f(\pi) = & 0.0659880358453125371 & = e^{-e}
\end{tabular}
" align="middle" />

While we could use these points to integrate each section of the region, we could also use the parametric integration formula

where and . Using numerical integration we find that

which is only the top half of the region, and since A = 4.02546664046975481171259768713, then
2A = 8.05093328093950962342519537425 should be the area of the whole region.

Andrew Robbins

(1) I.N.Galidakis The Birth of the Infinite Tetration Fractal.
(2) A.Robbins and H.Trappmann Tetration Reference, page 37.

[andydude]

I also made a pretty graph:
   
where the points are expressed with the previous parameterization:
f(2.8104771698906146985) = 0 + (...)i
f(2.316910654383280043 -- minimum real part
f(2.2893404841466060077) = (...) +i
f(2.1025947819458660569) = 0 + (...)i
f(1.9681078867187501493) = (...) + 2i
f(1.927907601568660839 -- maximum imaginary part
f(1.8909946364512036029) = 1 + (...)i
f(1.8869709745663253961) = (...) + 2i
f(1.5600433372731975189) = 2 + (...)i
f(1.5064318596452087082) = (...) + i
f(1.4488307492834293737) -- maximum real part
f(1.3099015915373765040) = 2 + (...)i

from this graph you can almost see how the area is almost 4, because it takes up almost 4 full squares, then it has some over-hand outside of these 4 squares, and the overhang looks like it could fill up the remaining area...

Andrew Robbins

[tommy1729]

what is the area of that region?

That's not a stupid question, its actually a good question, and I don't know the answer. But let's see if we can answer that using what is known about this region. Galidakis (1) and I (2) both call it the Shell-Thron region since these two authors have both investigated this region in great detail. Shell and Thron note that converges where and (a result which they both attribute to Barrow). So if we want the outer path, then we change the less-than sign to an equals sign, and this should give us the answer. If , then we can parameterize this as where . This means that , and putting this back in the relationship with b gives the parameterization

where .

hmmm i was thinking about contour integration to arrive at a closed form ....

[andydude]

hmmm i was thinking about contour integration to arrive at a closed form ....

Well if you can find a closed form, then more power to you! I give up.

Andrew Robbins