cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Previous Showing 91-100 of 880 results. Next

A175655 Eight bishops and one elephant on a 3 X 3 chessboard. G.f.: (1+x-5*x^2)/(1-3*x-x^2+6*x^3).

Original entry on oeis.org

1, 4, 8, 22, 50, 124, 290, 694, 1628, 3838, 8978, 21004, 48962, 114022, 265004, 615262, 1426658, 3305212, 7650722, 17697430, 40911740, 94528318, 218312114, 503994220, 1163124866, 2683496134, 6189647948, 14273690782
Offset: 0

Views

Author

Johannes W. Meijer, Aug 06 2010, Aug 10 2010

Keywords

Comments

a(n) represents the number of n-move routes of a fairy chess piece starting in the central square (m = 5) on a 3 X 3 chessboard. This fairy chess piece behaves like a bishop on the eight side and corner squares but on the central square the bishop turns into a raging elephant, see A175654.
For the central square the 512 elephants lead to 46 different elephant sequences, see the cross-references for examples.
The sequence above corresponds to 16 A[5] vectors with decimal values 71, 77, 101, 197, 263, 269, 293, 323, 326, 329, 332, 353, 356, 389, 449 and 452. These vectors lead for the side squares to A000079 and for the corner squares to A175654.

Crossrefs

Cf. Elephant sequences central square [decimal value A[5]]: A000007 [0], A000012 [16], A000045 [1], A011782 [2], A000079 [3], A003945 [42], A099036 [11], A175656 [7], A105476 [69], A168604 [26], A045891 [19], A078057 [21], A151821 [170], A175657 [43], 4*A172481 [15; n>=-1], A175655 [71, this sequence], 4*A026597 [325; n>=-1], A033484 [58], A087447 [27], A175658 [23], A026150 [85], A175661 [171], A036563 [186], A098156 [59], A046717 [341], 2*A001792 [187; n>=1 with a(0)=1], A175659 [343].

Programs

  • Magma
    I:=[1, 4, 8]; [n le 3 select I[n] else 3*Self(n-1)+Self(n-2)-6*Self(n-3): n in [1..30]]; // Vincenzo Librandi, Jul 21 2013
    
  • Maple
    with(LinearAlgebra): nmax:=27; m:=5; A[5]:= [0,0,1,0,0,0,1,1,1]: A:=Matrix([[0,0,0,0,1,0,0,0,1], [0,0,0,1,0,1,0,0,0], [0,0,0,0,1,0,1,0,0], [0,1,0,0,0,0,0,1,0], A[5], [0,1,0,0,0,0,0,1,0], [0,0,1,0,1,0,0,0,0], [0,0,0,1,0,1,0,0,0], [1,0,0,0,1,0,0,0,0]]): for n from 0 to nmax do B(n):=A^n: a(n):= add(B(n)[m,k],k=1..9): od: seq(a(n), n=0..nmax);
  • Mathematica
    CoefficientList[Series[(1 + x - 5 x^2) / (1 - 3 x - x^2 + 6 x^3), {x, 0, 40}], x] (* Vincenzo Librandi, Jul 21 2013 *)
    LinearRecurrence[{3,1,-6},{1,4,8},40] (* Harvey P. Dale, Dec 25 2024 *)
  • PARI
    a(n)=([0,1,0; 0,0,1; -6,1,3]^n*[1;4;8])[1,1] \\ Charles R Greathouse IV, Oct 03 2016

Formula

G.f.: (1+x-5*x^2)/(1-3*x-x^2+6*x^3).
a(n) = 3*a(n-1) + a(n-2) - 6*a(n-3) with a(0)=1, a(1)=4 and a(2)=8.
a(n) = ((10+8*A)*A^(-n-1) + (10+8*B)*B^(-n-1))/13 - 2^n with A = (-1+sqrt(13))/6 and B = (-1-sqrt(13))/6.
Limit_{k->oo} a(n+k)/a(k) = (-1)^(n)*2*A000244(n)/(A075118(n)-A006130(n-1)*sqrt(13)).
E.g.f.: 2*exp(x/2)*(13*cosh(sqrt(13)*x/2) + 5*sqrt(13)*sinh(sqrt(13)*x/2))/13 - cosh(2*x) - sinh(2*x). - Stefano Spezia, Jan 31 2023

A303434 Numbers of the form x*(3*x-1)/2 + 3^y with x and y nonnegative integers.

Original entry on oeis.org

1, 2, 3, 4, 6, 8, 9, 10, 13, 14, 15, 21, 23, 25, 27, 28, 31, 32, 36, 38, 39, 44, 49, 52, 54, 60, 62, 71, 73, 78, 79, 81, 82, 86, 93, 95, 97, 101, 103, 116, 118, 119, 120, 126, 132, 144, 146, 148, 151, 154, 172, 173, 177, 179, 185
Offset: 1

Views

Author

Zhi-Wei Sun, Apr 23 2018

Keywords

Comments

The author's conjecture in A303401 has the following equivalent version: Each integer n > 1 can be written as the sum of two terms of the current sequence.
This has been verified for all n = 2..7*10^6.

Examples

			a(1) = 1 with 1 = 0*(3*0-1)/2 + 3^0.
a(2) = 2 with 2 = 1*(3*1-1)/2 + 3^0.
a(5) = 6 with 6 = 2*(3*2-1)/2 + 3^0.
a(6) = 8 with 8 = 2*(3*2-1)/2 + 3^1.
		

Crossrefs

Programs

  • Mathematica
    PenQ[n_]:=PenQ[n]=IntegerQ[Sqrt[24n+1]]&&(n==0||Mod[Sqrt[24n+1]+1,6]==0);
    tab={};Do[Do[If[PenQ[m-3^k],n=n+1;tab=Append[tab,m];Goto[aa]],{k,0,Log[3,m]}];Label[aa],{m,1,185}];Print[tab]

A329332 Table of powers of squarefree numbers, powers of A019565(n) in increasing order in row n. Square array A(n,k) n >= 0, k >= 0 read by descending antidiagonals.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 1, 4, 3, 1, 1, 8, 9, 6, 1, 1, 16, 27, 36, 5, 1, 1, 32, 81, 216, 25, 10, 1, 1, 64, 243, 1296, 125, 100, 15, 1, 1, 128, 729, 7776, 625, 1000, 225, 30, 1, 1, 256, 2187, 46656, 3125, 10000, 3375, 900, 7, 1, 1, 512, 6561, 279936, 15625, 100000, 50625, 27000, 49, 14
Offset: 0

Views

Author

Peter Munn, Nov 10 2019

Keywords

Comments

The A019565 row order gives the table neat relationships with A003961, A003987, A059897, A225546, A319075 and A329050. See the formula section.
Transposition of this table, that is reflection about its main diagonal, has subtle symmetries. For example, consider the unique factorization of a number into powers of distinct primes. This can be restated as factorization into numbers from rows 2^n (n >= 0) with no more than one from each row. Reflecting about the main diagonal, this factorization becomes factorization (of a related number) into numbers from columns 2^k (k >= 0) with no more than one from each column. This is also unique and is factorization into powers of squarefree numbers with distinct exponents that are powers of two. See the example section.

Examples

			Square array A(n,k) begins:
n\k |  0   1     2      3        4          5           6             7
----+------------------------------------------------------------------
   0|  1   1     1      1        1          1           1             1
   1|  1   2     4      8       16         32          64           128
   2|  1   3     9     27       81        243         729          2187
   3|  1   6    36    216     1296       7776       46656        279936
   4|  1   5    25    125      625       3125       15625         78125
   5|  1  10   100   1000    10000     100000     1000000      10000000
   6|  1  15   225   3375    50625     759375    11390625     170859375
   7|  1  30   900  27000   810000   24300000   729000000   21870000000
   8|  1   7    49    343     2401      16807      117649        823543
   9|  1  14   196   2744    38416     537824     7529536     105413504
  10|  1  21   441   9261   194481    4084101    85766121    1801088541
  11|  1  42  1764  74088  3111696  130691232  5489031744  230539333248
  12|  1  35  1225  42875  1500625   52521875  1838265625   64339296875
Reflection of factorization about the main diagonal: (Start)
The canonical (prime power) factorization of 864 is 2^5 * 3^3 = 32 * 27. Reflecting the factors about the main diagonal of the table gives us 10 * 36 = 10^1 * 6^2 = 360. This is the unique factorization of 360 into powers of squarefree numbers with distinct exponents that are powers of two.
Reflection about the main diagonal is given by the self-inverse function A225546(.). Clearly, all positive integers are in the domain of A225546, whether or not they appear in the table. It is valid to start from 360, observe that A225546(360) = 864, then use 864 to derive 360's factorization into appropriate powers of squarefree numbers as above.
(End)
		

Crossrefs

The range of values is A072774.
Rows (abbreviated list): A000079(1), A000244(2), A000400(3), A000351(4), A011557(5), A001024(6), A009974(7), A000420(8), A001023(9), A009965(10), A001020(16), A001022(32), A001026(64).
A019565 is column 1, A334110 is column 2, and columns that are sorted in increasing order (some without the 1) are: A005117(1), A062503(2), A062838(3), A113849(4), A113850(5), A113851(6), A113852(7).
Other subtables: A182944, A319075, A329050.
Re-ordered subtable of A297845, A306697, A329329.
A000290, A003961, A003987, A059897 and A225546 are used to express relationships between terms of this sequence.
Cf. A285322.

Formula

A(n,k) = A019565(n)^k.
A(k,n) = A225546(A(n,k)).
A(n,2k) = A000290(A(n,k)) = A(n,k)^2.
A(2n,k) = A003961(A(n,k)).
A(n,2k+1) = A(n,2k) * A(n,1).
A(2n+1,k) = A(2n,k) * A(1,k).
A(A003987(n,m), k) = A059897(A(n,k), A(m,k)).
A(n, A003987(m,k)) = A059897(A(n,m), A(n,k)).
A(2^n,k) = A319075(k,n+1).
A(2^n, 2^k) = A329050(n,k).
A(n,k) = A297845(A(n,1), A(1,k)) = A306697(A(n,1), A(1,k)), = A329329(A(n,1), A(1,k)).
Sum_{n>=0} 1/A(n,k) = zeta(k)/zeta(2*k), for k >= 2. - Amiram Eldar, Dec 03 2022

A002380 a(n) = 3^n reduced modulo 2^n.

Original entry on oeis.org

0, 1, 1, 3, 1, 19, 25, 11, 161, 227, 681, 1019, 3057, 5075, 15225, 29291, 55105, 34243, 233801, 439259, 269201, 1856179, 3471385, 6219851, 1882337, 5647011, 50495465, 17268667, 186023729, 21200275, 63600825, 1264544299, 3793632897, 7085931395
Offset: 0

Views

Author

Keywords

Comments

A065554 lists the indices n such that a(n+1) = 3*a(n). - Benoit Cloitre, Apr 21 2003
a(n) = (fractional part of (3/2)^n without the decimal point)/5^n = A204544(n) / 5^n. - Michel Lagneau, Jan 25 2012

References

  • D. H. Lehmer, Guide to Tables in the Theory of Numbers. Bulletin No. 105, National Research Council, Washington, DC, 1941, p. 82.
  • S. S. Pillai, On Waring's problem, J. Indian Math. Soc., 2 (1936), 16-44.
  • N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Cf. k^n mod (k-1)^n: this sequence (k=3), A064629 (k=4), A138589 (k=5), A138649 (k=6), A139786 (k=7), A138973 (k=8), A139733 (k=9).

Programs

  • Haskell
    a002380 n = 3^n `mod` 2^n  -- Reinhard Zumkeller, Jul 11 2014
  • Maple
    a:=n->3^n mod(2^n): seq(a(n), n=0..33); # Zerinvary Lajos, Feb 15 2008
  • Mathematica
    Table[ PowerMod[3, n, 2^n], {n, 0, 33}] (* Robert G. Wilson v, Dec 14 2006 *)
    Table[ 3^n - 2^n * Floor[ (3/2)^n ], {n,0,33} ] (* Fred Daniel Kline, Oct 12 2017 *)
    x[n_] := -(1/2) + (3/2)^n + ArcTan[Cot[(3/2)^n Pi]]/Pi;
    y[n_] := 3^n - 2^n * x[n];
    Array[y, 33] (* Fred Daniel Kline, Dec 21 2017 *)
  • PARI
    concat([0],vector(55,n,lift(Mod(3,2^n)^n))) \\ Joerg Arndt, Oct 14 2017
    

Extensions

More terms from Jason Earls, Jul 29 2001

A005704 Number of partitions of 3n into powers of 3.

Original entry on oeis.org

1, 2, 3, 5, 7, 9, 12, 15, 18, 23, 28, 33, 40, 47, 54, 63, 72, 81, 93, 105, 117, 132, 147, 162, 180, 198, 216, 239, 262, 285, 313, 341, 369, 402, 435, 468, 508, 548, 588, 635, 682, 729, 783, 837, 891, 954, 1017, 1080, 1152, 1224, 1296, 1377, 1458, 1539, 1632
Offset: 0

Views

Author

Keywords

Comments

Infinite convolution product of [1,2,3,3,3,3,3,3,3,3] aerated A000244 - 1 times, i.e., [1,2,3,3,3,3,3,3,3,3] * [1,0,0,2,0,0,3,0,0,3] * [1,0,0,0,0,0,0,0,0,2] * ... [Mats Granvik, Gary W. Adamson, Aug 07 2009]

References

  • R. K. Guy, personal communication.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Crossrefs

Programs

  • Mathematica
    Fold[Append[#1, Total[Take[Flatten[Transpose[{#1, #1, #1}]], #2]]] &, {1}, Range[2, 55]] (* Birkas Gyorgy, Apr 18 2011 *)
    a[n_] := a[n] = If[n <= 2, n + 1, a[n - 1] + a[Floor[n/3]]]; Array[a, 101, 0] (* T. D. Noe, Apr 18 2011 *)
  • Python
    from functools import lru_cache
    @lru_cache(maxsize=None)
    def A005704(n): return A005704(n-1)+A005704(n//3) if n else 1 # Chai Wah Wu, Sep 21 2022

Formula

a(n) = a(n-1)+a(floor(n/3)).
Coefficient of x^(3*n) in prod(k>=0, 1/(1-x^(3^k))). Also, coefficient of x^n in prod(k>=0, 1/(1-x^(3^k)))/(1-x). - Benoit Cloitre, Nov 28 2002
a(n) mod 3 = binomial(2n, n) mod 3. - Benoit Cloitre, Jan 04 2004
Let T(x) be the g.f., then T(x)=(1-x^3)/(1-x)^2*T(x^3). [Joerg Arndt, May 12 2010]

Extensions

Formula and more terms from Henry Bottomley, Apr 30 2001

A303656 Number of ways to write n as a^2 + b^2 + 3^c + 5^d, where a,b,c,d are nonnegative integers with a <= b.

Original entry on oeis.org

0, 1, 1, 2, 1, 3, 2, 3, 2, 4, 3, 4, 2, 4, 4, 3, 2, 4, 4, 3, 2, 4, 3, 4, 1, 4, 5, 6, 4, 6, 5, 5, 6, 6, 5, 8, 4, 6, 6, 5, 4, 7, 5, 7, 5, 6, 4, 5, 3, 4, 7, 6, 7, 8, 5, 4, 7, 5, 5, 9, 3, 6, 5, 6, 4, 6, 5, 7, 7, 4, 5, 5, 5, 4, 6, 5, 6, 10, 5, 4, 5, 7, 4, 9, 2, 9, 8, 5, 6, 6
Offset: 1

Views

Author

Zhi-Wei Sun, Apr 27 2018

Keywords

Comments

Conjecture: a(n) > 0 for all n > 1. In other words, any integer n > 1 can be written as the sum of two squares, a power of 3 and a power of 5.
It has been verified that a(n) > 0 for all n = 2..2*10^10.
It seems that any integer n > 1 also can be written as the sum of two squares, a power of 2 and a power of 3.
The author would like to offer 3500 US dollars as the prize for the first proof of his conjecture that a(n) > 0 for all n > 1. - Zhi-Wei Sun, Jun 05 2018
Jiao-Min Lin (a student at Nanjing University) has verified a(n) > 0 for all 1 < n <= 2.4*10^11. - Zhi-Wei Sun, Jul 30 2022

Examples

			a(2) = 1 with 2 = 0^2 + 0^2 + 3^0 + 5^0.
a(5) = 1 with 5 = 0^2 + 1^2 + 3^1 + 5^0.
a(25) = 1 with 25 = 1^2 + 4^2 + 3^1 + 5^1.
		

Crossrefs

Programs

  • Mathematica
    SQ[n_]:=SQ[n]=IntegerQ[Sqrt[n]];
    f[n_]:=f[n]=FactorInteger[n];
    g[n_]:=g[n]=Sum[Boole[Mod[Part[Part[f[n],i],1],4]==3&&Mod[Part[Part[f[n],i],2],2]==1],{i,1,Length[f[n]]}]==0;
    QQ[n_]:=QQ[n]=(n==0)||(n>0&&g[n]);
    tab={};Do[r=0;Do[If[QQ[n-3^k-5^m],Do[If[SQ[n-3^k-5^m-x^2],r=r+1],{x,0,Sqrt[(n-3^k-5^m)/2]}]],{k,0,Log[3,n]},{m,0,If[n==3^k,-1,Log[5,n-3^k]]}];tab=Append[tab,r],{n,1,90}];Print[tab]

A076512 Denominator of cototient(n)/totient(n).

Original entry on oeis.org

1, 1, 2, 1, 4, 1, 6, 1, 2, 2, 10, 1, 12, 3, 8, 1, 16, 1, 18, 2, 4, 5, 22, 1, 4, 6, 2, 3, 28, 4, 30, 1, 20, 8, 24, 1, 36, 9, 8, 2, 40, 2, 42, 5, 8, 11, 46, 1, 6, 2, 32, 6, 52, 1, 8, 3, 12, 14, 58, 4, 60, 15, 4, 1, 48, 10, 66, 8, 44, 12, 70, 1, 72, 18, 8, 9, 60, 4, 78, 2, 2, 20, 82, 2, 64, 21
Offset: 1

Views

Author

Reinhard Zumkeller, Oct 15 2002

Keywords

Comments

a(n)=1 iff n=A007694(k) for some k.
Numerator of phi(n)/n=Prod_{p|n} (1-1/p). - Franz Vrabec, Aug 26 2005
From Wolfdieter Lang, May 12 2011: (Start)
For n>=2, a(n)/A109395(n) = sum(((-1)^r)*sigma_r,r=0..M(n)) with the elementary symmetric functions (polynomials) sigma_r of the indeterminates {1/p_1,...,1/p_M(n)} if n = prod((p_j)^e(j),j=1..M(n)) where M(n)=A001221(n) and sigma_0=1.
This follows by expanding the above given product for phi(n)/n.
The n-th member of this rational sequence 1/2, 2/3, 1/2, 4/5, 1/3, 6/7, 1/2, 2/3, 2/5,... is also (2/n^2)*sum(k,with 1<=k=2.
Therefore, this scaled sum depends only on the distinct prime factors of n.
See also A023896. Proof via PIE (principle of inclusion and exclusion). (End)
In the sequence of rationals r(n)=eulerphi(n)/n: 1, 1/2, 2/3, 1/2, 4/5, 1/3, 6/7, 1/2, 2/3, 2/5, 10/11, 1/3, ... one can observe that new values are obtained for squarefree indices (A005117); while for a nonsquarefree number n (A013929), r(n) = r(A007947(n)), where A007947(n) is the squarefree kernel of n. - Michel Marcus, Jul 04 2015

Crossrefs

Cf. A076511 (numerator of cototient(n)/totient(n)), A051953.
Phi(m)/m = k: A000079 \ {1} (k=1/2), A033845 (k=1/3), A000244 \ {1} (k=2/3), A033846 (k=2/5), A000351 \ {1} (k=4/5), A033847 (k=3/7), A033850 (k=4/7), A000420 \ {1} (k=6/7), A033848 (k=5/11), A001020 \ {1} (k=10/11), A288162 (k=6/13), A001022 \ {1} (12/13), A143207 (k=4/15), A033849 (k=8/15), A033851 (k=24/35).

Programs

  • Magma
    [Numerator(EulerPhi(n)/n): n in [1..100]]; // Vincenzo Librandi, Jul 04 2015
  • Mathematica
    Table[Denominator[(n - EulerPhi[n])/EulerPhi[n]], {n, 80}] (* Alonso del Arte, May 12 2011 *)
  • PARI
    vector(80, n, numerator(eulerphi(n)/n)) \\ Michel Marcus, Jul 04 2015
    

Formula

a(n) = A000010(n)/A009195(n).

A179596 Eight white kings and one red king on a 3 X 3 chessboard. G.f.: (1 + x)/(1 - 2*x - 11*x^2 - 6*x^3).

Original entry on oeis.org

1, 3, 17, 73, 351, 1607, 7513, 34809, 161903, 751783, 3493353, 16227737, 75393055, 350251335, 1627192697, 7559508409, 35119644495, 163157037671, 757987215241, 3521419711833, 16359641017343, 76002822156295, 353090213774361
Offset: 0

Views

Author

Johannes W. Meijer, Jul 28 2010; edited Jun 21 2013

Keywords

Comments

The a(n) represent the number of n-move routes of a fairy chess piece starting in a given corner square (m = 1, 3, 7 or 9) on a 3 X 3 chessboard. This fairy chess piece behaves like a king on the eight side and corner squares but on the center square the king goes crazy and turns into a red king.
On a 3 X 3 chessboard there are 2^9 = 512 ways to go crazy on the center square (off the center the piece behaves like a normal king). The red king is represented by the A[5] vector in the fifth row of the adjacency matrix A, see the Maple program and A180140. For the corner squares the 512 red kings lead to 47 different red king sequences, see the overview of the red king sequences.
The sequence above corresponds to four A[5] vectors with decimal [binary] values 367 [101 101 111], 463 [111 001 111], 487 [111 100 111] and 493 [111 101 101]. These vectors lead for the side squares to A126473 and for the central square to A179597.
This sequence belongs to a family of sequences with g.f. (1+x)/(1 - 2*x - (k+8)*x^2 - 2*k*x^3). Red king sequences that are members of this family are A083424 (k=0), A179604 (k=1), A179600 (k=2), A179596 (k=3; this sequence) and A086346 (k=4). Other members of this family are A015528 (k=5) and A179608 (k=-4).

References

  • Gary Chartrand, Introductory Graph Theory, pp. 217-221, 1984.

Crossrefs

Cf. A180140 (berserker sequences).
Cf. Red king sequences corner squares [decimal value A[5]]: A086346 [495], A015525 [239], A179596 [367], A179600 [335], A015524 [95], A083858 [31], A179604 [327], A015523 [27], A179610 [85], A083424 [325], A015521 [11], A007482 [2], A014335 [16].

Programs

  • Maple
    nmax:=22; m:=1; A[1]:= [0,1,0,1,1,0,0,0,0]: A[2]:= [1,0,1,1,1,1,0,0,0]: A[3]:= [0,1,0,0,1,1,0,0,0]: A[4]:=[1,1,0,0,1,0,1,1,0]: A[5]:= [1,0,1,1,0,1,1,1,1]: A[6]:= [0,1,1,0,1,0,0,1,1]: A[7]:= [0,0,0,1,1,0,0,1,0]: A[8]:= [0,0,0,1,1,1,1,0,1]: A[9]:= [0,0,0,0,1,1,0,1,0]: A:=Matrix([A[1],A[2],A[3],A[4],A[5], A[6],A[7],A[8],A[9]]): for n from 0 to nmax do B(n):=A^n: a(n):= add(B(n)[m,k],k=1..9): od: seq(a(n), n=0..nmax);
  • Mathematica
    LinearRecurrence[{2,11,6},{1,3,17},30] (* Harvey P. Dale, May 18 2011 *)
  • PARI
    Vec((1+x)/(1-2*x-11*x^2-6*x^3)+O(x^99)) \\ Charles R Greathouse IV, Jul 16 2011

Formula

G.f.: (1+x)/(1 - 2*x - 11*x^2 - 6*x^3).
a(n) = 2*a(n-1) + 11*a(n-2) + 6*a(n-3) with a(0)=1, a(1)=3 and a(2)=17.
a(n) = (-1)^(-n)*2^(n+1)/9 + ((49+17*sqrt(7))*A^(-n) + (49-17*sqrt(7))*B^(-n))/126 with A = (-2+sqrt(7))/3 and B = (-2-sqrt(7))/3.
Lim_{k->infinity} a(n+k)/a(k) = (-1)^(n+1)*A000244(n)/(A015530(n)*sqrt(7) - A108851(n)).

A282629 Sheffer triangle (exp(x), exp(3*x) - 1). Named S2[3,1].

Original entry on oeis.org

1, 1, 3, 1, 15, 9, 1, 63, 108, 27, 1, 255, 945, 594, 81, 1, 1023, 7380, 8775, 2835, 243, 1, 4095, 54729, 109890, 63180, 12393, 729, 1, 16383, 395388, 1263087, 1151010, 387828, 51030, 2187, 1, 65535, 2816865, 13817034, 18752391, 9658278, 2133054, 201204, 6561, 1, 262143, 19914660, 146620935, 285232185, 210789621, 69502860, 10825650, 767637, 19683
Offset: 0

Views

Author

Wolfdieter Lang, Apr 03 2017

Keywords

Comments

For Sheffer triangles (infinite lower triangular exponential convolution matrices) see the W. Lang link under A006232, with references).
The e.g.f. for the sequence of column m is (Sheffer property) exp(x)*(exp(3*x) - 1)^m/m!.
This is a generalization of the Sheffer triangle Stirling2(n, m) = A048993(n, m) denoted by (exp(x), exp(x)-1), which could be named S2[1,0].
The a-sequence for this Sheffer triangle has e.g.f. 3*x/log(1+x) and is 3*A006232(n)/ A006233(n) (Cauchy numbers of the first kind).
The z-sequence has e.g.f. (3/(log(1+x)))*(1 - 1/(1+x)^(1/3)) and is A284857(n) / A284858(n).
The main diagonal gives A000244.
The row sums give A284859. The alternating row sums give A284860.
The triangle appears in the o.g.f. G(n, x) of the sequence {(1 + 3*m)^n}{m>=0}, as G(n, x) = Sum{m=0..n} T(n, m)*m!*x^m/(1-x)^(m+1), n >= 0. Hence the corresponding e.g.f. is, by the linear inverse Laplace transform, E(n, t) = Sum_{m >=0}(1 + 3*m)^n t^m/m! = exp(t)*Sum_{m=0..n} T(n, m)*t^m.
The corresponding Euler triangle with reversed rows is rEu(n, k) = Sum_{m=0..k} (-1)^(k-m)*binomial(n-m, k-m)*T(n, k)*k!, 0 <= k <= n. This is A225117 with row reversion.
The first column k sequences divided by 3^k are A000012, A002450 (with a leading 0), A016223, A021874. For the e.g.f.s and o.g.f.s see below. - Wolfdieter Lang, Apr 09 2017
From Wolfdieter Lang, Aug 09 2017: (Start)
The general row polynomials R(d,a;n,x) = Sum_{k=0..n} T(d,a;n,m)*x^m of the Sheffer triangle S2[d,a] satisfy, as special polynomials of the Boas-Buck class, the identity (see the reference, and we use the notation of Rainville, Theorem 50, p. 141, adapted to an exponential generating function)
(E_x - n*1)*R(d,a;n,x) = - n*a*R(d,a;n-1,x) - Sum_{k=0..n-1} binomial(n, k+1)*(-d)^(k+1)*Bernoulli(k+1)*E_x*R(d,a;n-1-k,x), with E_x = x*d/dx (Euler operator).
This entails a recurrence for the sequence of column m, for n > m:
T(d,a;n,m) = (1/(n - m))*[(n/2)*(2*a + d*m)*T(d,a;n-1,m) + m*Sum_{p=m..n-2} binomial(n,p)(-d)^(n-p)*Bernoulli(n-p)*T(d,a;p,m)], with input T(d,a;n,n) = d^n. For the present [d,a] = [3,1] case see the formula and example sections below. - Wolfdieter Lang, Aug 09 2017 (End)
The inverse of this triangular Sheffer matrix S2[3,1] is S1[3,1] with rational elements S1[3,1](n, k) = (-1)^(n-k)*A286718(n, k)/3^k. - Wolfdieter Lang, Nov 15 2018
Named after the American mathematician Isador Mitchell Sheffer (1901-1992). - Amiram Eldar, Jun 19 2021

Examples

			The triangle T(n, m) begins:
  n\m 0      1        2         3         4         5        6        7      8     9
  0:  1
  1:  1      3
  2:  1     15        9
  3:  1     63      108        27
  4:  1    255      945       594        81
  5:  1   1023     7380      8775      2835       243
  6:  1   4095    54729    109890     63180     12393      729
  7:  1  16383   395388   1263087   1151010    387828    51030     2187
  8:  1  65535  2816865  13817034  18752391   9658278  2133054   201204   6561
  9:  1 262143 19914660 146620935 285232185 210789621 69502860 10825650 767637 19683
  ...
------------------------------------------------------------------------------------
Nontrivial recurrence for m=0 column from z-sequence: T(4,0) = 4*(1*1 + 63*(-1/6) + 108*(11/54) + 27*(-49/108)) = 1.
Recurrence for m=2 column from a-sequence: T(4, 2) = (4/2)*(1*63*3 + 2*108*(3/2) + 3*27*(-3/6)) = 945.
Recurrence for row polynomial R(3, x) (Meixner type): ((3*x + 1) + 3*x*d_x)*(1 + 15*x + 9*x^2) = 1 + 63*x + 108*x^2 + 27*x^3.
E.g.f. and o.g.f. of n = 1 powers {(1 + 3*m)^1}_{m>=0} A016777: E(1, x) = exp(x) * (T(1, 0) + T(1, 1)*x) = exp(x)*(1+3*x). O.g.f.: G(1, x) = T(1, 0)*0!/(1-x) + T(1, 1)*1!*x/(1-x)^2 = (1+2*x)/(1-x)^2.
Boas-Buck recurrence for column m = 2, and n = 4: T(4, 2) = (1/2)*(2*(2 + 3*2)*T(3, 2) + 2*6*(-3)^2*bernoulli(2)*T(2, 2)) = (1/2)*(16*108 + 12*9*(1/6)*9) = 945. - _Wolfdieter Lang_, Aug 09 2017
		

References

  • Ralph P. Boas, Jr. and R. Creighton Buck, Polynomial Expansions of analytic functions, Springer, 1958, pp. 17 - 21, (last sign in eq. (6.11) should be -).
  • Earl D. Rainville, Special Functions, The Macmillan Company, New York, 1960, ch. 8, sect. 76, 140 - 146.

Crossrefs

Programs

  • Mathematica
    Table[Sum[Binomial[m, k] (-1)^(k - m) (1 + 3 k)^n/m!, {k, 0, m}], {n, 0, 9}, {m, 0, n}] // Flatten (* Michael De Vlieger, Apr 08 2017 *)
  • PARI
    T(n, m) = sum(k=0, m, binomial(m, k) * (-1)^(k - m) * (1 + 3*k)^n/m!);
    for(n=0, 9, for(m=0, n, print1(T(n, m),", ");); print();) \\ Indranil Ghosh, Apr 08 2017

Formula

A nontrivial recurrence for the column m=0 entries T(n, 0) = 1 from the z-sequence given above: T(n,0) = n*Sum_{j=0..n-1} z(j)*T(n-1,j), n >= 1, T(0, 0) = 1.
Recurrence for column m >= 1 entries from the a-sequence given above: T(n, m) = (n/m)*Sum_{j=0..n-m} binomial(m-1+j, m-1)*a(j)*T(n-1, m-1+j), m >= 1.
Recurrence for row polynomials R(n, x) (Meixner type): R(n, x) = ((3*x+1) + 3*x*d_x)*R(n-1, x), with differentiation d_x, for n >= 1, with input R(0, x) = 1.
T(n, m) = Sum_{k=0..m} binomial(m,k)*(-1)^(k-m)*(1 + 3*k)^n/m!, 0 <= m <= n.
E.g.f. of triangle: exp(z)*exp(x*(exp(3*z)-1)) (Sheffer type).
E.g.f. for sequence of column m is exp(x)*((exp(3*x) - 1)^m)/m! (Sheffer property).
From Wolfdieter Lang, Apr 09 2017: (Start)
Standard three-term recurrence: T(n, m) = 0 if n < m, T(n,-1) = 0, T(0, 0) = 1, T(n, m) = 3*T(n-1, m-1) + (1+3*m)*T(n-1, m) for n >= 1. From the T(n, m) formula. Compare with the recurrence of S2[3,2] given in A225466.
The o.g.f. for sequence of column m is 3^m*x^m/Product_{j=0..m} (1 - (1+3*j)*x). (End)
In terms of Stirling2 = A048993: T(n, m) = Sum_{k=0..n} binomial(n, k)* 3^k*Stirling2(k, m), 0 <= m <= n. - Wolfdieter Lang, Apr 13 2017
Boas-Buck recurrence for column sequence m: T(n, m) = (1/(n - m))*((n/2)*(2 + 3*m)*T(n-1, m) + m*Sum_{p=m..n-2} binomial(n,p)*(-3)^(n-p)*Bernoulli(n-p)*T(p, m)), for n > m >= 0, with input T(m, m) = 3^m. See a comment above. - Wolfdieter Lang, Aug 09 2017

A036447 Double and reverse digits.

Original entry on oeis.org

1, 2, 4, 8, 61, 221, 244, 884, 8671, 24371, 24784, 86594, 881371, 2472671, 2435494, 8890784, 86518771, 245730371, 247064194, 883821494, 8892467671, 24353948771, 24579870784, 86514795194, 883095920371, 2470481916671, 2433383690494
Offset: 0

Views

Author

Keywords

Crossrefs

The following are parallel families: A000079 (2^n), A004094 (2^n reversed), A028909 (2^n sorted up), A028910 (2^n sorted down), A036447 (double and reverse), A057615 (double and sort up), A263451 (double and sort down); A000244 (3^n), A004167 (3^n reversed), A321540 (3^n sorted up), A321539 (3^n sorted down), A163632 (triple and reverse), A321542 (triple and sort up), A321541 (triple and sort down).

Programs

  • Haskell
    a036447 n = a036447_list !! n
    a036447_list = iterate a004093 1  -- Reinhard Zumkeller, Feb 09 2012
  • Mathematica
    NestList[ FromDigits[ Reverse[ IntegerDigits[ 2# ] ] ] &, 1, 27 ]
    NestList[IntegerReverse[2#]&,1,30] (* Requires Mathematica version 10 or later *) (* Harvey P. Dale, Jun 18 2017 *)

Formula

a(n+1) = A004093(a(n)). - Reinhard Zumkeller, Feb 09 2012
Conjecture: a(n)^(1/n) tends to sqrt(10). - Vaclav Kotesovec, Jan 03 2020

Extensions

More terms from Larry Reeves (larryr(AT)acm.org), Mar 31 2000
Previous Showing 91-100 of 880 results. Next