内积空间与傅立叶级数分析.docVIP

2.5 傅立叶级数与可分的Hilbert空间 在数学分析中，一个以为周期的函数可以展开为Fourier级数 ： 其中的傅里叶系数为 而且由收敛定理知：若函数在一个周期内(1)连续或只有有限个第一类间断点(可取或跳跃间断点)；(2)至多有有限个极值点，那么对于连续点Fourier级数收到；对于间断点级数收敛到左右极限的算术平均值． 可验证是的一个标准正交系．内积定义为，所以的展开式中的系数可改写为 的展开式即为： ： 这种函数的展开式表示是研究很多实际问题的重要工具．下面将这种展开推广到一般的Hilbert空间． 2.5.1 傅立叶级数及其收敛性 定义2.5.1 Fourier级数 设为内积空间的标准正交系，，称级数 为关于的傅立叶级数，其中()为关于的傅立叶系数． 傅立叶级数在什么条件下收敛？与系数的关系如何？ 定理1.1 设为内积空间的标准正交系，，记 ， 那么，是在上的正交投影． 注意：上述定理中，，，也是在上的最佳逼近． 定理2.5.1 最佳逼近定理 设为内积空间的标准正交系，，()，则对任何数组有 ． 证明　设以及，则由上述定理1.1知是在上的正交投影，即，．又因，可见，于是 ． 因此根据勾股定理(第三个等号)有 ．□ 定理2.5.2 贝塞尔(Bessel)不等式 设为内积空间的标准正交系，则，()有 ． 证明　设，下面分别证明以及．显然是在上的正交投影，即，，显然有，那么得 ． 又因为 因此，当时有．□ 注1：对于任意向量有，即上述定理中；收敛，即． Bessel不等式的几何意义为：向量在每一个单位向量上的投影的“长度”的平方和，不超过“长度”的平方． 定理2.5.3 傅立叶级数收敛的充要条件 设为内积空间的标准正交系， ，则关于的傅立叶级数收敛于(即)的充要条件为，其中()，称为巴塞弗(Parseval)公式． 证明　设，则，于是 (勾股定理) (定理2.5.2) 因此级数收敛的等价条件为(依范数)，即 ．□ 注2：由上述定理知，在内积空间的标准正交系下，当Bessel不等式中的等号成立时(即Parseval公式成立)，关于的傅立叶级数就收敛于．那么在什么条件下Bessel不等式成为等式？这与中的标准正交系有没有选取得足够多有关．例如在中，对于任意向量，若选取与空间维数相同数目的标准正交系有 ，． 因为也是的标准正交系，而选取这个标准正交系其结果是 ． 显然原因在于标准正交系没有取“全”． 图2.5.1 向量在上的正交投影示意图 定义2.5.2 完全标准正交系(基) 设为内积空间的标准正交系，如果，，则，那么称为内积空间的完全标准正交系(或完全标准正交基)． 引理2.5.1 设是Hilbert空间的一个完全标准正交系，，则． 证明 假设存在向量，根据投影定理得，，．显然，于是，，这与是的一个完全标准正交系相矛盾，故．□ 定理2.5.4 设是Hilbert空间，则以下命题等价: (1) 是的完全标准正交系； (2) ，关于的傅立叶级数收敛，； (3) ，． 证明 (1)(2) 根据上述引理知，其中，于是，，存在，使得 ． 由最佳逼近定理知 ． 当时，由勾股定理知 ． 令，有，于是根据的任意性可得． (2)(3) 由傅立叶级数收敛的充要条件可得． (3)(1) 设，，，由可得 ， 故，即是的完全标准正交系．□ 注3：通过上述定理把数学分析中的Fourier展开式推广到抽象的Hilbert空间中，并揭示了完全标准正交系、Parseval公式及Fourier展开式之间的本质联系．可以证明，在空间中，三角函数系 是它的完全标准正交系． 2.5.2 可分Hilbert空间的模型 定义2.5.3 线性等距同构 设为同一数域上的内积空间，如果存在从到上的一一映射：保持线性运算和内积，即，有 ；， 则称与线性等距同构． 事实上，可将线性等距同构的两个内积空间看作“同一”个空间．下面分别刻画有限维和无限维的Hilbert空间． 定理2.5.5 有限维Hilbert空间模型 设是维Hilbert空间，则与复内积空间线性等距同构． 证明 在上取一组基，应用格拉姆-施密特(Gram-Schmidt)方法将其正交化，可得的标准正交系，作到上的映射： 容易验证是从到上的线性等距同构映射．□ 定理2.5.6 Hilbert空间可分充要条件 无限维Hilbert空间可分当且仅当有完全标准正交系． 证明 由可分知，存在可列的稠密子集．下面首先(1)由构造线性独立系，其次(2)将正交化得到标准正交系，最后(3)再证明是的完全标准正交系． (1) 设是中的第一个不为非零元素，记为；是之后中的第一个与线性无关的元素，记为；同样地，记之后中的第一个与，线性无关的元素为．以此类推可知是的线