On the Theory of Relativity II: Four-dimensional Vector Analysis
|On the Theory of Relativity II: Four-dimensional Vector Analysis (1910)
by , translated by Wikisource
In German: Zur Relativitätstheorie. II. Vierdimensionale Vektoranalysis, 38 (14), 649-689, |
See part I, Ann. d. Phys. 32. p. 749. 1910, to which the numbering of the equations and paragraphs is supplemented.
On the Theory of Relativity. II.
Four-dimensional vector analysis;
by A. Sommerfeld.
§ 5. The differential operations of four-dimensional vector analysis. 
Instead of Minkowski's general symbol lor (Lorentz operation), we introduce the more specific differential operator
Div, Rot, Grad,
as four-dimensional extensions of the usual operations in ordinary vector-calculus
div, rot, grad.
The summarizing symbol lor will be preferred (similarly to the Hamiltonian in ordinary vector calculus), when one wants (neglecting the illustrative meaning of the single steps) to symbolically verify the vector formulas. However, since at this place as well as in part I, exactly this geometrical interpretation shall be emphasized, it es recommendable to specialize the symbol lor (depending on its application to six-, four-vectors or scalars) in the given way. There, the divergence operation is employed in a dual meaning, as vector divergence and as scalar divergence, so that four fundamental vector operations actually exist in four dimensions, against the three differential operations of ordinary vector calculus. For distinction, I will write the vector divergence by German letters (), the scalar divergence by Latin ones (Div).
We will operate at any place, as if the fourth of our world coordinates xyzl were real (in this connection, see the note on p. 752 of part I). This fiction, as far as I see, nowhere encounters difficulties, it is, on the other hand, an essential presupposition for the simplicity of the geometrical way of expression, according to which we will speak in the following, for example, simply about a perpendicularity instead of a non-euclidean perpendicularity, and it makes it possible to supplement the four-dimensional vector expressions in the closest way to the well-known three-dimensional ones.
The following way traversed by us twice in opposite direction, allows us to see that our list might be complete, and that the results obtained in this way, are by their definition independent of the coordinate system.
a) The scalar divergence. Let be an arbitrarily formed, four-dimensional, and infinitely small section of space in the surrounding of the considered spacetime-point , the element of the (three-dimensional) boundary of , the outer normal to . Let be an arbitrary four-vector, its normal component formed in the sense of equation (7). From the four-vector a scalar magnitude Div emerges, which we define as follows:
where the integration with respect to is to be extended over the entire boundary of .
If we choose especially as a four-dimensional parallelepiped with edge lengths dx dy dz dl, then we have
Minkowski,If is the four-density defined in (1), then, as it was noticed by
becomes identical with the left-hand side of the continuity equation in ordinary hydrodynamics of compressible fluids (up to the factor ).
b) The vector divergence. While we started under a) with a vector of first kind (four-vector) where we obtained a "vector of zero kind" (scalar), we now start with a vector of second kind (six-vector) and derive a vector of first kind (four-vector) from it. Its component with respect to an arbitrary direction is defined by us in the following way. Let be the three-dimensional space extended through the considered spacetime-point perpendicular to , an infinitely small area of it in the surrounding of , the element of its (two-dimensional) boundary; the plane perpendicular to it, unequivocally defined by note 2 on p. 753 and containing both the direction as well as the (outer) normal direction of extended in space , shall be indicated by , and shall denote the component of six-vector (formed in the sense of equation (8)) with respect to this plane. Then, let the -component of the vector-divergence of be:
where the integration with respect to is related to the whole boundary of .
If we especially choose as -direction, as three-dimensional parallelepiped (located in -space) of border length dy, dz, dl, then it is given by (17):
and somewhat more generally for any of the coordinate directions :
in which instant one of the four derivatives, of course, vanishes due to . The formal agreement of this formation with that in (16a) may motivate us to maintain, despite of the different geometrical meaning, the same name.
If particularly means the six-vector of the field, then, for example, due to (2a) and (2a) it becomes for :
and for :
According to the field equations, the first expression is equal to and the latter equal to , so that the four-density directly emerges from the field vector by operation . The first half of the Maxwell-Lorentz equations, including the electric divergence condition, can thus simply be written:
c) The supplement of rotation. We start with a vector of third kind (three-dimensional space magnitude, see part I, p. 759), with which we simultaneously consider its supplement (a vector of first kind), denote by us as for distinction, where for example. From that, we derive a vector of second kind, the rotation of or the supplement of the rotation of ; its component with respect to a plane is defined by us as follows: Let be the plane normal to through the considered point , an infinitely small area of in the surrounding of , a boundary element of . The normal space with respect to contains the directions and the direction of the outer normal (drawn within ) with respect to . The component of with respect to this normal space is . Then, let the component of rotation of with respect to plane be:
If, for example, is a rectangle with side-lengths dn, ds, where the succession of the directions is the positive one, i.e. the same as that of the axes xyzl, then:
It is in agreement with the following definition for the rotation of a vector of first kind and the earlier equation (4c) for the connection of a six-vector with its supplement, when we also write instead:
By the definition (19) we thus calculate the supplement of rotation with respect to plane for the vector of first kind , or the rotation with respect to its perpendicular plane ; but simultaneously also the rotation for the plane for the vector of third kind , or its supplement for its perpendicular plane .
d) The gradient. It would be in agreement with the things done thus far, to start with a four-dimensional space magnitude , which (as undirected) will have a scalar character, and to derive from it a vector of third kind, which (by its components) shall be taken with respect to an arbitrary space . For that, we would have (in the direction normal to ) to separate an infinitely small, linear area , and the difference as replacement for the degenerated integration over the boundary points of , and eventually to form as component of the emerging vector of third kind:
Instead, we will dually reverse our process by starting with a vector of zero kind , i.e. a scalar magnitude too, and derive from it a vector of first kind, the gradient of , by accordingly defining its component with respect to direction :
thus especially its four right-angled components by:
c) Rotation. Now, we start with a vector of first kind and derive from it the vector of second kind, its rotation. We obtain its component with respect to any plane, by separating an area from this plane, then we extend the line integral of around it etc., according to the formula analogous to (19) and (19a,b):
Under we shall understand two mutually perpendicular directions located in , so that the rotation from to has the same orientation, as the rotation of around . In the current process we thus directly obtain the rotation of a vector of first kind, instead of its supplement as in c).
A suitable example gives the concept of electrodynamic potential, to whose natural introduction we will resort in the next paragraph at equation (25a), while it is only historically mentioned at this place. Let us combine the vector potential and the scalar potential of the ordinary theory to the "vector potential" , with the components
From it, the field can be calculated by the uniform formula
for example (see (21)):
which summarizes the asymmetric formulas of ordinary theory:
Between the scalar and vector potential, in the ordinary theory one has the complicated condition:
which now simply reads by (16a):
b') The supplement of vector divergence. Starting from a vector of second kind , we derive the component of a vector of third kind with respect to any space , by separating (within ) an infinitely small space section with the two-dimensional surface element and the mutually perpendicular direction contained in it. While we formed the normal component of to in b), we now consider the surface integral of the tangential component of , namely:
If we especially choose as -direction, and as three-dimensional parallelepiped in -space, then the three surface pairs become parallel to its boundary or zl, ly, yz respectively, and therefore:
For the right-hand side we can write by (4b):
by which the chosen denotation and more general are justified with respect to (17a). If means the field vector, we have by (22a) and (2):
similarly for the - and -direction and for the -axis:
However, these expressions vanish according to the Maxwell-Lorentz field equations; the second half of these equations, including the magnetic divergence condition, can thus be written:
a') The scalar divergence. Starting from a vector of third kind and its components with respect to the tangential spaces of a four-dimensional space section , one could (from the vector of third kind) eventually derive a scalar magnitude - its divergence - by the definition analogous to a). Due to the mutual interchangeability of the vectors of third and first kind (see the end of § 1), nothing new would emerge with respect to a).
The differential operations considered here, are (by their geometric introduction in which coordinate system were not mentioned at all) independent of the choice of reference frame; their coordinate expressions are thus behaving invariant or covariant with respect to Lorentz transformations. This especially applies to the field equations (18) and (18*). The complicated calculations, by which Lorentz (1895 and 1904) and Einstein (1905) proved their applicability independent from the coordinate system, and by which they had to show the meaning of the transformed field vectors, thus become irrelevant in the system of Minkowski's "world".
§ 6. The integral theorems of Gauss, Stokes, Green in four dimensions. 
As one directly obtains (in ordinary vector calculus) the theorems of Gauss and Stokes from the concept of div and rot, and Green's theorem is supplemented to that of Gauss by means of the concept of grad, one also will obtain three integral theorems from the concepts of scalar and vectorial divergence and rotation, which we will denote as theorem of Gauss, Gauss-Stokes, and Stokes; there, the "Gauss-Stokes theorem" stands in the middle between the actual theorem of Gauss and Stokes, in the same way as the concept of vector divergence stands between that of scalar divergence and rotation. The theorem of Green thus follows form the connection of the theorem of Gauss with the concept of gradients.
Gauss. It reads, when is a four-vector, a four-dimensional space area, its three-dimensional boundary with the outer normal :a) The theorem of
Namely, if one separates the space area into sufficiently small space-elements , and applies to any of them the same equation (16), then over the boundaries all inner ones are canceled from , since they appear twice with opposite sign, and only the parts of the outer boundary of remain.
In particular let be . If one constructs a tube of -lines (lines having everywhere the direction of vector ) and if one cuts the tube at an arbitrary place by a ("plane" or curved) space , then according to the theorem of Gauss, one always obtains the same value of . Herein lies, when means the four-density, the independence of charge from the reference system (see I. p. 752).
b) The two forms of the theorem of Gauss-Stokes. Let be a six-vector, an arbitrary (not necessarily "plane") three-dimensional space section located within the four-dimensional "world", and the normal upon an element of the same. The boundary of space , which will be a closed two-times extended surface, be ; the single element we imagine as determined by two mutually perpendicular directions , and the surface element normal to as determined by the directions (perpendicular to ) and (within perpendicular to ). Depending as to whether we project to the surface element normal to , or to itself, we obtain the components or . Then by equations (17) and (22):
The proof (decomposition of space into sufficiently small elements etc.) is the same as under a).
One can use these two forms of the theorem of Gauss-Stokes, to rewrite Maxwell's differential equations (18) and (18a) in integral form.
For this purpose, one considers a two-times-extended closed surface located in the "world", then puts a three-times extended space through it, and understands as direction as it was explained above. Then it applies due to (24) and (18) or due to (24*) and (18*):
To emphasize the relation of these formulas to the ordinary integral formulation of Maxwell's equations, we consider two special cases:
1. The surface lies in -space. Thus
and we have the known relations:
2. The surface be an infinitely flat cylinder, whose basis in -space lies, with the generator (length ), parallel to the -axis. Stemming from the mantle of the cylinder, one obtains for the left-hand sides of (24a) (when is measured along the contour of the mantle):
On the other hand, if one is taking together the two basis-areas of the cylinder, then for those it is , and means the normal (located in -space) upon the basis-area. Its contribution is thus
where the first integral measures the displacement current traversing the basis-area, the second measures the temporal change of the magnetic force-line number. At the same time
Maxwell's equations in ordinary notation:becomes the (up to the factor ) convection current traversing perpendicular to . With respect to the relevant cylindric specialization of the integration area, our surface integrals (24a) therefore go over into the known integral form of
c) The theorem of Stokes. If means an closed one-dimensional convolution (arbitrarily located in the world), a two-times extended surface limited by , a four-vector, then Stokes' theorem is given as a direct consequence of definition equation (21) in the location and order of directions in the form
One can remark, that one cannot speak (even with respect to the ordinary three-dimensional formulation of Stokes' theorem), as it usually happens, of the normal component, but of the tangential component of rotation, since rotation is also at that place a vector of second kind. If we had started from the supplement of rotation (see the previous paragraph under c), then we would have obtained equation (25) as well.
If it is particularly about a closed surface , then the boundary curve and thus also the right-hand side of (25) vanishes, and thus we have
Accordingly it is given from the second form of Gauss-Stokes' theorem (24*), in which was to be integrated on the right-hand side over a closed surface , when we include equal to the rotation of an arbitrary four-vector :
Since this equation applies to any section , we conclude the identical relation
"the vector divergence of the supplement of rotation of an arbitrary four-vector vanishes." This can be simply verified using the coordinate expressions (17a) of the vector divergence and (21) of the rotation.
Equation (25a) simultaneously gives the justification for introducing the electrodynamic potential , which was only historically described in the previous paragraph under c'). Namely, since by approach (21b) , the second of Maxwell's equations according to (25a) is identically satisfied; it only remains to determine , so that it also satisfies the first of Maxwell's equations , which now goes over to:
This four-dimensional vector equation represents the most simple form of Maxwell's theory for vacuum; with its integration, the following paragraph is concerned.
However, by the approach with given , the vector is not completely determined. Namely, if is such a vector, then we obtain in a more general vector, which also satisfies the condition , in case also means a vector of everywhere vanishing rotation. It is, as it simply follows from Stokes' theorem, always representable as gradient of a scalar local function , which itself is given by the line integral , extended from an arbitrary fixed to the previously considered spacetime point. From that it can be recognized, that one still can impose the constrain to the potential
Namely, this gives (for the otherwise completely undetermined function ) the condition:
which we can write (following d)) also as , and which can be integrated by the method of the following paragraph.
A similar reasoning as the one leading to (25a), we append to the first form of Gauss-Stokes' theorem, equation (24). Namely, if it is about a closed three-times extended space-section , as it is given as boundary of a four-dimensional space-section , then its boundary surface vanishes and thus also the right-hand side of (24), and we obtain
valid for any closed space-section . If we thus include instead of in Gauss' theorem (23), then the right-hand side of this equation becomes zero as well (here, was the normal with respect to space-element , denoted in the previous equation as ) and we have
Since this equation applies to any area , we conclude the identical relation
"the scalar divergence of the vector divergence of an arbitrary six-vector vanishes". This can easily be verified with respect to the coordinate expressions of the scalar and vector divergence (equation (16a) and (17a)).
If in particular means the six-vector of the field again, so that due to the first of Maxwell's equations , then (24b) expresses the continuity condition , about which it was spoken in § 5 under a).
d) The theorem of Green. We use a symbol, already introduced by Cauchy and again used by Poincaré, which has to be applied to a scalar function :
This extends the ordinary Laplacian differential expression to four dimensions and thus may be denoted as Laplacian expression again. Its geometrical -invariant nature directly follows form the representation .
If and V are now two scalar local functions of the four variables xyzl, then we have by
a four-vector of special construction. Its scalar divergence, which one can think of as formed by differentiation with respect to coordinates xyzl, then becomes:
namely, the two scalar products are mutually canceled. Thus if we include this special four-vector into the theorem of Gauss (23), then it is given
i.e, the exact analogue to the ordinary theorem of Green. It is related to an arbitrary world-section and its three-dimensional boundary . Steadiness of the appearing functions and their first derivations is presupposed as in the other theorems of this paragraph. If it is violated in one world-point, then one would have to exclude it from the integration by a three-dimensional boundary space , like in the ordinary case, and to supplement the integral over of the right-hand side of (27).
This is especially then the case, when is set equal to the four-dimensional analogue of the Newtonian potential :
corresponding to the circumstance, that in four dimensions the mathematical analogue to the Newtonian force would be decreasing by the cube of distance, instead of the square. Here, means the four-dimensional distance of the fixed world-point ("up-point") with respect to the variable integration point xyzl. The up-point my lie in the integration area and thus may be surrounded by an infinitely small spherical space (radius ). If we calculate for it the right-hand side of (27), then it becomes:
Here, means the value of at the up-point (), if the easily verified theorem is employed, according to which the three-dimensional boundary of a four-dimensional sphere of radius 1 is equal to , thus the one of radius is equal to . From (27) it thus follows
On the other hand, it is given from (27) with
If the integration area is extended over the whole infinite space , then we can choose as infinitely great sphere (radius ). To this it applies, similarly as above:
where is the average of on the infinitely distant sphere, and because of (27c)
If both is included in (27b), then it is given
As is vanishing against , it thus becomes
By that, we have to calculate for an arbitrary world-point except a constant, when in the whole area of real xyzl is given.
To that, however, a remark has to be made concerning the reality relations. As always, we have implicitly presupposed as real the coordinates as well as , and assumed for example, that is only vanishing at one point . This is not the case anymore if it is considered that , it is rather the case that becomes zero in the real world-coordinates on a three-times extended cone. Furthermore, with respect to the actually important tasks, is not given for real, but for negative-imaginary values of , namely in the reference system of xyzl, for all times preceding the time coordinate of the origin. Thus one would have (to be able to apply our formulas) to imagine the given values of the negative-imaginary axis of a complex ()-plane (see Fig. 3) as analytically extended with respect to the real axis of that plane, and to extend the integration over these real values of , i.e. over the corresponding values of , in which case only vanishes for , when simultaneously . Instead, we will proceed more easily, by deforming the integration path as in Fig. 3 into a slope surrounding the negative-imaginary axis; the integration in (27d) is then to be understood, so that it is to be led with respect to x y z over all real values, with respect to over this slope, and (27d) represents the value of at time , when for all earlier moments the value of is given. The four-dimensional method proves to be equally fruitful also for these and similar integration tasks, and it allows to solve them quite similar to the calculation of the potential of given masses in ordinary potential theory.
§ 7. Determination of the four-potential and the electrodynamic force. 
The differential equation of the four-potential, denoted by us as the most simple formulation of Maxwell's theory, reads:
For one of the four right-angled components of we thus have by (17a) and (21b):
for which we can write more easily, by constraint (25c):
Thus we have to solve the following problem of four-dimensional potential theory: We seek a solution of equation for an arbitrary spacetime-point , when the four-density , i.e. the charge and velocity of the considered system, is given for all earlier moments . The solution includes equation (27d) with the slope-path denoted in Fig. 3.
If one includes here for any of the components of , considers equation (28) and suppresses the constant irrelevant for our potential, then it is given
Herglotz. Factually, this representation of course cannot be distinguished from the older formulas, as long as one remains in the original and and accidentally employed reference system of xyzl.This most natural representation of electrodynamic potential in the sense of relativity theory, stems from
The integration with respect to can always carried out in (29) as well as in all analogous later formulas by Cauchy's residue theorem. Namely, within the slope of Fig. 3 lies the place where of first order vanishes, thus upon which the integration can be drawn together, namely at the place (see (27a)):
On the other hand, the principally equally-valid place lies upon the positive-imaginary axis of Fig. 3 and gives no contribution to our slope integration.
Based on the world-line of a certain charge element (see Fig. 4) we denote the point of the world-line, which is cut by a cone constructed at point , with Minkowski as light-point of . Its coordinates are unequivocally determined when the charge element never moves at superluminal velocity, and the fourth coordinate can be determined, as previously shown, by equation . As it is known, it says that a light signal emanating from world-point , reaches world-point (i.e. it reaches the space-point at time ).
Thus, if we carry out the integration with respect to by means of residue-construction, thus the emerging formulas will be related to the light-point of . For example, in this way the well-known formula of retarded potential directly emerge from (29). We only show this for the case of a point-like charge (of a sufficiently distant up-point).
In this case, one can see in (29) as constant during the integration with respect to x y z, and evaluate this integration. However, to avoid from the beginning the introduction of the arbitrary reference system xyzl, we rather use a natural reference system oriented with respect to the world-line of the point charge. Let (see Fig. 4) be the element of normal space of the world-line, the curve element of the world line. This is connected with Minkowski's proper time , so that
Now one has:
The first of these formulas directly follows from the fact, that the length element and the three-dimensional space-element are mutually normal. In the second formula, as well as denote a four vector directed with respect to the world-line of the charge at the considered place. It only remains to prove, that the vectors on the right-hand and left-hand side of this formula are mutually equal as regards their magnitude. With respect to (29b), , thus the magnitude of the right-hand side in question is equal to . On the left-hand side, one thinks as decomposed into components with respect to the world-line and perpendicularly to it. The latter ones vanish, the first one becomes equal to by equation (1) part I, where is the "rest-density", i.e. the density of charge viewed by a co-moving observer. Accordingly,becomes equal to the total charge. For the magnitude of the left-hand side of (29c), one also has:
If one substitutes from (29c) into (29), it follows:
the integration with respect to the new variable is, quite equal as the one by in Fig. 3, to be extended on an arbitrary complex, clockwise rotation around the light-point , and when calculated by Cauchy's theorem gives:
means the four-vector from the up-point with respect to the corresponding light-point of the charge, the velocity vector of the charge at the light-point defined in (29c), and its scalar product in the sense of § 3 A. Equation (29d) represents the invariant notation (in the sense of relativity theory) of the point-potential law (Liénard-Wiechert); we return to this in the following paragraphs again.
The field of an arbitrarily moving charge at up-point , can be now obtained by formula (21b)
, for example
If one would like to apply this differentiation in the case of a point-charge upon the calculated formula (29d), then one would be led to complicated considerations, which stem from the fact, that with a variation of also a variation of the light-points is connected. It is much simpler to resort to the original formula (29) and to make the passage to the point charge only at the end. From (29) it is given
and somewhat more general for :
We immediately pass to the specific electrodynamic force , by imagining a charge distribution of four-density in the surrounding of the up-point , then their -component is specified by equation (11) as ; for that, one obtains according to the last formula by using of vector explained in (29e), which at first is not yet related with the light-point:
and thus generally:
If one immediately goes over to a point charge again, by means of equations (29c), then its specific force action upon distribution is given by:
If the distribution is also point-like of total charge , then one is able to form the total force exerted by on . This shall be calculated as co-moving force in the sense of in equation (15). Thus, one shall multiply with the space element normal to the world-line of , and shall form . With respect to the second line of (29c) it is given, when means the velocity vector of :
Also here, the integration means a rotation of the complex variable around the light-point of ;it can immediately carried out by residue-construction, where now, since the denominator of second order in vanishes, the development of numerator and denominator is to be taken up to terms of second order. The obvious calculation is neglected at this place and concerning its result we refer to equation (37) of the next paragraph, where it is derived in a probably more illustrative but essentially less simple way than at this place. Compared with the somewhat composed form of equation (37), the integral representation contained in equation (30b) is in any case remarkable due to its particular clarity.
§ 8. The cyclic or hyperbolic motion and the electrodynamic elementary laws. 
As the most simple example of accelerated motion we consider the interesting case of "hyperbolic motion" treated recently by M. Born. It represents itself (when one again neglects the imaginary character of the time coordinate in terms of expression and drawing) as "cyclic motion", where the reason for its simplicity lies. We namely investigate this motion under the point of view already indicated by Minkowski, that any accelerated motion can always be approximated by that "uniformly accelerated" motion, and from that were arrive at an illustrative derivation of the electrodynamic elementary laws.
The electrical system shall be moving, so that for any of its charge elements it applies:
At constant and variable these equations give the world-line of the charge element; at constant and variable they determine the "rest-form" of charge,i.e. the simultaneous locations of their elements observed by a co-moving observer. Fig. 5a represents the relations in the -plane with and imagined as real: the world-lines are circles , the rest-form is projected into the variable radius . Fig. 5b shows, as to how the things are with respect to the imaginary constitution of . If one draws and as real coordinates, and puts , where is a real angel, then the world-lines become equally sided hyperbolas and the rest-form is given by . The asymptotes under 45° are corresponding to a motion with speed of light , which is approximated by hyperbolic motion for .
By the cyclic nature of our problem, the four-dimensional polar coordinates are given instead of the ordinary coordinates xyzl, whose character is mixed of space and time. If we call the corresponding coordinates of the up-point , then we evidently can choose . This means in the way of expression of Fig. 5a, that we can count the coordinate of the single charge elements starting by the radius vector extending through the up-point, which becomes the -axis by that. In the way of expression of Fig. 5b we would have to say, that instead of axes and , we can introduce new "mutually normal"axes and , whose first one is going through and whose last one forms (with the hyperbolic asymptotes) the same angle as (harmonic location of axes against both asymptotes). Also related to these axes, the world-lines are equally sided hyperbolas and are (non-euclidean) perpendicular upon them. At the same time, for the up-point it is , thus also or . Thus when we would choose in Fig. 5a, then this means in real terms, that we introduce a new primed instead of , which is relatively moving with respect to the original one, and which we (starting form the other one) define by equation (31) of our polar coordinates . The introduction of the primed axes is, however, excluding superluminal velocities, only possible when the up-point lies in one of the two space-like quadrants of Fig. 5b (see the note in part I, p. 752), i.e. when in the original coordinates applies, what we want to presuppose. In other cases, i.e. when the up-point lies in one of the time-like quadrants, one only needs to exchange the axes and , without additionally changing something essential.
Also the vectors and are decomposed by us into the components with respect to coordinates , where the four-vector is drawn in the successive locations of the charge elements, the four-vector is drawn in the up-point.
Evidently it is:
Vector namely is directed into the direction of the world-line, thus in the direction of increasing ; as well as was the fourth component in the -system (see equation (1), = charge density in -space), due to the vector character of , the fourth component in the system are equal to ( = charge density in the co-moving -space = "rest density" = , see equation (1a) and the explanations to equation (29c) of the previous paragraph). Here, is, according to Gauss' theorem, constant along any world-line (independent of ), it is possibly variable from world-line to world-line. Due to the vector summation immediately carried out, we also will need the components and with respect to the axes oriented by of Fig. 5a (the axes , of Fig. 5b). For any place of the world line:
For the calculation of we use equation (29) and substitute (for the integration variables there) . The slope surrounding the imaginary axis in Fig. 3, is corresponding to an integration in over a corresponding slope, upon which goes back from over zero to , and which clockwise envelopes (as earlier) the light-point belonging to any world-line. The passage to the new integration variables happens according to the scheme of ordinary polar coordinates:
with the difference, that the integration with respect to (similar to ) is extended over the mentioned slope.
Of the four components of , two are vanishing; namely due to
Of the two other components and it can be said at first, that they are independent of the -coordinate of the up-point, by which the cyclic nature of our problem is expressed. Actually, we could (at any location of the up-point) choose the direction drawn to it as zero-ray; in the expressions of (in the direction of the zero-ray) and of (perpendicular to it), doesn't occur at all. These components become constant for all points or any circle of Fig. 5a (any hyperbola of Fig. 5b), and vector has a constant magnitude and location against the variable radius . On the other hand, the components in a -system of general locationare of course independent of , namely due to the general formulas for vector transformation:
At the particular location of the -axis as in Fig. 5a (the -axis as in Fig. 5b), which is convenient for the following, it additionally becomes , due to .
The component can easily be executed. At first, it is because of (31a,b) and (29):
Since is independent (see above) from and , then the integral with respect to is simply:
since it is to be extended around point against the positive rotation sense (see Fig. 3). Thus by (32)
here, means the total charge of the system, obtained by integration of rest density over the rest-form of the system. On the other hand, by (31a,b) and (30):
The integral with respect to is given, quite similar to above, by residue-construction:
where for , the values (following from and corresponding to the light-point) have to be included:
For a far distant point, one can view and as approximately constant for all charge elements and execute the three-times integration, where the total charge of the system emerges. Thus one has for the limiting case:
In consequence of Fig. 6 one can easily convince himself, that direction and magnitude of vector are only expressed by the state of motion at light-point . For this purpose, we calculate the component of on the one hand with respect to direction perpendicular to the direction of motion at the light-point, and on the other hand with respect to the tangent in , which may be determined by the four-vector ; here it is to be noticed, that shall mean the angle belonging to (namely counted from as origin); thus:
in the direction :
in the direction
see part I, § 3 A. Our potential is thus represented in terms of direction and magnitude:
The special character of hyperbolic motion is vanished from (33b), this representation applies to any motion affecting our hyperbolic motion at the light-point, and was directly taken above (see (29d)) from our general representation (29) by the passage from one point-charge and by residue-construction. As to how the relations are in real terms, is alluded to in Fig. 5b: In the projection of the , -plane, the light-point (of a parallel drawn through with respect to a hyperbolic asymptote) is cut from the world-line, and it is the resultant from the two real components and parallel to the tangent at the light-point.
Skipping the calculation of the field, we have to from by (21b), where we of course choose the required rotations, over which the line integral of must be extended, in the sense of our polar coordinate system (see Fig. 5a right above). While the -components of vanish, since and is independent of and , it is given by (21):
The field, as well as , is only dependent of the coordinates of the up-point and thus constant on the circles of Fig. 5a (the hyperbolas of 5b). On the other hand, it is of course variable upon the line , since any such line is cut by other hyperbolas for variable in Fig. 5b. Thus, while the field is temporally changing in a spatially fixed point, it is constant in a co-moving point. Namely, it has at such a point the character of the electric field throughout. Namely, since the -direction has simultaneously the direction of the time axis in the co-moving ("primed") system, we have to write in consequence of (2):
For an observer resting in the -system, on the other hand, the field has, except the electric one, also an magnetic part.
For distant up-points, to which the electric system appears as point-like, it is given from (33) and (34)
as well as
From the definition of the light-point:
it follows, however, since r, y, z are constant during hyperbolic motion:
as well as
therefore, when the index at is suppressed:
These formulas are the most simple expressions of the field produced by any moving point charge. Namely, by putting the curvature circle (curvature hyperbola) at the world-line of the point-charge in the light-point belonging to our up-point, and by replacing the arbitrary motion by cyclic motion upon the curvature circle, the general case is reduced to our formulas (34b).
These formulas are the most simple expression of the field produced by any moving point charge. Namely, by putting the curvature circle (curvature hyperbola) at the world-line of the point-charge in the light-point belonging to our up-point, and by replacing the arbitrary motion by cyclic motion upon the curvature circle, the general case is reduced to our formulas (34b). The occurrence of the curvature radius , which is connected with the acceleration of motion at the light-point (see below), is characteristic. The difference between longitudinal and transverse acceleration is only a difference in the choice of reference frame.
At first, we want to circumscribe the formulas (34b), so that only four-vectors related to the light-point occur
is the vector of to , the velocity vector in (see equation (33a)) and the acceleration vector in . In the previous definition (equation (29b)) of by the world-line element , since in our cyclic coordinates applies, it evidently becomes , thus according to equations (31)
consequently is follows:
thus has in the light-point the direction of radius and the magnitude .
From these four vectors, the following magnitudes independent of reference frame, can be formed:
thus by which the formulas (34b) shall be expressed;here, we notice that the other possible invariants have the following simply values according to the above:
the latter is due to the perpendicular location of and . As regards the value of , it was given in equation (33a):
Similarly, according to Fig. 6 it is given as projection of upon
and by division of (35a) and (35b):
If we now consider the four-vector derived from the six-vector (see part I, equation (6a)):
Here, the three bracketed magnitudes or the components of with respect to the directions drawn through , are namely
If we thus add the fourth coordinate with respect to the direction (taken through and perpendicular to ) of the increasing , namely (see Fig. 6), then
The sum of is ; the unit vector in this direction represents itself by the unit vectors in the directions and , which are inclined against that by and respectively:
Therefore, is decomposed in two or three four-vectors of directions or , namely
We now pass to the specific electrodynamic force (see § 4), by imagining a charge at up-point , whose magnitude and motion is given by the four-vector . The components of with respect to the coordinate-directions are according to equation (11)
Thus we can vectorially write, when we understand under the mentioned unit vector in the -direction extended through
or with respect to (36a):
If we now include the value (36) for , then is decomposed into three portions, a location portions of direction , a velocity- and acceleration portions of direction and , namely by using of (35a) and (35c):
By that, the general invariant representation of the specific electrodynamic force is achieved. From it, we go over to the total force , by imagining the total charge as point-like in . We will calculate it as a "co-moving force" (in the sense of equation (15) for ), by considering those values of , which appear simultaneously to an observer co-moving with , i.e. integrating over a space perpendicular to the world-line of . On the other hand, when integrating over (as remarked in §4) a result depending on the reference system would be given. Consequently, since has the same meaning as in equation (29c), it is thus given from this equation
and from (36c) we obtain the following three portions of the total electrodynamic force:
As above in consequence of (33a), one can notice that the special character of hyperbolic motion is vanished from these formulas (hyperbolic motion only served us to conveniently approximate the motion of at the light-point), and more generally that one obtains the same formulas, when is calculated for a quite arbitrary motion of . Indeed, the equations (37) are identical with the result of residue-construction in equation (30b), about which it was spoken on p. 670.
The equations (37) are of course in agreement with the geometric rule given by Minkowski in § V of "Space and Time", and differ from the expressions originally found by Schwarzschild only by supplementing the fourth "energetic component", which by the way is not unimportant for the following, and in the three remaining "dynamic" components only differs by a factor
, ( = velocity of ),
which stems from the fact, that in the course of forming the total force, Schwarzschild integrated over a space , while we integrated over a space .
§ 9. Remarks on the laws of Coulomb and Newton. 
A. Coulomb's law. Equations (37) are applied to the most simple case of electrostatics, i.e. two mutually resting point charges. In the sense of relativity theory, two charges are at rest whose world-lines are two parallel lines. In this case
After cancellation of the acceleration-portions, force in (38) is thus composed by a location portion and a velocity portion, which at first is related to a light-point, however, it simultaneously has the direction of an arbitrary point of the world-line of or due to the presupposed uniformity. We show, that this velocity portion supplements the location portion exactly to a vector which is directed to the point (simultaneous with ) upon the world-line of . There, simultaneity is evidently to be considered from a reference system moving with velocity , in our case the only reference system naturally defined, and again it will (in passing) constructed by an ordinary (euclidean) perpendicularity.
As already employed many times (see p. 676 and 679), the projection of upon is equal to , and the unit vector in the direction of is equal to , thus with respect to :
The nominator in (38) consequently becomes in terms of the meaning of drawn in Fig. 7:
If one applies the Pythagoras to the "right-angled" triangle , then it is additionally given with :
The nominator in (38) thus becomes equal to , so that we can write instead of (38):
This is the general invariant expression of Coulomb's law.
If we now introduce the special reference system , whose -axis forms with the angle , i.e. in which and are moving. Let the coordinates of be , and those of be as earlier. The three-dimensional vector shall be called be its length. The three-dimensional force vector is to be called (according to § 4) as the dynamic portion of the four-vector . It is of course not directed (in the sense of our arbitrary reference system) to the point simultaneous with , but to that space-point emerging from the spacetime-point by projection upon the -space. This dynamic portion namely becomes
its magnitude is:
Coulomb's law, one must rather consider the energetic portion and the form the magnitude of the four-vectorThus it is neither inversely proportional to the square of nor to that of . To maintain the simple argument of
To it, is imply applies
thus Coulomb's law in the sense, that the four-dimensional distance of both simultaneous world-points and is of importance. We emphasize this to strengthen the remark already given earlier (§4, p. 771), that the energetic component of force has in no way only a formal meaning. It is rather indispensable in our special case, to formulate Coulomb's law (in its simplicity for static conditions) also for moving charges and independently of the choice of a special reference system.
The energetic component of of course vanishes, when the reference system is particularly introduced as co-moving, so that both charges are at rest in it. Then , so that (39a) and (39b) become identical. Since in the general case (see Fig. 7), one can consider (39a) as a component of the complete vector sum (39b).
B. Newton's law. To this one I only have to make a literary remark. There are two proposals as to the solution of the urgent task, to adapt the law of gravitation to the principles of relativity theory, by Poincaré (1906) and by Minkowski (1908). Minkowski directly transfers the repulsion law of two electrons with sign-change upon the attraction of two ponderable masses; his proposal thus aims to replace by in equations (37), where and means the attracted and attracting rest-mass. We want to presuppose the motion of as uniform (acceleration evidently comes into play only secondarily, since an influence of has never been demonstrated even on gravitation). Then, Minkowski's proposal is simplified to the following expression of Newton's law , when we also include the inessential factor in
On the other hand, Poincaré raises himself the task, to form (in most general manner) that Lorentz invariant force law, which reduces itself for small velocities (neglecting and ) to Newton's law in the ordinary sense. Only in case both velocities (as assumed under A) are equal, the form of the relativistically extended law of gravitation is unequivocally determined; otherwise it remains undetermined in certain limits. Here, Poincaré decidedly operates with four-vectors (the introduction of six-vector, however, was reserved to Minkowski); they were represented by its components in an arbitrary xyzl-system. Namely, the following combination between our vectors (left) and Poincaré's components (right) applies:
with the abbreviations
Furthermore, it is to be noted that Poincaré has put , and also has taken for the attracting and attracted mass; to write his formulas in agreement with dimensions, one has to replace his velocity components by and his force components by . Consequently, Poincaré's expressions (11) p. 174 can be written in the first place:
The mentioned indetermination of the problems makes it possible, as Poincaré notes himself (9. 175), to replace the factor by , in which case the following expression is given instead of the preceding one:
There, A, B, C mean the invariance to be formed from the vectors , and are given (by Poincaré) by the second to the fourth of expressions (5) of p. 169, namely:
If one eventually replaces the mass (as measured in the arbitrary reference system) by the rest-mass , then it is given from (40a) or (40b):
The latter expression perfectly agrees with (40), the first one agrees up to the factor which differs from unity only by terms of second order in the velocity ratios . Thus we come to the result: The special Minkowskian formulation of Newton's laws is subsumed under Poincaré's formulation which is naturally undetermined up to a certain grade, when one sets the acceleration of the attracting mass equal to zero; neglecting terms of higher order, the latter is no more general than the first one.
The relation of Minkowski's or Poincaré's version to that of Newton can be explained best by a simple figure, which is different from Fig. 7 only by the fact, that the directions and of the world-line of and are not parallel now, but enclose the angle . This appears in Fig. 8 as an angle between (direction ) and (parallel to ). is the point simultaneous with in the sense of reference system moving with , is simultaneous with in the sense of its proper motion .
Now we construct the numerator of expressions (40), (40c) and (40d) as follows. It is by § 3 A
and is equal to the projection of upon . From the triangle , right-angled at (perspectively moved in the figure), however, it follows
Therefore by (40) and (41a), the mentioned numerator is equal to
since means the unit vector in the direction of , and the vectors and are composing themselves to vector . The denominator in (40), on the other hand, is equal to according to (38a), where means (as in Fig. 7) the vector and its sum. Consequently, it follows from (40a) with respect to (41) in agreement with Minkowski's proposal:
In Poincaré's proposal (40c), the factor
is to be added in the denominator and is thus given:
It's evident, that one remains in the space which was left open by Poincaré and by the invariance under Lorentz transformations, even when one sets:
in the latter case, the magnitude would be calculated in symmetrical way from the two distances between on the one hand, and the two simultaneity-points and on the other hand. Also in this symmetrical choice of the force law, the reaction principle wouldn't be satisfied, since the direction of force is determined in an unsymmetrical way by the attracting and attracted Newton's law is evidently inadmissible in relativity theory. According to it, the direction and magnitude of the Newtonian force would be given through a point (see Fig. 8), which is simultaneous with (in the sense of an arbitrary reference system) and thus physically undetermined. Practically, however, such a formulation might be on equal footing to the preceding one, since it only differs from them by terms of second order in the velocity ratios. Exactly because of this reason, one won't hesitate to leave the ordinary formulation of Newton's law, and to replace it with the preceding formulations which are relative-theoretically possible.mass. The permanence of this principle would rather require a momentum distributed in the surrounding of the center of attraction, as it would be known from electrodynamics, however, with the difference that its localization in the field would be unknown. On the other hand, the ordinary formulation of
(Received July 13, 1910.
- See part I, Ann. d. Phys. 32. p. 749. 1910, to which the numbering of the equations and paragraphs is supplemented.
- We throughout denote by the element of a line, surface, of a three- or four-dimensional space, independent as to whether, for example, denotes a curved or "plane" three-dimensional space.
- So that such a limit exists, must of course satisfy certain continuity conditions; that the limit is independent of the form of area , can be seen for example, when is divided into sufficiently small parallelepipeds. The corresponding remark applies to all following analogous passage of limits.
- H. Poincaré, Rendiconti Circolo Matematico di Palermo 21, 1906.
- In general, in space of dimensions, the boundary space of unit sphere becomes , thus in four or three dimensions
See for example Schoute, Mehrdimensionale Geometrie (Sammlung Schubert by Göschen) Nr. 95.
- In the passage to the negative-, not to the positive-imaginary axis, lies the preference of the waves progressing from its source, over the physical meaningless but mathematically equally-valid converging waves.
- This equation and the combination of scalar and vector potential to a "world vector" , is already contained in M. Born, Ann. d. Phys. 28. p. 571, 1909
- G. Herglotz, Göttinger Nachrichten 1904, Heft 6. This short note is especially interesting in the historical sense, because it is dated before relativity theory. Nevertheless, as it was also emphasized by Minkowski in conversation, the four-dimensional symmetry of electrodynamics is latently contained and mathematically applied.
- At the light-point itself , in its surrounding it is thus
with the meaning of explained in (29e). The integral in question thus becomes
- See for example M. Abraham, Theorie der Elektrizität II. 9. 13
- M. Born, Ann. d. Phys. 30. p. 1, 1909; corresponding to the previous point of view, only chapter II of this treatise is of relevance for us, whose results will be somewhat simplified by a more free usage of the four-dimensional views.
- See H. Minkowski, Space and Time § III and V.
- According to the definition of the light-point, it is and , therefore is an unspecified expressions, whose true value is given by according to § 3 A.
- One obtains, since is the area, or the sides of the rotation drawn in Fig. 5a:
This gives the expression (34), since is independent of .
- Space and Time § 5. As regards the formulation given in the "Fundamental equations" see note 2) on p. 686.
- In the paper cited on 9. 661, from the Rendiconti di Palermo 21. 1906
- By reversing the inadvertent sign of Poincaré.
- On the other hand, this expression (40c) exactly matches that form of Newton's law, given by Minkowski in the "Fundamental equations", in case one assumes the motion as acceleration-free also at this place. One can immediately recognize this, when one compares the geometric formulation equivalent with (40c) with the geometric rule (24) in the "Fundamental Equations".
- The last note in Minkowski's "Fundamental equations" is consequently to be understood, that only Poincaré's method, not the result, is essentially different.
- To explain this figure the following shall be remarked. Through four points, thus also through two lines of , there can always be laid a . All lines of Fig. 8 are therefore following the same three-dimensional space. Namely, the lines are lying in a plane, the triangles and as well as the parallelogram each in one of them, and among each other in a generally different plane. Since , and shall be normal to , then also the parallel to (drawn through ) is lying in the normal plane (laid through ) to ; since this normal plane cuts line only in the single point , then also the mentioned parallel goes through .
|This is a translation and has a separate copyright status from the original text. The license for the translation applies to this edition only.|