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.
Volume dilation and bulk production
Conditional worked calculation for a smooth positive-density material motion and a specified local-equilibrium compressible Newtonian/Fourier model branch. It derives a model entropy-production identity from adopted balances and constitutive assumptions; it is not a measurement or a claim of universal material response.
Example
Assume the Axiom of Countable Choice. Let be an open time interval containing , with time measured in seconds; let be a bounded reference body, and let be an open neighborhood of . Let be dimensionless with , so is measured in s, and define by . This is a orientation-preserving motion with and positive reference density in kg m. Assume the adopted smooth material mass, linear-momentum, total-energy, and entropy balances on every bounded material subregion. On the example's local-equilibrium branch, on an open state domain, with specific volume in m kg, in K, in Pa, and . Adopt the specified symmetric Newtonian stress and Fourier heat-flux closure
with constant coefficients in Pa s, Pa s, and W m K, respectively. Assume and on the relevant swept regions, with positive. Then , , , and , so while the mass theorem gives . The local entropy-production residual is
In the spatially uniform-temperature case, the heat-conduction term vanishes and the bulk-viscous production is . The residual has units W m K. This is a conditional deduction for the stated closure and balances, not a claim that actual fluids universally obey them.
Example references
Facts & Assumptions
Given: Countable Choice, the stated C2 positive dilation, C1 positive density and temperature, material integral balances, local-equilibrium Gibbs identity, and the stated Newtonian/Fourier closure.
Mass density reconstruction and incompressibility: under the adopted mass balance, , , and, for positive density, if and only if . This physical theorem is conditional on the stated mass-balance and smoothness hypotheses.
Single-component nonpolar continuum and material balances: adopt material mass, linear-momentum, total-energy, and local-temperature entropy balances on the stated bounded material regions; this postulate is an assumption, not an experimental finding.
Smooth transport, Jacobian and advected reference density: for a orientation-preserving motion and a scalar field on the swept set, the derivative of its compact-Jordan material integral is the integral of ; the statement also gives change of variables and density-Jacobian invariance. This remains a draft mathematical supplier used as a mathematical premise.
Divergence on a bounded C1 Euclidean domain: if is bounded and , then , assuming .
The Axiom of Countable Choice (): says every countable family of nonempty sets has a choice function; this is the exact choice strength assumed by [F4], not full arbitrary-index choice as a premise of this calculation.
Classical frames, primitive quantities and SI units: , , , , , and ; the adopted stress uses traction and tension-positive sign.
C1 material regions have compatible Jordan volume integrals: bounded open regions with locally graph boundaries and their diffeomorphic images are bounded domains; their compact closures and images are Jordan measurable, and open-region and compact-closure integrals agree.
Continuous residuals localize on C1 domains: a continuous residual with zero integral on every bounded subdomain is pointwise zero; nonnegative integrals imply a pointwise nonnegative residual.
Change of variables for an injective map on a compact Jordan set: an injective map with invertible derivative transforms integrals over compact Jordan sets by the absolute Jacobian determinant.
A continuous real function on a compact Jordan measurable set is Riemann integrable over that set: every continuous real function on a compact Jordan set is Riemann integrable there.
Local equilibrium is adopted only for this example: , , , and .
The symmetric constitutive branch is adopted only for this example: and , with constant . This is a model input; no empirical universality or positivity theorem is asserted.
Verification
Given: Countable Choice, [F1]–[F10], [A1]–[A2], the smoothness hypotheses in the example, and the material motion .
For each , maps bijectively onto the open set with inverse ; jointly this inverse is because . Differentiating in and gives , , and . Using the velocity-gradient and strain-rate definitions [F6], , , , and .
Fix a bounded material subregion and put , . Apply [F3] componentwise to the linear-momentum integral in [F2]; [F7] identifies the open-region integrals with their compact-closure versions. The divergence theorem [F4], under the stated choice premise [F5], converts to . The continuous residual is integrable on the compact Jordan region by [F10]: has integral zero on . Change variables by [F9], use [F7] to return to , and apply [F8] to the continuous reference residual . Since , pointwise. Expanding with the conventions [F6] and the continuity equation [F1] yields .
Set . Apply [F3] to in the total-energy balance [F2]. The surface-work integrand is ; apply [F4] with [F5] to and . The continuous total-energy residual is integrable by [F10] and has zero integral on every . By [F7], [F9], and the zero-integral conclusion of [F8], it vanishes pointwise:
Apply [F3] to in the entropy inequality [F2]. By the continuity equation [F1], The surface term has the local-temperature flux ; [F4] with [F5] converts it to the volume divergence. Convert each open-region integral to the compact-Jordan and then reference-domain form using [F7] and [F9]. The residual is continuous and integrable by [F10]; its nonnegative integral on every bounded and [F8] make it pointwise nonnegative. Since , this gives .
Apply [F1] to this motion. Since , the density reconstruction is ; the density remains positive because and .
Dot the local momentum equation in step 1.2 with . The identity , the symmetry of the adopted stress [A2], and the continuity equation from [F1] give the kinetic-energy balance , where is the symmetric velocity gradient from [F6]. Subtract this balance from step 1.3; the and terms cancel, leaving .
From [A1], . The continuity equation in [F1] gives , using from [F6], so . Substitute step 2.2 and from [A2]; since , the pressure terms cancel and .
Substitute this identity into step 1.4 and use . The definitions [F6] give , , and ; also . Therefore . Step 1.1 has , giving the stated bulk-production formula and its uniform-temperature special case.
Depends on
Mass density reconstruction and incompressibility
Single-component nonpolar continuum and material balances
Classical frames, primitive quantities and SI units
Smooth transport, Jacobian and advected reference density
C1 material regions have compatible Jordan volume integrals
Continuous residuals localize on C1 domains
Change of variables for an injective map on a compact Jordan set
A continuous real function on a compact Jordan measurable set is Riemann integrable over that set
Divergence on a bounded C1 Euclidean domain
The Axiom of Countable Choice ()