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.
Restricted non-Newtonian constitutive examples
Chosen incompressible generalized Newtonian/Bingham closures; isothermal conformation adds C storage and thermostat, with no empirical applicability claim.
Definition
Let be the real matrices. For , define its trace by , and let be the identity matrix, with diagonal entries and all other entries .
Let be a nonempty open interval containing , let be a bounded open reference body with boundary, and let be an open neighborhood of . A material motion is a map whose slices are orientation-preserving diffeomorphisms onto their images, with . Its swept open region is , its inverse label is , and its Eulerian velocity is . Set , , , and . A branch is incompressible when , so is symmetric and trace-free. Write for the Frobenius contraction and for its norm. Define and . A rigid observer change is with , , and . A second-order tensor transforms as ; a constitutive response is objective when it obeys this rule at corresponding events.
For the generalized Newtonian and Bingham branches, require throughout , so . In these branches, is a symmetric deviatoric extra stress, meaning ; the total tension-positive Cauchy stress may additionally contain an isotropic pressure. In the conformation branch, and denote the polymer and solvent stresses separately and the pressure is a Lagrange multiplier. Stress is measured in Pa, and shear rate in , viscosity in , and a rate of stress power per volume in .
For a generalized Newtonian branch, define
where is finite and continuous. Two permitted scalar choices are the Carreau form
with in , in seconds, and dimensionless , and the regularized power form
with in , in , and dimensionless . The unregularized power form is defined only for ; its stress is extended by at , so for the viscosity diverges at zero rate even though the extended stress can be continuous.
For the Bingham branch, let in and in . Adopt , where the set-valued graph on is
where is the space of trace-free symmetric real matrices. Here is, by definition, the radius of the Frobenius stress ball at rest; other invariant normalizations require a corresponding parameter conversion. The graph is single-valued for and set-valued at rest.
For an isothermal conformation branch, let be a compact interval with . A pathline on is a continuously differentiable curve satisfying and for every ; derivatives at the endpoints are one-sided. Assume on and take such a pathline. Let be a dimensionless matrix-valued function. Along this pathline, the material derivative of is its ordinary derivative, . Set and . Let be a modulus in Pa, a relaxation time in seconds, a solvent viscosity in , and a fixed temperature in K. Here an external thermostat is an idealized heat reservoir that maintains and accounts for heat released by this branch; it is an additional model assumption. Adopt
The polymer and solvent stresses are measured in Pa, and is a stored-energy density in . The determinant is positive because is symmetric positive definite. These are selected model equations on the stated smooth incompressible regime; they assert no empirical applicability to a particular material, fitted parameter values, PDE solution existence, or universal validity.
Depends on
Dependency tree · 2 levels
Sources
- J. N. Reddy, An Introduction to Continuum Mechanics, Second Edition, Chapter 6, equation (6.5.15) and §§6.6.1–6.6.2.3
- Chiang C. Mei, MIT OpenCourseWare 1.63J/2.21J Lecture Notes on Fluid Dynamics, §1.6.2
- John W. Barrett and Sébastien Boyaval, Existence and Approximation of a (Regularized) Oldroyd-B Model, arXiv:0907.4066v2, §1.1 and §2.3
- S. Boyaval, T. Lelièvre, and C. Mangoubi, Free-energy-dissipative schemes for the Oldroyd-B model, ESAIM: M2AN 43 (2009), §§2.1.1–2.1.2
- David Tong, Fluid Mechanics, Part I lecture notes, §§1.1.1–1.1.3