在系统的不同平面上,电磁场分量的傅里叶变换是连接空间域和k域的物理光学建模中的频繁操作。我们介绍一个场所谓的几何区域,在该区域中傅里叶变换可以在不进行积分的情况下得到,总之是以非常有效的数值方式得到。在几何场域中,场由波前相位控制,因此允许我们将稳定相位的概念应用于傅里叶变换积分,我们将所得到的傅里叶变换算法称为几何傅立叶变换,这项技术被证明是快速物理光学的基础支柱。 f,Vj8@p)x
mXnl-_
1.光学傅立叶变换 B5"(NJ;
l0Wp%T
在物理光学中,我们处理电磁场的六个复数场分量(分别为E和H)。在空间域,他们表示为 &i*/}OZz
w4Nm4To
Ij>IL!
[pf78
其中 ,傅立叶变换到k域定义为 Gz;.?=&iF
(2) <^+~?KDZM
其中,我们使用符号 VYj hU?I
bY:A7.p7#
(3) gV]]?X&
F)KUup)gc
方程2中积分的数值评估需要对a和k域中的场进行取样,我们用N表示采样点的数量,所得的离散傅里叶变换构成了N2运算。然而快速傅里叶变换(FFT)算法在N中是线性的,这在原理上使快速物理光学建模成为可能,但FFT需要的采样。在光学中,我们通常有强梯度的相位函数,从而导致很大的N值,只有在十分对称的光学系统中,N才可以很小。因此,尽管FFT在N中是线性的,但是我们很容易在光学上遇到N太大而不能进行快速计算傅里叶变换的问题,这是快速物理光学概念的严重阻碍。 ikf6Y$nWfF
p
b:mw$XQ7
为了进一步研究,我们用波前相位Ψ将分解(跳过ω)为 D}59fWz@
a[iuE`
(4) ?qwTOi
RYzDF+/
对于所有分量都是一样的。 显然,方程 4中的分解是模糊的,其依赖于从源场出发建模中恰当的相位处理方式。由定义得分解结果 e,/b&j*4th
v5U\E`)s
(5) +$M%"=tk
VA*~RS
类似地,我们可以得到 jt-Cy
ehQ"<.sQ
(6) in_~,fd
t3!?F(&
其中波前相位在k域上。应该提到的是,根据方程 5与 在几何光学上是已知的,然后,S为光程函数。我们想强调的是,方程 5的分解在物理光学中是更一般和纯粹的数学方法,我们的目标可以表述如下:我们对不通过采样波前相位因素来进行傅里叶变换的技术十分感兴趣,此时Ψ和是可通过半解析傅里叶变换实现的二次多项式的形式[1]。这里我们想讨论一个概念,适用于一般的波前相位,但在强波前相位近似,它使用稳定相位的概念。 K:&FWl.
-.=q6N4
2 几何傅里叶变换理论 jO\29(_
稳定相方法的应用在光学中是众所周知的,例如,用于讨论[2]中的衍射积分。我们将其用于快速计算方程2的傅里叶变换积分。为此,我们假设除临界点附近以外 在通过z的平面内具有比U(ρ,z)高得多的空间频率。 根据稳定相位的概念,直接导致基本方程(跳过z ) *het_;)+{
7r,'a{Rcn
(7) 8:hUj>qx
|UvM[A|+
其中方程7表示k和p之间的映射,我们假设这个映射是开放、双射和连续的,这意味着它构成了一个同胚,这是波前相位 平滑的数学表达式,并确保k域中的结果场可以在非等距网格上插值。在光学中,当场不在苛性区时,通常满足这种条件,稳定相位的概念也揭示出来 NQzpgf|h
(8) uKF?UXc
由φ(p)的勒让变换 ,Oojh;P_
&RQQVki3
(9) c%-s_8zvi
VF1)dd
复函数 o, e y.
j&n][=PL
(10) 0MDdcjqw
&