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-10 of 24 results. Next

A001787 a(n) = n*2^(n-1).

Original entry on oeis.org

0, 1, 4, 12, 32, 80, 192, 448, 1024, 2304, 5120, 11264, 24576, 53248, 114688, 245760, 524288, 1114112, 2359296, 4980736, 10485760, 22020096, 46137344, 96468992, 201326592, 419430400, 872415232, 1811939328, 3758096384, 7784628224, 16106127360, 33285996544
Offset: 0

Views

Author

Keywords

Comments

Number of edges in an n-dimensional hypercube.
Number of 132-avoiding permutations of [n+2] containing exactly one 123 pattern. - Emeric Deutsch, Jul 13 2001
Number of ways to place n-1 nonattacking kings on a 2 X 2(n-1) chessboard for n >= 2. - Antonio G. Astudillo (afg_astudillo(AT)hotmail.com), May 22 2001
Arithmetic derivative of 2^n: a(n) = A003415(A000079(n)). - Reinhard Zumkeller, Feb 26 2002
(-1) times the determinant of matrix A_{i,j} = -|i-j|, 0 <= i,j <= n.
a(n) is the number of ones in binary numbers 1 to 111...1 (n bits). a(n) = A000337(n) - A000337(n-1) for n = 2,3,... . - Emeric Deutsch, May 24 2003
The number of 2 X n 0-1 matrices containing n+1 1's and having no zero row or column. The number of spanning trees of the complete bipartite graph K(2,n). This is the case m = 2 of K(m,n). See A072590. - W. Edwin Clark, May 27 2003
Binomial transform of 0,1,2,3,4,5,... (A001477). Without the initial 0, binomial transform of odd numbers.
With an additional leading zero, [0,0,1,4,...] this is the binomial transform of the integers repeated A004526. Its formula is then (2^n*(n-1) + 0^n)/4. - Paul Barry, May 20 2003
Number of zeros in all different (n+1)-bit integers. - Ralf Stephan, Aug 02 2003
From Lekraj Beedassy, Jun 03 2004: (Start)
Final element of a summation table (as opposed to a difference table) whose first row consists of integers 0 through n (or first n+1 nonnegative integers A001477); illustrating the case n=5:
0 1 2 3 4 5
1 3 5 7 9
4 8 12 16
12 20 28
32 48
80
and the final element is a(5)=80. (End)
This sequence and A001871 arise in counting ordered trees of height at most k where only the rightmost branch at the root actually achieves this height and the count is by the number of edges, with k = 3 for this sequence and k = 4 for A001871.
Let R be a binary relation on the power set P(A) of a set A having n = |A| elements such that for all elements x,y of P(A), xRy if x is a proper subset of y and there are no z in P(A) such that x is a proper subset of z and z is a proper subset of y. Then a(n) = |R|. - Ross La Haye, Sep 21 2004
Number of 2 X n binary matrices avoiding simultaneously the right-angled numbered polyomino patterns (ranpp) (00;1) and (10;1). An occurrence of a ranpp (xy;z) in a matrix A=(a(i,j)) is a triple (a(i1,j1), a(i1,j2), a(i2,j1)) where i1 < i2, j1 < j2 and these elements are in same relative order as those in the triple (x,y,z). - Sergey Kitaev, Nov 11 2004
Number of subsequences 00 in all binary words of length n+1. Example: a(2)=4 because in 000,001,010,011,100,101,110,111 the sequence 00 occurs 4 times. - Emeric Deutsch, Apr 04 2005
If you expand the n-factor expression (a+1)*(b+1)*(c+1)*...*(z+1), there are a(n) variables in the result. For example, the 3-factor expression (a+1)*(b+1)*(c+1) expands to abc+ab+ac+bc+a+b+c+1 with a(3) = 12 variables. - David W. Wilson, May 08 2005
An inverse Chebyshev transform of n^2, where g(x)->(1/sqrt(1-4*x^2))*g(x*c(x^2)), c(x) the g.f. of A000108. - Paul Barry, May 13 2005
Sequences A018215 and A058962 interleaved. - Graeme McRae, Jul 12 2006
The number of never-decreasing positive integer sequences of length n with a maximum value of 2*n. - Ben Paul Thurston, Nov 13 2006
Total size of all the subsets of an n-element set. For example, a 2-element set has 1 subset of size 0, 2 subsets of size 1 and 1 of size 2. - Ross La Haye, Dec 30 2006
Convolution of the natural numbers [A000027] and A045623 beginning [0,1,2,5,...]. - Ross La Haye, Feb 03 2007
If M is the matrix (given by rows) [2,1;0,2] then the sequence gives the (1,2) entry in M^n. - Antonio M. Oller-Marcén, May 21 2007
If X_1,X_2,...,X_n is a partition of a 2n-set X into 2-blocks then, for n > 0, a(n) is equal to the number of (n+1)-subsets of X intersecting each X_i (i=1,2,...,n). - Milan Janjic, Jul 21 2007
Number of n-permutations of 3 objects u,v,w, with repetition allowed, containing exactly one u. Example: a(2)=4 because we have uv, vu, uw and wu. - Zerinvary Lajos, Dec 27 2007
A member of the family of sequences defined by a(n) = n*[c(1)*...*c(r)]^(n-1); c(i) integer. This sequence has c(1)=2, A027471 has c(1)=3. - Ctibor O. Zizka, Feb 23 2008
a(n) is the number of ways to split {1,2,...,n-1} into two (possibly empty) complementary intervals {1,2,...,i} and {i+1,i+2,...,n-1} and then select a subset from each interval. - Geoffrey Critzer, Jan 31 2009
Equals the Jacobsthal sequence A001045 convolved with A003945: (1, 3, 6, 12, ...). - Gary W. Adamson, May 23 2009
Starting with offset 1 = A059570: (1, 2, 6, 14, 34, ...) convolved with (1, 2, 2, 2, ...). - Gary W. Adamson, May 23 2009
Equals the first left hand column of A167591. - Johannes W. Meijer, Nov 12 2009
The number of tatami tilings of an n X n square with n monomers is n*2^(n-1). - Frank Ruskey, Sep 25 2010
Under T. D. Noe's variant of the hypersigma function, this sequence gives hypersigma(2^n): a(n) = A191161(A000079(n)). - Alonso del Arte, Nov 04 2011
Number of Dyck (n+2)-paths with exactly one valley at height 1 and no higher valley. - David Scambler, Nov 07 2011
Equals triangle A059260 * A016777 as a vector, where A016777 = (3n + 1): [1, 4, 7, 10, 13, ...]. - Gary W. Adamson, Mar 06 2012
Main transitions in systems of n particles with spin 1/2 (see A212697 with b=2). - Stanislav Sykora, May 25 2012
Let T(n,k) be the triangle with (first column) T(n,1) = 2*n-1 for n >= 1, otherwise T(n,k) = T(n,k-1) + T(n-1,k-1), then a(n) = T(n,n). - J. M. Bergot, Jan 17 2013
Sum of all parts of all compositions (ordered partitions) of n. The equivalent sequence for partitions is A066186. - Omar E. Pol, Aug 28 2013
Starting with a(1)=1: powers of 2 (A000079) self-convolved. - Bob Selcoe, Aug 05 2015
Coefficients of the series expansion of the normalized Schwarzian derivative -S{p(x)}/6 of the polynomial p(x) = -(x-x1)*(x-x2) with x1 + x2 = 1 (cf. A263646). - Tom Copeland, Nov 02 2015
a(n) is the number of North-East lattice paths from (0,0) to (n+1,n+1) that have exactly one east step below y = x-1 and no east steps above y = x+1. Details can be found in Pan and Remmel's link. - Ran Pan, Feb 03 2016
Also the number of maximal and maximum cliques in the n-hypercube graph for n > 0. - Eric W. Weisstein, Dec 01 2017
Let [n]={1,2,...,n}; then a(n-1) is the total number of elements missing in proper subsets of [n] that contain n to form [n]. For example, for n = 3, a(2) = 4 since the proper subsets of [3] that contain 3 are {3}, {1,3}, {2,3} and the total number of elements missing in these subsets to form [3] is 4: 2 in the first subset, 1 in the second, and 1 in the third. - Enrique Navarrete, Aug 08 2020
Number of 3-permutations of n elements avoiding the patterns 132, 231. See Bonichon and Sun. - Michel Marcus, Aug 19 2022

Examples

			a(2)=4 since 2314, 2341,3124 and 4123 are the only 132-avoiding permutations of 1234 containing exactly one increasing subsequence of length 3.
x + 4*x^2 + 12*x^3 + 32*x^4 + 80*x^5 + 192*x^6 + 448*x^7 + ...
a(5) = 1*0 + 5*1 + 10*2 + 10*3 + 5*4 + 1*5 = 80, with 1,5,10,10,5,1 the 5th row of Pascal's triangle. - _J. M. Bergot_, Apr 29 2014
		

References

  • M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 796.
  • A. T. Benjamin and J. J. Quinn, Proofs that really count: the art of combinatorial proof, M.A.A. 2003, id. 131.
  • Clifford A. Pickover, The Math Book, From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics, Sterling Publ., NY, 2009, page 282.
  • 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

Three other versions, essentially identical, are A085750, A097067, A118442.
Partial sums of A001792.
A058922(n+1) = 4*A001787(n).
Equals A090802(n, 1).
Column k=1 of A038207.
Row sums of A003506, A322427, A322428.

Programs

  • Haskell
    a001787 n = n * 2 ^ (n - 1)
    a001787_list = zipWith (*) [0..] $ 0 : a000079_list
    -- Reinhard Zumkeller, Jul 11 2014
    
  • Magma
    [n*2^(n-1): n in [0..40]]; // Vincenzo Librandi, Feb 04 2016
    
  • Maple
    spec := [S, {B=Set(Z, 0 <= card), S=Prod(Z, B, B)}, labeled]: seq(combstruct[count](spec, size=n), n=0..29); # Zerinvary Lajos, Oct 09 2006
    A001787:=1/(2*z-1)^2; # Simon Plouffe in his 1992 dissertation, dropping the initial zero
  • Mathematica
    Table[Sum[Binomial[n, i] i, {i, 0, n}], {n, 0, 30}] (* Geoffrey Critzer, Mar 18 2009 *)
    f[n_] := n 2^(n - 1); f[Range[0, 40]] (* Vladimir Joseph Stephan Orlovsky, Feb 09 2011 *)
    Array[# 2^(# - 1) &, 40, 0] (* Harvey P. Dale, Jul 26 2011 *)
    Join[{0}, Table[n 2^(n - 1), {n, 20}]] (* Eric W. Weisstein, Dec 01 2017 *)
    Join[{0}, LinearRecurrence[{4, -4}, {1, 4}, 20]] (* Eric W. Weisstein, Dec 01 2017 *)
    CoefficientList[Series[x/(-1 + 2 x)^2, {x, 0, 20}], x] (* Eric W. Weisstein, Dec 01 2017 *)
  • PARI
    {a(n) = if( n<0, 0, n * 2^(n-1))}
    
  • PARI
    concat(0, Vec(x/(1-2*x)^2 + O(x^50))) \\ Altug Alkan, Nov 03 2015
    
  • Python
    def A001787(n): return n*(1<Chai Wah Wu, Nov 14 2022

Formula

a(n) = Sum_{k=1..n} k*binomial(n, k). - Benoit Cloitre, Dec 06 2002
E.g.f.: x*exp(2x). - Paul Barry, Apr 10 2003
G.f.: x/(1-2*x)^2.
G.f.: x / (1 - 4*x / (1 + x / (1 - x))). - Michael Somos, Apr 07 2012
A108666(n) = Sum_{k=0..n} binomial(n, k)^2 * a(n). - Michael Somos, Apr 07 2012
PSumSIGN transform of A053220. PSumSIGN transform is A045883. Binomial transform is A027471(n+1). - Michael Somos, Jul 10 2003
Starting at a(1)=1, INVERT transform is A002450, INVERT transform of A049072, MOBIUS transform of A083413, PSUM transform is A000337, BINOMIAL transform is A081038, BINOMIAL transform of A005408. - Michael Somos, Apr 07 2012
a(n) = 2*a(n-1)+2^(n-1).
a(2*n) = n*4^n, a(2*n+1) = (2*n+1)4^n.
G.f.: x/det(I-x*M) where M=[1,i;i,1], i=sqrt(-1). - Paul Barry, Apr 27 2005
Starting 1, 1, 4, 12, ... this is 0^n + n2^(n-1), the binomial transform of the 'pair-reversed' natural numbers A004442. - Paul Barry, Jul 24 2003
Convolution of [1, 2, 4, 8, ...] with itself. - Jon Perry, Aug 07 2003
The signed version of this sequence, n(-2)^(n-1), is the inverse binomial transform of n(-1)^(n-1) (alternating sign natural numbers). - Paul Barry, Aug 20 2003
a(n-1) = (Sum_{k=0..n} 2^(n-k-1)*C(n-k, k)*C(1,(k+1)/2)*(1-(-1)^k)/2) - 0^n/4. - Paul Barry, Oct 15 2004
a(n) = Sum_{k=0..floor(n/2)} binomial(n, k)(n-2k)^2. - Paul Barry, May 13 2005
a(n+2) = A049611(n+2) - A001788(n).
a(n) = n! * Sum_{k=0..n} 1/((k - 1)!(n - k)!). - Paul Barry, Mar 26 2003
a(n+1) = Sum_{k=0..n} 4^k * A109466(n,k). - Philippe Deléham, Nov 13 2006
Row sums of A130300 starting (1, 4, 12, 32, ...). - Gary W. Adamson, May 20 2007
Equals row sums of triangle A134083. Equals A002064(n) + (2^n - 1). - Gary W. Adamson, Oct 07 2007
a(n) = 4*a(n-1) - 4*a(n-2), a(0)=0, a(1)=1. - Philippe Deléham, Nov 16 2008
Sum_{n>0} 1/a(n) = 2*log(2). - Jaume Oliver Lafont, Feb 10 2009
a(n) = A000788(A000225(n)) = A173921(A000225(n)). - Reinhard Zumkeller, Mar 04 2010
a(n) = n * A011782(n). - Omar E. Pol, Aug 28 2013
a(n-1) = Sum_{t_1+2*t_2+...+n*t_n=n} (t_1+t_2+...+t_n-1)*multinomial(t_1+t_2 +...+t_n,t_1,t_2,...,t_n). - Mircea Merca, Dec 06 2013
a(n+1) = Sum_{r=0..n} (2*r+1)*C(n,r). - J. M. Bergot, Apr 07 2014
a(n) = A007283(n)*n/6. - Enxhell Luzhnica, Apr 16 2016
a(n) = (A000225(n) + A000337(n))/2. - Anton Zakharov, Sep 17 2016
Sum_{n>0} (-1)^(n+1)/a(n) = 2*log(3/2) = 2*A016578. - Ilya Gutkovskiy, Sep 17 2016
a(n) = Sum_{k=0..n-1} Sum_{i=0..n-1} (i+1) * C(k,i). - Wesley Ivan Hurt, Sep 21 2017
a(n) = Sum_{i=1..n} Sum_{j=1..n} phi(i)*binomial(n, i*j). - Ridouane Oudra, Feb 17 2024

A127670 Discriminants of Chebyshev S-polynomials A049310.

Original entry on oeis.org

1, 4, 32, 400, 6912, 153664, 4194304, 136048896, 5120000000, 219503494144, 10567230160896, 564668382613504, 33174037869887488, 2125764000000000000, 147573952589676412928, 11034809241396899282944, 884295678882933431599104, 75613185918270483380568064
Offset: 1

Views

Author

Wolfdieter Lang, Jan 23 2007

Keywords

Comments

a(n-1) is the number of fixed n-cell polycubes that are proper in n-1 dimensions (Barequet et al., 2010).
From Rigoberto Florez, Sep 02 2018: (Start)
a(n-1) is the discriminant of the Morgan-Voyce Fibonacci-type polynomial B(n).
Morgan-Voyce Fibonacci-type polynomials are defined as B(0) = 0, B(1) = 1 and B(n) = (x+2)*B(n-1) - B(n-2) for n > 1.
The absolute value of the discriminant of Fibonacci polynomial F(n) is a(n-1).
Fibonacci polynomials are defined as F(0) = 0, F(1) = 1 and F(n) = x*F(n-1) + F(n-2) for n > 1. (End)
The first 6 values are the dimensions of the polynomial ring in 3n variables xi, yi, zi for 1 <= i <= n modulo the ideal generated by x1^a y1^b z1^c + ... + xn^a yn^b zn^c for 0 < a+b+c <= n (see Fact 2.8.1 in Haiman's paper). - Mike Zabrocki, Dec 31 2019

Examples

			n=3: The zeros are [sqrt(2),0,-sqrt(2)]. The Vn(xn[1],...,xn[n]) matrix is [[1,1,1],[sqrt(2),0,-sqrt(2)],[2,0,2]]. The squared determinant is 32 = a(3). - _Wolfdieter Lang_, Aug 07 2011
		

References

  • Gill Barequet, Solomon W. Golomb, and David A. Klarner, Polyominoes. (This is a revision, by G. Barequet, of the chapter of the same title originally written by the late D. A. Klarner for the first edition, and revised by the late S. W. Golomb for the second edition.) Preprint, 2016, http://www.csun.edu/~ctoth/Handbook/chap14.pdf.
  • G. Barequet and M. Shalah, Automatic Proofs for Formulae Enumerating Proper Polycubes, 31st International Symposium on Computational Geometry (SoCG'15). Editors: Lars Arge and János Pach; pp. 19-22, 2015.
  • Theodore J. Rivlin, Chebyshev polynomials: from approximation theory to algebra and number theory, 2. ed., Wiley, New York, 1990; p. 219 for T and U polynomials.

Crossrefs

Cf. A007701 (T-polynomials), A086804 (U-polynomials), A171860 and A191092 (fixed n-cell polycubes proper in n-2 and n-3 dimensions, resp.).
A317403 is essentially the same sequence.
Diagonal 1 of A195739.

Programs

  • Magma
    [((n+1)^n/(n+1)^2)*2^n: n in [1..20]]; // Vincenzo Librandi, Jun 23 2014
  • Mathematica
    Table[((n + 1)^n)/(n + 1)^2 2^n, {n, 1, 30}] (* Vincenzo Librandi, Jun 23 2014 *)

Formula

a(n) = ((n+1)^(n-2))*2^n, n >= 1.
a(n) = (Det(Vn(xn[1],...,xn[n])))^2 with the determinant of the Vandermonde matrix Vn with elements (Vn)i,j:= xn[i]^j, i=1..n, j=0..n-1 and xn[i]:=2*cos(Pi*i/(n+1)), i=1..n, are the zeros of S(n,x):=U(n,x/2).
a(n) = ((-1)^(n*(n-1)/2))*Product_{j=1..n} ((d/dx)S(n,x)|_{x=xn[j]}), n >= 1, with the zeros xn[j], j=1..n, given above.
a(n) = A007830(n-2)*A000079(n), n >= 2. - Omar E. Pol, Aug 27 2011
E.g.f.: -LambertW(-2*x)*(2+LambertW(-2*x))/(4*x). - Vaclav Kotesovec, Jun 22 2014

Extensions

Slightly edited by Gill Barequet, May 24 2011

A001870 Expansion of (1-x)/(1 - 3*x + x^2)^2.

Original entry on oeis.org

1, 5, 19, 65, 210, 654, 1985, 5911, 17345, 50305, 144516, 411900, 1166209, 3283145, 9197455, 25655489, 71293590, 197452746, 545222465, 1501460635, 4124739581, 11306252545, 30928921224, 84451726200, 230204999425
Offset: 0

Views

Author

Keywords

Comments

a(n) = ((n+1)*F(2*n+3)+(2*n+3)*F(2*(n+1)))/5 with F(n)=A000045(n) (Fibonacci numbers). One half of odd-indexed A001629(n), n >= 2 (Fibonacci convolution).
Convolution of F(2n+1) (A001519) and F(2n+2) (A001906(n+1)). - Graeme McRae, Jun 07 2006
Number of reentrant corners along the lower contours of all directed column-convex polyominoes of area n+3 (a reentrant corner along the lower contour is a vertical step that is followed by a horizontal step). a(n) = Sum_{k=0..ceiling((n+1)/2)} k*A121466(n+3,k). - Emeric Deutsch, Aug 02 2006
From Wolfdieter Lang, Jan 02 2012: (Start)
a(n) = A024458(2*n), n >= 1 (bisection, even arguments).
a(n) is also the odd part of the bisection of the half-convolution of the sequence A000045(n+1), n >= 0, with itself. See a comment on A201204 for the definition of the half-convolution of a sequence with itself. There one also finds the rule for the o.g.f. which in this case is Chato(x)/2 with the o.g.f. Chato(x) = 2*(1-x)/(1-3*x+x^2)^2 of A001629(2*n+3), n >= 0.
(End)

References

  • 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

a(n) = A060921(n+1, 1)/2.
Partial sums of A030267. First differences of A001871.
Cf. A121466.
Cf. A023610.

Programs

  • GAP
    F:=Fibonacci;; List([0..30], n-> ((n+1)*F(2*n+3)+(2*n+3)*F(2*(n+1)))/5); # G. C. Greubel, Jul 15 2019
  • Haskell
    a001870 n = a001870_list !! n
    a001870_list = uncurry c $ splitAt 1 $ tail a000045_list where
       c us vs'@(v:vs) = (sum $ zipWith (*) us vs') : c (v:us) vs
    -- Reinhard Zumkeller, Oct 31 2013
    
  • Magma
    I:=[1, 5, 19, 65]; [n le 4 select I[n] else 6*Self(n-1) -11*Self(n-2)+6*Self(n-3)-Self(n-4): n in [1..30]]; // Vincenzo Librandi, Jun 10 2012
    
  • Maple
    A001870:=-(-1+z)/(z**2-3*z+1)**2; # Simon Plouffe in his 1992 dissertation.
  • Mathematica
    CoefficientList[Series[(1-x)/(1-3*x+x^2)^2,{x,0,40}],x] (* Vincenzo Librandi, Jun 10 2012 *)
    LinearRecurrence[{6,-11,6,-1},{1,5,19,65},30] (* Harvey P. Dale, Aug 17 2013 *)
    With[{F=Fibonacci}, Table[((n+1)*F[2*n+3]+(2*n+3)*F[2*n+2])/5, {n,0,30}]] (* G. C. Greubel, Jul 15 2019 *)
  • PARI
    Vec((1-x)/(1-3*x+x^2)^2+O(x^30)) \\ Charles R Greathouse IV, Sep 23 2012
    
  • Sage
    f=fibonacci; [((n+1)*f(2*n+3)+(2*n+3)*f(2*n+2))/5 for n in (0..30)] # G. C. Greubel, Jul 15 2019
    

Formula

a(n) = Sum_{k=1..n+1} k*binomial(n+k+1, 2k). - Emeric Deutsch, Jun 11 2003
a(n) = 6*a(n-1) - 11*a(n-2) + 6*a(n-3) - a(n-4). - Vincenzo Librandi, Jun 10 2012
a(n) = (A238846(n) + A001871(n))/2. - Philippe Deléham, Mar 06 2014
a(n) = ((2*n-1)*Fibonacci(2*n) - n*Fibonacci(2*n-1))/5 [Czabarka et al.]. - N. J. A. Sloane, Sep 18 2018
E.g.f.: exp(3*x/2)*(5*(5 + 11*x)*cosh(sqrt(5)*x/2) + sqrt(5)*(13 + 25*x)*sinh(sqrt(5)*x/2))/25. - Stefano Spezia, Mar 04 2025

Extensions

More terms from Christian G. Bower

A059502 a(n) = (3*n*F(2n-1) + (3-n)*F(2n))/5 where F() = Fibonacci numbers A000045.

Original entry on oeis.org

0, 1, 3, 9, 27, 80, 234, 677, 1941, 5523, 15615, 43906, 122868, 342409, 950727, 2631165, 7260579, 19982612, 54865566, 150316973, 411015705, 1121818311, 3056773383, 8316416134, 22593883752, 61301547025, 166118284299, 449639574897, 1215751720491, 3283883157848
Offset: 0

Views

Author

Floor van Lamoen, Jan 19 2001

Keywords

Comments

Substituting x(1-x)/(1-2x) into x/(1-x)^2 yields g.f. of sequence.
Variation of A059216 (and of Boustrophedon transform) applied to 1,2,3,4,...: fill an array by diagonals, each time in the same direction, say the 'up' direction. The first column is 1,2,3,4,... For the next element of a diagonal, add to the previous element the elements of the row the new element is in. The first row gives a(n).

Examples

			The array (see A059503) begins
  1 3  9 27 80 ...
  2 5 14 40 ...
  3 7 19 ...
  4 9  5 ...
		

Crossrefs

Programs

  • Magma
    [(3*n*Fibonacci(2*n-1)+(3-n)*Fibonacci(2*n))/5: n in [0..100]]; // Vincenzo Librandi, Apr 23 2011
  • Mathematica
    Table[(3n Fibonacci[2n-1]+(3-n)Fibonacci[2n])/5,{n,0,30}] (* or *) CoefficientList[Series[x(1-x)(1-2x)/(1-3x+x^2)^2,{x,0,30}],x] (* Harvey P. Dale, Apr 23 2011 *)
  • PARI
    a(n)=(3*n*fibonacci(2*n-1)+(3-n)*fibonacci(2*n))/5
    

Formula

a(n) = 2*a(n-1) + Sum{m<=n-2} a(m) + A001519(n-2).
G.f.: x*(1 - x)*(1 - 2*x)/(1 - 3*x + x^2)^2. - Emeric Deutsch, Oct 07 2002
a(n) = A147703(n,1). - Philippe Deléham, Nov 29 2008
a(n) = A001871(n-1) - 3*A001871(n-2) + 2*A001871(n-3). - R. J. Mathar, Apr 09 2019
E.g.f.: 2*exp(3*x/2)*(5*x*cosh(sqrt(5)*x/2) + 3*sqrt(5)*sinh(sqrt(5)*x/2))/25. - Stefano Spezia, Mar 04 2025

A125662 A convolution triangle of numbers based on A001906 (even-indexed Fibonacci numbers).

Original entry on oeis.org

1, 3, 1, 8, 6, 1, 21, 25, 9, 1, 55, 90, 51, 12, 1, 144, 300, 234, 86, 15, 1, 377, 954, 951, 480, 130, 18, 1, 987, 2939, 3573, 2305, 855, 183, 21, 1, 2584, 8850, 12707, 10008, 4740, 1386, 245, 24, 1, 6765, 26195, 43398, 40426, 23373, 8715, 2100, 316, 27, 1
Offset: 0

Views

Author

Philippe Deléham, Jan 28 2007

Keywords

Comments

Subtriangle of the triangle given by [0,3,-1/3,1/3,0,0,0,0,0,...] DELTA [1,0,0,0,0,0,...] where DELTA is the operator defined in A084938. Unsigned version of A123965.
From Philippe Deléham, Feb 19 2012: (Start)
Riordan array (1/(1-3*x+x^2), x/(1-3*x+x^2)).
Equals A078812*A007318 as infinite lower triangular matrices.
Triangle of coefficients of Chebyshev's S(n,x+3) polynomials (exponents of x in increasing order). (End)
For 1 <= k <= n, T(n,k) equals the number of (n-1)-length words over {0,1,2,3} containing k-1 letters equal 3 and avoiding 01. - Milan Janjic, Dec 20 2016

Examples

			Triangle begins:
   1;
   3,  1;
   8,  6,  1;
  21, 25,  9,  1;
  55, 90, 51, 12,  1;
  ...
Triangle [0,3,-1/3,1/3,0,0,0,...] DELTA [1,0,0,0,0,0,...] begins:
  1;
  0,  1;
  0,  3,  1;
  0,  8,  6,  1;
  0, 21, 25,  9,  1;
  0, 55, 90, 51, 12,  1;
  ...
		

Crossrefs

Diagonal sums: A000244(powers of 3).
Row sums: A001353 (n+1).
Diagonals: A001906(n+1), A001871.
Cf. Triangle of coefficients of Chebyshev's S(n,x+k) polynomials: A207824, A207823, A125662, A078812, A101950, A049310, A104562, A053122, A207815, A159764, A123967 for k = 5, 4, 3, 2, 1, 0, -1, -2, -3, -4, -5 respectively.

Programs

  • Magma
    m:=12;
    R:=PowerSeriesRing(Integers(), m+2);
    A125662:= func< n,k | Abs( Coefficient(R!( Evaluate(ChebyshevU(n+1), (3-x)/2) ), k) ) >;
    [A125662(n,k): k in [0..n], n in [0..m]]; // G. C. Greubel, Aug 20 2023
    
  • Mathematica
    With[{n = 9}, DeleteCases[#, 0] & /@ CoefficientList[Series[1/(1 - 3 x + x^2 - y x), {x, 0, n}, {y, 0, n}], {x, y}]] // Flatten (* Michael De Vlieger, Apr 25 2018 *)
    Table[Abs[CoefficientList[ChebyshevU[n,(x-3)/2], x]], {n,0,12}]//Flatten (* G. C. Greubel, Aug 20 2023 *)
  • SageMath
    def A125662(n,k): return abs( ( chebyshev_U(n, (3-x)/2) ).series(x, n+2).list()[k] )
    flatten([[A125662(n,k) for k in range(n+1)] for n in range(13)]) # G. C. Greubel, Aug 20 2023

Formula

T(n,k) = T(n-1,k-1) + 3*T(n-1,k) - T(n-2,k); T(0,0)=1; T(n,k)=0 if k < 0 or k > n.
Sum_{k=0..n} T(n, k) = A001353(n+1).
Sum_{k=0..floor(n/2)} T(n-k, k) = A000244(n+1).
G.f.: 1/(1-3*x+x^2-y*x). - Philippe Deléham, Feb 19 2012
From G. C. Greubel, Aug 20 2023: (Start)
T(n, k) = abs( [x^k]( ChebyshevU(n, (3-x)/2) ) ).
Sum_{k=0..n} (-1)^k*T(n, k) = A000027(n+1).
Sum_{k=0..floor(n/2)} (-1)^k*T(n-k, k) = A000225(n). (End)

Extensions

a(45) corrected and a(51) added by Philippe Deléham, Feb 19 2012

A060934 Second column of Lucas bisection triangle (even part).

Original entry on oeis.org

1, 17, 80, 303, 1039, 3364, 10493, 31885, 95032, 279051, 809771, 2327372, 6636025, 18794633, 52925984, 148303719, 413768263, 1150029940, 3185625077, 8797726981, 24230897416, 66574108227
Offset: 0

Views

Author

Wolfdieter Lang, Apr 20 2001

Keywords

Comments

Numerator of g.f. is row polynomial Sum_{m=0..3} A061186(2, m)*x^m.

Crossrefs

Programs

  • Magma
    [2*n*Lucas(2*n+2) + Fibonacci(2*n+2): n in [0..30]]; // G. C. Greubel, Apr 09 2021
    
  • Mathematica
    LinearRecurrence[{6,-11,6,-1}, {1,17,80,303}, 31] (* G. C. Greubel, Apr 09 2021 *)
    CoefficientList[Series[(1+11x-11x^2+4x^3)/(1-3x+x^2)^2,{x,0,30}],x] (* Harvey P. Dale, Aug 28 2021 *)
  • Sage
    [2*n*lucas_number2(2*n+2,1,-1) + fibonacci(2*n+2) for n in (0..30)] # G. C. Greubel, Apr 09 2021

Formula

a(n) = A060923(n+1, 1).
G.f.: (1 + 11*x - 11*x^2 + 4*x^3)/(1 - 3*x + x^2)^2.
a(n) = 2*n*Lucas(2*n+2) + Fibonacci(2*n+2). - G. C. Greubel, Apr 09 2021

A129722 Number of 0's in even position in all Fibonacci binary words of length n. A Fibonacci binary word is a binary word having no 00 subword.

Original entry on oeis.org

0, 0, 1, 1, 5, 6, 19, 25, 65, 90, 210, 300, 654, 954, 1985, 2939, 5911, 8850, 17345, 26195, 50305, 76500, 144516, 221016, 411900, 632916, 1166209, 1799125, 3283145, 5082270, 9197455, 14279725, 25655489, 39935214, 71293590, 111228804, 197452746, 308681550
Offset: 0

Views

Author

Emeric Deutsch, May 13 2007

Keywords

Examples

			a(4)=5 because in 1110', 1111, 1101, 10'10', 10'11, 0110', 0111 and 0101 one has altogether five 0's in even position (marked by ').
		

Crossrefs

Programs

  • Maple
    G:=z^2/(1-z-z^2)^2/(1+z-z^2): Gser:=series(G,z=0,45): seq(coeff(Gser,z,n),n=0..42);
  • Mathematica
    CoefficientList[Series[x^2/((1 + x - x^2)*(1 - x - x^2)^2), {x,0,50}], x] (* G. C. Greubel, Mar 09 2017 *)
    LinearRecurrence[{1,4,-3,-4,1,1},{0,0,1,1,5,6},40] (* Harvey P. Dale, Apr 02 2018 *)
  • PARI
    x='x+O('x^50); concat([0,0], Vec(x^2/((1 + x - x^2)*(1 - x - x^2)^2))) \\ G. C. Greubel, Mar 09 2017

Formula

G.f.: z^2/( (1+z-z^2)*(1-z-z^2)^2 ).
a(2*n+1) = a(2*n) + a(2*n-1) (n>=1).
a(2*n+1) = A001871(n-1) (n>=1).
a(2*n) = A129720(2*n) = A001870(n-1).
a(n) = Sum_{ k=0..floor(n/2)} k*A129721(n,k).
a(n) = F(n)*(n+1)/5 + F(n+1)*(2*n - 5 + 5*(-1)^n)/20 where F = A000045. - Greg Dresden, Jan 01 2021

A197649 a(n) = Sum_{k=0..n} k*Fibonacci(2*k).

Original entry on oeis.org

0, 1, 7, 31, 115, 390, 1254, 3893, 11789, 35045, 102695, 297516, 853932, 2432041, 6881395, 19361995, 54214939, 151164018, 419910354, 1162585565, 3209268665, 8835468881, 24266461007, 66501634776, 181882282200, 496539007825, 1353272290399, 3682496714743
Offset: 0

Views

Author

Gary Detlefs, Oct 16 2011

Keywords

Comments

There are only a small number of Fibonacci identities that can be solved for n. Some of these are
1. n = (-F(4*n) + 5*Sum_{k=1..n} F(2*k-1)^2)/2 (Vajda #95).
2. n = (F(n+3) - 2 + Sum_{k=0..n} k*F(k))/F(n+2). (A104286)
3. n = (a(n) + F(2*n))/F(2*n+1).
4. n = F(n+4) - 3 - Sum_{k=0..1} (F(k+2) - 1). (A001924)
n can also be expressed in terms of phi = (1+sqrt(5))/2:
5. n = floor(n*phi^3) - floor(2*n*phi).
6. n = (floor(2*n*phi^2) - floor(2*n*phi))/2.

Crossrefs

Cf. A023619 (inverse binomial transform).

Programs

  • Maple
    a:=n->sum(k*fibonacci(2*k),n= 0..n):seq(a(n), n=0..25);
  • Mathematica
    Table[Sum[k*Fibonacci[2*k], {k, 0, n}], {n, 0, 50}] (* T. D. Noe, Oct 17 2011 *)

Formula

a(n) = n*F(2*n+1) - F(2*n), where F(n) = Fibonacci(n).
a(n) = ((F(2*n+1)*((n-1)*h(n-1) - (n-1)*h(n-2)) - h(n)*F(2*n))/h(n), n > 2, where h(n) is the n-th harmonic number.
From R. J. Mathar, Oct 17 2011: (Start)
G.f.: x*(1+x) / (x^2-3*x+1)^2.
a(n) = A001871(n-1) + A001871(n-2). (End)
a(n) ~ c*n*(3 + sqrt(5))^n*2^(-n), where c = (5 + sqrt(5))/10. - Stefano Spezia, Mar 29 2022
E.g.f.: 2*exp(3*x/2)*(5*x*cosh(sqrt(5)*x/2) + sqrt(5)*(2*x - 1)*sinh(sqrt(5)*x/2))/5. - Stefano Spezia, Mar 04 2025

Extensions

Identity 4 added by Gary Detlefs, Dec 22 2012

A238846 Expansion of (1-2*x)/(1-3*x+x^2)^2.

Original entry on oeis.org

1, 4, 13, 40, 120, 354, 1031, 2972, 8495, 24110, 68016, 190884, 533293, 1484020, 4115185, 11375764, 31358376, 86223942, 236540915, 647556620, 1769374931, 4826148314, 13142564448, 35736448200, 97037995225, 263156279524, 712795854421, 1928547574912, 5212430732760
Offset: 0

Views

Author

Philippe Deléham, Mar 05 2014

Keywords

Comments

Convolution of 1, 1, 2, 5, 13, ... (A001519(n)) with 1, 3, 8, 21, 55, ... (A001906(n+1)).

Examples

			a(0) = 1*1 = 1;
a(1) = 1*3 + 1*1 = 4;
a(2) = 1*8 + 1*3 + 2*1 = 13;
a(3) = 1*21 + 1*8 + 2*3 + 5*1 = 40;
a(4) = 1*55 + 1*21 + 2*8 + 5*3 + 13*1 = 120; etc. (from first recurrence formula).
a(0) = 3*0 - 0 + 1 = 1;
a(1) = 3*1 - 0 + 1 = 4;
a(2) = 3*4 - 1 + 2 = 13;
a(3) = 3*13 - 4 + 5 = 40;
a(4) = 3*40 - 13 + 13 = 120; etc (from second recurrence formula).
G.f. = 1 + 4*x + 13*x^2 + 40*x^3 + 120*x^4 + 354*x^5 + 1031*x^6 + ... - _Michael Somos_, Nov 23 2021
		

Crossrefs

Programs

  • Mathematica
    LinearRecurrence[{6, -11, 6, -1}, {1, 4, 13, 40}, 30] (* Bruno Berselli, Mar 06 2014 *)
    a[ n_] := If[n < 0, SeriesCoefficient[ x^3*(2 - x)/(1 - 3*x + x^2)^2, {x, 0, -n}], SeriesCoefficient[ (1 - 2*x)/(1 - 3*x + x^2)^2, {x, 0, n}]]; (* Michael Somos, Nov 23 2021 *)
  • PARI
    {a(n) = if(n<0, polcoeff( x^3*(2-x)/(1-3*x+x^2)^2 + x*O(x^-n), -n), polcoeff( (1-2*x)/(1-3*x+x^2)^2 + x*O(x^n), n))}; /* Michael Somos, Nov 23 2021 */

Formula

a(n) = 6*a(n-1) - 11*a(n-2) + 6*a(n-3) - a(n-4) for n>3, a(0)=1, a(1)=4, a(2)=13, a(3)=40.
a(n) = 3*a(n-1) - a(n-2) + A001519(n) for n>1, a(0)=1, a(1)=4.
a(n) = A238731(n+1, 1).
a(n) = -A124037(n+1, 1).
a(n) = (-1)^n*A126126(n+1, 1).
a(n) = ( (3 + sqrt(5))^(1+n)*(8 - (1 - sqrt(5))*(13 + 5*n)) + (3 - sqrt(5))^(1+n)*(8 - (1 + sqrt(5))*(13 + 5*n)) ) / (25*2^(2+n)). - Bruno Berselli, Mar 06 2014
From Philippe Deléham, Mar 06 2014: (Start)
a(n) = 2*A001870(n) - A001871(n).
a(n) = A197649(n+1) - 3*A001871(n-1).
a(n) = A001871(n) - 2*A001871(n-1). (End)
0 = 2 + a(n)*(a(n+1) - a(n+3)) + a(n+1)*(-6*a(n+1) + 12*a(n+2)) + a(n+2)*(-6*a(n+2) + a(n+3)) for all n in Z. - Michael Somos, Nov 23 2021
E.g.f.: exp(3*x/2)*(5*(5 + 4*x)*cosh(sqrt(5)*x/2) + sqrt(5)*(17 + 10*x)*sinh(sqrt(5)*x/2))/25. - Stefano Spezia, Mar 04 2025

A086804 a(0)=0; for n > 0, a(n) = (n+1)^(n-2)*2^(n^2).

Original entry on oeis.org

0, 1, 16, 2048, 1638400, 7247757312, 164995463643136, 18446744073709551616, 9803356117276277820358656, 24178516392292583494123520000000, 271732164163901599116133024293512544256
Offset: 0

Views

Author

Yuval Dekel (dekelyuval(AT)hotmail.com), Aug 05 2003

Keywords

Comments

Discriminant of Chebyshev polynomial U_n (x) of second kind.
Chebyshev second kind polynomials are defined by U(0)=0, U(1)=1 and U(n) = 2xU(n-1) - U(n-2) for n > 1.
The absolute value of the discriminant of Pell polynomials is a(n-1).
Pell polynomials are defined by P(0)=0, P(1)=1 and P(n) = 2x P(n-1) + P(n-2) if n > 1. - Rigoberto Florez, Sep 01 2018

References

  • Theodore J. Rivlin, Chebyshev polynomials: from approximation theory to algebra and number theory, 2. ed., Wiley, New York, 1990; p. 219, 5.1.2.

Crossrefs

Programs

  • Magma
    [0] cat [(n+1)^(n-2)*2^(n^2): n in [1..10]]; // G. C. Greubel, Nov 11 2018
  • Mathematica
    Join[{0},Table[(n+1)^(n-2) 2^n^2,{n,10}]] (* Harvey P. Dale, May 01 2015 *)
  • PARI
    a(n)=if(n<1,0,(n+1)^(n-2)*2^(n^2))
    
  • PARI
    a(n)=if(n<1,0,n++; poldisc(poltchebi(n)'/n))
    

Formula

a(n) = ((n+1)^(n-2))*2^(n^2), n >= 1, a(0):=0.
a(n) = ((2^(2*(n-1)))*Det(Vn(xn[1],...,xn[n])))^2, n >= 1, with the determinant of the Vandermonde matrix Vn with elements (Vn)i,j:= xn[i]^j, i=1..n, j=0..n-1 and xn[i]:=cos(Pi*i/(n+1)), i=1..n, are the zeros of the Chebyshev U(n,x) polynomials.
a(n) = ((-1)^(n*(n-1)/2))*(2^(n*(n-2)))*Product_{i=1..n}((d/dx)U(n,x)|_{x=xn[i]}), n >= 1, with the zeros xn[i], i=1..n, given above.

Extensions

Formula and more terms from Vladeta Jovovic, Aug 07 2003
Showing 1-10 of 24 results. Next