Lesson plan

Generating function transformation

In mathematics a transformation of a sequence's generating function provides a method of converting the generating function for one sequence into a generating function enumerating another. These transformations typically involve integral formulas applied to a sequence generating function (see integral transformations) or weighted sums over the higher-order derivatives of these functions (see derivative transformations). Given a sequence, \{f_n\}_{n=0}^{\infty} , the ordinary generating function (OGF) of the sequence, denoted F(z) , and the exponential generating function (EGF) of the sequence, denoted \widehat{F}(z) , are defined by the formal power series: : F(z) = \sum_{n=0}^\infty f_n z^n = f_0 + f_1 z + f_2 z^2 + \cdots : \widehat{F}(z) = \sum_{n=0}^\infty \frac{f_n}{n!} z^n = \frac{f_0}{0!} + \frac{f_1}{1!} z + \frac{f_2}{2!} z^2 + \cdots. In this article, we use the convention that the ordinary (exponential) generating function for a sequence \{f_n\} is denoted by the uppercase function F(z) / \widehat{F}(z) for some fixed or formal z when the context of this notation is clear. Additionally, we use the bracket notation for coefficient extraction from the Concrete Mathematics reference which is given by [z^n]F(z) := f_n . The main article gives examples of generating functions for many sequences.…

Back to article

Article summary

In mathematics a transformation of a sequence's generating function provides a method of converting the generating function for one sequence into a generating function enumerating another. These transformations typically involve integral formulas applied to a sequence generating function (see integral transformations) or weighted sums over the higher-order derivatives of these functions (see derivative transformations). Given a sequence, \{f_n\}_{n=0}^{\infty} , the ordinary generating function (OGF) of the sequence, denoted F(z) , and the exponential generating function (EGF) of the sequence, denoted \widehat{F}(z) , are defined by the formal power series: : F(z) = \sum_{n=0}^\infty f_n z^n = f_0 + f_1 z + f_2 z^2 + \cdots : \widehat{F}(z) = \sum_{n=0}^\infty \frac{f_n}{n!} z^n = \frac{f_0}{0!} + \frac{f_1}{1!} z + \frac{f_2}{2!} z^2 + \cdots. In this article, we use the convention that the ordinary (exponential) generating function for a sequence \{f_n\} is denoted by the uppercase function F(z) / \widehat{F}(z) for some fixed or formal z when the context of this notation is clear. Additionally, we use the bracket notation for coefficient extraction from the Concrete Mathematics reference which is given by [z^n]F(z) := f_n . The main article gives examples of generating functions for many sequences.…

Key claims

No claims recorded.

Discussion questions

  1. Summarise the article in your own words. Which single claim would you verify first, and why?
  2. Which claim in this article is most likely to be revised as the sources update? How would you check its current status?
  3. If two sources disagreed about one of these facts, what would you need in order to trust one over the other?

Bibliography

No sources recorded.

Key claims and bibliography are generated from the same tracked claims and sources as the article page.