Литмир - Электронная Библиотека
Содержание  
A
A

Динамика, показанная на рисунке 2.2. также характерна для моделей Лесли и Ашера, независимо от количества задействованных классов. Как правило, существует доминирующая тенденция роста или упадка, хотя колебания меньшего масштаба также часто присутствуют. Доминирующая тенденция похожа на экспоненциальный рост или спад в мальтузианской модели. Однако классовая структура модели порождает и более сложное поведение.

Модель леса в разделе 2.1 является еще одним примером линейной модели, которая не является ни моделью Лесли, ни Ашера. Поскольку она отслеживает два типа деревьев, а не организмы, проходящие через свой жизненный цикл, матрица перехода имеет совершенно другую форму. Это пример марковской модели, идею которой разовьём далее в главе 4. Однако по рисунку 2.1 видно, что эта модель также показывает долгосрочную тенденцию, к равновесию. В следующем разделе разработаем средство извлечения информации об основных тенденциях, создаваемых любой линейной моделью.

При моделировании этапов какого-либо развития на примере модели Ашера или иной другой нужно учитывать ряд факторов. Понимание жизненного цикла моделируемой системы позволяется выбрать естественный набор классов. Однако трудности поиска хороших оценок параметров накладывают свои ограничения, поскольку если в модели используется избыточное число классов, то появляется и много лишних параметров. Использование очень маленьких возрастных групп или множества различных этапов теоретически должно привести к более точной модели. Тем не менее, это также потребует более подробного наблюдения, чтобы получить обоснованное уточнение параметрических значений.

Введём теперь понятия единичной матрица и обратных матриц. Рассмотрев подробно типы матриц, используемых в линейных популяционных моделях, вернемся к разработке некоторых математических инструментов для их понимания.

Предположим, что линейная модель популяции использует только два класса и, следовательно, имеет 2×2-матрицу перехода

Математические модели в естественнонаучном образовании - _7.jpg
. Если популяция в момент времени
Математические модели в естественнонаучном образовании - _477.jpg
 задается вектором
Математические модели в естественнонаучном образовании - _394.jpg
, то вычисление популяций на следующем шаге времени просто требует умножения
Математические модели в естественнонаучном образовании - _478.jpg
.

Но представьте, что заинтересованы в вычислении популяций на предыдущем временном шаге. Если знаем

Математические модели в естественнонаучном образовании - _479.jpg
 и
Математические модели в естественнонаучном образовании - _7.jpg
, как найти
Математические модели в естественнонаучном образовании - _480.jpg
? Другими словами, можно ли отматывать численность популяции назад во времени, если известна матрица
Математические модели в естественнонаучном образовании - _7.jpg
 , описывающая, как меняются значения при протекании времени вперед?

Если бы

Математические модели в естественнонаучном образовании - _7.jpg
 был скаляром, а не матрицей, знали бы, как это сделать. Просто «разделили» бы с обеих частей уравнения
Математические модели в естественнонаучном образовании - _481.jpg
 на
Математические модели в естественнонаучном образовании - _7.jpg
 , чтобы решить его относительно
Математические модели в естественнонаучном образовании - _444.jpg
. Остаётся придумать, что значит «деление на матрицу».

Можно подумать об этом следующим образом: на что умножить обе части уравнения

Математические модели в естественнонаучном образовании - _482.jpg
 с левой стороны, чтобы быть исчезло
Математические модели в естественнонаучном образовании - _7.jpg
 в правой части? Предположим, существует матрица
Математические модели в естественнонаучном образовании - _35.jpg
 такая, что после умножения на неё получается равенство
Математические модели в естественнонаучном образовании - _483.jpg
. Для избавления от
Математические модели в естественнонаучном образовании - _7.jpg
, нужно, чтобы результат матричного произведения
Математические модели в естественнонаучном образовании - _484.jpg
 исчез из уравнения, как-то сократился. Очевидно, что
Математические модели в естественнонаучном образовании - _484.jpg
 будет матрицей размерности
Математические модели в естественнонаучном образовании - _485.jpg
, и обойти это невозможно. Тем не менее, существует
Математические модели в естественнонаучном образовании - _485.jpg
-матрица специального вида, которая подходит на роль нейтрального по матричному умножению элемента.

Определение. Единичная

Математические модели в естественнонаучном образовании - _486.jpg
-матрица имеет вид
Математические модели в естественнонаучном образовании - _487.jpg
. В общем случае, единичная
Математические модели в естественнонаучном образовании - _488.jpg
-матрица – это квадратная матрица
Математические модели в естественнонаучном образовании - _489.jpg
, элементы главной диагонали которой равны 1, а все остальные элементы равны 0.

Обратите внимание, что в задаче 2.1.1. (в-г) такие матрицы были нейтральны по умножению, то есть вели себя как число 1 в обычной алгебре со скалярами. Умножение любого вектора на единичную матрицу с любой стороны оставляет этот вектор неизменным. Можно проверить, что для любой матрицы

Математические модели в естественнонаучном образовании - _339.jpg
 имеют место равенства
Математические модели в естественнонаучном образовании - _490.jpg
.

Возвращаясь к попытке моделирования численности популяции при переходе назад во времени, получаем

Математические модели в естественнонаучном образовании - _483.jpg
 , поэтому, если выбрать
Математические модели в естественнонаучном образовании - _35.jpg
 так, чтобы
Математические модели в естественнонаучном образовании - _491.jpg
, то уравнение становится разрешимым:
Математические модели в естественнонаучном образовании - _492.jpg
. Другими словами, удастся решить уравнение относительно
Математические модели в естественнонаучном образовании - _480.jpg
, вычислив
Математические модели в естественнонаучном образовании - _493.jpg
.

Определение. Если

Математические модели в естественнонаучном образовании - _7.jpg
 и
Математические модели в естественнонаучном образовании - _35.jpg
 являются квадратными
Математические модели в естественнонаучном образовании - _488.jpg
-матрицами и
Математические модели в естественнонаучном образовании - _494.jpg
, то говорим, что
Математические модели в естественнонаучном образовании - _35.jpg
 является обратной к
Математические модели в естественнонаучном образовании - _7.jpg
 и используем обозначение
Математические модели в естественнонаучном образовании - _495.jpg
.

Не будем доказывать здесь, но можно показать, что для квадратных матриц если

Математические модели в естественнонаучном образовании - _496.jpg
, то
Математические модели в естественнонаучном образовании - _497.jpg
. Таким образом, если
Математические модели в естественнонаучном образовании - _35.jpg
 является обратной для
Математические модели в естественнонаучном образовании - _7.jpg
, то
Математические модели в естественнонаучном образовании - _7.jpg
 обратная для
Математические модели в естественнонаучном образовании - _35.jpg
.

Прежде чем научиться вычислить обратную матрицу, проанализируем, всегда ли такая матрица будет существовать. Например,

Математические модели в естественнонаучном образовании - _498.jpg
, поэтому
Математические модели в естественнонаучном образовании - _499.jpg
. С другой стороны, если
Математические модели в естественнонаучном образовании - _500.jpg
, то
Математические модели в естественнонаучном образовании - _339.jpg
 необратима. Чтобы понять это, посмотрите на
Математические модели в естественнонаучном образовании - _501.jpg
 . Невозможно заполнить пропущенные места в верхней строке левой матрицы так, чтобы верхняя левый элемент первой строки в произведении оказался равен 1. Из-за нулевого столбца в
Математические модели в естественнонаучном образовании - _339.jpg
 верхний левый элемент произведения всегда будет равным 0. Этот пример показывает, что некоторые матрицы необратимы.

26
{"b":"788195","o":1}