![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Линейные дифференциальные уравнения второго порядка
Дифференциальное уравнение второго порядка имеет вид .
Определение. Общим решением уравнения второго порядка называется такая функция , которая при любых значениях
и
является решением этого уравнения.
Определение. Линейным однородным уравнением второго порядка называется уравнение . Если коэффициенты
и
постоянны, т.е. не зависят от
, то это уравнение называют уравнением с постоянными коэффициентами и записывают его так:
.
Уравнение будем называть линейным неоднородным уравнением.
Определение. Уравнение , которое получается из линейного однородного уравнения заменой функции
единицей, а
и
- соответствующими степенями
, называется характеристическим уравнением.
Известно, что квадратное уравнение имеет решение, зависящее от дискриминанта
:
, т.е. если
, то корни
и
- действительные различные числа. Если
, то
. Если же
, т.е.
, то
будет мнимым числом, а корни
и
- комплексными числами. В этом случае условимся обозначать
.
Пример 4. Решить уравнение .
Решение. Дискриминант этого квадратного уравнения , поэтому
.
Покажем, как по виду корней характеристического уравнения найти общее решение однородного линейного уравнения второго порядка.
Если - действительные корни характеристического уравнения, то
.
Если корни характеристического уравнения одинаковы, т.е. , то общее решение дифференциального уравнения ищут по формуле
или
.
Если же характеристическое уравнение имеет комплексные корни , то
.
Пример 5. Найти общее решение уравнения .
Решение. Составим характеристическое уравнение для данного дифференциального уравнения: . Его корни
,
действительны и различны. Поэтому общее решение
.
Фундаментальная система решений линейного однородного дифференциального уравнения. Теорема о структуре общего решения решений линейного однородного дифференциального уравнения. В этом разделе мы докажем, что базисом линейного пространства частных решений однородного уравнения может служить любой набор из n его линейно независимых решений.
Опр. 14.5.5.1. фундаментальной системы решений. Фундаментальной системой решений линейного однородного дифференциального уравнения n -го порядка называется любая линейно независимая система y 1(x), y 2(x), …, yn (x) его n частных решений.
Теорема 14.5.5.1.1 о структуре общего решения линейного однородного дифференциального уравнения. Общее решение y (x) линейного однородного дифференциального уравнения есть линейная комбинация функций из фундаментальной системы решений этого уравнения:
y (x) = C 1 y 1(x) + C 2 y 2(x) + …+ Cn yn (x).
Док-во. Пусть y 1(x), y 2(x), …, yn (x) - фундаментальная система решений линейного однородного дифференциального уравнения. Требуется доказать, что любое частное решение y чо(x) этого уравнения содержится в формуле y (x) = C 1 y 1(x) + C 2 y 2(x) + …+ Cn yn (x) при некотором наборе постоянных C 1, C 2, …, Cn. Возьмём любую точку
, вычислим в этой точке числа
и найдём постоянные C 1, C 2, …, Cn как решение линейной неоднородной системы алгебраических уравнений
Такое решение существует и единственно, так как определитель этой системы равен . Рассмотрим линейную комбинацию y (x) = C 1 y 1(x) + C 2 y 2(x) + …+ Cn yn (x) функций из фундаментальной системы решений с этими значениями постоянных C 1, C 2, …, Cn и сравним её с функцией y чо(x). Функции y (x) и y чо(x) удовлетворяют одному уравнению и одинаковым начальным условиям в точке x 0, следовательно, по единственности решения задачи Коши, они совпадают: y чо(x) = C 1 y 1(x) + C 2 y 2(x) + … + Cn yn (x). Теорема доказана.
Из этой теоремы следует, что размерность линейного пространства частных решений однородного уравнения с непрерывными коэффициентами не превышает n. Осталось доказать, что эта размерность не меньше n.
Теорема 14.5.5.1.2 о существовании фундаментальной системы решений линейного однородного дифференциального равнения. Любое линейное однородное дифференциальное уравнение n -го порядка с непрерывными коэффициентами имеет фундаментальную систему решений, т.е. систему из n линейно независимых решений.
Док-во. Возьмём любой числовой определитель n -го порядка, не равный нулю
![]() | ![]() ![]() | |||
Ln (y 1) = 0; ![]() | Ln (y 2) = 0; ![]() | ![]() | Ln (yn) = 0; ![]() | |
Пусть y 1(x), y 2(x), …, yn (x) - решения этих задач. Эта система линейно независима на (a, b), так как её определитель Вронского в точке x 0 равен взятому числовому определителю и отличен от нуля, следовательно, это фундаментальная система решений. Теорема доказана.
Итак, мы доказали, что размерность линейного пространства частных решений однородного уравнения с непрерывными коэффициентами равна n, и базисом в этом пространстве служит любая фундаментальная система решений. Общее решение такого уравнения равно линейной комбинации функций из фундаментальной системы решений. Остаётся вопрос - как находить фундаментальную систему решений; оказывается, что в общем случае это возможно только в случае уравнения с постоянными коэффициентами. Мы займёмся этим дальше; предварительно рассмотрим ещё ряд свойств решений однородного уравнения.
Дата публикования: 2015-03-26; Прочитано: 305 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!