On control theory and its applications to certain problems for Lagrangian systems. On hyperimpulsive motions for these. II. Some purely mathematical considerations for hyper-impulsive motions. Applications to Lagrangian systems

Bressan, Aldo

Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 82 (1988) no. 1, pp. 107-118

Résumé

See Summary in Note I. First, on the basis of some results in [2] or [5]-such as Lemmas 8.1 and 10.1-the general (mathematical) theorems on controllizability proved in Note I are quickly applied to (mechanic) Lagrangian systems. Second, in case $\Sigma$, $\chi$ and $M$ satisfy conditions (11.7) when $\mathcal{Q}$ is a polynomial in $\dot{\gamma}$, conditions (C)-i.e. (11.8) and (11.7) with $\mathcal{Q} \equiv 0$-are proved to be necessary for treating satisfactorily $\Sigma$'s hyper-impulsive motions (in which positions can suffer first order discontinuities). This is done from a general point of view, by referring to a mathematical system $(\mathcal{M}) \dot{z} = F(t, \gamma, z , \dot{\gamma})$ where $z \in \mathbb{R}^{m}$, $\gamma \in \mathbb{R}^{M}$, and $F(\cdots)$ is a polynomial in $\dot{\gamma}$. The afore-mentioned treatment is considered satisfactory when, at a typical instant $t$, (i) the anterior values $z^{-}$ and $\gamma^{-}$ of $z$ and $\gamma$, together with $\gamma^{+}$ determine $z^{+}$ in a certain physically natural way, based on certain sequences $\{ \gamma_{n}(\cdot)\}$ and $\{ z_{n}(\cdot)\}$ of regular functions that approximate the 1st order discontinuities $(\gamma^{-},\gamma^{+})$ and $(z^{-},z^{+})$ of $\gamma(\cdot)$ and $z(\cdot)$ respectively, (ii) for $z^{-}$ and $\gamma^{-}$ fixed, $z^{+}$ is a continuous function of $\gamma^{+}$, and (iii) if $\gamma^{+}$ tends to $\gamma^{-}$, then $z(\cdot)$ tends to a continuous function and, for certain simple choices of $\{ \gamma_{n}(\cdot) \}$ the functions $z_{n}(\cdot)$ behave in a certain natural way. For M > 1, conditions (i) to (iii) hold only in very exceptional cases. Then their 1-dimensional versions (a) to (c) are considered, according to which (i) to (iii) hold, so to say, along a trajectory $\tilde{\gamma}$$(\in C^{3})$ of $\gamma$'s discontinuity $(\gamma^{-},\gamma^{+})$, chosen arbitrarily; this means that $\tilde{\gamma}$ belongs to the trajectory of all regular functions $\gamma_{n}(\cdot)$$(n \in \mathbf{N})$, i.e. $\gamma_{n}(t) \equiv \tilde{\gamma} \left[ u_{n}(t) \right]$. Furthermore a certain weak version of (a part of) conditions (a) to (c) is proved to imply the linearity of $(\mathcal{M})$. Conversely this linearity implies a strong version of conditions (a) to (c); and when this version holds, one can say that $(\mathcal{D})$ the ($M$-dimensional) parameter $\gamma$ in $(\mathcal{M})$ is fit to suffer (1-dimensional first order) discontinuities. As far as the triplet $(\Sigma,\chi,M)$, see Summary in Nota I, is concerned, for $m = 2N$, $\chi = (q,\gamma)$, and $z = (q,p)$ with $p_{h} = \frac{\partial T}{\partial\dot{q}_{h}}$$(h=1,...,N)$, the differential system $(\mathcal{M})$ can be identified with the dynamic equations of $\Sigma_{\hat{\gamma}}$ in semi-hamiltonian form. Then its linearity in $\dot{\gamma}$ is necessary and sufficient for the co-ordinates $\chi$ of $\Sigma$ to be $M$-fit for (1-dimensional) hyper-impulses, in the sense that $(\mathcal{D})$ holds.

Bibliographie

[1] Ailon A. and Langholz G. (1985) - On the existence of time optimal control of mechanical manipulators. «Journal of optimization theory and applications», 46, 3-21. | DOI | MR | Zbl

[2] Bressan Alberto (1987) - On differential systems with impulsive controls, «Sem. Mat. Univ. Padova», 78, 227. | fulltext EuDML | fulltext mini-dml | MR

[3] Bressan Alberto and Rampazzo F. - Differential systems with vector-valued impulsive controls, being printed on Bollettino dell'Unione Matematica Italiana. | Zbl

[4] Bressan Aldo (1988) - On the application of control theory to certain problems for Lagrangian systems, and hyper-impulsive motions for these. I. On some general mathematical considerations on controllizzable parameters, «Atti Accad. dei Lincei», 82, 91-105. | MR | Zbl

[5] Bressan Aldo - On some recent results in control theory for their application to Lagrangian system, being printed as a memoir on Atti Accad. dei Lincei.

[6] Bressan Aldo - Hyper-impulsive motions and controllizable co-ordinates for Lagrangian systems, being printed as a memoir on «Atti Accad. Lincei».

[7] Bressan Aldo - On some control problems concerning the ski or swing (in preparation). | Zbl

[8] Brockett R.W. - Control theory and analytical mechanics. «Lie groups: History frontiers and application», Vol. VII. The 1976 NASA Conference on Control theory Edited by Martin Hermann (Math. Sci. Press.) | MR | Zbl

[9] Karihaloo B.L. and Parbery L.D. (1982) - Optimal control of a dynamic system representing a gantry crane, «Journal of optimization theory and applications», 36, 409-417. | DOI | MR | Zbl

[10] Sussmann H.J. (1978) - On the gap between deterministic and stocastic ordinary differential equations, «Ann. of Probability», 6, 19-41. | fulltext mini-dml | MR | Zbl

[11] Van Der Schaft A.J. (1982) - Hamiltonian dynamics with external forces and observation, «Math. Systems theory», 15, 145-168. | DOI | MR | Zbl

[12] Van Der Schaft A.J. (1982) - Observability and controllability for smooth nonlinear systems, «SIAM J. Control and Optimization», 20, 338-354. | DOI | MR | Zbl

[13] Van Der Schaft A.J. (1983) - Symmetries, conservation laws, and time reversibility for Hamiltonian systems with external forces. «J. Math. Phys.», 24, 2085-2101. | DOI | MR | Zbl