13.2.1.3 Higher order differential constraints

The phase space idea can even be applied to differential equations with order higher than two. For example, a constraint may involve the time derivative of acceleration $ {q^{(3)}}$, which is often called jerk. If the differential equations involve jerk variables, then a $ 3n$-dimensional phase space can be defined to obtain first-order constraints. In this case, each $ q_i$, $ {\dot q}_i$, and $ {\ddot q}_i$ in a constraint such as $ g({q^{(3)}},{\ddot q},{\dot q},q,u)=0$ is defined as a phase variable. Similarly, $ k$th-order differential constraints can be reduced to first-order constraints by introducing a $ kn$-dimensional phase space.

Example 13..4 (Chain of Integrators)   A simple example of higher order differential constraints is the chain of integrators.13.6 This is a higher order generalization of Example 13.3. Suppose that a $ k$th-order differential equation is given as $ q^{(k)} = u$, in which $ q$ and $ u$ are scalars, and $ q^{(k)}$ denotes the $ k$th derivative of $ q$ with respect to time.

A $ k$-dimensional phase space $ X$ is defined in which

$\displaystyle x = (q,{\dot q},{\ddot q},{q^{(3)}},\ldots,q^{(k-1)}).$ (13.36)

The state (or phase) transition equation $ {\dot x}=
f(x,u)$ is $ {\dot x}_i = x_{i+1}$ for each $ i$ such that $ 1 \leq i \leq n-1$, and $ {\dot x}_n = u$. Together, these $ n$ individual equations are equivalent to $ q^{(k)} = u$.

The initial state specifies the initial position and all time derivatives up to order $ k-1$. Using these and the action $ u$, the state trajectory can be obtained by a chain of integrations. $ \blacksquare$

You might be wondering whether derivatives can be eliminated completely by introducing a phase space that has high enough dimension. This does actually work. For example, if there are second-order constraints, then a $ 3n$-dimensional phase space can be introduced in which $ x = (q,{\dot q},{\ddot q})$. This enables constraints such as $ g(q,{\dot q},{\ddot q})=0$ to appear as $ g(x) = 0$. The trouble with using such formulations is that the state must follow the constraint surface in a way that is similar to traversing the solution set of a closed kinematic chain, as considered in Section 4.4. This is why tangent spaces arose in that context. In either case, the set of allowable velocities becomes constrained at every point in the space.

Problems defined using phase spaces typically have an interesting property known as drift. This means that for some $ x \in X$, there does not exist any $ u \in U$ such that $ f(x,u) = 0$. For the examples in Section 13.1.2, such an action always existed. These were examples of driftless systems. This was possible because the constraints did not involve dynamics. In a dynamical system, it is impossible to instantaneously stop due to momentum, which is a form of drift. For example, a car will ``drift'' into a brick wall if it is $ 3$ meters way and traveling 100 km/hr in the direction of the wall. There exists no action (e.g., stepping firmly on the brakes) that could instantaneously stop the car. In general, there is no way to instantaneously stop in the phase space.

Steven M LaValle 2020-08-14