Caratheodory-π solution

A Carathéodory-π solution is a generalized solution to an ordinary differential equation. The concept is due to I. Michael Ross and named in honor of Constantin Carathéodory. Its practicality was demonstrated in 2008 by Ross et al. in a laboratory implementation of the concept. The concept is most useful for implementing feedback controls, particularly those generated by an application of Ross' pseudospectral optimal control theory.

Mathematical background

A Carathéodory-π solution addresses the fundamental problem of defining a solution to a differential equation,

${\dot {x}}=g(x,t)$

when g(x,t) is not differentiable with respect to x. Such problems arise quite naturally in defining the meaning of a solution to a controlled differential equation,

${\dot {x}}=f(x,u)$

when the control, u, is given by a feedback law,

$u=k(x,t)$

where the function k(x,t) may be non-smooth with respect to x. Non-smooth feedback controls arise quite often in the study of optimal feedback controls and have been the subject of extensive study going back to the 1960s.

Ross' concept

An ordinary differential equation,

${\dot {x}}=g(x,t)$

is equivalent to a controlled differential equation,

${\dot {x}}=u$

with feedback control, $u=g(x,t)$. Then, given an initial value problem, Ross partitions the time interval $[0,\infty )$ to a grid, $\pi =\{t_{i}\}_{i\geq 0}$ with $t_{i}\to \infty {\text{ as }}i\to \infty$. From $t_{0}$ to $t_{1}$, generate a control trajectory,

$u(t)=g(x_{0},t),\quad x(t_{0})=x_{0},\quad t_{0}\leq t\leq t_{1}$

to the controlled differential equation,

${\dot {x}}=u(t),\quad x(t_{0})=x_{0}$

A Carathéodory solution exists for the above equation because $t\mapsto u$ has discontinuities at most in t, the independent variable. At $t=t_{1}$, set $x_{1}=x(t_{1})$ and restart the system with $u(t)=g(x_{1},t)$,

${\dot {x}}(t)=u(t),\quad x(t_{1})=x_{1},\quad t_{1}\leq t\leq t_{2}$

Continuing in this manner, the Carathéodory segments are stitched together to form a Carathéodory-π solution.

Engineering applications

A Carathéodory-π solution can be applied towards the practical stabilization of a control system. It has been used to stabilize an inverted pendulum, control and optimize the motion of robots, slew and control the NPSAT1 spacecraft and produce guidance commands for low-thrust space missions.

See also

• Ross' π lemma