Alphabeta Math
PostulateStatement: Literature-sourcedProof: Not applicablePipeline-generatedprecheck pending‡ sources checked 2026-10-23
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.

Single-component nonpolar continuum and material balances

Physical scope

Adopted smooth, single-component, nonpolar material continuum on a declared macroscopic regime, for bounded C1 material subregions and C2 orientation- preserving motions with positive density and temperature. No molecular limit, weak/shock/vacuum theory, surface couple, micropolar response, or claim of universal empirical validity is included.

Postulate

Adopt a smooth single-component material continuum on a stated macroscopic regime in a Cartesian inertial chart. Let ρ0∈C1(B‾) be positive. On each swept material region, require ρ,u,e,T,s,q,σ∈C1 and b,r∈C0, with ρ>0 and T>0; the motion has the regularity and positive Jacobian in the preceding definition. A material subregion is χt(V) for a nonempty bounded open set V⋐B whose boundary is locally, after a rigid coordinate change, a C1 graph with V on one side; its boundary moves with the material velocity. All volume integrals here use the componentwise Riemann integral by zero extension to a containing closed rectangle. A bounded set is Jordan measurable when its indicator has such a Riemann integral; a set has content zero when, for every positive ε, it has a finite cover by axis-parallel boxes whose total volume is less than ε, where box volume is the product of side lengths. For each permitted V and its image χt(V), their compact closures are Jordan measurable and their boundaries have content zero. For every continuous scalar integrand f on a neighborhood of χt(V‾), ∫χt(V)f dx=∫χt(V‾)f dx; the analogous equality is used on V and V‾. Vector and tensor integrals are taken componentwise. These are the earlier C1-region integral conventions, so the displayed balances over open material regions have the same meaning as their compact-closure transport formulas. For each current boundary S=∂χt(V), surface integration is the finite-chart Riemann convention: for any continuous scalar f on S, choose regular C1 graph charts Xj:Uj⊂R2→S∩Oj and a finite nonnegative subordinate smooth ambient partition χj with compact support in the chart neighborhoods and sum one on S, and put ∫Sf dS=∑j∫Uj(χjf)(Xj(y))det⁡(DXj(y)TDXj(y)) dy. Each parameter integrand is extended by zero outside Uj. These integrals are finite and independent of charts and partition; in graph coordinates the density is 1+∣Dh∣2. The unit normal is the continuous outward normal, and vector surface integrals are componentwise. Thus all traction, work, heat and entropy fluxes below use the same boundary-area convention. When a consuming mathematical theorem separately assumes Countable Choice, these continuous-field surface integrals also agree with its finite-chart Lebesgue surface integrals with the same Gram density; that conditional mathematical agreement adds no choice assumption to this physical postulate. The continuum approximation, its empirical regime, and the following balance laws are physical assumptions of this model, not deductions from the mathematical definition of a motion or from molecular mechanics.

Assume there are no mass sources and no diffusion relative to u. Adopt a positive reference mass density ρ0, a positive current density ρ, a body-acceleration field b, a contact traction t(t,x,n)=σ(t,x)n depending only on the local outward unit normal n, a C1 Cauchy stress field σ, specific internal energy e, positive temperature T, specific entropy s, heat-flux vector q, and specific heat supply r, with the types and SI units fixed in the preceding definition. Contact traction and volume-force densities are continuous and locally bounded on the smooth material regions under consideration. There are no surface couples or intrinsic spin angular momentum; a micropolar or couple-stress model is outside this postulate.

For every such material subregion, adopt conservation of mass,

∫χt(V)ρ(t,x) dx=∫Vρ0(a) da.

In the same inertial chart, adopt the balances of linear and angular momentum,

ddt∫χt(V)ρu dx=∫χt(V)ρb dx+∫∂χt(V)t(t,x,n) dS,

ddt∫χt(V)x×(ρu) dx=∫χt(V)x×(ρb) dx+∫∂χt(V)x×t(t,x,n) dS.

Adopt the total-energy balance and entropy inequality

ddt∫χt(V)ρ(e+∣u∣22) dx=∫χt(V)ρb⋅u dx+∫∂χt(V)t(t,x,n)⋅u dS−∫∂χt(V)q⋅n dS+∫χt(V)ρr dx,

ddt∫χt(V)ρs dx≥−∫∂χt(V)qT⋅n dS+∫χt(V)ρrT dx.

The entropy flux uses the local material temperature at the heat-transfer point. A reservoir at a different temperature, a singular surface force, a shock, vacuum, or a weak solution requires a separately stated model and is not covered here. The postulate reports no experiment and asserts no measurement or universal claim that nature obeys these assumptions.

Facts & Assumptions

Given: The explicitly adopted Newtonian-spacetime, smooth-motion, field-type, and SI conventions of the preceding definition.

[F1]

Classical frames, primitive quantities and SI units: time is absolute; a material motion is separate from an inertial chart; u is Eulerian velocity; Dt=∂t+u⋅∇; current mass density is scalar in kg m−3; traction is σn; and e,T,s,q,r have the listed types and units.

[F2]

Smooth transport, Jacobian and advected reference density: for a C2 orientation-preserving motion, every compact Jordan material set and C1 scalar field obey the stated change-of-variables and material-transport formulas; its statement gives the continuity/local-mass equivalence for all compact Jordan sets. This remains a draft mathematical supplier used here as a formulation interface, while C1 material regions have compatible Jordan volume integrals supplies the conversion from open C1 subregions to the compact-Jordan convention.

[F3]

C1 material regions have compatible Jordan volume integrals: a bounded open region with locally C1 graph boundary and its image under a C1 diffeomorphism are bounded C1 domains and Jordan measurable; integration over the open current region agrees with integration over its compact closure.

[F4]

Finite continuous surface integrals on compact C1 boundaries: every compact boundary of a bounded open locally one-sided C1 graph region has the finite continuous Riemann surface integral stated above, independent of graph charts and subordinate partitions; its outward normal is continuous and its scalar, vector and flux integrals are finite.

Authoring review notes

The cited continuum laws are adopted physical premises. The cited texts motivate their standard formulations; neither a textbook nor the model equations prove the continuum approximation or empirical validity. The temperature in the entropy flux is explicitly the local material temperature. The postulate does not adopt a constitutive law or an equation of state.

Depends on

Dependency tree · 2 levels

Sources