3.2. 使用Ewald–Laue理论计算的摇摆振幅的快速傅里叶变换
这个n个-晶体在精确值附近二维旋转时的X射线束振幅n个-通过求解E-L理论的特征值问题,可以得到平面波X射线入射时的光束条件。
在Okitsu和合著者(O等。2006年,O等。2011和OIY 2012),假设入射X射线仅在晶体上的入射点具有非零振幅的边界条件,即假设δ函数的入射X射线振幅为边界条件。实验所得结果与T-T模拟结果的一致性表明,针孔形貌的物理性质可以通过δ函数的边界条件来近似。因为具有相同相位的统一函数互易空间通过实际空间中δ函数的傅里叶变换获得n个-通过求解E-L理论的特征值问题,对计算出的X射线振幅进行傅里叶变换,也可以得到束流针孔形貌图。
E-L和FFT模拟n个-梁截面地形n个Kohn&Khikhlukha(2016年)报告了=6)和Kohn(2017年)对称六束劳厄情况。在这种情况下,()具有相同的值,其中是在我第th个波束传播和是垂直于晶体的下表面方向上的单位矢量。然而,如图1所示,本工作中报告的八根销孔地形是针对非对称劳厄几何体进行的(一). 此外,晶体的出射面不是单一的平面。因此,本工作中的E-L&FFT模拟过程可以描述如下。
当平面波X射线入射到平行板晶体上时,会产生布洛赫波激发如下:
在这里,n个是波浪的数量,,,是我th-编号的反射矢量,对1′是布洛赫波波矢的公共初始点是位置向量。劳厄基本方程动力学理论(劳厄,1931年; 作者,2005)如下限制布洛赫波的振幅和波矢:
在这里,K(K)= 1/λ,其中λ是真空中X射线的波长是的分量向量垂直于.通过应用近似值k个我+K(K)≃ 2K(K),方程式(3)成为
什么时候?是我th-编号我-极化X射线束,
在当前工作中定义为=和.的一种形式n个-适用于非对称劳厄几何的束流E-L理论,见Chang的书(Chang,2004)第7.1.2节). Colella(1974)首次提出了一种解决特征值问题的算法)并且考虑到二阶项时更为复杂。在Chang的书中发现了一个更简单的线性近似特征值问题,可以描述如下:
这里,极化因子C类和S公司定义为
方程式(6)是特征值问题的标准形式,其中。的值Θ我用于图1(b条)α和1(c(c))β总结见表1.是晶体出口表面的向下表面法线(但不是后面讨论的入口表面)。的方向图1(b条)和1(c(c))是和,分别如图1的右上角所示.
β(0)和β(1)角度偏差为对1从劳厄的观点来看,洛杉矶,即 .对1是存在于球面上的一个点,其距离H(H)0是K(K),其中H(H)0是的起源倒易空间。假设该球面是一个近似平面,其距离H(H)0是K(K)劳厄点周围的几何形状与图4相同在奥基苏等。(2019)(以下简称OIY 2019)。方程式(6)可以用矩阵来描述和矢量如下所示:
在这里,是2n个-排序列向量,其q个第个(q个= 2j个+米+1)元件为、和是2n个 × 2n个矩阵的元素第页第个(第页= 2我+我+1)行和q个第个列,,如下所示:
在这里,δ第页,q个是Kronecker三角洲。当X射线振幅α1和α2和中的那些β1和β2,见图1(b条)和1(c(c))分别计算,Θ我(α)和Θ我(β)(总结见表1)被替换为Θ我在方程式(6)中和(9)一般来说,方程式(8)有2个n个特征值对ξk个和特征向量(). 获得这些后,求解以下方程以满足取决于入射X射线偏振状态的边界条件:
在这里,是2n个 × 2n个矩阵的元素第页第行和k个第列是,是一个列向量,其k个第个元素是、和是取决于入射X射线的偏振状态的边界条件的列矢量。对于0和1偏振入射X射线,是和分别是。
顺便提一下,什么时候对′1,k个是的公共初始点k个第次布洛赫波,这里,让我们指出对1“”的定义如下:和,而和单位向量定义为和,和按此顺序形成右手正交系统(参见OIY 2019中的图4)。总波场由入射平面波X射线激发,并由
哪里是晶体中的位置矢量。The amplitude of the我具有偏振态的编号为th的X射线我在出口表面上,晶体的,,由给出
在这里,哪里T型z(z)是晶体的厚度。让振幅取决于两个标量值,x个和年,然后
自,和(参见OIY 2019中的图4),然后
在这里,定义如下:
波场D类我(我)(x个, 年)由波前为δ函数的入射X射线激发的是波场的相干叠加它由入射的平面波X射线激发,在晶体的入口表面具有统一振幅。因此,
术语在上述等式中,需要单独计算X射线振幅α1和β1如图1所示(一),如图8所示(α1)和8(β1){从图5中[S公司v(v)(E-L)]和6[S公司v(v)(E-L)]已获得}。进行了以下假设:和T型z(z)=图1的9.6 mm(b条); 和和T型z(z)=图1的16.5 mm(c(c)). 术语存在于方程式(17)中因为二维积分元素在垂直于应该是相同的,即使对于不同的方向。的计算值图1为1.60518和1.74046(b条)和1(c(c))分别是。自对于只有当它位于Borrmann金字塔内时才具有非零值,不需要无穷小的空间分辨率,方程(17)可替换为离散傅里叶变换,如下所示:
在这里,n个x个,n个年,k个x个和k个年是整数,N个是一个偶数整数,用于确定总和的上限和下限,并且L(左) × L(左)是包含地形图像的正方形的场大小。因此,Δk个x个=k个x个/L(左),Δk个年=k个年/L(左),x个=n个x个L(左)/N个和年=n个年L(左)/N个.如果是一个周期为1的二维周期函数/L(左),等式(19)右侧总和中的内容显然也是一个具有周期的二维周期函数N个因此,D类我(我)(n个x个L(左)/N个, n个年L(左)/N个)在方程式(18)的左侧也是一个二维周期函数,周期为L(左)然后,方程式(19)可以用以下方程代替:
方程式(20)具有二维快速傅立叶变换(FFT)的一般形式(Cooley&Tukey,1965). 因此,D类我(我)(n个x个L(左)/N个, n个年L(左)/N个)可以使用公式(20)定义的FFT获得然而,在执行FFT之前,[−N个/2 ≤ {k个x个, k个年} ≤N个/2−1]在方程(19)中应替换为[0 ≤ {k个x个, k个年} ≤N个方程式(20)中的−1]同样,在执行FFT后,D类我(我)′(n个x个L(左)/N个, n个年L(左)/N个) [0 ≤ {n个x个, n个年} ≤N个方程式(20)中的−1]应替换为D类我(我)(n个x个L(左)/N个, n个年L(左)/N个) [−N个/2 ≤ {n个x个, n个年} ≤N个/方程式(19)中的2−1]. [S公司小时(E-L)]和[S公司v(v)(E-L)]如图5、6、7、8所示(α1)和8(β1)使用上述程序获得L(左)=60毫米和N个= 4096.
方程(8)描述的特征值/特征向量问题和(9)已使用求解ZGEEV公司属于LAPACK公司.由方程式(20)描述的傅里叶变换使用Intel中的FFT例程计算数学内核库(MKL公司). 用了470秒(280秒解决特征值问题,20秒快速傅里叶变换,170秒将地形图写入硬盘)获得了8幅地形图,如图5所示[S公司小时(E-L)]或[S公司v(v)(E-L)]使用东京大学固态物理研究所超级计算机系统“Sekirei”的一个节点(Intel Xeon E5-2680v3)。
| 图5 [S公司x个(T-T)][电子x个]和[S公司x个(E-L)](x个∈ {小时, v(v)})水平方向的T-T模拟、实验获得和E-L&FFT模拟八杆销孔地形图(x个=小时)和垂直方向(x个=v(v))极化入射X射线。 |