\documentclass[12pt]{article}
\usepackage{amsmath,amsthm,amsfonts,amssymb,amscd}
\usepackage{graphics}
\usepackage[latin1]{inputenc}

\headsep=-1truecm

\oddsidemargin=0pt
\evensidemargin=0pt
\textwidth=16truecm
\textheight=21truecm

\renewcommand{\thefootnote}

\renewcommand{\baselinestretch}{1.3}

\begin{document}

\centerline{\large\bf Some comments on electromagnetic oscillations in anisotropic cavities}

\smallskip

\centerline{\large\bf - wave equations and boundary conditions}

\vglue .4in

\centerline{\large\bf Luiz C.L. Botelho$^*$}

\vglue .3in

\centerline{Departamento de Matemática Aplicada}

\smallskip

\centerline{Instituto de Matemática, Universidade Federal Fluminense}

\smallskip

\centerline{Rua Mario Santos Braga, CEP 24220-140}

\smallskip

\centerline{Niterói, Rio de Janeiro, Brazil}

\smallskip

\centerline{e-mail: botelho.luiz@ig.com.br}

\vglue .5in

\noindent\textbf{Abstract:} We present several new studies on the mathematical methods formulation of the important problem of electromagnetic oscillations in cavities on anisotropic and axial-anisotropic media, specially on the writing of the relevant dynamical wave equations and their correct boundary conditions. This study is the physical model for applications of a path integral method presented earlier [LCL Botelho - IJTP, 49,1396-1404-2010].

\vglue .3in

\noindent\textbf{\large 1.\, Electromagnetic Oscillations Dynamical Wave Equations}

\bigskip

We start this not by writing the initial value problem for Maxwell equations in the presence of sources and in a compact domain $\Omega$ with boundary $\partial\Omega$ with spatially variable constitutive parameter ($\varepsilon(\vec r), \mu(\vec r), \sigma(\vec r)$) ([1], [2])
\begin{equation}
\vec{\nabla} \times \vec{E} + \mu\,\frac{\partial}{\partial t}\,\vec{H} = 0 \tag{1}
\end{equation}
\begin{equation}
\vec{\nabla} \times \vec{H} - \mu \varepsilon   \frac{\partial\vec{E}}{\partial t} = \mu\vec{j} + \sigma\mu \,\vec{E} \tag{2}
\end{equation}
\begin{equation}
\vec{\nabla}\cdot\vec{B} = 0 \tag{3}
\end{equation}
\begin{equation}
\vec{\nabla}(\varepsilon\,\vec{E}) = \rho \tag{4}
\end{equation}
\begin{equation}
\vec{E}(\vec{r},0) = \vec{E}_0(\vec{r}) \tag{5}
\end{equation}
\begin{equation}
\vec{H}(\vec{r},0) = \vec{H}_0(\vec{r}) \tag{6}
\end{equation}

Let us firstly search appropriated boundary conditions to be imposed on the electric and magnetic fields $\vec{E}(\vec{r},t)$ and $\vec{H}(\vec{r},t)$ respectivelly in order to lead to the problem unicity of the above written set of PDE's, eq(1)-eq(6).

On basis of eq(1) and eq(2), we have the obvious energy balance equation for the PDE's system above written
\begin{equation}
\left[\vec{H}\cdot \left(\vec\nabla\times\vec E + \mu\, \frac{\partial}{\partial t}\,\vec H\right)\right] - \left[(\vec\nabla \times \vec H)\cdot \vec E - \mu \varepsilon \frac{\partial\vec E}{\partial t} \cdot \vec E - \vec j \mu \vec E - \sigma\mu \vec E \cdot \vec E\right] = 0 \tag{7}
\end{equation}

In other words, we have the following electromagnetic energy balance equation in $\Omega$
\begin{align*}
&-\left(\frac 12 \int_\Omega \frac{\partial}{\partial t} \big(\varepsilon \mu  \vec{E}^2 + \mu \vec{H}^2\big)d^3r\right) = + \int_\Omega (\mu\vec E.\vec J)d^3r + \int_\Omega \mu \sigma (\vec E)^2\,d^3x\\
&\qquad\qquad\qquad\quad + \int_{\partial\Omega} \overbrace{\big((\vec E \times \vec H)\cdot \vec n\big)dA}^{\text{Flux Poynting vector}}\tag{8}
\end{align*}

It one supposes that has two different set of solutions for Maxwell equations eq(1) and eq(2), namely $(E_1,H_1)$ and $(E_2,H_2)$, then theirs difference satisfy the obvious inequality
\begin{equation}
+\frac 12\,\frac{\partial}{\partial t} \left[\overbrace{\int_\Omega \big(\mu\in(\Delta\vec E)^2 + \mu(\Delta\vec H)^2\big)d^3r}^{\mathcal E(t)}\right] \le - \int_{\partial\Omega} \big((\Delta\vec E \times \Delta \vec H)\cdot \vec n\big)dA \tag{9}
\end{equation}
since the loss of ohmic energy is positive-definite
\begin{equation}
\int_\Omega \mu\sigma(\Delta\vec E)^2\,d^3x \ge 0 \tag{10}
\end{equation}

Now if one chooses boundary conditions that lead to the vanishing of the 
Poyinting flux on eq(8), one gets the problem unicity since
\begin{equation}
\frac 12\,\frac{\partial}{\partial t}\,\mathcal E(t) \le 0 \,\,\Rightarrow\,\, \mathcal E(t) \le \mathcal E(0) = 0. \tag{11}
\end{equation}

Let us analyze examples of boundary conditions that lead to vanishing of the Poynting flux on eq(9)
\begin{equation}
\big((\vec{E}_2 - \vec{E}_1) \times (\vec{H}_2 - \vec{H}_1)\cdot \vec n\big\vert_{\partial\Omega} = 0 \tag{12}
\end{equation}
Namely:

$\noindent a)\qquad \vec E\big\vert_{\partial\Omega} = 0\hfill(13)$

$\noindent b)\qquad \vec H\big\vert_{\partial\Omega} = 0\hfill(14)$

$\begin{cases}
\noindent c)\quad \vec E\cdot\mathcal{T}_{1,2}\big\vert_{\partial\Omega} = 0 \Leftrightarrow (\vec\nabla\times\vec H)\cdot\mathcal{T}_{1,2}\big\vert_{\partial\Omega}\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\quad\,\,\,\hfill(15)\\

\noindent d)\quad \vec H\cdot\mathcal{T}_{1,2}\big\vert_{\partial\Omega}=0
\qquad\qquad\qquad(16-a)\\

\noindent e)\quad (\vec E\times\vec H)\cdot\vec n\big\vert_{\partial\Omega} = 0 \qquad\qquad(16-b)\\
\end{cases}
$

\noindent where $\vec{\mathcal T}_{1,2}$ denote the tangent vectors on the domain boundary $\partial\Omega$.

Let us consider now a medium with constant electromagnetic parameters
$$
\varepsilon = \varepsilon_0\,; \,\, \mu = \mu_0\,; \,\, \sigma = \sigma_0\,.
$$

In this simply case we have the decoupled dynamical equations for Electric and Magnetic fields with the non-absorbing boundary conditions
\begin{align}
&\Delta\vec E = \varepsilon\mu\,\frac{\partial^2\vec E}{\partial t^2} + \sigma\mu\,\frac{\partial\vec E}{\partial t} + \left(\mu\,\frac{\partial\vec j}{\partial t} + \vec\nabla(\rho)\right) \tag{17}\\
&\vec E(\vec r,0) = E_0(\vec r)\tag{18}\\
&-\vec{E}_t(\vec r,0) = \vec J(\vec r,0) + \sigma \vec{E}_0(\vec r) - (\nabla\times\vec{H}_0(\vec r)) \tag{19}\\
&\vec E \cdot \mathcal{T}_{1,2}\big\vert_{\partial\Omega} = 0 \tag{20}\\
&\Delta\vec H = \varepsilon\mu\,\frac{\partial^2\vec H}{\partial t^2} + \mu\sigma\,\frac{\partial\vec H}{\partial t} - (\vec \nabla \times \vec J)\tag{21}\\
&\vec H(\vec r,0) = H_0(\vec r) \tag{22}\\
&\vec{H}_t(\vec r,0) = - \frac{1}{\mu}\,(\vec\nabla \times \vec{E}_0(r)) \tag{23}\\
&(\vec\nabla \times \vec H)\cdot \vec{\mathcal T}_{1,2}\big\vert_{\partial\Omega} = (\vec J\cdot\vec{\mathcal T}_{1,2})\big\vert_{\partial\Omega} = 0 \tag{24}
\end{align} 

Note that the divergencelless of the magnetic field eq(3) in this case can be insured straightforwardly by the equation below:
\begin{equation}
H^{\rm Tr}(\vec r,t) = H(\vec r,t) - \frac{1}{4\pi}\,\vec{\nabla}_{\vec r} \cdot  \left\{\int_\Omega \left(\frac{{\rm div}(\vec H(\vec{r}',t)}
{|\vec r - \vec{r}'|}\right)d^3r'\right\} \tag{25}
\end{equation}

Let us re-write the problem in terms of vector and scalar potentials with the condition of $-\infty < t < \infty$ ($\vec E(\cdot,t)$ and $\vec H(\cdot,t) \in L^2(R^3)$).

Since in this case one has gauge invariance so redundancy on the Maxwell equations solutions one should choose the generalized radiation gauge as a natural gauge fixing to find a unique solution:
\begin{equation}
\frac{1}{\mu}\,\vec\nabla\cdot\vec A - \varepsilon\,\frac{\partial\phi}{\partial t} - \sigma\phi = 0. \tag{26}
\end{equation}

In this case the Maxwell dynamical equations eq(17)-eq(24) take the more invariant form below through the use of the electromagnetic potentials $(\vec A,\phi)$.
$$
\begin{cases}
\Delta\vec A - \varepsilon\mu\,\frac{\partial^2}{\partial t^2}\,\vec A = -\mu\vec j + \sigma\mu\,\frac{\partial}{\partial t}\,\vec A&\\
\Delta\phi - \mu\varepsilon\,\frac{\partial^2}{\partial t^2}\, \phi - \mu\sigma\,\frac{\partial\phi}{\partial t} = \rho&\\
\vec E\cdot\vec{\mathcal T}_{1,2}\big\vert_{\partial\Omega} = \left(-\frac{\partial}{\partial t}\,\vec A + \nabla\phi\right)\cdot\vec{\mathcal T}_{1,2}\big\vert_{\partial\Omega} = 0&\\
(\vec\nabla\times\vec H)\cdot\vec{\mathcal T}_{1,2}\big\vert_{\partial\Omega} \equiv \big(\nabla\times(\vec\nabla\times\vec A)\big)\cdot\vec{\mathcal T}_{1,2}\big\vert_{\partial\Omega} = \mu\big(\vec J\cdot\vec{\mathcal T}_{1,2} \big\vert_{\partial\Omega}\big)&\qquad\qquad\qquad\qquad\quad\hfill (27)
\end{cases}
$$

At this point we address our readers to implement numerical approximate procedures to solve the above written set of linear boundary value problems in a computer by finite-differences or finite-elements.

Finally we write the associated wave equations associative to the full Maxwell equations in the context of an electromagnetic spatially variable medium namely:
\begin{align*}
\Delta\vec H -\left(\frac{\vec{\nabla}_\varepsilon}{\varepsilon} \right)(\vec r)\,\frac{\partial^2H}{\partial t^2} = \bigg\{&-\vec\nabla \times \vec j + \sigma\mu\,\frac{\partial\vec H}{\partial t}\\
&-(\vec\nabla\sigma) \times \vec E - \vec\nabla\left(\frac{\vec H\cdot\vec\nabla}{\mu(\vec r)}\right)\\
&-\left(\frac{\vec{\nabla}_\varepsilon}{\varepsilon} \right)(\vec r)  \times (\vec\nabla \times \vec H - \vec j - \sigma\vec E)\bigg\} \tag{28}
\end{align*}

\begin{align*}
\Delta\vec E - (\varepsilon\mu)(\vec r)\,\frac{\partial^2\vec E}{\partial t^2}&= \mu\,\frac{\partial\vec j}{\partial t} + \sigma\mu\,\frac{\partial\vec E}{\partial t}\\
&- \vec\nabla \left(\frac{\rho-\vec E\cdot \overset{\rightarrow}{\nabla   E}}{\varepsilon}\right)\\
&- \left(\frac{\vec\nabla\mu}{\mu} \times \vec\nabla \times \vec E\right)
\tag{29}
\end{align*}
$+$\, \text{plus boundary and initial conditions}

At this point we call the reader attention that solving electromagnetic problem in cavities with a non-trivial topological/homological class with potentials, one encounter the severe difficulty of the Helmholtz-Hodge non trivial decompsotion of the electromagnetic fields in term of the above mentioned potentials. For instance, $\vec\nabla\cdot\vec B=0$ in $\Omega$ means that $\vec B = \vec\nabla \times \vec A + \vec{B}^{\rm top}$ where $\vec{B}^{\rm top}$  is an haarmonic vector field configuration associated to the topological-homological characterization of $\Omega$ (with $\Omega$ being a domain with holes inside for instance, and of difficult determination from the local Maxwell PDE'systems! In this Helmholtz-Hodge context the Maxwell equations written in terms of potential $(\vec A,\varphi)$ are of form with constant medium electric parameters for instance)
\begin{equation}
\Delta\vec A - \varepsilon\mu\,\frac{\partial^2}{\partial t^2} \vec A = \left(\overbrace{(\vec\nabla\times\vec H^{\rm top} - \varepsilon\mu \frac{\partial}{\partial t} \vec E^{\rm top}}^{\text{homological current}}\right) + \vec j + \sigma\vec E \tag{30-a}
\end{equation}
\begin{equation}
\Delta\phi - \varepsilon\mu \frac{\partial ^2}{\partial t^2}\,\phi = \frac{\rho}{\varepsilon} - \overbrace{\mu\,\frac{\partial}{\partial t} (\vec\nabla\cdot\vec H^{\rm top})}^{\text{homological charge density}} \tag{30-b}
\end{equation}
\begin{equation}
\overbrace{\vec\nabla\cdot\vec A - \varepsilon\mu\,\frac{\partial\phi}{\partial t} = 0}^{\text{radiation gauge fixing}} \tag{30-c}
\end{equation}
$+$ boundary conditions.

Here the homological-topological electromagnetic field configurations are defined by the Hodge theorem.
\begin{equation}
\overbrace{\vec H = \frac 1\mu (\vec\nabla \times \vec A) + H^{\rm top}}^{\text{Hodge-Helmholtz theorem}} \tag{31-a}
\end{equation}
\begin{equation}
0 = \nabla \times E^{\rm top} \equiv -\mu\, \frac{\partial \vec{H}^{\rm top}}{dt} \tag{31-b}
\end{equation}

We note that non trivial topology on the manifold structure of $\Omega$ appear dinamically in Maxwell equations as sources of to electric charge and electric currents.

It appears thus, that considering from the beginning the dynamical equations written directly for the strenght field $(\vec E, \vec H)$, all subtle and very difficulty topological-homological constraints imposed by the Hodge-Helmotz theorem are solved and already built on the boundary conditions imposed directly for the dynamical electromagnetic field equations.

Note that the set of second-order PDE's eq(17)-eq(18) may enlarge the original set of solutions of the first order eqs(1)-eq(2), opposite to the potential method $(\overset{\rightarrow}{A},\varphi)$. So, further direct  verifications of using unique solutions eq(17)-eq(18) for solving eq(1) and eq(2) should be done at the end of the problem solving.

Let us now consider the anisotropic electromagnetic irradiation case in $R^3$. In this situation we have the tensorial-matricial constituve relationships on the medium electromagnetic properties between the electric displacement vector $\vec D(\vec r,t)$ and the associated electric field $\vec E(\vec r,t)$ (respectively between the magnetic flux vector $\vec B(\vec r,t)$ and the magnetic vector field $\vec H(\vec r,t)$).
\begin{align*}
&\vec D(\vec r,t) = \overbrace{[\varepsilon(\vec r)]\cdot \vec E(\vec r,t)}^{\text{anisotropic medium permitivity}} \Leftrightarrow (D_i(\vec r,t)= 
\overbrace{\varepsilon_{ij}(\vec r)E_j(\vec r,t)}^{\varepsilon C_0(R^3)}(\vec r))\\
&\vec B(\vec r,t) =[\mu(\vec r)]\vec H(\vec r,t) \Leftrightarrow \overbrace{\mu_{ij}(\vec r)}^{\varepsilon^{ij}C_0(R^3)} H_j(\vec r,t)=B_i(\vec r,t) \tag{31}
\end{align*}

Since $\vec\nabla\cdot\vec B=0$, we have that exists a potential $\vec A$, such that
\begin{equation}
B_i(\vec r,t) = \varepsilon^{ijk}\,\partial_j A_k(\vec r,t) \tag{32}
\end{equation}

As a consequence of the Maxwell equations we also have that
\begin{equation}
E_i(\vec r,t) = -\frac{\partial}{\partial t}\,A_i(\vec r,t) + \frac{\partial}{\partial x^i}\,\phi(\vec r,t) \tag{33}
\end{equation}

One has thus the following anisotropic wave equation as outcome:
\begin{equation}
\varepsilon_{irs}\,\frac{\partial}{\partial x^r} \left([\mu^{-1}]_{sq}(\vec r) B_q(\vec r,t)\right) - \frac{\partial}{\partial t} \left([\varepsilon]_{ij}(\vec r) E_j(\vec r,t)\right) = J_i(\vec r,t) \tag{34-a}
\end{equation}
which can be re-written as of as
\begin{align*}
&\varepsilon_{irs}\,\frac{\partial}{\partial x^r} \left([\mu^{-1}]_{sg}\, \overbrace{\varepsilon^{gjk}\,\frac{\partial}{\partial x^j}\,A_k}^{B^g}\right)\\
&\,\,- \frac{\partial}{\partial t} \left([\varepsilon]_{ij}\left(-\frac{\partial}{\partial t}\,A_j + (\vec\nabla\phi)_j\right)\right) = J_i \tag{34-b}
\end{align*}
or equivalently
\begin{align*}
&\big(\varepsilon_{irs}\,\varepsilon^{gjk}\big) \left\{\left([\mu^{-1}]_{sg}\,\frac{\partial^2}{\partial x^r \partial x^j}\,A_k\right) + \left(\frac{\partial}{\partial x^r}\,[\mu^{-1}]_{sg}\right) \frac{\partial}{\partial x^j}\,A_k\right\}\\
&\qquad\qquad + [\varepsilon]_{ij}\,\frac{\partial^2A_j}{\partial t^2} = J_i + [\varepsilon]_{ij}\,\frac{\partial^2}{\partial t\partial x^j}\,\varphi \tag{34-c}
\end{align*}

In other words
\begin{align*}
&\qquad\qquad \left(\varepsilon_{irs}\,\varepsilon^{gjk}\big)[\mu^{-1}]_{sg}\right) \frac{\partial}{\partial x^r \partial x^j}\,A_k+[\varepsilon]_{ij} \frac{\partial^2A^j}{\partial t^2} =\\
&= J_i + \left\{[\varepsilon]_{ij}\,\frac{\partial^2}{\partial t \partial x^j}\,\varphi - \left(\varepsilon_{irs} \varepsilon^{gjk}\left(\frac{\partial}{\partial x^r}\,[\mu^{-1}]_{sg}\right)\frac{\partial}{\partial x^j} A_k\right)\right\} \tag{35}
\end{align*}

After considering the radiation anisotropic gauge
\begin{equation}
[\varepsilon]_{ij}\,\frac{\partial^2}{\partial t \partial x^j}\,\varphi - \left(\varepsilon_{irs} \varepsilon^{gjk}\,\frac{\partial}{\partial x^j} [\mu^{-1}]_{sg}\,\frac{\partial}{\partial x^j}\,A_k\right) \equiv 0 \tag{36}
\end{equation}
one has the anisotropic second order Maxwell wave equation for the vector potential $\vec A(\vec r,t)$, decoupled from the scalar potential.
\begin{equation}
\underbrace{
\overbrace{[\varepsilon]_{mi}^{-1} \big(\varepsilon_{irs}\varepsilon^{gjk}[\mu^{-1}]_{sg})}^{C_{mrjk}(\vec r)\equiv}}_{:\equiv \overline C_{mrkg}}\frac{\partial^2}{\partial x^r \partial x^j}\,A_k + \frac{\partial^2 A_m}{\partial t^2} = [\varepsilon]_{mi}^{-1}\,J_i \tag{37}
\end{equation}
where the anisotropic fourth-order electromagnetic medium tensor is explicitly given by
\begin{equation}
C_{mrjk}(\vec r) = \big[\varepsilon_{(\vec r)}^{-1}\big]_{mi} (\varepsilon_{irs} \varepsilon^{gjk}[\mu^{-1}]_{sg}(\vec r)) \tag{38}
\end{equation} 

The equation for the $\phi$-electric potential in the choice radiation gauge eq(36) is devoid of dynamical content and given by a sort of Poisson equation through Maxwell equations once known the solution of the vector potential dynamics as given by eq(36)
\begin{equation}
\frac{\partial}{\partial x^i} \left([\varepsilon]_{ir}\,\frac{\partial}{\partial x^r}\,\phi\right) = \left(\rho + \left(\frac{\partial}{\partial x^i}\,[\varepsilon]_{ir}\right) \frac{\partial}{\partial t}\,A_r\right) \tag{39}
\end{equation}

We now show that it is possible to choose the anisotropic radiation gauge eq(36). Let $(\overline A,\overline \phi)$ be a given fixed electromagnetic potential configurtion and $\left(\overline A + \nabla\Lambda, \varphi + \frac{\partial\Lambda}{\partial t}\right)$ it is gauge transformed.

We now show that it is possible to determine the gauge transformaton parameter $\Lambda(\vec r,t)$ with the gauge field transformed electromagnetic potential configuration satisfying the gauge fixing analytical definition eq(34).

So let us suppose that
\begin{equation}
\left[\varepsilon_{gjk} \varepsilon_{irs}\left(\frac{\partial}{\partial x^r} ([\mu^{-1}]_{sq}(\vec r))\,\frac{\partial}{\partial x^j} \overline A_k\right)\right] - \frac{\partial}{\partial t} \left[[\varepsilon]_{ij}(r)\,\frac{\partial}{\partial x^j}\,\overline\phi\right] \ne 0. \tag{40}
\end{equation}

So we need to determine $\Lambda$ such that
\begin{equation}
\left[\varepsilon_{gjk}\varepsilon_{irs}([\mu^{-1}]_{sq}) \frac{\partial}{\partial x^j} (A+\vec\nabla\Lambda)_k\right] - 
\left[\frac{\partial}{\partial t}\left([\varepsilon]_{ij}\left(\frac{\partial\phi}{\partial x_j} + \frac{\partial\Lambda}{\partial t}\right)\right)\right] = 0 \tag{41}
\end{equation}

We have thus, that the gauge parameter function $\Lambda(\vec r,t)$ satisfies the second order PDE equation below
\begin{align*}
&\left(\varepsilon_{gjk} \varepsilon_{irs}\,\frac{\partial}{\partial x^r}\,([\mu^{-1}]_{sg}\right) \frac{\partial}{\partial x^j} \left(\frac{\partial}{\partial x_k}\,\Lambda\right) - [\varepsilon]_{ij} \frac{\partial^2}{\partial t^2}\,\Lambda^j =\\
&\qquad\qquad\qquad = \overbrace{\text{eq(40)}}^{\text{source as function of $(\overline A,\overline\varphi)$}} \tag{42}
\end{align*}
 
Finally, the reader should realize perturbative analytical calculations by considering weakly anisotropy around the isotropic case $(g_{1,2} \ll 1)$
\begin{equation}
\begin{aligned}
&[\mu(\vec r)]_{ij} = \delta_{ij} + g_1\,\mu_{ij}(\vec r)\\
&[\varepsilon(\vec r)]_{ij} = \delta_{ij} + g_2\, \varepsilon_{ij}(\vec r)
\end{aligned} \tag{43}
\end{equation}

\vglue .3in

\noindent\textbf{\large 2.\, Maxwell Equations in an axial anisotropic  conductive medium}

\bigskip

Let us start this section 2 by considering the set of Maxwell equations in a medium with constitutive parameters depending solely on the spatial variable $z$, i.e. our anisotropic medium has a permittivity $\mathcal E = \mathcal E(z)$ and a media permeability $\mu = \mu(z)$. Note also the supposed $z$ dependence of the medium conductivity $\sigma(z)$.

The electric flux density $\vec B$ (see eq(31) and eq(30)) are also supposed to be time variant and solely depending on the spatial variable $z$
\begin{align*}
&\vec D = \vec D(z,t) = (D_x, D_y, D_z)(z,t) \tag{44-a}\\
&\vec B = \vec B(z,t) = (B_x, B_y, B_z)(z,t) \tag{44-b}\\
&\vec D = \varepsilon(z) \vec E(z,t) \tag{44-c}\\
&\vec B = \mu(z) \vec H(z,t) \tag{44-d}
\end{align*}

We have thus the following set of partial differential equations describing the electromagnetic pulse in a such electromagnetic axial anisotropic dependent medium ($\varepsilon(z), \mu(z)$) with a source also still depending on the time and the $z$-variable solely
\begin{equation}
\frac{1}{\varepsilon(z)}\,r \circ t \big(\vec D(z,t)\big) + \vec\nabla\left(\frac{1}{\varepsilon(z)}\right) \times \vec D(z,t) = -\frac{\partial\vec B}{\partial t} (z,t) \tag{45-a}
\end{equation}
\begin{align*}
\frac{1}{\mu(z)}\,r \circ t\big(\vec D(z,t)\big) &+ \vec\nabla\left(\frac{1}{\mu(z)}\right) \times \vec B(z,t) - \frac{\partial}{\partial t}\,\vec D(z,t)\\
&= \vec j(z,t) + \frac{\sigma(z)}{\varepsilon(z)}\,\vec D(z,t) \tag{45-b}
\end{align*}
\begin{equation}
\frac{\partial}{\partial z}\, B_z(z,t) = (\text{div } \vec B)(z,t) = 0 \tag{45-c}
\end{equation}
\begin{equation}
\frac{\partial}{\partial z}\, D_z(z,t) = (\text{div } \vec D)(z,t) = 0 \tag{45-d}
\end{equation}

After re-writing the set of axial anisotropic Maxwell equations eq(45-a)-eq(45-d) in components, it yields
\begin{equation}
-\frac{\partial}{\partial z} \left(\frac{1}{\varepsilon(z)}\, \frac{\partial D_y}{\partial z}\right) + \frac{\partial}{\partial z} \left(\frac{\varepsilon'(z)}{\varepsilon(z})\,D_y\right) = -\frac{\partial B_x}{\partial t \partial z} \tag{46-a}
\end{equation}
\begin{align*}
\frac{1}{\mu(z)}\,\frac{\partial B_x}{\partial t\partial z} &- \left(\frac{\mu'(z)}{\mu^2(z)}\right)\,\frac{\partial B_x}{\partial t} - \frac{\partial^2}{\partial t^2}\,D_y\\
&= \frac{\partial}{\partial t}\,j_y + \frac{\sigma(z)}{\varepsilon(z)}\, \frac{\partial}{\partial t}\,D_y \tag{46-b}
\end{align*}

In a decoupled form after some elementary algebra, one gets the fully decoupled component wave equation
\begin{align*}
&\left(-\frac{1}{\varepsilon(z)}  \frac{\partial^2}{\partial z^2} D_y + \left(\frac{\varepsilon'(z)}{\varepsilon^2(z)}\right) \frac{\partial D_y}{\partial z} + \frac{\varepsilon'(z)}{\varepsilon^2(z)}\, \frac{\partial D_y}{\partial z} + \left(\frac{\varepsilon'}{\varepsilon^2}\right)'(z)\,D_y(z)\right)\\
&\qquad\qquad\qquad = \bigg(-\left(\frac{\mu'(z)}{\mu(z)\varepsilon(z)}\right) \,
\frac{\partial D_y}{\partial z} + \left(\frac{\mu'\varepsilon'}{\mu\varepsilon^2}\right)(z)\,D_y\\
&\qquad\qquad\quad -\mu(z) \frac{\partial^2}{\partial t^2}\,D_y - \mu(z)\,\frac{\partial}{\partial t}\,j_y - \left(\frac{\mu\sigma}{\varepsilon}\right)(z)\,\frac{\partial}{\partial t}\,D_y\bigg) \tag{47}
\end{align*}

Similar algebric procedures give decoupled equations for $D_x(z,t)$ and the magnetic flux density $\vec B$, after determining the candidate solutions for the electric flux density $\vec D = (D_x,D_y)$.
\begin{align*}
&\qquad\qquad\qquad\quad \frac{\partial}{\partial z} \left(\frac{1}{\mu(z)}\,\frac{\partial B_x}{\partial z}\right) - \frac{\partial}{\partial z} \left(\frac{\mu'(z)}{\mu^2(z)}\,B_x\right)=\\
&= \varepsilon(z)\,\frac{\partial^2B_x}{\partial t^2} + \bigg\{\overbrace{\left(\frac{\varepsilon'}{\varepsilon}\right)(z)\frac{\partial D_y}{\partial t}(z,t)}^{\text{effective source term}} - \frac{\partial}{\partial z}\,j_y(z,t) + \frac{\partial}{\partial z} \left(\frac{\sigma(z)}{\varepsilon(z)} \,D_y(z,t)\right)\bigg\} \tag{48}
\end{align*}

Formal harmonic solutions for the decoupled eq(47) are easily found for a harmonic source with a definite frequency $(-\infty < t < \infty)$
\begin{equation}
D_y(z,t) = e^{iwt}\, \Phi(z) \tag{49-a}
\end{equation}
\begin{equation}
j_y(z,t) = e^{iwt}\,j_y(z) \tag{49-b}
\end{equation}

Here
\begin{equation}
\Phi(z) = \exp\bigg\{\overbrace{-\frac 12 \int_{z_0}^z b(\overline z)d\overline z}^{\alpha(z) \equiv}\bigg\} \varphi(z) \tag{50-a}
\end{equation}
\begin{equation}
b(z) \equiv \left[\left(\frac{2\varepsilon'}{\varepsilon^2} + \frac{\mu'}{\mu\varepsilon}\right)\cdot \frac{1}{\mu}\right] \tag{50-b}
\end{equation}
\begin{equation}
-\frac{d^2\varphi}{dz^2} + (iwd(z) - V(z))\varphi(z) = w^2\varphi - j_y(z) e^{-\alpha(z)} \tag{50-c}
\end{equation}
\begin{equation}
d(z) \equiv \frac{\sigma(z)}{\varepsilon(z)} \tag{50-d}
\end{equation}
\begin{equation}
V(z) = \alpha''(z) + (\alpha'(z))^2 + b(z)\alpha'(z)+c(z) \tag{50-e}
\end{equation}
\begin{equation}
a(z) \equiv \left(\frac{1}{\varepsilon\mu}\right)(z) \tag{50-f}
\end{equation}
\begin{equation}
c(z) \equiv \left(\left[-\left(\frac{\varepsilon'}{\varepsilon^2}\right)' - \frac{\mu'}{\mu}\,\frac{\varepsilon'}{\varepsilon}\right]\cdot \frac{1}{\mu}\right)(z) \tag{50-g}
\end{equation}
 We have thus reduced the harmonic electromagnetic wave propagation described in a axial-anisotropic medium to the ordinary differential equation eq(50-c).
 Let us finally point out that at the limit of higher frequencies and $j_y(z,t)\equiv 0$, one may introduce the effective spatial variable $Z$ ([5])
\begin{align*}
&Z = \frac{\omega}{\gamma}\,z\\
&\varphi(z) = U(Z);\,\,
d(z) = \widetilde{d}(Z),\, \text{etc.} \tag{51}
\end{align*}
with $\gamma$ being an expansion parameter and get the explicitly solutions at the asymptotic higher frequence limit
\begin{align*}
U(Z) &= \frac{A}{\sqrt[\uproot{2}4]{-\widetilde c(\overline Z)}} \exp\left\{i \int_{Z_0}^Z \big(-\widetilde c(\overline Z)\big)^{\frac 12}\,d\overline Z\right\}\\
&+\frac{B}{\sqrt[\uproot{2}4]{-\widetilde c(Z)}} \exp\left\{-i \int_{Z_0}^Z \big(-\widetilde c(\overline Z)\big)^{\frac 12}\,d\overline Z\right\} \tag{52}
\end{align*}
useful for scattering problem of an electromagnetic pulse into a slab (or layers) (work in progress).

Work on applied settings ([4]) are in progress.


\vglue .2in

\noindent{\textbf{\large References:}
\begin{itemize}
\item[{[1]}] Luiz C.L. Botelho - ``A note on Feynman-Mac path integral representations for scalar wave motions" - Random Operators and Stochastic Equations, v. 21, pp 271-292, 2013.
\item[{-}] Luiz C.L. Botelho and R. Vilhena - Feynman path-integral representation for scalar wave propagation, Phys. Rev. 40E pp 1003-1004, 1994.
\item[{[2]}] Luiz C.L. Botelho - ``A method of integration for wave equation and some applications to wave physics" - Random Operators and Stochastic Equations, v. 18, pp 301-325, 2010.
\item[{-}] Luiz C.L. Botelho - International Journal of Theoretical Physics, V. 49, pp 1356-1404, 2010.
\item[{[3]}] W. Zanomcz, A.A. Snorcpsni, E. Infeld - ``Electromagnetic Oscillations in a Spherical Conducting Cavity with dieletric layers" - arXiv preprint 1103-1240.2011 - arXivorg.
\item[{[4]}] Luiz C.L. Botelho - Methods of Bosonic Path Integrals Representations - Random Systems in Classical Physics - Nova Science Publishers, Inc., New York, 2006.
\end{itemize}

\end{document}

