CC BY
14
Доклады БГУИР
2006
апрель-июнь
№ 2 (14)
УДК 517.972
К ДИФФЕРЕНЦИРУЕМОСТИ ПО НАПРАВЛЕНИЯМ ФУНКЦИИ МАКСИМУМА, ОПРЕДЕЛЕННОЙ НА СЛАБО РАВНОМЕРНО ДИФФЕРЕНЦИРУЕМЫХ МНОГОЗНАЧНЫХ ОТОБРАЖЕНИЯХ
ЛИ. МИНЧЕНКО, АН. ТАРАКАНОВ
Белорусский государственный университет информатики и радиоэлектроники П. Бровки, 6, Минск, 220013, Беларусь,
Поступила в редакцию 12 июля 2005
Представлены результаты по вычислению производных по направлениям функции максимума, определенной на значениях многозначных отображений. Получены новые достаточные условия дифференцируемости по направлениям функции максимума.
Ключевые слова: функция максимума, многозначные отображения, дифференцируемость по направлениям.
Для решения многих задач оптимизации представляет интерес вычисление производных по направлениям функции максимума, определенной на значениях многозначного отображения. Знание такого рода производных позволяет, в частности, строить декомпозиционные методы решения задач высокой размерности со связанными переменными и алгоритмы решения минимаксных задач, исследовать параметрические задачи оптимизации. Производные по направлениям функции максимума играют также важную роль в построении квазидифференциального исчисления В.Ф. Демьянова и А.М. Рубинова, в развитии других разделов негладкого анализа. В работе представлены результаты по вычислению производных по направлениям функции максимума, определенной на значениях многозначных отображений.
Пусть X = Я", У = Ят и Е : X ^ 2У — замкнутое выпуклозначное многозначное отображение. Дополнительно будем предполагать, что многозначное отображение Е равномерно ограничено в точке х0 е ёош Е , т.е. существуют компактное множество У0 ^ У и окрестность
V(х0) точки х0 такие, что Е(х) ^ У0 при всех х е V(х0).
Рассмотрим функцию максимума
(Р(х) = вир {/(х, у) I у е Е(х)} ,
где / : X х У ^ Я — непрерывно дифференцируемая функция.
Положим
®(х) = {У е Е(х) 1 /(х, У) = (Р(х)} ,
опорную функцию множества Е (х), т.е.
^ (Л Р) = эиР {(р, у)1 У е Е(х)} , Р е ят.
Вычислению производных по направлениям функции максимума, определенной на значениях многозначного отображения F уделено большое внимание в исследованиях [1-4]. В работах [1-4] выделены отдельные классы многозначных отображений, для которых функция максимума р дифференцируема по направлениям при дополнительном условии выпуклости или вогнутости целевой функции по переменной y . Один из подобных классов, так называемые слабо равномерно дифференцируемые многозначные отображения, которые являются частным случаем слабо равномерно дифференцируемых снизу многозначных отображений [3], рассматривался также в [5].
Определение 1. Будем говорить, что многозначное отображение F слабо равномерно дифференцируемо снизу (сверху) в точке x0 по направлению x , если его опорная функция
SF (x, p) дифференцируема (относительно x) по направлению x при всех p , причем
йо1 pnf S- [SF ( + sx,p) - SF (,p)] ^ S' (x0,p; x), (SiO1 ¿"fs^1 [Sf (xo + sx,p) - Sf (xo,p)] < S' (p; x)).
Многозначное отображение F будем называть слабо равномерно дифференцируемым в точке x0 по направлению x , если оно слабо равномерно дифференцируемо в точке x0 сверху и снизу.
Слабо равномерно дифференцируемые многозначные отображения включают в себя сильно дифференцируемые отображения, описанные в [3, 6-9]. Пусть
D+р( x0; x ) = lim sups- [р( x0 + sx) -p( x0)],
sio
D+p( x0; x ) = lim inf s- [р( x0 + sie ) - р( x0)].
sio L J
Лемма 1 [3]. Пусть многозначное отображение F слабо равномерно дифференцируемо снизу в точке x0 по направлению x . Тогда
D+p( xo;x) ^ (V J (xo , yo),x)+SF (( V yf (xo , yo);x)
для всех y0 g a>( x0) . Пусть
p) = {y G F(xo) КP, у) = Sf (xo , p)} ,
[a, b] — отрезок, соединяющий точки a, b G Rm .
Лемма 2. Пусть многозначное отображение F слабо равномерно дифференцируемо сверху в точке x0 по направлению x . Тогда для некоторых y0 и y * из множества а> (x0)
найдется точка £ g [y0, y *] такая, что
Dр(xo;x) < ( VJ (xo,£),x) + S' (xo, Vyf (xo, £);x) (1)
и yo, y* Gfi(Vyf (xo,£)).
Доказательство. Пусть
D+p(x0; x ) = lim sups 1 x0 + sx)-^(x0)]
sX0
достигается на последовательности sk Х 0.
Возьмем любую последовательность yk ео(x0 +skx) k = 1,2,... Ввиду ограниченности последовательности {yk } можно, не убавив общности, считать ее сходящейся, т.е. yk ^ y0 при k ^да . Поскольку многозначное отображение О (•) при сделанных предположениях замкнуто, то в силу [3] получаем, что y0 е о(x0) .
Положим xk = x0 +skx , и пусть y0k е П(Уу/ (x0, yk )) .
Тогда, понимая под [a, b ] отрезок, соединяющий точки a и b , получим
f (xk, yk)- f ( y0k ) = sk (v J (x0 k ,4 k) x) +(v yf (x0 k ,4 k), yk- y0 k), где x0k е[x0. xk], 4 e[y0k,yk].
Возьмем yik eQ(Vyf (k,40k))
Тогда существуют x1k и 41k такие, что
f (xk,yk)-f (x0.yik) = sk (v J(xik4)x)+ (vyf (xik),yk -yik)
и xik е[x0.xk], 4 е[yik,yk].
Продолжая процесс, получим, что при i = 1,2,... найдутся xik е[x0,xk],
ytk (x.-ik,4-ik)) 4 е[y,k,yk] такие что
f (xk, yk)- f (x0, y.k) = sk (v J (x.k, 4), x) + (v yf (x.k, 4), yk- y,k) •
При этом последовательности {yik } , {xik } , {4k } ограничены при любом фиксированном k, и, следовательно, не убавив общности, можно считать их сходящимися при i ^да , т.е.
y.k ^ y^ xik ^ x¡, 4 , причем x* е[x0,xk], 4 е[y*>yk].
Кроме того, в силу замкнутости многозначного отображения Q() (см. [3]) и непрерывности vf (x, y) получим
y* е Q(vyf (x*4)), (2)
и
f (xk,yk)-f у*) = sk (vj(x*,4k),x)+{vyf (x*,4k),yk -y*) (3)
для всех k = 1,2,...
С учетом (1), (2) получаем
((хк) - ((х0) = /(хк, ук) - /(х0, Уо) < /(хк, Ук) - У(х0, У*) = = £к (V(х*Л)х)+ ^уУ(х*а)Ук -У*) <
V(х*,&),х) + тах/Vу/(х*,&),у)-Бр ((у/(х*,4)) = = ек(Vх/(х*£к),х) + Бр (хк,Уу/(х*,4))-Бр ((у/(х*,&)).
Поскольку последовательности {а} и {у*} ограничены, можно считать, что ^к ^^,
* *
ук ^ у •
Разделив обе части последнего неравенства на и переходя к пределу при к ^го, имеем с учетом слабой равномерной дифференцируемости отображения Е
Б+£(хо;х) <{УХ/(хо,^),х) + £'((/(хо,£);х), (4)
где у*,уо] •
Кроме того, из (2), (3) получаем с учетом замкнутости многозначного отображения О(-), что
у* еП(/(хо,£)),
У(^ уо) - / (^ у*) = (У у/(хо,а) УО - У*).
Поскольку у* е Е(хо), то
У (хо. УО )-У (( У* )> 0,
и, следовательно,
(V у/(хоа), у„) > (Уу/(хо,а), у) = (хо, V у/(хо,а) •
Последнее означает, что ^у/(хо,а),Уо) = ^у/(хо,^),У*) = ^ (хо, Vy/(Xо,а)) (5)
и, значит,
/ (^ УО ) = У (( У*)
т.е. у* е®(хо) •
Таким образом, у* — это точка из множества с(х0) такая, что у* еО(у/(х0,£)),
где £е[Уо,у*] •
С учетом (5) получаем утверждение леммы • Пусть М (х, у) = {р е ^ | (р, у) = ^ (х, р)} •
Известно [3], что М (х, у) — замкнутый выпуклый конус •
Следствие. При выполнении условий леммы 2
Vу/(хо,Уо), Vу/(хо,у•) еМ(хо,£)-
Доказательство. Данное утверждение прямо следует из равенства (5).
Лемма 3 [3]. Пусть у е Е(х0). Если производная 8'Е (х0, р; х) существует, то она положительна однородна и выпукла по р на М ( х0, у).
Теорема 1. Пусть для многозначного отображения Е слабо равномерно дифференцируемого в точке х0 по направлению х выполнено одно из следующих условий:
1) со о(х0) = о(х0);
2) пересечение границы множества Е(х0) с о(х0) не содержит отрезков.
Тогда функция максимума р дифференцируема в точке х0 по направлению х , причем
р'(х0; х) = шах){(Vх/(х0,у0), х) + 8Е (х0, Vу/(х0,у0);х)}. (6)
Доказательство. Очевидно, что при выполнении условия со о(х0) = о(х0) точка 4 в утверждении леммы 2 лежит в множестве О (х0) .
1—г *
При выполнении второго условия теоремы из леммы 2 следует, что у = у0 и, следовательно, 4 = у0 е о(х0).
Таким образом, из леммы 2 получаем оценку
£>(х0;х) < вир {(^Д^,у0), х) + 8Е (х0, Vy/(xo,у0);х)}.
у0Ё®( х0)
Отсюда с учетом леммы 1 получаем равенство (5).
Теорема 2. Пусть многозначное отображение Е слабо равномерно дифференцируемо в точке х0 по направлению х и пусть функция / квадратична по х, у.
Тогда функция максимума р дифференцируема в точке х0 по направлению х , причем р'(х0; х) = (V/(х0,4), х) + 8'е (х0, Vу/(^,4); х),
где 4 — вектор из леммы 2.
Доказательство. Представим вектор 4 из леммы 2 в виде 4 = Лу0 + (1 - Л)у*, где
Л е [0,1].
В силу леммы 1 имеем Б+р(х0;х) > ^х/(х0, у0Xх) + 8'е (х0,Vу/(х0, у0);х) и соответственно
Б+р(х0;х) > ^х/(х0,у\ х) + 8'е (х0, у/(х0,у*);х).
Умножим первое неравенство на Л, второе на (1 — Л), а затем сложим их. Получим с учетом афинности V/ (х0, у0) по у , что
V х/(х0, 4) = V х/ (х0, Лу0 + (1 — Л) у*) = ЛV х/(х0, у,) + (1 — Л) V / (х0, у *), и, следовательно,
Б+р(х0; х) > (V/(х0,4), х) + Л8Е (, Vу/(х, у0); х) + (1 — Л)8Е (х, Vу/(х, у*); х).
Отсюда в силу следствия 1 и леммы 3 получаем
DM x0; x) > (V J (x ) + S'(x0,AV f (x0, y0) + (1 - A)V yf (x0, y); x) = = (V J(x0, £), x> + S' Vyf (x0, £); x ).
Принимая во внимание данное неравенство и лемму 2, получаем утверждение теоремы.
ON DIRECTIONAL DIFFERENTIABILITY OF MAXIMUM FUNCTION DEFINED ON WEAKLY UNIFORMLY DIFFERENTIABLE MULTIVALUED MAPPINGS
L.I. MINCHENKO, A.N. TARAKANOV Abstract
We present some results concerning evaluation of directional derivatives of maximum function, defined on values of multivalued mappings. We also obtain new sufficient conditions of directional differentiability of maximum function.
Литература
1. Демьянов В.Ф., Рубинов А.М. Основы негладкого анализа и квазидифференциальное исчисление, М., 1990.
2. Пшеничный Б.Н. Выпуклый анализ и экстремальные задачи. М., 1980.
3. Luderer B., Minchenko L., Satsura T. Multivalued analysis and nonlinear programming problems with perturbations. Dordrecht; Boston; London. 2002.
4. Minchenko L., Tarakanov A. // Optimization. 2005. Vol. 54, N 4. P. 1-10.
5. Минченко Л.И., Волосевич А.А. // Тезисы Междунар. конф. "Проблемы управления и приложения". Минск, 16-20 мая 2005. Минск, 2005.
6. Тюрин Ю.Н. // Экономика и матем. методы. 1965. Т. 1, №3. С. 391-410.
7. BanksH.T., JacobsM.Q. // J. of Math. Analys. and Appl. 1970. Vol. 29. P. 246-272.
8. Печерская Н.А. // Вестн. Ленингр. ун-та. Сер. мат., мех., астрон. 1981. № 7. С. 115-117.
9. Минченко Л.И., Волосевич А.А. //Докл. НАН Беларуси. 2003. Т. 47, № 3. С. 28-32.
