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.

Showing 1-3 of 3 results.

A213583 Principal diagonal of the convolution array A213582.

Original entry on oeis.org

1, 9, 38, 120, 327, 819, 1948, 4482, 10085, 22341, 48930, 106236, 229075, 491175, 1048184, 2227782, 4718097, 9960921, 20970910, 44039520, 92273951, 192937179, 402652308, 838859850, 1744829437, 3623877549, 7516191578, 15569255172, 32212253355, 66571991631
Offset: 1

Views

Author

Clark Kimberling, Jun 19 2012

Keywords

Crossrefs

Programs

  • GAP
    List([1..40], n-> (n+1)*(2^(n+2) -3*n-4)/2); # G. C. Greubel, Jul 08 2019
  • Magma
    [(n+1)*(2^(n+2) -3*n-4)/2: n in [1..40]]; // G. C. Greubel, Jul 08 2019
    
  • Mathematica
    (* First program *)
    b[n_]:= 2^n - 1; c[n_]:= n;
    T[n_, k_]:= Sum[b[k-i] c[n+i], {i, 0, k-1}]
    TableForm[Table[T[n, k], {n, 1, 10}, {k, 1, 10}]]
    Flatten[Table[T[n-k+1, k], {n, 12}, {k, n, 1, -1}]] (* A213582 *)
    r[n_]:= Table[T[n, k], {k, 40}] (* columns of antidiagonal triangle *)
    Table[T[n, n], {n, 1, 40}] (* A213583 *)
    s[n_]:= Sum[T[i, n+1-i], {i, 1, n}]
    Table[s[n], {n, 1, 50}] (* A156928 *)
    (* Second program *)
    LinearRecurrence[{7,-19,25,-16,4},{1,9,38,120,327},40] (* Harvey P. Dale, Apr 06 2013 *)
    Table[(n+1)*(2^(n+2)-3*n-4)/2, {n,40}] (* G. C. Greubel, Jul 08 2019 *)
  • PARI
    Vec(x*(1 + 2*x - 6*x^2) / ((1 - x)^3*(1 - 2*x)^2) + O(x^40)) \\ Colin Barker, Nov 04 2017
    
  • PARI
    vector(40, n, (n+1)*(2^(n+2) -3*n-4)/2) \\ G. C. Greubel, Jul 08 2019
    
  • Sage
    [(n+1)*(2^(n+2) -3*n-4)/2 for n in (1..40)] # G. C. Greubel, Jul 08 2019
    

Formula

a(n) = 7*a(n-1) - 19*a(n-2) + 25*a(n-3) - 16*a(n-4) + 4*a(n-5).
G.f.: x*(1 + 2*x - 6*x^2) / ((1 - x)^3*(1 - 2*x)^2).
a(n) = (n+1)*(2^(n+2) - 3*n -4)/2. - Colin Barker, Nov 04 2017
E.g.f.: (4*(1+2*x)*exp(2*x) - (3*x^2+10*x+4)*exp(x))/2. - G. C. Greubel, Jul 08 2019

A213500 Rectangular array T(n,k): (row n) = b**c, where b(h) = h, c(h) = h + n - 1, n >= 1, h >= 1, and ** = convolution.

Original entry on oeis.org

1, 4, 2, 10, 7, 3, 20, 16, 10, 4, 35, 30, 22, 13, 5, 56, 50, 40, 28, 16, 6, 84, 77, 65, 50, 34, 19, 7, 120, 112, 98, 80, 60, 40, 22, 8, 165, 156, 140, 119, 95, 70, 46, 25, 9, 220, 210, 192, 168, 140, 110, 80, 52, 28, 10, 286, 275, 255, 228, 196, 161, 125, 90
Offset: 1

Views

Author

Clark Kimberling, Jun 14 2012

Keywords

Comments

Principal diagonal: A002412.
Antidiagonal sums: A002415.
Row 1: (1,2,3,...)**(1,2,3,...) = A000292.
Row 2: (1,2,3,...)**(2,3,4,...) = A005581.
Row 3: (1,2,3,...)**(3,4,5,...) = A006503.
Row 4: (1,2,3,...)**(4,5,6,...) = A060488.
Row 5: (1,2,3,...)**(5,6,7,...) = A096941.
Row 6: (1,2,3,...)**(6,7,8,...) = A096957.
...
In general, the convolution of two infinite sequences is defined from the convolution of two n-tuples: let X(n) = (x(1),...,x(n)) and Y(n)=(y(1),...,y(n)); then X(n)**Y(n) = x(1)*y(n)+x(2)*y(n-1)+...+x(n)*y(1); this sum is the n-th term in the convolution of infinite sequences:(x(1),...,x(n),...)**(y(1),...,y(n),...), for all n>=1.
...
In the following guide to related arrays and sequences, row n of each array T(n,k) is the convolution b**c of the sequences b(h) and c(h+n-1). The principal diagonal is given by T(n,n) and the n-th antidiagonal sum by S(n). In some cases, T(n,n) or S(n) differs in offset from the listed sequence.
b(h)........ c(h)........ T(n,k) .. T(n,n) .. S(n)
h .......... h .......... A213500 . A002412 . A002415
h .......... h^2 ........ A212891 . A213436 . A024166
h^2 ........ h .......... A213503 . A117066 . A033455
h^2 ........ h^2 ........ A213505 . A213546 . A213547
h .......... h*(h+1)/2 .. A213548 . A213549 . A051836
h*(h+1)/2 .. h .......... A213550 . A002418 . A005585
h*(h+1)/2 .. h*(h+1)/2 .. A213551 . A213552 . A051923
h .......... h^3 ........ A213553 . A213554 . A101089
h^3 ........ h .......... A213555 . A213556 . A213547
h^3 ........ h^3 ........ A213558 . A213559 . A213560
h^2 ........ h*(h+1)/2 .. A213561 . A213562 . A213563
h*(h+1)/2 .. h^2 ........ A213564 . A213565 . A101094
2^(h-1) .... h .......... A213568 . A213569 . A047520
2^(h-1) .... h^2 ........ A213573 . A213574 . A213575
h .......... Fibo(h) .... A213576 . A213577 . A213578
Fibo(h) .... h .......... A213579 . A213580 . A053808
Fibo(h) .... Fibo(h) .... A067418 . A027991 . A067988
Fibo(h+1) .. h .......... A213584 . A213585 . A213586
Fibo(n+1) .. Fibo(h+1) .. A213587 . A213588 . A213589
h^2 ........ Fibo(h) .... A213590 . A213504 . A213557
Fibo(h) .... h^2 ........ A213566 . A213567 . A213570
h .......... -1+2^h ..... A213571 . A213572 . A213581
-1+2^h ..... h .......... A213582 . A213583 . A156928
-1+2^h ..... -1+2^h ..... A213747 . A213748 . A213749
h .......... 2*h-1 ...... A213750 . A007585 . A002417
2*h-1 ...... h .......... A213751 . A051662 . A006325
2*h-1 ...... 2*h-1 ...... A213752 . A100157 . A071238
2*h-1 ...... -1+2^h ..... A213753 . A213754 . A213755
-1+2^h ..... 2*h-1 ...... A213756 . A213757 . A213758
2^(n-1) .... 2*h-1 ...... A213762 . A213763 . A213764
2*h-1 ...... Fibo(h) .... A213765 . A213766 . A213767
Fibo(h) .... 2*h-1 ...... A213768 . A213769 . A213770
Fibo(h+1) .. 2*h-1 ...... A213774 . A213775 . A213776
Fibo(h) .... Fibo(h+1) .. A213777 . A001870 . A152881
h .......... 1+[h/2] .... A213778 . A213779 . A213780
1+[h/2] .... h .......... A213781 . A213782 . A005712
1+[h/2] .... [(h+1)/2] .. A213783 . A213759 . A213760
h .......... 3*h-2 ...... A213761 . A172073 . A002419
3*h-2 ...... h .......... A213771 . A213772 . A132117
3*h-2 ...... 3*h-2 ...... A213773 . A214092 . A213818
h .......... 3*h-1 ...... A213819 . A213820 . A153978
3*h-1 ...... h .......... A213821 . A033431 . A176060
3*h-1 ...... 3*h-1 ...... A213822 . A213823 . A213824
3*h-1 ...... 3*h-2 ...... A213825 . A213826 . A213827
3*h-2 ...... 3*h-1 ...... A213828 . A213829 . A213830
2*h-1 ...... 3*h-2 ...... A213831 . A213832 . A212560
3*h-2 ...... 2*h-1 ...... A213833 . A130748 . A213834
h .......... 4*h-3 ...... A213835 . A172078 . A051797
4*h-3 ...... h .......... A213836 . A213837 . A071238
4*h-3 ...... 2*h-1 ...... A213838 . A213839 . A213840
2*h-1 ...... 4*h-3 ...... A213841 . A213842 . A213843
2*h-1 ...... 4*h-1 ...... A213844 . A213845 . A213846
4*h-1 ...... 2*h-1 ...... A213847 . A213848 . A180324
[(h+1)/2] .. [(h+1)/2] .. A213849 . A049778 . A213850
h .......... C(2*h-2,h-1) A213853
...
Suppose that u = (u(n)) and v = (v(n)) are sequences having generating functions U(x) and V(x), respectively. Then the convolution u**v has generating function U(x)*V(x). Accordingly, if u and v are homogeneous linear recurrence sequences, then every row of the convolution array T satisfies the same homogeneous linear recurrence equation, which can be easily obtained from the denominator of U(x)*V(x). Also, every column of T has the same homogeneous linear recurrence as v.

Examples

			Northwest corner (the array is read by southwest falling antidiagonals):
  1,  4, 10, 20,  35,  56,  84, ...
  2,  7, 16, 30,  50,  77, 112, ...
  3, 10, 22, 40,  65,  98, 140, ...
  4, 13, 28, 50,  80, 119, 168, ...
  5, 16, 34, 60,  95, 140, 196, ...
  6, 19, 40, 70, 110, 161, 224, ...
T(6,1) = (1)**(6) = 6;
T(6,2) = (1,2)**(6,7) = 1*7+2*6 = 19;
T(6,3) = (1,2,3)**(6,7,8) = 1*8+2*7+3*6 = 40.
		

Crossrefs

Cf. A000027.

Programs

  • Mathematica
    b[n_] := n; c[n_] := n
    t[n_, k_] := Sum[b[k - i] c[n + i], {i, 0, k - 1}]
    TableForm[Table[t[n, k], {n, 1, 10}, {k, 1, 10}]]
    Flatten[Table[t[n - k + 1, k], {n, 12}, {k, n, 1, -1}]]
    r[n_] := Table[t[n, k], {k, 1, 60}]  (* A213500 *)
  • PARI
    t(n,k) = sum(i=0, k - 1, (k - i) * (n + i));
    tabl(nn) = {for(n=1, nn, for(k=1, n, print1(t(k,n - k + 1),", ");); print(););};
    tabl(12) \\ Indranil Ghosh, Mar 26 2017
    
  • Python
    def t(n, k): return sum((k - i) * (n + i) for i in range(k))
    for n in range(1, 13):
        print([t(k, n - k + 1) for k in range(1, n + 1)]) # Indranil Ghosh, Mar 26 2017

Formula

T(n,k) = 4*T(n,k-1) - 6*T(n,k-2) + 4*T(n,k-3) - T(n,k-4).
T(n,k) = 2*T(n-1,k) - T(n-2,k).
G.f. for row n: x*(n - (n - 1)*x)/(1 - x)^4.

A156928 G.f. of the z^1 coefficients of the FP1 in the second column of the A156921 matrix.

Original entry on oeis.org

1, 7, 28, 86, 227, 545, 1230, 2664, 5613, 11611, 23728, 48106, 97031, 195077, 391394, 784284, 1570353, 3142815, 6288100, 12579070, 25161451, 50326697, 100657718, 201320336, 402646197, 805298595
Offset: 2

Views

Author

Johannes W. Meijer, Feb 20 2009

Keywords

Comments

Antidiagonal sums of the convolution array A213582. - Clark Kimberling, Jun 19 2012

Crossrefs

Cf. A156927.
Equals second column of A156921.
Other columns A156929, A156930, A156931.

Programs

  • GAP
    List([2..40], n-> (9*2^(n+2) -(2*n^3+9*n^2+25*n+36))/6); # G. C. Greubel, Jul 08 2019
  • Magma
    [(9*2^(n+2) -(2*n^3+9*n^2+25*n+36))/6: n in [2..40]]; // G. C. Greubel, Jul 08 2019
    
  • Mathematica
    Table[(9*2^(n+2) -(2*n^3+9*n^2+25*n+36))/6, {n, 2, 40}] (* Michael De Vlieger, Sep 23 2017 *)
  • PARI
    vector(40, n, n++; (9*2^(n+2) -(2*n^3+9*n^2+25*n+36))/6) \\ G. C. Greubel, Jul 08 2019
    
  • Sage
    [(9*2^(n+2) -(2*n^3+9*n^2+25*n+36))/6 for n in (2..40)] # G. C. Greubel, Jul 08 2019
    

Formula

a(n) = 5*a(n-1) - 9*a(n-2) + 7*a(n-3) - 2*a(n-4) + 2.
a(n) = 6*a(n-1) - 14*a(n-2) + 16*a(n-3) - 9*a(n-4) + 2*a(n-5).
a(n) = (9*2^(n+2) - (2*n^3 + 9*n^2 + 25*n + 36))/6.
G.f.: GF3(z;m=1) = z^2*(1+z)/((1-z)^4*(1-2*z)).
a(n) = Sum_{k=1..n+1} Sum_{i=1..n+1} (k-1)^2 * C(n-k+1,i). - Wesley Ivan Hurt, Sep 22 2017
E.g.f.: (36*exp(2*x) - (36 + 36*x + 15*x^2 + 2*x^3)*exp(x))/6. - G. C. Greubel, Jul 08 2019
Showing 1-3 of 3 results.