Translation:On the spacetime lines of a Minkowski world/Paragraph 2
, . Theorem of Gauss.
By (1):
Template:Pagenum Template:Center
Introducing the supplements
where
is the discriminant of the arc on ,[1] thus because of
it follows
Here, the normal goes to the exterior. For the generalized divergence:
Template:Pagenum or introducing the system reciprocal to
it follows
or eventually, if can be represented as gradient of a scalar (invariant) quantity :
, . Theorem of Stokes.
By (1):
or
Template:Pagenum Here, the line integral is orbiting around the normal in the negative sense, thus clock-wise if the coordinate system is a right-system; because by § 1 the directions , , are following each other like the coordinate axes, where is the normal (which is directed outwards of the area framed on ) of the framing-. Ordinarily, one prefers a positive sense of circulation and therefore the generalized rotation:
, .
Introducing the supplements
where is the discriminant of the arc-element on , so because of
it is given
where goes to the exterior. Therefore it is given for the generalized four-dimensional divergence:[2]
,
, .
Introducing the supplements
where or are the discriminants of the arc-element of or :
Template:Pagenum where the normal plane is given by [3] and , which is the normal of directed outwards of the area limited on as mentioned in § 1. By that, the generalized vector divergence becomes:[4]
The system
shall be called the system dual to and be denoted as . So it follows
and
Template:Pagenum where etc. are to be formed from , as etc. from .
In the case
it therefore follows
, .
or
with the corresponding orientation (by § 1). Therefore, it is given for the generalized rotation[5] with the common signs:
The integral forms in the notation of the absolute differential calculus.
As appendix, the methods of the already mentioned absolute differential calculus shall be demonstrated, because it will be applied later; while it is less suited for the transformation of the actual integral form, Template:Pagenum it can hardly be avoided in connection with other vectorial formations which are more combined. In the mentioned work,[6] Template:Sc shows, based on the differential equations for the second derivative , that from a covariant system of -the order, a system of -th order emerges as follows:
where the Template:Sc symbols of second order with triple-indices arise, which are defined as follows:
Template:Sc and Template:Sc denote this as the covariant differential quotient of with respect to . The prime separates the indices added by differentiation from the others. For the contravariant differential quotient it is given:
Template:Pagenum Then we have, as it can be easily shown:
with the connection
with the connection
where we could write, following the things stated above, also instead of .
Template:Center Thus
For we have, as already mentioned above,
and
since in Euclidean space (vanishing of the Riemann symbols) the permutation of the differentiation order is allowed, and represents the contravariant differential quotient of with respect to .[7]
- ↑ The factor makes invariant in .
- ↑ Template:Sc, Ann. d. Physik, 33, p. 650 (1910).
- ↑ Vector product of two four-vectors . Template:Sc, Ann. d. Phys., 32, p. 765 (1910).
- ↑ Template:Sc, l. c., 33, p. 651; as with Template:Sc' theorem, the minus sign is not included in the definition.
- ↑ Template:Sc, l. c., 33, p. 653 und 654.
- ↑ See Template:Sc, l. c., p. 13 und 22.
- ↑ Template:Sc, l. c., p. 23.