Documentation

LeanPool.AnomalousDiffusion.AVenhance.Infra.FullTheorem.Integration.AnalyticUniformContract

Analytic case of r.LeBron.2 #

Uniform-in-κ time-Hölder bound in L² along 𝒦 = permissibleSet for solutions with analytic C^∞ data: for a limit stream φ, every weak solution of the transport–diffusion equation with drift streamVel φ, κ ∈ 𝒦, satisfies ‖θ(t) − θ(s)‖_{L²} ≤ K (1 + R^{-p}) ‖θ₀‖_{H¹} |t − s|^μ, with μ, p depending only on β, C₀, and K independent of κ, R, θ₀.

The analytic case of r.LeBron.2.

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