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.

Classical frames, primitive quantities and SI units

Physical scope

Smooth nonrelativistic continuum kinematics on Newtonian spacetime, with explicit Cartesian inertial charts, rigid observers, material motions, field types, primitive/derived roles, and SI dimensions. No relativistic causal structure or empirical fluid applicability is asserted.

Definition

Use the nonrelativistic Newtonian spacetime I×E, where I⊆R is an open interval with absolute time t in seconds. Here E is a three-dimensional oriented Euclidean affine space: its translation vectors form an oriented Euclidean vector space, but no origin in E is distinguished. A Cartesian inertial chart is an event-coordinate map (t,X)↦(t,xt(X)), where b:E→R3 is an orientation-preserving affine isometry, w∈R3 is constant, and xt(X)=b(X)+tw for t∈I. The affine map b is auxiliary data defined on E, so this formula requires no evaluation at time 0 when 0∉I. Each fixed-time spatial map is an orientation-preserving affine isometry with fixed spatial orientation; the spatial origin has constant velocity. Spatial coordinates are measured in metres and w in metres per second. A chart may also use a translated absolute-time coordinate; at corresponding events the inertial-chart transformations are the ones displayed below. Write SO(3)={Q∈R3×3:QTQ=I3,det⁡Q=1}. Inertial charts are related by

t∗=t+t0,x∗=Qx+vt+a,

where t0 is a constant time translation in seconds, Q∈SO(3) is constant, v∈R3 is a constant relative velocity in m s−1, and a∈R3 is a constant spatial translation in metres. A worldline is a curve t↦(t,x(t)) with x∈C2(I,R3), parameterized by absolute time; this model imposes no relativistic speed or causal condition. A rigid observer change is the more general coordinate change t∗=t, x∗=Q(t)x+c(t), with Q∈C2(I,SO(3)) and c∈C2(I,R3) in metres; it is not called inertial unless Q is constant and c is affine in time. A frame here means an adapted Cartesian chart, not an observer congruence or a basis field.

For the initial-chart material-motion convention below, require 0∈I. Let B⊆R3 be a bounded open reference body whose boundary is locally the graph of a C1 function, with B lying on one side of each such graph. Identify the reference coordinates with the chosen initial Cartesian chart, and let U be an open neighborhood of B‾. A material motion is a map χ∈C2(I×U,R3) such that each χt=χ(t,⋅) is a bijection from U onto an open image, has a C2 inverse, and has positive Jacobian determinant; in the initial chart set χ(0,a)=a. The label a∈U and position x=χ(t,a) are measured in metres. Write

F(t,a)=Daχ(t,a),J(t,a)=det⁡F(t,a)>0,A(t,x)=χt−1(x),Ωt=χt(B).

Here F and J are dimensionless and A has units metres. The material map χ describes motion of the medium; it is not a change of observer or frame. The Eulerian velocity is the vector field defined by u(t,χ(t,a))=∂tχ(t,a), measured in m s−1. For a differentiable scalar or component field f, its material derivative is Dtf=∂tf+u⋅∇f. Set Lij=∂jui, D=(L+LT)/2, W=(L−LT)/2, θ=tr⁡D=div⁡u, and D0=D−(θ/3)I3; L,D,W,θ,D0 have units s−1. Define vorticity by

curl⁡u=(∂yuz−∂zuy, ∂zux−∂xuz, ∂xuy−∂yux),

also in s−1. In this library, a motion is material-incompressible on a region when div⁡u=0 there; spatially homogeneous density means ∇ρ=0 there. These are distinct conditions. A pathline is a C1 curve X on an interval where the field is defined and the solution exists, satisfying dX/dt=u(t,X(t)). A streamline at time t0 is a C1 integral curve satisfying dX/ds=u(t0,X(s)) for a frozen t0, with curve parameter s measured in seconds. These are different constructions for an unsteady field.

A spatial vector is an element of the Euclidean translation space; its components rotate by Q under a rigid observer change. A spatial second-order tensor is a linear map from that vector space to itself, represented by a 3×3 matrix in a Cartesian orthonormal basis; it transforms as S∗=QSQT. A tensor-valued constitutive response is objective when its values at corresponding events satisfy this transformation rule for every C2 rigid observer change. For a stress tensor σ, use the tension-positive convention in which the traction (force per unit current area) on a surface with outward unit normal n is σn. Set (div⁡σ)i=∂jσij; the tensor contraction is S:T=∑i,jSijTij. Stress and traction have units Pa =N m−2=kg m−1 s−2.

Within a specified model, a primitive quantity is a quantity adopted as input rather than constructed from the other data of that model; a derived quantity is assigned by an explicit construction from stated inputs and results. This status is framework-local and is independent of whether its SI unit is base or derived. In the continuum model used on this page, ρ0(a) is a reference mass-density field in kg m−3, b(t,x) is an adopted body-acceleration field in m s−2, e(t,x) is specific internal energy (energy per unit mass) in J kg−1=m2 s−2, T(t,x)>0 is temperature in K, s(t,x) is specific entropy in J kg−1 K−1, q(t,x) is heat flux (heat-transfer rate per unit area) in W m−2, and r(t,x) is specific heat supply (power per unit mass) in W kg−1. Their adoption is a physical-model choice, not a consequence of the SI. The current mass density ρ(t,x) means mass per unit current volume and has units kg m−3; for a mass-conserving motion, its construction from ρ0 and χ is established from the stated balance hypotheses in the theorem on this page. A pressure p is a scalar in Pa whose role depends on the selected constitutive branch. The shear and bulk dynamic-viscosity parameters μ,ζ, when that branch is adopted, have units Pa s =kg m−1 s−1; thermal conductivity κT has units W m−1 K−1. The gradient ∇ has units m−1. Thus the metre, kilogram, second, and kelvin are SI base units in this dictionary, while density, velocity, acceleration, pressure, energy, power, viscosity, and heat-flux units are derived according to the BIPM SI conventions.

Authoring status

The batch-2 supplier Smooth material configurations and Eulerian fields is now present: its inspected definition gives the C2 family of orientation-preserving diffeomorphisms, positive Jacobian, inverse label, Eulerian velocity, material derivative, and strain-rate interface used here. This item states its own initial-chart normalization and explicit SI dictionary as additional conventions.

Depends on

Dependency tree · 2 levels

Sources