Определитель Вронского.
Определитель Вронского для функций вводится как определитель, столбцами которого являются производные этих функций от нулевого (сами функции) до n-1 го порядка.
.
Теорема. Если функции линейно зависимы, то
Доказательство. Так как функции линейно зависимы, то какая-либо из них линейно выражается через остальные, например,
. Тождество можно дифференцировать, поэтому
. Тогда первый столбец определителя Вронского линейно выражается через остальные столбцы, поэтому определитель Вронского тождественно равен нулю.
Теорема. Для того, чтобы решения линейного однородного дифференциального уравнения n-ого порядка были линейно зависимы, необходимо и достаточно, чтобы .
Доказательство. Необходимость следует из предыдущей теоремы.
Достаточность. Зафиксируем некоторую точку . Так как , то столбцы определителя, вычисленные в этой точке, представляют собой линейно зависимые векторы.
, что выполнены соотношения
.
Так как линейная комбинация решений линейного однородного уравнения является его решением, то можно ввести решение вида
- линейную комбинацию решений с теми же коэффициентами.
Заметим, что при это решение удовлетворяет нулевым начальным условиям, это следует из выписанной выше системы уравнений. Но тривиальное решение линейного однородного уравнения тоже удовлетворяет тем же нулевым начальным условиям. Поэтому из теоремы Коши следует, что введенное решение тождественно равно тривиальному, следовательно,
,
поэтому решения линейно зависимы.
Следствие. Если определитель Вронского, построенный на решениях линейного однородного уравнения, обращается в нуль хотя бы в одной точке, то он тождественно равен нулю.
Доказательство. Если , то решения линейно зависимы, следовательно, .
Теорема. 1. Для линейной зависимости решений необходимо и достаточно (или ).
- Экзаменационный билет №1
- Если на отрезке , то .
- Рассмотрим случай, когда все собственные значения линейного оператора с матрицей (или все характеристические числа матрицы , что одно и то же) действительны и различны.
- Экзаменационный билет №2
- Экзаменационный билет №3
- Теорема об оценке определенного интеграла.
- Экзаменационный билет №4
- 1 Признак. Теорема. Пусть при выполнено неравенство .
- Несобственные интегралы от разрывной функции по конечному промежутку (второго рода).
- 1 Признак. Теорема. Пусть при выполнено неравенство .
- Метод вариации произвольных постоянных для нахождения решения линейного неоднородного дифференциального уравнения n-ого порядка.
- Теорема о среднем значении определенного интеграла («теорема о среднем»).
- Первые интегралы нормальной системы дифференциальных уравнений, их применение и нахождение.
- Нахождение общего решения линейного неоднородного дифференциального уравнения второго порядка методом Лагранжа вариации произвольных постоянных.(...Н е т...)
- Понятие об особых точках и особых решениях дифференциального уравнения первого порядка.
- Линейное уравнение.
- Несобственные интегралы от непрерывной функции по бесконечному промежутку (первого рода).
- 1 Признак. Теорема. Пусть при выполнено неравенство .
- Теорема о среднем значении определенного интеграла («теорема о среднем»).
- Доказать теоремы о свойствах частных решений линейного неоднородного дифференциального уравнения n-го порядка.
- Теорема о наложении частных решений.
- Метод подбора формы частного решения.
- Пусть правая часть представляет собой квазиполином .
- Линейная зависимость и независимость.
- Определитель Вронского.
- 2. Для линейной независимости решений необходимо и достаточно .
- 1 Признак. Теорема. Пусть при выполнено неравенство .
- Линейная зависимость и независимость.
- Определитель Вронского.
- 2. Для линейной независимости решений необходимо и достаточно .
- Уравнения второго порядка, допускающие понижение порядка.