таких систем оказывается во многом эквивалентной динамике орбит конечных математических полугрупп или групп. Наиболее известным представителем таких систем является современный компьютер, который может быть непосредственно использован для моделирования их динамики.
Практически неограниченное развитие компьютерной техники и области её использования свидетельствует о существовании широкой сферы применения дискретных математических моделей с большим, но конечным числом возможных состояний, то есть значений параметра целого для достаточно подробного описания природных и техногенных процессов.
Фазовое пространство при детерминированном итерационном процессе может быть построено следующим образом. По оси абсцисс откладывается ?p-1
, а по оси ординат ?p
. Точка на соответствующей фазовой плоскости соответствует отображению. Для систем с конечным числом состояний количество точек конечно и равно числу состояний.
Любой динамический процесс такого типа в пределе выходит на стационарную точку, ?p
= ?p-1
, или на циклическую траекторию ?p
= ?p-к
, где к можно считать периодом цикла.
В пределе очень большого числа состояний область изменения параметра целого может быть аппроксимирована континуумом. В этом случае количество типов траекторий становится значительно больше, чем при дискретном задании. Именно здесь появляются странные аттракторы.
Значительный практический интерес представляет использование аппроксимирующих функций, имеющих разрывы функций и их производных в конечном числе точек. В этом случае особые точки отображений и аттракторы приобретают дополнительные особенности.
В случае гладкой зависимости параметра целого от времени динамика его изменения может быть описана дифференциальным уравнением d?/df
= f(?, t)
, где f (?
,t) — заданная гладкая функция.
Решение и качественный анализ этого уравнения позволяют не только приближенно описывать динамику структуры, но и в какой-то степени предсказывать её будущее. Если структура или система развивается по внутренним законам (воздействие внешней среды (поля) на неё пренебрежимо мало либо носит стационарный характер), то для её описания может быть использовано автономное дифференциальное уравнение d?/df
= f(?)
.
В случае непрерывной аппроксимации наиболее удачным подходом является построение двумерных фазовых диаграмм, по одной из осей которых откладывается сам параметр, а по другой — его производная. Для автономных объектов фазовые траектории от времени не зависят.
В некоторых случаях дифференциального уравнения первого порядка для адекватного описания динамики параметра целого оказывается недостаточно. В этом случае можно перейти к дифференциальным уравнениям более высоких порядков или к введению комплексного параметра целого. В обоих случаях это математически эквивалентно увеличению числа координат.
Качественный анализ итерационной системы или нелинейного дифференциального уравнения позволяет ещё до их решения определить особенности поведения моделируемой системы как нелинейного объекта не только в прошлом и настоящем, но и в будущем.
Начнём анализ с автономной итерационной системы.
Выполнение условия ?n
= F(?n
) означает, что система находится в стационарном состоянии.
Стационарное состояние называется устойчивым и обозначается ?SU
, если существует некоторая область (окрестность ?SU
) в фазовом пространстве такая, что, как только процесс в какой-то момент времени пришел в состояние из этой области, то он начинает стремиться к устойчивому стационарному состоянию параметра целого ?SU
. Если такой области нет, т. е. если микроотклонение от точки, соответствующей стационарному значению ?SU
, приводит к существенным макроизменениям в течении процесса, состояние системы является неустойчивым стационарным состоянием.
В общем случае график ?2
= F(?1
), соответствующий итерационному соотношению, иллюстрирует закон эволюции системы и позволяет определять стационарные состояния системы и их тип.
Если кривая ?2
= F(?1
), определяемая соответствующим итерационным соотношением ?n+1
= F (?n
), пересекает прямую ?2
= ?1
, в точке ?S
и |F1 (?1
)| < 1, то ?S
— устойчивая стационарная точка, а если |F1(?1
)| > 1, то неустойчивая. Рассмотрим подробнее математическую модель автономного дифференциального уравнения первого порядка d?/df
= f(?)
. Его общее решение имеет вид.
Если для какой-либо структуры в определенные моменты удалось экспериментально определить как величину выбранного нами параметра целого, так и его производной по времени, то затем, аппроксимируя функцию f(?)
, например, при помощи дробно-рациональной функции
можно найти коэффициенты аппроксимации ai, bi, соответствующие экспериментальным данным.
Во многих случаях поведение системы вблизи особых точек, соответствующих нулям или полюсам функции f(?)
описывается степенной функцией с рациональным или иррациональным показателем степени или логарифмической функции. При этом появляется многозначность поведения исследуемой модели. Величины f(?)
могут одновременно с различной степенью вероятности принимать конечное или бесконечное множество действительных и комплексных значений, физический смысл которых для реальных систем должен быть специально уточнён.
Экспериментальные данные показывают, что большинство структур после периода бурного роста выходят на стабильный режим. в котором структура находится значительное время.
Этот процесс можно описать, используя квадратичную функцию f(?)
.
Рассмотрим так называемое логистическое уравнение, которое было подробно изучено в связи с анализом роста и стабилизации популяций животных, однако имеет широкое применение при исследовании различных систем. Оно имеет вид d?/dt
= f(1-?)
.?
Описываемый этим уравнением процесс имеет две стационарные точки ?
=0 и ?
= 1. Точка ?
=0 неустойчива; это значит, что новые структуры могут появляться, в частности, при потере устойчивости старых. Точка ?
=0 устойчива. Фазовая плоскость уравнения — зависимость d?/dt
от ?
, представляющая собой параболу, наиболее сжато и полно характеризует особенности процесса.
В некотором смысле логистическое уравнение универсально, так как его интегральные кривые описывают процесс перехода динамической системы из одного — неустойчивого состояния в другое — устойчивое. Оно также характеризует типичный процесс роста и стабилизации структур различной природы. Его решение в случае ?
< 1 имеет вид.
При стремлении ?
к нулю в момент начала роста структуры логистическая кривая асимптотически приближается к экспоненциальной. Однако, по мере увеличения меры ?
в структуре, описываемой этой кривой, развиваются процессы, препятствующие дальнейшему экспоненциальному росту структуры, и вблизи ?=
0,5 различие кривых становится существенным. Логистическая кривая выходит на асимптоту ?
= 1, а экспоненциальная кривая уходит вверх.