pismennyy_d_t_konspekt_lekciy_po_vysshey_matematike_polnyy_k
.pdfзапишем уравнение (49.11) в виде приведенного: |
|
1 y(n) + ai(x)y(n-l) + a2(x)y(n- 2 ) + ... + an(x)y = f(x).1 |
(49.12) |
Далее будем рассматривать линейные ДУ вида (49.12) и считать, что коэффициенты и свободный член уравнения (49.12) являются не прерывными функциями (на некотором интервале (а; Ь)). При этих ус
ловиях справедлива теорема существования и единственности решения
ДУ (49.12) (см. теорему 49.1).
49.4. Линейные однородные ДУ второго порядка
Рассмотрим линейное однородное дифференциальное уравнение
(ЛОДУ) второго порядка:
~1у-"-+-а1-(х_)_у_'_+_а_2(-x-)y_=_O~I |
(49.13) |
и установим некоторые свойства его решений. |
|
Теорема 49.2. Если функции У1 = У1 (х) и У2 |
= У2(х) являются |
частными решениями уравнения (49 13), то решением этого уравне
ния является также функция
(49.14)
где с1 и с2 - произвольные постоянные
Q Подставим функцию у= с1у1 +с2У2 и ее производные в левую часть ЛОДУ (49.13). Получаем:
(с1У1 + с2у2)" + ai(x) · (с1у1 + С2У2)' + а2(х) · (с1У1 + С2У2) =
= с1у~ + с2у~ + ai(x) · (с1у~ + с2у~) + а2(х) · (с1У1 + С2У2) = = с1(у~' + ai(x) ·у~+ а2(х) ·у)+ с2(У~ + ai(:P)Y~ + а2(х)у2) =
= С1 · Q + С2 Q = 0,
так как функции у1 и У2 - решения уравнения (49.13) и, значит, вы
ражения в скобках тождественно равны нулю.
Таким образом, функция у= с1у1 +с2У2 также является решением
уравнения (49 13). |
• |
Из теоремы 49.2, как следствие, вытекает, что если у1 |
и у2 - |
решения уравнения (49.13), то решениями его будут также функции
у = У1 + У2 и у = с . У1.
Функция (49.14) содержит две произвольные постоянные и явля ется решением уравнения (49.13). Может ли она являться общим ре шением уравнения (49.13)?
350
Дnя ответа на вопрос введем понятие линейной зависимости и ли нейной независимости функций.
~Функции У1 = У1(х) и У2 = У2(х) называются лuкеt'.tно кезавuсu
мыми на интервале (а; Ь), если равенство
СХ1У1 + СХ2У2 = 0, |
(49.15) |
где а1 , а2 Е R, выполняется тогда и только тогда, когда а1 =а2 =О.
~Если хотя бы одно из чисел а1 или а2 отлично от нуля и выполня
ется равенство (49.15), то функции у1 и У2 называются лuкеt'.tно
зависимыми на (а; Ь).
Очевидно, что функции у1 и у2 линейно зависимы тогда и только
тогда, когда они пропорциональны, т. е для всех х Е (а; Ь) выполняется
равенство Ю. = Л, или у1 = Лу2, Л = const.
У2
Например, функции У1 = Зех и У2 = ех линейно зависимы: Ю. =
= 3 = const; функции у1 |
У2 |
и Уз = е2х - линейно независимы: Ю. = ~ = |
|
|
У2 е х |
=зе-х =/:- const; функции у4 = sin х и у5 = cos х являются линейно
=О выполняется для всех1независимыми 2
х Е JR лишь при а1 = а2 =О (или '1Н. = tg х "1 const).
У5
Средством изучения линейной: зависимости системы функций яв-
ляется так называемый определитель Вронского или вронскиан
(Ю. Вронский: - польский математик).
Дпя двух дифференцируемых функций У1 = у1(х) и у2 = У2(х)
вронскиан имеет вид
W(x) = 1 у~
У1
Имеют место следующие теоремы.
Теорема 49.3. Если дифференцируемые функции У1 (х) и У2 (х) ли нейно зависимы на (а; Ь), то определитель Вронского на этом интер
вале тождественно равен нулю
Q Так как функции у1 и У2 линейно зависимы, то в равенстве (49.15)
значение а1 или а2 отлично от нуля. Пусть а1 "1 О, тогда у1 = |
-02.у2; |
|||||
поэтому для любого х Е (а; Ь) |
|
|
|
|
|
а1 |
|
|
|
|
|
• |
|
W(x) = |
1 |
-~У2 |
У21 |
=О. |
||
-~ |
, |
, |
||||
|
0<1 |
У2 |
У2 |
|
||
Теорема 49.4. Если функции у1 (х) и у2(х) - линейно независимые решения уравнения (49.13) на (а; Ь), то определитель Вронского на
этом интервале нигде не обращается в нуль
351
Доказательство теоремы опустим.
Из теорем 49.3 и 49.4 следует, что
одноiJ точке интервала (а; Ь) тогда и
вронскиан не равен ну.л.ю ни в
только тогда, когда частнъ~е
решения
линейно
независuм'Ы.
~
Совокупность любых двух |
линейно независимых на интервале |
(а;Ь) частных решений У1(х) |
и у2(ж) ЛОДУ второго порядка опре |
деляет
фундамен.mал.ьн.ую
систему
решен.и~
этого
уравнения:
любое произвольное решение
у = а1у1 (х) + О:2У2(х).
может
быть
получено
как
комбинация
Пример 49.4. |
Частные решения у1 = sin |
х |
и у2 = cos |
х, у3 = |
|
и у4 = 5cosx (их |
бесчисленное множество!) |
уравнения |
у"+ |
||
образуют фундаментальную систему р{'шений; |
решения |
же ys |
|||
Уб = cos т - |
не образуют. |
|
|
|
|
2 sin у =
= О
х О и
Теперь можно сказать, при каких общим решением уравнения (49.13).
условиях
функция
(49.14)
будет
Теорема
49.5
(структура
общего
решения
ЛОДУ
второго
поряд
ка).
Если
два
частных решения
У1
=
У1(х)
и
У2
=
У2(х)
ЛОДУ
(4913)
образуют
на
интервале
(а;
Ь)
фундаментальную
систему,
то общим
ре
шением
этого
уравнения
является
функция
(49.16)
где с1
и
с2
-
произвольные
постоянные.
О
Согласно
теореме
49.2,
функция
(49.16)
является
решением
урав
нения
(49.13).
Остается
доказать,
что
это
решение
общее,
т.
е.
что
из
него
можно
выделить
единственное
частное
решение,
удовлетворяющее
заданным начальным условиям |
|
|
'1 |
|
|
/ |
|
|||
|
YI |
= Уо, |
|
|
|
|
||||
|
|
х=хо |
|
У |
х=хо |
= Yd, |
|
|||
где хо Е (а;Ь). |
|
|
|
|
|
|
|
|
|
|
Подставив начальные условия |
(49.17) |
в |
решение |
|||||||
систему уравнений |
|
|
|
|
|
|
|
|
|
|
|
Уо |
= С1У1(хо) + с2у2(хо), |
|
|||||||
|
{ |
|
= с~у~ |
(хо)+ с2уНхо), |
|
|||||
где Уо = у(хо), УЬ = |
УЬ |
|
||||||||
у'(хо), с неизвестными |
с1 |
и |
с2. |
|||||||
Определитель |
этой |
системы |
|
|
|
|
|
|
||
|
|
у~(хо) |
У7(хо) 1 = W(xo) |
|||||||
|
1 |
У1 |
(хо) |
У2(хо) |
|
|
|
|
||
равен значению вронскиана W(x) при х = |
х |
0 |
. |
|
||||||
|
|
|||||||||
(49.14),
(49.17)
получим
352
Так как решения у1( х) и у2(х) образуют фундаментальную систему решений на (а; Ь) и х0 Е (а; Ь), то, согласно теореме 49.4, W(x0 ) =f. О.
Поэтому система уравнений имеет единственное решение:
У2(хо) 1 |
о |
1 |
1 У1(хо) |
Уоу~ 1· |
у~(хо) ' |
c2=C:J=---· |
У1/ (хо) |
||
|
W(xo) |
|||
Решение у= сУу1(х) + cgy2(x) является частным решением (единствен
ным, в силу теоремы единственности) уравнения (49.13), удовлетворя
ющим начальным условиям {49.17). Теорема доказана. |
• |
При.мер 49.5. На основании теоремы 49.5 общим решением урав
нения у" +у=О (см. пример 49.4) является функция у=с1 sinx+c2 cosx.
49.5. Линеiilные однородные ДУ n-ro порядка
Полученные результаты можно распространить на линейные од
нородные диффЕ'ренциальные уравнения п-го порядка, имЕ'ющие вид
у(п) + а1(х) · y(n-l) + az(x) · y(n- 2) + ... + ап(х) ·У= О. |
(49.18) |
1. Если функции У1 = У1 (х), У2 = У2(х),.", Уп = у"(х) |
являются |
частными решениями уравнения (49.18), то его решением является и
функция У= С1У1 + С2У2 + ···+ СпУп·
2. Функции У1, У2, ... , Уп называются линеii:н.о независимwми на
(а; Ь), если равенство а1У1 + а2У2 + ... + ctnYn = О выполняется лишь в случае, когда все числа а, = О (i = 1, 2, ... , п); в противном случае (если хотя бы одно из чисел а, не равно нулю) функции У1,У2, ... ,уп -
линеil:н.о зависимы.
3. Определитель Вронского имеет вид
У1 |
У2 |
Уп |
у~ |
у~ |
у~ |
W(x) = у~ |
у~ |
у~ |
(n-1) |
(n-1) |
(n-1) |
У1 |
У2 |
Уп |
4.Частные решения У1, у2, ... , Уп уравнения (49.18) образуют фун
дамен,талън,ую систему решен,иil на (а; Ь), если ни в одной точке этого
интервала вронскиан не обращается в нуль, т. е. W(x) =f. О для всех
хЕ (а; Ь).
5.Общее решение ЛОДУ (49.18) имеет виду= С1У1 +с2у2+...+CnYn,
где Ci (i = 1, ... , п) - произвольные постоянные, у, - частные решения
уравнения (49.18), образующие фундаментальную систему.
12 Конспект лекuиJI по высшей математике Полный курс
353
При.мер 49.6. Показать, что функции У1=е'Х, У2=х·ех, Уз=х2 ·ех
образуют фундаментальную систему решений некоторого ЛОДУ тре
тьего порядка (дополнительно: составить это уравнение).
Q Решение: Найдем W(x):
хех |
х2 ех |
|
|
(х + I)ex |
(х2 + 2х)ех |
|
|
(х + 2)ех (х2 + 4х + 2)ех |
|
||
1 х |
х2 |
1 х |
х2 |
= ез:r 1 х + 1 |
х2 + 2х |
= е3х О 1 |
2х |
1 х + 2 х2 + 4х + 2 |
О 2 4х+2 |
||
= е3х · (4х + 2 - 4х) = 2e3.r.
Ясно, что W(x) -f:. О для всех х Е ~. Следовательно, данные функции
образуют фундаментальную систему решений ЛОДУ третьего поряд
ка. В общем виде ЛОДУ третьего порядка выглядит так:
у111 + а1 (х)у" + а2(х)у' + аз(х)у =О.
Подставив функции у1 , У2, у3 в это уравнение, получим систему из трех
уравнений относительно функций а1 (х), а2(х), а3 (х). Решая ее, полу чим ЛОДУ у111 - Зу" + Зу' - у = О; его общее решение:
•
§50. ИНТЕГРИРОВАНИЕ ДУ ВТОРОГО ПОРЯДКА
СПОСТОЯННЫМИ КОЭФФИЦИЕНТАМИ
50.1.Интегрирование ЛОДУ второго порядка
спостоянными коэффициентами
Частным случаем рассмотренных выше ,/lинейных однородных дифференциальных уравнений являются ЛОДУ с посто.янн:ыми коэф фициентами.
Пусть дано ЛОДУ второго порядка |
|
1 у" +р . у' + q . у = о, 1 |
(50.1) |
где р и q постоянны.
Для нахождения общего решения уравнения (50.1) достаточно най
ти два его частных решения, образующих фундаментальную систему
(см. теорему 49.5).
Будем искать частные решения уравнения (50.1) в виде
у= ekx,
354
где
k |
- |
некоторое
число
(предложено
Л.
Эйлером).
Дифференцируя
эту функцию два раза
нение (50.1), получим:
и |
подставляя выражения |
для у, у' |
|
k |
2 |
· ekx + р · k · ekx + q · ekx |
=О, т. е. |
|
|||
и
у"
в
урав
ekx
·
(k
2
+
pk
+
q)
=О,
или
k
2
+
pk
+
q
=О
(ekx
"::/;О).
(50.2)
~
Уравнение
(50.2)
называется
xapaкmepucmuчecкuм
уравнени
ем ДУ (50.1) |
(для его составления |
достаточно |
заменить у", у' и |
2 |
, k и 1). |
у соответственно на k |
в
уравнении
(50.1)
При
решении
характеристического
уравнения
(50.2)
возможны
сле
дующие три случая. |
|
|
|
Сду'Ч,а11, 1. Корни k |
и k2 |
уравнения |
|
|
1 |
-q |
|
личные: k1 "::/; k2 ( D |
= 1f. |
> О). |
|
(50.2)
действительные
и
раз-
В этом |
|
функции у |
1 |
|
|
му решений |
|
случае частными решениями уравнения |
(50.1) |
являются |
|||
= ekix и у |
2 |
= |
ek x. Они образуют фундаментальную сисге |
||
|
|
|
2 |
|
|
(линейно |
независимы), т. к. их вронскиан |
|
|
||
Следовательно, общее
(49.16), имеет вид
решение
уравнЕ>ния
(50.1), |
согласно |
формуле |
|
|
(50.3) |
Прuмер
50.1.
Решить
уравнение
у"
-
5у'
+
бу
=
О.
Q
Решение:
Составим
характеристическое
уравнение:
k
2
-
5k
+
6
=
О.
Решаем нения: у
его: = с1
k1 |
|
е |
2 |
|
|
х
= 2, |
k |
|
= 3. |
|
2 |
|
|
+с2е |
х, где |
||
|
3 |
|
|
Записываем общее решение данного |
|||
с1 и с |
2 |
- |
произвольные постоянные |
|
|
|
|
урав (фор
мула
(50.3)).
8
Сду-ч,а11. 2. |
Корни k |
|
1 |
ствительные и равные: |
|
и k1
k2 =
характеристического уравнения (50.2)
k2 ( D = lf- -q =О, k1 = k2 = -~).
дей
=
В этом случае имеем лишь одно частное решение у |
1 |
= ekix. |
= |
||
|
|||||
Покажем, что наряду с у |
1 |
решением уравнения (50.1) будет и У2 |
|||
xekix. |
|
|
|
|
|
|
|
|
|
|
|
Действительно, подставим функцию у2 в уравнение |
(50.1). Имеем: |
||||
у~+
ру~ + qy |
2 |
= (xekix)" + p(xekix)' + q(xek1x) = |
|
|
|
|
|
= (2k1ek1x |
+ xkiek1x) + p(ek1x + xk1ek1x) + q(xek1x) |
||
=
=
ek
1
x(2k1
+ kix
+
р
+
pxk1
+
qx)
=
ek
1
x(x(ki
+
pk1
+
q)
+
(р
+
2k1)).
355
Но k~+pk1+q =О, т. к. k1 есть корень уравнения (50.2); p+2k1 ==О,
т. к. по условию k1 = kz = -~.
Поэтому у~+ ру~ + qyz |
= |
О, т. е. функция У2 = xekix является |
||||||||||||||
решением уравнения (50.1). |
|
|
|
|
|
|
|
|
|
|||||||
Частные решения у1 = ek1 х и У2 = з;еk1 х образуют фундаменталь |
||||||||||||||||
ную систему решений: W(x) = e2k 1 x |
"#О. Следовательно, в этом случае |
|||||||||||||||
общее решение ЛОДУ (50.1) имеет вид |
|
|
|
|
|
|
||||||||||
|
|
|
|
|
1у= C1ek 1 x + C2XektX. \ |
|
|
|
(50.4) |
|||||||
СлучМl 3. Корни k1 и k2 |
уравнения (50.2) комплексные: k1 = о:+/Зi, |
|||||||||||||||
|
|
|
2 |
|
|
О, о: = -~, /3 = |
С7 |
> О). |
|
|||||||
k2 =о: - /Зi (D = l!f- - q < |
уq - |
l