
ITIS0
.pdf
линейным однородным уравнением: y a(x)y . Это уравнение уравнением с разделяющимися переменными и имеет решение y C
является
|
|
|
e |
a(x)dx |
. |
|
Теперь мы будем искать решение исходного неоднородного уравнения в виде
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y C(x) e |
a(x)dx |
. |
Найдем |
неизвестный множитель C(x) , подставив |
y в |
|||||||||||||||||
|
|
|||||||||||||||||||||
указанном |
|
виде |
в |
|
заданное |
|
уравнение. |
Мы |
получим |
|||||||||||||
C (x) e |
|
a(x)dx |
C(x) a(x)e |
a(x)dx |
C(x) a(x)e |
|
a(x)dx |
b(x) . |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
После |
взаимного |
уничтожения |
одинаковых |
слагаемых |
в левой и |
правой |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
частях |
|
придем к |
соотношению |
C (x) e |
a(x)dx |
b(x) . Отсюда |
мы |
найдем |
||||||||||||||
|
|
|
|
|
||||||||||||||||||
C (x) , |
|
|
а |
затем |
и |
C(x) |
с точностью |
до |
|
произвольного |
постоянного |
слагаемого.
П р и м е р. Найти кривые, у которых площадь трапеции, ограниченной осями координат, касательной и ординатой точки касания, есть величина
постоянная, равная 3a2 .
Решение. Высота трапеции равна абсциссе точки основание трапеции отличается от меньшего, равного
касания |
x . Большее |
y , на величину x y .
Выражая площадь трапеции, получим |
соотношение |
2y xy |
x 3a |
2 |
, откуда |
|||||
|
2 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
выведем линейное уравнение |
y 2 y 6a2 . |
|
Найдем |
сначала |
решение |
|||||
|
x |
x2 |
|
|
|
|
|
|
|
|
соответствующего однородного уравнения y |
2 |
y . Это |
y(x) C x |
2 |
. Теперь |
|||||
|
||||||||||
x |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
подставим выражение y(x) C(x) x2 |
в линейное неоднородное уравнение. |
Мы получим соотношение
подставить выражение |
C( |
|||
решение y(x) |
2a2 |
Cx2 . |
||
x |
||||
|
|
|
C ( x)
x) x |
2 |
|
6a |
2 |
|
|
|
|
, откуда |
||||||
|
|
|
|||||
|
x |
2 |
|||||
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
в представление |
y(x) |
C(x) 2ax2 C . Осталось
. В результате получим

Уравнение Бернулли
К решению линейного уравнения сводится решение уравнения Бернулли
y a(x)y b(x)y |
n |
, где |
n 1 |
. Действительно, если разделить обе части |
|
уравнения на |
y |
n |
, то становится очевидной необходимость замены |
|
1 |
z . |
|||
|
|
||||||||
|
y |
n 1 |
|||||||
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
Действительно, |
|
уравнение принимает |
вид z a(x)(1 n)z b(x)(1 n) и |
||||||
оказывается |
линейным |
уравнением. |
Решив его и найдя |
z(x) , |
мы |
||||
возвращаемся к функции |
y(x) в соответствии с приведенной формулой. |
|
П р и м е р. Решить уравнение xy 2y x5 y3ex 0. Введем новую функцию
1 |
|
z(x) y2 (x) |
. Тогда исходное уравнение сводится к линейному уравнению |
z |
4z |
|
4 |
e |
x |
. |
Решая соответствующее однородное уравнение, получим |
||||||||
x |
|
2x |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z Cx |
4 |
, |
следовательно, |
решение |
неоднородного |
линейного |
уравнения |
||||||||
|
|||||||||||||||
следует |
искать |
|
в виде |
z C(x) x |
4 |
. Подставив |
в уравнение, |
получим |
|||||||
|
|
||||||||||||||
C (x) 2ex или C(x) 2ex C . В итоге, восстановив |
z(x) и перейдя к y(x) , |
||||||||||||||
получим |
y2 (x) |
1 |
|
. |
|
|
|
|
|||||||
|
2x4ex Cx4 |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема существования и единственности решения дифференциального уравнения первого порядка
Пусть дано дифференциальное |
уравнение |
y (x) f (x, y(x)) |
|
с |
начальным |
||||||||
условием |
y(x |
) y , причем |
|
функция |
f (x, y) |
определена |
|
в |
некоторой |
||||
|
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
области, содержащей точку (x |
, y |
|
) , и удовлетворяет в этой области условию |
||||||||||
|
|
|
0 |
|
0 |
|
|
|
|
|
|
|
|
Липшица |
по |
переменной |
y : |
|
| |
f (x, y ) f (x, y |
) | M | y y |
|. |
Тогда на |
||||
|
|
|
|
|
|
|
1 |
|
2 |
1 |
2 |
|
|
некотором отрезке |
| x x |
| d |
существует единственное решение исходного |
|
0 |
|
|
уравнения, удовлетворяющее начальному условию.
Доказательство. Заданное дифференциальное уравнение
условием равносильно интегральному уравнению |
y(x) y |
|
0 |
с |
начальным |
|
|
x |
|
|
|
f (t, y(t))dt . |
|
||
|
x |
|
|
0 |
|
Предложим построить решение интегрального уравнения методом итераций:
|
|
|
|
x |
|
|
|
|
|
|
x |
|
|
пусть |
y (x) y |
|
|
f (t, y |
)dt , |
y (x) y |
|
|
|
f (t, y (t))dt ,….., |
|||
|
1 |
0 |
|
0 |
|
2 |
0 |
|
|
1 |
|||
|
|
|
|
x |
|
|
|
|
|
|
x |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
0 |
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
yn (x) y0 |
f (t, yn 1(t))dt ,…. |
Предложенный |
|
процесс |
итераций |
||||||||
x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
бесконечен. Покажем, что получаемая последовательность функций

yn (x), |
n N , |
сходится |
на некотором |
|
отрезке |
|||||||
|
|
|
|
x |
|
|
|
|
|
|
|
|
y |
(x) yn (x) |
|
|
f (t, yn (t)) f (t, y |
|
(t)) |
|
dt . |
||||
|
n 1 |
|
||||||||||
n 1 |
|
|
|
|
|
|
|
|||||
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
| x x |
|
| d . Рассмотрим |
|
0 |
|
|
|
В |
соответствии |
с |
интегральными |
неравенствами |
и |
||||||
| y |
(x) y (x) | | x x |
| max |
|
f (t, y |
(t)) |
|||
n 1 |
n |
|
|
0 |
|t x | |x x | |
n |
|
|
|
|
|
|
|
0 |
0 |
|
|
| x x | M |
max |
|
y |
(t) y |
(t) . |
|
||
|
0 |
|t x | |x x | |
n |
n 1 |
|
|
|
|
|
|
0 |
0 |
|
|
|
|
|
Выберем положительное число |
d |
так, чтобы |
условием
f (x, y |
n 1 |
(t)) |
|
|
d M q 1.
Липшица
Тогда
max |
| y |
|
|
(x) y |
|
(x)| q max |
| y |
|
(x) y |
(x)| ... qn |
max |
| y (x) y |
| |
|||||||||||||||
|x x |
| d |
n 1 |
|
|
n |
|
|x x | d |
|
n |
|
n 1 |
|
|
|
|
|
|x x | d |
1 |
0 |
|
||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
Пользуясь свойством модуля суммы, получим |
|
|
|
|
|
|
|
|
||||||||||||||||||||
max |
|
| y |
|
(x) y |
(x) | max | y |
|
(x) y |
|
|
(x) y |
n k 1 |
(x) ... y |
(x) | |
|
||||||||||||||
|x x | d |
|
n k |
|
|
|
n |
|
|
|x x | d |
n k |
|
n k 1 |
|
|
|
|
n |
|
|
|||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
max |
| y |
|
|
|
(x) y |
(x) | max |
| y |
(x) y |
|
(x) | ... |
|
|
|
||||||||||||||
|
|x x |
| d |
n k |
|
|
|
n k 1 |
|x x |
|
| d |
|
n k 1 |
|
|
|
n k 2 |
|
|
|
|
|
|
||||||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
max |
| y |
|
|
|
(x) y (x) | (qn k 1 |
... qn ) |
max |
| y (x) y |
|
| |
|
|
|
|||||||||||||||
|
|x x |
| d |
n 1 |
|
|
|
n |
|
|
|
|
|x x |
| d |
1 |
|
0 |
|
|
|
|
||||||||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
q |
n |
|
|
|
|
|
|
|
| y (x) y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
max |
|
|. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
1 q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|x x |
| d |
1 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
.
Вследствие того, что
q
1
, значение
q |
n |
|
|
| y (x) y |
|
||
|
max |
| |
|||||
1 q |
|||||||
|x x |
| d |
1 |
0 |
|
|||
0 |
|
|
|
|
можно сделать
сколь угодно малым при достаточно большом значении n . |
Следовательно, |
при любом значении x, | x x0 | d, последовательность |
yn (x), n N , |
удовлетворяет критерию Коши сходимости числовой последовательности, и
значит, |
имеет |
предел. |
Следовательно, |
существует |
|
lim yn (x) y(x), |
| x x |
| d . |
|
|
|
n |
|
0 |
|
|
|
Единственность итерационного решения доказывается подобным способом: предположим, что существуют два решения исходного дифференциального уравнения (они же – решения приведенного интегрального уравнения) y(x)
и y(x) . Следовательно,
x |
|
y(x) y(x) |
|
|
|
x |
|
0 |
|
f (t, y(t))
f
(t, y(t)) dt
.
Отсюда
согласно условию Липшица
max | y(x) y(x)| q max | y(x) y( |
|
|x x0| d |
|x x0| d |
возможно только в том случае, когда
ивыбору
x)|. Последнее
max |
| y(x) y( |
|
|x x |
| d |
|
0 |
|
|
числа |
d |
получим |
в силу того, |
что q 1, |
|
x)| 0 , что и доказывает |
единственность решения на выбранном отрезке.

Применение пакета программ MAXIMA для решения дифференциального уравнения первого порядка и задачи Коши
Для решения дифференциальных уравнений и задач Коши удобно применять пакет математических программ MAXIMA.
Рассмотрим следующую задачу Коши. Найти решение дифференциального
уравнения (1 e |
x |
)y ye |
x |
, удовлетворяющее условию |
y(0) 2 . |
|
|
Аналитическое решение. Представим производную в уравнении в виде
|
|
|
|
|
dy |
|
|
e |
x |
dx |
|
|
||
отношения дифференциалов и разделим переменные: |
|
|
. Интегрируя |
|||||||||||
y |
1 e |
x |
||||||||||||
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
||||||
обе части, |
получим |
ln y ln(1 ex ) lnC |
или |
y C(ex 1) . |
Подставляя в |
|||||||||
полученное |
решение |
уравнения значения |
x 0 |
и |
y 2 |
, |
|
получим |
C 1. |
|||||
Поэтому решением поставленной задачи Коши является |
y (e |
x |
1) . |
|
||||||||||
|
|
Решим задачу Коши, рассмотренную в предыдущем примере, с помощью компьютера. Для этого введем в память компьютера дифференциальное уравнение: (1+%e^x)*‘diff(y,x)=y*%e^x и нажмем Shift+Enter. На следующей строчке появится введенное уравнение. Заметим, что перед командой diff(y,x) обязательно должен стоять апостроф ‘, иначе компьютер продифференцирует y по x и выдаст 0.
Теперь для того, чтобы решить введенное дифференциальное уравнение (не выше второго порядка), посмотрим, под каким номером (например, (%o1)) запомнил компьютер введенное уравнение, этот номер стоит перед дифференциальным уравнением, выведенным компьютером на экран. Компьютер решит дифференциальное уравнение по команде ode2(%o1,y,x) и Shift+Enter и выведет на экран y=%c*(%e^x+1). Решение уравнения получено. Роль C в компьютерной записи выполняет %c. Теперь используем начальное условие. Для этого посмотрим номер, под которым компьютер вывел на экран решение уравнения (например, %o2). Введем команду ic1(%o2,x=0,y=2) и нажмем Shift+Enter. Мы получим решение задачи Коши y=%e^x+1.
Понижение порядка дифференциального уравнения
До сих порядка. которые
порядка. решения
пор мы решали только дифференциальные уравнения первого Существуют дифференциальные уравнения высших порядков, сводятся к решению дифференциальных уравнений первого
Простейший пример: |
y e |
2x |
. Очевидно, что для получения |
|
y(x) достаточно дважды проинтегрировать правую часть. Заметим,
что при первом интегрировании мы получаем постоянную интегрирования

y |
1 |
e |
2x |
C |
. При втором интегрирование мы снова получаем постоянную |
|
|||||
|
|
||||
|
2 |
|
|
1 |
|
|
|
|
|
|
интегрирования – уже другую: |
y |
1 |
e |
2x |
C x C |
. Таким образом, решение |
|
|
|||||||
|
|
||||||
|
|
4 |
|
|
1 |
2 |
|
|
|
|
|
|
|
|
дифференциального второго порядка содержит уже две произвольные
постоянные. Очевидно, |
что решая подобное простейшее уравнение n -го |
порядка, мы получим n |
произвольных постоянных. Следовательно, что для |
получения частного решения дифференциального уравнения |
n -го порядка |
следует задавать n дополнительных условий. |
|
1.Уравнение вида F(x, y , y ) 0. В этом случае следует взять за неизвестную функцию z(x) y . Найдя z , мы определим y интегрированием.
П р и м е р. Решить уравнение x2 y y 2 . Введем функцию z y и решим уравнение с разделяющимися переменными x2 z z2 . Получив его решение
z |
x |
, найдем исходную функцию |
y : |
y(x) |
x |
|
1 |
ln |1 C x | C . |
||
1 C x |
|
|
2 |
|||||||
|
|
|
|
C |
|
C |
1 |
2 |
||
|
1 |
|
|
|
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Для выделения из множества решений единственного решения можно |
|||||||||||
задать условия: y(x ) y , |
y (x ) y . Например, |
y(1) 0, |
y (1) 2 . |
|
||||||||
|
0 |
0 |
0 |
1 |
|
|
|
|
|
|
|
|
Из |
последнего |
условия |
мы |
получим |
C |
1 |
, |
то |
есть |
|||
|
||||||||||||
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
y(x) 2x 4ln |1 x / 2| C . |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
||||
|
|
|
2 |
C 2 4ln 2. |
|
|
|
|
|
|
|
|
Из |
первого условия |
получим |
Теперь |
частное |
решение, |
|||||||
|
|
|
|
2 |
|
|
|
|
|
|
|
|
удовлетворяющее двум дополнительным условиям, имеет вид |
|
|
|
|||||||||
y(x) 2(1 x) 4ln | 2 x | . |
|
|
|
|
|
|
|
|
|
|
2. Уравнение
замену |
z( y) |
вида F(y, y , y ) 0 . В этом случае целесообразно сделать y . Заметим, что переменной во введенной функции является
не
x
– как в предыдущем случае, а
y
. Теперь
y (x) |
dy |
|
dy |
|
dy |
|
dx |
dy |
dx |
||||
|
|
|
z z
.
Уравнение становится дифференциальным уравнением первого порядка.
Решив его, то есть, найдя |
z( y) , мы получим y(x) |
как решение уравнения с |
||||
разделяющимися переменными y z( y) . |
|
|
|
|||
П р и м е р. Решить уравнение |
y y 2 2e y . |
Сделаем замену |
z( y) y и |
|||
запишем уравнение в |
виде |
z z (y) z2 2e y . |
Очевидно, |
что здесь |
||
целесообразна еще одна |
|
замена: z2 (y) p(y) . |
Уравнение принимает вид |
линейного уравнения первого порядка: 12 p ( y) p( y) 2e y . Решаем сначала соответствующее однородное ( p(y) Ce 2 y ), а затем ищем решение

неоднородного уравнения в виде
получим |
C (y) 4e |
y |
, и значит, |
|
p(y) C(y) |
|
p(y) 4e |
y |
|
e |
2 y |
. |
|
||
C e |
||
|
1 |
|
Подставляя в уравнение,2 y . Следовательно, для
определения функции |
y(x) |
мы имеем уравнения |
dy |
|
4e |
y |
C e |
2 y |
. Это |
|
|
|
|||||||
|
|
|
dx |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
уравнения с разделяющимися уравнениями, и мы должны восстановить
|
|
|
|
|
y |
dy |
|
|||
первообразные по дифференциалам: |
|
e |
|
dx . В результате получим |
||||||
4e |
y |
C |
||||||||
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
1 |
|
|
решение: 4e |
y |
C |
2x C . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
1 |
2 |
|
|
|
|
|
|
Для того, чтобы конкретизировать данное решение, то есть, определить
значения |
C и C |
, недостаточно одного начального условия при решении |
|
|
1 |
2 |
|
задачи Коши. В случае дифференциального уравнения второго порядка
задача Коши имеет два начальных условия: y(x ) y |
и y (x ) y . |
||||||||||
|
|
|
|
|
|
|
|
0 |
0 |
0 |
1 |
Для |
|
данного |
примера |
зададим |
следующие |
|
начальные условия: |
||||
y(0) 0, y (0) 0 |
. Тогда |
получим |
C |
=-4, C 0 . |
И |
решение |
примет вид |
||||
|
|
|
|
|
|
|
1 |
2 |
|
|
|
e |
y |
1 x или |
y(x) ln(1 x |
2 |
) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
Применение пакета программ MAXIMA для решения задачи Коши в случае дифференциального уравнения второго порядка
Команда ode2 применяется и для решения дифференциальных уравнений второго порядка. В частности, для того, чтобы решить задачу Коши в предпоследнем примере, введем сначала дифференциальное уравнение: x^2*‘diff(y,x,2)= (‘diff(y,x))^2. Записав его (например, под номером %o1),
решим его по команде ode2(%o1,y,x). В данном случае мы задаем два начальных условия, поэтому следующая команда содержит 2 вместо 1. То есть, если решение имеет номер %o2, используем начальные условия по команде ic2(%o2,x=1,y=0,’diff(y,x)=2). Решение задачи Коши будет построено.
Линейные дифференциальные уравнения с постоянными коэффициентами
Это уравнения, имеющие вид y |
(n) |
a y |
(n 1) |
a y |
(n 2) |
... an y f (x) , |
|||
|
|
|
|
||||||
|
|
|
|
1 |
|
|
2 |
|
|
где a ,a ,...,an – постоянные коэффициенты. |
|
|
|||||||
1 |
2 |
|
|
|
|
|
|
|
|
Однородным линейным уравнением |
n |
-го порядка называются уравнения |
|||||||
вида y(n) a y(n 1) |
a y(n 2) ... a y 0 . |
|
|
|
|
||||
|
1 |
2 |
|
n |
|
|
|
|
|
Связь между линейным уравнением и системой линейных уравнений 1- го порядка.
Введем |
|
|
новые |
функции |
y (x) y(x), y |
(x) y (x), y |
(x) y (x),..., y |
(x) y(n 1)(x). |
|
1 |
2 |
3 |
n |
|
Теперь исходное линейное дифференциальное уравнение представляется в виде системы
|
|
|
y |
y |
, |
|
|
|
|
|
1 |
2 |
|
|
|
|
|
y |
y |
, |
|
|
|
|
|
|
|
|
|||
|
|
2 |
3 |
|
|
|
|
|
|
|
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
f (x) a |
y |
a |
|
y |
... a y . |
|
y |
|
||||||
|
n |
n |
1 |
n 1 |
2 |
1 n |
Если ввести вектор-функцию
уравнения первого порядка:
y (x), |
|
|||
|
1 |
|
|
|
y (x), |
|
|||
Y (x) |
|
, |
||
2 |
||||
... |
|
|
||
|
y (x) |
|
|
|
|
|
|
||
|
n |
|
|
|
Y A Y F |
систему легко записать в виде
|
|
y (x), |
|
|||
|
|
|
1 |
|
|
|
|
|
y (x), |
|
|||
|
Y (x) |
|
|
|
||
(x) , где |
2 |
, |
||||
... |
|
|||||
|
|
|
||||
|
|
|
y (x) |
|
|
|
|
|
|
|
|
||
|
|
|
n |
|
|
|
0 |
1 |
0... |
|
|
0 |
0 |
1... |
|
|
||||
A |
|
|
|
|
|
... |
... |
... |
|
|
||||
a |
a |
... |
||
|
||||
|
n |
n 1 |
|
0 |
|
|
0 |
|
|
|
||
... |
|
|
|
||
a |
||
|
||
1 |
|
,
F(x)
0 0 ... f (x)
.
Если для вектор-функции
Y (x)
y10
задать начальное условие: Y (x0 ) Y0 y20 ,
...
yn0
для полученного векторного дифференциального уравнения первого порядка с заданным начальным условием нетрудно доказать теорему существования и единственности решения соответствующей задачи Коши. Это решение так же, как в случае обыкновенного дифференциального уравнения первого порядка, может быть построено с помощью итераций интегрального
уравнения
0 |
|
x |
|
|
|
|
|
Y (x) Y |
|
|
[A Y (t) F(t)]dt |
|
|
x |
|
|
|
0 |
|
в окрестности точки x0 . Здесь
интеграл от вектор-функции представляет собой новый вектор, каждая координата которого является интегралом соответствующей координаты исходной вектор-функции:
|
|
|
|
|
|
|
|
|
|
1 |
|
|
x |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
y |
0 |
|
|
y |
(t)dt |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y (x) |
|
|
|
|
|
|
|
|
|
0 |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
x |
|
|
|
|||||
|
1 |
|
|
|
|
|
|
y |
0 |
|
|
y |
(t)dt |
|
|||
y |
|
(x) |
|
|
|
|
|
|
|||||||||
|
2 |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
2 |
|
|
3 |
|
|
|||||
|
|
... |
|
|
|
|
|
|
|
|
|
x |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
... |
|
|
||||
|
|
(x) |
|
|
|
|
|
|
|
|
|
|
|
||||
y |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
n |
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y0 |
|
|
[ a y (t) a |
y |
|
(t) ... a y |
n |
|||||
|
|
|
|
|
|
n |
|
1 1 |
|
2 |
|
2 |
|
n |
|||
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
Применим итерационную процедуру интегральному уравнению:
. (t) f (t)]dt
к полученному векторному
|
|
|
|
|
|
|
|
|
|
1 |
|
|
x |
2 |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
y0 |
|
yk 1(t)dt |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
(x) |
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
y |
0 |
|
|
y |
k 1 |
(t)dt |
|
|||||||
|
y |
k |
(x) |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
2 |
|
|
3 |
|
|
|
|||||
|
2 |
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
... |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x) |
|
|
|
|
|
|
|
|
|
|
|
... |
|
|
|
|
yk |
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|||
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
y0 |
|
|
[ a yk 1(t) a |
|
yk 1(t) ... a |
yk 1(t) f (t)]dt |
||||||||
|
|
|
|
|
|
n |
|
1 1 |
|
2 |
|
2 |
|
|
n |
n |
|
||
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
,
следовательно,
yk 1(x) |
||
|
1 |
|
yk 1(x) |
||
|
2 |
|
... |
||
|
||
|
|
|
yk 1(x) |
||
|
n |
Поэтому
|
|
|
|
|
|
|
|
y |
|
(x) |
|
k |
|
||
1 |
|
|
|
y |
k |
(x) |
|
2 |
|
|
|
|
|
||
|
|
|
|
yk |
|
|
|
(x) |
|
||
n |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
1 |
|
|
|
[ a |
x |
|
0 |
|
при
|
x |
2 |
2 |
|
|
|
|
|
|
1(t))dt |
|
|
|||
|
|
( yk (t) yk |
|
||||
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
3 |
3 |
|
|
|
|
|
|
|
|
|
|||
|
|
( yk |
(t) yk 1(t))dt |
|
|||
|
x |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( yk (t) yk 1(t)) ... a |
( yk (t) yk 1(t))]dt |
||||||
1 |
1 |
|
|
n |
n |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| x x |
| d |
|
|
|
|
|
|
0 |
|
|
.
имеем
max max |
| |
|
1 j n |x x |
| d |
|
0 |
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
| a | |
|
max max |
| |
|
yk 1(x) yk (x) | d max 1, |
|
|||||||
j |
j |
|
i |
1 j n |x x |
| d |
|
||
|
|
|
i 1 |
|
|
|
||
|
|
|
0 |
|
|
|||
|
|
|
|
|
|
|
|
|
yk j
(x)
y |
k 1 |
(x) |
|
j |
|||
|
|
|
.
Выбрав число d так, что
|
n |
|
|
|
i |
|
||
d max 1, |
|
| a |
|
|
|
|
i 1 |
|
|
|
|
|
| |
|
|
|
|
|
|
|
q
1
, нетрудно так же, как для
случая дифференциального уравнения 1-го порядка, доказать, что при
каждом j, 1 j n , | x x | d , последовательность |
yk (x), k N , сходится. |
0 |
j |
Кроме того, легко доказать, что решение единственно.
Поэтому система дифференциальных уравнений первого порядка, к которой мы свели дифференциальное уравнение n-го порядка, при непрерывной

функции |
f (x) |
разрешима и имеет единственное решение при любых |
начальных данных.
Из справедливости теоремы существования и единственности для системы дифференциальных уравнений 1-го порядка следует справедливость
теоремы существования и единственности для исходного линейного дифференциального уравнения n-го порядка: дифференциальное уравнение
y(n) a y(n 1) a y(n 2) |
... a y f (x) |
с |
начальными |
условиями |
|||||||||||
|
1 |
|
|
2 |
|
|
|
n |
|
|
|
|
|
|
|
y(x |
) y |
0 |
, y (x |
) y |
0 |
, |
y (x ) y |
0 |
,..., y |
(n 1) |
(x |
0 |
имеет |
единственное |
|
|
|
|
|
) yn |
|||||||||||
0 |
1 |
0 |
2 |
|
0 |
3 |
|
|
0 |
|
|
|
|||
решение в окрестности точки |
x . |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
Решение однородного уравнения.
Вследствие линейности дифференциального уравнения легко доказывается
утверждение: если |
y (x) |
и |
y |
(x) |
– два |
частных решение уравнения |
|||||||||
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
|
|
|
y |
(n) |
a y |
(n 1) |
a y |
(n 2) |
... an y 0 , то y (x) y |
(x) при любых |
и |
– |
||||||
|
|
|
|
||||||||||||
|
|
1 |
|
2 |
|
|
|
|
|
|
1 |
2 |
|
|
|
также решение этого уравнения.
Мы должны в виде общего решения однородного уравнения получить такую
линейную комбинацию частных решений |
y(x) C y (x) ... Cn yn(x) , |
|
|
1 |
1 |
чтобы было возможно получить решение соответствующей задачи Коши при
любом наборе начальных условий |
y(x |
) y |
0 |
, y (x |
0 |
, ..., y |
(n 1) |
(x |
0 |
||||||
|
) y |
|
) yn . |
||||||||||||
|
|
|
|
|
|
|
0 |
1 |
0 |
2 |
|
|
0 |
|
|
Это означает, что система |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
C1 y1(x0 ) ... Cn yn(x0 ) y1 |
, |
|
|
|
|
|
|
|
|
|
||||
|
|
............... |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
C y (n 1) |
(x ) ... C |
y (n 1) |
(x ) y0 |
|
|
|
|
|
|
|
|
|
|||
|
1 |
0 |
n |
n |
0 |
n |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
должна быть разрешима относительно набора констант C1,...Cn при любой правой части, и значит, главный определитель системы отличен от нуля.
|
|
|
y1(x) |
y2 (x) ... |
||
|
|
W (x) |
y (x) |
y (x) ... |
||
Рассмотрим |
определитель |
1 |
|
2 |
|
|
... |
|
... |
... |
|||
|
|
|
|
|||
|
|
|
y (n 1) |
(x) |
y (n 1) |
(x) ... |
|
|
|
1 |
|
2 |
|
называемый определителем Вронского. Именно условие |
|
позволяет удовлетворить заданным начальным условиям в точке |
x |
|
0 |
yn (x)
y (x)
n ,
...
yn(n 1) (x)
W (x0 ) 0 .
Назовем систему частных решений |
y1(x), y2(x),..., yn (x) уравнения |
||
y(n) a y(n 1) |
a y(n 2) |
... a y 0 |
линейно зависимой, если существуют |
1 |
2 |
n |
|
такие числа 1, 2,..., n , причем хотя бы одно из них отлично от нуля, что

|
y (x) |
2 |
y (x) ... |
n |
y |
(x) 0 |
1 |
1 |
1 |
n |
|
при всех значениях переменной x. В
противном случае систему частных решений назовем линейно независимой. Очевидно, что определитель Вронского, составленный для линейно зависимой системы частных решений, тождественно равен нулю.
Утверждение. Если решения |
y (x), y |
(x),..., yn (x) |
линейно независимы, то |
|
|
1 |
2 |
|
|
определитель Вронского W (x) , составленный для соответствующей системы |
частных решений, отличен от нуля при любых x. |
|
|
|
|||||||
Д о к а з а т е л ь с т в о. Предположим противное. Пусть найдется точка |
x |
|||||||||
|
|
|
|
W (x ) 0. |
|
|
|
|
0 |
|
такая, |
|
что |
Это |
означает, |
что |
система |
||||
|
|
|
|
|
0 |
|
|
|
|
|
|
C y (x ) ... C |
y |
(x ) 0, |
|
|
|
|
|
||
|
1 1 |
0 |
n |
n |
0 |
|
|
|
|
|
|
|
............... |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
||
|
|
(x ) ... C |
y |
(n1) (x ) 0 |
|
|
|
|
|
|
C y (n 1) |
|
|
|
|
|
|||||
|
1 1 |
0 |
n |
n |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
имеет нетривиальное решение C1,...,Cn . Следовательно, ненулевое решение
исходного |
дифференциального |
уравнения |
n-го |
порядка |
||||
y(x) C y (x) C y (x) ... Cn yn (x) |
удовлетворяет |
начальным |
условиям |
|||||
1 |
1 |
2 |
2 |
|
|
|
|
|
y(x ) 0, |
y (x |
) 0,..., y |
(n1) |
(x ) 0 . |
Но при этом |
существует |
еще и |
|
|
||||||||
0 |
0 |
|
|
|
0 |
|
|
|
тривиальное решение, удовлетворяющее тем же начальным условиям. Это противоречит теореме единственности.
Для того, чтобы получить систему линейно независимых решений, искать частное решение однородного уравнения будем в виде y(x) ekx . Подставив
y(x) |
в |
указанном |
виде |
в |
||||||
(k |
n |
a k |
n1 |
a k |
n2 |
... an )e |
kx |
0 . |
||
|
|
|
|
|||||||
|
|
1 |
|
2 |
|
|
|
|
|
|
сомножителя k |
мы найдем, |
|
если |
|||||||
степени |
|
|
|
|
|
|
|
|
однородное уравнение, получим Следовательно, неизвестное значение
решим алгебраическое уравнение |
n -й |
kn a1kn 1 a2kn 2 ... an 0 ,
называемое характеристическим уравнением.
В соответствии с основной теоремой алгебры характеристическое уравнение имеет ровно n корней, считая все вещественные и комплексные корни с учетом их кратности.
Рассмотрим все случаи корней характеристического уравнения и определим вид частного решения так, чтобы все частные решения были
линейно-независимыми. Получив |
n линейно-независимых частных решений, |
мы сможем построить |
общее решение |
однородного уравнения |
y(x) C1 y1(x) ... Cn yn(x) , |
содержащее n |
произвольных постоянных и |
позволяющее решать любую задачу Коши с любыми начальными данными, сводя решение этой задачи Коши к системе с ненулевым главным определителем