Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Математика_Семестр3_МетодПособие.pdf
Скачиваний:
157
Добавлен:
05.06.2015
Размер:
1.75 Mб
Скачать

62

y1 = 2, y2 = 0,25et .

Поэтому общее решение уравнения (2.67) будет

y = C et +C

2

t et + 2

+ 0,25et .

(2.68)

1

 

 

 

Теперь, чтобы от решения (2.68) перейти к общему решению исходного уравнения (2.66), возвращаемся к переменной x по формулам (2.64). В результате получим общее решение исходного уравнения (2.66) в виде

y = C1 1x +C2 lnxx + 2 + 0,25x.

Замечание. Решение однородного уравнения Эйлера можно искать в

виде

y = ekt = (et )k = xk .

Тогда y′ = kxk 1, y′′ = k(k 1)xk 2 ,... Подстановка этих соотношений в исходное дифференциальное уравнение (2.63) (при f (x) = 0) приводит его сразу к соответствующему характеристическому уравнению относительно k.

Простому корню k1 характеристического уравнения соответствует частное решение xk1 , а m-кратному действительному корню k1 - m линейно независимых решений вида: xk1 , xk1 lnx, xk1 (lnx)2 ,..., xk1 (lnx)m1.

Если коэффициенты дифференциального уравнения действительны, а характеристическое уравнение имеет комплексные сопряженные корни кратности m: k1 =α + βi, k2 =α βi, то уравнение Эйлера будет иметь 2m частных линейно независимых решений вида:

xα cos(β lnx),

xα sin(β lnx),

xα lnx cos(β lnx),

xα lnxsin(β lnx),

……………………..

……………………..

xα (lnx)m1 cos(β lnx),

xα (lnx)m1 sin(β lnx).

В общем случае решения уравнения с переменными коэффициентами (2.61) строятся приближёнными методами. Одним из эффективных приближённых методов является метод степенных рядов [5,9,10].

63

Рассмотрим два варианта применения этого метода:

1)метод степенных рядов в форме метода неопределённых коэффициентов;

2)разложение решения задачи Коши в степенной ряд с помощью формулы Тей лора.

2.4.2. Решение задачи Коши методом степенных рядов

Пусть дано линейное дифференциальное уравнение n-го порядка

y(n) + a1(x) y(n1) + a2 (x) y(n2) + an1(x) y′+ an (x) y = 0 ,

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

y(x0 ) = y0 ,

y(x0 ) = y0, ..., y(n1) (x0 ) = y0(n1),

то есть сформулирована задача Коши.

Будем искать решение уравнения в виде бесконечного степенного ряда с неопределёнными коэффициентами

y(x) = cn xn = c0 + c1x + c2 x2 +...+ cn xn +...

n=0

(здесь для простоты принято x0 = 0).

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

Пример. Решить задачу Коши для уравнения

y′′ − 2xy′ − 4y = 0

(2.69)

при начальных условиях

y(0) = 0, y (0) =1.

(2.70)

 

Представим решение задачи (2.69), (2.70) степенным рядом с неопределёнными коэффициентами:

64

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y = an xn =a0 + a1x + a2 x2 + + an xn +

 

 

 

( 2.71)

 

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Подставляем искомое решение (2.71) в уравнение (2.69),

учитывая со-

отношения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y′ = a1 + 2a2 x + 3a3 x2 + + nan xn1 +

 

 

 

 

 

 

 

 

 

y′′ = 2a2 + 3 2a3 x + 4 3a4x2 + + n(n 1)an xn2 +

 

 

 

 

Тогда имеем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[2a

2

+ 3

2a

3

x + 4

3a

4

x2 + + n(n 1)a

n

xn2

+ ]

2x(a + 2a

2

x +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

+ 3a

3

x2

+

+ na

n

xn1

+ ) 4(a

0

+ a x + a

2

x2 + a

3

x3 + + a

n

xn + ) = 0.

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

Группируя подобные члены при одинаковых степенях x, получим тождественное равенство:

2a2 4a0 + (3 2a3 2a1 4a1)x + (4 3a4 2 2a2 4a2 )x2 + (5 4a5

3 2a3 4a3 )x3 +...+[n(n 1)an 2(n 2)an2 4an2 ]xn2 +...0.

В левой части этого тождества имеем степенной ряд. Ряд будет тождественно равен нулю, если его коэффициенты будут равны нулю. Приравнивая коэффициенты при различных степенях x нулю, получаем систему уравнений:

2a2 4a0 = 0, 3 2a3 6a1 = 0,

4 3a4 8a2 = 0, 5 4a5 10a3 = 0,

……………………….

n(n 1)an 2n an2 = 0.

Из этой системы следуют рекуррентные формулы:

a2

= 2a0 ,

 

 

a3

= a1,

 

 

…………..

 

 

an =

2an2

,

(2.72)

n 1

 

 

 

 

65

позволяющие выразить последующие коэффициенты ряда через предыду-

щие.

 

Подчиняя

искомое решение (2.71) начальным условиям, получаем

a0 = 0, a1 =1.

Остальные коэффициенты ряда определяются по рекуррент-

ным формулам (2.72):

a2 = a0 = 0,

a3 = a1 =1, a4 = 0, a5 =1/ 2!, a6 = 0, a7 =1/ 3! и т. д.

После подстановки коэффициентов в (2.71) находим окончательное выражение

y = x +

x3

+

x5

+

x7

+ +

x2 n+1

+

(2.73)

1!

2!

3!

n!

 

 

 

 

 

 

Применяя признак Даламбера,

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

(2.73) схо-

дится на всей числовой оси.

Следовательно, выражение (2.73) представляет

решение исходной задачи при

x (−∞;).

 

 

 

2.4.3. Построение общего решения линейного неоднородного уравнения методом степенных рядов

Пусть требуется найти общее решение линейного

неоднородного диф-

ференциального уравнения

 

y′′− xy′− y = 2.

(2.74)

Общее решение уравнения имеет вид

 

y = C1y1 +C2 y2 + y ,

(2.75)

где y - частное решение неоднородного уравнения, C1 и C2 - произвольные постоянные, y1 и y2 - частные линейно независимые решения однородного уравнения

y′′− xy′− y = 0.

(2.76)

Чтобы построить общее решение уравнения (2.74), будем решать задачу Коши для этого уравнения при начальных условиях:

y(0) = C1; y (0) = C2 .

(2.77)

Решение задачи (2.76), (2.77) представим рядом

66

y = a

0

+ a x + a

2

x2 + a

3

x3

+ + a

n

xn +

(2.78)

 

1

 

 

 

 

 

 

Легко видеть, что a0 = y(0),

a1 = y1(0),

то есть первые два коэффи-

циента разложения решения в ряд (2.78) представляют собой соответственно начальное значение функции и её первой производной. Поэтому в соответствии с начальными условиями (2.77) можно принять

a0 = C1, a1 = C2 .

(2.79)

Для определения последующих коэффициентов ряда подставляем его в уравнение (2.74)

[2a

2

+ 3

 

2a

3

x + + n(n 1)a

n

xn2 + ]

x[a

+ 2a

2

x + 3a

3

x2

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

+ + na

n

xn1 + ] [a

0

+ a x + a

2

x2

+ a

3

x3

+ + a

n

xn + ] = 2,

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

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

2a2 a0 + (3 2a3 2a1 )x + (4 3a4 3a2 )x2 + (5 4a5 4a3 )x3 +...+ +[n(n 1)an (n 1)an2 ] xn2 + = 2.

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

2a2 a0 = 2,

3 2a3 2a1 = 0, 4 3a4 3a2 = 0,

…………………………

n(n 1)an (n 1)an2 = 0,

В результате рекуррентные формулы для коэффициентов примут вид:

a2

= a0 / 2 +1,

 

a3 = a1 / 3,

 

a4

= a2 / 4,

 

…………….

 

an = an2 / n.

(2.80)

По этим формулам с учётом (2.79) получаем:

 

a2

= С1 / 2 +1,

 

a3

= С2 / 3,

 

67

a4 = С1 /(2 4)+1/ 4, a5 = C2 /(3 5),

a6 = C1 /(2 4 6)+1/(4 6)

и так далее. Подставляя найденные коэффициенты в искомое решение (2.78) и группируя слагаемые, получим общее решение уравнения (2.74) в форме:

 

 

 

 

 

 

x

2

 

 

 

x

4

 

x

6

 

 

x

3

 

x

5

 

x

7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

+

 

 

+

 

 

 

 

 

 

 

+

 

 

 

 

+

 

 

 

 

 

 

 

 

 

y = C1 1+

2

2 4

2

4 6

+

+ C2 x +

3

3 5

3 5 7

+

 

 

 

 

 

 

 

 

 

 

 

 

 

2.81)

+ x

2

+

x4

+

 

x6

 

+

 

 

x8

+

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

4 6

 

4 6 8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Первые два ряда в (2.81) сходятся на всей числовой оси и определяют функции y1 и y2 , линейно независимые в окрестности точки x=0.

Ряд

y = x2 + x44 + 4x66 + 4 x68 8 +

также сходится на всей числовой оси и удовлетворяет уравнению (2.74). Поэтому функция y является разложением в степенной ряд частного решения исходного линейного неоднородного уравнения. Заметим, что в данном примере частное решение y можно было проще найти методом подбора. Оно, очевидно, равно y = −2 . Тогда функции y1 и y2 следует находить как частные решения однородного уравнения (2.76), используя рекуррентные соотношения (2.80) и формулы (2.79).

2.4.4. Разложение решения задачи Коши в ряд Тейлора

Пусть требуется найти решение дифференциального уравнения n-го порядка, разрешенного относительно старшей производной

y

(n)

′′

(n1)

),

(2.82)

 

= f (x,y,y ,y ,...,y

 

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

 

 

 

y(x0 ) = y0 ,

 

y(x0 ) = y0,

...,

y(n1)(x0 ) = y0(n1).

(2.83)

Будем искать решение задачи в виде разложения в ряд Тейлора

 

 

 

 

 

 

68

 

 

 

 

 

 

y(x) = y(x0 )+

y(x0 )

(x x0 )+

y′′(x0 )

(x x0 )2 +...+

y(n)(x0 )

(x x0 )n +...(2.84)

1!

 

 

n!

 

 

 

2!

 

 

 

 

 

 

В частности, при x0 = 0 получаем разложение в ряд по степеням x

ряд Маклорена:

 

 

 

 

 

 

 

 

 

 

 

 

 

y(x) = y(0) +

y(0)

x +

y′′(0)

x2 +...+

y(n)(0)

xn

+...

(2.85)

 

2!

 

 

1!

 

 

 

 

n!

 

 

Задача сводится к отысканию коэффициентов ряда (2.84). Как видно, первые n коэффициентов ряда могут быть найдены непосредственно из начальных условий (2.83); (n+1)-ый коэффициент разложения решения в ряд: y(n) (x0 ) определяется из дифференциального уравнения (2.82) после подстановки в правую часть начальных условий (2.83). Последующие коэффициенты ряда (2.84) находятся дифференцированием правой части уравнения (2.82) (обычно с использованием правила дифференцирования сложной функции) и начальных условий (2.83). Если полученный ряд сходится, то в интервале сходимости он является решением задачи ( 2.82), (2.83).

Заметим, что этот метод является достаточно универсальным и применим к нелинейным уравнениям с переменными коэффициентами, но вычисление производных высокого порядка может оказаться трудоёмким из-за необходимости последовательного дифференцирования сложных функций.

Пример. Решить задачу Коши для уравнения

 

 

y′′ = y2 xey

(2.86)

при начальных условиях

y(0) =1,

 

y (0) =1.

 

Принимаем решение в виде (2.85). В рассматриваемой задаче первые два коэффициента ряда определяются из начальных условияй. Третий коэффициент получается непосредственно из дифференциального уравнения (2.86) при x=0 и равен y′′(0) =1.Дифференцируя последовательно уравнение (2.86), получим

 

y

′′′

′′

e

y

xe

y

 

 

 

 

 

 

 

 

 

 

 

 

 

(x) = 2 y y

 

 

 

y ,

 

 

 

 

 

 

 

 

 

 

y

IV

(x) = 2 y

′′2

 

 

 

′ ′′′

2e

y

y

xe

y

y

2

xe

y

 

′′

 

 

 

+ 2 y y

 

 

 

 

 

y .

Поэтому при x=0 находим

 

y

′′′

 

 

2 1 1e = 2 e,

y

IV

(0) = 6 4e.

 

(0) =

 

 

69

Ограничиваясь первыми пятью членами ряда (2.85), получим решение задачи в виде

y(x) =1+ x + 21! x2 + 2 3!e x3 + 6 4!4e x4 +...

Полученное выражение является решением при условии сходимости ряда и даёт достаточно точное значение функции y в малой окрестности точки x=0.

2.5. Системы дифференциальных уравнений

Рассмотрим систему n дифференциальных уравнений относительно n неизвестных функций y1(x), y2 (x), , yn (x).

Система дифференциальных уравнений первого порядка, разрешенных относительно производных от искомых функций

yi′ = fi (x, y1, y2 , , yn ), (i =1,2,...,n) (2.87)

называется системой, записанной в нормальной форме Коши или нормаль-

ной системой.

Решением нормальной системы (2.87) на интервале (a, b) изменения аргумента x называется всякая совокупность n функций y1(x), y2 (x), , yn (x), дифференцируемых на интервале (a, b), и обращающих каждое из уравнений системы (2.87) в тождество.

Задача Коши для системы (2.87) формулируется так: требуется найти

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

удовлетворяющее при одном и том же начальном значе-

нии независимой переменной

x = x0

 

n начальным условиям

y

(x

0

) = y0 ,

y

2

(x

0

) = y0 ,

y

n

(x

0

) = y0 .

1

 

1

 

 

2

 

 

n

Рассмотрим различные методы интегрирования систем дифференциальных уравнений.

2.5.1. Метод исключения неизвестных

Этот метод является достаточно общим, пригодным для систем дифференциальных уравнений различного типа и основан на сведении нормальной системы n дифференциальных уравнений относительно n неизвестных функций y1(x), y2 (x), , yn (x) к одному дифференциальному уравнению n-

70

го порядка относительно одной неизвестной функции. Применение этого метода покажем на примере.

Пример. Решить систему

 

y′ = −4y

+ y

2

+ x,

(2.88)

 

 

1

1

 

 

 

y2′ = −2 y1 y2 + 3x.

 

Последовательность решения

такова: дифференцируем

первое урав-

нение по x:

 

 

 

 

 

 

 

 

y1′′= −4y1

+ y2′ +1.

(2.89)

Подставляем y2

из второго уравнения (2.88) в (2.89):

 

 

y1′′= −4y1′ − 2 y1 y2 +3x +1.

(2.90)

Из первого уравнения системы (2.88) находим

 

 

y2 = y1

+ 4y1 x.

(2.91)

и подставляем в (2.9 0).

В результате

исключаем функцию y2

и получаем

неоднородное дифференциальное уравнение второго порядка относительно одной неизвестной функции y1:

y1′′= −4y1′ − 2y1 y1′ − 4y1 + x + 3x +1= −5y1′ − 6y1 + 4x +1

или

 

 

 

 

 

 

 

 

 

y1′′+ 5y1′ + 6 y1 = 4x +1.

 

 

 

 

 

 

 

Его общее решение имеет вид

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

=C e2x + C

2

e3x

+

2x

7

.

 

 

 

 

 

(2.92)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

 

 

3

 

18

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Далее из (2.91)

с учетом (2.92) находим y2 :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2x

 

 

 

3x

 

2

 

 

 

2x

 

 

 

 

3x

 

2x

 

7

 

 

y

 

= −2C e

 

 

3C

 

e

 

+

 

+ 4 C e

 

+ C

 

e

 

 

+

 

 

 

 

x =

 

 

 

 

 

3

 

 

 

 

3

18

 

2

1

 

 

 

2

 

 

 

 

1

 

 

 

 

2

 

 

 

 

 

 

 

=2C1 e2x + C2 e3x + 53x 89.

Врезультате общее решение системы запишется в виде

y1 =C1 e2x + C2 e3x + 23x 187 , y2 = 2C1 e2x + C2 e3x + 53x 98.