Structural discontinuities to approximate some optimization problems with a nonmonotone impulsive character

Bressan, Aldo; Motta, Monica

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni, Tome 6 (1995), p. 93-109 / Harvested from Biblioteca Digitale Italiana di Matematica

Access to full text
Full (PDF)
Full (DjVu)

Abstract
Résumé

In some preceding works we consider a class $O P$ of Boltz optimization problems for Lagrangian mechanical systems, where it is relevant a line $l = l_{γ (\cdot)}$ , regarded as determined by its (variable) curvature function $γ (\cdot)$ of domain $[s_{0}, s_{1}]$ . Assume that the problem $\tilde{P} \in O P$ is regular but has an impulsive monotone character in the sense that near each of some points $δ_{1}$ to $δ_{ν} γ (\cdot)$ is monotone and $| γ^{'} (\cdot) |$ is very large. In [10] we propose a procedure belonging to the theory of impulsive controls, in order to simplify $\tilde{P}$ into a structurally discontinuous problem $P$ . This is analogous to treating a biliard ball, disregarding its elasticity properties, as a rigid body bouncing according to a suitable restitution coefficient. Here the afore-mentioned treatment of $\tilde{P}$ is extended to the case where its impulsive character fails to be monotone. Let $c_{r, 0}$ to $c_{r, m_{r}}$ be the successive maxima and minima of $γ (\cdot)$ or $- γ (\cdot)$ near $δ_{r} (r = 1, \dots, ν)$ . In constructing the problem $P$ , which simplifies and approximates $\tilde{P}$ as well as in [10] it is essential to approximate $l_{γ (\cdot)}$ by means of a line $l_{c (\cdot)}$ with $c (\cdot)$ discontinuous only at $δ_{1}, \dots, δ_{ν}$ and with $| c^{'} (\cdot) |$ never very large; furthermore now we must take the quantities $c_{r, 0}$ to $c_{r, m_{r}}$ into account, e.g., by adding a «nonmonotonicity» type at $δ_{r}$ , which vanishes in the monotone case $(r = 1, \dots, ν)$ . Starting from [10] we extend to the afore-mentioned general situation the notions of weak lower limit $J^{*}$ of the functional to minimize, extended admissible process (which has an additional part in each $[c_{r, i - 1}, c_{r, i}]$ ) and extended solution of the problem $P$ , or better $(P_{ν}; σ_{r, 1}, \dots, σ_{r, m_{r}})$ where $σ_{r, i} = c_{r, i} — c_{r, i - 1}$ $(i = 1, \dots, m_{r}; r = 1, \dots, ν)$ . In the general case we consider the extended (impulsive) original problem and the extended functional to minimize. This has an impulsive part at each of the points $δ_{1}$ to $δ_{ν}$ , as well as the differential constraints, complementary equations, and Pontrjagin's optimization conditions. Besides the end conditions at $s_{0}$ and $s_{1}$ there are junction conditions at $δ_{1}$ to $δ_{ν}$ . In the general case being considered we state a version of Pontrjagin's maximum principle and an existence theorem for the extended (impulsive) problem. We also study some properties of $J^{*}$ , e.g. when $J^{*}$ is a weak minimum. In particular, within both the monotone case and the nonmonotone one, we show that the quantity $J^{*}$ , defined as a certain lower limit, equals the analogous limit; and this is practically a necessary and sufficient condition for the present approximation theory, started in [10], to be satisfactory.

In precedenti lavori abbiamo considerato una classe $O P$ di problemi di ottimizzazione di Boltz per sistemi meccanici Lagrangiani, nei quali è rilevante una linea $l = l_{γ (\cdot)}$ , considerata come determinata dalla sua funzione (variabile) di curvatura $γ (\cdot)$ di dominio $[s_{0}, s_{1}]$ . Il problema $\tilde{P} \in O P$ sia regolare ma abbia carattere impulsivo monotono nel senso che $γ (\cdot)$ sia monotona e con $| γ^{'} (\cdot) |$ molto grande vicino a ciascuno di alcuni punti $δ_{1}, \dots, δ_{ν}$ . In[10] abbiamo costruito un procedimento entro la teoria del controllo impulsivo, atto a semplificare $\tilde{P}$ in un problema strutturalmente discontinuo $P$ . Ciò è analogo al trattare una palla da bigliardo, anziché per es. con la teoria dell'elasticità, considerandola come un corpo rigido rimbalzante secondo un opportuno coefficiente di restituzione. Qui estendiamo la su accennata trattazione in [10] al caso che il carattere impulsivo di $\tilde{P}$ sia non monotono. Siano $c_{r, 0}, \dots, c_{r, m_{r}}$ i successivi massimi e minimi di $γ (\cdot)$ o di $- γ (\cdot)$ nella vicinanza di $δ_{r} (r = 1, \dots, ν)$ . Nel costruire il problema $P$ semplificante e approssimante $\tilde{P}$ , come in [10] è ora essenziale considerare una linea $l_{c (\cdot)}$ approssimante $l_{γ (\cdot)}$ con $c (\cdot)$ discontinua solo in $δ_{1}, \dots, δ_{ν}$ e con $| c^{'} (\cdot) |$ mai molto grande; inoltre ora si deve tener conto delle suddette quantità $c_{r, 0}, \dots, c_{r, m_{r}}$ per es., attraverso il «tipo di non monotonia» in $δ_{r}$ , che svanisce nel caso monotono $(r = 1, \dots, ν)$ . Partendo da [10] estendiamo alla suddetta situazione generale le nozioni di estremo inferiore debole $J^{*}$ del funzionale da minimizzare, processo ammissibile esteso (che ha parti addizionali in $[c_{r, i - 1}, c_{r, i}]$ ) e soluzione estesa del problema $P$ , o meglio $(P_{ν}; σ_{r, 1}, \dots, σ_{r, m_{r}})$ ove $σ_{r, i} = c_{r, i} — c_{r, i - 1}$ $(i = 1, \dots, m_{r}; r = 1, \dots, ν)$ . Nel caso generale consideriamo pure il problema originale (impulsivo) esteso e il funzionale esteso da minimizzare. Questo ha parti impulsive nei punti $δ_{1}, \dots, δ_{ν}$ , al pari dei vincoli differenziali, delle equazioni complementari e delle condizioni di ottimizzazione di Pontrjagin. Oltre alle condizioni ai limiti in $s_{0}$ ed $s_{1}$ vi sono condizioni di giunzione in $δ_{1}, \dots, δ_{ν}$ . Nel detto caso generale enunciamo una versione del principio di massimo di Pontrjagin e un teorema di esistenza per il problema (impulsivo) esteso. Studiamo anche alcune proprietà di $J^{*}$ , tra l'altro quando esso è minimo debole. In particolare, nel caso monotono o no, mostriamo che la quantità $J^{*}$ , definita come un certo limite inferiore, eguaglia l'analogo limite; e ciò è praticamente una condizione necessaria e sufficiente affinché la presente teoria di approssimazione, iniziata in [10], sia soddisfacente.

Publié le : 1995-06-01

MR 1354223 | Zbl 0858.70012

@article{RLIN_1995_9_6_2_93_0,
     author = {Aldo Bressan and Monica Motta},
     title = {Structural discontinuities to approximate some optimization problems with a nonmonotone impulsive character},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni},
     volume = {6},
     year = {1995},
     pages = {93-109},
     zbl = {0858.70012},
     mrnumber = {1354223},
     language = {en},
     url = {http://dml.mathdoc.fr/item/RLIN_1995_9_6_2_93_0}
}

Bressan, Aldo; Motta, Monica. Structural discontinuities to approximate some optimization problems with a nonmonotone impulsive character. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni, Tome 6 (1995) pp. 93-109. http://gdmltest.u-ga.fr/item/RLIN_1995_9_6_2_93_0/

Bibliographie

[1] Alberto Bressan, , On differential systems with impulsive controls. Rend. Sem. Mat. Univ. Padova, 78, 1987, 227-236. | MR 934514

[2] Bressan, Alberto - Rampazzo, F., Impulsive control systems with commutative vector fields. Journal of optimization theory and applications, 71, 1991, 67-83. | MR 1131450 | Zbl 0793.49014

[3] Bressan, Aldo, On the application of control theory to certain problems for Lagrangian systems, and hyperimpulsive motions for these. I. On some general mathematical considerations on controllizable parameters. Atti Acc. Lincei Rend. fis., s. 8, vol. 82, fasc. 1, 1988, 91-105. | MR 999841 | Zbl 0669.70029

[4] Bressan, Aldo, On the application of control theory to certain problems for Lagrangian systems, and hyperimpulsive motions for these. II. Some purely mathematical considerations for hyper-impulsive motions. Atti Acc. Lincei Rend. fis., s. 8, vol. 82, fasc. 1, 1988, 107-118. | MR 999842 | Zbl 0669.70030

[5] Bressan, Aldo, Hyperimpulsive motions and controllizable coordinates for Lagrangian systems. Atti Acc. Lincei Mem. fis., s. 8, vol. 19, sez. 1, 1990, 197-246. | MR 1201198

[6] Bressan, Aldo, On some control problems concerning the ski or the swing. Mem. Mat. Acc. Lincei, s. 9, vol. 1, 1991, 149-196. | MR 1119158 | Zbl 0744.49017

[7] Bressan, Aldo - Favretti, M., 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. Rend. Mat. Acc. Lincei, s. 9, vol. 2, 1991, 339-343. | MR 1152638 | Zbl 0784.70025

[8] Bressan, Aldo - Favretti, M., On motions with bursting characters for Lagrangian mechanical systems with a scalar control. II. A geodesic property of motions with bursting characters for Lagrangian systems. Rend. Mat. Acc. Lincei, s. 9, vol. 3, 1992, 35-42. | MR 1159997 | Zbl 0799.70009

[9] Bressan, Aldo - Motta, M., A class of mechanical systems with some coordinates as controls. A reduction of certain optimization problems for them. Solutions methods. Mem. Mat. Acc. Lincei, s. 9, vol. 2, 1993, 5-30. | MR 1271190 | Zbl 0816.70019

[10] Bressan, Aldo - Motta, M., Some optimization problems with a monotone impulsive character. Approximation by means of structural discontinuities. Mem. Mat. Acc. Lincei, s. 9, vol. 2, 1994, 31-52. | MR 1273635 | Zbl 0810.93039

[11] Bressan, Aldo - Motta, M., Some optimization problems for the ski simple because of structural discontinuities. Preprint.

[12] Bressan, Aldo - Motta, M., On control problems of minimum time for Lagrangian systems similar to a swing. I. Convexity criteria for sets. Rend. Mat. Acc. Lincei, s. 9, vol. 5, 1994, 247-254. | MR 1298268 | Zbl 0814.70019

[13] Bressan, Aldo - Motta, M., On control problems of minimum time for Lagrangian systems similar to a swing. II. Application of convexity criteria to certain minimum time problems. Rend. Mat. Acc. Lincei, s. 9, vol. 5, 1994, 255-264. | MR 1298269 | Zbl 0814.70020

[14] Favretti, M., Essential character of the assumptions of a theorem of Aldo Bressan on the coordinates of a Lagrangian system that are fit for jumps. Atti Istituto Veneto di Scienze Lettere ed Arti, 149, 1991, 1-14. | MR 1237965 | Zbl 0783.70020

[15] Favretti, M., Some bounds for the solutions of certain families of Cauchy problems connected with bursting phenomena. Atti Istituto Veneto di Scienze Lettere ed Arti, 149, 1991, 61-75. | MR 1237966 | Zbl 0795.70019

[16] Piccoli, B., Time-optimal control problems for the swing and the ski. International Journal of Control, to appear. | MR 1637962 | Zbl 0863.49025

[17] Rampazzo, F., On Lagrangian systems with some coordinates as controls. Atti Acc. Lincei Rend. fis., s. 8, vol. 82, 1988, 685-695. | MR 1139816 | Zbl 0758.70013