CC BY
10ВЕСТН. МОСК. УН-ТА. СЕР.1, МАТЕМАТИКА. МЕХАНИКА. 2023. №4
49
Окончание
Л
6, 19
[ei [ei [ei [ei [б2
= e3
= e4
= e5
= ee
= ee
(B) т. о. п.
(B) X5 = Я5 = 0, (ae,xe) = 0, 04x3 = 03x4 или X5 = 05 =0, 3 j G {3, 4} : aeXj = ajxe
(C) ae = xe = 0, 3 i, j G {3,4, 5} : ajXj = ajxj
1, 3 1,1 1,1,1, 3
Л
e, 20
[ei [ei
[ei [ei
[e2 [б2
= e3 = e4 = e5 = ee = e5 = ee
(A) т. о. п.
(B) aex5 = aex5, 3 j G {3,4} : aexj = aj xe
(B) x4 = x5 = a4 = a5 = 0, a3xe = aex3 или ae = xe = 0, 3 j G {3,4} : a5xj = ajx5
(C) a5 = ae = x5 = xe = 0, a4x3 = a3x4
1, 5 1, 3
1,1
1,1,1, 3
Л
e, 2i
[ei [ei [e2 [e2 [e3
= e3 = ee = e4 = e5 = ee
(B) т. о. п.
(C) ae = xe = 0, 3 i, j G {3,4, 5} : ajxj = ajxj
1, 3 1,1,1, 3
Л
e, 22
[ei [ei [ei [e2 [e2 [ез
= e3 = e5 = ee = e4 = e5 = ee
(A) т. о. п.
(B) aex5 = aex5, 3 j G {3,4} : aexj = aj xe
(B) ae = xe =0, 3 j G {3, 4} : a5xj = ajx5
(C) a5 = ae = x5 = xe = 0, a4x3 = a3x4
1, 5 1, 3 1,1 1,1,1, 3
2
4
2
4
2
2
2
4
СПИСОК ЛИТЕРАТУРЫ
1. Bolsinov A. V., Zhang P. Jordan-Kronecker invariants of finite-dimensional Lie algebras // Transform. Groups. 2016. 21. 51-86.
2. Грознова А.Ю. Инварианты Жордана-Кронекера для алгебр Ли малых размерностей // Фунд. и прикл. матем. 2021. 23, № 4. 73-86.
3. Короткевич А.А. Интегрируемые гамильтоновы системы на алгебрах Ли малой размерности // Матем. сб. 2009. 200, № 12. 3-40.
Поступила в редакцию 01.03.2023
УДК 519.21
О МОМЕНТАХ ВЕТВЯЩЕГОСЯ БЛУЖДАНИЯ В СЛУЧАЙНОЙ СРЕДЕ С ГУМБЕЛЕВСКИМ ПОТЕНЦИАЛОМ
В. А. Куценко1
Рассматривается ветвящееся случайное блуждание по многомерной решетке в случайной среде с непрерывным временем. В основе процесса лежит простое симметричное случайное блуждание. Случайная среда в каждой точке решетки определяется неотрицательными, независимыми и одинаково распределенными случайными интенсивностями деления и гибели частиц. Предполагается, что разность интенсивностей деления и гибели частиц имеет асимптотически гумбелевское распределение. Получены результаты о предельном поведении моментов, усредненных по среде.
Ключевые слова: случайные процессы, ветвящиеся случайные блуждания, случайная среда, перемежаемость.
A time-continuous branching random walk over a multidimensional lattice in a random medium is considered. Underlying random walk is considered to be simple and symmetric. The
1 Куценко Владимир Александрович — асп. каф. теории вероятностей мех.-мат. ф-та МГУ, e-mail: vlakutsenko@ya.ru.
Kutsenko Vladimir Aleksandrovich — Postgraduate, Lomonosov Moscow State University, Faculty of Mechanics and Mathematics, Chair of Probability Theory.
50
ВЕСТН. моек. УН-ТА. СЕР.1, МАТЕМАТИКА. МЕХАНИКА. 2023. №4
random medium at each point of the lattice is determined by non-negative, independent, and equally distributed random intensities of splitting and death of particles. It is assumed that the difference in the intensities of splitting and death of particles has an asymptotically Gumbelian distribution. The limiting behavior of the moments averaged over the medium is obtained.
Key words: random processes, branching random walks, random medium, intermittency.
DOI: 10.55959/MSU0579-9368-1-64-4-8
1. Введение. В настоящей работе исследуется модель ветвящихся случайных блужданий (ВСБ) в случайной среде, впервые рассмотренная в [1]. Модель ВСБ в случайной среде была формализована в работе [2] и поэтому мы будем придерживаться терминологии, введенной там.
Рассмотрим целочисленную решетку Zd, d € N, и непрерывное время t ^ 0. Пусть в начальный момент времени t = 0 в некоторой точке x € Zd находится одна частица. За малое время эта частица может остаться на месте, переместиться в соседний узел решетки, разделиться надвое или погибнуть. Эволюция ее потомков происходит по тому же закону независимо друга от друга и от всей предыстории. Этот процесс объединяет ветвление и блуждание частиц, потому его называют ветвящимся случайным блужданием (см., например, [3, 4]). Опишем формально механизмы ветвления и блуждания.
Перемещение частиц по решетке задается простым симметричным случайным блужданием, как в [2-4]. Это значит, что частица, находящаяся в любой точке решетки, ждет время, распределенное по экспоненциальному закону с параметром к > 0, а затем равновероятно перемещается в одну из соседних точек решетки.
Для каждой частицы задан ветвящийся процесс, в течение которого частица может разделиться надвое или погибнуть. Интенсивности ветвления зависят от положения точки на решетке и для каждой координаты x € Zd являются случайными величинами, не зависящими от времени. Через V+(x,w) обозначается интенсивность деления частицы надвое, а через V-(x,w) — интенсивность ее гибели. Переменная ш определена на вероятностном пространстве (Q, F, P), Q = R+"Zd. Вычисленное по Q математическое ожидание мы будем обозначать угловыми скобками (•). Переменная ш подчеркивает случайность величин и соответствует конкретной реализации пар интенсивностей. Предполагается, что пары интенсивностей в различных точках решетки независимы и одинаково распределены.
Введенные пары интенсивностей можно понимать как случайную среду на Zd, которая управляет процессом ветвления. Еще раз подчеркнем, что случайная среда стационарна и поведение процесса при t ^ 0 определяется конкретной реализацией пар (V+(x,w), V-(x,w)), x € Zd. Конкретное значение ш будем называть "замороженной средой" [2, 3], подразумевая под этим фиксированную реализацию пар (V+(x^), V-^,ш)).
Соединив механизмы ветвления и блуждания, опишем эволюцию частицы в ВСБ в случайной среде. Для удобства введем случайную величину т(x,^>), которая есть среднее время ожидания в произвольной точке x € Zd:
:= K + V+{X,uj) + V-{X,UJ)'
Эволюция частицы, находящейся в точке x, выглядит следующим образом. Частица ждет время, которое имеет экспоненциальное распределение с параметром т(x,^>)-1, а затем мгновенно умирает, делится надвое или перемещается равновероятно в одну из соседних точек решетки. Выбор одного из этих трех событий производится с соответствующими вероятностями V-^,ш)т(x,^>), V+^,ш)т(x^) и кт^,ш).
В замороженной среде ш ВСБ в момент времени t есть система частиц на Zd, а значит, полностью описывается набором численностей частиц в точках решетки. Численность частиц в точке у € Zd в момент времени t обозначается ^(у,ш). В наших предположениях в начальный момент времени наблюдается ровно одна частица в точке x, поэтому ^0(у,ш) = ¿(x,y), где x — начальное положение первой частицы, а ¿(-, ■) — символ Кронекера.
В замороженной среде ш эволюция частиц — это стохастический процесс, а потому численность частиц в каждой точке ^¿(у, ш) есть случайная величина. Численность частиц принято изучать не напрямую, а через ее моменты [2-4]. Для замороженной среды ш моменты численности частиц в точке у € Zd при условии старта процесса в точке x называются "замороженными" (quenched moments [2]) и вычисляются усреднением по реализациям ВСБ в этой среде:
mn(t,x,y^) = (у,ш), n € N.
Каждой замороженной среде ш соответствует свой набор замороженных моментов mn(t, ж, у, ш). Замороженная среда как функция от ш есть случайная величина, поэтому замороженные моменты как функции от ш тоже суть случайные величины. Такие случайные величины сложно изучать напрямую и поэтому изучаются их моменты. Моменты получаются усреднением естественным образом — по вероятностному пространству, на котором определена переменная ш и которое, напомним, обозначается через угловые скобки. По устоявшейся терминологии моменты, полученные усреднением замороженных моментов, называются "отожженными" (annealed moments [2]). Отожженный момент p-го порядка, взятый от n-го замороженного момента, по определению выглядит следующим образом: (шП(^ж,у)), n € N, p ^ 1. В [4] подробно описаны тонкости рассмотрения замороженных и отожженных моментов, в частности условия их существования.
2. Постановка задачи. Исследовать поведение (шП(t,x,y)) на конечных временах в общем случае, по-видимому, невозможно. В связи с этим исследуется асимптотическое поведение шП(£, ж, у)) при t — то и фиксированных точках решетки ж и у. В [2] получено поведение моментов при больших временах для численности частиц ВСБ на всей решетке в случае произвольного распределения разности V+ (ж,ш) — V-(ж,ш). Величина V(ж,ш) = V+ (ж,ш) — V-(ж,ш) называется случайным потенциалом и отражает поведение процесса ветвления в точке ж € Zd. В [3] исследовано асимптотическое поведение отожженных моментов (шП(^ж,у)) в случае, когда распределение потенциала V(ж,ш) имеет асимптотически вейбулловский хвост, т.е. если его функция распределения F(z) подчиняется следующему условию:
ln (1 — F(z))--cza, c> 0, a > 1.
Здесь и далее выражение f (ж) ~ д(ж) означает, что f (ж)/д(ж) = 1.
В [5] показано, что асимптотическое поведение отожженных моментов (mi(t,ж,у)) может быть исследовано и в случае, когда потенциал V(ж, ш) имеет асимптотически гумбелевский хвост, т.е. если его функция распределения подчиняется следующему условию:
ln (1 — F(z))--ceza, c > 0, a > 1.
В деталях исследование первого отожженного момента для гумбелевского потенциала проведено в [4]. В настоящей работе будет показано, что в случае асимптотически гумбелевских хвостов может быть описано и асимптотическое поведение старших моментов (шП(t, ж, у)), n € N, p ^ 1.
Отдельно заметим, что в [6] асимптотическое поведение (m^(t, ж, у)) описано в общем случае, который включает потенциалы и c асимптотически вейбулловским, и с асимптотически гумбелевским хвостом. Однако для доказательства этого результата необходимо применение достаточно сложной техники из теории ветвящихся случайных процессов — так называемой леммы "многие-к-немногим" (many-to-few) — и последующей полной переформулировки задачи исследования ВСБ в требуемых для леммы терминах. В [4] и в настоящей работе показано, что можно поступить проще — использовать результаты из [3] и асимптотический анализ интегралов методом Лапласа [7].
3. Результаты для асимптотически гумбелевского потенциала. Результаты [3] обобщаются на случай гумбелевского семейства случайных потенциалов путем доказательства аналогов лемм 6.2-6.4 из работы [3].
Кратко напомним, что в лемме 6.2 [3] утверждается следующее: если функция распределения некоторой случайной величины асимптотически вейбулловская, то производящая функция кумулянтов имеет асимптотически степенной вид. В случае, когда вместо вейбулловского распределения рассматривается гумбелевское, в лемме 3 [4] показано, что производящая функция кумулянтов имеет асимптотически степенно-логарифмический вид. В лемме 6.3 [3] утверждается, что логарифм свертки двух функций, логарифм каждой из которых имеет степенной вид, также имеет степенной вид. Если же рассматривать функции с логарифмом степенно-логарифмического вида, то, согласно лемме 4 из [4], логарифм свертки этих функций будет иметь степенно-логарифмический вид. Наконец, лемма 6.4 [3] — это обобщение леммы 6.3 [3] для случая многомерной свертки. Следующая лемма есть обобщение леммы 4 [4] на случай многомерной свертки.
Лемма. Пусть f1(t) и f2(t) — непрерывные функции, такие, что ln fj(t) ~ at ln t, t — то, i = 1, 2. Тогда для следующего интеграла:
t t
W(p)(t) := у ••• J fi (si + ... + sp) f2 (pt — si — ... — sp) dsi... dsp
верно асимптотическое равенство
ln W (p)(t) ~ apt ln t, t -то.
Доказательство. Запишем функции 1п /¿(г) в следующей форме:
1п /¿(г) = аг 1п г + & (г), г = 1,2.
Согласно предположениям леммы для любого е > 0 существует число К = К(е) > 0, такое, что
|<#(г)| < К + е* 1п г = 1,2. (1)
Эти оценки подсказывают, что свертка Ш(р)(г) должна асимптотически зависеть от главной части асимптотики, т.е. от а£ 1п г. Обозначим через Ш0р)(г) интеграл, который соответствует свертке главных частей асимптотик:
ъ ъ
Ш0(р)(г) = у •••! ва31п ^+а(ръ-5) 1п(ръ-^... ¿вр,
где Б := + ... + вр.
В силу (1) интеграл ш (р)(г) можно оценить следующим образом:
Ш0(р)(г) • е-2К-2еъ 1пъ < ш(р)(г) < Ш0(р)(г) • е2К+2еъ 1п ъ. Взяв логарифм, получим
1п ш0(р) (г) - 2К - 2ег 1п г < 1п ш(р) (г) < 1п ш0(р) (г) + 2К + 2ег 1п г. (2)
Исследуем асимптотическое поведение Шдр)(г) при г ^ Обычно подобные задачи решаются методом Лапласа (см., например, [7]). Для его применения необходимо избавиться от переменного предела интегрирования. Сделаем замену переменных в1 := ¿г>1,...,вр = ггр и обозначим V :=
+ ... + ур). Тогда 5 = и И7^^) принимает следующий вид:
1 1
Ш0(р)(г) = I • • • ! еар1У 1п(РъУ)+а(Ръ-РъУ) 1п(ръ-ръУ^... ¿гр. (3)
о о
Упростим выражение в экспоненте:
ар^ 1п(р^) + а(рг - р^) 1п (рг - р^) = арг (V 1п(р^) + (1 - V) 1п {рг(1 - V)} ) =
= арг 1п(рг) + арг (V 1п V + (1 - V) 1п(1 - V)). (4)
Подставим полученное выражение (4) обратно в формулу (3):
1 1
Ш0(р)(г) = гРеаРъ 1п(Ръ) у • • • у еаРъ(У 1пУ+(1-У)1п(1-У... ¿гр. (5)
о о
Мы находимся в условиях применения метода Лапласа. Согласно этому методу интеграл в (5) при больших г близок к значению своей подынтегральной функции в точке максимума. Функция V 1п V + (1 - V) 1п(1 - V) достигает максимума в точках V = 0 и V = 1, и он равен нулю. Поэтому при больших г интеграл из выражения (5) асимптотически равен единице. Тем самым
Ш0(р) (г) - греаръ 1п(ръ), 1п ш0(р) (г) - арг 1п г, г ^ .
Полученное выражение, подставленное в неравенство (2), влечет утверждение леммы.
На основе доказанной леммы, применяя леммы 3, 4 [4] и схему доказательства теоремы 6.1 [3], получаем следующую теорему.
Теорема. Пусть дана модель ВСБ на многомерной решетке Zd, d € N, с непрерывным временем в случайной среде со стационарным, пространственно независимым и однородным потенциалом V(x,w), x € Zd. Пусть для его функции распределения F(z) выполнено условие
ln(1 - F(z))--ceza, c> 0, a > 1, z ^ ro.
Тогда при фиксированных x, y € Zd справедливо асимптотическое равенство
ln (mp(t, x,y)) ~ a-1pnt lnt, t ^ ro.
Автор приносит благодарность проф. Е. Б. Яровой и проф. С. А. Молчанову за обсуждение задачи.
Работа автора поддержана фондом БАЗИС, договор № 22-8-3-36-1.
СПИСОК ЛИТЕРАТУРЫ
1. Зельдович Я.Б., Молчанов С.А., Рузмайкин А.А., Соколов Д.Д. Перемежаемость пассивных полей в случайных средах // Журн. эксперимент. и теор. физ. 1985. 89, № 6. 2061-2072.
2. Gärtner J., Molchanov S. Parabolic problems for the Anderson model // Communs Math. Phys. 1990. 132, N 3. 613-655.
3. Albeverio S.A., Bogachev L.V., Molchanov S.A., Yarovaya E.B. Annealed moment Lyapunov exponents for a branching random walk in a homogeneous random branching environment // Markov Processes Relat. Fields. 2000. 6. 473-516.
4. Куценко В.А., Соколов Д.Д., Яровая Е.Б. Неустойчивости в случайных средах и режимы с обострением // Журн. эксперимент. и теор. физ. 2023. 163, № 4. 561-573.
5. Yarovaya E. Symmetric branching walks in homogeneous and non homogeneous random environments // Communs Stat. Simulation and Computation. 2012. 41, N 7. 1232-1249.
6. König W., Gün O., Sekulovic O. Moment asymptotics for branching random walks in random environment // Electron. J. Probab. 2013. 18. 1-18.
7. Butler R. W. Saddlepoint approximations with applications. Cambridge: Cambridge University Press, 2007.
Поступила в редакцию 15.02.2023
УДК 514.763
ИНВАРИАНТНЫЕ СУММЫ ПРОИЗВЕДЕНИЙ ДИФФЕРЕНЦИАЛОВ
Ф.М. Малышев1
На основе предлагаемого способа решения так называемых (r, в)-систем линейных уравнений доказано, что порядки однородных инвариантных дифференциальных операторов n гладких вещественных функций одной переменной принимают значения от n
n(n+1) | T-r
до 2 , а размерность пространства всех таких операторов не превосходит п\. Получена классификация инвариантных дифференциальных операторов порядка n + s для s = 1, 2, 3,4, а при n = 4 — для всех порядков от 4 до 10. Однородные инвариантные дифференциальные операторы самого маленького порядка n и самого большого порядка "("+1) представлены соответственно произведением п первых дифференциалов (s = 0) и вронскианом (s = (n — 1)n/2). Доказано существование ненулевых однородных инвариантных дифференциальных операторов порядка п + s для s < (n — 1).
Ключевые слова: производная, дифференциал, система линейных уравнений, симплекс, инвариантный дифференциальный оператор.
Based on the method proposed for solving the so-called (r, s)-systems of linear equations, it is proved that the orders of homogeneous invariant differential operators n of smooth real
1 Малышев Фёдор Михайлович — доктор физ.-мат. наук, вед. науч. сотр. отдела дискретной математики Матем. ин-та РАН. e-mail: malyshevfm@mi-ras.ru.
Malyshev Fedor Mikhailovich — Doctor of Physical and Mathematical Sciences, Leading Researcher, Steklov Mathematical Institute of RAS, Moscow, Department of Discrete Mathematics.
