The search for the generating compatibility conditions (CC) of a given operator is a very recent problem met in general relativity in order to study the Killing operator for various standard useful metrics. Accordingl...The search for the generating compatibility conditions (CC) of a given operator is a very recent problem met in general relativity in order to study the Killing operator for various standard useful metrics. Accordingly, this paper can be considered as a natural continuation of a previous paper recently published in JMP under the title Minkowski, Schwarschild and Kerr metrics revisited. In particular, we prove that the intrinsic link existing between the lack of formal exactness of an operator sequence on the jet level, the lack of formal exactness of its corresponding symbol sequence and the lack of formal integrability (FI) of the initial operator is of a purely homological nature as it is based on the long exact connecting sequence provided by the so-called snake lemma in homological algebra. It is therefore quite difficult to grasp it in general and even more difficult to use it on explicit examples. It does not seem that any one of the results presented in this paper is known as most of the other authors who studied the above problem of computing the total number of generating CC are confusing this number with the degree of generality introduced by A. Einstein in his 1930 letters to E. Cartan. One of the motivating examples that we provide is so striking that it is even difficult to imagine that such an example could exist. We hope this paper could be used as a source of testing examples for future applications of computer algebra in general relativity and, more generally, in mathematical physics.展开更多
The paper is concerned with the formulation of the static problem of general relativity. As known, this problem is reduced to ten equations for the compo-nents of the Einstein tensor and the solution of these equation...The paper is concerned with the formulation of the static problem of general relativity. As known, this problem is reduced to ten equations for the compo-nents of the Einstein tensor and the solution of these equations is associated with two principal problems. First, since the components of the Einstein tensor identically satisfy four conservation equations, only six of these equations are mutually independent. So, the set of the Einstein equations actually contains six independent equations for ten components of the metric tensor and should be supplemented with four additional equations which are missing in the original theory. Second, for a deformable solid the Einstein tensor is associated with the energy tensor which is expressed in terms of six stresses induced by gravitation. These stresses are not known and the relativity theory does not propose any equations for them. Thus, the static problem of general relativity cannot be properly formulated because the set of governing equations is not complete. In the paper, the problem of completeness of the general relativity governing set of equations is analyzed in application to the spherically symmetric static problem and the proposed approach is further described for the general case. As an example, linearized axisymmetric problem is considered.展开更多
文摘The search for the generating compatibility conditions (CC) of a given operator is a very recent problem met in general relativity in order to study the Killing operator for various standard useful metrics. Accordingly, this paper can be considered as a natural continuation of a previous paper recently published in JMP under the title Minkowski, Schwarschild and Kerr metrics revisited. In particular, we prove that the intrinsic link existing between the lack of formal exactness of an operator sequence on the jet level, the lack of formal exactness of its corresponding symbol sequence and the lack of formal integrability (FI) of the initial operator is of a purely homological nature as it is based on the long exact connecting sequence provided by the so-called snake lemma in homological algebra. It is therefore quite difficult to grasp it in general and even more difficult to use it on explicit examples. It does not seem that any one of the results presented in this paper is known as most of the other authors who studied the above problem of computing the total number of generating CC are confusing this number with the degree of generality introduced by A. Einstein in his 1930 letters to E. Cartan. One of the motivating examples that we provide is so striking that it is even difficult to imagine that such an example could exist. We hope this paper could be used as a source of testing examples for future applications of computer algebra in general relativity and, more generally, in mathematical physics.
文摘The paper is concerned with the formulation of the static problem of general relativity. As known, this problem is reduced to ten equations for the compo-nents of the Einstein tensor and the solution of these equations is associated with two principal problems. First, since the components of the Einstein tensor identically satisfy four conservation equations, only six of these equations are mutually independent. So, the set of the Einstein equations actually contains six independent equations for ten components of the metric tensor and should be supplemented with four additional equations which are missing in the original theory. Second, for a deformable solid the Einstein tensor is associated with the energy tensor which is expressed in terms of six stresses induced by gravitation. These stresses are not known and the relativity theory does not propose any equations for them. Thus, the static problem of general relativity cannot be properly formulated because the set of governing equations is not complete. In the paper, the problem of completeness of the general relativity governing set of equations is analyzed in application to the spherically symmetric static problem and the proposed approach is further described for the general case. As an example, linearized axisymmetric problem is considered.
