Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Change of base formula for Tetration
#21
jaydfox Wrote:Well, most of real and complex analysis would fall apart if limiting cases were not sufficient to provide proofs!

If you ever looked into an analysis book you would know that there are quite rigorous proofs for convergence. You merely telled something about an that goes rapidly to 0. Neither is clear whether this is inside or outside the parenthesis nor why this would imply the convergence of the sequence. And about what limiting cases do you speak?

A proof could perhaps look like this:
We want to show that the sequence converges.

By the law we inductively construct a supplemental sequence by
and .
This sequence is exactly chosen such that

particularly
.

Now it is clear by looking at the derivative of that for each . If we repeatedly apply this to the formula of , while assuming that and hence , we get


and further for


Now is , because for . But we know that the series converges for and hence is the sequence bounded from above.

An induction shows that is increasing.
We show (for arbitrary ) by induction over m.
Induction base:

and for the induction step show it for :
From the assumption follows by monotone increase of :
then
which yields , the induction assertion.

So particularely is increasing and bounded from above (for ) and so has a limit, given that and that .

Theorem. The sequence converges if , (and ).
Reply


Messages In This Thread
Change of base formula for Tetration - by jaydfox - 08/12/2007, 06:39 AM
RE: Parabolic Iteration - by jaydfox - 08/15/2007, 09:19 PM
RE: Parabolic Iteration - by bo198214 - 08/15/2007, 09:30 PM
RE: Parabolic Iteration - by jaydfox - 08/15/2007, 11:41 PM
RE: Parabolic Iteration - by bo198214 - 08/16/2007, 08:17 AM
RE: Parabolic Iteration - by jaydfox - 08/16/2007, 05:51 PM
RE: Parabolic Iteration - by bo198214 - 08/16/2007, 06:40 PM
RE: Parabolic Iteration - by jaydfox - 08/16/2007, 09:47 PM
RE: Parabolic Iteration - by bo198214 - 08/16/2007, 10:07 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Complex Tetration, to base exp(1/e) Ember Edison 4 434 05/08/2019, 06:20 PM
Last Post: Ember Edison
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,220 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Is bounded tetration is analytic in the base argument? JmsNxn 0 1,053 01/02/2017, 06:38 AM
Last Post: JmsNxn
  Extrapolated Faá Di Bruno's Formula Xorter 1 1,687 11/19/2016, 02:37 PM
Last Post: Xorter
  [2015] 4th Zeration from base change pentation tommy1729 5 4,904 03/29/2015, 05:47 PM
Last Post: tommy1729
  Conjecture on semi-exp base change [2015] tommy1729 0 1,455 03/24/2015, 03:14 PM
Last Post: tommy1729
  tetration base sqrt(e) tommy1729 2 2,878 02/14/2015, 12:36 AM
Last Post: tommy1729
  Explicit formula for the tetration to base [tex]e^{1/e}[/tex]? mike3 1 2,515 02/13/2015, 02:26 PM
Last Post: Gottfried
  tetration base > exp(2/5) tommy1729 2 2,659 02/11/2015, 12:29 AM
Last Post: tommy1729
  about power towers and base change tommy1729 7 6,998 05/04/2014, 08:30 AM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)