Abstract
The focus of this chapter is to provide a broad overview of the high-order Locally Corrected Nyström (LCN) method. The LCN method is applied herein to the solution of a general hybrid surface/volume integral equation defining the electromagnetic scattering and/or radiation from arbitrary three-dimensional geometries of arbitrary material composition. The chapter starts out by providing a basic understanding of the LCN algorithm and its analogy to the more popular method of moments. The LCN method is then specialized to the solution of hybrid integral equations by providing nuts-and-bolts details regarding the application of the method. LCN discretizations of surface integral equations are presented for curvilinear quadrilateral or triangular meshes. Furthermore, LCN discretizations of volume integral equations are derived for curvilinear hexahedral, tetrahedral, or prism meshes. Quadrature rules suitable for a Nyström discretization and basis functions suitable for local corrections are defined for each topological type. Performing the local corrections for the different kernels encountered is also discussed. Finally a number of numerical examples are presented that span the different integral operators and topological types. For all cases, data is provided that demonstrates the high-order convergence of a LCN solution method. It is hoped that the power, yet simplicity, of the LCN method is conveyed in this chapter, along with enough details for an interested reader to develop their own LCN software.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
As will be discussed in Sect. 5.4.5.2, when mixed-order basis are used for local corrections, mixed-order quadrature rules are employed as well. In such instances, a different quadrature rule is used for each vector direction.
References
Nyström EJ (1930) Über die praktische Auflüsung von Integral-gleichungen mit Anwendungen auf Randwertaufgaben. Acta Mathematica 54:185–204
Atkinson KE (1976) A survey of numerical methods for the solution of Fredholm integral equations of the second kind. SIAM, Philadelphia
Kot JS (1990) Solution of thin-wire integral-equations by Nystrom methods. Microw Opt Tech Lett 3:393–396
Kress R (1990) Numerical solution of boundary integral equations in time-harmonic electromagnetic scattering. Electromagnetics 10:1–20
Kress R (1990) A Nystrom method for boundary integral-equations in domains with corners. Numerische Mathematik 58:145–161
Canino LF, Ottusch JJ, Stalzer MA, Visher JL, Wandzura SM (1998) Numerical solution of the Helmholtz equation in 2D and 3D using a high-order Nyström discretization. J Comput Phys 146:627–663
Gedney SD, Ottusch JJ, Petre P, Visher JL, Wandzura SM (1997) Efficient high-order discretization schemes for integral equation methods. In: IEEE international symposium on antennas and propagation, Montreal, pp 1814–1817
Gedney SD (1999) High-order Nyström solution of the EFIE in 3D for structures with edge singularities. In: IEEE symposium on antennas and propagation/URSI meeting, Orlando, p 244
Liu G, Gedney SD (2000) High-order Nyström solution of the volume EFIE for TM-wave scattering. Microw Opt Tech Lett 25:8–11
Liu G, Gedney SD (2001) High-order Nyström solution of the volume EFIE for TE-wave scattering. Electromagnetics 21:1–14
Peterson AF (2002) Accuracy of currents produced by the locally-corrected Nyström method and the method of moments when used with higher-order representations. Appl Comput Electrom Soc J 17:74–83
Burghignoli P, Di Nallo C, Frezza F, Galli A (2003) A simple Nyström approach for the analysis of 3D arbitrarily shaped conducting and dielectric bodies. Int J Numer Model Electron Network Dev Field 16:179–194
Çaliskan F, Peterson AF (2003) The need for mixed-order representations with the locally corrected Nystrom method. IEEE Antenn Wireless Propag Lett 2:72–73
Gedney SD (2003) On deriving a locally corrected Nyström scheme from a quadrature sampled moment method. IEEE Trans Antenn Propag 51:2402–2412
Gedney SD, Lu CC (2003) High-order solution for the electromagnetic scattering by inhomogeneous dielectric bodies. Radio Sci 38:15-1–15-8
Liu G, Gedney SD (2003) High-order moment method solution for the scattering analysis of penetrable bodies. Electromagnetics 23:331–346
Zhu A, Gedney SD, Lu CC (2003) A study of Muller’s and the PMCHWT formulations for a locally corrected Nyström discretization
Fleming JL, Wood AW, Wood WD (2004) Locally corrected Nystrom method for EM scattering by bodies of revolution. J Comput Phys 196:41–52
Gedney SD, Zhu A, Lu CC (2004) Study of mixed-order basis functions for the locally-corrected Nyström method. IEEE Trans Antenn Propag 52:2996–3004
Peterson AF (2004) Application of the locally corrected Nystrom method to the EFIE for the linear dipole antenna. IEEE Trans Antenn Propag 52:603–605
Zhu AM, Gedney SD, Visher JL (2005) A study of combined field formulations for material scattering for a locally corrected Nystrom discretization. IEEE Trans Antenn Propag 53:4111–4120
Rawat V, Webb JP (2006) Scattering from dielectric and metallic bodies using a high-order, Nystrom, multilevel fast mutipole algorithm. IEEE Trans Mag 42:521–526
Wildman RA, Weile DS (2006) Mixed-order testing functions on triangular patches for the locally corrected Nystrom method. IEEE Antenn Wireless Propag Lett 5:370–372
Bibby MM, Peterson AF, Coldwell CM (2008) High order representations for singular currents at corners. IEEE Trans Antenn Propag 56:2277–2287
Demaldent E, Levadoux DP, Cohen G (2008) Spectral elements for the integral equations of time-harmonic Maxwell problems. IEEE Trans Antenn Propag 56:3001–3010
Peterson AF, Bibby M (2010) An introduction to the locally corrected Nyström method. Morgan and Claypool Publishers, San Rafael, ISBN 9781608452996
Tong MS, Chew WC (2010) E-field, H-field, and combined-field based Nyström method analysis for electromagnetic scattering by complex-material bodies. IEEE Trans Electromagn Compat 52:620–628
Tong MS, Qian ZG, Chew WC (2010) Nystrom method solution of volume integral equations for electromagnetic scattering by 3D penetrable objects. IEEE Trans Antenn Propag 58:1645–1652
Young JC, Gedney SD (2011) A locally corrected Nyström formulation for the magnetostatic volume integral equation. IEEE Trans Mag 47:2163–2170
Young JC, Gedney SD, Adams RJ (2012) Quasi-mixed-order prism basis functions for Nystrom-based volume integral equations. IEEE Trans Mag 48:2560–2566
Young JC, Xu Y, Adams RJ, Gedney SD (2012) High-order Nystrom implementation of an augmented electric field integral equation. IEEE Antenn Wireless Propag Lett 11:846–849
Peterson AF, Ray SL, Mittra R (1998) Computational methods for electromagnetics. IEEE Press, New York
Volakis JL, Sertel K (2012) Integral equation methods for electromagnetics. SciTech Publishing, Raleigh
Kolundzija BM, Djordjevic A (2002) Electromagnetic modeling of composite metallic and dielectric structures. Artech House, Boston
Notaros BM, Popovic BD, Weem JP, Brown RA, Popovic Z (2001) Efficient large-domain MoM solutions to electrically large practical EM problems. IEEE Trans Microw Theory Tech 49:151–159
Jorgensen E, Volakis JL, Meincke P, Breinbjerg O (2002) Higher order hierarchical Legendre basis functions for iterative integral equation solvers with curvilinear surface modeling. In: IEEE antennas and propagation society international symposium, San Antonio, pp 618–621
Jorgensen E, Volakis JL, Meincke P, Breinbjerg O (2004) Higher order hierarchical Legendre basis functions for electromagnetic modeling. IEEE Trans Antenn Propag 52:2985–2995
Gedney SD (2001) High-order method of moment solution of the scattering by three-dimensional PEC bodies using quadrature based point matching. Microw Opt Technol Lett 29:303–309
Gyure MF, Stalzer MA (1998) A prescription for the multilevel Helmholtz FMM. IEEE Comput Sci Eng 5:39–47
Gedney SD, Zhu A, Tang W-H, Liu G, Petre P (2003) A fast, high-order quadrature sampled pre-corrected FFT for electromagnetic scattering. Microw Opt Technol Lett 36:343–349
Adams RJ, Xu Y, Xu X, Choi JS, Gedney SD, Canning FX (2008) Modular fast direct electromagnetic analysis using local–global solution modes. IEEE Trans Antenn Propag 56:2427–2441
Golub GH, Van Loan CF (1996) Matrix computations, 3rd edn. The Johns Hopkins University Press, Baltimore
Harrington RF (1989) Boundary integral formulations for homogeneous material bodies. J Electromagn Waves Appl 3:1–15
Mautz JR, Harrington RF (1979) Electromagnetic scattering from a homogeneous material body of revolution. AEU 33:71–80
Kishk AA, Shafai L (1986) Different formulations for numerical solution of single or multibodies of revolution with mixed boundary conditions. IEEE Trans Antenn Propag AP-34:666–673
Müller C (1969) Foundations of the mathematical theory of electromagnetic waves, vol 301. Springer, Berlin
Wandzura S (1992) Electric-current basis functions for curved surfaces. Electromagnetics 12:77–91
Silvester PP, Ferrari RL (1990) Finite elements for electrical engineers, 2nd edn. Cambridge University Press, Cambridge
Cools R (2003) An encyclopaedia of cubature formulas. J Complex 19:445–453
Papanicolopulos S-A (2011) Analytical computation of moderate-degree fully-symmetric cubature rules on the triangle. arXiv:1111.3827 [math.NA], November 16
Wandzura S, Xiao H (2003) Symmetric quadrature rules on a triangle. Comput Math Appl 45:1829–1840
Taylor MA, Wingate BA, Bos LP (2007) A cardinal function algorithm for computing multivariate quadrature points. SIAM J Numer Anal 45:193–205
Cools R (2005) Encyclopaedia of cubature formulas. http://nines.cs.kuleuven.be/ecf/
Zhang L, Cui T, Liu H (2009) A set of symmetric quadrature rules on triangles and tetrahedra. J Comput Math 27:89–96
Shunn L, Ham F (2012) Symmetric quadrature rules for tetrahedra based on a cubic close-packed lattice arrangement. J Comput Appl Math 236:4348–4364
Duffy MG (1982) Quadrature over a pyramid or cube of integrands with a singularity at a vertex. SIAM J Numer Anal 19:1260–1262
Meagher D (1982) Geometric modeling using octree encoding. Comput Graph Image Process 19:129–147
Balanis CA (1989) Advanced engineering electromagnetics. Wiley, New York
Woo AC, Wang HTG, Schuh MJ (1993) Benchmark radar targets for the validation of computational electromagnetics programs. IEEE Antenn Propag Mag 35:84–89
Graglia RD, Wilton DR, Peterson AF (1997) Higher order interpolatory vector bases for computational electromagnetics. IEEE Trans Antenn Propag 45:329–342
Stratton JA (1941) Electromagnetic theory. McGraw-Hill, New York
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendix 1: Curvilinear Meshing
Appendix 1: Curvilinear Meshing
5.1.1 Local Coordinate Description
The LCN method is a high-order solution method. Hence, as one increases the order of approximation p, the error should converge as O(h p). However, the accuracy in the discrete approximation of the currents and the integral operators must be complemented by the accuracy of the discrete representation of the problem geometry. Therefore, a high-order geometric discretization is necessary which can be accomplished using high-order tessellation schemes based on curvilinear cells. In order to support this, one needs to pose local curvilinear coordinate descriptions of these cells.
Consider a local curvilinear coordinate system \( ({u^1},{u^2},{u^3}) \) as illustrated in Fig. 5.13. Let \( \vec{r}=\vec{r}\left( {{u^1},{u^2},{u^3}} \right) \) be the position vector of a point within the curvilinear coordinate frame. Vectors that are tangential to each of the curvilinear coordinate curves can be defined and are referred to as the unitary vectors \( {{\vec{a}}_i} \) (i = 1, 2, 3), which are depicted in Fig. 5.13. The unitary vectors are defined as
and have magnitudes that are equal to the differential lengths along the unitary curves.
For a general curvilinear coordinate frame, the unitary vectors are not orthogonal. In order to complete an orthogonal vector space, a set of reciprocal unitary vectors \( {{\vec{a}}^i} \) are introduced [61]:
where
is the Jacobian or local differential volume traced by the unitary vectors. The reciprocal unitary vectors have the units of 1/length. Each \( {{\vec{a}}^i} \) is orthogonal to surfaces where the unitary coordinate \( {u^i} \) is a constant. Furthermore, the reciprocal vectors can also be computed from the gradient as
The unitary and reciprocal unitary spaces form a reciprocal vector space such that
where \( {\delta_{i,j }} \) is the Kronecker delta function. With the use of the reciprocal bases, any vector can be represented as a superposition of unitary or reciprocal vectors. For example,
where
are the contravariant projections of \( \vec{F} \), and
are the covariant projections of \( \vec{F} \). From these, a number of differential and integral operators can be formed in the curvilinear coordinate frame. For example, the gradient of a scalar function is expressed as [61]
the divergence of a vector field is expressed as
and the curl of a vector field is expressed as
Next, consider a curvilinear surface S bound by contour C. It is assumed that the sides of the contour C are defined by curvilinear coordinate curves. Thus, \( {{\vec{a}}_1} \) is tangential to the \( {u^1} \) curves (top and bottom), and \( {{\vec{a}}_2} \) is tangential to the \( {u^2} \) curves (left and right), as illustrated in Fig. 5.14. One can then compute the line integral of a vector field about the contour as:
The surface integral over S can also be computed. To this end, the differential surface vector is defined as
where \( \sqrt{{{g_s}}}=|{{\vec{a}}_1}\times {{\vec{a}}_2}| \) is the surface Jacobian and \( \hat{n}={{\vec{a}}_1}\times {{\vec{a}}_2}/\sqrt{{{g_s}}}. \) Consequently,
Finally, the volume integral of a function is simply
where \( \sqrt{g} \) is the Jacobian defined by (5.121).
5.1.2 Curvilinear Quadrilateral
A three dimensional surface can be represented to high order using curvilinear quadrilateral or triangular elements. Given a discrete representation of the curvilinear cell, one can fully construct a local curvilinear coordinate system on which vector and scalar function spaces can be defined. Linear operators (e.g., differentiation or integration) can be performed within the local curvilinear coordinate frame using (5.127, 5.128, 5.129, 5.130, 5.131, 5.132, and 5.133). For sake of example, this is performed here for a high-order quadrilateral mesh defined by \( {C^0} \) -continuous Lagrange interpolation polynomials. What is presented here can be applied to other \( {C^0} \) -continuous elements such as Serendipity elements and can be extended to\( {C^n} \) -continuous elements such as NURBS or T-Splines.
Consider the p-th order Legendre quadrilateral element illustrated in Fig. 5.15. The element is defined by a total of \( {(p+1)^2} \) nodes. For example, a linear quadrilateral element (p = 1) has four nodes, which correspond to the four vertices of the quadrilateral. The global position vectors of the nodes are defined by the discrete position vectors \( {{\vec{r}}_{i,j }} \), where i = 0,…,p, and j = 0,…,p. The points are assumed to be uniformly spaced in the local curvilinear coordinate frame. Thus, the (i, j) coordinate of the local coordinate space is \( (i/p,j/p) \). Next, a set of discrete interpolation polynomials are introduced in the local curvilinear coordinate space. A p-th order one-dimensional interpolation polynomial is defined as
where [48]
The set of functions defined by i = 0,…,p spans a complete polynomial space of order p. The functions are purely interpolatory:
A two-dimensional interpolation function space is then be defined from the product of one-dimensional functions:
Consequently, the position vector of a point lying on the curvilinear quadrilateral patch is given by
Given the definition of the position vector in the local curvilinear coordinate frame, the unitary vectors are computed from (5.119) to be
From (5.134, 5.135, 5.136, and 5.137), one derives
where \( {R_i}^{\prime } \) is the derivative of \( {R_i} \) with respect to its argument. An analytical expression for \( {R_i}^{\prime } \) can be derived from (5.135). A similar expression is derived for \( \partial P_{i,j}^{2D }/\partial {u^2} \).
To complete the three-dimensional space, one can define \( {{\vec{a}}_3}=\hat{n}={{\vec{a}}_1}\times {{\vec{a}}_2}/\sqrt{{{g_s}}} \) for the local curvilinear surface. The reciprocal unitary vectors are still defined by (5.120) where \( {{\vec{a}}^3}=\hat{n} \).
In summary, given the p-th order Lagrangian quadrilateral element illustrated in Fig. 5.15, the position vector and unitary vectors are defined by (5.138) and (5.139) and the reciprocal unitary vectors by (5.120). Thus, the local curvilinear coordinate space is completely defined. A similar interpolation scheme can be introduced for triangular elements [48]. The same principals can also be extended to three-dimensional hexahedral, tetrahedral, triangular prism, and pyramid elements.
Rights and permissions
Copyright information
© 2014 Springer Science+Business Media New York
About this chapter
Cite this chapter
Gedney, S.D., Young, J.C. (2014). The Locally Corrected Nyström Method for Electromagnetics. In: Mittra, R. (eds) Computational Electromagnetics. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-4382-7_5
Download citation
DOI: https://doi.org/10.1007/978-1-4614-4382-7_5
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-4381-0
Online ISBN: 978-1-4614-4382-7
eBook Packages: EngineeringEngineering (R0)