 |
Теорема Коши о существовании и единственности решения.
|
|
|
|
Теорема Коши о существовании и единственности решения.
Пусть функция 
удовлетворяет двум условиям:
1) непрерывна в области 
;
2) имеет в непрерывную частную производную 
Тогда решение задачи Коши для уравнения (1) с начальными данными 
существует и единственно в том смысле, что существует единственная интегральная кривая уравнения (1), проходящая через точку 
Задача нахождения решения уравнения (1), удовлетворяющего начальному условию
или, что то же самое, 
(2)
называется задачей Коши.
В нашем примере
и функция 
(3)
определена и непрерывна на всей плоскости 
.
Вычислим частную производную Для этого положим 
и будем рассматривать функцию
как функцию одной переменной 
Применяя правила дифференцирования функции одной переменной, получим
Здесь сначала постоянный множитель 
вынесли из под знака производной по переменной 
а затем применили правило дифференцирования сложной функции.
Таким образом, частная производная 
тоже определена и непрерывна на всей плоскости и, следовательно, теорема существования и единственности решения справедлива для уравнения (3) на всей плоскости.
Анализ, проведенный выше, является основной частью решения задачи Коши, так как, используя программу типа Mathematiсa или зайдя на сайт www. wolframalpha. com (в режиме online и даже в пошаговой форме), Вы можете моментально получить решение.
Найдем общее решение дифференциального уравнения (3), не используя эти средства. Это уравнение с разделяющимися переменными (см. [2], [4] или [5]), так как оно имеет вид
где правая часть есть произведение функции 
зависящей только от 
на функцию 
зависящую только от 
|
|
|
В нашем уравнении (3)
и 
Эти функции определены и непрерывны при всех 
и 
, причем 
Заменим 
на 
в уравнении (3):
и разделим переменные, умножая обе части уравнения на выражение:
В результате получим уравнение
(4)
которое называется уравнением с разделенными переменными.
Считая известной функцией от , равенство (4) можно рассматривать как равенство двух дифференциалов, а неопределенные интегралы от них будут отличаться на постоянное слагаемое.
Интегрируя левую часть равенства (4) по , а правую часть по , получим
(5)
Интеграл 
Интеграл 
вычислим с помощью подстановки 
Учитывая, что 
или 
получаем
Подставляя полученные выражения в равенство (5), найдем общий интеграл уравнения (3)
(6)
В данном случае уравнение (6) можно разрешить относительно переменной и получить общее решение дифференциального уравнения (3):
и 
(7)
Общее решение (7) дифференциального уравнения (3) – это однопараметрическое семейство решений, существование и единственность которых гарантирует теорема существования и единственности. Оно включает в себя все решения любой задачи Коши.
Для нахождения искомого частного решения подставим в общее решение начальные значения 
и 
Получим 
, 
, 
и 
При таком выборе 
из общего решения (7) выделяется частное
Ответ. Решением задачи Коши является функция 
определенная на интервале 
Решение задачи № 2
Найдем решение уравнения
(1)
Это линейное уравнение, т. е. уравнение вида
в котором предполагается, что функции
и 
непрерывны в некотором интервале. Найдем его.
Функция непрерывны при всех 
Так как функция имеет точку бесконечного разрыва 
то она непрерывна на двух интервалах 
и 
|
|
|
Мы выбираем интервал 
потому что наше решение должно удовлетворять начальному условию
(2)
Точка 
Следовательно, дифференциальное уравнение (1) будем рассматривать в полосе 
расположенной на плоскости 
Тогда уравнение (1) удовлетворяет условиям теоремы существования и единственности решений (см. решение задачи №1 и [2], [4], [5]). Поэтому через каждую точку 
проходит единственная интегральная кривая уравнения, определенная на интервале
Существуют различные способы нахождения общего решения линейного уравнения. Мы рассмотрим только один из них – метод Бернулли. Согласно этому методу будем искать решение 
в виде произведения двух функций: 
Подставим функцию в уравнение (1). Опуская аргумент в функциях 
и 
и учитывая, что 
получаем
или 
Выбирая ненулевую функцию 
так, чтобы выражение, стоящее в скобках, обращалось в нуль, приходим к решению системы:
Уравнения (3) и (4) являются уравнениями с разделяющимися переменными в полосе .
Разделим переменные в уравнении (3)
или 
Интегрируя его, получаем
Положим постоянную 
так как в качестве функции можно взять какое-либо ненулевое частное решение уравнения (3).
Вычисляя интегралы
и 
имеем 
и 
Найдем общее решение уравнения (4). Подставляя найденную функцию в уравнение (4), получим уравнение с разделяющимися переменными
или 
Разделяя переменные, найдем
Отсюда
или 
Общим решением уравнения (1) в полосе будет функция
определенная на интервале
Используя начальное условие (2), найдем частное решение, интегральная кривая которого проходит через точку с координатами и 
Для этого подставим и 
в выражение (5) и найдем значение постоянной :
при котором из общего решения выделяется искомое частное.
Ответ. Решением задачи Коши (1), (2) является функция 
определенная на интервале
|
|
|
