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-4 of 4 results.

A162005 The EG1 triangle.

Original entry on oeis.org

1, 2, 1, 16, 28, 1, 272, 1032, 270, 1, 7936, 52736, 36096, 2456, 1, 353792, 3646208, 4766048, 1035088, 22138, 1, 22368256, 330545664, 704357760, 319830400, 27426960, 199284, 1, 1903757312, 38188155904, 120536980224, 93989648000
Offset: 1

Views

Author

Johannes W. Meijer, Jun 27 2009, Jul 02 2009, Aug 31 2009

Keywords

Comments

We define the EG1 matrix by EG1[2m-1,1] = 2*eta(2m-1) and the recurrence relation EG1[2m-1,n] = EG1[2m-1,n-1] - EG1[2m-3,n-1]/(n-1)^2 for m = -2, -1, 0, 1, 2, .. and n = 2, 3, .., with eta(m) = (1-2^(1-m))*zeta(m) with eta(m) the Dirichlet eta function and zeta(m) the Riemann zeta function. For the EG2[2m,n] coefficients see A008955.
The n-th term of the row coefficients EG1[1-2*m,n] for m = 1, 2, .., can be generated with REG1(1-2*m,n) = (-1)^(m+1)*2^(1-m)*ECGP(1-2*m, n)*(1/n)*4^(-n)*(2*n)!/((n-1)!)^2 . For information about the ECGP polynomials see A094665 and the examples below.
We define the o.g.f.s. of the REG1(1-2*m,n) by GFREG1(z,1-2*m) = sum(REG1(1-2*m,n)* z^(n-1), n=1..infinity) for m = 1, 2, .., with GFREG1(z,1-2*m) = (-1)^(m+1)* RG(z,1-2*m)/ (2^(2*m-1)*(1-z)^((2*m+1)/2)). The RG(z,1-2m) polynomials led to the EG1 triangle.
We used the coefficients of the A156919 and A094665 triangles to determine those of the EG1 triangle, see the Maple program. The A156919 triangle gives information about the sums SF(p) = sum(n^(p-1)*4^(-n)*z^(n-1)*(2*n)!/((n-1)!)^2, n=1..infinity) for p= 0, 1, 2, .. .
Contribution from Johannes W. Meijer, Nov 23 2009: (Start)
The EG1 matrix is related to the ED2 array A167560 because sum(EG1(2*m-1,n)*z^(2*m-1), m=1..infinity) = ((2*n-1)!/(4^(n-1)*(n-1)!^2))*int(sinh(y*(2*z))/cosh(y)^(2*n),y=0..infinity).
(End)
Appears to equal triangle A322230 with rows read in reverse order. Triangle A322230 describes the e.g.f. S(x,k) = Integral C(x,k)*D(x,k)^2 dx, such that C(x,k)^2 - S(x,k)^2 = 1, and D(x,k)^2 - k^2*S(x,k)^2 = 1. - Paul D. Hanna, Dec 22 2018
Appears to equal triangle A325220, which has e.g.f. S(x,k) = -i * sn( i * Integral C(x,k) dx, k) such that C(x,k) = cn( i * Integral C(x,k) dx, k), where sn(x,k) and cn(x,k) are Jacobi Elliptic functions. - Paul D. Hanna, Apr 13 2019

Examples

			The first few rows of the EG1 triangle are :
[1]
[2, 1]
[16, 28, 1]
[272, 1032, 270, 1]
The first few RG(z,1-2*m) polynomials are:
RG(z,-1) = 1
RG(z,-3) = 2+z
RG(z,-5) = 16+28*z+z^2
RG(z,-7) = 272+1032*z+270*z^2+z^3
The first few GFREG1(z,1-2*m) are:
GFREG1(z,-1) = (1)*(1)/(2*(1-z)^(3/2))
GFREG1(z,-3) = (-1)*(2+z)/(2^3*(1-z)^(5/2))
GFREG1(z,-5) = (1)*(16+28*z+z^2)/( 2^5*(1-z)^(7/2))
GFREG1(z,-7) = (-1)*(272+1032*z+270*z^2+z^3)/(2^7*(1-z)^(9/2))
The first few REG1(1-2*m,n) are:
REG1(-1,n) = (1/1)*(1)*(1/n)*4^(-n)*(2*n)!/(n-1)!^2
REG1(-3,n) = (-1/2)*(n) *(1/n)*4^(-n)*(2*n)!/(n-1)!^2
REG1(-5,n) = (1/4) *(n+3*n^2) *(1/n)*4^(-n)*(2*n)!/(n-1)!^2
REG1(-7,n) = (-1/8)*(4*n+15*n^2+15*n^3) *(1/n)*4^(-n)*(2*n)!/(n-1)!^2
The first few ECGP(1-2*m,n) polynomials are:
ECGP(-1,n) = 1
ECGP(-3,n) = n
ECGP(-5,n) = n+3*n^2
ECGP(-7,n) = 4*n+15*n^2+15*n^3

Links

  • M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972, Chapter 23, pp. 811-812.

Crossrefs

A079484 equals the row sums.
A000182 (ZAG numbers), A162006 and A162007 equal the first three left hand columns.
A000012, A004004 (2x), A162008, A162009 and A162010 equal the first five right hand columns.
Related to A094665, A083061 and A156919 (DEF triangle).
Cf. A161198 [(1-x)^((-1-2*n)/2)], A008955 (EG2[2m, n])
Cf. A167560 (ED2 array).
Cf. A322230 (reversed rows), A325220.

Programs

  • Maple
    nmax:=7; mmax := nmax: imax := nmax: T1(0, x) := 1: T1(0, x+1) := 1: for i from 1 to imax do T1(i, x) := expand((2*x+1) * (x+1)*T1(i-1, x+1)-2*x^2*T1(i-1, x)): dx := degree(T1(i, x)): for k from 0 to dx do c(k) := coeff(T1(i, x), x, k) od: T1(i, x+1) := sum(c(j1)*(x+1)^(j1), j1=0..dx): od: for i from 0 to imax do for j from 0 to i do A083061(i, j) := coeff(T1(i, x), x, j) od: od: for n from 0 to nmax do for k from 0 to n do A094665(n+1, k+1) := A083061(n, k) od: od: A094665(0, 0) := 1: for n from 1 to nmax do A094665(n, 0) := 0 od: for m from 1 to mmax do A156919(0, m) := 0 end do: for n from 0 to nmax do A156919(n, 0) := 2^n end do: for n from 1 to nmax do for m from 1 to mmax do A156919(n, m) := (2*m+2)*A156919(n-1, m) + (2*n-2*m+1)*A156919(n-1, m-1) end do end do: for n from 0 to nmax do SF(n) := sum(A156919(n, k1)*z^k1, k1=0..n)/(2^(n+1)*(1-z)^((2*n+3)/2)) od: GFREG1(z, -1) := A156919(0, 0)*A094665 (0, 0) / (2*(1-z)^(3/2)): for m from 2 to nmax do GFREG1(z, 1-2*m) := simplify((-1)^(m+1)*2^(1-m)* sum(A094665(m-1, k2)*SF(k2), k2=1..m-1)) od: for m from 1 to mmax do g(m) := sort((numer ((-1)^(m+1)* GFREG1(z, 1-2*m))), ascending) od: for n from 1 to nmax do for m from 1 to n do a(n, m) := abs(coeff(g(n), z, m-1)) od: od: seq(seq(a(n, m), m=1..n), n=1..nmax);
# Maple program edited by Johannes W. Meijer, Sep 25 2012

Formula

A different form of the recurrence relation is EG1[1-2*m,n] = (EG1[3-2*m,n]-EG1[3-2*m,n+1])* (n^2) for m = 2, 3, .., with EG1[ -1,n] = (1/n)*4^(-n)*((2*n)!/(n-1)!^2).

A322230 E.g.f.: S(x,k) = Integral C(x,k)*D(x,k)^2 dx, such that C(x,k)^2 - S(x,k)^2 = 1, and D(x,k)^2 - k^2*S(x,k)^2 = 1, as a triangle of coefficients read by rows.

Original entry on oeis.org

1, 1, 2, 1, 28, 16, 1, 270, 1032, 272, 1, 2456, 36096, 52736, 7936, 1, 22138, 1035088, 4766048, 3646208, 353792, 1, 199284, 27426960, 319830400, 704357760, 330545664, 22368256, 1, 1793606, 702812568, 18598875760, 93989648000, 120536980224, 38188155904, 1903757312, 1, 16142512, 17753262208, 1002968825344, 10324483102720, 28745874079744, 24060789342208, 5488365862912, 209865342976, 1, 145282674, 445736371872, 51882638754240, 1013356176688128, 5416305638467584, 9498855414644736, 5590122715250688, 961530104709120, 29088885112832
Offset: 0

Views

Author

Paul D. Hanna, Dec 14 2018

Keywords

Comments

Equals a row reversal of triangle A325220.
Appears to be a row reversal of EG1 triangle A162005, which has other formulas.
Compare to sn(x,k) = Integral cn(x,k)*dn(x,k) dx, where sn(x,k), cn(x,k), and dn(x,k) are Jacobi elliptic functions (see triangle A060628).
Compare also to Michael Pawellek's generalized elliptic functions.

Examples

			E.g.f.: S(x,k) = x + (2*k^2 + 1)*x^3/3! + (16*k^4 + 28*k^2 + 1)*x^5/5! + (272*k^6 + 1032*k^4 + 270*k^2 + 1)*x^7/7! + (7936*k^8 + 52736*k^6 + 36096*k^4 + 2456*k^2 + 1)*x^9/9! + (353792*k^10 + 3646208*k^8 + 4766048*k^6 + 1035088*k^4 + 22138*k^2 + 1)*x^11/11! + (22368256*k^12 + 330545664*k^10 + 704357760*k^8 + 319830400*k^6 + 27426960*k^4 + 199284*k^2 + 1)*x^13/13! + ...
such that C(x,k)^2 - S(x,k)^2 = 1.
This triangle of coefficients T(n,j) of x^(2*n+1)*k^(2*j)/(2*n+1)! in e.g.f. S(x,k) begins:
1;
1, 2;
1, 28, 16;
1, 270, 1032, 272;
1, 2456, 36096, 52736, 7936;
1, 22138, 1035088, 4766048, 3646208, 353792;
1, 199284, 27426960, 319830400, 704357760, 330545664, 22368256;
1, 1793606, 702812568, 18598875760, 93989648000, 120536980224, 38188155904, 1903757312;
1, 16142512, 17753262208, 1002968825344, 10324483102720, 28745874079744, 24060789342208, 5488365862912, 209865342976; ...
RELATED SERIES.
The related series C(x,k), where C(x,k)^2 - S(x,k)^2 = 1, starts
C(x,k) = 1 + x^2/2! + (8*k^2 + 1)*x^4/4! + (136*k^4 + 88*k^2 + 1)*x^6/6! + (3968*k^6 + 6240*k^4 + 816*k^2 + 1)*x^8/8! + (176896*k^8 + 513536*k^6 + 195216*k^4 + 7376*k^2 + 1)*x^10/10! + (11184128*k^10 + 51880064*k^8 + 39572864*k^6 + 5352544*k^4 + 66424*k^2 + 1)*x^12/12! + (951878656*k^12 + 6453433344*k^10 + 8258202240*k^8 + 2458228480*k^6 + 139127640*k^4 + 597864*k^2 + 1)*x^14/14! + ...
The related series D(x,k), where D(x,k)^2 - k^2*S(x,k)^2 = 1, starts
D(x,k) = 1 + k^2*x^2/2! + (5*k^4 + 4*k^2)*x^4/4! + (61*k^6 + 148*k^4 + 16*k^2)*x^6/6! + (1385*k^8 + 6744*k^6 + 2832*k^4 + 64*k^2)*x^8/8! + (50521*k^10 + 410456*k^8 + 383856*k^6 + 47936*k^4 + 256*k^2)*x^10/10! + (2702765*k^12 + 32947964*k^10 + 54480944*k^8 + 17142784*k^6 + 780544*k^4 + 1024*k^2)*x^12/12! + (199360981*k^14 + 3402510924*k^12 + 8760740640*k^10 + 5199585280*k^8 + 686711040*k^6 + 12555264*k^4 + 4096*k^2)*x^14/14! + ...

Links

Crossrefs

Cf. A000182 (diagonal), A162006, A162007, A162008, A162009, A162010.
Cf. A322231 (C), A322232 (D).
Cf. A325220 (row reversal), A162005.

Programs

  • PARI
    N=10;
{S=x;C=1;D=1; for(i=1,2*N, S = intformal(C*D^2 +O(x^(2*N+1))); C = 1 + intformal(S*D^2); D = 1 + k^2*intformal(S*C*D));}
for(n=0,N, for(j=0,n, print1( (2*n+1)!*polcoeff(polcoeff(S,2*n+1,x),2*j,k),", ")) ;print(""))

Formula

E.g.f. S = S(x,k) = Sum_{n>=0} Sum_{j=0..n} T(n,j) * x^(2*n+1) * k^(2*j) / (2*n+1)!, along with related series C = C(x,k) and D = D(x,k), satisfies:
(1a) S = Integral C*D^2 dx.
(1b) C = 1 + Integral S*D^2 dx.
(1c) D = 1 + k^2 * Integral S*C*D dx.
(2a) C^2 - S^2 = 1.
(2b) D^2 - k^2*S^2 = 1.
(3a) C + S = exp( Integral D^2 dx ).
(3b) D + k*S = exp( k * Integral C*D dx ).
(4a) S = sinh( Integral D^2 dx ).
(4b) S = sinh( k * Integral C*D dx ) / k.
(4c) C = cosh( Integral D^2 dx ).
(4d) D = cosh( k * Integral C*D dx ).
(5a) d/dx S = C*D^2.
(5b) d/dx C = S*D^2.
(5c) d/dx D = k^2 * S*C*D.
From Paul D. Hanna, Mar 31 2019, Apr 20 2019 (Start):
Given sn(x,k), cn(x,k), and dn(x,k) are Jacobi elliptic functions, with i^2 = -1, k' = sqrt(1-k^2), then
(6a) S = -i * sn( i * Integral D dx, k),
(6b) C = cn( i * Integral D dx, k),
(6c) D = dn( i * Integral D dx, k).
(7a) S = sc( Integral D dx, k') = sn(Integral D dx, k')/cn(Integral D dx, k'),
(7b) C = nc( Integral D dx, k') = 1/cn(Integral D dx, k'),
(7c) D = dc( Integral D dx, k') = dn(Integral D dx, k')/cn(Integral D dx, k'). (End)
Row sums equal (2*n+1)!*(2*n)!/(n!^2*4^n) = A079484(n), the product of two consecutive odd double factorials.
Main diagonal equals A000182, the tangent numbers.

A325221 E.g.f.: C(x,k) = cn( i * Integral C(x,k) dx, k), where C(x,k) = Sum_{n>=0} Sum_{j=0..n} T(n,j) * x^(2*n)*k^(2*j)/(2*n)!, as a triangle of coefficients T(n,j) read by rows.

Original entry on oeis.org

1, 1, 0, 5, 4, 0, 61, 148, 16, 0, 1385, 6744, 2832, 64, 0, 50521, 410456, 383856, 47936, 256, 0, 2702765, 32947964, 54480944, 17142784, 780544, 1024, 0, 199360981, 3402510924, 8760740640, 5199585280, 686711040, 12555264, 4096, 0, 19391512145, 441239943664, 1632067372896, 1569971730560, 419867864320, 26090711040, 201199616, 16384, 0, 2404879675441, 70347660061552, 353538702361888, 502094919789184, 227204970315520, 30892394850304, 965223559168, 3220652032, 65536, 0
Offset: 0

Views

Author

Paul D. Hanna, Apr 13 2019

Keywords

Comments

Equals a row reversal of triangle A322232.
Compare to cn(x,k) = 1 - Integral sn(x,k)*dn(x,k) dx, where sn(x,k), cn(x,k), and dn(x,k) are Jacobi elliptic functions (see triangle A060627).

Examples

			E.g.f.: C(x,k) = 1 + x^2/2! + (5 + 4*k^2)*x^4/4! + (61 + 148*k^2 + 16*k^4)*x^6/6! + (1385 + 6744*k^2 + 2832*k^4 + 64*k^6)*x^8/8! + (50521 + 410456*k^2 + 383856*k^4 + 47936*k^6 + 256*k^8)*x^10/10! + (2702765 + 32947964*k^2 + 54480944*k^4 + 17142784*k^6 + 780544*k^8 + 1024*k^10)*x^12/12! + (199360981 + 3402510924*k^2 + 8760740640*k^4 + 5199585280*k^6 + 686711040*k^8 + 12555264*k^10 + 4096*k^12)*x^14/14! + ...
such that C(x,k) = cn( i * Integral C(x,k) dx, k).
This triangle of coefficients T(n,j) of x^(2*n)*k^(2*j)/(2*n)! in e.g.f. C(x,k) begins:
1;
1, 0;
5, 4, 0;
61, 148, 16, 0;
1385, 6744, 2832, 64, 0;
50521, 410456, 383856, 47936, 256, 0;
2702765, 32947964, 54480944, 17142784, 780544, 1024, 0;
199360981, 3402510924, 8760740640, 5199585280, 686711040, 12555264, 4096, 0;
19391512145, 441239943664, 1632067372896, 1569971730560, 419867864320, 26090711040, 201199616, 16384, 0;
2404879675441, 70347660061552, 353538702361888, 502094919789184, 227204970315520, 30892394850304, 965223559168, 3220652032, 65536, 0; ...
RELATED SERIES.
The related series S(x,k), where C(x,k)^2 - S(x,k)^2 = 1, starts
S(x,k) = x + (2 + 1*k^2)*x^3/3! + (16 + 28*k^2 + 1*k^4)*x^5/5! + (272 + 1032*k^2 + 270*k^4 + 1*k^6)*x^7/7! + (7936 + 52736*k^2 + 36096*k^4 + 2456*k^6 + 1*k^8)*x^9/9! + (353792 + 3646208*k^2 + 4766048*k^4 + 1035088*k^6 + 22138*k^8 + 1*k^10)*x^11/11! + (22368256 + 330545664*k^2 + 704357760*k^4 + 319830400*k^6 + 27426960*k^8 + 199284*k^10 + 1*k^12)*x^13/13! + (1903757312 + 38188155904*k^2 + 120536980224*k^4 + 93989648000*k^6 + 18598875760*k^8 + 702812568*k^10 + 1793606*k^12 + 1*k^14)*x^15/15! + ...
The related series D(x,k), where D(x,k)^2 - k^2*S(x,k)^2 = 1, starts
D(x,k) = 1 + k^2*x^2/2! + (8*k^2 + 1*k^4)*x^4/4! + (136*k^2 + 88*k^4 + 1*k^6)*x^6/6! + (3968*k^2 + 6240*k^4 + 816*k^6 + 1*k^8)*x^8/8! + (176896*k^2 + 513536*k^4 + 195216*k^6 + 7376*k^8 + 1*k^10)*x^10/10! + (11184128*k^2 + 51880064*k^4 + 39572864*k^6 + 5352544*k^8 + 66424*k^10 + 1*k^12)*x^12/12! + (951878656*k^2 + 6453433344*k^4 + 8258202240*k^6 + 2458228480*k^8 + 139127640*k^10 + 597864*k^12 + 1*k^14)*x^14/14! + ...

Crossrefs

Cf. A325220 (S), A325222(D).
Cf. A322232 (row reversal).

Programs

  • PARI
    N=10;
{S=x; C=1; D=1; for(i=1, 2*N, S = intformal(C^2*D +O(x^(2*N+1))); C = 1 + intformal(S*C*D); D = 1 + k^2*intformal(S*C^2)); }
{T(n,j) = (2*n)!*polcoeff(polcoeff(C, 2*n, x), 2*j, k)}
for(n=0, N, for(j=0, n, print1( T(n,j), ", ")) ; print(""))

Formula

E.g.f. C = C(x,k) = Sum_{n>=0} Sum_{j=0..n} T(n,j) * x^(2*n)*k^(2*j)/(2*n)!, along with related series S = S(x,k) and D = D(x,k), satisfies:
(1a) S = Integral C^2*D dx.
(1b) C = 1 + Integral S*C*D dx.
(1c) D = 1 + k^2 * Integral S*C^2 dx.
(2a) C^2 - S^2 = 1.
(2b) D^2 - k^2*S^2 = 1.
(3a) C + S = exp( Integral C*D dx ).
(3b) D + k*S = exp( k * Integral C^2 dx ).
(4a) S = sinh( Integral C*D dx ).
(4b) S = sinh( k * Integral C^2 dx ) / k.
(4c) C = cosh( Integral C*D dx ).
(4d) D = cosh( k * Integral C^2 dx ).
(5a) d/dx S = C^2*D.
(5b) d/dx C = S*C*D.
(5c) d/dx D = k^2 * S*C^2.
Given sn(x,k), cn(x,k), and dn(x,k) are Jacobi elliptic functions, with i^2 = -1, k' = sqrt(1-k^2), then
(6a) S = -i * sn( i * Integral C dx, k),
(6b) C = cn( i * Integral C dx, k),
(6c) D = dn( i * Integral C dx, k).
(7a) S = sc( Integral C dx, k') = sn(Integral C dx, k')/cn(Integral C dx, k'),
(7b) C = nc( Integral C dx, k') = 1/cn(Integral C dx, k'),
(7c) D = dc( Integral C dx, k') = dn(Integral C dx, k')/cn(Integral C dx, k').
Row sums equal ( (2*n)!/(n!*2^n) )^2 = A001818(n), the squares of the odd double factorials.
Column T(n,0) = A000364(n), for n>=0, where A000364 is the secant numbers.

A325222 E.g.f.: D(x,k) = dn( i * Integral C(x,k) dx, k) such that C(x,k) = cn( i * Integral C(x,k) dx, k), where D(x,k) = Sum_{n>=0} Sum_{j=0..n} T(n,j) * x^(2*n)*k^(2*j)/(2*n)!, as a triangle of coefficients T(n,j) read by rows.

Original entry on oeis.org

1, 0, 1, 0, 8, 1, 0, 136, 88, 1, 0, 3968, 6240, 816, 1, 0, 176896, 513536, 195216, 7376, 1, 0, 11184128, 51880064, 39572864, 5352544, 66424, 1, 0, 951878656, 6453433344, 8258202240, 2458228480, 139127640, 597864, 1, 0, 104932671488, 978593947648, 1889844670464, 994697838080, 137220256000, 3535586112, 5380832, 1, 0, 14544442556416, 178568645312512, 485265505927168, 398800479698944, 102950036177920, 7233820923904, 88992306208, 48427552, 1
Offset: 0

Views

Author

Paul D. Hanna, Apr 13 2019

Keywords

Comments

Equals a row reversal of triangle A322231.
Compare to dn(x,k) = 1 - k^2 * Integral sn(x,k)*cn(x,k) dx, where sn(x,k), cn(x,k), and dn(x,k) are Jacobi elliptic functions.

Examples

			E.g.f.: D(x,k) = 1 + k^2*x^2/2! + (8*k^2 + 1*k^4)*x^4/4! + (136*k^2 + 88*k^4 + 1*k^6)*x^6/6! + (3968*k^2 + 6240*k^4 + 816*k^6 + 1*k^8)*x^8/8! + (176896*k^2 + 513536*k^4 + 195216*k^6 + 7376*k^8 + 1*k^10)*x^10/10! + (11184128*k^2 + 51880064*k^4 + 39572864*k^6 + 5352544*k^8 + 66424*k^10 + 1*k^12)*x^12/12! + (951878656*k^2 + 6453433344*k^4 + 8258202240*k^6 + 2458228480*k^8 + 139127640*k^10 + 597864*k^12 + 1*k^14)*x^14/14! + ...
such that D(x,k) = dn( i * Integral C(x,k) dx, k) where C(x,k) = cn( i * Integral C(x,k) dx, k).
This triangle of coefficients T(n,j) of x^(2*n)*k^(2*j)/(2*n)! in e.g.f. D(x,k) begins:
1;
0, 1;
0, 8, 1;
0, 136, 88, 1;
0, 3968, 6240, 816, 1;
0, 176896, 513536, 195216, 7376, 1;
0, 11184128, 51880064, 39572864, 5352544, 66424, 1;
0, 951878656, 6453433344, 8258202240, 2458228480, 139127640, 597864, 1;
0, 104932671488, 978593947648, 1889844670464, 994697838080, 137220256000, 3535586112, 5380832, 1;
0, 14544442556416, 178568645312512, 485265505927168, 398800479698944, 102950036177920, 7233820923904, 88992306208, 48427552, 1; ...
RELATED SERIES.
The related series S(x,k), where D(x,k)^2 - k^2*S(x,k)^2 = 1, starts
S(x,k) = x + (2 + 1*k^2)*x^3/3! + (16 + 28*k^2 + 1*k^4)*x^5/5! + (272 + 1032*k^2 + 270*k^4 + 1*k^6)*x^7/7! + (7936 + 52736*k^2 + 36096*k^4 + 2456*k^6 + 1*k^8)*x^9/9! + (353792 + 3646208*k^2 + 4766048*k^4 + 1035088*k^6 + 22138*k^8 + 1*k^10)*x^11/11! + (22368256 + 330545664*k^2 + 704357760*k^4 + 319830400*k^6 + 27426960*k^8 + 199284*k^10 + 1*k^12)*x^13/13! + (1903757312 + 38188155904*k^2 + 120536980224*k^4 + 93989648000*k^6 + 18598875760*k^8 + 702812568*k^10 + 1793606*k^12 + 1*k^14)*x^15/15! + ...
The related series C(x,k), where C(x,k)^2 - S(x,k)^2 = 1, starts
C(x,k) = 1 + x^2/2! + (5 + 4*k^2)*x^4/4! + (61 + 148*k^2 + 16*k^4)*x^6/6! + (1385 + 6744*k^2 + 2832*k^4 + 64*k^6)*x^8/8! + (50521 + 410456*k^2 + 383856*k^4 + 47936*k^6 + 256*k^8)*x^10/10! + (2702765 + 32947964*k^2 + 54480944*k^4 + 17142784*k^6 + 780544*k^8 + 1024*k^10)*x^12/12! + (199360981 + 3402510924*k^2 + 8760740640*k^4 + 5199585280*k^6 + 686711040*k^8 + 12555264*k^10 + 4096*k^12)*x^14/14! + ...
which also satisfies C(x,k) = cn( i * Integral C(x,k) dx, k).

Crossrefs

Cf. A325220 (S), A325221(C).
Cf. A322231 (row reversal).

Programs

  • PARI
    N=10;
{S=x; C=1; D=1; for(i=1, 2*N, S = intformal(C^2*D +O(x^(2*N+1))); C = 1 + intformal(S*C*D); D = 1 + k^2*intformal(S*C^2)); }
{T(n,j) = (2*n)!*polcoeff(polcoeff(D, 2*n, x), 2*j, k)}
for(n=0, N, for(j=0, n, print1( T(n,j), ", ")) ; print(""))

Formula

E.g.f. D = D(x,k) = Sum_{n>=0} Sum_{j=0..n} T(n,j) * x^(2*n)*k^(2*j)/(2*n)!, along with related series S = S(x,k) and C = C(x,k), satisfies:
(1a) S = Integral C^2*D dx.
(1b) C = 1 + Integral S*C*D dx.
(1c) D = 1 + k^2 * Integral S*C^2 dx.
(2a) C^2 - S^2 = 1.
(2b) D^2 - k^2*S^2 = 1.
(3a) C + S = exp( Integral C*D dx ).
(3b) D + k*S = exp( k * Integral C^2 dx ).
(4a) S = sinh( Integral C*D dx ).
(4b) S = sinh( k * Integral C^2 dx ) / k.
(4c) C = cosh( Integral C*D dx ).
(4d) D = cosh( k * Integral C^2 dx ).
(5a) d/dx S = C^2*D.
(5b) d/dx C = S*C*D.
(5c) d/dx D = k^2 * S*C^2.
Given sn(x,k), cn(x,k), and dn(x,k) are Jacobi elliptic functions, with i^2 = -1, k' = sqrt(1-k^2), then
(6a) S = -i * sn( i * Integral C dx, k),
(6b) C = cn( i * Integral C dx, k),
(6c) D = dn( i * Integral C dx, k).
(7a) S = sc( Integral C dx, k') = sn(Integral C dx, k')/cn(Integral C dx, k'),
(7b) C = nc( Integral C dx, k') = 1/cn(Integral C dx, k'),
(7c) D = dc( Integral C dx, k') = dn(Integral C dx, k')/cn(Integral C dx, k').
Row sums equal ( (2*n)!/(n!*2^n) )^2 = A001818(n), the squares of the odd double factorials.
Column T(n,n+1) = 2^n*A002105(n+1), for n>=0, where A002105 gives the reduced tangent numbers.
Showing 1-4 of 4 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.