ВЕСТНИК НОВОСИБИРСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА

Серия «Математика, механика, информатика»

Том V, 2005 г. Выпуск 1. C. 64–68

УДК 517.946

Трехмерные аналоги систем уравнений

Коши-Римана и Бицадзе

Б. Б. Ошоров

Румынскими математиками Г. К. Моисилом и Н. Теодореско была предложена си-

стема уравнений первого порядка в пространстве, которая в некотором смысле является
трехмерным аналогом системы уравнений Коши-Римана.
Пусть задана квадратная матрица четвертого порядка
⎛ ⎞
0 a1 a2 a3
⎜ ⎟
⎜ a1 0 −a3 a2 ⎟
M (a1 , a2 , a3 ) = ⎜
⎜ a
⎟
⎟
⎝ 2 a3 0 −a1 ⎠
a3 −a2 a1 0

и вектор-функция U T (x) = (u1 (x), u2 (x), u3 (x), u4 (x)), x = (x1 , x2 , x3 ) ∈ R3 . Система

дифференциальных уравнений первого порядка
 
∂ ∂ ∂
M , , U (x) = 0 (1)
∂x1 ∂x2 ∂x3

называется системой Моисила-Теодореско [1]. Основанием принять эту систему уравне-

ний в качестве аналога системы Коши-Римана может послужить, например, следующая
известная теорема.
Если вектор-функция U (x) непрерывна в области D ⊂ R3 и для любой кусочно-
гладкой замкнутой поверхности S, лежащей вместе с областью, ограниченной ею, в D,
имеет место равенство 
D(n1 , n2 , n3 )U (x) dS = 0,
S

где (n1 , n2 , n3 ) — нормальный единичный вектор к поверхности S, то U (x) является

решением системы уравнений (1) в D.

64
 Трехмерные аналоги систем уравнений Коши-Римана и Бицадзе

Эта теорема есть обобщение на случай трехмерного пространства теоремы Морера

для аналитических функций [1].
Оказалось, что система (1) является трехмерным аналогом системы Коши-Римана
и с точки зрения постановки краевых задач, предложенных автором в работе [2].
Запишем систему (1) в явном виде
⎧
⎪
⎪ u2x1 + u3x2 + u4x3 = 0,
⎪
⎪
⎨ u +u − u3x3 = 0,
1x1 4x2
⎪
⎪ −u4x1 + u1x2 + u2x3 = 0,
⎪
⎪
⎩ u −u + u1x3 = 0.
3x1 2x2

После умножения последнего уравнения на −1 эта система запишется в матричной фор-

ме как
3


MU ≡ Ai Uxi = 0, (2)
i=1
⎛ ⎞ ⎛ ⎞
0 1 0 0 0 0 1 0
⎜ ⎟ ⎜ ⎟
⎜ 1 0 0 0 ⎟ ⎜ 0 0 0 1 ⎟
где A1 = ⎜ ⎟ ⎜
⎜ 0 0 0 −1 ⎟, A2 = ⎜ 1 0
⎟ — симметрические матрицы,
⎝ ⎠ ⎝ 0 0 ⎟
⎠
0 0 −1 0 0 1 0 0
⎛ ⎞
0 0 0 1
⎜ ⎟
⎜ 0 0 −1 0 ⎟
A3 = ⎜
⎜
⎟ — кососимметрическая матрица.
⎝ 0 1 0 0 ⎟ ⎠
−1 0 0 0
Характеристическая форма этой системы имеет вид
3
 3 2



Q(λ) = det Ai λi = λ2i ,
i=1 i=1

т. е. (2) является эллиптической системой уравнений первого порядка.

Для коэффициентов системы имеет место таблица умножения:
A21 = A22 = −A23 = E — единичная матрица,
⎛ ⎞
0 0 0 1
⎜ ⎟
⎜ 0 0 1 0 ⎟
A1 A2 = A2 A1 = A12 =⎜
⎜ 0 −1 0
⎟,
⎝ 0 ⎟
⎠
−1 0 0 0
⎛ ⎞
0 0 −1 0
⎜ ⎟
⎜ 0 0 0 1 ⎟
A1 A3 = A3 A1 = A13 =⎜
⎜ 1 0
⎟,
⎝ 0 0 ⎟
⎠
0 −1 0 0

65
 Б. Б. Ошоров

⎛ ⎞
0 1 0 0
⎜ ⎟
⎜ −1 0 0 0 ⎟
A2 A3 = A3 A2 = A23 =⎜ ⎟
⎜ 0 0 0 1 ⎟.
⎝ ⎠
0 0 −1 0

Систему уравнений (2) будем рассматривать в параллелепипеде D =

{x = (x1 , x2 , x3 ) ∈ R3 : 0 < xi < ki , i = 1, 2, 3}, границу которого обозначим через Γ, а
n = (n1 , n2 , n3 ) — единичный вектор внешней нормали к этой границе.

Краевая задача 1. В области D найти решение системы уравнений (2), удовлетворя-

ющее граничным условиям

u1 |x1 =0 = u2 |x1 =0 = u3 |x1 =k1 = u4 |x1 =k1 = 0,

u1 |x2 =0 = u3 |x2 =0 = u2 |x2 =k2 = u4 |x2 =k2 = 0, (3)
u1 |x3 =0 = u4 |x3 =0 = u2 |x3 =k3 = u3 |x3 =k3 = 0.

Множество вектор-функций U (x) ∈ C ∞ (D), для которых выполнены условия (3),

обозначаем символом CM , а его замыкание в норме пространства Соболева W21 (D) —
HM .

Теорема 1. Для ∀U (x) ∈ HM справедливы априорные оценки

M U 0 ≥ Ux3 0 , M U 0 ≥ cU 0 , c = const > 0. (4)

ДОКАЗАТЕЛЬСТВО. Достаточно доказать неравенства для ∀U (x) ∈ CM .


Рассмотрим выражение (M U, A3 Ux3 )0 = M U, A3 Ux3  dD, где ·, · обычное ска-
D
лярное произведение в евклидовом пространстве. Интегрируя по частям с учетом усло-
вий (3), получаем
3


(M U, A3 Ux3 )0 = (Ai Uxi , A3 Ux3 )0 , (A3 Ux3 , A3 Ux3 )0 = Ux3 20 ,
i=1

(A1 Ux1 , A3 Ux3 )0 = (A2 Ux2 , A3 Ux3 )0 = 0, (M U, A3 Ux3 )0 = Ux3 20 .

Из последнего равенства следует первая оценка (4), из которой в силу простейшей
√
тео-
2
ремы вложения U 0 ≤ 2 Ux3 0 получается и вторая оценка с константой c = k3 .
k3
√

Из данной теоремы следует, что краевая задача (2), (3) имеет только тривиальное
решение U (x) ≡ 0.
Теперь рассмотрим неоднородное уравнение
3


MU ≡ Ai Uxi = F (x). (5)
i=1

Формально сопряженный оператор имеет вид

M ∗ V ≡ −A1 Vx1 − A2 Vx2 + A3 Vx3 ,

66
 Трехмерные аналоги систем уравнений Коши-Римана и Бицадзе

а сопряженные краевые условия —

v3 |x1 =0 = v4 |x1 =0 = v1 |x1 =k1 = v2 |x1 =k1 = 0,

v2 |x2 =0 = v4 |x2 =0 = v1 |x2 =k2 = v3 |x2 =k2 = 0, (3∗ )
v2 |x3 =0 = v3 |x3 =0 = v1 |x3 =k3 = v4 |x3 =k3 = 0.

Естественным образом определяем классы CM ∗ , HM ∗ . Тогда справедливы оценки

M ∗ V 0 ≥ Vx3 0 , M ∗ V 0 ≥ cV 0 , c = const > 0. (4∗ )

Кроме того, имеет место тождество

(M U, V )0 = (U, M ∗ V )0 , ∀U ∈ HM , V ∈ HM ∗ .

Оценки (4∗ ), (4) позволяют доказать однозначную разрешимость задачи (5), (3) в
пространстве L2 (D) для любой вектор-функции F (x) ∈ L2 (D).

Теорема 2. Для вектор-функций U (x) ∈ CM норма M U 0 эквивалентна норме U 1 .

Это утверждение доказывается непосредственной оценкой нормы

M U 20 = (M U, M U )0

и использованием вложения
max{k1 , k2 , k3 }
U 0 ≤ √ M U 0 .
2
Аналогичное утверждение справедливо для формально сопряженного оператора. Эти
оценки используются для доказательства однозначной разрешимости задачи (5), (3) в
пространстве W21 (D).
Наконец, вместо системы уравнений (5) можно рассматривать систему

LU ≡ M U + AU = F (x).

При некоторых условиях на матрицу A, например, ее «малость» в определенном смысле,

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

M 2 U ≡ Ux1 x1 + 2A12 Ux1 x2 + 2A13 Ux1 x3 + Ux2 x2 + 2A23 Ux2 x3 − Ux3 x3 = F (x). (6)

Краевая задача 2. В параллелепипеде D найти решение системы уравнений (6) при

выполнении краевых условий (3) и дополнительных условий

u3x1 |x1 =0 = u4x1 |x1 =0 = u1x1 |x1 =k1 = u2x1 |x1 =k1 = 0,
u2x2 |x2 =0 = u4x2 |x2 =0 = u1x2 |x2 =k2 = u3x2 |x2 =k2 = 0, (7)
u2x3 |x3 =0 = u3x3 |x3 =0 = u1x3 |x3 =k3 = u4x3 |x3 =k3 = 0.

67
 Б. Б. Ошоров

Теорема 3. Для любой вектор функции U (x) ∈ C ∞ (D), удовлетворяющей условиям

(3), (7) имеет место оценка

M 2 U 0 ≥ cU ∗2 , c = const > 0, (8)

где
3


U ∗2 = U 1 + (M U )xi 0 . (9)
i=1

Так как при выполнении условий (3), (7) для вектор-функции W = M U выполнены
условия (3) и M 2 U = M W , то с учетом теоремы 2 справедливость оценки (8) становится
очевидной.
Отсюда мы можем сделать вывод о разрешимости задачи (6), (3), (7) в пространстве
с нормой (9).

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

Литература

[1] А. В. Бицадзе, Основы теории аналитических функций комплексного переменного,

М., Наука, 1969.
[2] Б. Б. Ошоров, Краевые задачи для некоторых модельных систем уравнений в част-
ных производных, Новосибирск, 2002, препринт НГУ.

68