Chronological calculus

Chronological calculus is a formalism for the analysis of flows of non-autonomous dynamical systems. It was introduced by A. Agrachev and R. Gamkrelidze in the late 1970s. The scope of the formalism is to provide suitable tools to deal with non-commutative vector fields and represent their flows as infinite Volterra series. These series, at first introduced as purely formal expansions, are then shown to converge under some suitable assumptions.

Operator representation of points, vector fields and diffeomorphisms

Let $M$ be a finite-dimensional smooth manifold.

Chronological calculus works by replacing a non-linear finite-dimensional object, the manifold $M$, with a linear infinite-dimensional one, the commutative algebra $C^{\mathrm{\infty }}(M)$. This leads to the following identifications:

• Points $q\in M$ are identified with nontrivial algebra homomorphisms

$\hat{q}:C^{\mathrm{\infty }}(M)\to ℝ$ defined by $\hat{q}(a)=a(q)$.

• Diffeomorphisms $P:M\to M$ are identified with $C^{\mathrm{\infty }}(M)$-automorphisms $\hat{P}:C^{\mathrm{\infty }}(M)\to C^{\mathrm{\infty }}(M)$ defined by $(\hat{P}a)(q)=a(P(q))$.
• Tangent vectors $v\in T_{q}M$ are identified with linear functionals $\hat{v}:C^{\mathrm{\infty }}(M)\to ℝ$ satisfying the Leibnitz rule $\hat{v}(ab)=\hat{v}(a)b(q)+a(q)\hat{v}(b)$ at $q$.
• Smooth vector fields $V\in \text{Vec}(M)$ are identified with linear operators $\hat{V}:C^{\mathrm{\infty }}(M)\to C^{\mathrm{\infty }}(M)$

satisfying the Leibnitz rule $\hat{V}(ab)=\hat{V}(a)b+a\hat{V}(b)$.

In this formalism, the tangent vector $V(P(q))$ is identified with the operator $q\circ P\circ V$.

We consider on $C^{\mathrm{\infty }}(M)$ the Whitney topology, defined by the family of seminorms

$\Vert a{\Vert }_{s,K}:=\sup \{|\frac{{\partial }^{\alpha }a}{\partial q^{\alpha }}(q)|\mid q\in K,\alpha \in {\mathbb{N}}^{\mathrm{d}\mathrm{i}\mathrm{m}(M)},|\alpha |\le s\},$

Regularity properties of families of operators on $C^{\mathrm{\infty }}(M)$ can be defined in the weak sense as follows: $t\to A_t$ satisfies a certain regularity property if the family $t\to A_t(a)$ satisfies the same property, for every $a\in C^{\mathrm{\infty }}(M)$. A weak notion of convergence of operators on $C^{\mathrm{\infty }}(M)$ can be defined similarly.

Volterra expansion and right-chronological exponential

Consider a complete non-autonomous vector field $(t,q)\mapsto X_t(q)$ on $M$, smooth with respect to $q$ and measurable with respect to $t$. Solutions to $\dot{q}(t)=X_t(q(t))$, which in the operator formalism reads

define the flow of $X_t$, i.e., a family of diffeomorphisms $t\to P^t$, $P^0=\mathrm{I}\mathrm{d}$. The flow satisfies the equation

Rewrite Template:EquationNote as a Volterra integral equation $P^t=\mathrm{I}\mathrm{d}+\underset{0}{\overset{t}{\int }}{P}^{{\tau }_1}\circ X_{{\tau }_1}d{\tau }_1$.

Iterating one more time the procedure, we arrive to

$\begin{array}{cc}{P}^t& =\mathrm{I}\mathrm{d}+\underset{0}{\overset{t}{\int }}{P}^{{\tau }_1}\circ X_{{\tau }_1}d{\tau }_1=\mathrm{I}\mathrm{d}+\underset{0}{\overset{t}{\int }}(\mathrm{I}\mathrm{d}+\underset{0}{\overset{{\tau }_1}{\int }}{P}^{{\tau }_2}\circ X_{{\tau }_2}d{\tau }_2)\circ X_{{\tau }_1}d{\tau }_1\\ & =\mathrm{I}\mathrm{d}+\underset{0}{\overset{t}{\int }}{X}_{{\tau }_1}d{\tau }_1+\underset{0}{\overset{t}{\int }}\underset{0}{\overset{{\tau }_1}{\int }}{P}^{{\tau }_2}\circ X_{{\tau }_2}\circ X_{{\tau }_1}d{\tau }_{2}d{\tau }_1.\end{array}$

In this way we justify the notation, at least on the formal level, for the right chronological exponential Template:NumBlk

where ${\mathrm{\Delta }}_n(t)=\{({\tau }_1,\dots ,{\tau }_n)\in {ℝ}^n\mid 0\le {\tau }_1\le \dots \le {\tau }_n\le t\}$ denotes the standard $n$-dimensional simplex.

Unfortunately, this series never converges on $C^{\mathrm{\infty }}(M)$; indeed, as a consequence of Borel's lemma, there always exists a smooth function $a\in C^{\mathrm{\infty }}(M)$ on which it diverges. Nonetheless, the partial sum

$S_m(t)=\mathrm{I}\mathrm{d}+\sum _{n=1}^m\int \dots \underset{{\mathrm{\Delta }}_n(t)}{\int }{X}_{{\tau }_n}\circ \dots \circ X_{{\tau }_1}d{\tau }_n\dots d{\tau }_1$

can be used to obtain the asymptotics of the right chronological exponential: indeed it can be proved that, for every $a\in C^{\mathrm{\infty }}(M)$, $s\ge 0$ and $K\subset M$ compact, we have

for some $C>0$, where $K^{\prime }={\cup }_{s\in [0,t]}{P}^s(K)$. Also, it can be proven that the asymptotic series $S_m(t)$ converges, as $m\to +\mathrm{\infty }$, on any normed subspace $L\subset C^{\mathrm{\infty }}(M)$ on which $X_t$ is well-defined and bounded, i.e.,

$X_t(L)\subset L,\Vert X_t{\Vert }_L:=\sup \{\Vert X_t(a){\Vert }_L\mid a\in L,\Vert a{\Vert }_L\le 1\}<+\mathrm{\infty }.$

Finally, it is worth remarking that an analogous discussion can be developed for the left chronological exponential $Q^t$, satisfying the differential equation

$\frac{d}{dt}{Q}^t=X_t\circ Q^t,Q^0=\mathrm{I}\mathrm{d}.$

Variation of constants formula

Consider the perturbed ODE

$\frac{d}{dt}{P}^t=P^t\circ (X_t+Y_t),P^0=\mathrm{I}\mathrm{d}.$

We would like to represent the corresponding flow, $P^t=\overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}(X_{\tau }+Y_{\tau })d\tau$, as the composition of the original flow $\overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}{X}_{\tau }d\tau$ with a suitable perturbation, that is, we would like to write an expression of the form

$P^t=\overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}(X_{\tau }+Y_{\tau })d\tau =R^t\circ \overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}{X}_{\tau }d\tau .$

To this end, we notice that the action of a diffeomorphism $S$ on $M$ on a smooth vector field $W$, expressed as a derivation on $C^{\mathrm{\infty }}(M)$, is given by the formula

$S_{*}W=S^{-1}\circ W\circ S=\mathrm{A}\mathrm{d}{S}^{-1}(W).$

In particular, if $S^t=\overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}{V}_{\tau }d\tau$, we have

$\begin{array}{cc}\frac{d}{dt}(\mathrm{A}\mathrm{d}{S}^t)W& =\frac{d}{dt}{S}^t\circ W\circ S^{-t}=S^t\circ (V_t\circ W-W\circ V_t)\circ S^{-t}\\ & =\mathrm{A}\mathrm{d}{S}^t[V_t,W]=(\mathrm{A}\mathrm{d}{S}^t)\mathrm{a}\mathrm{d}{V}_{t}W.\end{array}$

This justifies the notation

$\mathrm{A}\mathrm{d}{S}^t=\overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}\mathrm{a}\mathrm{d}{V}_{\tau }d\tau .$

Now we write

$\frac{d}{dt}{P}^t=P^t\circ (X_t+Y_t)=P^t\circ X_t+R^t\circ \overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}{X}_{\tau }d\tau \circ Y_t$

and

$\frac{d}{dt}{P}^t={\dot{R}}^t\circ \overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}{X}_{\tau }d\tau +R^t\circ \overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}{X}_{\tau }d\tau \circ X_t={\dot{R}}^t\circ \overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}{X}_{\tau }d\tau +P^t\circ X_t$

which implies that

${\dot{R}}^t=R^t\circ \left(\overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}\mathrm{a}\mathrm{d}{X}_{\tau }d\tau \right)Y_t,R^0=\mathrm{I}\mathrm{d}.$

Since this ODE has a unique solution, we can write

$R^t=\overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}\left(\overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{\tau }{\int }}\mathrm{a}\mathrm{d}{X}_{\theta }d\theta \right)Y_{\tau }d\tau ,$

and arrive to the final expression, called the variation of constants formula:

Finally, by virtue of the equality $(\mathrm{A}\mathrm{d}P)\overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}{V}_{\tau }d\tau =\overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}(\mathrm{A}\mathrm{d}P)V_{\tau }d\tau$, we obtain a second version of the variation of constants formula, with the unperturbed flow $\overrightarrow{\mathrm{e}\mathrm{x}\mathrm{p}}\underset{0}{\overset{t}{\int }}{X}_{\tau }d\tau$ composed on the left, that is,

Sources

• Template:Cite book
• Template:Cite journal
• Template:Cite journal
• Template:Cite book
• Template:Cite book
• Template:Cite journal