2. Model and Calculation Methods
Maxwell’s equations for a non-conducting dielectric are given by:
where,
H is the magnetic field,
B is the magnetic induction,
E the electric field,
D the electric displacement,
J the electric current density, and
ρ is the density of free charge. Materials, such as iron or glass, modify the electric and magnetic fields.
B describes how the material affects the magnetic field, and
D describes how it affects electric field. The vector position is
x =
,
, and
is a vector differential operator. The curl of a vector is defined by
, and the divergence of
V is
, where
.
In most optical materials there is no free charge and
. In a non-conducting dielectric, such as glass, no electric current flow so
J = 0. Also to an excellent approximation
where,
μ, the magnetic permeability, is a constant. In general, the electrical permittivity,
ε depends upon the frequency, but when this dependence is weak, it is a good approximation to take
The permittivity is different for different materials, however so it is a function of position. For example, in glass
. Assuming that
Eq. (5) and
Eq. (6) hold, Maxwell’s equations for a non-magnetic, non-conducting medium with no free charges or electrical currents is
Now, let us introduce what is called a Finite Difference (FD) approximation. The first derivative is approximately given by
For convenience let us define the difference operator
with this definition the FD approximation to
is
Defining the vector difference operator:
and,
where,
. The second derivative
can be approximated by applying
Eq. (11) twice:
and from the definition of
it is easy to show that
is given by:
Defining,
We now have,
and also replacing the derivatives of Maxwell’s
Eq. (7) by FD approximations we obtain
Here the electromagnetic field components are arranged on the grid in such a way those central FDs can be taken. Expanding
, and solving for
gives
Doing the same for
Eq. (8) we have
and we compute
, rather than
in order to use the updated value of
H. Expanding
, and solving for
gives
Equation (19) and
Eq. (21) are called the Yee algorithm [
3K. S. Kunz, and R. J. Luebbers, in The Finite Difference Time Domain Method for Electromagnetics , (CRC Press, New York, 1993).
]. The notation does not show it, but each component of
H and
E is evaluated at a different position. For example to compute
, if
lies on
then
must be known at
, and
at
.
To develop the Nonstandard-FDTD (NS-FDTD) model or in short NSFD we first construct an alternative Standard-FDTD (S-FDTD) model or SFD of Maxwell’s equations. Defining
, we obtain
We introduced in earlier publication [
4J. B. Cole, S. Banerjee, and M. Haftel, in Advances in the Applications of Nonstandard Finite Difference Schemes , ed. R. E. Mickens (World Scientific Singapore, 2007), Chap.4.
,
7
J. B. Cole, “High-Accuracy Yee algorithm Based on Nonstandard Finite Difference: New Developments and Verifications,” IEEE Trans. Antenn. Propag.
50(9), 1185–1191 (2002). [CrossRef]
], the vector difference operator
which is also highly isotropic in nature with the property that
whereas,
,
. In two dimensions
, where
Here,
γ which is also a function of
(assuming uniform
μ), given by the expression
is chosen to minimize the error of the NSFD approximation [
4J. B. Cole, S. Banerjee, and M. Haftel, in Advances in the Applications of Nonstandard Finite Difference Schemes , ed. R. E. Mickens (World Scientific Singapore, 2007), Chap.4.
].
Making the substitutions
and
in
Eq. (23) we obtain a new NSFD model of Maxwell’s equations,
Solving
Eq. (28) and
Eq. (29) for
and
, we obtain the NS-Yee algorithm
This NSFD algorithm is somewhat different from the one introduced in [
4J. B. Cole, S. Banerjee, and M. Haftel, in Advances in the Applications of Nonstandard Finite Difference Schemes , ed. R. E. Mickens (World Scientific Singapore, 2007), Chap.4.
]. We find that it gives better results when
μ is constant. To reverse the time direction we need to reverse the sequence of the above computations; doing so we get,
and
Here, we observed that we basically get the same equations as we already derived for forward propagating wave. This depicts that even if we iterate the wave in time reverse direction the nature of the wave remain same. For this purpose we have applied the periodic boundary conditions instead of Mur boundary conditions because the later causes field explosion when we iterate in time reverse condition [
5
R. Sorrentino, L. Roselli, and P. Mezzanotte, “Time reversal in finite difference time domain method,” IEEE Microw. Guid. Wave Lett.
3(11), 402–404 (1993). [CrossRef]
]. Let, the computational domain be
. In periodic boundary we define,
where, waves that exit the computational domain at
re-enter it from
.
Algorithm Stability
When any algorithm is iterated is can be become unstable. Let A be an algorithm to solve for an unknown vector ψ. Let be the initial solution vector. Then, , ⋯, and thus . If when is finite, the algorithm is said to be unstable.
It can be shown that the
D-dimensional FDTD algorithm is stable if
. Taking finite-difference algorithm of the form:
Defining
and
we get,
Now we postulate a solution:Inserting
and dividing by
we get,
Solving for
λ we get,
Thus the most general solution is:
The condition for the stability will be
being finite as
is
.
We want finite oscillatory solutions of the difference
Eq. (36), for the oscillation the solutions must have an imaginary part. If
and
and
. Thus
and
are the conditions for stability for an oscillating solution.
Applying these results to the wave equation given below:
Generalized Finite Difference model is:
and the FDTD algorithm is
While in S-FDTD algorithm,
and
, whereas in NS-FDTD
and
. To direct the FDTD algorithm in the form of (34) we need to compute
. Substituting
we can write,
where the values of
vary case by case [
4J. B. Cole, S. Banerjee, and M. Haftel, in Advances in the Applications of Nonstandard Finite Difference Schemes , ed. R. E. Mickens (World Scientific Singapore, 2007), Chap.4.
]:
For SFD:
Max
where,
D = Dimension
For NSFD:
also,
Till now we have not specified the value of
γ. For the stability we optimize the value of
γ by
(also termed as weight coefficient for
and
)Where
and
.Thus for the NSFD algorithm we have,
From the expanded value of
γ given above, we get Max (
) = 2/3. The above equation can be rewritten as:
where,
and Max
in 2 Dimensions.If we write,
then the FDTD algorithm (41) becomes:
This equation is in the form of (36) and the solutions are:
To accomplish the stability condition
, we have to have
.
If
and
, for non-vanishing monochromatic plane waves, the stability condition turns out to be [
4J. B. Cole, S. Banerjee, and M. Haftel, in Advances in the Applications of Nonstandard Finite Difference Schemes , ed. R. E. Mickens (World Scientific Singapore, 2007), Chap.4.
]:
While
is a function of the magnitude and direction of
k, stability is guaranteed by inserting the maximum value of
, Max
instead of
.
Considering NSFD algorithm, we have
and Max
for dimensions, D = 1, 2 respectively. Defining earlier,
the stability condition (48) becomes,
Replacing,
and
, where the value of c is to be found out so that (49) does not violate. In D dimensions expressing
the
Eq. (49) turns out to be:
In the range
,
rises monotonically with increasing
θ, so it is obvious that
. The Nyquist limit can be articulated in the form
. Hence we shall never figure out a FDTD algorithm which disobeys
condition, and presuming that,
we conclude from (50) that
Putting the numerical values of
from above, we have
3. Verifications and Practical Tests
In
Fig. 1
we compare FDTD calculations of Mie scattering [
6P. W. Barber, and S. C. Hill, in Light Scattering by Particles: Computational Methods , (World Scientific, Singapore, 1990).
] for an infinite dielectric cylinder of radius
and refractive index
. The cylinder is parallel to the
z-axis. An infinite plane wave propagating in the
direction impinges upon the cylinder. The electric field is polarized parallel to the cylinder axis, and the scattered intensity is visualized in shades of red for the analytic solution (left) the NS-FDTD algorithm (middle) and the S-FDTD algorithm (right) with a discretization of
outside the cylinder, and
inside. Similar result was published by one of the author in his previous publication [
7
J. B. Cole, “High-Accuracy Yee algorithm Based on Nonstandard Finite Difference: New Developments and Verifications,” IEEE Trans. Antenn. Propag.
50(9), 1185–1191 (2002). [CrossRef]
].
Fig. 1 Mie scattering from an infinite dielectric cylinder. Scattered intensity is visualized in shades of red. E is polarized parallel cylinder axis. Infinite plane wave impinges from the left. Cylinder radius = , = vacuum wavelength, refractive index .
In
Fig. 2(a)
the scattered fields shown in
Fig. 1 are plotted as a function of angle the (
θ) from the
-axis on a circular contour of radius
centered on the axis of the cylinder. At discretization
the root mean square error for the NS-FDTD and S-FDTD algorithms is
, and
, respectively. In
Fig. 2(b) at discretization
we compare the S-FDTD calculation with the analytic solution. The root mean square error is
the same as the NS-FDTD algorithm at
. At
the NS-FDTD algorithm delivers the same accuracy as the S-FDTD one does at
. Because of the lower coarser discretization, the computational cost of NSFDTD algorithm is only
th that of the Standard FDTD one.
Fig. 2 Angular distribution of scattered intensity about a circular contour of radius centered on the axis of the cylinder. (a) Analytic solution (black) compared with the NSFD calculation (NSFD-8, red) and the SFD one (SFD-8, blue) at . (b) Analytic solution (black) compared with the SFD (SFD-24, blue) one at .
Understanding the fact that NSFD algorithm is better than S-FDTD one, we extended our study for the Time Inverse algorithm on the detection of size, shape of different scatterers. for this purpose we have generated a weighted source array continuous wave Gaussian beam that turns on at the time t = 1. The beam width of the Gaussian pulse taken for the simulation purpose is 1.25
, where
is the wavelength of the central frequency of the pulse. For the simulation we have chosen three types of the scatterer; Circular, Rectangular and triangular. Now we have allowed the light to be passed through the scatterer and it further moves to a distance which is very close to the periodic boundary of the computational space (
140
h), then we remove the scatterer and iterate the forward moving wave in the time reverse in order to trace the location and shape of the scatterer and examine how well it will match with the actual location and size. For this experiment, we have confined our observation on TE mode only, i.e. we will compute x-intensity and y-intensity as depicted in
Fig. 3
.
Fig. 3 Time Inverse Computed Intensities using NS-FDTD for: (a)Circular scatterer (diameter = 2)(b) Rectangular scatterer (side = 2) (c)Triangular scatterer(base = 2,height = 1),where,
In the next experiment, our objective is to investigate the effect of refractive index on the size of the scatterer. The minimum detectable size in case is called distinguishable size. The refractive index of the scatterer is fixed and in all the cases is taken to 1.8. In this experiment, we have considered circular scatterer because it is homogeneous in shape and no steep edges and corners. Now, gradually we have changed the refractive index of the circular scatterer from 1.1 to 1.8 and compute the distinguishable size of the circular scatterer for a particular refractive index and plot the graph shown in
Fig. 4
for TM Mode of polarization.
Fig. 4 Distinguishable Size vs. Refractive Index