Test Functions

Supporting results for the Constantin–Ignatova–Vicol axisymmetric regularity theorem.

def CIV.testFunctions (m : ℕ) (I : Set ℝ) : Set (CKN.Vec m × ℝ → ℝ)

Test functions on Vec m × ℝ supported in Vec m × I.

Equations

• CIV.testFunctions m I = {φ : CKN.Vec m × ℝ → ℝ | ContDiff ℝ (↑⊤) φ ∧ HasCompactSupport φ ∧ tsupport φ ⊆ Set.univ ×ˢ I}