第二章 互相干函数与复相干度：从定义到物理直觉

各位同学，欢迎来到第二章。上一章我们聊了光场的统计描述，知道了为什么要用「相干性」这个概念。这一章，我们要正式引入两个核心工具——互相干函数和复相干度。

说实话，我刚接触这部分内容时，觉得公式又长又抽象。直到后来做干涉测量实验，才发现这些量其实就在我们手边。你想想看，两个光束能不能产生清晰的干涉条纹？条纹的对比度有多高？这些问题，归根结底就是互相干函数在背后「指挥」。

2.1 互相干函数的定义

先看一个最基础的场景。空间中有两个点 \( P_1 \) 和 \( P_2 \)，它们的光场分别是 \( U(P_1, t) \) 和 \( U(P_2, t) \)。我们想知道这两个光场在时间上有什么关联。

定义互相干函数为：

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

这里的尖括号表示时间平均，星号是复共轭，τ 是时间延迟。说白了，就是把一个光场延迟一段时间后，再和另一个光场的共轭做乘积，然后取平均。

我个人习惯把这个公式拆成三步理解：

1. 取共轭：保证结果是一个复数，能同时描述振幅和相位信息
2. 加延迟：τ 可以正可以负，代表谁先谁后
3. 做平均：消除随机涨落，提取统计规律

当 \( P_1 = P_2 \) 时，互相干函数退化为自相干函数：

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

这个量描述的是同一个点在不同时刻的关联程度。我在做激光器线宽测量时，用的就是自相干函数的傅里叶变换——嗯，这个后面会细讲。

2.2 归一化处理：复相干度

互相干函数有一个问题：它的数值大小和光强有关。两个强光束的互相干函数值天然就大，但这不代表它们相干性更好。我们需要一个归一化的量。

定义复相干度：

γ₁₂(τ) = Γ₁₂(τ) / √[Γ₁₁(0) · Γ₂₂(0)]

分母中的 \( \Gamma_{11}(0) \) 和 \( \Gamma_{22}(0) \) 其实就是 \( P_1 \) 和 \( P_2 \) 点的光强。所以：

γ₁₂(τ) = Γ₁₂(τ) / √[I(P₁) · I(P₂)]

这个归一化操作很巧妙。它把光强的影响剔除掉了，只保留「纯相干性」的信息。复相干度的模值永远在 0 到 1 之间：

|γ₁₂(τ)| 取值	物理含义	干涉条纹对比度
1	完全相干	最高（明暗反差最大）
0	完全不相干	无条纹（均匀光强）
0 ~ 1	部分相干	介于两者之间

2.3 物理意义：到底在描述什么？

复相干度其实在回答三个问题：

• 时间相干性：同一个点，不同时刻的光场有多像？——由 τ 决定
• 空间相干性：同一时刻，不同位置的光场有多像？——由 P₁、P₂ 决定
• 混合情况：既不同时也不同位置，关联如何？——由 τ 和位置共同决定

举个例子。我在调试迈克尔逊干涉仪时，遇到过一种情况：两臂光程差稍微一变大，条纹就模糊了。这就是时间相干性在起作用——光源的相干长度有限，τ 太大，|γ| 就掉下去了。

2.4 范西特-泽尼克定理：初步引入

现在问题来了：对于一个扩展光源（比如一颗恒星、一个LED面光源），它发出的光在空间两点之间的相干性怎么算？

这就是范西特-泽尼克定理要解决的问题。这个定理说：

对于一个非相干扩展光源，它在远场观察平面上产生的互相干函数，正比于光源强度分布的傅里叶变换。

用公式表达（简化形式）：

Γ₁₂(0) ∝ ∫ I(ξ, η) · exp[-i·(2π/λ)·(Δx·ξ + Δy·η)/R] dξ dη

其中：

• I(ξ, η) 是光源面上的强度分布
• Δx, Δy 是观察面上两点的间距
• R 是光源到观察面的距离
• λ 是中心波长

这个定理的妙处在于：它把「空间相干性」和「光源的角尺寸」直接挂钩了。光源越小，相干面积越大；光源越大，相干面积越小。

我记得有一次做星体干涉测量，要估算两颗星能不能被分辨。当时就是用范西特-泽尼克定理反推——先测出干涉条纹的对比度随基线距离的变化，然后反算出星体的角直径。嗯，这个定理在天文观测里是看家本领。

2.5 知识结构总览

下面这张图把本章的核心逻辑串起来了：

从图中可以看到，整个逻辑链条是：光场统计描述 → 互相干函数 → 归一化得到复相干度 → 分别处理时间相干性和空间相干性。范西特-泽尼克定理就是空间相干性的核心工具。

2.6 小结与实用提示

这一章的内容，说白了就是两件事：

• 互相干函数是原始数据，包含光强和相干性信息
• 复相干度是归一化后的纯相干性指标，模值直接对应条纹对比度