33
Далее, поскольку перемешивание не изменяет общей численности, то сумма
элементов в каждом столбце равна 1. Данное семейство матриц представляет собой
выпуклый многогранник (
) в - мерном пространстве. Вершинами
2
n
являются
матрицы, у которых в каждом столбце находится одна 1, а остальные элементы
равны 0 (Ильичев, 2007а). Поэтому теоретический анализ таких моделей
целесообразно начинать с базисных матриц
.
1.5. Приложение. Обоснование основных результатов
Анализ устойчивости уравнения (2.2). Метод D-разбиений основан на
непрерывной зависимости положения корней (квазимногочленов) от его
коэффициентов. Когда эти коэффициенты находятся на границе, разделяющей
области устойчивости и неустойчивости, то уравнение с необходимостью
содержит чисто мнимый корень. Так как коэффициенты квазимногочленов
вещественные числа, то мнимые корни представлены комплексно-сопряженными
парами
iy±=
. Поэтому ниже будем считать .
0≥y
Итак, подставим мнимый корень
iy
в (2.2). Тогда, выделяя
вещественную и мнимую части, получаем соотношения:
).sin(
),cos(
2
yay
yay
εγ=−
εγ=−ε
(П.1)
Следуя (Ильичев, Ильичева, 1998б), изложим основные результаты исследования.
Неравенство – необходимое условие совместности системы (П.1).
Зафиксируем такое
4/3
2
≥γ
и выразим параметры
, через
a
. С учетом условий
1
и получаем однозначное решение
()
0sin ≤ay
w
)w(1
2/12
−−
=
γ
ε
и
y
)]/()y[(arccosk2
a
2
εγεπ
−−
=
, (П.2)
где и - натуральное число. При заданном и вариации в
диапазоне
22
y/)1(w
γ
−=
k k
y
75.05.0y
22
−≤−
γ
уравнения (П.2) задают некоторую кривую –
границу “лакуны”. Показано, что когда точка
)a,(
перемещается от границы во
внутрь лакуны, тогда соответствующий мнимый корень (2.2) переходит в правую
комплексную полуплоскость. В целом, уравнение (2.2) неустойчиво, если и только
если точка
)a,(
находится внутри какой-либо лакуны.