Научная статья на тему 'Решение двумерной самоорганизованно-критической модели Манны'

Решение двумерной самоорганизованно-критической модели Манны Текст научной статьи по специальности «Математика»

CC BY
77
25
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
САМООРГАНИЗОВАННАЯ КРИТИЧНОСТЬ / SELF-ORGANIZED CRITICALITY / МАСШТАБНАЯ ИНВАРИАНТНОСТЬ / SCALE INVARIANCE / СТЕПЕННЫЕ РАСПРЕДЕЛЕНИЯ / КОНЕЧНО-РАЗМЕРНЫЙ СКЕЙЛИНГ / FINITE-SIZE SCALING / МОДЕЛИ КУЧИ ПЕСКА / MANNA MODEL / МОДЕЛЬ МАННЫ / СЛОИ ОПРОКИДЫВАНИЯ / LAYERS OF TOPPLING / ВОЛНЫ ОПРОКИДЫВАНИЯ / POWER LAWS / SANDPILE MODELS / WAVES OF TOPPLING

Аннотация научной статьи по математике, автор научной работы — Подлазов Андрей Викторович

В работе представлено полное решение модели Манны двумерной консервативной модели типа кучи песка с изотропными в среднем правилами передачи песчинок. Показатели распределений лавин по основным характеристикам (размер, площадь, периметр, длительность, кратность опрокидывания) определены для этой модели как аналитически, так и численно. Предлагаемое решение основывается на пространственно-временной декомпозиции лавин, описываемых посредством слоев и волн опрокидывания, а также на разделении движения песчинок на направленное и ненаправленное. Первый процесс может интерпретироваться в терминах динамики активных частиц, для которых описываются некоторые физические свойства.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Solution of two-dimensional self-organized critical Manna model

We propose a full solution for Manna model two-dimensional conservative sandpile model with the rules of grains redistribution isotropic at the average. Indices of the probability distributions of avalanches main characteristics (size, area, perimeter, duration, topplings multiplicity) are determined for this model both from theory and from simulations. The solution bases on the spatiotemporal decomposition of avalanches described in terms of toppling layers and waves. The motion of grains is divided into directed and undirected types. The former is treated as the dynamics of active particles with some physical properties described.

Текст научной работы на тему «Решение двумерной самоорганизованно-критической модели Манны»

Автоволны. Самоорганизация

Изв. вузов «ПНД», т. 21, № 6, 2013 УДК 519.6

РЕШЕНИЕ ДВУМЕРНОЙ САМООРГАНИЗОВАННО-КРИТИЧЕСКОЙ

МОДЕЛИ МАННЫ

А. В. Подлазов

В работе представлено полное решение модели Манны - двумерной консервативной модели типа кучи песка с изотропными в среднем правилами передачи песчинок. Показатели распределений лавин по основным характеристикам (размер, площадь, периметр, длительность, кратность опрокидывания) определены для этой модели как аналитически, так и численно. Предлагаемое решение основывается на пространственно-временной декомпозиции лавин, описываемых посредством слоев и волн опрокидывания, а также -на разделении движения песчинок на направленное и ненаправленное. Первый процесс может интерпретироваться в терминах динамики активных частиц, для которых описываются некоторые физические свойства.

Ключевые слова: Самоорганизованная критичность, масштабная инвариантность, степенные распределения, конечно-размерный скейлинг, модели кучи песка, модель Манны, слои опрокидывания, волны опрокидывания

Введение

Важнейшим признаком сложного поведения является масштабная инвариантность, то есть отсутствие у описывающих его величин собственных характерных значений. Возникновение масштабно-инвариантных свойств у открытых нелинейных систем обычно связано их самоорганизацией в критическое состояние [1, 2]. В работе изучается модель Манны [3] - двумерная изотропная консервативная само-организованно-критическая модель типа кучи песка. Используется четырехчастич-ный вариант правил данной модели, предложенный в работе [4] (в разных вариантах правил свойства этой модели одинаковы, но выбранный вариант наиболее удобен для сравнения с другими моделями типа кучи песка).

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

движения на направленную и ненаправленную компоненты, описываемые соответственно в терминах активных и обычных частиц). Возникающий при этом простой и удобный понятийный аппарат тоже следует рассматривать как важный результат работы.

Правила модели. Модель Манны представляет собой двумерную ортогональную решетку размера L х L, в ячейках которой находятся целые числа. Эти числа традиционно интерпретируются как количество песчинок.

Если число в ячейке превышает установленный порог, она объявляется неустойчивой и опрокидывается. При этом из нее изымаются 4 песчинки, каждая из которых передается одной из ячеек, имеющей с данной общую сторону (если ячейка находится на краю решетки, то передаваемые за него песчинки необратимо теряются). Выбор новой ячейки для каждой песчинки осуществляется случайным образом (правила изотропны). При наличии нескольких неустойчивых ячеек они опрокидываются одновременно - в ходе одного шага времени.

Элементарное событие, в результате которого система переходит от одного устойчивого состояния к другому, инициируется добавлением песчинки в одну из ячеек. Алгоритм ее выбора не влияет на свойства модели. В настоящей работе для добавления инициирующей песчинки случайным образом выбирается одна из четырех центральных ячеек решетки (L - четное число).

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

Далее рассматриваются следующие основные характеристики лавины:

• размер (количество произошедших опрокидываний) N;

• площадь (число опрокинувшихся ячеек) S;

• периметр (число ячеек, получивших песчинку, но не опрокинувшихся, включая песчинки, выпавшие за край решетки) C;

• длительность (число шагов времени) T.

Кроме того, рассматриваются две производные характеристики:

• кратность опрокидывания (средняя) M = N/S;

• радиус области лавины (характерная линейная протяженность) R — \JS.

Независимо от начального состояния системы после некоторого количества событий она приходит в критическое состояние, в котором происходящие процессы являются масштабно-инвариантными, а все перечисленные характеристики лавин подчиняются степенным распределениям с плотностью вероятности вида

u(x) - х"(1+а), (1)

где а - характеристический показатель.

Целью работы является определение значений а для всех характеристик лавины, то есть полное решение модели.

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

Наряду с моделью Манны [3] в теории самоорганизованной критичности известны две родственные ей (и хронологически более ранние) модели типа кучи песка. Первая из них - модель Бака-Танга-Визенфельда (БТВ) [1], единственное отличие которой от модели Манны состоит в том, что песчинки из опрокинувшейся ячейки распределяются между ее соседками не случайно, а строго поровну. Вторая - модель Жанга [5], которая оперирует нецелыми числами, что позволят при опрокидывании неустойчивой ячейки поровну поделить между ее соседками всё ее содержимое (а не фиксированную величину). По аналогии с моделью Жанга возможно рассмотрение модификации модели Манны, в которой из опрокинувшейся ячейки изымаются и передаются соседкам все имеющиеся там песчинки. Однако эта модификация попадает в тот же класс универсальности, что и исходная модель, и потому самостоятельного интереса не представляет.

На сегодняшний день достоверно не известно, относятся ли модели Манны и Жанга к одному или к разным классам универсальности. Но даже если эти классы различны, точно установлено, что модель БТВ не принадлежит ни к одному из них [4, 6, 7], хотя её правила подчиняются тем же симметриям и законам сохранения, что и правила двух других моделей. Данное обстоятельство ставит крест на применимости для теоретического решения таких моделей перенормировочных методов, неплохо зарекомендовавших себя при изучении обычных критических явлений. Так, использование блочного преобразования в работах [8, 9] вылилось в ошибочное отнесение к одному классу универсальности моделей БТВ и Манны, а использование метода динамической ренормгруппы в работах [10, 11] - моделей БТВ и Жанга.

К настоящему моменту теоретическое решение имеют только три двумерных модели типа кучи песка: детерминированная направленная модель Дхара-Рамасвами [12], которая была решена еще ее авторами; ее стохастический аналог - модель Пастор-Саторраса-Веспигнани [13], которая была решена в работах [14, 15], и дискретная модель Федеров [16], решенная в работе [17] на основе представлений о спонтанной анизотропии. В отличие от всех перечисленных моделей, рассматриваемая в настоящей работе модель Манны обладает изотропной динамикой, что требует существенно иных подходов.

Решение самоорганизованно-критической модели непосредственно на основе её правил является нетривиальной задачей, для которой нет общих алгоритмов. Ключом здесь служит формулировка промежуточной модели, описывающей коллективную динамику для исходной и тем самым позволяющей устанавливать количественную связь между различными характеристиками лавин, что существенно упрощает анализ распределений вероятности.

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

Заметим, что попытки интенсивного компьютерного исследования модели Манны предпринимались ранее и другими авторами. В частности, в работах

[18-20] некоторые показатели были определены с погрешностью достаточно низкой для того, чтобы стало возможным угадывание их точных значений, которые выражаются дробями со сравнительно небольшими числителем и знаменателем.

Кроме того, в работе [21] был предложен способ аналитического определения показателя ат посредством описания динамики числа неустойчивых ячеек как случайного блуждания, которое предполагается несмещенным, некоррелированным и независимым от времени. Однако это предположение - нетривиально, поскольку, например, для модели БТВ оно просто не выполняется. Для модели Манны в обсуждаемой работе оно проверялось только численно, но не было обосновано теоретически, так что полученный результат можно считать аналитическим лишь с серьезными оговорками. Тем не менее, он показывает один из потенциальных путей получения частичного решения данной модели, если используемые свойства блуждания будут объяснены.

В настоящей работе избран иной путь, основанный на построении промежуточной модели и анализе зависимостей между различными характеристиками лавин. Для предлагаемого решения среди них ключевыми оказываются средняя кратность опрокидывания М и периметр области лавины С, которые другими авторами, как правило, вообще не рассматриваются. Внимание обычно уделяется более традиционным характеристикам, таким как размер лавины N, ее площадь 5 и длительность Т, ограничиваясь которыми, получить решение не удается.

О степенных распределениях. Формула (1) является математической идеализацией и применима только в промежуточной асимптотике. Более адекватной реальности является запись

где функция Н(^) примерно постоянна при ^ ^ 1 и убывает быстрее любой степени аргумента при ^ ^ то [17, 22].

Ограничение диапазона степенной статистики значением х\ обусловлено конечностью размеров системы, не позволяющей ей порождать сколь угодно крупные события. В силу масштабной инвариантности критического состояния для величин, подчиняющихся распределению (2), характерный размер события XI, крупного настолько, что оно уже не помещается в систему размера Ь, масштабируется как некоторая его степень

Сочетание формул (2) и (3) позволяет определить скейлинговое поведение и для среднего размера события

где о = у(1 — а).

Для некоторых характеристик лавины скейлинговые показатели V и о можно установить из общих соображений. Для рассматриваемой модели это удается сделать в двух случаях.

и (х) = х (1+а) Н (х/х\),

(2)

х1 ~ V.

(3)

(4)

Во-первых, площадь области лавины, очевидно, ограничена площадью решетки, то есть

б! ~ Ь2 или у^ = 2. (5)

Во-вторых, движение каждой отдельно взятой песчинки по решетке представляет собой случайное блуждание. Чтобы покинуть решетку, добравшись от ее середины до края, песчинке надо пройти дистанцию порядка Ь ячеек, что требует порядка

Ь2

шагов. Это объясняется тем, что каждая лавина начинается добавлением одной песчинки в систему, и покидать ее в стационарном состоянии будет в среднем одна песчинка. Таким образом,

(К) ~ Ь2 или ам = 2. (6)

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

у ~ хУух. (7)

Воспользовавшись формулой преобразования вероятностей пх(х)йх = иу(у)йу, получаем соотношение для характеристических показателей

Уух = ах/ау. (8)

С другой стороны, записав связь между размерами крупных событий у1 ~ х\ух, получаем соотношение и для скейлинговых показателей

Уух = Vy/Ух- (9)

1. Геометрия области лавины

Первый элемент предлагаемой промежуточной модели - описание взаимного расположения ячеек, совершивших определенное количество опрокидываний в ходе лавины.

1.1. Слои опрокидывания. Область лавины представляется как последовательность слоев, внутри которых кратность опрокидывания одинакова (рис. 1). Для модели БТВ, правила которой строго детерминированы, такое описание было бы строгим [23]. Однако для модели Манны, в силу случайного характера раздачи песчинок при опрокидывании ячеек, оно является лишь приближением. Тем не менее, поскольку основанные на нем расчеты находятся в прекрасном согласии с результатами моделирования, будем считать точность такого приближения удовлетворительной.

Нумеровать слои области лавины будем из ее глубины наружу, начиная с единицы. То есть, если в данный момент времени максимальная кратность опрокидывания для рассматриваемой лавины равна т, то она состоит из слоев с номерами 1 < к < т, на которых произошло (т + 1 — к) опрокидываний. Здесь и далее большими буквами станем обозначать характеристики лавины, относящиеся ко всей ее области, а соответствующими малыми буквами с индексом к - значения этих характеристик для к-го слоя.

В силу масштабной инвариантности критического состояния характерный радиус области лавины дается степенной зависимостью

К - т1 - И (10)

(появление в этой и последующих формулах средней кратности опрокидывания И пояснено ниже). Поскольку показатель у, связывающий радиус и кратность, фигурирует далее во многих формулах, для удобства будем опускать у него индексы, сохраняя их для всех прочих показателей связи.

Чтобы описать слои, сделаем еще одно важное допущение относительно динамики лавины. Предположим, что при появлении новых слоев границы уже имеющихся не испытывают систематического смещения в какую-либо сторону, подвергаясь лишь флуктуациям. Это предположение является очень сильным и неочевидным. Будучи справедливым для модели Манны, оно не выполняется для модели БТВ. И хотя причины, обуславливающее данное фундаментальное различие между моделями, удалось теоретически объяснить [7], окончательным подтверждением сформулированного предположения, по всей видимости, можно считать только совпадение результатов проведенного на его основе теоретического анализа и компьютерного эксперимента.

Опираясь на сделанное предположение, запишем для характерной величины внешнего радиуса к-го слоя выражение

Рис. 1. Схематичное представление слоев опрокидывания. Увеличение номера слоя соответствует уменьшению кратности опрокидывания. Изрезан-ность границ слоев обеспечивает возрастание их ширины вместе с радиусом (в случае гладкой границы слои имели бы постоянную ширину)

Тк - (11)

превращающееся в частном случае к = т в зависимость (10). Поскольку очевидно, То = 0, для удобства выкладок далее формально будет использоваться и нулевой слой, не содержащий ячеек.

Характерная ширина к-го слоя

wk - ~ к— - т—\ (12)

ак

а его площадь

«к - ТкЫк - к2 1 - т2 1,1.

Суммированием по слоям лавины находим ее размер

т

N = ^ (т + 1 - к) вк ~ ш2у+1 ~ М 2^+1 (13)

к=0

и площадь затронутой ею области

5 = ^ вк ~ Ш2у ~ М(14) к=0

Из формул (13) и (14) получаем

М = N/5 ~ т.

Поэтому здесь, ранее и далее при проведении выкладок с точностью до коэффициента мы не различаем среднюю М и максимальную т кратности опрокидывания, называя их обе просто кратностью опрокидывания.

1.2. Распределение лавин по кратности опрокидывания. Предположения о пространственной структуре лавины и общего анализа правил модели оказываются достаточными для определения показателя распределения лавин по кратности опрокидывания ам.

Для этого сначала выразим его через показатель распределения лавин по размеру, применив соотношение (8) к формуле (13),

ам = (2у + 1) а*.

Сочетание формул (13) и (14) дает связь между характеристиками лавины

5 ^ N2у,

которая, в силу соотношения (9), приводит к выражению

2уу* = (2у + 1) у^. Запишем показатель для среднего размера лавины (4)

п \ 2у + 1 , ам л п , 1 - ам л

а* = ^(1 - ) = (1 - 2ТТГ) = ^(1 +

Отсюда, с учетом равенства а* = vs (см. формулы (5) и (6)), находим

ам = 1. (15)

1.3. Структура границ слоев. Для полного описания слоев необходимо рассмотреть не только их взаиморасположение, но и геометрию их границ.

Определим периметр слоя как длину его внешней границы. Она не является гладкой линией, образуя складки, соизмеримые по размеру с шириной слоя (12) (см. рис. 1). Поэтому его периметр не пропорционален радиусу (11). Назовем фронтом слоя усредненное положение его внешней границы. Поскольку усреднение сглаживает ее складки, длину фронта уже можно считать пропорциональной радиусу слоя.

<х:

5.0

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

4.0

3.0

2.0

1.0

М

101

102

103

I

Рис. 2. Средние глубина лавины и кратность опрокидывания. Логарифмическая зависимость от Ь средних значений этих характеристик подтверждает для них тривиальное единичное значение показателя, найденное на основе общих соображений о пространственной структуре лавины. Прямыми линиями показаны аппроксимации экспериментальных зависимостей

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

Б = 5/С.

Если бы граница области лавины была гладкой линией, глубина была бы пропорциональна радиусу. Однако, как следует из формул (14) и (17),

Б ~ М. (18)

Соответственно, ад = ам = 1. Соотношение (4) дает значение а = 0 при а = 1, то есть следует ожидать не степенного, а лишь логарифмического увеличения средних значений кратности и глубины с ростом размера решетки, что подтверждается результатами моделирования, приведенными на рис. 2.

Обратим внимание именно на линейную зависимость (Б) и (М) от ^ Ь для модели Манны, означающую отсутствие каких-либо неучтенных логарифмических поправок к используемым формулам. Поправки такого рода, несомненно, должны возникать в модели БТВ, для которой средняя кратность опрокидывания, как показывают результаты моделирования, растет медленнее логарифма размера системы. А формула (18) для модели БТВ, принадлежащей к другому классу универсальности, не выполняется, вследствие чего средняя глубина области лавины для этой модели дается некоторой степенью размера решетки меньшей единицы (возможно, тоже с логарифмическими поправками).

2. Динамика лавины

Второй элемент промежуточной модели - описание процесса формирования слоев и введение представления об ответственных за него активных частицах.

2.1. Физика активных частиц. Внутри слоя ячейки (в среднем) отдают соседям и получают от них одно и то же число песчинок. Однако на границе слоев этот баланс нарушается, так как ячейки внутреннего слоя отдают больше, чем получают от ячеек внешнего. То есть, количество песчинок, передаваемых слоем вовне, определяется его периметром (16), в каждой точке которого происходит передача песчинки.

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

- - е- - т2,-2/у. (19)

а°к , , к2у-2 „, Т2-2/у

ак

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

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

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

ак , у-2 1-2/у Тк - — - кг - Тк "

Тк к

активных частиц. Число шагов времени, необходимых для продвижения участка фронта, «обслуживаемого» одной активной частицей, пропорционально его длине

е. ЬТк ЬТк ОЪк - -

Тк т\ 2/^ Таким образом, скорость движения к-го фронта

^Тк 1-2/у

Ук - Ьк - Тк (20)

а время, которое он находится в пути с момента своего появления,

1к - Т2кн - к2. (21)

Динамика. Плотность активных частиц на к-м слое

ак ,-1 -1/у

Рк - — - к - тк '

В качестве причины движения фронтов наружу можно рассматривать взаимное отталкивание активных частиц [5]. Его энергия внутри к-го слоя (то есть включая более глубокие)

ик * р2 -£ - к2- - т2~2/-<

г=0 г=0

Приравняв скорость движения фронтов силе отталкивания

лик 1—2/у

агк к

еще раз получаем формулу (20).

Телеология. Активные частицы совершают направленное движение, которому можно приписать очевидную цель. В силу определения (19), полное количество активных частиц суть периметр лавины, который они и образуют по ее завершении. А в ходе ее развития активные частицы проявляют себя в виде некоторой доли опрокидываний. Следовательно, активность, понимаемая как среднее число опрокидываний за шаг

А = N.

Т'

с точностью до коэффициента совпадет с полным числом активных частиц, то есть

А ~ С. (22)

Сочетание этих формул с формулами (13) и (17) приводит к соотношению

Т ~ М2, (23)

являющемуся частным случае формулы (21).

Зависимость (23) может быть обобщена до вида (21) тем же способом, которым ранее был осуществлен переход от частной формулы для радиуса (10) к ее общему виду (11).

2.2. Волны опрокидывания. Развитие лавины во времени можно представить как последовательность волн опрокидывания, идущих из ее глубины к периферии, увеличивая кратность опрокидывания и число слоев. Для модели БТВ, для которой изначально было предложена такая декомпозиция [23], она является математически строгой, но на физическом уровне строгости она применима и для модели Манны.

Очередная волна может как достигнуть, так и не достигнуть границ уже затронутой лавиной области. В первом случае к ней добавляется новый внешний слой, во втором - происходит разделение одного из внутренних слоев на два. Если считать всё, что находится вне зоны распространения волны, пока незатронутой областью, то подстановка радиуса этой зоны в формулу (10) дает число слоев т, которое может не только увеличиваться (как происходит при развитии лавины), но и уменьшаться (как происходит при ее затухании). В самоорганизованно-критическом состоянии его среднее изменение

(А т) = 0. (24)

В самом деле, при (А т) < 0, лавина, инициированная добавлением песчинки, быстро затухает, как правило, не достигая краев решетки, что ведет к увеличению ее заполнения. С другой стороны, при (А т) > 0 лавина с ненулевой вероятностью неограниченно распространяется, достигая краев решетки во множестве мест и вынося много песчинок, что ведет к уменьшению заполнения. Возникающая отрицательная обратная связь и обеспечивает выполнение условия (24), означающего

диффузионное изменение кратности со временем, описываемое формулой (23). Возможность получения этой формулы без привлечения представления об активных частицах служит дополнительным обоснованием его адекватности.

2.3. Поток песчинок. С помощью формул (19) и (20) запишем поток частиц через к-й слой

3—4/у

]к = Укак ~ гк •

Он не должен зависеть ни от номера слоя, ни от числа слоев, ибо он выносит ту самую песчинку, добавлением которой инициирована лавина. Таким образом,

У = 4/3.

Найденное значение позволят с помощью формул (13), (14), (17) и (23) определить показатели связи для кратности опрокидывания, которые в силу формул (8) и (15) совпадают с характеристическими показателями: умм = аN = 3/11, умя = ая = 3/8, Уме = ас = 3/5 и умт = ау = 1/2. На их основе с помощью формул (5) и (9) вычисляются и скейлинговые показатели VN = 11/4, Ус = 5/4, Уу = 3/2 и Vм = 3/4.

3. Сравнение с компьютерным экспериментом

3.1. Метод конечно-размерного скейлинга. Формулы (2) и (3) ограничивают область промежуточной асимптотики, где плотность распределения может быть аппроксимирована формулой (1). Приближенный характер степенной записи плотности затрудняет непосредственное определение характеристического показателя на основе результатов компьютерного эксперимента. Можно лишь убедиться в правильности известного из теории значения показателя домножением плотности на соответствующую степень аргумента, в результате чего график в области промежуточной асимптотике становится примерно горизонтальным.

Более продуктивным оказывается метод конечно-размерного скейлинга, основанный на переходе от представления плотности в виде (2) к записи вида [17, 22]

и (х) = Ь—в д (хЬ—у) . (25)

Если рассматривать выражение Ьви (х) как функцию от Ь—vx, то графики, полученные при различных значениях Ь, совместятся. А эквивалентность представлений (2) и (25) требует степенного поведения функции д при малых аргументах и выполнения скейлингового соотношения

в = V (1 + а). (26)

Таким образом, для экспериментального определения показателя а нет нужды компенсировать влияние неизвестных скейлинговых функций Н и д . Достаточно, подобрав подходящие значения в и V, воспользоваться соотношением (26).

На рис. 3-7 показан конечно-размерный скейлинг результатов компьютерного моделирования при теоретически определенных значениях скейлинговых показателей. Прекрасное совпадение графиков доказывает правильность проведенных расчетов.

Рис. 3. Распределение лавин по кратности опрокидывания. Показатели: ам = 1, ^м = 3/4, рм = 3/2

Рис. 4. Распределение лавин по размеру. Показатели: а^ = 3/11, у^ = 11/4, р^ = 7/2

Рис. 5. Распределение лавин по площади. Показатели: = 3/8, vs = 2, р^ = 11/4

Рис. 6. Распределение лавин по периметру. Показатели: ас = 3/5, vc = 5/4, рс =2

Рис. 7. Распределение лавин по длительности. Показатели: ат = 1/2, vт = 3/2, вт = 9/4

Дополнительным аргументом служат врезки к рисункам, на которых проведена компенсация степенного множителя из формулы (2) с помощью известных значений характеристических показателей. В результате графики становятся в промежуточной асимптотике горизонтальными, а их «горбики» выстраиваются на одной высоте.

3.2. Статистика падений. Представление (25) имеет большую общность, нежели формула (2), позволяя работать и с нестепенным распределением лавин по числу падений ^.

Вероятность того, что лавина не помещается в систему размера Ь

со оо

РтоЪ {х > Хг] = У и (х) йх = J Ь-вд (хЬ-") йх = Ьд (I) сЦ ~ Ь-е,

Х1

где универсальный показатель е = в — V, не зависящий от того, какая именно характеристика лавины рассматривается [17, 20]. Для характеристик, распределенных степенным образом, соотношение (26) дает более удобную запись е = av, делающую постоянство универсального показателя очевидным, в силу формул (8) и (9). Для модели Манны е = 1/4.

Выбор для добавления инициирующей песчинки центральных ячеек, максимально удаленных от края решетки, делает возможным падение за него только в результате крупнейших лавин. Таким образом, универсальный показатель определяет зависимость от размера решетки доли тех событий, в ходе которых происходят падения (врезка на рис. 8). Заметим, что поскольку падения не описываются степенным распределением, для них размер крупного события , задаваемого формулой (3), и

V

01234 5 6 7 8 Ь~ш-Р

Рис. 8. Распределение лавин по числу падений. Показатели: vF = 3/4, = 3/2. Плотность убывает не как степень аргумента, а экспоненциально. На врезке: вероятность того, что за край упадет хотя бы одна песчинка, убывает как

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

Определим скейлинговые показатели формулы (25) для величины Е. За один шаг моделирования в систему добавляется одна песчинка, значит, в стационарном состоянии в среднем одна ее и покидает, то есть (Е) = 1 и ар = 0.

По аналогии с формулой (4) можно вывести соотношение ар = 2vF - вр, откуда 2vF = Рр, что дает вр и Ур, совпадающие с вм и Vм, в чем позволяет убедиться рис. 8.

Достижение лавиной края решетки в отдельных точках можно рассматривать как независимые события, что подтверждается экспоненциальным видом распределения лавин по падениям (см. рис. 8). Ширина внешнего слоя крупнейшей лавины Ш ~ £1/4. Характерное расстояние между точками, где она достигает края решетки, имеет тот же порядок в силу изотропии правил модели.

Таким образом, вновь получаем для крупнейшего падения ~ Ь3/4.

3.3. Взаимосвязь характеристик лавины. Наконец, скейлинговый подход применим и к анализу взаимозависимостей различных характеристик лавины. Чисто степенной вид (7) они имеют тоже только в промежуточной асимптотике, отклоняясь от него на краях диапазона значений, принимаемых характеристиками. Однако при делении значений по обеим осям на ^ графики совмещаются (рис. 9 и 10), что позволяет находить показатель связи с помощью формулы (9).

Рис. 9. Связь средней кратности опрокидывания и длительности лавины. Показатели: vм = 3/4, vт = 3/2 и умт = 2 (см. формулу (23))

Рис. 10. Связь активности в ходе лавины и ее периметра. Показатели: VA = vc = 5/4 и уАС = 1 (см. формулу (22))

Выводы

Для самоорганизованно-критической модели Манны предложена промежуточная модель. В ее терминах область лавины рассматривается как набор вложенных слоев опрокидывания убывающей наружу кратности. Увеличение кратности опрокидывания и появление новых слоев связывается с прохождением последовательных волн опрокидывания. Развитие лавины характеризуется постоянным потоком песчинок из ее глубины на периферию, который описывается в терминах активных частиц, обладающих интуитивно ясными физическими свойствами. Промежуточная модель допускает простое теоретическое исследование, основные результаты которого, подтвержденные компьютерным моделированием исходной модели, сведены в таблицу.

Таблица

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Характеристические и скейлинговые показатели, показатели связи

Величина а V в а N S T C M R

Размер N 3/11 11/4 7/2 2 1 11/8 11/6 11/5 11/3 11/4

Площадь Я 3/8 2 11/4 5/4 8/11 1 4/3 8/5 8/3 2

Длительность Т 1/2 3/2 9/4 3/4 6/11 3/4 1 6/5 2 3/2

Периметр С 3/5 5/4 2 1/2 5/11 5/8 5/6 1 5/3 5/4

Кратность М 1 3/4 3/2 0 3/11 3/8 1/2 3/5 1 3/4

Радиус Я 3/4 1 7/4 1/4 4/11 1/2 2/3 4/5 4/3 1

Работа выполнена при поддержке РФФИ (проекты 11-01-00887и13-01-00617).

Библиографический список

1. Bak P., Tang C, Wiesenfeld K. Self-organized criticality// Phys. Rev. A. 1988. Vol. 38, № 1. P. 364.

2. Бак П. Как работает природа: Теория самоорганизованной критичности/ Пер. с англ./ Синергетика: От прошлого к будущему. №66. М.: Либроком, 2013. 276 с.

3. Manna S.S. Two-state model of self-organized criticality// J. Phys. A: Math. Gen. 1991. Vol. 24. P. L363.

4. Milshtein E., Biham O., Solomon S. Universality classes in isotropic, Abelian, and non-Abelian sandpile models// Phys. Rev. E. 1998. Vol. 58, № 1. P. 303.

5. Zhang Y-C. Scaling theory of self-organized criticality// Phys. Rev. Lett. 1989. Vol. 63, № 5. P. 470.

6. Ben-Hur A., Biham O. Universality in sandpile models// Phys. Rev. E. 1996. Vol. 53, № 2. P. R1317.

7. Малинецкий Г.Г., Подлазов А.В. Сравнение двумерных изотропных консервативных самоорганизованно-критических моделей типа кучи песка// Вестник МГТУ им. Н.Э.Баумана. Естественные науки. Спец. выпуск № 2 «Математическое моделирование в технике». 2012. С. 119.

8. Pietronero L., Vespignani A., Zapperi S. Renormalization scheme for self-organized criticality in sandpile models// Phys. Rev. Lett. 1994. Vol. 72, № 11. P. 1690.

9. Vespignani A., Zapperi S., Pietronero L. Renormalization approach to the self-organized critical behavior of sandpile models// Phys. Rev. E. 1995. Vol. 51, № 3. P. 1711.

10. Diaz-Guilera A. Dynamic renormalization group approach to self-organized critical phenomena// Europhys. Lett. 1994. Vol. 26, № 3. P. 177.

11. Corral A., Diaz-Guilera A. Symmetries and fixed point stability of stochastic differential equations modeling self-organized criticality// Phys. Rev. E. 1997. Vol. 55, № 3. P. 2434.

12. DharD., Ramaswamy R. Exactly solved model of self-organized critical phenomena// Phys. Rev. Lett. 1989. Vol. 63, № 16. P. 1659.

13. Pastor-Satorras R., Vespignani A. Universality classes in directed sandpile models// J. Phys. A: Math. Gen. 2000. Vol. 33. P. L33.

14. Paczuski M., Bassler K.E. Theoretical results for sandpile models of SOC with multiple topplings// Phys. Rev. E. 2000. Vol. 62, № 4. P. 347.

15. Kloster M., Maslov S., Tang C. Exact solution of stochastic directed sandpile model// Phys. Rev. E. 2001. Vol. 63, № 2. P. 026111.

16. Feder H.J.S., Feder ./.Self-organized criticality in a stick-slip process// Phys. Rev. Lett. 1991. Vol. 66, № 20. P. 2669.

17. Подлазов А.В. Двумерные самоорганизованно критические модели типа кучи песка с анизотропной динамикой распространения активности// Известия вузов. Прикладная нелинейная динамика. 2012. Т. 20, № 6. C. 25.

18. Lubeck S., Usadel K.D. Bak-Tang-Wiesenfeld sandpile model around upper critical dimension// Phys. Rev. E. 1997. Vol. 56, № 5. P. 5138.

19. Chessa A., Vespignani A., Zapperi S. Critical exponents in stochastic sandpile models// Comput. Phys. Commun. 1999. Vol. 121-122. P. 299.

20. Lubeck S. Moment analysis of the probability distributions of different sandpile models// Phys. Rev. E. 2000. Vol. 61, № 1. P. 204.

21. Lubeck S., Usadel K.D. Numerical determination of the avalanche exponents of the Bak-Tang-Wiesenfeld model// Phys. Rev. E. 1997. Vol. 55, № 4. P. 4095.

22. Kadanoff L.P., Nagel S.R., Wu L., Zhou S. Scaling and universality in avalanches// Phys. Rev. A. 1989. Vol. 39, № 12. P. 6524.

23. Ivashkevich E.V., Ktitarev D.V., Priezzhev V.B. Waves of topplings in an Abelian sandpile// Physica A. 1994. Vol. 209. P. 347.

Институт прикладной математики Поступила в редакцию 27.06.2013

имени М.В. Келдыша РАН После доработки 17.12.2013

SOLUTION OF TWO-DIMENSIONAL SELF-ORGANIZED CRITICAL MANNA MODEL

A. V. Podlazov

We propose a full solution for Manna model - two-dimensional conservative sandpile model with the rules of grains redistribution isotropic at the average. Indices of the probability distributions of avalanches main characteristics (size, area, perimeter, duration, topplings multiplicity) are determined for this model both from theory and from simulations.

The solution bases on the spatiotemporal decomposition of avalanches described in terms of toppling layers and waves. The motion of grains is divided into directed and undirected types. The former is treated as the dynamics of active particles with some physical properties described.

Keywords: Self-organized criticality, scale invariance, power laws, finite-size scaling, sandpile models, Manna model, layers of toppling, waves of toppling.

Подлазов Андрей Викторович - родился в Москве (1973), окончил Московский физико-технический институт (1996). После окончания МФТИ работает в Институте прикладной математики имени М.В. Келдыша РАН старшим научным сотрудником. Защитил диссертацию на соискание ученой степени кандидата физико-математических наук (2001, ИПМ РАН) в области теории самоорганизованной критичности и теории масштабно-инвариантных процессов. Автор монографий «Управление риском. Риск, устойчивое развитие, синергетика» [М.: Наука, 2000. 432 с.] (в соавторстве с В.А. Владимировым, Ю.Л. Воробьевым, Г.Г. Малинецким и др.) и «Нелинейная динамика: Подходы, результаты, надежды» [Изд. 3. Синергетика: От прошлого к будущему. М.: Либроком, 2011. 280 с.] (в соавторстве с Г.Г. Малинецким и А.Б. Потаповым). Опубликовал 70 научных статей по направлениям, указанным выше, а также по демографии, математической истории и вопросам развития системы образования.

125047 Москва, Миусская пл., 4

Институт прикладной математики имени М.В. Келдыша РАН E-mail: [email protected]

i Надоели баннеры? Вы всегда можете отключить рекламу.