The optical metric was defined by German theoretical physicist Walter Gordon in 1923 W. Gordon, 1923, Annals of Physics (New York), 22, 421 to study the geometrical optics in curved space-time filled with moving dielectric materials.
Let be the normalized (covariant) 4-velocity of the arbitrarily-moving dielectric medium filling the space-time, and assume that the fluid's electromagnetic properties are linear, isotropic, transparent, nondispersive, and can be summarized by two scalar functions: a dielectric permittivity and a magnetic permeability .J. D. Jackson, "Classical Electrodynamics", 1998, (John Wiley & Sons Inc, New York)
Then the optical metric tensor is defined as
where is the physical metric tensor. The sign of is determined by the metric signature convention used: is replaced with a plus sign (+) for a metric signature (-,+,+,+), while a minus sign (-) is chosen for (+,-,-,-).
The inverse (contravariant) optical metric tensor is
where is the contravariant 4-velocity of the moving fluid. Note that the traditional refractive index is defined as .
Properties
An important fact about Gordon's optical metric is that in curved space-time filled with dielectric material, electromagnetic waves (under geometrical optics approximation) follows geodesics of the optical metric instead of the physical metric. Consequently, the study of geometric optics in curved space-time with dielectric material can sometimes be simplified by using optical metric (note that the dynamics of the physical system is still described by the physical metric). For example, optical metric can be used to study the radiative transfer in stellar atmospheres around compact astrophysical objects such as neutron stars and white dwarfs, and in accretion disks around black holes.J. I. Castor, Radiation Hydrodynamics, 2007, (Cambridge University Press, Cambridge) In cosmology, optical metric can be used to study the distance-redshift relation in cosmological models in which the intergalactic or interstellar medium have a non-vanishing refraction index.
History
After the original introduction of the concept of optical metric by Gordon in 1923, the mathematical formalism of optical metric was further investigated by Jürgen Ehlers in 1967J. Ehlers, 1968, Z. Naturforsch. 22a, 1328 including a detailed discussion of the geometrical optical approximation in curved space-time and the optical scalars transport equation. Gordon's optical metric was extended by Bin Chen and Ronald KantowskiB. Chen, R. Kantowski, 2009, Physical Review D 79, 104007; B. Chen, R. Kantowski, 2009, Physical Review D, 80, 044019 to include light absorption. The original real optical metric was consequently extended into a complex one. The optical metric was further generalized by Robert Thompson from simple isotropic media described only by scalar-valued and to bianisotropic, magnetoelectrically coupled media residing in curved background space-times.
Applications
The first application of Gordon's optical metric theory to cosmology was also made by Bin Chen and Ronald Kantowski.B. Chen, R. Kantowski, 2008, Physical Review D 78, 044040
The absorption corrected distance-redshift relation in the homogeneous and isotropic Friedman-Lemaitre-Robertson-Walker (FLRW) universe is called Gordon-Chen-Kantowski formalism J. A. S. Lima, J. V. Cunha, V. T. Zanchin, 2012, Astrophysical Journal Letter, 742, 26 and can be used to study the absorption of intergalactic medium (or cosmic opacity) in the Universe.
For example, the physical metric for a Robertson-Walker spacetime can be written (using the metric signature (-,+,+,+))
where for a closed, flat, or open universe, and is the scale factor. On the other hand, the optical metric for Robertson-Walker Universe filled with rest homogeneous refraction material is
where the cosmic-time dependent refraction index.
The luminosity distance-redshift relation in a Flat FLRW universe with dark absorption can be written
where is the cosmological redshift, is the light speed, the Hubble Constant, is the optical depth caused by absorption (or the so-called cosmic opacity), and is the dimensionless Hubble curve.
A non-zero cosmic opacity will render the standard candles such as Type Ia supernovae appear dimmer than expected from a transparent Universe. This can be used as an alternative explanation of the observed apparent acceleration of the cosmic expansion.
Analogue gravity
In analog models of gravity, the "Gordon form" expresses the metric for a curved spacetime as the sum of a flat (Minkowski) metric and a 4-velocity field u:
where n is the refractive index. This is analogous to Kerr-Schild form, which uses a null vector field in place of timelike. An open question is which spacetimes can be expressed in this way. The challenge is to pick coordinate systems for which the above relationship holds. Schwarzschild spacetime, which describes a non-rotating black hole, can be expressed this way.K. Rosquist 2004, General Relativity and Gravitation, 2004 There has been progress for Kerr spacetime which describes a rotating black hole, but this case remains elusive.S. Liberati, G. Tricella, and M. Visser, 2018, Classical and Quantum Gravity
Electrodynamics in media residing in curved space-times The dielectric permittivity and magnetic permeability are usually understood within the 3-vector representation of electrodynamics via the relations and where and are, respectively, the electric field, magnetic flux density, electric displacement, and magnetic field intensity, and where and could be matrices. On the other hand, general relativity is formulated in the language of 4-dimensional tensors. To obtain the tensorial optical metric, medium properties such as permittivity, permeability, and magnetoelectric couplings must first be promoted to 4-dimensional covariant tensors, and the electrodynamics of light propagation through such media residing within a background space-time must also be expressed in a compatible 4-dimensional way. Here, electrodynamic fields will be described in terms of differential forms, exterior algebra, and the exterior derivative. Similar to the way that 3-vectors are denoted with an arrow, as in 4-dimensional tensors will be denoted by bold symbols, for example The musical isomorphisms will be used to indicate raising and lowering of indices with the metric, and a dot notation is used to denote contraction on adjacent indices, e.g. The speed of light is set to and the vacuum permeability and permittivity are likewise set to 1.
The fundamental quantity of electrodynamics is the potential 1-form from which the field strength tensor is the 2-form From the nilpotency of the exterior derivative one immediately has the homogeneous Maxwell equations while a variation of the Yang-Mills action with respect to provides the inhomogeneous Maxwell equations where is the charge-current 3-form. Within dielectric media there exist charges bound up in otherwise neutral atoms. These charges are not free to move around very much, but distortions to the distribution of charge within the atom can allow dipole (or more generally multipole) moments to form, with which is associated a dipole field. Separating bound and free charges in the charge-current three form the bound source is associated with a particular solution called the polarization field satisfying One may then write with the constitutive equation In linear media, the dipole moment is induced by the incident free field in such a way that the polarization field is linearly proportional to the free field, (in indices this is ). Then the constitutive equation can be written The tensor is antisymmetric in each pair of indices, and the vacuum is seen to be a trivial dielectric such that This means that the distribution of dielectric material within the curved background space-time can be completely described functionally by giving and smooth transitions from vacuum into media can be described.
The electric and magnetic fields and as they are commonly understood in the 3-vector representation, have no independent existence. They are merely different parts of the 2-forms and as measured relative to a chosen observer. Let be the contravariant velocity 4-vector of the observer. Then one may define the covariant 1-forms The corresponding 3-vectors are obtained in Minkowski space-time by taking the purely spatial (relative to the observer) parts of the contravariant versions of these 1-forms. These 1-form field definitions can be used to re-express the 2-form constitutive equation to a set of two 1-form equations where the tensors and are Note that each of these tensors is orthogonal, or transverse, to meaning that for each , which can be seen from the antisymmetry of on each pair of indices. Since each of the 1-form fields defined above is also transverse to we may conclude that each is an automorphism of a subspace of the cotangent space defined by orthogonality with respect to the observer. In other words, everything operates in the observer's purely spatial 3-dimensional space. In terms of these parameters, is found to be Although the set of 1-form constitutive equations shown above are the ones that follow most naturally from the covariant 2-form constitutive equation , they are not the only possibility. Indeed, the traditional 3-vector formulation of the constitutive equations usually relates and by . Therefore, it could be desirable to rearrange the preceding set of relations into where are related to by The 4-dimensional inverse of these tensors does not exist, but the bar notation denotes an inverse defined with respect to the subspace orthogonal to which exists and is a valid operation since it was noted above that is an automorphism of this subspace. In Minkowski space-time, the space-space part (relative to observer ) of each of these tensors is equivalent to the traditional constitutive matrices of 3-vector electrodynamics. In terms of this alternative set of constitutive tensors, is found to be Here, is a projection operator that annihilates any tensor components parallel to Since then also serves as the Kronecker delta on the subspace orthogonal to In the vacuum,
Geometric optics and the optical metric