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.
The radiation limit depends on the observation-time path
A constructed smooth charge pulse in the retarded classical Maxwell model. At any fixed observation time its exterior field is eventually zero as the observation radius grows, while along a fixed retarded-time path the scaled electric field has a nonzero radiation-data limit. The example is conditional and contains no reported measurement.
Example
Assume Countable Choice and the SI retarded Maxwell model with no independent homogeneous field. In its laboratory chart, spatial coordinates have units and times have units . Fix with units and , a retarded time , and an amplitude with units . Let be dimensionless and nonnegative with , extended by zero to , and let have units and equal on a neighborhood of . Set and , where and . These jointly smooth maps and are conserved sources of compact space-time support, with units and . For the direction , the scaled electric field has a nonzero limit. For any fixed observation time , however, the retarded fields vanish at for every sufficiently large , because all source retarded times are then before the pulse.
Example references
Facts & Assumptions
Given: The SI model, positive amplitude , nonnegative dimensionless spatial bump , time pulse equal to on a neighborhood of the delay interval, and source pair specified in the Example.
Assume Countable Choice for the source integrals and Lebesgue measure. (The Axiom of Countable Choice ())
A smooth bump can equal one on a smaller ball and vanish outside a larger ball; compact-set smooth cutoffs exist on an open set. (A smooth bump between concentric Euclidean balls, Test function cutoffs and euclidean localization)
For jointly smooth conserved SI sources supported in a fixed spatial ball, the adopted retarded integrals, with no independent homogeneous field, define smooth Maxwell fields , of units and . Here has units and . Their radiation data are the uniform limits along , on every nondegenerate compact interval of and uniformly in , with electric limit , where . (Retarded Maxwell fields for spatially compact smooth histories, Transverse far field with a uniform remainder, Radiation data at fixed retarded time)
Under Countable Choice, every Euclidean ball of positive radius has positive finite Lebesgue measure. Mixed spatial partial derivatives of the smooth function commute, and the nonnegative integral is monotone. (Euclidean balls have positive finite Lebesgue measure, Clairaut--Schwarz theorem for continuous second partial derivatives, Monotonicity and nonnegative homogeneity of the nonnegative integral)
Verification
The data in the Example exist: by [F1] one may choose a dimensionless with and on some ball with . Then by [F3]. For any admitted in the Example write . Choose by applying the smooth cutoff supplier to a compact interval slightly larger than and multiply that dimensionless cutoff by . The resulting is compactly supported, has units , equals on a neighborhood of the delay interval, and satisfies there.
The maps in the Example are jointly smooth and compactly supported in in space and in in time. Their derivatives obey and , so . Thus the retarded-history theorem applies.
For , every source point in has , so . The shifted-current moment of [F2] is therefore Since , . Apply [F2] on any nondegenerate compact interval containing to obtain so converges to a nonzero vector.
Let be a fixed observation time and choose . For and , , so the source retarded time satisfies . If , this is less than for every , with a uniform strict margin. The source and all its derivatives vanish on a time neighborhood of every such argument; because the inequalities remain strict on a neighborhood of , the retarded potentials are identically zero there and their derivatives vanish. Hence for all such . This fixed-time limit and the nonzero scaled retarded-time limit of step 3.1 are different paths to infinity, not contradictory field values.
Depends on
The Axiom of Countable Choice ()
Radiation data at fixed retarded time
Euclidean balls have positive finite Lebesgue measure
A smooth bump between concentric Euclidean balls
Test function cutoffs and euclidean localization
Retarded Maxwell fields for spatially compact smooth histories
Transverse far field with a uniform remainder
Monotonicity and nonnegative homogeneity of the nonnegative integral
Clairaut--Schwarz theorem for continuous second partial derivatives
Dependency tree · 2 levels
Sources
- Niklas Beisert, Elektrodynamik, Vorlesungsskript, ETH Zürich 2024 FS, complete 176-page course script
- Richard Fitzpatrick, Classical Electromagnetism: An intermediate level course, University of Texas at Austin, complete author-hosted HTML lecture notes
- Richard Fitzpatrick, Classical Electromagnetism: An intermediate level course, University of Texas at Austin, complete author-hosted HTML lecture notes