Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

DifYr

.pdf
Скачиваний:
7
Добавлен:
11.05.2015
Размер:
3.77 Mб
Скачать

Таким образом, для отыскания общего решения в области

D :=

x; y1; y2; : : : ; yn

 

T

 

x 2 (a; b);

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

2

; : : : ; y

n

 

T

2 R

n

n+1

:

 

y

 

; y

 

 

 

R

 

однородной системы n линейных уравнений первого порядка с n искомыми функциями и непрерывными на интервале (a; b) коэффициентами достаточно найти n линейно независимых на интервале (a; b) решений системы и взять их линейную комбинацию с произвольными коэффициентами.

First Prev Next Last Go Back Full Screen Close Quit

3.11.Линейные неоднородные системы. Структура

общего решения

Рассмотрим неоднородную систему n линейных дифференциальных уравнений первого порядка с n неизвестными функциями:

dY

+ P(x)Y = Q(x);

(3.23)

dx

 

 

где отображения P : (a; b) -! Mnn(R) и Q : (a; b) -! Mn1 (R) непрерывны на некотором (конечном или бесконечном) интервале (a; b) [подробная запись системы (3.23) – система (3.7)].

First Prev Next Last Go Back Full Screen Close Quit

Запишем однородную систему n линейных дифференциальных уравнений первого порядка соответствующую неоднородной системе (3.23):

dY

+ P(x)Y = 0:

(3.24)

dx

 

 

Выясним структуру общего решения системы (3.23) в

области:

 

x 2 (a; b); y1; y2; : : : ; yn 2 R :

D := (x; y1; y2; : : : ; yn)T

 

 

 

 

 

 

First Prev Next Last Go Back Full Screen Close Quit

Теорема 13. Если

Y~ является решением линей-

ной неоднородной

системы (3.23), а Y1; Y2; : : : ; Yn

– фундаментальная система решений на интер-

вале (a; b) соответствующей однородной

систе-

мы (3.24), то

 

n

 

X

(3.25)

Y := Y~ + CkYk;

k=1

где C1; C2; : : : ; Cn – произвольные постоянные, также будет решением линейной неоднородной системы (3.23) на (a; b).

First Prev Next Last Go Back Full Screen Close Quit

Доказательство. Так как Y~ – решение системы (3.23) на интервале (a; b) и Y1; Y2; : : : ; Yn – решения системы (3.24) на интервале (a; b), то при любых значениях постоянных C1; C2; : : : ; Cn функция (3.25) также является решением системы (3.23) на интервале (a; b):

dx

2Y~ + CkYk3 + P(x) 2Y~ + CkYk3 =

 

 

n

 

 

 

n

 

d

X

 

 

 

X

 

 

 

4

 

 

 

5

4

 

 

 

5

 

 

k=1

 

 

 

k=1

 

 

 

= "dx + P(x)Y~#

n

Ck

 

dYxk

+ P(x)Yk =

 

 

+

 

 

 

dY~

 

X

 

 

 

 

 

 

k=1

 

 

 

 

 

 

 

d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

dY~

+ P(x)Y~

q(x) на интервале (a; b):

 

 

 

 

 

dx

First Prev Next Last Go Back Full Screen Close Quit

Теорема 14. Общее решение в области

D := (x; y1; y2; : : : ; yn)T

 

x 2 (a; b); y1; y2; : : : ; yn 2 R

 

 

 

 

 

 

неоднородной системы (3.23) n линейных дифференциальных уравнения первого порядка c непрерывными на интервале (a; b) коэффициентами P и правой частью Q равно сумме любого решения неоднородной системы (3.23) на интервале (a; b) и общего решения соответствующей однородной системы (3.24) в той же области D.

First Prev Next Last Go Back Full Screen Close Quit

Доказательство. Пусть Y~ – какое-нибудь

решение

уравнения (3.23) на интервале (a; b), то есть

 

dY~

 

 

 

+ P(x)Y~ Q(x) на интервале (a; b):

(3.26)

 

dx

First Prev Next Last Go Back Full Screen Close Quit

Обозначим через Y1; Y2; : : : ; Yn фундаментальную систему решений на интервале (a; b) однородной системы дифференциальных уравнений первого порядка

dY

+ P(x)Y = 0

(3.27)

dx

 

 

соответствующей системе (3.23). Тогда, в силу теоремы 12, общее решение системы (3.27) в области D запишется в виде:

Y = C1Y1 + C2Y2 + + CnYn;

где C1; C2; : : : ; Cn – произвольные постоянные.

First Prev Next Last Go Back Full Screen Close Quit

Из теоремы 13 следует, что

Y = Y~ + C1Y1 + C2Y2 + + CnYn

(3.28)

есть решение системы (3.23) на интервале (a; b) при любых постоянных C1; C2; : : : ; Cn. Покажем по определению 1.13, что

Y = Y~ + C1Y1 + C2Y2 + + CnYn

есть общий интеграл [точнее общее решением] системы (3.23) в области D.

Фиксируем произвольную точку x0 2 (a; b) и

T

Y0 := y10; y20; : : : ; yn0 2 Rn.

First Prev Next Last Go Back Full Screen Close Quit

Рассмотрим вспомогательную систему из n линейных алгебраических уравнений с неизвестными

C1; C2; : : : ; Cn:

 

 

 

8

 

2

 

 

2

 

 

>

y1

(x ) C + y1 (x ) C

 

>

 

1

0

1

2

0

2

>

 

3

 

 

3

 

 

>

 

1

 

 

2

 

 

>

 

 

 

 

 

>

 

 

(x0) C1 + y2 (x0) C2

>y1

>

 

 

 

 

 

 

 

<

 

 

 

 

 

 

 

>y (x0) C1 + y (x0) C2

>

 

1

 

 

2

 

 

>

 

 

 

 

 

>

n n

>

>

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

:

 

 

(x0) C1 + y (x0) C2

>y

 

+

+ yn1 (x0) Cn

= y01 - y~1 (x0) ;

+

+ yn2 (x0) Cn

= y02 - y~2 (x0) ;

+

+ yn3 (x0) Cn

= y03 - y~3 (x0) ;

 

 

+ + ynn (x0) Cn

= y0n - y~n (x0)

 

 

 

(3.29)

или, что то же самое,

Y1 (x0) C1 + Y2 (x0) C2 + + Yn (x0) Cn = Y0 - Y~ (x0) :

First Prev Next Last Go Back Full Screen Close Quit

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]