Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Dif_uravn_1.doc
Скачиваний:
34
Добавлен:
09.02.2015
Размер:
2.4 Mб
Скачать

9. Линейные д.У..

9.1. Введение.

Линейное д.у. n-го порядка имеет вид:

(1)

где y – неизвестная функция аргумента x, - заданные непрерывные функции. Линейное д.у. называется однородным, если.

При - уравнениенеоднородно, или уравнение с правой частью.

Задачу нахождения решения, отвечающего условиям:

при называют задачей Коши для д.у.n-

го порядка.

Теорема Коши: Если в д.у. n-го порядка

функция F непрерывна, а ее частные производные по ограничены во всех точках(n+1) – мерной области , то для любогосуществует единственное решениеданного д.у., удовлетворяющее начальным условиям.

Такое решение называют частным решением, соответствующим заданным начальным условиям.

Общим решением д.у. n-го порядка ( определенным наD, где выполнены условия теоремы Коши ) называют решение этого уравнения, зависящего от n произвольных постоянных

и являющихся совокупностью всех частных решений данного д.у.. Существование общего решения также гарантируется теоремой Коши, при соблюдении ее условий.

Для получения частного из общего необходимо найти . Естественно, что условия теоремы Коши выполняются для линейного д.у.n-го порядка в области непрерывности его коэффициентов. Расшифровать!

9.2. Линейные однородные д.у. 2-го порядка.

9.2.1. Теоремы о частных решениях.

Рассмотрим линейное однородное д.у. 2-го порядка :

(2)

Имеют место следующие теоремы:

Теорема 1. Всякая линейная комбинация

нескольких частных решенийоднородного д.у. 2-го порядка также является его решением.

Доказательство: Подставляя y в (2) и группируя:

т.к теорема доказана.

В частности сумма и разность 2-х частных решений также является решеиями. Например - являются решениями д.у., т.к.и- решения.

Теорема 2. Если известно одно частное решение д.у. однородного ( ненулевое ), то можно понизить порядок этого д.у. на единицу.

Док-во: Подстановка , гдеzновая неизвестная функция приведет к :

подставляя получим:

Далее, пусть ии разделим все уравнение натогда:

, где т.е. получили д.у. 1-го порядка относительноu.

9.2.2. Фундаментальная система решений однородного линейного д.У.

Определение: Ф.С.Р. однородного д.у. 2-го порядка называется всякая пара частных решений этого уравнения, отношение которых не равно постоянной. Такие решения также называютлинейно-независимыми.

Например:

и частные решенияобразуют

Ф.С.Р., а

и- нет.

Если - Ф.С.Р. то- также будет Ф.С.Р.

Действительно, пусть , где, но тогда, что и требовалось доказать.

Таким образом, если уравнение имеет одну ФСР, то оно имеет их бесконечно много. Всякое дифференциальное линейное однородное уравнение имеет нулевое решение , но оно не входит ни в одну фундаментальную систему.

Определение: Определителем Вронского (вронскинианом) системы двух частных решений иуравнения (2) называют

.

Свойства определителя Вронского:

  1. Если ине образуют фундаментальной системы (т.е. являются линейно зависимыми, то их определитель Вронского тождественно равен нулю:

.

  1. Если , то решенияи– линейно зависимы.

Пусть или

.

Если .

9.2.3. Формула Остроградского-Лиувилля Пусть и– решения (2), следовательно,

.(3) Умножим первое из этих уравнений на , а второе – наи сложим их, получим, () что равносильно . ()

Это означает, что двух решений уравнения (2) есть одно из решений дифференциального уравнения (1). Рассмотрим уравнение

. ()

Решая его, получим:

.

Поскольку начальное условие произвольно, то иявляется фактически произвольной константой:.

Так как определитель Вронского есть одно из решений (), то для него также справедлива следующая формула:

. (4)

Формула Остроградского-Лиувилля справедлива для любых двух решений уравнения (2).

Функция непрерывна, следовательно,и справедливо следующее утверждение: вронскинианлибо тождественно равен нулю, если, либо не равен нулю ни при одном, если. Таким образом, определитель Вронского для фундаментальной системы решений не только тождественно не равен нулю, но и не обращается в ноль ни при одном. Существенной является непрерывность.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]