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.

квадратную матрицу λ i E (qi) + H (qi) порядка q i вида<br />

⎛<br />

⎞<br />

λ i 1 0 . . . 0 0<br />

0 λ i 1 . . . 0 0<br />

λ i E (qi) + H (qi) =<br />

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

⎟<br />

⎝ 0 0 0 . . . λ i 1 ⎠ .<br />

0 0 0 . . . 0 λ i<br />

Тогда квазидиагональная матрица<br />

J = { λ 1 E (q 1) + H (q 1) , λ 2 E (q 2) + H (q 2) , . . . , λ µ E (q µ) + H (q µ) }<br />

и матрица Λ имеют одни и те же элементарные делители, а значит они подобны, т.е.<br />

существует такая невырожденная матрица T , что<br />

Λ = T · J · T −1 .<br />

Матрица J называется жордановой нормальной формой или просто жордановой формой<br />

матрицы Λ.<br />

В частности, если все элементарные делители матрицы Λ первой степени (и только<br />

в этом случае), жорданова форма является диагональной матрицей, и в этом случае мы<br />

имеем<br />

Λ = T · diag {λ 1 , λ 2 , . . . , λ s } · T −1 .<br />

Здесь использованы обозначения и терминология монографии [3].<br />

Понятие матричной фундаментальной оператор-функции. В работах [4–8] для<br />

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

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

фундаментальной оператор-функции. Идеи этого метода были применены в [1, 2] для<br />

исследования системы вырожденных дифференциальных уравнений первого порядка и<br />

будут перенесены в представляемой заметке на систему (1).<br />

В обобщенных функциях [9] задачу Коши (1)–(2) можно записать в сверточном виде<br />

как<br />

(<br />

Bδ (N) (t) − ΛAδ(t) ) ∗ ũ(t) = f(t)θ(t) + Bu 0 δ (N−1) (t) + Bu 1 δ (N−2) (t) + · · · + Bu N−1 δ(t), (3)<br />

где θ(t) — функция Хевисайда, δ(t) — дельта-функция Дирака.<br />

Определение. Матричной фундаментальной оператор-функцией E N (t) для дифференциального<br />

оператора ( Bδ (N) (t) − ΛAδ(t) ) на классе K ′ +(E 2 ) назовем такую матричную<br />

оператор-функцию, для которой выполняются следующие два равенства<br />

(<br />

Bδ (N) (t) − ΛAδ(t) ) ∗ E N (t) ∗ ũ(t) = ũ(t) ∀ ũ(t) ∈ K ′ +(E 2 ) (4)<br />

E N (t) ∗ ( Bδ (N) (t) − ΛAδ(t) ) ∗ ṽ(t) = ṽ(t) ∀ ṽ(t) ∈ K ′ +(E 1 ). (5)<br />

Если известна матричная фундаментальная оператор-функция E N (t) для дифференциального<br />

оператора ( Bδ (N) (t) − ΛAδ(t) ) , то система сверточных уравнений (3) имеет единственное<br />

обобщенное решение в классе K ′ +(E 1 ) вида<br />

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

104

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

Saved successfully!

Ooh no, something went wrong!