тех промежутках, на которых функции p1(x), p2(x) заданы и непрерывны.
π2 (0, b)
y10 |
(x0) |
" |
π |
# |
y20 |
(x0) |
0 |
|
1 |
||||||||
|
|
|
|
|
|
|
|
|
y1(x0) |
= |
2 |
, |
y2(x0) |
= 1 . |
|||
Так как эти векторы линейно независимы, y1(x), y2(x) – ф.с.р. уравнения (3.18).
|
. |
|
. |
Y. . |
. |
|
|
|
. . |
|
|||
|
. |
|
. . |
|
. . |
|
|
. . |
|
|
|||
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
. |
|
. |
|
. |
|
|
. . |
|
|
|||
|
. |
|
. |
|
. |
|
|
. |
. |
|
|
||
|
|
|
|
|
. |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
. |
|
. |
|
|
. |
. |
|
|
||
|
|
|
|
|
. |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
. |
|
. |
|
|
. . |
|
|
|||
|
. |
|
. |
|
. |
|
|
. |
. |
|
|
||
|
|
|
|
|
. |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
. |
|
. |
|
|
. |
. |
|
|
||
|
|
|
|
|
. |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
. |
|
. |
|
|
. . |
|
|
|||
|
. |
|
. |
|
. |
|
|
. |
. |
|
|
||
|
|
|
|
|
. |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
. |
|
. |
|
|
. |
. |
|
|
||
|
|
|
|
|
. |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
. |
|
. |
|
|
. . |
|
|
|||
|
. |
|
. |
|
. |
|
|
. |
. |
|
|
||
|
|
|
|
|
. |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
. |
|
. |
|
|
. |
. |
|
|
||
|
|
|
|
|
. |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
. |
|
. |
|
. |
|
|
. . |
|
||||
... ... ... ... |
|||||||||||||
|
. |
|
π. |
|
. π |
|
|
. |
3π |
. |
|||
|
|
|
|
|
|
||||||||
− |
3π |
. |
−π − |
|
. |
0 |
. |
|
π |
b . |
X |
||
|
|
|
|
||||||||||
2 . |
2 . |
|
. 2 |
|
. |
2 |
|
||||||
|
. |
|
. |
|
. |
|
|
|
. |
|
|
||
|
. |
|
. |
|
. |
|
|
|
. |
|
|
||
|
. |
|
. |
|
. |
|
|
|
. |
|
|
||
|
. |
|
. |
|
. |
|
|
|
. |
|
|
||
|
. |
|
. |
|
. |
|
|
|
. |
|
|
||
|
. |
|
. |
|
. |
|
|
|
. |
|
|
||
|
. |
|
. |
|
. |
|
|
|
. |
|
|
||
|
. |
|
. |
|
. |
|
|
|
. |
|
|
||
|
. |
|
. |
|
. |
|
|
|
. |
|
|
||
|
. |
|
. |
|
. |
|
|
|
. |
|
|
||
|
. |
|
. |
|
. |
|
|
|
. |
|
|
||
Из теоремы 3.2 вытекает, что верно следующее утверждение.
Теорема 3.5. Пусть y1(x), ..., yn(x) – ф.с.р. уравнения (3.17). Тогда для любого решения y(x) этого уравнения найдется (и притом единственным образом) набор постоянных c1, ..., cn, такой, что
y(x) = c1y1(x) + ... + cnyn(x). |
(3.20) |
Формулу (3.20), содержащую при различных c1, ..., cn все решения уравнения (3.17), называют общим решением этого уравнения.
Для рассмотренного уравнения (3.18) общее решение имеет вид
y(x) = c1x + c2 sin(x).
40
Для неоднородного уравнения (3.14) справедливо следующее утверждение, вытекающее из теоремы 3.3 .
Теорема 3.6. Пусть y1(x), ..., yn(x) – ф.с.р. уравнения (3.17), а z(x)
– некоторое решение уравнения (3.14). Тогда для любого решения y(x) уравнения (3.14) найдется (и притом единственным образом) набор постоянных c1, ..., cn, такой, что
y(x) = z(x) + c1y1(x) + ... + cnyn(x). |
(3.21) |
Формула (3.21) называется общим решением уравнения (3.14).
Как и в случае линейных однородных систем дифференциальных уравнений, общих методов нахождения ф.с.р. для уравнения вида (3.17) не существует. Ограничимся здесь рассмотрением частного, но очень важного класса – класса уравнений с постоянными коэффициентами вида
y(n) + a1y(n−1) + ... + any = 0, |
(3.22) |
где a1, ..., an – постоянные вещественные числа.
Из теорем 3.1 и 3.4 следует, что все решения уравнения (3.22) заданы на промежутке −∞ < x < +∞. Поэтому в задаче Коши x0 может быть любым числом. Часто берут x0 = 0.
Для уравнения (3.22) ф.с.р. может быть найдена операционным методом, описанным далее, а также методом Эйлера (аналог которого для случая линейных систем с постоянными коэффициентами упомянут ранее).
Опишем схему применения метода Эйлера к уравнению (3.22). Для этого потребуется понятие комплексного решения.
Пусть u(x), v(x) – дифференцируемые функции вещественной переменной x и пусть ω(x) = u(x) + iv(x). Тогда
ω(x + x) = u(x + x) + iv(x + x),
ω(x + x) − ω(x) |
= |
u(x + x) − u(x) |
+ i |
v(x + x) − v(x) |
. |
x |
|
x |
|
x |
|
Переход к пределу при x → 0 в последнем равенстве позволяет определить производную ω0(x) формулой
ω0(x) = u0(x) + iv0(x).
Аналогично, ω00(x) = u00(x) + iv00(x), ..., ω(n)(x) = u(n)(x) + iv(n)(x). Будем говорить, что функция ω(x) = u(x) + iv(x) является решением
(комплексным) уравнения (3.22), если при подстановке в это уравнение она обращает его в тождество по x:
ω(n)(x) + a1ω(n−1)(x) + ... + anω(x) ≡ 0.
41
Разделение вещественной и мнимой частей в нем приводит к равносильной ему системе двух тождеств:
(
u(n)(x) + a1u(n−1)(x) + ... + anu(x) ≡ 0, v(n)(x) + a1v(n−1)(x) + ... + anv(x) ≡ 0.
Таким образом, функция ω(x) = u(x) + iv(x) является комплексным решением уравнения (3.22) тогда и только тогда, когда ее вещественная и мнимая части (функции u(x) и v(x)) являются решениями этого уравнения. Указанные ранее свойства решений уравнения (3.22) сохраняются и для комплексных решений. В частности, линейная комбинация решений (с комплексными в общем случае коэффициентами) снова служит решением этого уравнения.
Пусть λ = a + bi. Рассмотрим функцию
eλx = e(a+bi)x = aax(cos(bx) + i sin(bx)) = eax cos(bx) + ieax sin(bx).
С учетом изложенного
eλx 0 = (eax cos(bx))0 + i (eax sin(bx))0 =
=(aeax cos(bx) − beax sin(bx)) + i (aeax sin(bx) + beax cos(bx)) =
=(a + bi) (eax cos(bx) + ieax sin(bx)) = λeλx.
Продолжая дифференцирование, получаем, что при комплексном λ, как и в вещественном случае,
eλx 00 = λ2eλx, ..., eλx (n) = λneλx.
Подставляя теперь функцию y(x) = eλx в левую часть уравнения (3.22), получим
y(n)(x) + a1y(n−1)(x) + ... + any(x) = λneλx + a1λn−1eλx + ... + aneλx = = λn + a1λn−1 + ... + an eλx.
Так как eλx 6= 0 (|eλx| = eax > 0), функция y(x) = eλx является решением уравнения (3.22) тогда и только тогда, когда λ – корень полинома Pn(λ) = λn + a1λn−1 + ... + an, который называется характеристическим полиномом уравнения (3.22). Можно показать, что если λ – корень характеристического полинома кратности k > 1, то решениями уравнения (3.22) являются k функций eλx, xeλx, ..., xk−1eλx.
На этом основан метод Эйлера построения ф.с.р. для уравнения (3.22), и состоит он в следующем.
Пусть λ1, λ2, ..., λm – корни характеристического полинома Pn(λ) с кратностями k1, k2, ..., km соответственно, т. е.
k1 + k2 + ... + km = n.
42
Если λj – вещественный корень кратности 1 (простой корень), в ф.с.р. включаем функцию eλj x.
Если λj – вещественный корень кратности kj > 1, в ф.с.р. включаем kj функций eλj x, xeλj x, ..., xkj −1eλj x.
Если λj = aj + bji – комплексный корень кратности 1, в ф.с.р. включаем две функции eaj x cos(bjx), eaj x sin(bjx) – вещественную и мнимую части комплексного решения eλj x.
Замечание. Предполагаем, что коэффициенты a1, ..., an уравнения (3.22) вещественные. Поэтому характеристический полином Pn(λ) имеет вещественные коэффициенты и, следовательно, вместе с комплексным корнем λj = aj +bji у него есть и комплексно-сопряженный корень λj = aj −bji (при этом кратности корней λj и λj одинаковы). Корню λj соответствует решение
eλj x = eaj x cos(bjx) − ieaj x sin(bjx).
Включаемые в ф.с.р. функции можно рассматривать как линейные комби-
нации двух решений eλj x и eλj x уравнения (3.22):
eaj x cos(bjx) = 12 eλj x + 12 eλj x, eaj x sin(bjx) = 21i eλj x − 21i eλj x.
Таким образом, паре комплексных корней λj, λj кратности 1 (их суммарная кратность равна 2) соответствуют 2 решения уравнения (3.22), включаемые в ф.с.р. этого уравнения.
Если λj = aj + bji – комплексный корень характеристического полинома Pn(λ) кратности kj > 1, то в ф.с.р. включаются 2k функций
eaj x cos(bjx), xeaj x cos(bjx), ..., xkj −1eaj x cos(bjx), eaj x sin(bjx), xeaj x sin(bjx), ..., xkj −1eaj x sin(bjx),
являющихся, соответственно, вещественными и мнимыми частями функций eλj x, xeλj x, ..., xkj −1eλj x. Заметим, что суммарная кратность корней λj и λj полинома Pn(λ) в этом случае равна 2k.
Таким образом, получаем в ф.с.р. уравнения (3.22) столько функций, какова сумма кратностей всех корней характеристического полинома, т. е. n. Доказательство того, что эти n функций составляют ф.с.р. уравнения (3.22), не приводим.
Примеры.
1. Построим ф.с.р. и общее решение уравнения |
|
y000 − y = 0. |
(3.23) |
43 |
|
Характеристический полином уравнения (3.23) имеет вид λ3 − 1. Его
корни |
|
|
|
|
|
|
√ |
|
|
|
|
|
√ |
|
|
|
|
|
|
|
|
1 |
|
3 |
|
1 |
|
3 |
|
|
|
|
|
||||||||
λ1 = 1, λ2 = − |
|
+ i |
|
, λ3 = − |
|
|
− i |
|
|
. |
|
|
|
|
||||||
2 |
2 |
2 |
2 |
|
||||||||||||||||
Корню λ1 = 1 сопоставляем решение y1(x) = ex, корням λ2, λ3 = |
|
2 |
||||||||||||||||||
λ |
||||||||||||||||||||
сопоставляем решения |
|
|
|
x! , |
|
|
|
|
|
|
|
|
|
|
|
x! . |
||||
1 |
√ |
|
|
|
|
|
1 |
|
|
|
|
√ |
|
|||||||
|
|
|
|
|
|
|
|
|||||||||||||
y2(x) = e−2 x cos |
3 |
y3(x) = e− |
2 x sin |
|
|
3 |
||||||||||||||
2 |
|
|
2 |
|||||||||||||||||
Эти решения и образуют ф.с.р. уравнения (3.23). Его общее решение есть
|
|
|
1 |
|
|
√ |
|
x! + c3 sin |
√ |
|
x!! . |
|
|
|
|
|
|
|
|
|
|
||||||
|
y(x) = c1ex + e−2 x |
c2 cos |
|
3 |
3 |
|
|
||||||
|
|
2 |
2 |
|
|
||||||||
2. Построим ф.с.р. и общее решение уравнения |
|
|
|
|
|
||||||||
|
|
|
|
y(IV ) − y00 = 0. |
|
|
|
− |
(3.24) |
||||
2 |
2 |
|
|
|
|
|
|
|
|
|
|
λ2 = |
|
Характеристический полином уравнения (3.24) имеет вид λ4 |
|
||||||||||||
= λ (λ |
− 1). Его корни: λ1,2 |
= 0 (т. е. 0 – корень кратности 2), λ3 |
= 1, |
||||||||||
λ4 = −1. |
x |
x |
|
|
|
|
|
|
|
|
|
|
|
Ф.с.р.: 1, x, e |
|
, e− . |
|
|
|
|
|
|
|
|
|
|
|
Общее решение: y(x) = c1 + c2x + c3ex + c4e−x. |
|
|
|
|
|
||||||||
3. Построим общее решение уравнения |
|
|
|
|
|
||||||||
|
|
|
y00 − 3y0 |
+ 2y = 0 |
|
|
|
|
(3.25) |
||||
и найдем его решение y(x) с начальными данными y(0) = 2, y0(0) = −1.
Характеристический полином уравнения (3.25) имеет вид λ2 − 3λ + 2, его корни: λ1 = 1, λ2 = 2. Общее решение: y(x) = c1ex + c2e2x.
Подставляя начальные данные y(0) = 2, y0(0) = −1 в равенства
y(x) = c1ex + c2e2x, y0(x) = c1ex + 2c2e2x,
получим алгебраическую линейную систему с неизвестными c1, c2
(
c1 + c2 = 2, c1 + 2c2 = −1.
Отсюда c1 = 5, c2 = −3, а искомое решение имеет вид y(x) = 5ex − 3e2x. Ранее отмечено, что зная ф.с.р. системы (3.3), можно найти некоторое
частное решение Z(x) системы (3.2). Применим для этого метод вариации произвольных постоянных (метод Лагранжа).
44