Остается заметить, что объединение получившихся секторов совпадает со всей плоскостью.
Будем в дальнейшем считать, что точки Л^ (к) в уравнении (6) выбраны так, что на отрезках интегрирования выполняются неравенства (7). Но тогда при р € Р справедливы оценки Ие— ^)(г — £) = 0( 1), ] = 1, 2,..., п. Для получения асимптотических формул (4) остается свести уравнение (6) к системе интегральных уравнений (см. [1, с. 58]) и воспользоваться теоремой 1.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Наймарк М.А. Линейные дифференциальные операторы. М,: Наука, 1969. 528 е.
2. Хромов А.П. Разложение по собственным функциям обыкновенных линейных дифференциальных операторов с нерегулярными распадающимися краевыми условиями // Мат. сб. 1966. Т. 70(112), № 3. С. 310-329.
УДК 519.583.3
С.И. Дудов, Е.А. Мещерякова
ОБ АСФЕРИЧНОСТИ ВЫПУКЛОГО КОМПАКТА
1. Задачей об асферичности выпуклого компакта D из конечномерного пространства Rp с непустой внутренностью: int D = 0 называют
rn(x) = R(X —> min, (1)
p(x) xeü
где функции
R(x) = maxn(x — y), p(x) = minn(x — y)
yeü yeQ
x
ки компакта О и самой близкой точки м пожества П = \ йв заданной норме п(). Функц ня Я(х) является выпукл ой на а р(х) — вогнутой на О, известны соответствующие формулы субдифференциала дЯ(х) и супердифференциала др(х) этих функций [1, 2]. Показатель асферичности = шт{_(р(х) : х Е О} используется (обычно для случая евклидовой нормы) при описании свойств выпуклого тела и построении методов его приближения, в частности, при полиэдральной аппроксимации (см., напр., [3]). Однако авторам не удалось обнаружить какие-либо результаты по исследованию задачи (1). В данной статье получен критерий решения задачи (1), а также приводится достаточное условие единственности решения.
2. Приведем несколько вспомогательных фактов, которые далее в п. 3 будут использованы при доказательстве основных результатов.
Лемма 1 [2]. Функции R(x) и p(x) являются глобально липшицевы-ми на ЩР, причем, для любых xi и x2 из Rp выполняются, неравенства
\R(xi) - R(x2)| < n(xi - Х2), (2)
|p(xi) - p(x2)\ < n(xi - x2). (3)
Функция R(x), являясь выпуклой и копечной naRp, дифференцируема по всем направлениям в любой точке x G Rp. Поэтому из (2) вытекает Следствие. Для, любого направления g G Rp справедливо неравенство
R'(x,g) = lim a-i[R(x + ag) - R(x)] < n(g), Vx G Rp.
Лемма 2 [2]. Если D - строго выпуклое множество и точки x1,x2 G G D удовлетворяют неравенству
p(xi) < p(x2) < p(xi) + n(xi - x2),
то для любого a G (0,1) выполняется строгое неравенство
p(axi + (1 - a)x2) > ap(xi) + (1 - a)p(x2).
Рассмотрим вспомогательную задачу
f (x, ß) = R(x) - ßp(x) —> min (4)
xGD
при некотором фиксированном значении ß > 0.
Лемма 3. Для того чтобы точка x* была решением задачи (4), необходимо и достаточно, чтобы выполнялось соотношение
[dR(x*) - ßdp(x*)] р| K+(x*, D) = 0, (5)
где K +(x*,D) - сопряженный конус к конусу возможных направлений множества D в точке x*.
R(x) p(x)
на D, то функция f (x,ß) выпукла по x па D. Поэтому, как известно [1],
x* G D
выполнение в ней соотношения
dxf (x*,ß) р| K +(x*,D) = 0, 25
где dxf (x*, ß) - субдифференциал функции f (x, ß) по x в точке x*. Осталось заметить, что применяя теорему Моро Рокифеллири [1] мы имеем x G D
dxf (x,ß) = dR(x) - ßdp(x).
Лемма доказана.
3. Критерий для центра асферичности дает
Теорема 1. Для того чтобы точка x* G int D была решением задачи (1), необходимо и достаточно, чтобы
p(x*)dR(x*) р R(x*)dp(x*) = 0. (6)
Доказательство. В [4] было показано, что функция является суб-дпфференцпруемой (в смысле определения Демьянова Рубиноии [5]) и на этой основе доказана необходимость соотношения (6). Докажем его
x* G int D
нию (6), однако существует точка y* G int D, для которой
p(v*) < p(x*). (7)
Очевидно соотношение (6) эквивалентно включению
op G dR(x*) - p(x*)dp(x*).
Поскольку для точки x* G int D конус K + (x*,D) = {op}, из него следует справедливость соотношения (5). Поэтому в соответствии с леммой 3 имеем
f (x*,P(x*)) = min f (x,^(x*)). (8)
xGD
Из (8) получаем
R(V*) - v(x*)p(y*) > R(x*) - ip(x*)p(x*) = 0. (9)
А с другой стороны, в силу неравенства (7) выполняется
R(V*) - p(x*)p(v*) < R(v*) - p(y*)p(v*) = 0,
что противоречит (9). Теорема доказана.
D
ет единственное решение.
Доказательство. Предположим, что p(xi) = p(x2) = p*, а следовательно,
R(xi) - p*p(xi) = R(x2) - p*p(x2) = 0.
Отсюда вытекает
R(x) — ^*p(x) = 0,x G [x^x2], (10)
поскольку противное означало бы для выпуклой поx функции f (x, существование точки xo G (x^ x2), в которой R(x0) — ^>*p(x0) < 0, а значит, ^>(x0) < что является противоречием. Легко видеть, что аффинное поведение (10) функции f (x, на отрезке [x1 ,x2] означает, что и функции R(x) и p(x) также обязаны вести себя на этом отрезке как аффинные функции. Тогда поведение функции R(x) можно выразить в виде
R(x1 + a(x2 — x1)) = R(x1) + aR'(x1,x2 — x1), a G [0,1]. (11)
С другой стороны, аффинность поведения функции p(x) в силу леммы 2 влечет равенство p(x2) = p(x1) + n(x1 — x2), а следовательно, и
p(x1 + a(x2 — x1)) = p(x1) + an(x1 — x2), a G [0,1]. (12)
Из (10) - (12) получаем
f (x1 +a(x2—x1),^*) = R(x1)—^*p(x1)+a(R/(x1, x2—x1)—^*n(x1—x2)) = 0,
откуда, учитывая (10), вытекает R/(x1,x2 — x1) = ^*n(x1 — x2). Но это противоречит следствию леммы 1, поскольку^* > 1. Теорема доказана.
Простые примеры показывают, что решение задачи может быть не единственным. Кроме того, условие строгой выпуклости компакта D, являясь достаточным, не является необходимым для единственности решения.
Работа выполнена при финансовой поддержке гранта Президента РФ (проект НШ-2970.2008.1).
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Пшеничный Б.Н. Выпуклый анализ и экстремальные задачи. М,: Наука, 1980.
2. Dudov S.I., Zlatorunskaya I.V. Best approximation of a compact convex set by a ball in an arbitrary norm // Advances in Math.Research. Nova Science Publishers, Inc., 2003. Vol. 2. P. 81-114.
3. Каменев Г. К. Скорость сходимости адаптивных методов полиэдромной аппроксимации выпуклых тел на начальном этапе // ЖВМ и МФ 2008. Т. 48, JVS5. С. 763-778.
4. Мещерякова Е.А. О двух задачах по оценке выпуклого компакта шаром // Математика. Механика: Сб. науч. тр. Саратов: Изд-во Сарат. ун-та, 2008. Вып. 10. С. 48-50.
5. Демьянов В.Ф., Рубинов A.M. Основы негладкого анализа и квазидифференциального исчисления. М,: Наука, 1990.