Manuscript IX-A-ST@1 · IX-A-ST.tex · definition · 6e99d1b2

Definition: Boundary-admissible actual polynomials

The admission domain and its classical algebra · lines 682–697

IX-A-ST@1#def:Padm, IX-A-ST@1#eq:admission, IX-A-ST@1#eq:jets

The space $P_{Σ} \subseteq P_{dist}$ consists of all $F$ such that

(D_{η} F)_{h}^{'} (Ψ) \in S_{1} for every smooth Ψ and every finite smooth list η .

Its boundary coordinates are

b_{Ψ; η} (F) = b ((D_{η} F)_{h}^{'} (Ψ)) .

Displayed formulas in this passage

IX-A-ST@1#eq:admission · line 685
$(D_{η} F)_{h}^{'} (Ψ) \in S_{1} for every smooth Ψ and every finite smooth list η .$
IX-A-ST@1#eq:jets · line 692
$b_{Ψ; η} (F) = b ((D_{η} F)_{h}^{'} (Ψ)) .$