login
Triangle of coefficients in expansion of elliptic function sn(u) in powers of u and k.
21

%I #54 Feb 21 2023 07:33:20

%S 1,1,1,1,14,1,1,135,135,1,1,1228,5478,1228,1,1,11069,165826,165826,

%T 11069,1,1,99642,4494351,13180268,4494351,99642,1,1,896803,116294673,

%U 834687179,834687179,116294673,896803,1,1,8071256,2949965020,47152124264,109645021894,47152124264,2949965020,8071256,1

%N Triangle of coefficients in expansion of elliptic function sn(u) in powers of u and k.

%D CRC Standard Mathematical Tables and Formulae, 30th ed. 1996, p. 526.

%D I. P. Goulden and D. M. Jackson, Combinatorial Enumeration, Wiley, N.Y., 1983, (5.2.24).

%H M. Abramowitz and I. A. Stegun, eds., <a href="http://people.math.sfu.ca/~cbm/aands/toc.htm">Handbook of Mathematical Functions</a>, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972, p. 575, 16.22.1.

%H A. Cayley, <a href="https://newcatalog.library.cornell.edu/catalog/613744">An Elementary Treatise on Elliptic Functions</a> (page images), G. Bell and Sons, London, 1895, p. 56.

%H F. Clarke, <a href="http://www-maths.swan.ac.uk/staff/fwc/Gregynog-slides.pdf">The Taylor Series Coefficients of the Jacobi Elliptic Functions</a>, slides. [broken link]

%H D. Dominici, <a href="http://arxiv.org/abs/math/0501052">Nested derivatives: A simple method for computing series expansions of inverse functions.</a> arXiv:math/0501052v2 [math.CA], 2005.

%H A. Fransen, <a href="http://dx.doi.org/10.1090/S0025-5718-1981-0628708-X">Conjectures on the Taylor series expansion coefficients of the Jacobian elliptic function sn(n,k)</a>, Math. Comp., 37 (1981), 475-497.

%H R. Fricke, <a href="http://dx.doi.org/10.1007/978-3-642-19557-0_8">Die elliptischen Funktionen und ihre Anwendungen, Erster Teil</a>, p. 399 with p. 397.

%H C. L. Mallows, <a href="/A004004/a004004.pdf">Letter to N. J. A. Sloane, May 16 1973</a>

%H J. Tannery and J. Molk, <a href="http://gallica.bnf.fr/ark:/12148/bpt6k99586x/f104.image">Eléments de la Théorie des Fonctions Elliptiques (Vol. 4)</a>, Gauthier-Villars, Paris, 1902, p. 92.

%H G. Viennot, <a href="http://dx.doi.org/10.1016/0097-3165(80)90001-1">Une interprétation combinatoire des coefficients des développements en série entière des fonctions elliptiques de Jacobi</a>, J. Combin. Theory, A 29 (1980), 121-133.

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/JacobiEllipticFunctions.html">Jacobi Elliptic Functions</a>

%F Sum_{n>=0} Sum_{k=0..n} (-1)^n*T(n, k)*y^(2*k)*x^(2*n+1)/(2*n+1)! = JacobiSN(x, y).

%F JacobiSN(x, y) = 1*x + (-1/6 - (1/6)*y^2)*x^3 + (1/120 + (7/60)*y^2 + (1/120)*y^4)*x^5 + (-1/5040 - (3/112)*y^4 - (3/112)*y^2 - (1/5040)*y^6)*x^7 + (1/362880 + (307/90720)*y^6 + (913/60480)*y^4 + (307/90720)*y^2 + (1/362880)*y^8)*x^9 + O(x^11).

%F From _Peter Bala_, Aug 23 2011: (Start)

%F Let f(x) = sqrt((1-x^2)*(1-k^2*x^2)).

%F Define the nested derivative D^n[f](x) by means of the recursion D^0[f](x) = 1 and D^(n+1)[f](x) = d/dx(f(x)*D^n[f](x)) for n >= 0.

%F Then the coefficient polynomial R(2*n+1,k) of u^(2*n+1)/(2*n+1)! is given by R(2*n+1,k) = D^(2*n)[f](0) - apply [Dominici, Theorem 4.1].

%F See A145271 for the coefficients in the expansion of D^n[f](x) in powers of f(x).

%F (End)

%F sn(u|k^2) = Sum_{n>=0} a_n(k^2)*u^(2*n+1)/(2*n+1)!. For the recurrence of the row polynomials a_n(k^2) = Sum_{m=0..n} (-1)^n*T(n, m)*k^(2*m), see the Fricke reference. - _Wolfdieter Lang_, Jul 05 2016

%e sn u = u - (1 + k^2)*u^3/3! + (1 + 14*k^2 + k^4)*u^5/5! - (1 + 135*k^2 + 135*k^4 + k^6)*u^7/7! + ...

%e The triangle T(n, m) begins:

%e n\m 0 1 2 3 4 5 6 7

%e 0: 1

%e 2: 1 1

%e 3: 1 14 1

%e 4: 1 135 135 1

%e 5: 1 1228 5478 1228 1

%e 6: 1 11069 165826 165826 11069 1

%e 7: 1 99642 4494351 13180268 4494351 99642 1

%e 8: 1 896803 116294673 834687179 834687179 116294673 896803 1

%e ... reformatted. - _Wolfdieter Lang_, Jul 05 2016

%p Maple program from Rostislav Kollman (kollman(AT)dynasig.cz), Nov 05 2009: (Start) The program generates an "all in one" triangle of Taylor coefficients of the Jacobi SN,CN,DN functions.

%p "SN ", 1 "CN ", 1 "DN ", 1

%p "SN ", 1, 1 "CN ", 1, 4 "DN ", 4, 1

%p "SN ", 1, 14, 1 "CN ", 1, 44, 16 "DN ", 16, 44, 1

%p "SN ", 1, 135, 135, 1 "CN ", 1, 408, 912, 64 "DN ", 64, 912, 408, 1

%p "SN ", 1, 1228, 5478, 1228, 1 "CN ", 1, 3688, 30768, 15808, 256 "DN ", 256, 15808, 30768, 3688, 1

%p "SN ", 1, 11069, 165826, 165826, 11069, 1 "CN ", 1, 33212, 870640, 1538560, 259328, 1024 "DN ", 1024, 259328, 1538560, 870640, 33212, 1

%p #----------------------------------------------------------------

%p # Taylor series coefficients of Jacobi SN,CN,DN

%p #----------------------------------------------------------------

%p n := 6: g := x: for i from 1 to 2*n do g := simplify(y*z*diff(g,x) + x*z*diff(g,y) + x*y*diff(g,z)); if(type(i,odd))then SN := simplify(sort(subs(z = k,subs(y = 1,subs(x = 0,g)))) / k);

%p # lprint("SN ",SN); lprint("SN ",seq(coeff(SN, k, j),j=0..i-1,2)); else CN := simplify(sort(subs(z = 1,subs(y = 0,subs(x = k,g)))) / k); DN := simplify(sort(subs(z = 0,subs(y = k,subs(x = 1,g)))));

%p # lprint("CN ",CN); # lprint("DN ",DN); lprint("CN ",seq(coeff(CN, k, j),j=0..i-2,2)); lprint("DN ",seq(coeff(DN, k, j),j=2..i,2)); end; end: (End)

%p A060628 := proc(n,m) JacobiSN(z,k) ; coeftayl(%,z=0,2*n+1) ; (-1)^n*coeftayl(%,k=0,2*m)*(2*n+1)! ; end proc: # alternative program, _R. J. Mathar_, Jan 30 2011

%t maxn = 8; se = Series[ JacobiSN[u, m], {u, 0, 2*maxn + 1 }]; cc = Partition[ CoefficientList[se, u], 2][[All, 2]]; Flatten[ (CoefficientList[#, m] & /@ cc)* Table[(-1)^n*(2*n + 1)!, {n, 0, maxn}]] (* _Jean-François Alcover_, Sep 21 2011 *)

%Y Row sums give A000182. Diagonals: A004004, A004005, A002753, A032348, A032427, A032428, A032429, A032430, A032431, A032432, A032433.

%K easy,nonn,tabl,nice

%O 0,5

%A _Vladeta Jovovic_, Apr 13 2001