О решениях максимального порядка малости нелинейных уравнений в секториальной окрестности нуля
Автор: Леонтьев Роман Юрьевич
Статья в выпуске: 4 (221), 2011 года.
Бесплатный доступ
Рассматривается нелинейное уравнение B(\)x = R(x, X)+b(X), причем R(0,0) = 0, b(0) = 0. Оператор В(λ) не является непрерывно обратимым при А = 0, однако имеет ограниченный обратный при λ Є S, где 5 - некоторое множество, именуемое секториальной окрестностью нуля. Исследуются вопросы существования малых непрерывных решений х(λ) → 0 при S Э λ → 0. Доказаные теоремы предоставляют конструктивный способ построения решения максимального порядка малости.
Секториальная окрестность, нелинейное уравнение, теорема о неявном операторе, решение максимального порядка малости
Короткий адрес: https://sciup.org/147159128
IDR: 147159128
Текст научной статьи О решениях максимального порядка малости нелинейных уравнений в секториальной окрестности нуля
Пусть X, Y - банаховы пространства, Л - линейное нормированное пространство. В работе рассматривается нелинейное операторное уравнение
В(А)ж = Д(ж, А) + 6(A), (1)
где В(А) - замкнутый линейный оператор с плотной в банаховом пространстве X областью определения, не зависящей от параметра А. Нелинейный оператор Д(т, А) непрерывен по ж и А в окрестности точки (0,0), В(0,0) = 0. Фунция 6(A) со значениями в Y непрерывна в нуле, 6(0) = 0.
Будем полагать, что
ЦВ-^А)!! = О ( при S Э А -9 0, (2)
где а(А) положительный функционал, непрерывный в окрестности нуля, а(0) = 0; S С Л - открытое множество, границе которого принадлежит точка А = 0. Далее множество S будем называть секториальной окрестностью нуля.
Требуется построить малое решение ж(А) -> 0 при S Э А —> 0 уравнения (1) максимального порядка малости или («минимальную ветвь») малого решения.
Впервые теорема о существовании и построении в нерегулярных случаях ветвей решений нелинейных уравнений с векторным параметром в секториальных окрестностях были доказаны в 2004 году в работе [1]. Ряд результатов о решениях максимального порядка малости изложен в работах [2, 3].
В этой работе, следуя методу работ [2, 3], искомая минимальная ветвь решений тоже строится в секториальной окрестности особой точки (в частности, точки ветвления решений) методом последовательных приближений в условиях, отличных от условий работ [1 -3]. Теоремы этой работы уточняют результаты теоремы 1 в работах [2, 3] и применимы в некоторых случаях к более широкому классу уравнений.
Оценка (2) занимает особое место в данной работе, поэтому следует отметить, что подобная оценка может встретиться в прикладных задачах:
Пример 1. Пусть X = У = Н, Во - самосопряженный неотрицательный оператор, Bi - самосопряженный положительный оператор, то есть
(Sqt,t)>0, (В1Ж,ж) > 7(ж,ж); Уж € Н.
Тогда
Пример 2. Если элементы {у^}, к = l,Pi, г — 1,п образуют полный Bi - жорданов набор фредгольмова оператора Bq и р = шахр,;, тогда в некоторой области а(А) < е существует г=1,п ограниченный обратный оператор (Bq + a(A)Bi)”1, и выполнена оценка
||(В„ + «(А)В1ГЧ| = 0(йЕг).
Приступим к исследованию уравнения (1), после чего сформулируем теорему 1.
Поскольку в области S оператор В(А) имеет ограниченный обратный, то, используя замену ж = ^(А)р, где i/(A) некоторый непрерывный функционал А, приведем уравнение (1) к эквивалентному виду:
у = -^-В-1(А)[ВМА)у,А) + Ь(А)].
Обозначим оператор в правой части последнего выражения через Ф(у, А). Тогда наше уравнение примет вид у = Ф(у,А). (3)
Выясним условия, при которых оператор Ф(у, А) является сжатием; поскольку от оператора Л(ж, А) существенно зависит поведение решений, а в нашем случае конкретный вид оператора Д(ж, А) неизвестен, то наложим следующее условие: пусть в шаре ||ж|| < р, р > 0, выполнено неравенство
НОДАРА) - B(d(X)x2, А)|| < С • г/(А) • р|,Ж1 - ж2||, где / > 1, d^ - функционал, непрерывный в окрестности нуля, d(0) = 0, С = const, С > 0.
Тогда, учитывая, что мы производим оценку в окрестности нуля ||у|| < г, имеем:
||Ф(У1, А) - Ф(у2, А)II < ||С ■ В"ЧХ) • ^-!(Д)|| • Г ■ Из/! - у2||.
Выберем i/(A) = О(а1^г~1^(А)). Тогда ЦС • В-1 (А) • z^-1(A)|| < Ci, где Ci > 0 - const. Фиксируем 0 < q < 1 и выбираем радиус шара го < г, в котором мы исследуем уравнение (3), так, чтобы
. / q 1
Го = mins —,г >.
Получим, что оператор Ф(у, А) является сжатием в шаре ||у|| < го при VA Е S с коэффициентом сжатия q.
Следующим шагом убедимся, что значения оператора Ф(у, А) не выходят из шаров радиуса го для всех элементов у таких, что ||у|| < tq. Учитывая, что оператор Ф(у, А) является сжатием, получаем:
(|Ф(у, А)|| < ||Ф(у, А) - Ф(0, А)И + ||Ф(0, А)|| < qr0 + ||-LS-i(A)b(A)|J.
Так как i^(A) = О(а1/^-1\А)), ||В-1(А)|| = О(1/а(А)), то второе слагаемое в последнем выражении будет сколь угодно малой величиной при S Э А —> О, если ||Ь(А)|| = о(аг^г-1\А)). То есть, если ||Ь(А)|| = о(аг^г-1)(А)), то существует секториальная окрестность нуля Sq С S такая, что при VA Е Sq, Vy : ||у|| < го будет выполнено неравенство
||Ф(У, А) || < qr0 + (1 - q>o = r0
Таким образом, доказана следующая теорема:
Теорема 1. Пусть в секториалъной окрестности нуля S для уравнения (1) выполнено условие (2) и пусть:
-
1. существует непрерывная функция 1фА) : S —> В*, z/(0) = 0 такая, что в шаре ||ж|| < г при А Е S выполнено неравенство
-
2. имеет место оценка ||6(А)|| = ota'-^A)).
||B(i,(A)2;i, А) — B(iv(A)t2, А)|| < С • ^г(А) ■ г||т1 — тгЦ, где I > 1, С > 0 - постоянная;
Тогда в некоторой окрестности нуля ЦтЦ < tq < г для V А Е Sq С S существует малое решение уравнения (1) х = х*(Х), которое является минимальной ветвью из всех малых решений уравнения (1). Это решение момсно найти по формуле х = а^ (А)у, где у является пределом последовательности
/ 1 \Ш1”^ г 1 1
-
-В-^А) B(a^T(A)y„_bA)+i>(A) , у0 = 0.
Все остальные малые решения уравнения (1) имеют при S Е А —> 0 порядок малости не выше, чем «^(А).
Необходимо отметить, что в данной теореме не требуется условие существования производной Фреше оператора В(я, А), однако, если такая производная существует и является непрерывной по $ и А в окрестности нуля, то получаем слудующую теорему:
Теорема 2. Пусть для уравнения (1) в секториальной окрестности нуля S имеет место оценка (2) и пусть:
-
1. существует непрерывная в нуле производная Фреше по первому аргументу нелинейного оператора R(x,X), и имеет место оценка
-
2. имеет место оценка ||Ь(А)|| = оД1-^ (А)).
||ВЖ(®, А)|| = О(||ж|р) при ||ж|| -> 0, I > 0;
Тогда в некоторой окрестности нуля ||ж|| < го < г для V А € So С S существует малое решение уравнения (1) х = ж*(А), которое является минимальной ветвью из всех малых решений. Это решение можно найти по формуле х = аЛ (А)у, где у является пределом последовательности
/ 1 \VZ Г 1 1
Уп = ( ~ттт ) -В Т(А) Д(а'(A) yn-i, А) + Ь(А) , у0 = 0.
Все остальные малые решения уравнения (1) имеют порядок не выше, чем at (А).
Доказательство. Аналогично, как в теореме 1 уравнение (1) приведем к виду (3). Для этого воспользуемся обратимостью оператора В-1 (А) в области S и заменой х = z/(A)y, где параметр р(А) - непрерывный функционал А, условия на который будут получены исходя из условий принципа сжимающих отображений. Применяя оценку нормы произведения, интегральную теорему Лагранжа и используя первое условие теоремы 2, получим цепочку неравенств:
||Ф(У1, А) - Ф(У2, А)|| = W^-B-HXWvWy^XV ВИХЪАШ <
< ll-Tn^-W • II [^ИЛ)(У2 + 0(У1 о
-у2)),А) d© • i/(A)(yi-у2)||
< HJ3-1 (А)|| • У G>(A)|Z||y2 + ©(У1 - y2)||z d© ■ ||У1 - у2|| < о
< сцв-^А)!! • P(A)|Z у [1Ы1 + е(||у1 II + ||у2||)]г d©||yi - у2ц. о
Здесь С - некоторая константа, которая неизбежно возникает в процессе оценки, но она не влияет на дальнейшие рассуждения. Выберем в качестве z/(A) любое выражение, удовлетворяющее условию z/(A) = O(a1/Z(A)) при А —> 0. Кроме того, используем условие, что все оценки производятся в шаре ||у|| < г. Получим, что:
||Ф(У1, А) - Ф(у2, А)|| < Су . г1 У[1 + 2©]z d©^ - у2||. о
Константа Су появилась после сокращения выражений ||В-1(А)|| и ф(А)|г, которые после введения условия на р(А) в виде оценки, зависящей от а(А) стали иметь порядки О(1/а(А)) и О(а(А)) соответственно. После вычисления интеграла, получаем:
||Ф(У1,А) - Ф(у2,А)|| < Ci Tz^-^y||yi -у2||.
Теперь, пусть 0 < g < 1 фиксированное, выберем го = min{r, (2g(Z + l)/(C’irz"~1)}. Тогда оператор Ф(у, Л) является сжимающим в шаре ||у|| < го при VA € S.
Теперь необходимо проверить, что значения оператора Ф(у, А) не выходят из шаров ||у|| < ^о- Но поскольку условие сжимаемости оператора Ф(у, А) выполнено, а условие 2 в теореме 2 такое же, как и в теореме 1, то доказательство того, что ||Ф(у, А)|| < го в некоторой векториальной окрестности нуля So С 5 будет как в теореме 1. Поэтому опустим эту часть доказательства.
После того, как мы показали, что к уравнению (3) можно применять принцип сжимающих отображений, будем искать решение в виде предела последовательности {уп}, п = 1,2,.., где уп = Ф(у(п-1)1 А), а в качестве начального приближения выберем уо = 0 или любой другой элемент из шара ||у|| < го- То, что предел последовательности существует, гарантирует принцип сжимающих отображений. Поэтому решение уравнения (3) обозначим у = 11m уп. Но тогда решение уравнения (1) будет иметь вид ж = а1//(А)у. Кроме указан-и—^ОО ного решения уравнения (1) в общем случае могут существовать и другие малые решения уравнения (1), поскольку уравнение (1) в силу оценки (2) не относится к регулярному случаю. Но из всех малых решений найденное нами решение будет решением максимального порядка малости. □
Замечание 1. Примеры 1, 2 показывают, что теоремы 1, 2 позволяют строить решения минимального порядка малости нелинейных уравнений 2-го и 1-го рода.
Работа выполнена при финансовой поддерэюке федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009-2013 годы. Госкон-тракт по ФЦП «Кадры» П 696 от 20 мая 2010 года.
Список литературы О решениях максимального порядка малости нелинейных уравнений в секториальной окрестности нуля
- Сидоров, H.A. Минимальные ветви решений нелинейных уравнений и асимптотические регуляризаторы/H.A. Сидоров//Нелинейные граничные задачи. -2004. -Вып. 14. -С. 161 -164.
- Леонтьев, Р.Ю. Теоремы о неявном операторе в секториальных квазиокрестностях и минимальные ветви решений нелинейных уравнений/Р.Ю. Леонтьев//Вестн. ЮУрГУ, сер. «Мат. моделирование и программирование». -2008. -№15(115), вып. 1. -С. 37 -41.
- Сидоров, H.A. О решениях максимального порядка малости нелинейных уравнений с векторным параметром в секториальных окрестностях/H.A. Сидоров, Р.Ю. Леонтьев//Труды института математики и механики УрО РАН. -2010. -Т. 16. -С. 226 -237.