An Efficient Laguerre-Based FDTD Iterative Algorithm in 3D Cylindrical Coordinate System
Here an efficient Laguerre-based finite-difference time-domain iterative algorithm is proposed. Different from the previously developed iterative procedure used in the efficient FDTD algorithm, a new perturbation term combined with the Gauss–Seidel iterative procedure is introduced to form the new Laguerre-based FDTD algorithm in the 3D cylindrical coordinate system. Such a treatment scheme can reduce the splitting error to a low level and obtain a good convergence; in other words, it can improve the efficiency and accuracy than other algorithms. To verify the performance of the proposed algorithm, two scattering numerical examples are given. The computation results show that the proposed algorithm can be better than the ADI-FDTD algorithm in terms of efficiency and accuracy. Meanwhile, the proposed algorithm is extremely useful for the problems with fine structures in the 3D cylindrical coordinate system.
In recent years, the unconditionally stable Laguerre-based finite-difference time-domain (FDTD) algorithm has been applied to simulate transient electromagnetic problems in the Cartesian coordinate. By transforming the time-domain problem to the Laguerre domain using the temporal Galerkin’s testing procedure, the transient solution is independent of time discretization. Thus, Laguerre-based FDTD formulation has the advantage of less numerical error when a larger time step is used.
The main drawback of the conventional Laguerre-based FDTD algorithm is that it requires solving a very large sparse matrix. To overcome this problem, a factorization-splitting scheme  was used to resolve the huge sparse matrix into six tridiagonal matrixes, and then the chasing method was used to solve them . This provided excellent computational accuracy and can be efficiently parallel-processed on a computing cluster. To further reduce the splitting error, the modified perturbation term was introduced in [3, 4]; meanwhile, the Gauss–Seidel iterative procedure was applied, which made the new Laguerre-based FDTD scheme more efficient and accurate. Obviously, the good feasibility of the efficient Laguerre scheme had been conformed in the rectangular coordinate system.
However, in many applications, we have to deal with 3D cylindrical structures such as in optical fiber communication, integrated optics, and defense industry. Moreover, the geometry of interest may consist of fine structures. If we adopt the conventional FDTD method to discretize the cylindrical structure with the Cartesian grid, a significant staircasing error appears. In fact, due to the existence of the term in the 3D cylindrical coordinate system, the decomposition of the fields along the direction will lead the splitting error. How to reduce this kind of error in the iterative FDTD calculation has become a difficult problem. In addition, how to conduct direction transformation of the fields on the z-axis is also a research difficult in the 3D cylindrical coordinate system. Perhaps this is why, since 2000, the FDTD method has done little applications in the 3D cylindrical coordinate system. There is not even an article on the Laguerre technology.
Therefore, in order to expand the research field of the FDTD method, we propose an efficient Laguerre-based finite-difference time-domain iterative algorithm in the 3D cylindrical coordinate system. Firstly, according to the ideology of the weighted Laguerre polynomial (WLP) FDTD scheme, the WLP-FDTD equations of the proposed algorithm in the 3D cylindrical coordinate system are deduced by introducing the new perturbation term and the nonphysical intermediate variables. Secondly, the field components on the z-axis are amended with special treatment. Finally, to verify the proposed algorithm, two scattering numerical examples are given. Numerical results show that the proposed algorithm can be better than the ADI-FDTD algorithm  in terms of efficiency and accuracy.
2. Iterative Theory and Formulations
2.1. WLP-FDTD Equations in 3D Cylindrical Coordinate System
Introducing the WLP technology  into Maxwell’s equations of the 3D cylindrical coordinate , one can obtain the equations of the conventional WLP-FDTD in the 3D cylindrical coordinate system, directly:where is a time-scale factor, is the order of weighted Laguerre polynomials, and and are the electric and magnetic permeability, respectively.
2.2. Iterative Equations for the Off-Axis Fields
Obviously, solving equation (7) must involve large sparse matrix problems, and it is impossible to solve it. Therefore, the efficient algorithm must be adopted to avoid the direct solution of the large sparse matrix.
Referring to the brief form of the 3-D FDTD equation in , when the excitation sources are added, the equations of the efficient Laguerre-based FDTD in the 3D cylindrical coordinate can be rewritten aswhere is the iteration and equations (8) and (9) are the initial and iterative computation, respectively. Clearly, (9) have the same form with (8). So, one can combine them as follows:where
In addition, the and in (10b) should bewhere and . , , and are the first-order central difference operators along , , and axes, respectively.
In fact, equation (10a) can be implemented by simple programming, and we only need to implement the design of the iterative calculation. Therefore, we actually only need to introduce the perturbation term in  into equation (7) to obtain (10b), and the advantage of this is that it greatly simplifies the programming process and improves the computational efficiency.
In accordance with the design theory of the proposed algorithm in this paper, we introduce the nonphysical intermediate variables , and it can divide (10b) into
Expanding (16), one can obtain three implicit equations , , and . Here, the Gauss–Seidel iterative procedure should be used, and the equations after the Gauss–Seidel procedure are
Clearly, the nonphysical variables are eliminated already. Meaning that, the nonphysical variables do not have to be solved in the whole iteration.
At this point, the implementation scheme of the proposed algorithm has been elaborated, and the overall execution process is described in Figure 1.
3. Special Treatment for the On-Axis Fields
3.1. Theory and Analysis of the Special Treatment for the On-Axis Field Components
Because of the strangeness of the cylindrical coordinate system, drastic change of the field nearby the axis will lead the splitting error to be great . Therefore, on-axis fields need to be specially treated in the 3D cylindrical coordinate system.
The positions of the electric/magnetic fields of the 3D cylindrical coordinate are shown in Figure 2, deducting the fields nearby the axis, and the section is a partial circular ring. Seeing the black shadow sector in Figure 3, clearly, the section can be added by many sectors. That is to say, all the electric/magnetic fields on the axis exhibit mathematical strangeness. As shown in Figure 3, when , there are and field components on the axis; therefore, we should treat and specially.
According Stokes’s theorem, we start from the following integral form of Maxwell’s equations in the time domain:where is a closed curve surrounding the axis and is the surface bounded by the curve . Equations (26) and (27) are actually the integral form of the Ampere loop theorem.
3.2. Differentia of the Special Treatment for the On-Axis Field Components in 3D Cylindrical Coordinate System
Obviously, the form of the right side of equation (28) is different from equations (17a)–(17c-2) in . Supposing in equation (28) is calculated in a body of revolution structure and each is equal for all the different values, equation (28) can be modified aswhere .
In this way, the form of the right side of equation (29) is similar with (17a)–(17c-2) in . By comparing equations (28) and (29), we can explain the different characteristics of the special treatment scheme on the axis in the 3D cylindrical coordinate structure, which is clearly distinguished from the scheme in the body of the revolution structure.
3.3. Special Treatment of and
In a similar way, the FDTD difference equation of can be derived from formula (27), its integral area is the dotted line circle, and the radius is , as shown in Figure 3. Its method of obtaining can refer to equations (30) to (32).
Obviously, when , the expansion form of equation (25) is consistent with ; therefore, the special treatment of is not necessary.
4. Numerical Results
In order to verify the performance of the proposed algorithm, two scattering numerical examples are given.
First example: an irregular scatter with two grooves is calculated, and the angle of the groove is . The radius of the groove is 19 cm, and the radius and height of the cylinder are 20 cm and 40 cm, respectively. The oblique incident plane wave is added through Huygen’s surface at and , and parallel to the plane, the incident angle is , as shown in Figure 4. The incident electric field iswhere , , , and . And and are chosen for the computation of the field values. The computational domain is meshed using a uniform grid with , leading to the total mesh of , and the first-order Mur absorbing boundary condition is used to truncate the boundary .
The observation points of the simulated electric fields are set at , , and , and the iteration of the whole computational domain is denoted Nt. By using the conventional FDTD algorithm, the ADI-FDTD algorithm , and the proposed algorithm, the time-domain field waveforms are shown in Figures 5–7. The numerical results show an excellent agreement between the conventional FDTD and the proposed algorithms.
In addition, to demonstrate the higher accuracy of the proposed algorithm, here two error formulations are provided to describe the accuracy, which are defined aswhere are the simulation results of the electric fields of the ADI-FDTD algorithm and the proposed algorithm and is the simulation result of the conventional FDTD algorithm.
Figures 8–10 afford the error about E of the proposed algorithm (with Nt = 3). Clearly, the error of the proposed algorithm is much smaller than the ADI-FDTD algorithm (with , , and , ). The CPU time of the ADI-FDTD algorithm and the proposed algorithm is shown in Table 1.
Observing Figures 8–10 and Table 1, when the proposed algorithm Nt = 3 and the ADI-FDTD algorithm , the CPU time of both algorithms is almost equal; nevertheless, the error of the proposed algorithm can be reduced almost 64% than the ADI-FDTD algorithm at least. Even though, when the ADI-FDTD , the comparing results show that the error of the proposed algorithm can be reduced almost 44% at least and the CPU time can be saved almost 35% than the ADI-FDTD algorithm. Obviously, the proposed algorithm can provide better improvement in terms of efficiency and accuracy.
Second example: another irregular scatter with one wedge-shaped bulge is shown in Figure 11: the angle of the bulge is , the radius of the bulge is 22 cm, and the radius and height of the cylinder are 20 cm and 40 cm, respectively. The other conditions are same with the first example.
The observation points of simulated electric fields are set at , , and , respectively. The waveforms of the proposed algorithm are shown in Figures 12–14, which also form an excellent agreement with the conventional FDTD algorithm.
To demonstrate the accuracy of the proposed algorithm again, formulations (34-1) and (34-2) are used again here. Figures 15–17 afford the error about E of the proposed algorithm (with Nt = 3) and the ADI-FDTD algorithm (with , , and ). The CPU time of the both algorithms is shown in Table 2.
Observing Figures 15–17 and Table 2, when the proposed algorithm Nt = 3 and the ADI-FDTD algorithm (with , and ), the comparison results are similar with the first example, namely, the efficiency and the accuracy of the proposed algorithm are still better than the ADI-FDTD algorithm. Obviously, the second example numerical results verify that the proposed algorithm can provide better improvement than the ADI-FDTD algorithm  in terms of efficiency and accuracy again.
In this paper, an efficient Laguerre-based finite-difference time-domain iterative algorithm in the 3D cylindrical coordinate system is proposed. By adopting a new perturbation term and using the Gauss–Seidel iterative procedure method in the iterative algorithm of this paper, this kind of treatment can get better convergence; meanwhile, it also can ensure the enhancing of the efficiency and accuracy. It can be proved by computing the two scattering numerical examples that the proposed algorithm can provide better efficiency and accuracy in high-frequency range than the ADI-FDTD algorithm.
The simulation data for the 3D cylindrical coordinate structure used to support the findings of this study are available from the corresponding author upon request.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
This work was supported in part by the National Science Research Foundation of Institutions of Higher Learning in Jiangsu Province of China under Grant 18KJB510017, University-Level Science Foundation of Nanjing Insititute of Technology under Grant ZKJ201801, and National Science Foundation of China under Grant 51477182.
A. Taflove and S. C. Hagness, Computational Electrodynamics: The Finite-Difference Time-Domain Method, Artech House, Boston, MA, USA, 2nd edition, 2000.
H. L. Chen, B. Chen, Y. T. Duan, Y. Yi, and D. G. Fang, “Unconditionally stable laguerre-based BOR-FDTD scheme for scattering from bodies of revolution,” Microwave and Optical Technology Letters, vol. 49, no. 8, pp. 1897–1900, 2007.View at: Google Scholar