-
On the tensorial properties of the generalized Jacobi equation
Authors:
Matias F. Dahl,
Ricardo Gallego Torromé
Abstract:
The generalized Jacobi equation is a differential equation in local coordinates that describes the behavior of infinitesimally close geodesics with an arbitrary relative velocity. In this note we study some transformation properties for solutions to this equation. We prove two results. First, under any affine coordinate changes we show that the tensor transformation rule maps solutions to solution…
▽ More
The generalized Jacobi equation is a differential equation in local coordinates that describes the behavior of infinitesimally close geodesics with an arbitrary relative velocity. In this note we study some transformation properties for solutions to this equation. We prove two results. First, under any affine coordinate changes we show that the tensor transformation rule maps solutions to solutions. As a consequence, the generalized Jacobi equation is a tensor equation when restricted to suitable Fermi coordinate systems along a geodesic. Second, in dimensions n\ge 3, we explicitly show that the transformation rule does not in general preserve solutions to the generalized Jacobi equation.
△ Less
Submitted 21 May, 2012;
originally announced May 2012.
-
Characterisation and representation of non-dissipative electromagnetic medium with a double light cone
Authors:
Matias F. Dahl
Abstract:
We study Maxwell's equations on a 4-manifold N with a medium that is non-dissipative and has a linear and pointwise response. In this setting, the medium can be represented by a suitable (2,2)-tensor on the 4-manifold N. Moreover, in each cotangent space on N, the medium defines a Fresnel surface. Essentially, the Fresnel surface is a tensorial analogue of the dispersion equation that describes th…
▽ More
We study Maxwell's equations on a 4-manifold N with a medium that is non-dissipative and has a linear and pointwise response. In this setting, the medium can be represented by a suitable (2,2)-tensor on the 4-manifold N. Moreover, in each cotangent space on N, the medium defines a Fresnel surface. Essentially, the Fresnel surface is a tensorial analogue of the dispersion equation that describes the response of the medium for signals in the geometric optics limit. For example, in isotropic medium the Fresnel surface is at each point a Lorentz light cone. In a recent paper, I. Lindell, A. Favaro and L. Bergamin introduced a condition that constrains the polarisation for plane waves. In this paper we show (under suitable assumptions) that a slight strengthening of this condition gives a pointwise characterisation of all medium tensors for which the Fresnel surface is the union of two distinct Lorentz null cones. This is for example the behaviour of uniaxial medium like calcite. Moreover, using the representation formulas from Lindell et al. we obtain a closed form representation formula that pointwise parameterises all medium tensors for which the Fresnel surface is the union of two distinct Lorentz null cones. Both the characterisation and the representation formula are tensorial and do not depend on local coordinates.
△ Less
Submitted 28 March, 2012;
originally announced March 2012.
-
Non-dissipative electromagnetic medium with a double light cone
Authors:
Matias F. Dahl
Abstract:
We study Maxwell's equations on a 4-manifold where the electromagnetic medium is modelled by an antisymmetric (2, 2)-tensor kappa with real coefficients. In this setting the Fresnel surface is a fourth order polynomial surface in each cotangent space that acts as a generalisation of the light cone determined by a Lorentz metric; the Fresnel surface parameterises electromagnetic wave-speeds as a fu…
▽ More
We study Maxwell's equations on a 4-manifold where the electromagnetic medium is modelled by an antisymmetric (2, 2)-tensor kappa with real coefficients. In this setting the Fresnel surface is a fourth order polynomial surface in each cotangent space that acts as a generalisation of the light cone determined by a Lorentz metric; the Fresnel surface parameterises electromagnetic wave-speeds as a function of direction. The contribution of this paper is the complete pointwise description of all electromagnetic medium tensors that satisfy the following conditions:
(i) kappa is invertible,
(ii) kappa is skewon-free,
(iii) kappa is birefringent, that is, the Fresnel surface of kappa is the union of two distinct light cones.
We show that there are only three classes of mediums with these properties. Moreover, we give explicit expressions in local coordinates for each class.
△ Less
Submitted 21 August, 2011;
originally announced August 2011.
-
A restatement of the normal form theorem for area metrics
Authors:
Matias F. Dahl
Abstract:
An area metric is a (0,4)-tensor with certain symmetries on a 4-manifold that represent a non-dissipative linear electromagnetic medium. A recent result by Schuller, Witte and Wohlfarth provides a pointwise normal form theorem for such area metrics. This result is similar to the Jordan normal form theorem for (1,1)-tensors, and the result shows that any area metric belongs to one of 23 metaclasses…
▽ More
An area metric is a (0,4)-tensor with certain symmetries on a 4-manifold that represent a non-dissipative linear electromagnetic medium. A recent result by Schuller, Witte and Wohlfarth provides a pointwise normal form theorem for such area metrics. This result is similar to the Jordan normal form theorem for (1,1)-tensors, and the result shows that any area metric belongs to one of 23 metaclasses with explicit coordinate expressions for each metaclass. In this paper we restate and prove this result for skewon-free (2,2)-tensors and show that in general, each metaclasses has three different coordinate representations, and each of metaclasses I, II, ..., VI, VII need only one coordinate representation.
△ Less
Submitted 28 December, 2011; v1 submitted 21 August, 2011;
originally announced August 2011.
-
Determination of electromagnetic medium from the Fresnel surface
Authors:
Matias F. Dahl
Abstract:
We study Maxwell's equations on a 4-manifold where the electromagnetic medium is described by an antisymmetric $2\choose 2$-tensor $κ$. In this setting, the Tamm-Rubilar tensor density determines a polynomial surface of fourth order in each cotangent space. This surface is called the Fresnel surface and acts as a generalisation of the light-cone determined by a Lorentz metric; the Fresnel surface…
▽ More
We study Maxwell's equations on a 4-manifold where the electromagnetic medium is described by an antisymmetric $2\choose 2$-tensor $κ$. In this setting, the Tamm-Rubilar tensor density determines a polynomial surface of fourth order in each cotangent space. This surface is called the Fresnel surface and acts as a generalisation of the light-cone determined by a Lorentz metric; the Fresnel surface parameterises electromagnetic wave-speed as a function of direction. Favaro and Bergamin have recently proven that if $κ$ has only a principal part and if the Fresnel surface of $κ$ coincides with the light cone for a Lorentz metric $g$, then $κ$ is proportional to the Hodge star operator of $g$. That is, under additional assumptions, the Fresnel surface of $κ$ determines the conformal class of $κ$. The purpose of this paper is twofold. First, we provide a new proof of this result using Gröbner bases. Second, we describe a number of cases where the Fresnel surface does not determine the conformal class of the original $2\choose 2$-tensor $κ$. For example, if $κ$ is invertible we show that $κ$ and $κ^{-1}$ have the same Fresnel surfaces.
△ Less
Submitted 16 March, 2011;
originally announced March 2011.
-
A geometric setting for systems of ordinary differential equations
Authors:
Ioan Bucataru,
Oana Constantinescu,
Matias F. Dahl
Abstract:
To a system of second order ordinary differential equations (SODE) one can assign a canonical nonlinear connection that describes the geometry of the system. In this work we develop a geometric setting that allows us to assign a canonical nonlinear connection also to a system of higher order ordinary differential equations (HODE). For this nonlinear connection we develop its geometry, and explicit…
▽ More
To a system of second order ordinary differential equations (SODE) one can assign a canonical nonlinear connection that describes the geometry of the system. In this work we develop a geometric setting that allows us to assign a canonical nonlinear connection also to a system of higher order ordinary differential equations (HODE). For this nonlinear connection we develop its geometry, and explicitly compute all curvature components of the corresponding Jacobi endomorphism. Using these curvature components we derive a Jacobi equation that describes the behavior of nearby geodesics to a HODE. We motivate the applicability of this nonlinear connection using examples from the equivalence problem, the inverse problem of the calculus of variations, and biharmonicity. For example, using components of the Jacobi endomorphism we express two Wuenschmann-type invariants that appear in the study of scalar third or fourth order ordinary differential equations.
△ Less
Submitted 26 November, 2010;
originally announced November 2010.
-
Semi-basic 1-forms and Helmholtz conditions for the inverse problem of the calculus of variations
Authors:
Ioan Bucataru,
Matias F. Dahl
Abstract:
We use Frölicher-Nijenhuis theory to obtain global Helmholtz conditions, expressed in terms of a semi-basic 1-form, that characterize when a semispray is locally Lagrangian. We also discuss the relation between these Helmholtz conditions and their classic formulation written using a multiplier matrix. When the semi-basic 1-form is 1-homogeneous (0-homogeneous) we show that two (one) of the Helmh…
▽ More
We use Frölicher-Nijenhuis theory to obtain global Helmholtz conditions, expressed in terms of a semi-basic 1-form, that characterize when a semispray is locally Lagrangian. We also discuss the relation between these Helmholtz conditions and their classic formulation written using a multiplier matrix. When the semi-basic 1-form is 1-homogeneous (0-homogeneous) we show that two (one) of the Helmholtz conditions are consequences of the other ones. These two special cases correspond to two inverse problems in the calculus of variation: Finsler metrizability for a spray, and projective metrizability for a spray.
△ Less
Submitted 6 March, 2009;
originally announced March 2009.
-
Electromagnetic fields from contact forms
Authors:
Matias F. Dahl
Abstract:
In this short note we prove that every contact form on a 3-manifold M induces a solution to Maxwell's equations on M.
In this short note we prove that every contact form on a 3-manifold M induces a solution to Maxwell's equations on M.
△ Less
Submitted 12 November, 2008;
originally announced November 2008.
