Файл: Ersoy O.K. Diffraction, Fourier optics, and imaging (Wiley, 2006)(ISBN 0471238163)(427s) PEo .pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 28.06.2024
Просмотров: 904
Скачиваний: 0
BPM BASED ON FINITE DIFFERENCES |
363 |
factored out, the slowly varying field can be represented numerically along the longitudinal grid, with spacing which can be many orders of magnitude larger than the wavelength. This effect makes the BPM much more efficient than purely finite difference based techniques, which would require grid spacing of the order of one tenth the wavelength. Secondly, eliminating the second order derivative term in z enables the problem to be treated as a first order initial value problem instead of a second order boundary value problem. A second order boundary value problem usually requires iteration or eigenvalue analysis whereas the first order initial value problem can be solved by simple integration in the z-direction. This effect similarly decreases the computational complexity to a large extent as compared to full numerical solution of the Helmholtz equation.
However, there are also prices paid for the reduction of computational complexity. The slow envelope approximation assumes the field propagation is primarily along the z-axis (i.e., the paraxial direction), and it also limits the size of refractive index variations. Removing the second derivative in the approximation also eliminates the backward traveling wave solutions. So reflection-based devices are not covered by this approach. However, these issues can be resolved by reformulating the approximations. Extensions such as wide-angle BPM and bidirectional BPM for this purpose will be discussed later.
The FFT-based numerical method for the solution of Eq. (12.3-5) was discussed in Section 12.4. Another approach called FD-BPM is based on the method of finite differences, especially using the Crank–Nicholson method [Yevick, 1989]. Sometimes the finite difference method gives more accurate results [Yevick, 1989], [Yevick, 1990]. It can also use larger longitudinal step size to ease the computational complexity without compromising accuracy [Scarmozzino].
In the finite-difference method, the field is represented by discrete points on a grid in transverse planes, perpendicular to the longitudinal or z-direction in equal intervals along the z-direction. Once the input field is known, say, at z ¼ 0, the field on the next transverse plane is calculated. In this way, wave propagation is calculated one step at a time along the z-direction through the domain of interest. The method will be illustrated in 2-D. Extension to 3-D is straightforward.
Let uni denote the field at a transverse grid point i and a longitudinal point indexed by n. Also assume the grid points and planes are equally spaced by x and z apart, respectively. In the Crank–Nicholson (C-N) method, Eq. (12.3-5) is represented at a fictitious midplane between the known plane n and the unknown plane n þ 1. This is shown in Figure 20.1.
The representation of the first order and second order derivatives on the midplane in the C-N method is as follows:
|
|
u |
|
|
|
|
|
|
|
|
|
|
|
unþ1 |
|
un |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
d i |
|
|
|
|
|
|
|
|
|
|
|
i |
i |
|
|
|
20:2-9 |
|
||
|
dz |
z |
|
z |
|
n |
|
1=2 |
¼ |
|
|
|
|
ð |
Þ |
||||||
|
|
|
|
¼ |
|
|
ð |
|
þ |
|
Þ |
|
|
|
|
|
|
|
|
||
|
|
2u |
|
|
|
|
|
|
|
|
|
2unþ1 |
|
2un |
|
|
|
|
|||
d |
|
i |
|
|
|
|
|
|
|
|
|
¼ |
d i |
|
d i |
ð |
20:2-10 |
Þ |
|||
dx2 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
z n |
|
1=2 |
|
2 z2 |
|
|
|
|||||||||||
z |
¼ |
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
ð þ |
|
Þ |
|
|
|
|
|
|
|
|
366 |
|
NUMERICAL METHODS FOR RIGOROUS DIFFRACTION THEORY |
|||||||||||||||||||||||||||||||
|
Table 20.1. Low-order Paˆde´ approximants for |
||||||||||||||||||||||||||||||||
|
Order |
½ |
p |
|
k½p1 þ P 1& |
||||||||||||||||||||||||||||
|
|
|
|
1 þ P 1&. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
the term k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
(1,0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2k |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
(1,1) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2k |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
1 þ |
|
|
P |
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
4k2 |
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
P |
|
|
|
P2 |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
þ |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
(2,2) |
|
|
|
|
|
|
2k |
|
|
4k3 |
||||||||||||||||||||||
|
|
|
|
|
1 þ |
|
3P |
|
þ |
|
|
P2 |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
4k2 |
16k4 |
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
P |
|
þ |
|
|
|
P2 |
|
þ |
|
|
3P2 |
|||||||||||||||
|
(3,3) |
|
|
|
|
2k |
|
|
2k3 |
|
32k5 |
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
5P |
|
|
|
|
|
3P2 |
|
|
|
P3 |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
1 þ |
|
|
þ |
|
þ |
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
4k2 |
|
8k4 |
64k6 |
Figure 19.2 shows the layout of the waveguides with wide angles of bending to accommodate the length variations. Figure 20.2 shows the output intensities in a 200-channel AWG design computed with the wide-angle BPM using the RSoft software called BeamPROP.
Figure 20.2. A close-up view of the output channel intensities in a 200-channel phasar design using wide-angle BPM [Lu, et al., 2003].
FINITE DIFFERENCES |
367 |
20.4FINITE DIFFERENCES
In the next section, the finite difference time domain technique is discussed. This method is based on the finite difference approximations of the first and second derivatives. They are discussed below.
The Taylor series expansion of uðx;tnÞ at xi þ x about the point xi for a fixed time tn is given by [Kuhl, Ersoy]
|
|
|
@u |
|
|
x2 |
|
@2u |
|
x3 |
|
@3u |
|
x4 @4u |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
þ x |
|
|
þ |
|
|
|
|
6 |
|
|
|
|
|
|
20 |
:4-1 |
|
uðxi þ x; tnÞjtn ¼ u |
xi;tn |
@x |
xi;tn |
2 |
|
@x2 |
xi;tnþ |
|
@x3 |
xi;tnþ |
24 @x4 |
xi;tn |
Þ |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ð |
|
|
The last term is an error term, with x1 being a point in the interval ðxi; xi þ xÞ. Expansion at the point xi x for fixed time tn is similarly given by
|
|
|
|
|
@u |
|
|
|
|
x2 |
|
@2u |
|
|
|
|
|
|
x3 |
@3u |
|
|
x4 @4u |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4-2 |
|
|
|
|
x |
|
|
þ |
2 |
|
|
|
|
|
6 |
|
|
|
|
|
|
|
20: |
|
|||||||||||
uðxi x; tnÞ |
tn |
¼ u |
xi;tn |
@x |
xi;tn |
|
@x2 |
xi;tn |
|
@x3 |
xi;tnþ |
24 @x4 |
x2 |
;tn |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ð |
|
|
|
Þ |
|
where x2 is in the interval ðxi x; xiÞ. Adding the two expansions gives |
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
@2u |
|
|
|
|
|
x4 |
@4u |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
uðxi þ xÞ þ uðxi xÞ ¼ 2u |
xi;tn |
þ x2 |
@x2 |
xi;tn |
þ |
12 |
|
@x4 |
x3;tn |
ð20:4-3Þ |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
where x3 lies in the interval ðxi x; xi þ xÞ. Rearranging the above expression yields
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ð |
Þ |
|
|
|
|
|
|
|
|
tn |
h |
i |
@2u |
|
¼ " |
u |
x |
i þ |
x |
Þ |
2u x |
|
u |
x |
|
x |
Þ# þO |
ð xÞ2 |
ð20:4-4Þ |
|||||||||||
|
@x2 |
xi;tn |
ð |
|
|
|
ðx i2Þ þ |
ð |
|
i |
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Eq. (20.4-4) can be written as |
|
|
|
|
|
|
|
|
|
|
h |
i |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ð |
Þ |
|
|
|
|
|
|
|
|||
|
|
|
|
@ |
2u |
|
|
|
|
|
un |
|
2un un |
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@x2 |
xi;tn |
|
¼ |
iþ1 xi 2þ i 1 |
þ O ð xÞ2 |
ð20:4-5Þ |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The second partial derivative of u with respect to time is similarly given by |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i þ |
ð |
Þ |
|
i |
1 |
|
|
|
h |
i |
|
||
|
|
|
|
|
@t2 xi;tn |
|
¼ |
|
|
|
ti |
2þ |
þ O ð tÞ2 |
ð20:4-6Þ |
|||||||||||||
|
|
|
|
|
@2u |
|
|
|
|
|
un 1 |
|
2un |
|
un |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|