- •1.Задачи, приводящие к ду
- •2.Основные понятия теории ду
- •3.Задачи Коши. Теорема существования и единственности решения
- •Теорема существования и единственности решения задачи Коши для номального уравнения первого порядка.
- •4.Ду первого порядка. Общее и частное решение
- •5.Уравнение с разделенними и разделяющимися переменными
- •6.Однородное уравнение первого порядка
- •7.Линейные однородные ду. Решение уравнения
- •8.Уравнение Бернулли
- •9.Уравнение в полных дифференциалах
- •10. Особые решения ду 1 порядка
- •11.Ду высших порядков. Общее и частное решение
- •16.Линейные ду 2го порядка с постоянными коэффицентаки
- •17.Линейное ду п-го порядка с постоянными коэффициентаки
- •18.Неоднородное линейное уравнение 2го порядка
- •19.Метод вариации производных постоянных
- •20.Неоднородные линейные уравнения высших порядков
- •21.Системы ду. Нормальная система
- •22.Геометрический смысл решения системы ду
- •23.Интегрирование систем ду
- •24.Системы ду с постоянными коэффициентами
- •26.Приближенные метоыд решения дифференциальных уровнений
- •27.Понятие устойчивости и асимптотической устойчивости по Ляпунову
- •28.Типы точек покоя
- •29.Числовой ряд сумма ряда
- •30.Необходимые признаки сходимости ряда
- •31.Сравнение рядов с положительными членами
- •32.Признаки сравнения. Признак Даламбера.
- •33. Признак сравнения. Признак коши
- •34. Интегральные сходимости знакопостоянных рядов
- •35. Знакочередующиеся ряды. Теорема Лейбница
- •36. Знакопеременный ряд абсолютная и условная сходимость
- •37 Функциональный ряд. Свойство равномерно сходящихся функциональных рядов
- •38. Мажорируемый ряд.
- •39. Степенной ряд. Теорема Абеля
- •40. Интервал и радиус сходимости степенного ряда
- •41. Действие над степенными рядами (свойства степенных рядов)
- •42. Ряды Тейлора и Маклорена.
- •45. Ряды Фурье. Вычисление коэффициентов ряда фурье
- •46. Разложение в ряд Фурье непериодической функции
- •47. Ряд фурье для четных и нечетных функций
- •48. Ряд фурье по ортогональным системам функций
- •49. Интеграл Фурье
- •50. Преобразование Фурье
- •51. Функции комплексного переменного
- •52. Дифф-ие ф-ии комплексного переменного. Аналитические функции.
- •53. Условие Коши-Римана
- •54.Конформные отображения
- •55.Интеграл по комплексному переменному
- •56.Теорема Коши. Интеграл Коши
- •58.Ряд Лорана
- •57.Степенные ряды. Ряд Тейлора и Маклорена.
- •59.Классификация изолированных особых точек однозначной функции
- •61.Вычисление вычетов
- •62.Вычет функции относительно бесконечно удаленной точки
- •63.Основная теорема о вычетах
- •64.Вычисление интегралов с помощью вычетов
- •65.Оригинал и изображение по Лапласу
- •66.Свойства преобразований по Лапласу
- •67.Теорема о свертке
- •68.Нахождение оригинала по изображению
- •69.Теоремы разложения
- •70.Операционный метод решения ду и систем ду
2.Основные понятия теории ду
Соотношение вида: называется ДУ относительно функции y=y(x)
Порядком ДУ наз. порядок старшей производной входящей в это уравнение. Если искомая функция зависит от одной переменной то ДУ наз. обыкновенным, а если больше (2е или более), то уравнение наз. Уравнением частных производных.
Решением или интегралом ДУ наз. всякая функция y=f(x), которая превращает его в тождество.
3.Задачи Коши. Теорема существования и единственности решения
Различные постановки задачи Коши
ОДУ первого порядка, разрешённое относительно производной
Система n ОДУ первого порядка, разрешённая относительно производных (нормальная система n-го порядка)
ОДУ n-го порядка, разрешённое относительно старшей производной
Теоремы о разрешимости задачи Коши для ОДУ
Пусть в области рассматривается задача Коши:
где . Пусть правая часть является непрерывной функцией в . В этих предположениях имеет место теорема Пеано, устанавливающая локальную разрешимость задачи Коши: Пусть a>0 и b>0 таковы, что замкнутый прямоугольник
принадлежит области D, тогда на отрезке [x0 − α,x0 + α], где α = min{a,b / M}, , существует решение задачи Коши.
Указанный отрезок называется отрезком Пеано. Заметим, что, локальный характер теоремы Пеано не зависит от гладкости правой части. Например, для f(x,y) = y2 + 1 и для x0 = 0,y0 = 0 решение y(x) = tan(x) существует лишь на интервале ( − π,π). Также отметим, что без дополнительных предположений относительно гладкости правой части, нельзя гарантировать единственность решения задачи Коши. Например, для возможно более одного решения.
Чтобы сформулировать теорему о единственности решения задачи Коши, необходимо наложить дополнительные ограничения на правую часть. Будем говорить, что функция f(x,y) удоволетворяет условию Липшица на D относительно y, если существует постоянная L такая, что
для всех , i=1,2.
Пусть правая часть f(x,y) дополнительно удовлетворяет условию Липшица на D относительно y, тогда задача Коши не может иметь в D более одного решения.
Также отметим, что хотя эта теорема имеет глобальный характер, тем не менее она не устанавливает существование глобального решения.
Для существования глобального решения необходимо наложить условия на рост правой части по y: пусть функция f удовлетворяет условию
где A>0 - константа не зависящая ни от x, ни от y, тогда задача Коши имеет решение в D. В частности, из этой теоремы следует, что задача Коши для линейных уравнений (с непрерывными по x коэффициентами) имеет глобальное решение.
Теорема существования и единственности решения задачи Коши для номального уравнения первого порядка.
Нормальная система в векторных обозначениях примет вид
где .
Определение. Вектор-функция называется решением нормальной системы (1) на промежутке , если:
1.
2.
3.
Рассмотрим начальное условие
Точка (x0,y0) называется начальной точкой, а ее координаты x0,y0 называются начальными данными.
Определение. Задача нахождения решения нормальной системы (1), удовлетворяющего начальному условию (2), называется задачей Коши.
Система уравнений вида
где , назыается системой интегральных уравнений.
Вектор-функция называется решением на промежутке системы (3), если:
1.
2.
3.
Лемма об эквивалентности. Вектор-функция - решение задачи Коши (1) при условии (2) тогда и только тогда, когда решение системы интегральных уравнений (3).
Теорема существования и единственности решения задачи Коши.
Пусть вектор-функция удовлетворяет на каждом компакте области G условию Липшица
Тогда:
1) найдется такое δ > 0, что при | x − x0 | решение задачи Коши (1) при условии (2) существует,
2)решение задачи Коши единственно
В силу леммы об эквивалентности доказательство теоремы сводится к доказательству существования и единственности решения системы интегральных уравнений (3).
A)Существование
Поскольку и G - открытое множество, то что замкнутый цилиндр принадлежит G. В силу того, что цилиндр Gpq компакт то
Будем строить решение системы интегральных уравнений (3) методом приближений Пикара при | x0 − x | < δ, где . Определим последовательные приближения следующим рекурентным образом при :
ясно, что каждая yi(x) непрерывна при (x,y), и что
Как известно из курса анализа, равномерная сходимость функционального ряда эквивалентна равномерной сходимости ряда вида
докажем оценку
По теореме Вейршрасса получем, что
и
Единственность следует из леммы Гронуолла.