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.
Fixed-frequency reciprocal tensor medium
A local, linear, fixed-frequency macroscopic phasor model in a material-rest frame, on a bounded C1 Euclidean region, with continuous possibly complex tensor coefficients and C1 solution phasors. This definition imposes transpose symmetry as the reciprocal-coefficient condition; it does not assert causality, passivity, losslessness, existence, uniqueness, or empirical realization.
Definition
Fix a real angular frequency and a bounded open region with boundary in a material-rest frame. Here a material-rest frame is the inertial frame in which every modelled material element has fixed spatial coordinates, as stipulated by the framework's material-closure postulate. A map in means the restriction of a map on an open neighborhood of . Let be continuous coefficient fields with units and . They may be spatially varying and complex. Let and , for , be phasor amplitudes with SI units , , and . The corresponding real fields use , for example . Their displacement and magnetic-induction amplitudes are in and in .
The fixed-frequency constitutive and source equations are
All operators act componentwise on the spatial variable. For , define the bilinear dot product and the complex-bilinear cross product by the usual right-handed component formula. Neither product conjugates either input. The transpose is the ordinary matrix transpose, without complex conjugation. This definition calls the coefficient model reciprocal when and at every . It places no Hermitian, positive-definite, or passivity condition on these complex matrices.
This is a fixed-frequency phasor data class. Its possibly complex coefficients are not inferred from the framework's real, instantaneous material branch; a separate response model is required to justify any such interpretation.