3. 远场近似与准单色光条件：范西特-泽尼克定理的标准形式
好，我们接着往下走。上一章我们把互强度传播的公式搭起来了，但那个公式说实话，用起来太麻烦。你想想看，一个双重积分，核函数还带曲率项，真要拿它去算实际系统，脑袋都大。
所以这一章，我们要做两件事：把公式简化到能用。说白了，就是引入两个工程上几乎永远成立的近似——远场近似和准单色光条件。这两个近似一上，范西特-泽尼克定理就露出了它最经典、最漂亮的样子。
3.1 远场近似：扔掉曲率项
先看远场近似。我在项目里第一次接触这个概念时，总觉得“远场”是个很玄的东西。后来做干涉测量，发现其实很简单——只要光源到观察面的距离足够大，球面波就能近似成平面波。
回到我们的传播公式。互强度从光源面 Σ 传播到观察面，表达式里有这么一项：
exp[ik(r₁ - r₂)] / (r₁ r₂)其中 r₁ 和 r₂ 分别是光源上某点到观察面上 P₁、P₂ 两点的距离。这个 r 在分母和指数里都有，处理起来很麻烦。
远场近似怎么做？我习惯分两步走：
- 分母近似：当观察距离 L 远大于光源尺寸和观察点间距时，r₁ ≈ r₂ ≈ L。分母直接提出来，变成 1/L²。
- 指数近似：指数上的 r 不能随便近似，因为 k 很大（波长量级），微小的差异都会导致相位变化。这里要用泰勒展开到一阶：
r ≈ L + (x² + y²)/(2L) - (x₁x + y₁y)/L这个展开式里，二次项 (x²+y²)/(2L) 就是所谓的“曲率项”。远场条件下，这项远小于波长，可以忽略。剩下的线性项 (x₁x + y₁y)/L 才是真正决定干涉条纹的东西。
远场条件（夫琅禾费条件）：
光源最大尺寸 D 和观察距离 L 满足：D² / (λL) ≪ 1
典型工程判据：D²/(λL) < 0.1 即可认为进入远场。
我的经验：做天文干涉仪时，恒星距离我们动不动就是几光年，远场条件天然满足。但做实验室里的激光散斑测量，光源尺寸几毫米，波长 632.8nm，L 至少要几米才能进远场。我踩过这个坑——一开始距离放太近，算出来的相干面积跟实测对不上，后来一查，远场条件没满足。
3.2 准单色光条件：时间相干性不是问题
远场近似处理了空间传播的几何问题。但别忘了，真实光源都不是理想的单色光。太阳光、LED、甚至激光器都有一定的谱宽。
准单色光条件说的是：光源的谱宽 Δν 足够小，使得光程差范围内的干涉可见度不显著下降。
数学上，这个条件可以写成：
Δν · τ_c ≈ 1其中 τ_c 是相干时间。对于我们的问题，只要观察点 P₁、P₂ 之间的光程差远小于相干长度 L_c = c/Δν，就可以认为时间相干性是完美的。
| 光源类型 | 典型谱宽 Δλ | 相干长度 L_c | 准单色适用性 |
|---|---|---|---|
| He-Ne 激光 | ~0.001 nm | ~0.4 m | ✅ 完全适用 |
| LED | ~30 nm | ~14 μm | ⚠️ 需谨慎 |
| 太阳光（滤光后） | ~10 nm | ~42 μm | ⚠️ 需谨慎 |
| 超连续谱光源 | ~200 nm | ~2 μm | ❌ 不适用 |
准单色光条件带来的简化非常直接：互强度中的时间频率因子 exp(-i2πνt) 可以提到积分外面，因为 ν 近似为常数 ν₀。这样一来，互强度就变成了纯空间量的函数。
3.3 标准形式的推导
好，现在两个近似都到位了。我们开始推导范西特-泽尼克定理的标准形式。
回忆一下，上一章我们得到的互强度传播公式是：
J(P₁, P₂) = ∬_Σ J(S₁, S₂) · [exp(ikr₁)/(iλr₁)] · [exp(-ikr₂)/(-iλr₂)] · cosθ₁ cosθ₂ dS₁ dS₂现在，我们做以下简化：
- 远场近似：r₁ ≈ r₂ ≈ L，cosθ₁ ≈ cosθ₂ ≈ 1，分母上的 r₁r₂ ≈ L²
- 准单色光条件：J(S₁, S₂) 退化为空间相干函数，时间部分分离
- 光源非相干假设：光源面上不同点之间完全不相关，即 J(S₁, S₂) = I(S₁) · δ(S₁ - S₂)
第三个假设是关键。对于热光源（太阳、白炽灯、LED），这个假设几乎完美成立。激光器则不然——它的不同点之间是相干的。
把这三个条件代进去，双重积分退化为单重积分：
J(P₁, P₂) = (1/(λ²L²)) · ∬_Σ I(S) · exp[ik(r₁ - r₂)] dS再用远场下的相位差近似：
r₁ - r₂ ≈ (x₁ - x₂)x/L + (y₁ - y₂)y/L定义空间频率变量：
Δx = x₁ - x₂, Δy = y₁ - y₂
u = Δx/(λL), v = Δy/(λL)于是得到：
J(P₁, P₂) = (1/(λ²L²)) · ∬_Σ I(x, y) · exp[-i2π(ux + vy)] dx dy范西特-泽尼克定理（标准形式）：
观察面上两点的互强度，正比于光源强度分布的二维傅里叶变换，在空间频率 (u, v) = (Δx/λL, Δy/λL) 处的取值。
这个形式太漂亮了。你想想看，一个看似复杂的干涉传播问题，最后归结为一个傅里叶变换。这就是为什么我们在光学设计中经常用这个定理——它把空间相干性的计算，变成了一个我们非常熟悉的数学工具。
3.4 知识结构图
下面这张图把整个推导的逻辑链条画清楚了：
3.5 标准形式的意义
这个标准形式告诉我们三件事：
- 相干性由光源形状决定：圆形光源产生艾里斑型的相干函数，矩形光源产生 sinc 函数型的相干函数。
- 相干面积反比于光源面积：光源越大，相干面积越小。这就是为什么天文干涉仪需要很长的基线——恒星看起来太小，相干面积太大，需要长基线才能看到干涉条纹。
- 波长越长，相干性越好：同样尺寸的光源，用红光比用蓝光更容易看到干涉。
注意适用范围：这个标准形式只适用于：
- 非相干扩展光源
- 远场（夫琅禾费）观察条件
- 准单色光
- 观察面在光源的远场区
如果这些条件不满足，就得回到原始的传播公式，或者用更一般的部分相干理论。
3.6 一个简单的例子
假设我们有一个均匀发光的矩形光源，宽度 a、高度 b，强度 I₀ 常数。那么：
J(P₁, P₂) = (I₀/(λ²L²)) · ∫_{-a/2}^{a/2} ∫_{-b/2}^{b/2} exp[-i2π(ux + vy)] dx dy
= (I₀ab/(λ²L²)) · sinc(πua) · sinc(πvb)其中 sinc(x) = sin(x)/x。这个结果说明：矩形光源产生的相干函数是二维 sinc 函数。第一个零点出现在 u = 1/a 处，对应的观察点间距 Δx = λL/a。
这就是相干长度的物理意义——它告诉你，在观察面上，两个点多远之后就不再相干。