Òrbita (teoria de control)

La noció d'òrbita d'un sistema de control en teoria de control matemàtica és un cas particular de la noció d'òrbita en teoria de grups.

Definició

Sigui ${\ }{\dot {q}}=f(q,u)$ un sistema de control $\ {\mathcal {C}}^{\infty }$ (infinitament diferenciable), en què ${\ q}$ pertany a una varietat n-dimensional (amb n finit) $\ M$ i $\ u$ pertany a un conjunt de controls $\ U$. Consideri's la família ${\mathcal {F}}=\{f(\cdot ,u)\mid u\in U\}$ i assumeixi's que tot camp vectorial en ${\mathcal {F}}$ és complet. Per to $f\in {\mathcal {F}}$ i per tot $\ t$ real, denoti's $\ e^{tf}$ el flux vectorial de $\ f$ per un temps $\ t$.

L'òrbita del sistema de control ${\ }{\dot {q}}=f(q,u)$ a través d'un punt $q_{0}\in M$ és el subconjunt ${\mathcal {O}}_{q_{0}}$ de $\ M$ definit per:

${\mathcal {O}}_{q_{0}}=\{e^{t_{k}f_{k}}\circ e^{t_{k-1}f_{k-1}}\circ \cdots \circ e^{t_{1}f_{1}}(q_{0})\mid k\in \mathbb {N} ,\ t_{1},\dots ,t_{k}\in \mathbb {R} ,\ f_{1},\dots ,f_{k}\in {\mathcal {F}}\}.$

Observacions

La diferència entre l'òrbita i el conjunt accessible és que, mentre que en el conjunt accessible només es permet la moció en el sentit positiu del temps, es permet tant la moció cap endavant com cap enrere en les òrbites. En particular, si la família ${\mathcal {F}}$ és simètrica (és a dir, $f\in {\mathcal {F}}$ sí i només sí $-f\in {\mathcal {F}}$), l'òrbita coincideix amb el conjunt accessible.

La hipòtesi que tot camp vectorial de ${\mathcal {F}}$ és complet, simplifica la notació però pot ser relaxat. En aquest cas, s'han de substituir els fluxos dels camps vectorials per versions locals.

Teorema de l'òrbita de Nagano–Sussmann

Tota òrbita ${\mathcal {O}}_{q_{0}}$ és una subvarietat immersa de $\ M$.

L'espai tangent a l'òrbita ${\mathcal {O}}_{q_{0}}$ en un punt $\ q$ és el subespai lineal de $\ T_{q}M$ estès pels vectors $\ P_{*}f(q)$ on $\ P_{*}f$ denota el pushforward de $\ f$ per $\ P$, $\ f$ pertany a ${\mathcal {F}}$ i $\ P$ és un difeomorfisme de $\ M$ de la forma $e^{t_{k}f_{k}}\circ \cdots \circ e^{t_{1}f_{1}}$ amb $k\in \mathbb {N} ,\ t_{1},\dots ,t_{k}\in \mathbb {R}$ i $f_{1},\dots ,f_{k}\in {\mathcal {F}}$.

Si tots els camps vectorials de la família ${\mathcal {F}}$ són analítics, llavors $\ T_{q}{\mathcal {O}}_{q_{0}}=\mathrm {Lie} _{q}\,{\mathcal {F}}$ on $\mathrm {Lie} _{q}\,{\mathcal {F}}$ és l'avaluació a $\ q$ de l'àlgebra de Lie generada per ${\mathcal {F}}$ respecte el claudàtor de Lie de camps vectorials. Altrament, la inclusió $\mathrm {Lie} _{q}\,{\mathcal {F}}\subset T_{q}{\mathcal {O}}_{q_{0}}$ segueix comlint-se.

Corol·lari (teorema de Rashevsky–Chow)

Article principal: Teorema de Rashevsky–Chow

Si $\mathrm {Lie} _{q}\,{\mathcal {F}}=T_{q}M$ per tot $\ q\in M$ i si $\ M$ és connex, llavors cada òrbita és igual a la varietat sencera $\ M$.

Vegeu també

• Teorema de Frobenius

Bibliografia complementària

• Agrachev, Andrei; Sachkov, Yuri. «The Orbit Theorem and its Applications». A: Control Theory from the Geometric Viewpoint. Berlin: Springer, 2004, p. 63–80. ISBN 3-540-21019-9.