[A000179]
James Propp
propp at math.wisc.edu
Mon Feb 17 00:21:56 CET 2003
>It doesn't seem right that a combinatorial sequence should include
>a negative number.
I agree, it does seem strange!
On a purely algebraic level, we might try to find the "right" way to
extend A000179 so that the sequence, viewed as a function, has all of
Z as its domain. If we assume that the relation
(n-2)*a(n) = (n^2-2*n)*a(n-1) + n*a(n-2) - 4*(-1)^n
holds for all integers n, then the facts that a(3) = 1 and a(2) = 0 force us
to conclude that a(1) = -1, a(0) = 2, and a(-1) = -1. Working farther back,
we find that the value of a(-2) cannot be deduced, but that a(-3), a(-4),
etc. can all recovered from a(-2). If we put x = a(-2), we get
a(-2)=x
a(-3)=3*x+1
a(-4)=14*x+2
a(-5)=75*x+13
a(-6)=471*x+80
a(-7)=3402*x+579
etc.
Note that the choice x=0 gives us the original sequence A000179 in reverse.
So one natural way to extend the definition of a(n) is to put a(-n)=a(n)
for all n<0. I have no idea what sort of combinatorial interpretation would
be appropriate, though, or what might constitute a combinatorial "story" to
explain the functional equation.
Jim Propp
More information about the SeqFan
mailing list