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

Aldo Bressan

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti (1988)

  • Volume: 82, Issue: 1, page 107-118
  • ISSN: 0392-7881

Abstract

top
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 Σ , χ and M satisfy conditions (11.7) when 𝒬 is a polynomial in γ ˙ , conditions (C)-i.e. (11.8) and (11.7) with 𝒬 0 -are proved to be necessary for treating satisfactorily Σ '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 ( ) z ˙ = F ( t , γ , z , γ ˙ ) where z m , γ M , and F ( ) is a polynomial in γ ˙ . The afore-mentioned treatment is considered satisfactory when, at a typical instant t , (i) the anterior values z - and γ - of z and γ , together with γ + determine z + in a certain physically natural way, based on certain sequences { γ n ( ) } and { z n ( ) } of regular functions that approximate the 1st order discontinuities ( γ - , γ + ) and ( z - , z + ) of γ ( ) and z ( ) respectively, (ii) for z - and γ - fixed, z + is a continuous function of γ + , and (iii) if γ + tends to γ - , then z ( ) tends to a continuous function and, for certain simple choices of { γ n ( ) } the functions z n ( ) 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 γ ~ ( C 3 ) of γ 's discontinuity ( γ - , γ + ) , chosen arbitrarily; this means that γ ~ belongs to the trajectory of all regular functions γ n ( ) ( n 𝐍 ) , i.e. γ n ( t ) γ ~ [ u n ( t ) ] . Furthermore a certain weak version of (a part of) conditions (a) to (c) is proved to imply the linearity of ( ) . Conversely this linearity implies a strong version of conditions (a) to (c); and when this version holds, one can say that ( 𝒟 ) the ( M -dimensional) parameter γ in ( ) is fit to suffer (1-dimensional first order) discontinuities. As far as the triplet ( Σ , χ , M ) , see Summary in Nota I, is concerned, for m = 2 N , χ = ( q , γ ) , and z = ( q , p ) with p h = T q ˙ h ( h = 1 , , N ) , the differential system ( ) can be identified with the dynamic equations of Σ γ ^ in semi-hamiltonian form. Then its linearity in γ ˙ is necessary and sufficient for the co-ordinates χ of Σ to be M -fit for (1-dimensional) hyper-impulses, in the sense that ( 𝒟 ) holds.

How to cite

top

Bressan, Aldo. "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." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti 82.1 (1988): 107-118. <http://eudml.org/doc/289024>.

@article{Bressan1988,
abstract = {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.},
author = {Bressan, Aldo},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
keywords = {Mathematical physics; Feed-back theory},
language = {eng},
month = {3},
number = {1},
pages = {107-118},
publisher = {Accademia Nazionale dei Lincei},
title = {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},
url = {http://eudml.org/doc/289024},
volume = {82},
year = {1988},
}

TY - JOUR
AU - Bressan, Aldo
TI - 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
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
DA - 1988/3//
PB - Accademia Nazionale dei Lincei
VL - 82
IS - 1
SP - 107
EP - 118
AB - 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.
LA - eng
KW - Mathematical physics; Feed-back theory
UR - http://eudml.org/doc/289024
ER -

References

top
  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. Zbl0544.49001MR792589DOI10.1007/BF00938755
  2. BRESSAN, ALBERTO (1987) - On differential systems with impulsive controls, «Sem. Mat. Univ. Padova», 78, 227. MR934514
  3. BRESSAN, ALBERTO and RAMPAZZO, F. - Differential systems with vector-valued impulsive controls, being printed on Bollettino dell'Unione Matematica Italiana. Zbl0653.49002
  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. Zbl0669.70029MR999841
  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). Zbl0744.49017
  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.) Zbl0368.93002MR484621
  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. Zbl0452.49010MR663346DOI10.1007/BF00934354
  10. SUSSMANN, H.J. (1978) - On the gap between deterministic and stocastic ordinary differential equations, «Ann. of Probability», 6, 19-41. Zbl0391.60056MR461664
  11. VAN DER SCHAFT, A.J. (1982) - Hamiltonian dynamics with external forces and observation, «Math. Systems theory», 15, 145-168. Zbl0538.58010MR656453DOI10.1007/BF01786977
  12. VAN DER SCHAFT, A.J. (1982) - Observability and controllability for smooth nonlinear systems, «SIAM J. Control and Optimization», 20, 338-354. Zbl0482.93039MR652211DOI10.1137/0320026
  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. Zbl0535.70022MR713542DOI10.1063/1.525962

Citations in EuDML Documents

top
  1. Franco Rampazzo, On Lagrangian systems with some coordinates as controls
  2. Aldo Bressan, Marco Favretti, On motions with bursting characters for Lagrangian mechanical systems with a scalar control. I. Existence of a wide class of Lagrangian systems capable of motions with bursting characters
  3. Aldo Bressan, Monica Motta, On control problems of minimum time for Lagrangian systems similar to a swing. I. Convexity criteria for sets
  4. Aldo Bressan, Monica Motta, Structural discontinuities to approximate some optimization problems with a nonmonotone impulsive character
  5. Aldo Bressan, On the alpine ski with dry friction and air resistance. Some optimization problems for it

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.