D. H. Delphenich
Abstract:The conventional formulation of the Fresnel wave and ray surfaces typically involves the implicit use of Euclidian metrics in order to justify treating vectors and covectors as indistinguishable. This tends to disguise the fact that one of the surfaces lives in the cotangent spaces to the spatial (or space-time) manifold, while the other lives in the tangent spaces. Moreover, no mention is made of how to get from tangent spaces to cotangent spaces in the absence of a metric. The following analysis shows how to resolve those issues within the framework of pre-metric electromagnetism. The way that electromagnetic waves imply spatial frames, coframes, and metrics will be explained.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to re - formulate and understand Fresnel wavefronts and ray surfaces without relying on metrics. Specifically, the article aims to:
1. **Distinguish between vector and covector spaces**: Traditionally, when dealing with Fresnel wavefronts and ray surfaces, the Euclidean metric is usually implicitly used to treat vectors and covectors as indistinguishable. This obscures the fact that wavefronts actually exist in tangent spaces, while ray surfaces exist in cotangent spaces. This paper attempts to clearly distinguish these two spaces without metrics.
2. **Introduce the pre - metric electromagnetism framework**: The article shows how to solve the above problems within the framework of pre - metric electromagnetism. In this way, the author explains how electromagnetic waves imply the existence of spatial frames, co - frames, and metrics.
3. **Define the mapping from tangent space to cotangent space**: The article discusses how to map from tangent space to cotangent space without metrics. Specifically, the article introduces the standard frame and co - frame defined by electromagnetic waves, thereby defining this mapping.
4. **Generalize to anisotropic optical media**: The article also explores the application of these concepts in anisotropic optical media, especially how to deal with different types of electromagnetic media and their corresponding dispersion relations.
### Key Formulas
Some of the key formulas involved in the article include:
- The constitutive relations of electromagnetic waves:
\[
D=\epsilon(E, H),\quad B = \mu(E, H)
\]
where \(D\) and \(B\) are electric displacement and magnetic induction intensity respectively, and \(\epsilon\) and \(\mu\) are the permittivity and permeability tensors.
- Maxwell's equations of the electromagnetic field in spacetime form:
\[
d\wedge F = 0,\quad \delta F=- 4\pi J,\quad \delta J = 0
\]
where \(F\) is the electromagnetic field strength 2 - form, \(J\) is the current 1 - form, and \(\delta\) is the codifferential operator.
- Maxwell's equations in metric - free electromagnetism:
\[
d\wedge F = 0,\quad \text{div}H = 4\pi J,\quad \text{div}J = 0,\quad H = C(F)
\]
where \(C\) is the electromagnetic constitutive operator, which maps the electromagnetic field strength 2 - form \(F\) to the bivector field \(H\).
Through these formulas and theoretical frameworks, the article successfully re - formulates the concepts of Fresnel wavefronts and ray surfaces without relying on metrics and explores their applications in a broader physical context.