Аналог теоремы Лиувилля для одного класса систем типа Коши - Римана с сингулярными коэффициентами

Автор: Гончаров Алексей Леонидович, Климентов Сергей Борисович, Усманов Зафар Джураевич

Журнал: Владикавказский математический журнал @vmj-ru

Статья в выпуске: 4 т.7, 2005 года.

Бесплатный доступ

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

Короткий адрес: https://sciup.org/14318171

IDR: 14318171

Текст научной статьи Аналог теоремы Лиувилля для одного класса систем типа Коши - Римана с сингулярными коэффициентами

Аналог теоремы Лиувилля для двумерных эллиптических систем типа Коши — Римана на плоскости E комплексной переменной z = x + iy, i2 = — 1, весьма важен при изучении свойств решений этих систем, а также при рассмотрении вопроса разрешимости краевых задач и сопутствующих двумерных интегральных уравнений (см., например, [1, 2]). Аналог теоремы Лиувилля имеет место для широкого класса эллиптических систем вида dzw + A(z)w + B(z)w = 0, (1)

где

∂ dz

= 1/ д   ,^_А

2 \ dx ' ду / ’

w(z) = u(x, у) + iv(x, у),

при естественных предположениях на коэффициенты A(z), B(z), состоящих в условии достаточно быстрого убывания этих коэффициентов при z → ∞ [1, с. 166].

Для систем типа Коши — Римана с сингулярным коэффициентом

2zd 5 w b(z)w = 0, b(0) = А = 0, (2)

естественным условием на коэффициент b(z) при z ^ го является ограниченность b(z) [2]. Как показывают приводимые в § 4 этой статьи примеры, в случае систем вида (2) с сингулярными коэффициентами, с теоремой Лиувилля дело обстоит сложнее, чем для систем вида (1): при упомянутом естественном условии на коэффициент b(z) аналог теоремы Лиувилля может не иметь места. В монографии [2, с. 84] установлено, что такой

(с) 2005 Гончаров А. Л., Климентов С. Б., Усманов З. Д.

аналог имеет место для коэффициентов, равных нулю вне некоторой ограниченной области, а также для модельной системы [2, с. 39, 84] (определение модельной системы см. ниже). В настоящей статье выделен новый класс систем с сингулярными коэффициентами, для которых имеет место аналог теоремы Лиувилля. Перейдем к точным формулировкам.

1.    Формулировка результата

Теорема 1. Пусть выполнены следующие условия:

w(z) — непрерывное на E решение системы (2);

  • b(z) G Ca(E), 0 < а < 1;(3)

  • 2 db 6 |b|2;

∂z

Im(zdb) =0;(5)

w(z) ^ 0, z ^ to.(6)

Тогда w(z) = 0 .

Замечание 1. Теорема 1 обобщает известную теорему для модельной системы (система (2) называется модельной, если b(z) = b(0) = A = 0) [2, с. 39].

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

Замечание 3. Как показывают приведенные в § 4 примеры, при нарушении любого из условий (4), (5) можно указать системы вида (2), для которых утверждение теоремы 1 не имеет места.

2.    Обозначения и вспомогательные результаты 2.1.    Стохастические системы. Для функциональных пространств используются обозначения книги [1]. Воспроизведем некоторые обозначения из [3, с. 116].

Без особых оговорок плоскость E будем также рассматривать как R 2 с координатами x 1 = x, х 2 = у. Обозначим буквой Q вероятностное пространство; X t = (X 1 , X t 2 ) = (X t , Z, M t , P z ) — марковский процесс на пространстве Q, принимающий значения в R 2 , где Z = Z (w), w G fi, t G [0,Z(w)) (Z(w) — момент взрыва траектории X t = X t (w)); M t — ст-алгебра в пространстве Q t = { w : Z (w) >  t}, P (t, x, Г) = P z { X t G Г} — переходная вероятность процесса X t .

Следуя [4, с. 163], обозначим символом R 2 одноточечную компактификацию плоскости R 2 : R 2 U 5, а под вероятностным пространством Q будем понимать одноточечную компактификацию W 2 множества W 2 непрерывных функций w : [0, то ) ^ R 2 , определяемую равенством W 2 := { w : [0, то ) 3 t ^ w(t) G R 2 , непрерывна и такая, что если w(t) = 5, то w(t0) = 5 для t0 > t } . В этом предположении Z (w) = inf {t : w(t) = 5 } .

Рассмотрим на R 2 дифференциальный оператор второго порядка

Af н=2 XX a j b-^ f ( z),            (7)

i,j =1                         i =1

где a ij (z), b i (z) — действительные функции класса C ( R 2 ); матрица a ij симметрическая и неотрицательно определена.

Существует матрица a k (z) E C ( R 2 ) такая, что

2 a ij ( z ) = E a k ( z ) a k ( z ) - k =1

Далее рассмотрим на R 2 стохастическую систему

2tt

Xi(t) = xi + V / ak(X(s)) dBk(s) +    bi(X(s)) ds,(8)

k=1 00

где B(t) = (B 1 (t), B 2 (t)) — ( M t )-броуновское движение на R 2 , z = (x 1 , x 2 ) — произвольная фиксированная точка на R 2 .

Имеет место следующее утверждение [4, с. 204].

Лемма 1. Если a k (z) и b i (z), i, k = 1, 2 , локально липшицевы, то существует единственное решение X t системы (8) такое, что X (0) = z.

Система Xt = (Xt, Z, Mt, Pz), где Pz — вероятностный закон процесса X (t), образует марковский процесс с генератором (7) (A-диффузию). Если ak(z) и bi(z), i,k = 1, 2, удовлетворяют условию || ak (z) k + k bi (z) k 6 K(1 +1 z|), где K — некоторая положительная постоянная, kaj k = max|aj | и т. д., то A-диффузия консервативна, т. е. Pz(Z(ш) = го) = 1 i,j для любого z ∈ R2 .

  • 2.2.    Формула Ито. Следуя К. Ито [4, с. 105], [5], непрерывный случайный процесс X = X t на R 2 будем называть квазимартингалом, если он представим в виде

X t = X o + M t + +A t ,                            (9)

где X 0 M 0 -измеримая случайная величина; M t — непрерывный локально квадратично интегрируемый ( M t )-мартингал [4, с. 59] такой, что M o = 0 п. н.; A t — непрерывный ( M t )-согласованный процесс такой, что A o = 0 и t ^ A t является функцией с конечной вариацией на каждом конечном интервале п. н. Представление (9) единственно [4, с. 106]. Имеет место следующее утверждение [4, с. 74].

Лемма 2 (формула Ито) . Пусть F — функция класса C 2 ( R 2 ) , а X t — квазимартингал на R 2 . Тогда случайный процесс F (Xt) — также квазимартингал (относительно ( M t ) t > o ) и справедлива следующая формула:

F(Xt) - F(Xo) = XX / Fi0(Xs) dMS + XX / Fi(Xs) dAs i=1                      i=1

0                        0 t                                    (10)

2 t

+ 2 E   Fij (Xs) dhMi,Mji(s), i,j=1 0

где F i = dF/dx'. F j = d 2 F/dxtdx j , hM i , M j i квадратическая ковариация [4, с. 61] мартингальных частей X t i .

Соотношение (10) также записывают в дифференциальной форме:

2                        22

dF(Xt) = £ F X) dMS + £ Fi(Xs) dAs + 2 ^ Fj(Xs) dhMi, Mji(s),(11)

i=i                  i=i где d — стохастический дифференциал.

  • 3.    Доказательство теоремы 1

Известно, что w(z) = O(|z|A|), z — 0. w(z) E Cl(E \ {0}),

см. [2, с. 74] и [1, с. 154]. Дифференцируя (2) по z и используя (2) для преобразования результата, получим для w(z) соотношение

| z | 2 Aw ( | b | 2 w + 2zb z w) = 0,                             (13)

где A = 4d z d z = d 2 /dx 2 + d 2 /dy 2 — оператор Лапласа.

Учитывая (12), заметим, что предельные значения всех слагаемых в (13) при z — 0 удовлетворяют (13). В этом смысле w = w(z) будет решением (13) на E .

Если w(z) = u(x, y) + iv(x, y), то из (13) будем иметь

|z|2Au — (|b|2 + 2zbz)u = 0,(14)

|z|2Av — (|b|2 — 2zbz ^v = 0.(15)

Обозначим

Af = 2 |z|2Af.(16)

В соглашениях и обозначениях § 2 рассмотрим на E = R 2 стохастическую систему

t

X i (t) = x i +

I | X(t) | dB i , i = 1, 2, 0

где X(t) = (X t 1 , X t 2 ) — искомый случайный процесс, | X | = ^(X 1 ) 2 + (X 2 ) 2 . Очевидно, система (17) удовлетворяет всем условиям леммы 1 и определяет на R 2 консервативную диффузию X(t) = (X 1 (t), X 2 (t)) с генератором (16).

Рассмотрим на R 2 случайный процесс

Y t = Y (t) = (Y 1 , Y 2 ),

Y t 1 =exp{ — ^ V(X(s)) ds У

Y 2 = u(X 1 , X 2 ), V(z) = 1/2(|b(z) | 2 + 2zb z (z) > 0.

В силу леммы 2, случайный процесс (18) — квазимартингал. Пусть Ф(x 1 , x 2 ) = x 1 x 2 G C 2 ( R 2 ). Применяя к процессу Ф(^ 1 , Y 2 ) формулу Ито (10) и учитывая, что мартингаль-ная часть квазимартингала Y t 1 равна нулю, выводим:

exp | j V(X(s)) ds^u(X t 1 , X t 2 ) u(x\ x 2 )

= —j 0 u(X 1 , X^V(X s ) exp | — ^ V (X x )dA} ds

+ exp | — ^V(XA)dA^du(Xs1, Xs2).(19)

Применяя формулу (11), получим:

du(X1 X^ = ^Ui(Xt) dXt + 2 52 u" dM Mti.(20)

i=1

Поскольку для броуновского движения B(t) = (B t 1 , B 2 ), имеем d^B t , B t i = d ij dt, где δ ij — символ Кронекера [4, с. 82], из (17) и из правила вычисления ковариации стохастических интегралов [4, с. 65] получим d{M t , M t i = d ij | X t | 2 dt. Подставив это соотношение в (20) и учитывая (14), (17), приходим к равенству:

du (X t 1 , X t 2) = 52 u 0 (X t ) | X t | dB t + V(X t )u (X t 1 , X t 2) dt.              (21)

i =1

Подставляя (21) в (19), получим:

exp ^— J V (X(s)) ds | u (X t 1 , X t 2 ) u (x 1 , x 2 )

= X / exp { j s s V ( X a ) dA^ u 0 (X t ) | X t | dB t -

Обозначим G = {z : | z | R} круг радиуса R; границу этого круга обозначим Г. Пусть т = т (ш) — момент первого выхода диффузии X t из G [3, с. 152]. Обозначим E z математическое ожидание по переходной вероятности P z диффузии X t , стартовавшей в точке z = x + iy = (x 1 , x 2 ).

Подставим в (22) вместо t марковский момент т (ш) и применим к полученному равенству оператор E z . В правой части получим нуль [4, с. 62]. В итоге для u = u(x, у) будем иметь представление:

u(z) = E z

| exp | R V (X(s)) ds j> u (_X1

XT) }.

Поскольку V 0, из (23) получим

| u ( z )| 6 inax| u ( z ) | .

Так как по условию теоремы u(z) ^ 0 при z ^ го , переходя в (24) к пределу при R ^ + го , получим и = 0. Соотношение v = 0 получается аналогично, только лишь с использованием функции V(z) = 1/2(|b | 2 2zb z (z)) > 0 и уравнения (15) вместо (14).

Замечание 4. Для положительно определенного генератора (16) представление (23) можно было бы взять из [3, с. 561]. Поскольку оператор (16) имеет точку вырождения, приходится привлекать стохастические уравнения.

4.    Примеры систем, для которых аналог теоремы Лиувилля не имеет места 4.1.    Пример системы, модельной вне ограниченной области. При установлении соответствия между решениями системы (2) и решениями модельной системы важную роль играет наличие аналога теоремы Лиувилля для систем следующего специального типа: b(z) G C(G), где G — некоторая ограниченная замкнутая область на E, |b(z) — b(0)| 6 |z|a, a > 0, b(z) = b(0) = A = const = 0 на E \ G, см. [2, с. 28-30] и [6]. Приведем несколько примеров такого типа системы, для которой аналог теоремы Лиувилля не имеет места.

Лемма 3. Рассмотрим в комплексной z-плоскости E единичный круг G : | z | 6 1 , функцию

b(z) = (2 + iпz-) exp { iпz- } , г 2 = 1;                       (25)

очевидно, |b(z) — b(0)| 6 H|z|2, z G G, H = const, b(0) = 2. Рассмотрим также уравнение dw b(z)

. w = 0.

dz

2z

Функция

w(z) = | z | 2 exp { i П | z | 2 } удовлетворяет в G уравнению (26) .

C В каждой точке

z можно вычислить:

∂w dZ

П                 w(z) / П_А z exp{i 2zz} + г 2z z exp{i 2zz} = —z— I 1 + г^zz I 2 + iпz-                              ,    b(z) , .

---2" z— exp { inzz } zz exp {— г n zz} = -2- z- w(z). B

Замечание 5. Функция (27) удовлетворяет условию

w( z )| |z| = 1 = exp{i П } = i.

i

Рассмотрим в E \ G функцию w(z) = —. В E \ G имеем

dw —г w dz zz2 z

= —w. 2z

Таким образом, в E \ G функция w является решением модельного для (26) уравнения dw   “(0) -

— ■>15 = 0, dz 2z причем

Положим

w | |z| =1 = i.

W (z) = (w z e G - (w, z G E \ G

Замечание 6. В силу (28) и (30) функция W (z) G C(E ) П D 1 ,p (E ), p >  2, в обозначениях книги [1], причем

W (z) = O( | z | 2 ), z ^ 0; W (z) = O( | z | 2 ), z ^ ro .

Если теперь положить

Гф) z G G

(2, z G E \ G,

то функция W (z) есть непрерывное решение класса C(E ) П D i , p (E ) уравнения

∂W dz

-

B^ W = 0, 2Г ,

удовлетворяющее (32).

  • 4.2.    О существенности условий (4) и (5). В примере из предыдущего пункта коэффициент b(z) системы (2) разрывен. Естественно возникает вопрос, возможны ли подобные контрпримеры с непрерывным (гладким) коэффициентом b(z)? В этом пункте строятся примеры, демонстрирующие, что при аналитическом коэффициенте b(z) нарушение условий (4) и (5) делает теорему 1, вообще говоря, неверной.

    4.2.1.    Нарушение обоих условий (4) и (5). Рассмотрим функцию

6И = 2(1+1) 3.

Легко видеть, что b(z) G C ^ (E) (вещественно аналитична на E ) и для любого z G E верно

|b(z)| =2.(35)

Далее имеем:

z^b = -12i( 1-^1 )2   zz _ ,(36)

dz \1+ izz) (1 + izz) 2

откуда очевидно, что для функции (34) условие (5) не выполнено. В силу (35) и (36) получаем, что условие (4) для функции (34) эквивалентно неравенству 6 | z | 2 6 1 + | z | 4 , которое не выполнено, например, при z = 1.

Вместе с тем, непосредственно проверяется, что функция w < z ) = (т+й                       <37)

удовлетворяет (2), где коэффициент b(z) определен по формуле (34). Очевидно, функция (37) удовлетворяет (6).

4.2.2. Нарушение лишь условия (4). Рассмотрим функцию

b(z) = 2

1 zz

.

1 + zz

Очевидно, b(z) E C ш (E), | b(z) | 6 2 и, кроме того,

db , zz z— = -4----- dz (1 + zz)2

т. е. для функции (38) выполнено соотношение (5).

Условие (4) в данном случае эквивалентно неравенству 2zz 6 (1 zz) 2 , которое не выполнено, например, для z = 1.

Непосредственно проверяется, что функция

w(z) =

zz

(1 + zz) 2

удовлетворяет уравнению (2), в котором коэффициент b(z) задан формулой (38); очевидно также выполнение условия (6).

Замечание 7. Попытки построить пример системы (2), для которой нарушается теорема Лиувилля и лишь условие (5), а условие (4) выполнено, не увенчались успехом. Так что вопрос о независимости условий (5) и (4) остается открытым.

  • 4.2.3.    Решение с заданной степенной асимптотикой в нуле и бесконечности. Прямым подсчетом устанавливается, что функция

  • 4.3.    Уравнение с гладким коэффициентом, модельное вне круга.

z k z k w(z) = и .

(1 + zz)k+l где k, l — произвольные положительные числа, удовлетворяет системе (2) с

— Izz

b(z)=2, b(°) = 2k.                             (40)

Очевидно, b(z) E C ш (E ), w(z) = O( | z | 2k ), z ^ 0, w(z) = O( | z | 2l ), z ^ то . Условие (4) для функции (40) не выполняется, а условие (5) выполнено.

Теорема 2. Пусть r > 1, G r = {z E E : | z | < r } . Для любого m >  0 существует функция b(z) , обладающая следующими свойствами:

  • (1)    b(°) = 2;

  • (2)    b(z) = 2 для | z | > 1;

  • (3)    b(z) E C 1 m (G r );

  • (4)    для уравнения

    d z W


    -


    ' W = 0

    2zz



нарушается теорема Лиувилля, причем решение W (z) , удовлетворяющее (6) и обеспечивающее это нарушение, принадлежит классу C m +1 (E) для любого a : 0 < а < 1 .

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

Лемма 4. Пусть f (x) — некоторый многочлен от вещественной переменной x с комплексными коэффициентами. Если для некоторого x g G R выполнены равенства

f(xg) = iag, f(j)(xg) = iaj, 1 6 j 6 m, i2 = -1, ag,aj G R, ag = 0, то для функции g(x) = ны равенства

f ( x )

определенной в некоторой окрестности точки x g , выполне-

g(x g ) = ie g , g (j) (x g ) = гв з , 1 6 j 6 m, e g ,e j G R , e g = 0.

Лемма 5. Для любого m > 0 существует многочлен f (x) от вещественной переменной x с комплексными коэффициентами, степени (m + 2) , обладающий свойствами:

  • (1)    f (0) = 1;

  • (2)    f (1)= i;

  • (3)    f (x) = 0 на отрезке [0,1];

  • (4)    функция

    c(x) =


    f (x) + xf 0 (x)


    f ( x )


    1,


    если 0 6 x < 1, если x > 1.



принадлежит C m ([0, 2]) .

C Доказательство теоремы 2. Для |z| < 1 будем искать решение уравнения (41) в виде W(z) = |z|2f(|z|2), где f — некоторый комплексный многочлен вещественной переменной, f (0) = 1. Тогда dW 9 f(|z|2) + |z|2f0(|z|2) W = 2 •                            • d^                  f (|z|2)            2^

т. е. b(z) = 2d( | z | 2 ), где

d(x)

f (x) + xf 0 (x) f ( x )

для 0 6 x < 1. По лемме 5 многочлен f можно выбрать так, чтобы f (0) = 1, f (1) = i, а функция

c(x) =

d(x), если 0 6 x < 1, 1,     если x > 1

была из класса C m ([0, 2]). Положим b(z) = 2c( | z | 2 ) для z G E и

W(z) = <

| z | 2 f( | z | 2 ), если | z | < 1, i

,, если | z | > 1. | z | 2

Тогда функция b(z) удовлетворяет условиям (1)-(3) теоремы 2, а так как W | | z | =i = f (1) = i, то W(z) является непрерывным на E решением уравнения (41), причем W( го ) = 0. Кроме того, в кольце 1 - е 6 | z | 6 1+е коэффициент b(z)/25 уравнения (41) принадлежит классу C m , поэтому в этом кольце решение W(z) будет принадлежать классу C m +1 , 0 < a < 1 [1, с. 154]. Поскольку при | z | < 1 многочлен W(z) зависит от | z | 2 , а при | z | > 1 — W(z) = i/ | z | 2 , то должно быть W(z) G C am +1 (E). B

Список литературы Аналог теоремы Лиувилля для одного класса систем типа Коши - Римана с сингулярными коэффициентами

  • Векуа И. Н. Обобщенные аналитические функции.-М.: Физматгиз, 1959.-628 с.
  • Усманов З. Д. Обобщенные системы Коши -Римана с сингулярной точкой.-Душанбе: ТаджикНИИНТИ, 1993.-244 с.
  • Дынкин Е. Б. Марковские процессы.-М.: Физматгиз, 1963.-859 с.
  • Ватанабе С., Икэда Н. Стохастические дифференциальные уравнения и диффузионные процессы.-М.: Наука, 1986.-445 с.
  • Ito K. Stochastic differentials//Appl. Math. Opt.-1975.-V. 1.-P. 374-381.
  • Усманов З. Д. Связь многообразий решений общей и модельной обобщенных систем Коши -Римана с сингулярной точкой//Мат. заметки.-1999.-Т. 66, вып. 2.-С. 302-307.
Статья научная