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.

где вектор-функция 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 />

,

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

Saved successfully!

Ooh no, something went wrong!