Вычислительная математика - ИСЭМ СО РАН
Вычислительная математика - ИСЭМ СО РАН
Вычислительная математика - ИСЭМ СО РАН
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
ТЕОРЕМЫ О НЕЯВНОМ ОПЕРАТОРЕ В СЕКТОРИАЛЬНЫХ КВАЗИО-<br />
КРЕСТНОСТЯХ И МИНИМАЛЬНЫЕ ВЕТВИ РЕШЕНИЙ НЕЛИНЕЙНЫХ<br />
УРАВНЕНИЙ<br />
Н.А. Сидоров, Р.Ю. Леонтьев<br />
Институт математики, экономики и информатики ИГУ, Иркутск<br />
e-mail: sidorov@math.isu.runnet.ru, lev_roma@bk.ru<br />
Аннотация. Рассматривается нелинейное операторное уравнение F (x, λ) = 0 с условием<br />
F (0, 0) ≡ 0. Оператор F x (0, 0) не является непрерывно обратимым. Строятся непрерывные<br />
решения x(λ) → 0 при λ → 0 в открытом множестве S линейного нормированного пространства<br />
Λ. Нуль принадлежит границе множества S. Доказанные теоремы существования решений<br />
иллюстрируются примерами.<br />
Ключевые слова: секториальная квазиокрестность, банахово пространство, нелинейное<br />
операторное уравнение, линейное нормированное пространство, двухточечная краевая задача,<br />
теорема о неявном операторе<br />
Пусть X, Y – банаховы пространства, Λ – линейное нормированное пространство. Рассматривается<br />
нелинейное операторное уравнение<br />
F (x, λ) = 0, (1)<br />
где F : X ⊕ Λ → Y , F (0, 0) ≡ 0, оператор F x (0, 0) не является непрерывно обратимым.<br />
В работе, продолжающей исследования [1], [2], доказано существование непрерывных решений<br />
уравнения x(λ) → 0 при λ → 0 в секториальной квазиокрестности нуля и дан<br />
способ их построения. Результатом работы являются теоремы существования минимальных<br />
ветвей максимального порядка малости решений нелинейных уравнений и дополняют<br />
результаты [1].<br />
Определение 1. Секториальной квазиокрестностью точки 0 ∈ Λ будем называть<br />
открытое множество S ⊂ Λ, такое что 0 ∈ ∂S.<br />
Далее пусть a(λ) некоторая функция a(λ) : S → R + , a(λ) → 0 при S ∋ λ → 0. Вводится<br />
множество Ω = {(x, λ) ∈ X ⊕ Λ, ‖x‖ a(λ)r, λ ∈ S}, где r > 0. Доказаны следующие<br />
теоремы.<br />
Теорема 1. Пусть в Ω выполнены условия: 1) оператор F (x, λ) непрерывен по x и<br />
λ и имеет частную производную Фреше F x (x, λ), непрерывную по x и λ; 2) F (0, 0) = 0,<br />
оператор F x (0, λ) непрерывно обратим при λ ∈ S, причем ‖Fx −1 (0, λ)‖ = O( 1 ); a(λ)<br />
3) ‖F x (x, λ) − F x (0, λ)‖ L‖x‖; 4) ‖F (0, λ)‖ = o(a 2 (λ)).<br />
Тогда найдется число r 0 ∈ (0, r) и секториальная квазиокрестность нуля S 0 ⊂ S<br />
такие, что для каждого λ ∈ S 0 уравнение (1) имеет в шаре ‖x‖ a(λ)r 0 непрерывное<br />
решение x(λ) → 0 при S 0 ∋ λ → 0.<br />
Доказательство. Уравнение (1) с помощью замены x = a(λ)V приводится к эквивалентному<br />
уравнению<br />
V = Φ(V, λ), (2)<br />
158