定义不一致的初始条件:如果将该系统提供给NDSolve,将产生NDSolve::ivres 的信息,表明初始条件被认为是不一致的. 然后,它试图找到一个一致的初始条件,使用该不一致的值作为其迭代的起始猜测值.使用不一致的值作为起始猜测值,求一组一致的初始条件:
有时,可能并不是很清楚指定条件一致与否. 有可能初始条件看似满足约束了,但可能无法满足隐藏约束.指定单摆系统的初始条件:这些初始条件满足方程
,但不满足隐式约束
. 这种约束并不明显,因为它是隐藏的,并且只能通过指标约简发现. 配点算法不执行指标约简,并作用于原方程。即时是在指标约简系统的情况下,配点算法也能检测到初始条件的不一致,并尝试纠正它.