Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedprecheck pendingverified 2026-10-23 (gpt-6.1-sol)
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

Physical scope

Chosen incompressible generalized Newtonian/Bingham closures; isothermal conformation adds C storage and thermostat, with no empirical applicability claim.

Definition

Let M3(R)=R3×3 be the real 3×3 matrices. For M=(Mij)∈M3(R), define its trace by tr⁡M=∑i=13Mii, and let I3 be the 3×3 identity matrix, with diagonal entries 1 and all other entries 0.

Let I⊆R be a nonempty open interval containing 0, let B⊆R3 be a bounded open reference body with C1 boundary, and let U be an open neighborhood of B‾. A material motion is a map χ∈C2(I×U;R3) whose slices χt(a)=χ(t,a) are orientation-preserving C2 diffeomorphisms onto their images, with χ(0,a)=a. Its swept open region is Ω={(t,x):x∈χt(U)}, its inverse label is A(t,x)=χt−1(x), and its Eulerian velocity is u(t,χ(t,a))=∂tχ(t,a). Set Lij=∂jui, D=(L+LT)/2, θ=tr⁡D=div⁡u, and Dt=∂t+u⋅∇. A branch is incompressible when θ=0, so D is symmetric and trace-free. Write S:T=tr⁡(STT) for the Frobenius contraction and ∣S∣=(S:S)1/2 for its norm. Define Sym0(3)={D∈M3(R):D=DT,tr⁡D=0} and Sym+(3)={C∈M3(R):C=CT,zTCz>0 for every z≠0}. A rigid observer change is x∗=Q(t)x+c(t) with Q∈C2(I,SO(3)), c∈C2(I,R3), and SO(3)={Q:QTQ=I3,det⁡Q=1}. A second-order tensor transforms as S∗=QSQT; a constitutive response is objective when it obeys this rule at corresponding events.

For the generalized Newtonian and Bingham branches, require θ=div⁡u=0 throughout Ω, so D∈Sym0(3). In these branches, τ is a symmetric deviatoric extra stress, meaning tr⁡τ=0; the total tension-positive Cauchy stress may additionally contain an isotropic pressure. In the conformation branch, τp and τs denote the polymer and solvent stresses separately and the pressure is a Lagrange multiplier. Stress is measured in Pa, D and shear rate in s−1, viscosity in Pa s, and a rate of stress power per volume in W m−3.

For a generalized Newtonian branch, define

γ˙=(2D:D)1/2,τ=2η(γ˙)D,

where η:[0,∞)→[0,∞) is finite and continuous. Two permitted scalar choices are the Carreau form

ηC(γ˙)=η∞+(η0−η∞)(1+(λCγ˙)2)(nC−1)/2,

with η0≥η∞≥0 in Pa s, λC≥0 in seconds, and dimensionless nC>0, and the regularized power form

ηR(γ˙)=m(ε2+γ˙2)(nR−1)/2,

with m>0 in Pa snR, ε>0 in s−1, and dimensionless nR>0. The unregularized power form ηU=mγ˙ nR−1 is defined only for γ˙>0; its stress is extended by τ=0 at D=0, so for 0<nR<1 the viscosity diverges at zero rate even though the extended stress can be continuous.

For the Bingham branch, let μp≥0 in Pa s and τy≥0 in Pa. Adopt τ∈B(D), where the set-valued graph on Sym0(3) is

B(D)={{2μpD+τyD/∣D∣},D≠0,{S∈Sym0(3):∣S∣≤τy},D=0,

where Sym0(3) is the space of trace-free symmetric 3×3 real matrices. Here τy 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 D≠0 and set-valued at rest.

For an isothermal conformation branch, let K=[t0,t1]⊂I be a compact interval with t0<t1. A pathline on K is a continuously differentiable curve x:K→R3 satisfying (t,x(t))∈Ω and x′(t)=u(t,x(t)) for every t∈K; derivatives at the endpoints are one-sided. Assume div⁡u=0 on Ω and take such a pathline. Let C∈C1(K;Sym+(3)) be a dimensionless matrix-valued function. Along this pathline, the material derivative of C is its ordinary derivative, DtC(t,x(t)):=ddtC(t). Set L(t)=∇u(t,x(t)) and D(t)=(L(t)+L(t)T)/2. Let G>0 be a modulus in Pa, λ>0 a relaxation time in seconds, ηs≥0 a solvent viscosity in Pa s, and T0>0 a fixed temperature in K. Here an external thermostat is an idealized heat reservoir that maintains T0 and accounts for heat released by this branch; it is an additional model assumption. Adopt

dCdt=LC+CLT−(C−I3)/λ,τp=G(C−I3),τs=2ηsD,w(C)=G2(tr⁡C−log⁡det⁡C−3).

The polymer and solvent stresses τp,τs are measured in Pa, and w is a stored-energy density in J m−3. The determinant is positive because C 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