通过考虑谐波场而非光线,光场追迹法对光线追迹法进行了概括推广。光场追迹法可以容许位于系统不同子区域的不同的建模技术进行无缝连接。基于分解和互联的理念,这篇文章介绍了非序列场追迹的基本概念,同时推导出了相应的算子方程组和一个求解公式用于仿真。对问题的求值需要局部麦克斯方程的解(分解);并且随着迭代过程的收敛实现解决方案在通过界面处的连续性(互联)。通过使用引入的一种新的光路树算法,对需要求解的局部问题的数量进行优化。最后,我们展示了一些选择局部麦克斯韦方程组的案例和数值结果。 @m6pAo4P
p7.@ez ; 1. 简介 pNVao{::5
JC>}(yQA 现代光学系统设计需要高级模拟技术。通常,仿真过程中需要在时域或者频域中求解麦克斯韦方程组。即使这些方程的解决方案已经在过去数十年被广泛的讨论,使用比如有限元法(FEM),但由于以下主要原因,其在光学领域仍然非常具有挑战性:(1)感兴趣的波长一般在1微米以下,有时甚至在100纳米之下,(2)一个系统中的长度量级可能在纳米和米之间变化。应用波长532纳米(绿光)的标准激光系统,使用特征尺寸仅有几微米的结构界面并且需要在一个系统中与数厘米或者米的结构一同模拟。这表明物理光学模拟,例如,使用标准的有限元法,如今在标准计算机上并不可行。 ~+CNED0z+
@3VL
_g: 另一方面,大部分光学系统可以通过使用近似的方法,实现足够精确的模拟。尤其是光线追迹方法在光学模拟中得到了广泛的使用。几款基于光线追迹方法的商业工具在二十世纪八十年代随着个人电脑技术的新兴便已确立。然而,光线追迹方法有一些严重的限制,例如,当系统中存在微结构时,其便会失效。 \sp7[}Sw
F4bF&% R 这就是我们引入场追迹的原因[6,12]。场追迹将一个光学系统分解成子域。与光线追迹相比,场追迹是计算通过系统的电磁谐波场。在实际应用中,此方法具有三个基本的优势:(1)场追迹法统一光学建模。其概念允许我们在系统的不同子域中应用任何表述矢量谐波场的技术。(2)应用矢量谐波场作为场追迹的基础,为光源建模提供了极大的便利性。通过让谐波场集在系统中传输,可以研究部分时间和空间相干光源以及超短脉冲[9]。(3)在系统建模和设计中,探测器函数的任意类型评价非常重要。使用矢量表述谐波场,能够自由的获取所有的场参数,因此能够引入和评估任意类型的探测器。在场追迹中,通过求解局部麦克斯韦问题以计算各子域。这些局部问题具有这样的属性:能够在所有容许函数的子空间中产生解。此外,近似的麦克斯韦求解器足够精确且比严格的麦克斯韦求解器更高效。从这个意义上来说,我们调整了“域分解以及分解和互联”方法的主要理论,而这些方法已经被使用在许多应用中,参考引用文献[3]和[4]。场追迹的目标是通过联合不同的子域求解器,在保证计算精度的情况下,尽可能快的构筑出一个针对问题的求解器。通过施加连续条件,将局部解进行耦合以求解全局问题。为了这个目的,我们希望将那些在光学中已经完善建立的追迹技术普遍化。文献[12]着重介绍了序列情况。此处我们希望将此理论扩展到非序列情况中并增加更多的描述求解器的算法模块。这篇文章展示了如何进行将分解和互联进行应用。 <@JU0Z"a=
<9@VY 这篇文章结构如下。在第二部分,我们讨论了局部麦克斯韦求解器的定义。我们描述了如何使用分解和互联的方法来阐述3D麦克斯韦问题。基于诺依曼级数推导出来的使用局部算子的解公式导致一个无穷求和。通过使用一个修订的公式,可以将求和作为一个迭代过程进行重构,这个公式将在第三部分讨论。算法本身可以归结为一个光路逻辑树。应用场追迹方法求解局部问题将在第四部分讨论。最后,我们将在第五部分呈现数值结果并在第六部分进行总结。
Ig N,]y Xk7zXah ?W.Y
x7c 2.分解和互联方法 Rw$ @%o% *}[@* 光学系统建模主要是求解麦克斯韦方程组以在R
3中获得电场E和磁场H。麦克斯韦方程组的频域表示如下
Ty@&s58a
2{U4wTu K.X% Q,XD 对于线性物质方程和各向同性介质。系统的折射率n ̂(r)是非均匀的,并且定义如下:
.3ic%u;|D i"_f46rP
W@UHqHr:\ ,其中r=(x,y,z)。各频谱w的解是一个电磁谐波场,它是由三个电场分量和三个磁场分量决定的。在光学系统建模中,求解系统域Ω中所有场的分量是一个最普遍待解决的任务。
3%cNePlr 为了简化符号我们使用场矢量V来概述六个场方向:
g2iSc
q07rWPM
"e [X~HUk?? F6q}(+9i 由麦克斯韦方程来看,很明显六个场方向并不是独立的。尤其是我们总是可以从电场矢量计算出磁场。然而我们使用场矢量V是为了强调模拟中必须包含了六个场分量,这为我们定义探测器提供了最大的灵活性,能够方便的让我们进行光场性能评估。例如,在能量考虑方面,坡印廷矢量是非常实用的。其定义结合了磁场和电场。
}>tUkXlhJ< WX?|iw
I~ 图1阐述了所关心的建模情景。系统位于域Ω⊂R
3中。J 个子域Ωj都处在折射率n ̂(r)中,其中r=(x,y,z)是非均匀的。我们使用Γj来表示各子域Ωj的边界。
kkd<CEz2IM DORFK
HX<5i>]0\u :!r_dmJ 图1.形式上一个系统被分成J个子域Ωj。所有的子域都处在一个折射率为n的均匀和各项同性介质中。子域的边界用Γj表示。
Z/_RQ q
+'lfW{E1t kB :")$ 从实际的角度来看,子域与系统的元件紧密相关,但对于接下来要讨论的内容来说那并不重要。特别是其有利于将一个元件分解成多个子域。此外,有时候这有利于在系统的均质区域定义一个子域。根据建模技术的规格,可以在一定程度上自由地选择子域的形状和尺寸。所有的子域都处在折射率为n的均匀电介质中。
Y$,]~Qzq 5gEUE {S 为了获得一个公式以模拟整个系统,我们应用了一些分解和互联的方法。首先我们为每个子域Ωj定义了散射问题。然后我们确定方程以将局部散射问题的解进行互联。最终,全局问题由一个均衡方程描述以确保场的连续性。
3UH=wmG0w 为了定义局部散射问题,我们将边界Γj处的光场表示为
T?% F 1;H( l(<o,Uv[`
-bE{yT)7 此外,我们使用

来定义作用于子域Ωj的输入光场,使用

来定义对应的输出光场。通过算符

散射问题的解定义了输入场到输出场的映射
P/ug' -M(:z
Os[^ch ZA:YoiaC# 互联问题描述了在均质中一个输入场和一个输出场中任意一对(

,

)之间的关系。为此我们引入了算子

,将输出场子域ⅈ映射到输入场子域j,其中ⅈ≠j:
]Oe#S"-Oo #X|'RL($ 
图2.场追迹

经过边界Γj(左边)的两个平面部分之间的一个子域和场追迹在两个子域(右边)的平面边界部分间的传播

的应用示意图。
H!vvdp?Z C>j"Ck^< Y&+<'FA 以前计算

需要求解一个麦克斯韦问题,但是现在在均匀介质R
3的半空间(与Γj相关)且在边界Γj处的入射场为

时,在边界Γi处所求得的解仅产生

。
LM<OYRB( rK"$@tc 最后,我们必须确保光场的连续性。由此引出处理所有子域间的多次作用问题的均衡方程。在Γj处的输出场必须满足方程
B"8^5#t4s \|wVIi
KuFDkT! )5e}Id B Q".$(c
q 可选的光源场

会作用于子域j的输出场,并因此和包含所有其他子域贡献的和相加。根据(10)我们推导出一系列J 方程以用于计算未知的

,其中j=1,…,J。
j!jZJD 下一步我们推导方程(10)的矩阵公式。为此,我们定义以下的矢量和矩阵:
.dl1sv
U
f}#pKsX. P\w.:.2 I是恒等算子

的对角矩阵。因为我们不考虑子域输出场到其自身输入场的映射,因此P的对角元素总是0。基于此定义我们重写了方程(10),其形式如下
\Mt(9jNK "-N%`UA
8m-ryr) >Rx^@yQ!+z O cm 其将产生
a^~l[HSF qhiQ!fMQ
JCS$Tm6y<_ b9`MUkGGd 如果下列条件
E!jM&\Z j #*?5
&!m;s_gi @cSz!E} 满足的话,则方程(17)可以很好的被定义并使用诺曼级数[7]来进行求解
2&06Db ( TzerAX^
3Pkzzyk_|D ?%B%[u 对广泛的应用来说,条件(18)是成立的。在介质中、外部边界处(无限)或者与探测器相连的边界处的任意吸收过程都会导致||CP||<1,因为||C||≤1且||P||≤1。然而,对于没有任何损耗的腔体,||CP||=1,因此,诺曼级数不会收敛。在这种情况下,分解和互联方法必须在一个本征求解器中使用。
t\u0\l> (19)中的级数极限是光学仿真问题的解。一个合适的截断可以用于近似解。很明显,连续的被加数可以通过一个更新后的公式进行计算。这种方法会导致一个所谓的光路树算法,我们将在下一部分讨论。为了进行求和计算,必须求解局部麦克斯韦问题以评估算子C和P。只要使用场矢量V的耦合确定了,任意严格或是近似的求解器的都能使用。这种方法称之为场追迹,我们将在第四部分进行讨论。
n16,u$| j9%=8Dn.< 3. 光路树 H4Pj 3' n%W~+ 此部分我们将讨论如何有效地对方程(19)进行求解。为了避免重复相同的操作,我们将使用更新的公式。通过对无穷和进行截至,我们定义了一个迭代过程。第k次迭代的定义为
o= N= W (fb&5=Wzw
gmy_ZVU' CzST~*lH YD7i6A 我们引入了一个辅助变量

。然后,通过定义初始条件
jK3% \`o S1*n4w.H
3($%A GKJ |OhNQoTY 我们获得了如下的更新公式
~z%K9YcyU @T>)fKCg
N>'1<i? L]9uY 给予一个阈值δ,一个合适的终止判据可由此定义
eHm! ?4(uwXp
aKkQXq* 0:Yz'k5 其中rk是更新的

的相对功率:
!7P 1%/ v/}M_E
7V%}U5 ;WO/xA-# 即使,为了求解矢量

,我们已经定义了一个迭代过程。在每一步迭代中,我们必须求解多组局部麦克斯韦问题:一种是对每个子域Ωj(应用算子C);一种是对任意子域Ωi和Ωj(应用算子P)之间的每个自由空间区域。如果(18)成立,则结果将会收敛。我们将在第5部分给出了使用终止判据(25)获得的收敛结果。
p4bQCI "Z#97Jc+J 事实证明更新公式(23)需要进行进一步的讨论。对某一行j 进行矩阵符号扩展,可以给出求和形式
[XhuJdr"u
g\OPidY '9H7I! L@ 6Z\[{S]; 每个被加项都代表一个谐波场。为了利用那些勇于有效的构建子域求解器的场的局部特性,可取的的方法是不进行求和计算,而是在后续进行计算中操作单项被加数。
K%1'zSAyK GGo
nA 上述情况促使我们开发了光路树。这个算法能够考虑迭代矢量

的稀疏性。这种稀疏性常见于光学模拟。实际上,这似乎有以下原因:(1)只有单个光源存在,(2)光沿一个路径传播通过元件(例如,在显微镜中经过一系列
透镜),(3)仅仅在表示探测器的一个(或者一些)平面上计算结果(例如,一个相机)。在[12]中已经讨论了序列场追迹(其中命名为“对流单邻近似”),对一个包含初始(光源)到终止(探测器)光路系统,它生成一个非零输入的

。这里,我们将这种方法推广到一般情况,我们也称之为非序列场追迹。
.3Jggp GCkc[]2p 举一个简单的例子,我们来讨论光路树的结构,这个例子是一个包含了一个光源、两个平板和一个用于计算光场的探测器的光学系统。装置如图3所示。
RYZh"1S;k F'|D
g0 \c !6'j
W! 图3.包含一个光源,两个平板和一个探测器的光学系统的例子。箭头表示的是求和中的单个被加项,级次代表了计算截断求和的迭代步数。
h?p&9[e` cP`o?: 图3中,箭头表示光场在两个平板之间的传输。虚线箭头表示此传输对最终场没有贡献,即,可以将其忽略。此外,箭头按级次1至5进行排序。级次指数代表
vHCz_ FV LZqx6~]O ,/BBG\mJ 了迭代数k。由于实际原因,我们为每个平板都引入了一个正面和背面。对如3中所描述的系统。对应的光路树如图4中所示。树的节点与任意矢量

的一个输入(被加项)或者与在Γj处的解

相联系。节点之间的联系与算子

或者

有关。不失一般性,我们假设

仅对一个指数j成立。因此,树仅有一个根节点。
MW &iNioX 忽略虚线链接,光路树对于计算截断总和是最合适的(20),因为其仅仅包含了那些必须的算符而相同的算符(求解相同的麦克斯韦问题两次)不会出现。
Qb!9QlW ~T|?!zML 最后我们将讨论一个用于生自动生成光路树的算法。特别是我们想基于光线追迹近似使用试验光线来检测稀疏性。首先,我们引入一个数据集以来描述试验光线:
w4<RV:Vmt Wo<zvut8
NmthvKhH 现在,对于试验光线,我们定义两类算子:(i)

-对于在Γj上给定的试验光线,计算试验光线上域Ωj的效应。(ii)

-对于在Γ_i上给定的试验光线,计算在Γi和Γj之间的自由空间的效应。
BI?M/pIm 图4.光路树用于两个平板的示例,其截断总和在k=5。
CL5u{i5 DB-4S-2 [R iCa 此外,我们可以通过对试验光线使用强度规则来控制终止时机。为此,我们将光源的强度初始化为1。算子

和

在处理强度时考虑了吸收效应、界面处的菲涅尔效应以及其他效应。对于一个给定的光源,我们定义树的根节点n^0并且指定初始试验光线强度为1。对于初始列表

和一系列节点

,用来构建树的算法AddNodes被递归调用。
ExqI=k`Zs U{gJn#e/. 再次说明,条件(18)保证了树生成算法的终止。
Fyrr,# -8X*(7
gmB?L0UV y&")7y/uE |XzqP +t 4.场追迹方法 s
de|t |tC!`.^\ 在前面的部分我们已经描述了用于求解光学仿真任务的基于分解和互联技术的算法。已经表明,此算法需要两类算子。算子

用于描述任意散射体间的自由空间传输,算子

描述光学元件的散射效应。对于这些算子,仍然需要定义显式的公式。那么问题来了,

和

是否必须是严格的麦克斯韦方程求解器。如果是,此方法将会被限制在那些已知的物理光学上,包括最主流的如有限和边界元法,有限差分和有限积分技术。然而,经典光学建模和设计到现在已经使用时数十年了,从中我的知道,几何光学方法和其他的近似方法是及其强大的技术,能够描述自由空间传输

和各种重要的光学元件对谐波场的效应

。由于光学系统的设计可以看做在特定条件下求解局部麦克斯韦问题,因此那些近似通常是有效的。对于此约束,一个经典的例子是在经典激光系统中发生的局部傍轴场。因此,实际经验非常鼓励我们使用不同的严格和近似局部麦克斯韦求解器以求解算子

和

。用于一个系统子域的任何合适的建模技术都必须对电磁谐波场公式化。在此必须强调是,在过去这种方法并未在光学建模中成为标准。因此系统建模不是基于一种建模技术,而是多种建模技术的平滑结合,同时每个子域足够精确。这就是我们所说的统一化光学建模。在此方法中,根据之前给出的方程,谐波场以不同的算子

和

的形式被追迹通过系统。我们把这种方法称为场追迹,它是对光线追迹的自然推广,其中光线追迹是通过几何光学,追迹通过一个系统所有子域的光线束。总之,分解和互联算法,结合在不同的子域中针对

和

进行的谐波场技术的适当选择,实现了场追迹法统一化光学建模。在光学系统的建模中,生成的非序列场追迹概念是对非序列光线追迹本质的推广。
}@_F( B ;>{BK, 对于算子

和

,已经在[12]中提出了一些可能的选择。其中,推导了几个自由空间算子并讨论了他们的近似特性。算子

的一个严格版本可以从z=0处一个谐波场的平面波分解直接推导而来。这个分解过程可以描述为,将谐波场的任意分量傅里叶变换至k空间[1]:
}bz v&k )=V0
QXqBb$AXi, /\"=egB9 其中k=(kx,ky ),ρ=(x,y)且l=1,…,6。其逆变换如下:
`ySLic`
23BzD^2a JL45!+ %|bqL3)a_ 对于平面波算子

的推导,我们使用如下的事实,即每个平面波的传输通过乘以相位项

[2,5]进行描述。方向分量kz表示如下
USy^Y?~; N1`/~Gi
$q);xs rTT Uhd 算子定义如下
`O ?61YUQH 7'\<\oT
xhLVLXZ9 gTcLS|&