An equivalent form of Young's inequality with upper bound

Young's integral inequality is complemented with an upper bound to the remainder. The new inequality turns out to be equivalent to Young's inequality, and the cases in which the equality holds become particularly transparent in the new formulation.Comment: 5 pages. v2: Title changed to match published version. Previous title: "Doubling Young's inequality

Classical aspects of lightlike dimensional reduction

Some aspects of lightlike dimensional reduction in flat spacetime are studied with emphasis to classical applications. Among them the Galilean transformation of shadows induced by inertial frame changes is studied in detail by proving that, (i) the shadow of an object has the same shape in every orthogonal-to-light screen, (ii) if two shadows are simultaneous in an orthogonal-to-light screen then they are simultaneous in any such screen. In particular, the Galilean group in 2+1 dimensions is recognized as an exact symmetry of Nature which acts on the shadows of the events instead that on the events themselves. The group theoretical approach to lightlike dimensional reduction is used to solve the reconstruction problem of a trajectory starting from its acceleration history or from its projected (shadow) trajectory. The possibility of obtaining a Galilean projected physics starting from a Poincar\'e invariant physics is stressed through the example of relativistic collisions. In particular, it is shown that the projection of a relativistic collision between massless particles gives a non-relativistic collision in which the kinetic energy is conserved.Comment: Latex2e, 28 pages, 3 figures, uses psfra

Completeness of first and second order ODE flows and of Euler-Lagrange equations

Two results on the completeness of maximal solutions to first and second order ordinary differential equations (or inclusions) over complete Riemannian manifolds, with possibly time-dependent metrics, are obtained. Applications to Lagrangian mechanics and gravitational waves are given.Comment: 17 pages. v2: a few typos have been fixe

Affine sphere relativity

We investigate spacetimes whose light cones could be anisotropic. We prove the equivalence of the structures: (a) Lorentz-Finsler manifold for which the mean Cartan torsion vanishes, (b) Lorentz-Finsler manifold for which the indicatrix (observer space) at each point is a convex hyperbolic affine sphere centered on the zero section, and (c) pair given by a spacetime volume and a sharp convex cone distribution. The equivalence suggests to describe {\em (affine sphere) spacetimes} with this structure, so that no algebraic-metrical concept enters the definition. As a result, this work shows how the metric features of spacetime emerge from elementary concepts such as measure and order. Non-relativistic spacetimes are obtained replacing proper spheres with improper spheres, so the distinction does not call for group theoretical elements. In physical terms, in affine sphere spacetimes the light cone distribution and the spacetime measure determine the motion of massive and massless particles (hence the dispersion relation). Furthermore, it is shown that, more generally, for Lorentz-Finsler theories non-differentiable at the cone, the lightlike geodesics and the transport of the particle momentum over them are well defined though the curve parametrization could be undefined. Causality theory is also well behaved. Several results for affine sphere spacetimes are presented. Some results in Finsler geometry, for instance in the characterization of Randers spaces, are also included.Comment: Latex, 56 pages, one figur

An equivalence of Finslerian relativistic theories

In Lorentz-Finsler geometry it is natural to define the Finsler Lagrangian over a cone (Asanov's approach) or over the whole slit tangent bundle (Beem's approach). In the former case one might want to add differentiability conditions at the boundary of the (timelike) cone in order to retain the usual definition of lightlike geodesics. It is shown here that if this is done then the two theories coincide, namely the `conic' Finsler Lagrangian is the restriction of a slit tangent bundle Lagrangian. Since causality theory depends on curves defined through the future cone, this work establishes the essential uniqueness of (sufficiently regular) Finsler spacetime theories and Finsler causality.Comment: 11 pages. v2: shortened introduction, added references. Changed title. The previous title was: The definition of Finsler spacetim

The representation of spacetime through steep time functions

In a recent work I showed that the family of smooth steep time functions can be used to recover the order, the topology and the (Lorentz-Finsler) distance of spacetime. In this work I present the main ideas entering the proof of the (smooth) distance formula, particularly the product trick which converts metric statements into causal ones. The paper ends with a second proof of the distance formula valid in globally hyperbolic Lorentzian spacetimes.Comment: 11 pages. v2: minor changes, matches version accepted for publication in the Proceedings of the meeting "Non-Regular Spacetime geometry", 20-22 June 2017, Firenz

Causality theory for closed cone structures with applications

We develop causality theory for upper semi-continuous distributions of cones over manifolds generalizing results from mathematical relativity in two directions: non-round cones and non-regular differentiability assumptions. We prove the validity of most results of the regular Lorentzian causality theory including causal ladder, Fermat's principle, notable singularity theorems in their causal formulation, Avez-Seifert theorem, characterizations of stable causality and global hyperbolicity by means of (smooth) time functions. For instance, we give the first proof for these structures of the equivalence between stable causality, $K$-causality and existence of a time function. The result implies that closed cone structures that admit continuous increasing functions also admit smooth ones. We also study proper cone structures, the fiber bundle analog of proper cones. For them we obtain most results on domains of dependence. Moreover, we prove that horismos and Cauchy horizons are generated by lightlike geodesics, the latter being defined through the achronality property. Causal geodesics and steep temporal functions are obtained with a powerful product trick. The paper also contains a study of Lorentz-Minkowski spaces under very weak regularity conditions. Finally, we introduce the concepts of stable distance and stable spacetime solving two well known problems (a) the characterization of Lorentzian manifolds embeddable in Minkowski spacetime, they turn out to be the stable spacetimes, (b) the proof that topology, order and distance (with a formula a la Connes) can be represented by the smooth steep temporal functions. The paper is self-contained, in fact we do not use any advanced result from mathematical relativity.Comment: Latex2e, 138 pages. Work presented at the meetings "Non-regular spacetime geometry", Firenze, June 20-22, 2017, and "Advances in General Relativity", ESI Vienna, August 28 - September 1, 2017. v3: added distance formula for stably causal (rather than just stable) spacetimes. v4: Added a few regularity results, final versio

Light cones in Finsler spacetime

Some foundational results on the geometry of Lorentz-Minkowski spaces and Finsler spacetimes are obtained. We prove that the local light cone structure of a reversible Finsler spacetime with more than two dimensions is topologically the same as that of Lorentzian spacetimes: at each point we have just two strictly convex causal cones which intersect only at the origin. Moreover, we prove a reverse Cauchy-Schwarz inequality for these spaces and a corresponding reverse triangle inequality. The Legendre map is proved to be a diffeomorphism in the general pseudo-Finsler case provided the dimension is larger than two.Comment: 24 pages. v2: modified Example 1 v3: updated references, matches published versio

K-causality coincides with stable causality

It is proven that K-causality coincides with stable causality, and that in a K-causal spacetime the relation K^+ coincides with the Seifert's relation. As a consequence the causal relation "the spacetime is strongly causal and the closure of the causal relation is transitive" stays between stable causality and causal continuity.Comment: 11 pages, 2 figure