泰勒级数

泰勒级数

维基百科,自由的百科全书

跳转到: 导航, 搜索

泰勒级数是以于1715年发表了泰勒公式数学家Brook Taylor来命名的。

简介

在数学上, 一个定义在开区间(a-r, a+r)上的无穷可微的实变函数复变函数 f泰勒级数是如下的幂级数

/sum_{n=0}^{/infin} /frac{f^{(n)}(a)}{n!} (x-a)^{n}

这里, n!表示n阶乘f (n)(a) 表示函数f在点a处的n导数。如果泰勒级数对于区间(a-r, a+r)中的所有x都收敛并且级数的和等于 f(x), 那么我们就称函数f(x)为解析的。当且仅当一个函数可以表示成为幂级数的形式时,它才是解析的。为了检查级数是否收敛于f(x),我们通常采用泰勒定理估计级数的余项。上面给出的幂级数展开式中的系数正好是泰勒级数中的系数。


如果a = 0, 那么这个级数也可以被称为 麦克劳伦级数


泰勒级数的重要性体现在以下三个方面:首先,幂级数的求导和积分可以逐项进行,因此求和函数相对比较容易。第二,一个解析函数可被延伸为一个定义在复平面上的一个开片上的解析函数,并使得复分析这种手法可行。第三,泰勒级数可以用来近似计算函数的值。


对于一些无穷可微函数f(x) 虽然它们的展开式收敛,但是并不等于f(x)。例如,分段函数f(x) = exp(−1/x²) 当 x ≠ 0 且 f(0) = 0 ,则当x = 0所有的导数都为零,所以这个f(x)的泰勒级数为零,且其收敛半径为无穷大,虽然这个函数 f 仅在 x = 0 处为零。而这个问题在复变函数内并不成立,因为当 z 沿虚轴趋于零时 exp(−1/z²) 并不趋于零。


一些函数无法被展开为泰勒级数因为那里存在一些奇点。但是如果变量x是负指数幂的话,我们仍然可以将其展开为一个级数。例如,f(x) = exp(−1/x²) 就可以被展开为一个洛朗级数


Parker-Sockacki theorem 是最近发现的一种用泰勒级数来求解微分方程的定理。这个定理是对Picard iteration一个推广。

泰勒级数列表

下面我们给出了几个重要的泰勒级数。 参数x复数时它们依然成立。

e^{x} = /sum^{/infin}_{n=0} /frac{x^n}{n!}/quad/mbox{ for all } x
/ln(1+x) = /sum^{/infin}_{n=1} /frac{(-1)^{n+1}}n x^n/quad/mbox{ for } /left| x /right| < 1
/frac{1}{1-x} = /sum^{/infin}_{n=0} x^n/quad/mbox{ for } /left| x /right| < 1
(1+x)^/alpha = /sum^{/infin}_{n=0} C(/alpha,n) x^n/quad/mbox{ for all } /left| x /right| < 1/quad/mbox{ and all complex } /alpha
/sin x = /sum^{/infin}_{n=0} /frac{(-1)^n}{(2n+1)!} x^{2n+1}/quad/mbox{ for all } x
/cos x = /sum^{/infin}_{n=0} /frac{(-1)^n}{(2n)!} x^{2n}/quad/mbox{ for all } x
/tan x = /sum^{/infin}_{n=1} /frac{B_{2n} (-4)^n (1-4^n)}{(2n)!} x^{2n-1}/quad/mbox{ for } /left| x /right| < /frac{/pi}{2}
/sec x = /sum^{/infin}_{n=0} /frac{(-1)^n E_{2n}}{(2n)!} x^{2n}/quad/mbox{ for } /left| x /right| < /frac{/pi}{2}
/arcsin x = /sum^{/infin}_{n=0} /frac{(2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}/quad/mbox{ for } /left| x /right| < 1
/arctan x = /sum^{/infin}_{n=0} /frac{(-1)^n}{2n+1} x^{2n+1}/quad/mbox{ for } /left| x /right| < 1
/arctan x = {​{/pi {/mathop{/rm sgn}} x} /over 2} - {1 /over x} + /sum_{x = 1}^/infty  {​{​{/left( { - 1} /right)^k } /over {/left( {2k + 1} /right)x^{2k + 1} }}} /quad {/rm{for }}/left| x /right| > 1


/sinh x = /sum^{/infin}_{n=0} /frac{1}{(2n+1)!} x^{2n+1}/quad/mbox{ for all } x
/cosh x = /sum^{/infin}_{n=0} /frac{1}{(2n)!} x^{2n}/quad/mbox{ for all } x
/tanh x = /sum^{/infin}_{n=1} /frac{B_{2n} 4^n (4^n-1)}{(2n)!} x^{2n-1}/quad/mbox{ for } /left| x /right| < /frac{/pi}{2}
/sinh^{-1} x = /sum^{/infin}_{n=0} /frac{(-1)^n (2n)!}{4^n (n!)^2 (2n+1)} x^{2n+1}/quad/mbox{ for } /left| x /right| < 1
/tanh^{-1} x = /sum^{/infin}_{n=0} /frac{1}{2n+1} x^{2n+1}/quad/mbox{ for } /left| x /right| < 1
W_0(x) = /sum^{/infin}_{n=1} /frac{(-n)^{n-1}}{n!} x^n/quad/mbox{ for } /left| x /right| < /frac{1}{e}

tan(x) 和 tanh(x) 展开式中的BkBernoulli numbers。 二项式展开中的 C(α,n) 是二项式系数。 sec(x) 展开式中的EkEuler numbers

多元函数的展开

泰勒级数可以推广到有多个变量函数/sum_{n_1=0}^{/infin} /cdots /sum_{n_d=0}^{/infin} /frac{/partial^{n_1}}{/partial x^{n_1}} /cdots /frac{/partial^{n_d}}{/partial x^{n_d}} /frac{f(a_1,/cdots,a_d)}{n_1!/cdots n_d!} (x_1-a_1)^{n_1}/cdots (x_d-a_d)^{n_d}

 
  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值