三角函数完备

这两个图片的内容紧密相关它们共同构建了现代信号处理和函数分析的基石。简单来说第一张图2.4.1提供了理论武器幂函数是完备的第二张图2.4.4则利用这个武器攻克了实际问题证明三角函数也是完备的从而为傅里叶变换奠定了合法性。以下是详细解释第一部分魏尔斯特拉斯逼近定理图1核心观点多项式是万能的“积木”。这段文字2.4.1节重申了我们之前讨论过的魏尔斯特拉斯逼近定理。完备函数组 (Complete Set of Functions)文中列出的1 , x , x 2 , x 3 , … 1, x, x^2, x^3, \dots1,x,x2,x3,…被称为“完备”的。这意味着在闭区间[ a , b ] [a, b][a,b]上没有任何一个连续函数是这组基底无法模拟的。只要你用的项数n nn足够多你就能用多项式P n ( x ) a 0 a 1 x ⋯ a n x n P_n(x) a_0 a_1x \dots a_n x^nPn​(x)a0​a1​x⋯an​xn逼近任意形状的连续曲线。一致逼近 (Uniform Approximation)这是一个非常强的收敛条件。它保证了多项式模拟出来的曲线在整个区间上从左端点到右端点与原函数的误差都小于你设定的任意微小值ϵ \epsilonϵ。不会出现“中间很准两头乱飘”的情况。它的作用 它是后面所有理论的“公理”或出发点。第二部分三角函数的完备性图2核心观点既然多项式是万能的那么三角函数也是万能的。这一节2.4.4解决了一个大问题我们处理周期性信号如声波、地震波时喜欢用sin ⁡ \sinsin和cos ⁡ \coscos而不是x , x 2 x, x^2x,x2。但是凭什么说sin ⁡ \sinsin和cos ⁡ \coscos也能模拟任意函数这段文字给出了证明思路这通常被称为 “Stone-Weierstrass 定理” 的三角形式。1. 证明的逻辑闭环非常巧妙文中并没有直接硬算而是用了一个“变量代换”的技巧把图1的结论“移植”到了图2第一步坐标映射它引入了极坐标变换ξ ρ cos ⁡ θ , η ρ sin ⁡ θ \xi \rho \cos \theta, \eta \rho \sin \thetaξρcosθ,ηρsinθ。这将一维区间上的问题关于x xx或θ \thetaθ转化为了二维平面ξ , η \xi, \etaξ,η平面上的问题。第二步利用魏尔斯特拉斯定理根据图1的结论我们知道代数多项式含ξ , η \xi, \etaξ,η的多项式可以逼近圆周上的任意连续函数。第三步回代既然P ( ξ , η ) P(\xi, \eta)P(ξ,η)可以逼近函数我们将ξ , η \xi, \etaξ,η换回cos ⁡ θ , sin ⁡ θ \cos \theta, \sin \thetacosθ,sinθξ k η m ( cos ⁡ θ ) k ( sin ⁡ θ ) m \xi^k \eta^m (\cos \theta)^k (\sin \theta)^mξkηm(cosθ)k(sinθ)m根据三角公式cos ⁡ \coscos和sin ⁡ \sinsin的乘积与高次幂最终都可以化简为cos ⁡ ( n θ ) \cos(n\theta)cos(nθ)和sin ⁡ ( n θ ) \sin(n\theta)sin(nθ)的线性组合。结论既然代数多项式是完备的那么由它变身而来的三角多项式即傅里叶级数的有限项形式必然也是完备的2. 公式的含义公式 (14)1 2 π , cos ⁡ x π , sin ⁡ x π , … \frac{1}{\sqrt{2\pi}}, \frac{\cos x}{\sqrt{\pi}}, \frac{\sin x}{\sqrt{\pi}}, \dots2π​1​,π​cosx​,π​sinx​,…这是正交归一化的三角函数基底。正交它们互相之间的内积为0。归一化分母带根号它们的自身内积模长为1。这使得计算系数时更加方便不需要再除以模长。求和公式α 0 2 ∑ ( α ν cos ⁡ ν x β ν sin ⁡ ν x ) \frac{\alpha_0}{2} \sum (\alpha_\nu \cos \nu x \beta_\nu \sin \nu x)2α0​​∑(αν​cosνxβν​sinνx)这就是我们熟悉的傅里叶级数。这段话从数学严谨性上告诉你这个级数是可以收敛于原函数f ( x ) f(x)f(x)的。3. “一致逼近” vs “平均逼近”文中最后一段话揭示了一个重要的物理细节情况 A完美衔接 (f ( − π ) f ( π ) f(-\pi) f(\pi)f(−π)f(π))如果函数首尾相连像一个完美的圆环那么三角级数可以一致逼近原函数误差处处极小。情况 B断层 (f ( − π ) ≠ f ( π ) f(-\pi) \neq f(\pi)f(−π)f(π))如果函数首尾不连比如它是直线的线段强行把它看作周期函数时在端点处会发生跳跃。文中指出这种情况下我们退而求其次得到平均逼近Mean Square Approximation。含义积分∫ ( f ( x ) − g ( x ) ) 2 d x \int (f(x) - g(x))^2 dx∫(f(x)−g(x))2dx趋于0。物理意义虽然在跳跃点间断点附近可能会有剧烈的震荡吉布斯现象但从整体来看两者的能量差趋于0。总结这两张图串联起了数学物理方法的核心逻辑图1 告诉我们多项式是连续函数的通用“替身”。图2 利用这个结论推导出三角函数也是连续函数的通用“替身”。这就解释了为什么希尔伯特空间理论在物理中如此强大无论我们面对的是一般的连续场用多项式展开还是周期性的波动场用三角函数/傅里叶展开数学上都保证了我们一定能找到解而且解是唯一的、精确的。