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.
A declared smooth open flow: the uniform scaling , satisfies the control-volume identities on fixed and material regions, and elbow port data illustrate the inlet/outlet decomposition
Two declared checks of the finite-regularity open-flow bookkeeping: (i) the exact uniform-scaling model , , , with the control maps specified and the units of declared; (ii) a conditional steady-elbow calculation with declared inlet/outlet data, where the balance gives mass flow and requires a net external resultant on the fluid of magnitude about . No pressure-free momentum-flux force decomposition is inferred, since no boundary-stress data are given. Both are computations on declared model data; the example reports no measurement and does not solve a boundary-value problem.
Example
(i) Declared uniform scaling. Fix constants , and , with , and . On an open interval use uniform scaling, meaning expansion for and contraction for , and set and fix radii and with units . Let the material region be a ball with radius . Define the material motion on a neighbourhood of . More precisely, choose an open ball with and define by this formula. Its restriction to has current radius . Define the fixed-ball control motion by for , with control region , and the material-ball control motion by for , with control region . Each map is a motion on the open reference domain and has positive spatial Jacobian. Take the fields on a common open neighbourhood of the closed sweep of and the closed sweeps of these controls. The fields satisfy the adopted balances of The finite-regularity open-flow model: moving-control-region mass and momentum balances, their material and fixed special cases, and the inlet/outlet decomposition reproducing the open-body and rocket laws (the density is spatially uniform, the velocity is , and the pressure is quadratic).
(ii) Declared elbow control-volume data. Take a material region with motion and associated spatial velocity field as in Continuum motions, spatial velocity, material acceleration and swept regions, and a material subregion with boundary. On an open reference neighbourhood , define the fixed control motion by ; its control region is and its boundary velocity is . Adopt the material balances of The finite-regularity open-flow model: moving-control-region mass and momentum balances, their material and fixed special cases, and the inlet/outlet decomposition reproducing the open-body and rocket laws for this model and the local mass and momentum equations on an open field neighbourhood of the closed control region, as allowed by that theorem's local-equation alternative.
Assume is constant and the fields are time-independent on that neighbourhood. The bounded boundary of is partitioned into finitely many boundary pieces, up to surface-measure-zero edges; designate an inlet patch , an outlet patch , and let the remaining pieces form an impermeable remainder . The outward unit normals on the ports are and . On the ports take and , respectively, where each is a nonnegative, nonzero profile supported compactly inside its port, with units ; take on the remainder. These traces vanish near the port edges and are compatible with a field and continuous boundary normal. For either port define so , the mass rate is , and the flux-averaged velocity is in the port direction. Declare , and ; the outlet effective speed is unknown. The effective areas are defined by these integrals, not the geometric patch areas. Assume the time-independent velocity field is on the common neighbourhood. Set the body-force field to and assume the stress field is on the same neighbourhood. These are conditional model premises for a balance calculation; no existence claim for a boundary-value solution or decomposition of the boundary stress is made. The calculation determines only the net external resultant required by the steady balance.
Facts & Assumptions
Given: The declared fields and control motions of the Example, the Axiom of Countable Choice (The Axiom of Countable Choice ()), assumed as in the statements of The finite-regularity open-flow model: moving-control-region mass and momentum balances, their material and fixed special cases, and the inlet/outlet decomposition reproducing the open-body and rocket laws and Control-volume balance: mass and momentum rates for a moving non-material region, whose transport and divergence deductions use it, and the control-volume theorem The finite-regularity open-flow model: moving-control-region mass and momentum balances, their material and fixed special cases, and the inlet/outlet decomposition reproducing the open-body and rocket laws with its clauses 1-3.
The Axiom of Countable Choice is assumed (The Axiom of Countable Choice ()), inherited from The finite-regularity open-flow model: moving-control-region mass and momentum balances, their material and fixed special cases, and the inlet/outlet decomposition reproducing the open-body and rocket laws; the elementary verifications of steps 1.1-4.1 use no further choice.
Balance and control-volume identities (The finite-regularity open-flow model: moving-control-region mass and momentum balances, their material and fixed special cases, and the inlet/outlet decomposition reproducing the open-body and rocket laws clauses 1-3, Control-volume balance: mass and momentum rates for a moving non-material region, Continuum motions, spatial velocity, material acceleration and swept regions, Euclidean spatial calculus: gradient, divergence and material derivative, Variable-mass momentum balance: from and to ): for a model satisfying the adopted local mass and momentum balances, (CV1) and (CV2) hold for every control motion with bounded control regions whose closed sweep lies inside the common field domain where those local equations hold; if the boundary splits into inlet and outlet with the stated signs, then and .
Elementary calculus and algebra (Intervals of : the nine order-convex forms, nondegeneracy, and length, Euclidean maps and diffeomorphisms, The Euclidean inner product on , Dimensions and SI unit conventions of the non-relativistic classical mechanics framework): ; for the field , , and ; the surface integral of the unit normal over a sphere vanishes, and odd integrands over a centred ball integrate to zero.
Verification
Local balances for (i): , and while ; hence the declared fields satisfy the local balances (K) and (KM) of The finite-regularity open-flow model: moving-control-region mass and momentum balances, their material and fixed special cases, and the inlet/outlet decomposition reproducing the open-body and rocket laws. For each admissible material subregion, applying Control-volume balance: mass and momentum rates for a moving non-material region with control motion makes and gives the adopted material balances; thus the premises of The finite-regularity open-flow model: moving-control-region mass and momentum balances, their material and fixed special cases, and the inlet/outlet decomposition reproducing the open-body and rocket laws hold. The fixed and material balls stay in the stipulated neighbourhoods of their closed sweeps, so its control-volume identities apply to them. For (ii), the fixed elbow control region stays in its declared common field domain, its boundary has nonpositive flux on the inlet patch, nonnegative flux on the outlet patch and zero flux on the remainder. The local equations are adopted there, so (CV1) and (CV2) of [L1] apply. Splitting their integrals over these patches remains valid when a profile vanishes: those subsets contribute zero.
Inlet/outlet data for (ii): the fixed-region mass identity (CV1), steady density and velocity, and on give equal inlet and outlet rates, . Hence , so ; thus and the flux-averaged velocities are , in .
Fixed-ball check: for one has and hence ; on the other hand on , so , which is (CV1). For (CV2): (odd integrand) and and , with ; both sides of (CV2) vanish. At , , , : and , agreeing with the flux value.
Net external resultant on the fluid: for steady fields on a fixed control region with zero body force, the fixed-control momentum identity (CV2) of The finite-regularity open-flow model: moving-control-region mass and momentum balances, their material and fixed special cases, and the inlet/outlet decomposition reproducing the open-body and rocket laws, split over the three patches, gives . Hence the net external resultant required by the adopted balance is , with magnitude . This is the resultant of all external tractions on the fluid under the stated model equations; no pressure or wall-traction decomposition, and no device-force value, is determined by the supplied data.
Material-ball check: use the material control motion on , so with . For on the boundary, , so ; then (CV1) gives , and indeed is constant. In (CV2), with both sides zero as in step 2.1 (now at the moving radius), consistent with . This is the material special case of The finite-regularity open-flow model: moving-control-region mass and momentum balances, their material and fixed special cases, and the inlet/outlet decomposition reproducing the open-body and rocket laws clause 2.
Reading: the uniform-scaling fields are an exact solution of the adopted balances, so steps 2.1 and 3.1 check the control-volume identities for the explicitly specified fixed and material control motions. In the elbow calculation, the vector and its magnitude are the conditional net external resultant required by the steady momentum balance; the example supplies no boundary stresses with which to decompose that resultant into pressure and wall contributions. It is not a solution of the full boundary-value problem. All data are model data; no measurement, apparatus or uncertainty is involved.
Remarks
-
What the exact solution does and does not solve. The uniform scaling satisfies the local balances and therefore the control-volume identities; it does not satisfy any particular boundary condition on a wall, because the velocity field is defined on all of space. The material ball is a material region of the declared motion, consistent with Continuum motions, spatial velocity, material acceleration and swept regions.
-
Boundary forces in the elbow. The number is the magnitude of the net external resultant on the fluid required by the adopted steady balance. Equal inlet and outlet pressures and inviscid-wall language would not by themselves determine the wall pressure traction; no pressure-free flux force or device force is isolated here. The example illustrates the inlet/outlet decomposition and is not a design formula.
Depends on
The finite-regularity open-flow model: moving-control-region mass and momentum balances, their material and fixed special cases, and the inlet/outlet decomposition reproducing the open-body and rocket laws
Adopted impact and open-mass extensions of the force branch: the isolated reciprocal impulse model, the collinear restitution contact law and the open-body material accounting
Control-volume balance: mass and momentum rates for a moving non-material region
Variable-mass momentum balance: from and to
Continuum motions, spatial velocity, material acceleration and swept regions
Euclidean spatial calculus: gradient, divergence and material derivative
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Intervals of : the nine order-convex forms, nondegeneracy, and length
Euclidean maps and diffeomorphisms
The Euclidean inner product on
The Axiom of Countable Choice ()
Dependency tree · 2 levels
Sources
- R. Abeyaratne, Continuum Mechanics, Volume II of Lecture Notes on the Mechanics of Solids (MIT, 1988, revised 2020), §3.7 and §4.4: the material transport and balance equations specialised here to a declared velocity and density field
- W. Barsukow, Introduction to Conservation Laws: Theory and Numerics (lecture notes, TUM, Winter term 2021/22), §§1.1-1.3: the fixed-volume and Lagrangian descriptions of the same balance, used for the fixed-ball and material-ball checks
- Jacob Moore and Contributors, Mechanics Map (Pennsylvania State University, 2nd ed.), Engineering LibreTexts, §11.7 'Steady-Flow Devices': the mass-flow relation $\dot m=\rho vA$ and the steady-flow momentum relation used in the elbow illustration