生成函數(解析)

設想你有一個無窮數列 a_0、a_1、a_2、……——比如某物在每個尺寸上的計數。生成函數把整個數列打包成單一對象:讓這些數充當一個冪級數的係數。這就像把數列掛在 x 的冪構成的曬衣繩上,使整個數列變成一個你可以操作的解析函數。

數列 (a_n) 的普通生成函數是冪級數 G(x) = sum_{n=0}^無窮 a_n x^n。當該級數有正的收斂半徑時,G 是一個名副其實的解析函數,而對函數的運算恰好對應於對數列的運算:兩個生成函數相乘對應於數列的捲積(柯西乘積),求導則平移並縮放指標,如此等等。G 的閉式表達式於是編碼了關於 a_n 的事實。

解析視角帶來超越純形式記帳的真正威力。由於 G 是解析的,它的奇點——最近的爆破點——透過收斂半徑以及更精細的漸近分析掌控著係數 a_n 的增長率。一點誠實的告誡:生成函數有時純作形式使用,僅當記帳工具而不主張任何收斂性;解析理論恰恰適用於級數在 0 附近確實收斂的情形。