О приближенном решении задачи об асферичности выпуклого компакта Текст научной статьи по специальности «Математика»

Для завершения доказательства теоремы осталось показать, что набор {Лпд,апд} совпадает со спектральными данными построенной краевой задачи Л, Н). По лемме 10 матрица-функция Ф(х, Л) является решением Вейля задачи Получим выражение для матрицы Вейля:

M(Л) = Ф(0, Л) = JWf(A) -

Е

(i^klj (ж), ф(Х, Л))х=0

Л-Л

те m

= + Л-

k=0l=1

Л — Лш Л — Лш

Используя равенство (см. [2]) М(Л) = ^ ^ ла Л'1 , приходим к соотношению М(Л) = ^ ^ лаЛ'° .

Отсюда вытекает, что {Лш} являются полюсами матрицы Вейля М(Л), а {«ш} — вычетами относительно этих полюсов. Заметим, что кратности собственных значений также совпадают с количествами одинаковых чисел в наборе {Лш}, потому что эти количества равны рангам вычетов {«ш}. Теорема 1 полностью доказана. □

Работа выполнена при финансовой поддержке РФФИ и Национального научного совета Тайваня (проекты 10-01-00099, 10-01-92001-ННС). Библиографический список

1. Юрко, В.А. Введение в теорию обратных спектральных задач / В.А. Юрко. - М.: Физматлит, 2007. - 384 с.

2. Yurko, V.A. Inverse problems for matrix Sturm -Liouville operators / V.A. Yurko // Russian J. of Math. Physics. - 2006. - V. 13, № 1. - P. 111-118.

3. Carlson, R. An inverse problem for the matrix Schrodinger equation / R. Carlson // J. of Math. Analysis and Applications. - 2002. - № 267. - P. 564-575.

4. Malamud, M.M. Uniqueness of the matrix Sturm -Liouville equation given a part of the monodromy matrix

УДК 519.853.3

О ПРИБЛИЖЕННОМ РЕШЕНИИ ЗАДАЧИ ОБ АСФЕРИЧНОСТИ ВЫПУКЛОГО КОМПАКТА

С.И. Дудов, Е.А. Мещерякова

Саратовский государственный университет, кафедра математической экономики E-mail: DudovSI@info.sgu.ru

Рассматривается конечномерная задача о минимизации отношения радиуса описанного шара заданного выпуклого компакта (в произвольной норме) к радиусу вписанного шара за счет выбора единого центра этих шаров. Предлагается подход к построению численного метода её решения. На каждом шаге итерационного процесса требуется решать задачу выпуклого программирования, целевая функция которой является разностью радиуса описанного шара и, с некоторым варьируемым положительным множителем, радиуса вписанного шара. Показано, что эта вспомогательная задача, в случае, когда сам выпуклый компакт, а также шар используемой нормы являются многогранниками, сводится к задаче линейного программирования.

Ключевые слова: выпуклый компакт, асферичность, субдифференциал, аппроксимация.

and borg type results / M.M. Malamud // Sturm -Liouville theory. Past and present. - Birkhauser; Basel, 2005. - P. 237-270,

5. Yurko, V.A. Inverse problems for the matrix Sturm - Liouville equation on a finite interval / V.A. Yurko // Inverse Problems. - 2006. - № 22. - P. 1139-1149.

6. Chelkak, D. Weyl - Titchmarsh functions of vector-valued Sturm - Liouville operators on the unit interval / D. Chelkak, E. Korotyaev // J. of Functional Analysis. -2009. - V. 257, iss. 5, 1 September. - P. 1546-1588.

On a Approximate Solution of the Problem of Aspherical Convex Compact Set

S.I. Dudov, E.A. Mesheryakova

Saratov State University, Chair of Mathematical Economy E-mail: DudovSI@info.sgu.ru

We examine a finite-dimensional problem of minimizing the ratio radius of the ball given a compact convex set (in an arbitrary norm) to the radius of the inscribed sphere through the choice of a common center of these balls. The article offers an approach to building the numerical method of its solution. At each step of the iterative process it is required to solve the problem of convex programming, target function of which is the difference between the radius of a circumscribed sphere, and scalable, with some positive factor, the radius of the inscribed sphere. It is shown that this auxiliary problem, in case of convex compact, and the ball of the used norm being polyhedral, can be reduced to a linear programming problem.

Key words: compact convex set, asphericity, subdifferential, approximation.

те m

те m

© С.И. Дудов, Е.А. Мещерякова, 2010

13

Изв. Сарат. ун-та. Нов. сер. 2010. Т. 10. Сер. Математика. Механика. Информатика, вып. 4

1. Задачей об асферичности выпуклого компакта D из конечномерного пространства Rp с непустой внутренностью называют

ш (x) = —> min, (1)

v 7 p(x) xeD v 7

где функции R(x) = max n(x — y), p(x) = min n(x — y) выражают соответственно расстояние от

уев yen

точки x до самой удаленной точки компакта D и до самой близкой точки множества О = Rp\D в заданной норме n(-).

Функция R(x) является выпуклой на Rp, а р^-вогнута на D. Известны соответствующие формулы субдифференциала и супердифференциала этих функций [1, 2]. Показатель асферичности Ш* = min {ш (x) : x Е D} используется (обычно для случая евклидовой нормы) при описании свойств выпуклого тела и построении методов его приближения (см. напр. [3]). Однако результатов по харак-теризации и построению численных методов решения задачи (1) обнаружить не удалось. Трудности ее исследования, видимо, связаны с тем обстоятельством, что целевая функция является негладкой и при этом она не выпукла и не вогнута, в общем случае, даже локально. Однако выяснилось, что она является на D субдифференцируемой в смысле определения В.Ф. Демьянова - А.М. Рубинова [4, 5]. В [6] установлена соответствующая формула ее субдифференциала. На этой основе в статье [7] получены необходимые и достаточные условия решения, а так же пример условия единственности решения задачи (1).

2. Ниже предлагается подход к построению численного метода приближенного решения задачи (1). Пусть xo — произвольная внутренняя точка из D и а0 = ^(xo). Принципиальная схема построения последовательности приближений заключается в следующем.

Если уже построена точка xk Е D и ак = ^(xk), то в качестве точки xk+i берем решение задачи

фк (x) = R(x) — ак p(x) —► min, (2)

xeD

т. е. xk+i Е D и фк(xk+i) = min фк(x).

xeD

Главная идея здесь заключается в том, что фк(xk) = 0 и поэтому, если точка xk не является решением задачи (2), то фк(xk+1) < 0, что эквивалентно неравенству ^(xk+1) < ^(xk). Таким образом последовательность {^(xk)}k=i 2 монотонно убывает. В качестве обоснования сходимости процесса докажем, что справедлива

Теорема 1. Любая предельная точка последовательности {xk}k=1 2 является решением задачи (1).

Доказательство. Будем считать, без потери общности, что xk ^ x* Е D при k ^ го. Предположим противное, что есть точка x* не является решением, а значит существует положительное а такое, что

^(x*) = ш* + а, ш* = min ^(x). (3)

xeD

Пусть x Е D и ш^) = Ш*, т. е. точка x - решение или одно из решений задачи (1). По построению фк(x) > фк (xk+i) или

R(x) — акp(x) > R(xk+i) — акp(xk+i). (4)

Функции R(x) и —p(x) выпуклые конечные, а значит, и непрерывные [4, с. 43]. Поэтому, переходя в (4) к пределу по k ^ го, получаем

R(x) — <^(x*)p(x) > R(x*) — <^(x*)p(x*) = 0. (5)

С другой стороны, в силу (3) имеем

(R(x) \ R(x) — )p(x) = p(x) ^ (x)— ш* — aj = —ap(x) < 0,

что противоречит (5). Теорема доказана. □

Важное обстоятельство для нас в этом подходе заключается в том, что целевая функция фк(x) вспомогательной задачи (2), решаемой на каждом шаге, является выпуклой на выпуклом компакте D.

Это легко следует из выпуклости функции Л(х) и вогнутости функции р(х) на Б. Следовательно, для решения задачи (2) можно использовать наработанный широкий спектр численных методов выпуклого программирования (см. напр. [8-9]).

3. Рассмотрим важный частный случай, когда вспомогательная задача (2) сводится к задаче линейного программирования.

Предположим, что выпуклый компакт Б является многогранником, заданным в виде

Б = {у е : (Аг,у) + а > 0,2 = 1"ш} , (6)

где Аг е а е К, 2 = 1,ш, (■, ■) — скалярное произведение.

Обозначим через Вп(х,г) = {у е : п(х — у) < г} — шар в норме п(-) с центром в точке х и радиуса г. Предположим норма такова, что ее единичный шар с центром в начале координат также является многогранником, имеющим вид

Вп(0р, 1) = {у е : (В,, у) + Ь, > 0, ] = Щ , (7)

где Bj е Rp, bj е R, bj > 0, j = 1,m.

Напомним, что полярной нормой к норме n(-) называется функция n* (x) = max (v,x).

n(v)<1

Конкретизируем вид функций R(x) и p(x) в рассматриваемом случае. Лемма 1. Если единичный шар нормы n(-) можно представить в виде (7), то

R(x) = max {(Dj, x) + dj } , j=i,i

где

Bj

Dj = - , dj = max (Dj ,y). (8)

bj y£D

Доказательство. Известно (см. [1, 10]), что исходная норма n(-) выражается через полярную к ней норму n*(-) формулой

n(x) = max (v,x), (9)

n* (v)<1

причем единичный шар полярной нормы является полярой, в привычном смысле выпуклого анализа [10], единичного шара исходной нормы. Нетрудно убедиться, что полярой к шару (7) является множество

{у е Rp : n* (y) < 1} = со { -B : j = l^} . (10)

Здесь со A — выпуклая оболочка множества A.

Теперь используя (9), (10), обозначения (8), а также известный из выпуклого анализа факт [4, с. 26], что для произвольного компакта A с Rp выполняется равенство

max (v, g) = max (v, g), V g е Rp,

v£A v£co A

получаем

R(x) = max max (v, x — y) = max max (v, x — y) = max max (v, x — y) =

y^D'n*(v)<1 ' yeDv£co{ - j :j=I7}X 7 j '

= max max (Dj, x — y) = ma^< (Dj, x) + max (Dj, -yH = max {(Dj, x) + dj } .

j=i,i L y£D ) j=1

Лемма доказана. □

Лемма 2. £сли компакт D задан в виде (6) и точка x е D, то

p(x) = min {(Ci, x) + c} , (11)

i=1,m

где A

Ci = n^' Ci = n^ar. (12)

Математика 15

Изв. Сарат. ун-та. Нов. сер. 2010. Т. 10. Сер. Математика. Механика. Информатика, вып. 4

Доказательство. Известно, что расстояние в норме п(-) от точки до гиперплоскости п = {у Е (Л, у) + а = 0}, где Л Е а Е К, выражается формулой

Рп(x) =

l(A,x) +| n*(A)

(13)

Очевидно, для точки x Е D, учитывая вид (6) множества D, выполняется

p(x) = min рп. (x),

i=1,m

где ni = {y Е Rp : (Ai, y) + ai = 0} — гиперплоскости, образующие грани многогранника D. Теперь, используя (13) и учитывая, что (Ai,x) + ai > 0 для x Е D, имеем

/ ч - Г (Ai ,x) + ai

p(x) = min <-———

J i=Tm\ П (Ai)

Принимая во внимание обозначения (12), мы получим (11). Лемма доказана. □ Из лемм 1-2 непосредственно вытекает

Следствие. Если выпуклый компакт D задан в виде (6), а единичный шар нормы в виде (7), то задача (2) эквивалентна задаче

max_{(Dj — akCi5x) + dj — akci] ^ min

i=1,m,j = 1,l

xeD

(14)

Далее рассуждениями, аналогичными [11, с. 244], приходим к выводу, что справедлива Теорема 2. Задача (14) эквивалентна задаче линейного программирования следующего вида:

z ^ min,

(Dj — akCi, x) + dj — akci < z, i = 1,m, j = 1,l, x E D.

(15)

При этом если пара (x*,z*) — решение задачи (15), то x* — решение задачи (14). И наоборот, если x* — решение задачи (14), то пара (x*, z*), где z* = max{(Dj, x*) + dj} — ak min {(Ci,x*) + ci},

j = 1,l i=1,m

является решением задачи (15).

Замечание. Таким образом мы можем предложить следующий путь получения приближенного решения задачи (1). Сначала аппроксимировать выпуклый компакт D и единичный шар нормы многогранниками с некоторой точностью. Отметим, что методов полиэдральной аппроксимации выпуклых тел существует довольного много (см. напр. [3, 12] и библиографию в них). А далее воспользоваться предложенным в п. 2 численным методом для решения уже замененной задачи, решая на каждом шаге задачу линейного программирования вида (15). В связи с этим предстоит ответить на вопрос, как точность аппроксимации компакта D и такой способ аппроксимации нормы n(-) отразятся на точности решения исходной задачи?

Работа выполнена при поддержке РФФИ (проект 10-01-00270) и гранта Президента РФ для поддержки ведущих научных школ (проект НШ-4383.2010.1).

Библиографический список

1. Пшеничный, Б.Н. Выпуклый анализ и экстремальные задачи / Б.Н. Пшеничный. - М.: Наука, 1980.

2. Дудов, С.И. Равномерная оценка выпуклого компакта шаром произвольной нормы / С.И. Дудов, И.В. Злато-рунская // Мат. сб. - 2000. - Т. 191, № 10. - С. 13-38.

3. Каменев, Г.К. Скорость сходимости адаптивных методов полиэдромной аппроксимации выпуклых тел на начальном этапе / Г.К. Каменев // ЖВМ и МФ. -2008. - Т. 48, № 5. - С. 763-778.

4. Демьянов, В.Ф. Недифференцируемая оптимизация / В.Ф. Демьянов, Л.В. Васильев. - М.: Наука, 1981.

5. Демьянов, В.Ф. Основы негладкого анализа и квазидифференциальное исчисление / В.Ф. Демьянов, А.М. Рубинов. - М.: Наука, 1990.

6. Мещерякова, Е.А. О двух задачах по оценке выпуклого компакта шаром / Е.А. Мещерякова // Математика. Механика: сб. науч. тр. - Саратов: Изд-во Сарат. ун-та, 2008. - Вып. 10. - С. 48-50.

А.П. Хромов. Смешанная задача для дифференциального уравнения с инволюцией

7. Дудов, С.И. Об асферичности выпуклого компакта / С.И. Дудов, Е.А. Мещерякова // Математика. Механика: сб. науч. тр. - Саратов: Изд-во Сарат. ун-та, 2009. - Вып. 11. - С. 24-27.

8. Васильев, Ф.П. Численные методы решения экстремальных задач / Ф.П. Васильев. - М.: Наука, 1988.

9. Карманов, В.Г. Математическое программирование / В.Г. Карманов. - М.: Наука, 1986.

УДК 517.984

10. Рокафеллар, Р. Выпуклый анализ / Р. Рокафеллар.

- М.: Мир, 1973.

11. Зуховицкий, С.И. Линейное и выпуклое программирование / С.И. Зуховицкий, Л.И. Авдеева. - М.: Наука, 1964.

12. Половинкин, Е.С. Элементы выпуклого и сильно выпуклого анализа / Е.С. Половинкин, М.В. Балашов.

- М.: Физматлит, 2004.

СМЕШАННАЯ ЗАДАЧА ДЛЯ ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ С ИНВОЛЮЦИЕЙ И ПОТЕНЦИАЛОМ СПЕЦИАЛЬНОГО ВИДА

А.П. Хромов

Саратовский государственный университет,

кафедра дифференциальных уравнений и прикладной

математики

E-mail: KhromovAP@info.sgu.ru

Для решения некоторой смешанной задачи с инволюцией и вещественным симметричным потенциалом найдено явное аналитическое представление методом Фурье. При этом использованы приемы, позволяющие избегать почленного дифференцирования функционального ряда и накладывать минимальные условия на начальные данные задачи.

Ключевые слова: смешанная задача, инволюция, метод Фурье, классическое решение.

The Mixed Problem for the Differential Equation with Involution and Potential of the Special Kind

A.P. Khromov

Saratov State University,

Chair of Differential Equations and Applied Mathematics E-mail: KhromovAP@info.sgu.ru

For the solution of some mixed problem with involution and real symmetrical potential, explicit analytical formula has been found with the use of the Fourier method. Techniques allowing to avoid term-by-term differentiation of the functional series and impose the minimum conditions for initial problem data, are used.

Key words: mixed problem, involution, Fourier method, classical solution.

Рассматривается следующая смешанная задача:

e^rUt (x,t) = u5 (С, t)|{=i-x + q(x)u(x,t),

x e [0,1], t e (-ro,

u(x, 0) = <(x), u(0, t) = 0.

(1) (2)

Предполагаем выполненными следующие условия: 1) в — вещественное число, в = 0, 2) д(х) е С[0,1], ?(х) = д(1 — х), д(х) — вещественная функция; 3) ^ е С1 [0,1] и ^(0) = 0, ^'(1) = 0.

Уравнение (1) представляет собой простейшее уравнение в частных производных, содержащее инволюцию V(х) = 1 — х. Краевые задачи с инволюцией активно исследуются (см., например, работу [1] и библиографию в ней).

Решение задачи (1)-(2) будем искать методом Фурье. Наши предположения позволяют получить классическое решение, т. е. решение, непрерывно дифференцируемое по обеим переменным. Условия на ^(х) являются естественными, так как им удовлетворяют собственные функции порождаемой (1)-(2) краевой задачи. Условия на д(х) снимают многие трудности при исследовании задачи и позволяют дать хорошую структурную форму для решения.

В работе широко используются приемы из [2], позволяющие получить решение, избегая почленного дифференцирования функционального ряда.

1. Согласно методу Фурье положим и(х,£) = у(х)Т(£). Тогда получим следующую задачу на собственные значения для у(х):

y'(1 - x) + q(x)y(x) = Ay(x), y(0) = 0,

(3)

(4)

а для T(t) имеем T(t) = ce

© А.П. Хромов., 2010

17