Hamilton–Jacobi Equation for a Charged Test Particle in the Stäckel Space of Type (2.0)

All electromagnetic potentials and space–time metrics of Stäckel spaces of type (2.0) in which the Hamilton–Jacobi equation for a charged test particle can be integrated by the method of complete separation of variables are found. Complete sets of motion integrals, as well as complete sets of killing vector and tensor fields, are constructed. The results can be used when studying solutions of field equations in the theory of gravity.


Introduction
The construction of the theory of the separation of variables in the classical and quantum equations of test particles motion, as well as in the classical equations of mathematical physics, is one of the most important results in the theory of symmetry implementation. The main tool in the theory of the separation of variables is the Stäckel spaces. Thus, the Riemannian spaces, whose metrics in some (privileged) coordinate systems allow separation of variables in the free Hamilton-Jacobi equation were named after Paul Stäckel [1,2]. In the found metric, the equation admits a complete separation of variables in the orthogonal privileged coordinate system. The equation itself has a complete set of motion integrals quadratic in velocity. Among the articles devoted to the Stäckel spaces beside the works from Stäckel himself and from Eisenhart [3], we mention Levy-Civita [4], who formulated in a covariant form the condition for separation of variables in privileged coordinate systems, and Yarov-Yarovoy [5], who generalized the definition of Stäckel spaces in the case of non-orthogonal privileged coordinate systems. V.N. Shapovalov in a series of works [6][7][8] proved the main theorem of the theory of separation of variables-the theorem on the necessary and sufficient conditions for separation. In the case of the free Hamilton-Jacobi equation, such condition is met when there is a complete set of Killing fields in space. The set includes n geometric objects which are called Killing tensor fields not higher than the second rank, which mutually commute and meet some additional restrictions.
The results obtained by solving the appropriate Killing equations allowed finding all Stäckel metrics in the real coordinate systems. The work [9] provides proof for the generalization of the theorem in the case of complex privileged coordinate systems.
Even though there are known examples of spaces in which the quantum-mechanical equations of motion allow non-commutative integration (see, for example, [10]), these were Stäckel spaces that attracted the greatest interest of researchers due to their high level of symmetry and rich geometric content. Therefore, the types of Stäckel metrics for the flat space-time were used to construct the theory of separation of variables in the Klein-Gordon-Fock and Dirac equations. Using the complete sets of symmetry operators, all privileged coordinate systems, electromagnetic potentials, and many (1) Non-null Stäckel spaces of type (3.0). The complete set includes three Killing vector fields.
The coordinate hypersurface related to the non-ignored variable is non-null. (Ignored are the privileged variables (see the definition below) that occur linearly in the complete integral.
Other variables are called non-ignored.) (2) Null Stäckel spaces of type (3.1). The complete set includes three Killing vector fields.
The coordinate hypersurface related to the non-ignored variable is null one. (3) Non-null Stäckel spaces of type (2.0). The complete set includes two Killing vector fields.
Coordinate hypersurfaces related to non-ignored variables are non-null. (4) Null Stäckel spaces of type (2.1). The complete set includes two Killing vector fields.
The coordinate hypersurface belonging to one of the non-ignored variables is null. (5) Non-isotropic Stäckel spaces of type (1.0). The complete set includes one non-isotropic Killing vector field. Coordinate hypersurfaces related to non-ignored variables are non-null. (6) Null Stäckel spaces of type (1.1). The set includes one isotropic Killing vector field. The coordinate hypersurface belonging to one of the non-ignored variables is null. (7) Non-null Stäckel spaces of type (0.0). The complete set does not contain Killing vector fields.
Coordinate hypersurfaces related to non-ignored variables are non-null.
The theorem about necessary and sufficient conditions for the separation of variables made it possible to develop a theory of complete separation of variables for single-particle classical and quantum-mechanical equations of motion in the theory of gravity in the presence of physical fields of various nature. A task occurred to systematically classify Stäckel spaces in the presence of these fields. By classification, we mean an enumeration of all non-equivalent relatively admissible (i.e., non-violating conditions for the complete separation of variables) coordinate transformations and gauge transformations of the potentials. Since the set of Stäckel spaces is divided into disjoint subsets consisting of spaces of type (N.N 0 ), the classification is carried out separately for each type. Apparently, the first example of a systematic classification was made by J. Iwata [31]. In the paper vacuum solutions for the Einstein equations for spaces of type (1.0) were presented. In works [32][33][34][35] a similar classification for the remaining types of vacuum Stäckel spaces was carried out. For electro-vacuum Stäckel spaces, the classification was made in papers [36][37][38].
However, to date, the classical classification problem for the case when the Hamilton-Jacobi equation for a charged test particle moving in an external electromagnetic field in the absence of additional restrictions for this field admits complete separation of variables, has not been solved. In this work, the classification is constructed for the type (2.0). All appropriate non-equivalent sets of space-time metrics and potentials of the external electromagnetic field are found.

Conditions for the Existence of a Complete Set of Motion Integrals
Let us consider spaces of type (2.0) in which the Hamilton-Jacobi equation for a charged test particle g ij P i P j =λ; can be integrated by the complete separation of variables method. In the privileged coordinate set the complete integral has the additive form: Let us recall that according to the definition the coordinate system, in which such form exists, is called privileged and denoted by variables: u i = (u 0 , u 1 , u 2 , u 3 ). Throughout the text, the repeating upper and lower indices are summed up within the established limits for indices changes; i, j = 0, 1, 2, 3. We consider the field external when the electromagnetic potential contains at least one (free) function, which is not expressed through the metric tensor. If the complete set contains N Killing vector fields, the first N coordinates are ignored. We will denote their coordinate indices by the letters p, q, = 0, 1, · · · = N − 1. We will supply the non-ignored coordinates with the indices µ, ν = N, . . . , 3. Functions that depend only on the variable u 2 will be denoted by the lowercase Greek letters, only from the variable u 3 by the e lowercase Latin letters. Lowercase Latin and Greek letters with a tilde icon indicate constants. Exceptions: δ ij , δ ij , δ i j are the Kronecker symbols, g ij , g ij -components of the metric tensor, ε, ε i = +1, −1; λ, λ i = const, h ij ν , h i ν , h ν -functions of u ν . In this notation, the metric tensor of the Stäckel space of type (2.0) can be written as: where p, q, = 0, 1; ν, µ = 2, 3.Φ-Stäckel matrix. Please note that the Stäckel space of type (2.0) admits two Killing vector fields: Y i p = δ i p and two Killing tensor vector fields (together with the metric tensor): The complete set of integrals of motion for the free Hamilton-Jacobi equation has the form: The integrals of motion of the Hamilton-Jacobi equation, quadratic in impulse, included in the full set in the presence of an external electromagnetic field have the form: The complete integral in the privileged coordinate system can be reduced to the form: The presence of a complete set of commuting motion integrals allows us to find (8) as a solution to the system of equations: Moreover,X i have the form: where Equating the coefficients before the impulses to the right and left in the (10) when ν = 3 and vanishing with a gradient transformation of the function potential ω 2 , h 3 , we obtain: The expressions (11) determine the electromagnetic potential of A i . A necessary and sufficient condition for Equation (1) to admit complete separation of variables is: By setting: we obtain the necessary and sufficient condition in the form of a functional equation: (det(α pq ) + det(a pq ) + α 11 a 00 + α 00 a 11 − 2α 01 a 01 )(ω +ĥ).
Please note that in the general case of an n-dimensional Stäckel space, it follows from the Shapovalovs theorem that Equation (1) admits complete separation of variables if and only if there exists a coordinate system in which: If we introduce the additively arbitrary scalar field Ψ into Equation (1): (see [39], where the classification problem for the natural Hamilton-Jacobi equation was considered), it is easy to ensure that the necessary and sufficient conditions are satisfied by a simple choice: In our case, for the classification, it is necessary to solve a non-trivial functional Equation (15). It can be shown that the solution for the functional Equation (14) is equivalent to the solution of two algebraic equation systems, each containing 7 equations (6 of the second degree and one of the third degree). The first system includes functions only from the variable u 2 , the second only from u 3 . Both systems are overcrowded, and solutions are possible if there is an additional symmetry in Equation (14). As a similar symmetry, justified from a physical point of view, we require that the electromagnetic field be external. Since the variables u 2 and u 3 appear in (14) symmetrically, without loss of generality, we can assume that at least one free function is contained in ω p . We also assume that all nonzero functions in (14) are fairly smooth, and there are points on the coordinate axes in the vicinity of which not one of them vanishes.

Solutions for the Case When Both Functions ω p Are Free
To solve the classification problem, it is necessary to find and resolve the conditions for the existence of the free function. First, consider the case where both ω p are free. We use the smoothness condition mentioned above and consider Equation (14) at a fixed pointũ 3 on the coordinate axis (u 3 ). Since G = 0, ω is expressed in terms of the function ω p as follows: Here the functions γ pq , γ p , γ are rational functions of α pq . We substitute (16) into (14) and equate the coefficients of ω p ω q and ω p on the right and left sides in (14). Hence, we obtain the conditions for the existence of an external electromagnetic field. From the equality to zero of the coefficients before ω p ω q it follows: The equality of coefficients before ω p to zero gives: As det(α pq ) = 0, h p =h p = 0 → A p = ω p ∆ , and the complete set integrals of motion has the form:

The Linear Dependence of ω p on a Free Function
Now let ω 0 and ω 1 be connected to each other by a linear relation of the form: Here σ is a free function; σ p , α p are some rational functions of α pq . Obviously, the functionω in the relation to (14) depends on the free function as follows: γ, γ 0 , ω 0 are also rational functions of α pq . We substitute the expressions (21) and (22) in (14). The equality to zero of the coefficients before σ b (b = 0, 1, 2) gives the system of equations: (α 00 + a 00 )( The Equation (23) is a condition for the existence of a free function, which is superimposed on the metric tensor. Spaces of type (2.0) satisfying (23) already allow complete separation of variables in Equation (1). The remaining equations of the system serve to find the functions h p . Please note that they have the obvious solution h p = 0. To find other solutions of Equation (23), we classify the matricesĜ = (G pq ), with respect to the group of admissible transformations of ignored variables: u p →c p q u q . Let us list all equivalence classes of matricesĜ. The classes will be denoted:Ĝ α , where α = 1, . . . , 5.
Here a 00 = a 0 , a 01 = a, a 11 = a 1 . Functions a 0 , a, a 1 are linearly independent.
We show that in this case all the solutions of Equation (23) for all classesĜ α from the expressions (26) exceptĜ 5 can be represented as: By marking: β pq = α p α q − α pq , we bring the equation (23) to the form: To prove the statement, let us consider (29) for allĜ α from the expressions (26) with numbers α = 1, . . . , 4.
Let us fix the variable u 2 to the point u 2 =ũ 2 in the functional Equation (24). As result, we get the expression: det(a pq ) =γ pq a pq +ã, which after the shift of the functions α pq → α pq + γ pq , and vanishingγ pq can be present in the form: det(a pq ) =ã. Since all a pq are linearly independent, from (29) it follows: From deta ( pq)0 we get: a pq = a p a q . Therefore, the matrixĜ can be represented as (28). The statement is proved.
The functional equation follows from (29): Since in a 0 and a are linearly independent, from (29) it follows: The elements of the matrixĜ can be represented as: a 00 =ã + a 0 , a 11 =ã − a 0 , a 01 = a, α pq = α p α q .
In case when the matricesĜ ρ belong to the first three variants (ρ = 1, . . . , 3), Equation (23) has no nonzero solutions and ω p does not contain any free function. Consider the remaining options.

Building an Electromagnetic Potential
To complete the classification, it is necessary to establish the dependence of the electromagnetic potential on the variable u 3 for this, it is necessary to consider the remaining Equations (24) and (25).
We substitute the matrixĜ 1 into the equation (24). After some transformation we get the equation: By the admissible gradient transformations of the potential, the valuesc p and γ can be set to zero. The solution has the form: This result was first obtained by Carter [38].
Substitute it in Equation (24). Denote: H p = h p + σ p . After the reduction, we get: The Equation (25) can be reduced to the form: Equation (42) has a unique solution: H 0 = α 0 σ +êA. By the admissible gradient transformation of the potential we vanishẽ. The solution has the form

Quadratic Dependence between Free Functions
To complete the classification, we must consider the variant of a quadratic dependence between the functions ω p . Using the same technique as before, from Equation (14) we find the relation connecting the functions ω p . Without limiting the generality, we assume that the free function is ω 0 . Then: In the relations (43), all functions except the free function ω 0 are expressed in terms of α pq . If Σ 2 is a full square, we get the already considered version of the linear relationship between ω p . Therefore: Obviously, under this condition are linearly independent functions (with coefficients depending on α pq ). These functions are included in the function ω 0 as follows (see (14)): Substituting (46) into the system (14) and equating the coefficients to the independent functions (46) to zero, we obtain the following systems of equations after some transformations: The Equation (47) are solved in the same way as in the case of linear dependence of the functions ω p . Using the classification (26), the matrixĜ is found. A distinctive feature is that the completion of this stage does not mean, as before, automatically obtaining a particular case of the desired potential, since the system (48) and Equation (49) non-trivially include the functions defining ω 1 . Now, to find the potential, it is necessary to satisfy all the remaining equations. To do this, the found matricesĜ a are substituted in them and a solution is sought. The second distinguishing feature is that the system (48) immediately implies absence in the potential of a free function that depends only on u 3 since from detĜ = 0 → the functions h p are expressed in terms of a pq . The third feature is that the obtained solutions must satisfy the condition (44).
Omitting the obvious, but rather cumbersome calculations, we present the final solutions for the (47)-(49): The metric tensor and electromagnetic potential have the form: (53)

Discussion
The main result of the classification is to obtain all metrics and potentials of the external electromagnetic field that have sufficient symmetry to perform an exact integration of the Hamilton-Jacobi equation for a charged test particle. Currently, many exact solutions of Einstein's equations are known [40]. However, only a small part of them have such property, and they are the main object of research. The additional symmetry of Stäckel spaces, which allows us to separate variables in the Hamilton-Jacobi equation for a charged test particle, can be applied for integrating the vacuum equations of the gravitational field both in General relativity (for example, when studying the problem of axion fields [41]) and in alternative theories. For convenience of use metrics: (ds) 2 = g ij du i du j , covariant components of electromagnetic potentials: A i , and separated systems whose solutions determine the complete integrals of Equation (1) are given below. The separated systems have the form: In conclusion, we would like to give a complete summary of the results. For each solution of Equation (14) we give the metric (ds) 2 = g ij du i du j , the covariant components of the electromagnetic potential A p and the functionĤ ν , which define the integrals of motion quadratic in momenta in accordance with: whereĤ 2 = α pq p p p q + ε 2 p 2 2 + 2ω q p q +ω,Ĥ 3 = h pq p p p q + ε 3 p 2 3 + 2h q p q +ĥ.

Conclusions
Thus, all space-time metrics and electromagnetic potentials that allow complete separation of variables of type (2.0) in the Hamilton-Jacobi Equation (1) for a charged test particle moving in an external electromagnetic field are found. The complete sets of mutually commuting vector and Killing tensor fields and the complete sets of motion integrals are defined. Please note that the same problem has been solved for the Stäckel spaces of type (1.0) ( [42]) and for the Stäckel spaces of type (2.1) ( [43]).
Funding: This research received no external funding.