Manuscript XVIII-A@2 · XVIII-A-v2.tex · proposition · 0f4336ec
Proposition: An infinite derivative orbit can share one parameter
Normal order and independent parameters · lines 1339–1358 · proof included or linked
XVIII-A@2#prop:parentparameter
The distributions , , on are linearly independent. Nevertheless, if a parent prescription changes by and derivative compatibility is imposed, then
uses the same parameter for every .
Proof. In a nontrivial finite relation, let be the largest index with coefficient . Test with a function equal to near zero. Lower derivatives vanish there while the th derivative is , a contradiction. The parameter statement follows by differentiating the single parent change.
Displayed formulas in this passage
unlabeled · line 1345