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
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 be positive. On each swept material region, require and , with and ; the motion has the regularity and positive Jacobian in the preceding definition. A material subregion is for a nonempty bounded open set whose boundary is locally, after a rigid coordinate change, a graph with 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 and its image , their compact closures are Jordan measurable and their boundaries have content zero. For every continuous scalar integrand on a neighborhood of , ; the analogous equality is used on and . Vector and tensor integrals are taken componentwise. These are the earlier -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 , surface integration is the finite-chart Riemann convention: for any continuous scalar on , choose regular graph charts and a finite nonnegative subordinate smooth ambient partition with compact support in the chart neighborhoods and sum one on , and put . Each parameter integrand is extended by zero outside . These integrals are finite and independent of charts and partition; in graph coordinates the density is . 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 . Adopt a positive reference mass density , a positive current density , a body-acceleration field , a contact traction depending only on the local outward unit normal , a Cauchy stress field , specific internal energy , positive temperature , specific entropy , heat-flux vector , and specific heat supply , 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,
In the same inertial chart, adopt the balances of linear and angular momentum,
Adopt the total-energy balance and entropy inequality
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.
Postulate references
Facts & Assumptions
Given: The explicitly adopted Newtonian-spacetime, smooth-motion, field-type, and SI conventions of the preceding definition.
Classical frames, primitive quantities and SI units: time is absolute; a material motion is separate from an inertial chart; is Eulerian velocity; ; current mass density is scalar in kg m; traction is ; and have the listed types and units.
Smooth transport, Jacobian and advected reference density: for a orientation-preserving motion, every compact Jordan material set and 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 subregions to the compact-Jordan convention.
C1 material regions have compatible Jordan volume integrals: a bounded open region with locally graph boundary and its image under a diffeomorphism are bounded domains and Jordan measurable; integration over the open current region agrees with integration over its compact closure.
Finite continuous surface integrals on compact C1 boundaries: every compact boundary of a bounded open locally one-sided 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
- Ain A. Sonin, Fundamental Laws of Motion for Particles, Material Volumes, and Control Volumes, MIT 2.25 lecture notes
- Andrew Hazel, MATH45061 Continuum Mechanics, Chapter 3: Forces, Momentum and Stress
- Andrew Hazel, MATH45061 Continuum Mechanics, Chapter 4: Physical Conservation and Balance Laws & Thermodynamics
- David Tong, Fluid Mechanics, Part I lecture notes