Изв. вузов «ПНД», т. 19, № 5, 2011
УДК 519.2, 517.957
СТОХАСТИЧЕСКИЕ УРАВНЕНИЯ И УРАВНЕНИЕ ФОККЕРА-ПЛАНКА ДЛЯ ПАРАМЕТРОВ ПОРЯДКА В ИССЛЕДОВАНИИ ДИНАМИКИ ШУМОИНДУЦИРОВАННЫХ ПРОСТРАНСТВЕННЫХ ДИССИПАТИВНЫХ СТРУКТУР
С.Е. Курушина, Л.И. Громова, В.В. Максимов
Аналитически исследована с точки зрения концепции параметров порядка эволюция пространственных диссипативных структур, возникающих во флуктуирующей возбудимой среде. В качестве модели такой среды рассматривается система реакция-диффузия, находящаяся во внешних шумах. Разработан метод получения стохастических уравнений для амплитуд неустойчивых мод (параметров порядка) и дисперсионных уравнений для усредненных по статистическому ансамблю амплитуд неустойчивых мод. Получено уравнение Фоккера-Планка для параметров порядка, в явном виде найдено его решение для одной критической моды. Развитая теория позволяет проанализировать шумоиндуцированные эффекты, в том числе изменение границ фазового перехода «беспорядок-порядок-беспорядок», в зависимости от параметров внешнего шума.
Ключевые слова: Пространственные диссипативные структуры, внешние шумы, фазовые переходы, параметры порядка.
Введение
Шумы присутствуют в реальных системах любого типа. Влияние внешних шумов на открытые нелинейные распределенные системы весьма разнообразно и иногда приводит к совершенно неожиданным результатам. Известно, что в таких системах могут возникать шумоиндуцированные пространственные структуры и фронты, шумоиндуцированные фазовые переходы, пространственно-временной стохастический резонанс, поддерживаемые шумом бегущие и конвективные структуры, импульсы, шумоиндуцированная синхронизация [1,2] и т. д.
Теоретическое исследование пространственно-временной динамики нелинейных открытых распределенных систем осуществляется различными методами [2]. Устойчивость однородного состояния относительно малых возмущений может быть проанализирована в линейном приближении. Однако линейное приближение неприемлемо для описания эволюции системы в окрестности порога самоорганизации, так как само это явление представляет собой существенно нелинейный эффект. Существует подход к исследованию шумоиндуцированных явлений, основанный на широко известном приближении среднего поля. В этом приближении предполагается, 45
45
что взаимодействие между некоторой пространственной точкой и ее ближайшими соседями происходит посредством среднего поля, значение которого соответствует статистически среднему в данной точке. При этом подходящим способом осуществляется дискретизация пространства исходной распределенной системы и для значений поля в точках полученной регулярной решетки записывается уравнение Фоккера-Планка (УФП) для многомерной плотности распределения вероятности. Интегрирование уравнения по значениям поля во всех точках, кроме данной, приводит к УФП для одномерной плотности распределения вероятности значения поля в данной точке. В последнем уравнении условные средние значения поля в соседних точках заменяются средним полем в данной точке. Этот подход успешно применен для исследования различных моделей [3-7] и позволяет объяснить возникновение в них шумоиндуцированной последовательности упорядочивающего и разупорядочи-вающего фазовых переходов. Преимущество этого подхода заключается в том, что он позволяет описывать поведение системы вдали от точки перехода [7]. Однако при этом с необходимостью возникает вопрос о корректной дискретизации непрерывного пространства изучаемой системы и пространственной компоненты функции корреляции шума. К недостаткам данного подхода следует отнести и тот факт, что стационарное решение полученного УФП может быть записано только формально, поэтому для его нахождения требуется привлечение численных методов. Отметим также, что приближение среднего поля не применимо в окрестности точки перехода.
Еще один аналитический подход к исследованию фазовых переходов с образованием пространственных структур основан на получении обобщенных уравнений Гинзбурга-Ландау для параметров порядка рассматриваемых систем. Этот подход позволяет описывать поведение системы в окрестности точки перехода. Метод получения обобщенных уравнений Гинзбурга-Ландау для рассматриваемых систем, в правой части которых содержатся аддитивные шумы, описан в [8,9]. Он основан на разделении собственных мод системы на затухающие и незатухающие (параметры порядка) и дальнейшем исключении затухающих. Однако в результате такого подхода снова получаются стохастические уравнения, что мало упрощает анализ поведения систем. Кроме того, в [8,9] не рассматривалась ситуация, когда в системах присутствуют мультипликативные шумы.
Целью этой работы является развитие теории, позволяющей с единой точки зрения концепции параметров порядка провести последовательное и детальное изучение процессов образования пространственных диссипативных структур (паттернов), спонтанно возникающих в открытых нелинейных распределенных системах с внешними шумами как в окрестности, так и вдали от точки перехода. Развитые аналитические методы применены для исследования шумоиндуцированных явлений, возникающих в конкретной модели.
1. Стохастические уравнения для параметров порядка
Система реакционно-диффузионного типа
дТ]
= Pk(xi,x2,x3,...,r,r],t) +DkV2xk, к = 1,2,3... (1)
является одной из основных моделей неравновесной возбудимой среды. Здесь Xk - ее функции состояния (динамические переменные); Pk(x\, x2, x3,..., r, n, t) - функциональные зависимости, определяющие взаимодействие и эволюцию компонент Xk в 46
46
пространстве и во времени; Dk - коэффициенты диффузии компонент; П = (xi) •••) Хп, П1, •••, Пз) - вектор, компоненты которого являются управляющими параметрами, описывающими воздействие на систему внешнего окружения. Далее без потери общности будет рассматриваться двухкомпонентная система вида (1). Предлагаемый ниже метод исследования легко распространяется на многокомпонентный случай.
В присутствии внешних флуктуирующих полей пространственно-временная динамика неравновесной системы (1) для к = 2 может быть описана следующей системой уравнений:
дх1
~Ж
m
Pi(xi ,Х2, Х10, •••, Xm0, •••, Хп )+J^ fij (r,t)Pij (Xi,X2, Хт+1,-, Хп' )+DiV2Xi,
j=1
dx2
~dt
P2 (Xi ,X2, П10,
l
•, П10, •••, Пз) f2j (r, t)P2j (Xi,X2, ni+1, •••, Пз') + D2V2X2,
j=i
(2)
где m и l - число флуктуирующих параметров в первом и втором уравнениях соответственно; Xj0, nj0 - пространственно-временные средние параметров; fij(r,t) (i = 1, 2) - случайные поля, описывающие шумы соответствующих параметров относительно их средних значений, причем (fij(r,t)) = 0.
Определим статистические характеристики случайных полей fij (r,t) в соответствии со свойствами окружающей среды. Флуктуации окружения представляют собой суммарный эффект действия многих слабосвязанных факторов. Тогда из центральной предельной теоремы следует, что флуктуации внешнего источника имеют гауссово распределение. Свойства эргодичности, марковости и гауссовости флуктуирующего окружения ограничивает выбор случайных полей для моделирования флуктуаций окружающей среды в (2) стационарным однородным изотропным гауссовым полем с экспоненциальной во времени функцией корреляции [10]:
K fij(r,t),fi'j'(r',t')] = ФД|г - r'|)exp(-kti |t - t'\)bii/8
ii' jj'
(3)
где Фi(|r — r'|) задают пространственные зависимости функций корреляции случайных полей. Взаимная корреляция полей fij(r,t) и fij' (r,t) отсутствует. Время корреляции rt = к—1 - характерный временной масштаб внешних флуктуаций. Здесь и далее для корреляционной функции используется обозначение K[F1,F2], определяемое равенством: K[F1,F2] = (F1F2) — (F1)(F2).
Положим далее для простоты m = l = 1 и введем безразмерные переменные: т = Хюt и г' = rfxio/Di, где Хю - параметр, имеющий размерность обратного времени. Тогда система (2) примет вид
дх\
~дх
Pi (Xi,X2, Х10, •••, Хп )+fii(r', T)Pii (Xi ,X2, Х2, •••, Хп' )+V'2Xi,
дх2
~дх
P2(Xi,X2, n 10, •••, ns) +f21 (r', T)P2i(Xi,X2, П2, •••, Пз') + DV'2X2^
(4)
47
Функции со штрихом отличаются от соответствующих функций без штриха множителем x-q1, D = D2/D1. Далее везде штрихи опущены.
Пусть в детерминированном случае значения параметров Xi,---, Xn, Пъ---, ns таковы, что существуют устойчивые состояния равновесия xiq и X2q , определяемые уравнениями Pi (xi,X2, Xi, ---, Xn) = 0 и P2(xi,x2, ni, ---, П) = 0.
Запишем систему (4) в операторном виде, выделив из ее правой части линейную K(V2)q, нелинейную g(q) и случайную F(r, т) компоненты.
^ - ^(V2)q = g(q) + F(r,т).
(5)
Вектор q описывает отклонения динамических переменных от равновесных значений: q = (xi — x1q,x2 — x2Q). Линейный оператор K(V2) имеет вид
K (V2) =
fl-ii + V
a2l
al2
a22 + DV'
2,
_ dPi aij dx j
i,j = 1,2- (6)
Вектор g(q) содержит квадратичные и кубические нелинейности, полученные разложением в ряд правой детерминированной части (4). Его компоненты определяются следующим образом:
gi(q) =J2 gi%%Qv + Ys gffvK№qк
(3)
(7)
^,v=i
^,V,K=i
где g
(2)
1 d2Pi
i#v 2! dx^dxv
,(!) 1 93-P<
’ 84,>K 3! ах„дхХхь
XW,X20 —^dxVdxK
Вектор F содержит случайные поля
X10,X20
F
/il (r, T)Pii (Xi,X2, X2, ---, Xn’) /21 (r, t)P21 (Xi,X2, П2, ---, ns’)
2
2
При исследовании устойчивости стационарного состояния детерминированной системы будем полагать, что вектор q имеет вид q = qo ехр(кт + ikr). Соответствующее характеристическое уравнение к2 — ак + в = 0, имеет решения
kl,2(k)
а (к) ± д/а 2(к) — 4|3 (к)
(8)
2
где а(к) = Tr(aij) — (1 + D)k2, в(к) = Det (aij) — (Dall + a22)k2 + Dk4.
Условие а(к) < 0, в(к) < 0 приводит к апериодической неустойчивости (неустойчивости Тьюринга типа мягкой моды), то есть появлению одного положительного действительного корня (8): Re(ki) > 0, Im(ki 2) = 0. Ниже будем рассматривать только этот случай.
Положим, что один из параметров xi, ---, Xn, ni, ---, ns, например, x2 является бифуркационным, то есть при некотором критическом значении этого параметра X2c существует критическое значение волнового числа кс, при котором выполняются
условия Re(kl(kc)) = 0,
d(Reki(k))
dk
k=kc
0.
48
Представим вектор q в виде суперпозиции по собственным формам оператора
K (V2)
q(r, т)=£ O(jV) ,
(9)
k;,j
где O(j)(k) - собственные векторы оператора K(V2), ^^(т)- неизвестные амплитуды, exp(ikr) - собственные функции оператора V2. Здесь предполагается, что вектор q(r, т) представляет суперпозицию плоских волн. Однако в зависимости от симметрии задачи в качестве собственных функций оператора V2 нужно выбирать функции Бесселя или сферические волновые функции.
Вектор F содержит нелинейные функции Рц, которые необходимо разложить в ряд Тейлора по степеням компонент вектора q. Ограничимся в разложении Рц квадратичными слагаемыми. Как показано в [11], слагаемые такого порядка необходимы для получения дисперсионных уравнений для усредненных амплитуд неустойчивых мод с точностью до слагаемых, квадратичных по интенсивностям флуктуаций.
В результате компоненты вектора F, содержащие случайные функции, приобретают вид
Fi = fii(r, т)
М
P'i' + S р(1)^ +
(2)
Ц=1
2
I] Pi,^
^,V=1
q^ qv
2
где = Pn(xw,X2o), p\ ц = ^
(1) _ dPn
i,№
P
X10X20
(2)
i,^v
1 д2Рц
X10 X20
Неустойчивые моды заключены в узкой полосе значений волновых векторов, определяющей область неустойчивости системы. Это дает возможность построить волновые пакеты путем суммирования по волновым векторам, заключенным в малых интервалах. Таким образом, выделяются несущие моды с дискретными значениями волновых векторов и медленно меняющимися амплитудами ^[^(т).
Чтобы получить уравнения для амплитуд мод ^j) (т) подставим (9) в (5), умножим полученное уравнение слева на exp(—ikr)O*(j )(k) и проинтегрируем по области, значительно большей периода осцилляций exp(fkr), но в которой )(т) меня-
ется очень мало. Здесь O*(j ) (k) - собственные векторы оператора, сопряженного к K(V2): O(j)O*(j;) = j.
После преобразований система уравнений для амплитуд мод ^^(т) принимает
вид
2! дхпдх
v
d£
(j)
dт
— h (k)^kj) = E j (k, k , k" ftk %kj;; )S(k/ + k'' — k) +
Jj )
(j %(j")>
j ;j;;,k;k;;
+ E 0%?;; (k, k', k", k'" )^' kj }8(k' + k" + k — k) +
j ;j ;;j;;;,k;k;; k;;; 2
+ E O;U)(kK0)^(т) + E Ej(k, k)?kj; %,k-k(т) +
ф=1
Ф=1 j ;,k;
+ E E ^jj;;(k, k', k"^ 4,k-k;-k;;(т)-
Ф=1 j;j;;,k;k;; 49
(10)
2
49
Функции aj (k, k, k), ojjj (k, k, k, k"), ej (k, k), (k, k, k), введен-
ные в уравнениях (10), представлены в Приложении. Случайные процессы ^Ф,к(т) = / /ф1(г, x)e_tkrdr - компоненты случайного векторного поля z(t), имеющие нулевые средние; ф и k - индексные аргументы этого поля. В предположении, что времена корреляций случайных полей гораздо меньше всех характерных времен детерминированной задачи (4), корреляционные функции для компонент поля z(t) будут иметь вид (Zj;k(t)zl;k>(т)} = gjl(|k|)8(k — k')6(t — т)8^ [12]. Положим далее для определенности
Фj(|r — r'|) = 0j exp(—kfj |r — r'|).
(11)
Здесь 0j - интенсивности шумов; kfj - величины, обратные радиусам корреляций. Для одномерной среды gjj = 20jkfj/(k2 + kfj)l/2.
Система (10) содержит как устойчивые (затухающие), так и неустойчивые (незатухающие) моды. В окрестности точки бифуркации время релаксации незатухающих мод значительно больше времени релаксации затухающих, поэтому последние адиабатически следуют за первыми. Это дает возможность исключить из уравнений (10) затухающие моды.
Чтобы провести процедуру адиабатического исключения устойчивых мод, перепишем (10), выделив из нее две подсистемы уравнений: для неустойчивых мод (обозначим их дополнительным индексом «и») и для устойчивых «s». Поскольку незатухающие моды, если пренебречь нелинейными членами, могут нарастать до бесконечности, уравнения для них запишем с точностью до кубических слагаемых, обеспечивающих нелинейную стабилизацию неустойчивости.
Естественно считать, что амплитуды устойчивых мод много меньше амплитуд неустойчивых мод |4s| ^ |Чи| и их изменения происходят согласованным образом:
Чэ - е
В уравнениях для амплитуд устойчивых мод оставим только члены, необходимые для получения уравнений для амплитуд неустойчивых мод с точностью до членов третьего порядка. Тогда из (10) для амплитуд устойчивых мод получим следующие уравнения:
d4(j)
—гг - hik)^ = Е off(ks, ки, k"M)^!)^[c!/)M8(k/M + ки - к,)+
dT k'uk^u
2 f
+ Е ^(j)(ks)^°^;ks(T)+ Е Е еФд(ks, k'u^^ks-k'ETH
ф=1
ф=1 k'u
(12)
+ Е Е еф^^, ku, k//u)4k1)4^^-^-^^).
Ф=1 k' uk"u 50
50
Уравнения для амплитуд неустойчивых мод будут иметь вид
=(1)
3ku
dx
- Xi(k^)^k1) = Е °ii) (ku, ku, k"uEk1u^k"u8(k'u + к'u - ku) +
k'uk^u
i V o(1) (k k' k'' k''' )£(1) £(1) £(1) ft(k' + k'' + k''' — k ) +
i 2_^i U111V “-u , ^ ui™- ui *■ u) ?>k,U?’k,,U?’k,,,UuVK' u i K u i K u %/t
k,uk,,uk,,,u 2
+ E O>(1)(ku)рф0)Z<f,ku(T)+ E Е^фд^, k'u^u^ku—k,
Ф=1 Ф=1 k,u
+ E E ^11 (ku, k'u, kE^u^Aku—k,u—k"u(T) +
Ф=1 k,uk,, u 2
+ E E ^^(ku, ks)‘EkJZф,ku—ks(т
ф,Ф=1 ks
+ E E (o^ (ku, k'u, ks) + oj1(ku, ks, k'u))^k1u?k?8(k'u + ks - ku) +
ф=1 k,uks 2
+ E E k'u1 ks1 ^u^kUff^.ku—k,u—ksCE
^,Ф=1 k,uks
(j)
В случае апериодической неустойчивости при исключении Es; из уравнений (13), в (12) можно пренебречь производной по времени d^k^/dx [8]. Выражая
(j) ks
амплитуды ^ks из (12) и подставляя их в (13), получим систему уравнений для амплитуд неустойчивых мод ^
(13)
ku
ku
dx
Fku (т),
(14)
Fku(т) = E(ku)?ku + Е o^ku, k'u, k''uEk^k'L^k'u + k''u - ku) +
k,uk,,u
+ E ®(ku, k'u, k''u, k''u, ku - k'u^u^Uk-^k'u + k''u + k''u - ku) +
k, uk,,uk,,,u
2 (1) (0) 2
+ E Оф( ) (ku)^ Zф)ku(т) - E ЕЕ,ф,ф,(k u, ks)zф,ku—ks OOv ,ks(T) +
Ф=1 ^,Ф,Ф,= 1 ks
+ E E^(k u, k u )^s,uzф>ku—k,u(x Ф=1 k,u
k,u
I Ъ" \fe(1) fe(1)
+ E E E(ku, k'u, k''u)^k,u?k,'uZф,ku—k,u—k,,u(t)
Ф=1 k,uk,, u
2 (1)
^ ^ ^Ф,^^(ku, ks, k u)?k,u^^s—^u(T)z^ku—ks(T)
^,Ф,Ф,=1 ks,k,u
2 (1)
^2 ^2 Вф^ф (ku, ks, k u)?k,u^,ku—k^—ks(T)z^,ks(т)
^,Ф,Ф,=1 k,uks
51
Е Е ^ф,^,ф/(кпj ksj kuj k u)?k/u^k//u^V^s—k^—k^uC^^^ku—ks(T)
ф,ф,ф'=1 k/uk//uks
2
Е Е ^ф,ф,ф/(kuj k uj ksj k v^k/u^k^v^^kv—k^—ks(T)zp/,ks—k"u(т)
ф,ф/,ф=1 k/uk//uks
2
— E E ^'ф,ф(kuj kuj ku~k uj k uj k и )4k/v^k/v^k///u^>k'L—k/u—k//u—k///u (т) —
ф,ф=1 k/uk//uk///u
2
— E E ^Ф,ф(kuj k uj k uj k и)?k/u^k//u^k///uZФ,ku—k/u—k//u—k///u(т) —
- E E С^)ф)ф/ (ku j k!uj kSj k" и j k'" и) ^k/V^k/'^k/'/A.ku— k/u— ks (т)x
ф,ф/,ф=1 k/uk//uk///uks
X %ф/,ks—k//u—k///u('T) •
Функция rn(ku, k'u, k"u, k!"u, ku — k'u) и другие, введенные в уравнениях (14), представлены в Приложении. Моды ^kV служат параметрами порядка. Их кооперация или конкуренция определяют вид возникающих структур.
Система уравнений (14) все еще сложна для анализа, так как содержит случайные компоненты. Дальнейший анализ уравнений (14) может заключаться или в усреднении их по ансамблю реализаций, или в получении УФП.
2. Усреднение по ансамблю реализаций
При усреднении по ансамблю реализаций используется связь между моментами и корреляторами [13] и многомерное обобщение формулы Фурутцу-Новикова [14]. Принимая во внимание формальные решения системы уравнений (14) и допуская, что можно пренебречь корреляторами выше второго порядка, можно показать [11], что в уравнениях (14) нужно отбросить слагаемые, содержащие Aki (x)v,k2 (т) и ^V^Uk^AkOO, так как при усреднении они не
t(1)
дают вклад в средние значения мод §kU.
Отметим здесь, что процедура раскрытия корреляторов будет приводить к появлению аналогичных корреляторов для других взаимодействующих мод. Поэтому эту процедуру нужно проводить до тех пор, пока не будут учтены все слагаемые, содержащие необходимую степень интенсивности флуктуаций. Остальными корреляторами можно пренебречь ввиду их малости, так как после их раскрытия получатся слагаемые, пропорциональные более высокой степени интенсивности шума.
Чтобы после усреднения получить поправки к инкрементам A,1(ku) амплитуд неустойчивых мод с точностью до слагаемых, квадратичных по интенсивности шума, при вычислении вариационных производных, входящих в формулу Фурутцу-Новикова, необходимо сохранять слагаемые, содержащие произведения ^V2^k(T). 52
52
Ниже приводится только структура полученных в результате усреднения уравнений, так как они имеют очень громоздкий вид,
dx
- ЫК) (S&) = Lo (ku) + Li (ku, k'u) (^2) + + L2 (ku, k'u, k"u, k'''u, ks) (+
+ Lo (k k' k" k111 kIV
\ -^З l ^-u, u^- u, u, *v>,
uu
k k' ) /£(i) £(i) £(i) \
ks, k sj \SkzZuSk///v±kIVu/
(15)
Подробный вывод уравнения (15), а также вид операторов L0 (ku) и L! (ku, k'u) можно найти в [11]. Анализ уравнений (15) приводит к следующим заключениям.
Во-первых, после усреднения системы (14) в (15) возникают дополнительные слагаемые, не зависящие от . Они определяются параметрами задачи, видом
корреляционной функции gjj, интенсивностью шума и волновым числом данной моды.
Во-вторых, в системе (15) возникают дополнительные слагаемые, пропорциональные , что приводит к изменению инкрементов усредненных амплитуд
неустойчивых мод в сравнении с детерминированным случаем. Следствием этого является изменение области неустойчивости системы и изменение скорости разрушения статистически стационарного однородного состояния и формирования структур.
Выделив из L! (ku, k'u) слагаемые, дающие вклад в инкремент (^2), получим дисперсионное уравнение
X — A,!(ku) + Li (ku, ku) + L! (ku, ku) • (16)
При выводе уравнения (16) учтено, что — ?к2^ — ?к2, так как решения уравнений (14) должны быть действительными. Из уравнения (16) и выражений для Li (ku, k'u) и gu следует, что инкременты усредненных амплитуд неустойчивых мод пропорциональны интенсивности шума и зависят от его радиуса корреляции. При этом интенсивность шума становится еще одним бифуркационным параметром и структуры начинают формироваться при значении параметра х2е отличном от х2с. Как показывает исследование конкретных систем х2е > Х2с, то есть значение бифуркационного параметра %2 смещается в докритическую область.
Наконец, обратим внимание на то, что во внешних случайных полях, процесс образования диссипативных структур происходит за счет многомодового взаимодействия, при котором условия резонансного взаимодействия мод также отличаются от детерминированного случая. В частности, возникает взаимодействие различных конфигураций мод с модами, имеющими удвоенные волновые числа, например, 2k'u - k''u — ku.
Таким образом, приведенный выше теоретический анализ позволяет более детально описать эволюцию рассматриваемых стохастических систем в окрестности точки бифуркации Тьюринга. 53
53
3. Уравнение Фоккера-Планка для параметров порядка
Если параметры системы таковы, что она находится в закритической области (%2 < Х2с), то с увеличением интенсивности шума система будет «уходить» все дальше от точки бифуркации детерминированной системы. При этом для описания состояния системы нужно применять УФП.
Для системы (14) УФП может быть представлено в общем виде следующим образом [15]:
Й2} > т) _ д
д т
-Е
k2 d?k2
| (У FUr) > +е i ™j+
+ E
д2
k2,q2 д^д^
f к[Fku(т), FqU(t')]dt' w
q2 d^ku дgq2 I, \-~
(1)
Здесь w( {^k2} >т)
(17)
k2 f , т j - многомерная плотность распределения вероятности, опреде-
ляющая вероятность некоторой конфигурации неустойчивых мод |?k«}• После преобразований с точностью до членов, линейных по интенсивностям шумов, можно получить корреляционные функции, входящие в (17),
к
+
, FqU(t')
9Fku(x)
аЙ ,Mu
[v|(k2 J q2 J k2
= Е Лф(к2, q, )Оф(1) (q2)p|0) g||(k
ф
2q2) + (k2 J k2 2q2J q2)] X
Ф
x Оф(1) (q2)рфg||(|q2|)?k2-2q28(т - t') +
qu|)Sk2-q2,q2^(T t ) +
+ E ПФ (k2 J q2)ni(q2J 2q2 k2 )gфф(|k2 q2 |)^2q2-k2^(T t) +
Ф
+ E ПФ (k2 J q2) ( q2 J q 2J 2q2 k2 q 2)ёфф(|к2 q2 1 ) ^q,2^2q2-k2-q72^ (т t ) +
Ф,q,2
+ E К (k2j q2j k2 - 2q2 + q 2 + q" 2)+vi(k2j k2 - 2q2 + q^ + q" 2j q2)]X
Ф,q,2,q,,2
X (q2j q2J q 2)ёфф(1 q2 — q 2 — q 2|)?q,2?q,,2?k2-2q2+q,2+q,,2^(т — t ) +
+ ПФ (q2 J q 2)[V|(k2J k2 2q2 + q 2J q2) + V|(k2 J q2 J k2 2q2 + q 2)] X
ф^2
X(1 q2 q 2|)?q,2?k2-2q2+q,2^(T t )j
к[Fk2(t)j Fq2(t')] = E (O|(1)(k2)) (рф0)) g||(|k2|)Sk2,q28(T - t') +
+ E Пф^2, k2 - q2)O|(1)(q2)p|0) gфф(|q2 |)?k2-q2§(T -1') +
Ф
+ El (k2 J k 2J k2 - k 2 - q2)Oc/ ^ (q2)p| ^g||(|q2 |)^k,2 ^k2-k,2-q2^ (т - t) +
Ф,k, 54
54
+ E ^(q«, qu - к«)Оф(1) (ku)рф0)g99(|ku|)^qu_ku8(x -t')+ ф
+ E Лф(ки, ku — qu + q и)пФ(Чи, q u)gфф(|qu — q u|)?q,u?ku_qu+q,u^(т — t ) + ф,q,
+ ^Ф(ки 1 k u ku k u qu + q u^(qu1 q x
Ф,k,,q,
X gфф(|qu q u|)?k,u?q,u?ku_k,u_qu+q,u^(т t ) +
+ E Лф(ku, ku — qu + q uK(qu, q u)gфф(|qu — q u|)?q,u?ku_qu+q,u^(т — t ) + Ф,q,
+ E ^(ku, k'u, ku - k'u - qu + q'J^(qu, q'u)x Ф,k,,q,
x gфф(|qu q u|)?k,u?q,u?ku_k,u_qu+q,u^(т t ) +
+ E Vqu q u qu q u ^-ь^Оф (ku)рф gфф(|ku|)?q,u?qu_q,u_ku^(T t ) + ф,q,
+ E ^(qu, q'u, qu - q'u - ku + k'u)^(ku, k'u)x
ф,k,,q,
X gфф(|ku k u|)?k,u?q,u?qu_q,u_ku+k,u^(т t ) +
+ E Vp(ku k'u, ku - k'u - qu + q'u + q"u)-4(qu, q'u q"u)x
ф,k,,q,,q,,
x ,W|qu q u q u|)?k,u?q,u?q,,u?ku_k,u_qu+q,u+q"u^(t t )-
Рассмотрим случай одномерного пространства. Если в одномерном пространстве неустойчива только одна мода с волновым вектором kc и амплитудой ^kc, уравнение (17) существенно упрощается:
811,(|Г’Т> = {(a?ke + ~(с + ,r%L + ■ (18)
Здесь
а = Xi(kc) - ^ ЕЛф(кокс^Фф(0) - Е^ф(кс,кс,кс)С>ф(1)(кс)Рф^фф(кс),
2 ф ф
b = m(kc, kc, kc, kc, 0) - E V^(k, kc, kc^фф(^),
Ф
с = \ E (Оф(1)(кс)^0)) g99(kc),
d = \ ЕЛф(кскс^Фф(0) + Е^ф(кс,кс,кс)Оф(1)(кс)Рф^фф(кс),
2 ф ф
e = \ E vl(kc kc kc)g99(kc).
2ф
55
Стационарное решение уравнения (18) имеет вид
N |с + + еЕ
, Ь_ с4 4е Екс
МЕкс) = <
2еЙ + d — d2 — 4ес
2e^L + ^ + л/d? - 4ес 4- f 2ае — bd
4е J
4е \/ —4е
^ / 2р£2 4- г]
N \с + d'g? + еЙ 14е ехр •{ —4==== arctg к с _
I skc skc| р \ 2ел/4ес - d2 \^Aec-d2
d2 > 4ес,
4ес > d2.
(19)
Здесь N - нормировочная постоянная
+ °о _ь_
V I |c + ^L + e§kc|4e
N=
2е§кс + d — \/ d2 — 4 ес
2еШс + d + Vd? - 4ес
4е \/d^ — 4ec
dE:
кс?
V / |с + ^ + еЕ:
.4 I 4е
2ае — bd ( 2еЕкс + d
----; arctg , кс
2ел/4ес — d2 \ V 4ес — d2
d2 > 4ес,
dEkc, 4ес > d?.
(20)
2ae — bd
2ae— bd
Преимущество развитого подхода при выводе уравнений (17), (18) в сравнении с подходом, изложенным в [7], заключается в том, что стационарное решение УФП записывается в явном виде. Этот подход применим к более широкому классу функций Pij (xi,X2, Xm+1,..., Xri), P2j (xi ,x2, Ц1+1,..., Цз'), в том числе и имеющих разрыв второго рода. Кроме того, предложенный подход не содержит произвольного элемента, связанного с дискретизацией непрерывного пространства системы.
4. Шумоиндуцированные эффекты в одной экологической системе
Теория, изложенная в разделах 1-3, была применена для исследования влияния внешних шумов на экологическую систему «фитопланктон-зоопланктон-рыба». Математическая модель этой системы имеет вид [16,17]
dxi
~Ж
дх2
~Ж
rxi(1 — Xi) —
axi
1 + bx1
x2 + DiV2xi,
ax1
1 + bxi
x2 — mx2 —
g2x\
1 + h2xl
f + D2V2 x2,
(21)
где xi, x2 - плотности биомассы фитопланктона и зоопланктона соответственно, параметры r, a, b, m, g, h, f, Di и D2 подробно описаны в [16,17]. Параметр f
определяет постоянную численность планктоноядной рыбы. Исследование локальной динамики и бифуркационный анализ системы (21) проведены в работах [16-20].
Введем безразмерные время т = rt и координаты х' = хл/r/D\ и представим параметры m/r и a/r, зависящие от коэффициентов естественного прироста фитопланктона r, естественной смертности зоопланктона m и трофического коэффициента a, в виде: m/r = (mo/ro)(1 + fi(X, т)), a/r = (ao/ro)(1 + f2(X, т)). Здесь mo, ro, ao - пространственно-временные средние соответствующих коэффициентов, случайные однородные изотропные поля fi(X, т) определяют пространственно-временные
56
гауссовы флуктуации этих параметров и имеют нулевые средние значения и корреляторы вида (3), (11). Параметр т0 в этой работе выбран в качестве бифуркационного. С учетом шумов получим
дх\
lh
Xi(1 — Xi)
do
Го
(1 + f2(X, t))
X1X2
(1 + bx i)
+ V2Xi,
dx2
lh
^(1 + /2(x/,x))
Го
Xi X2 (1 + bx i)
—(1 + /i(x/,t))t2 -
Го
g2X2
ra(l+h4l)S + W^
(22)
Для системы (22) получено дисперсионное уравнение для средних амплитуд неустойчивых мод вида (16) [21]. Зависимости действительной части собственных значений от волновых чисел представлены на рис. 1. Из рис. 1, а и б видно, что в закритической области (то < Шос) при увеличении интенсивностей внешних шумов 0i и 02, область неустойчивости, в которой Re X > 0, увеличивается и абсолютное значение инкрементов средних амплитуд неустойчивых мод в присутствии шума больше, чем при 01 = 02=0. Следовательно, при наличии мультипликативного шума амплитуды неустойчивых мод в среднем нарастают значительно быстрее, чем в его отсутствии, что ускоряет процесс образования пространственных диссипативных структур по сравнению с детерминированной системой.
На рис. 1, в приведены зависимости Re X(k) в докритической области (т0 > т0с). Сплошной линией показана соответствующая зависимость при отсутствии шума. Видно, что в этом случае неустойчивость не возникает. При наличии же шумов (линии пунктирная и пунктирная с точкой на рис. 1, в) возникает область, в которой Re X > 0, то есть существует критическая интенсивность шума, при которой индуцируется параметрическая
Рис. 1. Характерные зависимости действительных частей собственных значений ReX от волновых чисел к для системы (22): а - в закритической области (т0 = 0.49) при изменении 02, 0i = 2.4 • 10~Б; б - в закритической области при изменении 01, 02 = 1.6 • 10~3; в - в докритической области (т0 = 0.51) при изменении 02, 01 = 2.4 • 10~Б. Для сравнения значений ReX на рисунках приведены кривые при 01 = 02 = 0. Другие параметры модели: го = 1, ао = 8, g=1.434, f = 0.093, h = 0.857, b = 11.905, D1/D2 = 1000. rf 1 = rf2 = 1. Критическое значение бифуркационного параметра m0c = 0.50
57
неустойчивость системы 22). Фазовый переход с образованием структур в присутствии шумов происходит в докритической области (то есть раньше, чем при детерминистическом описании).
Разрыв второго рода в зависимости Re Х(к) обусловлен выбором компонент собственных векторов сопряженного оператора и не влияет на вышеприведенный анализ.
В докритической области состояние системы является однородным статистически стационарным. Этому соответствует одномодальная плотность распределения вероятности. Возникновение неоднородного статистически стационарного состояния проявляется в расщеплении максимума плотности распределения вероятности на два симметричных.
Для системы (22) было получено УФП для плотности распределения вероятности критической моды, имеющее вид (18). На рис. 2 представлено изменение плотности стационарного распределения вероятности этой моды при увеличении интенсивности шумов при переходе через точку бифуркации moc. Рис. 2, а иллюстрирует плотность распределения вероятности, соответствующую однородному статистически стационарному состоянию системы в докритической области. Рис. 2, б-г
Рис. 2. Плотность стационарного распределения вероятности (19) для системы (22). а - Докритическая область: т0 = 0.51, 02 = 6.4 • 10~4, 0i = 2.4 • 10~Б. б - Закритическая область: т0 = 0.49, 01 = 2.4 • 10-Б, 02 = 6.4 • 10-Б. в - Закритическая область: 01 = 2.4 • 10~Б, 02 = 6.4 • 10~4. г - Закритическая область 01 = 2.4 • 10~Б, 02 = 6.4 • 10~3. Другие параметры модели: r0 = 1, а0 = 8, g = 1.434, f = 0.093, h = 0.857, b = 11.905, D1/D2 = 1000. r)f 1 = Tf 2 = 1. Критическое значение бифуркационного параметра m0c = 0.50
58
демонстрируют плотность распределения вероятности в закритической области при различных интенсивностях шума. Бимодальные распределения (см. рис. 2, б и в) соответствуют существованию диссипативных структур. При этом математическое ожидание параметра порядка становится отличным от нуля. Из этих рисунков видно, что при увеличении интенсивности шумов происходит постепенное слияние максимумов, и при втором критическом значении интенсивности шума система переходит в состояние сильно нерегулярного поведения (рис. 2, г). Таким образом, полученное изменение плотности стационарного распределения вероятности свидетельствует о существовании в системе (22) фазового перехода «беспорядок-порядок-беспорядок».
Следует заметить, что в работе [22] было проведено исследование влияния внешнего шума на систему Гирера-Майнхардта, являющуюся базовой в понимании процессов биологического формообразования и дифференциации клеток. Результаты исследований показали качественное совпадение особенностей динамического поведения этой системы с системой (22). Поэтому подобного поведения следует ожидать и от других систем реакция-диффузия в поле внешних шумов.
Заключение
С единой точки зрения концепции параметров порядка развита теория, позволяющая предсказывать и исследовать шумоиндуцированные эффекты, возникающие в системах реакция-диффузия во внешних шумах.
Получены стохастические уравнения для амплитуд неустойчивых мод (параметров порядка) и дисперсионные уравнения для усредненных по ансамблю реализаций амплитуд неустойчивых мод. Аналитически найдена зависимость инкрементов усредненных по ансамблю реализаций амплитуд неустойчивых мод от волнового числа, интенсивности и радиуса корреляции шума. Показано, что мультипликативные шумы параметров системы приводят к изменению собственных значений задачи, а также к расширению области неустойчивости системы, изменению условий резонансного взаимодействия мод, шумоиндуцированной параметрической неустойчивости (смещению точки бифуркации Тьюринга в докритическую область) и уменьшению времени разрушения статистически стационарного однородного состояния и спонтанного образования пространственных диссипативных структур при увеличении интенсивности внешнего шума.
Получено уравнение Фоккера-Планка для параметров порядка рассматриваемых систем. Показано, что в таких системах существует шумоиндуцированный фазовый переход «беспорядок-порядок-беспорядок».
Авторы выражают глубокую благодарность профессору Ю.М. Романовскому за постоянное внимание к работе, полезные обсуждения и ценные замечания.
Работа частично поддержана АВЦП «Развитие научного потенциала высшей школы» (2009-2011 гг.), проект 2.1.1/309, ФЦП «Научные и научно-педагогические кадры инновационной России» на 2009-2013 гг.», ГК№ П2315.
59
Приложение
Функции, введенные в уравнениях (10):
aj(k, k', k'') = £ g^O^^O3(k!)O^")(k''),
e,V,v
ajj (k, k', k'', k''') = £ g^vO^kO'') (X)of\k!')Oj )(k'"),
£,^,V,K
j (k, k) = £ Pp1Q(i)(k )Oj )(k'),
(1)r> *(3){ъ\ n(i 'h
'4,3
ej'?'(k, k', k'') = £ Ao;0)(k)O{/)(k')oii(k'').
^,V
Функции, введенные в уравнениях (14):
rn(kM, k'u, k''u, k'''u, ku - k'u) = a(111)1(kM, k'u, k"u, k'"u) -
(°и (k«> kE ks) + (k„, ks, k'u)) ji) „ , „ , ,
■ Xi(ks) on(k„k u,k u)
(1)
(a12 (k«> kE k) + °21 (k«> k*> k«)) „(2) „ , „ , ,
X2(ks) an(ks,k u,k u),
/-л*(^) /Л \
t ,(k к)-в{1)(к к)°ф7 (ks)p(0) Ц|,1|),(|)Ч%! ^-s) — fcq),T|)VKtt) A, (k ) ’
n4(ku , k u) - 1(ku , k u)
2
- £ [°ы (k«> kE k« - k«) + (k«> k« - k'u, k'«)] °l
A^(ku k u)
ф=1
'' (1) '
V;(ku, k'u, k''u) = 4/n (ku, k'u, k''u) -
e(^) (k — k' k'' )
- V fa^Vk к' к - к' l+c/Ek к - к' к' Ц^’1 и и’ и'
/ ; [°1-ф VKw? К ич Кгг К и) \ °ф11Кгг? Кгг К uj К и)\ * ,, Ь/ \
S(ku k u)
2
Е
^=1
— V <£) (ь. к' 4- к" 1 qlT^(km кЕк"и)
А ^ф,фЧКгг) К и \ К и)
2
Е
ф,ф=1
E(k' u + k>'u)
60
, (, , , / л „(1),, , /?д(к^к/«)
^Ф,Ф,фЧк^ ks; к —£ф,-ф(кп) ks) ^ ^ ^ ’
/■^^(ф) (к )
B^tfQsv, кs, k'u) = [4дф(к«, k'„, ks) + 4!ii(k«, k„ кф)] *'P(°,\
г(ф) (k k' k'' )
^ф,^,ф;(kn? ks, к n, к u) —^ф -ф(кп) ks) \ n \ ■
hty(ks)
,Уф) (k k'' )
D /fk к' к к" 1 — Ч1^ fk к' к 1 + Ч^ fk к к' 11 Ф'Ч s’ U
^Лр^фЧ1*^ К и> -$ч К и) — 1^ф,1фУКг/7 К ич K.sy \ ^ф;ф1УКг/; К г/УУ А, (к ) ’
Щф(К j k uj ku k Пч k Пч k u) — (^1ф (kuj k U 4 ku k u)+ Фф1 (kuj ku k u 4 k u)) X
Дф) (k _ k' k'' k''' )
^ф,1Ч^U *■ u^- Uj uy
x ^ф(кщ - k'u) ’
F^w(kUj k'uj k''u, k'''u) — [^ф1,!^(ku, k'u, k''u + k'''u) + ^^(ku, k''u + k'''u, k'u)] x
a(4k'' + k''' k'' k''' )
x Аф(к"п + k"'u) !
^ф,ф,ф;(kuj k uj ksj k uj k u) — (^ф, 1 ф ((kuj k uj ks) + ^ф, ф 1(kuj ks4 k u)) X
Дф) (k k'' k''' )
V,11l Ks^ u , *• u) ^ф(ks )
Библиографический список
1. Lindner B., Garcia-Ojalvo J., Neiman A., Schimansky-Geier L. Effects of noise in excitable systems // Physics Reports. 2004. Vol. 392. P. 321.
2. Garcia-Ojalvo J., Sancho J.M. Noise in spatially extended systems. New York: Springer Verlag, 1999.
3. Van den Broeck C., Parrondo J.M.R., Toral R. Noise-induced nonequilibrium phase transition // Phys. Rev. Lett. 1994. Vol. 73. P. 3395.
4. Genovese W., Munoz M.A., Sancho J.M. Nonequilibrium transitions induced by multiplicative noise // Phys. Rev. E. 1998. Vol. 57. P. R2495.
61
5. Landa P.S., Zaikin A.A., Schimansky-Geier L. Influence of additive noise on noise-induced phase transition on nonlinear chains // Chaos, Solitons & Fractals. 1998. Vol. 9. P. 1367.
6. Zaikin A.A., Schimansky-Geier L. Spatial patterns induced by additive noise // Phys. Rev. E. 1998. Vol. 58. P. 4355.
7. Ibanes M., Garcia-Ojalvo J., Toral R., Sancho J.M. Noise-induced phase separation: Mean-field results // Phys. Rev. E. 1999. Vol. 60. P. 3597.
8. ХакенГ. Синергетика. М.: Мир, 1980.
9. Курушина С.Е. Аналитическое исследование и численное моделирование контрастных диссипативных структур в поле флуктуаций динамических переменных // Изв. вузов. ПНД. 2009. Т. 17, № 6. С. 125.
10. Хорстхемке В., Лефевр Р. Индуцированные шумом переходы: теория и применение в физике, химии и биологии. М.: Мир, 1987.
11. Курушина С.Е. Моделирование динамики пространственно-распределенных систем типа «реакция-диффузия» с внешними флуктуациями. Дисс. ... докт. физ.-мат. наук. Самара, СГАУ, 2010.
12. Рытов С.М. Введение в статистическую радиофизику. М.: Наука, 1966.
13. Стратонович Р.Л. Нелинейная неравновесная термодинамика. М.: Наука, 1985.
14. Кляцкин В.И. Стохастические уравнения глазами физика. М.: Физматлит, 2001.
15. Стратонович Р.Л. Случайные процессы в динамических системах. Москва; Ижевск: ИКИ, 2009.
16. Scheffer M. Fish and nutrients interplay determines algal biomass: A minimal model // OIKOS. 1991. Vol. 62. P. 271.
17. Malchow H. Motional instabilities in prey-predator systems // J. Theor. Biol. 2000. Vol. 204. P. 639.
18. Malchow H. Spatiotemporal pattern formation in nonlinear non-equilibrium plankton dynamics // Procc. R. Soc. Lond. B. 1993. Vol. 251. P. 103.
19. Satnoianu R.A., Menzinger M. Non-turing stationary patterns in flow-distributed oscillators with general diffusion and flow rates // Phys. Rev. E. 2000. Vol. 62, № 1. P. 113.
20. Satnoianu R.A., Menzinger M., Maini P.K. Turing instabilities in general systems // J. Math. Biol. 2000. Vol. 41, № 6. P. 493.
21. Курушина С.Е., Завершинский И.П., Максимов В.В. и др. Моделирование пространственно-временных структур в системе хищник-жертва во внешней флуктуирующей среде // Математическое моделирование. 2010. Т. 22, № 10. С. 3.
22. Курушина С.Е., Иванов А.А. Диссипативные структуры в системе реакция-диффузия в поле мультипликативных флуктуаций // Изв. вузов. ПНД. 2010. Т. 18, № 3. С. 85.
Самарский государственный Поступила в редакцию 29.07.2011
аэрокосмический университет
62
STOCHASTIC EQUATIONS AND FOKKER-PLANCK EQUATION FOR THE ORDER PARAMETERS IN THE STUDY OF THE NOISE-INDUCED SPATIAL PATTERNS DYNAMICS
S.E. Kurushina, L.I. Gromova, V.V. Maximov
From the viewpoint of the order parameters concept spatial pattern formation in excitable fluctuating medium was researched analytically. The reaction-diffusion system in external noise was considered as a model of such medium. Stochastic equations for the unstable modes amplitudes (order parameters) and the dispersion equations for the average unstable modes amplitudes were received. Fokker-Planck equation for the order parameters was received. The developed theory allows studying noise-induced effects, including variation boundaries of ordering and disordering phase transitions in dependence on the parameters of external noise.
Keywords: Spatial patterns, external noise, phase transitions, order parameters.
Курушина Светлана Евгеньевна - родилась в Куйбышеве (1971), окончила Самарский государственный университет (1994). После окончания СГУ работает в Самарском государственном аэрокосмическом университете. Защитила диссертацию на соискание ученой степени кандидата физико-математических наук в СГАУ (2002) по специальности 01.04.05 - Оптика и доктора физикоматематических наук в СГАУ (2010) по специальности 05.13.18 - Математическое моделирование, численные методы и комплексы программ. Опубликовала 65 научных работ. Область научных интересов: оптика, теория колебаний, волн, структур; динамика нелинейных стохастических систем; теория самоорганизации; прикладная математика; стохастические уравнения.
443086 Самара, Московское шоссе, 34 Самарский государственный аэрокосмический университет им. академика С.П. Королева E-mail: [email protected]
Громова Лидия Ивановна - родилась в Москве (1938), окончила Куйбышевский государственный педагогический институт (1961). В настоящее время работает в Самарском государственном аэрокосмическом университете. Защитила диссертацию на соискание ученой степени кандидата физико-математических наук в КГПИ (1969) в области магнитных явлений в твердых телах. Опубликовала более 70 научных работ. Область научных интересов: теория колебаний, волн, структур; теория самоорганизации.
443086 Самара, Московское шоссе, 34 Самарский государственный аэрокосмический университет им. академика С.П. Королева E-mail:kurushina72@mail .ru
Максимов Валерий Владимирович - родился в поселке Усть-Омчуг, Магаданской области (1952). Окончил Куйбышевский авиационный институт (1976). После окончания КуАИ работал в ЦСКБ «Прогресс». С 1979 г. работает в Ку-АИ - СГАУ Защитил диссертацию на соискание ученой степени кандидата технических наук в КуАИ (1987) по специальности 05.07.05 - Тепловые двигатели летательных аппаратов. Опубликовал более 60 научных работ. Имеет 6 авторских свидетельств в области двигателестроения и плазменного напыления. Область научных интересов: теория колебаний и волн; динамика нелинейных стохастических систем; теория самоорганизации.
443086 Самара, Московское шоссе, 34 Самарский государственный аэрокосмический университет им. академика С.П. Королева E-mail:[email protected]
63