Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
proof: Limit of self-super-roots is e^1/e. TPID 6
#1
In reply to
http://math.eretrandre.org/tetrationforu...73#pid4073

First it is easy to see that for :

( is the lower fixed point of )

Hence for we have for all :
(*)

We also know that for , quite fast, particularly for each there is an such that for all :
(**) .

Now we lead proof by contradiction, suppose that
where .

Then there must be a subsequence and such that this subsequence stays always more than apart from :
.
I.e. there is and such that
either or .

By (*) and (**) we have such that for all :
and .
As is monotone increasing for we have also
and .

This particularly means and hence none of the can be the self superroot, in contradiction to our assumption.
Reply
#2
Wow! Very nice! You make it seem so easy. Smile I've been working on that one for while, ever since the xsrtx thread.
Reply
#3
The same method of proof could possibly be used to easily prove that, possibly for all k>4, limit of self-hyper-k-root(x) as x -> infinity = (defined as the largest real x such that , i.e. where the maximum of self-hyper-(k-1)-root function occurs; let's establish this notation); yeah I know, I only substituted the pentation-analogues into the proof and quickly checked.
Reply
#4
(07/10/2010, 05:19 AM)Base-Acid Tetration Wrote: The same method of proof could possibly be used to easily prove that, possibly for all k>4

The thing is: to define the hyper k-self-root you need a hyper (k-1) operation defined on the reals.
And we still have several methods of doing this without equality proofs.
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Is bugs or features for fatou.gp super-logarithm? Ember Edison 10 907 08/07/2019, 02:44 AM
Last Post: Ember Edison
  A fundamental flaw of an operator who's super operator is addition JmsNxn 4 6,099 06/23/2019, 08:19 PM
Last Post: Chenjesu
  Can we get the holomorphic super-root and super-logarithm function? Ember Edison 10 1,395 06/10/2019, 04:29 AM
Last Post: Ember Edison
  Where is the proof of a generalized integral for integer heights? Chenjesu 2 582 03/03/2019, 08:55 AM
Last Post: Chenjesu
  Inverse super-composition Xorter 11 11,264 05/26/2018, 12:00 AM
Last Post: Xorter
  The super 0th root and a new rule of tetration? Xorter 4 3,230 11/29/2017, 11:53 AM
Last Post: Xorter
  Sexp redefined ? Exp^[a]( - 00 ). + question ( TPID 19 ??) tommy1729 0 1,375 09/06/2016, 04:23 PM
Last Post: tommy1729
  Solving tetration using differintegrals and super-roots JmsNxn 0 1,675 08/22/2016, 10:07 PM
Last Post: JmsNxn
  Flexible etas and eulers ? TPID 10 tommy1729 0 1,259 08/19/2016, 12:09 PM
Last Post: tommy1729
  (almost) proof of TPID 13 fivexthethird 1 2,005 05/06/2016, 04:12 PM
Last Post: JmsNxn



Users browsing this thread: 1 Guest(s)