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.

являются проекторами в E 1 и E 2 соответственно, порождают разложения пространств<br />

E 1 и E 2 в прямые суммы E 1 = E 0 1 ⊕ E 1 1 = ker P ⊕ im P и E 2 = E 0 2 ⊕ E 1 2 = ker Q ⊕ im Q.<br />

Действия операторов B и A расщепляются, причем A 0 : E 0 1 → E 0 2 и B 1 : E 1 1 → E 1 2<br />

непрерывно обратимы, A 1 : E 1 1 → E 1 2 ограничен, QB = BP, QA = AP .<br />

2. Фундаментальная оператор-функция в условиях фредгольмовости<br />

Теорема 1. Пусть в системе (1) det Λ ≠ 0, оператор B фредгольмов и выполнено<br />

условие А). Тогда дифференциальный оператор ( Bδ (N) (t) − ΛAδ(t) ) имеет на классе<br />

K ′ +(E 2 ) матричную фундаментальную оператор-функцию вида<br />

E N (t) = T δ(t) ∗ { E N1 (t), E N2 (t), . . . , E Nµ (t) } ∗ T −1 δ(t), (6)<br />

здесь { E N1 (t), E N2 (t), . . . , E Nµ (t) } — блочная квадратная квазидиагональная матрица<br />

размера s вида<br />

⎛<br />

⎞<br />

E N1 (t) 0 . . . 0<br />

⎜ 0 E N2 (t) . . . 0<br />

⎟<br />

⎝ · · · · · · · · · · · · ⎠ , (7)<br />

0 0 . . . E Nµ (t)<br />

диагональные блоки которой E Nν (t) являются верхнетреугольными квадратными матрицами<br />

размера q ν вида E Nν (t) = E (qν) E Nν (t) ∗ σ Nν (t)<br />

⎛<br />

⎞<br />

Iδ(t) Aδ(t) ∗ E Nν (t) (Aδ(t) ∗ E Nν (t)) 2 . . . · (Aδ(t) ∗ E Nν (t)) q ν−1<br />

0 Iδ(t) Aδ(t) ∗ E Nν (t) . . . · (Aδ(t) ∗ E Nν (t)) q ν−2<br />

σ Nν (t) =<br />

0 0 Iδ(t) . . . · (Aδ(t) ∗ E Nν (t)) q ν−3<br />

⎜ · · · · · · · · · · · · · · · ·<br />

, (8)<br />

⎟<br />

⎝ 0 0 0 . . . Iδ(t) Aδ(t) ∗ E Nν (t) ⎠<br />

0 0 0 . . . 0 Iδ(t)<br />

здесь ν = 1, . . . , µ и<br />

[<br />

∑<br />

E Nν (t) = ΓU Nν (λ ν AΓt) I − n ∑p i<br />

〈·, ψ (j)<br />

− n ∑<br />

i=1<br />

[<br />

pi<br />

{<br />

−1 pi −k<br />

∑<br />

k=0<br />

∑<br />

j=1<br />

〈·, ψ (j)<br />

i<br />

U Nν (λ ν AΓt) = ∞ ∑<br />

i=1 j=1<br />

〉λ −k−1<br />

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

i<br />

i=1<br />

i−1 tiN−1<br />

(λ ν AΓ)<br />

i<br />

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

i<br />

} ]<br />

δ (Nk) (t) ,<br />

(iN−1)! .<br />

]<br />

θ(t)−<br />

Доказательство. В соответствии с определением матричной фундаментальной<br />

оператор-функции для доказательства достаточно проверить справедливость равенств (4)<br />

и (5).<br />

(<br />

Bδ (N) (t) − ΛAδ(t) ) ∗ E N (t) ∗ ũ(t) = ( Bδ (N) (t) − ΛAδ(t) ) ∗ T δ(t)∗<br />

∗ { E N1 (t), E N2 (t), . . . , E Nµ (t) } ∗ T −1 (t) ∗ ũ(t) = T δ(t) ∗ T −1 δ(t) ∗ ( Bδ (N) (t) − ΛAδ(t) ) ∗<br />

∗T δ(t) ∗ { E N1 (t), E N2 (t), . . . , E Nµ (t) } ∗ T −1 δ(t) ∗ ũ(t) =<br />

= T δ(t) ∗ ( Bδ (N) (t) − JAδ(t) ) ∗ { E N1 (t), E N2 (t), . . . , E Nµ (t) } ∗ T −1 δ(t) ∗ ũ(t).<br />

106

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

Saved successfully!

Ooh no, something went wrong!