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.

Drude current closure and collisionless limit

Physical scope

A phenomenological classical free-carrier response closure in a fixed homogeneous material rest frame. It is spatially local and linear, with a single relaxation rate and a fixed nondispersive scalar magnetic coefficient; no microscopic carrier-statistics claim is made. It asserts no empirical validity; spatial dispersion, nonlinear response, moving-media laws and quantum carrier effects are outside its scope.

Postulate

Use 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. In that frame, let E,P:Ω×I→R3 be the electric field and polarization, and let V:Ω×I→R3 be a free-carrier current density. At every fixed x∈Ω, require E(x,⋅)∈C0(I;R3) and P(x,⋅),V(x,⋅)∈C1(I;R3), 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 V m−1, P is C m−2, and V is A m−2. Adopt

∂tP(x,t)=V(x,t),∂tV(x,t)+γV(x,t)=aE(x,t),

D(x,t)=ε∞E(x,t)+P(x,t),B(x,t)=μH(x,t).

The constant scalar parameters satisfy ε∞>0, μ>0, a>0 and γ≥0. Their units are respectively F m−1, H m−1, F m−1 s−2 and s−1. The fields V and P have units A m−2 and C m−2. All coefficients are independent of x and t, and the equation at x depends only on the state and electric field at x; these clauses define the homogeneous, linear, spatially local closure used here. To identify these constitutive quantities with the framework's macroscopic definitions, stipulate Ptot=(ε∞−ε0)E+P and Mtot=(μ0−1−μ−1)B. Then D=ε0E+Ptot=ε∞E+P and H=μ0−1B−Mtot=μ−1B. This is a constitutive identification within the model, not a microscopic decomposition.

At an initial time t0∈I, P(x,t0) and V(x,t0) are state data. A constant polarization offset is fixed with the Gauss-law data and is not determined by the current equation alone. The branch γ=0 is the collisionless model; it has no decaying stationary impulse kernel, and its zero-frequency response is not part of this postulate. This is a phenomenological closure, not a derivation of carrier mass, density, collision statistics or any actual material response.

Depends on

Dependency tree · 2 levels

Sources