27.10.2014 Views

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

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

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

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Теорема 3. Оператор B − λA непрерывно обратим в окрестности 0 < |λ| < ρ тогда<br />

и только тогда, когда B имеет канонический полный A-жорданов набор. Причем при<br />

λ < 1<br />

‖AΓ‖<br />

(B − λA) −1 = Γ (I − λAΓ) −1 (I − Q) −<br />

p n∑ ∑ i<br />

i=1<br />

j=1<br />

j∑ 〈 〉<br />

λ −s · , ψ (j+1−s)<br />

i ϕ (p i+1−j)<br />

i . (11)<br />

s=1<br />

Теорема дополняет один известный результат о жордановых наборах (см. [3, гл.<br />

9], [4]), так как здесь приводится компактное явное представление обратного оператора<br />

(B − λA) −1 . Доказательство тождества (11) использует {P, Q}-сплетаемость операторов<br />

B, A, Γ и представление единственного решения уравнения (B − λA) x = f в ви-<br />

∑ pi<br />

де x = Γy + ∑ n<br />

i=1<br />

, где y = (I − λAΓ) −1 (I − Q) f. Вектор C из пространства<br />

R p 1+...+p n<br />

определяется из системы линейных алгебраических уравнений с обратимой<br />

блочно-диагональной матрицей.<br />

j=1 c ijϕ (j)<br />

i<br />

Следствие 1. Оценка ∥ ∥(B − λA) −1∥ ∥ ∼<br />

C при λ → 0 (соответственно, оценка<br />

∥ ∥ (µB − A)<br />

|λ| p<br />

−1 ∼ C |µ| p−1 при µ → +∞) выполнена тогда и только тогда, когда<br />

p = max(p 1 , . . . , p n ).<br />

[〈 〉] n<br />

Замечание 1. p = 1 тогда и только тогда, когда det Aϕ (1)<br />

i , ψ (1)<br />

k<br />

≠ 0.<br />

i,k=1<br />

Список литературы<br />

[1] Н.А. Сидоров. Минимальные ветви решений нелинейных уравнений и асимптотические<br />

регуляризаторы. - Нелинейные граничные задачи, 2004, вып. 14, с. 161-164.<br />

[2] Р.Ю. Леонтьев. Теорема о неявном операторе в секториальных областях. - Материалы<br />

конференции „Ляпуновские чтения“, 2007, с. 20.<br />

[3] М.М. Вайнберг, В.А. Треногин. Теория ветвления решений нелинейных уравнений. –<br />

М: Наука, 1969, 527 с.<br />

[4] Б.В. Логинов. Обобщенная жорданова структура в теории ветвления. - Прямые и<br />

обратные задачи для дифференциальных уравнений в частных производных и приложения,<br />

1978, с. 133-148.<br />

[5] В.A. Треногин Функциональный анализ. – М: Физматлит, 2002, 488 с.<br />

162

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

Saved successfully!

Ooh no, something went wrong!