- •Обыкновенные дифференциальные уравнения.
- •Глава 1. Линейные дифференциальные уравнения n-го порядка.
- •1. Введение.
- •2. Понятие о линейной независимости функций.
- •3. Необходимое условие линейной зависимости n функций.
- •4. Формула Остроградского - Лиувилля.
- •5. Фундаментальная система решений (фср).
- •6. Построение общего решения.
- •7. Построение однородного линейного уравнения, имеющего заданную фср.
- •8. Понижение порядка однородного линейного уравнения.
- •9. Линейное неоднородное уравнение n-ого порядка.
- •10. Метод вариации произвольных постоянных (метод Лагранжа).
- •11. Метод Коши.
- •12. Линейные уравнения n-го порядка с постоянными коэффициентами.
- •13.Нахождение частного решения неоднородного уравнения методом неопределённых коэффициентов.
- •14. Приведение однородного линейного уравнения n-го порядка к уравнению с постоянными коэффициентами при помощи замены независимой переменной.
- •15. Линейное уравнение Эйлера.
- •16. Приведение линейного уравнения 2-го порядка к уравнению, не содержащему члена с первой производной.
- •17. Построение общего решения однородного линейного уравнения второго порядка в случае, когда известно одно частное решение.
- •18. Интегрирование при помощи степенных и обобщённых степенных рядов.
- •19. Первоначальные сведения о граничной задаче.
- •Глава 2: Линейные системы дифференциальных уравнений.
- •20. Свойства решений однородной системы.
- •21. Формула Остроградского – Лиувилля.
- •22. Фундаментальная система решений.
- •23. Построение общего решения.
- •24. Построение однородной линейной системы линейных уравнений, имеющей заданную фср.
- •25. Общее решение неоднородной системы.
- •26. Метод вариации произвольных постоянных (метод Лагранжа)
- •Глава 3: Линейные системы дифференциальных уравнений с постоянными коэффициентами.
- •27. Теорема Пикара:
- •28. Теорема Пикара для нормальной системы n уравнений.
- •29. Теорема о непрерывной зависимости решения от начальных данных и от параметров.
- •30. Теория устойчивости.
- •31. Простейшие типы точек покоя.
- •32. Второй метод Лагранжа.
- •33. Линейные интегральные уравнения.
- •34. Задачи, приводящиеся к интегральным.
- •35. Принцип сжатых изображений.
- •36. Интегральное уравнение Фредгольма 2-го рода с вырожденным ядром.
- •37. Теорема Фредгольма для уравнения (1).
- •38. Вариационное исчисление. Метод вариации в задачах с неподвижными границами.
- •39. Вариация и её свойства.
- •40. Основная лемма вариационного исчисления.
- •41. Уравнение Эйлера.
27. Теорема Пикара:
Если в уравнении , при (1)
1. определена и непрерывна в области и, следовательно, ограничена в области , т.е. .
2. Удовлетворяет в области условию Липшица по :
, (2)
Поясним некоторые условия теоремы
Пикара.
1.
2. На практике условие Липшица заменяется . Из этого условия следует условие Липшица.
Обратно, из условия Липшица не следует условие .
Примером может служить функция . Производная не принадлежит в .
Доказательство:
Предположим, что существует решение с условием . Тогда (3)
Уравнение (1) и (3) равносильны. Решение (1) является решением (3).
Если найдено решение интегрального уравнения (3), тем самым найдено решение уравнения (1).
Доказывать существование и единственность решения уравнения (1) при заданных условиях будем методом приближений.
За нулевые приближения возьмём ,
(4)
Покажем, что все члены функциональной последовательности (4) определены и непрерывны на отрезке и не выходят за пределы области .
определена и непрерывна,
Предположим, что определена и непрерывна на промежутках , .
даже дифференцируемая функция (интеграл с верхним переменным пределом).
Таким образом, все члены последовательности (4) определены и непрерывны в промежутках и не выходят при этих значениях за пределы области .
Докажем равномерную сходимость функциональной последовательности (4) в промежутке .
Вместо (4) будем рассматривать функциональный ряд:
(5)
Сходимость последовательности (4) равносильна сходимости ряда (5), так как частные суммы ряда (5) являются .
Оценим разность {применяем условие Липшица} ,
Учитывая .
Аналогично
И так далее.
(6)
Предполагая, что это утверждение верно для доказывается (6).
Члены ряда для всех значений из промежутка не превосходят по абсолютной величине соответствующих членов следующего ряда с положительными членами:
(7)
Ряд (7) сходится. Сумма этого ряда равна (8)
Согласно признаку Ваейрштрасса ряд (5) сходится равномерно в промежутке .
Пусть сумма ряда (5) или предельная функция последовательности (4).
Тогда по теореме непрерывности суммы равномерно сходящегося ряда функция также непрерывна в промежутке .
Покажем, что функция является решение интегрального уравнения (3) и её значения не выходят за пределы области при .
Так как , то переходя к пределу при получим:
.
В формуле (4) перейдём к пределу при :
Докажем, что
для из промежутка
Итак,
Докажем, что получено решение единственное.
Предположим, что существует ещё одно решение , удовлетворяющее тем же начальным условиям, которое определено и непрерывно в промежутке и не выходит при этих значениях за пределы области .
Итак,
Оценим
,
и т.д.
(9)
Устремляем в формуле (9):
Откуда .
Замечание:
Формула (9) даёт оценку погрешности нашего приближения к решению .
Формула (8) даёт оценку решения .
За нулевое приближение не обязательно брать . Можно брать любую непрерывно дифференцируемую функцию, значения которой не выходят за пределы области .
Пример:
, ,
.
ЛЕКЦИЯ 11: