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.

A009775 Exponential generating function is tanh(log(1+x)).

This page as a plain text file.
%I A009775 #35 Sep 16 2017 03:37:27
%S A009775 0,1,-1,0,6,-30,90,0,-2520,22680,-113400,0,7484400,-97297200,
%T A009775 681080400,0,-81729648000,1389404016000,-12504636144000,0,
%U A009775 2375880867360000,-49893498214560000,548828480360160000,0,-151476660579404160000
%N A009775 Exponential generating function is tanh(log(1+x)).
%H A009775 Brandon Humpert and Jeremy L. Martin, <a href="https://dmtcs.episciences.org/2930/">The Incidence Hopf Algebra of Graphs</a>, DMTCS Proceedings vol. AO, 23rd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2011), pp. 517-526. [See Example 3.4]
%F A009775 a(0) = 0, a(4n+3) = 0, a(n) = (-1)^[n == 2, 5, 8 mod 8] * n!/2^floor(n/2). - _Ralf Stephan_, Mar 06 2004
%F A009775 From _Peter Bala_, Nov 25 2011: (Start)
%F A009775 (1): a(n) = i*n!/2^(n+1)*{(i-1)^(n+1)-(-1-i)^(n+1)} for n>=1.
%F A009775 The function tanh(log(1+x)) is a disguised form of the rational function (x^2+2*x)/(x^2+2*x+2). Observe that
%F A009775 (2): (x^2+2*x)/(x^2+2*x+2) = d/dx[x - atan((x^2+2*x)/(2*x+2))].
%F A009775 Hence, with an offset of 1, the egf for this sequence is
%F A009775 (3): x - atan((x^2+2*x)/(2*x+2)) = x^2/2! - x^3/3! + 6*x^5/5!- 30*x^6/6! + 90*x^7/7! - ....
%F A009775 This sequence is closely related to the series reversion of the function E(x)-1, where E(x) = sec(x)+tan(x) is the egf for the sequence of zigzag numbers A000111. Under the change of variable x -> sec(x)+tan(x)-1 the rational function (x^2+2*x)/(2*x+2) transforms to tan(x). Hence atan((x^2+2*x)/(2*x+2)) is the inverse function of sec(x)+tan(x)-1.
%F A009775 Recurrence relation:
%F A009775 (4): 2*a(n)+2*n*a(n-1)+n*(n-1)*a(n-2) = 0 with a(1) = 1, a(2) = -1.
%F A009775 (End)
%o A009775 (PARI) A009775(n)=polcoeff(tanh(log(1+x+O(x^n)*x)),n)*n!  \\ _M. F. Hasler_, Oct 10 2012
%Y A009775 Cf. A052277, A007019, A046979, A007415, A007452, A092820, A217260.
%K A009775 sign,easy
%O A009775 0,5
%A A009775 _R. H. Hardin_
%E A009775 Extended with signs by _Olivier Gérard_, Mar 15 1997