6. Scatterer Representation
A high-accuracy FDTD algorithm alone does not always guarantee a high-accuracy result,
because other errors enter into the total calculation such as how the computational boundaries are terminated and how the scatterers are modeled on the numerical grid.
The boundary error can be reduced very small by good absorbing boundary conditions such as the perfectly matched layer,
so the largest remaining source of error is the representation of the scatterer. We introduce the simple method called staircase model and high accuracy one called fuzzy model.
Staircase Model
The most elementary representation is the staircase model. A grid point is either inside or outside the scatterer.
In Fig. 1(a), a scatterer of permittivity ε1 (gray region) is immersed in a medium of permittivity ε2 (white region).
In the staircase model ε(r) = ε1 if grid point r lies within the scatterer (A and C),
and ε(r) = ε2 otherwise (B and D).
Fig. 1. Staircase model. (a) Example grid points. A and C are inside scatterer (gray), B and D are outside (white).
(b) circle center C1 is on a grid point, C3 is centered in a cell, C2 lies between C1 and C3.
(c), (d), (e) are circle models centered at C1, C2, C3, respectively.
However, the staircase model obviously cannot include distributions between grid points, and fails to accurately model the shape.
For example, consider the circles centered at C1, C2, and C3 on a uniform grid of spacing h
and their corresponding staircase representation in Fig. 1(b). As shown in Figs. 1(c), (d), (e), the representations are various with the position of circle center and indicate increasing the representation error.
Fuzzy Model
The fuzzy model is much better than the staircase model, because the scatterer shape are accurately represented.
The fuzzy model is derived from Ampere's law,

. . . (1)
First let us consider in the TM mode. Extracting the Ez component from the left side of (1),
we evaluate the integral over the surface shown in Fig. 2(a).
Fig. 2. Fuzzy model in the TM mode. (a) Integration of H on contour about Ez grid point.
(b) circle center C1 is on a grid point, C3 is centered in a cell, C2 lies between C1 and C3.
(c), (d), (e) are circle models centered at C1, C2, C3, respectively.
If Δx and Δy are sufficiently small, we find

. . . (2)
Similarly H is essentially constant in Fig. 2(a). Using Stoke's theorem, the right side of (1) becomes

. . . (3)
On the other hand, since ε must be a constant at a grid point in FDTD calculations, the differential form of Ampere's law is given by

. . . (4)
where <ε>xy means the average of ε on the x-y surface about the grid point.
Comparing (4) with (2) and (3), we obtain

. . . (5)
The fuzzy model assures a continuous range of values between ε1 and ε2 on the calculation grid, rather than the binary values of the staircase model.
When the cylinder center is shifted in Fig 2(b), the symmetries are better presented than the staircase model as shown in Fig. 2(c), (d), (e).
In the TE mode, the fuzzy model is derived by integrating Ex on the y-z plane and Ey on the x-z plane.
Because the scatterer distributions are constant in the z-direction, ε is replaced by line averages.
For example, as shown in Fig. 3(a), Ex lies at r = (x, y+Δy/2).
Fig. 3. The fuzzy model in the TE mode. (a) Integration of H on contour about Ex grid point.
(b) Integration of H on contour about Ey grid point.
Here ε(r) on the x-y surface is replaced by

. . . (6)
Similarly, as shown in Fig. 3(b), Ey lies at r = (x+Δx/2, y) and ε(r) is replaced by

. . . (7)
In three dimensions, the fuzzy model is the same as the formulation in the TE mode,
because Ex, Ey, Ez are obtained by integration on the y-z, x-z, x-y surfaces, respectively.
Copyright (C) 2011 Naoki Okada, All Rights Reserved.