Both the scalar Green function and the dyadic Green function of an electromagnetic field and the transform from the scalar to dyadic Green function are introduced. The Green function of a transmission line and the propagators are also presented in this chapter.
- Green function
- boundary condition
In 1828, Green introduced a function, which he called a potential, for calculating the distribution of a charge on a surface bounding a region in Rn in the presence of external electromagnetic forces. The Green function has been an interesting topic in modern physics and engineering, especially for the electromagnetic theory in various source distributions (charge, current, and magnetic current), various construct conductors, and dielectric. Even though most problems can be solved without the use of Green functions, the symbolic simplicity with which they could be used to express relationships makes the formulations of many problems simpler and more compact. Moreover, it is easier to conceptualize many problems; especially the dyadic Green function is generalized to layered media of planar, cylindrical, and spherical configurations.
2. Definition of Green function
3. The scalar Green function
3.1. The scalar Green function of an electromagnetic field
The Green function of a wave equation is the solution of the wave equation for a point source . And when the solution to the wave equation due to a point source is known, the solution due to a general source can be obtained by the principle of linear superposition (see Figure 1).
This is merely a result of the linearity of the wave equation, and that a general source is just a linear superposition of point sources. For example, to obtain the solution to the scalar wave equation in
we first seek the Green function in the same
which is actually a linear superposition of point sources in mathematical terms. Consequently, the solution to Eq. (5) is just
which is an integral linear superposition of the solution of Eq. (6). Moreover, it can be seen that
But due to the spherical symmetry of a point source,
Since sources are absent at infinity, physical grounds then imply that only an outgoing solution can exist; hence,
Note that the second integral vanishes when ∆
The solution to Eq. (6) must depend only on
3.2. The scalar Green functions of one-dimensional transmission lines
We consider a transmission line excited by a distributed current source,
where denotes the propagation constant of the line. Eq. (19) has been designated as an inhomogeneous one-dimensional scalar wave equation.
The Green function pertaining to a one-dimensional scalar wave equation of the form of Eq. (19), denoted by
In general, the subscript 0 designates infinite domain so that we have outgoing waves at , often called the radiation condition. Subscript 1 means that one of the boundary conditions satisfies the so-called Dirichlet condition, while the other satisfies the radiation condition. When one of the boundary conditions satisfies the so-called Neumann condition, we use subscript 2. Subscript 3 is reserved for the mixed type. Actually, we should have used a double subscript for two distinct boundary conditions. For example, case (b) of Figure 3 should be denoted by
In case (d), a superscript becomes necessary because we have two sets of line voltage and current (
Let the domain of
The first term at the right-hand side of the above equation is simply
The last identity is due to the symmetrical property of the Green function. The shifting of the primed and unprimed variables is often practiced in our work. For this reason, it is important to point out that
The choice of the above functions is done with the proper satisfaction of boundary conditions at infinity. At
They are: , and
The physical interpretation of these two conditions is that the voltage at
(b) The choice of this type of function is done with the proper satisfaction of boundary conditions. At
In view of Eq. (24), it can be interpreted as consisting of an incident and a scattered wave; that is
Such a notion is not only physically useful, but mathematically it offers a shortcut to finding a composite Green function. It is called as the shortcut method or the method of scattering superposition.
(c) Similarly, the method of scattering superposition suggests that we can start with
To satisfy the Neumann condition at
(d) In this case, we have two differential equations to start with
It is assumed that the current source is located in region 1 (see Figure 3d). We introduce two Green functions of the third kind, denoted by
At the junction corresponding to
The last condition corresponds to the physical requirement that the current at the junction must be continuous. Again, by means of the method of scattering superposition, there are
The characteristic impedance of the lines, respectively, is
By the boundary condition, there are
Example: Green function solution of nonlinear Schrodinger equation in the time domain .
The nonlinear Schrodinger equation including nonresonant and resonant nonlinear items is:
The original nonlinear part is divided into the nonresonant and resonant susceptibility items and . The solution has the form:
Then, there is:
and taking the operator as a perturbation item, the eigenequation is
Its characteristic roots are
where , and
Constructing the Green function as:
At the point
It is reasonable to let
Finally, the solution of Eq. (44) can be written with the eigenfunction and Green function:
The accuracy can be estimated by the last term of Eq. (57).
4. The dyadic Green function
4.1. The dyadic Green function for the electromagnetic field in a homogeneous isotropic medium
The Green function for the scalar wave equation could be used to find the dyadic Green function for the vector wave equation in a homogeneous, isotropic medium . First, notice that the vector wave equation in a homogeneous, isotropic medium is
Then, by using the fact that and that , which follows from the continuity equation, we can rewrite Eq. (58) as
where is an identity operator. In Cartesian coordinates, there are actually three scalar wave equations embedded in the above vector equation, each of which can be solved easily in the manner of Eq. (4). Consequently,
Hence, Eq. (60) can be rewritten as
It can also be derived using scalar and vector potentials.
Alternatively, Eq. (63) can be written as
is a dyad known as the dyadic Green function for the electric field in an unbounded, homogeneous medium. (A dyad is a 3 × 3 matrix that transforms a vector to a vector. It is also a second rank tensor). Even though Eq. (64) is established for an unbounded, homogeneous medium, such a general relationship also exists in a bounded, homogeneous medium. It could easily be shown from reciprocity that
is the relation between J
Alternatively, the dyadic Green function for an unbounded, homogeneous medium can also be written as
we can show quite easily that
Equation (64) or (67), due to the ∇∇ operator inside the integration operating on
And as the vector analog of Eq. (16)
4.2. The boundary condition
The dyadic Green function is introduced mainly to formulate various canonical electromagnetic problems in a systematic manner to avoid treatments of many special cases which can be treated as one general problem [3, 7, 8]. Some typical problems are illustrated in Figure 4 where (a) shows a current source in the presence of a conducting sphere located in air, (b) shows a conducting cylinder with an aperture which is excited by some source inside the cylinder, (c) shows a rectangular waveguide with a current source placed inside the guide, and (d) shows two semi-infinite isotropic media in contact, such as air and “flat” earth with a current source placed in one of the regions.
Unless specified otherwise, we assume that for problems involving only one medium such as (a), (b), and (c) the medium is air, then the wave number
The fields must satisfy the boundary conditions required by these problems.
In general, using the notations and to denote, respectively, the electric and the magnetic dyadic Green functions; they are solutions of the dyadic differential equations
is the same as Eq. (70), and there is
(a) and (b): Electric dyadic Green function (the first kind, using the subscript 1 denotes , and the subscript “0” represents the free-space condition that the environment does not have any scattering object) is required to satisfy the dyadic Dirichlet condition on
So, for (a)
and for (b)
(c) the electric dyadic Green function is required to satisfy the dyadic boundary condition on
(d) For problems involving two isotropic media such as the configuration shown in Figure 4d, there are two sets of fields . The wave numbers in these two regions are denoted by and . There are four functions for the dyadic Green function of the electric type and another four functions for the magnetic type, denoted, respectively, by and , and and . The superscript notation in means that both the field point and the source point are located in region 1. For , it means that the field point is located in region 1 and the source point is located in region 2. A current source is located in region 1 only, and the two sets of wave equations are
At the interface, the electromagnetic field and the corresponding dyadic Green function satisfy the following boundary conditions
The electric fields are
5. Vector wave functions, L, M, and N
The vector wave functions are the building blocks of the eigenfunction expansions of various kinds of dyadic Green functions. These functions were first introduced by Hansen [10–12] in formulating certain electromagnetic problems.Three kinds of vector wave functions, denoted by
A vector wave function, by definition, is an eigenfunction or a characteristic function, which is a solution of the homogeneous vector wave equation .
There are two independent sets of vector wave functions, which can be constructed using the characteristic function pertaining to a scalar wave equation as the generating function. One kind of vector wave function, called the Cartesian or rectilinear vector wave function, is formed if we let
The set of functions so obtained
In the following, the expressions for the dyadic Green functions of a rectangular waveguide will be derived asserting to the vector wave functions. The method and the general procedure would apply equally well to other bodies (cylindrical waveguide, circular cylinder in free space, and inhomogeneous media and moving medium).
Figure 5 shows the orientation of the guide with respect to the rectangular coordinate system, and we will choose the unit vector
The scalar wave function
The complete expression and the notation for the set of functions
where , . The subscript “
In a similar manner
It is obvious that
In summary, the vector wave functions, which can be used to represent the electromagnetic field inside a rectangular waveguide, are of the form
where , and .
6. Retarded and advanced Green functions
Green function is also utilized to solve the Schrödinger equation in quantum mechanics. Being completely equivalent to the Landauer scattering approach, the GF technique has the advantage that it calculates relevant transport quantities (e.g., transmission function) using effective numerical techniques. Besides, the Green function formalism is well adopted for atomic and molecular discrete-level systems and can be easily extended to include inelastic and many-body effects [13, 14].
(A) The definitions of propagators
The time-dependent Schrödinger equation is:
The solution of this equation at time
where is called the time-evolution operator.
For the case of a time-independent Hermitian Hamiltonian , so that the eigenstates with energies
The eigenfunctions are orthogonal and normalized, for discrete energy levels 1:
and form a complete set of states (is the unity operator)
The time-evolution operator for a time-independent Hamiltonian can be written as
which demonstrates the superposition principle. The wave function at time
where are the coefficients of the expansion of the initial function on the basis of eigenstates.
It is equivalent and more convenient to introduce two Green operators, also called propagators, retarded and advanced :
so that at
The operators at
with the boundary conditions at
giving correct boundary condition at
For a time-independent Hamiltonian, the Green function is a function of the time difference , and one can consider the Fourier transform
This transform, however, can not be performed in all cases, because includes oscillating terms . To avoid this problem we define the retarded Fourier transform
and the advanced one
where the limit
Applying this transform to Eq. (117), the retarded Green operator is
The advanced operator is related to the retarded one through
Using the completeness property, there is
Apply the ordinary inverse Fourier transform to , the retarded function becomes
Indeed, a simple pole in the complex
The formalism of retarded Green functions is quite general and can be applied to quantum systems in an arbitrary representation. For example, in the coordinate system Eq. (124) is
(B) Path integral representation of the propagator
In the path integral representation, each path is assigned an amplitude ,
The propagator satisfies
Let us divide the time interval [
Example: LC circuit-based metamaterials
In this section, we will use the relationship of current and voltage in the LC circuit to build the propagator of the LC circuit field coupled to an atom.
Figure 7 shows the LC-circuit.The following are valid:
The Lagrangian operator describing the bipole is:
Taking the coupling effect (
7. The recent applications of the Green function method
In the Green function, the high oscillation of Bessel/Hankel functions in the integrands results in quite time-consuming integrations along the Sommerfeld integration paths (SIP) which ensures that the integrands can satisfy the radiation condition in the direction normal to the interface of a medium. To facilitate the evaluation, the method of moments (MoM) , the steepest descent path (SDP) method, and the discrete complex image method (DCIM) [16, 17] are very important methods.
The technique for locating the modes is quite necessary for accurately calculating the spatial Green functions of a layered medium. The path tracking algorithm can obtain all the modes for the configuration shown in Figure 8, even when region 2 is very thick . Like the method in Ref. , it does not involve a contour integration and could be extended to more complicated configurations.
The discrete complex image method (DCIM) has been shown to deteriorate sharply for distances between source and observation points larger than a few wavelengths . So, the total least squares algorithm (TLSA) is applied to the determination of the proper and improper poles of spectral domain multilayered Green’s functions that are closer to the branch point and to the determination of the residues at these poles .
For the 2-D dielectric photonic crystals as shown in Figure 10, the integral equation is written in terms of the unknown equivalent current sources flowing on the surfaces of the periodic 2-D cylinders. The method of moments is then employed to solve for the unknown current distributions. The required Green function of the problem is represented in terms of a finite summation of complex images. It is shown that when the field-point is far from the periodic sources, it is just sufficient to consider the contribution of the propagating poles in the structure . This will result in a summation of plane waves that has an even smaller size compared with the conventional complex images Green function. This provides an analyzed method for the dielectric periodic structures.
Others, since the Gaussian function is an eigenfunction of the Hankel transform operator, for the microstrip structures, the spectral Green’s function can be expanded into a Gaussian series . By introducing the mixed-form thin-stratified medium fast-multiple algorithm (MF-TSM-FMA), which includes the multipole expansion and the plane wave expansion in one multilevel tree, the different scales of interaction can be separated by the multilevel nature of the the fast multipole algorithm .
The vector wave functions, L, M, and N, are the solutions of the homogeneous vector Helmholtz equation. They can also be used for the analyses of the radiation in multilayer and this method avoids the finite integration in some cases.
7.2. Multilayer structure
The volume integral equation (VIE) can analyze electromagnetic radiation and scattering problems in inhomogeneous objects. By introducing an “impulse response” Green function, and invoking Green theorem, the Helmholtz equation can be cast into an equivalent volume integral equation including the source current or charges distribution. But the number of unknowns is typically large and the equation should be reformulated if there are in contrast both permittivity and permeability. At present, it is utilized to analyse the general scatterers in layered medium [25, 26].
When the inhomogeneity is one dimension, the Green function can be determined analytically in the spectral (Fourier) domain, and the spatial domain counterpart can be obtained by simply inverse Fourier transforming it.
Surface integral equation (SIE) method is another powerful method to handle electromagnetic problems. Similarly, by introducing the Green function, the Helmholtz equation can be cast into an equivalent surface integral equation, where the unknowns are pushed to the boundary of the scatterers .
Despite the convergence problem, the locations of the source and observation point may cause the change of Green function form, for example, for a source location either inside or outside the medium, the algebraic form of the Green functions changes as the receiver moves vertically in the direction of stratification from one layer to another .
First, we introduce the full-wave computational model . A multilayer structure involving infinitely 1-D periodic chains of parallel circular cylinders in any given layer can be constructed as shown in Figure 11. Each layer consists of a homogeneous slab within which the circular cylinders are embedded. This is the typical aeronautic situation with fiber-reinforced four-layer pile (with fibers orientated at 0°, 45°, −45°, and 90°), but any other arrangement is manageable likewise.
In the multilayered photonic crystals, the Rayleig’s method and mode-matching are combined to produce scattering matrices. An S-matrix-based recursive matrix is developed for modeling electromagnetic scattering. Field expansions and the relationship between expansion coefficients are given.
There is a mix treatment for the inhomogeneous and homogeneous multilayered structure . As shown in Figure 12, a substrate is divided into two regions. The top region is laterally inhomogeneous and for the finite-difference method (FDM) or the finite element method (FEM), the volume integral equation, is used. The bottom region is layerwise homogeneous, and the boundary-element methods (BEM) are used. The two regions are connected such as a BEM panel is associated with an FEM node on the interface.
A Green function was derived for a layerwise uniform substrate and was then used in a layerwise nonuniform substrate with additional boundary conditions applied to the interface. Given that the lateral inhomogeneity is local, volume meshing is used only for the local inhomogeneous regions, BEM meshing is applied to the surfaces of these local regions.
For a field (observation) point in the
where the superscripts
The electromagnetic field in a multilayer structure can be efficiently simplified by the assumption that the multilayer is grounded by a perfect electric conducto (PEC) plane [33, 34]. When the source and the field points are assumed to be inside the dielectric slab, in a layered medium as shown in Figure 13, by applying the boundary conditions, the 1-D Green functions is
where PMC represents the perfect magnetic conductor. The simplified Green function form can be deduced to the cae of (b).
The three-dimensional (3-D) Green function for a continuous, linearly stratified planar media, backed by a PEC ground plane, can also be expressed in terms of a single contour integral involving one-dimensional (1-D) green function. The constructure is shown in Figure 14.