Search

Let $(M_1,g_1)$ and $(M_2,g_2)$ be two $C^\infty$--differentiable connected, complete Riemannian manifolds, $k:M_1\to\mathbb R$ a $C^\infty$--differentiable function, having $0-K_0^{-1}$, on $M$ and we call Riemannian geodesics of $g$ the geodesics of $g$ which are geodesics of a metric of the previous family, via a suitable reparametrization. Among the properties of these geodesics, we quote: For any $z_0=(x_0,y_0)\in M$ and for any $y_1\in M_2$ there exists a subset $A$ of $M_1$, such that all the geodesics of $g$ joining $z_0$ with a point $(x_1,y_1)$, with $x_1\in A$, are Riemannian. The Riemannian geodesics of $g$ determine a "partial" property of geodesic connection on $M$. Finally, we determine two new classes of semi Riemannian metrics (one of which includes some FLRM-metrics), geodesically connected by Riemannian geodesics of $g$.

We study higher--order variational derivatives of a generic second--order Lagrangian ${\cal L}={\cal L}(x,\phi,\partial\phi,\partial^2\phi)$ and in this context we discuss the Jacobi equation ensuing from the second variation of the action. We exhibit the different integrations by parts which may be performed to obtain the Jacobi equation and we show that there is a particular integration by parts which is invariant. We introduce two new Lagrangians, ${\cal L}_1$ and ${\cal L}_2$, associated to the first and second--order deformations of the original Lagrangian ${\cal L}_0$ respectively; they are in fact the first elements of a whole hierarchy of Lagrangians derived from ${\cal L}_0$. In terms of these Lagrangians we are able to establish simple relations between the variational derivatives of different orders of a given Lagrangian. We then show that the Jacobi equations of ${\cal L}_0$ may be obtained as variational equations, so that the Euler--Lagrange and the Jacobi equations are obtained from a single variational principle based on the first--order variation ${\cal L}_1$ of the Lagrangian. We can furthermore introduce an associated energy--momentum tensor ${{\cal H}^\mu}_\nu$ which turns out to be a conserved quantity if ${\cal L}_0$ is independent of space--time variables., Comment: This article was originally published in Differential Geometry and Applications, Proc. Conf., Aug. 28 - Sept. 1, 1995, Brno, Czech Republic (Masaryk University, Brno, 1996), pp. 353-372. Since it is hardly available we post it here for the interested audience