A nonzero suitable weak solution

The smooth decaying shear satisfies every clause of the suitable weak-solution definition on all space and the time interval (0,1), with zero pressure and force.

theorem CKN.isSuitableWeakSolutionIntegrable_shearFlow : IsSuitableWeakSolutionIntegrable Set.univ (Set.Ioo 0 1) 3 shearFlow shearFlowGrad (fun (x : Foundation.Parabolic.ParabolicPoint) => 0) fun (x : Foundation.Parabolic.ParabolicPoint) => 0

The explicit decaying shear is a suitable weak solution with zero force.