CONSTITUTIVE TENSOR IN THE GEOMETRIZED MAXWELL THEORY Текст научной статьи по специальности «Математика»

Discrete & Continuous Models & Applied Computational Science 2022, 30 (4) 305-317

ISSN 2658-7149 (online), 2658-4670 (print) http://journals-rudn-ru/miph

Research article

UDC 537.8:512.723

DOI: 10.22363/2658-4670-2022-30-4-305-317

Constitutive tensor in the geometrized Maxwell theory

Anna V. Korolkova

Peoples' Friendship University of Russia (RUDN University), 6, Miklukho-Maklaya St., Moscow, 117198, Russian Federation

(received: November 14, 2022; revised: December 12, 2022; accepted: December 19, 2022)

Abstract. It is generally accepted that the main obstacle to the application of Riemannian geometrization of Maxwell's equations is an insufficient number of parameters defining a geometrized medium. In the classical description of the equations of electrodynamics in the medium, a constitutive tensor with 20 components is used. With Riemannian geometrization, the constitutive tensor is constructed from a Riemannian metric tensor having 10 components. It is assumed that this discrepancy prevents the application of Riemannian geometrization of Maxwell's equations. It is necessary to study the scope of applicability of the Riemannian geometrization of Maxwell's equations. To determine whether the lack of components is really critical for the application of Riemannian geometrization. To determine the applicability of Riemannian geometrization, the most common variants of electromagnetic media are considered. The structure of the dielectric and magnetic permittivity is written out for them, the number of significant components for these tensors is determined. Practically all the considered types of electromagnetic media require less than ten parameters to describe the constitutive tensor. In the Riemannian geometrization of Maxwell's equations, the requirement of a single impedance of the medium is critical. It is possible to circumvent this limitation by moving from the complete Maxwell's equations to the approximation of geometric optics. The Riemannian geometrization of Maxwell's equations is applicable to a wide variety of media types, but only for approximating geometric optics.

Key words and phrases: geometrization of Maxwell's equations, permeability tensor, dielectric constant, magnetic permeability, geometric optics

1. Introduction

With the advent of the model Cayley-Klein [1, 2] the formalism of non-Euclidean spaces became used to describe physical models. This approach received popularity after the creation Einstein's general theory of relativity [3]. At the same time, there were attempts to geometrize Maxwell's electrodynamics [4-6].

However, this approach remained quite marginal until the golden age of theory of relativity [7, 8].

© Korolkova

A. V., 2022

This work is licensed under a Creative Commons Attribution 4.0 International License https://creativecommons.org/licenses/by-nc/4-0/legalcode

This direction became popular again in the new century and gave rise to the development of transformational optics [9-12]. However, it became visible that Riemannian geometry is insufficient for geometrization of Maxwell's equations [13, 14].

In this paper, the author expects to figure out what could hinder the application of Riemannian geometrization of Maxwell's equations and what is the scope of its applicability. To do this, we consider different electromagnetic media options and the limitations imposed by them are studied for possible geometrizations.

1.1. Article structure

In paragraph 1.2 we provide basic notation and conventions used in the article. In the section 1.3 we consider the limitation only for the case of a local linear medium. In the section 2 the constitutive tensor is formulated in a six-dimensional space. This is being done for clarity, to represent it as a matrix 6x6. In the section 3 the reader is reminded of Riemannian geometrization of Maxwell's equations.

1.2. Notations and conventions

1. Greek indexes (a, will relate to a four-dimensional space and in a component form will have the following values: a = 0, 3.

2. Latin indexes from the middle of the alphabet (i, j, k) will refer to three-dimensional space and in component form will have the following values: ¿ = 1,3.

3. In uppercase Latin letters denote the indices of the six-dimensional spaces: i = 176.

4. To write the equations of electrodynamics in the work is used symmetrical CGS system [15].

1.3. The variations of physical environment

It is possible to consider several options for setting the constitutive laws depending on the medium (see Table 1).

Table 1

Constitutive laws depending on the medium

Medium type Local case Non-local case

Linear medium Gaß = Xaß^S G(x) = j X(x,s)AF(s) ds

Non-linear medium Gaß = \(Fi5) G(x) = j X(x,F(s)) ds

Tensors Fap and Ga/3 have a sense of curvature in cotangent (T* X) and tangent (TX) bundles.

In the linear local case, the tensors Faj3 and Ga/3 are connected using fourth rang tensors.

In the linear non-local case, the connection is carried out using an integral kernel. However, in the presence of translational symmetry, the linear nonlocal case is reduced to the linear local case using the Fourier transform [16]. The non-local linear relationship between F and G looks in this case as follows:

G(x) = J X(x,s)AF(s) ds. (1)

In the case of translational invariance X(x,s) = X(x — s) the relationship between F and G will have the form:

(u, K) = Xa^lS(u, k%)Fl5(U, k%). (2)

In the case of a nonlinear medium, it is assumed that through the linearization procedure, a tensor term similar to the local linear case can be distinguished in it.

Thus, it seems sufficient to consider only the local linear case.

2. Structure of the constitutive tensor 2.1. Representation of the constitutive tensor in space R4

The constitutive tensor A"^ is a 4-tensor. We assume that the mapping

A : A2M ^ A2M is linear and local. Then it can be represented in the following form:

Gafi = (3)

Here Xa^lS is a constitutive tensor containing information about both permeability and permittivity and electromagnetic connection [4-6, 17]. It can be seen that Xa^lS has the following symmetry:

To clarify the symmetry, the tensor Xa^lS can be represented as follows:

= (1)^0.^5 + (2) + (3) yafaS.

The components of the tensor have the following symmetry:

(1)^afaS = A^M), (2) = A^M , (3= .

Obviously, in this case Xa^'5 has 36 independent components, (1)Xa^'5 has 20 independent components (principal part), (2) Xa^'5 has 15 independent components (skewon), (3)Xa^'5 has one independent component (axion).

We will consider only part of (1) . For this case, we write down the material equations:

'Di = e13 E3 + (1) ^ Bj,

Hi = (»-% Bi + (2) ll E3, (4)

where e^ and ^ are the tensors of dielectric and magnetic permeability, (1) ^ and (2)rf are cross terms.

Taking into account the structure of the tensors Fap and Ga/3, as well as the constraints equations, we write:

F0i = , G°% = —Dl, (5)

& = -eiikHk, ^ = -ei]kBK ( )

Here the alternating tensor is denoted by eijk.

2.2. Representation of constitutive tensors in Ar2(R4) and A2(R4*)

spaces

Consider vector spaces A2 (R4*) and A2 (R4) as typical layers of bundles A2M and A2M and we will make the transition to a six-dimensional space. Basis A2(R4) in this case has the form (j, I = 1,... ,6, and the basis A2(R4*) consists of components £j, I = 1,... ,6. Let 5^, ^ = 0,..., 3 be the basis in

R4, and 5,J', ^ = 0,... ,3 — the basis in R4*. Define the basis (j in A2(R4) as follows:

Ci = 5o a5z, Q+3 = 2eijk5j A5k, i,j,k=1,...,3, (6)

and basis (j in A2(R4*) in form

= S0 a Si, C+3 = \£'jk 5i A6k, i,j,k=1,...,3. (7)

Then the intensity of the electromagnetic field F can be represented as follows:

F = E,C' + B% C *+3. (8)

We split the tensor Xjj such as

\JJ = (1)\jj + (2)\jj + (3)\jj.

The components of the tensor Xjj have the following symmetry:

n)xjj = XUJ) -XKpj, rnxjj = xijj]y mxjJ = xkJjJ,

/==1 0

j ij 0

We indicate the number of components in these tensors:

— \IJ has 20 components;

— (2) XIJ has 15 components;

— (3) XIJ has 1 component.

Let's write out the main part of the constitutive tensor:

( —Fi'J (1) - A

(1)A" = ¡k, -=ip-1),. (9)

1J

Later in this article we will omit the left index of the main part of the constitutive tensor.

3. Riemannian geometrization of Maxwell's equations

We assume that the bundle has the structure of a Riemannian manifold.

In this case, we can introduce a Riemannian metric on the manifold, which:

— is symmetric: gafj ■= g{aP);

— is consistent with connection: Vaga^ = 0.

This statement is equivalent to the fact that we use connection Levi-Civitas. We introduce an effective metric based on the bundle gap. Then the metric is induced into layers and the Lagrangian of the electromagnetic field can be written in the form of the Yang-Mills Lagrangian:

L = Fap --2Aaja\/—g,

FaB - -

which is equivalent to the following entry

L = ^^ - 722A«3a V=9.

Let's construct the tensor A as follows:

A afi-fS =

(gaig^5 + ga^ g^) (gai g^5 — ga5g^1)-

Then the material equations will take the following form (for symmetry reasons):

In the case of writing by components, we get the following expressions:

G0t = ^—(g00 gV-gV) F0j + jk-g0k g*) Fjk,

2 0 2 (10)

Gij = ^(g10 g3k-g°3 glk )Fok + ^(gtk gfl -gilgjk )Fkl.

Formally, it is possible to write out an expression for the permittivity:

£ iJ = -V-9(9009zj-90z90j ) (11)

and the expression for magnetic permeability:

(I1 1)ij = V~9£ mni£ klj9nk9ml. (12)

Thus the geometrized connection equations in coordinates have the following form:

Di = el^E3 + W^Bi, H% = (»-%& + (2)-y3iEj,

eij = -V-9{9009zj-90z90j ), (13)

(fJ' )ij V 9£ rnni£ klj9 9 ,

{1)l} = {2)l} = V-9£kij90k9il.

Statement. Let the space be represented as R4 = R1 x R3. Then in Riemannian geometrization, under the condition g0i = 0, the equality holds

£= n (14)

Proof. Note that Aij = e mniekij gnkgml is an algebraic complement for g%'J. Then

^-1 \P = -V—99009%3V-~9emnzSkip9nk9ml = 99°° det{gkl}% = %. It follows that e ij = nij. □

Then the geometrized constitutive tensor has the following form:

x'J =(-(A (15)

Consider the limitations of this approach:

1. Since the metric tensor has 10 components, the geometrized constitutive tensor cannot have more than 10 independent components.

2. Given the constitutive equations, only media with a single impedance can be considered.

However, the geometrized version can be used to approximate geometric optics when the dielectric £ %'J and magnetic fiirj permeability are not used separately. Instead, in the approximation of geometric optics, the refractive index of the medium is used:

n) = Je k^. (16)

In this case, the geometrized constitutive tensor has the following form:

A" '<> ) (17)

4. Examples of media 4.1. Linear isotropic media

The most elementary electromagnetic media are linear isotropic media, such as classical vacuum. The term isotropic refers to invariance with respect to spatial rotations in the selected frame of reference. The rotation of any closed system as a whole does not change its physical properties. There is no particular direction in space with respect to which there is any special symmetry. All directions are equal. The electromagnetic properties of the medium do not depend on the direction. In this case, the elements of the tensor XIJ are represented as:

£H - £(xi, ^ = fa-1 (x%))5ij, (1h} - 0, (2)- 0 or in matrix form:

xij - (-e(xi)SV 0 )

^ 0 ti-1 (x%)5ijJ' ( )

In this case, the permeability matrix contains only two independent components in the laboratory reference frame. Function e(xl) is called the dielectric constant of the medium. Function ^(x%) is called the magnetic permeability of the medium. When these functions are constant in the selected frame of reference, the medium is called homogeneous.

The classical electromagnetic vacuum is assumed to be linear, isotropic and homogeneous. Its dielectric constant (in the SI system) is denoted by e0, and the magnetic permeability is denoted by

The application of a geometrized constitutive tensor is possible in the

approximation of geometric optics. In this case XIJ will have the form:

V ( ) ). (19)

^(%'J J

In this case, the permeability matrix contains only one independent component.

4.2. Linear optical medium

It is assumed that the permittivity e%'J can be inhomogeneous and (or) anisotropic. Heterogeneity is most common when matrix components are

piecewise constant and undergo discontinuities at the interface of heterogeneous media. Since the magnetic permeability of optical media is neglected, they are considered to be dielectric media:

(v-1 L = Sin. (20)

I]

If the permittivity £%'J is anisotropic, but at the same time symmetrical, then it is possible to determine the main reference point in which it takes the form of a diagonal matrix:

£ ■■= diag(£x, £ y, £z). (21)

The diagonal elements represented by the main permittivity are in this case the eigenvalues of the matrix

ej = gjk. (22)

Since the matrix £%'J is symmetric, then the eigenvalues exist and are valid, and the eigenvectors are orthogonal.

Media variants:

— when all eigenvalues are equal, the medium is called isotropic;

— when two eigenvalues are equal, and the third is different from them, the medium is called uniaxial anisotropic;

— when all three eigenvalues are unequal, the medium is called biaxial anisotropic.

More generally, the magnetic permeability is not singular:

(li-1).. = diag((/i-1 )x, (fx-1 )y, (p-1 )z), (23)

and A IJ can be represented as a matrix:

\IJ = diag (-£x(x*),- y (x*),- £ z (x*), n-1 (x*), n-1 (x*), \rzx (x1)). (24)

The application of a geometrized constitutive tensor is possible in the approximation of geometric optics. Then the tensor A IJ will take the form:

A IJ = diag I -^nX(xг), -Jny(x*),-vnz( Xi), 1 , 1 , 1

^ v v^M ^ny(x*) vnZZ№)

In this case, the permeability matrix contains three independent components.

4.3. Bi-isotropic media

The special properties of these media are due to the connection between electric and magnetic fields, which can be described by some defining relations. Bi-isotropic media can change the polarization of light either by refraction or by transmission [18]. These media are similar to isotropic media, but the cross terms are not zero.

The coupling equations in the case of an isotropic medium have the following form:

D* = egij Ej + 1gi) Bj,

J J (25)

Hi = (p-1 )9ij B3 +1gj Ej.

The elements of the tensor XIJ have the form:

£iJ = e(xi )gv, (v-1).. ■ = (v-1 (xi))g(1) = )g), H = ^(xi )gJi.

In matrix form, the tensor XIJ for a bi-isotropic medium will have the form:

xij = (-<xi)9i3 i{%l)g) ). (26)

V i(xi)gJt v-1 (xi)gi3)

For the case of geometric optics, the tensor XIJ for a bi-isotropic medium will take the form:

xij = (-^n{xi )gi 1{xi )gij ) \ j(xi )gi n-1/2 (xi )gij)

The permeability matrix in this case contains two independent components.

4.4. Bi-anisotropic media

In bi-anisotropic media, the dielectric constant, magnetic permeability, and coupling coefficient are complete tensors. In this case , the coupling equations have the following form:

Di = £ij Ej + (1) ^ Bj, Hi = (^-1 )iäBß + ^ Ej. (28)

The elements of the tensor XIJ take the form

eij ■= ei*(xi), (¡i-1).. ■= (^-1(xi)) .., (1)-y* = ^(xi), (2h! = -y3i(xi). In matrix form, the tensor XIJ for a bi-isotropic medium has the form:

XIJ =(-»&) a(Xi) ) (29)

(xi) (p-1 )v(r))

For the case of geometric optics, the tensor XIJ for a bi-anisotropic medium is represented as:

XIJ ={-(VH)ij (j) i} (j) \ (30)

A 1 ^ (xi) (n-1/2 )..(xi)). ( )

1J /

In this case, the permeability matrix contains twenty independent components.

Thus, the following conclusions can be drawn:

— in most practical cases, it is necessary to take into account less than ten components of the tensor A IJ;

— for the case of an anisotropic medium, more than ten components of the constitutive tensor should be taken into account.

5. Conclusion

When applying the Riemannian geometrization of Maxwell's equations, two significant obstacles arise.

It is usually considered that the main obstacle to the application of Riemannian geometrization of Maxwell's equations is an insufficient number of parameters defining a geometrized medium. It is known that in the classical description of the equations of electrodynamics in the medium, a constitutive tensor with 20 components is used, and in Riemannian geometrization, the constitutive tensor is constructed from a Riemannian metric tensor with only 10 components. Thus, most authors point out that the main limitation of the application of Maxwell's geometrized theory is the number of free components in the constitutive tensor. However, this is not the case. It is enough to consider the most popular variants of electromagnetic media to make sure that in practically used cases the number of components is significantly less than ten.

Another limitation is that Maxwell's geometrized theory in the case of Riemannian geometrization requires that the medium has a unit impedance. This restriction is too strong in the general case. It seems that the geometrized Maxwell theory in the case of Riemannian geometrization is not applicable in the case of the complete Maxwell theory and in the case of the approximation of the wave equation. But this limitation can be circumvented by switching to the approximation of geometric optics, since in this case the impedance of the medium is not taken into account.

Thus, we can conclude that Maxwell's geometrized theory in the case of Riemannian geometrization is applicable to the description of Maxwell's theory, but mainly for the case of approximation of geometric optics.

Acknowledgments

This paper has been supported by the RUDN University Strategic Academic Leadership Program.

References

[1] F. C. Klein, "Ueber die sogenannte Nicht-Euklidische Geometrie," German, in Gau und die Anfnge der nicht-euklidischen Geometrie, ser. Teubner-Archiv zur Mathematik, vol. 4, Wien: Springer-Verlag Wien, 1985, pp. 224-238. DOI: 10.1007/978-3-7091-9511-6_5.

[2] F. C. Klein, "A comparative review of recent researches in geometry," Bulletin of the American Mathematical Society, vol. 2, no. 10, pp. 215— 249, 1893. DOI: 10.1090/S0002-9904-1893-00147-X.

[3] C. W. Misner, K. S. Thorne, and J. A. Wheeler, Gravitation. San Francisco: W. H. Freeman, 1973.

[4] I. Y. Tamm, "Crystal optics theory of relativity in connection with geometry biquadratic forms," vol. 57, no. 3-4, pp. 209-240, 1925, in Russian.

[5] I. Y. Tamm, "Electrodynamics of an anisotropic medium in a special theory of relativity," Russian Journal of Physical and Chemical Society. Part physical, vol. 56, no. 2-3, pp. 248-262, 1924, in Russian.

[6] L. I. Mandelstam and I. Y. Tamm, "Elektrodynamik der anisotropen Medien in der speziellen Relativittstheorie," German, Mathematische Annalen, vol. 95, no. 1, pp. 154-160, 1925.

[7] J. Plebanski, "Electromagnetic waves in gravitational fields," Physical Review, vol. 118, no. 5, pp. 1396-1408, 1960. DOI: 10.1103/PhysRev. 118.1396.

[8] F. Felice, "On the gravitational field acting as an optical medium," General Relativity and Gravitation, vol. 2, no. 4, pp. 347-357, 1971. DOI: 10.1007/BF00758153.

[9] A. J. Ward and J. B. Pendry, "Refraction and geometry in Maxwell's equations," Journal of Modern Optics, vol. 43, no. 4, pp. 773-793, Apr. 1996. DOI: 10.1080/09500349608232782.

[10] U. Leonhardt and T. G. Philbin, "Transformation optics and the geometry of light," in Progress in Optics. 2009, vol. 53, ch. 2. DOI: 10.1016/ S0079-6638(08)00202-3.

[11] U. Leonhardt and T. G. Philbin, "General Relativity in Electrical Engineering," vol. 8, 247, pp. 247.1-18, 2006. DOI: 10.1088/13672630/8/10/247.

[12] D. S. Kulyabov, A. V. Korolkova, L. A. Sevastianov, M. N. Gevorkyan, and A. V. Demidova, "Geometrization of Maxwell's Equations in the Construction of Optical Devices," in Proceedings of SPIE. Saratov Fall Meeting 2016: Laser Physics and Photonics XVII and Computational Biophysics and Analysis of Biomedical Data III, vol. 10337, SPIE, 2017. DOI: 10.1117/12.2267959.

[13] D. S. Kulyabov, A. V. Korolkova, and T. R. Velieva, "The Riemannian Geometry is not Sufficient for the Geometrization of the Maxwell's Equations," in Proceedings of SPIE. Saratov Fall Meeting 2017: Laser Physics and Photonics XVIII; and Computational Biophysics and Analysis of Biomedical Data IV, vol. 10717, Saratov: SPIE, Apr. 2018. doi: 10.1117/12.2315204.

[14] D. S. Kulyabov, A. V. Korolkova, T. R. Velieva, and A. V. Demidova, "Finslerian representation of the Maxwell equations," in Proceedings of SPIE. Saratov Fall Meeting 2018: Laser Physics, Photonic Technologies, and Molecular Modeling, vol. 11066, Saratov: SPIE, Jun. 2019. DOI: 10.1117/12.2525534.

[15] D. V. Sivukhin, "The international system of physical units," Soviet Physics Uspekhi, vol. 22, no. 10, pp. 834-836, Oct. 1979. DOI: 10.1070/ pu1979v022n10abeh005711.

[16] D. S. Kulyabov, A. V. Korolkova, and V. I. Korolkov, "Maxwell's equations in arbitrary coordinate system," Bulletin of Peoples' Friendship University of Russia. Series "Mathematics. Information Sciences. Physics", no. 1, pp. 96-106, 2012.

[17] L. D. Landau, E. M. Lifshitz, and L. P. Pitaevskii, Course of Theoretical Physics, 2nd. Butterworth-Heinemann, 1984, vol. 8, 460 pp.

[18] S. Bolioli, "Bi-Isotropic and Bi-Anisotropic Media," in Advances in Complex Electromagnetic Materials. NATO ASI Series. Springer Netherlands, 1997, vol. 28, ch. 3, pp. 33-51. DOI: 10.1007/978-94-011-5734-6_3.

For citation:

A. V. Korolkova, Constitutive tensor in the geometrized Maxwell theory, Discrete and Continuous Models and Applied Computational Science 30 (4) (2022) 305-317. DOI: 10.22363/2658-4670-2022-30-4-305-317.

Information about the authors:

Korolkova, Anna V. — Docent, Candidate of Sciences in Physics and Mathematics, Associate Professor of Department of Applied Probability and Informatics of Peoples' Friendship University of Russia (RUDN University) (e-mail: korolkova-av@rudn.ru, phone: +7(495) 952-02-50, ORCID: https://orcid.org/0000-0001-7141-7610)

УДК 537.8:512.723

DOI: 10.22363/2658-4670-2022-30-4-305-317

Тензор проницаемостей в геометризованной теории

Максвелла

А. В. Королькова

Российский университет дружбы народов, ул. Миклухо-Маклая, д. 6, Москва, 117198, Россия

Аннотация. Считается, что основным препятствием к применению римано-вой геометризации уравнений Максвелла является недостаточное количество параметров, задающих геометризованную среду. При классическом описании уравнений электродинамики в среде используется тензор проницаемостей, имеющий 20 компонент. При римановой геометризации тензор проницаемостей строится из риманового метрического тензора, имеющего только 10 компонент. Предполагается, что данное несоответствие мешает применению римановой геометризации уравнений Максвелла. В статье предложено определить, действительно ли недостаток компонент является критическим для применения римановой геометризации уравнений Максвелла. Для определения области применимости римановой геометризации рассмотрены наиболее распространённые варианты электромагнитных сред. Для них выписана структура диэлектрической и магнитной проницаемостей, определено количество значащих компонент для этих тензоров. Показано, что практически все рассмотренные типы электромагнитных сред требуют менее десяти параметров для описания тензора проницаемостей. При римановой геометризации уравнений Максвелла критическим является требование единичного импеданса среды. Обойти данное ограничение возможно путём перехода от полных уравнений Максвелла к приближению геометрической оптики. Показано, что риманова геометризация уравнений Максвелла применима для большого разнообразия типов среды, но только для приближения геометрической оптики.

Ключевые слова: геометризация уравнений Максвелла, тензор проницаемостей, диэлектрическая проницаемость, магнитная проницаемость, геометрическая оптика