1. 引言
函数的幂级数展开作为一种重要的数学工具,其起源可以追溯到微积分的发展初期。牛顿在研究物体运动时,就使用了幂级数来近似表达函数。然而,幂级数的系统化理论是在18世纪由数学家泰勒提出的,他给出了著名的泰勒定理,为幂级数的展开提供了理论基础[1]。在18世纪初至19世纪末,我国数学家对幂级数的研究也非常活跃,形成了独特的研究领域[2]。此外,幂级数在微积分理论中占有重要地位,是研究函数表示、性质和进行近似计算的重要方法[3]。幂级数的展开包括但不限于泰勒级数、麦克劳林级数等。
斐波那契数列的起源可以追溯到13世纪初,由意大利数学家莱昂纳多·斐波那契(Leonardo Fibonacci)提出,在1202年出版的《计算之书》(又译为《算盘书》) (Liber Abaci)这本书中,他介绍了印度的记数法,并且通过一个关于兔子繁殖的问题来引入斐波那契数列。斐波那契提出著名的兔子问题:如果一对兔子每个月都能生下一对小兔子,并且小兔子在第二个月末成熟后也能开始繁殖,那么在一年之后会有多少对兔子?这个问题的解答展示了斐波那契数列的增长模式。在他对这个数列的研究中发现其在自然界中随处可见,如植物的生长规律、树叶的排序方式,以及螺旋线的形状等。斐波那契数列的提出,不仅在数学上具有重要意义,而且在金融、自然科学、计算机科学等多个领域都有广泛的应用。
卡特兰数是组合数学中的一个重要数列,它的提出有着悠久的历史,并且涉及几位不同的数学家。最初,我国清代蒙古族数学家明安图在1730年的著作《割圜密率捷法》中使用了卡特兰数,然而,这个数列最终以比利时数学家欧仁·查理·卡特兰(Eugène Charles Catalan)的名字命名,他在19世纪中叶对这类数列进行了研究。卡特兰数在多种组合计数问题中出现,包括括号匹配问题、二叉树计数、格子路径计数问题等。组合学家Richard P. Stanley在他的专著[4]中列举了66种可以用卡特兰数统计的问题,这一数字在他的新著[5]中更新至214。
本文将重点关注函数的幂级数展开在特殊数列计算中的应用,主要利用幂级数的展开计算斐波那契数列和卡特兰数。
2. 基本函数的幂级数展开
定理1. 设函数
在
的某个邻域
内能展开成幂级数,则它的幂级数展开就是
在
处的泰勒级数,即:
(1)
证明:我们只需要证明展开式中的泰勒系数等于
即可。设
,则
。对
左右两边同时求n阶导数即得
将
代入上式得到
,定理得证。
函数的幂级数展开分为直接法和间接法,直接法是利用定理1求函数的各阶导数进而得到幂级数展开;间接法是通过一些已知的幂级数展开变形或者逐项求导、求积分而得到。
2.1. 直接法
通过公式(1),直接对函数求各阶导数我们可以得到下面一些基本函数的幂级数展开式:
(1)
,
。
(2)
,
。
(3)
,
。
(4)
,
。
(5)
,
。
(6)
,其中
是任意实数。
(ii)
为正整数:
。
(ii)
不是正整数:
其中
且
。
对于形式稍微复杂的函数,我们可以将其整理出上述已知函数的形式,然后通过已知的幂级数展开来间接得到更多函数的幂级数展开,下面给出两个例子。
2.2. 间接法
例1 将
展开成
的幂级数。
例2将
展开成x的幂级数。
当
时,此级数收敛,且
,因此
3. 幂级数展开在组合数学中的应用
幂级数展开在诸多领域均有重要的应用,本节将利用幂级数的展开求解组合数学中两个重要的数列:斐波那契数列和卡特兰数。
例3 (斐波那契数列通项求解)已知数列
满足如下递归关系:
求其通项
。
解:考虑生成函数
,
。
故而
其中
,
。对于
和
的幂级数展开,我们利用了上述基本函数中
的幂级数展开。因此由展开式的唯一性知
卡特兰数
有多种定义,我们给出其中两种如下:
01序列计数问题:现在有n个0和n个1,问有多少个长度为2n的序列,使得序列的任意一个前缀中1的个数都大于等于0的个数。
合法路径计数问题:在一个
的网格上,从
出发,每次只可以向上走一格,或者向右走一格,在任意一个时刻,往右走的次数都不能少于往上走的次数,问走到
有多少种不同的合法路径。
下面利用幂级数的展开来计算卡特兰数。
例4 (卡特兰数求解)已知卡特兰数
满足如下递推关系:
。
求其通项
。
解:令
,且当
时,
,则
,且
。
考虑生成函数
,
。将等式两边同时平方可以得到下述等式:
利用递推关系
可得
于是有
,故而
。由初值
可知
。
利用
可得
因此由展开式的唯一性知
因此第n个卡特兰数为
。
4. 结语
本文首先介绍了函数幂级数展开的起源,然后给出了幂级数展开定理,并且列出了一些基本函数的幂级数展开,接着通过间接法计算了幂级数展开的两个实例,最后重点探讨了幂级数展开的应用,即:如何利用幂级数展开得到斐波那契数列和卡特兰数。