A144505 -id:A144505 - cp's OEIS frontend

A001515 Bessel polynomial y_n(x) evaluated at x=1.

1, 2, 7, 37, 266, 2431, 27007, 353522, 5329837, 90960751, 1733584106, 36496226977, 841146804577, 21065166341402, 569600638022431, 16539483668991901, 513293594376771362, 16955228098102446847, 593946277027962411007, 21992967478132711654106, 858319677924203716921141

Offset: 0

N. J. A. Sloane

For some applications it is better to start this sequence with an extra 1 at the beginning: 1, 1, 2, 37, 266, 2431, 27007, 353522, 5329837, ... (again with offset 0). This sequence now has its own entry - see A144301.
Number of partitions of {1,...,k}, n <= k <= 2n, into n blocks with no more than 2 elements per block. Restated, number of ways to use the elements of {1,...,k}, n <= k <= 2n, once each to form a collection of n sets, each having 1 or 2 elements. - Bob Proctor, Apr 18 2005, Jun 26 2006. E.g., for n=2 we get: (k=2): {1,2}; (k=3): {1,23}, {2,13}, {3,12}; (k=4): {12,34}, {13,24}, {14,23}, for a total of a(2) = 7 partitions.
Equivalently, number of sequences of n unlabeled items such that each item occurs just once or twice (cf. A105749). - David Applegate, Dec 08 2008
Numerator of (n+1)-th convergent to 1+tanh(1). - Benoit Cloitre, Dec 20 2002
The following Maple lines show how this sequence and A144505, A144498, A001514, A144513, A144506, A144514, A144507, A144301 are related.
f0:=proc(n) local k; add((n+k)!/((n-k)!*k!*2^k),k=0..n); end; [seq(f0(n),n=0..10)];
# that is this sequence
f1:=proc(n) local k; add((n+k+1)!/((n-k)!*k!*2^k),k=0..n); end; [seq(f1(n),n=0..10)];
# that is A144498
f2:=proc(n) local k; add((n+k+2)!/((n-k)!*k!*2^k),k=0..n); end; [seq(f2(n),n=0..10)];
# that is A144513; divided by 2 gives A001514
f3:=proc(n) local k; add((n+k+3)!/((n-k)!*k!*2^k),k=0..n); end; [seq(f3(n),n=0..10)];
# that is A144514; divided by 6 gives A144506
f4:=proc(n) local k; add((n+k+4)!/((n-k)!*k!*2^k),k=0..n); end; [seq(f4(n),n=0..10)];
# that divided by 24 gives A144507
a(n) is also the numerator of the continued fraction sequence beginning with 2 followed by 3 and the remaining odd numbers: [2,3,5,7,9,11,13,...]. - Gil Broussard, Oct 07 2009
Also, number of scenarios in the Gift Exchange Game when a gift can be stolen at most once. - N. J. A. Sloane, Jan 25 2017

			The first few Bessel polynomials are (cf. A001497, A001498):
  y_0 = 1
  y_1 = 1 +   x
  y_2 = 1 + 3*x +  3*x^2
  y_3 = 1 + 6*x + 15*x^2 + 15*x^3, etc.
G.f. = 1 + 2*x + 7*x^2 + 37*x^3 + 266*x^4 + 2431*x^5 + 27007*x^6 + 353522*x^7 + ...

J. Riordan, Combinatorial Identities, Wiley, 1968, p. 77.
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).

Seiichi Manyama, Table of n, a(n) for n = 0..404 (first 101 terms from T. D. Noe)
Moa Apagodu, David Applegate, N. J. A. Sloane, and Doron Zeilberger, Analysis of the Gift Exchange Problem, arXiv:1701.08394 [math.CO], 2017.
Moa Apagodu, David Applegate, N. J. A. Sloane, and Doron Zeilberger, On-Line Appendix I to "Analysis of the gift exchange problem", giving Type D recurrences for G_1(n) through G_15(n) (see A001515, A144416, A144508, A144509, A149187, A281358-A281361)
Moa Apagodu, David Applegate, N. J. A. Sloane, and Doron Zeilberger, On-Line Appendix II to "Analysis of the gift exchange problem", giving Type C recurrences for G_1(n) through G_15(n) (see A001515, A144416, A144508, A144509, A149187, A281358-A281361)
David Applegate and N. J. A. Sloane, The Gift Exchange Problem, arXiv:0907.0513 [math.CO], 2009.
Veronica Bitonti, Bishal Deb, and Alan D. Sokal, Thron-type continued fractions (T-fractions) for some classes of increasing trees, arXiv:2412.10214 [math.CO], 2024. See p. 58.
P. Blasiak, A. Horzela, K. A. Penson, G.H.E. Duchamp and A. I. Solomon, Boson normal ordering via substitutions and Sheffer-type polynomials, arXiv:quant-ph/0501155, 2005.
Dmitry Efimov, The hafnian of Toeplitz matrices of a special type, perfect matchings and Bessel polynomials, arXiv:1904.08651 [math.CO], 2019.
Andrew Francis and Michael Hendriksen, Counting spinal phylogenetic networks, arXiv:2502.14223 [q-bio.PE], 2025. See p. 11.
O. Frink and H. L. Krall, A new class of orthogonal polynomials, Trans. Amer. Math. Soc. 65,100-115, 1945. [From _Roger L. Bagula_, Feb 15 2009]
E. Grosswald, Bessel Polynomials, Lecture Notes Math., Vol. 698, 1978.
Wolfdieter Lang, On generalizations of Stirling number triangles, J. Integer Seqs., Vol. 3 (2000), #00.2.4.
Toufik Mansour, Matthias Schork and Mark Shattuck, On the Stirling numbers associated with the meromorphic Weyl algebra, Applied Mathematics Letters, Volume 25, Issue 11, November 2012, Pages 1767-1771. - From _N. J. A. Sloane_, Sep 15 2012
Wojciech Mlotkowski and Anna Romanowicz, A family of sequences of binomial type, Probability and Mathematical Statistics, Vol. 33, Fasc. 2 (2013), pp. 401-408.
Robert A. Proctor, Let's Expand Rota's Twelvefold Way for Counting Partitions!, arXiv:math/0606404 [math.CO], 2006-2007.
J. Riordan, Letter to N. J. A. Sloane, Jul. 1968
J. Riordan, Notes to N. J. A. Sloane, Jul. 1968
N. J. A. Sloane, Letter to J. Riordan, Nov. 1970
Index entries for sequences related to Bessel functions or polynomials
Index entries for related partition-counting sequences

Cf. A000108, A000806, A001514, A105749, A143990, A144505, A144506, A144507, A144513, A144514.
See A144301 for other formulas and comments.
Row sums of Bessel triangle A001497 as well as of A001498.
Partial sums: A105748.
First differences: A144498.
Replace "sets" with "lists" in comment: A001517.
The gift scenarios sequences when a gift can be stolen at most s times, for s = 1..9, are this sequence, A144416, A144508, A144509, A149187, A281358, A281359, A281360, A281361.

a001515 = sum . a001497_row -- Reinhard Zumkeller, Nov 24 2014

[(&+[Binomial(n+j, 2*j)*Catalan(j)*Factorial(j+1)/2^j: j in [0..n]]): n in [0..30]]; // G. C. Greubel, Sep 26 2023

A001515 := proc(n) option remember; if n=0 then 1 elif n=1 then 2 else (2*n-1)*A001515(n-1)+A001515(n-2); fi; end;
A001515:=proc(n) local k; add( (n+k)!/((n-k)!*k!*2^k),k=0..n); end;
A001515:= n-> hypergeom( [n+1,-n],[],-1/2);
bessel := proc(n,x) add(binomial(n+k,2*k)*(2*k)!*x^k/(k!*2^k),k=0..n); end;

RecurrenceTable[{a[0]==1,a[1]==2,a[n]==(2n-1)a[n-1]+a[n-2]},a[n], {n,25}] (* Harvey P. Dale, Jun 18 2011 *)
Table[Sum[BellY[n+1, k, (2 Range[n+1] - 3)!!], {k, n+1}], {n, 0, 20}] (* Vladimir Reshetnikov, Nov 09 2016 *)

{a(n) = if( n<0, n = -1 - n); sum( k=0, n, (2*n - k)! / (k! * (n-k)!) * 2^(k-n))} /* Michael Somos, Apr 08 2012 */

[sum(binomial(n+j,2*j)*binomial(2*j,j)*factorial(j)//2^j for j in range(n+1)) for n in range(31)] # G. C. Greubel, Sep 26 2023

The following formulas can all be found in (or are easily derived from formulas in) Grosswald's book.
D-finite with recurrence: a(0) = 1, a(1) = 2; thereafter a(n) = (2*n-1)*a(n-1) + a(n-2).
E.g.f.: exp(1-sqrt(1-2*x))/sqrt(1-2*x).
a(n) = Sum_{ k = 0..n } binomial(n+k,2*k)*(2*k)!/(k!*2^k).
Equivalently, a(n) = Sum_{ k = 0..n } (n+k)!/((n-k)!*k!*2^k) = Sum_{ k = n..2n } k!/((2n-k)!*(k-n)!*2^(k-n)).
a(n) = Hypergeometric2F0( [n+1, -n] ; - ; -1/2).
a(n) = A105749(n)/n!.
a(n) ~ exp(1)*(2n)!/(n!*2^n) as n -> oo. [See Grosswald, p. 124]
a(n) = A144301(n+1).
G.f.: 1/(1-x-x/(1-x-2*x/(1-x-3*x/(1-x-4*x/(1-x-5*x/(1-.... (continued fraction). - Paul Barry, Feb 08 2009
From Michael Somos, Apr 08 2012: (Start)
a(-1 - n) = a(n).
(a(n+1) + a(n+2))^2 = a(n)*a(n+2) + a(n+1)*a(n+3) for all integer n. (End)
G.f.: 1/G(0) where G(k) = 1 - x - x*(2*k+1)/(1 - x - 2*x*(k+1)/G(k+1)); (continued fraction). - Sergei N. Gladkovskii, Oct 05 2012
E.g.f.: E(0)/(2*sqrt(1-2*x)), where E(k) = 1 + 1/(1 - 2*x/(2*x + (k+1)*(1+sqrt(1-2*x))/E(k+1))); (continued fraction). - Sergei N. Gladkovskii, May 23 2013
G.f.: T(0)/(1-x), where T(k) = 1 - (k+1)*x/((k+1)*x - (1-x)^2/T(k+1) ); (continued fraction). - Sergei N. Gladkovskii, Nov 15 2013
a(n) = (2*BesselI(1/2, 1)+BesselI(3/2, 1))*BesselK(n+1/2, 1). - Jean-François Alcover, Feb 03 2014
a(n) = exp(1)*sqrt(2/Pi)*BesselK(1/2+n,1). - Gerry Martens, Jul 22 2015
From Peter Bala, Apr 14 2017: (Start)
a(n) = (1/n!)*Integral_{x = 0..inf} exp(-x)*x^n*(1 + x/2)^n dx.
E.g.f.: d/dx( exp(x*c(x/2)) ) = 1 + 2*x + 7*x^2/2! + 37*x^3/3! + ..., where c(x) = (1 - sqrt(1 - 4*x))/(2*x) is the g.f. of the Catalan numbers A000108. (End)
From G. C. Greubel, Aug 16 2017: (Start)
a(n) = (1/2)_{n} * 2^n * hypergeometric1f1(-n; -2*n; 2).
G.f.: (1/(1-t))*hypergeometric2f0(1, 1/2; -; 2*t/(1-t)^2). (End)

Extensively edited by N. J. A. Sloane, Dec 07 2008

A001514 Bessel polynomial {y_n}'(1).

Original entry on oeis.org

0, 1, 9, 81, 835, 9990, 137466, 2148139, 37662381, 733015845, 15693217705, 366695853876, 9289111077324, 253623142901401, 7425873460633005, 232122372003909045, 7715943399320562331, 271796943164015920914, 10114041937573463433966

Offset: 0

N. J. A. Sloane

nonn

J. Riordan, Combinatorial Identities, Wiley, 1968, p. 77.
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).

G. C. Greubel, Table of n, a(n) for n = 0..400
N. J. A. Sloane, Letter to J. Riordan, Nov. 1970
Index entries for sequences related to Bessel functions or polynomials

Cf. A001515, A001516, A001518, A065920, A144505.

(As in A001497 define:) f := proc(n) option remember; if n <=1 then (1+x)^n else expand((2*n-1)*x*f(n-1)+f(n-2)); fi; end;
[seq( subs(x=1,diff(f(n),x)),n=0..60)];
f2:=proc(n) local k; add((n+k+2)!/((n-k)!*k!*2^k),k=0..n); end; [seq(f2(n),n=0..60)]; # uses a different offset

Table[Sum[(n+k+1)!/((n-k-1)!*k!*2^(k+1)), {k,0,n-1}], {n,0,20}] (* Vaclav Kotesovec, Jul 22 2015 *)
Join[{0}, Table[n*Pochhammer[1/2, n]*2^n* Hypergeometric1F1[1 - n, -2*n, 2], {n,1,50}]] (* G. C. Greubel, Aug 14 2017 *)

for(n=0,50, print1(sum(k=0,n-1, (n+k+1)!/((n-k-1)!*k!*2^(k+1))), ", ")) \\ G. C. Greubel, Aug 14 2017

a(n) = (1/2) * Sum_{k=0..n} (n+k+2)!/((n-k)!*k!*2^k) (with a different offset).
D-finite with recurrence: (n-1)^2 * a(n) = (2*n-1)*(n^2 - n + 1)*a(n-1) + n^2*a(n-2). - Vaclav Kotesovec, Jul 22 2015
a(n) ~ 2^(n+1/2) * n^(n+1) / exp(n-1). - Vaclav Kotesovec, Jul 22 2015
a(n) = n*2^n*(1/2){n}*hypergeometric1f1(1-n, -2*n, 2), where (a){n} is the Pochhammer symbol. - G. C. Greubel, Aug 14 2017
From G. C. Greubel, Aug 16 2017: (Start)
G.f.: (1/(1-t))*hypergeometric2f0(2, 3/2; -; 2*t/(1-t)^2).
E.g.f.: (1 - 2*x)^(-3/2)*((1 - x)*sqrt(1 - 2*x) + (3*x - 1))*exp((1 - sqrt(1 - 2*x))). (End)

A001516 Bessel polynomial {y_n}''(1).

Original entry on oeis.org

0, 0, 6, 120, 1980, 32970, 584430, 11204676, 233098740, 5254404210, 127921380840, 3350718545460, 94062457204716, 2819367702529560, 89912640142178490, 3040986592542420060, 108752084073199561140, 4101112025363285051526

Offset: 0

N. J. A. Sloane

J. Riordan, Combinatorial Identities, Wiley, 1968, p. 77.
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).

G. C. Greubel, Table of n, a(n) for n = 0..400
J. Riordan, Letter to N. J. A. Sloane, Jul. 1968
N. J. A. Sloane, Letter to J. Riordan, Nov. 1970
Index entries for sequences related to Bessel functions or polynomials

Cf. A001497, A001498, A001514, A001515, A001518, A065944, A144505.

(As in A001497 define:) f := proc(n) option remember; if n <=1 then (1+x)^n else expand((2*n-1)*x*f(n-1)+f(n-2)); fi; end;
[seq( subs(x=1,diff(f(n),x$2)),n=0..60)];

Table[Sum[(n+k+2)!/(2^(k+2)*(n-k-2)!*k!), {k,0,n-2}], {n,0,20}] (* Vaclav Kotesovec, Jul 22 2015 *)
Join[{0, 0}, Table[n*(n - 1)*Pochhammer[1/2, n]*2^n* Hypergeometric1F1[2 - n, -2*n, 2], {n,2,50}]] (* G. C. Greubel, Aug 14 2017 *)

for(n=0,20, print1(sum(k=0,n-2, (n+k+2)!/(2^(k+2)*(n-k-2)!*k!)), ", ")) \\ G. C. Greubel, Aug 14 2017

G.f.: 6*x^2*(1-x)^(-5)*hypergeom([5/2,3],[],2*x/(x-1)^2). - Mark van Hoeij, Nov 07 2011
D-finite with recurrence: (n-2)*(n-1)*a(n) = (2*n - 1)*(n^2 - n + 2)*a(n-1) + n*(n+1)*a(n-2). - Vaclav Kotesovec, Jul 22 2015
a(n) ~ 2^(n+1/2) * n^(n+2) / exp(n-1). - Vaclav Kotesovec, Jul 22 2015
a(n) = n*(n - 1)*(1/2){n}*2^n* hypergeometric1F1(2 - n, -2*n, 2), where (a){n} is the Pochhammer symbol. - G. C. Greubel, Aug 14 2017
E.g.f.: (-1)*(1 - 2*x)^(-5/2)*((4 - 14*x + 9*x^2)*sqrt(1 - 2*x) + (2*x^3 - 24*x^2 + 18*x - 4))*exp((1 - sqrt(1 - 2*x))). - G. C. Greubel, Aug 16 2017

A043301 a(n) = 2^nSum_{k=0..n} (n+k)!/((n-k)!k!*4^k).

Original entry on oeis.org

1, 3, 13, 77, 591, 5627, 64261, 857901, 13125559, 226566107, 4357258269, 92408688077, 2142828858847, 53940356223483, 1464960933469429, 42699628495507373, 1329548327094606279, 44045893308104036699, 1546924459092019709581, 57412388559637145401293

Offset: 0

Benoit Cloitre, Apr 04 2002

Bruce Berndt, Ramanujan's Notebooks Part II, Springer-Verlag; see Integrals and Asymptotic Expansions, p. 229.
I. S. Gradshteyn and I. M. Ryzhik, Tables of Integrals, Series and Products, 6th ed., Section 3.737.1, p. 423.

Vincenzo Librandi, Table of n, a(n) for n = 0..200
Veronica Bitonti, Bishal Deb, and Alan D. Sokal, Thron-type continued fractions (T-fractions) for some classes of increasing trees, arXiv:2412.10214 [math.CO], 2024. See p. 58.
Wojciech Mlotkowski and Anna Romanowicz, A family of sequences of binomial type, Probability and Mathematical Statistics, Vol. 33, Fasc. 2 (2013), pp. 401-408.

Cf. A043302, A144505.

I:=[3,13]; [1] cat [n le 2 select I[n]  else  (2*n-1)*Self(n-1) + 4*Self(n-2): n in [1..30]]; // Vincenzo Librandi, Jul 24 2015

f:= gfun:-rectoproc({a(0)=1, a(1)=3, a(n) = (2*n-1)*a(n-1) + 4*a(n-2)}, a(n), remember):
map(f, [$0..30]); # Robert Israel, Jul 23 2015
A043301 := n-> 2^n*hypergeom([n+1, -n], [], -1/4):
seq(simplify(A043301(n)), n=0..19); # Peter Luschny, Nov 10 2016

Table[2^n Sum[(n+k)!/((n-k)!k! 4^k),{k,0,n}],{n,0,20}] (* or *) RecurrenceTable[{a[0]==1,a[1]==3,a[n]==(2n-1)a[n-1]+4a[n-2]}, a[n], {n,20}] (* Harvey P. Dale, Aug 14 2011 *)
CoefficientList[Series[E^(2-2*Sqrt[1-2*x])/Sqrt[1-2*x],{x,0,20}],x]*Range[0,20]! (* Vaclav Kotesovec, Oct 21 2012 *)

x='x+O('x^66); Vec(serlaplace(exp(2-2*sqrt(1-2*x))/sqrt(1-2*x))) \\ Joerg Arndt, May 04 2013

D-finite with recurrence: a(n) = (2*n-1)*a(n-1) + 4*a(n-2), n>1.
a(n) = 2^(n+1)n!(e^2/Pi)*Integral_{t=0..infinity} cos(2t)/(1+t^2)^(n+1)dt.
E.g.f.: 2*(e^2/Pi)*Integral_{t=0..infinity} cos(2t)/(1+t^2-2x)dt.
2^n * y_n(1/2), where y_n(x) are the Bessel polynomials A001498.
G.f.: 1/G(0) where G(k) = 1 - 2*x - x*(k+1)/G(k+1); (continued fraction). - Sergei N. Gladkovskii, Dec 17 2011
E.g.f.: exp(2-2*sqrt(1-2*x))/sqrt(1-2*x). - Vaclav Kotesovec, Oct 21 2012
a(n) ~ 2^(n+1/2)*n^n/exp(n-2). - Vaclav Kotesovec, Oct 21 2012
G.f.: T(0)/(1-2*x), where T(k) = 1 - x*(k+1)/( x*(k+1) - (1-2*x)^2/T(k+1) ); (continued fraction). - Sergei N. Gladkovskii, Nov 27 2013
a(n) = 2^(n+1)*exp(2)/sqrt(Pi)*BesselK(1/2+n,2). - Gerry Martens, Jul 22 2015
a(n) = 2^n*hypergeom( [n+1, -n], [], -1/4). - Peter Luschny, Nov 10 2016

Edited by Michael Somos, Jul 16 2002

cp's OEIS Frontend

A144506 Column 3 of triangle in A144505, negated.

Views

Author

Keywords

Links

Programs

Magma

Maple

Mathematica

SageMath

Formula

A144507 Column 4 of triangle in A144505.

Views

Author

Keywords

Links

Crossrefs

Programs

Magma

Maple

Mathematica

SageMath

Formula

A001515 Bessel polynomial y_n(x) evaluated at x=1.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Magma

Maple

Mathematica

PARI

SageMath

Formula

Extensions

A001514 Bessel polynomial {y_n}'(1).

Views

Author

Keywords

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A001516 Bessel polynomial {y_n}''(1).

Views

Author

Keywords

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A043301 a(n) = 2^n*Sum_{k=0..n} (n+k)!/((n-k)!*k!*4^k).

Views

Author

Keywords

References

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Formula

Extensions

A043301 a(n) = 2^nSum_{k=0..n} (n+k)!/((n-k)!k!*4^k).

A307376 a(n) = 1/n! * Sum_{k=0..n} (2n+k)!/((n-k)!k!*2^k).