2
$\begingroup$

Having read on Wikipedia about generating functions, I still don't understand what I can do with a generating function.

For example, if I want to compute the first spread polynomial, how can I do that from a generating function, such as these (taken from the Wikipedia article):

$$ \sum_{n=1}^\infty S_n(s)x^n = {sx(1+x) \over (1-x)^3 + 4sx(1-x)}. $$

An exponential one:

$$ \sum_{n=1}^\infty {S_n(s)\over n!} x^n = {1 \over 2} e^x \left [ 1-e^{-2sx} \cos\left (2x \sqrt{s(1-s)}\right )\right ] $$

  • 3
    Who confronts you with GF like this without giving you the background? -.-2010-11-13
  • 0
    @Raphael: I would guess that it comes from Wikipedia: http://en.wikipedia.org/wiki/Spread_polynomials#Generating_functions2010-11-13
  • 0
    In general, you can't always find an explicit formula from a generating function. That's one thing that makes generating functions more useful than explicit formulas.2010-11-13
  • 0
    @ Raphael: It was just my curiosity2010-11-13
  • 0
    Ah, ok. Well, as Qiaochu says, getting coefficients from a GF can be very hard. It is often relatively easy to find asymptotics, though, e.g. via Residue Theorem and methods to find asymptotics for complex integrals, e.g. method of steepest descent.2010-11-14

3 Answers 3

5

If you know what Taylor expansion is, then you should know that $S_n(s)$ in e.g.f. is just its $n$th derivative at zero. For the ordinary g.f., it's almost the same, except that you have to divide the derivative by $n!$.

Anyway, if you want to do more with g.f. than this, I strongly advise you to at least look at this wikipedia page and perhaps even into the generatingfunctionology book, which in my opinion does a pretty good job of introducing g.f. to a beginner.

  • 0
    Thank you, I downloaded the book!2010-11-13
  • 0
    The reader of this answer may not know what a Taylor expansion is2018-03-24
2

HINT $\quad\quad $ With $\rm\ \ \alpha\ =\ 1 - 2\ s + 2\ \sqrt{s^2 - s}\ \ $ we have

$$ \rm \frac{s\ x\ (1+x)}{(1-x)^3 + 4\ s\ x\ (1-x)}\ =\ \frac{\alpha}{4\ (x-\alpha)} + \frac{\alpha'}{4\ (x-\alpha')} - \frac{1}{2\ (x-1)} $$

1

Here it's easier to work with the exponential generating function. You just need to find the Taylor series of each term on the RHS. You already know the Taylor series of one term. To find the Taylor series of the other term, use the fact that $\cos t = \frac{e^{it} + e^{-it}}{2}$.