最后更新: 2025-11-29 16:09 查看: 144 次纠错评论(0) 课件开VIP

有界变差

## 有界变差
定义 5.3 设 $f(x)$ 在 $[a, b]$ 有定义．对 $[a, b]$ 作任意的分法

$$
\Delta: a=x_0<x_1<\cdots<x_n=b
$$

如果

$$
\sup _{\Delta} \sum_{i=1}^n\left|f\left(x_i\right)-f\left(x_{i-1}\right)\right|<+\infty ...(17)
$$

那么称 $f$ 在 $[a, b]$ 是**有界变差**的，记为 $f \in \operatorname{BV}[a, b]$ ；称（17）中的上确界为 $f$ 在 $[a, b]$ 的**全变差**，记为 $\underset{a}{b}(f)$ ，即

$$
\underset{a}{ V }(f)=\sup _{\Delta} \sum_{i=1}^n\left|f\left(x_i\right)-f\left(x_{i-1}\right)\right|
$$

`例` 若 $f(x)$ 在 $[a, b]$ 单调，则 $f$ 在 $[a, b]$ 有界变差．
这是因为，当 $f$ 在 $[a, b]$ 单调，有

$$
\sum_{i=1}^n\left|f\left(x_i\right)-f\left(x_{i-1}\right)\right|=\left|\sum_{i=1}^n\left(f\left(x_i\right)-f\left(x_{i-1}\right)\right)\right|=|f(b)-f(a)|
$$

从定义 5.3 容易看出，有变差函数必然是有界的；两个有界变差函数的和，差与积仍然是有界变差函数．

**定理5.4** 若 $f$ 是定义在 $[a, b]$ 的实值函数，则对任意的 $a<c<b$ ，有

$$
\underset{a}{ V }(f)=\underset{a}{ V }(f)+\underset{c}{ V }(f) .
$$

证明 对 $[a, b]$ 的任意分法 $a=x_0<x_1<\cdots<x_n=b$ ，如果 $c$ 是分点，则

$$
\begin{aligned}
\sum_{i=1}^n\left|f\left(x_i\right)-f\left(x_{i-1}\right)\right| & =\sum_a^c\left|f\left(x_i\right)-f\left(x_{i-1}\right)\right|+\sum_c^b\left|f\left(x_i\right)-f\left(x_{i-1}\right)\right| \\
& \leqslant \bigvee_c^c(f)+{\underset{c}{e}}_b^b(f)
\end{aligned}
$$

如果 $c$ 不是分点，把 $c$ 插入去，设 $x_k<c<x_{k+1}$ ，由于

$$
\left|f\left(x_{k+1}\right)-f\left(x_k\right)\right| \leqslant\left|f\left(x_{k+1}\right)-f(c)\right|+\left|f(c)-f\left(x_k\right)\right|
$$

则相应的和不超过插人分点 $c$ 的和，从而知

$$
\underset{a}{ V }(f) \leqslant \underset{a}{ V }(f)+\underset{c}{ V }(f) ...(18)
$$

另外，对任意 $\varepsilon>0$ ，由上确界的定义知存在分法

$$
a=x_0<x_1<\cdots<x_k=c<x_{k+1}<\cdots<x_n=b,
$$

使得

$$
\begin{aligned}
& \sum_{i=1}^k\left|f\left(x_i\right)-f\left(x_{i-1}\right)\right|>\underset{a}{\dot{V}}(f)-\frac{\varepsilon}{2} \\
& \sum_{i=k+1}^n\left|f\left(x_i\right)-f\left(x_{i-1}\right)\right|>{\underset{c}{b}}_b^b(f)-\frac{\varepsilon}{2}
\end{aligned}
$$

这表明存在 $[a, b]$ 的分法，使得

$$
\begin{aligned}
\sum_{i=1}^n\left|f\left(x_i\right)-f\left(x_{i-1}\right)\right| & =\sum_{i=1}^k\left|f\left(x_i\right)-f\left(x_{i-1}\right)\right|+\sum_{i=k+1}^n\left|f\left(x_i\right)-f\left(x_{i-1}\right)\right| \\
& \geqslant \bigvee_a^c(f)+{\underset{c}{\mid}}_b^b(f)-\varepsilon
\end{aligned}
$$

从而

$$
\underset{a}{ V }(f) \geqslant \underset{a}{\dot{ V }}(f)+\underset{c}{\dot{V}}(f)-\varepsilon
$$

由 $\varepsilon>0$ 的任意性，得

$$
\underset{a}{ V }(f) \geqslant \underset{a}{ V }(f)+\underset{c}{\stackrel{b}{ V }}(f) ...(19)
$$

综合（18）和（19），便得到定理 5.4 的结果． $\square$

## 有界变差

### 一、核心思想：衡量函数的“波动总量”

你可以把 **有界变差** 理解为对一个函数“上下起伏剧烈程度”的数学度量。

想象一下，你在一张纸上画一条曲线。有的曲线非常平滑，比如一条缓慢上升的直线或抛物线；而有的曲线则非常“曲折”，比如心电图或股票市场的分时图，不停地剧烈上下波动。

**有界变差要回答的问题是：** 无论这条曲线在某个区间内如何上下起伏，它总的“起伏量”（即所有上升和下降的高度总和）是否是有限的？

如果这个总的起伏量是有限的，我们就说这个函数是**有界变差函数**。

### 二、正式定义与直观拆解

设函数 $ f(x) $ 定义在区间 $[a, b]$ 上。

1.  **任意一种“划分”**
    我们在这个区间上任意插入一系列分点：$ a = x_0 < x_1 < x_2 < ... < x_n = b $。这就像把区间切成很多小段。

2.  **计算“分段起伏量”**
    对于每一种划分，我们计算函数在每个小区间 $[x_{k-1}, x_k]$ 上变化的绝对值，然后把它们全部加起来。这个和叫做该划分下的**变差**：
    $$
    V_P(f) = \sum_{k=1}^{n} |f(x_k) - f(x_{k-1})|
    $$
    这个 $ V_P(f) $ 的几何意义就是：如果我们用折线去连接这些分点上的函数值，这条折线的总长度。曲线的起伏越剧烈，这个总长度就越大。

3.  **取“上确界”（Supremum）**
    显然，不同的划分会得到不同的 $ V_P(f) $。如果我们把区间分得更细，捕捉到更多微小的起伏，那么 $ V_P(f) $ 可能会变大。

我们考虑**所有可能**的划分（包括那些无限细分、捕捉到每一个微小波动的划分），然后取所有这些 $ V_P(f) $ 的**上确界**（可以理解为最小上界），记为 $ V_a^b(f) $：
    $$
    V_a^b(f) = \sup\{ V_P(f) : P是[a,b]上的任意划分 \}
    $$
    这个 $ V_a^b(f) $ 就称为函数 $ f $ 在 $[a, b]$ 上的**全变差**。它代表了函数在区间 $[a, b]$ 上所有可能起伏量的总和。

4.  **有界变差的定义**
    如果这个全变差 $ V_a^b(f) $ 是一个**有限的数**，即：
    $$
    V_a^b(f) < +\infty
    $$
    那么我们就称 $ f(x) $ 是 $[a, b]$ 上的**有界变差函数**。

---

### 三、举例说明

#### 例1：单调函数（最简单的情形）
任何单调（单调递增或单调递减）函数都是有界变差的。
- **原因**：对于单调函数，绝对值符号可以去掉。如果是递增函数，那么 $ |f(x_k) - f(x_{k-1})| = f(x_k) - f(x_{k-1}) $。
- 那么对于任意划分，$ V_P(f) = \sum [f(x_k) - f(x_{k-1})] = f(b) - f(a) $。
- 所以，全变差 $ V_a^b(f) = f(b) - f(a) $，这是一个有限的数。

**直观理解**：单调函数只朝一个方向变化，它的总起伏量就是起点和终点的函数值之差，当然是有限的。

#### 例2：满足Lipschitz条件的函数
如果函数满足利普希茨条件，即存在常数 $ L $ 使得 $ |f(x) - f(y)| \le L|x-y| $，那么它也是有界变差的。
- **原因**：对于任意划分，$ V_P(f) = \sum |f(x_k) - f(x_{k-1})| \le \sum L|x_k - x_{k-1}| = L(b-a) $。
- 所以全变差 $ V_a^b(f) \le L(b-a) < +\infty $。

**直观理解**：这种函数的变化速度是“受控”的，不会突然产生无限剧烈的波动。

#### 例3：**不是**有界变差的函数（经典反例）
考虑区间 $[0, 1]$ 上的函数：
$$
f(x) = \begin{cases}
x \sin(1/x), & x \in (0, 1] \\
0, & x = 0
\end{cases}
$$
这个函数在 $ x=0 $ 附近无限震荡。
- **原因**：当我们取划分点越来越靠近0时，可以捕捉到函数在0点附近无限次的上下震荡。每一次震荡的幅度虽然越来越小，但如果我们把无限多次震荡的幅度全部加起来，这个和会趋于无穷大。
- 因此，它的全变差 $ V_0^1(f) = +\infty $。所以它不是有界变差函数。

**直观理解**：这个函数像一个被无限压缩的弹簧，在原点附近来回振荡了无穷多次，尽管振幅减小，但总的振荡路径长度是无限的。

---

### 一、直观理解：路程与位移

想象一个物体在一条直线上运动（比如一辆车在一条长直的公路上来回行驶）。

*   **位移**：物体最终位置和初始位置之间的直线距离。这是一个“净值”。
*   **路程**：物体实际走过的所有路径的总和。它计算了每一个来回和每一次绕行。

**有界变差的直观思想就是：这个物体运动的总路程是有限的。**

我们来对比两种情况：

1.  **情况A：从点0匀速移动到点1。**
    *   位移：1
    *   路程：1
    *   **结论**：这是一个“规矩”的运动，总路程是有限的。

2.  **情况B：在0和1之间来回震荡，且每次震荡的距离减半。**
    *   第一次：从0到1，路程=1
    *   第二次：从1回到1/2，路程=0.5
    *   第三次：从1/2到3/4，路程=0.25
    *   第四次：从3/4回到5/8，路程=0.125
    *   ... 如此往复。
    *   这是一个无限的过程，但总路程是 `1 + 0.5 + 0.25 + 0.125 + ... = 2`。这是一个收敛的几何级数。
    *   **结论**：尽管它来回震荡了无限多次，但它的**总路程是有限的（等于2）**。我们说这个路径是**有界变差**的。

3.  **情况C：一个“坏”的函数**
    现在考虑函数 $f(x) = x \sin(1/x) $ (当 x≠0) 且 $f(0) = 0 $，在区间 [0, 1] 上。
    *   当 x 接近 0 时，这个函数在 -x 和 x 之间无限次地、越来越快地振荡。
    *   可以证明，无论你如何分割区间 [0, 1]，这个函数“上下跑动”的总长度是**无穷大**。
    *   **结论**：这个函数是**无界变差**的。

**核心比喻**：
一个函数在区间上的**全变差**，就是它在整个区间上“上下波动”的总路程。如果这个总路程是一个有限的数，我们就称这个函数是**有界变差**的。

---

### 二、数学定义

设函数 $f $ 定义在区间 \([a, b]$ 上。

1.  **对区间的一个分割** $P $：
    取一系列点 $a = x_0 < x_1 < x_2 < ... < x_n = b $，这构成了区间的一个分割。

2.  **函数在该分割下的变差** $V(P, f) $：
    这是函数在所有小区间上变化量的总和：
    $$
    V(P, f) = \sum_{i=1}^{n} |f(x_i) - f(x_{i-1})|
    $$
    这个值就类似于在特定路径点记录下物体运动的“分段路程”。

3.  **函数在区间上的全变差** $T_f([a, b]) $：
    这是对所有可能的分割 $P $ 所对应的变差 $V(P, f) $ 取上确界（可以理解为最小上界）：
    $$
    T_f([a, b]) = \sup\{ V(P, f) : P是[a,b]的一个分割 \}
    $$
    这相当于求物体在所有可能的记录方式下，能得到的最大“总路程”。

4.  **有界变差的定义**：
    如果全变差 $T_f([a, b]) < \infty $，即是一个有限的数，那么我们就称函数 $f $ 在 \([a, b]$ 上是**有界变差**的。
    所有在 \([a, b]$ 上的有界变差函数构成的集合记作 $BV([a, b]) $。

---

### 三、为什么有界变差很重要？（意义与应用）

有界变差函数具有非常好的性质，这使得它们在许多数学分支中不可或缺。

1.  **与可微和单调函数的关系**
    *   **重要定理**：一个有界变差函数总可以表示为**两个单调递增函数之差**。
    *   **意义**：这个深刻的定理将复杂的有界变差函数分解成了我们非常熟悉的、性质良好的单调函数。单调函数几乎处处可导，所以有界变差函数也**几乎处处可导**。

2.  **在黎曼-斯蒂尔杰斯积分中**
    *   黎曼-斯蒂尔杰斯积分 $\int_a^b f \, dg $ 要求积分器 $g $ 是有界变差的。
    *   **原因**：如果 $g $ 的路径总长度（全变差）是无限的，我们就无法很好地定义这个积分。有界变差保证了积分定义的良好性和收敛性。

3. 在概率论和随机过程中
    *   一个随机过程的**轨道**（即一次具体的观测路径）如果是有界变差的，那么我们可以用经典的勒贝格-斯蒂尔杰斯积分来对它进行积分。
    *   反过来，像**布朗运动**这样的连续时间随机过程，它的轨道是**连续但无处可微**，并且是**无界变差**的。这正是为什么我们需要发展更复杂的**伊藤积分**来处理它，因为经典的理论在此失效。

4.  **在图像处理和信号处理中**
    *   图像的边缘通常可以由有界变差函数来建模。“全变差”被用作一种**正则化器**，用于在去噪的同时保持图像的边缘信息。著名的“ROF模型”就是基于这个思想。

---

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

上一篇：可积函数用连续函数平均逼近

下一篇： Jordan分解定理

本文对您是否有用？有用 (0) 无用 (0)