• 検索結果がありません。

2 Paths and Lorentz curves on J

N/A
N/A
Protected

Academic year: 2022

シェア "2 Paths and Lorentz curves on J"

Copied!
10
0
0

読み込み中.... (全文を見る)

全文

(1)

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 areCreal 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.

(2)

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 =∂xi 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

(3)

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 ofcan 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αβγ, Li, Lijk, LijA} ≡ ∇, (1.11)

which provide the other 5 derived sets by means of LA≡L(iα)

(jβ)γ=δβαLi−δ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])

Li =gik

2 γgjk, Li[jk]= 0, Li

[j¡k]

α

¢= 0.

Its four essential sets of coefficients (1.11) are given by Lαβγ=

¯¯

¯βγα

¯¯

¯, Li= 12gikδγgkj, Lijk =

¯¯

¯jki

¯¯

¯, LijA≡Lij(kγ)= 12gil(δ¡{k

γ

¢gjl}−δ(lγ)gjk).

(1.13)

(4)

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 =FδyA δyµ, of nontrivial components













F≡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αβF, FAi =gijFAj, FAC=gCDFAD.

We note that in the particular ARLS case, the Cartan connection has just two basic nontrivial coefficients

(5)

{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) =ηijij(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 withij(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)

(6)

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 =FVA ∇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αx˙jt˙γ+Lαβkt˙βx˙k+Lαjkx˙jx˙k=FBαVB (2.21)

¨

xi+LiβCt˙βVC+LijCx˙jVC+Liβγt˙βt˙γ+Lix˙jt˙γ+Liβkt˙βx˙k+Lijkx˙jx˙k=FBiVB (2.22)

V˙A+NαAt˙α+NiAx˙i+LAVCt˙β+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

(7)

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 ¯

¯, LA ≡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. ForCartan connection, the

(8)

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

2m2ijA[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+gijjΦ),

and for constant Φ these coincide with the extended Lorentz paths produced by the Liouville tensor field.

(9)

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.

(10)

[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]

参照

関連したドキュメント

The internal path length of proper generating trees has been studied in [Mer02]; here, we present similar results in the context of lattice paths thus finding an explicit

This relation is particularly useful in solving for the generating functions of certain models of vertex-coloured Dyck paths; this is a directed model of copolymer adsorption, and in

Recent work of Abhyankar and Kulkarni [1, 2] and of Conca, Herzog and Trung [4, 5, 8] showed that the computation of Hilbert series for determi- nantal and pfaffian rings boils down

In Section 3, we construct two bijections between Dyck paths and non-crossing partitions which respectively send the major index on Dyck paths to the ls index and rb index of

Using the semigroup approach for stochastic evolution equations in Banach spaces we obtain existence and uniqueness of solutions with sample paths in the space of continuous

By comparison, the local functional (1.3) does not admit nonconstant local minimizers, the stationary solutions of (1.4) are metastable, and the evolution of (1.4) is through

In our previous papers, we used the theorems in finite operator calculus to count the number of ballot paths avoiding a given pattern.. From the above example, we see that we have

the correspondence among the class of lattice paths using north, south, east, and west steps, begin- ning and ending at 0 0 ; the class of 2-colored Motzkin paths having the