conjecture 666 : exp^[x](0+si)
Many many years ago I conjectured the following : 

Consider exp iterations of a starting value for .

It seems for all such s , after some iterations we get close to 0.

So we search for positive real x > 1 , such that  

or it gets very close.

I believe an upper bound for x is 

I gave it the funny name conjecture 666 because by the formula above :


Notice the formula does not extend correctly to values such as  since that sequence will never come close to zero.

A sharper bound is probably attainable.
But how ? 
Is there an easy way ?

For 1/2<s<2 this might be achievable by computer search ? And/or calculus ?

But is there an easy or short proof ?

Notice that taking derivatives of exp(exp(... is not easier than computing exp(exp(... so it seems hard to shortcut the problem.

I was inspired to share this idea of mine here because of memories of some people on sci.math.

What do you guys think ?


I believe Milnor has something to say about this, I'll try and check his book later.

The gist is, that gets arbitrarily close to for almost all (it misses on a Lebesgue measure zero set (which are the periodic points)). I believe Milnor has a section discussing how to estimate the size of ; particularly, if I recall correctly; it'll give a nice bound on the size of in relation to its nearness to 0... It's something to do with Julia sets; I can't remember perfectly.

I can't remember if it's Milnor though; or I read it somewhere else. I'll have to look through the book again...

EDIT: ACK! I'm having trouble finding it; but from memory, there's a word for it. Consider . Take a neighborhood about a point (the julia set of ). Then the orbits of on are dense in . From here you can create a function,

Such that some point of satisfies for some . (or something like this.)

I believe there is a way to estimate this function; I can't seem to find it at the moment. I'll keep looking.
It would be very useful to have such an estimate formula !!

The problems reminds me of " the opposite question " where we measure when we get " away " , rather then within boundaries as my conjecture studies ;

see attachement 



Attached Files
.pdf   mandel.pdf (Size: 205.11 KB / Downloads: 162)

Possibly Related Threads…
Thread Author Replies Views Last Post
  tommy's group addition isomo conjecture tommy1729 1 367 09/16/2022, 12:25 PM
Last Post: tommy1729
  [NT] primitive root conjecture tommy1729 0 312 09/02/2022, 12:32 PM
Last Post: tommy1729
  tommy's new conjecture/theorem/idea (2022) ?? tommy1729 0 375 06/22/2022, 11:49 PM
Last Post: tommy1729
  @Gottfried : answer to your conjecture on MSE. tommy1729 2 6,888 02/05/2017, 09:38 PM
Last Post: Gottfried
  Polygon cyclic fixpoint conjecture tommy1729 1 5,348 05/18/2016, 12:26 PM
Last Post: tommy1729
  2015 Continuum sum conjecture tommy1729 3 7,951 05/26/2015, 12:24 PM
Last Post: tommy1729
  Conjecture on semi-exp base change [2015] tommy1729 0 3,833 03/24/2015, 03:14 PM
Last Post: tommy1729
  Tommy's conjecture : every positive integer is the sum of at most 8 pentatope numbers tommy1729 0 4,205 08/17/2014, 09:01 PM
Last Post: tommy1729
  Wild conjecture about 2 fixpoints. tommy1729 0 3,738 05/03/2014, 10:56 PM
Last Post: tommy1729
  [MSE] The mick tommy limit conjecture. tommy1729 1 5,417 03/30/2014, 11:22 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)