CC BY
45
A problem of a certain type convex functional minimization under linear constraints in a space of Lebesgue integrable functions is considered. Necessary and sufficient optimality conditions for this problem are obtained. As an application, the principle of maximum entropy is derived from the main result.
Key words: convex programming; necessary minimum conditions; principle of maximum entropy.
Жуковский Сергей Евгеньевич, Российский университет дружбы народов, г. Москва, Российская Федерация, кандидат физико-математических наук, доцент кафедры нелинейного анализа и оптимизации, e-mail: s-e-zhuk@yandex.ru
Zhukovskiy Sergey Evgenyevich, Peoples' Friendship University of Russia, Moscow, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Nonlinear Analysis and Optimization Department, e-mail: s-e-zhuk@yandex.ru.
Петров Данил Вадимович, Российский университет дружбы народов, г. Москва, Российская Федерация, студент, e-mail: ddbihbka@gmail.com
Petrov Danil Vadimovich, Peoples' Friendship University of Russia, Moscow, the Russian Federation, Student, e-mail: ddbihbka@gmail.com
УДК 517+512
О ВЫПУКЛОСТИ ОБРАЗОВ КВАДРАТИЧНЫХ ОТОБРАЖЕНИЙ
© С.Е. Жуковский, Р. Сенгупта
Ключевые слова: квадратичное отображение; выпуклый конус.
В работе обсуждается вопрос о выпуклости образа выпуклого замкнутого конуса при квадратичном отображении. Получены условия, при которых сужение квадратичного отображения на выпуклый замкнутый конус сюръективно.
В настоящей работе исследуются квадратичные отображения конечномерных пространств. Напомним, что отображение Q : мга ^ мк называется квадратичным, если существуют симметрические матрицы Ql, ...^к размерности п х п такие, что
/ ^1х,х) \ Q(x) = . V х € мга
\ х,х) )
Некоторые результаты о свойствах квадратичных отображений приведены в [1, 2].
Наряду с квадратичным отображением Q мы будем рассматривать билинейное симметричное отображение
(x, u)
/ (Q\x,u) \ \ (Qkx,u) J
V (x, u) € Rn x Rn
значения которого будем обозначать через Q[x,u]. Будем говорить, что множество К С С Кга называется конусом, если ¿К = К для любого положительного Обозначим через Q(K) образ произвольного множества К при отображении отображения Q. Достаточно очевидно, что если множество К является конусом, то и Q(K) является конусом.
В этой заметке обсуждается вопрос о выпуклости образов выпуклых конусов при квадратичном отображении. Рассмотрим сначала случай К = мп. Достаточно очевидно, что множество ^(мга) не обязательно выпукло. Действительно, пусть
ЖМ /М 0
д : м2 м м3, д(ж) = | 2Ж1Ж2 | Vх = (хьх2) € м2, У = | 0 | , V = | 0
х2 / V о / V 1
Очевидно, что y,v € д(м2), но 2У + 1V € д^2), и, значит, д(м2) не выпукло. В работе [2] Л.Л. Дайнсом было доказано следующее утверждение.
Т е о р е м а 1. Для любого квадратичного отображения д : мп м м2 множество д(мп) выпукло.
Приведенный выше пример показывает, что предположение к = 2 здесь существенно и не может быть ослаблено. Из теоремы Дайнса, в частности, вытекает следующий критерий несюръективности. Квадратичное отображение д : мп м м2 не сюръективно тогда и только тогда, когда существует ненулевой вектор Л € м2 такой, что квадратичная форма х м- (Л,д(х)), х € мп неотрицательно определена. В [2] это утверждение приводится, однако в нем пропущено условие нетривиальности Л = 0.
Пусть теперь К С мп - непустой выпуклый замкнутый конус. Приведем условия, при которых множество д(К) не просто выпукло, но д(К) = мк.
Теорема2. Пусть д : мп м мк - квадратичное отображение, К С мп - непустой выпуклый замкнутый конус. Предположим, что существует вектор Н € К такой, что
Qi.fr, К] = мк. (1)
Тогда ) = мк.
Доказательство. Определим отображение Р : мп х мк м мк по формуле
Р(х,а) = ф(х) - а V (х,а) € мп х мк,
положим х* = Н, а* = 0. Применим к отображению Р теорему о неявной функции из [3] в точках х*, а*. Достаточная гладкость отображения Р очевидна. Кроме того, из предположения (1) следует, что яр яд
— (х*, а*)(К + врап{х*}) = (Н)(К + 8рап{Н}) = ф[Н, К + йрап{Н}] = д^, К] = мк
(здесь 8рап{Н} = {¿Н : Ь € м} ). Значит для отображения Р условие Робинсона выполняется в точках х*, а*. Согласно теореме о неявной функции из [3] существует окрестность О С мк точки а* и функция х : О м К такая, что Р(х(а),а) = 0 для любого а € О. Последнее равносильно тому, что для любого а € О существует х € К такой, что ф(х) = = а. Следовательно, О С ф(К), а так как К - конус, то для любого положительного Ь выполняется
ьо с ьф(К) = ) = ф(К).
Из последнего включения следует, что ф(К) = мк. □
Покажем далее, что если условие (1) нарушается, то множество ф(К) может не только не совпадать с мк, но и не быть выпуклым.
П р и м е р 1. Положим
д : м2 м м2, ф(х) = Г 2хх11х^ Vх = (х1, х2) € м2, Н = Г 1
K = {x = (Ж1,Ж2) : X2 ^ |xi|},
1 N ( 1 N ( 1 N ( -1
у = [ ^ , * = ^ , х ^ ! ), и ^ х Очевидно, что множество К выпукло и замкнуто,
ж € К, у = ^(х), и € К, V = ^(и), Следовательно, у,* € ^(К). Однако,
1 у + 2* € дага),
поскольку уравнение
3(ж) = ( 0
не имеет решений ж € К. Итак, множество ^(К) не выпукло. В этом примере предположение (1) нарушается:
0 0 \ _ С( 0 М ,
Q[h,K] = ( 1 0 j K = span^i х)\= R2.
При построении этого примера существенно использовалось то, что у отображения Q существует нетривиальный нуль, т.е. такой вектор h = 0, что Q(h) = 0. Однако, даже если у отображения Q нет нетривиальных нулей, множество Q(K) может не быть выпуклым. Приведем соответствующий пример. П р и м е р 2. Положим
Q : r2 ^ r2, Q(x) = ^ Х2 ) Vx = (xi, Х2) € r2.
Для произвольного ветора x € r2 \ {0} обозначим через р(ж) € (0, то) и <^(ж) € [0, 2п) его полярные координаты. Положим
K = {0} U jx € r2 : <p(x) €
Несложно проверить, что Q(K) - выпуклый замкнутый конус, и
Q(K) = {0} U jy € r2 : p(y) €
Значит, Q(K) не выпукло.
Приведенные примеры показывают также, что в теореме Дайнса нельзя заменить Q(rn) на Q(K) для произвольного непустого выпуклого замкнутого конуса K.
ЛИТЕРАТУРА
1. Арутюнов А.В. Гладкие анормальные задачи теории экстремума и анализа // УМН. 2012. Т. 57. № 3 (405). С. 3-62.
2. Dines L.L. On the mapping of quadratic forms // Bull. of the AMS. 1941. V. 47. № 6. P. 494-498.
3. Арутюнов А.В. К теоремам о неявной функции в анормальных точках // Тр. ИММ УрО РАН. 2010. Т. 16. № 1. С. 30-39.
БЛАГОДАРНОСТИ: Работа выполнена в рамках реализации государственного задания министерства образования и науки РФ в сфере научной деятельности (код проекта 1.333.2014/К), при поддержке гранта Президента Российской Федерации (проект № MK-5333.2015.1.) и гранта РФФИ (проект № 14-01-31185).
Поступила в редакцию 1 июня 2015 г.
Zhukovskiy S.E., Sengupta R. ON THE CONVEXITY OF QUADRATIC MAPPINGS IMAGES
In the paper, the question on convexity of quadratic mappings images is discussed. The conditions for a restriction of a quadratic mapping to a closed convex cone to be surjective are obtained.
Key words: quadratic mapping; convex cone.
Жуковский Сергей Евгеньевич, Российский университет дружбы народов, г. Москва, Российская Федерация, кандидат физико-математических наук, доцент кафедры нелинейного анализа и оптимизации, e-mail: s-e-zhuk@yandex.ru
Zhukovskiy Sergey Evgenyevich, Peoples' Friendship University of Russia, Moscow, the Russian Federation, Candidate of Physics and Mathematics, Associate Professor of the Nonlinear Analysis and Optimization Department, e-mail: s-e-zhuk@yandex.ru
Сенгупта Ричик, Российский университет дружбы народов, г. Москва, Российская Федерация, студент, e-mail: veryricheek@hotmail.com
Sengupta Richik, Peoples' Friendship University of Russia, Moscow, the Russian Federation, Student, e-mail: veryricheek@hotmail.com
УДК 517.962.24 + 517.929.9
ОБ ЭКСПОНЕНЦИАЛЬНОЙ УСТОЙЧИВОСТИ НЕЯВНЫХ РАЗНОСТНЫХ УРАВНЕНИЙ
© И.А. Забродский, А.С. Кузякина
Ключевые слова: разностное уравнение неявного вида; устойчивость положения равновесия; экспоненциальная устойчивость; накрывающие отображения метрических пространств.
Рассмотрено разностное уравнение неявного вида в произвольном метрическом пространстве. Предложено понятие частичной экспоненциальной устойчивости. Получены условия такой устойчивости. Исследование основано на результатах о накрывающих отображениях, действующих в метрических пространствах.
Разностными уравнениями моделируются многие процессы в биологии, экономике, технике. Разностные уравнения используются в приближенных методах решения интегральных, дифференциальных, функциональных уравнений. Одна из основных задач исследования разностных уравнений состоит в определении устойчивости положения равновесия. Эта задача подробно изучена для автономных разностных уравнений явного вида
хга+1 = Р (х„),
где Р : мп м мп (см., например, [1]). 1156
