Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Initial values for hyper operations
I would suggest to move the discussion about the "proper" zeration to the zeration thread. For this discussion it makes anyway not that much difference which zeration we choose:

GFR Wrote:a[0]0 = a + 1, for a >< 0
a[1]0 = a
a[2]0 = 0
a[3]0 = 1,
for a >< 0
a[4]0 = 1, for a >< 0

because the condition for [3] and [4] is anyway satisfied. If we consider exponentiation and tetration on the real numbers we must anyway impose that for [3] and for [4].

I called the values a[n]0 initial values because they, together with the rule a[n+1](x+1)=a[n](a[n+1]x), determine the operation (at least on the natural numbers for the right operand) like an initial condition would do for a differential/difference equation.

Thatswhy I also dont consider the values 1[n]x, 0[n]x here.
And the values a[n]1 follow then from a[n]0 by a[n]1=a[n-1](a[n]0).
Quote:So, no possibility to have: a[-1]a = a[0]2 ?
Schade ...! Aber, warum nicht.

It was already shown in the zeration thread that if we obey the law a[n+1](b+1)=a[n](a[n+1]b) then it must a[-k]b=b+1, . No room for a[-1]a=a[0]2=3 or a[0]a=a+2.

If we now backwards search for the initial condition that makes
a[-k]b=b+1, given that a[-k-1]b=b+1, then we see that it is:
a[-k]0=1. Quite in accordance with a[n]0=1 for .

The difference why [-k] is an increment but [1] is addition, though both are the super operation of the increment, lies only in the initial condition:
a[-k]0=1 vs. a[1]0=a.

The only thing is that a[-k]0=1 does not fit in my rules for chosing the initial value.

Messages In This Thread
Initial values for hyper operations - by bo198214 - 03/14/2008, 10:44 AM
RE: Initial values for hyper operations - by GFR - 03/19/2008, 11:03 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Thoughts on hyper-operations of rational but non-integer orders? VSO 2 1,228 09/09/2019, 10:38 PM
Last Post: tommy1729
  Could there be an "arctic geometry" by raising the rank of all operations? Syzithryx 2 1,408 07/24/2019, 05:59 PM
Last Post: Syzithryx
  What has been published on absolute values of tetration? 11Keith22 0 1,070 11/10/2018, 05:02 AM
Last Post: 11Keith22
  Hyper-volume by integration Xorter 0 1,731 04/08/2017, 01:52 PM
Last Post: Xorter
  Hyper operators in computability theory JmsNxn 5 5,180 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,852 01/17/2017, 05:10 AM
Last Post: JmsNxn
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 18,951 08/22/2016, 12:19 AM
Last Post: JmsNxn
  Intresting ternary operations ? tommy1729 0 1,890 06/11/2015, 08:18 AM
Last Post: tommy1729
  on constructing hyper operations for bases > eta JmsNxn 1 3,216 04/08/2015, 09:18 PM
Last Post: marraco
  Bounded Analytic Hyper operators JmsNxn 25 24,204 04/01/2015, 06:09 PM
Last Post: MphLee

Users browsing this thread: 1 Guest(s)