射影力学系
"K" の内部で、解は制限のない常微分方程式におけるものと同じように振る舞う。しかし、ベクトル場はその集合の境界に沿って不連続なので、射影部分方程式は不連続な微分方程式のクラスに属する。この事実によって、常微分方程式の多くの理論が適用できなくなるが、"-F" がリプシッツ連続なベクトル場であるときは、"K" 内の各初期点 "x(0)=x" を通る絶対連続な解が区間 formula_8 上で唯一つ存在する。