Let $T$ be a strictly positive real number. We denote by $E(T)$ the set consisting of pairs $(u,v)$ of continuous functions on $[0,T]$ with real values. A Carnot path controlled by $(u,v) \in E(T)$ is a map $\gamma : [0,T] \rightarrow \mathcal{M}_3(\mathbf{R})$ of class $C^1$ solution of the matrix differential equation: $$\left\{\begin{array}{l} \gamma'(t) = u(t)\gamma(t)M_{1,0,0} + v(t)\gamma(t)M_{0,1,0} \\ \gamma(0) = I_3 \end{array}\right.$$ where $M_{1,0,0}$ and $M_{0,1,0}$ are as defined in the first part. (a) For all $(u,v) \in E(T)$, justify the existence of a unique Carnot path controlled by $(u,v)$. (b) Show that $\gamma$ satisfies $$\forall t \in [0,T], \quad \gamma(t) \in \mathbf{H}$$ and explicitly calculate, as a function of $t$, $u$ and $v$, the functions $p(t)$, $q(t)$ and $r(t)$ such that $$\gamma(t) = \exp\left(M_{p(t),q(t),r(t)}\right).$$
Let $T$ be a strictly positive real number. We denote by $E(T)$ the set consisting of pairs $(u,v)$ of continuous functions on $[0,T]$ with real values.
A Carnot path controlled by $(u,v) \in E(T)$ is a map $\gamma : [0,T] \rightarrow \mathcal{M}_3(\mathbf{R})$ of class $C^1$ solution of the matrix differential equation:
$$\left\{\begin{array}{l} \gamma'(t) = u(t)\gamma(t)M_{1,0,0} + v(t)\gamma(t)M_{0,1,0} \\ \gamma(0) = I_3 \end{array}\right.$$
where $M_{1,0,0}$ and $M_{0,1,0}$ are as defined in the first part.
(a) For all $(u,v) \in E(T)$, justify the existence of a unique Carnot path controlled by $(u,v)$.
(b) Show that $\gamma$ satisfies
$$\forall t \in [0,T], \quad \gamma(t) \in \mathbf{H}$$
and explicitly calculate, as a function of $t$, $u$ and $v$, the functions $p(t)$, $q(t)$ and $r(t)$ such that
$$\gamma(t) = \exp\left(M_{p(t),q(t),r(t)}\right).$$