Некоторые примеры неустойчивых задач управления. Учебное пособие
.pdf
выполняется следующее неравенство |
|
|
|||||||||
|
|
≤ |
∫0 |
|
|
|
∫ |
2 |
|
||
|
|
|
|
|
θ |
|
|
|
|
θ |
(3.23) |
|
1 |
|
|
|
|
u(τ)b(τ)dτ = |
u(τ)dτ |
||||
|
|
|
|
|
|
|
|
|
|
1 |
|
(мы учли (3.10)). С |
другой стороны, из (3.11) следует, что |
||||||||||
|
e |
|
≤ |
∫0 |
e |
|
|||||
|
|
∫ |
2 |
θ |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
1 |
|
(3.24) |
|
|
|
|
1 |
|
u(τ)dτ |
|
u(τ)dτ = 1. |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(3.23), получаем очевидное равенство |
||||||
Поэтому, учитывая e |
∫ |
|
|
e |
|
|
|||||
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
θ |
|
|
|
(3.25) |
|
|
|
|
|
|
|
1 |
u(τ)dτ = 1; |
|||
|
|
|
|
|
|
|
|
|
|
|
|
последнее означает, с |
учетом (3.24) и аддитивности интегра- |
||||||||||
|
|
e |
|
|
|
||||||
ла, что |
|
∫0 |
1 |
|
|
|
|
∫θ 1 u(τ)dτ = 0. |
|
||
|
|
|
|
|
|
|
|||||
|
|
2 u(τ)dτ = |
|
||||||||
|
|
|
|
|
e |
|
|
|
e |
|
|
Поскольку ue = ue(·) есть неотрицательная к.-п. и н. спр. в/з функция, имеем из последней цепочки неравенств, что
(ue(t) = 0 t [0, 12[) & (ue(t) = 0 t [θ, 1[). (3.26) Из (3.10), (3.26) cледует с очевидностью, что
∫0 |
1 |
− |
|
|
|
|
|
|
|
|
∫ |
2 |
|
− |
|
e |
|
|
|
|
θ |
|
e |
|
|
|
|
|
e |
||
φu,1(1) = |
(1 τ)b(τ)u(τ)dτ = |
(1 |
|
τ)u(τ)dτ = |
|||||||||||
|
|
|
∫ |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
= |
2 |
(1 |
− |
τ)u(τ)dτ. |
|
|
(3.27) |
||||||
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
Из (3.25), (3.27) получаем, какeследствие, цепочку оценок |
|||||||||||||||
|
|
|
|
|
|
|
|
|
∫ |
|
θ |
|
|
|
|
|
e |
|
|
|
|
|
|
|
e |
|
|
|
|
||
|
|
≤ |
1 |
|
|
|
1 |
. |
(3.28) |
||||||
|
φu,1(1) |
|
2 |
u(τ)dτ = |
|||||||||||
|
|
|
|
2 |
|
|
|
2 |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
31
С другой стороны, из (3.25), (3.27) следует неравенство
|
|
|
|
|
|
|
|
|
|
|
∫ |
|
θ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
(1 |
|
|
|
θ) |
|
|
u(τ)dτ = 1 |
|
|
|
|
θ |
|
|
|
|
ε. |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
− |
2 |
− |
≥ 2 − |
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
С учетом (3.28) мы |
|
получаем включение |
|
|
||||||||||||||||||||||||||||||||||
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
φu,1(1) [ |
1 |
− ε, |
1 |
]. |
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
2 |
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Поскольку |
выбор |
|
|
был |
произвольным, |
установлено |
||||||||||||||||||||||||||||||||
|
u |
|
|
|||||||||||||||||||||||||||||||||||
(см. (3.15)), что |
|
|
|
|
|
|
e(ε) |
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
G∂e |
[ |
|
− ε, |
|
|
]. |
|
|
|
|
|
|
|
(3.29) |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
2 |
|
|
|
|
|
|
|
|||||||||||||||||||
Заметим, что (3.29) хорошо |
согласуется с (3.20), поскольку |
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
1 |
|
− |
ε < |
1 |
|
ε |
= φu ,1(1) < |
1 |
, |
|
|
|
|
|||||||||||||||||
|
|
|
|
(ε) |
|
|
2 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
− e |
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
" |
|
|
|
2 |
|
|
|
|
|
|||||
|
|
e |
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
u |
U |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(ε) |
|
|
|
|
|
|
|
|
|
|
|||||
где |
|
ε |
|
∂ |
|
и |
|
|
|
|
e |
|
|
φu",1(1) G∂e . |
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(3.30) |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Из (3.30) следует, в частности, что |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
[ ̸= . |
|
|
|
(3.31) |
|||||||
|
|
|
|
|
|
|
|
|
|
G∂e ∩ ]2 − ε, |
2 |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
(ε) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Поскольку выбор |
ε |
был |
произвольным (см. (3.21)), установ- |
|||||||||||||||||||||||||||||||||||
e |
|
|
|
|
|
|
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
лено, что |
|
|
|
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
||||||
|
|
|
|
|
|
G∂(ε) ∩ ] |
|
− |
ε, |
|
[ |
̸= |
|
ε ]0, |
|
[. |
(3.32) |
|||||||||||||||||||||
|
|
|
|
|
|
2 |
2 |
|
2 |
|||||||||||||||||||||||||||||
Это означает, в частности, что при α ]0, 12[ имеет место следующее свойство
1 |
|
1 |
|
|
||
G∂(α) ∩ ] |
|
− ε, |
|
|
+ ε[ ̸= ε ]0, ∞[. |
(3.33) |
2 |
2 |
|||||
32
] |
В самом |
деле, |
при ε [α, ∞[ справедливо |
вложение |
|||||||||||||||||||||
− α, 21 |
[ |
] |
|
|
|
|
|
[ |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
21 |
21 − ε, 21 |
+ ε , и с учетом (3.32) имеем с очевид- |
|||||||||||||||||||||||
ностью |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
|
|
|
|
1 |
1 |
|
|||||||||||
|
̸= G∂(α) ∩ ] |
|
|
|
− α, |
|
[ |
G∂(α) ∩ ] |
|
− ε, |
|
+ ε[ . |
|||||||||||||
|
2 |
2 |
2 |
2 |
|||||||||||||||||||||
|
Тем самым установлено (поскольку выбор ε был произволь- |
||||||||||||||||||||||||
ным в пределах [α, ∞[), что |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
G∂(α) ∩ ] |
|
− |
ε, |
|
|
+ ε[ ̸= |
ε [α, ∞[. |
(3.34) |
||||||||||||||||
|
2 |
2 |
|||||||||||||||||||||||
|
Пусть теперь ζ ]0, α[. Тогда, в частности, ζ ]0, 21[, и при |
||||||||||||||||||||||||
этом |
|
|
|
1 |
1 |
|
|
|
1 |
|
1 |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
[ |
|
, |
|
+ ζ] |
[ |
|
, |
|
+ α]. |
|
|
|
||||||||
|
|
|
|
|
2 |
2 |
2 |
2 |
|
|
|
||||||||||||||
Поэтому, согласно (3.14), мы имеем:
|
[ |
|
|
1 |
] |
U∂(ζ) = {u U| t |
|
1 |
, |
+ ζ : 1 ≤ φu,2(t)} |
|
2 |
2 |
||||
[]
{u U| t |
1 |
, |
1 |
+ α |
: 1 ≤ φu,2(t)} = U∂(α). |
(3.35) |
|||||||||||
|
|
||||||||||||||||
2 |
2 |
||||||||||||||||
Из (3.15) и (3.35) вытекает очевидное вложение |
|
||||||||||||||||
|
|
|
|
|
|
G∂(ζ) |
G∂(α). |
|
|
(3.36) |
|||||||
Согласно (3.32), получаем следующее положение: |
|
||||||||||||||||
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|||||
G∂(ζ) ∩ ] |
|
− ζ, |
|
[ ̸= . |
|
|
|
||||||||||
2 |
2 |
|
|
|
|||||||||||||
С учетом (3.36) и последнего свойства получаем, что |
|||||||||||||||||
1 |
|
|
|
1 |
|
1 |
1 |
|
|||||||||
̸= G∂(ζ) ∩ ] |
|
|
− ζ, |
|
[ |
G∂(α) ∩ ] |
|
− ζ, |
|
+ ζ |
[ . |
||||||
2 |
2 |
2 |
2 |
||||||||||||||
33
В результате имеем свойство G∂(α) |
∩ |
̸= . По- |
|||||
21 − ζ, 21 + ζ |
|||||||
скольку выбор |
ζ |
|
|
|
|
имеем, что |
[ |
|
был произвольным, ] |
||||||
|
|
1 |
1 |
|
|
||
G∂(α) ∩ ] |
|
− ε, |
|
+ ε[ ̸= |
ε ]0, α[. |
(3.37) |
|
2 |
2 |
||||||
Из (3.34), (3.37) вытекает требуемое свойство (3.33); в свою очередь, из (3.33) следует, что
1 |
G∂(α), |
(3.38) |
2 |
где (здесь и ниже) черта сверху обозначает замыкание в смысле обычной |·| – топологии R. Поскольку α ]0, 12[ выбиралось произвольно, имеем, что
|
1 |
|
|
|
|
|
1 |
|
||||||
|
G∂(ε) |
|
||||||||||||
|
|
|
ε ]0, |
|
|
[. |
||||||||
|
2 |
2 |
||||||||||||
|
Иными словами, справедливо следующее включение |
|||||||||||||
|
|
|
1 |
|
|
∩2 |
|
|
|
|||||
|
|
|
|
|
G∂(ε). |
(3.39) |
||||||||
|
|
|
|
|
|
|||||||||
|
|
|
2 |
]0,1 [ |
||||||||||
|
|
|
|
|
|
ε |
|
|
|
|
|
|
||
|
Из (3.39) следует тот уже упоминавшийся факт, что точка |
|||||||||||||
1 |
есть элемент притяжения и, следовательно, |
|||||||||||||
2 |
|
|
|
|
|
|
|
∩2 |
|
|||||
|
|
|
1 |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
{ |
|
} ε ]0,1 [ G∂(ε). |
(3.40) |
||||||||
|
|
|
2 |
|||||||||||
В левой части используется одноэлементное множество, со- |
|||||||
держащее точку 1. Выберем теперь произвольно |
|
||||||
2 |
∩2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
G∂(ε). |
|
(3.41) |
||||
|
|
||||||
|
ε ]0,1 [ |
|
|
||||
Из (3.41) вытекает с очевидностью, что |
|
|
|||||
|
1 |
|
|
|
|||
G∂(ε) ∩ ]x − δ, x + δ[ ̸= |
ε ]0, |
|
[ |
δ ]0, ∞[. |
(3.42) |
||
2 |
|||||||
34
Пусть ε0 ]0, 12[. Из (3.41) следует, что x G(∂ε0). В свою очередь, из (3.42) вытекают следующие свойства:
G(∂ε0) ∩ ]x − δ, x + δ[ ̸= δ ]0, ∞[.
В частности, G(∂ε0) ∩ ]x − ε0, x + ε0[ ̸= . С учетом этого выберем и зафиксируем точку
x G∂(ε0) ∩ ]x − ε0, x + ε0[. |
(3.43) |
Учитывая (3.15), можно указать управление u U∂(ε0), для которого
x = φu ,1(1) = |
∫0 |
1(1 − τ)b(τ)u (τ)dτ = |
|
|
∫ |
2 |
− |
|
|
|
1 |
|
τ)u (τ)dτ. |
(3.44) |
= |
1 |
(1 |
||
|
|
|
|
|
Согласно (3.14), имеем при этом, что u U и для некоторого
|
t |
1 |
, |
1 + ε |
справедливо следующее неравенство: |
|||||
момента |
|
[2 |
|
2 |
0[ 1 ≤ φu ,2(t ). |
|
(3.45) |
|||
Вместе с тем, по определению U |
|
|
|
|||||||
|
|
|
|
|
∫0 |
1 u (t)dt = 1. |
|
(3.46) |
||
Напомним здесь же, что с учетом (3.10) имеет место |
||||||||||
|
|
∫0 |
|
|
|
∫ |
2 |
|
≤ ∫0 |
|
|
|
t |
|
|
|
|
t |
|
|
1 |
φu ,2(t ) = |
|
b(τ)u (τ)dτ = |
1 |
u (τ)dτ |
|
u (τ)dτ = 1. |
||||
|
|
|
|
|
|
|
|
|
|
|
Учитывая (3.45), мы получаем, что |
|
|
||||||||
|
|
|
∫ |
2 |
|
∫0 |
|
|
|
|
|
|
|
|
t |
|
|
1 |
|
|
|
|
|
|
|
u (τ)dτ = |
|
u (τ)dτ = 1. |
(3.47) |
|||
|
|
|
|
1 |
|
|
|
|
|
|
35
Из этой цепочки равенств следует, что |
|
|
|
|
|
|
|
||||||||||||||||||||||||
(u (t) = 0 |
|
t [0, |
1 |
[) & (u (t) = 0 t [t , 1[). |
|
(3.48) |
|||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||
|
2 |
|
|||||||||||||||||||||||||||||
С учетом (3.44) и (3.48) мы получаем: |
− ∫ |
|
|
|
|
||||||||||||||||||||||||||
|
|
∫ |
2 |
|
− |
|
|
|
|
|
|
|
|
|
|
|
∫ |
2 |
|
|
|
2 |
t |
|
|
||||||
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|||
x = |
|
|
1 |
(1 τ)u (τ)dτ = |
|
|
1 |
u (τ)dτ |
|
|
|
1 |
τu (τ)dτ = |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− ∫ |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
= 1 |
|
|
|
|
1 |
|
τu (τ)dτ. |
|
|
|
|
|
|
(3.49) |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Оценим последнее слагаемое в (3.49). Учиывая (3.47), |
|
|
|||||||||||||||||||||||||||||
∫ |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ |
2 |
|
|
|
|
|
|
|
|
∫ |
2 |
t |
|
||
|
t |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
t |
|
|
|
|
|
1 |
|
|
|
||||
|
1 |
τu (τ)dτ − |
2 |
= |
|
|
1 |
τu (τ)dτ − |
|
2 |
1 |
u (τ)dτ |
|
= |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
− 2) |
|
|
|
≤ |
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
∫2 |
( |
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
τ |
|
|
1 |
u (τ)dτ |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
≤ ∫ |
|
|
( |
|
− |
2) |
1 |
|
|
|
|
|
|
≤ |
∫ |
|
|
|
|
|
|
|
|
|
|||||||
2 |
t |
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
t |
|
1 |
|
|
u (τ)dτ |
|
|
|
ε0 |
u (τ)dτ = ε0. |
|
(3.50) |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
Тогда, как следствие, получаем из (3.49),(3.50), что |
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ |
2 |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
ε |
|
|
|
|
2 |
− |
|
|
|
τu (τ)dτ |
|
|
|
|
|
(3.51) |
|||||||
|
|
|
|
|
|
x − 2 |
|
= |
|
|
1 |
≤ ε0 |
|
||||||||||||||||||
Поскольку выбор |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
0 |
был произвольным, установлено, что |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x − |
|
2 |
≤ |
ε ε ]0, |
2 |
[. |
|
|
|
|
|||||||||||||
Это означает, что справедливо |
равенство |
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x − |
2 |
= 0, |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
36
атогда x = 12 и, как следствие,
{}
x 12 .
Поскольку выбор x (3.41) был произвольным, установле-
но, что |
|
|
|
|
|
|
|
|
|
|
∩2 |
|
|
|
|
1 |
|
|
|
||
|
|
|
|
|
|
|
|
|||
ε ]0,1 [ G∂(ε) |
{ |
|
|
|
} , |
|
||||
2 |
|
|||||||||
и с учетом (3.40) мы получаем равенство |
|
|||||||||
∩2 |
|
|
|
|
1 |
|
|
|||
|
|
|
|
|
|
|
||||
|
[ G∂(ε) |
= { |
|
}. |
(3.52) |
|||||
ε ]0,1 |
2 |
|||||||||
Выражение (3.52) характеризует совокупность элементов притяжения или, точнее, множество притяжения [8, §2.5], которое является своеобразным заменителем ОД; последняя является в рассматриваемом примере пустым множеством. Таким образом, с практической точки зрения наша задача «совместна», и возможности достижимости терминальных состояний в ней исчерпываются точкой 12 (имеется в виду достижимость с любой наперед выбранной степенью точности).
Рассмотрим другой пример управления материальной точкой (3.9), следуя на идейном уровне [14, c. 1106–1111] и полагая, что функция b = b(·) в (3.9) тождественно равна единице.
Итак, мы рассматриваем систему |
|
x˙ 1(t) = x2(t), x˙ 2(t) = u(t). |
(3.53) |
Cистема (3.53) рассматривается на промежутке [0, 1] при нулевых начальных условиях. Мы полагаем, что в (3.53) u = u(·) есть функция на полуинтервале [0, 1[, для которой
u(t) = u1(t) + u2(t) t [0, 1[, |
(3.54) |
37
где u1 = u1(·) есть неотрицательная к.-п. н.спр. в/з функция на [0, 1[, а u2 = u2(·) – к.-п. н.спр. в/з функция на [0, 1[, для которой
∫0 |
1 |
|u2(t)|dt ≤ 1. |
(3.55) |
Свойство (3.54) можно кратко записать в виде |
|
||
|
u = u1 + u2, |
(3.56) |
|
что и будет использоваться в дальнейшем. Каждое управление (3.56) само является к.-п. и н.спр. в/з функцией на полуинтервале [0, 1]. Мы полагаем, что эта функция (см. (3.56)) может быть реализована при любом выборе u1, u2 в рамках условий, оговоренных выше. В случае системы (3.53) компо-
ненты траектории имеют следующий вид:
∫ t
φu,1(t) = |
0 |
(t − τ)u(τ)dτ, |
(3.57) |
φu,2(t) = |
∫0 t u(τ)dτ, |
(3.58) |
|
где t [0, 1]. Мы рассматриваем случай, когда имеется одно промежуточное условие
|
1 |
|
1 |
|
|||
φu,1 |
( |
|
) |
≤ − |
|
. |
(3.59) |
2 |
2 |
||||||
Из (3.59) вытекает следующее эквивалентное представление упомянутого ограничения
|
1 |
1 |
1 |
|
||
∫0 |
2 |
( |
|
− τ) u(τ)dτ ≤ − |
|
. |
|
|
|
||||
|
2 |
2 |
||||
Данному представлению соответствует множество допустимых (в точном смысле) управлений. Для его точного определения потребуется ввести некоторые обозначения.
38
Условимся через U1 обозначать множество всех неотрицательных к.-п. и н.спр. в/з функций на [0, 1[. Кроме того, через U2 будем обозначать множество всех к.-п. н.спр. в/з функций
u = u(·) на [0, 1[, для каждой из которых
∫ 1
|u(t)|dt ≤ 1
0
(в (3.55) вместо u = u(·) использовалось u2 = u2(·)). Тогда определяем U в виде множества всех функций
u1 + u2, u1 U1, u2 U2
(иными словами, U = U1 U2, где используется для построения алгебраической суммы двух непустых множеств в линейном пространстве в/з функций на [0, 1[). Тогда
|
1 |
|
1 |
|
1 |
|
|
|
2 |
|
|
|
|
||
U∂ = |
{u U | ∫0 |
( |
|
− t)u(t)dt ≤ − |
|
} |
(3.60) |
2 |
2 |
есть множество допустимых (с точки зрения соблюдения условия (3.59)) программных управлений. Можно проверить, что условие (3.59) приводит к несовместной задаче, т. е.
U∂ = . |
(3.61) |
В самом деле, выберем и зафиксируем произвольное программное управление u U. Тогда
|
|
|
1 |
|
|
|
|
1 |
1 |
|
|
|
|
|
|
||||
φ |
|
|
( |
|
|
|
) = ∫0 |
2 |
( |
|
− t) |
|
(t)dt, |
(3.62) |
|||||
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
u |
|||||||||||||
u,1 |
2 |
|
2 |
||||||||||||||||
|
|
|
|
|
|
|
|
|
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
φ |
|
|
|
|
( |
|
) |
= ∫0 |
2 |
|
(t)dt. |
(3.63) |
||||
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
u |
||||||||||
|
|
|
u,2 |
2 |
|||||||||||||||
С учетом представления множества U подберем u1 U1 и u2 U2 так, что при этом
u = u1 + u2.
39
Управление u1 не отрицательно, а потому
0 ≤ ∫0 |
1 |
( |
1 |
− t) |
|
|
|
2 |
|
1(t)dt. |
(3.64) |
||||
|
|
||||||
|
|
|
|||||
|
|
u |
|||||
|
2 |
Сдругой стороны, управление u2 таково, что
∫1
| |
|
2(t)|dt ≤ 1. |
(3.65) |
u |
0
При этом, согласно (3.62) и (3.64), получаем с учетом вышеупомянутого представления u, что
1 |
|
|
|
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
||||||||||||||||||
|
u,1 ( |
|
) |
2 |
( |
|
|
|
− t) |
|
|
|
|
|
|
|
|
2 |
( |
|
|
− t) |
|
|
|
||||||||||||||||||||||
φ |
|
= ∫0 |
|
|
|
|
|
1(t)dt + ∫0 |
|
|
|
2(t)dt ≥ |
|||||||||||||||||||||||||||||||||||
|
|
|
u |
u |
|||||||||||||||||||||||||||||||||||||||||||
2 |
2 |
2 |
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
≥ ∫0 |
( |
|
− t) |
|
|
2(t)dt. |
|
|
|
|
(3.66) |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
u |
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|||||||||||||||||||||||||||||||
С другой стороны, учитывая (3.65), мы получаем, что |
|
||||||||||||||||||||||||||||||||||||||||||||||
|
∫ |
1 |
( |
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
∫ |
1 |
|
( |
|
|
|
|
) |
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
2 |
|
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
0 |
|
|
|
2 |
− t |
u |
2(t)dt |
≤ |
|
|
0 |
|
|
|
|
2 |
|
− t | |
u |
2(t)|dt ≤ |
|
||||||||||||||||||||||||||
|
|
|
|
|
1 |
∫0 |
|
|
|
|
|
|
|
|
|
|
|
1 |
∫0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
(3.67) |
||||||||||
|
|
|
|
|
|
≤ |
|
|
|
| |
u |
2(t)|dt ≤ |
|
|
|
|
| |
u |
2(t)|dt ≤ |
|
. |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
2 |
|
2 |
|
|
2 |
|
|||||||||||||||||||||||||||||||||||
Более того, нетрудно показать, что на самом деле |
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
∫ |
1 |
( |
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
2 |
1 |
− t |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
(3.68) |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
0 |
|
|
2 |
|
u2(t)dt < 2. |
|
|
|
|
||||||||||||||||||||||||||||||
Действительно, |
допустим противное: |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
|
∫ |
1 |
( |
1 |
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
2 ≤ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
2 − t u2(t)dt . |
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
40
