计划 R-S 积分这一节主要谈及一元函数的 Reimann-Stieltjes 积分的定义、性质, 以及一些基本的计算规则; 有界变差函数. 最后作为积分和巴拿赫不动点定理的一个应用, 导出常微分方程中的 Picard-Lindelof 定理(局部上解的存在及唯一性).

最近很忙, 姗姗来迟的更新, 这次内容不多, 主要都是一些概念性的东西. 算是[R-S 积分]第(1)部分吧.


积分, 最早是为了求解(不规则的)形状的“面积”而创造出来的.从古希腊阿基米德切片求球体积, 到中国古代“祖暅原理”都已经出现了积分的朴素思想.

如果大家会玩 Minecraft 这个游戏, 对这样一个简单而精巧的想法应该也有所体会: 任何现实生活中的形状, 都可以通过一系列的长方体(形)的组合近似(逼近). 以直代曲, 以规则替代不规则, 一个函数图像与坐标轴围成的面积, 可以通过分割近似为一系列长方形的和来得到. 这里将从最简单的一元函数积分开始, 来介绍积分理论. 而更严格,更灵活的积分理论, 则需要用“测度”的概念, 这留待以后再谈.

积分的定义

Reimann 积分

将朴素的“积分思想”严格成积分, 我们先给出以下一些定义:

我们称 \tau:=(x_0,x_1,\cdots,x_n) 为区间 I:=[a,b] 的一个分割, 若
a=x_0<x_1<\cdots<x_n=b,~~n\in \mathbb{N}_+.
\tau 是另一个分割 \tau' 的子集, 则称 \tau' 为分割 \tau加细, 记为 \tau'\geqslant\tau .

下面是黎曼和的定义

[黎曼和]
f 为定义在 I:=[a,b] 上的实函数. 设 \tau:=(x_0,x_1,\cdots,x_n) 是区间 I 的一个分割, 记 \Delta x_i =x_i-x_{i-1} , 并设 \lVert\tau\rVert:=\max_{1\leqslant i\leqslant n}\{\Delta x_i\} , 对任意 \xi_i\in[x_{i-1},x_i] , 我们称
\sum_{i=1}^{n}f(\xi_i)\Delta x_i
fI 上的一个 Reimann 和.

黎曼和的几何意义是明显的: 当分割加细,生成的一系列长方形的和也越来也接近于一个函数图像与坐标轴围成的面积.下面给出积分的具体定义.

f 为定义在 I 上的实函数, 若存在实数 A , 满足 \forall \varepsilon>0 , \exists \delta>0 , 对于任意的分割 \tau\lVert\tau\rVert<\delta , 有
\left|\sum_{i=1}^{n}f(\xi_i)\Delta x_i - A\right|<\varepsilon,~~\forall\xi_i\in[x_{i-1},x_i], i=1,\cdots,n,
就称函数 fIReimann可积, 用 f\in \mathscr{R} 表示. 同时 A 称为 fI 上的定积分, 记为:
\int_{a}^{b}f(x)dx=\lim_{\lVert\tau\rVert\rightarrow 0}\sum_{i=1}^{n}f(\xi_i)\Delta x_i.
f 称为被积函数, I 称为积分区间.

容易证明,在区间 I 上可积的函数, 必然在 I 上有界. 但是有界函数未必可积. 数学家达布(Darboux) 给出了有界函数黎曼可积的充分必要条件, 这也是我们之后常用的积分的另一种等价定义.(下面参考Rudin书上的符号来)

[黎曼积分的达布定义(充要条件)]
f 为定义在 I 上的有界实函数, 对应于 I 的任意分割 \tau ,令
M_i = \sup_{x_{i-1}\leqslant x\leqslant x_i}f(x),\quad m_i = \inf_{x_{i-1}\leqslant x\leqslant x_i}f(x),
U(\tau, f)=\sum_{i=1}^{n}M_i\Delta x_i
f 关于 \tauDarboux 上和;
L(\tau, f)=\sum_{i=1}^{n}m_i\Delta x_if 关于 \tauDarboux 下和.\\

\overline{\int_{a}^{b}}f(x)dx=\inf{U(\tau, f)},\\ \underline{\int_{a}^{b}}f(x)dx=\sup{L(\tau, f)},
以上式子中, 上下确界是对所有分割而取的, 左边两式分别称为 fI 上的上积分下积分.函数 f I上 Reimann可积,当且仅当上积分与下积分相等.

在上述定理中,涉及到Darboux 上和与Darboux 下和概念, 它们有一些性质值得注意(利用定义容易证明):

  • 对于任意分割 \tau , 恒有 L(\tau, f)\leqslant U(\tau, f) ;
  • 若有 \tau'\geqslant\tau , 则上和不增, 下和不减.
  • 对于任意两个分割 \tau_1,\tau_2 , 恒有 L(\tau_1, f)\leqslant U(\tau_2, f) ;
  • \sup{L(\tau, f)}\leqslant\inf{U(\tau, f)} , 即下积分不超过上积分.

接下来, 将黎曼积分稍微推广一下, 我们来考虑更一般的情况.

Reimann-Stieltjes 积分

1894年,数学家Stieltjes研究连分数时, 将黎曼积分推广, 引入了Reimann-Stieljes积分. 利用这个积分可以将关于连续型和离散型概率分布函数的统计学理论化为统一的形式, 是概率论和金融数学等领域的重要工具.

[R-S积分]
\alpha[a,b] 上的一个单调递增函数, f[a,b] 上的有界函数. 对应于 [a,b] 的任意分割 \tau:=(x_0,x_1,\cdots,x_n) , 记
M_i = \sup_{x_{i-1}\leqslant x\leqslant x_i}f(x),\\ m_i = \inf_{x_{i-1}\leqslant x\leqslant x_i}f(x),\\ \Delta\alpha_i=\alpha(x_i)-\alpha(x_{i-1}),
定义 f 关于 \alpha\tau 的 Darboux 上和与下和
U(\tau, f,\alpha)=\sum_{i=1}^{n}M_i\Delta \alpha_i;\\U(\tau, f,\alpha)=\sum_{i=1}^{n}m_i\Delta \alpha_i,
类似的,记
 \overline{\int_{a}^{b}}fd\alpha=\inf{U(\tau, f,\alpha)},\\ \underline{\int_{a}^{b}}fd\alpha=\sup{L(\tau, f,\alpha)},
它们分别称为 f 关于 \alpha 的上积分和下积分. 若上下积分相等, 则称 f 关于 \alphaReimann-Stieltjes可积的,记为 f\in \mathscr{R}(\alpha) . 可简称R-S可积.

显然,当我们取 \alpha(x)=x 时,以上定义,就是黎曼积分的定义. 同时,关于Darboux 上和与下和有类似的讨论:

  • 对于任意分割 \tau , 恒有 L(\tau, f,\alpha)\leqslant U(\tau, f,\alpha) ;
  • 若有 \tau'\geqslant\tau , 则上和不增, 下和不减.
  • 对于任意两个分割 \tau_1,\tau_2 , 恒有 L(\tau_1, f,\alpha)\leqslant U(\tau_2, f,\alpha) ;
  • \sup{L(\tau, f,\alpha)}\leqslant\inf{U(\tau, f,\alpha)} ,即下积分不超过上积分.

有了积分的定义, 现在考虑判定一个函数是否可积的问题. 对此,我们有:

[a,b] 上, f\in\mathscr{R}(\alpha) 当且仅当: \forall \varepsilon >0, \exists \tau_\varepsilon , 使得 U(\tau, f,\alpha)-L(\tau, f,\alpha)<\varepsilon.

应用这一定理, 可以得到一些可积函数类.

  • \alpha[a,b] 上的单调递增函数, f[a,b] 上连续,则 f\in\mathscr{R}(\alpha) .
  • \alpha[a,b] 上的单调递增连续函数, f[a,b] 上单调,则 f\in\mathscr{R}(\alpha) .
  • f[a,b] 上有界, 且仅有有限个间断点,而$\alpha$在$f$的 每个间断点连续,则 f\in\mathscr{R}(\alpha) .

下一篇预告: 分析之[R-S积分] Part(2)/ 关键词: 有界变差函数, 不定积分, Picard-Lindelof 定理

来源:知乎 www.zhihu.com

作者:济云

【知乎日报】千万用户的选择,做朋友圈里的新鲜事分享大牛。
点击下载

毒镜头:老镜头、摄影器材资料库、老镜头样片、摄影