Файл: Иоффе, А. Д. Теория экстремальных задач [учеб. пособие].pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 15.10.2024
Просмотров: 205
Скачиваний: 0
224 ГЛ. 4. л о к а л ь н ы й в ы п у к л ы й а н а л и з
если у е V, 0 < Я < А|. Далее, в силу определения рав номерной дифференцируемости, существует такая ок
рестность U а |
X точки Xi и такое |
число |
Яг > |
0, что |
|
G {х0+ Хх) — G (х0) |
у |
|
|
|
X |
S V’ |
|
|
Л И Ш Ь ТОЛЬКО |
X £= U, 0 < к < Я2. |
Тогда |
при |
х е £ / н |
О < Я < Я0 = min {Я[, Я2)
f (х0+ Хх) — f (*0) |
|
|
|
|
||
X |
|
S' (УО, У\ |
|
|
|
|
|
|
ff (G (xQ+ Хх)) |
■RЫ |
— S' (Уо, |
Si) |
|
|
|
X |
|
|
||
|
|
|
|
|
|
|
„Л . |
I |
G (х0 + Хх) — G (х0) |
— g (Уо) |
|
|
|
g [ i J o |
+ |
X---------------£ |
|
|
Уд < е, |
|
|
|
. X |
|
-------------- S' (Уо-, |
||
|
|
|
|
|
|
|
поскольку |
|
X (G (х0+ Хх) — G (х0)) <= V в |
силу |
выбора |
||
Ко и U. Отсюда следуют и равномерная дифференцируе мость функции f, и утверждение теоремы относительно равенства для производных по направлениям. Теорема
доказана. |
3. Пусть S — компактное топологическое |
Т е о р е м а |
|
пространство |
и f(s,x) — функция на Sy^X, непрерыв |
ная по s для всех х из некоторой окрестности точки Хо, а при каждом s g S равномерно дифференцируемая по всем направлениям в точке х0. Предположим, более того, что для всяких г е А ' и е > 0 можно указать такие окре
стность U точки z и число Яо > |
0, |
что неравенство |
|
|||
f (s. хр 4-Ху) — f (s. x0) |
f's ( Д г 2) |
< 8 |
(2) |
|||
|
X |
|
||||
выполняется при всех |
s e S, |
у e |
U, 0 < |
X < Яо |
(где, |
|
как и раньше, |
fs(x)— функция |
на X, определенная ра |
||||
венством fs(x) = |
f(s, х). |
Положим |
|
|
|
|
f (х) = max f (s, х),
s e S
So — [s<==S\f(s, x0) = f(x0)}.
Тогда функция f равномерно дифференцируема no каж дому направлению в точке х0 и
f'{xQ; z) = maxf's(xQ-, z).
s е So
§ 4.4. ЛОКАЛЬНО ВЫПУКЛЫЕ ФУНКЦИИ |
225 |
Если же, в дополнение к сформулированным усло виям, функции fs{ •) локально выпуклы в точке х0 (и, значит, регулярно локально выпуклы), то и f регулярно локально выпукла и
Д о к а з а т е л ь с т в о . По условию, если г е ! фик сировано, то f's (xQ\ 2) есть предел равномерно сходя
щейся последовательности непрерывных на S функций
(s) = п (f (s, х0 + ~ 2 ) — / (s, х0) ) .
Поэтому |
функция |
s |
(л-ф z) |
непрерывна |
при вся |
ком г е ! |
Отсюда |
следует, в |
частности, |
что вторая |
|
часть теоремы вытекает из первой и из теоремы 3 § 4.2. С другой стороны, коль скоро функция s - » / '( x 0; 2)
непрерывна, она достигает максимума на всяком непу стом замкнутом подмножестве пространства S, в част ности, на множестве S0, которое не пусто и замкнуто из-за непрерывности функции f(s,x) по s и компакт
ности пространства S. |
теоремы нам |
нужно |
убедиться |
|
Для доказательства |
||||
в том, что всякому z е |
X и всякому |
е > 0 |
можно |
по |
ставить в соответствие |
окрестность |
U cz X |
точки |
z и |
число Хо > О таким образом, чтобы |
при всех у е |
U и |
||
О < X < Хо выполнялось неравенство |
|
|
|
|
Итак, пусть z e I и г > 0 заданы. Тогда найдется ок рестность W с: S множества S0 такая, что
(Это |
сразу |
следует из непрерывности функции |
s |
2).) |
С другой стороны, точку х0 можно окру |
жить такой окрестностью U0, чтобы максимум функции f(s,x) по s при всяком х из этой окрестности дости гался на множестве W. В самом деле,
max f (s, x0) = f (x0) — a, seS \ r
8 А. Д. Иоффе, В. M. Тихомиров
226 |
ГЛ. 4. ЛОКАЛЬНЫЙ в ы п у к л ы й а н а л и з |
где а > 0. Полагая в (2) г = 0, убеждаемся в сущест вовании такой окрестности U0 точки х0, для всех точек которой неравенство
| f(s, x ) — f (s, х0) |< а/2
выполняется при всяком s e S . Эта окрестность — иско мая, так как при х е Ua и s ф W
|
f (s, |
х) < |
/ (s, Xq) + |
а /2 < f |
(хй) — а /2 |
< f (х), |
|
||||||||
т. е. максимум функции |
|
|
х) достигается на W, |
||||||||||||
Выберем теперь в соответствии с (2) |
число ^ > 0 |
и |
|||||||||||||
окрестность |
[/, |
точки |
г |
так, |
чтобы |
|
|
|
|
|
|||||
|
|f(s, |
|
x0 + |
Xy)— f(s, x0) — Xf's(x0- 2)|<Я-|- |
|
||||||||||
при у <= Uu 0 < |
X < Я,. |
Пусть, наконец, Х2> 0 таково, |
|||||||||||||
что х0 |
|
X2z |
U0. |
Положим |
|
|
|
|
|
|
|
||||
|
Яо = |
min (Я[, |
Яг}, |
U — X2 l \X2U\f| (Uq— Ао)]. |
|
||||||||||
Тогда |
U — непустая |
(поскольку |
г е |
U) |
окрестность |
||||||||||
точки |
z. |
Кроме |
того, |
если |
0 < Я < |
Я0 |
и |
у е U, |
то |
||||||
я0 + Я г/е t/0. Поэтому для таких Я |
и у |
|
|
|
|||||||||||
f (х0+ |
Ху) = |
|
шах f (5, х0+ |
Ху) < |
|
|
|
|
|
|
|||||
|
|
|
|
se W |
|
|
|
|
|
|
|
|
|
|
|
|
|
< |
max f (s, х0) + |
Я sup f' (х0‘ z) + |
X-f- < |
|
|||||||||
|
|
|
|
s e w 4 |
|
’ |
sew |
4 |
|
' |
|
* |
|
||
|
|
|
|
|
|
|
|
< |
f (*0) + |
X max /' (x0; z) + |
Яе, |
||||
с одной |
стороны, |
и |
|
|
|
|
|
|
|
|
|
||||
f (x0 + |
Xij) > |
|
max / (s, x0- f Яу) > |
|
|
|
|
|
|
||||||
|
|
|
|
seSj |
|
|
|
|
|
|
|
|
|
|
|
Xo) + V's{x0\ 2 ) - Я | ) =
= / Ы + Kmax n (xo> z) —
— с другой. Следовательно,
I / (*0 + Щ — f (*0) — &max f's(x0; 2) |< Яе,
лишь только у e U и 0 <; Я < ЯоТеорема доказана.
|
§ 4.4. ЛОКАЛЬНО |
ВЫПУКЛЫЕ |
ФУНКЦИИ |
|
|
227 |
|||||||||
З а м е ч а н и е . |
Условия |
теоремы 3 заведомо выпол |
|||||||||||||
няются, если, например, функция |
f'(s, |
х ; |
у) = /'(х ; у) |
||||||||||||
непрерывна по совокупности переменных при всех s e 5 , |
|||||||||||||||
у е X и х из некоторой |
окрестности точки х0. |
Действи |
|||||||||||||
тельно, |
пусть |
2 е X и е > |
0 заданы. Тогда функция |
||||||||||||
(s, К, у) —►/'(s, Хо + |
}.у, у) |
непрерывна в |
каждой |
точке |
|||||||||||
вида (s, 0, 2 ) , - и, |
|
используя |
компактность |
множества 5, |
|||||||||||
мы можем выбрать Яо > |
|
0 |
и окрестность |
U точки z та |
|||||||||||
ким образом, |
чтобы неравенство |
|
|
|
|
|
|||||||||
|
I /'(« , |
|
*о + |
|
|
У)— Г (s, |
х0; 2) |< |
е |
|
|
|||||
выполнялось |
при |
всех |
s е |
5, |
0 ^ |
)щ, |
у е |
U. |
Без |
||||||
ограничения общности можно считать, что |
все |
точки |
|||||||||||||
Хо + Ху при 0 < |
К < |
Ао, |
у е |
U принадлежат той окрест |
|||||||||||
ности точки Хо, в которой функция f'(s,x,y) |
непрерывна. |
||||||||||||||
Поэтому по формуле Ньютона — Лейбница |
|
|
|
||||||||||||
f (s, |
Xq+ |
|
|
|
к |
|
|
|
|
|
|
|
|
|
|
Ц ) |
|
= |
| |
f' (s, |
x0+ |
\uy, y)d\x + |
f {s, |
x0) |
|
||||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
и, следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
|||
f ( S , X q + % y ) |
f ( s , X 0 ) _ |
r ( s > ^ |
z ) |
< |
|
|
|
|
|||||||
|
|
|
|
Л |
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
JI f'(s, |
xQ+ Iiy; y) — f' (s, x0; z ) I dy. < e |
|||||||||||
для всех |
s e S , |
0 < |
X < |
Я0, |
у e |
U. |
|
|
В заклю |
||||||
4.4.3. |
Субдифференциалы и производные. |
||||||||||||||
чение параграфа |
|
мы |
кратко обсудим связь субдиффе |
||||||||||||
ренциалов и производных. |
Мы уже отмечали (см. при |
||||||||||||||
мер 1 в § 4.2), что выпуклая (и, очевидно, |
регулярно ло |
||||||||||||||
кально выпуклая) функция дифференцируема |
по |
Гато |
|||||||||||||
в некоторой точке тогда и только тогда, когда ее |
|||||||||||||||
субдифференциал |
в |
этой |
точке содержит |
ровно |
один |
||||||||||
элемент.
Таким образом, понятие субдифференциала обоб щает понятие производной по Гато. В этой связи по лезно отметить, что теоремы 1 и 2 являются обобще ниями соответствующих теорем дифференциального ис числения. Именно, теорема 1 обобщает теорему о том,
8*
228 |
ГЛ. 4. ЛОКАЛЬНЫЙ ВЫПУКЛЫЙ АНАЛИЗ |
что производная суммы функций равна сумме производ ных, а теорема 2 обобщает теорему о суперпозиции дифференцируемых отображений. Теорема о среднем тоже имеет «субдифференциальный» аналог, однако он нам нигде в дальнейшем не понадобится. С другой сто роны, теорема 3 не имеет эквивалента в дифференциаль ном исчислении.
§4.5. Субдифференциалы некоторых функций
4.5.1.Субдифференциалы норм. Субдифференциал нормы в абстрактном банаховом пространстве был вы числен в § 0.3:
( |
{.С е r|||x*||< 1}. |
если |
х = 0, |
<ЭИ'ГИ= \ |
{ С е Г |||*1=1, |
(С , *) = 11*И}> если |
х ^ О . |
Таким образом, в конкретных случаях сложности могут встретиться лишь при вычислении субдифференциалов в ненулевых точках. Для этого нужно описать множест ва всех функционалов х*, удовлетворяющих равенствам
|С ||=1, <С, х) = ||*||. |
(1) |
Мы не будем рассматривать здесь пространств, в ко торых норма дифференцируема в отличных от нуля точ
ках, таких, |
как |
Lp (1 |
■< р < |
оо) или гильбертово про |
||
странство. В этих случаях для |
вычисления |
субдиффе |
||||
ренциала нормы |
достаточно |
ее |
продифференцировать |
|||
(см. п. 4.4.3). |
|
|
|
|
|
|
1. С у б д и ф ф е р е н ц и а л |
н о р м ы в |
L" ([/0, /i]). |
||||
Напомним, |
что |
(LJ1([/о, Ы)) = |
L'L{[to, М), так что, если |
|||
( / ( ■ ( е С |
x ( - ) ^ L \ |
и у ( |
•) (= <Э||х( •) ||,, |
то равен |
||
ства (1) означают следующее: |
|
|
||||
|
Нг/( •)IL = sup| y(t) |= 1, |
|
||||
|
|
|
t\ |
|
ft |
|
<//(•), * ( • ) > = |
J {y{t)\x{t))dt=\\x{t)\dt. |
|||||
|
|
|
to |
|
to |
|
Эти равенства могут выполняться тогда и только тогда,
когда |
(за исключением |
некоторого |
множества меры |
нуль) |
y { t ) = \x(t) |-‘л:(0 |
при x(t)= £ 0, |
y(t) произвола |