Changes

Basic Principles of The Method of Moments

560 bytes added, 21:19, 23 July 2018
<table>
<tr>
<td>[[image:Cube-icon.png | link=Getting_Started_with_EM.CUBECube]] [[image:cad-ico.png | link=Building Geometrical Constructions in CubeCAD]] [[image:fdtd-ico.png | link=EM.Tempo]] [[image:prop-ico.png | link=EM.Terrano]] [[image:static-ico.png | link=EM.Ferma]] [[image:planar-ico.png | link=EM.Picasso]] [[image:metal-ico.png | link=EM.Libera]] [[image:po-ico.png | link=EM.Illumina]] </td>
<tr>
</table>
=[[Image:Back_icon.png|30px]] '''[[A_Review_of_Maxwell%27s_Equations_%26_Computational_Electromagnetics_(CEM) | Back to Maxwell's Equations Page]]''' == An Overview of the Method of Moments ===
The Method of Moments (MoM) is a rigorous, full-wave numerical technique for solving open boundary electromagnetic problems. Using this technique, you can analyze electromagnetic radiation, scattering and wave propagation problems with relatively short computation times and modest computing resources. The method of moments is an integral equation technique; it solves the integral form of Maxwell’s equations as opposed to their differential forms that are used in the finite element or finite difference time domain methods.
The right choice of the basis functions that are used to represent the elementary currents is very important. It will determine the accuracy and computational efficiency of the resulting numerical solution. Rooftop basis functions are one of the more popular types of basis functions used in a variety of MoM formulations. The simplest rooftop function is the one-dimensional triangular functions defined as in the figure below:
<table><tr><td> [[FileImage:18_meshing_tn.gif|thumb|360px|Triangular basis function.]]</td> </tr></table>
This function provides a linear interpolation of the unknown currents or fields in one dimension. Note that the function vanishes at it two ends. This is a desirable feature for basis functions that represent electric currents on metallic wires as the current must vanish at the two ends of a wire. The total current on the wire can be approximated in a linear fashion by a set of one-dimensional rooftop functions as shown in the figure below:
<table><tr><td> [[FileImage:19_meshing_tn.gif|thumb|360px|Meshing a wire with rooftop (triangular) basis functions.]]</td> </tr></table>
This can be written as
:<math> I(l) = \sum_{n=1}^N a_n f_n(l) \mathbf{\hat{s}_n} </math>
<!--[[File:20_meshing_tn.gif]]-->
where l is the length coordinate along the wire with l=0 at its start point. <math>f_n(l)</math> is the scaled and translated version of the linear basis function <math>f(l)</math> shown in the previous figure. <math>\mathbf{\hat{s}_n}</math> is the unit vector along wire.
== Multilayer Green’s Functions ==
[[Image:PMOM14.png|thumb|400px|A typical planar layered structure.]]
The Green’s functions are the solutions of boundary value problems when they are excited by an elementary source. This is usually assumed to be an infinitesimally small vectorial point source. In order for Green’s functions to be computationally useful, they must have analytical closed forms like a mathematical expression, or one should be able to compute them using a recursive process. It turns out that only very few boundary value problems have closed-form Green’s functions. Planar layered structures with laterally infinite extents are one of those few cases, which can be represented by recursive dyadic Green's functions.
 
<table>
<tr>
<td> [[Image:PMOM14.png|thumb|360px|A typical planar layered structure.]] </td>
</tr>
</table>
In general, a structure may support both electric ('''J''') and magnetic ('''M''') currents. The total electric ('''E''') and magnetic ('''H''') fields can be expressed in terms of the electric and magnetic currents in the following way:
:<math>H = H^{inc} + \iiint\limits_V \overline{\overline{G}}_{HJ}(r|r') \cdot J(r') \, dv' + \iiint\limits_V \overline{\overline{G}}_{HM}(r|r') \cdot M(r') \, dv'</math>
<!--[[File:PMOM1(1).png]]-->
where '''G<sub>EJ</sub>''', '''G<sub>EM</sub>''', '''G<sub>HJ</sub>''', '''GH<sub>M</sub>''' are the dyadic Green’s functions for the electric and magnetic currents due to electric and magnetic current source, respectively, and '''E<sup>i</sup>''' and '''H<sup>i</sup>''' are the incident or impressed electric and magnetic fields, respectively. In these equations, '''r''' is the position vector of the observation point and '''r'''' is the position vector of the source point. V is the volume that contains all the sources and the volume integration is performed with respect to the primed coordinates. The incident or impressed fields provide the excitation of the structure. They may come from an incident plane wave or a gap source on a microstrip line, a short dipole, etc. The complexity of the Green’s functions depends on what is considered as the background structure. If you remove all the unknown currents from the structure, you are left with the background structure.
== Numerical Solution of Integral Equations ==
The planar integral equations derived earlier can be solved numerically by discretizing the unknown currents using a proper meshing scheme. The original functional equations are reduced to discretized linear algebraic equations over elementary cells. The unknown quantities are found by solving this system of linear equations, and many other [[parameters]] can be computed thereafter. This method of numerical solution of integral equations is known as the Method of Moments (MoM). In this method, the unknown electric and magnetic currents are represented by expansions of basis functions as follows:
:<math>J(r) = \sum_{n=1}^N I_n^{(J)} f_n^{(J)} (r)</math>
Similar expressions can be derived for the T<sup>(EM)</sup>, U<sup>(HJ)</sup> and Y<sup>(HM)</sup>elements of the MoM matrix.
== Discretization Of of Electric &amp; Magnetic Currents ==
The right choice of the basis functions to represent the elementary currents is very important. It will determine the accuracy and computational efficiency of the resulting numerical solution. Rooftop basis functions are one of the most popular types of basis functions used in a variety of MoM formulations. The surface currents (whether electric or magnetic) are discretized using 2D rooftop basis functions shown in the figure below:
<table><tr><td> [[File:image055_tn.png]] |thumb|480px|Rooftop or RWG basis functions built over two rectangular, triangular or mixed cells.]] </td> </tr></table>
The rooftop basis functions are defined over two adjacent cells with a common edge of length. If the two cells are triangular, then the so-called RWG functions are obtained. It is also possible to define rooftop functions over two adjacent rectangular cells or two adjacent rectangular and triangular cells with a common edge. On a rectangular cell, the function is defined as having a (descending or ascending) linear profile in one direction and a constant profile in the other perpendicular direction.
The volume polarization currents in 2.5-D MoM have a vertical direction along the Z-axis. These are discretized using prismatic basis functions that have either a rectangular or triangular base with a constant profile along the Z-axis.
<table><tr><td> [[File:image065_tn.png|thumb|480px|Prismatic basis function with triangular cross section.]]</td> <td> [[File:image066_tn.png]] |thumb|480px|Prismatic basis functions built over single triangular and with rectangular cellscross section.]] </td> </tr></table>
== The Rectangular Mesh Advantage ==
:<math> Z_{ij}^{(\mu \nu)} = \iiint_{V_i} d\nu f_i^{(\mu)}(r) \cdot \iiint_{V_j}d\nu ' \overline{\overline{G}}_{\mu \nu}(r|r') \cdot f_j^{(v)}(r') </math>
<!--[[File:PMOM24(1).png]]-->
where the spatial-domain dyadic Green's functions are a function of the observation and source coordinates, '''r'''and '''r' '''. The MoM matrix elements can indeed be interpreted as interactions between two elementary basis functions '''f<sub>i</sub>(r)''' and '''f<sub>j</sub>(r')''' on that particular background structure. The spatial-domain dyadic Green's functions can themselves be expressed in terms of the spectral-domain dyadic Green's functions as follows:
:<math> \overline{\overline{G}}_{\mu \nu}(r|r') = \frac{1}{(2\pi)^2} \int\limits_{-\infty}^{\infty} \int\limits_{-\infty}^{\infty} \tilde{\overline{\overline{G}}}_{\mu \nu} (k_p, z|z') e^{-j[k_x(x-x')+k_y(y-y')]} \, dk_x \, dk_y , \quad {k_p}^2 = {k_x}^2 + {k_y}^2 </math>
<!--[[File:PMOM26.png]]-->
where the doubly infinite integration is performed with respect to the spectral [[variables]] k<sub>x</sub> and k<sub>y</sub>. As can be seen from the above expression, the spatial-domain dyadic Green's functions are functions of z, z', as well as (x-x') and (y-y'). The MoM matrix elements can now be transformed into the spectral domain as
:<math> Z_{ij}^{(\mu \nu)} = \dfrac{1}{(2\pi)^2} \int\limits_{-\infty}^{\infty} \int\limits_{-\infty}^{\infty} \tilde{f}_i^{(\mu)} (k_x, k_y) \cdot \tilde{\overline{\overline{G}}}_{\mu \nu} (k_{\rho}, z|z') \cdot \tilde{f}_j^{(\nu)} (k_x, k_y) \, dk_x \, dk_y </math>
<!--[[File:PMOM27.png]]-->
where the tilde symbol signifies the Fourier transform of a function defined as
:<math> \tilde{f}(k_x, k_y) = \dfrac{1}{(2\pi)^2} \int\limits_{-\infty}^{\infty} \int\limits_{-\infty}^{\infty} f(x,y) e^{j(k_x x + k_y y)} \, dx \, dy </math>
<!--[[File:PMOM28(1).png]]-->
Rectangular cells have simple Fourier transforms. The rooftop basis functions are triangular functions in the direction of current flow and constant in the perpendicular direction. This means that their Fourier transform is a product of a sinc-squared function along one spectral direction and a sinc function along the other. You can see from the figure below that if one deals with a rectangular mesh of identical cells (all equal and parallel), then the interactions among the rooftop basis functions become a functions of the index differences and not the absolute indices:
:<math> Z_{(i,k)|(j,l)} = Z \Big\langle f_{i,k}(x,y)| f_{j,l}(x', y') \Big\rangle = Z_{(i-j)|(k-l)} </math>
<!--[[File:PMOM29.png]]-->
In the above equation, the vectorial rooftop basis functions have explicit, double indices: i and k along the local X and Y directions, respectively, for the test (observation) basis function, and j and l along the local X and Y directions, respectively, for the expansion (source) basis function. Thus, uniform rectangular cells, i.e. structured rectangular cells of identical size aligned in the same direction, can speed up the planar MoM simulation significantly due to these symmetry and the invariance properties. For example, all the self-interactions are identical regardless of the location of a rooftop basis function. This reduces the matrix fill process for a total of N rooftop basis functions from an N2 process to one of order N.
<table><tr><td> [[File:PMOM25.png]] |thumb|360px|Pairs of rooftop basis functions that have identical MoM interactions.]] </td> </tr></table>
== Computing The Near Fields in Planar MoM ==
<!--[[File:PMOM93(1).png]]-->
Calculation of the near-zone fields (fields at the vicinity of the unknown currents) is done at the post-processing stage and in a Cartesian coordinate systems. These calculations involve doubly infinite spectral-domain integrals, which are computed numerically. As was mentioned earlier, [[EM.Cube]]'s planar MoM engine rather uses a polar integration scheme, where the radial spectral variable k<sub>&rho;</sub> is integrated over the interval [0, Mk<sub>0</sub>], M being a large enough number to represent infinity, and the angular spectral variable t is integrated over the interval [0, 2&pi;]. You also saw some of the numerical [[parameters]] related to this spectral-domain integration scheme.
{{Note|When the observation plane is placed very close to the radiating J and M currents, the Green's functions exhibit singularities, which translate to very slow convergence or divergence of the integrals. You need to be careful to place field sensors at adequate distances from these radiating sources.}}
where '''[I]''' is the solution vector, which contains the unknown amplitudes of all the basis functions that represent the unknown electric and magnetic currents of finite extents in your planar structure. In the above equation, N is the dimension of the linear system and equal to the total number of basis functions in the planar mesh. [[EM.Cube]]'s linear solvers compute the solution vector'''[I]''' of the above system. You can instruct [[EM.Cube]] to write the MoM matrix and excitation and solution vectors into output data files for your examination. To do so, check the box labeled &quot;'''Output MoM Matrix and Vectors'''&quot; in the Matrix Fill section of the Planar MoM Engine Settings dialog. These are written into three files called mom.dat1, exc.dat1 and soln.dat1, respectively.
There are a large number of numerical methods for solving systems of linear equations. These methods are generally divided into two groups: direct solvers and iterative solvers. Iterative solvers are usually based on matrix-vector multiplications. Direct solvers typically work faster for matrices of smal to medium size (N&lt;3,000). [[EM.Cube]]'s [[Planar ModulePicasso]] offers five linear solvers:
# LU Decomposition Method
<hr>
[[Image:Top_icon.png|30px]] '''[[#Free-Space_Green.E2.80.99s_Function An_Overview_of_the_Method_of_Moments | Back to the Top of the Page]]'''
[[Image:Back_icon.png|30px]] '''[[A_Review_of_Maxwell%27s_Equations_%26_Computational_Electromagnetics_(CEM) | Back to Maxwell's Equations Page]]'''
 
[[Image:Back_icon.png|30px]] '''[[EM.Picasso | Back to EM.Picasso Manual]]'''
 
[[Image:Back_icon.png|30px]] '''[[EM.Libera | Back to EM.Libera Manual]]'''
[[Image:Back_icon.png|30px]] '''[[EM.Cube | Back to EM.Cube Main Page]]'''
28,333
edits