4. 定理的推导过程：从惠更斯-菲涅尔原理到统计平均

好，咱们进入第4章。说实话，范西特-泽尼克定理的推导，是整门课里最「劝退」的一段。很多教材一上来就摆一堆积分公式，看得人头皮发麻。

但我个人习惯是：先搞清楚它到底在算什么，再去看公式。说白了，这个定理就是在回答一个问题——一个扩展的、非相干的光源，它发出的光在远场会产生什么样的相干性？

推导分三步走：从惠更斯-菲涅尔原理出发，做远场近似，最后做统计平均处理。每一步都有它的物理直觉在。咱们一步步来。

4.1 第一步：从惠更斯-菲涅尔原理出发

还记得惠更斯-菲涅尔原理吗？它说波前上的每一点都可以看作一个新的次级球面波源。这些次级波在空间某点叠加，就形成了该点的光振动。

嗯，这里要注意：这个原理是标量衍射理论的基石。虽然它忽略了光的偏振特性，但在大多数相干性计算中，它足够用了。

假设我们有一个扩展光源，分布在平面 Σ 上。光源上任意一点 S 的复振幅记为 U(S)。那么，在观察平面上的某点 P，它的复振幅可以写成：

U(P) = (1 / iλ) ∫∫_Σ U(S) * [exp(ikr) / r] * cosθ dS

这里：

• r 是 S 到 P 的距离
• k = 2π/λ 是波数
• cosθ 是倾斜因子，通常近似为 1
• 1/iλ 是归一化常数

这个公式看着复杂，其实意思很简单：P 点的光，是光源上所有点发出的球面波传到 P 点后的总和。

4.2 第二步：远场近似（夫琅禾费近似）

接下来是关键一步。我们假设观察点 P 离光源足够远。远到什么程度？远到我们可以把球面波近似成平面波。

具体来说，我们把距离 r 展开成泰勒级数：

r = √[z² + (x - ξ)² + (y - η)²]
   ≈ z + [(x - ξ)² + (y - η)²] / (2z) - ...

在远场条件下，我们只保留到一次项，忽略二次项及更高阶项。这就是夫琅禾费近似。

做了这个近似后，公式就简化成：

U(P) = [exp(ikz) / (iλz)] * ∫∫_Σ U(S) * exp[-i2π(xξ + yη) / (λz)] dξ dη

你发现没有？这其实就是一个二维傅里叶变换！

观察平面上的复振幅分布，就是光源复振幅分布的傅里叶变换。这个结论太重要了，它把光学衍射和信号处理联系在了一起。

4.3 第三步：统计平均处理

好，现在到了最微妙的地方。前面我们算的是单个点 P 的复振幅。但相干性关心的是两个点之间的相关性。

对于非相干光源，光源上不同点的发光是相互独立的。它们的相位随机涨落，没有固定关系。这就需要用统计平均来处理。

我们定义互相干函数 Γ(P₁, P₂, τ)：

Γ(P₁, P₂, τ) = ⟨U(P₁, t + τ) * U*(P₂, t)⟩

尖括号表示时间平均。这个函数描述了 P₁ 和 P₂ 两点光振动的相关程度。

把远场近似的结果代入，经过一番推导（我这里省略了中间步骤，但核心思路是交换积分和平均的顺序），我们得到：

Γ(P₁, P₂, 0) = ∫∫ I(S) * exp[-i2π(Δx·ξ + Δy·η) / (λz)] dξ dη

其中：

• I(S) 是光源的光强分布
• Δx = x₁ - x₂，Δy = y₁ - y₂ 是观察面上两点的间距

这个公式就是范西特-泽尼克定理的数学表达。它告诉我们：

远场观察面上两点的复相干因子，等于光源光强分布的归一化傅里叶变换。

4.4 推导过程的知识图谱

为了让你对整个推导脉络有个直观印象，我画了张流程图：

4.5 推导结果的意义

推导完了，咱们来总结一下这个定理到底告诉了我们什么：

你想想看，这个定理最漂亮的地方在于：它把光源的几何尺寸和光场的相干性直接联系起来了。你不需要知道光源上每个点的具体相位，只需要知道它的光强分布，就能算出远场的相干性。

我在做空间光通信系统设计时，就靠这个定理来估算接收孔径的相干长度。如果接收孔径大于相干长度，就需要做分集接收，否则信号会严重衰落。