关于生成函数, 以下直接引用 wiki 百科上的介绍:

In mathematics, a generating function is a way of encoding an infinite sequence of numbers ($a_n$) by treating them as the coefficients of a formal power series. This series is called the generating function of the sequence.

Unlike an ordinary series, the formal power series is not required to converge: in fact, the generating function is not actually regarded as a function, and the “variable” remains an indeterminate. Generating functions were first introduced by Abraham de Moivre in 1730, in order to solve the general linear recurrence problem. One can generalize to formal power series in more than one indeterminate, to encode information about infinite multi-dimensional arrays of numbers.

正如这段介绍中所说, 生成函数就是描述数列的另一种不同的方法而已, 这种方法将整个序列视作了一个对象进行考虑, 更具体的说, 就是个幂级数, 其系数有着某些特定含义.

作为一篇小品, 本文只简单介绍一下生成函数定义, 并利用该方法研究斐波那契数列.

在复分析中的几何理论中, 有一个有趣而且重要的主题, 即共形映射. 其中有一类很自然的解析函数类——分式线性变换.

考虑以下有理函数

$$f(z) = \frac{az+b}{cz+d}$$

其中，$a,b,c,d$ 均为复数. 要使得以上函数具有良好的定义, 很自然, 需要要求 $c,d$ 不能同时为 $0$; 另一方面, 为了保证函数不会退化成常数函数, 则需要满足 $a/c \neq b/d$.

综合来说, 当以上有理函数满足 $ad-bc\neq 0$ 时, 我们称之为一个分式线性变换. 我们都知道:

• 分式线性变换的复合还是一个分式线性变换变换.
• 任何分式线性变换都可以表示为三种简单变换的复合, 即:平移、旋转、反演的复合.

关于分式线性变换的很多性质, 留到谈共形映射时再谈. 以下提供一个有意思的视角, 也许能帮助我们更容易的认识分式线性变换.