Alphabeta Math
Pipeline-generated
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

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

PostulateStatement: AI-adaptedProof: Not applicablejudge pass (gpt-6-luna)Open item page →

Supported static heat model

Physical scope

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 L1,L2,L3, the rectangular box Ω=∏i=13(0,Li), and an open neighborhood U⊂R3 of Ω‾. Let N∈C∞(U,(0,∞)) satisfy 0<Nmin⁡≤N(x)≤Nmax⁡<∞ on Ω‾. On M=Rx0×U, use x0=ctK, where c>0 is in m s−1, and the fixed metric

g=−N(x)2(dx0)2+∑i=13(dxi)2.

The coordinates xi and lengths Li are measured in metres, tK in seconds, and the lapse N is dimensionless. The metric is independent of x0 and has no time-space cross terms; this is the static background in this model. Give M time orientation ξ=∂x0. Then ξ is a future timelike Killing field, N=−g(ξ,ξ), and u=N−1ξ 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 T>0 is proper temperature in kelvins, and ϑ:=NT 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 CV,n0,Tref>0, σref∈R, and e0∈R. The units are CV in J m−3K−1, n0 in marker m−3, Tref in kelvins, σref in J K−1marker−1, and e0 in J marker−1. Put cv=CV/n0 in J K−1marker−1 and choose the state function on X=(0,∞)×R to be

e(v,σp)=cvTrefexp⁡ ⁣(σp−σrefcv)+e0,

independent of the rest volume per marker v. For a given positive T, set v=1/n0 and σp=σref+cvlog⁡(T/Tref). For this branch define n=v−1, s=nσp, ϵ=ne, T=∂σpe, and p=−∂ve, 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 n=n0, p=0, ϵ=CVT+n0e0, and s=n0σref+CVlog⁡(T/Tref). These assignments describe the selected model only; they do not assert a measured equation of state.

Take an admissible initial redshifted-temperature profile ϑ0∈C2(Ω‾) with constants 0<m0≤M0<∞ such that m0≤ϑ0≤M0, and require a C2 extension ϑ~0:R3→R with the same bounds, period 2Li in each coordinate xi, and evenness under each reflection xi↦−xi. Its even periodic extension makes the normal derivative vanish at both faces in each coordinate once evolved smoothly. The initial proper temperature is T(0,x)=ϑ0(x)/N(x).

On O=(0,∞)×Ω, identified with the subset of M by x0=ctK, the admissible temperature field is a positive map T:[0,∞)×Ω‾→(0,∞) continuous with initial trace T(0,x)=ϑ0(x)/N(x) and C∞ on O. For every 0<a<b<∞, it extends smoothly in all space-time variables to a neighborhood of [a,b]×Ω‾; no smoothness across tK=0 is required. The state map on O is

v=1/n0,σp=σref+cvlog⁡(T/Tref).

With the definition μ=e+pv−Tσp in Rest fluid state, frame and geometric current definitions, this branch has μ/T=cv+e0/T−σp and ∇a(μ/T)=−(e0/T2+cv/T)∇aT. The state map and these derived fields are smooth on O.

For Restricted gradient constitutive dissipative model, declare the regime R as follows. Its tuples record (v,σp,u,T,μ/T) and the first covariant derivatives ∇u, ∇T, and ∇(μ/T) generated by first derivatives of the displayed state maps and of a future unit timelike field u; thus ub∇aub=0. Require 1/(2n0)<v<3/(2n0), with arbitrary σp∈R 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 v=1/n0, T>0, and u=N−1ξ is future unit timelike. In this application set the diffusion coefficient L=0, so V=0 and the supplier's number current is J=nu; it is future timelike throughout R since n=1/v>0, and on the fixed-density branch J=n0u.

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 q is spatial, has units W m−2, and has constitutive coefficient κth=A0/N for a constant A0>0 in W m−1K−1. With ∇x the Euclidean spatial gradient, its specified static heat law, local energy balance, and insulated-face condition are

q=−κth(∇xT+T∇xlog⁡N),κth=A0N,NCV∂tKT+div⁡x(N2q)=0,N2q⋅ν=0 on each face,

where div⁡x 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 N is time independent, ∇xT+T∇xlog⁡N=N−1∇xϑ, so this coefficient choice gives N2q=−A0∇xϑ and diffusivity A0/CV in m2 s−1.

For the material stress/current in this selected branch put Q0=0, Qi=qi/c, Ja=n0ua, and

Tab=ϵuaub+uaQb+Qaub.

Here Q=q/c has units Pa and Tab has components in Pa. In the first-order notation set the bulk, shear, and diffusion coefficients to zero, so Π=0, πab=0, and Va=0; the thermal coefficient is κ=κth. These are nonnegative C1(O) coefficient fields. The source-free number balance ∇aJa=0 remains part of this branch. The external support is the force-density field fb:=∇aTab, in N m−3, 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 ubfb=0: the support may supply spatial force but no local power. Thus the state maps, constitutive fields, currents, and stress are smooth on O, and fb is a classical covariant divergence; this is a supported material model, not source-free full matter dynamics. Its entropy current is Sa=sua+Qa/T, with units J K−1m−3; 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.

Physics theoremStatement: AI-adaptedProof: AI-generatedprecheck passjudge pass (gpt-6-luna)Open item page →

Conditional redshift heat relaxation

Physical scope

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 N, constants, material state function, observer field, heat flux, support, initial-data class, and SI conventions of Supported static heat model. Let ϑ~0 be its positive C2 even periodic extension, and define ∣Ω∣=L1L2L3, ϑ‾=∣Ω∣−1∫Ωϑ0 dx, and CΩ=32(max⁡iLi)2. Use Euclidean Lebesgue volume dx and the associated L2(Ω) norm. Then the model has a unique solution

T∈C([0,∞)×Ω‾)∩C2,1((0,∞)×Ω‾),

where C2,1 means two continuous spatial derivatives and one continuous time derivative up to the box faces at positive times. With ϑ=NT and Γ(z,τ)=(4πτ)−3/2exp⁡(−∣z∣2/(4τ)) for z∈R3 and τ>0, the solution is

ϑ(tK,x)=∫R3Γ ⁣(x−y,A0CVtK)ϑ~0(y) dy(tK>0),ϑ(0,x)=ϑ0(x),T=ϑN.

It satisfies CV∂tKϑ=A0Δxϑ, the six insulated-face conditions ∂νϑ=0, and m0≤ϑ≤M0. The lapse-weighted material energy

EK(tK)=∫ΩN(x)ϵ(tK,x) dx

is constant. For the entropy current Sa=sua+Qa/T and total entropy S(tK)=∫Ωs(tK,x) dx, the exact model rate is

dSdtK=A0∫Ω∣∇xϑ∣2ϑ2 dx≥0.

Moreover,

∥ϑ(tK,⋅)−ϑ‾∥L2(Ω)≤exp⁡ ⁣(−A0tKCVCΩ)∥ϑ0−ϑ‾∥L2(Ω).

Thus T converges in L2(Ω) to the positive proper-temperature profile Teq(x)=ϑ‾/N(x), while the redshifted temperature NT 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.

[A1]

Supported static heat model: on O=(0,∞)×Ω, g=−N2(dx0)2+∑i(dxi)2, ξ=∂x0, u=N−1ξ, and ϑ=NT; N is smooth and bounded strictly above zero on the box. The material EOS gives p=0 and ϵ=CVT+n0e0. The postulate also declares the open first-jet regime R and requires a positive C∞(O) temperature with the stated initial trace. The adopted flux, coefficient, energy balance and boundary data are q=−(A0/N)(∇xT+T∇xlog⁡N), NCV∂tKT+div⁡x(N2q)=0, and N2q⋅ν=0.

[A2]

Local entropy-current admissibility in a separately defined model: for the separately specified smooth current Sa of this material model, adopt ∇aSa≥0 throughout its declared regime. This is an applicability postulate; it is not used to replace the calculation of the entropy rate below.

[F1]

Constructed supported static heat evolution: for the positive bounded lapse, rectangular box, fixed material state, coefficient A0/N, insulated faces and positive even-reflected periodic C2 data stated there, the exact heat model has a unique all-time solution with m0≤NT≤M0, conserved lapse-weighted energy, the displayed nonnegative entropy rate, and exponential L2 relaxation of NT to its initial mean. Its complete proof is conditional on its exact listed mathematical suppliers and uses exactly Countable Choice ACω 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

1.1givenA1F1algebra

In the static metric of [A1], ξ is independent of x0 and the lapse is positive, so the selected rest field is u=N−1ξ. The specialization of the first-order closure in [A1] has ∇xT+T∇xlog⁡N=N−1∇x(NT)=N−1∇xϑ. Therefore N2q=−A0∇xϑ, and since N is time independent, N∂tKT=∂tKϑ. Substitution into the adopted balance gives CV∂tKϑ=A0Δxϑ; the insulated condition is exactly ∂νϑ=0. The EOS and support/current conventions in [A1] are the same as those required by [F1].

2.1step 1.1A1F1algebra

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, A0,CV>0, and Nmin⁡>0; thus all positivity and regularity hypotheses of [F1] hold. Apply [F1] to obtain its unique solution, Gaussian representation, positive bounds, conserved EK, entropy-rate identity, and exponential estimate. The heat convolution used in the proof of [F1] is smooth for positive times; since N is smooth and strictly positive, T=ϑ/N and its state maps, including μ/T, are smooth on O, with smooth extensions to the box faces on compact positive-time intervals. The constitutive law then makes q, Q, J, T, fb=∇aTab, and Sa smooth on O, 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 tK=0 is used. By [A1], this is the solution of the selected physical model with its stated support and units.

3.1step 2.1A1A2F1algebra

The entropy current in [F1] is Sa=sua+Qa/T with Q=q/c, 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 A0>0 and ϑ≥m0>0; hence total entropy is nondecreasing. The same supplier gives conservation of the lapse-weighted energy.

4.1step 2.1F1algebra∎

Since N(x)≥Nmin⁡>0, ∣T(tK,x)−Teq(x)∣=∣ϑ(tK,x)−ϑ‾∣/N(x)≤Nmin⁡−1∣ϑ(tK,x)−ϑ‾∣. Taking the L2(Ω) norm and using the estimate from [F1] proves T→ϑ‾/N in that norm. The limit is positive because ϑ‾≥m0>0, and NTeq=ϑ‾ is constant. These are conditional model deductions, not empirical findings.

5 · Examples, experiments and counterexamples

None yet.

Sources