No label defined (Q4258779)

Consider a control system \(\dot x=f(t,x,u),\;f:G\times E\mapsto {\mathbf R}^{n}\), with a given cost functional \(J(t_0,x_0,u)= \int_{t_0}^{\infty}\omega(t,x,u) dt,\;(t_0,x_0)\in G\). Here \(G=\{(t,x): t\in[t_0,\infty),\;x\in G(t)\}\), \(\{G(t)\}\) being a family of domains from \({\mathbf R}^{n}\), \(E\) is a domain in \({\mathbf R}^{m}\). The goal of this paper is to describe a general approach to constructing a minimizing sequence \(\{u_r(t)\}:\;J[t_0,x_0,u_r(t)]\to\inf_{\{u(t)\}}J[t_0,x_0,u(t)]\) as \(r\to\infty\). Let \(\overline V(t,x)\) be a function such that \(\lim_{x\to 0}\overline V(t,x)=0\) uniformly in \(t\), and let \(\overline u(t,x),\;\overline B[t,x,\overline V(t,x)]\) be a synthesis: \(\overline B[t,x,\overline V(t,x)]=\inf_{\{u\}}[\partial\overline V/\partial xf+\partial \overline V/\partial t+\omega]\). The author introduces the functional \[ \Delta (t_0,\overline V)= \int_{t_0}^{\infty}\{\sup_{x\in G(t)}\overline B[t,x,\overline V]-\inf_{x\in G(t)} \overline B[t,x,\overline V]\} dt \] and shows that the sequence \(\overline u_r(t,x)=\overline u[t,x,\overline V_r(t,x)]\) is a minimizing one for the cost functional provided that the sequence \(\{\overline V_r(t,x)\}\) satisfies the condition \(\Delta (t_0,\overline V_r)\to 0\) as \(r\to\infty\).