Documentation

LeanPool.AnomalousDiffusion.AVenhance.Infra.FullTheorem.Integration.SeparatedChainsContract

Separation persists for the two θ₀-independent vanishing-viscosity families #

Step "separation persists" of the corrected no-selection argument.

source
def AVenhance.Infra.FullTheorem.SeparatedChainsContract (β C₀ : ℝ) :
Prop

p := 2β/(q+1); the two θ₀-independent diffusivity families κ_j^{(1)} = ½ ε_{2j+1}^p, κ_j^{(2)} = 2 ε_{2j+1}^p. For infinitely many cosine modes the two vanishing-viscosity families stay separated in L² norm at a fixed time, uniformly in large j.

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