
- •Глава 4. Линейные дифференциальные уравнения и системы
- •1. Общие замечания. Однородные и неоднородные уравнения и системы
- •2. Фундаментальная система решений однородной системы м однородного уравнения
- •3. Дифференцирование векторов, матриц, определителей. Комплекснозначные функции действительного аргумента
- •Примеры решения задач
- •Задачи для самостоятельного решения
- •4.Определитель Вронского
- •5. Метод вариации постоянных для неоднородных уравнений и систем
- •6. Однородные уравнения с постоянными коэффициентами
- •Типовые задачи
- •Задачи для самостоятельного решения
- •7. Линейные однородные системы с постоянными коэффициентами
- •Типовые задачи
- •Задачи для самостоятельного решения
- •8. Линейные неоднородные уравнения и системы с постоянными коэффициентами со специальной правой частью
- •Типовые задачи
- •Задачи для самостоятельного решения
8. Линейные неоднородные уравнения и системы с постоянными коэффициентами со специальной правой частью
Рассмотрим линейное неоднородное уравнение с постоянными коэффициентами
(29)
В
начале главы было отмечено, что решение
этого уравнения будет получено, если
удастся найти все решения однородного
уравнения
и какое-либо (частное) решение уравнения
(29). Нахождение фундаментальной системы
решений однородного уравнения достаточно
подробно обсуждалось в предыдущих
параграфах, поэтому мы будем считать
её известной. Остаётся лишь найти частное
решение уравнения (29). Это может быть
сделано методом вариации постоянных
для любой функции
стоящей в правой части уравнения (29)
(единственным ограничением на функцию
является её непрерывность). Однако, если
имеет специальный вид, а именно, являетсяквазимногочленом,
то существует гораздо более эффективный,
чем метод вариации постоянных, способ
отыскания частного решения – это метод
неопределённых коэффициентов.
Назовём
квазимногочленом
функцию вида
где
обычный многочлен, а
постоянные. При этом мы не исключаем
случай, когда числа
комплексные. Так как
и
то квазимногочленами оказываются
функции вида
и т.д. Сделаем одно замечание.
Замечание. Если уравнение (29) имеет вид
(30)
где
дифференциальные операторы, то частное
решение уравнения (30) может быть
представлено в виде
где
частное решение уравнения
Доказательство
высказанного утверждения очевидным
образом следует из того факта, что
линейный оператор.
Ввиду замечания нам достаточно научиться отыскивать частные решения уравнений вида
(31)
Число
может являться, а может и не являться
корнем характеристического уравнения
однородного уравнения
Если
не является корнем характеристического
уравнения, то будем говорить, что
корень кратности 0. Таким образом,
корень кратности
многочлена
в том и только том случае, если
где
многочлен, удовлетворяющий условию
Ниже будет доказано, что уравнение (31)
обязательно имеет частное решение вида
(32)
где
кратность
в характеристическом уравнении, а
степень многочлена
Используя
этот факт, можно сравнительно просто
найти частное решение уравнения
Для этого достаточно равенство (32)
продифференцировать
раз и подставить производные в уравнение
(31). После подстановки мы получим систему
линейных алгебраических уравнений для
коэффициентов
Решив её, найдём эти коэффициенты.
Теорема.
Линейное уравнение с постоянными
коэффициентами
в котором
многочлен, а
постоянная, имеет частное решение вида
где
кратность
в характеристическом уравнении, а
степень многочлена
Доказательство теоремы мы не будем проводить во всех подробностях, а обрисуем лишь основные его этапы.
Обозначим
через
комплексное линейное пространство,
состоящее из всех линейных комбинаций
функций
Таким образом,
(здесь угловые скобки означаютлинейную
оболочку системы
векторов). Очевидно,
базис пространства
Рассмотрим два подпространства этого
пространства:
и
На пространстве
действует линейный оператор
переводя вектор
в вектор
Так как
то действие оператора
можно “расщепить” на два действия:
сначала оператором
потом оператором
Можно проверить, что оператор
взаимно однозначно отображает пространство
на
а оператор
взаимно однозначно отображает
на
Так как функция
принадлежит подпространству
то она имеет прообраз
при отображении
т.е.
Так как
то
имеет прообраз
при отображении
т.е.
Таким образом,
Так как
то
функция вида (32). Таким образом, уравнение
имеет частное решение вида (32).
Рассуждения данной теоремы можно проиллюстрировать следующим рисунком:
Утверждение,
аналогичное только что приведённой
теореме, справедливо для систем с
постоянными коэффициентами со специальной
правой частью. Отличие от уравнений
состоит в том, что вместо
надо брать
Точное утверждение сформулируем в виде
теоремы, доказательство которой опустим.
Теорема.
Система дифференциальных уравнений с
постоянными коэффициентами
где
постоянная
-матрица,
искомая вектор-функция, а
имеет частное решение вида
где
кратность
в характеристическом уравнении