Documentation

LeanPool.AnomalousDiffusion.AVenhance.Infra.FullTheorem.Integration.TransportLimitContract

Phase 2: vanishing-diffusivity limits are transport weak solutions #

Source line 10132 (asserted without proof there): a sequence of weak solutions with diffusivities κ_j → 0, uniformly Cauchy in L²(cell) over t ∈ [0,1], converges uniformly in L² to a weak solution of the transport equation ∂ₜθ + b·∇θ = 0 with the same initial datum.

Uniform-L² limits of weak solutions with vanishing diffusivity are transport weak solutions.

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