Что
касается условия Липшица,
то оно
удовлетворяется,
если,
например,
функция
Дх,
у)
имеет
в
прямоугольнике
D
ограниченную
частную
производную
по у.
Доказательство этой теоремы основано
в
сущности
на
том,
что
в
условиях теоремы ломаные Эйлера
в
пределе
дадут
интегральную
кривую.
В
силу практической важности теория дифференциальных
урав-
нений
развита весьма хорошо.
Вот
пример теоремы
о
свойствах
ре-
шений
дифференциального уравнения.
Теорема
о
дифференцируемости
решений.
Если
в
некоторой окрестности точки
(*
0
,
у
0
),
т.е.
в
некотором
прямоуголь-
нике
вокруг
этой
точки,
функцияу(х,
у)
имеет непрерывные
частные
производные
до
л-го
порядка включительно,
то
решение
у(х)
уравне-
ния
dy/dx
=/(х,
у),
удовлетворяющее
условию
Х*
0
)
~Уо
(
это
решение
существует
по
только
что
рассмотренной
теореме),
в
некоторой
ок-
рестности
точки
X
Q
имеет непрерывные производные
до
п-го
порядка
включительно.
3.
Понятие
об
устойчивости
решений
дифференциального
уравне-
ния.
Для
возможности математического описания
какого-нибудь
реального
явления неизбежно приходится упрощать его,
выделяя
и
учитывая
лишь наиболее существенные
из
влияющих
на
него
факто-
ров и
отбрасывая остальные, менее существенные.
При
этом
неиз-
бежно
встает вопрос
о
том, удачно
ли
выбраны упрощающие
пред-
положения.
Возможно,
что
неучтенные факторы сильно
влияют
на
изучаемое-явление,
значительно меняя
его
количественные
или
даже
качественные
характеристики.
Рассмотрим дифференциальное уравнение
dy/dx
=/[*>
У)
с
на
"
чальным
условием
у(х
й
)
-
у
0
.
Подобные начальные условия
обычно
являются
результатами измерений
и,
следовательно,
получены
с не-
которой
погрешностью. Возникает вопрос
о
влиянии этих
погреш-
ностей
на
искомое
решение.
Если
окажется,
что
сколь
угодно малые изменения
начальных
данных
способны сильно изменить
решение,
то
такое решение
обыч-
но не
имеет никакого прикладного значения
и его
нельзя
применить
Для
описания изучаемого явления. Если
же
малые
изменения
на-
чальных
данных лишь незначительно меняют само"
решение,
то го-
ворят,
что
имеет место непрерывная зависимость решений
от
началь-
ных
данных. Вопрос
о
непрерывной зависимости является
практиче-
ски
важным.
Теорема
о
непрерывной
зависимости решения.
При
выполнении условий теоремы существования
и
единственности
решения
(см. выше) решение уравнения непрерывно зависит
от на-
чальных
данных
в
некоторой окрестности точки
(*
0
,
у
й
),
200