微分学<4>——微分中值定理
索引
- 微分中值定理
- 极值
- 定义4.1 极大(小)值
- 定理4.1 Fermat引理
- 定理4.2 Rolle定理
- Lagrange中值定理
- 定理4.3 Lagrange中值定理
- 定理4.4 Cauchy中值定理
- 导数对函数性质的刻画
- Jensen不等式
微分中值定理
极值
定义4.1 极大(小)值
若存在 x 0 x_{0} x0的邻域 U ( x 0 , δ ) U\left ( x_{0}, \delta \right ) U(x0,δ),使得 ∀ x ∈ U ( x 0 ) , δ \forall x\in U\left ( x_{0}\right), \delta ∀x∈U(x0),δ, f ( x ) ≤ f ( x 0 ) f\left(x\right ) \le f\left(x_{0}\right ) f(x)≤f(x0),则称 x 0 x_{0} x0是函数 f ( x ) f\left(x\right ) f(x)的一个极大值点。
若存在 x 0 x_{0} x0的邻域 U ( x 0 , δ ) U\left ( x_{0}, \delta \right ) U(x0,δ),使得 ∀ x ∈ U ( x 0 ) , δ \forall x\in U\left ( x_{0}\right), \delta ∀x∈U(x0),δ, f ( x ) ≥ f ( x 0 ) f\left(x\right ) \ge f\left(x_{0}\right ) f(x)≥f(x0),则称 x 0 x_{0} x0是函数 f ( x ) f\left(x\right ) f(x)的一个极小值点。
定理4.1 Fermat引理
设 x 0 x_{0} x0是函数 f ( x ) f\left(x\right ) f(x)的一个极值点,且函数 f ( x ) f\left(x\right ) f(x)在点 x 0 x_{0} x0处可导,则 f ′ ( x 0 ) = 0 f^{\prime }\left ( x_{0} \right )=0 f′(x0)=0。
不妨设 x 0 x_{0} x0是函数 f ( x ) f\left(x\right ) f(x)的一个极大值点。
令 Δ x ∈ ( 0 , δ ) \Delta x\in \left ( 0,\delta \right ) Δx∈(0,δ),则 f ( x 0 + Δ x ) − f ( x 0 ) Δ x ≤ 0 \frac{f\left ( x_{0}+\Delta x \right )-f\left ( x_{0} \right ) }{\Delta x} \le 0 Δxf(x0+Δx)−f(x0)≤0,
根据函数极限的保不等号性, f + ′ ( x 0 ) = lim x 0 + → 0 f ( x 0 + Δ x ) − f ( x 0 ) Δ x ≤ 0 f^{\prime } _{+}\left ( x_{0} \right ) =\lim_{x_{0}^{+} \to 0} \frac{f\left ( x_{0}+\Delta x \right )-f\left ( x_{0} \right ) }{\Delta x}\le 0 f+′(x0)=limx0+→0Δxf(x0+Δx)−f(x0)≤0;
同理令 Δ x ∈ ( − δ , 0 ) \Delta x\in \left ( -\delta,0 \right ) Δx∈(−δ,0),则 f − ′ ( x 0 ) = lim x 0 − → 0 f ( x 0 + Δ x ) − f ( x 0 ) Δ x ≥ 0 f^{\prime } _{-}\left ( x_{0} \right ) =\lim_{x_{0}^{-} \to 0} \frac{f\left ( x_{0}+\Delta x \right )-f\left ( x_{0} \right ) }{\Delta x}\ge 0 f−′(x0)=limx0−→0Δxf(x0+Δx)−f(x0)≥0,
因为函数 f ( x ) f\left(x\right ) f(x)在点 x 0 x_{0} x0处可导,所以函数 f ( x ) f\left(x\right ) f(x)在点 x 0 x_{0} x0处 f + ′ ( x 0 ) = f − ′ ( x 0 ) = f ′ ( x 0 ) = 0 f^{\prime } _{+}\left ( x_{0} \right ) =f^{\prime } _{-}\left ( x_{0} \right ) =f^{\prime }\left ( x_{0} \right )=0 f+′(x0)=f−′(x0)=f′(x0)=0。
定理4.2 Rolle定理
函数 f ( x ) f\left ( x \right ) f(x)在闭区间 [ a , b ] \left [ a,b \right ] [a,b]上连续,在开区间 ( a , b ) \left ( a,b \right ) (a,b)上可导, f ( a ) = f ( b ) f\left ( a \right )=f\left ( b \right ) f(a)=f(b),则 ∃ ξ ∈ ( a , b ) \exists \xi \in \left ( a,b \right ) ∃ξ∈(a,b): f ′ ( ξ ) = 0 f^{\prime }\left ( \xi \right )=0 f′(ξ)=0。
根据最值定理, f ( x ) f\left ( x \right ) f(x)在 [ a , b ] \left [ a,b \right ] [a,b]上必有最大值 M M M和最小值 m m m,也就是 ∃ η \exists \eta ∃η, ξ ∈ [ a , b ] \xi \in \left [ a,b \right ] ξ∈[a,b]: ∀ x ∈ [ a , b ] \forall x\in \left [ a,b \right ] ∀x∈[a,b], f ( η ) = m = min f ( x ) f\left ( \eta \right )=m= \min f\left ( x \right ) f(η)=m=minf(x), f ( ξ ) = M = max f ( x ) f\left ( \xi \right )=M=\max f\left ( x \right ) f(ξ)=M=maxf(x)。
不妨设函数 f ( x ) f\left ( x \right ) f(x)在闭区间 [ a , b ] \left [ a,b \right ] [a,b]上有最大值 M = f ( ξ ) M=f\left ( \xi \right ) M=f(ξ)。
<1> M = f ( a ) ( = f ( b ) ) M=f\left ( a \right )(=f\left ( b \right )) M=f(a)(=f(b))
此时函数 f ( x ) f\left ( x \right ) f(x)为常数函数,显然 ∃ ξ ∈ ( a , b ) \exists \xi \in \left ( a,b \right ) ∃ξ∈(a,b): f ′ ( ξ ) = 0 f^{\prime }\left ( \xi \right )=0 f′(ξ)=0。
<2> M ≠ f ( a ) ( = f ( b ) ) M\neq f\left ( a \right )(=f\left ( b \right )) M=f(a)(=f(b))
此时 M = f ( ξ ) M=f\left ( \xi \right ) M=f(ξ)为 f ( x ) f\left ( x \right ) f(x)在 [ a , b ] \left [ a,b \right ] [a,b]上的一个极大值, ξ \xi ξ是函数 f ( x ) f\left(x\right ) f(x)的一个极大值点,
根据Fermat引理, f ′ ( ξ ) = 0 f^{\prime }\left ( \xi \right )=0 f′(ξ)=0。
Lagrange中值定理
定理4.3 Lagrange中值定理
函数 y = f ( x ) y=f\left ( x \right ) y=f(x)在闭区间 [ a , b ] \left [ a,b \right ] [a,b]上连续,在开区间 ( a , b ) \left ( a,b \right ) (a,b)上可导,则 ∃ ξ ∈ ( a , b ) \exists \xi \in \left ( a,b \right ) ∃ξ∈(a,b): f ′ ( ξ ) = f ( b ) − f ( a ) b − a f^{\prime } \left ( \xi \right )=\frac{f\left ( b\right ) -f\left ( a \right ) }{b-a} f′(ξ)=b−af(b)−f(a)。
任取 t ∈ ( a , b ) t \in \left ( a,b \right ) t∈(a,b), x = t x=t x=t处切线斜率为 f ′ ( t ) f^{\prime } \left ( t \right ) f′(t)。
另外连接闭区间 [ a , b ] \left [ a,b \right ] [a,b]端点的割线斜率为 k = f ( b ) − f ( a ) b − a k=\frac{f\left ( b \right )-f\left ( a \right ) }{b-a} k=b−af(b)−f(a),割线方程为 y − f ( a ) = ( f ( b ) − f ( a ) b − a ) ( x − a ) y-f\left ( a \right )=\left ( \frac{f\left ( b \right )-f\left ( a \right ) }{b-a} \right )\left ( x-a \right ) y−f(a)=(b−af(b)−f(a))(x−a),
而点 ( t , f ( t ) ) \left (t ,f\left (t \right ) \right ) (t,f(t))到割线 y = ( f ( b ) − f ( a ) b − a ) ( x − a ) y=\left ( \frac{f\left ( b \right )-f\left ( a \right ) }{b-a} \right )\left ( x-a \right ) y=(b−af(b)−f(a))(x−a)的距离函数为 d ( t ) = ∣ k ( t − a ) + f ( a ) − f ( t ) ∣ 1 + k 2 d\left ( t \right )=\frac{\left | k\left ( t-a \right )+f\left ( a \right ) -f\left ( t \right )\right | }{\sqrt{1+k^{2} } } d(t)=1+k2∣k(t−a)+f(a)−f(t)∣, d ′ ( t ) = ∣ k − f ′ ( t ) ∣ 1 + k 2 d^{\prime } \left ( t \right ) =\frac{\left | k-f^{\prime } \left ( t \right ) \right | }{\sqrt{1+k^{2} } } d′(t)=1+k2∣k−f′(t)∣,
因为 d ( t ) d\left ( t \right ) d(t)在闭区间 [ a , b ] \left [ a,b \right ] [a,b]上连续,在开区间 ( a , b ) \left ( a,b \right ) (a,b)上可导,且 d ( a ) = d ( b ) = 0 d \left ( a \right )= d \left ( b \right )=0 d(a)=d(b)=0,所以根据Rolle定理, ∃ ξ ∈ ( a , b ) \exists \xi \in \left ( a,b \right ) ∃ξ∈(a,b): d ′ ( ξ ) = 0 d^{\prime }\left ( \xi \right )=0 d′(ξ)=0,
解方程 d ′ ( ξ ) = ∣ k − f ′ ( ξ ) ∣ 1 + k 2 = 0 d^{\prime }\left ( \xi \right )=\frac{\left | k-f^{\prime } \left ( \xi \right ) \right | }{\sqrt{1+k^{2} } }=0 d′(ξ)=1+k2∣k−f′(ξ)∣=0,可得 f ′ ( ξ ) = k = f ( b ) − f ( a ) b − a f^{\prime } \left ( \xi \right ) =k=\frac{f\left ( b \right )-f\left ( a \right ) }{b-a} f′(ξ)=k=b−af(b)−f(a)。
从几何意义出发,同样根据距离函数 d ( t ) d\left ( t \right ) d(t)的分子部分,可以构造函数 φ ( x ) = f ( x ) − f ( a ) − f ( b ) − f ( a ) b − a ( x − a ) = f ( x ) − f ( a ) − k ( x − a ) \varphi \left ( x \right )=f\left ( x \right )-f\left ( a \right )-\frac{f\left ( b \right )-f\left ( a \right ) }{b-a}\left ( x-a \right )= f\left ( x \right )-f\left ( a \right )-k\left ( x-a \right ) φ(x)=f(x)−f(a)−b−af(b)−f(a)(x−a)=f(x)−f(a)−k(x−a), φ ( x ) \varphi \left ( x \right ) φ(x)仍然满足Rolle定理, ∃ ξ ∈ ( a , b ) \exists \xi \in \left ( a,b \right ) ∃ξ∈(a,b): φ ′ ( ξ ) = 0 \varphi^{\prime } \left ( \xi \right )=0 φ′(ξ)=0,代数方法与几何方法实质上殊途同归。
定理4.4 Cauchy中值定理
函数 y = f ( x ) y=f\left ( x \right ) y=f(x)在闭区间 [ a , b ] \left [ a,b \right ] [a,b]上连续,在开区间 ( a , b ) \left ( a,b \right ) (a,b)上可导,则 ∃ ξ ∈ ( a , b ) \exists \xi \in \left ( a,b \right ) ∃ξ∈(a,b): f ′ ( ξ ) g ′ ( ξ ) = f ( b ) − f ( a ) g ( b ) − g ( a ) ( g ′ ( ξ ) ≠ 0 ) \frac{f^{\prime }\left ( \xi \right ) }{g^{\prime }\left ( \xi \right ) }=\frac{f\left ( b \right )-f\left ( a \right ) }{g\left ( b \right )-g\left ( a \right ) }\left ( g^{\prime}\left ( \xi \right ) \neq 0 \right ) g′(ξ)f′(ξ)=g(b)−g(a)f(b)−f(a)(g′(ξ)=0)。
联立参数方程:
{ y = f ( t ) x = g ( t ) \left\{\begin{matrix} y=f\left ( t \right ) \\ x=g\left ( t \right ) \end{matrix}\right. {y=f(t)x=g(t)
参考Lagrange中值定理,可构造函数 φ ( x ) = f ( x ) − f ( a ) − ( f ( b ) − f ( a ) g ( b ) − g ( a ) ) ( g ( x ) − g ( a ) ) \varphi \left ( x \right )=f\left ( x \right )-f\left ( a \right )-\left ( \frac{f\left ( b \right )-f\left ( a \right ) }{g\left ( b \right )-g\left ( a \right ) } \right ) \left ( g\left ( x \right ) -g\left ( a \right ) \right ) φ(x)=f(x)−f(a)−(g(b)−g(a)f(b)−f(a))(g(x)−g(a)),后续过程与Lagrange中值定理一致。
导数对函数性质的刻画
Jensen不等式
相关文章:
微分学<4>——微分中值定理
索引 微分中值定理极值定义4.1 极大(小)值定理4.1 Fermat引理定理4.2 Rolle定理 Lagrange中值定理定理4.3 Lagrange中值定理定理4.4 Cauchy中值定理 导数对函数性质的刻画Jensen不等式 微分中值定理 极值 定义4.1 极大(小)值 若存在 x 0 x_{0} x0的邻域 U ( x 0 , δ ) U\…...
FPGA的时钟资源
目录 简介 Clock Region详解 MRCC和SRCC的区别 BUFGs 时钟资源总结 简介 7系列FPGA的时钟结构图: Clock Region:时钟区域,下图中有6个时钟区域,用不同的颜色加以区分出来 Clock Backbone:从名字也能看出来&#x…...
LeetCode27: 移除元素
题目描述 给你一个数组 nums 和一个值 val,你需要 原地 移除所有数值等于 val 的元素,并返回移除后数组的新长度。 不要使用额外的数组空间,你必须仅使用 O(1) 额外空间并 原地 修改输入数组。 元素的顺序可以改变。你不需要考虑数组中超出…...
Python使用Beautiful Soup及解析html获取元素并提取内容值
Python使用Beautiful Soup及解析html获取元素并提取内容值 1. 包括解析获取标题2. 根据标签及id获取所有元素3. 根据标签及class获取所有元素4. 获取元素下的标签的值5. 获取元素下的parent及child的元素的值参考 1. 包括解析获取标题 2. 根据标签及id获取所有元素 3. 根据标…...
如何清除keep-alive缓存
在 Vue.js 中,使用 <keep-alive> 组件可以将组件保留在内存中,以避免重复渲染和销毁,从而提高性能。如果需要手动清除 <keep-alive> 组件的缓存,可以通过两种方法来实现: 通过 $destroy 方法销毁组件&…...
2024年新手视频剪辑软件推荐-6款视频剪辑软件测评
视频剪辑软件推荐 premiere premiere 直达地址:各大软件网站 说到底,还是得专业的来,虽然很多人觉得他是收费的,但是你懂的,想要免费总是会有办法的.别的不说,剪辑这块,我还是很认可这个软件,虽然我现在还是刚入门. 剪映 剪映 抖音官方推出的一款手机视频编辑剪辑应用,提供切割…...
无货源抖店可以做吗?那些月入上万是真的吗?分享我的成功秘籍
大家好,我是电商花花。 现在还是有人在不停的在问,抖音小店无货源还可以做吗?那些月入上万都是真的吗? 当然是真的,而且做抖音小店非常简单,前提是你真的完全掌握到核心玩法,且要有执行力。 …...
文献阅读:DEA-Net:基于细节增强卷积和内容引导注意的单图像去雾
提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档 文章目录 摘要Abstract文献阅读:DEA-Net:基于细节增强卷积和内容引导注意的单图像去雾1、研究背景2、方法提出3、相关知识3.1、DEConv3.3、多重卷积的…...
2024想要赚点小钱真的很容易!帮你们找的10个搞钱第二职业
我们都希望在空闲时间里增加一些额外收入,并有机会找到自己热爱的事业,每天贝兼几十上百元是一个不错的开始,小钱也是钱, 搞钱的经验会积少成多。今天分享10个搞钱第二职业,2024想要赚点小钱真的很容易。 一.摆摊卖花 …...
【Linux网络】再谈 “协议“
目录 再谈 "协议" 结构化数据的传输 序列化和反序列化 网络版计算器 封装套接字操作 服务端代码 服务进程执行例程 启动网络版服务端 协议定制 客户端代码 代码测试 使用JSON进行序列化与反序列化 我们程序员写的一个个解决我们实际问题,满…...
猫头虎分享已解决Bug || 系统监控故障:MonitoringServiceDown, MetricsCollectionError
博主猫头虎的技术世界 🌟 欢迎来到猫头虎的博客 — 探索技术的无限可能! 专栏链接: 🔗 精选专栏: 《面试题大全》 — 面试准备的宝典!《IDEA开发秘籍》 — 提升你的IDEA技能!《100天精通鸿蒙》 …...
Java中的基本数据类型有哪些
在Java编程语言中,基本数据类型(Primitive Types)是预定义的数据类型,它们不是由用户定义的类创建的,而是由语言本身提供的。这些基本数据类型是构成Java程序的基础,用于存储不同类型的值,如整数…...
二叉树遍历(前中后序的递归/非递归遍历、层序遍历)
二叉树的遍历 1. 二叉树的前序、中序、后序遍历 前、中、后序遍历又叫深度优先遍历 注:严格来说,深度优先遍历是先访问当前节点再继续递归访问,因此,只有前序遍历是严格意义上的深度优先遍历 首先需要知道下面几点: …...
UE4升级UE5 蓝图节点变更汇总(4.26/27-5.2/5.3)
一、删除部分 Ploygon Editing删除 Polygon Editing这个在4.26、4.27中的插件,在5.1后彻底失效。 相关的蓝图,如编辑器蓝图 Generate mapping UVs等,均失效。 如需相关功能,请改成Dynamic Mesh下的方法。 GetSupportedClass删…...
【python】异常处理
前言 省略各种废话,直接快速整理知识点 try-except 基础 作用 程序不可能永远都是对的,当7除a,a由用户输入时,用户输入0就会报错。try-except就是解决这些问题。 结构 多分支自定义错误类型 上方的exception是一个错误类型…...
【xv6操作系统】Lab systems calls
一、实验前须知 阅读 xv6 文档的第 2 章和第 4 章的 4.3 节和 4.4 节以及相关源文件: 系统调用的用户空间代码在 user/user.h 和 user/usys.pl 中。 内核空间代码在 kernel/syscall.h 和 kernel/syscall.c 中。 与进程相关的代码在 kernel/proc.h 和 kernel/proc.c…...
python的scripts文件夹作用
Windows系统: Scripts文件夹通常位于Python的安装目录下,如C:\Python\Scripts。该文件夹内包含了各种有用的工具,例如pip、virtualenv等,这些工具有助于管理和配置Python环境和依赖包。 Linux系统: 在Linux系统中&…...
Discuz论坛网站报错Discuz!Database Error(0)notconnect的解决办法
运营服务器大本营有段时间了,在运营期间遇到两次Discuz!Database Error(0)notconnect报错,和你们分享遇到Discuz报错的解决办法,希望可以帮助到你。 首先网站报错(0)notconnect&…...
掌握mysql,看完这篇文章就够了
数据库 对大量数据进行存储和管理(增删改查) 客户端: 黑窗口终端navicat 熊掌软件数据库分类: 关系型数据库 通过表与表产生关联关系,每个表中都存储结构化数据,支持sql结构化查询语言MysqlOracleSQLS…...
守护Web安全:了解Web攻击与防护策略
🤍 前端开发工程师、技术日更博主、已过CET6 🍨 阿珊和她的猫_CSDN博客专家、23年度博客之星前端领域TOP1 🕠 牛客高级专题作者、打造专栏《前端面试必备》 、《2024面试高频手撕题》 🍚 蓝桥云课签约作者、上架课程《Vue.js 和 E…...
手游刚开服就被攻击怎么办?如何防御DDoS?
开服初期是手游最脆弱的阶段,极易成为DDoS攻击的目标。一旦遭遇攻击,可能导致服务器瘫痪、玩家流失,甚至造成巨大经济损失。本文为开发者提供一套简洁有效的应急与防御方案,帮助快速应对并构建长期防护体系。 一、遭遇攻击的紧急应…...
Golang 面试经典题:map 的 key 可以是什么类型?哪些不可以?
Golang 面试经典题:map 的 key 可以是什么类型?哪些不可以? 在 Golang 的面试中,map 类型的使用是一个常见的考点,其中对 key 类型的合法性 是一道常被提及的基础却很容易被忽视的问题。本文将带你深入理解 Golang 中…...
Vue3 + Element Plus + TypeScript中el-transfer穿梭框组件使用详解及示例
使用详解 Element Plus 的 el-transfer 组件是一个强大的穿梭框组件,常用于在两个集合之间进行数据转移,如权限分配、数据选择等场景。下面我将详细介绍其用法并提供一个完整示例。 核心特性与用法 基本属性 v-model:绑定右侧列表的值&…...
无法与IP建立连接,未能下载VSCode服务器
如题,在远程连接服务器的时候突然遇到了这个提示。 查阅了一圈,发现是VSCode版本自动更新惹的祸!!! 在VSCode的帮助->关于这里发现前几天VSCode自动更新了,我的版本号变成了1.100.3 才导致了远程连接出…...
理解 MCP 工作流:使用 Ollama 和 LangChain 构建本地 MCP 客户端
🌟 什么是 MCP? 模型控制协议 (MCP) 是一种创新的协议,旨在无缝连接 AI 模型与应用程序。 MCP 是一个开源协议,它标准化了我们的 LLM 应用程序连接所需工具和数据源并与之协作的方式。 可以把它想象成你的 AI 模型 和想要使用它…...
el-switch文字内置
el-switch文字内置 效果 vue <div style"color:#ffffff;font-size:14px;float:left;margin-bottom:5px;margin-right:5px;">自动加载</div> <el-switch v-model"value" active-color"#3E99FB" inactive-color"#DCDFE6"…...
Qt Http Server模块功能及架构
Qt Http Server 是 Qt 6.0 中引入的一个新模块,它提供了一个轻量级的 HTTP 服务器实现,主要用于构建基于 HTTP 的应用程序和服务。 功能介绍: 主要功能 HTTP服务器功能: 支持 HTTP/1.1 协议 简单的请求/响应处理模型 支持 GET…...
深度学习习题2
1.如果增加神经网络的宽度,精确度会增加到一个特定阈值后,便开始降低。造成这一现象的可能原因是什么? A、即使增加卷积核的数量,只有少部分的核会被用作预测 B、当卷积核数量增加时,神经网络的预测能力会降低 C、当卷…...
Angular微前端架构:Module Federation + ngx-build-plus (Webpack)
以下是一个完整的 Angular 微前端示例,其中使用的是 Module Federation 和 npx-build-plus 实现了主应用(Shell)与子应用(Remote)的集成。 🛠️ 项目结构 angular-mf/ ├── shell-app/ # 主应用&…...
莫兰迪高级灰总结计划简约商务通用PPT模版
莫兰迪高级灰总结计划简约商务通用PPT模版,莫兰迪调色板清新简约工作汇报PPT模版,莫兰迪时尚风极简设计PPT模版,大学生毕业论文答辩PPT模版,莫兰迪配色总结计划简约商务通用PPT模版,莫兰迪商务汇报PPT模版,…...
