Представление систем на стандартном симплексе. 2 Определение. Вид системы называется заданием системы на стандартном симплексе через функции (1) положительно.

Презентация:



Advertisements
Похожие презентации
Сохранение суммы фазовых координат. Важный частный случай представляют системы, в которых в течение всего процесса сохраняется постоянной сумма значений.
Advertisements

Системы нестрого отбора. Систему на стандартном симплексе S будем называть системой нестрогого отбора, если найдутся номера i и j такие, что при любых.
Неотрицательное решение задачи Коши. Нередко постановка задачи требует чтобы фазовые переменные принимали лишь неотрицательные значения. Так, в физических.
Система строгого отбора. Теорема 1 (Интегральный критерий строго отбора). Для того чтобы система с наследованием (1) (2) являлась системой строгого отбора,
Методы приведения к системе на стандартном симплексе.
Теоремы Ляпунова. Система дифференциальных уравнений в нормально форме относительно функций : (1) на симплексе Выразим первую переменную через остальные:
Системы с наследованием. Если систему можно представить в виде : Где - непрерывные функции, то такая система называется системой с наследованием. Математическое.
Дифференциальные уравнения Линейные дифференциальные уравнения высшего порядка.
Математический анализ Раздел: дифференциальные уравнения Тема: Системы линейных ДУ: однородные системы Лектор Пахомова Е.Г г.
Системы близкие к системам отбора. Введение С точки зрения практики бывает нецелесообразно различать случаи, когда в системе на стандартном симплексе:
Модель передачи информации в популяции переменной численности.
Математические модели Динамические системы. Модели Математическое моделирование процессов отбора2.
Глава 2. Дифференциальные уравнения высших порядков.
Определение Две плоскости называются параллельными, если они не пересекаются. α α β, тогда αβ β.
Функция Ляпунова для моделей химической кинетики.
Дифференциальные уравнения 2-го порядка Лекция 5.
Предел и непрерывность функции одной переменной. Бесконечно малые функции Пусть функция определена в окрестности точки a, кроме, быть может, самой точки.
Предел функции Второй замечательный предел Бесконечно малые функции Непрерывность функции в точке Точки разрыва функции Основные теоремы о непрерывных.
§4. Непрерывность функции 1. Основные определения Пусть f(x) определена в некоторой окрестности точки x 0. ОПРЕДЕЛЕНИЕ 1. Функция f(x) называется непрерывной.
Предел и непрерывность функции одной переменной. Понятие функции Функцией называется отношение, при котором каждому элементу множества X соответствует.
Транксрипт:

Представление систем на стандартном симплексе

2 Определение. Вид системы называется заданием системы на стандартном симплексе через функции (1) положительно однородные по x. перехода, где Определение. Стандартным симплексом S называется фазовое пространство Математическое моделирование процессов отбора

3 Первая теорема о представлении Теорема 1.1 (Первая теорема о представлении). Любая системана стандартном симплексе S может быть представлена в виде где функцииквазиположительные, положительно однородные по переменным x. При этом, если функцииудовлетворяют Условию Липшица по x хотя бы в некоторой окрестности симплекса S (2)(2) где- некоторые положительные константы, то для функций также будет выполняться условие Липшица в этой окрестности. Математическое моделирование процессов отбора

4 Доказательство. На стандартном симплексе S: Если квазиположительны, тотакжеквазиположительны.. Условие положительной однородности: при Так как на симплексе S справедливо, то и Тогда на симплексе S: Пусть принадлежат симплексу S. Пусть - произвольные точки из окрестности (2) симплекса S, тогда точки Математическое моделирование процессов отбора

5 Т.к.непрерывны, тотакая, что при любом выборе точкииз окрестности (2) симплекса S. Тогда Что и требовалось доказать. Существует константа L такая, что Математическое моделирование процессов отбора

6 Если система на стандартном симплексе автономная, то первую теорему о представлении можно усилить. Теорема 1.2 Пусть системана стандартном симплексе является автономной. Тогда на симплексе S ее можно представить в виде (3) где функцииквазиположительные, положительно однородные, удовлетворяют условию Липшица в окрестности симплекса и, кроме того, неотрицательные. Математическое моделирование процессов отбора

7 Доказательство. По Теореме 1.1 для автономной системына стандартном симплексе справедливо представлениегде функции не зависят от переменной t и непрерывны по x, квазиположительны, положительно Тогда для произвольных точекиз симплекса S справедливо где L – положительная константа. Следовательно Так какквазиположительны, тои Возьмем однородны, удовлетворяют условию Липшица. Математическое моделирование процессов отбора

8 Для любой точкисправедливо Значит правые части системы (1) от заменынана симплексе S не меняются, и для этой системы справедливо (3). Что и требовалось доказать. Математическое моделирование процессов отбора

9 Вторая теорема о представлении Теорема 2.1 (Вторая теорема о представлении). Пусть система на стандартном симплексе задана через функции перехода Тогда отношения компонент ее решенияудовлетворяют уравнениям (4) еслини в один момент времени не обращаются в ноль. Математическое моделирование процессов отбора

10 Доказательство. Для непрерывного отношенияв силу уравнений (1) выполняется Что и требовалось доказать. Математическое моделирование процессов отбора

11 Теорема 2.2. Пусть в системе (4) функции- квазиположительные, положительно однородные по переменным x. Если система (4) при любых положительных начальных условиях из стандартного симплекса S имеет решение с положительными компонентами то система (1) будет единственной системой на стандартном симплексе, которой удовлетворяют переменные Математическое моделирование процессов отбора

12 Доказательство. x удовлетворяет одновременно (1) и (4). Докажем, что не существует другой системы на симплексе S, кроме (1), которой удовлетворяют переменные (4). Пусть на симплексе S существует система (5) не совпадающая с системой (1), которой удовлетворяет решение (4). Систему (5) можно записать в виде где (6) - квазиположительные, положительно однородные по переменным x. Справедливо Тогдаи просуммировав по j получаем Так както системы (1) и (6) тождественно совпадают. Что и требовалось доказать. Математическое моделирование процессов отбора