arxiv: v1 [math-ph] 19 Apr 2009

Transcription

1 arxiv: v1 [math-ph] 19 Apr 009 The relativisti mehanis in a nonholonomi setting: A unifie approah to partiles with non-zero mass an massless partiles. Olga Krupková an Jana Musilová Deember 008 Department of Algebra an Geometry, Faulty of Siene, Palaký University Tomkova 40, Olomou, Czeh Republi krupkova@inf.upol.z Faulty of Siene, Masaryk University, Kotlářská, Brno, Czeh Republi janam@physis.muni.z Abstrat A new approah to relativisti mehanis is propose, suitable to esribe ynamis of ifferent kins of relativisti partiles. Mathematially it is base on an appliation of the reent geometri theory of nonholonomi systems on fibre manifols. A setting base on a natural Lagrangian an a onstraint on four-veloity of a partile is propose, that allows a unifie approah to partiles with any positive/negative/zero square of mass. The orresponing equations of motion are obtaine an isusse. In partiular, new fores are foun ifferent from the usual Lorentz fore type term, arising ue to the nonholonomi onstraint. A possible meaning an relation with fores previously propose by Dike is isusse. In partiular, equations of motion of tahyons an of massless partiles are stuie an the orresponing ynamis are investigate. Keywors. Lagrangian, nonholonomi onstraint, reue Chetaev equations, onstraint fore, Lorentz fore, Dike fore, tahyons, partiles with zero mass. MS lassifiation. 70G45, 70G75, 37J60, 70F5 PACS numbers p, 0.40.Vh, 0.40.Yy, 45.0.Jj 1 Introution In this paper we are onerne with a mathematial moel leaing to a generalise setting of relativisti ynamis. As it is well-known, within the framework of the speial relativity theory, a point partile of a onstant rest mass m 0 > 0 moving in an eletromagneti fiel A, V on R 4 is usually esribe by the ation integral b L with the Lagrangian a 1.1 L = m 0 + e A v ev, 1

2 proviing motion equations 1. m0 v = e 1 v rot A e A t e grav, v with the Lorentz fore, FL, on the right-han sie. surprising that equations 1.3 m0 v = F More generally, it is known an rather are variational as they stan if an only if the fore on the right-han sie is a Lorentz-type fore, i.e., F = FL, for some funtions A, V on R 4 [19], see also [1]. 1 Mathematially this result means that Lorentz-type fore interations are the only amissible interations for a massive speial-relativisti partile, ompatible with a variational priniple for urves in R 3 parametrise by time t R. On the other han, there appeare hypotheses that also ifferent kins of interations shoul be possible: a signifiant preition of suh a non-lorentz-type fore is ue to Dike [5], however, a formula as well as exat arguments are missing up to now. Hene, a question arises on a proper general mathematial setting, proviing equations of motion for partiles in the Minkowski spae-time, an larifying amissible fores. A problem of this kin an be takle by tools of the moern alulus of variations. The above variational priniple is apparently too restritive: one shoul better onsier a variational priniple for one-imensional submanifols in R 4. However, there is another interesting possibility, within an even more general framework, propose an stuie in [16]: One an utilize a variational priniple for urves in the Minkowski spae-time R 4, g together with the relativisti onstraint on the fourveloity: from the mathematial point of view this is a nonholonomi onstraint. The onstraint efines a genuine evolution spae, Q, whih is a submanifol in R R 4 R 4 of oimension one. Then ynamis proee in Q an are governe by so-alle reue Chetaev equations [0, 13] that beome the esire equations of motion for the problem in question. In the above mentione paper [16] we applie the proeure iretly to onventional massive partiles, moving in an eletromagneti an salar fiel, an obtaine a generalise formula for the fore F overing also Dike-type interations. In this paper we show that ieas of this kin an be applie to stuy all kins of point partiles amitte by the speial relativity theory. We propose a unifie mathematial setting suitable not only for onventional partiles with a positive square of mass, but also for tahyons partiles with a negative square of mass, an partiles with zero mass, moving in an eletromagneti an salar fiel. The iea of [16] to takle this problem as a variational problem with a nonholonomi onstraint remains, however, the Lagrangian an the onstraint are appropriately moifie: the Lagrange funtion we propose is universal for all the kins of partiles not ontaining the partile s mass, however, partiles are istinguishe by the onstraint mass appears in the onstraint onition. In the next two setions of the present paper we explain our approah in general, in the rest we stuy in etail eah kin of the partiles separately. As the main result we obtain the orresponing equations of motion, an formulas for amissible fores. We isuss the meaning of the onstraint onition, an of the new fores ifferent from the usual Lorentz fore type term, arising ue to the nonholonomi onstraint, an fin among them a fore omplying with Dike s preitions. In partiular, we pay attention to equations of motion of tahyons an of massless partiles, an investigate the orresponing ynamis. In this ontext one shoul mention at least 1 Of ourse, in this general setting, the meaning of funtions A, V nee not be just a vetor an salar potential of an eletromagneti fiel. It inlues also e.g. fores of inertia.

3 two striking properties of massless partiles: First, it turns out that ynamis of these partiles are singular, not obeying the Newton s eterminism priniple, i.e. these partiles belong to mehanial systems with internal onstraints stuie in the Lagrangian ase by Dira. Seon, we foun out that, if massless partiles are amitte to move in a salar fiel, this fiel oes not influene on their ynamis. The last setion is evote to a summary of results of this paper, where also other interesting properties of massive an massless partiles, obtaine within our approah, are realle an isusse. Mathematial bakgroun From the point of view of mathematis, the main iea is to join variational approah, represente by the alulus of variations on fibre manifols see [9, 10] or [1] with nonholonomi geometri mehanis in jet bunles ue to [13], [14] for alternative approahes see e.g. [, 4, 6, 8, 18, 1, ] an others. Throughout the paper we shall use Einstein summation onvention. Summation over greek respetively, latin inies proees from 1 to 4 respetively, 1 to 3. First, let us reall a neessary mathematial bakgroun, aapte to our situation. Consier the manifol R 4 with anonial oorinates q σ, 1 σ 4, enowe with the Minkowski metri fiel.1 g = δ kl q k q l q 4 q 4. Curves in R 4 will be represente by their graphs, i.e. setions of the fibre manifol π : R R 4 R. If : s s is a urve in R 4 parametrise by a real parameter s R, then the orresponing setion is the mapping γ : R s γs = s, s = s, q σ s R R 4. We shall nee the manifol. J 1 π = R T R 4 = R R 4 R 4 the first jet prolongation of π, alle evolution spae. We shall onsier it with fibre oorinates s, q σ, q σ ; note that the ot oorinates are efine by.3 q σ J 1 γ = s qσ γ, for every setion γ of π. On J 1 π we have the so-alle ontat struture, loally generate by basi ontat 1-forms.4 ω σ = q σ q σ s, 1 σ 4. In what follows, we shall often onsier vetor fiels an 1-forms, efine on the Minkowski spae-time R 4 i.e., on the typial fibre of the fibration π, an all them ontravariant an ovariant four-vetor fiels, respetively. In fibre oorinates a ontravariant, respetively, ovariant vetor fiel reas.5 û = û ν q ν, respetively, φ = φ νq ν, where the omponents û ν an φ ν, 1 ν 4, are funtions on R 4, i.e. epen upon the oorinates q σ. Due to the struture of the evolution spae J 1 π being a prout of R an the tangent spae T R 4 = R 4 R 4, ontravariant four-vetor fiels are setions of the bunle T R 4 R 4, i.e., it hols q ν û = q ν an.6 q ν û = û ν q 1, q, q 3, q 4, 1 ν 4. 3

4 Covariant four-vetor fiels are setions of the otangent bunle T R 4 R 4. A Lagrangian is efine to be a ifferential one-form on the evolution spae J 1 π, horizontal with respet to the projetion onto the base R. In fibre oorinates, a Lagrangian is expresse by Λ = Ls, q σ, q σ s, an ation over an interval [a, b] R is a funtion b.7 S : Γπ γ J 1 γ Λ = L J 1 γ s R, [a,b] a where Γπ enotes the set of setions of π with omains of efinition ontaining the interval [a, b], an J 1 γ is the first jet prolongation of γ, i.e. a setion of J 1 π efine by J 1 γs = s, s, /s = s, q σ s, q σ s. It is important to notie the geometri meaning of the Euler Lagrange equations of a Lagrangian efine on J 1 π. Extremals of Λ are integral setions of a istribution on the evolution spae J 1 π by a istribution we mean a subbunle of the tangent bunle to the manifol J 1 π. This istribution, alle ynamial istribution, arises as the harateristi istribution of the -form.8 α = A σ ω σ s + B σν ω σ q ν, where.9 A σ = L q σ L s q σ L q ν q σ qν, B σν = L q σ q ν. In this notation, Euler Lagrange equations of Λ rea.10 A σ + B σν q ν = 0, 1 σ 4, or, in intrinsi form, J 1 γ i ξ α = 0 for every vetor fiel ξ on J 1 π. The rank of the ynamial istribution may be greater than one. It is equal to one if an only if the matrix B σν is regular, i.e. if the Lagrangian is regular; in this ase trajetories in the evolution spae are integral urves of a single vetor fiel. For more etails on the struture of solutions of Euler Lagrange equations an orresponing integration methos for both regular an non-regular Lagrangians we refer to [1] an [17]. In this paper we shall onsier Lagrangians where the Lagrange funtion L oes not epen expliitly upon the parameter s, as relevant from the physial point of view. In this ase we have.11 L J 1 γs = L s, = Lq σ s, q σ s = L û s = L ûs, s hene, we an onsier a Lagrange funtion efine on R T R 4, of the form L = Lû. A nonholonomi onstraint is a submanifol Q of J 1 π, fibre over R R 4. Whenever onvenient, we enote by ι the anonial embeing of Q into J 1 π. We shall onsier a nonholonomi onstraint of oimension 1. Suh a onstraint is given by one first-orer partial ifferential equation.1 fs, q σ, q σ = 0, suh that.13 rank f/ q σ = 1. By the rank onition, we may assume that the onstraint is efine by equation in normal form.14 q 4 = hs, q σ, q l, 4

5 where 1 σ 4, an 1 l 3 i.e. that f q 4 h. The given fibre oorinates inue on the submanifol Q aapte oorinates s, q 1, q, q 3, q 4, q 1, q, q 3. A onstraint in the evolution spae J 1 π gives rise to a onstraint struture on J 1 π, generate by the 1-form.15 ϕ = fs + f q σ ωσ. As shown in [13, 18], ue to the onstraint struture, the onstraint Q is naturally enowe with a istribution subbunle of the tangent bunle to Q alle anonial istribution, annihilate by the one-form.16 ϕ ι ϕ = h q l ωl + q 4 h s on the manifol Q. The anonial istribution represents amissible iretions in the evolution spae a nonholonomi priniple of virtual isplaements. There are two moels for esribing a onstraine system, both will be useful for our further onsierations. The first one is more traitional, esribing the onstraine system as a eformation of the original unonstraine system ue to a onstraint fore, naturally generate by the onstraint. The eforme system is thus a new mehanial system efine on J 1 π. It is represente by the -form α C = α Φ, where α represents the original mehanial system an.17 Φ = λ ϕ s = λ f q σ ωσ s is the onstraint fore, alle Chetaev fore. Constraine trajetories are then integral urves of the harateristi istribution of the -form α C, passing in the manifol Q. Equations for these urves, alle Chetaev equations [3], epen upon one Lagrange multiplier λ to be etermine, an rea.18 L q σ L s q σ = λ f q σ, 1 σ 4. The seon moel is more geometrial. It represents a non-holonomi mehanial system as an objet efine on the onstraint Q. Hene, the manifol Q has the meaning of the evolution spae for the onstraine system. Conretely, the onstraine system is represente by the lass of - forms [ᾱ] = ι α + [ ϕ] on Q, where [ ϕ] is the ieal generate by the onstraint form ϕ. Now, amissible trajetories are integral setions of the anonial istribution, an equations of motion, alle Chetaev reue equations are equations for amissible trajetories that are integral urves of the harateristi istribution of ᾱ. Keeping notations use so far, they take the form.19 Āl + B ls q s = 0, 1 l 3, where.0 Āl = h A l + A 4 q l + h h B l4 + B 44 q l t + h q σ qσ ι,.1 B h ls = B ls + B l4 q s + B h h 44 q l q s ι. It is important to stress that if the onstraint is non-integrable an this will be our ase the non-holonomi equations of motion o not ome from the onstraine Lagrangian L = L ι = Ls, q σ, q l, h. 5

6 3 A geometri setting for SRT partile ynamis In this paper we propose a moel for partile ynamis on the Minkowski spae, suitable for a unifie treatment of all kins of point partiles lassial - with positive square of mass, tahyons - with negative square of mass, an partiles with zero rest mass. This moel treats a partile as a Lagrangian system on a fibre manifol π : R R 4 R where R 4 is enowe with the Minkowski metri, with a non-holonomi onstraint in the evolution spae J 1 π = R T R 4, an is base on the following two axioms: 1 The Lagrange funtion is universal for all partiles, an is polynomial in the four-veloity 3.1 Lû = 1 gû, û + φû ψ = 1 g σνû σ û ν + φ σ û σ ψ = 1 q 4 q p + q σ φ σ ψ, where φ σ, 1 σ 4, an ψ are funtions on the spae-time R 4. Here universality means that the Lagrangian oes not ontain the partile mass. Note that oeffiients in the Lagrangian have the physial meaning of amissibe fiels: behin the, 0- tensor fiel g, the Lagrangian ontains a ovariant four-vetor fiel φ an a salar fiel ψ. A partile is etermine by a non-holonomi onstraint onition on the fourveloity : 3. gû, û = M, where M = Mq 1, q, q 3, q 4 is a funtion on the spae-time R 4. The value of the funtion M may vary from point to point; at a point in R 4 it may be positive, negative or zero. Note that if we assume M be ontinuous then the following property hols: If Mx 0 at a point x R 4 then there is an open neighbourhoo U aroun x suh that M 0 on U. This means that if M is positive negative at a point, it is positive negative in a ertain neighbourhoo of that point. Sine gû, û = q 4 3 qp û, onition 3. efines a nonholonomi onstraint 3.3 Q : q 4 q p = M in J 1 π = R T R 4 if the rank onition.13 is satisfie, i.e., if 3.4 rank q 1, q, q 3, q 4 = 1. Hene we have to exlue from R T R 4 the points where û = 0 the zero setion in T R 4. However, we nee more, namely, the onstraint Q be expressible in normal form 3.5 q 4 = hs, q σ, q 1, q, q 3. This is the ase if 3.6 q 4 0. Exluing the hyperplane H 0 of points in J 1 π where q 4 = 0 we get a isonnete open submanifol of the evolution spae J 1 π, onsisting from two onnete omponents, J 1 π + an J 1 π, of points 6

7 where q 4 > 0 an q 4 < 0, respetively. On the omponents we have the inue global fibre oorinates s, q σ, q σ, an the onstraint onition 3. etermines a onstraint submanifol Q J 1 π\h 0 = Q + Q, efine by the following equations in normal form: 3.7 Q + J 1 π + : q 4 = M + q p, 3.8 Q J 1 π : q 4 = M + q p. In what follows we shall hoose for the evolution spae of the onstraine system the manifol Q +. Lagrangian 3.1 gives rise to four Euler Lagrange equations 3.9 L q σ L s q σ = 0 for graphs of urves s = q σ s in the spae-time R 4, having the following form: q l + q σ φσ q l φ l q σ ψ q l = 0, 3.10 q 4 + q σ φσ q 4 φ 4 q σ ψ q 4 = 0. Equations we are looking for onern motions proeeing in the evolution spae Q +. Substituting A l = q σ φσ q l φ l q σ ψ q l, B lj = δ lj, 1 l, j 3, 3.11 A 4 = q σ φσ q 4 φ 4 q σ ψ q 4, B 4l = B l4 = 0, B 44 = 1, an 3.1 h = M + q p. into.0 an.1 we obtain 3.13 Ā l = q i φi q l φ l q i ψ q l + q i φi q 4 φ 4 q i ψ q 4 + M + B lj = δ lj + φ4 q p q l φ l q 4. q l q j M + 3 qp. 7 q l M + 3 qp

8 The esire equations are three equations for setions of the fibre manifol Q + over R, i.e., for urves s = q σ s passing in the spae-time R 4 an satisfying the onstraint onition 3.7, as follows: 3.14 B lj q j = Āl, 1 l 3. Now, we have to istinguish two ases: 3.1 M = 0 at a point x Q + If Mx = 0 then the matrix B lj is singular at x, hene motion equations 3.14 annot be put into the normal form; expliitly they rea q l q j δ lj 3 q j = q i φi qp q l φ l q l q i φi q i + 3 qp q 4 φ 4 q i φ4 q p q l φ l q 4 ψ q l ψ q 4 q l 3 qp, where 1 l 3. Extremals of the onstraine problem are urves γs = s, q σ s satisfying the above motion equations an the equation of the onstraint Q q 4 = 3 q p. The ynamis proee in the evolution spae Q +. We shall eal with these equations in more etail later when we shall stuy massless partiles. 3. M 0 at a point x Q + If Mx 0 then the matrix B lj is regular at x, an, ue to ontinuity, it is regular in a neighbourhoo U aroun x. Hene, on U, equations 3.14 an be put into the normal form 3.17 q j = F j. The inverse matrix B 1 = B jl takes the form M + q 1 q 1 q q 1 q B 1 = 1 M q 1 q M + q q q 3, q 1 q 3 q q 3 M + q 3 hene we obtain 3.19 F j = A j = B jl Ā l = 1 M M δ jl + q j q l Āl = δ jl q i φi q l φ l q i + δ jl φ4 M + q p q l φ l q 4 1 M jl ψ M δ q l + qj q l ψ q l + qj M + q p ψ q 4. 8

9 Proposition 3.1. Equations of motion: M 0, four-imensional observer. Let g be the Minkowski metri, φ a ovariant vetor fiel, an ψ a funtion on R 4. Extremals of a Lagrangian system efine by the Lagrangian 3.0 L = 1 gû, û + φû ψ = 1 on R T R 4, an subjet to the onstraint 3.1 gû, û = M, û 4 > 0, M 0, q 4 q p + q σ φ σ ψ are urves γs = s, q σ s, satisfying the following system of mixe seon an first orer ifferential equations: q j = q l φl q j φ j q l + φ4 M + q p q j φ j q 4 3. ψ q j qj M q l ψ q l + M + q p ψ q 4, 1 j 3 equations of motion an 3.3 q 4 = M + q p equation of the onstraint. The ynamis proee in the evolution spae Q + R T R 4 efine by the above onstraint equation. Choosing appropriate oorinates, we an express the above equations in a form aapte to a three-imensional observer. Let us enote 3.4 q 4 = t time oorinate, an onsier on J 1 π\h 0 R R 4 R 4 new oorinates s, q l, t, v l, q 4, efine by the transformation rule 3.5 q l = 1 vl q 4, 1 l 3. Note that s, q l, t, v l, q 4 are global oorinates, however, no longer fibre oorinates for the original fibration π. The meaning of the new oorinates is the following: t, q l, v l are oorinates on R R 3 R 3, aapte to the fibration R R 3 R of the manifol R 4, the fibre of our fibre manifol π : R R 4 R; note that q 1, q, q 3 are artesian oorinates on R 3. In vetor notations r = q 1, q, q 3, an v = v 1, v, v 3 is the usual veloity. In these oorinates the onstraint Q is given by equation 3.6 q4 = M. 9

10 Sine we assume M 0, we obtain the evolution spae Q + expresse by equation 3.7 q 4 M = 3, 3 where v = vp = qp / is the usual three-imensional spee. We an also see that along every onstraine path, 3.8 s = 1 M q4 =. Now, equations of motion 3. an be transforme eliminating the parameter s as follows: First, we have for j = 1,, q j = s qj = 1 s vj q 4 = 1 M s vj q 4 M = v j. Next, if we enote 3.30 φ = φ σ q σ = φ l q l + φ 4 = e A r ev, i.e φ l l=1,,3 = e A, φ 4 = e V, where e is the partile harge, we get from 3.19 the fore 3.3 F = e M 1 v rot A 1 A t gra V v ψ v gra ψ. Proposition 3.. Equations of motion: M = 0, three-imensional observer. Let φ 3.30 be a one-form ovariant four-vetor fiel, an ψ a funtion on the Minkowski spae-time R 4. Consier on R T R 4 \H 0 aapte oorinates s, q l, t, v l, q 4 efine by 3.4 an 3.5. Extremals of a Lagrangian system efine by the Lagrangian Λ = Ls, q L = 1 an subjet to the onstraint 3.34 q 4 M =, e A v ev q 4 ψ, are urves s = ts, q l ts in R 4, satisfying the following system of ifferential equations: M v = e v rot A 1 A t gra V v ψ gra ψ + M v equations of motion an 3.36 M s = equation of the onstraint. The ynamis proee in the evolution spae Q + R T R 4 efine by equation

11 We shall see later that equation of the onstraint 3.36 has the meaning of mass equation, or, if multiplie by, of energy equation. In what follows, we shall enote by F L the Lorentz fore, 3.37 F 1 L = e v rot A 1 A t gra V. 3.3 The onstraint fore Chetaev equations of motion ontain the onstraint fore Φ. It is efine on J 1 π = R T R 4 an epens upon one Lagrange multiplier λ to be etermine. For 3.38 f = q 4 M + q p it reas 3.39 Φ = l=1 λ q l M + q l s + λ q 4 s. 3 qp Chetaev equations take the form 3.40 q l + q σ φσ q l φ l q σ ψ q l = q 4 + q σ φσ q 4 φ 4 q σ ψ q 4 = λ. λ q l M +, 3 qp Multiplying the ν-th of the above 4 equations by q ν an summing over ν = 1,, 3, 4, we obtain 3.41 q 4 q 4 l=1 q l q l + q σ q ν φσ q ν φ ν q σ q ν ψ q ν = λ M M +. 3 qp Solutions s = q σ s of Chetaev equations satisfy the equation of the onstraint, an onsequently, also its erivative, 3.4 q 4 = 1 s M + 3 l=1 ql q l M +, an then q 4 q 4 = 3 qp 1 s M + q l q l. l=1 Hene, the first term in brakets on the left-han sie of equation 3.41 is s 1 M, the seon term is ientially zero beause of skewsymmetry of the expression in brakets, an the thir term equals ψ/s. In this way, along solutions of Chetaev equations passing in the evolution spae Q + we have 3.43 s 3.44 λ = 1 M ψ = λ M M +. 3 qp If M 0, we an ompute the multiplier λ: M + 3 qp M s 1 M ψ. 11

12 Writing Φ = ˆΦ σ q σ s an substituting the obtaine expression for λ into formula 3.39 for Φ, we get omponents of the onstraint fore along solutions of the onstraint equations as follows: 3.45 ˆΦ l = ql M ˆΦ 4 = 1 s M ψ = ql M M + 3 qp M in oorinates s, q σ, q σ, an 3.46 Φ l = ˆΦ l = Φ 4 = ˆΦ 4 = vl v v ψ 1 1 s M ψ M, 1 ψ M ψ 1 s M, in oorinates s, q l, t, v l, q 4. For the sake of simpliity we introue the following vetor notation, that takes into aount the formula for the onstraint fore an the relation between equations 3. an 3.35 note that they are onnete via a multiplier 3.47 F C = M Φ v l 1 l 3 = ψ 1 M M, an all F C the inue onstraint fore. Note that F C is efine on the evolution spae Q +, an vanishes whenever v = 0 or 3.48 ψ 1 M = onstant of the motion. The onstraint fore appears in the motion equations 3.35: Proposition 3.3. If M 0 then equations of motion 3.35 an be expresse as follows: v M 3.49 v = F L + F C M gra ψ 1 M where F L is the Lorentz fore an F C is the inue onstraint fore. M, In the rest of the paper we shall be intereste in the ase M = onst. We shall isuss separately the ases M > 0, M < 0, an M = 0. Note for onstant M the above equation takes the form 3.50 v M = F L + F C gra ψ. M 4 Partiles with positive square of mass Let us suppose M > 0 an onstant on R 4. We set 4.1 M = m 0. As above, we onsier either fibre oorinates s, q σ, q σ, 1 σ 4, or aapte oorinates s, q l, t, v l, q 4, 1 l 3, on R T R 4 \H 0. 1

13 w m 0 x m 0 y Figure 1: Projetion of the evolution spae for M > The evolution spae The onstraint Q R T R 4 \H 0 is given by equation 4. q 4 q p = m 0, resp. q 4 = m 0. The latter implies v > 0, i.e. 4.3 v <. Thus, the spee of a relativisti partile with M > 0 is lower than the light spee. For the evolution spae Q + we then have 4.4 q 4 = m 0, where m 0 > 0. We an see that the onstant m 0 has the meaning of the rest mass of a partile. We also enote, as usual, mass an kineti energy by 4.5 m = m 0, E = m. We an visualise the onstraint Q an the evolution spae Q + in the veloity spae as follows: For illustration we supress one imension by onsiering q 3 = 0 an enote q 1, q, q 4 = x, y, w. Then Q is given by 4.6 w m 0 x m y 0 m = 1 0 Fig

14 4. Four-momentum Sine R 4 is equippe with the Minkowski metri fiel g whih is a regular symmetri, 0-tensor fiel on R 4, every ontravariant four-vetor fiel û on R 4 is anonially assoiate with a ovariant four-vetor fiel a 1-form gû, on R 4. We put 4.7 p = gû, an all p the four-momentum assoiate with û. In fibre oorinates, where the setion û has omponents û σ = q σ û, 1 σ 4, we have p = ˆp σ q σ, where 4.8 ˆp σ = g σν u ν = g σν q σ û, i.e. ˆp σ 1 σ 4 = q 1, q, q 3, q 4 û. For simpliity of notations, we shall enote omponents of p assoiate with û simply by 4.9 ˆp σ 1 σ 4 = q 1, q, q 3, q 4, where the q s are omponents of û. In aapte oorinates s, q l, t, v l, q 4 we similarly have p = p l q l + p 4, 4.10 p l = vl q 4, p 4 = q 4. Note that, in the latter ase, the orresponing ontravariant omponents are 4.11 p l = vl q 4, p4 = q 4. We enote p = p l 1 l 3, an write v q4 4.1 p σ 1 σ 4 =, q4, p σ v q4 1 σ 4 =, q4. With help of four-momentum, equation of the onstraint Q, i.e. gû, û = m 0, reas 4.13 ˆp σ ˆp σ = m 0, or p l p l + 1 p 4p 4 = m 0. On the evolution spae Q +, where 4.14 q 4 = m 0 E = m = 1, v omponents of the four-momentum take the form 4.15 ˆp σ 1 σ 4 = m v, E/, ˆp σ 1 σ 4 = m v, E/, Finally, with help of 4.14 we an ompute the energy; we obtain the familiar formula 4.16 E = m 0 p l p l = m 0 + p, where p = p p = 3 l=1 pl enotes the usual square of length of the three-vetor p. 14

15 4.3 Equations of motion Rewriting motion equations for the partiular ase M = m 0 = onst., we obtain: Proposition 4.1. Equations of motion: usual partiles, four-imensional observer. Let g be the Minkowski metri, φ a ovariant vetor fiel, an ψ a funtion on R 4. Extremals of a Lagrangian system efine by the Lagrangian Λ = Ls, 4.17 L = 1 gû, û + φû ψ = 1 on R T R 4, an subjet to the onstraint 4.18 q 4 = m 0 + q l, l=1 q 4 q p + q σ φ σ ψ, are urves γs = s, q σ s, satisfying the system of mixe seon an first orer ifferential equations as follows: 3. where M = m 0 equations of motion, an q 4 = E equation of the onstraint, energy equation. Proposition 4.. Equations of motion: usual partiles, three-imensional observer. Let φ 3.30 be a one-form ovariant four-vetor fiel, an ψ a funtion on the Minkowski spaetime R 4. Consier on R T R 4 \H 0 aapte oorinates s, q l, t, v l, q 4 efine by 3.4 an 3.5. Extremals of a Lagrangian system efine by the Lagrangian Λ = Ls, 4.19 L = 1 an subjet to the onstraint 4.0 q 4 = m 0, 1 q 4 + e A v q 4 V ψ, are urves s = ts, q l ts in R 4, satisfying the following system of ifferential equations: m0 v 4.1 = F L + F C 1 1 m v 0 gra ψ equations of motion, together with the following equation of the onstraint mass equation, resp. energy equation: 4. = m, resp. s s = E. Note that the onstraint fore along solutions of the equations of motion takes the form 4.3 F C = 1 m 0 v ψ. Hene, along solutions, F C = 0 if v = 0 or ψ is a onstant of the motion. 15

16 4.4 Variational priniple for time-epenent urves Taking into aount equations of motion 4.1, we an ask if they are equations for extremals of an unonstraine variational priniple for urves t q 1 t, q t, q 3 t in R 3. This means, we ask about a Lagrangian 1-form Lt, q l, v l on R R 3 suh that equations 4.1 woul ientify with Euler Lagrange equations 4.4 L q l L v l = 0. The problem an be takle iretly by applying Helmholtz onitions neessary an suffiient onitions for a system of ifferential equations be variational as it stans [7]. However, the answer is known: as shown in [19], equations with the left-han sie as in 4.1 are variational if the fore on the right-han sie is a Lorentz-type fore. Hene, we an onlue: Proposition 4.3. If the salar fiel ψ is a onstant then equations 4.1 are variational as equations for extremals of the Lagrangian Lt, q l, v l on R R 3, suh that 4.5 L = m 0 + e A v ev. Note an interesting onnetion between vanishing of the inue onstraint fore an the existene of a Lagrangian, namely F C 0 implies that ψ/ = 0, i.e. ψ = onst. Remark 4.4. Within the theory of non-holonomi systems it is known that motion equations of a Lagrangian system subjet to onstraints nee not be Euler Lagrange equations of the onstraine Lagrangian. This is the ase also in our situation. Inee, the unonstraine Lagrangian 1-form Λ = Ls = 1 v e q 4 A v q 4 ev + ψ s gives rise to the onstraine Lagrangian Λ C = L C s = m 0 1 v e A v + ev + ψ m = m 0 e A v + ev + ψ m + 1 m 0 s efine on the onstraint Q +. The relevant part of the Lagrangian Λ C for onsiering timeparametrise urves is its horizontal part with respet to the projetion onto the time axis, i.e. the 1-form L, with 4.8 L = m 0 + e A v ev ψ m. However, Euler Lagrange equations of L o not oinie with equations 4.1 unless ψ is a onstant. 4.5 Dike fore Equations of motion in proposition 4. an be equivalently expresse in a way that amits to ompare the obtaine fores with a hypothesis ue to Dike on non-lorentz type interations [5]. Denote exp µ = e µ an put 4.9 µ = ψ m 0, m 0 = m 0 e µ. 16

17 Let us express motion equations 4.1 in terms of the new salar potential µ an mass m 0. We get m0 e µ v m 0 v µ 1 = F L m 0 gra µ, v an 4.31 e µ hene, µ µ = e, 4.3 e µ m 0 v = F L m 0 gra µ. 1 v Multiplying this equation by e µ we have m 0 v 4.33 = e µ FL m 0 However, gra µ gra m 0 = m 0 gra e µ = m 0 e µ gra µ = m 0 gra µ, an we finally obtain m 0 v 4.35 = e µ FL 1 gra m 0. v Proposition 4.5. With help of the mass funtion m 0, epening upon a salar potential ψ on R 4, an efine by ψ 4.36 m 0 = m 0 exp, m 0 equations of motion in proposition 4. take the following equivalent form: in absene of the eletromagneti fiel: m 0 v 4.37 = 1 gra m 0, v in presene of the eletromagneti fiel: m 0 v 4.38 = m 0 FL m 0 gra m 0. Hene, the partile moves like having a non-onstant rest mass an subjet to a fore epening upon the partile spee an the graient of the mass. The influene of an eletromagneti fiel on the partile s ynamis epens not only upon the partile harge, but also upon exp ψ/m 0 = m 0 /m 0. 17

18 Let us enote 4.39 F D = an all F D Dike fore. gra m 0 Remark 4.6. The obtaine formula for the fore F D omplies with a preition of a relativisti non-lorentz type interation ue to Dike [5]. Although in his paper a formula or, at least, exat arguments are missing, Dike onjeture the existene of a fore, originating from the mass istribution of the universe, an ating on partiles with nonzero positive rest mass. By his hypothesis, the partile shoul move like having a nononstant mass epening upon a salar fiel, an subjet to a fore epening upon the partile s nononstant mass, an upon its spee proportionally to the fator 1 v /. Remarkably, this onjeture was influene by Brans an Dike s moifiation of general relativity, publishe earlier, attempting to aapt the general relativity theory to the Mah priniple see [1]. 5 Tahyons Let us suppose M < 0 an onstant on R 4. We set 5.1 M = m 0, where m 0 > 0. Partiles of this kin are partiles with negative square of mass, alle tahyons. Again we onsier either fibre oorinates s, q σ, q σ, 1 σ 4, or aapte oorinates s, q l, t, v l, q 4, 1 l 3, on R T R 4 \H The evolution spae The onstraint Q R T R 4 \H 0 is given by equation 5. q 4 q p = m 0, resp. q 4 = m 0. The evolution spae Q + is then the submanifol 5.3 q 4 m 0 =. For tahyons one an introue instantaneous mass an kineti energy by the following formulas m 0 m 5.4 m =, i.e.: m = 0 where v >, or m = im 0 where v <, v E = m. By the above, tahyons an be regare either as partiles with real positive mass m 0 moving with a spee v >, or as partiles with imaginary mass im 0, moving with spee lower than the light spee like normal partiles. 18

19 w m 0 m 0 x y Figure : Projetion of the evolution spae of a tahyon M < 0. In our setting, when q 4 R, tahyons appear as partiles with real mass m 0 > 0 moving with a spee greater than the light spee. In this ase the quantities m an E are real. Note that if the spee of a tahyon is inreasing, its mass m is ereasing v means that m 0 an E 0, an onversely, v means that m an E, an that 5.6 m = m 0 if v =. Similarly as in the ase M > 0 we an visualise the onstraint Q an the evolution spae Q + in the veloity spae. Supressing the q 3 imension an enoting again q 1, q, q 4 = x, y, w, the manifol Q is given by equation 5.7 w m 0 Fig.. x m y 0 m = Four-momentum an energy We an introue four-momentum in a full analogy with the M > 0 ase setting 5.8 p = gû,. In oorinates p = ˆp σ q σ = p l q l + p 4, an we obtain the same formulas for the omponents as in the previous setion: 5.9 ˆp σ 1 σ 4 = q 1, q, q 3, q 4, v q4 p σ 1 σ 4 =, q4, p σ v q4 1 σ 4 =, q4. For the equation of the onstraint Q, i.e. gû, û = m 0, we obtain 5.10 ˆp σ ˆp σ = m 0, or p l p l + 1 p 4p 4 = m 0. On the evolution spae Q +, where 5.11 q 4 = m 0 = m = E v 1, 19

20 omponents of the four-momentum take the form 5.1 ˆp σ 1 σ 4 = m v, E/, ˆp σ 1 σ 4 = m v, E/. Finally, with help of 5.10 we an ompute the energy: 5.13 E = p l p l m 0 = p m 0, where, as in the previous setions, p = p p is the usual square of length of the three-vetor p. 5.3 Equations of motion Rewriting motion equations 3. for M = m 0 = onst., we obtain: Proposition 5.1. Equations of motion: tahyons, four-imensional observer. Let g be the Minkowski metri, φ a ovariant vetor fiel, an ψ a funtion on R 4. Extremals of a Lagrangian system efine by the Lagrangian Λ = Ls, 5.14 L = 1 gû, û + φû ψ = 1 on R T R 4, an subjet to the onstraint 5.15 q 4 = 3 q l m 0 l=1 q 4 q p + q σ φ σ ψ, are urves γs = s, q σ s, satisfying the following system of mixe seon an first orer ifferential equations: 3. where M = m 0 equations of motion, an q 4 = E equation of the onstraint, energy equation. Proposition 5.. Equations of motion: tahyons, three-imensional observer. Let φ 3.30 be a one-form ovariant four-vetor fiel, an ψ a funtion on the Minkowski spae-time R 4. Consier on R T R 4 \H 0 aapte oorinates s, q l, t, v l, q 4 efine by 3.4 an 3.5. Extremals of a Lagrangian system efine by the Lagrangian Λ = Ls, 5.16 L = 1 an subjet to the onstraint 5.17 q 4 = m 0, v 1 1 q 4 + e A v q 4 V ψ, are urves s = ts, q l ts in R 4, satisfying the following system of ifferential equations: 5.18 m0 v = F L + F C 1 v v 1 m 0 1 gra ψ equations of motion, together with the following equation of the onstraint mass equation, resp. energy equation: 5.19 = m, resp. s s = E. 0

21 The onstraint fore along solutions of the equations of motion in this ase takes the form 5.0 F C = 1 m 0 v v 1 ψ. Along solutions, F C = 0 if v = 0 or ψ is a onstant of the motion. Proposition 5.3. If ψ = onst., equations of motion 5.18 are variational as equations for extremals of the Lagrangian Lt, q l, v l on R R 3, suh that 5.1 L = m 0 v 1 + e A v ev. Finally, let us investigate a Dike-type influene on tahyons. Denote exp µ = e µ an put 5. µ = ψ m 0, m 0 = m 0 e µ. An analogous proeure as in the ase of normal partiles iretly leas to the following result: Proposition 5.4. With help of the mass funtion m 0, epening upon a salar potential ψ on R 4, an efine by 5.3 m 0 = m 0 exp ψ, m 0 equations of motion for tahyons take the following equivalent form: in absene of the eletromagneti fiel: 5.4 m 0 v v = v 1 1 gra m 0, in presene of the eletromagneti fiel: 5.5 m 0 v v 1 = m 0 m 0 FL + v 1 gra m 0. We an see that in ase of partiles with negative square of mass Dike fore takes the form 5.6 F D = v 1 gra m 0. 6 Partiles with zero mass It remains to stuy the ase M = 0, i.e. partiles with zero mass. Let us again onsier on R T R 4 \H 0 aapte oorinates s, q l, t, v l, q 4, 1 l 3. 1

22 w x y Figure 3: Projetion of the evolution spae of a massless partile. 6.1 The evolution spae The onstraint Q R T R 4 \H 0 is now given by equation 6.1 q 4 q p = 0, resp. q 4 = 0. Sine q 4 0, it hols v =, i.e., partiles of this kin move with the light spee. Note that in oorinates s, q l, t, v l, q 4, the onstraint Q + annot be expresse in the form q 4 = hs, q l, t, v l, so that we have to represent the evolution spae in the form 6. Q + : v =, q 4 > 0. Drawing the onstraint Q an the evolution spae Q + in the veloity spae similarly as in the previous two ases, i.e. supressing the q 3 imension an enoting q 1, q, q 4 = x, y, w, we get for Q 6.3 w x y = 0 Fig Four-momentum an energy Sine our efinition of four-momentum is universal for all partiles, we have p = gû,, an in oorinates 6.4 ˆp σ 1 σ 4 = q 1, q, q 3, q 4 v q4 = v q4 p σ 1 σ 4 =, q4,, q4, p σ 1 σ 4 = v q4, q4. For the equation of the onstraint Q, i.e. gû, û = 0, we obtain 6.5 ˆp σ ˆp σ = 0, or p l p l + 1 p 4p 4 = 0, i.e. p 4 p 4 p = 0,

23 where, as usual, p = p p = 3 l=1 pl. On the evolution spae Q + it hols v =. Introuing the unit vetor e v in the iretion of v, i.e., 6.6 v = e v, we obtain the omponents of the four-momentum on Q + as follows: 6.7 p σ 1 σ 4 = q 4 e v,, p σ 1 σ 4 = q 4 e v,. Let us introue energy by the same formula as in the M 0 ases: 6.8 E = q 4. Then the equation of the onstraint Q + takes the form E p = 0, E > 0, hene, on the evolution spae, 6.9 E = p. 6.3 Equations of motion It is to be stresse that the ase M = 0 is muh ifferent from the above two, when M 0. The reason is that the onstraine euqations of motion are singular, in the sense that they annot be put into the normal form. Reall that they rea 6.10 δ lj q l q j 3 q j = q j φj qp q l φ l q j φ4 q p q l φ l q 4 q l q j φj 3 qp q 4 φ 4 q j ψ q l ψ q 4 q l 3 qp, Sine along the on- where 1 l 3, for ynamis proeeing in the evolution spae Q +. Let us express these equations in aapte oorinates s, q l, t, v l, q 4. straine paths we have 6.11 q j = qj s = 1 v j q 4 v s = q4 j q4 vj + q4, we obtain after some alulations q 4 δ lj vl v j v j = vj 6.1 φj q l φ l q j + vl v j 1 q 4 ψ q l + vl where we have use the onstraint onitions v = an q 4 > 0. ψ t, φj t φ 4 q j + φ 4 q l φ l t As it is known, singular equations o not obey the Newton s eterminism priniple, i.e., by initial onitions in the evolution spae a unique solution nee not be etermine. Lagrangian ynamis of this kin are stuie by the Dira s theory of onstraine systems, or by iret methos evelope in [11] see also [1] an [17]. The latter methos are suitable also for systems that are not Lagrangian, as in our ase. 3

24 With notations φ l l=1,,3 = e A, φ 4 = e V, an the unit vetor e v in the iretion of v, the motion equations take the vetor form as follows: 6.13 [ q 4 ev e v e ] v e v = e e v rot A 1 A 1 q 4 gra ψ + ψ t e v t gra V + 1 e v A t + gra V e v above, the ot means the salar prout of two three-vetors. However, these equations an be simplifie. First, we notie that e v e v = 1, hene e v e v = e v e v = 0. Next, enote 6.15 F = e then obviously e v rot A F v = F e v = 0. A 1 t gra V + e v A t + gra V e v, Now, applying to the motion equation the salar prout with e v, we immeiately obtain 6.17 e v gra ψ + ψ t = v gra ψ + ψ t = ψ = 0. Note that the same result provies eq where M = 0. Finally, we notie that the following fiels ompatibility onition 6.18 F gra ψ = 0 has to be satisfie. Inee, ue to the above, equations 6.19 q 4 e v = F, an e v gra ψ + ψ t = 0 have to be satisfie simultaneously. Differentiating the latter with respet to t we arrive at = e v gra ψ + e v gra ψ + ψ t = e v gra ψ + e v gra ψ + ψ t = e v gra ψ = ċ q 4 F gra ψ, proving our assertion. Summarising the results, we an onlue: Proposition 6.1. Let φ 3.30 be a one-form ovariant four-vetor fiel, an ψ a funtion on the Minkowski spae-time R 4. Consier on R T R 4 \H 0 aapte oorinates s, q l, t, v l, q 4 efine by 3.4 an 3.5. Extremals of a Lagrangian system efine by the Lagrangian Λ = Ls, 6.1 L = 1 1 q 4 + e A v q 4 V ψ, 4

25 an subjet to the onstraint 6. v =, q 4 > 0, are urves s = ts, q l ts in R 4, satisfying the following system of ifferential equations: E e v = e e v rot A 1 A 1 t gra V + e v A t + gra V e v 6.3 ψ e v gra ψ + ψ t = 0, together with the following equation of the onstraint energy equation: 6.4 s = E > 0. As a onsequene of these equations, the motion is allowe only if the vetor fiels F an gra ψ are orthogonal fiels ompatibility, an proees in suh a way that the vetor fiels v an v/, F an v, an gra ψ an v/ are always orthogonal, where v = e v, an F is the fore on the right-han sie of the first equation. Let us stuy the motion equations in more etail. Assume the eletri harge e be zero. Then F = 0 an the motion is governe by equations 6.5 e v = 0, ψ e v gra ψ + ψ t = 0. The first equation gives us that e v = k = onst., i.e. the partile moves in R 3 along a straight line with the spee of light. More preisely, every straight line in R 3 is an allowe trajetory, epening upon initial onitions. Thus, it must hol ψ/ = 0 along every straight line in R 3, an onsequently, ψ/ = 0, i.e. ψ = onst. on R 3. However, this result means that the above two equations are inompatible. A release is to onlue that massless partiles o not feel the salar fiel ψ. On the other han, we have seen earlier f. e.g. eq that partiles with non-zero mass o feel the fiel ψ. Hene, it turns out that every partile possesses a salar fiel harge epening upon the partile s mass, suh that for massless partiles the salar fiel harge is zero. With regar to eq we may assume this harge being m 0, an write 6.6 ψ = m 0 ψ. Now, proposition 6. an be reformulate as follows: Proposition 6.. Equations of motion: partiles with zero mass, 3-imensional observer. Let φ 3.30 be a one-form ovariant four-vetor fiel, an ψ a funtion on the Minkowski spae-time R 4. Consier on R T R 4 \H 0 aapte oorinates s, q l, t, v l, q 4 efine by 3.4 an 3.5. A massless partile is esribe by a Lagrangian Λ = Ls, 6.7 L = 1 1 q 4 + e A v q 4 V aψ, where the harge a = 0, subjet to the onstraint 6.8 v =, q 4 > 0. 5

26 Trajetories are urves s = ts, q l t in R 4, satisfying the following system of ifferential equations: E e v = e e v rot A 1 A 1 t gra V + e v A t + gra V e v, 6.9 s = E > 0, where E is a funtion on R 4, having the meaning of the kineti energy of the partile. As a onsequene of these equations, the motion proees in suh a way that the vetor fiels v an v/, an F an v are always orthogonal, where v = e v, an F is the fore on the right-han sie of the first equation. Note that from the form 6.9 of the equations of motion it is expliitly lear that equations for massless partiles are inee singular: they o not provie a uniquely etermine motion unless energy of the partile is fixe. In more etail, i unharge massless partiles in a salar fiel move along straight lines in R 3, with the spee of light, an positive energy. ii Charge massless partiles in a salar an eletromagneti fiel move with the spee of light, the iretion of the motion in R 3 is not influene by the salar fiel, is always orthogonal to the eletromagneti fore, governe by equation 6.30 E e v = e e v rot A 1 A 1 t gra V + e v A t + gra V e v, an epens upon a hoie of the partile s kineti energy E > 0. In both the ases, a trajetory s in R 4 an be uniquely etermine by initial onitions if energy E as a funtion on R 4 is hosen. A brief summary an onlusions We propose a new approah to founations of relativisti ynamis. It is base on a treatment of a partile as a Lagrangian system subjet to a nonholonomi onstraint, ompatible with the speial relativity theory. We explore a geometri setting to nonholonomi mehanis, propose by one of us [13], where the onstraine system is onsiere as living on the submanifol efine by the onstraint: The onstraint submanifol thus beomes a genuine evolution spae for the onstraine system. The key iea is that relativisti partiles of any mass moving in an eletromagneti fiel efine by a four potential φ an a salar fiel efine by a salar potential ψ an be esribe by 1 the Lagrange funtion 6.31 L = 1 g σν q σ q ν + e φ σ q σ a ψ, efine on R T R 4, where g is the Minkowski metri on R 4, g = 1, 1, 1, 1, an e, resp. a, is the partile s harge orresponing to the eletromagneti an salar fiel, respetively, an the nonholonomi onstraint 6.3 g σν q σ q ν = M 6

27 in R T R 4, where M is a funtion on the spae-time, representing the partile s mass. As a main result, we foun equations of motion as they appear to a four-imensional, an to a three-imensional observer. We isusse in etail the ases when M = onst. = m 0 usual partiles, M = onst. = m 0 tahyons, an M = 0 massless partiles. As expete, massless partiles move with the light spee, an partiles with a positive square of mass move with a spee lower than the spee of light; the onstant m 0 has the meaning of rest mass. On the other han, partiles with a negative square of mass tahyons are partiles with real positive mass m 0, moving with a spee greater than the light spee. The onstant m 0 is then the mass of a tahyon moving with the spee. Alternatively, tahyons an be unerstoo as partiles with imaginary rest mass im 0 moving with a spee lower than the spee of light, if moele on a omplex Minkowski spae. It turne out that the salar fiel harge a is losely onnete with the mass of the partile: for massless partiles a = 0, an a 0 in the other ases. This means that the presene of a salar fiel oes not effet the motion of massless partiles. On the other han, all massive partiles are influene by a salar fiel. We have foun that the orresponing fore takes the form for normal partiles, respetively for tahyons: 6.33 F D = gra m 0, respetively FD v = 1 gra m 0, where 6.34 m 0 = m 0 exp ψ m 0, respetively, m 0 = m 0 exp ψ m 0 an we have put a = m 0. We alle F D Dike fore in honour of Dike who preite existene of a fore of this kin [5]. The harge e has the usual meaning, however, the orresponing fore ating on massive an massless partiles is ifferent. For massive partiles we get the usual formula for the Lorentz fore the same for normal partiles an tahyons. For massless partiles the orresponing fore takes the form 6.35 F = e e v rot A 1 A 1 t gra V + e v A t + gra V e v. It is important to stress a striking ifferene between ynamis of massive an massless partiles. Massive partiles are regular mehanial systems in the sense that the ynamis in the evolution spae obey the Newton s eterminism priniple motion equations an be put into the normal form, i.e. every trajetory is uniquely etermine by initial onitions. On the other han, massless partiles are singular mehanial systems: the ynamis in the evolution spae o not obey the Newton s eterminism priniple motion equations annot be put into the normal form, i.e. trajetories are not ompletely etermine by initial onitions. To get a onrete trajetory in the spae-time R 4, one has to fix initial onitions an the energy of the partile. We also introue the four-momentum of a partile as the one form, anonially relate with the -tensor fiel g. With help of four momentum ˆp = ˆp σ, the evolution spae = the onstraint submanifol is given by equation 6.36 ˆp σ ˆp σ = m 0, respetively, ˆp σ ˆp σ = m 0, respetively, ˆp σ ˆp σ = 0 for normal partiles, tahyons, an massless partiles, respetively. omponents of the four-momentum were shown to be as follows: 6.37 ˆp σ = m v, E/, respetively, ˆp σ = E v, E/ = E e v, 1 7, On the evolution spae

28 for massive, respetively, massless partiles, where 6.38 m = m 0 m 0, respetively, m =, v 1 for normal partiles, respetively, for tahyons, an E is the kineti energy of the partile, efine in all the ases by formula 6.39 E = q 4. Consequently, on the evolution spae, energy is given by the following formulas: 6.40 E = p + m 0, respetively, E = p m 0, respetively, E = p, for normal partiles, tahyons, an massless partiles, respetively, where p = p p is the usual length of the momentum three-vetor p. Finally let us mention variationality aspets of the obtaine equations of motion. In the partiular ase of usual partiles with positive square of mass moving in an eletromagneti fiel, the imensional equations of motion we have obtaine, take the usual form. Hene, as it is known, they an be obtaine from a variational priniple as Euler Lagrange equations of the Lagrangian 1.1. On the other han, rather surprisingly, in presene of a salar fiel, the obtaine equations o not ome from an unonstraine variational priniple. 3 In partiular, it might be interesting that trying a natural extension of the Lagrangian 1.1 by aing to the Lagrangian a salar fiel term, oes not provie the orret equations of motion reall Se Aknowlegements Researh supporte by grants GACR 01/06/09 an 01/09/0981 of the Czeh Siene Founation, an MSM an MSM of the Ministry of Euation, Youth an Sports of the Czeh Republi. Referenes [1] C. Brans an R.H. Dike, Mah s Priniple an a Relativisti Theory of Gravitation, Phys. Rev [] J.F. Cariñena an M.F. Rañaa, Lagrangian systems with onstraints: a geometri approah to the metho of Lagrange multipliers, J. Phys. A: Math. Gen [3] N.G. Chetaev, On the Gauss priniple, Izv. Kazan. Fiz.-Mat. Obs in Russian. [4] M. e León, J. C. Marrero, an D. M. e Diego, Non-holonomi Lagrangian systems in jet manifols, J. Phys. A: Math. Gen [5] R. Dike, The influene of the time epenent gravitation interation on the Solar system. In: Gravity an Relativity, E. W. F. Hoffmann, Mir, Mosow, 1965 in Russian. [6] G. Giahetta, Jet methos in nonholonomi mehanis, J. Math. Phys The reaer might be intereste that, however, equations of motion we have obtaine in this paper are variational in a generalize sense: one an fin a nonholonomi variational priniple proviing these equations see [15]. 8

29 [7] H. Helmholtz, Ueber ie physikalishe Beeutung es Prinzips er kleinsten Wirkung, J. für ie reine u. angewane Math [8] W.S. Koon an J.E. Marsen, The Hamiltonian an Lagrangian approahes to the ynamis of nonholonomi systems, Rep. Math. Phys [9] D. Krupka, Some geometri aspets of variational problems in fibere manifols, Folia Fa. Si. Nat. Univ. Purk. Brunensis, Physia 14, Brno, Czehoslovakia, 1973, 65pp.; ArXiv:mathph/ [10] D. Krupka, Global variational theory in fibre spaes, in: Hanbook of Global Analysis, Elsevier, 008, [11] O. Krupková, A geometri setting for higher-orer Dira-Bergmann theory of onstraints, J. Math. Phys [1] O. Krupková, The Geometry of Orinary Variational Equations, Leture Notes in Mathematis 1678, Springer, Berlin, [13] O. Krupková, Mehanial systems with non-holonomi onstraints, J. Math. Phys [14] O. Krupková, Reent results in the geometry of onstraine systems. Rep. Math. Phys [15] O. Krupková, The nonholonomi variational priniple. J. Phys. A: Math. Theor., in print. [16] O. Krupková an J. Musilová, The relativisti partile as a mehanial system with nonholomi onstraints, J. Phys. A: Math. Gen [17] O. Krupková an G.E. Prine, Seon Orer Orinary Differential Equations in Jet Bunles an the Inverse Problem of the Calulus of Variations, In: Hanbook of Global Analysis Elsevier, [18] E. Massa an E. Pagani, Classial mehanis of non-holonomi systems: a geometri approah. Ann. Inst. Henri Poinaré [19] J. Novotný, On the inverse variational problem in the lassial mehanis, In: Pro. Conf. on Diff. Geom. an Its Appl. 1980, O. Kowalski, e. Universita Karlova, Prague, [0] W. Sarlet, A iret geometrial onstrution of the ynamis of non-holonomi Lagrangian systems, Extrata Mathematiae [1] W. Sarlet, F. Cantrijn an D.J. Sauners, A geometrial framework for the stuy of nonholonomi Lagrangian systems, J. Phys. A: Math. Gen [] D.J. Sauners, W. Sarlet an F. Cantrijn, A geometrial framework for the stuy of nonholonomi Lagrangian systems II, J. Phys. A: Math. Gen