Существование обратной функции в окрестности нерегулярного значения Текст научной статьи по специальности «Математика»

ISSN 1810-0198. Вестник Тамбовского университета. Серия: естественные и технические науки

Том 24, № 126 2019

© Жуковский С.Е., Нгок Ч.Т., 2019 DOI 10.20310/1810-0198-2019-24-126-141-149 УДК 517

Существование обратной функции в окрестности нерегулярного значения

Сергей Евгеньевич ЖУКОВСКИЙ12 , Чан Тхи НГОК1

1 ФГАОУ ВО «Российский университет дружбы народов» 117198, Российская Федерация, г. Москва, ул. М.-Маклая, 6 2 ФГБУН «Институт проблем управления им. В. А. Трапезникова» Российской академии наук 117997, Российская Федерация, г. Москва, ул. Профсоюзная, 65 ORCID: https://orcid.org/0000-0002-2686-4654, e-mail: s-e-zhuk@yandex.ru ORCID: https://orcid.org/0000-0002-3365-2174, e-mail: ngoc2tt@gmail.com

Existence of inverse function in a neighbourhood of a critical value

Sergey E. ZHUKOVSKIY12 , Tran T. NGOK1

1 RUDN University 6 Miklukho-Maklaya St., Moscow 117198, Russian Federation 2 V. A. Trapeznikov Institute of Control Sciences of RAS 65 Profsoyuznaya St., Moscow 117997, Russian Federation ORCID: https://orcid.org/0000-0002-2686-4654, e-mail: s-e-zhuk@yandex.ru ORCID: https://orcid.org/0000-0002-3365-2174, e-mail: ngoc2tt@gmail.com

Аннотация. Классические теоремы об обратной функции гарантируют существование обратной функции в окрестности значения заданной точки, если в этой точке выполняется условие регулярности, т. е. первая производная в ней невырождена. Более общим условием существования неявной функции является условие 2-регулярности. Оно выполняется, например, для многих квадратичных отображений в нуле. Известно, что при естественных предположениях гладкости из 2-регулярности отображения в точке по некоторому направлению вытекает существование непрерывной обратной функции. В этой работе показано, что в известных утверждениях о существовании обратной функции при выполнении условия 2-регулярности предположения гладкости можно ослабить. При этом обратная функция может не быть непрерывной. Ключевые слова: обратная функция; 2 -регулярность

Благодарности: Работа выполнена при поддержке РФФИ (проект № 19-01-00080_a). Результаты §3 получены первым автором при поддержке гранта РНФ (проект № 17-11-01168).

Для цитирования: Жуковский С.Е., Нгок Ч.Т. Существование обратной функции в окрестности нерегулярного значения // Вестник Тамбовского университета. Серия: естественные и технические науки. Тамбов, 2019. Т. 24. № 126. С. 141-149. DOI 10.20310/1810-0198-2019-24-126-141-149.

Abstract. The classical inverse function theorems guarantee the existence of an inverse function in a neighborhood of the value of a given point if the regularity condition is satisfied at this point, that is, the first derivative at a given point is nondegenerate. A more general condition for the existence of an implicit function is the 2-regularity condition. It holds, for example, for many quadratic mappings at zero. It is known that under natural smoothness assumptions, the existence of a continuous inverse function follows from a 2-regularity of a map at a point in a certain direction. In this paper, it is shown that, in the known statements guaranteeing the existence of an inverse function when the 2-regularity condition is satisfied, we can weaken the smoothness assumptions. However, the inverse function may not be continuous.

Keywords: inverse function; 2 -regularity

Acknowledgements: The work is partially supported by the Russian Foundation for Basic Research (project no. 19-01-00080_a). The results of Section 3 are due to the first author who was supported by the Russian Science Foundation (project no. 17-11-01168). For citation: Zhukovskiy S.E., Ngok T.T. Sushchestvovanie obratnoj funkcii v okrestnosti neregulyarnogo znacheniya [Existence of inverse function in a neighbourhood of a critical value]. Vestnik Tambovskogo universiteta. Seriya: estestvennye i tekhnicheskie nauki -Tambov University Reports. Series: Natural and Technical Sciences, 2019, vol. 24, no. 126, pp. 141-149. DOI 10.20310/1810-0198-2019-24-126-141-149. (In Russian, Abstr. in Engl.)

1. Введение и постановка задачи

Пусть задано отображение f : Rn ^ Rk, точки x0 G Rn, y0 := f (x0). Рассмотрим уравнение

f (x) = y, (1)

в котором x G Rn — неизвестная, а y G Rk — параметр. Нас будут интересовать условия существовании решения ж (у) уравнения (1), определенного при каждом y из некоторой окрестности точки y0. Классическими утверждениями, гарантирующими существование искомого решения x(y) уравнения (1), являются теоремы об обратной функции. Напомним некоторые известные формулировки этих теорем.

Начнем с используемых обозначений и определений. Всюду далее норму в Rn и в Rk будем обозначать через | • через ORk(v,r) будем обозначать открытый шар в Rk с центром в точке v G Rk радиуса r > 0, т. е.

ORk(v, r) = {y G Rk : |y - v| < r}, v G Rk, r > 0.

Для произвольного линейного оператора A : Rn ^ Rk обозначим через kerA его ядро, а через imA — его образ.

Отображение f : Rn ^ Rk называется строго дифференцируемым в точке x0, если существует линейный оператор A : Rn ^ Rk такой, что

Vе> 0 3£> 0: |f (xi) — f (x2) — A(xi — x2)| < e|xi — x2| Vxi,x2 G ORn(x0,£).

Очевидно, что если / строго дифференцируемо в х0, то оно дифференцируемо в этой точке и /'(х0) = А.

Теорема 1. Пусть отображение / строго дифференцируемо в точке х0 . Если выполняется условие регулярности

то существуют числа r > 0, c > 0 и непрерывное отображение g : ORk(yo,r) ^ Rn такие, что

0) /(g(y)) = У Vy G ORk(yo,r);

(ii) g(xo) = yo;

(iii) |g(y) - ^ < c|y - Уо1 Vy G ORk(yo,r).

Эта теорема об обратной функции является следствием теоремы о неявной функции из [1]. Отметим, что в утверждениях, аналогичных теореме 1, как правило, вместо предположения строгой дифференцируемости в нуле используется более сильное предположение непрерывной дифференцируемости в окрестности нуля (см., например, [2, теорема 1A.1] и [3, теорема 2.13]), которое дополнительно гарантирует гладкость отображения g.

Предположения гладкости отображения / в теореме 1 можно ослабить следующим образом.

Теорема 2. Пусть отображение / дифференцируемо в точке xo и непрерывно в некоторой её окрестности. Если выполняется условие регулярности (2), то существуют числа r > 0, c > 0 и отображение g : ORk(yo,r) ^ Rn такие, что выполняются соотношения (i) — (iii).

Этот результат был получен в [4, Theorem E]. Аналогичный результат, гарантирующий существование неявной функции, удовлетворяющей некоторым дополнительным условиям, был получен в [5, приложение II]. Теорема 2 гарантирует существование обратной функции g при ослабленных предположениях гладкости отображения /, но не гарантирует ее непрерывности. В [5, приложение II] приведен пример отображения /, для которого выполняются предположения теоремы 2 и не существует непрерывного отображения g, удовлетворяющего (i) — (iii).

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

Предположим, что отображение / дважды дифференцируемо в точке xo . Пусть существует вектор h G такой, что

im/'(xo) = ,

h G ker/' (xo), /" (xo )[h, h] G im/' (xo).

Отметим, что если для отображения f выполняется условие регулярности (2), то f является 2 -регулярным в точке ж0 по направлению к = 0. В то же время, существуют отображения, являющиеся 2 -регулярными по некоторым направлениям и не удовлетворяющие условию регулярности (2). Соответствующий элементарный пример дает отображение f : К2 ^ К, f (ж , ж2) = X — X. Оно является 2 -регулярным по направлению к = (1,1) в нуле и не удовлетворяет условию регулярности (2), поскольку 1шГ(0) = {0}.

Теорема 3. Пусть отображение f дважды непрерывно дифференцируемо в некоторой окрестности точки ж0 , и отображение f"(•) липшицево в некоторой окрестности точки ж0 . Пусть Р : ^ — проектор на подпространство, дополняющее imf '(ж0 ) до .

Если отображение f является 2 -регулярным в точке ж0 по некоторому направлению к € то существуют числа г > 0, с > 0 и непрерывное отображение д : 0Кк(у0,г) ^ такие, что выполняются соотношения (ii) и

(iv) |д(у) — Жо| < с(|у — уо| + ^|Р(У — Уо)1) Vу € 0Кк(уо,г).

Вопрос о существовании обратной функции к отображениям, 2 -регулярным по некоторым направлениям, впервые изучался в работе [6]. В ней была получена теорема о существовании обратной функции для отображений банаховых пространств. При этом [6, теорема 1] не содержит утверждения о непрерывности обратной функции. Приведенная здесь теорема 3, гарантирующая непрерывность обратной функции, является следствием из [7, теорема 4]. Подробный обзор результатов о существовании обратных и неявных функций в случае, когда нарушаются классические предположения регулярности, приведен в [8].

В связи с теоремами 1 и 2 возникает следующий естественный вопрос. Как ослабить предположения гладкости в теореме 3 так, чтобы утверждение о существовании и свойствах обратного отображения д осталось верным за исключением, быть может, утверждения о непрерывности отображения д? Ответ на этот вопрос дает утверждение, приведенное в следующем параграфе.

2. Основной результат

Пусть задано отображение f : ^ .

Теорема 4. Пусть отображение f дважды дифференцируемо в точке ж0 и непрерывно в некоторой её окрестности. Пусть Р : ^ — проектор на подпространство, дополняющее imf/(ж0) до .

Если отображение f является 2 -регулярным в точке ж0 по некоторому направлению к € то существуют числа г > 0, с > 0 и отображение д : 0Кк (у0, г) ^ такие, что выполняются соотношения (И) и

Доказательству теоремы предпошлем следующее вспомогательное утверждение. Пусть заданы линейный оператор А : Мга ^ и симметричное билинейное отображение Q : Кга х Мга ^ . Рассмотрим уравнение

Ах + Q[x,x] = у (4)

с неизвестным х и параметром у. Непосредственно из [7, теорема 4] вытекает следующее утверждение о разрешимости уравнения (4).

Пусть Р : ^ — проектор на подпространство, дополняющее 1шА до .

Лемма 1. Если существует вектор Л € Ега такой, что

АЛ = 0, Q[h, Л] € 1шА, 1шА + Q[h, кегА] = ,

то существуют числа д > 0, с > 0 и непрерывное отображение р : (0,д) ^ Ега такие, что

Ар(у) + Q[p(y),p(y)] = у, |р(у)| < с(|у| + ^1РУТ) Vу € (0,д). (5)

Доказательство теоремы 4. Не ограничивая общности будем предполагать, что х0 = 0 и у0 = 0. Положим

А := /'(0), Q := /"(0)/2, ш(х) = /(х) - Ах - Q[x,x] Vх € Ега

Поскольку отображение / дважды дифференцируемо в нуле и непрерывно в окрестности нуля, то существует 5 > 0 такое, что отображение ш : Кга ^ непрерывно на 0«п (0,5) и

ш(х)

|х|2

^ 0 при х ^ 0. (6)

Поскольку отображение / является 2 -регулярным в нуле по направлению Л, то для операторов А и Q выполнены предположения леммы 1. Следовательно, существуют числа д > 0, с > 0 и непрерывное отображение р : О^ (0,д) ^ Кга такие, что выполняются соотношения (5). В силу (6) существует ' > 0 такое, что

Vе € (0,') с|ш(х)| + с/|Рш(х)| < 2 Vх € ВКп(0,е). (7)

Возьмем произвольное г > 0 такое, что

2г + //||Р|||г| < д, 2с(г + //||Р|||г|) < ш1п{5,'}. Возьмем произвольный у € (0,г). Положим

е(у) := 2с(|у| + ^ДРуТ).

Рассмотрим вспомогательное уравнение

х = р(у — ш(х)) (8)

с неизвестным х € В^п (0,е(у)). Покажем, что к этому уравнению применима теорема Брауэра о неподвижной точке.

Сначала покажем, что при любом х € В^п (0,е(у)) точка у — ш(х) лежит в области определения 0Кк(0,^) отображения р. Действительно, при любом х € ВКп(0,е(у)) имеем

, / м , , , / м с|ш(х)| + сл/|Рш(х)| е(у) /,, , , ,

|у — ш(х)| < |у| + |ш(х)| < г + | 1 л-^-— < г + < 2г + л/||Р|||г| < Ж

с 2с

Здесь первое неравенство следует из неравенства треугольника для | ■ |, второе неравенство — из включения у € 0Кк(0,г) и неравенства у/|Рш(х)| > 0, третье — из (7) и неравенства е(у) < е, четвертое — из определения числа е(у) и неравенства |у| < г, а пятое — из определения числа г.

Покажем теперь, что отображение х м- р(у — ш(х)), х € ВКп (0,е(у)), непрерывно. В силу непрерывности отображения р на 0^к(0,^) и отображения ш на 0«п(0,$) достаточно показать, что ВКп(0,е(у)) С 0Кп(0,$). Действительно, для любого х € ВКп(0,е(у)) имеем

|х| < ф) < 2с(|у| + ^|Ру|) < 2с(г + ^ДТ) < ^

Здесь второе неравенство следует из определения числа е(у), третье — из неравенства | у| < г, а четвертое — из определения числа г.

Далее покажем, что р(у — ш(х)) € ВКп(0,е(у)) для любого х € В«п(0,е(у)). Действительно, для любого х € ВКп(0,е(у)) имеем

|Р(у — ш(х))| < с|у — ш(х)| + су/|Р(у — ш(х))| <

< с|у| + + с|ш(х)| + с^||Р|||ш(х)| < с|у| + + = е(у).

Здесь первое неравенство следует из (5), второе — из неравенства треугольника, третье — из (7) и неравенства е(у) < е, а равенства — из определения числа е(у).

Итак, доказано, что отображение х м р(у — ш(х)), х € В«п(0,е(у)), определено корректно, является непрерывным и принимает значения в В^п(0,е(у)). Следовательно, по теореме Брауэра о неподвижной точке существует решение д(у) € ВКп(0,е(у)) уравнения (8), т. е.

д(у) = р(у — ш(д(у))).

Покажем, что построенное отображение д : 0^к (0,г) м является искомым. Для каждого у € 0Кк (0,г) имеем

/ (g(y)) = Ag(y) + Q[g(y),g(y)] + w(g(y)) = = Ap(y — ^(g(y))) + Q[p(y — ^(g(y))),p(y — ^(g(y)))] + ^(g(y)) = y — ^(g(y))+ ^(g(y)) = y.

Здесь первое равенство следует из определения отображений A,Q и ш, второе из равенства g(y) = p(y — w(g(y))), а третье — из тождества в (5). Кроме того,

|g(y)|< Ф) < 2c(|y| + VlPyT).

□

3. Обсуждение основного результата

Прокомментируем теорему 4 и связанные с ней понятия.

Замечание 1. Если отображение / : м является 2-регулярным в точке xo по направлению h, то h = 0, и, значит, выполняется условие регулярности (2). Действительно, если h = 0, то

dim(im/'(xo)) + dim(/"(xo)[h, ker/' (xo)]) = k = n

в силу (3), но dim(im/'(xo) П /''(xo)[h,ker/'(xo)]) > 1, что приводит к противоречию. Значит, h = 0. Поэтому из (3) вытекает (2).

При k < n для отображения / : м может существовать точка xo такая, что im/'(xo) = , и существует направление h, по которому / является 2 -регулярным в точке xo. Соответствующий пример дает квадратичная форма /(xi, x2,..., xn) = xix2, являющаяся 2 -регулярным в нуле отображением по направлению h = (1, 0,..., 0).

Замечание 2. Лемма 1 гарантирует, что линейно-квадратичное отображение x м- Ax + Q[x,x], x G Rn, имеет обратную функцию p(-), определенную в некоторой окрестности нуля в . Таким образом, теорема 4 гарантирует, что если линейно-квадратичное отображение 2 -регулярно в нуле по некоторому направлению h, то свойство существования обратной функции устойчиво при любом непрерывном возмущении ш, удовлетворяющем условию (6).

Замечание 3. Если для отображения / : м выполнены предположения теоремы 2 и / является дважды дифференцируемым в точке xo, то для / выполнены предположения теоремы 4. В частности, / является 2 -регулярным в точке xo по направлению h = 0. При этом оценка (iv) совпадает с оценкой (iii), поскольку из предположения (2) следует, что P = 0.

В заключение приведем одно следствие теоремы 4. Пусть Q : м м — билинейное симметричное отображение. Получим условия, при которых из разрешимости уравнения

Q[x,x] = y

при любом у € следует разрешимость возмущенного уравнения

ф[х,х]+ ш(х) = у (9)

для любого непрерывного возмущения ш : Кга м , удовлетворяющего условию (6), для любого у из некоторой окрестности нуля, зависящей от ш.

Следствие 1. Если существует вектор Л, € Ега такой, что

Ф[М] = 0, Ега] = ,

то для любого непрерывного отображения ш : Ега м , удовлетворяющего соотношению (6), существует г > 0 такое, что уравнение (9) имеет решение при любом у € 0Кк(0, г).

Доказательство. Положим f (х) := ф[х, х] + ш(х), х € Ега. Очевидно, что для отображения f выполнены предположения теоремы 4. Следовательно, существуют числа г > 0, с > 0 и непрерывное отображение д : 0Кк(уо,г) м Кга такие, что выполняются соотношения (1), (И) и (гу) с х0 = 0, у0 = 0. Значит, уравнение (9) разрешимо при любом у € 0Кк (0,г). □

Список литературы

[1] В. М. Тихомиров, "Теорема Люстерника о касательном пространстве и некоторые ее модификации", Оптимальное управление: Математические вопросы управления производством, 7 (1977), 22-30.

[2] A. L. Dontchev, R. T. Rockafellar, Implicit Functions and Solution Mappings. A View from Variational Analysis, Springer, New York, 2009.

[3] М. Спивак, Математический анализ на многообразиях, Мир, М., 1968.

[4] H. Halkin, "Implicit functions and optimization problems without continuous differentiability of the data", SIAM J. Control, 12:2 (1974), 229-236.

[5] А.В. Арутюнов, Г. Г. Магарил-Ильяев, В.М. Тихомиров, Принцип максимума Понтря-гина. Доказательство и приложения, Факториал Пресс, М., 2006.

[6] Е. Р. Аваков, А.В. Арутюнов, "Теорема об обратной функции и условия экстремума для анормальных задач с незамкнутым образом", Матем. сб., 196:9 (2005), 3-22.

[7] А. В. Арутюнов, "Теорема о неявной функции без априорных предположений нормальности", Ж. вычисл. матем. и матем. физ., 46:2 (2006), 205-215.

[8] А.В. Арутюнов, "Гладкие анормальные задачи теории экстремума и анализа", УМН, 67:3(405) (2012), 3-62.

References

[1] V.M. Tikhomirov, "Lyusternik's Theorem on tangent space and its modifications", Optimal Control: Mathematical Issues of Production Control, MSU Publ., Moscow, 7 (1977), 22-30 (In Russian).

[2] A. L. Dontchev, R. T. Rockafellar, Implicit Functions and Solution Mappings. A View from Variational Analysis, Springer, New York, 2009.

[3] M. Spivak, Calculus on Manifolds, Addison-Wesley, New York, 1965.

[4] H. Halkin, "Implicit functions and optimization problems without continuous differentiability of the data", SIAM J. Control, 12:2 (1974), 229-236.

[5] A.V. Arutyunov, G.G. Magaril-Ilyaev, V. M. Tikhomirov, Pontryagin's Maximum Principle. Proof and Applications, Factorial Press, Moscow, 2006. (In Russian).

[6] E. R. Avakov, A. V. Arutyunov, "Inverse function theorem and conditions of extremum for abnormal problems with non-closed range", Sbornik: Mathematics, 196:9 (2005), 1251-1269.

[7] A. V. Arutyunov, "Implicit function theorem without a priori assumptions about normality", Comput. Math. Math. Phys., 46:2 (2006), 195-205.

[8] A.V. Arutyunov, "Smooth abnormal problems in extremum theory and analysis", Russian Mathematical Surveys, 67:3 (2012), 403-457.

Жуковский Сергей Евгеньевич, доктор физико-математических наук, старший научный сотрудник центра нелинейного анализа и оптимизации. Российский университет дружбы народов, г. Москва, ведущий научный сотрудник. Институт проблем управления им. В. А. Трапезникова РАН, г. Москва, Российская Федерация. E-mail: s-e-zhuk@yandex.ru ORCID: https://orcid.org/0000-0002-2686-4654

Нгок Чан Тхи, студент, факультет физико-математических и естественных наук. Российский университет дружбы народов, г. Москва, Российская Федерация. E-mail: ngoc2tt@gmail.com

ORCID: https://orcid.org/0000-0002-3365-2174 Конфликт интересов отсутствует.

Для контактов:

Жуковский Сергей Евгеньевич E-mail: s-e-zhuk@yandex.ru

Поступила в редакцию 20.02.2019 г. Поступила после рецензирования 15.04.2019 г. Принята к публикации 20.05.2019 г.

Sergey E. Zhukovskiy, Doctor of Physics and Mathematics, Senior Researcher at the Center for Nonlinear Analysis and Optimization. RUDN University, Moscow, Leading Researcher. V.A. Trapeznikov Institute of Control Sciences of RAS, Moscow, the Russian Federation. E-mail: s-e-zhuk@yandex.ru

ORCID: https://orcid.org/0000-0002-2686-4654

Tran T. Ngok, Student, Faculty of Physics, Mathematics and Natural Science. RUDN University, Moscow, the Russian Federation. E-mail: ngoc2tt@gmail.com ORCID: https://orcid.org/0000-0002-3365-2174

There is no conflict of interests.

Corresponding author:

Sergey E. Zhukovskiy E-mail: s-e-zhuk@yandex.ru

Received 20 February 2019 Reviewed 15 April 2019 Accepted for press 20 May 2019