Documentation

LeanPool.AnomalousDiffusion.AVenhance.Infra.FullTheorem.Integration.NoSelectionContract

The no-selection argument #

For the two θ₀-independent vanishing-viscosity families κ_j^{(1)} = ½ ε_{2j+1}^p, κ_j^{(2)} = 2 ε_{2j+1}^p (p = 2β/(qβ+1)), with cosine data c cos(2π n x₀) for infinitely many modes n, the two families have limits (transport weak solutions) which are HolderTimeL2Le ν η-close for large j, and whose norms differ at some time in [0,1].

The no-selection statement (conditional-input form of the repaired no-selection argument).

Equations
  • One or more equations did not get rendered due to their size.
Instances For