login
This site is supported by donations to The OEIS Foundation.
Logo

Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A133932 Coefficients of a partition transform for Lagrange inversion of -ln(1 - u(.)*t), complementary to A134685 for an e.g.f.. 3
1, -1, 3, -2, -15, 20, -6, 105, -210, 90, 40, -24, -945, 2520, -1120, -1260, 504, 420, -120 (list; graph; refs; listen; history; internal format)
OFFSET

1,3

COMMENTS

Let f(t) = -ln(1 - u(.)*t) = sum(n=1,2,...) (u_n / n) * t^n .

If u_1 is not equal to 0, then the compositional inverse for f(t) is given by g(t) = sum(j=1,...) P(n,t) where, with u_n denoted by (n'),

P(1,t) = (1')^(-1) * [ 1 ] * t

P(2,t) = (1')^(-3) * [ -1 (2') ] * t^2 / 2!

P(3,t) = (1')^(-5) * [ 3 (2')^2 - 2 (1')(3') ] * t^3 / 3!

P(4,t) = (1')^(-7) * [ -15 (2')^3 + 20 (1')(2')(3') - 6 (1')^2 (4') ] * t^4 / 4!

P(5,t) = (1')^(-9) * [ 105 (2')^4 - 210 (1') (2')^2 (3') + 90 (1')^2 (2') (4') + 40 (1')^2 (3')^2 - 24 (1')^3 (5') ] * t^5 / 5!

P(6,t) = (1')^(-11) * [ -945 (2')^5 + 2520 (1') (2')^3 (3') - 1120 (1')^2 (2') (3')^2 - 1260 (1')^2 (2')^2 (4') + 504 (1')^3 (2')(5') + 420 (1')^3 (3')(4') - 120 (1')^4 (6') ] * t^6 / 6!

...

See A134685 for more information.

LINKS

T. Copeland, Lagrange a la Lah

FORMULA

The bracketed partitions of P(n,t) are of the form (u_1)^e(1) (u_2)^e(2) ... (u_n)^e(n) with coefficients given by (-1)^(n-1+e(1)) * [2*(n-1)-e(1)]! / [ 2^e(2) (e(2))! * 3^e(3) (e(3))! * ... n^e(n) * (e(n))! ] .

Contribution from Tom Copeland, Sep 06 2011: (Start)

Let h(t) = 1/(df(t)/dt)

  = 1/Ev[u./(1-u.t)]

  = 1/((u_1)+(u_2)*t+(u_3)*t^2+(u_4)*t^3+...),

  where Ev denotes umbral evaluation.

  Then for the partition polynomials of A133932,

  n!*P(n,t) = ((t*h(y)*d/dy)^n) y evaluated at y=0,

  and the compositional inverse of f(t) is

  g(t) = exp(t*h(y)*d/dy) y evaluated at y=0.

  Also, dg(t)/dt = h(g(t)). (End)

Contribution from Tom Copeland, Oct 20 2011: (Start)

With exp[x* PS(.,t)] = exp[t*g(x)]=exp[x*h(y)d/dy] exp(t*y) eval. at y=0, the raising/creation and lowering/annihilation operators

defined by R PS(n,t)=PS(n+1,t) and L PS(n,t)= n*PS(n-1,t) are

R = t*h(d/dt) = t*  1/[(u_1)+(u_2)*d/dt+(u_3)*(d/dt)^2+...],  and

L =f(d/dt)=(u_1)*d/dt+(u_2)*(d/dt)^2/2+(u_3)*(d/dt)^3/3+....

Then  P(n,t) = (t^n/n!) dPS(n,z)/dz  eval. at z=0. (Cf. A139605, A145271, and link therein to Mathemagical Forests for relation to planted trees on p. 13.) (End)

CROSSREFS

Cf. A145271 (A111999, A007318) = (reduced array, associated g(x)).

Sequence in context: A199167 A185973 A051917 * A111999 A190961 A126323

Adjacent sequences:  A133929 A133930 A133931 * A133933 A133934 A133935

KEYWORD

sign

AUTHOR

Tom Copeland (tcjpn(AT)msn.com), Jan 27 2008

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
Recent Additions | More pages | Superseeker | Maintained by The OEIS Foundation Inc.

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

Last modified February 17 16:00 EST 2012. Contains 206050 sequences.