Scalar Product in the Space of Waveguide Modes of an Open Planar Waveguide

To implement the method of adiabatic waveguide modes for modeling the propagation of polarized monochromatic electromagnetic radiation in irregular integrated optics structures it is necessary to expand the desired solution in basic adiabatic waveguide modes. This expansion requires the use of the scalar product in the space of waveguide vector fields of integrated optics waveguide. This work solves the first stage of this problem – the construction of the scalar product in the space of vector solutions of the eigenmode problem (classical and generalized) waveguide modes of an open planar waveguide. In constructing the mentioned sesquilinear form, we used the Lorentz reciprocity principle of waveguide modes and tensor form of the Ostrogradsky-Gauss theorem.


Introduction
To describe the amplitude and phase matching on real (and / or imagined) interfaces of media (and/ /or regions) of the electromagnetic radiation propagating through these boundaries it is required to use an additional (to Maxwell equations) relation, similar to the law of energy conservation for the electromagnetic field, or the Lorentz lemma on reciprocity.The relations of this kind are also the boundary conditions of equality of the tangential components of the electromagnetic field on the real interface between two media through which the described electromagnetic radiation propagates.
Assume that there exists a first group of external currents j 1 , creating the electromagnetic (monochromatic) field E 1 H 1 .Also assume that there exists a second group of external currents j 2 , creating the electromagnetic (monochromatic) field E 2 H 2 .Then the relation, called Lorentz lemma on reciprocity in differential form is true [4]: a e-mail: alsevastyanov@gmail.com b e-mail: leonid.sevast@gmail.comc e-mail: nastya.tyutyunnik@gmail.comd e-mail: nkoalan@gmail.comwhere the currents j 1e and j 2e create the fields E 1 and E 2 , while j 1m and j 2m create the H 1 and H 2 .
When the Lorentz lemma is applied to the area Ω filled with electromagnetic radiation generated by external currents which are concentrated outside Ω, the relation (1) takes the following form: Under the waveguide propagation of a monochromatic polarized electromagnetic radiation (optical range) in regular waveguides, the expressions of the electromagnetic field can be factored as: The use of the Lorentz lemma on reciprocity to the waveguide propagation of Maxwell optical radiation leads to the factorization of (2) into the sum of two terms involving the transverse electromagnetic field distributions and the exponential factor respectively.In the case of real ε and μ, the second contribution to the Lorentz lemma vanishes identically, while if Im ε Re ε, it is negligibly small.The remaining first part of the sum, renamed as "conservation law", can be called "truncated Lorentz lemma" for the waveguide propagation of the electromagnetic radiation.
An independent derivation of the "truncated Lorentz lemma" was given in [3] for fiber-optics waveguides.In [5] the expression of "truncated Lorentz lemma" was suggested for planar regular waveguides without derivation.
The derivation of the "truncated Lorentz lemma" for waveguide modes of planar regular waveguides is a useful preliminary step in the derivation of the Lorentz lemma and the "truncated Lorentz lemma" for adiabatic waveguide modes of integrated optics waveguides.The latter relation is necessary for the derivation of the completeness of adiabatic waveguide modes of integrated optics waveguides, based on the matrix formulation of the scalar product of four-component expressions through the tangential components of the electromagnetic field of adiabatic waveguide modes [2].

Adiabatic waveguide modes of smoothly irregular integrated optics waveguide
If a solution is sought in the form where Substituting (4) into the Maxwell equations and taking into account these two relations, we obtain the following relations for the first derivatives of the field components EPJ Web of Conferences In ( 7) and ( 8), the terms proportional to ∂ ∂z 1 ε and to ∂ ∂y 1 ε have been neglected.These terms are small as compared to other values in the gradient smoothly irregular waveguides and vanish identically in the multilayer smoothly irregular waveguides [6].
Further, we substitute into the Maxwell equations the solution of the adiabatic waveguide modes in the form (4), which contains (initially) only guided waveguide modes corresponding to the discrete spectrum, u(x, y, z, t) After a series of transformations and after taking into account ( 5)-( 8), we obtain the following relations in matrix-vector form for the solutions (9): which is equivalent to M (DC) Ψ = 0 with the 4 × 4 matrix M shown in ( 10)-(11), and the vector The scalar multiplication of this system with the corresponding coordinate functions, results in a system of partial differential equations of the second order with respect to the unknown coefficient functions C j (y, z).However, working with four-dimensional vectors and matrices requires a matrix scalar product.Further we proceed to the construction of this scalar product.

Truncated Lorentz lemma
We consider the planar regular isotropic optical (dielectric) waveguide.
In the absence of external charges and currents (inside the domain of interest) the optical electromagnetic radiation is described by the equations: with the boundary conditions for the tangential components E τ , H τ at the borders x = a 1 and x = a 2 and the conditions at infinity for the electric ( E) and magnetic ( H) fields 02041-p.3

Mathematical Modeling and Computational Physics 2015
As shown in [6] the particular solutions of the problem (13)-(15) form two complete systems of solutions (TE-and TM-modes) for two Sturm-Liouville problems associated to it.In the Cartesian system of coordinates, the TE-and TM-modes are written as: The relations (16), under the condition ∂ / ∂y E H = 0 0 are solutions of Sturm-Liouville problems with mixed spectrum.For solutions of the form (16), the system of Maxwell equations (13) in Cartesian coordinates splits into two independent subsystems: for the TE-modes: and for the TM-modes: Moreover, the positive values of a discrete parameter correspond to the "direct" waveguide modes propagating from left to right in the direction of increasing coordinate z, whereas the "reverse" waveguide modes propagating from right to left in the direction of decreasing coordinate z can be described by negative values of the discrete spectral parameter [7].The systems of equations corresponding to the reverse waveguide modes are: for the TE-modes and for the TM-modes: Just as it was done in [3] for the waveguide modes of a fiber-optics waveguide, we apply the Lorentz lemma to the waveguide modes of planar waveguide.We split the divergence operator into longitudinal and transverse parts, and to the transverse part (the truncated Lorentz lemma) we apply the Ostrogradsky-Gauss theorem.The obtained result coincides with that of [5], namely, the scalar product in the class of vector fields (solutions of the Maxwell equations) is given by where the superscripts "±" indicate forward and reverse waveguide modes.
A direct verification shows that EPJ Web of Conferences Similar verification for TM-modes yields The mutual scalar products of the vector electromagnetic fields of the TE-and TM-waveguide modes equal zero.

Full Lorentz lemma
Our main problem is to describe the electromagnetic fields of the TE-and TM-waveguide modes through the four tangential components satisfying the system of linear first order ODEs, The system (24) is valid for both direct and reverse waveguide modes, the obvious correspondence to the systems (17)-(20).
In order to write the scalar product through four tangential components satisfying the system of linear ordinary differential equations (24), we use the second and fourth equations to transform the expressions ( 22) and ( 23) to the form: and To complete the argument, we make all the calculations directly using the full Lorentz lemma.In accordance with the main principle forming the basis of the full Lorentz lemma, the direct waveguide modes of the form (16) satisfying the systems (17) and ( 18) are generated by sources of the electromagnetic field to the left of the considered area of the waveguide and are marked by the index 1.The reverse waveguide modes have the same form as (16) except the sign before ik 0 βz.They satisfy the systems ( 19), (20), are generated by sources of the electromagnetic field to the right of the considered area of the waveguide, and are marked by the index 2.For this pair of electromagnetic radiation fields, the Lorenz lemma (2) is true.Direct calculation of the divergence leads to expressions identical to (21) and ( 22), (23) for the scalar products.Namely, 02041-p.5 Mathematical Modeling and Computational Physics 2015 For the guided waveguide modes the integral of the first terms in ( 27)-(30) equals zero.As a consequence, according to (19), (20), it results that the expressions of the scalar products calculated in the two ways described above coincide.

Discussion
The calculations of the last section can be repeated for the adiabatic waveguide modes in order to get the desired scalar product in the space of tangential vector fields of the adiabatic waveguide modes.The scalar product ( 22)-( 23) can also be used to describe the diffraction of the waveguide modes at the interconnection of two regular planar waveguides.The obtained results are to be compared with similar results obtained from the boundary Maxwell conditions for the tangential (with respect to the plane of waveguides interconnection) components of the electromagnetic field.
The resulting scalar product may be used to solve the problem of reflection and transmission of guided modes at the interconnection of planar waveguides.The described procedure enables modeling the transition of "horn" type between two planar waveguides using the built sesquilinear form.