Total derivative operator
= Total derivative operator
{title2=$D_x$}
On jet coordinates,
$$
D_x=\partial_x+u'\partial_u+u''\partial_{u'}+\cdots.
$$
It differentiates a differential function along prolonged solution graphs.
= Total derivative operator
{title2=$D_x$}
On jet coordinates,
$$
D_x=\partial_x+u'\partial_u+u''\partial_{u'}+\cdots.
$$
It differentiates a differential function along prolonged solution graphs.