Alphabeta Math
TheoremStatement: AI-adaptedProof: AI-adaptedPipeline-generated
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 [0,h].

Let I⊆R be a nonempty open time interval, let ρ>0, η>0 and h>0 be constants, and let O:=R×(0,h)×R with spatial coordinates (x,y,z). Let v∈C([0,h])∩C2((0,h)), with endpoint values given by its continuous extension, and psp∈C1(O). Define stationary spacetime fields u:I×O→R3 and p:I×O→R by u(t,x,y,z):=(v(y),0,0) and p(t,x,y,z):=psp(x,y,z). Here Dxu denotes the spatial total derivative at fixed t, (u⋅∇)u:=Dxu u, and Δu:=(∑j=13∂j2ui)i=13 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

div⁡u=0,ρ (u⋅∇)u=−∇p+η Δu,(NS)

where the second equation is the adopted stationary momentum equation with σ=−pI3+η(Dxu+(Dxu)T).

For this item, “irrotational” means that the spatial velocity gradient Dxu is symmetric.

(a) Plane Poiseuille flow. Let G∈R, p0∈R and

v(y):=G y(h−y)2η,psp(x,y,z):=p0−Gx.

Then u is C∞ on I×O, satisfies (NS) there, and v(0)=v(h)=0. Its flux per unit width is

∫0hv(y) dy=Gh312η.

Moreover, within the ansatz u=(v(y),0,0), p=p0−Gx with the same constant G and the no-slip conditions v(0)=v(h)=0, 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 V∈R, let v(y):=Vy/h, and let psp be constant. Then the stationary u,p defined above satisfy (NS) on I×O and v(0)=0, v(h)=V. If V≠0, the velocity gradient Dxu is not symmetric, so the flow is not irrotational by the definition above.

Facts & Assumptions

Given: The explicitly adopted steady system (NS), constants ρ,η,h>0, G,p0,V∈R, and the profiles above.

[F1]

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: ρDtu=ρb+div⁡σ 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, σ=−pI3+η(Dxu+(Dxu)T) and div⁡u=0; the adopted momentum equation is ρDtu=div⁡σ in the absence of body force, and for stationary data Dtu=Dxu u. For u=(v(y),0,0), div⁡u=∂xv=0, and div⁡(Dxu+(Dxu)T)=Δu because div⁡u=0; hence div⁡σ=−∇p+ηΔu (Euclidean spatial calculus: gradient, divergence and material derivative, The trace tr⁡(A) as the sum of the diagonal entries, Rectangular matrix multiplication and the identity matrix In, including zero-sized shapes).

Proof

technique · direct; solve the reduced ordinary differential equation and evaluate the flux
1.1givenF1F2algebra

With u=(v(y),0,0), [F2] gives (u⋅∇)u=0 and Δu=(v′′,0,0); also −∇p=(G,0,0) for p=p0−Gx. Hence (NS) reduces to 0=G+ηv′′(y) and ∂yp=0, i.e. v′′(y)=−Gη,p=p0−Gx. For part (b) with p constant the first equation becomes v′′=0.

2.1step 1.1F3algebra

(Poiseuille.) Apply [F3] to w(y):=v(y)+G2ηy2, which satisfies w′′=0 on (0,h) and is continuous on [0,h]. Thus w(y)=Ay+B; the conditions v(0)=v(h)=0 give B=0 and A=Gh2η, so v(y)=Gy(h−y)2η, the stated profile; it is C∞ and satisfies both equations of step 1.1. Computing the flux, ∫0hv=G2η(h∫0hy dy−∫0hy2 dy)=G2η(h32−h33)=Gh312η. If two profiles v1,v2 both solve v′′=−G/η with vanishing endpoints, their difference w has w′′=0 and w(0)=w(h)=0; by [F3], w=0.

3.1step 1.1F2algebra∎

(Couette.) For v(y)=Vy/h we have v′′=0, so step 1.1 is satisfied with constant p; the boundary values are v(0)=0 and v(h)=V. Finally Dxu has the single nonzero entry ∂yu1=V/h in row 1, column 2, while ∂xu2=0, so Dxu≠(Dxu)T when V≠0: 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 G. 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

Dependency tree · 2 levels

Sources