How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Anisotropic Maxwell symbol
A source-free bulk plane-wave sector of the macroscopic Maxwell model in one fixed material rest frame, with constant real symmetric positive-definite absolute permittivity tensor and constant positive scalar absolute permeability, interpreted as an effective phase-response model only on a declared finite positive-frequency band. The symbol algebra is defined for every positive frequency; no broadband material response or universal front speed is asserted. Interfaces, spatial dispersion, loss, experimental material data and finite-energy conditions are outside this definition.
Definition
Use a material-rest frame: an inertial chart in which each modelled material element has fixed spatial coordinates. Use the macroscopic fields of the classical electromagnetic material model. For physical interpretation declare a finite angular-frequency band with , in . The constant-coefficient branch below is adopted as an effective phase-response model only for , as required by the material-closure postulate; it asserts no broadband material response or universal front speed. The symbol and its algebraic Maxwell equivalence remain defined for every . In a homogeneous source-free region take , and select the nonconducting, lossless constitutive branch
where is a constant real symmetric positive-definite absolute permittivity tensor in , and is a constant real scalar absolute permeability in . These are declared model coefficients, not dimensionless relative coefficients. Here lossless means these coefficients are real and the conductive current density is absent, ; no dispersive or absorbing coefficient is included. Fix right-handed Cartesian coordinates and the phasor convention
with in , in , and complex amplitudes . Write and for the displacement and magnetic-intensity amplitudes, in and . For complex vectors use the bilinear dot product , with no conjugation. The anisotropic Maxwell symbol is the linear map
A nonzero amplitude is a source-free plane-wave mode in this branch exactly when ; its magnetic amplitudes are and . The cross product is extended complex-bilinearly. In this model , while need not vanish.
Definition references
Declared material-closure branches: linear nondispersive Ohmic response and the causal memory branch
The macroscopic Maxwell equations in terms of D, H and the free sources
Real plane-wave fields encoded by complex amplitudes
Framework-local SI units, the vacuum constants and the exact/measured status of their values
Derivation from the source-free Maxwell equations
For the real plane-wave fields above, the source-free macroscopic equations are , , , and . Their phasor amplitudes are , , , and : spatial differentiation multiplies the common phase by , time differentiation by , and equality of the real encodings for all forces equality of their complex amplitudes.
With and , the first curl equation gives . Substitution into the second gives . Conversely, if this symbol equation holds, define and . The first curl equation then holds by definition, and the second is the symbol equation divided by . Taking the dot product of the symbol equation with gives , hence ; also because . Thus the symbol equation is equivalent to the source-free plane-wave Maxwell amplitude system under the declared coefficients and convention. It is a conditional model formulation, not evidence that any substance realizes these coefficients.
Depends on
Declared material-closure branches: linear nondispersive Ohmic response and the causal memory branch
The macroscopic Maxwell equations in terms of D, H and the free sources
Real plane-wave fields encoded by complex amplitudes
Framework-local SI units, the vacuum constants and the exact/measured status of their values