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.
Periodic shear fields: an exact steady Euler solution, failure for the viscous branch, and the classification of steady periodic shears
Worked checks on the periodic cell of the adopted fluid branch: the sinusoidal shear is verified to be an exact steady solution of the inviscid (Euler) branch with zero pressure and to fail the local existence theorem's projected equation for the viscous branch; among classical steady periodic shears with a C^3 velocity profile and C^2 pressure, the viscous branch with no body force admits only constant profiles. The example uses the periodic-cell idealization and reports no measurement.
Example
Assume (The Axiom of Countable Choice ()) for the cited periodic Sobolev and local-evolution suppliers.
Use the dimensionless variables of Adopted fluid constitutive branches: incompressible Newtonian, barotropic inviscid, and the periodic-cell idealization clause (c): in this example denote the scaled time, unit-torus position and velocity, , and . The physical fields are restored by , . Work on the periodic cell of Adopted fluid constitutive branches: incompressible Newtonian, barotropic inviscid, and the periodic-cell idealization clause (c), with constant density , no body force and the stress of the branch. The variables and field values here are dimensionless. Let be a dimensionless velocity amplitude and a dimensionless phase, and
Then:
- and , so with the field is an exact steady solution of the Euler branch () of the model on the periodic cell: holds as , and the primitive equation holds with ;
- the field satisfies the hypotheses of Local existence, uniqueness and pressure reconstruction for the incompressible fluid model on the periodic cell: it is smooth, divergence-free, periodic and has finite norm (), and the displayed global solution is consistent with the local existence-uniqueness statement;
- for the viscous branch () the field is not a solution: and because is divergence-free, so the projected equation would require , which fails for ;
- among classical periodic shears with and periodic pressure , every steady solution of the viscous branch with no body force and constant density is constant: the dimensionless equations force , and periodicity of in together with periodicity of in forces and then .
Facts & Assumptions
Given: Countable choice; the branch data , ; the periodic cell; the field ; and the classical shear class stated in clause 4.
Branch and projected equation (Adopted fluid constitutive branches: incompressible Newtonian, barotropic inviscid, and the periodic-cell idealization, Incompressible Newtonian and barotropic inviscid fluid constitutive models, Local existence, uniqueness and pressure reconstruction for the incompressible fluid model on the periodic cell): for the incompressible branch the field equations are and, in the projected form on the periodic cell, ; for this is the Euler branch and for the primitive form the pressure gradient enters with the opposite sign.
Periodic calculus (Periodic vector Sobolev spaces on the three-torus, the weight family, and the Leray projection, Euclidean spatial calculus: gradient, divergence and material derivative, Euclidean maps and diffeomorphisms, The derivatives of sine and cosine are cosine and minus sine): on the torus, fields are identified with their periodic representatives; for one has and , so , and because is divergence-free; smoothness and finiteness of all norms follow from the smooth periodic formula.
Integral of a derivative (The second fundamental theorem: if is differentiable on with and is integrable, then , A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion): for a real function on an open interval containing , is continuous and hence Riemann integrable on , and ; endpoint derivatives are the restrictions of the ordinary derivatives. For a -periodic representative this gives . Applying the same identity on any compact subinterval also shows that a zero derivative forces constancy there.
Verification
Kinematics of the shear: has only its first component, which depends only on , so and because ; the field is and periodic with all norms finite.
Classification setup: let be a steady periodic shear of the viscous branch, so , with constant density, no body force, and . Then , and . The primitive equation reads and . Fixing and applying [F3] to the periodic representative of on for gives . In particular the formula holds at .
Euler branch: with , and , so the projected equation reads and is satisfied; the primitive equation with (zero mean, as required by the periodic convention) reads . Hence the field is an exact steady Euler solution, and it meets the hypotheses of the local theorem; the theorem's uniqueness statement is consistent with this exact global solution.
Viscous branch: by [F2], and , so the projected equation would read ; since the field is not identically zero and the identity fails for every .
Periodicity: since is -periodic in , step 1.2 at gives for every , and gives . Apply [F3] to on any compact subinterval of its real periodic representative: all increments vanish, so is constant. A second application gives ; forces . Conversely, constant with constant zero-mean pressure satisfies the equations by zero derivatives. Thus the steady periodic viscous shear profiles are exactly the constants.
Remarks
-
The example separates the two branches sharply on the same data: the shear is an exact Euler solution and not even a solution of the viscous projected equation, because constant positive viscosity diffuses the shear on the periodic cell. The classified steady viscous shears are exactly the constants, i.e. the trivial shears.
-
The pressure in clause 4 is forced to be linear in before periodicity kills the slope; this is the periodic-cell analogue of the constant pressure gradient of the channel example, and it shows that on a periodic cell a steady viscous shear cannot be driven. No measurement and no stability claim is made.
Depends on
Local existence, uniqueness and pressure reconstruction for the incompressible fluid model on the periodic cell
Adopted fluid constitutive branches: incompressible Newtonian, barotropic inviscid, and the periodic-cell idealization
Periodic vector Sobolev spaces on the three-torus, the weight family, and the Leray projection
Incompressible Newtonian and barotropic inviscid fluid constitutive models
Euclidean spatial calculus: gradient, divergence and material derivative
The derivatives of sine and cosine are cosine and minus sine
The second fundamental theorem: if is differentiable on with and is integrable, then
A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion
Clairaut--Schwarz theorem for continuous second partial derivatives
Euclidean maps and diffeomorphisms
Continuum body data, the fixed inertial frame and the dimensions of the fields
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), Section 12.3 (incompressible inviscid fluid and simple exact solutions)
- K. Likharev, Essential Graduate Physics, Classical Mechanics (September 1, 2026 complete volume), Sections 8.4-8.5 (ideal fluid solutions and viscous shear flows)