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.
Relativistic emitted power of a prescribed point charge at a general emission event
Emitted power per unit emission time of a prescribed point charge at a general emission event on a uniformly subluminal worldline: the -weighted far-zone flux, the closed form and the uniform -comparison with the instantaneous-rest Larmor value. Excluded: dynamical evolution, self-force, radiation reaction, mass derivation, coordinate-time loss rates, uniformity in the emission event and every empirical or measurement claim.
Statement
Assume as carried by the cited point-source suppliers. Let the setting be that of Retarded point fields off the worldline: Lienard-Wiechert potentials, the velocity/acceleration split and the uniform far-zone remainder: a charge () on a prescribed uniformly subluminal worldline in the laboratory chart of Laboratory geometry: a restricted inertial chart, its spatial slices and fixed-time fields with the units of Framework-local SI units, the vacuum constants and the exact/measured status of their values, with retarded fields off the worldline and the uniform far-zone remainder of that item; let (Vacuum electromagnetic energy density and energy flux (the Poynting vector)). Let be an emission event, , , , and for put , , . Define the emitted power at the emission event by the -weighted far-zone flux
the polar surface measure (equal to the chart surface measure). The weight is the emission-time/observation-time conversion factor of the retarded root, , equivalently the moving-boundary correction at leading radiation order, where for the transverse far field. Then:
(a) [Weighted flux limit] The limit exists and
(b) [Closed form and four-acceleration form] If and is decomposed along and perpendicular to it, then where is the four-acceleration of the worldline at and (Norms of four-velocity and four-acceleration, and the observer rest-space decomposition(e)). At the weight is and (b) reduces to the instantaneous-rest Larmor power of Instantaneous-rest Larmor power and uniform low-speed comparison for a prescribed point charge.
(c) [Low-speed comparison] For every and every emission event with , a comparison uniform over the events with . In particular the instantaneous-rest formula is the exact case, and no term of the comparison is asserted to be small without the explicit hypothesis .
(d) [Scope] is the power emitted at the single retarded event per unit emission time, defined by the weighted far-zone flux; it is not a coordinate-time loss rate of a dynamical particle, and no dynamics (self-force, radiation reaction, mass), no uniformity in , and no empirical or measurement claim is made. The near fields are with their uniform remainder as in Retarded point fields off the worldline: Lienard-Wiechert potentials, the velocity/acceleration split and the uniform far-zone remainder(c), so their contribution to the weighted flux vanishes; the -weighting is part of the definition of emitted power and is not an additional physical assumption.
Facts & Assumptions
Given: (The Axiom of Countable Choice ()); the setting of Retarded point fields off the worldline: Lienard-Wiechert potentials, the velocity/acceleration split and the uniform far-zone remainder: charge , constant , prescribed uniformly subluminal worldline , retarded fields and ; an emission event with , , , and the emission spheres , , .
Emitted-power branch: for a general emission event the -weighted far-zone flux has the limit (the uniform pointwise convergence and the interchange of limit and integral being established in its proof), and this equals ; for it satisfies and with , and at it reduces to the exact rest-event Larmor power. (Instantaneous-rest Larmor power and uniform low-speed comparison for a prescribed point charge (a)-(d),(f))
Point fields and remainder: on , , , with the velocity part bounded by and the acceleration part the leading term; at the retarded data are those of the emission event and . (Retarded point fields off the worldline: Lienard-Wiechert potentials, the velocity/acceleration split and the uniform far-zone remainder (b),(c), Complete retarded point fields: unique retarded root, the delta substitution with denominator , Liénard–Wiechert potentials and fields, and a uniform far-zone remainder (c),(d))
Four-acceleration identity: for a chart worldline with coordinate velocity and acceleration , the four-acceleration satisfies , vanishing exactly when . (Norms of four-velocity and four-acceleration, and the observer rest-space decomposition (e))
Retarded root: off the worldline, and . (Uniformly subluminal prescribed worldline, retarded root and retarded geometric data off the worldline (a),(b))
Conventions: with the Euclidean inner product; the polar measure equals the chart surface measure; and . (The cross product in , The Euclidean inner product on , Agreement with the existing polar sphere measure, Framework-local SI units, the vacuum constants and the exact/measured status of their values)
Flux reading and integral rules: is the Poynting energy-flux density; , monotonicity holds, and dominated convergence applies on the finite-measure sphere. (Vacuum electromagnetic energy density and energy flux (the Poynting vector), Local and fixed-volume electromagnetic energy balance, The modulus of an integral is bounded by the integral of the modulus, Monotonicity and nonnegative homogeneity of the nonnegative integral, Dominated convergence)
Proof
Weighted flux limit (a). The definition of in the Statement is the limit of the -weighted far-zone fluxes, and the corresponding limit and its value are exactly clause (f) of [F1], whose proof establishes the uniform pointwise convergence of to the displayed integrand and the domination needed to pass the limit through the sphere integral [F6]; the same clause uses and on the emitted spheres [F2]. The interpretation of the weight as the emission-time/observation-time factor is of [F4], evaluated at the emission event, and the boundary-corrected reading of is the leading-order form of that factor. This is (a).
Closed form and four-acceleration form (b). Clause (f) of [F1] evaluates the integral as , which is the first displayed equality; at the weight is and the formula reduces to the rest-event Larmor statement of [F1]. For the four-acceleration form, apply [F3] to the chart worldline : its coordinate velocity is , its Lorentz factor is , and its coordinate acceleration is , so . By [F5], , since . Hence . This is (b).
Low-speed comparison (c). The eventwise inequalities and the uniform bounds , for are clause (f) of [F1], transported verbatim to this setting; the case gives the exact rest formula and is the endpoint of the comparison. The statement adds no smallness assertion beyond the explicit hypothesis . This is (c).
Scope (d). The definition is per unit emission time at the single event : the weight is the retarded Jacobian of [F4], not a dynamical rate, and no worldline evolution, self-force, radiation reaction or mass is introduced anywhere in steps 1.1-3.1. The near (velocity) part of the fields is with the uniform remainder of [F2], so its product contributions to are and , and after multiplication by and integration over the compact sphere they contribute and respectively, vanishing in the limit; this is why the weighted definition isolates the acceleration-field radiation. The -weighting is declared as part of the definition of emitted power, not inferred as a physical law, and no empirical or measurement content is added. This is (d).
Depends on
Retarded point fields off the worldline: Lienard-Wiechert potentials, the velocity/acceleration split and the uniform far-zone remainder
Uniformly subluminal prescribed worldline, retarded root and retarded geometric data off the worldline
Complete retarded point fields: unique retarded root, the delta substitution with denominator , Liénard–Wiechert potentials and fields, and a uniform far-zone remainder
Zonal and quadratic sphere moments for the polar surface measure on
Local and fixed-volume electromagnetic energy balance
Vacuum electromagnetic energy density and energy flux (the Poynting vector)
Norms of four-velocity and four-acceleration, and the observer rest-space decomposition
The electric and magnetic fields as fixed-time spatial vector fields
Framework-local SI units, the vacuum constants and the exact/measured status of their values
The cross product is bilinear, alternating, and orthogonal to both factors
The modulus of an integral is bounded by the integral of the modulus
Dominated convergence
The second fundamental theorem: if is differentiable on with and is integrable, then
For a natural the function is differentiable everywhere with derivative ; for it is the constant , with derivative ; for a natural the function is differentiable at every with derivative ; consequently every polynomial function is differentiable at every real, with the derivative computed term by term
Continuity and derivatives of positive-base real powers
The chain rule for total derivatives:
Sums, scalar multiples, products and quotients: , , , and when
The Euclidean inner product on
The Axiom of Countable Choice ()
The cross product in
Laboratory geometry: a restricted inertial chart, its spatial slices and fixed-time fields
Agreement with the existing polar sphere measure
Instantaneous-rest Larmor power and uniform low-speed comparison for a prescribed point charge
Monotonicity and nonnegative homogeneity of the nonnegative integral
Dependency tree · 2 levels
Sources
- David Tong, Electromagnetism, University of Cambridge Part II Mathematical Tripos lecture notes (author-hosted 236-page PDF, title page dated Lent Term 2015)
- R. Fitzpatrick, Classical Electromagnetism: An intermediate level course, University of Texas at Austin (complete author-hosted HTML lecture notes, document dated 2006-02-02)
- N. Beisert, Elektrodynamik, ETH Zurich 2024 FS (author-hosted 176-page script)