46. 常用的换元积分, 子流形上的积分

回顾: 换元积分公式

上次课, 我们证明了换元积分公式: 中开集, 我们用 分别表示开集 上的 Lebesgue 测度. 映射那么, 对任意的 上对 可积的函数 , 我们有

例子. 我们要熟记如下两个最常用的换元积分公式, 极坐标换元和球坐标换元:

1)

我们现在考虑 . 注意到, 和全空间 只相差一个零测集, 所以在 上的积分可以在 上来就算. 我们考虑极坐标变换:

MathAnalysis-N0201.svg
我们之前已经在作业中计算过这个坐标变换的行列式, 这给出我们可以看到, 具有很好的乘积结构, 所以我们可能可以利用 Fubini 公式来计算某些积分.

2)

, . 我们考虑球坐标变换 1:

MathAnalysis N1605.jpg
我们有

我们给出换元积分公式的两个经典应用:

例子 (Gauss 积分的计算). 我们要重新计算 . 为此, 根据 Fubini 公式, 我们考虑所以, .

例子 (行列式的几何含义). 很多的线性代数课本上来就声明行列式表示的空间中平行多面体的体积, 这实际上是扑风捉影的叙述. 只有定义了什么是体积, 才能作出这样的论断, 我们现在给出这个说法的解释. 给定线性映射 (我们直接用矩阵来表示) 首先考虑由顶点在原点, 以 作为边的平行多面体 (正方体) , 它的测度为 . 另外, 是顶点在原点, 以 作为边的平行多面体, 根据换元积分公式, 所以,

MathAnalysis N1606.svg
另外, 我们有这就是我们平时所说的以 为顶点的平行多面体的体积, 其中 .

注记. 我们所寻求的高维的积分理论一定要具备两个基本的工具: 第一, Fubini 定理, 它可以把高维积分 (乘积空间上) 转化为低维的来计算; 第二, 换元积分公式, 它可以把一个不规则区域上的积分转化为乘积型区域上的积分, 从而用 Fubini 来计算. 我们现在建立的积分理论满足这两点, 传统的 Riemann 积分理论也要建立这两个公式, 所以, 从计算积分的观点来看, 我们的所得到的理论和 Riemann 积分实际上差别不大.

子流形上的积分 (第一型曲线/曲面积分)

我们从测度论的观点来研究传统的曲面积分, 也就是在子流形上进行积分. 我们从最简单的子流形开始研究这个问题 (即 中的一个线性子空间或者仿射子空间) . 我们固定一个背景空间 , 在 上我们将使用 Lebesgue 测度 . 我们用 表示 的一个 -维仿射子空间 . 最基本的问题是: 如何测量 上集合的体积 (面积) , 即如何在 上定义测度? 对于这个测度, 我们还需要它和直观是一致的 (和 Euclid 几何的直观相符) . 为此, 我们研究一个更简单明了的例子:

例子.

考虑映射它的像就是 中的直线 的直线 .

我们强调一点, 是我们关心的几何对象, 它还可以通过另外的方式来参数话, 比如这个映射的像也是 .

我们考虑 上的 点和 点之间的一段线段 , 我们直观上希望它的长度是 .

然而, 根据参数化 或者 , 我们有若干中不同的方式给出 上的测度:

1)

我们用 作为 上的测度, 即我们定义 的测度为此时, 用 表示参数, 上的测度 . 我们希望这条直线上的测度是 .

2)

我们用 作为 上的测度, 即我们定义 的测度为此时, 用 表示参数, 上的测度 . 我们希望这条直线上的测度是 .

我们希望说明 或者 是我们在不同的参数化下同一个测度的不同表示而已 (它们都是相对于参数化的一个带有密度的测度) !

仿射子空间 上的测度, 我们也有类似的困境. 我们取仿射变换 (一次函数) 来参数化我们的仿射子流形: 其中, , 的矩阵并且 ( 为映射 的 Jacobi 矩阵) . 我们强调在 上我们选取了坐标 并且假定了这两个空间上有和这两个坐标系相对应的标准的内积结构 (选定了标准正交基) .

为了定义 上的测度, 最干脆 (但是错误) 的做法是用 上的 Lebesgue 测度在 下的像, 即 , 作为 上的测度, 前面的例子表明, 这个不符合直观. 我们可以用 自身来修正这一点:

定义 46.1 (Gram 矩阵). 我们定义一个 的矩阵我们把它称作是参数化 Gram 矩阵. 我们定义 上的测度 为: 换而言之, 对任意的 , 我们有

我们用之前例子中的映射此时, , , 所以, 相应的测度为 . 如果我们换成此时, , , 所以, 相应的测度为 .

按照我们在例子中的讨论, 这两个测度实际上是同一个, 也恰好是我们直观上想要找的测度.

引理 46.2. 上的测度 不依赖于仿射线性化 的选取.

证明. 我们给两个仿射参数化 (忘掉平移部分) : 此时, 存在一个同构的仿射变换使得 , 其中 的可逆矩阵. 我们自然有 (比如求微分) 所以, 从而, 对于任意的 , 根据在 上的换元积分公式, 我们有这说明 的定义不依赖于仿射参数化的选取.

我们给出两个例子来说明我们的构造和我们的几何直观是相符的:

例子. 这两个例子都是关于超平面的 (余维数是 ) :

1)

假定 , , 令 上的单位法向量 (场) (与 在每一点处的切空间垂直) , 是 Borel 集. 我们定义以 为底高为 的柱体 为:

MathAnalysis N1701.svg
我们证明根据 Lebesgue 测度的旋转不变性以及测度 是参数不变的, 我们可以在 的仿射参数上符合一个 中的正交变换 (不改变 Gram 矩阵的行列式) , 从而不妨假设并且这时, 命题显然成立 (乘积测度的定义) .

2)

我们将 实现为函数的图像: 给定线性函数它的图像    中的超平面. 由于 是线性的, 所以我们有从而, . 子流形 的 (共有两个) 单位法向量 (场) 为为了给出 , 我们现在找出 的参数化: 它所对应的 , 所以从而, 相应的测度为所以, 如果你要在 上积分一个函数 , 我们先把 写成复合的形式: 从而,

这就化成了 上的积分.

上面关于线性子流形的构造很容易推广到一般的子流形上去, 基本的想法是局部上把每个子流形看作是参数化的流形, 尽管这只是局部的构造, 但是局部上能定义测度也就可以整体上定义测度了, 所以子流形的积分的理论本质上是局部的问题. 给定一个子流形 , 我们假设 . 对于任意的 , 按照定义, 存在开集 , , 开集 和光滑映射 , 使得

1)

是微分同胚;

2)

对每个 , , 从而, 是非退化的 的矩阵.

MathAnalysis N1702.svg
(上面的映射方向和我们的子流形的定义中的映射方向是相反的, 但这个不妨碍证明)

仿照仿射子流形的情况, 对于任意的 Borel 集 , 我们定义其测度为换而言之, 我们将 上的子流形测度 (也叫做曲面测度) 定义为其中 上的 Lebesgue 测度. 当然, 如果 是仿射子流形并且 是仿射变换, 这与之前的构造一致.

我们现在说明这个测度是良好定义的:

引理 46.3. 上定义的测度不依赖于参数化 的选取. 其中, 我们在 配有 Borel-代数 (它和 是微分同胚的) . 特别地, 这个测度是局部上定义的, 从而也在子流形的整体上有了定义.

证明. 这个证明和仿射情形的证明如出一辙: 假设 是另一个参数化, 即存在开集 和光滑映射 , 使得是微分同胚. 所以, 如果我们定义 , 即 , 我们就得到一个微分同胚( 同胚即可) . 这可以用如下的交换图表来表示:

利用复合映射的求微分公式, 我们就有所以, 我们在 上分别用 作为坐标, 其中 . 那么, 根据对 的换元积分公式, 我们有这表明测度 不依赖于参数化的选取.

注记. 如果 上定义的函数并且 上的限制是可积的 (对测度 而言) , 那么这将是非常有用的公式, 因为它把曲面积分转化为通常的在 上的一个区域上的积分, 定要熟练记忆和运用.

例子. 我们考虑 1 维的子流形对它进行参数化, 这就是参数化的曲线其中对任意的 , . 我们固定 , 我们来研究曲线上 之间的曲线段 的测度/长度. 首先, , 所以, 按照定义: 这和上个学期所定义的参数曲线的长度的定义一致. 特别地, 我们用 表示该曲线 (即 的像) , 是给定的 (可积) 函数, 那么这将是非常有用的公式, 定要熟练记忆和运用.

下面所展示的是另一个核心的例子:

例子. 给定光滑函数我们考虑它的图像所定义的 中的超曲面 . 该曲面在 法向量为实际上, 很容易看出, 由如下 个向量所张成, 直接计算就得到 , 其中 .

我们用如下的映射来参数化 : 所以, 我们有这是一个 的矩阵, 如果用分块矩阵的写法, 我们有 , 其中 的单位矩阵, 为列向量. 所以, 所以, (这是一个很有意义的行列式的计算, 我们把它留作作业) 所以, 我们所求的曲面测度为那么, 对于任意的 上定义的函数, 我们有 (只要下面的等式有意义) 这将是非常有用的公式, 必须要熟练记忆和运用.

脚注

1.

^ 编注: 图中的变换事实上是