Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-10-22 (gpt-6.1-sol)
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

Physical scope

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 Iω=[ω−,ω+] with 0<ω−<ω+<∞, in s−1. The constant-coefficient branch below is adopted as an effective phase-response model only for ω∈Iω, 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 ω>0. In a homogeneous source-free region take ρf=0, Jf=0 and select the nonconducting, lossless constitutive branch

D=εE,B=μH,

where ε∈R3×3 is a constant real symmetric positive-definite absolute permittivity tensor in F m−1, and μ>0 is a constant real scalar absolute permeability in H m−1. These are declared model coefficients, not dimensionless relative coefficients. Here lossless means these coefficients are real and the conductive current density Jc=σE is absent, σ=0; no dispersive or absorbing coefficient is included. Fix right-handed Cartesian coordinates and the phasor convention

E(x,t)=Re⁡ ⁣(e ei(k⋅x−ωt)),B(x,t)=Re⁡ ⁣(b ei(k⋅x−ωt)),

with k∈R3∖{0} in m−1, ω>0 in s−1, and complex amplitudes e,b∈C3. Write d=εe and h=μ−1b for the displacement and magnetic-intensity amplitudes, in C m−2 and A m−1. For complex vectors use the bilinear dot product u⋅v=∑r=13urvr, with no conjugation. The anisotropic Maxwell symbol is the linear map

M(k,ω)e:=k×(μ−1(k×e))+ω2εe.

A nonzero amplitude e is a source-free plane-wave mode in this branch exactly when M(k,ω)e=0; its magnetic amplitudes are b=(k×e)/ω and h=b/μ. The cross product is extended complex-bilinearly. In this model k⋅d=0, while k⋅e need not vanish.

Derivation from the source-free Maxwell equations

For the real plane-wave fields above, the source-free macroscopic equations are curl⁡E=−∂tB, curl⁡H=∂tD, div⁡B=0, and div⁡D=0. Their phasor amplitudes are k×e=ωb, k×h=−ωd, k⋅b=0, and k⋅d=0: spatial differentiation multiplies the common phase by ik, time differentiation by −iω, and equality of the real encodings for all (x,t) forces equality of their complex amplitudes.

With d=εe and h=μ−1b, the first curl equation gives b=(k×e)/ω. Substitution into the second gives M(k,ω)e=0. Conversely, if this symbol equation holds, define b=(k×e)/ω and h=b/μ. 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 k gives ω2k⋅εe=0, hence k⋅d=0; also k⋅b=0 because k⋅(k×e)=0. 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

Dependency tree · 2 levels

Sources