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.
Supported static heat model
1 · Prerequisites
- Abelian Categories
- Absolute and Conditional Convergence; Rearrangement; Products
- Areas of Elementary Plane Figures
- Banach-Space Differential Calculus and Banach Manifolds
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Linear Operators and Quotient Spaces
- Categories, Functors and Natural Transformations
- Chain Complexes and Homology
- Cm Math Continuum
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Complex Norms and Realification
- Complexification, Realification and Real Structures
- Connectedness
- Connections And Free Fall
- Connections Levi Civita and Parallel Transport
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Density Separability and Convolution in Lᵖ
- Determinants of Matrices over a Commutative Ring
- Distributions Integral Manifolds and the Frobenius Theorem
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Einstein And Matter
- Euclidean Ordinary Differential Equations with Smooth Dependence
- Exterior Powers, Orientation and Hodge Duality
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Dimensional Normed Spaces and Riesz Lemma
- Finite Killing energy current and reference normalization
- Finite Probability and the Probabilistic Method
- Finite spacelike slab and normal flux charge
- Foundations of the Real Numbers for Analysis
- Framework And Geometry
- Free Modules, Exact Sequences, Projective and Injective Modules
- Fubini and Change of Variables
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Geodesics, the Exponential Map, Completeness, and Hopf–Rinow
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Heat and viscous entropy specialization
- Hereditary and Productive Behaviour of the Separation Axioms
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Integration of Forms and the General Stokes Theorem
- Lebesgue Measure on Euclidean Space
- Limits and Colimits
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Lorentz Transformations
- Manifolds with Boundary Collars and Orientations
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Nonsmooth Equilibrium
- Normal Subgroups and Quotient Groups
- Normed and Banach Spaces
- Observer Measurements
- Order, Zorn's Lemma, and the Axiom of Choice
- Outer Measure and the Caratheodory Extension Theorem
- Perfect stress and particle balances with entropy identity
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Pointwise Extended-Real Function Products
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Preadditive and Additive Categories and Biproducts
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Rank Theorems and Embedded Submanifolds
- Regular Surfaces and Surface Integrals
- Relations, Functions, and Quotients
- Rest fluid state, frame and geometric current definitions
- Restricted gradient constitutive dissipative model
- Riemann Curvature and Riemannian Submanifolds
- Riemannian Metrics Length Distance and Volume
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Simplicial Complexes and Simplicial Homology
- Sine, Cosine, and the Definition of Pi
- Singular Chains and Singular Homology
- Singular Cochains Mayer Vietoris and Smooth Singular Comparison
- Singular Cohomology and Coefficient Theorems
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Spacetime Primitives
- Stationary thermal geometric data
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- Tensor Fields Exterior Algebra and Differential Forms
- Tensor Products of Modules
- Tensors And Observers
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The De Rham Complex Homotopy and Mayer Vietoris
- The de Rham Theorem and Degree
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Divergence Theorem and Classical Stokes
- The Exponential Function
- The Exterior Derivative and Cartan Calculus
- The Fundamental Theorems of Calculus
- The Heat Kernel and the Cauchy Problem
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Thermodynamics-GR fields, currents, reference normalization and units
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Volumes of Elementary Solids and Solids of Revolution
- Worldlines And Clocks
2 · Summary
This page adopts one fixed-background, supported static heat branch with a positive lapse, constant heat capacity, conductivity proportional to the inverse lapse, insulated rectangular faces, and compatible positive data. It specifies the state function, heat flux, energy balance, no-local-power support, and entropy current. A conditional physics theorem consumes the exact mathematical static-heat solution and derives energy conservation, entropy increase, and relaxation of redshifted temperature to a constant. These statements remain conditional on the model assumptions; they do not establish empirical realization, a full Einstein-fluid solution, causal relativistic-fluid dynamics, or finite propagation speed.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
Supported static heat model
One fixed-background, fixed-medium, supported parabolic heat branch with positive static lapse, constant heat capacity, conductivity A0/N, insulated rectangular faces, and compatible positive initial data; not a full Einstein-fluid or causal evolution model.
Postulate
Choose positive lengths , the rectangular box , and an open neighborhood of . Let satisfy on . On , use , where is in , and the fixed metric
The coordinates and lengths are measured in metres, in seconds, and the lapse is dimensionless. The metric is independent of and has no time-space cross terms; this is the static background in this model. Give time orientation . Then is a future timelike Killing field, , and is the smooth future unit timelike observer congruence in the conventions of Thermodynamics-GR fields, currents, reference normalization and units. Here a frame means this vector field and its pointwise rest spaces, not a coordinate chart or tetrad. The material is held at rest in this congruence; no flow evolution is included. The scalar is proper temperature in kelvins, and is the Killing-normalized (redshifted) temperature of Thermodynamics-GR fields, currents, reference normalization and units; this definition alone does not assert that is constant.
Adopt the fixed-composition material branch of Restricted local equilibrium parcel with adopted material state function with constants , , and . The units are in , in , in kelvins, in , and in . Put in and choose the state function on to be
independent of the rest volume per marker . For a given positive , set and . For this branch define , , , , and , using the units of Thermodynamics-GR fields, currents, reference normalization and units and the adopted material convention of Restricted local equilibrium parcel with adopted material state function. These maps give , , , and . These assignments describe the selected model only; they do not assert a measured equation of state.
Take an admissible initial redshifted-temperature profile with constants such that , and require a extension with the same bounds, period in each coordinate , and evenness under each reflection . Its even periodic extension makes the normal derivative vanish at both faces in each coordinate once evolved smoothly. The initial proper temperature is .
On , identified with the subset of by , the admissible temperature field is a positive map continuous with initial trace and on . For every , it extends smoothly in all space-time variables to a neighborhood of ; no smoothness across is required. The state map on is
With the definition in Rest fluid state, frame and geometric current definitions, this branch has and . The state map and these derived fields are smooth on .
For Restricted gradient constitutive dissipative model, declare the regime as follows. Its tuples record and the first covariant derivatives , , and generated by first derivatives of the displayed state maps and of a future unit timelike field ; thus . Require , with arbitrary and no bounds on the derivatives. This is a nonempty open regime in the relative topology of the state/first-jet space after the normalization and state-map constraints are imposed. It contains the fixed-density heat branch pointwise because , , and is future unit timelike. In this application set the diffusion coefficient , so and the supplier's number current is ; it is future timelike throughout since , and on the fixed-density branch .
Adopt from Restricted gradient constitutive dissipative model the first-order heat closure and current/stress/entropy conventions on this regime. The physical heat-flux field is spatial, has units , and has constitutive coefficient for a constant in . With the Euclidean spatial gradient, its specified static heat law, local energy balance, and insulated-face condition are
where is Euclidean divergence and is the outward Euclidean unit normal to a box face. The adopted first-order closure specializes to this lapse-gradient form in the selected static frame; it is not inferred from an experiment. Since is time independent, , so this coefficient choice gives and diffusivity in .
For the material stress/current in this selected branch put , , , and
Here has units and has components in . In the first-order notation set the bulk, shear, and diffusion coefficients to zero, so , , and ; the thermal coefficient is . These are nonnegative coefficient fields. The source-free number balance remains part of this branch. The external support is the force-density field , in , required to hold the medium on the fixed background. This model adopts the first-order heat closure but replaces that supplier's source-free stress balance by this supported balance. Require : the support may supply spatial force but no local power. Thus the state maps, constitutive fields, currents, and stress are smooth on , and is a classical covariant divergence; this is a supported material model, not source-free full matter dynamics. Its entropy current is , with units ; this postulate alone does not assert an entropy inequality.
This is an adopted effective parabolic model. It asserts no Einstein equation, no general relativistic-fluid initial-value theorem, no finite propagation speed, and no universal material law. It supplies no experiment, measurement, empirical premise, or evidence that a physical medium realizes the model.
Conditional redshift heat relaxation
Conditional deduction for the fixed-background supported parabolic heat model of post-tgr-supported-static-heat-model, with compatible positive data; no claim of empirical realization, full Einstein-fluid dynamics, causality, or finite propagation.
Statement
Use the fixed static box, positive bounded lapse , constants, material state function, observer field, heat flux, support, initial-data class, and SI conventions of Supported static heat model. Let be its positive even periodic extension, and define , , and . Use Euclidean Lebesgue volume and the associated norm. Then the model has a unique solution
where means two continuous spatial derivatives and one continuous time derivative up to the box faces at positive times. With and for and , the solution is
It satisfies , the six insulated-face conditions , and . The lapse-weighted material energy
is constant. For the entropy current and total entropy , the exact model rate is
Moreover,
Thus converges in to the positive proper-temperature profile , while the redshifted temperature converges to the constant . These are conditional predictions of the adopted model. They do not establish that a real material obeys the postulates, and they do not assert a full Einstein-fluid solution, causal or stable relativistic-fluid evolution, or finite propagation speed. No empirical data are used.
Facts & Assumptions
Given: The static box model, positive lapse bounds, material branch, constants, SI units, compatible initial profile, heat equation, support condition, and entropy current specified in Supported static heat model. The same current is required to satisfy the selected material's local admissibility condition in Local entropy-current admissibility in a separately defined model.
Supported static heat model: on , , , , and ; is smooth and bounded strictly above zero on the box. The material EOS gives and . The postulate also declares the open first-jet regime and requires a positive temperature with the stated initial trace. The adopted flux, coefficient, energy balance and boundary data are , , and .
Local entropy-current admissibility in a separately defined model: for the separately specified smooth current of this material model, adopt throughout its declared regime. This is an applicability postulate; it is not used to replace the calculation of the entropy rate below.
Constructed supported static heat evolution: for the positive bounded lapse, rectangular box, fixed material state, coefficient , insulated faces and positive even-reflected periodic data stated there, the exact heat model has a unique all-time solution with , conserved lapse-weighted energy, the displayed nonnegative entropy rate, and exponential relaxation of to its initial mean. Its complete proof is conditional on its exact listed mathematical suppliers and uses exactly Countable Choice through that dependency chain, not unrestricted Axiom of Choice. The consumer uses this actual statement and its hypotheses, not its draft label as an acceptance stamp.
Proof
In the static metric of [A1], is independent of and the lapse is positive, so the selected rest field is . The specialization of the first-order closure in [A1] has . Therefore , and since is time independent, . Substitution into the adopted balance gives ; the insulated condition is exactly . The EOS and support/current conventions in [A1] are the same as those required by [F1].
The extension in [A1] is bounded and uniformly continuous because it is continuous and periodic, and it has the positive even-reflected boundary compatibility required by [F1]. Every box length is positive, , and ; thus all positivity and regularity hypotheses of [F1] hold. Apply [F1] to obtain its unique solution, Gaussian representation, positive bounds, conserved , entropy-rate identity, and exponential estimate. The heat convolution used in the proof of [F1] is smooth for positive times; since is smooth and strictly positive, and its state maps, including , are smooth on , with smooth extensions to the box faces on compact positive-time intervals. The constitutive law then makes , , , , , and smooth on , so the local balances and entropy-current divergence required by the postulate are classical. The initial slice has the stated continuous trace; no smoothness across is used. By [A1], this is the solution of the selected physical model with its stated support and units.
The entropy current in [F1] is with , exactly as in [A1]. The adopted local admissibility condition [A2] is an explicit physical premise for this current. Independently, [F1] gives the total entropy rate as the displayed integral, whose integrand is nonnegative because and ; hence total entropy is nondecreasing. The same supplier gives conservation of the lapse-weighted energy.
Since , . Taking the norm and using the estimate from [F1] proves in that norm. The limit is positive because , and is constant. These are conditional model deductions, not empirical findings.
5 · Examples, experiments and counterexamples
None yet.
Sources
- Éric Gourgoulhon, An Introduction to Relativistic Hydrodynamics, arXiv:gr-qc/0603009v1 (2006), §§4.3 and 5.1–5.3
- Nicolas Borghini, Elements of Hydrodynamics, University of Bielefeld lecture notes (2015), §§IX.4.1–IX.4.4
- John K. Hunter, Notes on Partial Differential Equations, revised 18 June 2014, University of California, Davis