Documentation

LeanPool.AnomalousDiffusion.AVenhance.Infra.Section4.IteratesVelocityYoung

Quantitative drift-error pairing from actual velocity jets.

source
noncomputable def AVenhance.Infra.Section4.iterateVelocitySplit (P : List (List (Fin 2) × List (Fin 2))) (b : Homogenization.Vec 2 → Homogenization.Vec 2) (v : Homogenization.Vec 2 → ℝ) (x : Homogenization.Vec 2) :
ℝ

The scalar velocity product for a specified list of actual ordered splits.

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