Vladimir Balan
Dedicated to the Memory of Grigorios TSAGAS (1935-2003), President of Balkan Society of Geometers (1997-2003)
Abstract
Within the framework of jet spaces endowed with non-linear connection, are characterized the special curves of these spaces (h-paths, v-paths and geodesics, Lorentz-type paths and electromagnetic Lagrangian-action minimizers) which extend the Riemannian classical electromagnetic field model. Remarkable special cases outline the extension and computer-drawn graphic Maple-V plots for paths are provided.
Mathematics Subject Classification 2000:58A20, 58B50, 53C80, 53C22, 78A35, 53-04, 78-04.
Key words: Lagrangian, jet space, nonlinear connection, Cartan connection, deflec- tion tensor, electromagnetic tensor, stationary curve, path, Lorentz equations.
1 Geometric objects on J
1(T, M )
The geometrized framework on osculating first and higher-order osculating spaces was introduced and widely studied by Acad. R.Miron and collaborators ([4], [5]). As a complementary extension of the tangent (first-order osculating) framework in the last decade was developed with significant results the geometric approach on first- order jet spaces ([11], [9], [1], [3]).
In the sequel let ξ = (E=J1(T, M), π, T ×M) be the first order jet bundle of mappingsϕ:T →M, whereT andM areC∞real differentiable manifolds (dimT = m, dimM =n). The local jet coordinates on Ewill be denoted by
(tα, xi, yA)(α,i,A)∈I∗≡(yµ)µ∈I, where the set of indicesI splits as follows
I=Ih∪Iv, Ih=Ih1∪Ih2, Iv =m+n+ 1, m+n+mn Ih1 = 1, m, Ih2=m+ 1, m+n, I∗=Ih1×Ih2×Iv. and the indices implicitly take values as described below:
α, β, . . .∈Ih1; i, j, . . .∈Ih2; A, B, . . .∈Iv; λ, µ, . . .∈I.
Balkan Journal of Geometry and Its Applications, Vol.8, No.2, 2003, pp. 1-10.∗
c
°Balkan Society of Geometers, Geometry Balkan Press 2003.
As well, when appropriate, we identifyA=m+n+n(i−m−1) +αasA≡¡i
α
¢and denoteyA≡x(iα) = ∂x∂tαi.
We endowE with a the extended Lagrangian of electrodynamics ([9]) of the form L(t, x, y) = ˜gAB(t, x, y)yAyB+UA(t, x)yA+ Φ(t, x),
(1.1)
whereUA(t, x) is a 1-form onE, Φ∈F(E) and assume the Kronecker decomposition
˜
gAB≡g˜(i
α)(jβ) =hαβ(t, x)gij(t, x, y), (1.2)
withhαβ andgij non-degenerate tensor fields. The derived Euler-Lagrange equations evidentiate a spray, which under certain restrictive conditions provides a non-linear connectionN ={NµA}µ∈Ih,A∈Iv onE which leads to the splittingT E =HE⊕V E, whereV E=Ker π∗ [11, 5]. As well,N determines the local adapted basis ofX(E)
B={δα, δi, δA}(α,i,A)∈I∗≡ {δµ}µ∈I, (1.3)
with∂α= ∂t∂α, ∂i =∂x∂i and
δα=∂α−NαAδA, δi=∂i−NiAδA, δA= ˙∂A= ∂
∂yA. (1.4)
The dual basis ofB in (1.3) writes thenB∗={δα, δi, δA}(α,i,A)∈I∗≡ {δµ}µ∈I,where δα=dtα, δi=dxi, δA≡δyA=dyA+NαAdtα+NiAdxi.
(1.5)
The existence of Lagrangian-derived non-linear connections in the general Kronecker case represents still an open problem ([9]). However, in the following cases where ˜g admits a particular Kronecker splitting, the problem is tractable.
We note as particular case the ARL (almost Riemann Lagrange) jet case, where the tensor fieldhαβ(t) is a metric tensor field onT; then the Lagrangian (1.1) produces the canonical nonlinear connectionN ={N(iα)
β , N(iα)
j } of coefficients N(iα)
β =−
¯¯
¯αβγ
¯¯
¯y(iγ), N(iα)
j =¯
¯jki ¯
¯y(kα) +14gik(2∂αgjk+hαβU(kβ)j), (1.6)
whereU(kβ)j=δ[jU¡k]
β
¢means the h2−curl ofU; generally, we denote τ[i...j]=τi...j− τj...i and τ{i...j}=τi...j+τj...i. Also we have
˜
gAB= 12∂˙AB2 L.
(1.7)
More particular, in the ARLS (almost Riemann Lagrange separated) jet case,gij
is a metric tensor field onM, and both the nondegenerate metric tensorsh, gand the potentialsUA determine the nonlinear connectionN of coefficients
N(iα)
β =−
¯¯
¯αβγ
¯¯
¯y(iγ), N(iα)
j =¯
¯jki ¯
¯y(kα) +14gik·hαβU(kβ)j. (1.8)
IfE is endowed with a non-linear connectionN ={NαA, NiA}, any linear connec- tion∇ ={Lλµν}λ,µ,ν∈I on E has its components relative to the adapted basis (1.3) provided by the relationsδλ(∇δνδµ) =Lλµν, ∀λ, µ, ν∈I. According to the three sets of indicesIh1, Ih2, Iv, these components group in 33= 27 distinct subsets.
The subsets of nontrivial coefficients of∇can be strongly reduced for the connec- tions Γ(N) (called ”N-connections”), whose covariant derivative preserves the sections S(HE) andS(V E); these obey the conditions
Lλµν = 0, ∀(λ, µ)∈(Ih×Iv)∪(Iv×Ih).
(1.9)
Further, one may consider the special N-connectionsΓ∗(N), whose covariant deriv- atives preserve the distributions Span(δα)α∈Ih
1 and Span(δi)i∈Ih
2; they satisfy the supplementary relations
Lλµν = 0, ∀(λ, µ)∈(Ih1×Ih2)∪(Ih2×Ih1).
(1.10)
More particular, the so-called ”Γ-linear h-normal connections” Γn(N) [9] have just four essential sets of components
{Lαβγ, Lijγ, Lijk, LijA} ≡ ∇, (1.11)
which provide the other 5 derived sets by means of LABγ≡L(iα)
(jβ)γ=δβαLijγ−δij¯
¯β
αγ
¯¯, LABk≡L(iα) (jβ)k =δαβ
¯¯
¯jki
¯¯
¯,
LABC≡L(iα)
(jβ)C=δβαLijC, Lαβj = 0, LαβC= 0.
We shall further consider the case whenhαβ(t) andgij(t, x, y) in the LagrangianLin (1.1) are non-degenerate, and we endowEwith a semi-Riemannian metric
G=hαβ(t)dtα⊗dtβ
| {z }
h
+gij(t, x, y)dxi⊗dxj
| {z }
g
+ ˜gAB(t, x, y)δyA⊗δyB
| {z }
˜ g
, (1.12)
where ˜gAB ≡g˜(i
α)(jβ) =hαβ(t)gij(t, x, y). In this case the so-calledthe Cartan linear connection, which is anh−normal connection, is metrical and satisfies the conditions ([11], [9])
Lijγ =gik
2 ∂γgjk, Li[jk]= 0, Li
[j¡k]
α
¢= 0.
Its four essential sets of coefficients (1.11) are given by Lαβγ=
¯¯
¯βγα
¯¯
¯, Lijγ= 12gikδγgkj, Lijk =
¯¯
¯jki
¯¯
¯, LijA≡Lij(kγ)= 12gil(δ¡{k
γ
¢gjl}−δ(lγ)gjk).
(1.13)
The adapted components of the torsionT and of the curvatureR of∇ are defined by the relations
δλ(T(δν, δµ)) =Tµνλ , δλ(R(δν, δµ)δρ) =Rρ µνλ , ∀λ, µ, ν, ρ∈I.
Then the Cartan essential torsion coefficients are ([9]; for ARL case [11, Theorem 4.4])
{T(iα)
γ (jβ), T (iα)
k (jβ), T (iα)
(jβ) (kγ), Tβ ji , TjAi , Tβ γA, Tβ jA, Ti jA}.
The nontrivial non-holonomy coefficientsωλµν are described by the relations [δµ, δν] =ωµνAδA≡TµνAδA, ∀µ, ν ∈Ih,
[δµ, δB] =ωµBA δA≡∂BNµAδA, ∀µ∈Ih,
and are explicitly provided for the ARL case in [9, Theorem 2.3]. Ultimately, the five essential and three derived nontrivial sets of curvatureN-tensor fields are respectively
{Rβ γδα , Rj kmi , Rj γλi , Rj λAi , Rj CDi }, {R(iα)
(jβ) γδ, R(iα)
(jβ) λk, R(iα) (jβ) µA}, forλ∈Ih, µ∈I.
In this framework, the Liouville fieldC=yAδA on (E, N,∇) produces thedeflec- tion tensor fields
dAµ =δA∇δµC, µ∈I, A∈Iv,
which lead further to the associated toNand∇electromagnetic 2-formF =FAµδyA∧ δyµ, of nontrivial components
FAβ≡F(iα)β=12³
hαγgiky(k[γ)´
|β]
FAB ≡F(i
α)(jβ) = 12˜g¡[i
α
¢CyC
|¡j]
β
¢
FAj ≡F(iα)j= 12 d¡[i
α
¢j]=12 y¡[i
α
¢|j]= 12
³
y(kγ)hαγgk[i
´
|j], (1.14)
where|α,|iand|A are the covariant derivations given by∇δµ, forµ∈Ih1, Ih2 andIv
respectively. Considering the raising/lowering of the indices performed by the metric tensor fieldG,F providesthe electromagnetic force
F˜ =FAµδµ⊗δA (1.15)
of nontrivial essential components,
FAα=hαβFAβ, FAi =gijFAj, FAC=gCDFAD.
We note that in the particular ARLS case, the Cartan connection has just two basic nontrivial coefficients
{Lαβγ=¯¯α
βγ
¯¯, Lijk=¯¯i
jk
¯¯},
and its non-trivial torsionN−fields are {T(mγ)
αβ , T(mγ)
ij , T(mγ)
αj }([9]).
Moreover, form= 1, n= 4 andh11= 1, one finds as particular case, the pseudo- Riemannian weak gravitational model endowed with the metric gij(x) =ηij+εij(x), where the weakness of the gravitational fieldgijis expressed by its decomposition into the flat Minkowski metricnij =diag(−1,1,1,1) and a small perturbationεij(x), a symmetric tensor field with|εij(x)|<<1.
2 Paths and Lorentz curves on J
1(T, M )
We consider in the following on (E, N,∇) smooth curves c : J = [a, b] ⊂ R →E, having their images inside a chart ˜U ⊂E, locally given by
c(s) = (tα(s), xi(s), yA(s))≡(yµ(s)),∀t∈J.
Definitions.a) The fieldVµ= δydsµ defined oncis calledN-velocity fieldof the curve c. Its components are explicitely given by
{Vµ}µ∈I ≡ µ
t˙α,x˙i,δya
ds = ˙yA+NβAt˙β+NjAx˙j
¶
(α,i,A)∈I∗
where we denote by dot thes-derivation. We denote by F =Fµδµ theN-force field onc, which provides the motion of the test-body alongc and whose components are explicitely given by
Fµ=∇Vµ ds
not= δVµ
ds +LµνρVνVρ.
b) We callc stationary curvewith respect to∇ iffF = 0 along the curve.
c) The curvec is called
• h−curve, ifπv(V) = 0, and
• v−curve, ifπh(V) = 0,
where byπhandπvwe denoted respectively theh−andv−projectors of the canonic splitting induced byN.
d) An h−/v−curve which satisfies also the extra condition F = 0, is called h−/v−path, respectively.
Analytically, these curves are described by
Theorem 1. Let c : J ⊂ R → E be a curve. Then the curves defined above are characterized as follows:
a)c is an h−curve iff
VA= 0 ⇔ δydsA = 0 ⇔ y˙A+NαAt˙α+NjAx˙j = 0, ∀A∈Iv. (2.16)
b) cis av−curve iff
Vµ= 0, ∀µ∈Ih ⇔ δydsµ = 0,∀µ∈Ih ⇔ c(s) = (t0, x0, y(s)), s∈J.
(2.17)
c)cis anh−path (”stationaryh−curve or ”horizontal geodesic”) iff besides (2.16) it satisfies
dVµ
ds +LµνρVνVρ= 0, ∀µ∈Ih. (2.18)
d)c is av−path (”stationaryv−curve or ”vertical geodesic”) iff besides (2.17) it satisfies
δVA
ds +LABCVBVC= 0, ∀A∈Iv. (2.19)
We note that the implicit sum in the right term of (2.18)/(2.19) involves just hori- zontal/vertical index types. The proof is computational.
Consider the triple (E, N, G), where the metric G in the one in (1.12), N is a fixed nonlinear connection, and ∇ is the Cartan connection attached to G of basic coefficients (1.13). Then qne can derive the electromagnetic tensor fields in (1.14) and (1.15) and we have
Definition.A curvec is calledLorentz curveon (E, N, G) iff Gνρ
∇Vρ
ds =FAνVA ⇔ ∇Vµ
ds =FAµVA. (2.20)
Theorem 2.([1, 3])The Lorentz equations (2.20) have the equivalent form t¨α+LαβCt˙βVC+LαjCx˙jVC+Lαβγt˙βt˙γ+Lαjγx˙jt˙γ+Lαβkt˙βx˙k+Lαjkx˙jx˙k=FBαVB (2.21)
¨
xi+LiβCt˙βVC+LijCx˙jVC+Liβγt˙βt˙γ+Lijγx˙jt˙γ+Liβkt˙βx˙k+Lijkx˙jx˙k=FBiVB (2.22)
V˙A+NαAt˙α+NiAx˙i+LACβVCt˙β+LACjVCx˙j+LABCVBVC =FBAVB, (2.23)
whereVA= ˙yA+NβAt˙β+NiAx˙i, A∈Iv.
Remarks.a) The Lorentz h-pathssatisfy the extra conditionsVA = 0, A∈Iv and since the right side of (2.21)-(2.23) is identically vanishing, they coincide with the usualh-paths of (E, N, G).
b) TheLorentzv-pathshave fixed base-point, i.e.,
Vµ= 0, µ∈Ih ⇔ (t, x) = (t0, x0)∈T×M, and hence the associated Lorentz equations rewrite
FBαVB = 0, FBiVB= 0, FBAVB= ˙VA+LABCVBVC.
c) In the ARLS casewith the nonlinear connection (1.6) induced by the Lagrangian, the electromagnetic tensors simplify to
FAα≡F(αiβ)γ = 0, FAi =gijF˜Aj=−1
4gijUAj, FAB = 0, (2.24)
and the nonvanishing Cartan connection essential coefficients reduce to Lαβγ=¯
¯βγα¯
¯, Lijk=¯
¯jki ¯
¯, LABγ ≡L(iα)
(jβ)γ =−δji¯
¯αγβ ¯
¯, LABk≡L(iα)
(jβ)k =−δαβ¯
¯jki ¯
¯.
Then the Lorentz equations (2.21)-(2.23) get the typical shape
¨tα+¯
¯α
βγ
¯¯t˙βt˙γ = 0, x¨i+¯
¯i
jk
¯¯x˙jx˙k =−1
4gijUAjVA, V˙A= 0.
Note that in this case (gdependent on xonly), the Berwald connection [11] has the same coefficients as the Cartan connection, and hence the associated Lorentz curves, h- and v-paths are described by the same equations. The Lorentzh-paths obey the extra equations
˙
yA+NβAt˙β+NjAx˙j= 0, A∈Iv, which write explicitely
˙ y(iα)−
¯¯
¯αβγ
¯¯
¯y(iγ) ˙tβ+ µ¯
¯jki ¯
¯y(kα) + 1
4gikhαβU(kβ)j
¶
˙ xj= 0.
As well, the Lorentz v-paths for the Cartan connection satisfy the extra condition
−VA= 2 ˙VA, having as solutions flat rays within the fibers ofE - in accordance with the particular caseJ1(R, M)≡T M studied in [6].
d) In the ARLSUcase (ARLS uniparametric case, form= 1 ands=t1=t, [2]), for h11 = 1, we recapture the known results derived in [4, 6] for the tangent space case. For this, after shifting the indices left by one unit (Ih2 = 1, n, Iv=n+ 1,2n), yA ≡y(i1) not= yi, set locally h11 = 1 and we can usethe Finsler-Lagrange tangent space notationsfrom [5].
If we consider the Lagrangian (1.1) of the particular form L(x, y) =mc γij(x)yiyj+2e
mUi(x)yi+ Φ(x), (2.25)
with γij pseudo-Riemannian metric,U =Uidxi 1-form on M and Φ∈F(M), then the fundamental tensor derived fromL via (1.7) is
˜
g(i1)(j1)(t, x, y) =gij(x) =mc γij(x), the non-linear connection induced byLhas the components
N1A= 0, N(i1)
j =¯
¯jki ¯
¯yk+gikU(k1)j, i= 1, n, A=n+ 1,2n,
whereU(k1) = meAk. In this case, the Cartan (1.13) and Berwald canonic connections have just null and Christoffel (re-indexed) components. For∇Cartan connection, the
Lorentz equations (2.22) confine to the known ones of Lagrange spaces ([5], [4, p.
171])
¨
xi+ 2Gi(x, y) = 0, yi= dxi
ds, i= 1, m (2.26)
of the Lagrangian spray derived from the LagrangianLin (2.25) for Φ constant, Gi= 1
2γijkyjyk+ e
2m2cγijA[j;k]yk, where ”;k” expresses the canonic covariant derivative on (M, γij).
We note that in the absence of the electromagnetic forceFµA, the equations (2.20) rewritten in the form (2.26) become the equations of stationary curves of the con- nection ∇. Hence, in the absence of the covector potential U, the equations (2.20) becomethe equations of geodesics of the manifoldM and the equations ofh−paths become the Lorentz equations.
3 Electromagnetic Lagrangian extremals
In the ARLS case the extremals of the energy action E(L) =
Z
T
L(t, x, y) dvolT
(3.27)
of the LagrangianLin (1.1) are shown to satisfy the PDE system ([8]) hαβ(∂βy(iα) + 2G(iα)
β ) = 0, i= 1, n.
(3.28)
In (3.28), an essential role plays the spray G(iα)
β =1G(iα)
β +2G(iα)
β associated to L, where
1G(iα)
β =−12
¯¯
¯αβγ
¯¯
¯y(iγ)
2G(iα)
β = 12
¯¯
¯jki
¯¯
¯y(jα)y(kβ) +4m1 ˜g(iα)(lβ)(U(l
ε)sy(sε)+∂εU(lε)+U(lγ)
¯¯γεε ¯
¯−∂lΦ), which provides the canonicL-induced nonlinear connectionN in (1.8) via
N(iα)
β = 2∂(1G(iα)
β )
∂y(jγ) y(jγ), N(iα)
j = 2∂(2G(iδ)
ε hδε)
∂y(jγ) hαγ.
We note that in the ARLSU case for m= 1 and h11= 1, using the conventions above, the extremals of the Lagrangian action are characterized by the equations
¨ xi+¯
¯jki ¯
¯x˙jx˙k= 1
4(Fjiyj+gij∂jΦ),
and for constant Φ these coincide with the extended Lorentz paths produced by the Liouville tensor field.
4 Numerical simulation
In the ARLS uniparametric case detailed above, consider n = 2, M endowed with the Lagrangian L in (1.1) with g = mcγij, Φ = 0 and the potential ¯U given by U¯ = ε(x1dx2−x2dx1), ε ∈ R. Then, denoting by a = εe(m2c)−1 the control pa- rameter of electromagnetid field strength, the appropriately rescaled Lorentz-type equations (2.26) read
¨ xi+¯
¯i
jk
¯¯x˙jx˙k= (−1)i+1a(gi1x˙2+gi2x˙1), i= 1,2.
(4.29)
We exemplify further the influence of the electromagnetic forceF derived from ˜U via (2.24) onh-paths for three cases: R2, H2 and S2. Using Maple V programming were obtained computer-drawn images representing the Lorentz-type sheaves of curves (the left-bended lines in the drawings) which are obtained for fixed non-zero values ofa(a=−512 for Euclidean case,a=−1024 for the Poincare half-plane, a= 2 for the sphere respectively).
R2 H2 S2
We note that, when the influence of the generalized electric potentials Ui(x) dis- appears (i.e., fora= 0 regarded as a limit case), one obtains the sheaves of geodesics of the manifold M (marked with thick lines). Hence the geodesics - the solutions for a= 0 of the system (4.29) deform to Lorentz curves, under the controlled by a influence of the generalized electromagnetic tensor field.
Acknowledgments. The author is grateful to Professor C.Udri¸ste for the interesting insights on the present subject. The present work was partially supported by Grant CNCSIS MEN 477 (75) / 2003.
References
[1] V. Balan,Lorentz-type equations in first-order jet spaces endowed with nonlinear connection, Proceedings of The First French-Romanian Colloquium of Numerical Physics, October 30-31, 2000, Bucharest, Romania, Geometry Balkan Press 2002, pp. 105-114.
[2] V.Balan, Synge-Beil and Riemann-Jacobi jet structures with applications to physics, Jour. of Math. and Math. Sci, Hindawi Publ. Corp., 27 (2003), 1693- 1702.
[3] V. Balan, K. Trencevski, Stationary Lorentz curves in geometrized jet spaces.
Numerical simulation and analytic solutions, Algebras, Groups and Geometries, I.B.R., Palm Harbor, to appear.
[4] R. Miron,The Geometry of Lagrange Spaces: Theory and Applications, Kluwer Acad. Publishers, 1994.
[5] R. Miron, M.Anastasiei, Vector Bundles. Lagrange Spaces. Applications to Relativity, Geometry Balkan Press, 1996.
[6] R. Miron, R.Ro¸sca, M.Anastasiei, K.Buchner, New aspects in Lagrangian rela- tivity, Found. of Phys. Lett., v. 5 (1992), n.2, 141-171.
[7] R. Miron, M. Tatoiu-Radivoiovici,A Lagrangian theory of electromagnetism, Rep.
Math. Phys., 27 (1989), 49-84.
[8] M.Neagu, The geometry of autonomous metrical multi-time Lagrange space of electrodynamics, International Journal of Mathematics and Mathematical Sci- ences, Hindawi Publishing Corporation, (2001),
http://xxx.lanl.gov/abs/math.DG/0010091, (2000).
[9] M. Neagu, Generalized metrical multi-time Lagrangian geometry of physical fields, http://xxx.lanl.gov/abs/math.DG/0011003, 2000.
[10] M. Neagu, C. Udri¸ste, From PDE Systems and Metrics to Geometric Multi-Time Field Theories, Sem. Mec. 79, West Univ. of Timisoara, 2001.
http://xxx.lanl.gov/abs/math.DG/0009071, 2000.
[11] M. Neagu, C. Udri¸ste, The geometry of metrical multi-time Lagrange spaces, http://xxx.lanl.gov/abs/math.DG/0009071, 2000.
[12] D.J. Saunders,The Geometry of Jet Bundles, Cambridge University Press, 1989.
[13] C.Udri¸ste,Geometric Dynamics, Kluwer Acad. Publishers, 2000.
Vladimir Balan
University Politehnica of Bucharest, Department Mathematics I Splaiul Independent¸ei 313, RO-77206 Bucharest, Romania Email address: [email protected]