Revisiting Separation of Variables in Hamilton-Jacobi Equations: Abstract and Introduction

Author: (1) V V Obukhov, Institute of research and development, Tomsk State Pedagogical University, Kievskaya str. 60, Tomsk 634061, Russia & International laboratory of theoretical cosmology, Tomsk State University of Control Systems and Radioelectronics, Lenina pr. 40, Tomsk 634050, Russia (E-mail: obukhov@tspu.edu.ru); (2) K E Osetrin, Center for Mathematical and Computer Physics, Tomsk State Pedagogical University, Kievskaya str. 60, Tomsk 634061, Russia & International laboratory of theoretical cosmology, Tomsk State University of Control Systems and Radioelectronics, Lenina pr. 40, Tomsk 634050, Russia; (3) A V Shapovalov, Department of Theoretical Physics, National Research Tomsk State University, Lenina pr. 36, Tomsk 634050, Russia & International laboratory of theoretical cosmology, Tomsk State University of Control Systems and Radioelectronics, Lenina pr. 40, Tomsk 634050, Russia. Table of Links Abstract and Introduction Conclusion, Statements and Declarations, and Bibliography Abstract. The present note is a feedback on the article by M.O. Katanaev in Physica Scripta (2023, 98, 104001), where, in our opinion, a distorted view of the classical theory of separation of variables in the Hamilton-Jacobi equation is given. We show that the metrics given in this paper, admitting separation of variables, are special cases of V.N. Shapovalov metrics (Siberian Mathematical Journal, 1979, 20, 790), finally obtained in the 70s of the last century. The results of the article in question, unlike the original ones, do not have scientific novelty and contain omissions and incorrect statements. Keywords: SEPARATION OF VARIABLES, HAMILTON–JAKOBI EQUATION, KILLINGS VECTORS AND TENSORS, INTEGRALS OF MOTION Introduction In a recently published article [1], as well as in the preprint [2], which is cited in this article, the author sets out his vision of the history of the creation of the theory of complete separation of variables in the free Hamilton-Jacobi equation and assesses the completeness of this theory. He claims that the results obtained in the articles significantly complement the theory. Thus, in the work [2] the discovery of a new class of separable spaces (according to the currently widely accepted terminology - St¨ackel spaces) was announced, which have zero diagonal components of the contravariant metric tensor, corresponding to isotropic non-ignorable variables of the separable coordinate system (that is, the coordinate system, in which separation of variables is possible). It is also stated that for the first time an explicit form of integrals of motion and complete integrals for the free Hamilton-Jacobi equation has been found. According to the author, it was in the articles [1, 2], that the complete list of nonequivalent metrics of four-dimensional St¨ackel spaces was first presented and also their new classification is proposed. In the present comment we show that the papers [1, 2], do not obtain any new results and do not contain any new ideas, since the papers themselves do not go beyond the definitions and consequences of the main theorems of the theory of complete separation of variables. These theorems have been proved half a century ago by Vladimir N. Shapovalov. This also applies to the complete list of metrics, integrals of motion and complete integrals of the free Hamilton-Jacobi equation in separable coordinate systems for an arbitrary 4-dimensional St¨ackel space V4 given in the article [1]. Such a list (though a little more complete) has also been known to specialists for a long time. The problem of separation of variables in the Hamilton-Jacobi equation for geodesics is more than a hundred years old. It was first formulated in the papers of Paul Stackel in the late 19th century. Paul St¨ackel, using the definition of complete separation of variables according, proposed a method of constructing metrics of spaces in which the geodesic equations can be integrated by the method of complete separation of variables in the free Hamilton-Jacobi equation, and also found the first examples of metrics of spaces, in which such separation of variables takes place. In the separable coordinate system these metrics are diagonal, and the Hamilton-Jacobi equation admits quadratic on momentum integrals of motion. Subsequently, many articles were devoted to the problem of complete separation of variables. A detailed bibliography can be found in the papers [3, 4, 5, 6]. Until the early seventies of the 20th century, nonisotropic metrics of spaces were found in which the complete separation of variables in the free Hamilton-Jacobi equation can be used, and it was also established that the integrals of motion are constructed using the St¨ackel method through the St¨ackel matrix introduced by him. The method is applicable to non-diagonal metrics, provided that the Hamilton-Jacobi equation, along with integrals of motion quadratic in momenta, admits a commutative algebra of integrals of motion linear in impulse. In this case, the space metric is determined, in addition to the elements of the St¨ackel matrix, by an additional set of functions, each of which depends only on one non-ignored variable of the separable coordinate system. It was proposed to call all spaces in which the modified St¨ackel method is applicable St¨ackel spaces. It was also found that a necessary condition for the complete separation of variables in the free Hamilton-Jacobi equation is the presence in the n-dimensional Riemannian space Vn with an arbitrary signature of a set of n geometric objects, consisting of mutually commuting vector and tensor Killing fields, including the metric tensor (equivalently - a complete set of linear and quadratic in momentum integrals of motion of the second kind for the free HamiltonJacobi equation). Note that all these results were obtained in non-covariant form in the separable coordinate system. Isotropic St¨ackel metrics in the separable coordinate systems were first proposed in [7, 8, 9]. The final construction of the theory of complete separation of variables in the free Hamilton-Jacobi equation was carried out in covariant form by Vladimir N. Shapovalov (see [9] and other earlier articles). In these articles, the main theorems of the theory of St¨ackel spaces were proved. The theorems establish necessary and sufficient conditions for the complete separation of variables in the free Hamilton-Jacobi equation. One of these theorems explicitly provides comprehensive formulas for the general canonical form of St¨ackel spaces metrics and of integrals of motion for free Hamilton-Jacobi equation in the separable coordinate system. Thus, the problem of listing all metrics of spaces in which the method of complete separation of variables is applicable is completely solved. Moreover, according to Shapovalov’s fundamental theorem, the equivalence classes of St¨ackel spaces are uniquely defined by complete sets of Killing fields. Therefore, there is a tool that allows one to determine in any coordinate system whether the space under consideration belongs to the class of St¨ackel spaces. Papers [1, 2], do not go beyond the theory of complete separation of variables built fifty years ago and does not contain any new results. In order to verify this, we present the canonical form of metrics of St¨ackel spaces in separable coordinate systems proposed by Vladimir N. Shapovalov in his work [9]. In this paper, the problem of partial separation of variables was studied in more general form. The problem of complete separation of variables is also considered and completely solved as a special case of this more general problem. Therefore, in order to simplify the formulas, we will slightly change the notation adopted in [9]. In what follows, the next indices of the variables of the separable coordinate system in the n-dimensional St¨ackel space Vn will be used. Thus the type of the complete separation of variables and the type of the St¨ackel space are completely given by the dimension of the space, and the numbers N, N0 characterizing the abelian algebra included in the complete set. According to the terminology adopted for four-dimensional St¨ackel spaces they are called St¨ackel spaces of type (N, N0). If N0 = 0, the spaces are called non-isotropic (spaces of non null types). Otherwise, them are called isotropic (spaces of null types). As it is easy to calculate, there are only 9 non-equivalent types of St¨ackel metrics in V4. In the paper [1] a list of 10 metrics is provided. However, two of them (formulas (12), (13) in the paper [1]) should be combined since they are equivalent. Both of them are special cases of canonical metrics of type (2.1) according to the classification of Shapovalov (see [4]). The same is true for the metrics (17), (18) in the paper [1]. They are equivalent to each other and both are special cases of metrics of type (1.1) according to Shapovalov classification (see [5]). Note that the list of metrics completely lacks metrics of isotropic St¨ackel spaces of type (3.1). The canonical form of the metric tensor g ij for metrics of type (3.1) in the separable coordinate system has the form. After the final construction of the theory of complete separation of variables in the free Hamilton-Jacobi equation, a large number of papers (see, for example, [3, 4, 5, 6] and the literature cited in them) investigated the possibilities of applying the metrics (2) in the special theory of relativity and in the theory of gravitation. In particular, when solving the problem of separation of variables in the classical and quantum equations of motion in the presence of external fields (electromagnetic fields, Yang-Mills fields). Note also that long before the publication of [1, 2], four-dimensional isotropic St¨ackel metrics of all types were studied in detail in many papers (see, for example, [4, 5], [10, 11, 12]). This paper is available on arxiv under CC BY-NC-ND 4.0 DEED license. Author: (1) V V Obukhov, Institute of research and development, Tomsk State Pedagogical University, Kievskaya str. 60, Tomsk 634061, Russia & International laboratory of theoretical cosmology, Tomsk State University of Control Systems and Radioelectronics, Lenina pr. 40, Tomsk 634050, Russia (E-mail: obukhov@tspu.edu.ru); (2) K E Osetrin, Center for Mathematical and Computer Physics, Tomsk State Pedagogical University, Kievskaya str. 60, Tomsk 634061, Russia & International laboratory of theoretical cosmology, Tomsk State University of Control Systems and Radioelectronics, Lenina pr. 40, Tomsk 634050, Russia; (3) A V Shapovalov, Department of Theoretical Physics, National Research Tomsk State University, Lenina pr. 36, Tomsk 634050, Russia & International laboratory of theoretical cosmology, Tomsk State University of Control Systems and Radioelectronics, Lenina pr. 40, Tomsk 634050, Russia. Author: Author: (1) V V Obukhov, Institute of research and development, Tomsk State Pedagogical University, Kievskaya str. 60, Tomsk 634061, Russia & International laboratory of theoretical cosmology, Tomsk State University of Control Systems and Radioelectronics, Lenina pr. 40, Tomsk 634050, Russia (E-mail: obukhov@tspu.edu.ru); (2) K E Osetrin, Center for Mathematical and Computer Physics, Tomsk State Pedagogical University, Kievskaya str. 60, Tomsk 634061, Russia & International laboratory of theoretical cosmology, Tomsk State University of Control Systems and Radioelectronics, Lenina pr. 40, Tomsk 634050, Russia; (3) A V Shapovalov, Department of Theoretical Physics, National Research Tomsk State University, Lenina pr. 36, Tomsk 634050, Russia & International laboratory of theoretical cosmology, Tomsk State University of Control Systems and Radioelectronics, Lenina pr. 40, Tomsk 634050, Russia. Table of Links Abstract and Introduction Abstract and Introduction Conclusion, Statements and Declarations, and Bibliography Conclusion, Statements and Declarations, and Bibliography Abstract. The present note is a feedback on the article by M.O. Katanaev in Physica Scripta (2023, 98, 104001), where, in our opinion, a distorted view of the classical theory of separation of variables in the Hamilton-Jacobi equation is given. We show that the metrics given in this paper, admitting separation of variables, are special cases of V.N. Shapovalov metrics (Siberian Mathematical Journal, 1979, 20, 790), finally obtained in the 70s of the last century. The results of the article in question, unlike the original ones, do not have scientific novelty and contain omissions and incorrect statements. Abstract. Keywords: SEPARATION OF VARIABLES, HAMILTON–JAKOBI EQUATION, KILLINGS VECTORS AND TENSORS, INTEGRALS OF MOTION Keywords: Introduction In a recently published article [1], as well as in the preprint [2], which is cited in this article, the author sets out his vision of the history of the creation of the theory of complete separation of variables in the free Hamilton-Jacobi equation and assesses the completeness of this theory. He claims that the results obtained in the articles significantly complement the theory. Thus, in the work [2] the discovery of a new class of separable spaces (according to the currently widely accepted terminology - St¨ackel spaces) was announced, which have zero diagonal components of the contravariant metric tensor, corresponding to isotropic non-ignorable variables of the separable coordinate system (that is, the coordinate system, in which separation of variables is possible). It is also stated that for the first time an explicit form of integrals of motion and complete integrals for the free Hamilton-Jacobi equation has been found. According to the author, it was in the articles [1, 2], that the complete list of nonequivalent metrics of four-dimensional St¨ackel spaces was first presented and also their new classification is proposed. In the present comment we show that the papers [1, 2], do not obtain any new results and do not contain any new ideas, since the papers themselves do not go beyond the definitions and consequences of the main theorems of the theory of complete separation of variables. These theorems have been proved half a century ago by Vladimir N. Shapovalov. This also applies to the complete list of metrics, integrals of motion and complete integrals of the free Hamilton-Jacobi equation in separable coordinate systems for an arbitrary 4-dimensional St¨ackel space V4 given in the article [1]. Such a list (though a little more complete) has also been known to specialists for a long time. The problem of separation of variables in the Hamilton-Jacobi equation for geodesics is more than a hundred years old. It was first formulated in the papers of Paul Stackel in the late 19th century. Paul St¨ackel, using the definition of complete separation of variables according, proposed a method of constructing metrics of spaces in which the geodesic equations can be integrated by the method of complete separation of variables in the free Hamilton-Jacobi equation, and also found the first examples of metrics of spaces, in which such separation of variables takes place. In the separable coordinate system these metrics are diagonal, and the Hamilton-Jacobi equation admits quadratic on momentum integrals of motion. Subsequently, many articles were devoted to the problem of complete separation of variables. A detailed bibliography can be found in the papers [3, 4, 5, 6]. Until the early seventies of the 20th century, nonisotropic metrics of spaces were found in which the complete separation of variables in the free Hamilton-Jacobi equation can be used, and it was also established that the integrals of motion are constructed using the St¨ackel method through the St¨ackel matrix introduced by him. The method is applicable to non-diagonal metrics, provided that the Hamilton-Jacobi equation, along with integrals of motion quadratic in momenta, admits a commutative algebra of integrals of motion linear in impulse. In this case, the space metric is determined, in addition to the elements of the St¨ackel matrix, by an additional set of functions, each of which depends only on one non-ignored variable of the separable coordinate system. It was proposed to call all spaces in which the modified St¨ackel method is applicable St¨ackel spaces. It was also found that a necessary condition for the complete separation of variables in the free Hamilton-Jacobi equation is the presence in the n-dimensional Riemannian space Vn with an arbitrary signature of a set of n geometric objects, consisting of mutually commuting vector and tensor Killing fields, including the metric tensor (equivalently - a complete set of linear and quadratic in momentum integrals of motion of the second kind for the free HamiltonJacobi equation). Note that all these results were obtained in non-covariant form in the separable coordinate system. Isotropic St¨ackel metrics in the separable coordinate systems were first proposed in [7, 8, 9]. The final construction of the theory of complete separation of variables in the free Hamilton-Jacobi equation was carried out in covariant form by Vladimir N. Shapovalov (see [9] and other earlier articles). In these articles, the main theorems of the theory of St¨ackel spaces were proved. The theorems establish necessary and sufficient conditions for the complete separation of variables in the free Hamilton-Jacobi equation. One of these theorems explicitly provides comprehensive formulas for the general canonical form of St¨ackel spaces metrics and of integrals of motion for free Hamilton-Jacobi equation in the separable coordinate system. Thus, the problem of listing all metrics of spaces in which the method of complete separation of variables is applicable is completely solved. Moreover, according to Shapovalov’s fundamental theorem, the equivalence classes of St¨ackel spaces are uniquely defined by complete sets of Killing fields. Therefore, there is a tool that allows one to determine in any coordinate system whether the space under consideration belongs to the class of St¨ackel spaces. Papers [1, 2], do not go beyond the theory of complete separation of variables built fifty years ago and does not contain any new results. In order to verify this, we present the canonical form of metrics of St¨ackel spaces in separable coordinate systems proposed by Vladimir N. Shapovalov in his work [9]. In this paper, the problem of partial separation of variables was studied in more general form. The problem of complete separation of variables is also considered and completely solved as a special case of this more general problem. Therefore, in order to simplify the formulas, we will slightly change the notation adopted in [9]. In what follows, the next indices of the variables of the separable coordinate system in the n-dimensional St¨ackel space Vn will be used. Thus the type of the complete separation of variables and the type of the St¨ackel space are completely given by the dimension of the space, and the numbers N, N0 characterizing the abelian algebra included in the complete set. According to the terminology adopted for four-dimensional St¨ackel spaces they are called St¨ackel spaces of type (N, N0). If N0 = 0, the spaces are called non-isotropic (spaces of non null types). Otherwise, them are called isotropic (spaces of null types). As it is easy to calculate, there are only 9 non-equivalent types of St¨ackel metrics in V4. In the paper [1] a list of 10 metrics is provided. However, two of them (formulas (12), (13) in the paper [1]) should be combined since they are equivalent. Both of them are special cases of canonical metrics of type (2.1) according to the classification of Shapovalov (see [4]). The same is true for the metrics (17), (18) in the paper [1]. They are equivalent to each other and both are special cases of metrics of type (1.1) according to Shapovalov classification (see [5]). Note that the list of metrics completely lacks metrics of isotropic St¨ackel spaces of type (3.1). The canonical form of the metric tensor g ij for metrics of type (3.1) in the separable coordinate system has the form. After the final construction of the theory of complete separation of variables in the free Hamilton-Jacobi equation, a large number of papers (see, for example, [3, 4, 5, 6] and the literature cited in them) investigated the possibilities of applying the metrics (2) in the special theory of relativity and in the theory of gravitation. In particular, when solving the problem of separation of variables in the classical and quantum equations of motion in the presence of external fields (electromagnetic fields, Yang-Mills fields). Note also that long before the publication of [1, 2], four-dimensional isotropic St¨ackel metrics of all types were studied in detail in many papers (see, for example, [4, 5], [10, 11, 12]). This paper is available on arxiv under CC BY-NC-ND 4.0 DEED license. This paper is available on arxiv under CC BY-NC-ND 4.0 DEED license. available on arxiv