login
a(n) = H_n(3,2) where H_n is the n-th hyperoperator.
35

%I #114 Jan 11 2020 15:57:46

%S 3,5,6,9,27,7625597484987

%N a(n) = H_n(3,2) where H_n is the n-th hyperoperator.

%C H_n(x,y) is defined recursively by:

%C H_0(x,y) = y+1;

%C H_1(x,0) = x;

%C H_2(x,0) = 0;

%C H_n(x,0) = 1, for n>2;

%C H_n(x,y) = H_{n-1}(x,H_n(x,y-1)), for integers n>0 and y>0.

%C Consequently:

%C H_0(x,y) = y+1 is the successor function on y;

%C H_1(x,y) = x+y is addition;

%C H_2(x,y) = x*y is multiplication;

%C H_3(x,y) = x^y is exponentiation;

%C H_4(x,y) = x^^y is tetration (a height-y exponential tower x^x^x^... );

%C ...

%C Extending to negative-order hyperoperators via the recursive formula:

%C H_0(x,y) = H_{-1}(x,H_0(x,y-1)) = H_{-1}(x,y).

%C Therefore:

%C H_{-n}(x,y) = H_0(x,y), for every nonnegative n.

%C This function is an Ackermann function variant because it satisfies the recurrence relation above (see A046859).

%C Other hyperoperation notations equivalent to H_n(x,y) include:

%C Square Bracket or Box: a [n] b;

%C Conway Chain Arrows: a -> b -> n-2;

%C Knuth Up-arrow: a "up-arrow"(n-2) b;

%C Standard Caret: a ^(n-2) b.

%C Originally published as 3 agg-op-n 3 for n > 0. - _Natan Arie Consigli_, Apr 22 2015

%C Sequence can also be defined as a(0) = 3, a(1) = 5, a(n) = H_{n-1}(3,3) for n > 1. - _Natan Arie Consigli_, Apr 22 2015; edited by _Danny Rorabaugh_, Oct 18 2015

%C Before introducing the H_n notation, this sequence was named "3 agg-op-n 2, where the binary aggregation operators agg-op-n are zeration, addition, multiplication, exponentiation, superexponentiation, ..." - _Danny Rorabaugh_, Oct 14 2015

%C The next term is 3^3^...^3 (with 7625594784987 3's). - _Jianing Song_, Dec 25 2018

%D John H. Conway and R. K. Guy, The Book of Numbers, Copernicus Press, p. 60.

%H Rick Norwood, <a href="http://www.jstor.org/stable/2691346">Math. Bite: Why 2 + 2 = 2 * 2</a>, Mathematics Magazine, Vol. 71 (1998), p. 60.

%H Stephen R. Wassell, <a href="http://www.jstor.org/stable/2691082">Superexponentiation and Fixed Points of Exponential and Logarithmic Functions</a>, Mathematics Magazine, Vol. 73 (2000), pp. 111-119.

%H Eric Weisstein's MathWorld, <a href="http://mathworld.wolfram.com/AckermannFunction.html">Ackermann Function</a> and <a href="http://mathworld.wolfram.com/PowerTower.html">Power Tower</a>

%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Hyperoperation">Hyperoperation</a>

%H <a href="/index/Ho">Index Section Ho-Hy</a>

%e a(0) = H_0(3,2) = 2+1 = 3;

%e a(1) = H_1(3,2) = 3+2 = 5;

%e a(2) = H_2(3,2) = 3*2 = 3+3 = 6;

%e a(3) = H_3(3,2) = 3^2 = 3*3 = 9;

%e a(4) = H_4(3,2) = 3^^2 = 3^3 = 27;

%e a(5) = H_5(3,2) = 3^^^2 = 3^^3 = 3^(3^3) = 7625597484987.

%Y H_n(x,y) for various x,y: A001695 (2,n), this sequence (3,2; almost 3,3), A067652 (2,3; almost 2,4), A141044 (1,1), A175796 (n,2), A179184 (0,0), A189896 (n,n), A213619 (n,H_n(n,n)), A253855 (4,2; almost 4,4), A255176 (2,2), A255340 (4,3), A256131 (10,2; almost 10,10), A261143 (1,2), A261146 (n,3). - _Natan Arie Consigli_ and _Danny Rorabaugh_, Oct 14-26 2015

%Y H_4(x,n) for various x: A000035 (x=0), A014221 (x=2), A014222 (x=3, shifted), A057427 (x=1).

%Y H_5(x,n) for various x: A266198 (x=2), A266199 (x=3).

%Y Cf. A254225, A254310, A257229.

%K nonn

%O 0,1

%A _Walter Nissen_, May 28 2000

%E First two terms prepended by _Natan Arie Consigli_, Apr 22 2015

%E First term corrected and hyperoperator notation implemented by _Danny Rorabaugh_, Oct 14 2015

%E Definition extended to include negative n by _Natan Arie Consigli_, Oct 19 2015

%E More hyperoperator notation added by _Natan Arie Consigli_, Jan 19 2016