Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Question about infinite tetrate
#1
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
Reply
#2
tommy1729 Wrote: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
Cool =
& 0.8152027425068848021
& + i\ 2.0166402199122300356 \\
f(2.316910654383280043Cool =
& -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.
Reply
#3
I also made a pretty graph:
   
where the points are expressed with the previous parameterization:
f(2.8104771698906146985) = 0 + (...)i
f(2.316910654383280043Cool -- minimum real part
f(2.2893404841466060077) = (...) +i
f(2.1025947819458660569) = 0 + (...)i
f(1.9681078867187501493) = (...) + 2i
f(1.927907601568660839Cool -- 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
Reply
#4
andydude Wrote:
tommy1729 Wrote: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 ....
Reply
#5
tommy1729 Wrote: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
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  A Notation Question (raising the highest value in pow-tower to a different power) Micah 8 1,965 02/18/2019, 10:34 PM
Last Post: Micah
  Math overflow question on fractional exponential iterations sheldonison 4 3,353 04/01/2018, 03:09 AM
Last Post: JmsNxn
  [repost] A nowhere analytic infinite sum for tetration. tommy1729 0 1,051 03/20/2018, 12:16 AM
Last Post: tommy1729
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 1,499 09/06/2016, 04:23 PM
Last Post: tommy1729
  [MO] Is there a tetration for infinite cardinalities? (Question in MO) Gottfried 10 11,408 12/28/2014, 10:22 PM
Last Post: MphLee
  Remark on Gottfried's "problem with an infinite product" power tower variation tommy1729 4 4,946 05/06/2014, 09:47 PM
Last Post: tommy1729
  Another question! JmsNxn 4 4,054 08/27/2013, 06:57 PM
Last Post: JmsNxn
  Very curious question JmsNxn 3 3,554 08/20/2013, 08:56 PM
Last Post: JmsNxn
  Problem with infinite product of a function: exp(x) = x * f(x)*f(f(x))*... Gottfried 5 6,614 07/17/2013, 09:46 AM
Last Post: Gottfried
  Question about curvature tommy1729 0 1,631 12/15/2012, 11:38 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)