Alphabeta Math
Physics theoremStatement: AI-adaptedProof: AI-adaptedPipeline-generatedprecheck passverified 2026-10-23 (gpt-6.1-sol)
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.

Resolved dissipation of adopted eddy viscosity

Physical scope

Pointwise resolved stress-transfer identity for the adopted smooth, periodic, three-dimensional incompressible Newtonian closure. The nonnegative result concerns only the modeled eddy-viscosity stress. It does not assert a sign for the exact filtered covariance, model accuracy, a solution-existence result, or universal absence of backscatter.

Statement

Assume the Axiom of Countable Choice for the normalized periodic torus convention. Let I⊆R be an open time interval, L>0 m, 0<ℓ<L/2, and TL3=(R/LZ)3. Spatial coordinates are in metres and time is in seconds. All spacetime fields below use the ordered domain TL3×I and evaluation (x,t); for a time-indexed spatial field q, write q(x,t):=(q(t))(x). Let K:R3→[0,∞) be smooth, dimensionless, supported in a compact subset of B1(0), and satisfy ∫K(s) ds=1. Define Gℓ(r)=∑n∈Z3ℓ−3K((r+Ln)/ℓ) and u‾ℓ(x,t)=∫TL3Gℓ(r)u(x−r,t) dr, using volume measure on a period cell. Let u∈C1(I;C∞(TL3;R3)) be periodic and divergence-free, with constant density ρ0>0 kg m−3 and constant dynamic viscosity μ≥0 Pa s. Put ν=μ/ρ0 m2 s−1 and let π=pdyn/ρ0 be pressure per unit mass in m2 s−2. Assume the unforced incompressible Newtonian equation

∂tu+∇⋅(u⊗u)+∇π=νΔu,∇⋅u=0.

For this filter define the exact covariance stress and transfer by τℓ=u⊗u‾ℓ−u‾ℓ⊗u‾ℓ and Πℓ=−τℓ:∇u‾ℓ. For real 3×3 matrices set A:B=∑i,j=13AijBij and ∣A∣F2=∑i,j=13∣Aij∣2.

Use the positive smooth unit-mass periodic convolution filter of width ℓ to define u‾ℓ. Define the resolved rate-of-strain matrix by

Dℓ=12(∇u‾ℓ+(∇u‾ℓ)T),(∇u‾ℓ)ij=∂ju‾ℓ,i.

The matrix Dℓ has units s−1; let I3 be the 3×3 identity matrix.

Let k,νt∈C1(TL3×I;[0,∞)) be prescribed specific unresolved kinetic energy and kinematic eddy-viscosity fields, with units m2 s−2 and m2 s−1, respectively. Adopt the modeled specific stress τℓmodel=2kI3/3−2νtDℓ as the replacement for the exact filtered covariance in the resolved model equation, and define Πℓmodel=−τℓmodel:∇u‾ℓ. Then, at every (x,t)∈TL3×I,

Πℓmodel(x,t)=2νt(x,t)∣Dℓ(x,t)∣F2≥0,τℓmodel:∇u‾ℓ=−2νt∣Dℓ∣F2≤0.

If additionally ν>0 and the specific pressure π is smooth, the exact filtered-covariance energy theorem applies to this smooth solution. Its resolved-energy balance contains the exact stress contraction +τℓ:∇u‾ℓ on the right-hand side. Replacing that stress slot by τℓmodel in the adopted closure model therefore contributes the displayed nonpositive term to the modeled balance. This is a conditional model deduction; it does not identify the modeled stress with the exact covariance or assert a sign for exact filtered transfer.

Facts & Assumptions

Given: Countable Choice, a smooth periodic divergence-free u, the stated filter and model fields, and the physical and mathematical conditions in the Statement.

[A1]

Adopted closure assumption from Isotropic eddy viscosity and unresolved energy model: the resolved equation uses τℓmodel=2kI3/3−2νtDℓ in place of the exact covariance; k≥0 and νt≥0. This is a modeled replacement, not an equality about the fine-scale velocity.

[A2]

Adopted Countable Choice axiom: every countable family of nonempty sets has a choice function (The Axiom of Countable Choice (ACω)); the normalized torus supplier convention retains this hypothesis.

[F1]

Constant-density incompressible Newtonian model: the physical model has constant ρ0>0, constant μ≥0, ∇⋅u=0, dynamic stress σ=−pdynI3+2μD(u), and kinematic viscosity ν=μ/ρ0. Its current Definition asserts no solution existence; this theorem assumes the smooth periodic subcase explicitly.

[F2]

Exact filtered covariance and resolved-energy balance: under Countable Choice, a smooth periodic divergence-free field, the positive convolution filter, and, for the momentum/energy conclusion, ν>0 and the stated incompressible equation, the exact filtered balance contains +τℓ:∇u‾ℓ on its right-hand side. The theorem does not assert a sign for exact Πℓ.

[F3]

Normalization, periodization, and derivative commutation for the positive fluid filter: for the stated smooth periodic field and fixed convolution kernel, the filter commutes with spatial derivatives; hence ∇⋅u‾ℓ=∇⋅u‾ℓ=0.

[F4]

Positive periodic convolution filter and subfilter stress: the exact subfilter stress is τℓ=u⊗u‾ℓ−u‾ℓ⊗u‾ℓ and the exact forward-transfer convention is Πℓ=−τℓ:∇u‾ℓ. The model uses a separate tensor and transfer with the same contraction convention.

Proof

1.1givenalgebra

Write Wℓ=(∇u‾ℓ−(∇u‾ℓ)T)/2. Then ∇u‾ℓ=Dℓ+Wℓ, with Dℓ symmetric and Wℓ skew-symmetric. Pairing terms (i,j) and (j,i) gives Dℓ:Wℓ=0, since (Dℓ)ij=(Dℓ)ji and (Wℓ)ji=−(Wℓ)ij; diagonal terms vanish because (Wℓ)ii=0. Hence Dℓ:∇u‾ℓ=∣Dℓ∣F2.

1.2A2F3givenalgebra

By [A2], [F3], and the given ∇⋅u=0, ∇⋅u‾ℓ=∇⋅u‾ℓ=0, so I3:∇u‾ℓ=tr⁡(∇u‾ℓ)=0.

2.1A1step 1.1step 1.2algebra

Contract [A1] with ∇u‾ℓ and use steps 1.1 and 1.2 to obtain τℓmodel:∇u‾ℓ=(2k/3)I3:∇u‾ℓ−2νtDℓ:∇u‾ℓ=−2νt∣Dℓ∣F2. Therefore Πℓmodel=2νt∣Dℓ∣F2≥0 by νt≥0.

3.1A1F1F2F4step 2.1algebra∎

Under the additional ν>0 equation hypotheses in [F2], the exact resolved-energy balance has the stress contraction +τℓ:∇u‾ℓ on the right. The physical branch definition [F1] and exact covariance/transfer convention [F4] fix this model context. The postulate [A1] replaces that stress slot only in the modeled equation, so its contribution is τℓmodel:∇u‾ℓ=−Πℓmodel=−2νt∣Dℓ∣F2≤0 by step 2.1. This conclusion concerns the adopted closure term, not the exact covariance.

Depends on

Dependency tree · 2 levels

Sources