在数学中，泰勒级数 （英語：Taylor series，Taylor expansion ）用无限项连加式——级数 来表示一个函数，这些相加的项由函数在某一点的导数 求得。泰勒级数是以于1715年发表了泰勒公式和泰勒展開的英國 数学家 布魯克·泰勒（Sir Brook Taylor 通过函数在自变量零点的导数求得的泰勒级数又叫做麦克劳林级数 （英語：Maclaurin series ） Colin Maclaurin
无穷级数 ζ ( s ) = ∑ k = 1 ∞ 1 k s {\displaystyle \zeta (s)=\sum _{k=1}^{\infty }{\frac {1}{k^{s}}}} 无穷级数 审敛法 項測試 · 比较审敛法 · 極限比較審斂法 ·根值审敛法 · 比值审敛法 · 柯西判别法 · 柯西並項判别法 · 拉比判别法 · 高斯判别法 · 积分判别法 · 魏尔施特拉斯判别法 · 貝特朗判別法 · 狄利克雷判别法 · 阿贝尔判别法 · 庫默爾判別法 · 斯托尔兹—切萨罗定理 · 迪尼判别法
级数 调和级数 · 调和级数 · 幂级数 · 泰勒级数 · 傅里叶级数
拉格朗日 在1797年之前，最先提出帶有餘項的現在形式的泰勒定理。实际应用中，泰勒级数需要截断，只取有限项，可以用泰勒定理估算这种近似的误差。一个函数的有限项的泰勒级数叫做泰勒多项式。一个函数的泰勒级数是其泰勒多项式的极限（如果存在极限）。即使泰勒级数在每点都收敛，函数与其泰勒级数也可能不相等。在开区间（或复平面上的开区间）上，与自身泰勒级数相等的函数称为解析函数。
在数学上，对于一个在实数 或复数a {\displaystyle a} 邻域 上，以实数作为变量或以复数作为变量的函数 ，并且是无穷可微的 函数 f ( x ) {\displaystyle f(x)} 泰勒级数 是以下这种形式的幂级数：
∑ n = 0 ∞ f ( n ) ( a ) n ! ( x − a ) n {\displaystyle \sum _{n=0}^{\infty }{\cfrac {f^{(n)}(a)}{n!}}(x-a)^{n}} 这里，n ! {\displaystyle n!} n {\displaystyle n} f ( n ) ( a ) {\displaystyle f^{(n)}(a)\,\!} f {\displaystyle f} a {\displaystyle a} n {\displaystyle n} 导数 。如果a = 0 {\displaystyle a=0} 麦克劳林级数 。
如果泰勒级数对于区间( a − r , a + r ) {\displaystyle (a-r,a+r)} x {\displaystyle x} f ( x ) {\displaystyle f(x)} f ( x ) {\displaystyle f(x)} 解析形的函数 （analytic）。一个函数当且仅当 （简单地说，“只有在且只要在”）能够被表示为幂级数的形式时，才是解析形的函数。通常会用泰勒定理 来估计级数的餘项，这样就能够确定级数是否收敛于f ( x ) {\displaystyle f(x)}
以下三个事实可以说明为什么泰勒级数是十分重要的：
可以逐项对幂级数的计算微分和积分，因此求和函数相对比较容易。 数学家因此能够在复数平面上研究函数，因为一个解析函数，也可以被定义为在复平面中一个开放的区间内的解析函数(在区间内每一个点上都能被微分的函数)。 可用泰勒级数估计，在某一点上函数会计算出什么值。 对于一些无穷的 可以被微分 函数 f ( x ) {\displaystyle f(x)} f ( x ) {\displaystyle f(x)} f ( x ) = exp ( − 1 x 2 ) {\displaystyle f(x)=\exp \left(-{\cfrac {1}{x^{2}}}\right)} x ≠ 0 {\displaystyle x\neq 0} f ( 0 ) = 0 {\displaystyle f(0)=0} x = 0 {\displaystyle x=0} f ( x ) {\displaystyle f(x)} f ( x ) {\displaystyle f(x)} x = 0 {\displaystyle x=0} 以复数作为变量的函数 中这个问题并不存在，因为当z {\displaystyle z} exp ( − 1 z 2 ) {\displaystyle \exp \left(-{\cfrac {1}{z^{2}}}\right)}
如果一个函数在某处引发一个奇点，它就无法被展开为泰勒级数，不过如果变量x {\displaystyle x} x = 0 {\displaystyle x=0} f ( x ) = exp ( − 1 x 2 ) {\displaystyle f(x)=\exp \left(-{\cfrac {1}{x^{2}}}\right)} 洛朗级数 。
最近，专家们发现了一个用泰勒级数来求解微分方程 的方法——Parker-Sochacki method
下面我们给出了几个重要的麦克劳林级数。当变量x {\displaystyle x}
由无穷递缩等比数列求和式:1 1 − x = ∑ n = 0 ∞ x n = 1 + x + x 2 + ⋯ + x n + ⋯ ∀ x : | x | < 1 {\displaystyle {\cfrac {1}{1-x}}=\sum _{n=0}^{\infty }x^{n}=1+x+x^{2}+\cdots +x^{n}+\cdots \quad \forall x:\left|x\right|<1}
( 1 + x ) α = ∑ n = 0 ∞ ( α n ) x n = 1 + α x + α ( α − 1 ) 2 ! x 2 + ⋯ + α ( α − 1 ) ⋯ ( α − n + 1 ) n ! x n + ⋯ {\displaystyle (1+x)^{\alpha }=\sum _{n=0}^{\infty }{\binom {\alpha }{n}}x^{n}=1+\alpha x+{\cfrac {\alpha (\alpha -1)}{2!}}x^{2}+\cdots +{\cfrac {\alpha (\alpha -1)\cdots (\alpha -n+1)}{n!}}x^{n}+\cdots } ∀ x : | x | < 1 , ∀ α ∈ C {\displaystyle \forall x:\left|x\right|<1,\forall \alpha \in \mathbb {C} } 廣義二项式系数( α n ) = ∏ k = 1 n α − k + 1 k = α ( α − 1 ) ⋯ ( α − n + 1 ) n ! {\displaystyle {\binom {\alpha }{n}}=\prod _{k=1}^{n}{\frac {\alpha -k+1}{k}}={\frac {\alpha (\alpha -1)\cdots (\alpha -n+1)}{n!}}}
以e {\displaystyle e} 指数函数 的麦克劳林級數是
e x = ∑ n = 0 ∞ x n n ! = 1 + x + x 2 2 ! + x 3 3 ! + ⋯ + x n n ! + ⋯ ∀ x {\displaystyle e^{x}=\sum _{n=0}^{\infty }{\cfrac {x^{n}}{n!}}=1+x+{\cfrac {x^{2}}{2!}}+{\cfrac {x^{3}}{3!}}+\cdots +{\cfrac {x^{n}}{n!}}+\cdots \quad \forall x} x {\displaystyle x} 以e {\displaystyle e}
ln ( 1 − x ) = − ∑ n = 1 ∞ x n n = − x − x 2 2 − x 3 3 − ⋯ ∀ x ∈ [ − 1 , 1 ) {\displaystyle \ln(1-x)=-\sum _{n=1}^{\infty }{\frac {x^{n}}{n}}=-x-{\frac {x^{2}}{2}}-{\frac {x^{3}}{3}}-\cdots \quad \forall x\in [-1,1)} x {\displaystyle x} ln ( 1 + x ) = ∑ n = 1 ∞ ( − 1 ) n + 1 x n n = x − x 2 2 + x 3 3 − ⋯ + ( − 1 ) n + 1 x n n + ⋯ ∀ x ∈ ( − 1 , 1 ] {\displaystyle \ln(1+x)=\sum _{n=1}^{\infty }{(-1)^{n+1}}{\cfrac {x^{n}}{n}}=x-{\cfrac {x^{2}}{2}}+{\cfrac {x^{3}}{3}}-\cdots +(-1)^{n+1}{\cfrac {x^{n}}{n}}+\cdots \quad \forall x\in (-1,1]} x {\displaystyle x}
常用的三角函数可以被展开为以下的麦克劳林級數：
sin x = ∑ n = 0 ∞ ( − 1 ) n ( 2 n + 1 ) ! x 2 n + 1 = x − x 3 3 ! + x 5 5 ! − ⋯ ∀ x cos x = ∑ n = 0 ∞ ( − 1 ) n ( 2 n ) ! x 2 n = 1 − x 2 2 ! + x 4 4 ! − ⋯ ∀ x tan x = ∑ n = 1 ∞ B 2 n ( − 4 ) n ( 1 − 4 n ) ( 2 n − 1 ) ! x 2 n − 1 = x + x 3 3 + 2 x 5 15 + ⋯ ∀ x : | x | < π 2 sec x = ∑ n = 0 ∞ ( − 1 ) n E 2 n ( 2 n ) ! x 2 n = 1 + x 2 2 + 5 x 4 24 + ⋯ ∀ x : | x | < π 2 arcsin x = ∑ n = 0 ∞ ( 2 n ) ! 4 n ( n ! ) 2 ( 2 n + 1 ) x 2 n + 1 = x + x 3 6 + 3 x 5 40 + ⋯ ∀ x : | x | ≤ 1 arccos x = π 2 − arcsin x = π 2 − ∑ n = 0 ∞ ( 2 n ) ! 4 n ( n ! ) 2 ( 2 n + 1 ) x 2 n + 1 = π 2 − x − x 3 6 − 3 x 5 40 + ⋯ ∀ x : | x | ≤ 1 arctan x = ∑ n = 0 ∞ ( − 1 ) n 2 n + 1 x 2 n + 1 = x − x 3 3 + x 5 5 − ⋯ ∀ x : | x | ≤ 1 , x ≠ ± i {\displaystyle {\begin{aligned}\sin x&=\sum _{n=0}^{\infty }{\cfrac {(-1)^{n}}{(2n+1)!}}x^{2n+1}&&=x-{\cfrac {x^{3}}{3!}}+{\cfrac {x^{5}}{5!}}-\cdots &&\forall x\\[6pt]\cos x&=\sum _{n=0}^{\infty }{\cfrac {(-1)^{n}}{(2n)!}}x^{2n}&&=1-{\cfrac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-\cdots &&\forall x\\[6pt]\tan x&=\sum _{n=1}^{\infty }{\frac {B_{2n}(-4)^{n}\left(1-4^{n}\right)}{(2n-1)!}}x^{2n-1}&&=x+{\cfrac {x^{3}}{3}}+{\cfrac {2x^{5}}{15}}+\cdots &&\forall x:|x|<{\cfrac {\pi }{2}}\\[6pt]\sec x&=\sum _{n=0}^{\infty }{\cfrac {(-1)^{n}E_{2n}}{(2n)!}}x^{2n}&&=1+{\cfrac {x^{2}}{2}}+{\frac {5x^{4}}{24}}+\cdots &&\forall x:|x|<{\cfrac {\pi }{2}}\\[6pt]\arcsin x&=\sum _{n=0}^{\infty }{\cfrac {(2n)!}{4^{n}(n!)^{2}(2n+1)}}x^{2n+1}&&=x+{\cfrac {x^{3}}{6}}+{\frac {3x^{5}}{40}}+\cdots &&\forall x:|x|\leq 1\\[6pt]\arccos x&={\cfrac {\pi }{2}}-\arcsin x\\&={\cfrac {\pi }{2}}-\sum _{n=0}^{\infty }{\cfrac {(2n)!}{4^{n}(n!)^{2}(2n+1)}}x^{2n+1}&&={\cfrac {\pi }{2}}-x-{\cfrac {x^{3}}{6}}-{\cfrac {3x^{5}}{40}}+\cdots &&\forall x:|x|\leq 1\\[6pt]\arctan x&=\sum _{n=0}^{\infty }{\cfrac {(-1)^{n}}{2n+1}}x^{2n+1}&&=x-{\frac {x^{3}}{3}}+{\cfrac {x^{5}}{5}}-\cdots &&\forall x:|x|\leq 1,\ x\neq \pm i\end{aligned}}} 在tan ( x ) {\displaystyle \tan(x)} k 是伯努利数。在sec ( x ) {\displaystyle \sec(x)} E k
sinh x = ∑ n = 0 ∞ 1 ( 2 n + 1 ) ! x 2 n + 1 ∀ x {\displaystyle \sinh x=\sum _{n=0}^{\infty }{\frac {1}{(2n+1)!}}x^{2n+1}\quad \forall x} cosh x = ∑ n = 0 ∞ 1 ( 2 n ) ! x 2 n ∀ x {\displaystyle \cosh x=\sum _{n=0}^{\infty }{\frac {1}{(2n)!}}x^{2n}\quad \forall x} tanh x = ∑ n = 1 ∞ B 2 n 4 n ( 4 n − 1 ) ( 2 n ) ! x 2 n − 1 ∀ x : | x | < π 2 {\displaystyle \tanh x=\sum _{n=1}^{\infty }{\frac {B_{2n}4^{n}(4^{n}-1)}{(2n)!}}x^{2n-1}\quad \forall x:\left|x\right|<{\frac {\pi }{2}}} sinh − 1 x = ∑ n = 0 ∞ ( − 1 ) n ( 2 n ) ! 4 n ( n ! ) 2 ( 2 n + 1 ) x 2 n + 1 ∀ x : | x | < 1 {\displaystyle \sinh ^{-1}x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}(2n)!}{4^{n}(n!)^{2}(2n+1)}}x^{2n+1}\quad \forall x:\left|x\right|<1} tanh − 1 x = ∑ n = 0 ∞ 1 2 n + 1 x 2 n + 1 ∀ x : | x | < 1 {\displaystyle \tanh ^{-1}x=\sum _{n=0}^{\infty }{\frac {1}{2n+1}}x^{2n+1}\quad \forall x:\left|x\right|<1} tanh ( x ) {\displaystyle \tanh(x)} B k
W 0 ( x ) = ∑ n = 1 ∞ ( − n ) n − 1 n ! x n ∀ x : | x | < 1 e {\displaystyle W_{0}(x)=\sum _{n=1}^{\infty }{\frac {(-n)^{n-1}}{n!}}x^{n}\quad \forall x:\left|x\right|<{\frac {1}{e}}}
泰勒级数可以推广到有多个变量 的函数 ： ∑ n 1 = 0 ∞ ⋯ ∑ n d = 0 ∞ ∂ n 1 + ⋯ + n d ∂ x 1 n 1 ⋯ ∂ x d n d f ( a 1 , ⋯ , a d ) n 1 ! ⋯ n d ! ( x 1 − a 1 ) n 1 ⋯ ( x d − a d ) n d {\displaystyle \sum _{n_{1}=0}^{\infty }\cdots \sum _{n_{d}=0}^{\infty }{\frac {\partial ^{n_{1}+\cdots +n_{d}}}{\partial x_{1}^{n_{1}}\cdots \partial x_{d}^{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}}}
希腊哲学家芝诺在考虑了利用无穷级数求和来得到有限结果的问题，得出不可能的结论 - 芝诺悖论。后来，亚里士多德 对芝诺悖论在哲学上进行了反驳，但德谟克利特 以及后来的阿基米德 进行研究，此部分数学内容才得到解决。 正是用了阿基米德的穷竭法才使得一个无穷级数被逐步的细分，得到了有限的结果。几个世纪之后，中国数学家刘徽也独立提出了类似的方法。
进入14世纪，马德哈瓦 正弦 、余弦 、正切、和反正切三角函数等等。之后，喀拉拉学派
到了17世纪，詹姆斯·格雷果里同样继续着这方面的研究并且发表了若干麦克劳林级数。但是直到1715年，布鲁克·泰勒 提出了一个通用的方法来构建适用于所有函数的此类列级数。这就是后来被人们所熟知的泰勒级数。 麦克劳林级数是泰勒级数的特例，是爱丁堡大学 的科林·麦克劳林教授在18世纪发表的，并以其名字命名。
牛頓插值公式 也叫做牛頓級數 ，由“牛頓前向差分方程 ”的項組成，得名於伊薩克·牛頓爵士，最早发表为他在1687年出版的《自然哲學的數學原理》中第三編“宇宙體系”的引理五，此前詹姆斯·格雷果里於1670年和牛頓於1676年已經分別獨立得出這個成果。一般稱其為連續“泰勒展開”的離散對應。
對於x值間隔為非一致步長，牛頓計算均差，對x 值間隔為單位步長1或一致但非單位量的情況，計算差分，前向差分的定義為：
Δ h 1 [ f ] ( x ) = f ( x + h ) − f ( x ) Δ h n [ f ] ( x ) = Δ h n − 1 [ f ] ( x + h ) − Δ h n − 1 [ f ] ( x ) {\displaystyle {\begin{aligned}\Delta _{h}^{1}[f](x)&=f(x+h)-f(x)\\\Delta _{h}^{n}[f](x)&=\Delta _{h}^{n-1}[f](x+h)-\Delta _{h}^{n-1}[f](x)\\\end{aligned}}}
牛頓前向差分插值公式為：
f ( x ) = f ( a ) + x − a h ( Δ h 1 [ f ] ( a ) + x − a − h 2 h ( Δ h 2 [ f ] ( a ) + ⋯ ) ) = f ( a ) + ∑ k = 1 n Δ h k [ f ] ( a ) k ! h k ∏ i = 0 k − 1 ( ( x − a ) − i h ) {\displaystyle {\begin{aligned}f(x)&=f(a)+{\cfrac {x-a}{h}}\left(\Delta _{h}^{1}[f](a)+{\frac {x-a-h}{2h}}\left(\Delta _{h}^{2}[f](a)+\cdots \right)\right)\\&=f(a)+\sum _{k=1}^{n}{\frac {\Delta _{h}^{k}[f](a)}{k!h^{k}}}\prod _{i=0}^{k-1}((x-a)-ih)\\\end{aligned}}} 這成立於任何多項式 函數和大多數但非全部解析函數。
牛頓在1665年得出並在1671年寫的《流數法》中發表了ln ( 1 + x ) {\displaystyle \ln(1+x)} 無窮級數 ，在1666年得出了arcsin ( x ) {\displaystyle \arcsin(x)} arctan ( x ) {\displaystyle \arctan(x)} sin ( x ) {\displaystyle \sin(x)} cos ( x ) {\displaystyle \cos(x)} arcsin ( x ) {\displaystyle \arcsin(x)} e x {\displaystyle e^{x}} 萊布尼茨 在1673年大概也得出了sin ( x ) {\displaystyle \sin(x)} cos ( x ) {\displaystyle \cos(x)} arctan ( x ) {\displaystyle \arctan(x)} 互联网档案馆 ）》中研討了有限差分法，其中論述了他在1712年得出的泰勒定理，這個成果此前詹姆斯·格雷果里在1670年和萊布尼茨 在1673年已經得出，而約翰·伯努利在1694年已經在《教師學報》發表。
他對牛頓的均差分的步長取趨於0 {\displaystyle 0}
f ( x ) = f ( a ) + lim h → 0 ∑ k = 1 ∞ Δ h k [ f ] ( a ) k ! h k ∏ i = 0 k − 1 ( ( x − a ) − i h ) = f ( a ) + ∑ k = 1 ∞ d k d x k f ( a ) ( x − a ) k k ! {\displaystyle {\begin{aligned}f(x)&=f(a)+\lim _{h\to 0}\sum _{k=1}^{\infty }{\frac {\Delta _{h}^{k}[f](a)}{k!h^{k}}}\prod _{i=0}^{k-1}((x-a)-ih)\\&=f(a)+\sum _{k=1}^{\infty }{\frac {d^{k}}{dx^{k}}}f(a){\frac {(x-a)^{k}}{k!}}\\\end{aligned}}}
维基百科, wiki, wikipedia, 百科全书, 书籍, 图书馆, 文章, 阅读, 免费下载, 关于 泰勒级数 的信息, 什么是 泰勒级数？泰勒级数 是什么意思？