3. 互相干函数：定义、物理意义及其在光学系统中的核心地位

好，我们进入第三个核心概念——互相干函数。说实话，这个概念是部分相干光理论的“心脏”。你如果搞懂了它，后面一大半内容都会变得很自然。

我记得刚接触这个领域时，导师跟我说：“互相干函数就是光场的‘身份证’。”当时我不太理解，后来做了几个实际项目才真正体会到——它确实承载了光场所有的统计信息。

3.1 从两个时空点说起

先问一个问题：我们怎么描述一个光场？

对于完全相干光，一个复振幅就够了。但对于部分相干光，光场在时间和空间上都在随机起伏。你没法用确定性的函数来描述它。

那怎么办？

答案是：用统计量。互相干函数就是最核心的那个统计量。

它的定义是这样的：

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

其中：

• U(P, t) 是光场在空间点 P、时刻 t 的复振幅
• ⟨·⟩ 表示系综平均（实际中常用时间平均代替）
• τ 是时间延迟
• P₁, P₂ 是两个不同的空间点

说白了，它就是两个时空点光场之间的互相关。你想想看，如果两个点的光场完全同步，这个值就大；如果完全不相关，这个值就趋近于零。

3.2 物理意义：它到底在说什么？

我习惯把互相干函数拆成两部分来理解：

分量	物理含义	对应现象
模 |Γ₁₂(τ)|	两个时空点光场的相关程度	干涉条纹的可见度（对比度）
辐角 arg[Γ₁₂(τ)]	两个时空点光场的平均相位差	干涉条纹的位置（相位信息）

这里有个重要的归一化版本——复相干度：

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

它的模取值范围是 0 到 1：

• |γ| = 1：完全相干
• |γ| = 0：完全不相干
• 0 < |γ| < 1：部分相干

我在项目中遇到过这样一个情况：用迈克尔逊干涉仪测量光源的相干长度，一开始怎么都调不出清晰的条纹。后来发现是光源的相干性太差，|γ| 值只有 0.2 左右。嗯，这时候你就算把光路调得再完美，条纹可见度也上不去。

3.3 互相干函数在光学系统中的核心地位

为什么说它是核心？因为几乎所有部分相干光的问题，最终都可以归结为互相干函数的传播、变换和测量。

我画了一张图，帮你理清这个逻辑：

你看，互相干函数处于整个链条的枢纽位置：

1. 向上游：它由光源的统计特性决定（比如热光源、激光器、LED 的互相干函数完全不同）
2. 向下游：它决定了干涉条纹的可见度和相位
3. 传播过程：它遵循 Zernike 传播定律，可以在光学系统中计算
4. 应用层面：成像系统的分辨率、相干成像的质量，都依赖于它

3.4 实际应用中的几个关键点

我在做光学系统设计时，总结了几条关于互相干函数的实用经验：

具体来说，有几种常见场景：

应用场景	关心的互相干函数参数	典型问题
干涉测量	|γ(τ)| 随 τ 的变化	相干长度不够，条纹可见度低
相干成像	Γ₁₂(0) 随空间距离的变化	空间相干性差，分辨率下降
光纤通信	γ(τ) 的相位稳定性	相位噪声导致误码率升高
全息术	参考光与物光的互相干函数	相干性不足，全息图质量差

3.5 一个简单的计算示例

假设我们有一个准单色热光源，它的互相干函数可以近似为：

Γ₁₂(τ) = I₀ · sinc(Δν · τ) · exp(-j2πν₀τ)

其中：

• I₀ 是光强
• Δν 是光源的谱宽
• ν₀ 是中心频率

从这个表达式你可以看到：

• 当 τ = 0 时，|Γ| 最大，等于 I₀
• 随着 τ 增大，|Γ| 按 sinc 函数衰减
• 第一个零点出现在 τ = 1/Δν，这就是相干时间

嗯，这里要注意：实际光源的互相干函数往往更复杂，但这个模型已经能抓住大部分物理本质。