Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-adaptedPipeline-generatedprecheck pass
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

Physical scope

Emitted power per unit emission time of a prescribed point charge at a general emission event on a uniformly subluminal C3 worldline: the κ-weighted far-zone flux, the closed form q2γ6(∣a∣2−∣β×a∣2)/(6πε0c3)=q2η(A,A)/(6πε0c3) 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 ACω 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 q∈R (C:=q/(4πε0)) on a prescribed C3 uniformly subluminal worldline z 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 E,B off the worldline and the uniform far-zone remainder of that item; let S:=E×B/μ0 (Vacuum electromagnetic energy density and energy flux (the Poynting vector)). Let s0 be an emission event, β0:=z′(s0)/c, γ0:=(1−∣β0∣2)−1/2, a:=z′′(s0), and for n∈S2 put xr:=z(s0)+rn, tr:=s0+r/c, κ0(n):=1−n⋅β0. Define the emitted power at the emission event s0 by the κ0-weighted far-zone flux

Pem(s0):=lim⁡r→∞∫S2κ0(n) r2 n⋅S(xr,tr) dσ(n),

dσ the polar surface measure (equal to the chart surface measure). The weight κ0 is the emission-time/observation-time conversion factor of the retarded root, ∂ts=1/κ, equivalently the moving-boundary correction S⋅n−(z′⋅n)u at leading radiation order, where u=∣S∣/c for the transverse far field. Then:

(a) [Weighted flux limit] The limit exists and Pem(s0)=C2μ0c5∫S2∣n×((n−β0)×a)∣2κ0(n)5 dσ(n).

(b) [Closed form and four-acceleration form] If b:=∣β0∣<1 and a=a∥e3+a⊥ is decomposed along β0=∣β0∣e3 and perpendicular to it, then Pem(s0)=q2γ066πε0c3(∣a∣2−∣β0×a∣2)=q26πε0c3 η(A,A), where A is the four-acceleration of the worldline at s0 and η(A,A)=γ04∣a∣2+γ06(β0⋅a)2=γ06(∣a∣2−∣β0×a∣2) (Norms of four-velocity and four-acceleration, and the observer rest-space decomposition(e)). At β0=0 the weight is 1 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 δ∈(0,1) and every emission event with ∣β0∣≤δ, q2∣a∣26πε0c3≤Pem(s0)≤(1−δ2)−3q2∣a∣26πε0c3,hence∣Pem(s0)−q2∣a∣26πε0c3∣≤3δ2(1−δ2)3q2∣a∣26πε0c3, a comparison uniform over the events with ∣β0∣≤δ. In particular the instantaneous-rest formula is the exact δ=0 case, and no term of the comparison is asserted to be small without the explicit hypothesis ∣β0∣≤δ.

(d) [Scope] Pem(s0) is the power emitted at the single retarded event s0 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 s0, and no empirical or measurement claim is made. The near fields are O(r−2) 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 r2 flux vanishes; the κ0-weighting is part of the definition of emitted power and is not an additional physical assumption.

Facts & Assumptions

Given: ACω (The Axiom of Countable Choice (ACω)); the setting of Retarded point fields off the worldline: Lienard-Wiechert potentials, the velocity/acceleration split and the uniform far-zone remainder: charge q, constant C, prescribed uniformly subluminal C3 worldline z, retarded fields E,B and S=E×B/μ0; an emission event s0 with β0=z′(s0)/c, γ0, a=z′′(s0), and the emission spheres xr=z(s0)+rn, tr=s0+r/c, κ0(n)=1−n⋅β0.

[F1]

Emitted-power branch: for a general emission event the κ0-weighted far-zone flux has the limit Pem(s0)=C2μ0c5∫S2∣n×((n−β0)×a)∣2κ0−5dσ (the uniform pointwise convergence and the interchange of limit and integral being established in its proof), and this equals γ06(∣a∣2−∣β0×a∣2)q2/(6πε0c3); for ∣β0∣≤δ<1 it satisfies PL≤Pem≤(1−δ2)−3PL and ∣Pem−PL∣≤3δ2(1−δ2)−3PL with PL=q2∣a∣2/(6πε0c3), and at β0=0 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))

[F2]

Point fields and remainder: on Ω∖Γ, E=Evel+Eacc, B=n×E/c, with the velocity part O(r−2) bounded by ∣C∣(1+v∗/c)(1−v∗/c)−3r−2 and the acceleration part the leading term; at (xr,tr) the retarded data are those of the emission event and s(xr,tr)=s0. (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 1−n⋅β, Liénard–Wiechert potentials and fields, and a uniform far-zone remainder (c),(d))

[F3]

Four-acceleration identity: for a C2 chart worldline t↦(ct,r(t)) with coordinate velocity w(t)=r′(t) and acceleration a(t)=w′(t), the four-acceleration satisfies η(A,A)=γw4∣a∣2+γw6(w⋅a)2/c2≥0, vanishing exactly when a=0. (Norms of four-velocity and four-acceleration, and the observer rest-space decomposition (e))

[F4]

Retarded root: ∂ts=1/κ off the worldline, and κ0(n)=1−n⋅β0∈[1−v∗/c,1+v∗/c]. (Uniformly subluminal prescribed worldline, retarded root and retarded geometric data off the worldline (a),(b))

[F5]

Conventions: ∣u×v∣2=∣u∣2∣v∣2−(u⋅v)2 with the Euclidean inner product; the polar measure equals the chart surface measure; ε0μ0c2=1 and C=q/(4πε0). (The cross product in R3, The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn, Agreement with the existing polar sphere measure, Framework-local SI units, the vacuum constants and the exact/measured status of their values)

[F6]

Flux reading and integral rules: S is the Poynting energy-flux density; ∣∫f∣≤∫∣f∣, 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

technique · direct translation of the emitted-power branch already proved on this page, together with the four-acceleration identity and the scope reading of the weighted definition
1.1F1F2F4F6algebra

Weighted flux limit (a). The definition of Pem(s0) in the Statement is the limit of the κ0-weighted far-zone fluxes, and the corresponding limit and its value C2μ0c5∫S2∣n×((n−β0)×a)∣2κ0−5dσ are exactly clause (f) of [F1], whose proof establishes the uniform pointwise convergence of κ0r2n⋅S to the displayed integrand and the domination needed to pass the limit through the sphere integral [F6]; the same clause uses κ0=1−n⋅β0 and r=c(tr−s0) on the emitted spheres [F2]. The interpretation of the weight as the emission-time/observation-time factor is ∂ts=1/κ of [F4], evaluated at the emission event, and the boundary-corrected reading of S⋅n−(z′⋅n)u is the leading-order form of that factor. This is (a).

2.1step 1.1F1F3F5algebra

Closed form and four-acceleration form (b). Clause (f) of [F1] evaluates the integral as γ06(∣a∣2−∣β0×a∣2)q2/(6πε0c3), which is the first displayed equality; at β0=0 the weight is 1 and the formula reduces to the rest-event Larmor statement of [F1]. For the four-acceleration form, apply [F3] to the chart worldline t↦(z(t),t): its coordinate velocity is w=z′(s0)=cβ0, its Lorentz factor is γw=γ0, and its coordinate acceleration is a=z′′(s0), so η(A,A)=γ04∣a∣2+γ06(cβ0⋅a)2/c2=γ04∣a∣2+γ06(β0⋅a)2. By [F5], γ04∣a∣2+γ06(β0⋅a)2=γ06[(1−∣β0∣2)∣a∣2+(β0⋅a)2]=γ06(∣a∣2−∣β0×a∣2), since ∣β0×a∣2=∣β0∣2∣a∣2−(β0⋅a)2. Hence Pem=q2η(A,A)/(6πε0c3). This is (b).

3.1step 2.1F1algebra

Low-speed comparison (c). The eventwise inequalities PL≤Pem≤γ06PL and the uniform bounds PL≤Pem≤(1−δ2)−3PL, ∣Pem−PL∣≤3δ2(1−δ2)−3PL for ∣β0∣≤δ<1 are clause (f) of [F1], transported verbatim to this setting; the case ∣β0∣=0 gives the exact rest formula and is the δ=0 endpoint of the comparison. The statement adds no smallness assertion beyond the explicit hypothesis ∣β0∣≤δ. This is (c).

4.1step 1.1step 3.1F2F4F6algebra∎

Scope (d). The definition is per unit emission time at the single event s0: 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 O(r−2) with the uniform remainder of [F2], so its product contributions to S are O(r−3) and O(r−4), and after multiplication by r2 and integration over the compact sphere they contribute O(r−1) and O(r−2) respectively, vanishing in the limit; this is why the weighted definition isolates the acceleration-field radiation. The κ0-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

Dependency tree · 2 levels

Sources