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.
Exact plane Poiseuille and Couette flows of the incompressible Newtonian model, with flux and ansatz uniqueness
Statement
The flux integrals below are ordinary Riemann integrals of continuous profiles on .
Let be a nonempty open time interval, let , and be constants, and let with spatial coordinates . Let , with endpoint values given by its continuous extension, and . Define stationary spacetime fields and by and . Here denotes the spatial total derivative at fixed , , and acts componentwise (Euclidean spatial calculus: gradient, divergence and material derivative). The incompressible Newtonian equations of Incompressible Newtonian and barotropic inviscid fluid constitutive models with no body force and steady data read
where the second equation is the adopted stationary momentum equation with .
For this item, “irrotational” means that the spatial velocity gradient is symmetric.
(a) Plane Poiseuille flow. Let , and
Then is on , satisfies (NS) there, and . Its flux per unit width is
Moreover, within the ansatz , with the same constant and the no-slip conditions , this is the only solution: any two such profiles differ by a linear function vanishing at both endpoints, hence coincide.
(b) Plane Couette flow. Let , let , and let be constant. Then the stationary defined above satisfy (NS) on and , . If , the velocity gradient is not symmetric, so the flow is not irrotational by the definition above.
Facts & Assumptions
Given: The explicitly adopted steady system (NS), constants , , and the profiles above.
Adopted equation input: (NS) is the differential system being solved here, not a conclusion drawn from an unspecified integral balance. To obtain (NS) from Local momentum balance: from the integral balance on admissible material subregions, one must additionally impose its continuity hypothesis (K), integral momentum hypothesis (L), admissible domains and regularity. For the present exact-solution computation (NS) itself is adopted. Constitutive substitution: for the branch (a) of Incompressible Newtonian and barotropic inviscid fluid constitutive models, and ; the adopted momentum equation is in the absence of body force, and for stationary data . For , , and because ; hence (Euclidean spatial calculus: gradient, divergence and material derivative, The trace as the sum of the diagonal entries, Rectangular matrix multiplication and the identity matrix , including zero-sized shapes).
For with independent of , ; the only nonzero entry of is , and (A total derivative computes every directional derivative, and its matrix is the Jacobian, Sums, scalar multiples, products and quotients: , , , and when ).
If and on , then is affine on : the fundamental theorem applied on each compact subinterval shows is constant there, and overlapping subintervals give one constant throughout . Continuity extends that affine formula to , so implies (The first fundamental theorem: if is integrable on and continuous at , then ; in particular a continuous has as a primitive, The second fundamental theorem: if is differentiable on with and is integrable, then , The integral with oriented limits: and , For : is integrable on if and only if it is integrable on and on , and then ; with the oriented form for arbitrary , Integrable functions on form a set closed under sums and scalar multiples, and , A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion, The derivative of at a point that is a limit point of , and differentiability on a set).
Proof
With , [F2] gives and ; also for . Hence (NS) reduces to and , i.e. For part (b) with constant the first equation becomes .
(Poiseuille.) Apply [F3] to , which satisfies on and is continuous on . Thus ; the conditions give and , so , the stated profile; it is and satisfies both equations of step 1.1. Computing the flux, If two profiles both solve with vanishing endpoints, their difference has and ; by [F3], .
(Couette.) For we have , so step 1.1 is satisfied with constant ; the boundary values are and . Finally has the single nonzero entry in row , column , while , so when : the antisymmetric part is nonzero and the flow is not irrotational by the definition above.
Remarks
-
The no-slip boundary conditions are adopted model conditions, not consequences of the equations; the uniqueness statement is only within the stated steady parallel ansatz with the same driving constant . General nonlinear initial-value problems, finite-Reynolds stability, entrance effects and three-dimensional perturbations are not treated.
-
The Couette computation exhibits explicitly that a laminar shear flow has nonzero antisymmetric velocity gradient; this is why the irrotational Bernoulli branch of the barotropic item does not apply to it. The two flows here are exact solutions of the adopted constant-coefficient model and carry no empirical claim about any real fluid.
Depends on
Incompressible Newtonian and barotropic inviscid fluid constitutive models
Local momentum balance: from the integral balance on admissible material subregions
Euclidean spatial calculus: gradient, divergence and material derivative
Euclidean maps and diffeomorphisms
Sums, scalar multiples, products and quotients: , , , and when
A total derivative computes every directional derivative, and its matrix is the Jacobian
The first fundamental theorem: if is integrable on and continuous at , then ; in particular a continuous has as a primitive
The second fundamental theorem: if is differentiable on with and is integrable, then
The integral with oriented limits: and
For : is integrable on if and only if it is integrable on and on , and then ; with the oriented form for arbitrary
A continuous function on is Riemann integrable, by Heine-Cantor and Riemann's criterion
Integrable functions on form a set closed under sums and scalar multiples, and
The derivative of at a point that is a limit point of , and differentiability on a set
Intervals of : the nine order-convex forms, nondegeneracy, and length
Rectangular matrix multiplication and the identity matrix , including zero-sized shapes
The vector space of by matrices over a field, with entrywise operations
The trace as the sum of the diagonal entries
Dependency tree · 2 levels
Sources
- K. Likharev, Essential Graduate Physics, Classical Mechanics (September 1, 2026 complete volume), Section 8.5 (viscous channel flows: Couette flow and the Poiseuille problem, Eqs. (8.56)–(8.62))
- R. Abeyaratne, Continuum Mechanics, Volume II of Lecture Notes on the Mechanics of Solids (MIT, 1988, revised 2020), Section 12.2, with Problem 12.9 (incompressible viscous fluids; Poiseuille flow of a Newtonian fluid)