CC BY
13Пусть P < R. По теореме об ¿-изоморфизме имеем I/(P П I) = (P + I)/P. Так как R/P G K и (P + I)/P < R/P, то по свойству (A) определения специального класса (P + I)/P G K, т.е. I/(P П I) G K. Поэтому P П I входит в пересечение (1).
Следовательно, p(I) С p(R) П I, т.е. p(I) = p(R) П I. Пересечение ¿-идеалов является ¿-идеалом. Теорема доказана.
СПИСОК ЛИТЕРАТУРЫ
1. Биркгоф Г. Теория решеток. М.: Мир, 1984.
2. Фукс Л. Упорядоченные алгебраические системы. М.: Наука, 1965.
3. Шаталова М.А. ¿а- и ¿/-кольца // Сиб. матем. журн. 1966. 7, № 6. 1383-1389.
4. Шавгулидзе Н.Е. Радикалы ¿-колец и односторонние ¿-идеалы // Фунд. и прикл. матем. 2008. 14, вып. 8. 233-245.
5. Шаталова М.А. К теории радикалов в структурно упорядоченных кольцах // Матем. заметки. 1968. 4, № 6. 639-648.
6. Anderson T, Divinsky N, Sulinski A. Hereditary radicals in associative and alternative rings // Can. J. Math. 1965. 17. 594-603.
7. Андрунакиевич В.А., Рябухин Ю.М. Радикалы алгебр и структурная теория. М.: Наука, 1979.
Поступила в редакцию 29.04.2009
УДК 519.21
МОНОТОННОСТЬ ВЕРОЯТНОСТИ ВОЗВРАЩЕНИЯ В ИСТОЧНИК В МОДЕЛЯХ ВЕТВЯЩЕГОСЯ СЛУЧАЙНОГО БЛУЖДАНИЯ
Е. Б. Яровая1
Рассматриваются две модели ветвящегося случайного блуждания по многомерной решетке с размножением и гибелью частиц в одном из ее узлов — источнике ветвления. В первой модели случайное блуждание предполагается симметричным, а во второй это свойство нарушается из-за введения параметра, позволяющего усилить степень преобладания свойства ветвления или блуждания в источнике. Доказана монотонность вероятности возвращения в источник для второй модели, являющаяся ключевым свойством при анализе ветвящихся случайных блужданий.
Ключевые слова: ветвящиеся случайные блуждания, вероятность возвращения в источник, монотонность.
The paper deals with two models of a branching random walk on a multidimensional lattice with birth and death of particles at a single site, the source of branching. In the first model the underlying random walk is assumed to be symmetric. In the second one an additional parameter is introduced to intensify artificially prevalence of branching or walk at the source. As the result, it violates the symmetry of the random walk. The monotonicity of the return probability into the source is proved for the second model which is a key property in the analysis of branching random walks.
Key words: branching random walks, return probability, monotonicity.
1. Постановка задачи. Модель симметричного ветвящегося случайного блуждания с непрерывным временем по решетке Zd и одним источником ветвления, расположенным в начале координат, была исследована в работах [1-4]. В дальнейшем эту модель будем называть моделью I.
Случайное блуждание частиц определяется бесконечномерной матрицей переходных интенсивностей А = \\а{х,у)\\ХуУ£1л и предполагается симметричным: а(х,у) = а(у,х), однородным: а(х,у) = а(0,у — х) =
1 Яровая Елена Борисовна — канд. физ.-мат. наук, доцент каф. теории вероятностей мех.-мат. ф-та МГУ, e-mail: yarovaya@mech. math. msu. su.
a(y — x), неприводимым (т.е. любая точка y Е Zd достижима), регулярным: ^ a(x) =0 с a(x) ^ 0,
xezd
x = 0, a(0) < 0, с конечной дисперсией скачков: ^ x2a(x) < ж. В силу свойств симметричности и од-
xezd
нородности случайного блуждания для матрицы A выполнены условия ^yeZ \a(x,y)\ = ^хеЪ \a(x,y)\ = —2a(0). В этих условиях, как показано в [3], матрица A определяет линейный ограниченный оператор A : l2(Zd) — l2(Zd), причем ||A||iq(Zd) ^ —2a(0). Если через ¿о, как обычно, обозначить вектор-столбец
в пространстве l2(Zd), отвечающий функции ¿о(0 на Zd, которая принимает единичное значение в начале координат и обращается в нуль в остальных точках, то бесконечномерную матрицу с единственным единичным элементом, соответствующим точке x = 0 на решетке Zd, можно представить как Ло = ¿0¿0. Тогда асимптотическое поведение числа частиц в произвольном узле Zd в этой модели будет определяться структурой спектра линейного самосопряженного оператора H = A + (ЗЛо, где параметр в характеризует интенсивность источника.
Через p(t, x, y) обозначается переходная вероятность случайного блуждания, т.е. вероятность того, что в момент t ^ 0 частица находится в точке y при условии, что при t = 0 она находилась в точке x. При этом вероятность возвращения в источник p(t, 0) := p(t, 0, 0) удовлетворяет обратному уравнению Колмогорова [3]. Как показано в [5], одним из ключевых факторов при доказательстве предельных теорем в модели I является монотонность вероятности p(t, 0). Это свойство доказано в работах [5, 6] методом преобразований Фурье уравнений, описывающих динамику p(t, 0). Доказательство монотонности p(t, 0) = (р^),5о) также нетрудно получить, если трактовать уравнение
^ = Ар, р( 0) = ¿о, (1)
как задачу Коши в банаховом пространстве l2(Zd) [3]. Из (1) и неравенства (Ax,x) ^ 0, x Е l2(Zd), в [3, лемма 3.3.5] с использованием спектрального разложения для A получено, что (p'(t), ¿о) = (AeAt¿о, ¿о) ^ 0, и, значит, функция p(t, 0) = (p(t), ¿о) монотонно не возрастает. Доказательство леммы 3.3.5 в [3] опирается на стандартное в спектральной теории самосопряженных операторов представление оператора-функции eAt в виде операторного интеграла Стилтьеса по спектральному разложению оператора A [7, 8].
Модель II была впервые исследована, по-видимому, в [6] для критического ветвящегося случайного блуждания по Z. Отличительная особенность данной модели — введение параметра 0 < а < 1, управляющего эволюцией процесса в источнике ветвления и вызывающего нарушение симметричности матрицы переходных интенсивностей — генератора случайного блуждания A2, имеющего в этом случае вид А2 = А - А0А +
В [9] показано, что для решеток произвольных размерностей модели I и II могут быть описаны в сопоставимых терминах, а асимптотическое поведение числа частиц в источнике в модели II определяется структурой спектра линейного оператора H2 = A2 + ¡ЗЛо, действующего в l2(Zd), где число в характеризует интенсивность источника в модели II. Там же показано, что вероятность возвращения в источник p(t, 0) в модели II выражается через решение задачи Коши
^ = А2р, р( 0) = ¿о, (2)
в банаховом пространстве l2(Zd) следующим образом: p(t, 0) = ).
В модели II, так же как и в модели I, весьма существенным свойством для дальнейших исследований является монотонность вероятности p(t, 0). Однако оператор A2 уже не является самосопряженным, а для его матрицы не выполняется свойство однородности (в отличие от матрицы оператора A), что затрудняет исследование модели II. Тем не менее и в модели II для решения задачи Коши (2) справедливо свойство монотонности, а именно справедлива
Теорема. Пусть 0 < а < 1 и a(0) < 0. Если A — ограниченный самосопряженный оператор в
l2(Zd) и А2 — А — Д0А + ^оу-АоА, то функция p(t, 0) — (p(t),6o), где p(t) — решение задачи Коши (2), неотрицательна и монотонно не возрастает на полуинтервале [0, ж). Более того, для старших производных функции (p3(t), ¿о) выполняются неравенства (—1)(n) (p(n(^¿о) ^ 0 при t ^ 0.
2. Доказательство теоремы. Нам понадобится вспомогательное утверждение, являющееся очевидным обобщением леммы 3.3.5 из [3].
Лемма. Пусть B — линейный ограниченный самосопряженный оператор, действующий в гильбертовом пространстве E со скалярным произведением (■, ■). Если при этом (Bx,x) ^ 0 при всех x Е E,
то при каждом целом п ^ 0
(—1)п{Бпвтх,х) ^ 0, Ух е Е, г ^ 0. (3)
Если дополнительно {Бх, х) < 0 при х = 0, то неравенства в (3) строгие при х = 0. Введем обозначение
а — 1 гл\
к = —— - 1. (4)
а(0) 1 '
Вначале покажем, что оператор А2 представим в виде произведения двух самосопряженных операторов. Оператор А2 имеет вид
А2 = А + к50$А = БА, где Б = I + к50$ = I + ^щ-- 5о$о ■
Здесь оператор А — самосопряженный оператор по условию теоремы. А поскольку для произвольных х,у е ¡2(Ъ') справедливы равенства
{Ох,у) = {х, у) + к{5о5Тх,у) = {х, у) + к{5о,х){5о,у) = {х,Оу),
то О = ОТ, и оператор О также самосопряженный. Более того, поскольку
{Бх, х) = {х, х) + к{5о,х){5о,х) = ^ х2 + их"2 ^ 0
при 1 + к > 0, то оператор О является положительно-определенным: {Бх, х) ^ 0. Аналогично легко показать, что при 1 + к > 0 оператор О обратим, т.е. для него существует ограниченный обратный О-1.
Возвращаясь к обозначению (4), получаем, что в условиях теоремы 0 < а < 1 и а(0) < 0, и потому к > —1. Таким образом, оператор О обратим, симметричен и положительно определен. Значит [7, 8], для него определен (симметрический, обратимый и положительно-определенный) квадратный корень
О1/2.
Впрочем, учитывая простой вид оператора О, существование О1/2 можно доказать непосредственно. Вернемся к задаче Коши (2) и сделаем замену переменных р =
О1/2 у, после которой уравнение (2)
примет вид
^ = А2В^2у, В^2у{ 0) = ¿0. В силу обратимости оператора О и операторного равенства А2 = ОА получаем
| = 2?1/2Ад1/2у> у(0) = д-1/2^ (5)
Оператор Б = О1!2 АО1!2 самосопряженный и отрицательно-определенный ({Бх,х) = {О1/2АО1/2х,х) = {АО1!2х, О1/2х) < 0). ведливо соотношение
{АО1/2х,О1/2х) ^ 0). При этом у'(г) = Бету(0). Поэтому по лемме для решения задачи Коши (5) спра-
{у'(г),у(0)) = {у'(г),О-1/25о) < 0.
Следовательно, функция {у(г),О-1/25о) = {О-1!2р(г),О-1/25о) = {р(г),О-15о) не возрастает.
Найдем явный вид оператора О-1. Представим оператор О-1 как О-1 = I + д5о5т, где д — некоторая постоянная, определяемая из условия О-1 О = I, которое может быть теперь переписано в виде
(I + д5о 50Т )(1 + к5о 50Т )= I.
Из этого равенства в силу соотношения 5Т5о = {5о,5о) = 1 получаем
I + (д + к)5о 5Т + дк5о 5^ = I.
Таким образом, д является корнем уравнения д + к + дк = 0, т.е. д = — у^-. При этом = I — и О~15о = 5о — т^Зо^о^о = т^^о- Отсюда следует равенство
1 + к
из которого получаем, что функция (p(t), ¿о) = p(t, 0), где p(t) — решение задачи Коши (2), монотонно не
возрастает на полуинтервале [0, ж).
Аналогично проводится доказательство неотрицательности функции (p(t, 0)^о) и неравенства (—1)Ы (p(n) (t),
¿о) ^ 0. Теорема доказана.
Работа выполнена при поддержке РФФИ, грант № 10-01-00266a.
СПИСОК ЛИТЕРАТУРЫ
1. Богачев Л.В., Яровая Е.Б. Моментный анализ ветвящегося случайного блуждания на решетке с одним источником // Докл. РАН. 1998. 363, № 4. 439-442.
2. Яровая Е.Б. Применение спектральных методов в изучении ветвящихся процессов с диффузией в некомпактном фазовом пространстве // Теор. и матем. физ. 1991. 88, № 1. 25-30.
3. Яровая Е.Б. Ветвящиеся случайные блуждания в неоднородной среде. М.: Изд-во ЦПИ при механико-математическом факультете МГУ, 2007.
4. Albeverio S, Bogachev L.V., Yarovaya E.B. Asymptotics of branching symmetric random walk on the lattice with a single source // C. r. Acad. sci. Paris. Ser. A. 1998. 326. 975-980.
5. Яровая Е.Б. Критические ветвящиеся случайные блуждания по решеткам низких размерностей // Дискретная математика. 2009. 21, № 1. 117-138.
6. Topchii V., Vatutin V., Yarovaya E. Catalytic branching random walk and queueing systems with random number of independent servers // Teor. jmovirn. ta matem. statist. 2003. 69. 158-172.
7. Ахиезер Н.И., Глазман И.М. Теория линейных операторов в гильбертовом пространстве. М.: Наука, 1966.
8. Като Т. Теория возмущений линейных операторов. М.: Мир, 1972.
9. Яровая Е.Б. Об исследовании ветвящихся случайных блужданий по многомерным решеткам // Современные проблемы математики и механики. Теория вероятностей и математическая статистика / Под ред. А.Н. Ширяева. М.: Изд-во МГУ, 2009. 119-136.
Поступила в редакцию 27.05.2009
УДК 512.62
О ЧИСЛЕ РЕШЕНИЙ НЕКОТОРЫХ СИСТЕМ УРАВНЕНИЙ
А. Н. Зайцева1
Получена оценка числа решений мультиоднородных систем уравнений с использованием свойств функции Гильберта мультиоднородных идеалов.
Ключевые слова: число решений, мультиоднородные уравнения, функция Гильберта, произведение проективных пространств, нульмерные идеалы.
An estimnate for the number of solutions to multi-homogenious systems of equations is obtained using properties of the Hilbert function of multi-homogeneous ideals.
Key words: number of solutions, multiprojective equations, Hilbert function, multi-projective space, zero-dimensional ideals.
Рассмотрим кольцо многочленов R = K[xi^,..., xi,ni,..., xpfl, ■■■, xp,np] над алгебраически замкнутым полем K характеристики нуль. Будем называть многочлен F Е R мультиоднородным или однородным по p группам переменных yi = (xi^,...,xini), ..., yp = (xpfl,...,xpnp), если с некоторыми неотрицательными целыми Di,Dp для всех ненулевых ti,...,tp Е K выполняется соотношение
F(t1x1,0, . . . , tixi,ni, tpxp,0, . tnxp,np) — tD . . .tf> F(xifl, xp,np).
1 Зайцева Анастасия Николаевна — студ. каф. теории чисел мех.-мат. ф-та МГУ, e-mail: zaytsevaan@gmail.com.
