
- •Глава 3. Существование и единственность решения дифференциального уравнения
- •1. Метрические пространства
- •Типовые задачи
- •Задачи для самостоятельного решения
- •Полные пространства
- •Типовые задачи
- •Задачи для самостоятельного решения
- •3. Принцип сжимающих отображений
- •Примеры решения задач
- •Задачи для самостоятельного решения
- •Примеры решения задач
- •Задачи для самостоятельного решения
- •6. Теорема существования и единственности для линейных уравнений и систем
Типовые задачи
Доказать эквивалентность на R
метрик
определяемых формулами (5), (6), (7).
Доказательство.
ПустьR
и
Тогда
при всех
Следовательно,
Далее,
т.е.
Наконец, ясно, что
Таким образом,
значит, метрики
эквивалентны.
Какие последовательности сходятся в дискретном пространстве?
Решение.
Пустьдискретное пространство,
последовательность
точек изХи
Тогда
при
Взяв
получим:
при
Таким образом, сходящимися являются те
и только те последовательности
которыестабилизируются, т.е. обладают
свойством
при некотором
Выяснить, является ли дискретное пространство полным.
Решение.
Пустьфундаментальная последовательность в
дискретном пространствеХ. Тогда
при
Взяв
получим, что
при
Отсюда видно, что
сходящаяся последовательность. Значит,Хполно.
Выяснить, сходятся ли в
последовательности: а)
б)
в)
Решение.
а) Еслисходится в
к функции
то
при
и всех
Подставив любое
мы получим
а подставив
получим
Таким образом, функция
не является непрерывной на отрезке
а значит,
расходится.
б) При
каждом фиксированном
мы имеем:
Значит, если
сходится в
то сходится к функции, тождественно
равной нулю, и
Найдём наибольшее значение функции
на отрезке
Имеем:
откуда
или
Далее,
Так как
то
при
Следовательно,
в) При
каждом фиксированном
мы имеем:
Далее,
Следовательно,
при
и
.
Так как
не стремится к нулю, то
не сходится в
Выяснить, является ли полным пространство Рмногочленов с нормой
Решение.
Пространство многочленов рассматривается
здесь как подпространство пространстваИзвестно, что
Рассмотрим последовательность многочленов
.
Ясно, что
т.е. последовательность
сходится к функции
в пространстве
Так как функция
не является многочленом, то
фундаментальная последовательность в
пространстве
не являющаяся сходящейся. Следовательно,
не полно.
Привести пример последовательности, которая сходится в пространстве
но не сходится в
Решение.
Примером может служить последовательностьТак как
то
не сходится в
Однако, она сходится в
к нулю, так как
при
Задачи для самостоятельного решения
Эквивалентны ли метрики
и
на
Является ли полным пространство
всех функций, ограниченных на отрезке
с нормой
Пусть
и
последовательности точек нормированного пространстваХ, причём
сходится, а
расходится. Сходится ли последовательность
Привести пример фундаментальной, но не сходящейся последовательности в пространстве R с метрикой
Пусть
пространство всех функций, имеющих непрерывную производную на отрезке
с нормой
Какое из утверждений истинно для последовательностей
(А) если
сходится в
то
сходится в
(Б) если
сходится в
то
сходится в
Ответы:1. Нет. 2. Да. 3. Расходится. 4.5. (А) ложно, (Б) истинно.
3. Принцип сжимающих отображений
Пусть
метрическое пространство. Отображение
называетсясжимающим,
если существует такое
что
и
при всех
Пусть
метрическое пространство и
отображение. Говорят, что точка
являетсянеподвижной
точкой
отображения Т,
если
Теорема
(принцип
сжимающих отображений).
Если
сжимающее отображение полного метрического
пространстваХ,
то Т
имеет единственную неподвижную точку.
Доказательство.
Возьмём любую точку
и образуем последовательность
Докажем, что эта последовательность
сходится, и её предел является единственной
неподвижной точкой отображения
Доказательство разобьём на несколько
шагов.
Оценим сверху расстояние между соседними членами последовательности. Имеем:
Докажем, что последовательность
фундаментальна. Для этого оценим расстояние между произвольными членами последовательности. Имеем:
Так
как
то
при
поэтому
при
и
Это означает, что последовательность
фундаментальна.
Так как
фундаментальна иХ полно, то
сходится. Пусть
Докажем, что
неподвижная точка отображенияТ. Имеем:
при
Ввиду произвольности числа
мы получаем, что
Из аксиом метрики следует, что
следовательно,
неподвижная точка.
Докажем, что других неподвижных точек у отображения Т нет. Действительно, пусть
Тогда
Так как
то
а значит,
4. Теорема существования и единственности решения дифференциального уравнения первого порядка
Напомним,
что областью
в пространстве R
называетсясвязное
открытое множество.
Связность означает, что любые две точки
множества можно соединить непрерывной
кривой, не выходящей за пределы множества.
Множество открытое, если любая его точка
внутренняя,
т.е. имеет окрестность, лежащую внутри
области.
Пусть
дано дифференциальное уравнение
где функция
определена в некоторой области
плоскостиR
Естественным требованием на функцию
является её непрерывность в области
Однако, этого для существования и
единственности решения оказывается
недостаточным. Введём ещё одно условие.
А именно, будем говорить, что функция
удовлетворяетусловию
Липшица
по переменной у
в области
,
если существует постоянная
(константа
Липшица)
такая, что
(17)
для
всех
Условие Липшица сильнее, чем непрерывность
по переменнойу,
но слабее, чем дифференцируемость.
Точнее, справедливы утверждения:
(если функция
удовлетворяет условию Липшица поу,
то она непрерывна по у;
(если
имеет в области
ограниченную производную поу,
то она удовлетворяет условию Липшица
по у.
Докажем
утверждения (),
(
Действительно, из условия (17) следует,
что
а это означает непрерывность функции
по переменной
т.е. выполнено (
Далее, пусть
для всех точек области
Тогда по теореме Лагранжа для некоторого
мы имеем:
что доказывает
В качестве константы Липшица здесь
можно взять константуК.
Во многих вопросах теории дифференциальных уравнений и, в частности, для доказательства теоремы существования и единственности удобно заменить дифференциальное уравнение интегральным. Возможность такой замены вытекает из следующего утверждения.
Лемма.
Если
непрерывная функция, то система уравнений
(18)
состоящая из дифференциального уравнения и начального условия, равносильна интегральному уравнению
(19)
Доказательство.
Пусть функция
определённая на интервале
удовлетворяет системе (18). Проинтегрировав
равенство
получим:
Так как
то
Следовательно, выполнено (19).
Наоборот,
пусть функция
удовлетворяет интегральному уравнению
(19). Тогда
значит, выполнено начальное условие.
Продифференцировав равенство (19) по
получим:
поэтому функция
удовлетворяет дифференциальному
уравнению.
Теорема существования и единственности решения уравнения первого порядка. Пусть дано дифференциальное уравнение
(20)
причём
функция
в некоторой области
плоскостиR
непрерывна пох
и удовлетворяет условию Липшица по у.
Тогда для каждой точки
области
существует такое
что на отрезке
существует единственная функция
удовлетворяющая дифференциальному
уравнению (20) и начальному условию
Доказательство.
Во-первых, заменим дифференциальное
уравнение с начальным условием на
интегральное уравнение (19). Затем выберем
числа
так, чтобы прямоугольник
лежал в области
Обозначим через
множество функций, непрерывных на
отрезке
и удовлетворяющих условиям
(21)
Очевидно,
является подпространством пространства
Пространство
полно – его полнота доказывается так
же, как полнота пространства
Обозначим через
оператор на множестве функций, переводящий
функциюу
в функцию
(22)
Проверим,
что при достаточно малом
операторТ
будет являться отображением из
в
причём сжимающим. Действительно, из
условия теоремы следует, что функция
непрерывна в прямоугольнике
поэтому существует постоянная
такая, что
при
Пусть
и
Тогда
Следовательно,
Если теперь
то
при
а значит,
Докажем
теперь сжимаемость оператора Т.
Пусть
и
Мы имеем:
поэтому
следовательно,
Так как
то
поэтому
сжимающий оператор. По принципу сжимающих
отображений существует единственная
функция
такая, что
Это означает, что уравнение (20) имеет
единственное решение, удовлетворяющее
начальному условию
Предположение о том, что
не сужает класса рассматриваемых
функций, так как для всякой непрерывной
на отрезке функции это неравенство
выполняется при подходящем
Теорему
существования и единственности можно
переформулировать так: для “достаточно
хорошей” функции
(а именно, если
непрерывна пох
и удовлетворяет условию Липшица по у
в области
),
то через каждую точку области
проходит единственная интегральная
кривая уравнения
Таким образом, эта теорема носитлокальный
характер,
т.е. для каждой точки утверждается лишь
существование окрестности, в которой
решение существует и единственно.
Решение, найденное на промежутке
далеко не всегда может быть продолжено
на промежуток
даже если существует прямоугольник
лежащий в области
Однако, применяя теорему существования
и единственности несколько раз (переходя
от точки
к точке
,
затем к
и т.д., можно убедиться в том, что всякое
решение продолжается либо до границы
области
(возможно, не достигая этой границы),
либо “уходит в бесконечность” (это
может быть лишь в случае, когда область
неограниченна).
Доказательство
теоремы существования и единственности
даёт также метод решения дифференциальных
уравнений, который можно использовать
на практике для приближённого их решения.
Это метод
последовательных приближений.
Суть этого метода заключается в следующем.
Пусть требуется найти решение
дифференциального уравнения
удовлетворяющего начальному условию
Рассмотрим последовательность функций,
определённых на отрезке
и
т.д., т.е. для любого
полагаем
Тогда для достаточно малого
мы имеем:
при
где
решение дифференциального уравнения.
Начальное условие
для функций
а значит, и для функции
очевидно, также выполнено.