%I #42 Apr 08 2021 08:13:44
%S 1,-1,3,-27,441,-11529,442827,-23444883,1636819569,-145703137041,
%T 16106380394643,-2164638920874507,347592265948756521,
%U -65724760945840254489,14454276753061349098587
%N E.g.f. C(x) satisfies: C(x) = (1 - 2*S(x)^2)^(1/4), where S'(x) = C(x)^3 and C'(x) = -S(x) with C(0)=1.
%C See A104203 for the expansion of the sine lemniscate function sl(x).
%C E.g.f. C(x) is an even function; zero terms are omitted.
%C Radius of convergence is |x| <= r:
%C r = sqrt(2)*(Pi/2)^(3/2)/gamma(3/4)^2 with
%C C(r) = gamma(3/4)^2/(Pi/2)^(3/2) where:
%C r = L/sqrt(2) where L=Lemniscate constant;
%C r = 1.8540746773013719184338503471952600...
%C C(r) = 0.76275976350181318806232598096361579...
%F E.g.f. C(x) satisfies: C(x)^4 + 2*S(x)^2 = 1 where S(x) = Integral [1 - 2*S(x)^2]^(3/4) dx with S(0)=0; Left-shift of the Laplace transform of e.g.f. C(x) equals the Laplace transform of S(x).
%F E.g.f.: Sum_{k>=0} 2^k * a(k) * x^(2*k) / (2*k)! = cos lemn(x) where cos lemn(x) is the cosine lemniscate function of Gauss. - _Michael Somos_, Apr 25 2011
%F O.g.f.: 1/(1 + 1^2*x/(1 + 2^2/2*x/(1 + 3^2*x/(1 + 4^2/2*x/(1 + 5^2*x/(1 + 6^2/2*x/(1 + 7^2*x/(1 + 8^2/2*x/(1+...))))))))) (continued fraction). - _Paul D. Hanna_, Jul 29 2011
%F a(n) = (-1)^floor(n/2) * A193544(n) = (-1)^ceiling(n/2) * A193544(n) = -A159601(n). - _M. F. Hasler_, Aug 31 2012
%F G.f.: 1/Q(0) where p=1/2, Q(k) = 1 + x*(2*k+1)^2/( 1 + p*x*(2*k+2)^2/Q(k+1) ); (continued fraction due to Stieltjes T.J.). - _Sergei N. Gladkovskii_, Mar 22 2013
%F From _Paul D. Hanna_, Jun 02 2015: (Start)
%F E.g.f. C(x) satisfies:
%F (1) C(x) = exp( Integral C(x) * Integral -1/C(x)^3 dx dx ).
%F (2) C(x) = exp( Integral -1/C(x) * Integral C(x)^3 dx dx ).
%F (End)
%F G.f.: 1 / (1 + b(1)*x / (1 + b(2)*x / (1 + b(3)*x / ... ))) where b = A129194. - _Michael Somos_, Jan 03 2013
%e E.g.f.: C(x) = 1 - x^2/2! + 3*x^4/4! - 27*x^6/6! + 441*x^8/8! -+ ...
%e C(x)^2 = 1 - 2*x^2/2! + 12*x^4/4! - 144*x^6/6! + 3024*x^8/8! -+ ...
%e C(x)^3 = 1 - 3*x^2/2! + 27*x^4/4! - 441*x^6/6! + 11529*x^8/8! -+ ...
%e C(x)^4 = 1 - 4*x^2/2! + 48*x^4/4! - 1008*x^6/6! + 32256*x^8/8! -+ ...
%e C(x)^4 + 2*S(x)^2 = 1 where:
%e S(x) = x - 3*x^3/3! + 27*x^5/5! - 441*x^7/7! + 11529*x^9/9! + ...
%e S(x)^2 = 2*x^2/2! - 24*x^4/4! + 504*x^6/6! - 16128*x^8/8! +-...
%e From _Paul D. Hanna_, Jul 29 2011: (Start)
%e O.g.f.: 1 - x + 3*x^2 - 27*x^3 + 441*x^4 - 11529*x^5 + 442827*x^6 -+ ... + a(n)*x^n + ...
%e O.g.f.: 1/(1 + x/(1 + 2*x/(1 + 9*x/(1 + 8*x/(1 + 25*x/(1 + 18*x/(1 + 49*x/(1 + 32*x/(1-...))))))))) (continued fraction). (End)
%t a[ n_] := If[ n < 0, 0, With[ {m = 2 n}, m! SeriesCoefficient[ JacobiCN[ x, 1/2], {x, 0, m}]]]; (* _Michael Somos_, Apr 25 2011 *)
%t a[ n_] := If[ n < 0, 0, With[ {m = 2 n}, With[ {s = InverseSeries[ Integrate[ Series[(1 - x^4 / 4) ^ (-1/2), {x, 0, m + 1}], x]]}, m! SeriesCoefficient[ Sqrt[ (2 - s^2) / (2 + s^2)], {x, 0, m}]]]]; (* _Michael Somos_, Apr 25 2011 *)
%o (PARI) {a(n)=local(S=x,C);for(i=0,2*n,S=intformal((1-2*S^2+O(x^(2*n+2)))^(3/4))); C=(1-2*S^2)^(1/4) ;(2*n)!*polcoeff(C,2*n)}
%o (PARI) {a(n) = my(A, m); if( n<0, 0, m = 2*n; A = serreverse( intformal( (1 - x^4 / 4 + x * O(x^m)) ^ (-1/2))); m! * polcoeff( sqrt( (2 - A^2) / (2 + A^2)), m))}; /* _Michael Somos_, Apr 25 2011 */
%o (PARI) {a(n) = local(C=1+x); for(i=1,n, C = exp( intformal( C * intformal(-1/C^3 + x*O(x^n)) ) ) ); n!*polcoeff(C,n)}
%o for(n=0,20,print1(a(2*n),", "))
%o (PARI) {a(n) = local(C=1+x); for(i=1,n, C = exp( intformal( -1/C * intformal(C^3 + x*O(x^n)) ) ) ); n!*polcoeff(C,n)}
%o for(n=0,20,print1(a(2*n),", "))
%Y Cf. A159601 (S(x)); A193541, A193544: All of these have the same |a(n)|. - _M. F. Hasler_, Aug 31 2012
%Y Cf. A129194.
%K sign
%O 0,3
%A _Paul D. Hanna_, May 07 2009
|