标签：begin right end 函数 dfrac 笔记 生成 array left
【笔记】普通生成函数
0 前置芝士
0.1 等比数列
因为我不会，所以在这里提一嘴。
\(a_i=a_{i-1}q\Rightarrow a_i=a_1q^{i-1}\)
\(S=\sum\limits_{i=1}^n a_i\Rightarrow qS=\sum\limits_{i=2}^{n+1}a_i=S-a_{n+1}+a_1\)
\(\Rightarrow S=\dfrac{a_1(q^n-1)}{q-1}\)
0.2 泰勒级数
若 \(f\) 在 \(x_0\) 处能被展成多项式的形式，那么有：
\[F(x_0)=\sum_{n=0}^{+\infty}\frac{f^{(n)}(0)}{n!}(x-x_0)^{n}
\]
我们称这个 \(F(x_0)\) 为 \(f\) 在 \(x_0\) 上的泰勒级数。
特别地，\(x_0=0\) 时，称其为 \(f\) 的麦克劳林级数。
泰勒展开，本质就是用一个无限项的多项式去拟合一个函数。
1 定义
本质上她是一种形式的东西。
对于一个数列 \(a_i\)，定义她的 普通生成函数 (OGF) 为一个多项式 \(F(x)\)，满足：
\[F(x)=\sum_{i=0}^{+\infty}f_ix^i
\]
2 封闭形式
生成函数 和 封闭形式 的关系
一个封闭形式成立，当且
这个东西，实际上只有在 \(|x|<1\) 的时候，原多项式才收敛，且值与 封闭形式 相等。
如果只用关心多项式的系数（比如生成函数），封闭形式 可以理解成用有限的初等函数对无限项的多项式的简写。
2.1 常用的封闭形式
\[\begin{array}{ccc}
\text{数列}&\text{生成函数}&\text{封闭形式}&\\
\langle 1,1,1,1, \ldots\rangle & \sum\limits_{k=0}^{+\infty} x^{k} & \dfrac{1}{1-x} \\
\left\langle 1, c, c^{2}, c^{3}, \ldots\right\rangle & \sum\limits_{k=0}^{+\infty} c^{k} x^{k} & \dfrac{1}{1-c x} \\
\left\langle\left(\begin{array}{l}
n \\
0
\end{array}\right),\left(\begin{array}{l}
n \\
1
\end{array}\right),\left(\begin{array}{l}
n \\
2
\end{array}\right), \ldots,\left(\begin{array}{l}
n \\
n
\end{array}\right)\right\rangle & \sum\limits_{k=0}^{n}\left(\begin{array}{l}
n \\
k
\end{array}\right) x^{k} & (1+x)^{n} \\
\left\langle 1, n,\left(\begin{array}{c}
n+1 \\
2
\end{array}\right),\left(\begin{array}{c}
n+2 \\
3
\end{array}\right), \ldots\right\rangle & \sum\limits_{k=0}^{+\infty}\left(\begin{array}{c}
n+k-1 \\
k
\end{array}\right) x^{k} & \dfrac{1}{(1-x)^{n}} \\
\left\langle\left(\begin{array}{l}
0 \\
n
\end{array}\right),\left(\begin{array}{l}
1 \\
n
\end{array}\right),\left(\begin{array}{l}
2 \\
n
\end{array}\right),\left(\begin{array}{l}
3 \\
n
\end{array}\right), \ldots\right\rangle & \sum\limits_{k=0}^{+\infty}\left(\begin{array}{l}
k \\
n
\end{array}\right) x^{k} & \dfrac{x^{n}}{(1-x)^{n+1}} \\
\left\langle\left(\begin{array}{l}
\alpha \\
0
\end{array}\right),\left(\begin{array}{c}
\alpha \\
1
\end{array}\right),\left(\begin{array}{c}
\alpha \\
2
\end{array}\right),\left(\begin{array}{l}
\alpha \\
3
\end{array}\right), \ldots\right\rangle & \sum\limits_{k=0}^{+\infty}\left(\begin{array}{l}
\alpha \\
k
\end{array}\right) x^{k} & (1+x)^{\alpha} \\
\left\langle 0,1,-\dfrac{1}{2}, \dfrac{1}{3},-\dfrac{1}{4}, \ldots\right\rangle & \sum\limits_{k=0}^{+\infty} \dfrac{(-1)^{k+1}}{k} x^{k} & \ln (1+x) \\
\left\langle 0,1, \dfrac{1}{2}, \dfrac{1}{3}, \dfrac{1}{4}, \ldots\right\rangle & \sum\limits_{k=0}^{+\infty} \dfrac{1}{k} x^{k} & \ln \dfrac{1}{1-x} \\
\left\langle 1,1, \dfrac{1}{2}, \dfrac{1}{6}, \dfrac{1}{24}, \ldots\right\rangle & \sum\limits_{k=0}^{+\infty} \dfrac{1}{k !} x^{k} & e^{x}
\end{array}
\]
标签：begin,
right,
end,
函数,
dfrac,
笔记,
生成,
array,
left
From： https://www.cnblogs.com/CloudWings/p/18095571