在物理光學(xué)中，我們使用麥克斯韋方程組處理電磁場(chǎng)。為了快速求解該方程組，我們將不同的麥克斯韋算子結(jié)合在一個(gè)非序列場(chǎng)追跡概念中。進(jìn)一步的，快速物理光學(xué)概念的支柱是：（1）盡可能在k域求解麥克斯韋方程組。（2）根據(jù)處于哪一個(gè)場(chǎng)域，使用常規(guī)或幾何傅里葉變換，選擇k域或空間域。（3）通過(guò)所謂的雙向算子仿真光學(xué)組件的效應(yīng)。（4）幾何雙向算子的引入。這些概念的結(jié)合產(chǎn)生了一種物理光學(xué)理論，其具有快速建模算法，該算法固有地以定義明確、有說(shuō)服力的方式應(yīng)用了幾何和衍射模型。 \w\{x 0u or{X{_X7 1.場(chǎng)追跡圖 eW^_YG%(
*P}v82C N 一個(gè)光學(xué)系統(tǒng)的麥克斯韋方程組的解可以通過(guò)非序列場(chǎng)追跡算法得到[1]。這導(dǎo)致所有通過(guò)系統(tǒng)中不同光路的模擬，都由一系列自由空間傳播步驟和與空間中非均勻區(qū)域，例如光學(xué)器件的互作用組成。從光源平面中的場(chǎng)開(kāi)始，自由空間算子P規(guī)定了在下一個(gè)組件平面上的場(chǎng)，其中組件的響應(yīng)由算子B給出。這些算子應(yīng)用于x域或k域。一個(gè)光路的模型可以由所謂的場(chǎng)追跡圖說(shuō)明，圖1給出了相應(yīng)的例子。 Y]gb`z$? 9>na3ISh 圖1 物理光學(xué)中一個(gè)光路的場(chǎng)追跡圖模型。參數(shù)j指明了應(yīng)用算子的場(chǎng)參考平面。 ]Uee!- dZ
盡管電磁場(chǎng)包含六個(gè)場(chǎng)分量，場(chǎng)追跡算法仍然可以通過(guò)ρ=(x,y)，E┴(ρ,ω)=(Ex(ρ,ω), Ey(ρ,ω))正式地表示，缺失的四個(gè)分量可以根據(jù)E┴的需求計(jì)算。在k域中，這些計(jì)算遵循簡(jiǎn)單的代數(shù)方程。 Y> i?nC%* 自由空間算子方程由 給出，輸入平面場(chǎng)為 ，輸出平面（輸入平面的下一個(gè)算子）的結(jié)果為 。如果輸入/輸出平面不平行，則傳播算子P通過(guò)衍射積分和附加的傾斜算子表示自由空間中的傳播[2]。盡管在空間域中，傳播被表示為有大量數(shù)值計(jì)算成本的衍射積分，但在k域中，對(duì)于平行平面和非平行平面的附加坐標(biāo)變換，我們則有簡(jiǎn)單的表達(dá)式（
） ]K(>r#'nH 
(1) ( :2,Rr1" 通過(guò)選擇常規(guī)或幾何傅里葉變換[3]，可以來(lái)回轉(zhuǎn)換k域和空間域，不同的衍射積分遵循空間域中的公式1，包括Rayleigh-Sommerfeld、遠(yuǎn)場(chǎng)和Debye積分。k域中自由空間傳播的簡(jiǎn)單性是快速物理光學(xué)選擇k域的一個(gè)重要原因。另一個(gè)原因是可以從 快速代數(shù)計(jì)算 和 。下面將介紹場(chǎng)追跡算法中的B算子。 *iVC HQ~
&E&e5(&$ 2.雙向算子 {(,[
]5}C@W@_ 空間域中我們有B算子 
，并且類似的在k域中有
。兩個(gè)域中的算子都有矩陣形式，例如k域?yàn)?/span> '8b/TL
pk0C x
(2) 1hn4YcHb
這個(gè)矩陣中每一個(gè)算子都代表一個(gè)積分運(yùn)算符，例如k域中有如下積分形式（忽略ω） /?wH1 ,
UBy<
vwnU
(3) 1EvK\
其中K2代表輸入組件的一系列k值， V為場(chǎng)分量的位置標(biāo)識(shí)符， B表示公式2中一個(gè)矩陣元素的積分核函數(shù)。因?yàn)?kx,ky)代表k域中傳輸?shù)钠矫娌ǖ姆较颍贙2的子集中核函數(shù)
也可以被理解成方向角度的函數(shù)，說(shuō)明了B是電磁場(chǎng)的雙向散射分配函數(shù)（BSDF）的概括，盡管BSDF僅僅闡述了場(chǎng)能量效應(yīng)。 1^4z/<ZWm
8DsXw@o
D-<9kBZs
圖2 上圖展示了正弦表面光柵中的場(chǎng)，通過(guò)有限元方法（FEM）計(jì)算。此外，也使用了局部平面近似（LPIA）方法計(jì)算。在下圖中展示了兩種方法的結(jié)果，平面中結(jié)果場(chǎng)的振幅標(biāo)為紅色。由Rui Shi提供。 $<(FZb=
這必然被包含在了公式3中。因?yàn)锽SDF的關(guān)系，我們選擇 作為雙向算子或者簡(jiǎn)化B算子�？偟膩�(lái)說(shuō)，計(jì)算B(k,k')和它在公式3中積分計(jì)算的應(yīng)用需要大量的數(shù)值計(jì)算而且很慢。但是，在分層介質(zhì)情況下，我們可以得到簡(jiǎn)化的形式
，減少了乘積的積分，并且能夠快速計(jì)算k域中的算子[4]。如果我們考慮Hirchhoff邊界條件下的孔徑效應(yīng)，空間域中算子B則變成簡(jiǎn)單的因子形式，繼而我們可以在x域中通過(guò)選擇合適的傅里葉變化來(lái)模擬這個(gè)效應(yīng)，這在圖1中通過(guò)第一個(gè)B算子解釋了。當(dāng)然光學(xué)的主要任務(wù)是研究電磁場(chǎng)傳播通過(guò)兩種介質(zhì)間的一般表面，例如透鏡模型。 1JI\e6]I
g:sn/Zug]
3.幾何算子 z]Dbca1a`
w[S!U<9/
一般表面對(duì)場(chǎng)的影響可以通過(guò)有限元法（FEM）來(lái)計(jì)算，但是對(duì)于大多數(shù)情況來(lái)說(shuō)，數(shù)值計(jì)算成本太高。如果表面的結(jié)構(gòu)不是很小，在大多數(shù)實(shí)際情況中通過(guò)所謂的局部平面近似（LPIA）方法計(jì)算B算子可以得到足夠的精度[5]。在這種近似中，電磁場(chǎng)的邊界條件利用分層介質(zhì)的已知解進(jìn)行局部計(jì)算。圖2比較了正弦表面光柵時(shí)FMM和LPIA的計(jì)算結(jié)果，結(jié)果顯示LPIA對(duì)該效應(yīng)預(yù)測(cè)的很好，即使是表面上非常小的特征。事實(shí)上，我們發(fā)現(xiàn)LPIA是計(jì)算公式3中B(k,k')包括矢量效應(yīng)（公式2）的有力手段。需要注意的是，著名的薄元近似（TEA）方法是LPIA的簡(jiǎn)化特例。盡管LPIA可以計(jì)算雙向算子，我們?nèi)匀恍枰M(jìn)行公式3中大量的數(shù)值積分計(jì)算。這導(dǎo)致了LPIA和幾何傅里葉變換的結(jié)合[3]。如果我們假設(shè)輸入場(chǎng)
和輸出場(chǎng)
在它們的幾何場(chǎng)域，它們遵循幾何傅里葉變換理論 uYv"5U]MFv
(4) b=Y:`&o=[
公式3中的積分再一次簡(jiǎn)化為簡(jiǎn)單的乘積，其中包括了坐標(biāo)變換k(k')。根據(jù)幾何傅里葉變換理論，這個(gè)變換由輸入場(chǎng)的波陣面相位計(jì)算得到。我們將公式4中的算子稱為幾何算子。這個(gè)結(jié)果已經(jīng)于VirtualLab Fusion中實(shí)現(xiàn)。如果場(chǎng)處于其幾何或衍射區(qū)域，則可以在任何平面進(jìn)行數(shù)值測(cè)試。根據(jù)結(jié)果，應(yīng)用了不同的傅里葉變換，也以不同的方式應(yīng)用了B算子。這造成了基于純數(shù)學(xué)論證的衍射和幾何模型自然而然地應(yīng)用。建模始終完全基于物理光學(xué)并在數(shù)值效率方面進(jìn)行了優(yōu)化。
tgP
