
- •Глава 3. Существование и единственность решения дифференциального уравнения
- •1. Метрические пространства
- •Типовые задачи
- •Задачи для самостоятельного решения
- •Полные пространства
- •Типовые задачи
- •Задачи для самостоятельного решения
- •3. Принцип сжимающих отображений
- •Примеры решения задач
- •Задачи для самостоятельного решения
- •Примеры решения задач
- •Задачи для самостоятельного решения
- •6. Теорема существования и единственности для линейных уравнений и систем
Примеры решения задач
Найти решение уравнения
удовлетворяющее начальному условию
методом последовательного приближения.
Решение.
Разумеется, данное уравнение можно
решить достаточно просто другими
методами. Решим его методом последовательных
приближений, чтобы продемонстрировать
этот метод и убедиться в том, что он даёт
правильное решение. Последовательные
приближения к истинному решению имеют
вид:
и т.д. Нетрудно видеть, что для любогоп
мы имеем
Ясно, что на любом конечном отрезке
числовой прямой
Следовательно,
искомая функция.
Доказать, что решение уравнения
удовлетворяющее условию
существует на отрезке
но не продолжается на отрезок
Доказательство.
Пусть
решение уравнения
определённое на отрезке
и удовлетворяющее начальному условию
Так как
то
при
поэтому
возрастающая функция. Пусть
при
Тогда
Если
и
таковы, что
то решение
существует на отрезке
В частности, при
мы имеем:
поэтому уравнение имеет решение,
определённое на отрезке
Займёмся
теперь отрезком
Понятно, что если решение уравнения
не существует на отрезке
то оно не существует и на отрезке
Предположим теперь, что на отрезке
решение существует. При
мы имеем
поэтому
Проинтегрировав это неравенство, мы
получим:
откуда следует, что
т.е.
(23)
Так
как
то
Если
то
будет иметь на отрезке
бесконечный разрыв, и неравенство (23)
для непрерывной функции
выполняться не будет. Таким образом,
и
Значит, на отрезке
решений нет.
Продолжается ли на всю полуось
решение уравнения
с начальным условием
Решение.
Если
решение
данного уравнения на отрезке
то
Следовательно, на любом отрезке
где
решение уравнения существует. Значит,
оно продолжается на всю полуось
Пусть
функция, определённая во всей плоскостиR
и имеющая непрерывные производные в каждой точке плоскости. Может ли семейство интегральных кривых уравнения
иметь вид, изображённый на рисунке?
Решение.
Так как функция
имеет непрерывную производную по
то она удовлетворяет условию Липшица
по
Значит, через каждую тоску плоскости
проходит одна интегральная кривая
уравнения. Однако, на рисунке через
начало координат проходит более одной
интегральной кривой. Следовательно,
интегральные кривые уравнения изображены
неверно.
Задачи для самостоятельного решения
Указать какой-нибудь отрезок, на котором существует решение уравнения с заданным начальным условием: а)
б)
Существует ли функция
определённая на отрезке
и удовлетворяющая уравнению
и начальному условию
Построить последовательные приближения
к решению данного уравнения с данным начальным условием: а)
б)
Уравнение
имеет два различных решения, удовлетворяющих начальному условию
это
и
Не противоречит ли данный пример теореме существования и единственности решения?
Ответы:
1. а)
б)
2. Нет. 3. а)
б)
4. Не противоречит, так как функция
не удовлетворяет условию Липшица на
отрезке
где
5. Теорема существования и единственности для дифференциальных уравнений высших порядков и систем
Пусть дана система п дифференциальных уравнений первого порядка
(24)
Введём
в рассмотрение вектор-функции
и
Тогда система (24) запишется в виде
(25)
Напомним,
что задача Коши для системы (25) состоит
в том, что требуется найти решение этой
системы, удовлетворяющее начальному
условию
где
постоянный
вектор. Строку
мы будем рассматривать как точку
пространства
.
Пусть
область в пространстве
.
Мы будем говорить, что вектор-функция
удовлетворяет условию Липшица по
в области
если существует постоянная
(константа
Липшица)
такая, что для любых точек
имеющих одинаковую первую координату,
имеет место неравенство
(26)
Здесь
модули обозначают длины векторов в
пространстве
.
Для системы (25), как и для уравнения
(20), справедлива теорема существования
и единственности решения.
Теорема
существования и единственности решения
системы.
Пусть
область в пространстве
,
вектор-функция,
определённая в области
причём
в этой области непрерывна по
и удовлетворяет условию Липшица по
Тогда для каждой точки
области
существует окрестность
в которой система дифференциальных
уравнений
имеет единственное решение, удовлетворяющее
начальному условию
Доказательство этой теоремы проводится совершенно аналогично доказательству теоремы существования и единственности решения уравнения первого порядка.
Дифференциальное уравнение п-го порядка, разрешённое относительно старшей производной, имеет вид
(25)
Задача Коши для этого уравнения ставится следующим образом: требуется найти решение уравнения (25), удовлетворяющего начальному условию
.
. .
(26)
где
заданные действительные числа. Здесь
не означает дифференцирования. Очевидно,
уравнение (25)п-го
порядка равносильно системе уравнений
первого порядка, а именно, системе
(27)
Начальное
условие для системы (27) получается из
(26) и имеет вид
Теорема существования и единственности
решения уравнения (25) является
непосредственным следствием теоремы
существования и единственности решения
системы. Приведём формулировку теоремы.
Теорема
существования и единственности решения
уравнения п-го
порядка.
Пусть
функция, которая в некоторой области
пространства
непрерывна пох
и удовлетворяет условию Липшица по
Тогда для каждой точки
существует окрестность, в которой
решение уравнения
удовлетворяющее начальному условию
. . .
существует и единственно.
Для
систем дифференциальных уравнений
первого порядка, как и для одного
уравнения первого порядка, решение
может быть найдено методом последовательных
приближений. А именно, если рассматривается
уравнение
с начальным условием
то для достаточно малого
последовательность вектор-функций
равномерно сходится к решению
если вектор-функция
непрерывна пох
и удовлетворяет условию Липшица по