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

книги из ГПНТБ / Сахарников Н.А. Высшая математика учебник

.pdf
Скачиваний:
98
Добавлен:
27.10.2023
Размер:
24.22 Mб
Скачать

Для случая двух функций фх (х) и ср2 (х) понятие линейной зависимости в промежутке (а, Ь) сводится к выполнению усло­ вия — отношение этих функций есть величина постоянная в (а, Ь): фх/ф2 — с. Линейная независимость функций фх (х) и ф2 (я) в (а, Ь) означает, что их отношение не равно тождественно какойлибо постоянной в (а, b). Например, функции sin х и cos х линейно­

независимы в промежутке (0, я).

производные п—1-го порядка.

Пусть функции

(15) имеют

Определителем

Вронского *,

или

вронскианом

системы функ­

ций (15), называется следующий определитель:

 

 

Фі

ф2

■-Фп

 

W (X) = фі

фі

. фп

(17)

ф(п-1)

ф Г ^ . • • ф£1_

Рассмотрим семейство решений линейного однородного диф­ ференциального уравнения (9) в (a, b)

Уі(*), Уз (я), • • -, Уп{х)-

(18)

Теорема 1. Для любого семейства решений (18) уравнения (9)

имеет место формула Лиувилля ** — Остроградского

 

-

\ Р і

( х ) СІХ

 

W (x): -W (x0)e

*•

(19)

где х 0 и х любые точки промежутка

(а, 6); W (х0) значение

вронскиана в точке х 0; р г (х) коэффициент уравнения (9).

Доказательство теоремы приведено ниже для уравнения вто­

рого порядка

 

 

 

У" Рі. И у'-!-Р2(ж) у = 0.

(20)

В этом случае W •-= у Уу'2 у 2Уі и W

-= у ху\ у 2у”ѵ

Здесь у г

иг/ г — решения уравнения (20) и поэтому

 

W = У г { — Р і У \ — р2Уг) У 2 ( -

Р і У і

~ Р - г Уі) ■= — ? №

Следовательно, функция W удовлетворяет уравнению с разделя­ ющимися переменными W — —р 1 (х) W. Если W (х) Ф 0 в (а, b), то, интегрируя последнее равенство, получим

Х

-

J

P t ( х ) ( ІХ

 

lnW —l n c = — J p1(x)dx;

W(x) — ce

х°

.

(21)

х 0

 

 

 

 

Путем прямой проверки легко убедиться, что функция (21) удовлетворяет уравнению W = —pW; предположение W =Д О

*

Юзеф Вронский (1776—185S) — польский математик.

**

Жозеф Лиувилль (1809—1882)— французский математик.

но требуется. При х

х 0 найдем

с

W (х0) и из (21)

следует

формула

(19). Теорема доказана.

(19)

непосредственно

следует,

С л е

д с т в и е.

Из формулы

что вронскиан или тождественно равен нулю

в промежутке (а, Ъ)\

И 'И О,

(22)

или он не равен нулю ни при одном значении х из (а, Ь):

Ш (х)фО.

(23)

Первый случай имеет место, если хотя бы в одной точке х0 про­ межутка (а, Ъ) вронскиан равен нулю: W (ж0) = 0. Второй — если хотя бы в одной точке х0 промежутка (а, Ъ) вронскиан отли­ чен от нуля: W (х0) Ф 0, потому что показательная функция в нуль не обращается.

Теорема

2. Равенство нулю вронскиана семейства решений (18)

уравнения (9) W (х)

: л 0

есть необходимое и достаточное условие

линейной зависимости этих решений.

 

 

 

в

случае

Д о к а з а т е л ь с т в о

н е о б х о д и м о с т и

п --

2. Пусть у г

и у 2 — линейно-зависимые

решения уравнения

(20).

Тогда

у 2 =---

су J

и

W ==

уру] — у 2у]

сур/] — сур/]

U.

Д о к а з а т е л ь с т в о

д о с т а т о ч н о с т и

в

случае

п = 2. Пусть у х и у 2 — ненулевые решения уравнения (20) и W =-■

= УіУі УіУі ^= 0.

Фиксируем точку

х0

промежутка

(а, Ь),

в которой

у х (х 0) Ф- 0.

Тогда

у 2 (ж0) Ф 0. Действительно,

если

у 2 (х0) = 0,

то

из условия W (х0) == 0

следует,

что у г’ (х0) = 0

и в силу теоремы единственности у.2 (х)

0, что противоречит

условию.

 

 

 

 

 

 

 

 

 

 

 

 

УгІУгі

Тождество (22) можно записать в виде равенства у2/у 2=

 

интегрируя которое по х

в промежутке (ж0, х) получим

 

 

 

 

 

 

 

 

Іи у2 (х) = In ух (х) I-In с,

 

 

 

 

 

где

постоянная

сх

у 2 (х0)/ух (х0) отлична

от

нуля.

Поэтому

решения у х (х)

и

у 2 (х). линейно-зависимы:

у 2 = суЛ.

Теорема

доказана.

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 3. Для того чтобы решения (18) уравнения (9) были линейно-независимы в промежутке (а, Ь), необходимо и доста­ точно, чтобы определитель W (х) не обращался в нуль ни при

одном значении х из (а, Ъ),

т. е. чтобы выполнялось условие (23).

Н е о б X о д и м о с т ь.

Пусть решения (18) линейно-незави­

симы в (а, Ъ). Требуется доказать, что выполнено условие (23). Рассуждая от противного, предположим, что в некоторой точке х 0 промежутка (а, Ъ) вронскиан примет нулевое значение. Тогда в силу формулы (19) имеет место тождество (22) и по теореме 2 решения (18) линейно-зависимы, что противоречит условию. Следовательно, условие (23) выполнено.

Д о с т а т о ч н о с т ь . Пусть выполнено условие (23). Нужно доказать линейную независимость решений (18). Рассуждая опять от противного, предположим, что функции (18) линейно­

зависимы. Тогда по теореме 2 выполнено равенство (22), кото­ рое противоречит условию (23). Поэтому решения (18) линейно­ независимы. Теорема доказана.

Фундаментальной системой решений однородного уравнения

(9) называется любое семейство линейно-независимых в (а, Ъ)

решений

этого

уравнения

у г (х),

у 2 (х), . . ., уп (х). Например,

функции

у г —

sin X, у 2 =

cos X

образуют фундаментальную

систему решений уравнения у" +

у == 0.

Из теоремы

3 непосредственно

следует необходимое и доста­

точное условие фундаментальности системы решений (18) уравне­ ния (9). Оно состоит в том, чтобы вронскиан этого семейства реше­ ний был отличен от нуля по крайней мере в одной из точек промежутка (а, b).

Следовательно, любые п решений задачи Коши для уравне­ ния (9), начальные данные которых таковы, что W (х 0) Ф 0, образуют фундаментальную систему решений.

Теорема 4 (о структуре общего решения линейного однород­ ного уравнения). Если функции (18) образуют фундаментальную систему решений линейного однородного дифференциального урав­

нения (9), то линейная комбинация этих решений

 

У== СіУі (я) + • ■• + спУп(*)

(24)

с произвольными постоянными clt . . ., сп есть общее решение

этого

уравнения

в

области В :

а <^х <[ Ь, \у | <( оо, |г/'| <4°° ,

. . I

I <

О О .

 

В выполнены условия теоремы

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

в области

существования и единственности решения задачи Коши. Пока­ жем, что функция (24) удовлетворяет обоим условиям, указанным

в

определении

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

уравнения и-го порядка (см.

п.

226).

 

 

 

Функция (24) является решением уравнения (9) при любых

фиксированных

с1, . . ., с„ как

линейная комбинация решений

с постоянными коэффициентами (свойство 3° решений линейно­

однородного уравнения).

задачи

Коши,

соответствующее

Пусть у = ф (х) — решение

начальным данным из области В

 

 

 

^-=У0, Ф' = г/0, ...,

ф(п-!> =

при

х = х0.

(25)

Докажем, что существует система постоянных (с10, . . ., сп0, при

которых функция (24) дает ф (х), т. е.

 

СіаУі (я) + . . . + СпоУп(*) = (*)•

(26>

Для этого рассмотрим систему уравнений! относительно с15 . . ., сге

СіУі (х0) +

. . . ~ спуп(х0) = уо,

 

сіУі (®0) ~

£пУп (хо)~ Уо’

(27)

(аг0) -г ... 4-

(х0) = у<”-Ѵ

левая часть которой содержит значения функций (18) и их произ­ водных в точке х0, а правая часть — начальные данные задачи Коши. Определитель системы (27) W (х0) отличен от нуля, потому что семейство функций (18) образует фундаментальную систему решений уравнения. Согласно теореме Крамера, система (27) имеет единственное решение; обозначим его через с10, . . . . сл0.

Линейная

комбинация решений

(18)

у (х) — с10г/1 (х)

f спвуп (х)

удовлетворяет начальным

условиям (25), что пока­

зывают равенства (27). Функция

ф (х)

тоже удовлетворяет усло­

виям (25). Отсюда следует согласно теореме единственности реше­

ния, что у (х) = ф (х) в (а,

Ъ), т. е. имеет

место

тождество (26)

в (а, Ь). Теорема доказана.

 

 

 

 

 

П р и м е р .

г /" + 9 г /= 0.

Это

уравнение

второго

порядка

имеет

следующие два

линейно-независимых

решения:

у х = sin Зх. у 2 =

cos Зх.

Поэтому общее решение данного уравнения представляет

их

линейная ком­

бинация с произвольными коэффициентами у ■— сх sin Зх

+

с„ cos Зх.

229. Линейные однородные уравнения с постоянными коэффи­ циентами. Рассмотрим линейное однородное уравнение

L [у] ~ г/(п> т аіУ(п-Ѵ + ... 4- ап_іу" + апу ^ 0

(28)

с постоянными вещественными коэффициентами a lt . . ., ап. Если п = 2, то уравнение имеет вид

У" \ p ÿ + q y ^ 0.

(29)

Остановимся пока на этом уравнении. Следуя Эйлеру, отыски­

ваются частные решения вида

 

у —еХх,

(30)

где к — подлежащая определению постоянная.

 

Положим в уравнении (29) у = еІХ, получим

 

еХх^2 -f рХ -f q) = 0.

 

Следовательно, к есть корень квадратного уравнения

 

W + p k + q = 0,

(31)

которое называется характеристическим уравнением для уравне­ ния (29). Уравнение (31) можно составить непосредственно по данному уравнению (29). Корни уравнения (31) могут быть раз­

личными или

одинаковыми, вещественными или комплексными

в зависимости от значения величины р 2/4 — q.

С л у ч а й

1. Если квадратное уравнение (31) имеет два раз­

личных вещественных корня к х и Я2, то по формуле (30) получим два линейно-независимых решения, линейная комбинация ко­ торых

у = с хе х ' х -f- с 2е ХгХ

(32)

403

с произвольными постоянными ct и с2 есть согласно теореме 4 общее решение уравнения (29).

И р и м о р

1.

Дано

уравненію у" а%у — 0

ф 0). Его

характе­

ристическое

уравнение X2 — а2 = 0

имеет различные вещественные корни

XL = а и Х„

 

а. Поэтому общее

решение

уравнения

 

 

 

 

 

у =

c i e a x j r с2е~а х .

 

 

 

И р п м е р

2-

Дано

уравнение у" +

ру'

- 0, где р Ф 0. Его характе­

ристическое

уравнение X2 -г рХ — 0

имеет различные вещественные корни

-- 0 н X,,

 

р.

Поэтому

общее

решение

представляет

функция

у- сг с2е~?х.

С л у ч а й

2. Если квадратное уравнение (31) имеет различные

комплексные

корни

и Я2, то соответствующие решения (30)

получатся опять линейно-независимыми, но также комплексными. Известно, что у полиномов с вещественными коэффициентами комплексные корни встречаются сопряженными парами (см. и. 56). Коэффициенты р и q уравнения (29) вещественны, поэтому, если = а — iß, то Х2 = а — iß. Решения (30) в этом случае можно

представить с помощью формул Эйлера в виде

 

Уі, г = еах cos ßx ± ieax sin ßx.

(33)

Производная комплексной функции вещественной перемен­ ной u (X) — cp (x) + іф (X) определяется формулой и' --= ф' + іф'. Отсюда следует, что и" ср" + іф ".

Лемма. Если у ф (х) + іф (х) есть решение линейного одно­ родного уравнения (28), то вещественные функции ф (х) и ф (х)

также являются решениями этого уравнения.

 

 

Д о к а з а т е л ь с т в о .

Используя свойства линейного диф­

ференциального

оператора,

равенство L [г/] = 0

можно

записать

в виде

L [ф] +

іЬ [ф] =

0. Отсюда следует,

что L

[ф] = 0

и L [ф]

0. Лемма доказана.

 

 

Следовательно, вместе с величинами (33) решениями уравне­

ния (29) будут вещественные функции

 

ф (х) ~ еглхcos ßx и ф (х) = eax sin ßx.

(34)

Их отношение непостоянно, поэтому функции (34) линейно-неза­ висимы. Уравнение (29) в случае 2 имеет общее решение

 

 

 

У; Геах

cos ßz |_ с2 gin ßx).

(35)

II р л и e p

3.

Дано уравнение y" -f- ß2y — 0, называемое уравнением

гармонического

осциллятора. Его характеристическое уравнение X2

+ ß2 =

0 имеет

чисто мнимые

корни X =

± ߣ. Данное уравнение имеет

общее

решение

у =

<ц cos ßx +

с2 sin ßx,

представляющее

периодическую

функцию.

С л у ч а й 3. Если характеристическое уравнение (31) имеет

одинаковые корни Х1 = Я,2 := — -у, то частные решения (30),

соответствующие этим корням, совпадают и не образуют фунда­ ментальной системы решений.

В случае 3 решением уравнения (29) является функция у3 =

хе1іХ. Убедимся в этом прямой проверкой. Положим в урав­ нении (29) у = у3, получим

еХіХ\(2К, -t- ß)

X (Ц -\-рКг -[- q)1 - 0.

Здесь 2 т- р --- 0 и

рХх -}- q - 0. Поэтому функция у3

есть реіпение уравнения (28), линейно не зависящее от ух, так как отношение у3 к у х непостоянно. Функции у г и у3 образуют фунда­ ментальную систему решений, и уравнение (28) имеет в случае 3 общее решение

 

 

 

у = (сх ;

с«х)ех'х.

 

(36)

И р и м е р

4- Уравнению

у ”

2у ’ - f

у - 0

соответствует характе­

ристическое

уравнение X2 — 2Х -f

1

0,

имеющее

рапные корни

Х( =

- X, -- 1.

Данное уравнение имеет общее решение

у - (сѵЧ- с 2х) ех .

Результаты, полученные при рассмотрении уравнения второго

порядка

(29),

допускают обобщение на случай уравнения любого

порядка

с

постоянными

коэффициентами.

Сформулируем

его

в виде правила.

Правило нахождения общего решения линейного однородного

уравнения (29)

любого

порядка с постоянными коэффициентами.

1. Составим

соответствующее характеристическое

уравнение

 

%п + а1Хп~1+

. . . + ап_хК+ ап— 0

 

и найдем его корни А.1 ,

Х 2 , . .

. , Хп.

найденным

2. Составим

частные

решения, соответствующие

корням: каждому простому вещественному корню К соответствует

решение у =

еІХ,

каждому ^-кратному вещественному корню К

соответствует

к

решений у х еХх,

г/2 = хеХх, . . .,

уК = хк~геХх,

каждой паре

простых комплексных

корней a ± ß i

соответствует

два решения

у х = ехХcos ßz, i/2 =

ехХsin ßx, каждой fc-кратной

паре комплексных корней a ± ß t соответствует 2к решений:

У і^ е а*cosßx,

у2 —хух, . . .,

ук=--хк-Чух,

2/_і = еах sin ßx,

у_2 = ху_х, . .

y_k = xh~'y__x.

3. Линейная комбинация всех этих решений с произвольными постоянными коэффициентами есть общее решение уравнения (28).

II р il .и о р

5.

у(4) — 4у

-f- бу" — 4у' -f- у

--

0.

Характеристическое

уравнение (X — I)1 = 0 имеет

корень

Хг -= 1 кратности 4.

Поэтому общее

решение уравнения

имеет

вид

у -= (<ц -f- с2х +

с3х2 +

щг3) -ех.

 

Его

ха­

П р и м е р

б-

Дано

уравнение

у"' — 3у "

+

г/ — Зг/ =- 0.

рактеристическое уравнение

(X — 3) (X2 -f 1) =

0

имеет

корень

X] = 3

кратности к =

І и

одну пару комплексно-сопряженных корней

Х2>3 =

± і.

Поэтому общее

решение данного уравнения у =

c xe zx +

с 2 cos х

+

с3 sin х-

230. Линейные неоднородные уравнения. Рассмотрим линей­ ное неоднородное уравнение п-го порядка (8) L [у] = / (ж), коэф­ фициенты которого Р і(х), . . р п (ж) и свободный член / (ж) определены и непрерывны в промежутке (а, Ъ).

Пусть семейство функций zx (х), . . ., zn (х) представляет фун­ даментальную систему решений соответствующего однородного уравнения L [у] = 0. Линейная комбинация этих решений с произвольными коэффициентами

 

 

 

 

 

 

2

=cLz x (х)

 

 

 

Cnz n X()

 

 

 

 

 

(

3

7

согласно теореме 4 и. 228 представляет общее решение однород­

 

ного уравнения (9).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема

5 (о структуре общего решения линейного неоднород­

 

ного уравнения). Пусть дано неоднородное уравнение (8). Сумма

 

общего

решения

соответствующего

однородного

уравнения

 

(9)

 

и какого-либо част,кого решения у г (ж) неоднородного уравнения (8)

 

 

 

 

 

 

у

qzi. {х)

...-j- cnzn (х) -!- ух {х)

 

 

 

 

(38)

 

есть общее решение уравнения (8).

 

 

 

 

 

 

 

 

 

 

 

 

Д о к а з а т е л ь с т в о .

 

Функция (38) есть решение уравне­

 

ния (8) при любых значениях произвольных постоянных си

. . ., сп,

 

потому что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L[cxzx^r . . .

+

cnzn-f- ух ]

■ L

 

[ clZl - : - ...

cnzn] 4- L [ y x\ -= / (ж),

 

 

так

как

 

 

L [с^х -

. . . -f cnzn\ = 0 и L [г/Д ==■/ (x).

 

 

 

 

 

 

Любое решение задачи Коши ф (х) уравнения (8) можно полу­

 

чить из множества решений (38) при соответствующих значениях

 

постоянных сІУ . . ., сп. Действительно, по условию L

[ф] = / (х).

 

Функция ф (x) — у х (ж)

удовлетворяет однородному

уравнению

 

(9),

потому что

L

[ф — г/Д =

L

[ф] — L

[г/Д

0 в промежутке

 

(а,

Ъ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Согласно теореме 4 п. 228 любое решение задачи Коши уравне­

 

ния (9) и, в частности,

ф (ж) у

х (ж) можно получить из

общего

 

решения (37) этого уравнения при соответствующих значениях

 

постоянных

ск:

ф (х) у х (х)

=

c1Qz г (х)

+

. . . 4- cnozn

(х).

 

Следовательно,

ф (х) =

c10z1 (х)

+ . . . +

cn0zn (х)

+

у г (ж). Тео­

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

П р и м е р .

Дано

уравнение

 

у" +

Ау = 8х.

Соответствующее

ему

 

однородное .уравнение

z" +

4z = 0

имеет общее решение

z = сх cos 2х —

 

+ сг sin 2х. Данное неоднородное уравнение имеет частное решение у х (х)

 

— 2х, в чем можно убедиться прямой проверкой.

Поэтому

имеем общее

 

решение

данного

уравнения у =

+

сд cos + с2 sin 2х.

 

 

 

 

 

 

Теорема

6. Если у х (ж) и у 2 (х) являются частными решениями

 

соответственно

уравнений

L

 

{у\ =

/ х (х)

и

L

\у\ = / 2 (ж),

то

 

Уі (х) +

У2 (х)

есть

решение

 

уравнения

L

[у] =

/ х

(x) ~j- / 2

(ж).

 

 

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

L [уД —

 

(ж),

L ly2J =

/ 2 (ж).

 

Следовательно,

L

[уг +

у 2] =

 

L

[г/Д Д- L

[г/Д =

/ х (ж) +

/ 2

(ж).

 

231. Метод нахождения частных решений линейных неодно­ родных уравнений. Для составления общего решения линейного неоднородного дифференциального уравнения L [г/1 = / (х) со­ гласно теореме 6 надо знать частное решение этого уравнения.

Метод неопределенных коэффициентов можно рекомендовать для нахождения частного решения линейного неоднородного уравнения

L іу] ==

+ а ^ п- 1)+ . . . + апу = / (х)

(39)

с постоянными вещественными коэффициентами в

случае, когда

/ (х) имеет специальный вид.

 

 

С л у ч а й I. Пусть

правая часть уравнения

(39)

имеет вид

 

/ (я) = Рт (х) еах,

 

(40)

где Рт (х) — данный полином степени т (в частности,

это может

постоянная). Тогда уравнение (39) имеет * частное решение вида

y1(x) = xkQm(x)eax,

(41)

где Q,n (х) — многочлен степени т, а к — кратность корня а характеристического уравнения (к — 0, если а не является корнем характеристического уравнения). Коэффициенты искомого поли­ нома Qm (х) можно найти путем подстановки выражения (41) в данное дифференциальное уравнение.

 

II р и м е р

I. 4іайти

частное

решение

уравнения

у" у -= Зж2.

Характеристическое уравнение Я2 — 1 = 0 имеет корни Яг =

1 и Я, = —1,

отличные от числа а =

0.

Поэтому ищем частное решение вида у — ах2 +

+

Ьх + с.

Находим

у'

=

2ах + Ь,

у" = 2а.

Подставив эти выражения

в

данное

уравнение,

получим

2а ах2 Ьх с — Зж2.

Следовательно,

2а с

0,

6 =

0,

—а =

 

3.

Поэтому данное

уравнение

имеет частное

решение щ =

—Зж2 — 6.

 

 

 

 

 

 

 

С л у ч а й

II. Если

правая

часть уравнения (39) имеет вид

 

 

 

 

/ (X) = е51* [Рт (х) cos ßx + Qm (х) sin ßx],

(42)

где Pm (x) и Qm (x) — полиномы относительно x степени m (один из них может иметь степень меньшую или далее равняться нулю

тождественно), то уравнение (39) имеет* частное решение

вида '

Уі (х) xheax [Рт (х) cos ßx -f Qm(x) sin ßx],

(43)

где P m (x) и Qm (x) — искомые полиномы степени m, a. к — крат­

ность

пары корней а ±ß£ характеристического уравнения. Если

a ± ß i

не являются корнями характеристического уравнения, то

в формуле

(43) надо положить к = 0. Если в (42) один из поли­

номов

Рт

(х) или Qm (х) степени меньшей т или тождественно

равен нулю, то в формулу

(43)

должны войти оба многочлена

Рт (X) и Qm (X) степени

т.

 

 

 

 

 

 

 

П р il м е р

2.

ТТаіітп

общее

решение

уравнения

у"

у =

cos х .

Характеристическое

уравнение

Я2 +

1 = 0

имеет чисто

мнимые

корпи

Я ----

± і. Правая часть данного уравнения имеет вид (42) при а

0,

ß = I,

Рт

: 1) Qm

0. Числа а ± ßi =

± і являются простыми корнями характе­

ристического уравнения, поэтому к — 1. Частное решение данного уравнения

ищем согласно (43) вида ;д =

cos х + b sin х ) х .

Находим у[

а cos х

+

+

b sin X -|- X (—а sin I

4

- b

cos х ) ,

гд =

—2а sin х + 26 cos х

х (а cos х

+

b sin х ) .

Подставив

гд

в

уравнение,

получим

равенство

—2я sin х

-|-

-)- 2b cos X =

cos X, ив

которого найдем:

а = 0,

b — 1/2.

Поэтому ід

==

=

ж/2 • sin X .

Данное

уравнение

имеет

общее

решение

у

-- cj cos х

+

+

с,2 sin X

+

(х sin х)/2.

 

 

 

 

 

 

 

 

 

§39. СИСТЕМЫ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИИ

232.Общие вопросы. Пусть дано дифференциальное урав­ нение порядка п

y(n) = f{x, у, у', ..., г/(п~Ч).

(1)

Желая получить решение уравнения на интегрирующем устрой­ стве (например, электронном моделирующем устройстве), надо составить соответствующую систему дифференциальных уравнений

первого порядка. Для этого примем

величины

у',

у", . . ., г/("-п

за новые неизвестные функции, соответственно положив у'

у х,

У" -= Уі , ■■-, Уп~1 = Уп- 1

Переменные

х,

у,

у ѵ . . .,

уп_ х

связаны согласно (1) зависимостями

 

 

 

 

 

 

 

 

У' ='= Уі,

Уі - Уі ,

■■■,

УTi- 2 ^

Уп-і,

Уп- 1 =

/ (я,

У,

Уі,

■■-, Уп-1).

(2)

Мы получили систему п дифференциальных уравнений,

к а ж ­

д о е

п е р в о г о

п о р я д к а ,

относительно

неизвестных

функций у (X),

у х (х), . . .,

уп-х (х). Первая

из

функций

этого

семейства у (х) есть вместе с тем решение уравнения (1).

 

 

Рассмотрим систему более общего вида:

 

 

 

 

 

 

 

 

 

Уі = Іі( х,

Уі,

■■-,

Уп),

 

 

 

 

 

 

 

 

Уі fi (x,

Уі,

• -,

Уп),

 

 

 

 

(3)

 

 

 

Уп

fп (%,

Уі,

• ч

Уп),

 

 

 

 

 

 

где ух,

. . ., уп — искомые

 

функции

независимой

переменной х,

а правые части — данные

 

функции переменных

x,

у х,

- -, уп,

определенные и непрерывные в некоторой области

 

Л п +1-

Сово­

купность равенств (3) называется нормальной системой диффе­ ренциальных уравнений.

Решением системы (3) в промежутке (а, b) называется семей­

ство функций

 

Уі(х), Уі(х),- - ; уп{х),

(4)

определенных, непрерывно дифференцируемых и удовлетворя­ ющих системе (3), т. е. обращающих все уравнения (3) в тождества относительно ж в промежутке (а, Ъ).

у'

Если п

1, то система

(3) содержит

только

одно уравнение

 

/ (х, у) и ее решение у (ж) определяет интегральную кривую

в плоскости (X, у). Если п

2, то имеем систему двух уравнений

?/'

^

/і (ж, г/, z), z' =

/ 2

(ж, у, z) и ее

решение у

- у (х), z =

z (ж)

определяет

кривую

в

трехмерном

пространстве (ж, у, z).

При

и

2 решение системы

(3)

геометрически представляет кривую

в

1-мерном пространстве; она называется интегральной

кривой системы (3).

 

 

 

 

 

 

 

 

Задача Коши для системы (3) состоит в нахождении решения

этой системы, удовлетворяющего начальным условиям

 

 

 

 

Ѵі = Ѵы,

г/2=

і/20, . . . . //„

при

ж --ж 0,-

(5)

где

ж0,

!/юі . . ут — данные числа.

Геометрически это

зна­

чит найти интегральную кривую, проходящую через точку

М0(х0, Ую . • • -, Уп о) области А п +1.

Сформулируем теорему, содержащую достаточные условия существования и единственности решения задачи Коши для си­ стемы (3).

Теорема. Если правые части системы (3) непрерывны и имеют непрерывные производные по переменным у х, у г, . . ., упв некоторой области Вп +1, то для любой точки М 0 (х0, у 10, . . уп0) об­ ласти Вп +1 существует, и притом единственное, решение

Уі =-■Ф і(х)> Уп^Ч>п(Х), ( 6 )

удовлетворяющее условиям (5), определенное и непрерывно диффе­ ренцируемое в некоторой окрестности точки ж0.

Рассмотрим нормальную систему линейных уравнений

 

Уі

РпУ\ ■■■ І'іпУп

fi

О'

1•

2,

. . ., п),

(7)

коэффициенты

которой pik (х)

и

правые

части

/,• (ж)

определены

и непрерывны в промежутке (а, Ъ).

выполнены

в области

Вп +х,

Условия теоремы для системы (7)

определяемой неравенствами а

 

ж <

Ъ,) \ух |

<

С ° °

5 • Уп

I<- , С | ° ° -

Пусть В п +х — некоторая

область,

в

которой

выполнены

условия теоремы существования и единственности для системы (3).

Общим

решением

системы

уравнений

(3)

в

области

В п +1

называется

семейство

функций

 

 

 

 

 

 

Уі <w(-‘r- Ci, . . .,

сп) (i = 1,

2,

- • - ,

п),

(8)

1) представляющее в промежутке (а, Ь) решение системы (3) при всех значениях произвольных постоянных сх, . . ., сп (из некото­ рой области D изменения этих величин), 2) дающее решение задачи Коши с любыми начальными данными из области В п +1 при соответствующих значениях постоянных сх, . . ., сп.

Соседние файлы в папке книги из ГПНТБ