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.
Boundary data, regularity limits and open scopes of the continuum page, and the model-versus-nature reading
Scope audit of the continuum page: the ideal boundary data used by its boundary-value and evolution results (periodic cell, fixed ends, whole line, and the no-slip condition of the channel example), the actual pointwise applicability limits of the smoothness and positive-Jacobian hypotheses of the finite-motion transport and balance branch, its separately adopted exclusion of material interfaces and its theorem-specific boundary regularity, the separately adopted reference-coordinate linear elastic balance without a finite-motion requirement, the validity regimes of the constitutive branches and the separate one-dimensional string model, the open specialist scopes deliberately not claimed (general compressible entropy systems, rough walls and boundary layers, nonlinear constitutive PDEs, turbulence closure, all-time three-dimensional regularity), and the model-versus-nature status of every result on the page. The remark asserts no new physical claim, no measurement and no theorem.
Remarks
-
Boundary data are idealizations, not derived. Boundary-value and evolution results use explicit ideal domains and boundary data: the periodic cell of Adopted fluid constitutive branches: incompressible Newtonian, barotropic inviscid, and the periodic-cell idealization clause (c) (fields on , with the mean of the pressure fixed), fixed ends for the string (The string model: d'Alembert solutions, fixed-end modes and uniqueness for the adopted one-dimensional continuum), the whole line for the d'Alembert problem, and the no-slip conditions used by the channel-flow example of the companion page. These conditions are adopted; they are not derived from the balance principles and are not claims about real boundaries. Rough walls, wall slip at small scales, boundary layers, free surfaces, contact lines and moving contact sets require boundary models outside this page and are not covered by any theorem here.
-
Regularity limits and separate model exclusions. The finite-motion transport and balance theorems assume a motion with positive Jacobian and fields, and the local fluid theorem assumes smooth data. These classical identities apply only where their stated hypotheses hold; they do not apply pointwise across a jump discontinuity of a required field or where the motion loses its required regularity, injectivity or positive Jacobian. A material interface, a surface separating material portions, need not produce such a discontinuity: the motion and fields can extend smoothly across it. Adopted continuum kinematic model: body data, smooth motions as families of label worldlines, the continuum idealization and frame covariance clause (iv) separately excludes material interfaces from its adopted physical scope; this is a model restriction, not a consequence of smoothness. Boundary corners likewise need not violate field regularity: the body data require a bounded open region, while each boundary integral has its own domain hypotheses. In particular, Adopted balance principles of the continuum model: force and couple-free torque balance on every admissible region permits finite piecewise presentations with face integrals and surface-null edges; a corner alone does not require a weak formulation. For fields with jumps, these classical results supply no balance across the discontinuity. Weak and entropy solutions of the scalar conservation law separately defines a scalar weak balance tested against compactly supported functions and its entropy inequalities; the companion page exhibits shock and rarefaction solutions in that specified formulation. No general multidimensional shock theory, entropy existence theorem or interface kinematics is claimed by this page.
-
Constitutive validity is restricted and stated. The linear elastic branch is a small-strain first-order idealization with two constant moduli (Adopted isotropic linear elastic constitutive model with its small-strain regime and strain energy); the Newtonian branch assumes a constant viscosity and an incompressible, isothermal description, and the separately adopted constant-density incompressible Euler branch sets the viscous stress to zero, while the inviscid barotropic branch assumes a pressure law and a conservative body force (Adopted fluid constitutive branches: incompressible Newtonian, barotropic inviscid, and the periodic-cell idealization). In every branch the parameters (; ; the pressure law) are model data: a numerical comparison uses measured values as qualified empirical premises with their conditions and uncertainty, and no such value is asserted on this page. Plastic, viscoelastic, anisotropic, temperature-coupled, non-Newtonian and turbulent-closure responses are outside the page.
-
Open specialist scopes. The following are deliberately not claimed, as general results or as special cases of the theorems above: general compressible entropy systems in several space dimensions; rough-wall traces and boundary-layer asymptotics; nonlinear constitutive partial differential equations beyond the stated branches; turbulence universality or closure; and all-time three-dimensional regularity of the viscous model. The local periodic theorem is local, and Scope of the local periodic result: what is proved and what is not records the dated 2026 CMI announcement about the Euclidean problem and the absence of an audited transfer to this unforced periodic model; this page inherits the local-proof boundary without asserting a blanket present-day open status or a global conclusion.
-
Model deductions versus nature. All results of this page are conditional deductions from each result's explicitly adopted model assumptions and the cited mathematics, subject to its stated hypotheses. The finite-motion momentum deduction uses the kinematic and mass-balance hypotheses of The momentum equation of the continuum model: local form rho D_t u = rho b + div sigma and the momentum-balance postulate Adopted balance principles of the continuum model: force and couple-free torque balance on every admissible region; a constitutive application also adopts its specified branch. The linear elastic deduction The displacement equation of the linear elastic branch: rho_0 partial_t^2 xi = rho_0 b + mu_s Laplacian xi + (lambda + mu_s) grad div xi instead uses Adopted isotropic linear elastic constitutive model with its small-strain regime and strain energy: a reference displacement , constant reference density , the isotropic stress with and its stated moduli, and the adopted reference balance . It requires neither a finite motion nor a positive Jacobian, and constant reference density does not assert constant current density. The string results separately adopt the one-dimensional model of The string model: d'Alembert solutions, fixed-end modes and uniqueness for the adopted one-dimensional continuum: uniform linear density , tension , and small transverse displacement satisfying with the specified line or fixed-end data. Its model equation is adopted, not deduced from the three-dimensional constitutive postulates. They do not establish that the model describes any material, and no measurement is used or asserted. Comparing a prediction with an observation tests the model, the boundary data and the apparatus together; agreement is evidence under stated conditions, not a proof of the model, and disagreement may expose a constitutive law, a boundary condition, or an analysis assumption rather than a single principle.
Depends on
Local existence, uniqueness and pressure reconstruction for the incompressible fluid model on the periodic cell
The displacement equation of the linear elastic branch: rho_0 partial_t^2 xi = rho_0 b + mu_s Laplacian xi + (lambda + mu_s) grad div xi
The string model: d'Alembert solutions, fixed-end modes and uniqueness for the adopted one-dimensional continuum
The momentum equation of the continuum model: local form rho D_t u = rho b + div sigma
Adopted fluid constitutive branches: incompressible Newtonian, barotropic inviscid, and the periodic-cell idealization
Adopted isotropic linear elastic constitutive model with its small-strain regime and strain energy
Adopted balance principles of the continuum model: force and couple-free torque balance on every admissible region
Weak and entropy solutions of the scalar conservation law
Scope of the local periodic result: what is proved and what is not
Adopted continuum kinematic model: body data, smooth motions as families of label worldlines, the continuum idealization and frame covariance
Dependency tree · 2 levels
Sources
- R. Abeyaratne, Continuum Mechanics, Volume II of Lecture Notes on the Mechanics of Solids (MIT, 1988, revised 2020), Sections 12.1-12.3 (fluid boundary conditions and the limits of the inviscid and viscous models)
- K. Likharev, Essential Graduate Physics, Classical Mechanics (September 1, 2026 complete volume), Sections 7.1, 7.3 and 8.5 (idealizations of the continuum description, elastic moduli and viscous channel flows with their conditions)