Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck pass
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

Physical scope

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 ACω (The Axiom of Countable Choice (ACω)) 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): t,x,u in this example denote the scaled time, unit-torus position and velocity, ν=η/(ρU∗L∗), and p=Pm/(ρU∗2). The physical fields are restored by uphys=U∗u(t/T∗,x/L∗), Pm=ρU∗2p(t/T∗,x/L∗). Work on the periodic cell T3=(R/Z)3 of Adopted fluid constitutive branches: incompressible Newtonian, barotropic inviscid, and the periodic-cell idealization clause (c), with constant density ρ>0, no body force and the stress of the branch. The variables and field values here are dimensionless. Let A>0 be a dimensionless velocity amplitude and φ∈R a dimensionless phase, and

u(t,x):=(Asin⁡(2πx2+φ),0,0).

Then:

  1. div⁡u=0 and (u⋅∇)u=0, so with p≡0 the field is an exact steady solution of the Euler branch (ν=0) of the model on the periodic cell: ∂tu+P((u⋅∇)u)=νΔu holds as 0=0, and the primitive equation ∂tu+(u⋅∇)u=−∇p+νΔu holds with p≡0;
  2. 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 Hs norm (s≥4), and the displayed global solution is consistent with the local existence-uniqueness statement;
  3. for the viscous branch (ν>0) the field is not a solution: Δu=−(2π)2u≠0 and PΔu=Δu because u is divergence-free, so the projected equation would require −ν⋅(2π)2u=0, which fails for A>0;
  4. among classical periodic shears u=(v(x2),0,0) with v∈C3(T) and periodic pressure p∈C2(T3), every steady solution of the viscous branch with no body force and constant density is constant: the dimensionless equations force ∇p=ν(v′′(x2),0,0), and periodicity of p in x1 together with periodicity of v in x2 forces v′′≡0 and then v≡const.

Facts & Assumptions

Given: Countable choice; the branch data ρ>0, ν=η/(ρU∗L∗); the periodic cell; the field u; and the classical shear class stated in clause 4.

[F1]

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 div⁡u=0 and, in the projected form on the periodic cell, ∂tu+P((u⋅∇)u)=νΔu; for ν=0 this is the Euler branch and for the primitive form the pressure gradient enters with the opposite sign.

[F2]

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, Ck 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 u=(Asin⁡(2πx2+φ),0,0) one has ∂2u1=2πAcos⁡(2πx2+φ) and ∂22u1=−(2π)2Asin⁡(2πx2+φ), so div⁡u=0, Δu=−(2π)2u and PΔu=Δu because u is divergence-free; smoothness and finiteness of all Hs norms follow from the smooth periodic formula.

[F3]

Integral of a derivative (The second fundamental theorem: if G is differentiable on [a,b] with G′=f and f is integrable, then ∫abf=G(b)−G(a), A continuous function on [a,b] is Riemann integrable, by Heine-Cantor and Riemann's criterion): for a C1 real function q on an open interval containing [a,b], q′ is continuous and hence Riemann integrable on [a,b], and q(b)−q(a)=∫abq′(s) ds; endpoint derivatives are the restrictions of the ordinary derivatives. For a 1-periodic C1 representative this gives ∫01q′=0. Applying the same identity on any compact subinterval also shows that a zero derivative forces constancy there.

Verification

technique · direct; compute divergence and convection for the shear, substitute into both branches of the projected equation, and integrate the pressure equation to classify steady shears
1.1givenF2

Kinematics of the shear: u has only its first component, which depends only on x2, so div⁡u=∂1u1=0 and (u⋅∇)u=u1∂1u=0 because ∂1u=0; the field is C∞ and periodic with all Hs norms finite.

1.2givenF1F2F3algebra

Classification setup: let u=(v(x2),0,0) be a steady periodic shear of the viscous branch, so ν>0, with constant density, no body force, v∈C3(T) and p∈C2(T3). Then div⁡u=0, (u⋅∇)u=0 and Δu=(v′′,0,0). The primitive equation 0=−∇p+νΔu reads ∂1p=νv′′(x2) and ∂2p=∂3p=0. Fixing x2,x3 and applying [F3] to the periodic representative of p on [0,x1] for x1>0 gives p(x1,x2,x3)−p(0,x2,x3)=νv′′(x2)x1. In particular the formula holds at x1=1.

2.1givenstep 1.1F1F2

Euler branch: with ν=0, (u⋅∇)u=0 and ∂tu=0, so the projected equation reads 0+P0=0 and is satisfied; the primitive equation with p≡0 (zero mean, as required by the periodic convention) reads 0=0. 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.

2.2givenstep 1.1F1F2algebra

Viscous branch: by [F2], Δu=−(2π)2u and PΔu=Δu, so the projected equation would read 0+0=νΔu=−ν(2π)2u; since A>0 the field u is not identically zero and the identity fails for every ν>0.

3.1step 1.2F3algebra∎

Periodicity: since p is 1-periodic in x1, step 1.2 at x1=1 gives 0=νv′′(x2) for every x2, and ν>0 gives v′′≡0. Apply [F3] to v′ on any compact subinterval of its real periodic representative: all increments vanish, so v′=α is constant. A second application gives v(x2)=αx2+β; v(1)=v(0) forces α=0. Conversely, constant v 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 x1 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

Dependency tree · 2 levels

Sources