Материал: Diff_lektsii__1

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам
В точке x0 =

тех промежутках, на которых функции 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. .

.

 

 

 

. .

 

 

.

 

. .

 

. .

 

 

. .

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

.

 

.

 

.

 

 

. .

 

 

 

.

 

.

 

.

 

 

.

.

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

.

 

.

 

 

.

.

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

.

 

.

 

 

. .

 

 

 

.

 

.

 

.

 

 

.

.

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

.

 

.

 

 

.

.

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

.

 

.

 

 

. .

 

 

 

.

 

.

 

.

 

 

.

.

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

.

 

.

 

 

.

.

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

.

 

.

 

 

. .

 

 

 

.

 

.

 

.

 

 

.

.

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

.

 

.

 

 

.

.

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

.

 

.

 

.

 

 

. .

 

... ... ... ...

 

.

 

π.

 

. π

 

 

.

.

 

 

 

 

 

 

.

−π −

 

.

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) = e2 x cos

3

y3(x) = e

2 x sin

 

 

3

2

 

 

2

Эти решения и образуют ф.с.р. уравнения (3.23). Его общее решение есть

 

 

 

1

 

 

 

x! + c3 sin

 

x!! .

 

 

 

 

 

 

 

 

 

 

 

y(x) = c1ex + e2 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