Translation:On the spacetime lines of a Minkowski world/Paragraph 2

From testwiki
Jump to navigation Jump to search

Template:Translation header

n=3, p=2. Theorem of Gauss.

By (1):

Template:Center

Template:Pagenum Template:Center

Introducing the supplements

Template:Center

Template:Center

where

Template:Center

is the discriminant of the arc on M2,[1] thus because of

Template:Center

it follows

Template:Center

Here, the normal N goes to the exterior. For the generalized divergence:

Template:Center

Template:Pagenum or introducing the system reciprocal to B(α)

Template:Center

it follows

Template:Center

or eventually, if Bβ=Bβ=Bx(β) can be represented as gradient of a scalar (invariant) quantity B:

Template:Center

n=3, p=1. Theorem of Stokes.

By (1):

Template:Center

Template:Center

or

Template:Center

Template:Pagenum Here, the line integral is orbiting around the normal N in the negative sense, thus clock-wise if the coordinate system is a right-system; because by § 1 the directions dxds, N, N are following each other like the coordinate axes, where N is the normal (which is directed outwards of the area framed on M2) of the framing-M1. Ordinarily, one prefers a positive sense of circulation and therefore the generalized rotation:

Template:Center

Template:Center

n=4, p=3.

Template:Center

Template:Center

Template:Center

Introducing the supplements

Template:Center

Template:Pagenum

Template:Center

where b is the discriminant of the arc-element on M3, so because of

Template:Center

it is given

Template:Center

where N goes to the exterior. Therefore it is given for the generalized four-dimensional divergence:[2]

Template:Center

div(B1B2B3B4)=1cαx(α)(cβc(αβ)Bβ),,

Template:Center

n=4, p=2.

Template:Center

Template:Pagenum

Introducing the supplements

Template:Center

Template:Center

Template:Center

where a or b are the discriminants of the arc-element of M2 or M3:

Template:Center

Template:Pagenum where the normal plane Nαβ is given by [NN][3] and N, which is the normal of M2 directed outwards of the area limited on M3 as mentioned in § 1. By that, the generalized vector divergence becomes:[4]

Template:Center

Template:Center

The system

Template:Center

shall be called the system dual to Aαβ and be denoted as Aα3α4. So it follows

Template:Center

Template:Center

and

Template:Center

Template:Center

Template:Pagenum where A234 etc. are to be formed from Aαβ, as A234 etc. from Aαβ.

In the case

Template:Center

it therefore follows

Template:Center

n=4, p=1.

Template:Center

or

Template:Center

with the corresponding orientation (by § 1). Therefore, it is given for the generalized rotation[5] with the common signs:

Template:Center

Template:Center

The integral forms n=4 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 2x(α)x¯(λ)x¯(μ), that from a covariant system Aα1α2αp of p-the order, a system of p+1-th order emerges as follows:

Template:Center

where the Template:Sc symbols of second order with triple-indices arise, which are defined as follows:

Template:Center

Template:Sc and Template:Sc denote this as the covariant differential quotient of Aα1α2αp with respect to x(αp+1). The prime separates the indices added by differentiation from the others. For the contravariant differential quotient it is given:

Template:Center

Template:Pagenum Then we have, as it can be easily shown:

Template:Center

with the connection

Template:Center

Template:Center

Template:Center

with the connection

Template:Center

where we could write, following the things stated above, also Aαβ instead of Bαβ.

Template:Center Thus

Template:Center

Template:Center

For 𝔇𝔦𝔳(Aαβ)0 we have, as already mentioned above,

Template:Center

and

Template:Center

since in Euclidean space (vanishing of the Riemann symbols) the permutation of the differentiation order Aβ/αγ=Aβ/γα is allowed, and c(1α)c(βγ)Aβ/γα represents the contravariant differential quotient of β,γc(βγ)Aβ/γ with respect to x(1).[7]


  1. The factor 1b makes N invariant in u.
  2. Template:Sc, Ann. d. Physik, 33, p. 650 (1910).
  3. Vector product of two four-vectors [AB](αβ)=A(α)B(β)A(β)B(α). Template:Sc, Ann. d. Phys., 32, p. 765 (1910).
  4. Template:Sc, l. c., 33, p. 651; as with Template:Sc' theorem, the minus sign is not included in the definition.
  5. Template:Sc, l. c., 33, p. 653 und 654.
  6. See Template:Sc, l. c., p. 13 und 22.
  7. Template:Sc, l. c., p. 23.