Spray (mathematics) explained

In differential geometry, a spray is a vector field H on the tangent bundle TM that encodes a quasilinear second order system of ordinary differential equations on the base manifold M. Usually a spray is required to be homogeneous in the sense that its integral curves t→ΦHt(ξ)∈TM obey the rule ΦHt(λξ)=ΦHλt(ξ) in positive re-parameterizations. If this requirement is dropped, H is called a semi-spray.

Sprays arise naturally in Riemannian and Finsler geometry as the geodesic sprays whose integral curves are precisely the tangent curves of locally length minimizing curves.Semisprays arise naturally as the extremal curves of action integrals in Lagrangian mechanics. Generalizing all these examples, any (possibly nonlinear) connection on M induces a semispray H, and conversely, any semispray H induces a torsion-free nonlinear connection on M. If the original connection is torsion-free it coincides with the connection induced by H, and homogeneous torsion-free connections are in one-to-one correspondence with full sprays.[1]

Formal definitions

Let M be a differentiable manifold and (TMTM,M) its tangent bundle. Then a vector field H on TM (that is, a section of the double tangent bundle TTM) is a semi-spray on M, if any of the three following equivalent conditions holds:

A semispray H on M is a (full) spray if any of the following equivalent conditions hold:

Let

(xi,\xii)

be the local coordinates on

TM

associated with the local coordinates

(xi

) on

M

using the coordinate basis on each tangent space. Then

H

is a semi-spray on

M

if it has a local representation of the form

H\xi=

i\partial
\partialxi
\xi

|(x,\xi)-

i(x,\xi)\partial
\partial\xii
2G

|(x,\xi).

on each associated coordinate system on TM. The semispray H is a (full) spray, if and only if the spray coefficients Gi satisfy

Gi(x,λ\xi)=λ2Gi(x,\xi),λ>0.

Semi-sprays in Lagrangian mechanics

A physical system is modeled in Lagrangian mechanics by a Lagrangian function L:TMR on the tangent bundle of some configuration space M. The dynamical law is obtained from the Hamiltonian principle, which states that the time evolution γ:[''a'',''b'']→M of the state of the system is stationary for the action integral

lS(\gamma):=

b
\intL(\gamma(t),
a
\gamma(t))dt
.In the associated coordinates on TM the first variation of the action integral reads as
d
ds

|s=0lS(\gammas) =

b
|
a
\partialL
\partial\xii

Xi-

b
\int(
a
\partial2L
\partial\xij\partial\xii

\ddot\gammaj +

\partial2L
\partialxj\partial\xii
\gamma

j-

\partialL
\partialxi

)Xidt,

where X:[''a'',''b'']→R is the variation vector field associated with the variation γs:[''a'',''b'']→M around γ(t) = γ0(t). This first variation formula can be recast in a more informative form by introducing the following concepts:

\alpha\xi=\alphai(x,\xi)

i|
dx
x\in
*M
T
x
with

\alphai(x,\xi)=\tfrac{\partialL}{\partial\xii}(x,\xi)

is the conjugate momentum of

\xi\inTxM

.

\alpha\in\Omega1(TM)

with

\alpha\xi=\alphai(x,\xi)

i|
dx
(x,\xi)

\in

*
T
\xi

TM

is the Hilbert-form associated with the Lagrangian.

g\xi=gij(x,\xi)(dxi

j)|
dx
x
with

gij(x,\xi)=\tfrac{\partial2L}{\partial\xii\partial\xij}(x,\xi)

is the fundamental tensor of the Lagrangian at

\xi\inTxM

.

\displaystyleg\xi

is non-degenerate at every

\xi\inTxM

. Then the inverse matrix of

\displaystylegij(x,\xi)

is denoted by

\displaystylegij(x,\xi)

.

\displaystyleE(\xi)=\alpha\xi(\xi)-L(\xi)

.

If the Legendre condition is satisfied, then dα∈Ω2(TM) is a symplectic form, and there exists a unique Hamiltonian vector field H on TM corresponding to the Hamiltonian function E such that

\displaystyledE=-\iotaHd\alpha

.Let (Xi,Yi) be the components of the Hamiltonian vector field H in the associated coordinates on TM. Then

\iotaHd\alpha=Yi

\partial2L
\partial\xii\partialxj

dxj-Xi

\partial2L
\partial\xii\partialxj

d\xij

and

dE=(

\partial2L
\partialxi\partial\xij

\xij-

\partialL
\partialxi

)dxi+ \xij

\partial2L
\partial\xii\partialxj

d\xii

so we see that the Hamiltonian vector field H is a semi-spray on the configuration space M with the spray coefficients

Gk(x,\xi)=

gki(
2
\partial2L
\partial\xii\partialxj

\xij-

\partialL
\partialxi

).

Now the first variational formula can be rewritten as
d
ds

|s=0lS(\gammas) =

b
|
a

\alphaiXi-

b
\int
a

gik(\ddot\gammak+2Gk)Xidt,

and we see γ[''a'',''b'']→M is stationary for the action integral with fixed end points if and only if its tangent curve γ':[''a'',''b'']→TM is an integral curve for the Hamiltonian vector field H. Hence the dynamics of mechanical systems are described by semisprays arising from action integrals.

Geodesic spray

The locally length minimizing curves of Riemannian and Finsler manifolds are called geodesics. Using the framework of Lagrangian mechanics one can describe these curves with spray structures. Define a Lagrangian function on TM by

L(x,\xi)=\tfrac{1}{2}F2(x,\xi),

where F:TMR is the Finsler function. In the Riemannian case one uses F2(x,ξ) = gij(xiξj. Now introduce the concepts from the section above. In the Riemannian case it turns out that the fundamental tensor gij(x,ξ) is simply the Riemannian metric gij(x). In the general case the homogeneity condition

F(x,λ\xi)=λF(x,\xi),λ>0

of the Finsler-function implies the following formulae:

\alphai=gij\xii,

2=g
F
ij

\xii\xij,E=

i
\alpha
i\xi

-L=\tfrac{1}{2}F2.

In terms of classical mechanics, the last equation states that all the energy in the system (M,L) is in the kinetic form. Furthermore, one obtains the homogeneity properties

gij(λ\xi)=gij(\xi),\alphai(x,λ\xi)=λ\alphai(x,\xi), Gi(x,λ\xi)=λ2Gi(x,\xi),

of which the last one says that the Hamiltonian vector field H for this mechanical system is a full spray. The constant speed geodesics of the underlying Finsler (or Riemannian) manifold are described by this spray for the following reasons:
F(\gamma(t),\gamma(t))
, since the energy is automatically a constant of motion.

\gamma:[a,b]\toM

of constant speed the action integral and the length functional are related by

lS(\gamma)=

(b-a)λ2
2

=

\ell(\gamma)2
2(b-a)

.

Therefore, a curve

\gamma:[a,b]\toM

is stationary to the action integral if and only if it is of constant speed and stationary to the length functional. The Hamiltonian vector field H is called the geodesic spray of the Finsler manifold (M,F) and the corresponding flow ΦHt(ξ) is called the geodesic flow.

Correspondence with nonlinear connections

A semi-spray

H

on a smooth manifold

M

defines an Ehresmann-connection

T(TM\setminus0)=H(TM\setminus0)V(TM\setminus0)

on the slit tangent bundle through its horizontal and vertical projections

h:T(TM\setminus0)\toT(TM\setminus0);h=\tfrac{1}{2}(I-lLHJ),

v:T(TM\setminus0)\toT(TM\setminus0);v=\tfrac{1}{2}(I+lLHJ).

This connection on TM\0 always has a vanishing torsion tensor, which is defined as the Frölicher-Nijenhuis bracketT=[''J'',''v'']. In more elementary terms the torsion can be defined as

\displaystyleT(X,Y)=J[hX,hY]-v[JX,hY]-v[hX,JY].

Introducing the canonical vector field V on TM\0 and the adjoint structure Θ of the induced connection the horizontal part of the semi-spray can be written as hHV. The vertical part ε=vH of the semispray is known as the first spray invariant, and the semispray H itself decomposes into

\displaystyleH=\ThetaV+\epsilon.

The first spray invariant is related to the tension

\tau=lLVv=\tfrac{1}{2}lL[V,H]-HJ

of the induced non-linear connection through the ordinary differential equation

lLV\epsilon+\epsilon=\tau\ThetaV.

Therefore, the first spray invariant ε (and hence the whole semi-spray H) can be recovered from the non-linear connection by

\epsilon|\xi=

0
\int\limits
-infty

e-s

-s
(\Phi
V

)*(\tau\Theta

V)|
s(\xi)
\Phi
V

ds.

From this relation one also sees that the induced connection is homogeneous if and only if H is a full spray.

Jacobi fields of sprays and semi-sprays

A good source for Jacobi fields of semisprays is Section 4.4, Jacobi equations of a semi-spray of the publicly available book Finsler-Lagrange Geometry by Bucătaru and Miron. Of particular note is their concept of a dynamic covariant derivative. In another paper Bucătaru, Constantinescu and Dahl relate this concept to that of the Kosambi bi-derivative operator.

For a good introduction to Kosambi's methods, see the article, What is Kosambi-Cartan-Chern theory?.

References

  1. I. Bucataru, R. Miron, Finsler-Lagrange Geometry, Editura Academiei Române, 2007.