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.
Positive matrix-potential wave system energy
Statement
Let , with , and let be an open interval containing . Let . Write for the real symmetric matrices and use the Euclidean dot product and norm on . Let be bounded, independent of , and positive semidefinite at every , meaning for every . Assume and all its mixed derivatives of total order at most two, and , are Schwartz in locally uniformly for : for every compact , every such derivative and every integer , , and the analogous bounds hold for . If define where is the Euclidean norm and for any vector-valued function . Then , In particular is constant when . If have length units and has unit , then has unit , has unit , has unit , and both sides of the square-root estimate have unit . This abstract estimate supplies neither pointwise decay nor a reconstruction of coupled Einstein–Maxwell perturbations.
Facts & Assumptions
Given: The stated smooth matrix wave system and the spatial decay assumptions.
Differentiation under the integral sign: if is integrable in for each in an open interval, has a measurable pointwise -derivative, and that derivative has one integrable majorant locally in , then .
Cauchy–Schwarz: , with equality exactly for linearly dependent vectors: for Euclidean vectors , .
, with , is open and contains , , and is bounded, real symmetric, positive semidefinite and independent of . The stated local Schwartz bounds justify differentiation under the integral and vanishing spatial boundary terms.
Proof
For each component multiply by and sum over . The product rule gives Because is symmetric and independent of , . Thus with the identity is .
Integrate step 1.1 over . By the Schwartz assumptions, the boundary term tends to as . The derivative of the energy density is bounded locally in by an integrable multiple of : its terms are products of derivatives of through order two and the bounded coefficient times such products. Thus [F1] applies to the energy density and gives . Taking the limit in the integrated identity from step 1.1 yields . Positive semidefiniteness in [A1] also gives .
By [F2] and step 2.1, . For , differentiation yields Integrate from to and let to obtain the claimed estimate, including times at which .
Remarks
The estimate is finite-time energy control, not decay. To use it for an actual coupled perturbation, one must first derive that system's exact variables, angular sectors, symmetric structure, and reconstruction.