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.

Покажем единственность решения. Пусть напротив ũ 1 (t) ∈ K ′ +(E 1 ) другое отличное<br />

от ũ(t) решение. Тогда, учитывая равенства (3), (5) и свойство ассоциативности свертки,<br />

получаем<br />

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

= E N (t) ∗ ( f(t)θ(t) + Bu 0 δ (N−1) (t) + Bu 1 δ (N−2) (t) + · · · + Bu N−1 δ(t) ) = ũ(t).<br />

Жордановы наборы фредгольмовых и нетеровых операторов. Пусть оператор<br />

B фредгольмов, т.е. dim N(B) = dim N(B ∗ ) = n, R(B) = R(B), {ϕ i , i = 1, . . . , n} — базис<br />

в N(B), {ψ i , i = 1, . . . , n} — базис в N(B ∗ ), {γ i ∈ E1, ∗ i = 1, . . . , n}, {z i ∈ E 2 , i = 1, . . . , n}<br />

— соответствующие биортогональные системы [10], т.е. 〈ϕ (1)<br />

i , γ j 〉 = 〈z i , ψ (1)<br />

j 〉 = δ ij , i, j =<br />

1, . . . , n.<br />

Введем оператор ˜B ∑<br />

= B + n 〈·, γ i 〉z i , тогда по обобщенной лемме Шмидта [10] оператор<br />

i=1<br />

Γ = ˜B −1 существует и ограничен.<br />

Пусть выполнено условие<br />

A) оператор B имеет полный A-жорданов набор [10] { ϕ (k)<br />

}<br />

i , i = 1, . . . , n, k = 1, . . . , p i , т.е.<br />

существуют элементы ϕ (1)<br />

i = ϕ i , ϕ (k)<br />

i ∈ E 1 , i = 1, . . . , n, k = 2, . . . , p i , удовлетворяющие<br />

соотношениям<br />

Bϕ (1)<br />

i<br />

∥<br />

∥〈Aϕ (p i)<br />

= 0, Bϕ (k)<br />

i<br />

∥<br />

= Aϕ (k−1)<br />

i , i = 1, . . . , n, k = 2, . . . , p i ,<br />

причем det i , ψ j 〉 ∥ ≠ 0, i, j = 1, . . . , n; в этом случае существуют функционалы<br />

{<br />

(k)<br />

}<br />

ψ i , i = 1, . . . , n, k = 1, . . . , p i , образующие полный A ∗ -жорданов набор оператора B ∗ .<br />

Если оператор B нетеров, т.е. dim N(B) = n, dim N(B ∗ ) = m, n ≠ m, {ϕ i , i =<br />

1, . . . , n} — базис в N(B), {ψ j , j = 1, . . . , m} — базис в N(B ∗ ), {γ i ∈ E1, ∗ i = 1, . . . , n},<br />

{z j ∈ E 2 , j = 1, . . . , m} — соответствующие биортогональные системы элементов, т.е.<br />

〈ϕ (1)<br />

i , γ k 〉 = δ ik , i, k = 1, . . . , n, 〈z k , ψ (1)<br />

j 〉 = δ kj , k, j = 1, . . . , m, то введем проекторы<br />

̂P ∑<br />

=<br />

n m∑<br />

〈·, γ i 〉ϕ i , ̂Q = 〈·, ψ j 〉z j . Проекторам P и Q соответствует единственный<br />

i=1<br />

j=1<br />

псевдообратный оператор, обозначаемый B + , однозначно определяемый следующим набором<br />

своих свойств [11]: D(B + ) = R(B) ⊕ {z 1 , . . . , z m }, R(B + ) = N(P ) ∩ D(B), BB + =<br />

I − Q на D(B + ), B + B = I − P на D(B), причем N(B + ) = {z 1 , . . . , z m }.<br />

В этом случае будем предполагать выполненным условие<br />

B) существуют элементы { ϕ (k)<br />

}<br />

i , i = 1, . . . , n, k = 1, . . . , p i ∈ E1 и функционалы<br />

{<br />

(k)<br />

}<br />

ψ j , j = 1, . . . , m, k = 1, . . . , p j ∈ E<br />

∗<br />

2 , составляюшие полные A- и A ∗ -жордановы наборы<br />

[12] операторов B и B ∗ соответственно.<br />

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

дальнейшего исследования обозначениях некоторые сведения из [13, 14].<br />

Множество ρ B (A) = { µ ∈ C : (µB − A) −1 ∈ L(E 2 ; E 1 ) } называется B-резольвентным<br />

множеством оператора A. Оператор A называется спектрально ограниченным относительно<br />

B, если ∃ a > 0 такое, что при любом |µ| > a оператор (µB − A) непрерывно<br />

обратим. Пусть γ ≡ {µ ∈ C : |µ| = r > a}, тогда пара операторов<br />

P = 1<br />

2πi<br />

∮<br />

γ<br />

(µB − A) −1 B dµ, Q = 1<br />

2πi<br />

105<br />

∮<br />

γ<br />

B(µB − A) −1 dµ

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

Saved successfully!

Ooh no, something went wrong!