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 7 1,085 08/14/2019, 09:15 AM
Last Post: sheldonison
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,338 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Is bounded tetration is analytic in the base argument? JmsNxn 0 1,177 01/02/2017, 06:38 AM
Last Post: JmsNxn
  Extrapolated Faá Di Bruno's Formula Xorter 1 1,870 11/19/2016, 02:37 PM
Last Post: Xorter
  [2015] 4th Zeration from base change pentation tommy1729 5 5,270 03/29/2015, 05:47 PM
Last Post: tommy1729
  Conjecture on semi-exp base change [2015] tommy1729 0 1,559 03/24/2015, 03:14 PM
Last Post: tommy1729
  tetration base sqrt(e) tommy1729 2 3,070 02/14/2015, 12:36 AM
Last Post: tommy1729
  Explicit formula for the tetration to base [tex]e^{1/e}[/tex]? mike3 1 2,712 02/13/2015, 02:26 PM
Last Post: Gottfried
  tetration base > exp(2/5) tommy1729 2 2,850 02/11/2015, 12:29 AM
Last Post: tommy1729
  about power towers and base change tommy1729 7 7,477 05/04/2014, 08:30 AM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)