Вычислительная математика - ИСЭМ СО РАН
Вычислительная математика - ИСЭМ СО РАН
Вычислительная математика - ИСЭМ СО РАН
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
где вектор-функция y(t, c) является первыми n компонентами вектор-функции X(t). Допустим,<br />
что существуют матрицы R j , S j такие, что оператор L 1 (D) = ν 1 ∏<br />
(R j + DS j ), где<br />
ν 1 < ν, обладает свойством<br />
L 1 (D)M(D)y(t) = B 1 (D)y(t) ∀y(t) ∈ C ν+ρ [0, 1],<br />
где в операторе B 1 (D) = ∑ ρ<br />
i=0 λρ−i B 1,i , det B 1,0 ≠ 0. Все решения системы (21) являются<br />
решениями системы B 1 (D)y(t) = L 1 (D)f и следовательно лежат в пространстве C ν 1−ρ [0, 1].<br />
Если ν 1 < nu, то мы получим помимо представления (24) представление с другой гладкостью.<br />
Это противоречие доказывает теорему. Действительно, рассмотрим систему<br />
A k (D) =<br />
k∑<br />
α i (x ∗ )D k−i y(t) = f(t)<br />
i=0<br />
где A k (λ)− матрица из формулы (19). В соответствующем пучке вида (13) согласно лемме<br />
2 каноническая форма (12) содержит нильпотентный блок N со свойством N j = 0, j k<br />
и N j ≠ 0, j < k. Теорема доказана.<br />
Замечание 2. Системы с вырожденной матрицей при старшей производной принято<br />
называть дифференциально - алгебраическими уравнениями (ДАУ).<br />
Укажем пример матриц R i , S i , отличных от матриц из процесса (9). В процессе (4),<br />
(5) можно принять<br />
L i =<br />
(<br />
Y1,i<br />
0<br />
)<br />
+ q i<br />
( 0<br />
Y 2,i<br />
)<br />
,<br />
( )<br />
Y1,i<br />
= Y<br />
Y i , Y i A i (x ∗ ) =<br />
2,i<br />
j=1<br />
(<br />
A1,i (x ∗ )<br />
0<br />
)<br />
, (25)<br />
где det Y i ≠ 0 и число нулевых строк в матрицах Y i A i (x ∗ ) равно m − rankA i (x ∗ ). Более<br />
того, в условиях теоремы 1 при вычислении матриц R i , S i по формулам (25) через k<br />
шагов в (5) получим det A k+1 (x ∗ ) ≠ 0. Ввиду громоздких выкладок мы не будем приводить<br />
доказательство.<br />
Отметим еще одно обстоятельство. Если компоненты вектор-функции F (x) в системе<br />
(1) являются многочленами от переменных x 1 , x 2 , · · · , x n , то заменами переменных мы<br />
всегда можем свести исходную систему к системе, у которой компоненты являются многочленами<br />
не выше второй степени<br />
F (x) = b + Gx + H(x) = 0, (26)<br />
где b−некоторый вектор из R m , G − (m × n)-матрица, H(x) =<br />
((H 1 x, x), (H 2 x, x), · · · , (H m x, x)) ⊤ , H j − (n × n)-матрицы, j = 1, 2, · · · m. Если b = 0,<br />
то нулевой корень является простым тогда и только тогда, когда rankG = m.<br />
Например, пусть уравнение имеет вид x 8 1 = 0. Заменами x 2 1 = x 2 , x 2 2 = x 3 оно сводится<br />
ко второй системе (3). В случае, когда компоненты F (x) являются многочленами не выше<br />
второй степени, матричный многочлен (19) имеет вид пучка матриц A i (λ) = λ i A 0 (x ∗ ) +<br />
λ i−1 A 1 , i = 1, 2, · · · . и кратность корня x ∗ совпадает с индексом пучка ν.<br />
Проиллюстрируем сказанное выше на примере F (x) = (x 2 − x 2 1, x 2 2 = 0) ⊤ . Решение<br />
единственно: x ∗ = (0, 0) ⊤ . В формулах (25) принимаем Y 1 = E 2 .<br />
Шаг 1.<br />
A 0 (x) =<br />
( ) ( −2x1 1<br />
0 1<br />
, A<br />
0 2x 0 (0) =<br />
2 0 0<br />
50<br />
) ( 1 0<br />
, R 1 =<br />
0 0<br />
) ( 0 0<br />
, S 1 =<br />
0 1<br />
)<br />
,