Сибирский математический журнал Июль—август, 2003. Том 44, № 4
УДК 517.55
О ПОСТРОЕНИИ ТОЧНЫХ КОМПЛЕКСОВ, СВЯЗАННЫХ С КОМПЛЕКСОМ ДОЛЬБО А. М. Кытманов, С. Г. Мысливец
Аннотация: Рассмотрен точный подкомплекс комплекса Дольбо, построенный с помощью интегрального представления Коппельмана. Дано его внутреннее описание. С помощью данного подкомплекса построен двойной точный комплекс, одним из составляющих которого является комплекс Дольбо. Ключевые слова: комплекс Дольбо, интегральное представление Коппельмана, оператор Коши — Римана
Оператор Коши — Римана для одного комплексного переменного является эллиптическим, однако он не допускает эллиптических граничных задач в классическом смысле. Для многих комплексных переменных оператор Коши — Римана порождает большое число проблем. Одной из них является переопределенность, которая заставляет изучать комплекс совместности, так называемый комплекс Дольбо. На компактных замкнутых комплексных многообразиях комплекс Дольбо является эллиптическим и его изучение сводится к изучению отдельных эллиптических операторов, так называемых лапласианов. Попытки расширить теорию Ходжа на компактные комплексные многообразия с границами приводят к неэллиптическим граничным задачам для лапласианов, которые известны как ¯ ∂-задачи Неймана. Даже на строго псевдовыпуклых многообразиях эти задачи субэллиптичны с потерей 1/2 гладкости по сравнению с эллиптической задачей. Первый пример такого рода был построен Е. Стейном [1]. Это сильно отличает комплекс Дольбо от комплекса де Рама. Поэтому в настоящий момент не найдено эллиптических краевых задач для комплекса Дольбо. А. Кальдерон [2] первым предложил более общий подход к граничным задачам. Программа изучения граничных задач без условий Шапиро — Лопатинского была затем инициирована статьей [3], в которой сигнатура риманова многообразия представлена в виде индекса оператора Дирака с нелокальными граничными условиями. Теория Фредгольма таких задач была разработана в контексте анализа на многообразиях с коническими сингулярностями в [4]. Логическое продолжение этой программы было недавно предложено Шульце [5], который ввел алгебру граничных задач для псевдодифференциальных операторов, не требующую условий Шапиро — Лопатинского. Эта алгебра содержит как весьма частный случай алгебру теплицевых операторов на границе (см. Работа первого из авторов выполнена при финансовой поддержке Российского фонда фундаментальных исследований (код проекта 02–01–00167), второго — программы Президента РФ поддержки ведущих научных школ (грант НШ–1212.2003.1).
c 2003 Кытманов А. М., Мысливец С. Г.
780
А. М. Кытманов, С. Г. Мысливец
[6]). Решающую роль в построении этой алгебры играет специальный индекс элементов виртуального расслоения, индуцированный граничным символом. В общем это трудная проблема линейной алгебры. В данной статье мы соединяем вместе две различные математические области для того, чтобы осуществить конструкцию Шульце. Первая из них — комплексный анализ с его точными интегральными формулами. Вторая — это гомологическая алгебра, которая позволяет получать универсальные конструкции коцепных отображений двух комплексов. Эта идея не нова (см. [7]), но наш подход здесь имеет совершенно другую природу. Мы фактически доказываем, что любая формула гомотопии для комплекса Дольбо над ограниченной областью с гладкой границей в Cn приводит к некоторой фредгольмовой задаче для этого комплекса. Здесь мы используем специальную сверточную формулу гомотопии, а именно формулу Коппельмана [8]. В действительности то же самое доказательство работает и для более общей формулы Лере. Таким образом, с помощью интегрального представления Коппельмана построен точный подкомплекс комплекса Дольбо в любой ограниченной области D в Cn . Дано внутреннее описание этого подкомплекса. На его основе рассмотрен двойной точный комплекс, одной из составляющих которого является классический комплекс Дольбо. 1. Предварительные результаты Введем необходимые нам обозначения и определения. Будем рассматривать пространство Cn комплексных переменных z = (z1 , z2 , . . . , zn ). Пусть zj = xj + iyj , j = 1, 2, . . . , n. Ориентация Cn определяется порядком координат (x1 , . . . , xn , y1 , . . . , yn ). Тогда форма объема dv в Cn примет вид dv = dx1 ∧ · · · ∧ dxn ∧ dy1 ∧ · · · ∧ dyn = dx ∧ dy = (i/2)n dz ∧ d¯ z, где dz = dz1 ∧ · · · ∧ dzn . Везде в дальнейшем область D — ограниченная область в Cn с границей ∂D класса C ∞ такая, что Cn \ D связно. Область D будем задавать в виде D = {z ∈ Cn : ρ(z) < 0}, где ρ — вещественнозначная функция класса C ∞ (Cn ) и dρ 6= 0 на ∂D. Функцию ρ можно выбрать так, что |dρ| = 1 на ∂D. Напомним свойства оператора Ходжа ∗ относительно евклидовой метрики в Cn (см., например, [9, гл. 5, § 1]). Пусть дифференциальная форма γ бистепени (p, q) имеет вид X0 X0 zJ , γI,J (z)dzI ∧ d¯ γ= I
J
где I = (i1 , . . . , ip ) и J = (j1 , . . . , jq ) — мультииндексы порядка p и q соответственно и 0 ≤ p, q ≤ n. Штрих у знака суммы означает, что суммирование ведется по возрастающим мультииндексам: 1 ≤ i1 < · · · < ip ≤ n, 1 ≤ j1 < · · · < jq ≤ n. Дифференциальные формы dzI и d¯ zJ имеют вид dzI = dzi1 ∧ · · · ∧ dzip , Тогда ∗γ =
X0 X0 I
J
zJ = d¯ zj1 ∧ · · · ∧ d¯ zjq . d¯
zJ ), γI,J (z) ∗ (dzI ∧ d¯
О построении точных комплексов
781
а ∗(dzI ∧ d¯ zJ ) = 2p+q−n (−1)pn in σ(I)σ(J)dz[J] ∧ d¯ z [I], где dz[J] получается из dz вычеркиванием дифференциалов dzj1 , . . . , dzjq и знак σ(I) определяется равенством dzI ∧ dz[I] = σ(I) dz. Таким образом, форма ∗γ есть форма бистепени (n − q, n − p), причем 1) ∗ ∗ γ = (−1)p+q γ, zJ ) = 2p+q dv. 2) dzI ∧ d¯ zJ ∧ ∗(dzI ∧ d¯ Если γ и α — формы типа (p, q) с коэффициентами класса L 2 (D), то скалярное произведение Ходжа (γ, α) определяется так: Z α, (γ, α) = γ ∧ ∗¯ D
p
а норма Ходжа тогда равна kγk = (γ, γ). Используя оператор Ходжа, легко записать операторы ∂¯∗ и ∂ ∗ , формально ¯ сопряженные операторам ∂¯ и ∂, а именно ∂¯∗ = − ∗ ∂∗ и ∂ ∗ = − ∗ ∂∗. Дадим определения касательной и нормальной частей формы. Если f — дифференциальная форма типа (p, q) с коэффициентами класса C (D), то говорят, что касательная часть fτ формы f равна нулю на границе области ∂D, если Z f ∧ϕ=0 ∂D
для всех форм ϕ типа (n − p, n − q − 1) с коэффициентами класса C ∞ (D). Это ¯ = 0 на ∂D. Нормальная часть fν формы f равна нулю на означает, что f ∧ ∂ρ ∂D, если касательная часть формы (∗f )τ равна нулю на ∂D. Обозначим, как ¯ )τ и ∂b fτ = (∂f )τ . обычно, ∂¯b fτ = (∂f Лемма 1. Пусть форма f типа (0, q) имеет коэффициенты класса L 2 (D). Касательная часть fτ равна 0 на ∂D тогда и только тогда, когда ¯ g) = (f, ∂¯∗ g) (∂f, для всех форм g типа (0, q + 1) с коэффициентами класса C ∞ (D). Нормальная часть fν равна 0 на ∂D тогда и только тогда, когда ¯ (∂¯∗ f, h) = (f, ∂h) (1) для всех дифференциальных форм h типа (0, q − 1) с коэффициентами класса C ∞ (D). Доказательство прямо следует из формулы Стокса. Обозначим через H s (D) при s = 0, 1, 2, . . . пространство Соболева, состоящее из функций f , у которых все производные до порядка s включительно принадлежат классу L 2 (D), со стандартным скалярным произведением. Поскольку оператор ∂¯ не меняет степени формы по z, мы в дальнейшем будем рассматривать формы бистепени (0, q). Через Hqs (D) обозначим пространство форм типа (0, q) с коэффициентами из H s (D). Тогда H0s (D) = H s (D). Основную роль в нашей статье будет играть формула Коппельмана для внешних дифференциальных форм (см. [8]). Обозначим через g(ζ, z) стандартное фундаментальное решение уравнения Лапласа: ( (n−2)! − (2πi)n |ζ−z|12n−2 , если n > 1, g(ζ, z) = 1 2 если n = 1. 2πi ln |ζ − z| ,
782
А. М. Кытманов, С. Г. Мысливец
Введем ядра U0,q (ζ, z) при 0 ≤ q ≤ n − 1 следующим образом: U0,q (ζ, z) =
X0 X I
σ(I, k)
k∈I /
∂g ¯ dζ[I ∪ k] ∧ dζ d¯ zI , ∂ζk
где I ∪ k обозначает возрастающий мультииндекс I = (i1 , . . . , iq ), к которому добавлен индекс k. Знак σ(I, k) определяется равенством dζk ∧ dζI ∧ dζ[I ∪ k] = σ(I, k) dζ. Форма U0,q понимается как двойная дифференциальная форма бистепени (0, q) по z и бистепени (n, n − q − 1) по ζ. По определению U0,−1 = U0,n = 0. Ядро U0,q можно записать в виде (см. [10, § 1]) U0,q (ζ, z) = ∂ζ g(ζ, z) ∧ W0,q (ζ, z), где W0,q = (−1)n+q+1
X0 X I
(2)
¯ ∪ k] ∧ dζ[k] d¯ zI . (−1)k−1 σ(I, k) dζ[I
k∈I /
Нам понадобится еще один вид ядра U0,q . Введем форму V0,q+1 (ζ, z), полагая V0,q+1 =
1 1 X0 X ¯ ∪ k] ∧ dζ d¯ zI∪k . σ(I ∪ k)g(ζ, z) dζ[I 2q+1 I
k∈I /
Эта форма типа (0, q + 1) по z и типа (n, n − q − 1) по ζ. Лемма 2. Имеет место равенство ∂¯z∗ V0,q+1 (ζ, z) = U0,q (ζ, z). zJ , где J — возрастающий мульДоказательство. Вычислим ∂¯z∗ g(ζ, z) d¯ тииндекс порядка q + 1. Имеем zJ = − ∗ ∂z ∗ (g(ζ, z) d¯ zJ ) ∂¯z∗ g(ζ, z) d¯ z) = −2q+1−n in σ(J) ∗ (∂z g(ζ, z) dz[J] ∧ d¯ X ∂g q+1−n n =2 i σ(J) ∗ dzk ∧ dz[J] ∧ d¯ z . ∂ζk k∈J
Обозначим через σk [J] знак, определяемый равенством dzk ∧ dz[J] = σk [J] dz[J \ k], где J \ k — мультииндекс, полученный из J вычеркиванием индекса k. Тогда zJ = 2q+1−n in σ(J) ∗ ∂¯z∗ g(ζ, z) d¯
∂g z dz[J \ k] ∧ d¯ ∂ζk k∈J X ∂g zJ\k . = 2(−1)nq σ(J) σk [J]σ([J \ k]) d¯ ∂ζk X
σk [J]
k∈J
Обозначим I = J \ k, тогда J = I ∪ k и k ∈ / I. Отсюда zJ = 2(−1)nq+n+1 ∂¯z∗ g(ζ, z) d¯
X k∈I /
σ(I ∪ k)σk [I ∪ k]σ([I])
∂g zI . d¯ ∂ζk
О построении точных комплексов
783
Имеем σ([I]) = (−1)q(n−q) σ(I), поскольку dzI ∧ dz[I] = (−1)q(n−q) dz[I] ∧ dzI . Далее, σ(I, k) dz = dzk ∧ dzI ∧ dz[I ∪ k] = (−1)q(n−q−1) dzk ∧ dz[I ∪ k] ∧ dzI = (−1)q(n−q−1) σk [I ∪ k] dz[I] ∧ dzI = (−1)q σk [I ∪ k]σ(I) dz, таким образом, σ(I, k) = (−1)q σk [I ∪ k]σ(I). Для каждого мультииндекса I длины q и k ∈ / I мы можем представить q + 1 различными способами мультииндекс J = k ∪I в форме J = j ∪(J \j), где k ∈ J. Поэтому X ∂g zI . ∂¯z∗ g(ζ, z) d¯ zJ = 2(q + 1) σ(I ∪ k)σ(I, k) d¯ ∂ζk k∈I /
Принимая во внимание определения форм U0,q и V0,q+1 , получаем требуемое равенство. Эта ∂¯∗ -точность ядра U0,q отмечалась в [11, § 10, п. 3], правда, явный вид V0,q+1 не выписывался. Приведем важное свойство ядер U0,q (ζ, z) (см. [10, § 1]): ∂¯ζ U0,q (ζ, z) = (−1)q ∂¯z U0,q−1 (ζ, z), в частности, ∂¯ζ U0,0 (ζ, z) = 0 и ∂¯z U0,n−1 (ζ, z) = 0. Рассмотрим ограниченный оператор M : Hqs (D) −→ Hqs (D), определенный следующим образом: Z f (ζ) ∧ U0,q (ζ, z),
(M f )(z) = ∂D
и ограниченный оператор s+1 P : Hqs (D) −→ Hq−1 (D)
такой, что Z (P f )(z) = −
f (ζ) ∧ U0,q−1 (ζ, z). D
Операторы M и P ограничены (см., например, [12]), поскольку первый из них является производной потенциала простого слоя, а второй — производной объемного потенциала. Эти операторы являются ограниченными и в дополнении Cn \D. Если мы хотим подчеркнуть, что операторы M и P рассматриваются в области D, то будем писать M + и P + , а вне области — M − и P − . Форма M f имеет гармонические коэффициенты вне границы области ∂D 1 . Форма P f имеет гармонические кои убывает на бесконечности как |z|2n−1 эффициенты вне замыкания области Cn \ D и убывает на бесконечности как 1 |z|2n−1 . Введем формулу Коппельмана (см. [8], а также [10, 13]).
784
А. М. Кытманов, С. Г. Мысливец Теорема 1. Если f ∈ Hqs (D), s ≥ 1, то в области D ¯ f + P ∂f, ¯ f = M f + ∂P
(3)
n
а в C \D
¯ f + P ∂f ¯ = 0. M f + ∂P
Доказательство. Если форма f имеет гладкие в замыкании области D коэффициенты, то формула (3) есть обычная формула Коппельмана. Для формы f ∈ Hqs (D) выберем последовательность форм fm с гладкими в замыкании области коэффициентами, аппроксимирующую форму f в соболевской метрике. Записывая для каждой формы fm формулу (3) и переходя к пределу при m → ∞, получим формулу (3) для формы f по непрерывности. 2. Построение точных комплексов Определим пространство Vqs (D) следующим образом: Vqs (D) = {f ∈ Hqs (D) : M f = 0, M P f = 0, M P 2 f = 0, . . . , M P q f = 0 в D}. Тогда Vqs (D) — замкнутое подпространство в Hqs (D). Описание этого пространства форм мы дадим позднее. Заметим, что P j f = 0, если j > q. Теорема 2. Последовательность вида ∂¯
∂¯
∂¯
∂¯
s−n+1 0 −→ V0s (D) −→ V1s−1 (D) −→ . . . −→ Vn−1 (D) −→ Vns−n (D) −→ 0
(4)
является точным комплексом при s > n. Доказательство. Проверим, что оператор ∂¯ действует в нужных пространствах, т. е. s−1 ∂¯ : Vqs (D) −→ Vq+1 (D). Пусть f ∈ Vqs (D). Тогда M f = 0, M P f = 0, . . . , M P q f = 0 и в области D. ¯ . Операторы ∂¯ и M перестановочны. Действительно, как Рассмотрим форму ∂f мы отмечали ранее, ∂¯ζ U0,q+1 = (−1)q+1 ∂¯z U0,q . Поэтому Z Z ∂¯z M f = ∂¯z f (ζ) ∧ U0,q (ζ, z) = f (ζ) ∧ ∂¯z U0,q (ζ, z) ∂D
∂D q+1
Z
= (−1)
f (ζ) ∧ ∂¯ζ U0,q+1 (ζ, z) =
∂D
Z
∂¯ζ f (ζ) ∧ U0,q+1 (ζ, z) = M ∂¯ζ f.
∂D
¯ = ∂M ¯ f = 0 в D. Следовательно, M ∂f ¯ ¯ f + P ∂f ¯ в D. Отсюда Рассмотрим M P ∂f . По формуле (3) имеем f = ∂P ¯ ¯ ¯ ¯ ¯ . Тогда 0 = M f = M ∂P f + M P ∂f . Поэтому 0 = ∂M P f = M ∂P f = −M P ∂f ¯ M P ∂f = 0. Докажем, что ¯ j f = −M P k−1 ∂P ¯ j+1 f. M P k ∂P (5) Для этого достаточно показать, что ¯ = −M P k−1 ∂P ¯ f. M P k ∂f Действительно, применяя к формуле (3) оператор P k−1 , получим ¯ f + P k ∂f. ¯ P k−1 f = P k−1 ∂P
(6)
О построении точных комплексов
785
Действуя оператором M на последнюю формулу, имеем ¯ ¯ f + M P k ∂f 0 = M P k−1 f = M P k−1 ∂P и (6) установлено. Заменяя в (6) f на P j f , получаем (5). Тогда ¯ = −M P k−1 ∂f ¯ = · · · = (−1)k M ∂P ¯ P kf = 0 ¯ k f = (−1)k ∂M M P k ∂f при k = 1, . . . , q. Поскольку P q+1 f ≡ 0, то ¯ = (−1)q+1 M ∂P ¯ q+1 f = 0. M P q+1 ∂f ¯ ∈ V s−1 (D). Поэтому комплекс (4) корректно определен. Итак, ∂f q+1
¯ = 0. По Проверим его точность. Пусть f ∈ Vqs (D) при 0 < q < n и ∂f формуле (3) ¯ f + P ∂f ¯ = ∂P ¯ f. f = M f + ∂P s+1 В силу свойств оператора P форма P f принадлежит Hq−1 (D). Покажем, что s+1 q P f ∈ Vq−1 (d). Так как M f = 0, M P f = 0, . . . , M P f = 0, то M (P f ) = 0, M P (P f ) = 0, . . . , M P q−1 (P f ) = 0. ¯ = 0. Тем самым функция f голоПусть q = 0, тогда f — функция и ∂f морфна в D. Поскольку M f = 0 и P f = 0, по формуле (3) ¯ f + P ∂f ¯ =0 f = M f + ∂P и комплекс (4) точен в первом члене. ¯ = 0, M f = 0 для всех f ∈ H s−n (D). Поэтому по Пусть q = n, тогда ∂f n s−n+1 ¯ формуле (3) имеем f = ∂P f и, следовательно, P f ∈ Vn−1 (D). Определим оператор π : Hqs (D) −→ Vqs (D) проекции относительно скалярного произведения в Hqs (D). Тогда H s (D) ∼ = V s (D) ⊕ H s (D)/V s (D). q
q
q
q
¯ Так как Пусть T = I −π, где I — тождественный оператор и ∂¯π = (I −π)∂¯ = T ∂. ¯ . Оператор комплекс (4) по теореме 2 точный, то π ◦ ∂¯ = ∂¯ ◦ π. Значит, T ∂¯ = ∂T ∂¯π действует следующим образом: ∂¯π : H s (D)/V s (D) −→ H s−1 (D)/V s−1 (D). q
Обозначив
Qqs (D)
=
q
Hqs (D)/Vqs (D),
q+1
q+1
получим, что
s−1 ∂¯π : Qqs (D) −→ Qq+1 (D).
Ясно, что ∂¯π ◦ ∂¯π = 0. Алгебраическая конструкция оператора ∂¯π в действительности та же самая, что и касательного оператора ∂¯b (см. [14]). Определим матричный оператор −∂¯ 0 A = . T ∂¯π Рассмотрим последовательность H0s (D) 0 →
⊕ 0
A
−→
H1s−1 (D) ⊕ Q0s (D)
A
A
−→ . . . −→
Hns−n (D)
0 A
⊕ −→ ⊕ → 0. s−n+1 Qn−1 (D) Qns−n (D)
(7)
786
А. М. Кытманов, С. Г. Мысливец
Теорема 3. При n > 1 и s > n последовательность (7) является точным комплексом. Доказательство. Последовательность (7) является комплексом, поскольку 0 0 −∂¯ 0 −∂¯ 0 ∂¯2 0 A ◦A = = = 0 0 T ∂¯π T ∂¯π −T ∂¯ + ∂¯π T ∂¯π2 ¯ = ∂T ¯ 2 = ∂T ¯ , так как T — оператор проекции и T 2 = T . и ∂¯π T = T ∂T Покажем точность этого комплекса. Сначала проверим ее в средних членах. Пусть s−1 Hqs (D) Hq+1 (D) u1 f1 ∈ ⊕ ∈ ⊕ u2 f2 s+1 Qqs (D). Qq−1 (D), Рассмотрим уравнение u1 f1 A = u2 f2
при условии
A
f1 f2
= 0.
Перепишем его в виде ¯ 1 = f1 , −∂u T u1 + ∂¯π u2 = f2 , а условие согласования примет вид ¯ 1 = 0, ∂f ¯ T f1 + ∂π f2 = 0.
(8)
(9)
Для краткости записи обозначая через u2 и f2 представителей фактор-пространств, получим условия (9) в виде ¯ 1 = 0, ∂f ¯ 2 ∈ V s (D) (I − π)f1 + (I − π)∂f q или
¯ 1 = 0, ∂f ¯ 2 ∈ V s (D), f1 + ∂f q
¯ 2 замкнута и по теореме 2 ¯ 2 ∈ V s (D). Тогда форма f1 + ∂f поскольку πf1 + π ∂f q s+1 ¯ 2 = ∂v, ¯ где v ∈ V ¯ будет f1 + ∂f q−1 (D). Следовательно, f1 = ∂(v − f2 ) и v − f2 ∈ s+1 Hq−1 (D). Переписывая систему (8) для представителей фактор-пространств, получим ¯ 1 = f1 , −∂u ¯ 2 − f2 ∈ V s+1 (D) (I − π)u1 + (I − π)∂u q−1 или ¯ 1 = f1 , −∂u s+1 ¯ u1 + ∂u2 − f2 ∈ Vq−1 (D). ¯ ¯ Положим u2 = 0, u1 = f2 − v. Тогда −∂u1 = ∂(v − f2 ) = f1 , а f2 − v − f2 = −v ∈ s+1 Vq−1 (D). Поэтому точность в средних членах показана. Рассмотрим крайние члены. Пусть u1 ∈ H0s (D) и u1 0 A = . 0 0
О построении точных комплексов
787
Покажем, что u1 = 0. Имеем
¯ 1 = 0, −∂u u1 ∈ V0s (D).
Отсюда функция u1 голоморфна в D и M u1 = 0. По формуле (3) тогда u1 = M u1 = 0. Пусть
u1 u2
Hns−n (D)
∈
⊕
0 f2
0
∈
⊕ Qns−n (D).
s−n+1 Qn−1 (D),
Рассмотрим уравнение
u1 f1 A = , u2 f2 условия согласования отсутствуют. Переходя к представителям фактор-пространств, получим систему ¯ 1 = 0, −∂u ¯ u1 + ∂u2 − f2 ∈ Vns−n (D). ¯ 2 −f2 ∈ V s−n (D) или ∂u ¯ 2 = f2 +w2 , где w2 ∈ V s−n (D). Положим u1 = 0. Тогда ∂u n n ¯ f2 . Форма w2 также Поскольку f2 — (0, n)-форма, по формуле (3) имеем f2 = ∂P ¯ ¯ 2 . Из доказательства ∂-замкнутая, поэтому аналогично предыдущему w2 = ∂w s−n+1 s−n теоремы 2 вытекает, что если w2 ∈ Vn (D), то P w2 ∈ Vn−1 (D). Тогда положим u2 = P (f2 + w2 ). Теорема 3 доказана. Замечание 1. Рассмотрим комплекс (7) на комплексной плоскости H0s (D) 0 →
⊕ 0
A
H1s−1 (D)
−→
⊕ Q0s (D)
0 A
−→
⊕ → Q1s−1 (D)
0.
Опишем пространства этого комплекса. Функция u ∈ H0s (D) по формуле ¯ так как P u = 0. Тогда (3) принимает вид u = M u + P ∂u, ¯ . V0s (D) = u ∈ H0s (D) : M u = 0 = u ∈ H0s (D) : u = P ∂u Отсюда Q0s (D) = H0s (D)/V0s (D) ∼ = u ∈ H0s (D) : u = M u = O0s (D). Поскольку функция u голоморфна в D, это пространство Харди. Рассмотрим пространство V1s−1 (D) = u ∈ H1s−1 (D) : M u = 0, M P u = 0 . На комплексной плоскости M и P — интегральные операторы с ядром Коши. Поэтому P u голоморфна в C \ D, следовательно, M P u = 0 для всех u ∈ H1s−1 (D). Функция M u = 0 для всех u ∈ H1s−1 (D), ибо на границе области ∂D все формы типа (0, 2) равны нулю. В результате V1s−1 (D) ∼ = H1s−1 (D) s−1 и Q1 (D) ∼ = 0. Мы получили комплекс H0s (D) 0 → очевидно, точный.
⊕ 0
A
−→
H1s−1 (D) ⊕ Q0s (D)
→ 0,
788
А. М. Кытманов, С. Г. Мысливец 3. Описание пространств Vqs (D), q = 0, n Перейдем к описанию пространств Vqs (D). Теорема 4. Пусть n > 1 и f ∈ V0s (D).
s−1/2
H0
Тогда f ∂D = 0 и Q0s (D) ∼ =
(∂D).
Доказательство. Поскольку f ∈ V0s (D), то M f = 0 в D. По следствию 15.6 из [15] имеем M f ∈ H s (D) и M f = f = 0 на ∂D. Пространство H0s (D) является прямой суммой подпространств, состоящих из гармонических функций и из функций, равных нулю на границе (см. [12]). Перs−1/2 вое подпространство изоморфно H0 (∂D) (см. [12]). Поэтому Q0s (D) ∼ = s−1/2 H0 (∂D). В дальнейшем нам понадобится теорема о скачке для интеграла M f . Теорема 5 [15, 11]. Пусть форма f типа (p, q) с коэффициентами класса H s (D), s ≥ 1. Тогда (M + f )τ − (M − f )τ = fτ и (M + f )ν − (M − f )ν = 0 на ∂D. z . Обозначим Рассмотрим форму f ∈ Hns (D). Она имеет вид f = a(z)d¯ через Gf объемный потенциал Z Z ¯ Gf (z) = g(ζ, z) dζ ∧ f (ζ) = g(ζ, z)a(ζ) dζ ∧ dζ. D
D
Теорема 6. Следующие условия эквивалентны: 1) f ∈ Vns (D), 2) M P f = 0 в D, 3) P 2 f = 0 в Cn , 4) Gf антиголоморфно продолжается с ∂D в D, 5) a = ϕ, где ϕ ∈ H 2 (Cn ) ∩ H s+2 (D), ϕ гармонична в Cn \ D и ∂b ϕ = 0 на ∂D, т. е. ϕ антиголоморфно продолжается с ∂D в D. Доказательство разобьем на ряд лемм. Лемма 3. Форма M P f равна 0 в D тогда и только тогда, когда Gf антиголоморфно продолжается с ∂D в D. Доказательство. Пусть Z g(ζ, z)(P f )(ζ) ∧ dζ.
V P f (z) = ∂D
Сначала покажем, что M P f = 0 в D тогда и только тогда, когда V P f антиголоморфна в D. Действительно, Z n Z X ∂g z [k] (ζ, z) ∧ dζ d¯ M P f (z) = (P f )(ζ) ∧ U0,n−1 (ζ, z) = (P f )(ζ)(−1)k−1 ∂ζk k=1∂D
∂D
=
n X k=1
∂ (−1) ∂zk k
Z
(P f )(ζ)g(ζ, z) ∧ dζ d¯ z [k] =
k=1
∂D
Если M P f = 0, то, очевидно, и обратно.
n X
∂ ∂zk (V
(−1)k
∂ (V P f ) d¯ z [k]. ∂zk
P f ) = 0 в D и V P f антиголоморфна в D,
О построении точных комплексов
789
Рассмотрим форму V P f . Вычислим сначала Z (P f )(ζ) ∧ dζ = f (w) ∧ U0,n−1 (w, ζ) ∧ dζ D
Z =
a(w)
(−1)k−1
k=1
D
Z ¯ ∧ dw a(w) dw
=
n X
n X k=1
D
∂g ¯ ∧ dζ ¯ ∧ dw dζ[k] (w, ζ) dw ∂wk n
(−1)k
X ∂g ¯ ∧ dζ = ∂ζ Gf ∧ ¯ ∧ dζ[k] (w, ζ) dζ[k] dζ[k] ∂ζk k=1
=
n X
(−1)n+k
k=1
∂Gf ¯ ∧ dζ = µG . (ζ) dζ[k] f ∂ζk
Функция Gf принадлежит классу H 2 (Cn ) и гармоническая в Cn \ D, поэтому форма µGf замкнута в Cn \ D, ибо dµGf = (−1)n+1 Gf dζ¯ ∧ dζ = 0
в Cn \ D.
Значит, для точек z ∈ D выполняются соотношения Z Z V P f (z) = g(ζ, z)P f (ζ) ∧ dζ = g(ζ, z)µGf (ζ) ∂D
∂D
Z = Cn \D
Z = ∂D
n X ∂g ∂Gf (−1)n+1 (ζ, z) (ζ) dζ¯ ∧ dζ ¯ ∂ζk ∂ ζ k k=1 n X
∂g (−1) Gf (ζ) (ζ, z) dζ[k] ∧ dζ¯ = ¯k ∂ ζ k=1 k
Z Gf (ζ)U0,0 (ζ, z). ∂D
Отсюда функция V P f антиголоморфна в D тогда и только тогда, когда (V P f ) ∂D = Gf ∂D (см. [15, следствие 15.6]). Таким образом, M P f = 0 в D тогда и только тогда, когда Gf антиголоморфно продолжается в D. Лемма 3 дает эквивалентность утверждений 2 и 4 теоремы. Лемма 4. Форма M P f равна 0 в D тогда и только тогда, когда P 2 f = 0 вC . n
zI = d¯ z [k, m] Доказательство. Рассмотрим ядро U0,n−2 (ζ, z), обозначим d¯ при k < m. Тогда X ∂g ¯ ∂g ¯ z [k, m] U0,n−2 = σ(I, k) dζm + σ(I, m) dζk ∧ dζ d¯ ∂ζk ∂ζm k<m X k+m+n−1 ∂g ¯ k+m+n ∂g ¯ z [k, m]. = (−1) dζm + (−1) dζk ∧ dζ d¯ ∂ζk ∂ζm k<m
Найдем знаки: σ(I, k) = (−1)k+m+n−1 и σ(I, m) = (−1)k+m+n , поскольку σ(I, k) dζ = dζk ∧ dζI ∧ dζ[I, k] = dζk ∧ dζ[k, m] ∧ dζm = (−1)k−1+n+m dζ.
790
А. М. Кытманов, С. Г. Мысливец
Тогда (см. доказательство леммы 2) P f (ζ) ∧ U0,n−2 (ζ, z) =
n X
X ∂Gf ¯ ∂g ¯ ∂g ¯ dζ[s] ∧ (−1)k+m−1 dζm + (−1)k+m dζk ∧ dζ d¯ z [k, m] ∂ζs ∂ζk ∂ζm s=1 k<m X ∂g ∂Gf ∂g ∂Gf = (−1)n−1 + (−1)k+m−1 dζ¯ ∧ dζ d¯ z [k, m] (−1)k+m ∂ζk ∂ζm ∂ζm ∂ζk k<m X ∂g ∂Gf ∂g ∂Gf z [k, m] − dζ¯ ∧ dζ d¯ = (−1)n−1 (−1)k+m ∂ζk ∂ζm ∂ζm ∂ζk k<m X = (−1)n−1 dg ∧ dGf ∧ dζ¯ ∧ dζ[k, m] d¯ z [k, m], (−1)s
k<m
поскольку dg ∧ dGf ∧ dζ¯ ∧ dζ[k, m] ∂g ∂Gf ∂Gf ∂g dζk + dζm ∧ dζk + dζm ∧ dζ¯ ∧ dζ[k, m] = ∂ζk ∂ζm ∂ζk ∂ζm ∂G ∂g ∂Gf ¯ ∂g f + (−1)k+m−1 dζ ∧ dζ. = (−1)k+m ∂ζk ∂ζm ∂ζm ∂ζk Следовательно, 2
n−1
P f (z) = (−1)
XZ
z [k, m]. dg ∧ dGf ∧ dζ¯ ∧ dζ[k, m] d¯
k<m D
Поэтому по формуле Стокса для z ∈ / D получим X Z z [k, m]. P 2 f (z) = Gf dg ∧ dζ¯ ∧ dζ[k, m] d¯ k<m∂D
Если M P f = 0 в D, то по лемме 3 функция Gf антиголоморфно продолжается в D с границы ∂D и тогда P 2 f (z) = 0 в Cn \ D, поскольку Gf ортогональна формам dg ∧ dζ¯ ∧ dζ[k, m] по формуле Стокса. Пусть z ∈ D, тогда Z Z ¯ dg ∧ dGf ∧ dζ ∧ dζ[k, m] = lim dg ∧ dGf ∧ dζ¯ ∧ dζ[k, m] ε→0 D\{ζ: |ζ−z| 2. Поэтому существует функция E ∈ H 1 (Cn \ D), для которой ∂E = ∗F . Покажем, что E — гармоническая функция в Cn \ D. Расписывая последнее равенство покоэффициентно и применяя оператор Лапласа, получим ∂z∂k E = 0 для любого k = 1, . . . , n. Тогда функция E антиголоморфна в Cn \ D и антиголоморфно продолжается в Cn до интегрируемой функции. По теореме Лиувилля для интегрируемых функций, которая доказывается аналогично теореме Лиувилля для ограниченных функций, имеем E = 0 или ∗ E = 0. Поскольку ∗∂E = F , ¯ = ∂¯ ∗ ∂E = −∂¯∂¯∗ ∗ E = − ∗ E = 0. то ∂F При n = 2 из (11) получаем равенство ∂F1 ∂F2 + =0 ∂z2 ∂z1 и функции F1 и F2 гармоничны в C2 \ D. Тогда ∂ 2 F1 ∂ 2 F2 ∂ 2 F2 =− = , ∂ z¯1 ∂z2 ∂ z¯1 ∂z1 ∂ z¯2 ∂z2 т. е. ∂ ∂z2
∂F1 ∂F2 − ∂ z¯1 ∂ z¯2
=0
в C2 \ D. Фиксируем комплексную прямую z1 = z10 , не пересекающую D. На этой прямой функция ∂F1 ∂F2 − ∂ z¯1 ∂ z¯2
О построении точных комплексов
797
антиголоморфна и стремится к нулю на бесконечности. По теореме Лиувилля она равна нулю на этой прямой, а в силу вещественной аналитичности равна ¯ ¯ = 0. нулю в C2 \ D. Это означает, что F ∂-замкнута, т. е. ∂F Из свойств объемного потенциала получаем, что F = f в D. Таким обра¯ = ∂¯∗ ψ = 0 в Cn \ D. зом, если M P f = 0 в D, то f = ψ, где ψ = F и ∂ψ Обратно, если f = ψ и ψ удовлетворяет условиям теоремы 10, то формула Грина показывает, что ψ = F . Применим формулу Грина в комплексной форме к коэффициентам формы n X ¯ ψ= ψk (ζ) dζ[k], k=1
получим Z Z Z ¯ ψk (ζ)U0,0 (ζ, z) + g(ζ, z)ψk (ζ) dζ ∧ dζ − g(ζ, z)µψk (ζ) = ψk (z) D
∂D
∂D
для z ∈ D, k = 1, . . . , n. Напомним, что µψk =
n X
(−1)n+j−1
j=1
∂ψk ¯ dζ[j] ∧ dζ. ∂ ζ¯j
Поскольку ψk ∈ H (C ) гармонична в Cn \ D, по формуле Стокса имеем Z Z ψk (ζ)U0,0 (ζ, z) = g(ζ, z)µψk (ζ). 2
n
∂D
∂D
Таким образом, ψk = Fk при k = 1, . . . , n. В этой части мы доказали, что условие M P f = 0 в D эквивалентно существованию формы ψ с нужными свойствами. Рассмотрим условие M f = 0 в D, а именно Z X Z n n X ∂g(ζ, z) ¯ ∧ f (ζ) ∧ U0,n−1 (ζ, z) = ak (ζ) dζ[k] (−1)j−1 M f (z) = dζ d¯ z [j] ∂ζj j=1 ∂D k=1
∂D
=
n X j=1
d¯ z [j]
Z X n
(−1)j−1 ak (ζ)
∂D k=1 n X
∂ z [j] (−1) d¯ = ∂z j j=1
∂g(ζ, z) ¯ dζ[k] ∧ dζ ∂ζj
Z X n
j
¯ ∧ dζ = 0. ak (ζ)g(ζ, z) dζ[k]
∂D k=1
Поэтому условие M f = 0 в D эквивалентно антиголоморфности функции Z X n ¯ ∧ dζ ak (ζ)g(ζ, z) dζ[k] ∂D k=1
в области D. Применяя к этому интегралу формулу Стокса, получим Z X Z X n n ∂ ¯ ak (ζ)g(ζ, z) dζ¯ ∧ dζ ak (ζ)g(ζ, z) dζ[k] ∧ dζ = (−1)k−1 ¯ ∂ ζk D k=1 ∂D k=1 Z Z n X ∂g(ζ, z) ¯ k−1 ∂ak (ζ) k−1 ¯ = (−1) g(ζ, z) dζ ∧ dζ + (−1) ak (ζ) dζ ∧ dζ ∂ ζ¯k ∂ ζ¯k k=1 D
D
798
А. М. Кытманов, С. Г. Мысливец =
n Z X
(−1)k−1
k=1 D
∂ak (ζ) g(ζ, z) dζ¯ ∧ dζ ∂ ζ¯k
для z ∈ Cn \ D. Имеем n Z n X X ∂g(ζ, z) ¯ ∂Fk (z) (−1)k−1 ak (ζ) =0 dζ ∧ dζ = (−1)k ∂ z¯k ∂ ζ¯k k=1 D
k=1
¯ в силу ∂-замкнутости формы F . Следовательно, условие M f = 0 в D эквивалентно тому, что потенциал n Z X ∂ak (ζ) S(z) = g(ζ, z) dζ¯ ∧ dζ (−1)k−1 ∂ ζ¯k k=1 D
антиголоморфно продолжается с ∂D в D. Поэтому в качестве функции ϕ(z) можно взять потенциал S(z), т. е. ϕ(z) = S(z) и ϕ(z) d¯ z = S(z) d¯ z=
n X
(−1)k−1
k=1
∂ak (z) ¯ (z). d¯ z = ∂f ∂ z¯k
¯ = ϕ d¯ Обратно, пусть ∂f z , где функция ϕ удовлетворяет условиям теоремы 10. Тогда формула Грина, примененная к ϕ, показывает, что ϕ(z) = S(z). Следовательно, S(z) антиголоморфно продолжается с ∂D в D, поэтому M f = 0 в области D. Теорема доказана. ЛИТЕРАТУРА 1. Stein E. M. Singular integrals and estimates for Cauchy–Riemann equations // Bull. Amer. Math. Soc.. 1973. V. 79, N 2. P. 440–445. 2. Calderon A. P. Boundary value problem for elliptic equations // Outlines of the Joint SovietAmerican Sympos. on PDE’s, Novosibirsk, 1963. P. 303–304. 3. Atiyah M. F., Patodi V. K., Singer I. M. Spectral asymmetry and Riemann geometry. I // Math. Proc. Camb. Phil. Soc.. 1975. V. 77. P. 43–69. 4. Кондратьев В. А. Граничные задачи для эллиптических уравнений в областях с коническими или угловыми точками // Тр. Моск. мат. о-ва. 1967. Т. 16. С. 209–292. 5. Schulze B.-W. An algebra of boundary value problems not requiring Shapiro-Lopatinskj conditions // J. Funct. Anal.. 2001. V. 179. P. 374–408. 6. Venugopalkrishna V. Fredholm operators associated with strongly pseudoconvex domains in Cn // J. Funct. Anal.. 1972. V. 9. P. 349–373. 7. Дынин А. С. Граничные эллиптические задачи для псевдодифференциальных комплексов // Функцион. анализ и его прил.. 1972. Т. 6, № 1. С. 75–76. 8. Koppelman W. The Cauchy integral for differential forms // Bull. Amer. Math. Soc.. 1967. V. 73, N 4. P. 554–556. 9. Уэллс Р. Дифференциальное исчисление на комплексных многообразиях. М.: Мир, 1976. 10. Айзенберг Л. А., Даутов Ш. А. Дифференциальные формы, ортогональные голоморфным функциям или формам, и их свойства. Новосибирск: Наука, 1975. 11. Тарханов Н. Н. Метод параметрикса в теории дифференциальных комплексов. Новосибирск: Наука, 1989. 12. Егоров Ю. В., Шубин М. А. Линейные дифференциальные операторы с частными производными. Основы классической теории // Современные проблемы математики. Фундаментальные направления. М.: ВИНИТИ, 1988. Т. 30. С. 1–262. (Итоги науки и техники). 13. Айзенберг Л. А., Южаков А. П. Интегральные представления и вычеты в многомерном комплексном анализе. Новосибирск: Наука, 1979. 14. Kohn J. J., Rossi H. On extension of holomorphic functions from the boundary of a complex manifold // Ann. Math.. 1965. V. 81, N 3. P. 451–472.
О построении точных комплексов
799
15. Кытманов А. М. Интеграл Бохнера — Мартинелли и его применения. Новосибирск: Наука, 1992. 16. Хенкин Г. М. Метод интегральных представлений в комплексном анализе // Современные проблемы математики. Фундаментальные направления. М.: ВИНИТИ, 1985. Т. 7. С. 23–124. (Итоги науки и техники). Статья поступила 29 июля 2002 г. Кытманов Александр Мечиславович Красноярский гос. университет, факультет математики и информатики, пр. Свободный, 79, Красноярск 660041
[email protected] Мысливец Симона Глебовна Красноярский гос. университет, пр. Свободный, 79, Красноярск 660041
[email protected]