Балансовые модели (стр. 5 из 7)

Коэффициенты фондоемкости в межотраслевом балансе позволяют увязать планируемый выпуск продукции с имеющимися производственными мощностями. Так, потребность в функционирующих фондах k-й группы для достижения заданного объема материального производства X_j по всем отраслям задается формулой:

Элементы качественной теории дифференциальных уравнений

1. Автономные системы. Общее свойства.

Автономной системой дифференциальных уравнений n –го порядка называется система, которая в нормальной форме записывается в виде

В векторной форме автономная система имеет вид x' = F(x) (не зависит от t), где

Название автономная система связано с тем, что поскольку производная x' зависит только от x и не зависит от t, то решение само управляет своим изменением. Автономные системы называют также динамическими системами.

Любую систему дифференциальных уравнений, записанную в нормальной форме, можно свести к автономной системе, увеличив число неизвестных функций на единицу:

Будем полагать, что для рассматриваемых автономных систем выполнены условия теоремы существования и единственности решения задачи Коши.

Пусть x = φ(t) — решение автономной системы, определенное на отрезке [a, b]. Множество точек x = φ(t) ,

— кривая в пространстве . Эту кривую называют фазовой траекторией или просто траекторией системы, а пространство , в котором расположены фазовые траектории, называют фазовым пространством автономной системы.

Точка a называется положением равновесия (точкой покоя) автономной системы, если F(a) = 0 .

Равенство x = φ(t) ,

— параметрические уравнения фазовой траектории.

Интегральная кривая системы изображается в (n + 1) –мерном пространстве

и может быть определена уравнениями

Cсоответствующая фазовая траектория — проекция интегральной кривой на пространство

2. Структура решений автономной системы в окрестности не особой точки.

Пусть

(3)

— вещественная система,

— ее произвольное решение. Замена приводит (3) к виду , т. е. произвольное решение уравнения (3) переводится в тривиальное решение того же уравнения. Следовательно, все решения уравнения (3) устойчивы по Ляпунову, асимптотически устойчивы или неустойчивы одновременно. Поэтому можно говорить об устойчивости уравнения (3), понимая под этим устойчивость всех его решений, в частности тривиального.

Лемма 1. Пусть

и или , где — неособая при всех матрица, ограниченная по норме вместе с обратной . Тогда ограничена, не ограничена или бесконечно мала по норме при тогда и только тогда, когда обладает таким свойством.

Лемма вытекает из оценки

.

Следствие. Пусть

, — нормированная при фундаментальная матрица уравнения (3). Любая фундаментальная матрица уравнения (3) ограничена, не ограничена или бесконечно мала по норме вместе с .

Теорема 1. 1) Для того чтобы уравнение (3) было устойчивым по Ляпунову, необходимо и достаточно, чтобы его фундаментальные матрицы были ограничены при

. 2) Для того чтобы уравнение (3) было асимптотически устойчивым, необходимо и достаточно, чтобы его фундаментальные матрицы были бесконечно малыми при .

Доказательство. 1) Достаточность. Пусть

ограничена на . Решение задается формулой . (*)

Так как

, то . Следовательно, уравнение (3) устойчиво по Ляпунову, так как устойчиво его тривиальное решение. Действительно, если , то при всех . (**)

Необходимость. Пусть уравнение (3) устойчиво по Ляпунову. Тогда устойчиво его тривиальное решение, и выполняется (**). Пусть

фиксировано. Положим . Если , то . Из (*) и (**) имеем , т. е. ограничена. Аналогично доказывается ограниченность , а вместе с ними и матрицы .

2) Достаточность. Пусть

при . В силу (*) при всех , что и дает асимптотическую устойчивость.

Необходимость. Пусть для любых

при . Положим . В силу (*) , следовательно, . Аналогично доказывается, что , , что означает при . Теорема доказана.

Применим теорему 1 к исследованию устойчивости уравнения (3) с постоянной матрицей коэффициентов P. Уравнение (3) в этом случае имеет фундаментальную матрицу

, , где — жорданова форма матрицы P. По теореме 1, лемме 1 и следствию к ней устойчивость по Ляпунову, асимптотическая устойчивость и неустойчивость уравнения (3) эквивалентны соответственно ограниченности, бесконечной малости и неограниченности матрицы при . Отсюда получаем следующую теорему:

Теорема 2. Линейная однородная система с постоянным коэффициентами: 1) устойчива по Ляпунову тогда и только тогда, когда среди собственных чисел матрицы коэффициентов нет таких, вещественные части которых положительны, а число мнимые и нулевые собственные числа либо простые, либо имеют только простые элементарные делители; 2) асимптотически устойчива тогда и только тогда, когда все собственные числа матрицы коэффициентов имеют отрицательные вещественные части.