27.10.2014 Views

Вычислительная математика - ИСЭМ СО РАН

Вычислительная математика - ИСЭМ СО РАН

Вычислительная математика - ИСЭМ СО РАН

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!