位置、速度的函数关系就需要采用多值函数。
理论.现有的关于微分包含式的理论通常假定 "F"("t", "x") 是关于 "x" 的「上半侧连续」函数，"t"可测，且 "F"("t", "x") 对于所有的"x"、"t"都是闭合的凸集。在以上假定的条件下，有关于初值问题:的解的存在定理。若对"F"作进一步约束，可以得到全局状况下的解的存在定理 (formula_4 as formula_5 for a finite formula_6)。当 "F"("t", "x") 是