Вычислительная математика - ИСЭМ СО РАН
Вычислительная математика - ИСЭМ СО РАН
Вычислительная математика - ИСЭМ СО РАН
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