Invertibility of the decomposability theorem of linear extensions of dynamical systems of a torus (Q794186)

The author considers two systems of differential equations (1) \({\dot \phi}=a(\phi)\), \(\dot x=A(\phi)x\) and (2) \(\dot x=A(\phi_ t(\phi))x\) simultaneously, where \(\phi_ t(\phi)\) is the solution of the system \({\dot \phi}=a(\phi)\) with the initial condition \(\phi_ 0(\phi)=\phi\); \(\phi =(\phi_ 1,...,\phi_ m)\), \(x=(x_ 1,...,x_ n)\), \(a(\phi),A(\phi)\in C^ q(\tau_ m)\), \(q\geq 1\); \(C^ q(\tau_ m)\) is a space of the scalar, vector or matrix functions \(f(\phi)\), defined on the m-dimensional torus. If the system (2) is \(\ni\)-dichotomic on the whole axis R (continuously in \(\phi)\) and if there exists a matrix function \(L(\phi)\in C^ s(\tau_ m)\), \(s\geq 1\), such that \[ L^{-1}(\phi)A(\phi)L(\phi)-L^{- 1}(\phi)(\partial L(\phi)/\partial \phi)a(\phi)=diag\{A^+_ r(\phi),A^-_{n-r}(\phi)\}\equiv \bar A(\phi), \] then for each symmetrical matrix function \(S(\phi)\in C^ q(\tau_ m)\), \(q\geq 1\), satisfying the inequality \[ <((\partial S(\phi)/\partial \phi)a(\phi)+ S(\phi)A(\phi)+ A^*(\phi)S(\phi))x,x>\leq -\gamma \| x\|^ 2, \] \(\gamma =const.>0\), \(x\in R^ n\), there exists a matrix function \(T(\phi)\in C^{\min \{q,s\}}(\tau_ m)\) such that the identity \(T^*(\phi)S(\phi)T(\phi)=diag\{-E_ r,E_{n-r}\}\) holds for all \(\phi \in \tau_ m\).