52. 函数的光滑逼近, Fourier 级数

我们先证明一个经常用到的简单事实:

引理 52.1. 假设 是有限测度空间, 即 , 那么, 我们有

证明. 这是 Cauchy-Schwarz 定理的标准应用: 对任意的 , 我们有所以, .

光滑逼近: 接上次

为了证明光滑逼近定理, 我们选取我们之前构造的非负函数 , 其中 点附近恒为 . 我们不妨假设它的积分为 (通过考虑 并选择合适的 ) , 即那么,

MathAnalysis N2201.svg

变小的时候, 函数的支集越来越小, 函数本身越来越高, 请参考上图.

引理 52.2. 对任意的 , 当 , 我们有特别地, 的稠密子空间.

证明. 我们之前证明了 是稠密的, 我们现在说明, 只要对于任意的简单函数 来证明命题就足够了: 对任意的 , 选取简单函数 , 使得假设我们有 . 那么, 存在某个 , 当 时, 我们有 . 所以, 这表明 .

我们现在对简单函数证明这个引理. 根据线性, 只要对 这样的示性函数证明即可, 其中 是 Borel 集并且 (因为这个函数要落在 中) . 另外, 由于在 中, 我们有所以我们可以假设 是有界的 Borel 集合. 进一步, 根据 Borel 测度的正则性定理 1, 我们可以假设 为紧集 (因为我们可以用闭集从内部逼近 , 而 有界) .

我们现在构造一个光滑函数 , 使得 . 为此, 我们要再次利用 Stokes 公式第一个证明中的单位分解的技巧: 对任意的 , 我们有一族有紧支集的非负的光滑函数 , 其中 , 使得对每个 , 落在以 为中心边长为 的正方体中并且: 这里, 是待定的. 我们令这是个光滑函数. 很明显, 上恒为 (关键点) . 另外, 如果 , 那么 . 从而, 由于从而, 所以, 对充分大的 , 我们就有这就证明了命题.

推论 52.3. 是稠密子空间.

证明. 给定函数 . 对任意的 , 存在 , 使得实际上, 我们有根据 Lebesgue 控制收敛定理 (用 作为控制函数) , 当 时, 上述趋于 . 根据刚刚证明的引理, 可以选取 , 使得所以, 最终, 我们观察到 的支集是紧的, 这是因为 的支集是紧的, 而卷积可以看成局部上用 来做平均. 命题得证.

注记. 我们还可以证明 是稠密的; 的稠密子空间. 然而, 不稠密. 我们将在作业中完成它们的证明.

由此可见, 逼近的意义下, 光滑函数可以用来描述这些空间, 所以我们很多理论都致力于光滑函数的研究.

Hilbert 空间的基

命题 52.4. 假设 是 Hilbert 空间 (完备的内积空间) . 如果 是一族两两正交的向量, 即对任意的 , , 都有 , 那么级数 中收敛等价于 收敛.

证明.. 中收敛等价于 中收敛, 这等价于对任意的 , 存在 , 使得对任意的 , . 这个不等式等价于利用正交性, 这个不等式展开之后等价于这自然是 收敛的等价条件.

定义 52.5. 给定完备的内积空间 . 如果 是自己, 如果它所张成的线性空间 (有限个  中元素的线性组合) 在 中是稠密的, 即 , 我们就说 在 Hilbert 的意义下张成 . 如果 可被某个可数 (可以有限) 子集张成, 我们就称 可分的 Hilbert 空间. 如果 (可数) 可以张成 , 并且对任意的 , 我们有 (Kronecker 符号) , 我们就称 的一个 Hilbert 基.

注记. 请区分, Hilbert 基一般不是 作为线性空间的基.

定理 52.6. 每个可分的 Hilbert 空间都有 Hilbert 基.

证明. 假定  张成 . 我们可以 依次做 Gram-Schmidt 正交化 (每一步涉及到有限个 , 从而这和有限维线性空间的理论是一样的) , 这样, 我们就依次得到了 . 很明显, 这是 Hilbert 基, 因为它们张成的空间包含了 .

引理 52.7. 是可分的.

证明. 我们来构造 得一个可数集合由于简单函数空间 中是稠密的, 只要证明 中的元素可以逼近 即可, 其中 是任意选定的 Borel 集并且 的测度有限. 类似于本次课第一个定理的证明, 我们还可以假设 是有界的, 从而, 利用 Borel 集的正则性定理, 我们可以假设 是紧集, 此时, 对于紧集, 我们可以仿照本次课第一个定理的证明用形如 的正方体的示性函数来逼近, 其中我们要求 的变长不超过 , 可以选取的很大, 证明的细节我们留作作业.

注记. 通过对上述定理中 中的函数做 Gram-Schmidt 正交化, 我们可以得到 的一个 Hilbert 基. 然而, 通过这种比较随意的方式得到的 Hilbert 基可能不具有好的性质. 分析学的一个很重要的话题就是如何对特定的函数空间构造一个具有特殊性质的基, 这样的问题在几何和物理中举足轻重. 比如说, 通过对调和振动的研究, 我们可以构造 的一个好的 Hilbert 基, 这个构造的背后既有有意思的分析, 还包含了 Lie 代数表示的想法 (我们在作业中将研究这个问题? ) . 再比如说, 我们的 Fourier 级数就是周期的 函数空间上基, 它们是自由振动的特征函数.

定理 52.8. 是可分的 Hilbert 空间, 是它一个 Hilbert 基. 那么, 任意的 都可以唯一地写成级数的形式: 其中 . 进一步, 我们有 以及 Bessel-Parseval 等式 (勾股定理) :

在证明之前, 我们先证明一个简单的引理:

引理 52.9. 是 Hilbert 空间. 给定 , 我们定义映射那么, 是连续线性泛函 (从 的线性映射被称作是线性泛函) .

证明. 用内积的性质可以直接验证 是线性映射. 为了说明 是连续的, 我们用 Cauchy-Schwarz 不等式: 这就完成了证明.

注记. 在泛函分析的课程中, 我们将证明 上的每个连续线性泛函都形如 , 其中 . 这是所谓的 Riesz 表示定理.

证明. 假设我们有 . 对任意的 , 通过与 做内积 (此时, 连续性保证了内积与求和可交换) , 我们有这个计算启发我们如何证明存在性: 令 . 我们定义部分和 , 其中 . 根据勾股定理, 我们有另外, 我们还有所以, 从而, , 即根据上面的引理, 部分和 收敛, 所以, 我们可以定义按照唯一性的计算, 对任意的 , 我们有由于 是一族 Hilbert 基, 所以, 对任意的 , 存在 , 使得从而, , 这就证明了 , 从而, 具有上述级数的形式. Parseval 等式实际上已经蕴含在上面的证明里面: 由已经证明的关于 的等式对 取极限即可.

上面的证明还蕴涵了如下简单的引理:

引理 52.10 (稠密性的判断). 是 Hilbert 空间, 是线性子空间. 那么, 稠密当且仅当对任意的 , 如果 (即对任意的 , ) , 那么 .

Fourier 级数

我们用 表示以 为定义域、在 中取值并且以 为周期的连续函数所构成的复线性空间 (这些函数是一致连续的) . 按照定义, 对于 , 对任意的 , 我们有

我们考虑映射

MathAnalysis N2301.svg
我们令 (这是一个 -维的环面) , 那么, 是从 的满射并且局部上是微分同胚 (因为 ) .

通过映射 , 我们可以将 上的连续函数 拉回来得到 上的连续函数很显然, 这是一个以 为周期的函数 (因为 ) . 所以, 我们得到了映射这显然是一个单射. 实际上, 这还是满射: 对任意的 , 我们令即可, 其中 . 很容易看出 上良好定义的连续函数并且 .

命题 52.11. 映射-代数的同构, 即这是两个 -线性空间之间的同构并且对任意的 , 我们有

证明是平凡的, 我们略去. 所以, 我们可以将 上以 为周期的连续函数和圆周 的连续函数看做同一个数学对象. 另外, 如果不加说明, 我们采取下面的约定: 我们总是用 来参数化 , 即考虑我们还约定 上的测度为 , 这样子, .

类似地, 我们可以考虑 为周期的连续可微函数, 以 为周期的光滑函数, 以 为周期的并且在每个周期上可积的函数、以 为周期的并且在每个周期上平方可积的函数和以 为周期的 的函数, 这些空间分别对应到 上的空间 .

引理 52.12. 对任意的 , 是稠密的子空间.

证明. 有很多可能的证明, 我们采取一个从概念上最简单最直接的证明方法: 将卷积推广到 上. 我们注意到对于 上的参数化的 (即 ) , 我们可以定义他们之间的加法或者减法 (用更几何的话说, 是一个拓扑群) . 首先, 我们注意到 , 据此, 我们定义这对应着点 . 类似的, 我们可以定义这对应着点 . 换而言之, 我们在 上有自然的加法 (从参数的观点来看) , 这个加法实际上来源于 上的乘法 (因为任意两个模长为 的复数的乘积或者商的模长仍然为 ) .

我们可以把 (选取比较小的 是的它的支撑集很小 (长度不超过 ) ) 以 为周期延拓成 上的以 为周期的函数, 那么, 我们就可以认为 . 对任意的 , 我们定义我们现在可以把 上的证明一字不差地照搬过来证明这个结论, 证明的细节留给对此仍然持有怀疑态度的同学去验证. 我们强调, 此时, 这个定义对 也成立.

我们正式地开始 Fourier 级数的研究. 首先, 由于在相差一个零测集的情况下, 积分理论没有变化, 所以, 为了研究 , 我们只要研究 即可 (这是一个区间的情形) .

定理 52.13. 中, 内积 的定义为函数 是 Hilbert 基.

证明. 首先, 通过直接计算可以说明 由两两正交的单位向量所构成: , 根据我们证明的稠密性判定的引理, 为了说明 稠密, 只需证明对任意的 , 如果 , 即对任意的 , , 那么 (作为 中的函数为 ) .

实际上, 对任何形如 的函数, 都和它垂直. 根据 Weierstrass-Stone 定理, 对任意的连续函数 , 如果 , 那么对任意的 , 存在形如 三角级数 , 使得从而, 这表明对任意的 , , 即 . 然而, 是稠密的, 所以 .