【数学】泰勒公式

目录

引言

一、泰勒公式

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.mzph.cn/pingmian/9832.shtml

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

相关文章

接口自动化框架篇:使用python连接数据库 - PySQL介绍!

PySQL介绍:使用Python连接数据库的接口自动化框架 在接口自动化测试中,经常需要使用数据库来操作测试数据,验证接口返回的数据是否正确。Python是一种功能强大的编程语言,可以轻松地连接数据库,并进行各种数据库操作。…

每天五分钟深度学习:数学中的极值

本文重点 在数学领域中,极值是一个极其重要的概念,它不仅在纯数学理论研究中占据核心地位,而且在工程、物理、经济等实际应用领域也发挥着不可替代的作用。极值问题涉及函数的最大值和最小值,是微积分学中的一个基本问题。本文旨在详细介绍数学中的极值概念、性质、求解方…

SLAM 面试题

持续完善 SLAM的基本概念和组成部分 描述一下什么是SLAM以及它的基本任务。 SLAM系统主要由哪些部分组成?SLAM的类型和算法 请解释滤波器SLAM(如粒子滤波)和图优化SLAM(如Google的Cartographer)之间的区别。 你如何区…

【Vulhub靶场】Nginx 中间件漏洞复现

【Vulhub靶场】Nginx 中间件漏洞复现 一、Nginx 文件名逻辑漏洞(CVE-2013-4547)1. 影响版本2. 漏洞原理3. 漏洞复现 二、Nginx越界读取缓存漏洞(CVE-2017-7529)1. 漏洞详情2. 影响版本3. 漏洞复现 三、Nginx 配置错误导致漏洞&…

Spring StringUtils:简洁高效处理文本数据

1. 概述 Spring框架中的StringUtils类是一个功能强大的字符串工具类,它提供了一系列静态方法,用于简化字符串的常见操作,如检查空字符串、分割字符串、拼接字符串等。通过StringUtils,我们可以更便捷地处理字符串数据&#xff0c…

Spring JdbcTemplate实现自定义动态sql拼接功能

需求描述: sql 需要能满足支持动态拼接,包含 查询字段、查询表、关联表、查询条件、关联表的查询条件、排序、分组、去重等 实现步骤: 1,创建表及导入测试数据 CREATE TABLE YES_DEV.T11 (ID BINARY_BIGINT NOT NULL,NAME VARCH…

nest中的ORM

在 Nest.js 中执行 SQL 查询通常涉及使用 TypeORM 或 Sequelize 这样的 ORM(对象-关系映射)库。这些库使得在 Nest.js 应用程序中连接和操作 SQL 数据库变得更加简单和直观。 以下是一个使用 TypeORM 在 Nest.js 中执行 SQL 查询的示例代码:…

使用zdppy_amauth开发激活用户接口

服务端代码: 1、创建数据库连接对象2、初始化数据库3、声明一个上下文4、挂载用户相关的路由,这里主要由 用户登录接口用户注册注册获取用户列表接口激活指定用户接口 5、启动服务 import mcrud import api import amauth import env import contextli…

修改页签标题 + 页签图表

修改图标 在App.vue下的created()里或者路由守卫中输入 var link document.querySelector("link[rel*icon]") || document.createElement("link"); link.type "image/x-icon"; link.rel "shortcut icon"; link.href require(l…

非模块化 Vue 开发的 bus 总线通信

个人感觉,JavaScript 非模块开发更适合新人上手,不需要安装配置一大堆软件环境,不需要编译,适合于中小项目开发,只需要一个代码编辑器即可开发,例如 vsCode。网页 html 文件通过 script 标签引入 JavaScrip…

探秘艺术之源:DALL-E3与Midjourney 绘画软件深度对照分析

随着人工智能技术的飞速发展,AI绘画软件已经成为了艺术创作的一大助力。在这场融合了技术与艺术的革新浪潮中,DALL-E3和Midjourney无疑是最受瞩目的两位选手。它们不仅改变了艺术家的创作方式,还为平凡人打开了一扇通往艺术殿堂的大门。本文将…

使用Matplotlib绘制正弦和余弦函数曲线

前言 在数据可视化领域,Matplotlib是一个功能强大的Python库,它允许用户创建各种静态、交互式和动画图形。本文将引导您通过一个简单的示例,学习如何使用Matplotlib绘制正弦和余弦函数曲线。 第一步:导入必要的库: …

【漫画版】指挥官的排序战术:快速排序算法解密

作者介绍:10年大厂数据\经营分析经验,现任字节跳动数据部门负责人。 会一些的技术:数据分析、算法、SQL、大数据相关、python,欢迎探讨交流 欢迎加入社区:码上找工作 作者专栏每日更新: LeetCode解锁1000题…

基于自我对弈框架的偏好优化算法SPPO

传统的从人类反馈中进行强化学习(RLHF)的方法仰赖如Bradley-Terry模型等参数模型,但这样的模型难以充分捕捉人类偏好中的非递移性和非理性。最新的研究进展显示,直接使用偏好机率可以更准确地反映人类偏好,从而实现更灵活、更精确的语言模型对齐。本文提…

教你解决PUBG绝地求生登不进去 无法进入游戏 启动很慢的问题

尽管《绝地求生》(PUBG)以它那扣人心弦的战术竞技和逼真模拟的战场氛围风靡全球,揽获无数玩家的喜爱,但一些玩家在经历了一场血脉喷张的生存较量后,却不得不面对一个不那么愉悦的后续:游戏在结算阶段后出现…

从某CIM厂12寸项目中止导入谈起

最近在网上开始传播, 两12吋新建Fab中止某CIM导入,CIM国产化路往何方? 从文中我已经知道了这家公司是谁了,看到这个情况,还是感触良多。内部居然还有股权进行内部交易得情况,可见当时多少去博一把了&…

02.02.返回倒数第k个节点

实现一种算法,找出单向链表中倒数第 k 个节点。返回该节点的值。 注意:本题相对原题稍作改动 示例: 输入: 1->2->3->4->5 和 k 2 输出: 4 说明: 给定的 k 保证是有效的。 代码&#xff…

2批!2024年武汉市科技企业孵化器、众创空间申报时间、流程

2024年武汉市科技企业孵化器、众创空间申报时间、流程等内容如下,武汉市各区县的企业单位可以了解一下 申报时间 2024-04-22 至 2024-09-14 支持方式 武汉市2024年度科技企业孵化器认定和众创空间备案申报 申报条件 1、市级认定(备案)&a…

跨平台应用开发神器Uniapp

Uniapp是一款基于Vue.js框架的跨平台应用开发框架。它可以将同一份代码编译生成多个应用程序,包括iOS、Android、H5、小程序等。在这篇文章中,我们将详细介绍Uniapp的特点、优势以及如何使用Uniapp开发跨平台应用。 一、Uniapp的特点 1、跨平台开发 U…

YOLOv5改进 | 注意力机制 | 理解全局和局部信息的SE注意力机制

在深度学习目标检测领域,YOLOv5成为了备受关注的模型之一。本文给大家带来的是能够理解全局和局部信息的SE注意力机制。文章在介绍主要的原理后,将手把手教学如何进行模块的代码添加和修改,并将修改后的完整代码放在文章的最后,方…