МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

имени М.В. ЛОМОНОСОВА

МЕХАНИКО-МАТЕМАТИЧЕСКИЙ ФАКУЛЬТЕТ

На правах рукописи

УДК 517.538.5+517.54+517.57

Мазалов Максим Яковлевич

Критерии равномерной приближаемости

в классах гармонических и

полианалитических функций

01.01.01 — вещественный, комплексный и функциональный анализ

АВТОРЕФЕРАТ

диссертации на соискание ученой степени доктора физико-математических наук

Москва — 2013

Работа выполнена на кафедре теории функций и функционального анализа механико-математического факультета Московского государственного университета имени М.В. Ломоносова.

Научный консультант: доктор физико-математических наук, профессор Парамонов Петр Владимирович

Официальные оппоненты: Буслаев Виктор Иванович, доктор физико-математических наук, старший научный сотрудник, Математический институт имени В.А. Стеклова РАН, ведущий научный сотрудник отдела комплексного анализа Колесников Сергей Викторович, доктор физико-математических наук, доцент, Ивановский государственный энергетический университет, профессор кафедры высшей математики Широков Николай Алексеевич, доктор физико-математических наук, профессор, Санкт-Петербургский государственный университет, математико-механический факультет, заведующий кафедрой математического анализа

Ведущая организация: Институт прикладной математики имени М.В. Келдыша РАН

Защита диссертации состоится 20 сентября 2013 года в 16 часов 45 минут на заседании диссертационного совета Д 501.001.85 при МГУ имени М.В.

Ломоносова по адресу: 119991, Российская Федерация, Москва, ГСП-1, Ленинские горы, д.1, Московский государственный университет имени М. В. Ломоносова, механико-математический факультет, аудитория 16-24.

С диссертацией можно ознакомиться в Фундаментальной библиотеке МГУ имени М.В. Ломоносова (Ломоносовский пр-т, 27, сектор А, 8-й этаж).

Автореферат разослан “ ” 2013 года.

Ученый секретарь диссертационного совета Д 501.001.85 при МГУ, доктор физико-математических наук, профессор В.Н. Сорокин

Общая характеристика работы

Актуальность темы. В работе изучаются равномерные приближения в классах гармонических и полианалитических функций на компактах евклидова пространства Rd, d 2. Начнем с постановки основных задач. Далее L — дифференциальный оператор в Rd с постоянными комплексными коэффициентами, символ которого — однородный n эллиптический многочлен. Примеры таких операторов — n и, где n N, — оператор Лапласа в Rd, — оператор Коши-Римана на комплексной плоскости C. Напомним1, что полианалитическими функциями порядка n (кратко — n-аналитическими, при n = 2 — n бианалитическими) называются решения уравнения f = 0 на открытых подмножествах C.

Пусть X — компакт в Rd, X o — множество всех внутренних точек X, C(X) — пространство непрерывных функций на X с равномерной нормой; h(X, L) — класс функций f C(X), таких, что Lf = 0 в X o ;

H(X, L) — замыкание в C(X) множества функций F, каждая из которых удовлетворяет уравнению LF = 0 в (своей) окрестности X. Ясно (в силу эллиптичности оператора L), что H(X, L) h(X, L). Естественно возникают следующие две задачи (первая из них более общая).

Задача A1 (о приближении индивидуальных функций). Для заданных компакта X и оператора L найти все функции из H(X, L).

Задача A2 (о равенстве классов функций). Для заданного оператора L найти все компакты X, такие, что H(X, L) = h(X, L).

Для аналитических функций (L = ) классические результаты о равномерных приближениях были получены М. А. Лаврентьевым, М. В. Келдышем, С. Н. Мергеляном, а полное решение задач A1 и A было дано в 60-е годы прошлого века А. Г. Витушкиным (см. обзор2 ).

Без ограничения общности можем считать, что функция f h(X, ) непрерывна на всей плоскости C и финитна; пусть f — модуль непрерывности f в C. А. Г. Витушкиным установлен следующий критерий3.

Балк. М. Б. Полианалитические функции и их обобщения // Итоги науки и техники. Сер. Совр.

проб. матем. Фундам. напр. М.: ВИНИТИ. 1991. Т. 85, С. 187–246.

Мельников М. С., Синанян С. О. Вопросы теории приближений функций одного комплексного переменного // Итоги науки и техн. Сер. Соврем. пробл. матем. М.: ВИНИТИ. 1975. Т. 4. С. 143–250.

Витушкин А.Г. Аналитическая емкость множеств в задачах теории приближений // УМН. 1967.

Т. 22. №6, С. 141–199 (см. гл. 4, §2, Теорема 2).

Теорема 1В. Условие f H(X, ) выполнено тогда и только тогда, когда существует постоянная A > 0, такая, что для любого открытого квадрата Q с границей Q и длиной стороны выполнена оценка где (·) — (непрерывная) аналитическая емкость.

Заметим, что вместо квадратов в теореме 1B можно, в частности, взять и открытые круги — результат П. В. Парамонова4.

Рассмотрим задачу A2. А. Г. Витушкиным был установлен следующий критерий5.

Теорема 2В. Равенство классов h(X, ) = H(X, ) имеет место тогда и только тогда, когда для любого ограниченного открытого множества D выполнено равенство Для решения задач A1 и A2 (в случае L = ) А. Г. Витушкин разработал конструктивную схему приближения, состоящую в разделении особенностей и приближении функции по частям. Именно, приближаемая функция с помощью подходящего разбиения единицы представляется в виде конечной суммы локализаций — функций с локализованными особенностями, а затем строятся приближающие функции, уравнивающие у локализаций необходимое число коэффициентов ряда Лорана.

В дальнейшем схема А. Г. Витушкина была усовершенствована. Так, Р. Харви и Дж. Полкинг предложили6 удобную конструкцию разбиений единицы, А. Г. О’Фаррелл, Т. Багби, Дж. Вердера, Дж. Матеу, Дж. Оробич и другие упростили концепцию рядов Лорана для решений эллиптических Парамонов П.В. Некоторые новые критерии равномерной приближаемости функций рациональными дробями // Матем. сборник. 1995. Т. 186. №9, С. 97–112 (см. §2).

Витушкин А.Г. Аналитическая емкость множеств в задачах теории приближений // УМН. 1967.

Т. 22. №6, С. 141–199 (см. гл. 5 §3, Теорема 1).

Harvey R., Polking J. Removable singularities of solutions of linear partial differential equations // Acta Math. 1970. V. 125, P. 39–56 (см. Lemma 3.1).

уравнений с помощью теории распределений, П. В. Парамонов предложил метод группировки индексов, при котором лорановский коэффициент уравнивается не у отдельных локализаций, а у специально построенных "групп локализаций". В частности, все это позволило установить критерии приближаемости в классах аналитических и гармонических функций в пространствах Липшица C m, m > 0 (кроме приближения индивидуальных гармонических функций при m < 1).

Отметим, что указанных усовершенствований схемы А. Г. Витушкина оказалось недостаточно для построения техники равномерных приближений в случае операторов L порядка выше первого, в частности, для гармонических и полианалитических функций (при n > 1). Основная причина в следующем: чем выше порядок оператора, тем больше лорановских коэффициентов локализаций приходится уравнивать (как по количеству, так и по порядку).

Задача A2 для гармонических функций была решена в 40-е годы прошлого века независимо М. В. Келдышем8 и Дж. Дени9 методами классической теории потенциала. Имеет место следующий критерий.

Теорема Д–К. Равенство h(X, ) = H(X, ) выполнено тогда и только тогда, когда дополнение к X и дополнение к X o разрежены в одних и тех же граничных точках X.

В силу критерия Н. Винера10 условие разреженности означает следующее (ограничимся случаем пространства R3 ). Пусть x — граничная точка X, n N, Capn — гармоническая емкость множества точек дополнения к X, расстояния от которых до x находятся в пределах [2n+1, 2n ], тогда разреженность дополнения к X в точке x равносильна сходимости ряда n=1 2 Capn. Точки разреженности дополнения к X определяются аналогично.

Парамонов П.В. О гармонических приближениях в C 1 -норме // Матем. сборник. 1990. Т. 181. №10, С. 1341–1365.

Келдыш М. В. О разрешимости и устойчивости задачи Дирихле // УМН. 1941. №8, С. 171–231.

Deny J. Syst`mes totaux de functions harmoniques // Ann. Inst. Fourier. 1949. V. 1, P. 103–113.

Ландкоф Н. С. Основы современной теории потенциала. М.: Наука, 1966 (см. теоремы 5.2 и 5.10).

Labr`che M. De L’approximation harmonique uniforme. Th`se. 1982. Universit de Montral.

равенства классов h(X, ) = H(X, ), аналогичный (2):

где D — произвольное ограниченное открытое множество, Cap(·) — гармоническая емкость.

Задача A1 для гармонических функций оказалась сложнее, чем для аналитических. Имеет место следующий результат А. Дебьярда и Б. Гаво12 :

функция f принадлежит классу H(X, ) тогда и только тогда, когда она непрерывна на компакте X и является тонко гармонической (finely harmonic) в тонкой внутренности (fine interior) X.

Заметим, что тонкая внутренность X есть объединение X o и множества точек границы X, в которых дополнение к X разрежено. Важно отметить, что условие тонкой гармоничности существенно сложнее для проверки, чем, например, (1), так как является качественным, причем нужно проверять, совпадает ли функция f со своим интегральным представлением по гармонической мере.

Отправной точкой настоящего исследования послужила совокупность следующих проблем, отмеченных, например, Дж. Вердерой13.

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

2. Отсутствие единого подхода к доказательствам критериев (2) и (3) в общем случае, несмотря на родственные формулировки. Отсюда, в частности, вытекают следующие задачи:

1. Для гармонических функций получить естественный аналог критерия (1), по крайней мере, при d = 3 (А. Г. О’Фаррелл15 ).

произвольного компакта X C (Дж. Вердера16 ).

Debiard A., Gaveau B. Potentiel fin et alg`bre de fonctions analytiques // J. Funct. Anal. 1974. V. 16, P. 289–304.

Verdera J. Removability, capacity and approximation // NATO Adv. Sci. Int. Ser. C Math. Phys. Sci., 439. Kluwer. Dordrecht. 1994, P. 419–473 (см. Сh. 5, Sect. 1).

В случае X 0 = критерий равенства H(X, ) = C(X) конструктивно получил А. А. Гончар (Гончар А. А. О равномерном приближении непрерывных функций гармоническими // Изв. АН СССР.

1963. №27, С. 1239–1250).

Lecture notes in mathematics. V. 1574. Problem book 3. Part 2. Ed. by V. P. Havin and N. K. Nikol’skiy.

Springer-Verlag, 1994, Problem 12.15.

там же, Problem 12.16.

Предположение об отсутствии каких-либо ограничений на компакт объясняется тем, что L -емкость точки17 положительна в силу (локальной) ограниченности фундаментального решения 1 оператора ; тем самым равенство h(X, ) = H(X, ) для произвольного компакта X представляет собой естественный аналог (2) и (3).

установлено при дополнительных ограничениях.

Т. Трент и Дж. Ванг18 — компакт X нигде не плотен.

X. Кармона19 — внутренняя граница X пуста.

Дж. Вердера20 — компакт X произволен, но модуль непрерывности приближаемой функции удовлетворяет условию Дини.

В развитие сформулированной выше задачи Дж. Вердеры естественно возникает следующая задача.

Задача A3. Найти операторы L (однородные, эллиптические, с постоянными комплексными коэффициентами), такие, что для произвольного компакта X имеет место равенство H(X, L) = h(X, L).

Отметим два естественных необходимых условия (I) и (II).

(I) Фундаментальное решение оператора L локально ограничено (в противном случае L -емкость точки равна нулю, и пример отсутствия равномерного приближения строится аналогично известному примеру Е. П. Долженко для аналитических функций21 ).

(II) Размерность d пространства равна двум (при d 3 для любого оператора L существует компакт X, такой, что H(X, L) = h(X, L)22 ).

Таким образом, задача A3 по существу сводится к следующей.

Задача A3. Установить, верно ли, что при выполнении условий (I) и (II) для любого компакта X имеет место равенство H(X, L) = h(X, L).

Harvey R., Polking J. A notion of capacity which characterizes removable singularities // Trans. Amer.

Math. Soc. 1972. V. 169, P. 183–195.

Trent T., Wang J.L. Uniform approximation by rational modules on nowhere dense sets // Proc. Amer.

Math. Soc. 1981. V. 81, P. 62–64.

Carmona J.J. Mergelyan approximation theorem for rational modules // J. Approx. Theory. 1985. V.

44, P. 113–126.

Verdera J. On the uniform approximation problem for the square of the Cauchy-Riemann operator // Pacific J. of Math. 1993. V. 159. P. 379–396.

Долженко Е.П. О приближении на замкнутых областях и о нуль-множествах // ДАН. 1962. Т. 143.

No 4, С. 771–774.

Gauthier P., Tarkhanov N. N. Degenerate cases of uniform approximation by systems with surjective symbols // Canadian Journ. Math. 1993. V. 45. No. 4., P. 740–757 (см. Theorem 8.2).

Цели исследования вытекают из поставленных выше задач.

1. Провести дальнейшее усовершенствование конструктивной схемы приближений А. Г. Витушкина так, чтобы ее можно было применить к задачам равномерного приближения, по крайней мере, для гармонических функций и полианалитических функций порядка n 2.

2. Изучить задачи А. Г. О’Фаррелла и Дж. Вердеры, сформулированные выше, а также задачу A3.

3. Изучить вопрос о приближении индивидуальных гармонических функций в пространствах Липшица C m, 0 < m < 1.

Научная новизна. Результаты, выносимые на защиту

.

Все результаты 1–5, выносимые на защиту, являются новыми и получены автором лично.

1. Получен следующий критерий.

Пусть L — дифференциальный оператор в R2 с постоянными комплексными коэффициентами, символ которого — однородный эллиптический многочлен. Если фундаментальное решение оператора L локально ограничено, то для любого компакта X всякая функция f, непрерывная на X и удовлетворяющая уравнению Lf = 0 внутри X, равномерно приближается на X с любой степенью точности функциями, удовлетворяющими тому же уравнению в окрестностях X.23 Этот результат, в частности, при любом n 2 применим к классу полианалитических функций порядка n, причем при n = 2 подтверждена гипотеза, сформулированная в середине 80-х годов Дж. Вердерой. 2. Получен критерий равномерной приближаемости гармоническими функциями на компактах в R3 для индивидуальных функций в терминах гармонической емкости Н. Винера. 25 Соответствующая задача, известная с начала 70-х годов, была поставлена А.Г. О’Фарреллом.

3. Получен аналогичный критерий приближаемости индивидуальных функций гармоническими в нормах пространств Липшица C m, 0 < m < 1, в терминах обхвата по Хаусдорфу порядка 1 + m. Основной результат статьи [1], завершающий решение задачи A3; в диссертации — Теорема 1.3.

Основной результат статьи [2]; в диссертации — Теорема 1.2.

Основной результат статьи [3]; в диссертации — Теорема 3.1.

Основной результат статьи [4]; в диссертации — Теорема 4.1. В совокупности с результатами А. Г. О’Фаррелла, Дж. Вердеры, П. В. Парамонова получено решение общей задачи о приближениях индивидуальных функций гармоническими функциями в пространствах C m (X) при всех m 0.

4. В задаче о равномерной аппроксимации функций решениями уравнения Lf = 0 (где L — произвольный однородный эллиптический оператор в Rd, d 2, с постоянными комплексными коэффициентами) получен технический результат общего характера, 27 позволяющий снизить на 1 порядок требование к асимптотике на бесконечности у разностей между исходными и приближающими функциями, по сравнению со схемой приближений, предложенной А.Г. Витушкиным в 60-е годы. Это базовый результат, используемый в доказательствах сформулированных выше критериев.

5. Доказано, что для любой жордановой области G пространства R2 с границей Дини-Ляпунова множество граничных значений функций, полианалитических в G и непрерывных вплоть до границы, имеет первую категорию в пространстве C(). Построена жорданова область с липшицевой границей, для которой задача Дирихле в классе бианалитических функций разрешима при любой граничной функции f из C(). Методы исследования.

В работе применяются методы функционального анализа, классической теории потенциала, теории сингулярных интегралов (в частности, на липшицевых кривых и поверхностях), теории приближений аналитическими функциями. Автором разработаны новые геометрические конструкции для оценки лорановских коэффициентов локализаций приближаемой функции.

Теоретическая и практическая ценность.

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

Апробация работы.

Основные результаты диссертации докладывались:

[1, Теорема 2]; в диссертации — Теорема 1.4.

Основной результат статьи [5]; в диссертации — Теорема 2.1 и Пример 2.1.

на механико-математическом факультете МГУ им. М. В. Ломоносова — на семинаре по теории функций действительного переменного под руководством академика РАН Б. С. Кашина, профессоров Б. И.

Голубова и М. И. Дьяченко, члена-корреспондента РАН С. В. Конягина (2008), на семинаре по многомерному комплексному анализу под руководством академика РАН А. Г. Витушкина (2002), под руководством члена-корреспондента РАН Е. М. Чирки, члена-корреспондента РАН С. Ю. Немировского, профессоров В. К. Белошапки и А. Г. Сергеева (2008, 2009), на семинаре по теории приближений и граничным свойствам функций под руководством профессора Е. П. Долженко (неоднократно, 1997–2012), на семинаре по теории приближений под руководством профессора П. В. Парамонова (неоднократно, 1997–2012);

в МИАН им. В. А. Стеклова — на семинаре по комплексному анализу под руководством академика РАН А. А. Гончара, члена-корреспондента РАН Е. М. Чирки и профессора А. И. Аптекарева (2007, 2008), под руководством члена-корреспондента РАН Е. М. Чирки и профессора А. И. Аптекарева (2013);

в ПОМИ РАН — на Санкт-Петербургском семинаре по теории операторов и теории функций под руководством члена-корреспондента РАН С. В. Кислякова и профессора В. П. Хавина (2009–2012);

на международной конференции, посвященной 70-летию академика А. Г. Витушкина (Москва, МГУ-МИАН, 2001), на 19-й летней международной конференции по математическому анализу (СанктПетербург, ММИ им. Л. Эйлера, 2010);

в Автономном университете Барселоны (Испания) в виде цикла лекций (октябрь-ноябрь 2005).

Публикации. Основные результаты диссертации опубликованы с подробными доказательствами в 9 статьях автора [1]– [9] (без соавторов) в рецензируемых научных журналах, рекомендованных ВАК и входящих в международные системы цитирования.29 Список публикаций приведен в конце автореферата.

Основные результаты диссертации также опубликованы в обзоре: Мазалов М.Я., Парамонов П.В., Федоровский К.Ю. Условия C m -приближаемости функций решениями эллиптических уравнений // Успехи математических наук. 2012. Т. 67. Вып. 6 (408), С. 53–100 (см. теоремы 1.7, 1.8, 1.17 при m (0, 1), 2.1 и 2.10).

Структура и объем диссертации. Диссертация состоит из введения и четырех глав, разбитых на параграфы. Общий объем диссертации составляет 216 страниц. Список литературы включает (вместе с публикациями автора) 76 наименований.

Во введении приводится краткая история изучаемых вопросов, формулируются основные результаты диссертации.

В главе 1 (состоящей из 5 параграфов) установлен следующий результат о равномерных приближениях полианалитическими функциями порядка n 2.

Теорема 1.1. При n место равенство H(X, ) = h(X, ).

Напомним, что в случае n = 1 имеет место критерий А. Г. Витушкина (1)–(2), а примеры компактов X C, таких, что H(X, ) = h(X, ), хорошо известны (С. Н. Мергелян, Е. П. Долженко).

Так как фундаментальное решение оператора L = имеет вид теорема 1.1 получается как следствие более общего утверждения, установленного в §1.4.

Теорема 1.3. Пусть X R2 — произвольный компакт, и фундаментальное решение оператора L локально ограничено. Тогда имеет место равенство H(X, L) = h(X, L).

В §1.1 рассматривается схема приближения, предложенная А. Г. Витушкиным и усовершенствованная Р. Харви и Дж. Полкингом, А. Г. О’Фарреллом, Дж. Вердерой, П. В. Парамоновым, Н. Н. Тархановым и другими. Здесь рассматривается упрощенный вариант схемы, не использующий емкостей (он применяется в случае операторов L с локально ограниченным фундаментальным решением).

В §1.2 доказывается теорема 1.4 о приближении функции по частям для произвольных операторов L в Rd, d 2 (однородных, эллиптических, с постоянными коэффициентами). Прежде, чем формулировать теорему 1.4, сделаем ряд пояснений.

Пусть X — компакт в Rd, E — фундаментальное решение оператора L, функция f h(X, L) продолжена на дополнение к X (например, по известной теореме Л. Брауэра – П.С. Урысона) как непрерывная финитная функция в Rd.

Далее = (1, 2,..., d ) означает мультииндекс, то есть, набор из d целых неотрицательных чисел. При этом:

Через Spt(·) обозначим замыкание носителя функции (или распределения).

Рассмотрим всевозможные покрытия {Qj } компакта Spt(Lf ) конечными семействами раздельных двоичных кубов c длинами сторон sj 1. Каждому покрытию подчинено {j } — разбиение единицы на {Qj } из следующей леммы 1.1, принадлежащей Р. Харви и Дж. Полкингу30.

Лемма 1.1. Пусть {Qj } — конечное множество раздельных двоичных кубов. Тогда существует множество функций {j }, таких, что Sptj (3/2)Qj, j L зависит только от ), и j j = 1 в некоторой окрестности j Qj.

Используя указанное разбиение единицы, разложим функцию f в конечную сумму локализаций: f = j fj, где fj = E (j Lf ), ”” означает операцию свертки, понимаемую в обобщенном смысле.

0, такая, что имеет место следующее. Для любого покрытия {Qj } и любой соответствующей функции fj существует функция Fj C(Rd ), удовлетворяющая следующим условиям:

Заметим, что (в частном случае L = ) критерий А. Г. Витушкина (1)–(2) является несложным следствием теоремы 1.4, так как каждое из условий (1) или (2) автоматически (в силу определения аналитической емкости) приводит к построению нужной функции Fj с асимптотикой из условия 3) теоремы 1.4 при d = 2.

Теорема 1.4 сразу же вытекает из леммы 1.5 (следствия известной теоремы об отделимости выпуклых множеств в нормированном пространстве) и леммы 1.6.

Лемма 1.5. Пусть D — куб в Rd ; 1, 2,..., p — конечное множество неотрицательных функций, непрерывных на D; b > 0 — постоянная.

Пусть для любой неотрицательной функции L1 (D, dm), такой, что (x)dmx = 1, найдется номер k = k(), при котором выполнено соответствующие подходящим покрытиям {Qj }.

Лемма 1.6. Пусть n0 N, причем = 2n0 столь мало, что () < 1; D — куб, такой, что X Sptf (1/4)D.

Тогда для любой неотрицательной функции L1 (D), такой, что (x)dmx = 1, существует покрытие {Qj } компакта Spt(Lf ), для которого выполнены следующие условия:

2) для функций rj = fj Fj, удовлетворяющих условиям теоремы 1.4, имеет место оценка Используемый здесь подход по существу опирается на известную в функциональном анализе теорему С. Мазура:

если последовательность k элементов нормированного пространства слабо сходится к элементу, то некоторая последовательность их выпуклых комбинаций сходится к сильно.

(например,31 ).

Идея доказательства леммы 1.6 состоит в следующем. Если (x) 1/() при всех x, то в качестве требуемого покрытия возьмем совокупность кубов координатной сетки с длиной стороны. Там, где значения функции достаточно велики, кубы покрытия увеличим, используя стандартную процедуру Кальдерона–Зигмунда. При этом с применением теории сингулярных интегралов получается следующая оценка (где A = A(L)) правая часть которой и представляет собой требуемую функцию 1.

В §1.3 техника, развитая в §1.2, применяется к доказательству следующего частного случая теоремы 1.1 при n = 2.

Теорема 1.2. Для произвольного компакта X C имеет место равенство H(X, ) = h(X, ).

Доказательство теоремы 1.2 опирается на теорему 1.4 и использует следующую геометрическую конструкцию из леммы 1.12.

Пусть Q0 = [0, 1] [0, 1]; Xo — непустое открытое подмножество квадрата Q0 (имеющее смысл "порции" дополнения к X), X — замыкание Будем рассматривать покрытия компакта X конечными семействами замкнутых двоичных квадратов Колесников С.В. Об одной теореме М.В. Келдыша, касающейся поточечной сходимости последовательностей полиномов // Матем. сборник. 1984. Т. 124 (166). №4 (8), C. 568–570.

"невозрастающую" последовательность покрытий Q(k), k = 0, 1, 2,..., где Q(0) = Q0, и каждый квадрат из Q(k + 1) содержится (возможно, совпадая) в соответствующем квадрате из Q(k). Каждое покрытие состоит из квадратов двух типов: белых, которые на следующем шаге делятся, и красных, которые в дальнейшем не изменяются (исходный квадрат Q0 — белый).

Два квадрата Qm1, m2 и Qn1, n2 (одного размера) назовем согласованными (согласованной парой), если |m1 n1 | 1 и 2 |m2 n2 | 3. Множество квадратов {Qm1, m2 }, где k и m1 фиксированы, назовем вертикальным рядом (согласованные квадраты расположены в одном или в соседних вертикальных рядах).

Индукционный переход: построение Q(k). Разделим каждый белый квадрат Q покрытия Q(k 1) на четыре квадрата со стороной s(Q)/2.

Из полученных квадратов включим в Q(k) только те, которые пересекают X, назовем их квадратами поколения k; покрытие Q(k) состоит из квадратов поколения k и всех красных квадратов предыдущих поколений.

Определим цвет квадратов поколения k следующим образом. Если среди них найдется согласованная пара (Q1, Q2 ), то назовем красными Q1 и Q2, а также каждый квадрат из Q(k), находящийся с Q1 или Q2 в одном вертикальном ряду; затем в множестве квадратов, цвет которых еще не определен, продолжим поиск согласованных пар (определяя красные квадраты так же, как и выше). Когда все согласованные пары будут исчерпаны, оставшиеся квадраты поколения k назовем белыми, и тем самым покрытие Q(k) будет построено.

Лемма 1.12. Каждое покрытие Q(k) обладает следующими свойствами.

1) Разложим все квадраты покрытия Q(k) на группы так, чтобы каждая группа располагалась в своем вертикальном ряду. Тогда проекции групп на ось Ox не имеют общих внутренних точек, а цвет квадратов в каждой группе одинаков. Если группа состоит из белых квадратов, то их не более двух, причем соседних, а если из красных — то не более четырех Qm1, m2, причем индекс m2 отличается не более, чем на три.

Длина стороны белого квадрата равна 2k, а красного — не меньше 2k.

2) Пусть Qm1, m2 и Qm1 +1, n2 — квадраты поколения k в соседних вертикальных рядах. Тогда |m2 n2 | 3, а если оба квадрата белые, 3) Если в вертикальном ряду есть красный квадрат, то существует согласованная пара красных квадратов, один из которых находится в том же вертикальном ряду, а другой — в том же вертикальном ряду или в соседнем.

4) Пусть Q и Q — квадраты из Q(k) с центрами, соответственно, (x, y) и (x, y ), находящиеся в различных вертикальных рядах. Тогда выполнено неравенство |y y|/|x x| < 7.

Лемма 1.12 доказывается в §1.3.

Комментарии.

1. Так как компакт X — замыкание непустого открытого множества и в силу свойства 1) покрытий Q(k) не может быть для всех k покрыт только белыми квадратами, при достаточно больших k будет зафиксирована хотя бы одна согласованная пара красных квадратов.

2. Момент остановки, то есть, номер k, на котором покрытие Q(k) окончательно фиксируется, определяется с помощью модуля непрерывности приближаемой функции f h(X, ). Именно, берется минимальный номер k, для которого выполнено условие где в правой части для каждой согласованной пары красных квадратов (Q1, Q2 ) суммируется длина стороны s = s(Q1 ) = s(Q2 ).

3. Для каждой согласованной пары красных квадратов (Q1, Q2 ) возьмем точки z1 1.1Q1 X o и z2 1.1Q2 X o, расстояние между которыми (в силу определения согласованных пар) "не мало" по сравнению с s, и поэтому функции вида ограниченные и бианалитические вне множества {z1, z2 }, могут быть использованы для построения функций, приближающих локализации f.

4. В силу свойств 1), 2) и 4) покрытий Q(k), квадраты "накапливаются" к липшицевой кривой : y = (x), причем | (x)| < 7. Это (в сочетании с техникой доказательства теоремы 1.4) позволяет использовать для доказательства теоремы 1.2 теорию сингулярных интегралов на липшицевой кривой (включая L2 -оценки).

В §1.4 доказывается теорема 1.3. Напомним32, что дифференциальный оператор L порядка n в Rd, символ которого — однородный эллиптический многочлен, имеет фундаментальное решение вида где E0 — вещественно аналитическая функция в Rd \ {0}, однородная степени n d, E1 — однородный многочлен степени n d (если n < d, то E1 0). Напомним, что при d 3 для любого оператора L (в том числе и с локально ограниченным фундаментальным решением) существует компакт X, такой, что H(X, L) = h(X, L).

При d = 2 имеет место интегральное представление (где n В случае E1 0 теорема 1.3 доказывается по существу так же, как и теорема 1.2; случай E1 0 (при этом, очевидно, n 3) нетривиален и требует отдельного рассмотрения: для построения приближающих функций нужно специально подбирать ограниченные линейные комбинации частных производных E порядка n 2, и в итоге их оказывается "достаточно".

В §1.5 показывается (результат установлен в [6]), что для доказательства теоремы 1.2 вместо применения теоремы 1.4 можно адаптировать метод П. В. Парамонова группировки индексов, предложенный им для гармонических приближений в C 1 -норме и равномерных аналитических приближений.

Суть метода в следующем. Напомним, что стандартная схема А. Г. Витушкина требовала бы в условии 3) теоремы 1.4 замены в показателе d 1 на d (то есть, 1 на 2) — существенно более Хёрмандер Л. Анализ линейных дифференциальных операторов с частными производными. Т. 1.

Теория распределений и анализ Фурье. М.: Мир, 1986, см. Теорема 7.1.20.

Шилов Г.Е. Математический анализ. Второй специальный курс. М.: Наука, 1965, §22.

жесткого ограничения на асимптотику разностей fj Fj. Оказывается, для приближения функции f достаточно, чтобы такая асимптотика имела место не для каждого индекса j в отдельности, а суммарно, для специально подобранных групп индексов, причем индексов, которые нельзя "сгруппировать оказывается "мало".

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

В главе 2 (состоящей из 3 параграфов) изучается вопрос о массивности множества граничных значений полианалитических функций в случае жордановых областей G с липшицевой границей G. Это во многом мотивировано исследованиями о равномерном приближении непрерывных функций полианалитическими многочленами34.

Пусть C(G) — банахово пространство функций, непрерывных на G, с равномерной нормой; Sn = Sn (G, G) — подпространство C(G), элементами которого являются граничные значения функций, nаналитических в G и непрерывных в замкнутой области G; S = n Sn.

Основным результатом §2.1 является теорема 2.1, установленная в [5].

Напомним, что (гладкая) кривая называется Дини-гладкой, если угол наклона ее касательной (s) к вещественной оси как функция длины дуги s удовлетворяет условию |(s2 ) (s1 )| < (|s2 s1 |), где для функции выполнено условие Дини Ляпунова является Дини-гладкой.

Теорема 2.1. Пусть G — Дини-гладкая кривая. Тогда S имеет первую категорию в C(G).

Так как C(G) — полное метрическое пространство, по теореме Бэра о категории имеем неравенство S = C(G) для Дини-гладких кривых G.

Теорема 2.1 является следствием леммы 2.1 и леммы 2.2.

Лемма 2.1. Пусть H — функция, аналитическая в круге K : |w| < 1 и однолистно отображающая K на жорданову область G со спрямляемой границей G, причем в K выполнено неравенство |H (w)| > c0 > 0. Если Кармона Х.Х., Парамонов П.В., Федоровский К.Ю. О равномерной аппроксимации полианалитическими многочленами и задаче Дирихле для бианалитических функций // Матем.

сборник. 2002. Т. 193. №10, С. 75–98.

выполнено условие (где w = rei ), то S имеет первую категорию в C(G).

В лемме 2.2 доказывается, что, если G — Дини-гладкая кривая, то выполнены условия леммы 2.1; этот факт по существу вытекает из теоремы С. Е. Варшавского35.

Теорему 2.1 интересно сопоставить с результатом К. Ю. Федоровского36 :

для "большинства" областей G, в том числе и с аналитической границей (кроме весьма специальных областей, так называемых неванлинновских) S2 (G, G) является всюду плотным подпространством C(G). О неванлинновских областях с нигде не аналитическими границами см.

также [7].

Возникает естественный вопрос, можно ли в теореме 2.1 избавиться от ограничений на G. В §§2.2-2.3 на него дается отрицательный ответ (соответствующий пример был построен в [5]).

Пример 2.1. Существует жорданова область G с липшицевой границей, такая, что S2 (G, G) = C(G).

Основным результатом §2.2 является следующая теорема 2.3.

Рассмотрим лакунарный ряд где w C, |w| < 1, k0 N, возрастающая последовательность {k } натуральных чисел настолько разрежена, что абсолютная постоянная, f — модуль непрерывности f в R3.

Теорема 3.1 представляет собой естественный аналог теоремы А.Г.

Витушкина о равномерном приближении аналитическими функциями на компактах в C. Теорему 3.1 в качестве гипотезы формулировал П. В. Парамонов, им было предложено естественное условие (4).

Доказательство теоремы 3.1 опирается на следующее утверждение — Harvey R., Polking J. A notion of capacity which characterizes removable singularities // Trans. Amer.

Math. Soc. 1972. V. 169, P. 183–195.

естественный аналог леммы А. Г. Витушкина38.

Лемма 3.1. Если выполнена оценка (где B, k и — те же, что и в теореме 3.1, — произвольная функция из C0 (B)), то f H(X). Обратно, если f H(X), то оценка (5) выполнена Необходимость каждой из оценок (4) и (5) для выполнения условия f H(X) доказывается стандартно: так же, как для равномерных приближений аналитическими функциями или гармонических приближений в C 1 -норме. Вопрос о достаточности указанных оценок значительно сложнее, чем в случае аналитических функций. Напомним, что гипотезу о достаточности оценки вида (5) для f H(X) формулировал А. Г. О’Фаррелл.

Доказательство достаточности оценки (5) проводится по той же схеме, по которой в главе 1 доказывается теорема 1.2. Именно, применяется теорема 1.4, а геометрическая конструкция обобщает проводимую в §1.3.

Заметим, что теорема 3.1 переносится (с несущественным изменением доказательства) на гармонические функции в Rd, d > 3, при этом правая часть неравенства (4) изменяется на (r)r2d Cap(kB \X). Лемма 3.1 на Rd, d > 3, переносится без изменений.

Напомним, что задача о равенстве классов H(X) и h(X) изучена значительно лучше более общей задачи описания функций f H(X).

Имеет место следующий критерий Дж. Дени – М. В. Келдыша.

(Д–К): равенство H(X) = h(X) выполнено тогда и только тогда, когда дополнения к X и к X o разрежены в одних и тех же точках X.

Из (Д–К) следует критерий (3) равенства H(X) = h(X) (см. с. 4).

Аналогично случаю аналитических функций, (3) является несложным следствием леммы 3.1, так как равенство емкостей влечет выполнение оценки (5) для всех функций f h(X) и всех соответствующих.

Заметим, что теорема 3.1 и лемма 3.1 ранее (до работы [3]) были Витушкин А.Г. Аналитическая емкость множеств в задачах теории приближений // УМН. 1967.

Т. 22. №6, см. гл. 4, §2, Лемма 1.

установлены автором при следующих дополнительных ограничениях:

1) существует постоянная k R3 \ X o и для всех r > 0 имеет место оценка [8] 2) модуль непрерывности функции f удовлетворяет условию Дини [9].

Сопоставим формулировки теорем 1.3 и 3.1 и рассмотрим ситуацию в случае операторов L порядка выше двух. Отметим следующее.

1. Особая роль размерности d = 2.

В случае локальной ограниченности фундаментального решения эллиптического оператора L равенство H(X, L) = h(X, L) имеет место для любого компакта X R2 ; вместе с тем, как отмечалось выше39, при d > 2 для любого оператора L (в том числе, и с локально ограниченным фундаментальным решением) существует компакт X, такой, что H(X, L) = h(X, L).

В случае 2 < n < d не имеет место аналога (3) (или аналога критерия А.Г. Витушкина (2)) в терминах соответствующей емкости Р. Харви и Дж. Полкинга CapL (·), характеризующей устранимые особенности непрерывных решений уравнения Lf = 0 (см. пример 3.1, установленный в §3.1).

Пример 3.1. Пусть 2 < n < d. Тогда существуют компакт X, такой, что для любого куба Q выполнена оценка CapL (Q \ X o ) ACapL (2Q \ X), и функция f h(X, L), такая, что f H(X, L).

Заметим, что вопрос о (естественном) критерии равенства H(X, L) = h(X, L) в случае d > 2, n > 2 и компактов X с непустой внутренностью остается открытым.

В §3.1 получен ряд оценок, в частности, доказана лемма 3. об аддитивности гармонической емкости при специальных разбиениях множеств.

Лемма 3.2. Пусть Y — компакт, = Cap(Y ) > 0, Dj — семейство раздельных замкнутых кубов с s(Dj ) =, покрывающих Y, j = Cap(2Dj Y ). Тогда выполнена оценка j j A.

Затем доказывается необходимость оценки (5) в лемме 3.1 и устанавливается лемма 3.5, связывающая оценки (5) и (3).

Лемма 3.5 Пусть X R3 — компакт.

1) Если существует постоянная A > 0, такая, что для любого шара B имеет место оценка Cap(B \ X o ) ACap(kB \ X), то для любых соответствующих функций f и выполнена оценка (5).

2) Если имеет место равенство H(X) = h(X), то для любого ограниченного открытого множества D выполнено равенство В конце §3.1 строится пример 3.1.

В §3.2 рассматривается связь между оценками (4) и (5). Как вытекает из формулы Грина, оценка (4) фактически представляет собой частный случай (5) для функций простой "радиальной" структуры.

Из оценки (4) выводится оценка (5) для "достаточно хороших" функций, которые в дальнейшем применяются для построения разбиений единицы. Именно, теорема 3.1 сводится следующей к лемме 3.12, которая доказывается в §§3.3–3.5.

и всех соответствующих функций C0 (B) имеет место оценка Тогда f H(X).

В §3.3 применяется теорема 1.4 о приближении функции по частям, рассматриваются согласованные пары двоичных кубов (это понятие обобщает введенные в главе 1 согласованные пары двоичных квадратов).

Заметим, что здесь ситуация сложнее, чем в главе 1, так как нужно оценивать емкость дополнения. Одно из утверждений об оценке емкости — сформулированная выше лемма 3.2; другое — следующее утверждение, представляющее собой вариант леммы 3.21, доказанной в §3.3 (с некоторым упрощением обозначений).

Пусть Q — двоичный куб, {Qj } — конечное множество двоичных кубов, таких, что Qj Q; Q и Qj — соответственно, проекции кубов Q и Qj на плоскость x3 = 0, s и sj — длины сторон кубов.

где (·) — характеристическая функция, то при q [0, 1) имеет место оценка В следующих двух параграфах проводится геометрическая конструкция (требования к которой даются в лемме 3.23), представляющая собой значительное обобщение конструкции из рассмотренной выше леммы 1.12. Важно отметить, что, по аналогии с леммой 1.12, кубы покрытия накапливаются к липшицевой поверхности.

Так как геометрическая конструкция весьма сложна, сначала в §3. проводим упрощенный вариант, в котором не требуем, чтобы кратность пересечений увеличенных кубов (129/128)Qj для кубов покрытия Qj была ограничена сверху абсолютной постоянной. В §3.5 конструкция уточняется с целью контроля над указанной кратностью. По окончании доказательства леммы 3.23 доказательство леммы 3.12 завершается аналогично тому, как в §1.3 было завершено доказательство теоремы 1.2 (с применением теории сингулярных интегралов на липшицевой поверхности).

В главе 4 (состоящей из 3 параграфов) рассматривается вопрос о приближении гармоническими функциями на компактах в R3 в пространствах Липшица C m, где 0 < m < 1.

Пусть 0 < m < 1, X R3 — компакт; напомним, что пространство Липшица Lipm (X) состоит из функций f : X R, таких, что для всех x, y X выполнено неравенство где c = c(f, X, m) <. Точная нижняя грань значений c задает полунорму f m,X. Пространство C m (X) — подпространство Lipm (X), состоящее из функций f, таких, что |f (x) f (y)| = o (|x y|m ) при |x y| 0.

Пространство Lipm (R3 ) с полунормой f m = f m,R3 и пространство C m (R3 ) определяется аналогично. По теореме Х. Уитни40 продолжим функцию f Lipm (X) до функции из Lipm (R3 ), имеющей компактный носитель и принадлежащей классу C вне X, так, что f m A f m,X и 1 — абсолютная постоянная (при этом f C m (X) продолжается до функции из C m (R3 )).

C m (X) множества функций, гармонических в окрестностях X.

Критерий принадлежности функций из hm (X) классу Hm (X) установлен в [4]. В диссертации это теорема 4.1 из §4.1. Она близка по форме критерию равномерной приближаемости (теореме 3.1) с единственным отличием: вместо гармонической емкости используется M 1+m (·) — обхват по Хаусдорфу порядка 1 + m. Напомним, что для ограниченного множества U R3 и t > 0 имеем:

где точная нижняя грань берется по всем покрытиям U не более, чем счетными наборами шаров Bk радиусов rk.

при r 0, такие, что для любого открытого шара B = B(a, r) (где a R3 — центр, r — радиус) с границей B выполнена оценка тогда f Hm (X). Обратно, если f Hm (X), то оценка (6) выполнена при k = 1.

В доказательстве теоремы 4.1 применяются схема А. Г. Витушкина, Стейн И.М. Сингулярные интегралы и дифференциальные свойства функций. М.: Мир, 1973, гл. 6, Теорема 3.

теорема Фростмана41 и специальная геометрическая конструкция §4.3.

Хотя формулировки теорем 4.1 и 3.1 близки, а схемы доказательств в ряде деталей совпадают, теорема 4.1 доказывается значительно проще и полностью конструктивно.

Напомним, что описание компактов X, таких, что hm (X) = Hm (X), получили42 Дж. Матеу и Дж. Оробич; по существу, это частный случай теоремы 4.1. Заметим, что в указанной работае (в отличие от доказательства теоремы 4.1) используются двойственные аргументы.

Теоремы 3.1 и 4.1, в сочетании с результатами работ П. В. Парамонова, Дж. Вердеры и А. Г. О’Фаррелла дают решение задачи о приближении индивидуальных гармонических функций в пространствах Липшица C m 0. Случай m = 1 изучен П. В. Парамоновым43 в терминах при всех m гармонической C 1 -емкости, случаи C m при 1 < m < 2 и целых m 2— Дж. Вердерой44 ; при остальных m — А. Г. О’Фарреллом45.

Автор искренне благодарен профессору Петру Владимировичу Парамонову за постановку ряда задач, внимание к результатам и многочисленные рекомендации по улучшению работ, М.Б. Балку, Е. П. Долженко, М.С. Мельникову, В.П. Хавину, К.Ю. Федоровскому и всем коллегам из Автономного университета Барселоны — за многолетнее плодотворное сотрудничество.

Публикации автора по теме диссертации [1] Мазалов М.Я. Критерий равномерной приближаемости на произвольных компактах для решений эллиптических уравнений // Матем. сборник. 2008. Т. 199. №1, С. 15–46.

[2] Мазалов М.Я. О равномерных приближениях бианалитическими функциями на произвольных компактах в C // Матем. сборник. 2004.

Карлесон Л. Избранные проблемы теории исключительных множеств. М.: Мир, 1971, гл. 2.

Mateu J., Orobitg J. Lipshitz approximation by harmonic functions and some applications to spectral sinthesis // Indiana Univ. Math. Journ. 1990. V. 39, P. 703–736.

Verdera J. Cm approximation by solutions of elliptic equations, and Calderon-Zygmund operators // Duke Math. J. 1987. V. 55, P. 157–187.

O’Farrell A.G. Metaharmonic approximation in Lipschitz norms // Proc. Roy. Irish Acad. 1975. V. 75A, P. 317–330.

[3] Мазалов М.Я. Критерий равномерной приближаемости гармоническими функциями на компактах в R3 // Труды Математического института им. В. А. Стеклова. 2012. Т. 279, С. 120–165.

[4] Мазалов М.Я. Критерий приближаемости гармоническими функциями в пространствах Липшица // Записки научных семинаров ПОМИ. 2012. Т. 401, С. 144–171.

[5] Мазалов М.Я. О задаче Дирихле для полианалитических функций // Матем. сборник. 2009. Т. 200. №10, С. 59–80.

[6] Мазалов М.Я. Равномерное приближение функций, непрерывных на произвольном компакте в C и аналитических внутри компакта, функциями, бианалитическими в его окрестности // Матем. заметки.

2001. Т. 69. №2, С. 245–261.

[7] Мазалов М.Я. Пример непостоянной бианалитической функции, обращающейся в нуль всюду на нигде не аналитической границе // Матем. заметки. 1997. Т. 62. № 4, С. 629–632.

[8] Мазалов М.Я. О задаче равномерного приближения гармонических функций // Алгебра и анализ. 2011. Т. 23. №4, С. 136–178.

[9] Мазалов М.Я. О равномерном приближении гармоническими функциями на компактах в R3 // Записки научных семинаров ПОМИ. 2011. Т. 389, С. 162–190.