惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

IT之家
IT之家
aimingoo的专栏
aimingoo的专栏
H
Help Net Security
L
LangChain Blog
M
MIT News - Artificial intelligence
The GitHub Blog
The GitHub Blog
H
Hackread – Cybersecurity News, Data Breaches, AI and More
C
Check Point Blog
P
Proofpoint News Feed
J
Java Code Geeks
大猫的无限游戏
大猫的无限游戏
博客园_首页
Blog — PlanetScale
Blog — PlanetScale
U
Unit 42
I
InfoQ
月光博客
月光博客
爱范儿
爱范儿
Stack Overflow Blog
Stack Overflow Blog
V
Visual Studio Blog
Y
Y Combinator Blog
Microsoft Security Blog
Microsoft Security Blog
博客园 - Franky
D
Docker
B
Blog

又见苍岚

COLMAP PatchMatch Stereo 算法详解 事件驱动的状态机框架:从理论到工程实践 Git 在国内网络环境下无法 Push 的排查与修复 —— 配置 Clash 代理 分段五次多项式插值原理详解 路径插值方法深度对比研究 Claude Code 使用指南 OpenClaw 记忆管理与技能创建指南 CBS(Conflict-Based Search)算法详解 A* 算法及其变种详解 OpenClaw 配置多 Agents Windows Powershell 无法加载文件,因为在此系统上禁止运行脚本问题的解决方案 MaxClaw 安装流程 大模型 AI 名词介绍 AList 网盘聚合工具简介 Protobuf 简介与测试 Claude Code 简介以及 GLM 4.7 模型接入 Github 歌词下载工具 163MusicLyrics Python __getattr__ 懒加载 Python TypedDict 机器人仿真平台 Gazebo 安装记录 机器人仿真平台 Gazebo 简介 多机器人路径规划问题(Multi-Agent Path Finding, MAPF)简介 Python exifread 读取修改过的 jpeg 信息错误问题修复 3D 坐标系变换的理解 3D 旋转矩阵基本概念 MongoDB Compass 介绍 Python 环境管理工具 uv Flutter 开发指南 Snipaste 安装下载与黑屏问题解决方案 全局路径规划算法记录
积分中值定理
Yiwei Zhang · 2023-11-13 · via 又见苍岚

在一元积分理论中,积分中值定理包括积分第一中值定理和积分第二中值定理.它们都是微积分学中的基本定理,本文介绍相关内容。

极值定理

极值定理也叫最大最小值定理,它的含义非常直观:如果函数 $f(x)$ 在区间 $[a,b]$ 上连续的函数,必然存在最大值和最小值,并且取到最大值和最小值至少一次。

我们假设 $m$ 和 $M$ 分别是区间 $[a, b]$上函数 $f(x)$ 的最小值和最大值,那么根据极值定理,可以得到以下式子成立:
$$
m(b-a) \leq \int_{a}^{b} f(x) d x \leq M(b-a)
$$

上图当中灰色阴影部分就是定积分的结果,蓝色的矩形面积是 $m(b-a)$,大的矩形面积是 $M(b-a)$。

由于m和M分别是最小值和最大值,所以我们可以得到
$$
\int_{a}^{b} m d x \leq \int_{a}^{b} f(x) d x \leq \int_{a}^{b} M d x
$$

第一积分中值定理

定义:
$$
\frac{1}{b-a} \int_{a}^{b} f(x) d x=f(\xi), \quad(a \leq \xi \leq b)
$$

证明

上述 不等式两边同时除以 $b-a$,可以得到:
$$
m \leq \frac{1}{b-a} \int_{a}^{b} f(x) d x \leq M
$$
它的值位于函数在区间的最大值和最小值之间。根据连续函数的介值定理,我们一定可以在 $[a, b]$ 上找到一点$\xi $, 使得 $ \mathrm{f}(\mathrm{x}) $ 在 $ \xi $ 这点的取值与这个数值相等,也就是说:
$$
\frac{1}{b-a} \int_{a}^{b} f(x) d x=f(\xi), \quad(a \leq \xi \leq b)
$$
上面这个式子就是积分中值定理了,这里有两点要注意:

  1. 函数必须是一个连续函数,否则的话,可能刚好函数在 $ \xi $ 点处没有定义。这个也是定理成立的先决条件。

  2. 连续函数的介值定理,它的含义是说对于一个在区间 $[a, b]$ 上连续的函数,对于任一在其最大值和最小值之间的常数,我们必然可以在区间 $[a, b]$ 上找到一点,使得该点的函数值等于这个常数。

也可以写成:
$$
(b-a) f(\xi)=\int_{a}^{b} f(x) d x, \quad(a \leq \xi \leq b)
$$

也就是说以 $ \alpha f(\xi) $为高的矩形面积和函数围成的曲形面积相等,所以它既是矩形的高,也是函数在 $[a, b]$ 上的平均值。

第一积分中值定理的推广

若函数 $f(x)$ 与 $g(x)$ 在闭区间 $[a,b]$ 上连续,函数 $g(x)$ 在 $[a,b]$ 上 可积/连续 且不变号,则 $[a,b]$ 在上至少存在一点$ξ$,使得
$$
\int_{a}^{b} f(x) g(x) d x=f(\xi) \int_{a}^{b} g(x) d x
$$

证明

由于 $g(x)$ 连续不变符号,不妨设 $g(x) \ge 0$

$f(x)$ 连续,则在 $[a,b]$ 区间内存在最大值 $M$, 和最小值 $m$,则有:
$$
m\int_{a}^{b} g(x) d x \leq \int_{a}^{b} f(x) g(x) d x \leq M\int_{a}^{b} g(x) d x
$$
根据连续函数的介值定理,我们一定可以在 $[a, b]$ 上找到一点$\xi $, 使得 $ \mathrm{f}(\mathrm{x}) $ 在 $ \xi $ 这点的取值与这个数值相等:
$$
m\int_{a}^{b} g(x) d x \leq \int_{a}^{b} f(x) g(x) d x=f(\xi)\int_{a}^{b} g(x) d x \leq M\int_{a}^{b} g(x) d x
$$

第二积分中值定理

各种形式的积分第二中值定理叙述如下:

  • 设函数 $f(x)$ 与 $g(x)$ 在 $[a,b]$上可积
  1. 函数 $f(x)$ 在 $[a,b]$ 上单调增加且非负,则存在 $ \xi \in[a, b] $ ,使 $ \int_{a}^{b} f(x) g(x) d x=f(b) \int_{\xi}^{b} g(x) d x $.
  2. 函数 $f(x)$ 在 $[a,b]$ 上单调增减且非负,则存在 $ \xi \in[a, b] $ ,使 $ \int_{a}^{b} f(x) g(x) d x=f(a) \int_{a}^{\xi} g(x) d x $.
  3. 函数 $f(x)$ 在 $[a,b]$ 上单调,则存在$ \xi \in[a, b] $ ,使 $ \int_{a}^{b} f(x) g(x) d x=f(a) \int_{a}^{\xi} g(x) d x+f(b) \int_{\xi}^{b} g(x) d x $.

参考资料

文章链接:
https://www.zywvvd.com/notes/study/math/theorem/mean-value-theorem/mean-value-theorem/