Файл: Иоффе, А. Д. Теория экстремальных задач [учеб. пособие].pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 15.10.2024

Просмотров: 214

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

§ 5.1. ЛОКАЛЬНО ВЫПУКЛЫЕ ЗАДАЧИ

239

Обозначим, наконец, через Л линейный оператор из X X Rm в У> определенный следующим образом:

т

А (х, а) = Fx (xt, и,) х + 2 cty (F (*., fy) — F (*„ «,)).

В силу условия б) для всяких (х, а) и (х', а') из об­ ласти определения отображения Ф справедливо нера­ венство

(х, а) — Ф {х', а') А (лг, а) + Л (х', а') |=

==||F (х, v (х, а+)) — F (x't v {х', а' +)) — Fx (*,, и,) (х х')-~

- 2 («,+ - О ( Г ( * . , « , ) - f (* .. «.)) II <

< 6 I U - * ' I I + 2 | а + - а ; + | <

 

 

l=i1

 

 

 

 

 

< 6

| | х -*/ | | + 2 | а / - а ;|

1.

(8)

П о л о ж и м

 

/=1

 

 

 

 

 

 

 

 

 

 

С (Л) = sup

УII in f

\ ||а: + 21

А (х,

а)

 

 

уфо

 

i=i

 

 

 

 

Из определения оператора Л и из условия

(6)

следует,

что 1 г п Л = У.

Кроме

того, оператор Л, очевидно,

не­

прерывен. Поэтому в силу леммы 3 из § 0.2 С (Л) <

оо.

Тогда, если б - С ( Л ) <

У2, то согласно

(8), отображение

Ф и оператор Л удовлетворяют условиям обобщенной

теоремы Люстерника из § 0.2.

(5)

вектор

(х,а), где

Заметим

теперь,

что

в силу

й = (cti, . .. ,

ctm), принадлежит ядру оператора А. По­

этому при 6 - С ( А ) <

Уг по обобщенной теореме Люстер­

ника (см. §

0.2)

существуют числа

t > 0,

К > 0 и ото­

бражения

 

 

t~*(x(t), a(t))

 

 

-

 

 

 

 

 

 

о т р е з к а [0,

/] в

X X

R "1

та к и е ,

ч т о

 

 

 

 

Ф (*. +

t f +

х(0, /а + а(0) =

0

(9)


240 ГЛ. 5. ЛОКАЛЬНО ВЫПУКЛЫЕ ЗАДАЧИ

при всех

t е [0, ?]

и

 

 

 

 

 

 

 

 

 

 

 

 

 

т

 

 

 

 

/сцф (jc. + a, ta) ii.

 

 

 

и* (О U+

S i

а /(0 к

 

 

Из последнего неравенства в силу (5)

и (8)

следует,

что

 

т

 

 

 

 

 

 

 

 

 

 

 

 

1 И 0 И +

2 | а , ( 0 К

 

 

 

 

 

 

 

 

 

 

 

 

/=i

 

 

 

 

 

 

 

 

 

 

 

 

<

/С11 ф (*. +

tx, ta) — Ф (*.,

0) -

tA (х,

а) |<

 

 

 

 

 

 

 

 

 

 

1 1 * 1 1 + 2 а , ) .

( Ю )

Поэтому, в частности,

х (/)->• 0

и а (/)->- 0 при f-> 0 .

что

Далее, в силу

(7)

существует такое число с > 0,

при всех

i = 0.........k

выполняются неравенства

 

 

Vi (*.. и,-, х) + S

ау (fi (х„ и,) ft (х„

и.)) <

4с.

(11)

Из-за регулярной

локальной

 

выпуклости

функций

x - > f i ( х,

u j можно указать

такое число а > 0,

что при

всех 0 ^ / ^ а , ||х — х||^а

и / =

0, . . . , п справедливы

неравенства

 

 

 

 

 

 

 

 

 

 

 

 

V(*

+ tx>«О < ft (* . ы.) +

1(f'i( * .

*) + с)-

(12)

Предположим теперь,

 

что

6 >

0

было рыбрано таким

образом, чтобы,

кроме неравенства 6 •С (А) <

1/2,

оно

удовлетворяло трем следующим условиям:

 

 

 

/Сб( P I I +

2

« /) <

min (а,, . . . , ат,

а),

 

(13)

 

+

/С62)

 

||JE||+

S

а, ) < с .

 

 

(14)

 

 

 

 

 

 

 

/=I

 

 

 

 

 

КЬ 111*11+2 й/)

max

 

I fi{xt, at) — fi(xt, ut)\ < c .

(15)

'

/=i 7o<i<«

 

 

 

 

 

 

 

 

 

 

l</< m

 

 

 

 

 

 

 

 

Такое б заведомо существует, так как по условию ау > 0, j = 1.........т .



 

§

5.1. ЛОКАЛЬНО

ВЫПУКЛЫЕ ЗАДАЧИ

 

241

Из (10) и (13) сразу следует,

что taj + а/ (0 > 0

при

всех t <= (0, *],

так что

 

 

 

 

 

 

 

 

Ф(х,

ta-\- а (t)) — F(х, v (х,

ta +

а (/))),

 

откуда,

полагая

 

 

 

 

 

 

 

 

 

 

x(t) = X' +

tx +

x (/),

й (/) =

v(x (t),

ta + а (/)),

 

получаем в силу

(9)

 

 

 

 

 

 

 

 

 

 

 

 

F(x(t),u(t)) =

0.

 

 

(16)

С другой

стороны,

из

второго

неравенства в усло­

вии б г )

следует,

 

что

при 1 е [ 0 ,

/]

и всех

1 — 0,

п

Й (0 Х Ы *(0 . «0 +

 

 

 

 

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

+

2

+

а у ( 0 ) (fi {х( 0 , « ; )

ft ( * ( 0 ,

« . ) ) +

 

 

/= 1

 

 

 

 

 

 

 

 

 

 

 

 

 

+

б

(||

+

х

( 0 1| +

2

( / а / +

а ,

( / ) ) ) .

(1 7 )

Согласно (10)

и (13)

*-1 ||л:(/) 11<сг. Поэтому

в силу

(12)

при 0 < t ^ min (t,

а )

 

 

 

 

 

 

 

 

ft(■х (t),

и ) <

f, (*..

м.) + * (ft(х

*) + с).

(18)

Сопоставляя далее соотношения (10), (13) и (15) и учи­ тывая, что x ( t ) - > X ' при t >-0, получаем

т

2 (ta{ +

a, (t)) (ft (х (t), й/) —ft (t), и,)) =

 

 

т

 

 

 

 

= t 2 а

j(ft(x„

« ; ) — fl(X„

« . ) ) +

 

 

J = 1

 

 

 

 

 

т

 

 

 

 

+

2 « /

(0 (/< (*.,

й,) ft (х„

и.)) +

 

т

/=1

 

 

 

 

 

 

 

 

+

2

(taj + ajitytfiixit), йj) ft (х„ й,) —

 

/=!

 

 

 

 

— fi(x(t), U.) + ft(Xt, « .)]<


242

ГЛ. 5. ЛОКАЛЬНО ВЫПУКЛЫЕ ЗАДАЧИ

Наконец, согласно (10) ц (14)

 

т

a.i -f- t-1 (и^(0н+ Si «/(о ill <

^ ^6

|х |-f- S

 

 

 

 

 

V

/=1

 

/.

Из (17)—(20) следуют неравенства

 

 

 

f i ( x ( t ) , zi ( О Х / г (*.>

«.) + t [/• (*,, и\ *) +

 

 

 

т

 

 

 

 

 

 

 

 

 

 

+ S

О/ (/; (*.,

й,) — / г (л:,,

и,)) +

Зс] + о (t),

справедливые при

всех г =

0,

1,

п,

/<=[0, min(F, о)].

Если

то

согласно

(11),

 

 

 

 

 

ft (х (t),

й (0) < U {х„ и,) — tc +

o (t)

(21)

при достаточно малых /. Если же k-\-\

 

то

 

lim fi (x(t),

й (0) <

fi (**, a.)

<

0.

(22)

Соотношения (16),

(21)

и (22)

показывают, что при

достаточно малых

/ > 0

пара

(x{i),

u{t))

допустима

в задаче

(1)—(4)

и f0(x(t),

u ( t ) ) < f 0{x„

«.)•

Поскольку

x(t)~ *xt

при /->

0,

это значит,

что

точка

{х„ u j не

может быть точкой локального экстремума, в противо­ речии с условием теоремы.

Таким образом, осталось проверить, что при O econvC

найдутся х ^ Х , й , е £ / , . . . , Um^ U и aj > 0, . . . , ат> 0,

удовлетворяющие соотношениям (5)—(7). Если O econvC,

Т Л П А А П П Р 7 Т < + 7 Т Р Н 1 П А Л У И Т О Р Т П У Т Л Т V . (= . У 1!~. £ = I I

i — 0, . . . , k.