Next Article in Journal
On Λ-Fractional Derivative and Human Neural Network
Previous Article in Journal
Study of the Hypergeometric Equation via Data Driven Koopman-EDMD Theory
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Exact Solutions of Maxwell Equations in Homogeneous Spaces with the Group of Motions G3(IX)

by
Valeriy V. Obukhov
1,2
1
Institute of Scietific Research and Development, Tomsk State Pedagogical University (TSPU), 60 Kievskaya St., 634041 Tomsk, Russia
2
Laboratory for Theoretical Cosmology, International Center of Gravity and Cosmos, Tomsk State University of Control Systems and Radio Electronics (TUSUR), 36, Lenin Avenue, 634050 Tomsk, Russia
Axioms 2023, 12(2), 135; https://doi.org/10.3390/axioms12020135
Submission received: 23 December 2022 / Revised: 20 January 2023 / Accepted: 26 January 2023 / Published: 29 January 2023
(This article belongs to the Special Issue Geometry Analysis in Mathematical Physics)

Abstract

:
This paper classifies the exact solutions of the Maxwell vacuum equations for the case when the electromagnetic fields and metrics of homogeneous spaces are invariant with respect to the motion group G 3 ( I X ) . All the appropriate non-equivalent exact solutions of the Maxwell vacuum equations are found.

1. Introduction

All the known methods of integration of the main differential equations of mathematical physics are based on the complete reduction of these equations to a system of ordinary differential equations. The reduction is carried out using symmetry operators. For the equations of motion of a classical or quantum sample particle in external electromagnetic and gravitational fields, the symmetry operators are integrals of motion. It is known that a necessary condition for the existence of integrals of motion is the existence of the spacetime symmetry given by the Killing fields.
Thus, the problem of exact integration is closely related to the study of the spacetime symmetry. At present, two methods of the exact integration of equations of motion are known. These are the methods of commutative (CIM) and noncommutative (NCIM) integration. The first method is based on the theory of the complete separation of variables, and it is applicable in Stackel spaces. Stackel spaces admit complete sets consisting of mutually commuting Killing fields. The theory of Stackel spaces was developed in [1,2,3,4,5,6,7]. A description of the theory and a detailed bibliography can be found in [8,9,10] (see also, [11]). Solutions of the field equations, which are still used widely in the theory of gravitation, have been constructed on the basis of Stackel spaces. These solutions are often used in the study of various effects in gravitational fields (see, for example, [12,13,14,15,16,17,18,19,20,21,22,23,24,25]).
The second method (NCI method) is based on the use of noncommutative algebras of symmetry operators that are linear in moments and constructed using vector Killing fields. This method was proposed in [26]. The development of the method and its application to gravity theory can be found in [27,28,29,30].
As in Stackel spaces, in the spaces with a noncommutative group of motions, the equations of motion of a test particle admit the complete reduction to a system of ordinary differential equations. Therefore, we call the spacetime manifolds admitting noncommutative groups G r , r 3 post-Stackel spaces (PSS).
By analogy with Stackel spaces, we call the PSS non-isotropic, if a group G r (or its subgroup of rank 3) acts transitively on a non-isotropic hypersurface of spacetime, or isotropic, if the hypersurface is isotropic. For non-isotropic post-Stackel spaces, we also use the term “homogeneous post-Stackel spaces (HPSS)”.
The same classification problems can be considered for the PSS as for the Stackel spaces. For example, in the papers [9,10], a complete classification was given for the case when the Hamilton–Jacobi equation for a charged test particle admits the complete separation of variables in the external electromagnetic field. A similar classification problem was solved for the PSS as well. In [31], PSS with transitive four-parameter groups of motions were considered; in [32], HPSS were considered (see also, [33]); in [34], PSS with groups acting on isotropic hypersurfaces of transitivity were considered. PSS with four-parameter groups of motions were considered in [35], provided that these groups have transitive three-parameter subgroups. Thus, the potentials of all admissible electromagnetic fields have been found, for which the Hamilton–Jacobi and Klein–Gordon–Fock equations have algebras of symmetry operators given by the groups of motions of post-Stackel spaces. It was proved that the Klein–Gordon–Fock equation admits the algebra of symmetry operators given by groups of motions of PSS, if and only if the Hamilton–Jacobi equations admit the appropriate algebra of the integrals of motion.
The next classification problem is the classification of the electrovacuum solutions of the Einstein–Maxwell equations for the case when the CIM and NCIM methods are applicable. During the century-long history of general relativity, many exact solutions of the vacuum and electrovacuum Einstein equations have been found (see, for example, [36]). Nevertheless, this problem remains relevant. The main purpose of the classification is not so much to find new exact solutions but to list all the gravitational and electromagnetic fields in which the equations of motion of test particles can be exactly integrated or at least reduced to systems of ordinary differential equations. This problem is divided into two stages.
In the first stage, all the non-equivalent classes of solutions of the vacuum Maxwell equations for the potentials of admissible electromagnetic fields are found. In the second stage, the obtained classification is used to classify the corresponding electrovacuum spaces. Historically, for Stackel spaces this problem was solved before the problem of the first stage (see the bibliography given in [9,10,37]). The present article is devoted to solving the first stage of this classification problem. All the non-equivalent solutions of empty Maxwell equations in homogeneous spaces of type IX, according to Bianchi’s classification, are found.

2. Admissible Electromagnetic Fields in Homogeneous Spaces

There are two definitions of homogeneous spaces. According to the first, a spacetime V 4 is homogeneous if its subspace V 3 , endowed with the Euclidean space signature, admits coordinate transformations (forming the group G 3 ( N ) of motions of spaces V 4 ) that enable the connection of any two points in V 3 (see [38]). This definition directly implies that the metric of the V 4 in the semi-geodesic coordinate system [ u i ] can be represented as follows:
d s 2 = d u 0 2 + η a b l α a l β b d u α d u β , g i j = δ i 0 δ j 0 + δ i a δ j b ,
e α a e β b η a b ( u 0 ) , d e t | η a b | > 0 e α , 0 a = 0 .
The coordinate indices of the variables of the semi-geodesic coordinate system are denoted by lower case Latin letters: i , j , k = 0 , 1 3 . The coordinate indices of the variables of the local coordinate system on the hypersurface V 3 are denoted by lower case Greek letters: α , β , γ = 1 , 3 . The time variable is denoted by a 0 index. The group indices and indices of nonholonomic frame are denoted by a , b , c = 1 , 3 . The summation is performed over the repeated upper and lower indices within the index range.
The 1-form e α a d u α is invariant under the acting of the group G 3 ( N ) . The vectors of the frame e α a define a nonholonomic coordinate system in V 3 . The dual triplet of vectors
e a α , e a α e α b = δ a b , e a α e β a = δ β α
defines the operators of the group algebra:
Y ^ a = e a α a , [ Y ^ a , Y ^ b ] = C a b c Y ^ c .
According to another definition, space–time V 4 is homogeneous if it admits a three-parameter group of motions G 3 ( N ) , whose hypersurface V 3 of transitivity has the Euclidean space signature. The Killing vector fields ξ a α and their dual vector fields ξ α a form another frame of the space V 3 and another representation of the algebra of the group G 3 . The vector fields ξ a α satisfy the Killing equations,
g , γ α β ξ a γ = g α γ ξ a , γ β + g β γ ξ a , γ α ,
and set the infinitesimal group operators of the algebra G 3 as
X ^ a = ξ a α α , [ X ^ a , X ^ b ] = C a b c X ^ c .
Let us consider an electromagnetic field with potential A i . For a charged test particle, moving in this external electromagnetic field, it has been proved that the Hamilton–Jacobi equation
g i j P i P j = m , P i = p i + A i
and the Klein–Gordon–Fock equation
H ^ φ = ( g i j P ^ i P ^ j ) φ = m 2 φ , P ^ k = p ^ k + A k
admit the integrals of motion, which are given by the Killing vectors
X ˜ α = ξ α i p i ( o r X ˜ ^ α = ξ α i p ^ i ) ,
if and only if the conditions
ξ a α ( A ˜ ) , α = C a b c A ˜
are satisfied (see paper [32]). Here, p i = i φ ; p ^ k = l ^ k ; ( ^ k is the covariant derivative operator corresponding to the partial derivative operator- ^ i in the coordinate field u i ) , and φ is a scalar function of a particle with mass m; A ˜ a = ξ a α A α .
The electromagnetic field, whose potential satisfies condition (7), is called admissible. All admissible electromagnetic fields for the groups of motion G r ( N ) ( r 4 ) acting transitively on the hypersurfaces of the spacetime have been found in [32,33,34,35].
Solutions of the set of equations (7) for HPSS of type I X have the form:
A α = α a ( u 0 ) l α a A a = l a α A α = α a ( u 0 ) .
To prove this, let us find the frame vector. We use the metric tensor of I X -type space by Bianchi, found in Petrov’s book [39]. As is known, the Bianchi type IX metric contains as a special case the space of constant positive curvature and, therefore, is of special interest for cosmology.
d s 2 = d u 1 2 [ a 11 ( a 12 cos 2 u 3 + a 22 sin 2 u 3 ) ] + 2 d u 1 d u 3 ( ( a 13 cos u 3 a 23 sin u 3 ) +
+ 2 d u 1 d u 2 [ ( a 13 cos u 3 a 23 sin u 3 ) cos u 1 + ( a 12 cos 2 u 3 a 22 sin 2 u 3 ) sin u 1 ]
+ d u 2 2 [ a 33 cos u 1 2 + ( a 23 cos u 3 + a 13 sin u 3 ) sin 2 u 1 + ( a 12 sin 2 u 3 + a 22 cos 2 u 3 + a 11 ) sin u 1 2 ]
2 d u 2 d u 3 ( a 33 cos u 1 + ( a 23 cos u 3 + a 13 sin u 3 ) sin u 1 ) + d u 3 2 a 33 + e d u 0 2 .
a a b are arbitrary functions on u 0 .
To obtain the functions l a α , it is sufficient to consider the components g 13 , g 23 from the system (3). The solution has the form:
l α a = δ α p l p a ( u 1 , u 3 ) + δ α 3 δ 3 a .
From the equations
g 13 = a 13 cos u 3 a 23 sin u 3 = η 3 a l 1 a , g 23 = a 33 cos u 1 + ( a 23 cos u 3 + a 13 sin u 3 ) sin u 1 = η 3 a l 1 a ,
it follows that
l α a = cos u 3 sin u 3 0 sin u 1 sin u 3 sin u 1 cos u 3 cos u 1 0 0 1 , l a α = cos u 3 sin u 3 sin u 1 cos u 1 sin u 3 sin u 1 sin u 3 cos u 3 sin u 1 cos u 1 cos u 3 sin u 1 0 0 1 ,
l α a l b α = δ b a .
The lower index numbers are lines. One can show that the vector fields (10) satisfy Equations (1) and (2). We present the components of the vectors ξ a α in the form of a matrix:
| | ξ a α | | = 0 1 0 cos u 2 cos u 1 sin u 2 sin u 1 sin u 2 sin u 1 sin u 2 cos u 1 cos u 2 sin u 1 cos u 2 sin u 1 .
The components A ˜ α can be expressed through A α as follows:
A ˜ a = Z a b A b ,
where
| | Z a b = ξ a α l α b | | = sin u 1 sin u 3 sin u 1 cos u 3 cos u 1 ( cos u 2 cos u 3 sin u 2 sin u 3 cos u 1 ) ( cos u 2 sin u 3 + sin u 2 cos u 3 cos u 1 ) sin u 1 sin u 2 ( sin u 2 cos u 3 + cos u 2 sin u 3 cos u 1 ) ( sin u 2 sin u 3 cos u 2 cos u 3 cos u 1 ) cos u 2 sin u 1 .
It can be shown by direct calculation that the elements of the matrix Z a b satisfy the equation:
Z a | c b = C c a a 1 Z a 1 b , | a = l a α α .
Therefore, Equation (7) can be reduced to the form:
ξ a α A b , α = 0 A a = α a ( u 0 ) .

3. Maxwell’s Equations with Zero Electromagnetic Field Sources in a Homogeneous Spacetime

All the exact solutions of vacuum Maxwell equations for solvable groups have been found in papers [40,41]. In the present paper, the problem is solved for the group G 3 ( I X ) .
We use the first definition of homogeneous spaces. Note, that for the spacetime with the groups of motions G 3 ( I ) G 3 ( V I ) , G 3 ( I X ) , both definitions are equivalent.
Consider the Maxwell equations with zero electromagnetic field sources in homogeneous space in the presence of an electromagnetic field invariant with respect to the group G r :
1 g ( g F i j ) , j = 0 .
The metric tensor is defined by relations (1), and the electromagnetic potential is defined by relations (7). When i = 0 , from the set of Equation (13), it follows that
1 g ( g g α β F 0 β ) α = 1 l ( l l a α η a b α ˙ b ) , α = η a b ρ a α ˙ b = 0 .
Here, we denote g = det | | g α β | | = ( η l ) 2 , where η 2 = det | | η α β | | , l = det | | l α a | | , and ρ a = l a , α α + l | a / l ; the dots mean the time derivatives. Let i = α . Then, from Equation (13), it follows:
1 η ( η g α β F 0 β ) , 0 = 1 l ( l g ν β g α γ F β γ ) , ν 1 η ( η η a b l a α α ˙ b ) , 0 = 1 l ( l l a ν l b β η a b l a ˜ α l b ˜ γ η a ˜ b ˜ F β γ ) , ν
( η η a b α ˙ b ) , 0 = η l α a l ( l l b β l a ˜ 1 α l b ˜ γ F β γ ) | a 1 η a 1 b η a ˜ b ˜ .
Let us find the components of F α β , using the relations (8).
F α β = ( l β , α a l β , α a ) α a = l β c l c γ l α d l d ν ( l γ , ν a l ν , γ a ) α a = l β b l α a l γ c ( l a | b γ l b | a γ ) α c = l β b l α a C b a c α c .
Then,
( l F α β ) , β = η a b η a ˜ b ˜ C b ˜ b d α d ( ( l l a α ) | a ˜ + l l a α l a ˜ , γ γ ) .
The structural constants of a group G 3 can be present in the form:
C a b c = C 12 c ε a ˜ b ˜ 12 + C 13 c ε a ˜ b ˜ 13 + C 23 c ε a ˜ b ˜ 23 , ε a b A B = δ a A δ b B δ b A δ a B .
Using the notations
σ 1 = C 23 a α a , σ 2 = C 31 a α a , σ 3 = C 12 a α a ,
γ 1 = σ 1 η 11 + σ 2 η 12 + σ 3 η 13 , γ 2 = σ 1 η 12 + σ 2 η 22 + σ 3 η 23 , γ 3 = σ 1 η 13 + σ 2 η 23 + σ 3 η 33 ,
let us reduce Maxwell’s equations (13) to the form:
η ( η a b α ˙ b ) , 0 = δ 1 a ( γ 1 ( C 32 1 ) γ 2 ( C 31 1 + ρ 3 ) + γ 3 ( C 21 1 + ρ 2 ) ) + δ 2 a ( γ 1 ( C 32 2 + ρ 3 ) +
γ 2 C 13 2 γ 3 ( C 12 2 ρ 1 ) ) + δ 3 a ( γ 1 ( C 23 3 + ρ 2 ) + γ 2 ( C 13 3 + ρ 1 ) + γ 3 C 21 3 ) .
The order of Equation (20) can be decreased by introducing a new independent function:
β a = β a = η η a b α ˙ b η α ˙ a = η a b β b .
Let us consider the Maxwell equations for the group G 3 ( I X ) . In this case, the nonzero structural constants are as follows:
C 12 3 = C 31 2 = C 23 1 = 1 .
The functions σ a and γ 1 have the form
σ 1 = α 1 , σ 2 = α 2 , σ 3 = α 3 .
γ 1 = α 1 η 11 + α 2 η 12 + α 3 η 13 , γ 2 = α 1 η 12 + α 2 η 22 + α 3 η 23 , γ 1 = α 1 η 13 + α 2 η 23 + α 3 η 33 .
Using these relations, we obtain Maxwell’s Equations (14) and (20) as a system of linear algebraic equations on the unknown functions n a b :
n a b = η a b η η = 1 det n a b .
W ^ n ^ = ω ^ ,
where
W ^ = α 1 α 2 α 3 0 0 0 β 1 β 2 β 3 0 0 0 0 α 1 0 α 2 α 3 0 0 β 1 0 β 2 β 3 0 0 0 α 1 0 α 2 α 3 0 0 β 1 0 β 2 β 3 ,
n ^ T = ( n 11 , n 12 , n 13 , n 22 , n 23 , n 33 ) ; ω ^ T = ( β ˙ 1 , α ˙ 1 , β ˙ 2 , α ˙ 2 , β ˙ 3 , α ˙ 3 ) .
Index T means the transposition of a matrix. Let us find the algebraic complement of the matrix W ^ :
V ^ = β 1 V 1 2 α 1 V 1 2 β 2 V 1 2 α 2 V 1 2 β 3 V 1 2 α 3 V 1 2 β 1 V 1 V 2 α 1 V 1 V 2 β 2 V 1 V 2 α 2 V 1 V 2 β 3 V 1 V 2 α 3 V 1 V 2 β 1 V 1 V 3 α 1 V 1 V 3 β 2 V 1 V 3 α 2 V 1 V 3 β 3 V 1 V 3 α 3 V 1 V 3 β 1 V 2 2 α 1 V 2 2 β 2 V 2 2 α 2 V 2 2 β 3 V 2 2 α 3 V 2 2 β 1 V 2 V 3 α 1 V 2 V 3 β 2 V 2 V 3 α 2 V 2 V 3 β 3 V 2 V 3 α 3 V 2 V 3 β 1 V 3 2 α 1 V 3 2 β 2 V 3 2 α 2 V 3 2 β 3 V 3 2 α 3 V 3 2 .
As W ^ is a singular matrix, V ^ is the annulling matrix for W ^ :
V ^ W ^ = 0 .
Therefore, one of the equations from the system (23) can be replaced by the equation:
δ a b ( α ˙ a α ˙ b + β ˙ a β ˙ b ) δ a b ( α a α b + β a β b ) = c 2 = c o n s t .
Depending on the rank of the matrix W ^ , one or more functions n a b are independent. The remaining functions n a b can be expressed through them and through the functions α a and β a . For classification, it is necessary to find non-equivalent solutions of the system (23). Obviously, this system is symmetric with respect to the transposition l 1 α l 2 α . Therefore, the reference indices a = 1 and a = 2 can be interchanged. Taking this observation into account, let us consider all the non-equivalent options.

4. Solutions of Maxwell Equations

1.  a 1 V 1 0 the minor W ^ 12 and its inverse matrix Ω ^ = W ^ 12 1 have the form:
W ^ 12 = α 2 α 3 0 0 0 α 1 0 α 2 α 3 0 β 1 0 β 2 β 3 0 0 α 1 0 α 2 α 3 0 β 1 0 β 2 β 3 ,
Ω ^ 1 = V 2 α 1 V 1 α 3 β 2 α 1 V 1 α 2 α 3 α 1 V 1 α 3 β 3 α 1 V 1 α 3 2 α 1 V 1 V 3 α 1 V 1 α 2 β 2 α 1 V 1 α 2 2 α 1 V 1 α 2 β 3 α 1 V 1 α 2 α 3 α 1 V 1 V 2 2 α 1 V 1 2 ( α 3 β 1 V 1 α 2 β 3 V 3 ) α 1 V 1 2 α 3 ( α 2 V 2 α 1 V 1 ) α 1 V 1 2 α 3 β 3 V 2 α 1 V 1 2 α 2 2 V 2 α 1 V 1 2 V 2 V 3 α 1 V 1 2 α 2 β 2 V 2 α 1 V 1 2 α 2 2 V 2 α 1 V 1 2 α 3 β 3 V 3 α 1 V 1 2 α 3 2 V 3 α 1 V 1 2 V 3 2 α 1 V 1 2 α 2 β 2 V 3 α 1 V 1 2 α 2 2 V 3 α 1 V 1 2 ( α 3 β 2 V 3 α 2 β 1 V 1 ) α 1 V 1 2 α 2 ( α 1 V 1 α 3 V 3 ) α 1 V 1 2 .
Then, the solution of Equation (23) can be represented as:
n ^ 1 = Ω ^ 1 ω ^ 1 ,
where
n ^ 1 T = ( n 12 , n 13 , n 22 , n 23 , n 33 ) ; ω ^ 1 T = ( ( β ˙ 1 + α 1 n 11 ) , β ˙ 2 , α ˙ 2 , β 3 , α ˙ 3 ) .
Function n 11 , as well as the functions α a and β a are arbitrary functions of u 0 that obey condition (27).
2.  α 2 V 1 0 , α 1 = 0 the minor W ^ 14 1 and its inverse matrix Ω ^ 2 = W ^ 14 1 have the form:
W ^ 14 = α 2 α 3 0 0 0 β 2 β 3 0 0 0 0 0 α 2 α 3 0 0 0 0 α 2 α 3 0 β 1 0 β 2 β 3 , Ω ^ 2 = β 3 V 1 α 3 V 1 0 0 0 β 2 V 1 α 2 V 1 0 0 0 a 3 2 β 1 β 2 α 2 V 1 2 α 3 2 β 1 V 1 2 1 α 2 α 3 β 3 α 2 V 1 a 3 2 α 2 V 1 a 3 β 1 β 2 V 1 2 α 2 α 3 β 1 V 1 2 0 β 3 V 1 a 3 V 1 a 2 β 1 β 2 V 1 2 α 2 2 β 1 V 1 2 0 β 2 V 1 a 2 V 1 .
The solution of Equation (23) can be represented as:
n ^ 2 = Ω ^ ω ^ 2 ,
where
n ^ 2 T = ( n 12 , n 13 , n 22 , n 23 , n 33 ) ;
ω ^ 2 = ( β ˙ 1 , β 1 n 11 , β ˙ 2 , β ˙ 3 , α ˙ 3 ) .
Function n 11 , as well as the functions α a and β a are arbitrary functions of u 0 that obey condition (27).
3.  a 3 V 1 0 , a 1 = a 2 = 0 the minor W ^ 16 1 and its inverse matrix Ω ^ 3 = W ^ 16 1 have the form:
W ^ 16 = 0 a 3 0 0 0 β 2 β 3 0 0 0 0 0 0 a 3 0 β 1 0 β 2 β 3 0 0 0 0 0 a 3 , Ω ^ 3 = β 3 a 3 β 2 1 β 3 0 0 0 1 a 3 0 0 0 0 β 1 β 3 a 3 β 2 2 β 1 β 2 2 β 3 β 2 a 3 1 β 2 0 0 0 1 a 3 0 0 0 0 0 0 1 a 3 .
Then, the solution of Equation (23) can be represented as:
n ^ 3 = Ω ^ 3 ω ^ 3 ,
where
n ^ 3 T = ( n 12 , n 13 , n 22 , n 23 , n 33 ) ;
ω ^ 3 T = ( β ˙ 1 , β 1 n 11 , β ˙ 2 , 0 , β ˙ 3 ) .
Function n 11 , as well as the functions α 3 and β a are arbitrary functions of u 0 that obey condition (27).
4.  a 1 V 3 0 V 1 = V 2 = 0 ; otherwise, we obtain a solution equivalent to the previous ones. As V 3 0 α 3 = β 3 = 0 . The minor W ^ 62 and its inverse matrix Ω ^ 4 = W ^ 62 1 have the form:
W ^ 26 = α 1 α 2 0 0 0 0 α 1 0 a 2 0 0 β 1 0 β 2 0 0 0 α 1 0 α 2 0 0 β 1 0 β 2 , Ω ^ 4 = 1 α 1 α 2 β 2 α 1 V 3 α 2 2 α 1 V 3 0 0 0 β 2 V 3 α 2 V 3 0 0 0 0 0 β 2 V 3 α 2 V 3 0 β 1 V 3 α 1 V 3 0 0 0 0 0 β 1 V 3 α 1 V 3 .
Then, the solution of Equation (23) can be represented as:
n ^ 4 = Ω ^ 4 ω ^ 4 ,
where
n ^ 4 T = ( n 11 , n 12 , n 13 , n 22 , n 23 ) ;
ω ^ 4 T = ( β ˙ 1 , β ˙ 2 , α ˙ 2 , 0 , 0 ) .
Function n 33 , as well as the functions α 1 , α 2 , and β a , are arbitrary functions of u 0 that obey the condition (27).
5.  V a = 0 . Let us represent the system of Maxwell equations in the form:
Q ^ n ^ I = ω ^ I
were
Q ^ = a 1 a 2 a 3 0 0 0 0 a 1 0 a 2 a 3 0 0 0 α 1 0 a 2 a 3 β 1 β 2 β 3 0 0 0 0 β 1 0 β 2 β 3 0 0 0 β 1 0 β 2 β 3 ,
ω ^ I = ( ω ^ β , ω ^ α ) ; ω ^ β = ( ω 1 , ω 3 , ω 5 ) , ω ^ α = ( ω 2 , ω 4 , ω 6 )
n ^ I = ( n ^ α , β ^ α ) ; n ^ α = ( n 11 , n 12 , n 13 ) , n ^ β = ( n 22 , n 23 , n 33 )
Let us consider all possible options.
(a) a 1 0 β a = α a β 1 α 1 . Maxwell’s equations will take the form:
W ^ I n ^ α = ( ω ^ β Q ^ 1 n ^ β ) n ^ α = W ^ I 1 ( ω ^ β Q ^ 1 n ^ β ) ,
β 1 W ^ I n ^ α = α 1 ω ^ α β 1 Q ^ 1 n ^ β β 1 ω ^ β α 1 ω ^ α = 0
α 1 α ˙ 2 + β 1 β ˙ 2 = 0 , α 1 α ˙ 3 + β 1 β ˙ 3 = 0 , α 1 α ˙ 1 + β 1 β ˙ 1 = 0 .
Here:
W ^ I = a 1 a 2 a 3 0 a 1 0 0 0 α 1 , W ^ I 1 = 1 a 1 a 2 a 1 2 a 3 a 1 2 0 1 a 1 0 0 0 1 a 1 , Q ^ I = 0 0 0 a 2 a 3 0 0 a 2 a 3 ,
From the last equation of the system (38) it follows:
a 1 = e sin φ , β 1 = e cos φ , e = c o n s t ,
Thus, β 2 = α 2 cos φ sin φ , β 3 = α 3 cos φ sin φ , and from the previous equations it follows:
α a = e c a sin φ , β a = e c a cos φ , e , c a = c o n s t , c 1 = 1 .
Then matrices W ^ I , W ^ I 1 , Q ^ I and lines ω ^ T take the form:
W ^ I = sin φ w ^ , W ^ I 1 = 1 sin φ w ^ 1 , Q ^ I = sin φ q ^ .
w ^ = 1 c 2 c 3 0 1 0 0 0 1 , w ^ 1 = 1 c 2 c 3 0 1 0 0 0 1 , q ^ = 0 0 0 c 2 c 3 0 0 c 2 c 3 ,
ω ^ β T = φ ˙ C ^ T = φ ˙ sin φ ( c 2 , 1 , c 3 ) ,
The solution of Maxwell’s equations can be represented as:
n ^ α = w ^ 1 ( φ ˙ C ^ T q ^ n ^ β )
Functions n 22 , n 23 , and n 33 , as well as the function φ , are arbitrary functions of u 0 .
(b) V a = 0 , α 3 0 . The solutions, which are not equivalent to the previous ones, can be obtained under the conditions a 1 = a 2 = 0 β 1 = β 2 = 0 . From Maxwell’s equations it follows:
α 3 n 13 = α 3 n 23 = 0 , a 3 n 33 = β ˙ 3 , β 3 n 33 = α ˙ 3 a 3 a ˙ 3 + β 3 β ˙ 3 = 0 .
The solution has the form:
n 33 = φ ˙ , n 13 = n 23 = α 1 = α 2 = β 1 = β 2 = 0 , a 3 = c cos φ , β 3 = c sin φ .
Functions φ , n 11 , n 12 , n 22 - are arbitrary functions on u 0 .

5. Conclusions

It is known that homogeneous spaces of I V and I X types according to the Bianchi classification include as special cases the spaces of constant curvature. Hence, they receive special interest in cosmology. In the universe with the metric of homogeneous space, all physical fields are invariant with respect to the group of motions of the spacetime. Therefore, these exact fields should be considered first when solving the self-consistent Einstein equations, in particular, the Einstein–Maxwell equations. The final goal of the classification of PSS with admissible electromagnetic fields is to enumerate all the electrovacuum solutions of the Einstein–Maxwell equations. In [40,41], the complete classification of the vacuum solutions of the Maxwell equations for homogeneous spaces with solvable groups of motions was carried out. In the present paper, the same problem was solved for HPSS of I X -type. For the final decision of the first stage of the classification problem, it remains to consider the HPSS V I I I -type, which will be detailed in the next paper. The results obtained will be used in the second stage for integration of the corresponding Einstein–Maxwell equations.

Funding

This work was supported by the Russian Science Foundation, project number N 23-21-00275.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

The data that support the findings of this study are available within the article.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Stackel, P. Uber die intagration der Hamiltonschen differentialechung mittels separation der variablen. Math. Ann. 1897, 49, 145–147. [Google Scholar] [CrossRef]
  2. Eisenhart, L.P. Separable systems of stackel. Ann. Math. 1934, 35, 284–305. [Google Scholar] [CrossRef]
  3. Levi-Civita, T. Sulla Integraziome Della Equazione Di Hamilton-Jacobi Per Separazione Di Variabili. Math. Ann. 1904, 59, 383–397. [Google Scholar] [CrossRef]
  4. Jarov-Jrovoy, M.S. Integration of Hamilton-Jacobi equation by complete separation of variables method. J. Appl. Math. Mech. 1963, 27, 173–219. [Google Scholar] [CrossRef]
  5. Carter, B. New family of Einstein spaces. Phys. Lett. 1968, A25, 399–400. [Google Scholar] [CrossRef]
  6. Shapovalov, V.N. Symmetry and separation of variables in the Hamilton-Jacobi equation. Sov. Phys. J. 1978, 21, 1124–1132. [Google Scholar] [CrossRef]
  7. Shapovalov, V.N. Stackel’s spaces. Sib. Math. J. 1979, 20, 1117–1130. [Google Scholar] [CrossRef]
  8. Miller, W. Symmetry And Separation of Variables; Cambridge University Press: Cambridge, UK, 1984; 318p. [Google Scholar]
  9. Obukhov, V.V. Hamilton-Jacobi equation for a charged test particle in the Stackel space of type (2.0). Symmetry 2020, 12, 1289. [Google Scholar] [CrossRef]
  10. Obukhov, V.V. Hamilton-Jacobi equation for a charged test particle in the Stackel space of type (2.1). Int. J. Geom. Meth. Mod. Phys 2020, 14, 2050186. [Google Scholar] [CrossRef]
  11. Odintsov, S.D. Editorial for Special Issue Feature Papers 2020. Symmetry 2023, 15, 8. [Google Scholar] [CrossRef]
  12. Oktay, C.; Salih, K. Maxwell-modified metric affine gravity. Eur. Phys. J. 2021, 81, 10. [Google Scholar] [CrossRef]
  13. Mitsopoulos, A.; Tsamparlis, M.; Leon, G.A.; Paliathanasis, A. New conservation laws and exact cosmological solutions in Brans-Dicke cosmology with an extra scalar field. Symmetry 2021, 13, 1364. [Google Scholar] [CrossRef]
  14. Dappiaggi, C.; Juarez-Aubry, B.A.; Ground, A.M. State for the Klein-Gordon field in anti-de Sitter spacetime with dynamical Wentzell boundary conditions. Phys. Rev. D 2022, 105, 105017. [Google Scholar] [CrossRef]
  15. Astorga, F.; Salazar, J.F.; Zannias, T. On the integrability of the geodesic flow on a Friedmann-Robertson-Walker spacetime. Phys. Scr. 2018, 93, 085205. [Google Scholar] [CrossRef] [Green Version]
  16. Capozziello, S.; De Laurentis, M.; Odintsov, D. Hamiltonian dynamics and Noether symmetries in extended gravity cosmology. Eur. Phys. J. 2012, C72, 2068. [Google Scholar] [CrossRef]
  17. Kibaroglu, S.; Cebecioglu, O. Generalized cosmological constant from gauging Maxwell-conformal algebra. Phys. Lett. B 2020, 803, 135295. [Google Scholar] [CrossRef]
  18. Shin’ichi, N.; Odintsov Sergei, D.; Valerio, F. Searching for dynamical black holes in various theories of gravity. Phys. Rev. D 2021, 103, 044055. [Google Scholar] [CrossRef]
  19. Epp, V.; Pervukhina, O. The Stormer problem for an aligned rotator. MNRAS 2018, 474, 5330–5339. [Google Scholar] [CrossRef] [Green Version]
  20. Epp, V.; Masterova, M.A. Effective potential energy for relativistic particles in the field of inclined rotating magnetized sphere. Astrophys. Space Sci. 2014, 353, 473–483. [Google Scholar] [CrossRef] [Green Version]
  21. Kumaran, Y.; Ovgun, A. Deflection angle and shadow of the reissner-nordstrom black hole with higher-order magnetic correction in einstein-nonlinear-maxwell fields. Symmetry 2022, 14, 2054. [Google Scholar] [CrossRef]
  22. Osetrin, K.; Osetrin, E. Shapovalov wave-like spacetimes. Symmetry 2020, 12, 1372. [Google Scholar] [CrossRef]
  23. Osetrin, E.; Osetrin, K.; Filippov, A. Plane Gravitational Waves in Spatially-Homogeneous Models of type-(3.1) Stackel Spaces. Russ. Phys. J. 2019, 62, 292–301. [Google Scholar] [CrossRef]
  24. Osetrin, K.; Osetrin, E.; Osetrina, E. Geodesic deviation and tidal acceleration in the gravitational wave of the Bianchi type IV universe. Eur. Phys. J. Plus 2022, 137, 856. [Google Scholar] [CrossRef]
  25. Osetrin, K.; Osetrin, E.; Osetrina, E. Gravitational wave of the Bianchi VII universe: Particle trajectories, geodesic deviation and tidal accelerations. Eur. Phys. J. C 2022, 82, 1–16. [Google Scholar] [CrossRef]
  26. Shapovalov, A.V.; Shirokov, I.V. Noncommutative integration method for linear partial differential equations. functional algebras and dimensional reduction. Theoret. Math. Phys. 1996, 106, 1–10. [Google Scholar] [CrossRef]
  27. Shapovalov, A.; Breev, A. Harmonic Oscillator Coherent States from the Standpoint of Orbit Theory. Symmetry 2023, 15, 282. [Google Scholar] [CrossRef]
  28. Breev, A.I.; Shapovalov, A.V. Non-commutative integration of the Dirac equation in homogeneous spaces. Symmetry 2020, 12, 1867. [Google Scholar] [CrossRef]
  29. Breev, A.I.; Shapovalov, A.V. Yang–Mills gauge fields conserving the symmetry algebra of the Dirac equation in a homogeneous space. J. Phys. Conf. Ser. 2014, 563, 012004. [Google Scholar] [CrossRef] [Green Version]
  30. Magazev, A.A.; Boldyreva, M.N. Schrodinger equations in electromagnetic fields: Symmetries and noncommutative integration. Symmetry 2021, 13, 1527. [Google Scholar] [CrossRef]
  31. Magazev, A.A. Integrating Klein-Gordon-Fock equations in an extremal electromagnetic field on Lie groups. Theor. Math. Phys. 2012, 173, 1654–1667. [Google Scholar] [CrossRef]
  32. Obukhov, V.V. Algebra of symmetry operators for Klein-Gordon-Fock Equation. Symmetry 2021, 13, 727. [Google Scholar] [CrossRef]
  33. Odintsov, S.D. Editorial for Feature Papers 2021–2022. Symmetry 2023, 15, 32. [Google Scholar] [CrossRef]
  34. Obukhov, V.V. Algebra of the symmetry operators of the Klein-Gordon-Fock equation for the case when groups of motions G3 act transitively on null subsurfaces of spacetime. Symmetry 2022, 14, 346. [Google Scholar] [CrossRef]
  35. Obukhov, V.V. Algebras of integrals of motion for the Hamilton-Jacobi and Klein-Gordon-Fock equations in spacetime with a four-parameter groups of motions in the presence of an external electromagnetic field. J. Math. Phys. 2022, 63, 023505. [Google Scholar] [CrossRef]
  36. Stephani, H.; Kramer, D.; MacCallum, M.; Hoenselaers, C.; Herlt, E. Exact Solutions of Einstein’s Field Equations, 2nd ed.; Cambridge Monographs on Mathematical Physics; Cambridge University Press: Cambridge, UK, 2003. [Google Scholar] [CrossRef]
  37. Obukhov, V.V. Separation of variables in Hamilton-Jacobi and Klein-Gordon-Fock equations for a charged test particle in the stackel spaces of type (1.1). Int. J. Geom. Meth. Mod. Phys. 2021, 3, 2150036. [Google Scholar] [CrossRef]
  38. Landau, L.D.; Lifshits, E.M. Theoretical Physics, Field Theory, 7th ed.; Science, C., Ed.; Nauka: Moskow, Russia, 1988; Volume II, 512p, ISBN 5-02-014420-7. [Google Scholar]
  39. Petrov, A.Z. Einstein Spaces; Pergamon Press: Oxford, UK, 1969. [Google Scholar]
  40. Obukhov, V.V. Maxwell Equations in Homogeneous Spaces for Admissible Electromagnetic Fields. Universe 2022, 8, 245. [Google Scholar] [CrossRef]
  41. Obukhov, V.V. Maxwell Equations in Homogeneous Spaces with Solvable Groups of Motions. Symmetry 2022, 14, 2595. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Obukhov, V.V. Exact Solutions of Maxwell Equations in Homogeneous Spaces with the Group of Motions G3(IX). Axioms 2023, 12, 135. https://doi.org/10.3390/axioms12020135

AMA Style

Obukhov VV. Exact Solutions of Maxwell Equations in Homogeneous Spaces with the Group of Motions G3(IX). Axioms. 2023; 12(2):135. https://doi.org/10.3390/axioms12020135

Chicago/Turabian Style

Obukhov, Valeriy V. 2023. "Exact Solutions of Maxwell Equations in Homogeneous Spaces with the Group of Motions G3(IX)" Axioms 12, no. 2: 135. https://doi.org/10.3390/axioms12020135

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop