Линейные системы дифференциальных уравнений с периодическими коэффициентами
Другие рефераты
Однородная линейная система дифференциальных уравнений с периодическими
коэффициентами.
Рассмотрим систему линейных дифференциальных уравнений
? = F(t)z (- ( < t < + (), (1)
где F(t) — непрерывная периодическая матрица с периодом (:
F(t + () = F(t).
Пусть z1(t), …, zn(t) — фундаментальная система решений для системы
уравнений (1), определяемая начальными условиями
zj(0) = ej (j = 1, …,n), (2)
где ej = {(j1, …, (jn} (см. примечание 1). Поскольку матрица F(t)
периодическая, функции z1(t + (), …, zn(t + () также образуют
фундаментальную систему решений. Таким образом каждая из функций zj(t + ()
будет линейной комбинацией zk(t) (k = 1, …, n) с постоянными коэффициентами
(см. примечание 2), поэтому
где сjk (j, k = 1, …, n) — постоянные. Последние соотношения можно
записать в виде
Z(t + () = Z(t)C, (3)
где Z(t) — фундаментальная матрица решений zj(t) (j = 1, …, n), а С = (сjk)
— постоянная матрица.
В силу (1) и (2) матрица Z(t) удовлетворяет условиям
? = F(t)Z, Z(0) = E.
Полагая в равенстве (3) t = 0, получим Z(() = C.
Таким образом, Z(t + () = Z(t)Z((). (4)
Матрица Z(() называется матрицей монодромии системы уравнений (1).
Очевидно (Z(()( ( 0. Собственные значения матрицы Z(() называются
мультипликаторами системы уравнений (1).
Отметим, что если матрица F(t) действительная, то матрица монодромии
также действительная, однако мультипликаторы будут, вообще говоря,
комплексными числами.
Теорема 1. Для того чтобы комплексное число ( было мультипликатором
системы уравнений (1), необходимо и достаточно, чтобы существовало такое
нетривиальное решение ((t) системы (1), для которого
((t + () = (((t). (5)
Доказательство. Пусть ( — мультипликатор системы уравнений (1), тогда
существует такой вектор z0 ( 0, что
Z(()z0 = (z0.
Рассмотрим следующее нетривиальное решение системы уравнений (1):
((t) = Z(t)z0.
В силу (4)
((t + () = Z(t + ()z0 = Z(t)Z(()z0 = Z(t)(z0 = (Z(t)z0 = (((t).
Необходимость условия сформулированного в теореме, доказана. Докажем
достаточность. Из соотношения (5) при t = 0 получим
((() = (((0). (6)
В силу теоремы единственности
((t) = Z(t) ((0), (7)
причем ((0) ( 0, так как в противном случае решение ((t) было бы
тривиальным. Из равенства (7) в силу (6) следует то, что
Z(()((0) = ((() = (((0).
Таким образом, ((0) — собственный вектор матрицы Z(?), а ? — мультипликатор
системы уравнений (1). Теорема доказана.
Из доказанной теоремы непосредственно вытекает
Следствие. Линейная однородная система уравнений (1) имеет
нетривиальное решение с периодом ? в том и только в том случае, когда один
из ее мультипликаторов равен единице.
Замечания. 1. Имеет место
Теорема Флоке. Фундаментальная матрица Z(t) допускает следующее
представление:
Z(t) = Ф(t)eAt [1],
где Ф(t) — периодическая матрица с периодом ?, а А — постоянная матрица.
2. Легко видеть, что матрица Ф(t) удовлетворяет следующему условию:
откуда непосредственно следует, что замена переменных z = Ф(t)y переводит
систему уравнений (1) в систему уравнений с постоянными коэффициентами (см.
примечание 3)
Неоднородная линейная система дифференциальных уравнений с периодическими
коэффициентами.
Рассмотрим система дифференциальных уравнений
? = F(t)z + g(t) (- ( < t < + (), (8)
где F(t) — непрерывная периодическая матрица с периодом ?, g(t) —
непрерывная периодическая вектор-функция с периодом ?. Нас будут
интересовать периодические решения этой системы уравнений с периодом ?.
Теорема 2. Пусть однородная система уравнений (1) (соответствующая
неоднородной системе (8)) не имеет нетривиальных периодических решений с
периодом ? (то есть все ее мультипликаторы отличны от единицы). Тогда
система уравнений (8) имеет единственное периодическое решение с периодом
?.
Доказательство. Любое решение системы уравнений (8) может быть
представлено в виде
(9)
где Z(t) — фундаментальная матрица системы уравнений (1). Выберем
фундаментальную матрицу Z(t) так, чтобы было
Z(0) = E.
В этом случае формула (9) примет вид (при t0 = 0)
(10)
Потребуем, чтобы решение z(t) имело период ?:
z(t + ?) = z(t). (11)
В частности, при t = 0
z(?) = z(0). (12)
Оказывается, что если для некоторого решения z(t) выполнено условие (12),
то оно имеет период ?. В самом деле, z(t + ?) и z(t) — два решения системы
уравнений (8), удовлетворяющие в силу (12) одному и тому же начальному
условию при t = 0. В силу теоремы единственности эти решения тождественно
совпадают, то есть имеет место соотношение (11). Таким образом, условие
того, что решение z(t) имеет период ?, можно записать в виде (12). В силу
формулы (10) соотношение (12) примет вид
(13)
По условию теоремы, все мультипликаторы системы (1) отличны от единицы.
Поэтому (Z(() - E( ( 0 (характеристическое уравнение (Z(() - ?E( = 0 не
имеет корня ? = 1) и система уравнений (13) однозначно разрешима
отностильно z0. Теорема доказана.
Замечание. В случае, когда однородная система уравнений (1) имеет
нетривиальное периодическое решение с периодом ?, линейная неоднородная
система уравнений (8) может или вообще не иметь периодических решений с
периодом ? (если система уравнений (13) несовместна), или иметь несколько
линейно независимых периодических решений с периодом ? (если система
уравнений (13) имеет бесконечное множество решений).
Примечания:
1. (j1 = {1;0; …;0}, …, (jn = {0;0; …;1}.
2. Любое решение x(t) однородной системы уравнений есть линейная комбинация
решений фундаментальной системы решений x1(t), …,xn(t).
3. Все выводы получаются следующим образом:
из ? = F(t)Z и Z(t) = Ф(t)eAt следует то, что, подставляя второе выражение
в первое, получим
Примеры:
Теперь рассмотрим несколько примеров на применение рассмотренных в докладе
теорем и следствий к ним:
Пример 1: Показать, что линейное уравнение второго порядка
где f(t) — непрерывная периодическая функция с периодом ?, имеет
единственное периодическое решение с периодом ?, если
Решение.
Сведем дифференциальное уравнение к системе и применем теорему 2:
1. Имеем
2. Для применения теоремы 2 нам необходимо составить матрицу монодромии
однородной системы и все собственные значения этой матрицы должны быть
отличны от единицы; для начала найдем фундаментальную матрицу для
однородной системы, соответствующей неоднородной системе (*):
3. Находим мультипликаторы однородной системы:
Итак, если
все мультипликаторы системы уравнений (**) отличны от единицы.Таким
образом, выполнены все условия теоремы 2. Из этого следует, что система
(*),а значит и исходное дифференциальное уравнение, имеет единственное
периодическое решение с периодом ?.
Задача решена.
Пример 2: Показать, что линейное уравнение второго порядка
при a?2?k/? (k(R) имеет единственное периодическое решение с периодом ?
(см. пример 1); при a=(2?/? не имеет периодических решений с периодом ?, а
при a=2?k/? (k — любое целое число, не равное (1 и 0) все его решения —
периодические с периодом ?.
Решение.
Очевидно, что здесь необходимо воспользоваться теоремой 2 и замечанием к
ней. Решение данного примера необходимо разбить на 3 части (для каждого из
условий). Поскольку при нахождении матрицы монодромии в предыдущем примере
мы свободный член исходного дифференциального уравнения не использовали и
учитывая одинаковые правые части дифференциальных уравнений обоих примеров,
можно будет сразу воспользоваться некоторыми выкладками примера 1.
Итак, матрица монодромии имеет следующий вид:
1.[a?2?k/? (k(R)] Как мы установили в примере 1, любое линейное уравнение
вида при указанных ограничениях действительно имеет единственное
периодическое решение с периодом ?.
2-3.[a=(2?/?; a=2?k/? (k — любое целое число, не равное (1 и 0)]
При данных значениях а однородная система (**) из 1-го примера имеет
нетривиальное периодическое решение с периодом ?, тогда в соответствии с
замечанием к теореме 2 линейная неоднородная система уравнений,
соответствующая заданному дифференциальному уравнению , может или вообще не
иметь периодических решений с периодом ? (для случая 2 необходимо
установить несовместность системы уравнений (13)), или иметь несколько
периодических решений с периодом ? (для случая 3 необходимо установить, что
система уравнений (13) имеет бесконечное множество решений).
Сначала мы
| |  скачать работу |
Другие рефераты
| 
