Alphabeta Math
PostulateStatement: AI-adaptedProof: Not applicablePipeline-generated‡ sources checked 2026-10-22
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.

Finite Lorentz oscillator closure

Physical scope

A phenomenological classical Maxwell-Lorentz constitutive model in the material rest frame of the macroscopic electromagnetism framework. It is linear, homogeneous and spatially local, with finitely many electric polarization oscillators and a fixed nondispersive scalar magnetic coefficient. It asserts no microscopic mechanism, material realization or empirical validity; spatial dispersion, nonlinear saturation, moving-media constitutive laws and quantum transitions are outside its scope.

Postulate

Work in a material rest frame: an inertial frame in whose coordinates each modelled material element has fixed spatial position x and history t↦(ct,x), as defined by the framework's earlier material-closure formulation. Let Ω⊆R3 be the material region in that frame and I⊆R a nonempty open time interval. The electric field E:Ω×I→R3, polarization fields Pℓ:Ω×I→R3, and magnetic fields B,H:Ω×I→R3 are real spatial-vector fields in that frame. At every fixed x∈Ω, require E(x,⋅)∈C0(I;R3) and Pℓ(x,⋅)∈C2(I;R3) for each 1≤ℓ≤N, so the displayed time derivatives are classical. These are time-regularity conditions only; this postulate imposes no spatial regularity, which must be stated separately wherever a consuming field-equation result requires it. In SI, E is in V m−1, Pℓ in C m−2, B in T and H in A m−1.

For a fixed finite integer N≥1, adopt at every material point x the constitutive equations

D(x,t)=ε∞E(x,t)+∑ℓ=1NPℓ(x,t),B(x,t)=μH(x,t),

∂t2Pℓ(x,t)+γℓ∂tPℓ(x,t)+ωℓ2Pℓ(x,t)=aℓE(x,t)(1≤ℓ≤N).

Here ε∞>0 is a constant scalar with units F m−1, μ>0 is a constant scalar with units H m−1, aℓ>0 are constant parameters with units F m−1 s−2, ωℓ>0 are constant angular frequencies with units s−1, and γℓ≥0 are constant damping rates with units s−1. The parameters are independent of position and time; this is the meaning of homogeneous in this model. The model is linear because all displayed field and oscillator relations are linear with fixed coefficients, and spatially local because the oscillator equation at x uses only the field and oscillator state at that same x. The magnetic law has only the constant scalar coefficient μ and no independent magnetic polarization variable; this is the nonmagnetic oscillator model adopted here.

The word nonmagnetic here means that the oscillator sector has no dynamic magnetic response; the fixed scalar coefficient μ can still encode a separate static constitutive response. To identify the displayed quantities with the framework's macroscopic definitions, stipulate Ptot=(ε∞−ε0)E+∑ℓ=1NPℓ and Mtot=(μ0−1−μ−1)B. Then D=ε0E+Ptot=ε∞E+∑Pℓ and H=μ0−1B−Mtot=μ−1B. This is a constitutive identification in the model, not a microscopic decomposition.

At an initial time t0∈I, the oscillator state consists of Pℓ(x,t0) and ∂tPℓ(x,t0). For a selected causal zero-past branch, choose an onset τ∈I and require E(x,t)=0 and Pℓ(x,t)=∂tPℓ(x,t)=0 for every t∈I with t≤τ. Continuity gives E(x,τ)=0, and the equation gives ∂t2Pℓ(x,τ)=0, consistent with the C2 zero extension through onset. For t≥τ this branch is the retarded initial-value equation with those data, so its value at time t uses the applied field only on [τ,t]. If γℓ=0, no decaying stationary impulse response is assumed; in particular, this is not an absolutely integrable convolution for arbitrary bounded histories. This postulate does not assert that any actual material realizes the equations.

Depends on

Dependency tree · 2 levels

Sources