数学基础回顾：复振幅与光强的关系，互相干函数，范西特-泽尼克定理的直观理解
各位同学，咱们今天聊点数学。别急着皱眉，这部分是后面所有成像理论的根基。我当年刚接触光学时，也觉得这些公式枯燥，直到在实验室里被一个莫名其妙的干涉条纹折磨了三天……嗯，从那以后我才老老实实把基础补上了。
1. 复振幅与光强：不只是数学游戏
先问个问题：光到底是什么？波动光学里，我们通常用复振幅来描述光场。说白了，就是把一个简谐波写成复数形式：
U(P, t) = A(P) · exp[j(ωt - φ(P))]这里 A(P) 是振幅，φ(P) 是相位。为什么要写成复数？因为计算方便。你想想看，两个波叠加时，直接加复数比加三角函数省事多了。
那光强呢？我们实际探测器测到的是光强，不是复振幅。光强定义为：
I(P) = ⟨|U(P, t)|²⟩尖括号表示时间平均。对于单色光，这个平均值就是 |A(P)|²。但注意——光强丢失了相位信息。这就是为什么普通相机只能拍强度，拍不到相位。
核心要点：复振幅包含振幅和相位，光强只包含振幅平方。从复振幅到光强，我们丢掉了相位信息。干涉、衍射这些现象，恰恰依赖相位差。
我在做干涉显微项目时，就吃过这个亏。当时直接用强度图做重建，结果分辨率怎么也上不去。后来才意识到——相位信息才是关键。
3. 互相干函数：两点的相关性
好，现在进入正题。假设空间中有两个点 P₁ 和 P₂，它们的光场分别是 U(P₁, t) 和 U(P₂, t)。这两个光场之间有没有关系？
互相干函数就是用来描述这个关系的：
Γ(P₁, P₂, τ) = ⟨U(P₁, t + τ) · U*(P₂, t)⟩其中 τ 是时间延迟，星号表示复共轭。这个函数衡量的是：P₁ 点延迟 τ 后的光场，与 P₂ 点当前光场的相关性。
为什么要引入这个？因为实际光源都不是理想的单色点光源。太阳、LED、甚至激光器，都有一定的空间扩展和光谱宽度。互相干函数能统一描述这些非理想特性。
| 物理量 | 符号 | 物理意义 |
|---|---|---|
| 互相干函数 | Γ(P₁, P₂, τ) | 两点光场的时间-空间相关性 |
| 复相干度 | γ(P₁, P₂, τ) | 归一化的互相干函数，取值 0~1 |
| 光强 | I(P) | Γ(P, P, 0)，即同一点零延迟 |
复相干度 γ 的模值直接告诉你干涉条纹的可见度。模为1时，条纹最清晰；模为0时，完全没有条纹。我调试干涉仪时，第一件事就是看这个值——如果低于0.5，基本可以断定光路没对准。
实用技巧：实际测量中，互相干函数很难直接测。通常我们测的是干涉条纹的对比度，然后反推复相干度。记住：V = |γ|，其中 V 是条纹可见度。
4. 范西特-泽尼克定理：直观理解
这个定理的名字有点长，但内容其实很直观。它回答了一个问题：一个扩展光源发出的光，在远处两个观察点之间的相干性如何？
定理说：在远场条件下，两个观察点之间的复相干度，等于光源强度分布的归一化傅里叶变换。
写成公式：
γ(P₁, P₂) = [∫ I_s(ξ, η) · exp(-j·k·(Δx·ξ + Δy·η)/R) dξ dη] / ∫ I_s(ξ, η) dξ dη其中 I_s 是光源强度分布，Δx, Δy 是观察点间距，R 是距离。
说白了：光源越大，相干区域越小；光源越小，相干区域越大。
举个例子：
- 太阳（角直径约0.5°）：在地面产生的相干长度约几十微米。这就是为什么用太阳光做干涉实验很难——你需要把两个针孔放得特别近。
- 激光（近似点光源）：相干长度可以到米级。随便放两个点都能干涉。
- LED（中等大小）：相干长度在毫米到厘米量级。
避坑指南：我曾经在设计一个相干成像系统时，想当然地认为LED是"非相干光源"，直接用非相干成像公式。结果系统分辨率比预期差了一倍。后来一算——LED的相干长度其实有0.5mm，刚好跟我的像素尺寸相当，产生了部分相干效应。从那以后，我每次选光源都会先算一下相干长度。
范西特-泽尼克定理的另一个重要推论是：相干面积 ≈ (λR / D)²，其中 D 是光源直径。这个公式在系统设计中非常实用——你一眼就能看出光源尺寸对相干性的影响。
这张图展示了范西特-泽尼克定理的核心逻辑：扩展光源上每一点发出的光，传播到观察平面后，两个观察点之间的相干性由光源的强度分布决定。说白了，就是光源的"形状"通过傅里叶变换映射到了相干性上。
5. 从理论到实践：为什么这些概念重要？
你可能要问：这些数学概念跟实际成像有什么关系？关系大了。
- 分辨率极限：部分相干成像系统的分辨率，介于完全相干和完全非相干之间。不懂互相干函数，你算不准分辨率。
- 干涉测量：所有干涉仪的核心，都是测量互相干函数。迈克尔逊干涉仪测的是时间相干性，杨氏双缝测的是空间相干性。
- 计算成像：现代计算成像算法（如傅里叶叠层成像），本质上是在重建互相干函数。
一句话总结：复振幅是"原料"，光强是"成品"，互相干函数是"加工过程"。范西特-泽尼克定理告诉我们，这个加工过程本质上是一个傅里叶变换。