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

2 курс / Дифференциальные уравнения / Федорюк М., Обыкновенные дифф.уравнения, 1985

.pdf
Скачиваний:
844
Добавлен:
21.05.2015
Размер:
21.78 Mб
Скачать

§ 101 ЛИНЕЙНЫЕ СИСТЕМЫ. СЛУЧАЙ КРАТНЫХ КОРНЕЙ

71

и пусть ad — ЪсФ0. Если в некоторой точке отличен от нуля знаменатель (числитель) дроби из правой части уравнения (6), то через эту точку проходит единственная интегральная кривая вида у = у(х) (соответственно, # = = х(у)). Точка (0, 0) является особой (подробнее см. гл. 2, § 10). Таким образом, выше мы исследовали структуру интегральных кривых уравнения (6) в окрестности особой точки.

3. Уравнение второго порядка. Рассмотрим линейное уравнение

х + ах + Ъх = 0

(7)

с постоянными вещественными коэффициентами а, Ъ. Сведем его к системе

х = у, у = —Ъх —ау.

(8)

Фазовые траектории системы (8) называются фазовыми траекториями уравнения (7), которые изображаются на плоскости (х, х). Характеристические уравнения системы

(8) и уравнения (7) совпадают: А,2 + аЯ+Ь = 0, и потому все фазовые портреты для уравнения (7) такие же,как и для системы из двух уравнений.

§10. Линейные системы

спостоянными коэффициентами. Случай кратных корней

1.Жордапова нормальная форма матрицы. В § 8 бы-

ли найдены все решения однородной линейной

системы

с постоянными коэффициентами в случае, когда

матрица

системы А имела различные собственные

значения. Та-

кие матрицы приводятся к диагональному

виду, и этот

факт сыграл основную роль при интегрировании системы. Если же матрица А имеет кратное собственное значение, то ее не всегда можно привести к диагональному виду.

П р и м е р . Матрицу

 

А-\о

о

 

 

нельзя привести

к диагональному виду

(ее собственные

значения равны

Х4 = Х2 = 0).

Действительно,

допустим

противное; тогда

существует

(2 X 2)-матрица

Т такая,

что Т~*АТ = Л —диагональная матрица.

Матрица Л—

72 ИНТЕГРИРОВАНИЕ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ [ГЛ. 1

нулевая, так как ее диагональные элементы равны собственным значениям матрицы А. Поэтому Т~1АТ = 0, так что А = 0, и мы пришли к противоречию.

Простейшая форма, к которой приводится произвольная квадратная матрица, есть так называемаяжорданова нормальная форма, к описанию которой мы приступаем. Матрица вида

и" —

называется жордановым блоком. Эта матрица имеет единственное собственное значение % кратности fc, где к — порядок матрицы /. Найдем ее собственные векторы, решив систему Jx = Хх, т. е.

%Xi +

Х2

= KXi,

Кх2 + Хъ

= 2, . . ., kXn =

hXn.

 

 

Отсюда

следует, что

х2 = х3

= ... = хп = 0, ХГ — любое,

т. е. матрица / имеет единственный (с точностью до мно-

жителя)

собственный

вектор

/j = (1, 0, . . . , 0)

(все

век-

торы-столбцы).

На

остальные

базисные векторы:

/

2 =

= (0,Л0,...,0),

/а = (0,0,1.0,

...,0), . . .

матрица J

действует так:

 

 

 

 

 

 

 

 

Jfx

= Я/х,

//2

= Х/2 + /х, . . . 1 Jfk = ^/ft + fh-l-

 

О п р е д е л е н и е .

Набор векторов {ех, . . . , eh}

назы-

ваетсяжордановой цепочкой матрицыЛ, если

 

 

 

Аег =

Ае2

= Ке2 + ev

... , Aeh = %eh + ek^v

 

(2)

Вектор ех — собственный, векторы е2, ...,

eh называ-

ются присоединенными. Векторы /1? ... , Д

образуют

жордановуцепочку жорданова блока /.

 

 

 

Т е о р е м а

о п р и в е д е н и и

м а т р и ц ы

к

жор-

д а н о в о й

н о р м а л ь н о й форме. Для любойматри-

цы А существует матрица Т такая, что

0

g 101

ЛИНЕЙНЫЕ СИСТЕМЫ. СЛУЧАЙ КРАТНЫХ КОРНЕЙ

73

Здесь Ju /2,.», J, жордановы блоки порядков kh k2, ..., ka:

Ihk

°\

о

ki + k2 + . . . + к, = n,

и kh собственные значения матрицы А.

Матрица, стоящая в правой части равенства (3), называется нормальной жордановой формой матрицы А. Жордановы блоки выстроены вдоль главной диагонали.

Нормальная жорданова форма матрицы А определяется единственным образом, с точностью до перестановки жордановых блоков.

Доказательство см. в [40, 41]. Приведем другую формулировку этой теоремы.

Теорема . Пусть А произвольная квадратная мат* рица порядка п. Тогда существуетбазис, состоящий из жордановых цепочек

Эти цепочки отвечают собственным значениям А-1, Я2, ..., Я, матрицыА; действиематрицыА на векторы цепочки описываетсяформулой (2).

Возникает естественный вопрос. Дана матрица А; как найти ее жорданову нормальную форму? Например, если

дана матрица

порядка

3 X 3 и

известно, что она

имеет

единственное

(собственное) значение

К кратности

3,

то

ее жорданова нормальная форма может иметь один

из

трех видов:

 

 

 

 

 

 

 

0 0\

А 1 0\

1 0>

 

 

О

о о %;

Какой же именно? Ответ на этот вопрос известен: тель может найти его в [40].

В гл. 4 нам понадобится следующий результат.

74 ИНТЕГРИРОВАНИЕ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ (ГЛ. 1

Теорема о приведении матрицы к почти д и а г о н а л ь н о м у виду. Всякую ЫХп)-матрицу А можно привести к почти диагональному виду, т. е. суще* ствует матрицаТ такая, что

е. (4)

Здесь Л— диагональная матрица, элементами которой являются (все)собственные значения матрицы А, а для элементов bjk матрицы Ве имеет место оценка |&3 J<e, где е > 0 может быть выбрано сколь угодно малым.

Доказательство. Выберем матрицу Р такую, что

''• , о'

где / — нормальная жорданова форма матрицы А. Рассмотрим жорданов блок

Пусть

где а, ФО, к — порядок матрицы /а.Тогда

Ct2 Ctj-i

О

\

h

' Я

Ы

/

§ 10] ЛИНЕЙНЫЕ СИСТЕМЫ. СЛУЧАЙ КРАТНЫХ КОРНЕЙ

75

Положим а2а^г = ЯдО-Г1 = = . . . = ahad^r.1

= гх тогда

 

я 0

 

 

 

V

\ о

е

 

Рассмотрим матрицу

\ О RJ

Тогда, по правилу умножения блочных матриц,

/?1-V1/?1 о

оK'W

где Л — диагональная матрица сэлементами Kj, a

 

О

в

или bjf ; + i = 0. В качестве Т возьмем матрицу

.

Тогда

Т~*АТ = R-i(P~iAP)R = #-7лЯ == Л + Вг.

Теорема доказана.

2. Интегрирование системы. Рассмотрим систему из п уравнений:

где А — постоянная матрица. Эта система полностью интегрируется. Рассмотрим вначале систему из к уравнений

где / — жорданов блок вида (1). В покомпонентной

76 ИНТЕГРИРОВАНИЕ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ [ГЛ. I

записи эта система имеет вид

dzt

dx 1 2i

Решим эту систему «снизу вверх». Имеем zfc = Ckc**. Далее, Sft-i —Xzft-i = Cfte^, так что, в силу теоремы 1, § 4,

Аналогично получаем

Следовательно, всякое решение системы (6) дается формулой

где

СивС2$ ..., Ch — произвольные постоянные, а реше-

ния

имеют вид

(7)

Все решения системы (5) строятся следующим об-

разом.

 

 

1°. По каждой жордановой цепочке

{e±, ...,

eh} мат-

рицы А строится набор решений у(1\

. . . , у^

по фор-

муле (7).

 

 

2°. Решение системы (5) есть линейная комбинация всех построенных решений с произвольными постоянными коэффициентами.

§ 10] ЛИНЕЙНЫЕ СИСТЕМЫ. СЛУЧАЙ КРАТНЫХ КОРНЕЙ

77

Наметим доказательство этого факта. После подстановки у = Tz, где матрица Т приводит матрицу А к жордановой нормальной форме, система (5) принимает вид

dx '

Эта система распадается на s отдельных подсистем

~3х ~ i2 » • • •»"5J"== *2 «

где z* есть вектор-столбец высоты kh а каждая из этих подсистем интегрируется так же, как и система (6).

Пример . Рассмотрим систему

У1 = 2>Ух + У2, У2= ~ Уг +

fy2.

Собственные значения матрицы А этой

системы равны

hi = К2 = 3. Собственный вектор определяется из системы

Ау = Зу, т. е.

2#i + Уг= 3#i, —уг + 4^2 = Зг/2,

откуда следует, что г/i = г/2 и собственный вектор только один (с точностью до множителя): ех = (1,1). Поэтому имеется присоединенный вектор 02? который определяется из системы Ае2 = Зе2 + ех. Для компонент уи у2 вектора е2 получаем систему

Уг - yi = 1, г/2 - #1 = 1,

ивектор е2 можно взять в виде (0, 1). По формуле (7) строим решения

ивсякое решение системы имеет вид

или, в покомпонентной записи,

у% = е(С, + Са), у = еЧС,

Здесь Си Сг— произвольные постоянные.

Сделаем еще несколько замечаний о системах вида (5), в случае кратных сооственных значении матрицы А.

78 ИНТЕГРИРОВАНИЕ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ [ГЛ. 1

Пусть Хи ..., hs — все различные собственные значения кратностей ти ..., ms. Всякое решение системы (5) имеет вид

Здесь Pj(x) есть вектор-функция, компоненты которой— многочлены от х степени не выше чем rrij—1. Это следует из того, что длина жордановой цепочки, отвечающей собственному значению Х„ не может быть больше чем rrij (а может быть только короче, так одному и тому же собственному значению может отвечать несколько жордановых цепочек). Как видно из формулы (7), соответствующие решения имеют вид Pj (x) e , где компоненты вектор-функции Pj (х) — многочлены степени не выше, чем длина жордановой цепочки минус единица.

Случай кратных корней значительно сложнее случая простых корней, но, по счастью, кратные корни исключения, а не правило. Поясним это на примере (2 X 2)- матрицы А с вещественными элементами. Ее характеристическое уравнение имеет вид

где а, Ъ— вещественные постоянные. На плоскости параметров (а, Ъ) каждому такому уравнению отвечает точка, а уравнениям, корни которых совпадают, отвечает парабола а2 = 4Ь. Ясно, что точку (а0, Ьо) можно сдвинуть с параболы за счет сколь угодно малого изменения чисел (а0, Ьо) (или что то же, за счет сколь угодно малого изменения элементов матрицы А). Полученная матрица уже будет иметь простые собственные значения.

С точки зрения вычислительной, приведение матрицы к жордановой нормальной форме есть неустойчивая oneрация. Действительно, на ЭВМ можно найти собственные значения только с вполне определенной точностью. Поэтому можно утверждать с уверенностью лишь то, что два собственных значения различны, если у них не совпадают некоторые десятичные знаки. Проверить же, что они равны, нельзя, и потому очень близкие собственные значения воспринимаются ЭВМ как равные. В силу этого, в случаях, когда имеются очень близкие (возможно, равные) собственные значения, матрицу приводят не к жордановой нормальной форме, а к какой-либо иной (например, к треугольной).

§ И]

ОПЕРАЦИОННОЕ ИСЧИСЛЕНИЕ

79

§ 11.Операционное исчисление

 

Операционное исчисление —один из наиболее

эконо-

мичных методов интегрирования линейных дифференциальных уравнений с постоянными коэффициентами и пользуется большой популярностью у инженеров. Этот метод был предложен известным американским электротехником и физиком Хевисайдом. «Сначала этот символический метод был предложен без строгого обоснования: Хевисайд выражал даже некоторое пренебрежение к опасениям профессиональных математиков. Но поразительный успех метода Хевисайда заставил объяснить его с математической точки зрения, что привело к полному оправданию и дальнейшему развитию символических методов» [31].

Приведем современный вариант этого метода. Оригиналами будем называть функции fix) такие, что:

1. f(x) непрерывна при # > 0 , за исключением, быть может, конечного числа точек, fix) =з0 при х < 0.

2.\fix)\<Meax при х>0.

Постоянные М, а —свои для каждой функции.

Преобразованием Лапласа функций fix) называется функция

00

 

J -**/(*) Ас.

(1)

Функцию Fip) будем называть изображением функции fix) и будем записывать это так:

Покажем, что интеграл (1) сходится прикомплексных р в полуплоскости Re p > а, где а указано в условии 2. Имеем

sf(x)dx

о

так как а — Re p < 0. Можно показать, что в полуплоскости Re p > а функция Fip) бесконечно дифференцируема.

Выведем основные формулу операционного исчисления. При их выводе предполагается, что все рассматриваемые функции принадлежат классу оригиналов. Кроме

80 ИНТЕГРИРОВАНИЕ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ [ГЛ. i

того, параметр р выбирается настолько большим, чтобы

все внеинтегральные

подстановки

при х = +°° обраща-

лись в нуль (например, e~pxf(x)\x==oo

= 0 и т. д.).

1°. Линейност ь

п р е о б р а з о в а н и я Лапласа .

Если

и а, Р — постоянные, то

Доказательство следует из линейности интеграла. 2°. И з о б р а ж е н и е п р о и з в о д н ы х

/(п) (*) = pnF (Р) - РП( 0 ) - . . . - pfn'2) 0- fn~x) (0). (2)

Пусть п = 1, тогда

 

 

оо

 

 

 

 

/' {х) = J e-pxf

(*) dx =PF (p) -

f (0).

 

 

 

О

 

 

 

Применим индукцию. Пусть формула (2)

доказана для

п.

Обозначим g(x) = /(n)0r), тогда

 

 

/ п + 1 ) (*) = g' {x)= pG (p) -

g (0) =

 

 

 

- Р {РПР (Р) ~ Pn 'V (0) - .. . - /n ~l ) (0)) -

/( n) (0),

так

что формула

(2) доказана для п+ 1.

 

 

 

3°. Теорема

з а п а з д ы в а н и я . Для

любого

а> 0

 

 

/(*-а) = е-^(р).

 

(3)

Действительно, так как fix —а)= 0 приж< а, то, делая замену переменной ха= Ж, получаем

f(x —a) = J /(;r-a)

о

оо

о

По существу уже этих трех формул вполне достаточно для того, чтобы решить задачу Коши для линейного дифференциального уравнения с постоянными коэффициентами. Формула (2) — основная: она показывает, что дифференцированию оригиналов отвечает умножение изо-