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.
Zero scalar with V(0)=0 reduces to electrovacuum
Example
Use Trivial-potential classical charged-scalar Einstein–Maxwell system and suppose and . Let and . Then the scalar equation, current, and scalar stress vanish, and the full coupled field equations reduce exactly to the source-free Einstein–Maxwell equations. Conversely, any smooth source-free Einstein–Maxwell solution on this region that admits the global potential is a solution of the defined charged-scalar system with . The condition is essential for the zero scalar stress conclusion. In particular, source-free initial data in this exact-potential sector that satisfy the local-development theorem's hypotheses have a smooth local realization in this branch.
Facts & Assumptions
Given: The mathematical system of Trivial-potential classical charged-scalar Einstein–Maxwell system, a smooth solution or compatible smooth initial data, and the zero scalar field.
Trivial-potential classical charged-scalar Einstein–Maxwell system defines , the scalar equation, and the full coupled field equations; for , these give and .
The current and scalar Hilbert tensor are and in Trivial-potential classical charged-scalar Einstein–Maxwell system.
Local classical Einstein–Maxwell–charged-scalar development gives smooth local existence for its exact-potential data satisfying the sourced Maxwell and total-stress Einstein constraints. The example uses that local conclusion with its stated constraints and choice assumptions.
, , and all fields are smooth. For the existence clause, take exact-potential electrovacuum initial data satisfying the Gauss and Einstein constraints in Local classical Einstein–Maxwell–charged-scalar development; the zero scalar and its zero normal derivative complete the data.
Assume and Dependent Choice as required by the local-development supplier [L1].
Proof
Since and , the scalar equation is and . Also , so . The condition is what removes the remaining term .
Substituting and into the system of [F1] leaves exactly , , and . Conversely, an exact-potential source-free solution with satisfies each charged-scalar equation by step 1.1 and each remaining equation by its source-free hypothesis.
For exact-potential electrovacuum initial data, setting , , and hence makes and on the initial slice. The sourced Maxwell and total-stress Einstein constraints in [L1] then reduce to the source-free electrovacuum constraints. Applying [L1] under [A2] gives a smooth local solution. On that solution the scalar block for is a homogeneous first-order wave/transport system with the metric, and as given smooth coefficients: the potential term is the smooth coefficient times , and every other scalar source is linear in . The symmetric scalar-block energy with zero initial scalar data therefore satisfies and is zero by the same local uniqueness argument in [L1]. Thus persists. Step 2.1 then identifies the resulting equations with the zero-scalar branch. No global existence claim follows.
Depends on
Dependency tree · 2 levels
Sources
- Helmut Friedrich and Alan Rendall, The Cauchy Problem for the Einstein Equations, Lecture Notes in Physics 540 (2000), complete arXiv text
- Mathieu Colin and Tatsuya Watanabe, Cauchy problem for the nonlinear Klein–Gordon equation coupled with the Maxwell equation, Journal of Mathematical Analysis and Applications 443 (2016), full author-hosted PDF