}N!I|<"/ 在物理
光學(xué)中,我們使用麥克斯韋方程組處理電磁場。為了快速求解該方程組,我們將不同的麥克斯韋算子結(jié)合在一個非序列場追跡概念中。進一步的,快速物理光學(xué)概念的支柱是:(1)盡可能在k域求解麥克斯韋方程組。(2)根據(jù)處于哪一個場域,使用常規(guī)或幾何傅里葉變換,選擇k域或空間域。(3)通過所謂的雙向算子
仿真光學(xué)組件的效應(yīng)。(4)幾何雙向算子的引入。這些概念的結(jié)合產(chǎn)生了一種物理光學(xué)理論,其具有快速建模算法,該算法固有地以定義明確、有說服力的方式應(yīng)用了幾何和衍射模型。
a,IE;5kG H->J.5~,K 1.場追跡圖 Zoh[tO GV'Y' 一個
光學(xué)系統(tǒng)的麥克斯韋方程組的解可以通過非序列場追跡算法得到[1]。這導(dǎo)致所有通過系統(tǒng)中不同光路的
模擬,都由一系列自由空間傳播步驟和與空間中非均勻區(qū)域,例如光學(xué)器件的互作用組成。從
光源平面中的場開始,自由空間算子P規(guī)定了在下一個組件平面上的場,其中組件的響應(yīng)由算子B給出。這些算子應(yīng)用于x域或k域。一個光路的模型可以由所謂的場追跡圖說明,圖1給出了相應(yīng)的例子。
ZW
n j- 圖1 物理光學(xué)中一個光路的場追跡圖模型。參數(shù)j指明了應(yīng)用算子的場參考平面。 0\84~t'[
E'zLgU)r` 盡管電磁場包含六個場分量,場追
跡算法仍然可以通過ρ=(x,y),E┴(ρ,ω)=(Ex(ρ,ω), Ey(ρ,ω))正式地表示,缺失的四個分量可以根據(jù)E┴的需求計算。在k域中,這些計算遵循簡單的代數(shù)方程。
XhjH68S( 自由空間算子方程由 給出,輸入平面場為 ,輸出平面(輸入平面的下一個算子)的結(jié)果為 。如果輸入/輸出平面不平行,則傳播算子P通過衍射積分和附加的傾斜算子表示自由空間中的傳播[2]。盡管在空間域中,傳播被表示為有大量數(shù)值計算成本的衍射積分,但在k域中,對于平行平面和非平行平面的附加坐標(biāo)變換,我們則有簡單的表達式(

)
#Q}`kFB` 
(1)
LO0<=4iN( 通過選擇常規(guī)或幾何傅里葉變換[3],可以來回轉(zhuǎn)換k域和空間域,不同的衍射積分遵循空間域中的公式1,包括Rayleigh-Sommerfeld、遠場和Debye積分。k域中自由空間傳播的簡單性是快速物理光學(xué)選擇k域的一個重要原因。另一個原因是可以從 快速代數(shù)計算 和 。下面將介紹場追
跡算法中的B算子。
p=_K P9 2bwf( 2.雙向算子 zts%oIgV Svj%O( 空間域中我們有B算子

,并且類似的在k域中有

。兩個域中的算子都有矩陣形式,例如k域為
jh\L)a* Xc-'&" 
(2)
=n|n%N4Y 這個矩陣中每一個算子都代表一個積分運算符,例如k域中有如下積分形式(忽略ω)
e>\[OwF-x Ha{# 
(3)
fOs}5J 其中K2代表輸入組件的一系列k值, V為場分量的位置標(biāo)識符, B表示公式2中一個矩陣元素的積分核函數(shù)。因為(kx,ky)代表k域中傳輸?shù)钠矫娌ǖ姆较颍贙2的子集中核函數(shù)

也可以被理解成方向角度的函數(shù),說明了B是電磁場的雙向散射分配函數(shù)(BSDF)的概括,盡管BSDF僅僅闡述了場能量效應(yīng)。
f]N2(eM
o_hk!s^4m 圖2 上圖展示了正弦表面光柵中的場,通過有限元方法(FEM)計算。此外,也使用了局部平面近似(LPIA)方法計算。在下圖中展示了兩種方法的結(jié)果,平面中結(jié)果場的振幅標(biāo)為紅色。由Rui Shi提供。 T7_i:HU%
/pni_-l* 這必然被包含在了公式3中。因為BSDF的關(guān)系,我們選擇 作為雙向算子或者簡化B算子。總的來說,計算B(k,k')和它在公式3中積分計算的應(yīng)用需要大量的數(shù)值計算而且很慢。但是,在分層介質(zhì)情況下,我們可以得到簡化的形式

,減少了乘積的積分,并且能夠快速計算k域中的算子[4]。如果我們考慮Hirchhoff邊界條件下的孔徑效應(yīng),空間域中算子B則變成簡單的因子形式,繼而我們可以在x域中通過選擇合適的傅里葉變化來模擬這個效應(yīng),這在圖1中通過第一個B算子解釋了。當(dāng)然光學(xué)的主要任務(wù)是研究電磁場傳播通過兩種介質(zhì)間的一般表面,例如
透鏡模型。
X8aNl"x *T0{ yI 3.幾何算子 }DiMt4!ZC! n5h4]u 一般表面對場的影響可以通過有限元法(FEM)來計算,但是對于大多數(shù)情況來說,數(shù)值計算成本太高。如果表面的結(jié)構(gòu)不是很小,在大多數(shù)實際情況中通過所謂的局部平面近似(LPIA)方法計算B算子可以得到足夠的精度[5]。在這種近似中,電磁場的邊界條件利用分層介質(zhì)的已知解進行局部計算。圖2比較了正弦表面光柵時FMM和LPIA的計算結(jié)果,結(jié)果顯示LPIA對該效應(yīng)預(yù)測的很好,即使是表面上非常小的特征。事實上,我們發(fā)現(xiàn)LPIA是計算公式3中B(k,k')包括矢量效應(yīng)(公式2)的有力手段。需要注意的是,著名的薄元近似(TEA)方法是LPIA的簡化特例。盡管LPIA可以計算雙向算子,我們?nèi)匀恍枰M行公式3中大量的數(shù)值積分計算。這導(dǎo)致了LPIA和幾何傅里葉變換的結(jié)合[3]。如果我們假設(shè)輸入場

和輸出場

在它們的幾何場域,它們遵循幾何傅里葉變換理論
q_K8vGm4e 
(4)
-:]_DbF 公式3中的積分再一次簡化為簡單的乘積,其中包括了坐標(biāo)變換k(k')。根據(jù)幾何傅里葉變換理論,這個變換由輸入場的波陣面相位計算得到。我們將公式4中的算子稱為幾何算子。這個結(jié)果已經(jīng)于VirtualLab Fusion中實現(xiàn)。如果場處于其幾何或衍射區(qū)域,則可以在任何平面進行數(shù)值測試。根據(jù)結(jié)果,應(yīng)用了不同的傅里葉變換,也以不同的方式應(yīng)用了B算子。這造成了基于純數(shù)學(xué)論證的衍射和幾何模型自然而然地應(yīng)用。建模始終完全基于物理光學(xué)并在數(shù)值效率方面進行了
優(yōu)化。