【数学】泰勒公式

2024-05-10 23:20
文章标签 公式 数学 泰勒

本文主要是介绍【数学】泰勒公式,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

引言

一、泰勒公式

1.泰勒公式及推导

(1)推导

(2)公式

2.泰勒中值定理

(1)定理1(佩亚诺余项)

(2)定理2(拉格朗日余项)

(3)两个定理的区别

3.麦克劳林公式

二、常用的泰勒公式

三、泰勒公式核心考点

1.求极限

2.求高阶导

3.证明题

总结


ID:HL_5461

引言

对于任意无穷数,这里以\pi为例,我们可以用多个\frac{1}{10}的次方将其不断展开,即\pi =3.1415...=3\times( \frac{1}{10})^0+1\times( \frac{1}{10})^1+4\times( \frac{1}{10})^2+1\times( \frac{1}{10})^3+5\times( \frac{1}{10})^4+...

类比的,对于一个函数f(x),我们也可以将它写作无穷多x的次方展开,即f(x)=a_0(x-x_0)^0+a_1(x-x_0)^1+a_2(x-x_0)^2+...+a_n(x-x_0)^n

这也就是泰勒公式的诞生。

当然就像有限个\frac{1}{10}的次方不能精确表示一个无穷小数一样,上述式子肯定有一定的误差,这个后文讨论。


一、泰勒公式

1.泰勒公式及推导

(1)推导

我们将引言中所写式子记作P_n(x),所以有:

P_n(x)=a_0+a_1(x-x_0)^1+a_2(x-x_0)^2+a_3(x-x_0)^3+...+a_n(x-x_0)^n

正如前面所说,这个式子有一定的误差,不能准确表示f(x),所以我们退而求其次,选择让这个式子无限接近f(x),即f(x)-P_n(x)(x-x_0)^n的高阶无穷小。

接下来的任务是确定系数a_i。我们先定一个条件:设f(x)x=x_0处n阶可导。

那么如何让P_n(x)非常接近f(x)呢?只需满足两个条件:1.P_n(x)f(x)x_0处函数值相等;2.P_n(x)f(x)x_0处直到n阶倒数相等。

我们可以这样理解上面两个条件:函数值相等说明在同一个点处,导数相等说明函数变化一样,值一样变化一样,所以可以近似看作相等。以下是a_i的推导过程:

1

\because P_n(x)f(x)x_0处函数值相等

\therefore f(x_0)=P_n(x_0)=a_0a_0=f(x_0)

2

P_n(x)f(x)求一阶导,并带入x=x_0

\therefore f'(x)=P_n'(x)=a_1a_1=f'(x_0)

3

P_n(x)f(x)求二阶导,并带入x=x_0

\therefore f''(x)={P_n}''(x)=2!\cdot a_2a_2=\frac{f''(x_0)}{2!}

4

不断求导、总结,所以:

a_0=f(x_0),a_n=\frac{f^{(n)}(x_0)}{n!}

(2)公式

将前面算出的a_i带入P_n(x),所以:

P_n(x)=f(x_0)+\frac{f'(x_0)}{1!}(x-x_0)+\frac{f''(x_0)}{2!}(x-x_0)^2+...+\frac{f^{(n)}(x_0)}{n!}(x-x_0)^n

由于在引言中说过,如果P_n(x)f(x)相比有一定误差,所以这里补充一个误差项就能与f(x)相等了。我们将这个误差项称为余项,记作R_n(x)

所以泰勒公式就是如下形式:

f(x)=f(x_0)+\frac{f'(x_0)}{1!}(x-x_0)+\frac{f''(x_0)}{2!}(x-x_0)^2+...+\frac{f^{(n)}(x_0)}{n!}(x-x_0)^n+R_n(x)

除了R_n(x)的前半部分是f(x)x_0处的n次多项展开式P_n(x)

R_n(x)称为余项,也是一个误差项

2.泰勒中值定理

泰勒中值定理是对余项R_n(x)的讨论。

(1)定理1(佩亚诺余项)

f(x)x具有直到n阶的导数,则有

f(x)=f(x_0)+\frac{f'(x_0)}{1!}(x-x_0)+\frac{f''(x_0)}{2!}(x-x_0)^2+...+\frac{f^{(n)}(x_0)}{n!}(x-x_0)^n+R_n(x)

其中, R(x)=o[(x-x_0)^n](x\rightarrow x_0)称为佩亚诺(Peano)余项。

该展开式称为f(x)在点x=x_0邻域的带佩亚诺余项的n阶泰勒公式。

(2)定理2(拉格朗日余项)

f(x)在包含x区间(a,b)内有直到n+1阶的导数,在区间[a,b]上有n阶连续导数,则对任意x\in [a,b]时有

f(x)=f(x_0)+\frac{f'(x_0)}{1!}(x-x_0)+\frac{f''(x_0)}{2!}(x-x_0)^2+...+\frac{f^{(n)}(x_0)}{n!}(x-x_0)^n+R_n(x)

其中, R(x)=\frac{f^{(n+1)}(\xi )}{(n+1)!}(x-x_0)^{n+1},(\xix_0x之间)称为拉格朗日余项。

该展开式称为f(x)在区间[a,b]的带拉格朗日余项的n阶泰勒公式。

注:对于拉格朗日余项的泰勒公式,根据定义,题目如果说在区间上有n+1阶的导数,那么做题时需展到n阶,n+1阶留给余项。

(3)两个定理的区别

这里可以结合前面定理内容加粗部分理解

1.成立条件不同。定理2对f(x)的可导性要求更高。2要求区间可导,1只要求点可导;2要求可导至n+1阶,1只要求可导至n阶。

2.x的取值范围不同。定理1需满足x\rightarrow x_0,仅适用于求极限问题;定理2中x可在符合条件的区间[a,b]上任取,甚至能取到任意实数,因此中值定理2更广泛地适用于证明题和近成似计算问题。
3.余项R_n(x)形式不同,佩亚诺余项便于求极限,而拉格朗日余项能具体估算近似误差的大小。

3.麦克劳林公式

麦克劳林公式就是令x_0=0时的泰勒公式:

f(x)=f(0)+\frac{f'(0)}{1!}x+\frac{f''(0)}{2!}x^2+...+\frac{f^{(n)}(0)}{n!}x^n+R_n(x)


二、常用的泰勒公式

sinx=x-\frac{x^3}{3!}+...+(-1)^{n-1}\frac{x^{2n-1}}{(2n-1)!}+o(x^{2n-1})
arcsinx=x+\frac{x^3}{6}+o(x^3)
tanx=x+\frac{x^3}{3}+o(x^3)
arctanx=x-\frac{x^3}{3}+o(x^3)
cosx=1-\frac{x^2}{2!}+...+(-1)^{n}\frac{x^{2n}}{(2n)!}+o(x^{2n})
ln(1+x)=x-\frac{x^2}{2}+...+(-1)^{n-1}\frac{x^{n}}{n}+o(x^{n})
e^x=1+x+\frac{x^2}{2!}+...+\frac{x^n}{n!}+o(x^n)
(1+x)^a=1+ax+\frac{a(a-1)}{2!}x^2+...+\frac{a(a-1)...(a-n-1))}{n!}x^n +o(x^n)

三、泰勒公式核心考点

1.求极限

方法:按上面给的重要泰勒公式无脑代入

例1:

求极限\lim_{x\rightarrow 0}\frac{cosx-e^{-\frac{x^2}{2}}}{x^4}

cosx=1-\frac{x^2}{2}+\frac{x^4}{24}+o(x^4)

e^{-\frac{x^2}{2}}=1+(-\frac{x^2}{2})+\frac{(-\frac{x^2}{2})^2}{2!}+o(x^4)=1-\frac{x^2}{2}+\frac{x^4}{8}+o(x^4)

将上面式子带入极限:

\lim_{x\rightarrow 0}\frac{cosx-e^{-\frac{x^2}{2}}}{x^4}=\lim_{x\rightarrow 0}\frac{-\frac{1}{12}x^4}{x^4}=-\frac{1}{12}

例2:

\lim_{x\rightarrow 0}\frac{ln(1+x)-(ax+bx^2)}{x^2}=2求a,b

ln(1+x)=x-\frac{x^2}{2}+o(x^2)代入极限

\lim_{x\rightarrow 0}\frac{ln(1+x)-(ax+bx^2)}{x^2}=\lim_{x\rightarrow 0}\frac{(1-a)x-(\frac{1}{2}+b)x^2+o(x^2)}{x^2}=2

\therefore 1-a=0,-(\frac{1}{2}+b)=2

\therefore a=-1,b=-\frac{5}{2}

例3:

f(x)二阶可导,f(0)=0,f'(0)=1,f''(0)=2,求极限\lim_{x\rightarrow 0}\frac{f(x)-x}{x^2}

由泰勒公式形式可得:f(x)=x+x^2+o(x^2)

代入极限:\lim_{x\rightarrow 0}\frac{f(x)-x}{x^2}=\lim_{x\rightarrow 0}\frac{x^2+o(x^2)}{x^2}=1

2.求n阶导数值

方法:依旧上述重要泰勒公式无脑往里代

例1:

求函数f(x)=x^2 ln(1+x)x=0处的n阶导数f^{(n)}(0)(n\geq 3)

ln(1+x)=x-\frac{x^2}{2}+...+(-1)^{n-1}\frac{x^{n}}{n}+o(x^{n})

f(x)=x^2 ln(1+x)=x^3-\frac{x^4}{2}+...+(-1)^{n-1}\frac{x^{n+2}}{n}+o(x^{n})

由泰勒公式的唯一性,第n项为\frac{f^{(n)}(0)}{n!}x^n

\therefore\frac{f^{(n)}(0)}{n!}x^n=(-1)^{n-1}\frac{x^n}{n-2}

\therefore f^{(n)}(0)=(-1)^{n-1}\frac{n!}{n-2}

3.证明题

方法:

1.使用拉格朗日余项,对n+1阶可导,展到第n阶

2.xx_0依题目选择

(证明题比较难,下面讲解会解释思路)

例1:

f(x)[0,1]上二阶可导,且f(0)=1,f'(0)=0,f"(x)\leq 2,求证:\max_{x\in [0,1]} f(x)\leq 2

思路:

首先写出公式,因为二阶可导所以展到一阶:

f(x)=f(x_0)+\frac{f'(x_0)}{1}(x-x_0)+\frac{f''(\xi )}{2}(x-x_0)^{2},(\xix_0x之间)

由于题目中告知f(0)f'(0),所以不妨猜测x_0=0,代入公式:

f(x)=f(0)+\frac{f'(0)}{1}x+\frac{f''(\xi )}{2}x^{2}=1+\frac{f''(\xi )}{2}x^{2},\xi \in (0,x)

\because f"(x)\leq 2,\xi \in (0,1)在定义域内。\therefore f"(\xi )\leq 2

\because x \in (0,1)\therefore x^2\in (0,1)

代入证毕

这题因为告知导数所以优先猜测x_0的值,将x_0代入和相关条件用完之后会发现已经做出来了,所以x的值就无需考虑了

例2:

f(x)[0,1]上二阶可导,f(0)=f(1)=0,\max_{x\in [0,1]} f(x)= 2,证明\exists \xi \in (0,1),使得f''(\xi )\leq -16

思路:

首先写出公式,因为二阶可导所以展到一阶:

f(x)=f(x_0)+\frac{f'(x_0)}{1}(x-x_0)+\frac{f''(\xi )}{2}(x-x_0)^{2},(\xix_0x之间)

由于题目中未提及导数相关,所以不妨猜测0和1是x,代入公式:

f(0)=f(x_0)+\frac{f'(x_0)}{1}(-x_0)+\frac{f''(\xi _1)}{2}(-x_0)^{2},\xi _1\in (0,x_0)..............1

f(1)=f(x_0)+\frac{f'(x_0)}{1}(1-x_0)+\frac{f''(\xi _2)}{2}(1-x_0)^{2},\xi _2\in (x_0,1)......2

0和1的相关条件似乎已经用完了

仔细查看上两式,会感觉x_0的缺少真的很碍眼,难道0和1应该用作x_0吗?但是如果换作x_0会发现这样只会减少f(x_0)一个未知量,并且这样做还会多f(x)一个未知量,好像和上两式没什么区别,所以暂时假定这个思路还是对的,接着往下看(下面是难点)

仔细思考一下\max_{x\in [0,1]} f(x)= 2,由于x_0的缺少所以尽量往x_0上去想:如何才能有一个f(x_0)和一个f'(x_0)?结合在区间上的最大值,我们可以联想到极大值。

假定极大值为x=a,则f(a)=2,f'(a)=0,令x_0a,则1、2式分别为:

于题目中未提及导数相关,所以不妨猜测0和1是x,代入公式:

f(0)=2+\frac{f''(\xi _1)}{2}(-a)^{2},\xi _1\in (0,x_0)..............3

f(1)=2+\frac{f''(\xi _2)}{2}(1-a)^{2},\xi _2\in (x_0,1)..........4

ax的取值范围内,f(0)f(1)有确定值,分类讨论能得出f''(\xi _1)f''(\xi _2)的范围

再看题目要求是“存在”,找到一个就OK,所以证毕

这题没有告知导数相关,所以优先猜测x的值,将x代入后发现条件不够,再往后考虑x_0相关,联系极值,假设并代入,最后可以求得范围

例3:

f(x)[0,1]上二阶可导,且\left | f(x) \right |\leq a,\left | f''(x) \right |\leq b,其中a,b都是非负常数,证明\left | f'(x) \right |\leq 2a+\frac{b}{2},\forall x\in (0,1)

思路:

首先写出公式,因为二阶可导所以展到一阶:

f(x)=f(x_0)+\frac{f'(x_0)}{1}(x-x_0)+\frac{f''(\xi )}{2}(x-x_0)^{2},(\xix_0x之间)

由于题目中提及f(x)f''(x),猜测告知条件为x_0,又加上x_0x的取值范围内这一常用隐含条件,则:

\left | f(x_0)+\frac{f'(x_0)}{1}(x-x_0)+\frac{f''(\xi )}{2}(x-x_0)^{2} \right |\leq a+f'(x_0)+\frac{b}{2}

到这一步已经条件用完,但是已经无路可走了,所以推翻重来

但是如果改用x,除了泰勒公式原式整个小于等于a啥也做不了,所以再换个思路,试着找点代代

题目没告知什么特殊值,那就只有拿0和1这两个端点试一试了

还是顾及题目给了导数,优先考虑x_0

f(x)=f(0)+\frac{f'(0)}{1}x+\frac{f''(\xi _1)}{2}x^{2},\xi _1\in (0,x)......................................1

f(x)=f(1)+\frac{f'(1)}{1}(x-1)+\frac{f''(\xi _2)}{2}(x-1)^{2},\xi _2\in (x,1)................2

两式相减再取绝对值进行放缩,发现和前面没什么区别,那就改取x

f(0)=f(x_0)+\frac{f'(x_0)}{1}(-x_0)+\frac{f''(\xi_1 )}{2}(-x_0)^{2},\xi _1\in (0,x_0).................3

f(1)=f(x_0)+\frac{f'(x_0)}{1}(1-x_0)+\frac{f''(\xi_2 )}{2}(1-x_0)^{2},\xi _1\in (x_0,1).........4

4-3得:f(1)-f(0)=\frac{f'(x_0)}{1}+\frac{1}{2}[f''(\xi _2)(1-x_0)^{2}-f''(\xi _1)x_0^2]

f'(x_0)跟题目要求的f'(x)好像有点相像,既然有可能那就先往下做了再说

f'(x_0)=f(1)-f(0)+\frac{1}{2}[f''(\xi _1)x_0^2-f''(\xi _2)(1-x_0)^{2}]

考虑一下如何把这个碍眼的x_0替换成题目需要的x(重点)

往定义上想,x_0是指代确定的x值,但是对于泰勒公式本身,x_0是可以在定义域上任取的,也就说对定义域上的任意x其实都有上式成立

也就说当x \in (0,1),都有f'(x)=f(1)-f(0)+\frac{1}{2}[f''(\xi _1)x^2-f''(\xi _2)(1-x)^{2}],这样一来x_0就成了题目需要的x

(这里只是为了便于讲解所以放到了后面讨论,写题时可以在写3、4式时直接把x_0写成x

对上式取绝对值\left | f'(x) \right |=\left | f(1)-f(0)+\frac{1}{2}[f''(\xi _1)x^2-f''(\xi _2)(1-x)^{2}] \right |

然后进行放缩:

\left | f'(x) \right |\leq \left | f(1)\right |+\left | f(0) \right |+\frac{1}{2}[\left | f''(\xi _1) \right |x^2+\left | f''(\xi _2) \right |(1-x)^{2}]

把题目给的小于等于条件代入继续放缩:

\left | f'(x) \right |\leq2a+\frac{b}{2}[ x^2+(1-x)^{2}]

由于[ x^2+(1-x)^{2}]\leq 2,继续代入放缩,证毕

这题比较难,还是按照一贯的思路来:因为告知导数所以优先猜测使用x_0,没用换成x,还是做不出来,继续代值考虑x_0x最后发现x可以一试。这题主要还是在于端点值也可以使用这一容易忽视的细节和如何将x_0考虑作整个定义域上的x值两个难点。


总结

对于泰勒公式题目,首先还是几个重要公式熟背,这样就可以解决大部分题目了。

证明题是泰勒公式的难点,一般使用定理二结合放缩就能解决了,关键在于如何选择xx_0,这是解决证明题的核心。

若有错误,欢迎大家批评斧正!

这篇关于【数学】泰勒公式的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/977854

相关文章

uva 10014 Simple calculations(数学推导)

直接按照题意来推导最后的结果就行了。 开始的时候只做到了第一个推导,第二次没有继续下去。 代码: #include<stdio.h>int main(){int T, n, i;double a, aa, sum, temp, ans;scanf("%d", &T);while(T--){scanf("%d", &n);scanf("%lf", &first);scanf

uva 10025 The ? 1 ? 2 ? ... ? n = k problem(数学)

题意是    ?  1  ?  2  ?  ...  ?  n = k 式子中给k,? 处可以填 + 也可以填 - ,问最小满足条件的n。 e.g k = 12  - 1 + 2 + 3 + 4 + 5 + 6 - 7 = 12 with n = 7。 先给证明,令 S(n) = 1 + 2 + 3 + 4 + 5 + .... + n 暴搜n,搜出当 S(n) >=

uva 11044 Searching for Nessy(小学数学)

题意是给出一个n*m的格子,求出里面有多少个不重合的九宫格。 (rows / 3) * (columns / 3) K.o 代码: #include <stdio.h>int main(){int ncase;scanf("%d", &ncase);while (ncase--){int rows, columns;scanf("%d%d", &rows, &col

【生成模型系列(初级)】嵌入(Embedding)方程——自然语言处理的数学灵魂【通俗理解】

【通俗理解】嵌入(Embedding)方程——自然语言处理的数学灵魂 关键词提炼 #嵌入方程 #自然语言处理 #词向量 #机器学习 #神经网络 #向量空间模型 #Siri #Google翻译 #AlexNet 第一节:嵌入方程的类比与核心概念【尽可能通俗】 嵌入方程可以被看作是自然语言处理中的“翻译机”,它将文本中的单词或短语转换成计算机能够理解的数学形式,即向量。 正如翻译机将一种语言

hdu 4565 推倒公式+矩阵快速幂

题意 求下式的值: Sn=⌈ (a+b√)n⌉%m S_n = \lceil\ (a + \sqrt{b}) ^ n \rceil\% m 其中: 0<a,m<215 0< a, m < 2^{15} 0<b,n<231 0 < b, n < 2^{31} (a−1)2<b<a2 (a-1)^2< b < a^2 解析 令: An=(a+b√)n A_n = (a +

数学建模笔记—— 非线性规划

数学建模笔记—— 非线性规划 非线性规划1. 模型原理1.1 非线性规划的标准型1.2 非线性规划求解的Matlab函数 2. 典型例题3. matlab代码求解3.1 例1 一个简单示例3.2 例2 选址问题1. 第一问 线性规划2. 第二问 非线性规划 非线性规划 非线性规划是一种求解目标函数或约束条件中有一个或几个非线性函数的最优化问题的方法。运筹学的一个重要分支。2

CSP-J基础之数学基础 初等数论 一篇搞懂(一)

文章目录 前言声明初等数论是什么初等数论历史1. **古代时期**2. **中世纪时期**3. **文艺复兴与近代**4. **现代时期** 整数的整除性约数什么样的整数除什么样的整数才能得到整数?条件:举例说明:一般化: 判断两个数能否被整除 因数与倍数质数与复合数使用开根号法判定质数哥德巴赫猜想最大公因数与辗转相除法计算最大公因数的常用方法:举几个例子:例子 1: 计算 12 和 18

2024年AMC10美国数学竞赛倒计时两个月:吃透1250道真题和知识点(持续)

根据通知,2024年AMC10美国数学竞赛的报名还有两周,正式比赛还有两个月就要开始了。计划参赛的孩子们要记好时间,认真备考,最后冲刺再提高成绩。 那么如何备考2024年AMC10美国数学竞赛呢?做真题,吃透真题和背后的知识点是备考AMC8、AMC10有效的方法之一。通过做真题,可以帮助孩子找到真实竞赛的感觉,而且更加贴近比赛的内容,可以通过真题查漏补缺,更有针对性的补齐知识的短板。

一些数学经验总结——关于将原一元二次函数增加一些限制条件后最优结果的对比(主要针对公平关切相关的建模)

1.没有分段的情况 原函数为一元二次凹函数(开口向下),如下: 因为要使得其存在正解,必须满足,那么。 上述函数的最优结果为:,。 对应的mathematica代码如下: Clear["Global`*"]f0[x_, a_, b_, c_, d_] := (a*x - b)*(d - c*x);(*(b c+a d)/(2 a c)*)Maximize[{f0[x, a, b,

2024年高教社杯数学建模国赛最后一步——结果检验-事关最终奖项

2024年国赛已经来到了最后一天,有必要去给大家讲解一下,我们不需要过多的去关注模型的结果,因为模型的结果的分值设定项最多不到20分。但是如果大家真的非常关注的话,那有必要给大家讲解一下论文结果相关的问题。很多的论文,上至国赛优秀论文下至不获奖的论文并不是所有的论文都可以进行完整的复现求解,大部分数模论文都为存在一个灰色地带。         白色地带即认为所有的代码均可运行、公开