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

Обыкновенные дифференциальные уравнения в задачах. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
12.08.2026
Размер:
688 Кб
Скачать

ãäå A(t) заданная матрица размера n n, f(t) = (f1(t); f2(t); : : : , fn(t))T заданная вектор-функция. В дальнейшем будем пред-

полагать, что A(t) 2 C[a; b], f(t) 2 C[a; b].

Определение. Вектор-функция

y(t) = (y1(t); y2(t); : : : ; yn(t))T 2 C1(a; b)

называется решением системы (1.2.1), если выполнено тождество

dy(t)

A(t)y(t) + f(t); t 2 (a; b):

dt

Задача Коши для неоднородных систем линейных дифференциальных уравнений (1.2.1) ставится аналогичным образом, как для однородных систем, т. е.

8

dy

= A(t)y + f(t); t 2

(a; b);

 

dt

(1:2:2)

: j

t=t0 = y0;

 

 

< y

 

 

ãäå t0 2 (a; b).

Теорема 1.2.1. Для любых f(t) 2 C[a; b], y0 2 Cn существует единственное решение y(t) 2 C1(a; b) задачи Коши (1.2.2).

Отметим, что решение задачи Коши (1.2.2) можно получить, используя метод вариации произвольной постоянной . Ñóòü åãî

заключается в следующем. Пусть Y (t) фундаментальная матрица решений для однородной системы

dy

= A(t)y; t 2 (a; b):

dt

Как мы знаем, общее решение этой системы имеет вид

y(t) = Y (t)C;

11

ãäå C произвольный постоянный вектор. Согласно методу ва-

риации произвольной постоянной решение неоднородной системы (1.2.1) будем искать в аналогичном виде, только вместо вектора

C возьмем вектор-функцию C(t), ò. å.

y(t) = Y (t)C(t):

(1:2:3)

Если эта вектор-функция является решением неоднородной системы (1.2.1), то должно выполняться тождество

d

 

d

 

 

Y (t) C(t) + Y (t)

 

C(t) A(t)Y (t)C(t) + f(t);

t 2 (a; b):

dt

dt

Отсюда

dtd C(t) (Y (t)) 1f(t):

Интегрируя это тождество, имеем

t

C(t) = C(t0) + (Y ( )) 1f( ) d :

t0

Тогда, подставляя C(t) в (1.2.3), получаем

t

y(t) = Y (t)C(t0) + Y (t)(Y ( )) 1f( ) d :

t0

Учитывая начальные условия в (1.2.2), будем иметь

Y (t0)C(t0) = y0:

Отсюда C(t0) = (Y (t0)) 1y0. Следовательно, если вектор-функция

(1.2.3) является решением задачи Коши (1.2.2), то она должна иметь вид

t

y(t) = Y (t)(Y (t0)) 1y0 + Y (t)(Y ( )) 1f( ) d :

t0

12

Прямой подстановкой этой вектор-функции в неоднородную систему и начальные условия в (1.2.2) легко убедиться, что y(t)

действительно является решением задачи Коши (1.2.2).

Из проведенных рассуждений непосредственно вытекают следствия.

Следствие 1. Если A(t) A, тогда решение задачи Коши (1.2.2) можно представить в виде

t

y(t) = e(t t0)Ay0 + e(t )Af( ) d :

t0

Следствие 2. Общее решение системы (1.2.1) можно представить в виде

t

y(t) = Y (t)C + Y (t)(Y ( )) 1f( ) d :

t0

В следующих двух теоремах речь идет о непрерывной зависимости решения задачи Коши (1.2.2) от данных задачи.

Теорема 1.2.2. Для решения задачи Коши (1.2.2) имеет ме-

сто оценка

 

 

 

 

 

 

 

0 t

 

 

 

 

 

d 1

 

 

 

 

 

 

 

 

y(t)

 

exp

 

 

A( )

 

 

y0

 

 

 

 

 

 

 

 

 

 

 

 

t0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

@

 

 

 

 

 

A

 

 

 

 

 

 

 

t

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

d 1

 

 

 

 

 

 

 

 

+

exp

 

 

 

A( )

 

 

 

f( )

 

d

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

@

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 1.2.3. Пусть t0 2 [ ; ] (a; b), вектор-функция y(t) решение задачи Коши (1.2.2), вектор-функция ye(t) ðå-

13

шение задачи Коши

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dy

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

<

y t

=t0

e

0

 

e

 

 

 

t 2 (a; b);

 

 

 

8 dt

= A(t)y + f(t);

 

 

 

ãäå A(t)

 

:

j

 

 

 

 

2 eC[a; b]. Тогда для любого

" > 0 ñóùå-

2 C[a; b],ef(t)

 

 

 

 

 

 

 

 

 

= y ;

 

 

 

 

 

 

 

 

 

e

"

> 0

 

 

e

 

 

 

 

 

 

 

A(t)

 

f(t), y0 удовлетворяют

неравенству

такое, что если

e

 

,

e

e

 

ствует

 

 

 

 

 

 

 

e

то для разности решений имеет место оценка

max

A(t)

A(t)

 

+ max

 

f(t)

 

f(t)

+ y0

y0 ";

t2[ ; ]

 

 

e

 

t2[ ; ]

 

 

 

e

 

 

 

 

 

 

 

 

 

max

 

y(t) y(t)

 

":

 

 

 

 

 

 

 

 

t2[ ; ]

 

 

 

e

 

 

 

Следствие. Матричная экспонента etA непрерывно зависит от элементов матрицы A (см. также с. 31).

Ÿ 1.3. Линейные дифференциальные уравнения произвольного порядка

В этом параграфе мы будем рассматривать линейные дифференциальные уравнения произвольного порядка на интервале

(a; b):

dnu

+ a1(t)

dn 1u

+ + an 1(t)

du

+ an(t)u = φ(t); (1:3:1)

dtn

 

dtn 1

 

dt

ãäå a1(t); : : : ; an(t), φ(t) заданные непрерывные функции на отрезке [a; b]. В случае, когда φ(t) 0, уравнение (1.3.1) называется однородным дифференциальным уравнением; если же φ(t) ̸0, òî

неоднородным.

14

Для сокращения записи уравнения (1.3.1) введем следующий дифференциальный оператор:

 

d

 

dn

 

dn 1

 

d

 

Pn (t;

 

)

=

 

+ a1(t)

 

+ + an 1(t)

 

+ an(t)I:

dt

dtn

dtn 1

dt

Тогда уравнение (1.3.1) может быть записано в виде

( ) d

Pn t; dt u = φ(t):

Определение. Функция u(t) 2 Cn(a; b) называется решением уравнения (1.3.1), если выполнено тождество

dnu(t)

+ a1(t)

dn 1u(t)

+ + an 1(t)

du(t)

+ an(t)u(t) φ(t):

dtn

dtn 1

dt

Между решениями дифференциального уравнения (1.3.1) и решениями следующей системы дифференциальных уравнений

 

0

y1

1

0

0

dt

B .

C = B .

d

By

y2

C

B

0

 

0

 

B n

1 C

B

 

 

B

 

C

B

 

 

B

 

C

B

 

 

@

 

A

@

 

1

0

 

0

1

 

.

.

...

0

0

 

yn

an(t) an 1(t) an 2(t)

0

1 0

y2

0

 

y1

.

C B .

1

C By

n

 

1

C B

n

C B

 

 

A @

 

 

a (t) C B y

 

1

C

C

C

C

C

1 A

существует взаимно однозначное соответствие:

0

u(t)

1

0

y1(t)

1

 

u(t)

y2(t)

 

B .

 

C

= B

.

 

C

:

B u(n 2)(t)

C B y

n 1

(t)

C

 

B

 

 

C

B

 

C

 

B

(n 1)

(t)

C B

y

(t)

C

 

B u

 

C

B

n

 

 

C

 

@

 

 

A

@

 

 

 

A

 

Поэтому при изучении свойств решений уравнения (1.3.1) можно воспользоваться результатами из предыдущего параграфа.

15

Вначале рассмотрим однородное уравнение

dnu

+a1(t)

dn 1u

+ +an 1(t)

du

+an(t)u = 0; t 2

(a; b): (1:3:2)

dtn

dtn 1

dt

Теорема 1.3.1. Множество всех решений уравнения (1.3.2) на интервале (a; b) образует линейное пространство. Размер-

ность его равна n.

Определение. Совокупность линейно независимых на (a; b) решений уравнения (1.3.2)

u1(t); u2(t); : : : ; un(t)

называется фундаментальной системой решений äëÿ (1.3.2).

Следствие. Пусть u1(t), u2(t); : : : ; un(t) фундаментальная система решений для (1.3.2). Тогда общее решение уравнения (1.3.2) можно записать в виде

n

u(t) = cjuj(t);

j=1

ãäå cj произвольные константы, j = 1; : : : ; n.

Определение. Пусть u1(t); u2(t); : : : ; un(t) фундаментальная система решений для (1.3.2). Матрица

 

0

u1(t)

u2(t)

: : :

un(t)

1

 

B

 

 

 

 

.

 

 

 

C

U(t) =

B

u1(t)

u2(t)

: : :

un(t)

C

 

B .

 

.

 

 

..

.

 

C

 

B

 

 

 

 

 

 

 

 

C

 

B

 

 

 

 

 

 

 

 

C

 

B

1

 

2

 

 

 

 

 

C

 

@

 

 

 

 

 

 

 

 

A

 

B

(n 1)

(t) u

(n 1)

 

 

 

(n 1)

(t)

C

 

B u

 

 

(t) : : : un

C

называется фундаментальной матрицей решений äëÿ (1.3.2).

16

Определение. Пусть u1(t); u2(t); : : : ; un(t) некоторые решения уравнения (1.3.2). Функция

0

B

B

B

B

W (t) = det BB

B

B

@

u1(t)

u2(t)

: : :

u1(t)

u2(t)

: : :

.. ...

u(1n 1)(t) u(2n 1)(t) : : :

1

un(t)

C

C

un(t) C C C C

. C C A

u(nn 1)(t)

называется определителем Вронского äëÿ (1.3.2).

Теорема 1.3.2. Решения u1(t), u2(t); : : : ; un(t) уравнения (1.3.2) образуют фундаментальную систему решений тогда и только тогда, когда W (t0) ≠ 0 хотя бы в одной точке t0 2 (a; b).

Теорема 1.3.3 (Остроградский Лиувилль). Пусть функции u1(t); u2(t); : : : ; un(t) решения уравнения (1.3.2) на интервале (a; b). Тогда для любого t0 2 (a; b) имеет место тождество

W (t) W (t0) exp

0

t

a1

( ) d 1

:

 

@

t0

 

A

 

Пусть заданы t0 2 (a; b), (u0; u1; : : : ; un 1)T 2 Cn. Задача о нахождении решения u(t) однородного уравнения (1.3.2) такого,

÷òî

 

 

 

 

 

 

 

ujt=t0 = u0;

 

 

 

du

t=t0

= u1;

 

 

dt

 

 

 

 

: : : : : : : : : : :

: : :

 

dn

 

1u

t=t0

= un 1

;

 

dtn 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

17

называется задачей Коши, т. е. постановка задачи Коши имеет

âèä

8

 

 

 

 

 

 

d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Pn (t; dt) u = 0;

 

t 2 (a; b);

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

> u t=t0 = u0;

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

t=t0

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

<

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

du

 

 

 

 

 

 

1

 

 

 

 

 

 

 

(1:3:3)

 

>

 

 

 

 

 

 

= u ;

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

n

 

1

u

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

d

 

 

 

 

 

 

n

1

 

 

 

 

 

 

 

 

 

>

: : :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

n

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

t=t0

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

= u

 

 

:

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

:

 

 

 

 

 

 

 

 

 

 

0

1

; : : : ; u

n 1

)

T

2 C

n

Теорема 1.3.4. При любых t0 2 (a; b), (u

; u

 

 

 

существует единственное решение u(t) 2 Cn(a; b) задачи Коши (1.3.3).

Рассмотрим теперь неоднородное уравнение (1.3.1).

Теорема 1.3.5. Пусть u1(t); u2(t); : : : ; un(t) фундаменталь-

ная система решений для (1.3.2), функция u÷àñò(t) частное решение неоднородного уравнения (1.3.1). Тогда общее решение уравнения (1.3.1) можно записать в виде

n

u(t) = cjuj(t) + u÷àñò(t);

j=1

ãäå cj произвольные константы.

Отметим, что имея фундаментальную систему решений u1(t), u2(t), : : : , un(t) уравнения (1.3.2), можно найти частное решение

u÷àñò(t). Для этого, как и в Ÿ 1.2, можно применить метод вариации произвольных постоянных. А именно, будем искать частное

18

решение неоднородного уравнения (1.3.1) в виде

 

n

 

 

j

 

u÷àñò(t) =

cj(t)uj(t);

(1:3:4)

 

=1

 

ãäå c1(t), c2(t); : : : ; cn(t) неизвестные гладкие функции. Прежде чем подставлять выражение (1.3.4) в уравнение (1.3.1), вычислим

dk

последовательно все производные dtk u÷àñò(t), k = 1; : : : ; n, íàëà- гая при этом некоторые требования на производные коэффициен-

òîâ cj(t), j = 1; : : : ; n. Очевидно,

 

 

 

 

n

 

 

n

 

 

d

 

 

 

j

 

 

 

 

 

u÷àñò

(t)

 

c

(t)u

(t) +

c

(t)u

(t):

dt

 

j

j

 

j

j

 

 

 

 

 

=1

 

 

j=1

 

 

Будем предполагать, что

n

cj(t)uj(t) 0:

j=1

Тогда для производной второго порядка получим

 

 

 

 

n

 

n

 

 

d2

 

 

 

j

 

 

 

dt2

u÷àñò

(t)

 

c

(t)u′′(t) +

c

(t)u

(t):

 

 

j

j

j

j

 

 

 

 

 

=1

 

j=1

 

 

Будем считать, что

n

cj(t)uj(t) 0:

j=1

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

 

 

 

 

 

n

 

 

n

 

 

 

dn

1

 

 

 

(n 1)

 

j

(n

2)

 

 

 

u÷àñò

(t)

 

c

(t)u

(t) +

c

(t)u

 

(t)

dtn

1

 

 

j

j

 

j

j

 

 

 

 

 

 

 

j=1

 

 

=1

 

 

 

19

и вновь будем требовать, чтобы

n

cj(t)u(jn 2)(t) 0:

j=1

Итак, с учетом указанных условий на производные cj(t), j = 1; : : : ; n, будем иметь

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

dk

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(k)

 

 

 

 

 

 

 

 

dtk

u÷àñò(t)

 

cj(t)uj

 

(t);

 

 

 

 

 

 

 

 

 

 

 

 

 

=1

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

(t)u(k 1)

 

 

 

 

 

 

 

 

 

 

 

 

 

c

(t)

 

0;

k = 1; : : : ; n

1:

 

 

j

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

n

 

 

 

 

 

 

dn

 

 

 

 

 

 

 

(n)

j

c

(n

1)

 

 

dtn

u÷àñò

(t)

 

c

(t)u

 

(t) +

(t)u

 

(t):

 

 

 

 

j

 

 

 

j

=1

 

j

j

 

 

 

 

 

 

 

 

j=1

 

 

 

 

 

 

 

 

 

Поэтому, учитывая, что функция u÷àñò(t) должна быть решением

уравнения (1.3.1), а функции uj(t) решением уравнения (1.3.2), получим

 

 

 

n

 

 

 

 

d

(n

1)

 

Pn (t;

 

) u÷àñò

(t) j=1 cj

(t)uj

 

(t) φ(t):

dt

 

Следовательно, нахождение частного решения неоднородного дифференциального уравнения (1.3.1) в виде (1.3.4) сводится к решению системы линейных уравнений

 

u1(t)

u2(t)

B .

.

0

u1(t)

u2(t)

B

 

 

B

 

 

@

 

 

u(1n 1)(t) u(2n 1)(t)

:: :

:: :

...

:: :

un(t) un(t)

.

u(nn 1)(t)

1 0 c2

(t)

1

0

0

1

 

C B

c1

(t)

C

 

0

C

 

 

.

= B .

:

C B c

(t)

C

B

φ(t)

C

 

C B

n

 

C

B

 

C

 

A @

 

 

A

@

 

A

 

20

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