Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicable
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.

Continuum body data, the fixed inertial frame and the dimensions of the fields

Physical scope

The kinematic and dimensional framework of the continuum branch: one fixed inertial frame, a reference material region with a reference chart domain, a time window, and the dimensions of the density, velocity, acceleration, body-force, traction, stress, displacement, elastic, viscous, pressure and wave-speed fields. The definition fixes conventions only; it asserts no motion, no balance law, no constitutive relation and no measured value.

Definition

(a) Framework and frame. The framework is the non-relativistic classical mechanics of Adopted Newtonian spacetime structure: absolute time, Euclidean spatial slices and their smooth structure with the inertial frames, stationary observers and allowed changes of frame of Inertial frames, stationary observers and the adopted Galilean transformations between frames; the particle worldline conventions of Particle labels, worldlines, the frame-time parameter condition and fixed inertial masses are used for the labeled points of a body, and dimensions and reference units (metre, second, kilogram) are read by Dimensions and SI unit conventions of the non-relativistic classical mechanics framework. Throughout this page one inertial frame F with adapted coordinates (t,x) of the affine time space Affine time space with Euclidean simultaneous slices and adapted charts is fixed, and each simultaneous spatial slice is identified with R3 carrying its standard Euclidean structure. The time coordinate t is the model's time in seconds, [t]=τ, and the spatial components xi are positions in metres, [xi]=ℓ. All fields below are read in this one frame.

(b) Body data. A continuum body data set in F is a triple (B,O,I) consisting of

  1. a material region B⊆R3: a nonempty, bounded, open set (Material regions, densities and their mass);
  2. an open set O⊆R3 with B‾⊆O, the reference chart domain;
  3. a nonempty open interval I⊆R, the time window (Intervals of R: the nine order-convex forms, nondegeneracy, and length).

The points X∈B are the material labels of the body and B is its reference placement. The reference placement is bookkeeping for the labels and not an observable: it is used only to name the points of the body, and the full-motion branch concerns spatial fields on the current regions; the linear elastic branch instead uses reference fields. The reference chart's Euclidean structure fixes the derivatives of these reference fields. It does not assign an intrinsic mass or force to a label.

(c) Field slots and dimensions. These slots are conditional data, not assertions of physical existence. Whenever a motion is specified, use exactly Continuum motions, spatial velocity, material acceleration and swept regions: a C2 map χ:I×O→R3, with each χt injective and DXχt invertible, and det⁡DXχt>0 on I×B. Put Ωt=χt(B) and U={(t,x):t∈I, x∈χt(O)}, the open spacetime domain of that supplier. Spatial fields below are defined on U or on a stated open subdomain containing the current events of interest; additional regularity is specified wherever needed. The dimensions use Dimensions and SI unit conventions of the non-relativistic classical mechanics framework.

  1. Density is a scalar map ρ:U→(0,∞) of class C1, read as mass per unit spatial volume, [ρ]=μℓ−3.
  2. Spatial velocity is the C1 map u:U→R3 defined by u(t,χ(t,X))=∂tχ(t,X), [u]=ℓτ−1. For any C1 scalar or vector field f on this domain define Dtf=∂tf+Dxf u, componentwise for vectors, as in Euclidean spatial calculus: gradient, divergence and material derivative. Material acceleration is the continuous map a:=Dtu:U→R3, [a]=ℓτ−2.
  3. Body force per unit mass is a continuous map b:U→R3, [b]=ℓτ−2; its force per unit volume is ρb, of dimension μℓ−2τ−2.
  4. With S2={n∈R3:∥n∥2=1}, traction is a map t:U×S2→R3, read as force per unit area acting on the side opposite to the direction n. A stress matrix is a matrix field σ:U→M3(R) representing it by t(s,x,n)=σ(s,x)n when such a field exists; existence and regularity are separate hypotheses. Here [t]=[σ]=μℓ−1τ−2 (SI N m−2).
  5. Displacement relative to the stationary reference placement is ξ:I×O→R3, ξ(t,X)=χ(t,X)−X, [ξ]=ℓ; its linear strain is the symmetric matrix field e=(DXξ+(DXξ)T)/2, of dimension 1. A linearized branch may instead prescribe a displacement field with these same domain and strain conventions; identifying it with an exact motion requires the motion hypotheses above.
  6. Elastic moduli λ,μs are real scalar model parameters; pressure is a scalar field p:U→R of class C1, read as the coefficient in the isotropic stress −pI3. Their dimension is μℓ−1τ−2. Dynamic viscosity η is a real scalar model parameter of dimension μℓ−1τ−1 (SI Pa s). Signs and constitutive uses of these parameters are specified by each branch.
  7. Wave speed c>0 is a scalar parameter of a specified wave model, [c]=ℓτ−1; its construction from that model's parameters is stated in the relevant branch, rather than inferred from dimensions.

(d) Frame and reference-label conventions. Write a Galilean change as G(t,x)=(t′,x′)=(t+β,Rx+vt+a0),R∈SO(3), with the conventions of Galilean transformation of worldlines: velocity and acceleration laws, frame-independence of zero coordinate acceleration, and the group of frame changes. At corresponding events, a scalar field q (for example, density ρ or pressure p) transforms by q′∘G=q. Spatial vectors such as acceleration and force per unit mass transform by a′∘G=Ra, b′∘G=Rb, while velocity has the boost term u′∘G=Ru+v. Normals transform by n′=Rn, traction by t′(G(t,x),Rn)=R t(t,x,n), and stress by σ′∘G=RσRT. Rotations preserve spatial volume and area. Spatial differentiation is at fixed frame time; these rules give Dx′u′=R(Dxu)RT, div⁡x′u′=div⁡xu and Dt′u′=RDtu at corresponding events. In particular, σ′n′=Rσn, so traction representation is preserved.

Here the local mass and momentum equations mean precisely Dtρ+ρdiv⁡xu=0,ρDtu=ρb+g,gi:=∑j=13∂xjσij, with ρ,u,σ of class C1 on a common open subdomain of U and b continuous there, as in Local mass balance: conservation on every material subregion implies ∂tρ+div⁡(ρu)=0 and Local momentum balance: ρDtu=ρb+div⁡σ from the integral balance on admissible material subregions. These are equation templates, not adopted laws in this definition. The chain rule applied to G−1 gives (Dt′ρ′)∘G=Dtρ and g′∘G=Rg (in the latter identity the sum over spatial indices uses RTR=I3). Thus the mass residual is unchanged and the momentum residual is multiplied by R; each equation holds exactly when its transformed equation holds.

For the integral forms, use the exact setting of those two suppliers, including ACω: J0 has compact closure in I, the common open field domain contains its swept closure, and B0⊆B is nonempty bounded open with B0‾⊆B. Write Vt=χt(B0) for the moving region, and put M(t):=∫Vtρ dx,P(t):=∫Vtρu dx,F(t):=∫Vtρb dx+∫∂Vtσν dS. The volume integrals are Lebesgue integrals, componentwise for vectors; the force expression is used only when Vt is a bounded C1 domain, with outward unit normal ν and the surface integral of Local momentum balance: ρDtu=ρb+div⁡σ from the integral balance on admissible material subregions. The equations are M˙=0 and P˙=F, on the respective admissible regions and times of the suppliers. At t′=t+β the corresponding region is RVt+vt+a0. Volume and surface measure preservation and ν′=Rν give M′(t′)=M(t), P′(t′)=RP(t)+vM(t) and F′(t′)=RF(t), where primes here label the transformed quantities. Consequently dP′/dt′=RP˙+vM˙: the integral momentum equation retains its form together with mass conservation. No covariance of momentum alone without the mass premise is asserted.

For a reference-label chart choose a fixed reference time tr∈I and set X′=RX+vtr+a0. This is a time-independent relabeling, with B′,O′ the images of B,O, and χ′(t′,X′)=Rχ(t,X)+vt+a0,t=t′−β. A material scalar transforms by composition with the inverse label/time map; a material vector by that composition followed by R. In the linear elastic branch the stress-free comparison placement X in F transforms to the uniformly translating comparison placement RX+vt+a0 in F′. Define displacement as the difference from this same comparison placement, so ξ′(t′,X′)=Rξ(t,X),DX′ξ′=R(DXξ)RT,e′=ReRT. Time derivatives here are at fixed labels. Consequently ∂t′2ξ′=R∂t2ξ, while the label's coordinate velocity in the boosted description is v+R∂tξ. In the stationary comparison frame its coordinate velocity is ∂tξ; for a finite motion the spatial velocity is related by u(t,χ(t,X))=∂tξ(t,X). Constant isotropic elastic moduli and viscosity are scalars. Precisely, the isotropic strain-stress law of The small-strain isotropic linear elastic constitutive law and its strain energy, applied at each time to a C2 reference displacement, is σref=λ(tr⁡e)I3+2μse with constant μs>0 and λ+2μs/3>0. Since tr⁡(ReRT)=tr⁡e and RI3RT=I3, its rotated stress is RσrefRT=λ(tr⁡e′)I3+2μse′. Thus it retains its form. These are conditional coordinate-reading rules, not a finite-strain approximation theorem or a new constitutive assumption.

Remarks

  • No dynamical content. Nothing above asserts that any body moves, that any mass, force or stress exists, or that any field of the list occurs in a model. The list fixes names, slots and dimensions for the postulates and theorems that follow, and the dimension computations are consistency conventions in the sense of Dimensions and SI unit conventions of the non-relativistic classical mechanics framework, not physical laws.

  • Reference versus current placement. The choice of B and O is bookkeeping for the labels. The full-motion and reference-field branches use their respective domains above. Clause (d) specifies the affine relabeling convention and the conditional transformation calculations; it does not identify a reference strain with a finite-strain observable.

  • Model quantities versus measured quantities. The fields introduced here are model quantities read in a frame. A measured mass, density or force is related to them only through an explicit measurement model and is not asserted by this definition; no empirical value is recorded on this page.

Depends on

Dependency tree · 2 levels

Sources