【数学】泰勒公式

目录

引言

一、泰勒公式

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.rhkb.cn/news/329221.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

pdf文件怎么编辑?分享3个专业的pdf软件!

在数字化时代,PDF文件已成为我们工作、学习中的得力助手。然而,面对需要修改的PDF文件,许多人却感到无从下手。今天,就让我们一起探索如何轻松编辑PDF文件,并介绍几款实用的编辑软件,让你轻松应对各种PDF编…

高中数学:平面向量-数量积(向量与向量的乘积)与投影

一、引题 物理上的力做功 二、数量积与投影 1、数量积 θ的范围是[0,π] 2、投影 向量的投影,依然是一个向量! 3、运算法则 易错点: 4、重要性质 这里对性质(2)要注意一下:如果 a → \mathop{a}\limits ^{\rightarrow…

【Linux】Centos7安装JDK

【Linux】Centos7安装JDK 下载 Oracle 官网下载 JDK17 https://www.oracle.com/cn/java/technologies/downloads/#java17 安装 使用rz命令上传 jdk tar 包,上传失败直接用 xftp 上传 在安装图形界面时,有勾选开发工具,会自动安装 JDK 需要先…

白鲸开源CEO郭炜在2024 DataOps发展大会上获聘专家

2024年5月15日,白鲸开源CEO郭炜在2024 DataOps发展大会上被正式聘任为DataOps专家,并获得了荣誉证书。本次大会由中国通信标准化协会主办,中关村科学城管委会提供支持,大数据技术标准推进委员会(CCSATC601)…

【Andoird开发】android获取蓝牙权限,beacon,android-beacon-library

iBeacon 最先是苹果的技术,使用android-beacon-library包可以在android上开发iBeacon 技术。 iBeacon的发明意义重大。它是一种基于蓝牙低功耗(Bluetooth Low Energy, BLE)技术的定位系统,通过向周围发送信号来标识其位置。这项技…

202472读书笔记|《首先你要快乐,其次都是其次》——快乐至上,允许一切发生

202472读书笔记|《首先你要快乐,其次都是其次》——快乐至上,允许一切发生 《首先你要快乐,其次都是其次》作者林小仙,挺轻松的小漫画,清新的文字。 生而为人,我很抱歉,大可不必。 生活已经很难…

番外篇 | YOLOv8改进之引入YOLOv9的RepNCSPELAN4模块 | 替换YOLOv8的C2f

前言:Hello大家好,我是小哥谈。YOLOv9,作为YOLO(You Only Look Once)系列的最新成员,代表着实时物体检测技术的又一重要里程碑。自YOLO系列算法诞生以来,它就以其出色的性能和简洁的设计思想赢得了广泛的关注和认可。从最初的YOLOv1到如今的YOLOv9,这个系列不断地进行技…

Linux-文件或目录权限

在使用 ll 时,可以查看文件夹内容的详细信息,信息的第1位表示类型,具体信息如下: 类型说明-普通文件d文件夹b块设备文件c字符设备文件p管道文件s套接口文件 第2-10位表示权限, 举例:rwxr-xr-x 类型说明r…

我在去哪儿薅到了5块钱火车票代金券,速薅

哈哈,亲爱的薅羊毛小伙伴们! 刚刚在去哪儿大佬那儿发现了一个超级薅羊毛福利!我只花了短短两分钟,就搞到了一张5块钱火车票代金券,简直是天上掉馅饼的节奏啊! 话不多说,薅羊毛的姿势给你们摆好…

基于python实现搜索的目标站点内容监测系统

基于python实现搜索的目标站点内容监测系统 开发语言:Python 数据库:MySQL所用到的知识:Django框架工具:pycharm、Navicat、Maven 系统功能实现 登录页面 后台的登录一般是为了管理员的管理方便进行一个用户权限的验证。也是为管理员提供的唯…

成都爱尔胡建斌院长提醒近视超过600度,记得每年检查眼底!

高度近视是指近视度数在600度及以上的一种屈光不正的状态。 近视的眼睛必定是变形的。在正常情况下,人的眼球类似球体,但随着近视加深,眼轴变长,眼球体积逐渐增大,整个眼球从圆球型向椭圆球形发展,而眼球壁…

零门槛微调大模型:基于 Ludwig 低代码框架使用 LoRA 技术微调实践

一、Ludwig 介绍 自然语言处理 (NLP) 和人工智能 (AI) 的飞速发展催生了许多强大的模型,它们能够理解和生成如同人类般的文本,为聊天机器人、文档摘要等应用领域带来了革命性的改变。然而,释放这些模型的全部潜力需要针对特定用例进行微调。…

成都爱尔周进院长提醒当双眼度数差距过大,我们该做些什么

每个人的用眼方式、用眼习惯且两只眼睛“天生条件”不一定相同,当发生近视,双眼近视程度也就可能不同,双眼度数必然会变得不一样。当双眼度数产生差异,尤其是当双眼度数差别过大时会引发哪些问题? 双眼度数不一致&…

37. 解数独 - 力扣(LeetCode)

基础知识要求: Java: 方法、for循环、if else语句、数组 Python: 方法、for循环、if else语句、列表 题目: 编写一个程序,通过填充空格来解决数独问题。 数独的解法需 遵循如下规则: 数字 1-9 在每一行…

vs无法打开或包括文件”QTxxx“

vs创建项目时默认引入core、gui、和widgets等模块,在需要网络通讯或者图表等开发时需要添加相应模块。 点击扩展 -> QT VS Tools -> QT Project Setting->Qt Modules,添加相应模块即可

南加州大学字节提出MagicPose,提供逼真的人类视频生成,实现生动的运动和面部表情传输,以及不需要任何微调的一致的野外零镜头生成。

MagicPose可以精确地生成外观一致的结果,而原始的文本到图像模型(如Stable Diffusion和ControlNet)很难准确地保持主体身份信息。 此外,MagicPose模块可以被视为原始文本到图像模型的扩展/插件,而无需修改其预训练的权重。 相关链接 论文链…

【BSP开发经验】简易文件系统digicapfs实现方式

文章目录 背景Linux vfs框架介绍数据结构系统调用openwriteread 总体框架 Linux 磁盘高速缓存机制标准文件访问同步文件访问异步文件访问buffer_head 如何实现一个简单的文件系统blkdevfs注册文件系统产生一个文件让文件变得可读可写 背景 在新的分区升级启动方案中需要分别实…

详解ArcGIS 水文分析模型构建

目录 前言 项目环境、条件 Dem 数据预览 ArcGIS模型构建器 模型搭建 填洼 流向 流量 河流长度 栅格计算器 河流链接 河网分级 栅格河网矢量化 绘制倾泻点 栅格流域提取 集水区 盆域分析 栅格转面 模型应用 导出 py 文件 完善脚本 最终效果 结束语 前言 …

使用python实现socket进行消息传输-demo

Socket 是什么 Socket 是一种在计算机网络中用于实现进程间通信的一种机制。它是网络编程中的重要概念,通过它可以在不同的计算机之间进行数据传输和通信。Socket 可以用于实现各种网络应用,包括客户端-服务器模型、P2P 应用等。基本上,Sock…