На правах рукописи
Лохару Евгений Эдуардович
Мультипликативные неравенства для
максимальных функций, измеряющих
гладкость
Специальность 01.01.01 — вещественный, комплексный и
функциональный анализ
АВТОРЕФЕРАТ
диссертации на соискание ученой степени
кандидата физико-математических наук
Санкт-Петербург 2012
Работа выполнена в лаборатории математического анализа Федерального государственного бюджетного учреждения науки Санкт-Петербургского отделения Математического института имени В. А. Стеклова Российской академии наук
НАУЧНЫЙ РУКОВОДИТЕЛЬ:
доктор физико-математических наук, чл.-корр. РАН Кисляков Сергей ВитальевичОФИЦИАЛЬНЫЕ ОППОНЕНТЫ:
доктор физико-математических наук, профессор Широков Николай Алексеевич, кандидат физико-математических наук, доцент Васин Андрей ВасильевичВЕДУЩАЯ ОРГАНИЗАЦИЯ:
Федеральное государственное бюджетное учреждение науки Математический институт им. В. А. Стеклова Российской академии наукЗащита диссертации состоится 2012 года в часов на заседании диссертационного совета Д002.202.01 в Федеральном государственном бюджетном учреждении науки Санкт-Петербургском отделении Математического института имени В. А. Стеклова Российской академии наук по адресу:
191023, Санкт-Петербург, наб. р. Фонтанки, д. 27, к. 311.
С диссертацией можно ознакомиться в библиотеке Федерального государственного бюджетного учреждения науки Санкт-Петербургском отделении Математического института имени В. А. Стеклова Российской академии наук.
Автореферат разослан “ ” 2012 года.
Ученый секретарь диссертационного совета, доктор физико-математических наук А. Ю. Зайцев
Общая характеристика работы
Объект исследования и научные положения, выносимые на защиту. Основные объекты исследования — интерполяционные неравенства для производных и их обобщения, а также максимальные операторы, измеряющие гладкость.
Первый результат, выносимый на защиту, — аналог неравенства Гальярдо–Ниренберга в терминах максимальных функций, измеряющих гладкость. Второй результат, который выносится на защиту, — явные контрпримеры функций, ясно демонстрирующие разницу между двумя основными максимальными операторами Ms,p и Ms,p. Третий результат, подлежащий защите, — интерполяционные неравенства для максимальных функций Ms,pf и Ms,pf одного порядка гладкости.
Цели и задачи диссертации. В этой работе автор ставит перед собой цель продемонстрировать и математически строго обосновать новый подход к вопросам, связанным с интерполяционными неравенствами для производных, и теоремам вложения для различных функциональных пространств.
Методы исследования. Основные результаты диссертации получены методами теории максимальных функций, измеряющих гладкость.
Достоверность научных положений. Все результаты, которые выносятся на защиту, являются математически достоверными фактами. Они были опубликованы в рецензируемых журналах, а их доказательства неоднократно проверялись специалистами в той области, к которой эти результаты относятся.
Научная новизна. Все результаты, выносимые на защиту, являются новыми.
Актуальность, практическая ценность и область применения результатов. Новые сведения и закономерности, описанные в этой диссертации, могут быть использованы для получения новых результатов в этой области или в близких к ней, таких как теория функциональных пространств, теоремы вложения и т.д.
Апробация работы. Результаты диссертации докладывались на общегородском семинаре по линейному и комплексному анализу в Санкт-Петербурге, а также на семинаре по теории функций многих действительных переменных и ее приложениям к задачам математической физики в Москве.
Публикации. Результаты, выносимые на защиту
, опубликованы в работах [Lh, Lh1, Lh2]. Все три статьи напечатаны в журналах из списка ВАК.
Структура и обьем работы. Диссертация состоит из введения и пяти параграфов, разбитых в общей сложности на пунктов и занимает 74 страницы. Библиография содержит наименований.
Содержание работы Мультипликативные интерполяционные неравенства для производных широко известны в анализе и его приложениях к различным задачам математической физики. Речь здесь идет о неравенствах, позволяющих оценивать норму функции или ее производной выражением, в котором участвуют норма самой функции и норма старшей производной. Классический пример неравенства такого рода — знаменитое неравенство Ландау–Колмогорова:
Это неравенство, верное для всех функций f из класса C (k)(I), для k = 2, где I = R или I = R+, было получено в 1913 году Эдмундом Ландау [La]. Им также были установлены оптимальные константы — 2 и 2 соответственно. В 1939 году Колмогоров (см. [Kol]) доказал точный вариант неравенства (1) для всех значений параметров k и l (1 l < k), когда I = R. Другое, не менее известное, неравенство Гальярдо– Ниренберга позволяет оценивать уже не равномерную норму, как в случае неравенства Ландау–Колмогорова, а средние от производных (их лебеговы нормы). Оно выглядит так:
|| f ||Lq (Rn) Cs,k,n||f ||Lr (Rn)|| f ||Lp(Rn), венство предполагает, что f Wp Lr, где Wp — однородное пространство Соболева. Это неравенство было независимо получено в 1959 году Гальярдо [G] и Ниренбергом [N]. Позднее было опубликовано много работ, содержащих различные обобщения неравенства (2) и его аналоги. Прежде чем перейти к обзору соответствующих результатов, стоит сказать несколько слов о поточечных мультипликативных неравенствах.
Возвращаясь к неравенству Гальярдо–Ниренберга, отметим, что в явном виде его поточечный аналог уже не будет иметь места. Имеется в виду следующее неравенство:
Для того, чтобы убедиться в том (для примера, когда k = 2), что это неравенство оказывается несостоятельным, достаточно рассмотреть любую финитную и гладкую функцию, которая линейна на некотором отрезке I, а ее производная не обращается на I в ноль. Для такой функции правая часть неравенства (3) обратится в ноль на всем отрезке, в то время как левая часть будет отлична от нуля. В связи с этим возникает вопрос: можно ли все же ожидать найти какое-то поточечное неравенство, включающее в себя классическое неравенство (2)? Оказывается, ответ на этот вопрос положительный.
Здесь стоит вспомнить о другом объекте — сингулярных интегральных операторах Кальдерона–Зигмунда. Такие операторы ограничены в Lp, 1 < p <, однако поточечной оценки вида нет, кроме вырожденных случаев. Однако, можно получить поточечное неравенство (см., например, [GR]), если перейти к максимальным функциям:
Здесь M — максимальный оператор Харди–Литтлвуда:
а через f мы обозначаем функцию Феффермана–Стейна где fQ — среднее значение функции f по кубу Q. В этих определениях супремум берется по всем кубам Q, содержащим точку x Rn. Здесь и далее мы будем рассматривать только те кубы, у которых стороны параллельны осям координат.
Поточечное неравенство (5) (которое само по себе не очень трудно) сводит оценки сингулярных интегральных операторов на идеальных пространствах к оценкам максимальных функций. Эти соображения в свое время были применены к выводу ограниченности сингулярных операторов в пространствах Lr (), где 1 < r <, а вес удовлетворяет известному условию Макенхаупта Ar (см. [GR]).
Теперь обратимся к неравенству (2). По-видимому, стоит ожидать и здесь наличия оценок, похожих на (5), в которых будут фигурировать некоторые максимальные операторы.
Действительно, в 1994 году в своей работе [K] Агнешка Каламайска получила подобное неравенство:
Здесь 0 < s < k — целые неотрицательные числа, а P — некоторый полином степени не более k (он зависит от функции f ). Последнее неравенство верно для всех функций f (константа C от выбора функции не зависит), которые локально принадлежат классу Соболева W1 и для которых выполнено условие:
Через B(x, r) мы обозначаем шар в пространстве Rn с центром в точке x и радиусом r.
Немного позднее, очень похожее на (8) неравенство было получено в работе В. Мазьи и Т. Шапошниковой в 1999 г. (см.
[MzSh]):
Для доказательства этого неравенства они использовали следующую формулу интегрального представления функции из класса Соболева (см. [MzPo, §1.5.1]):
Здесь = n(x/), где неотрицательная функция принадлежит классу C0 (B(0, 1)) и такова, что = 1. В свою очередь, пространство BM O состоит из тех функций f L1 (Rn), для которых (иными словами, f L).
Нужно сказать, что несмотря на очевидное сходство природы упомянутых неравенств, их доказательства имеют мало общего между собой, что явно указывает на несоответствие и неприспособленнось использованных технических инструментов к рассматриваемому кругу задач.
В связи с этим возникает вопрос о возможном едином подходе к этим и им подобным неравенствам. Такой подход предложен автором в этой работе. Он заключается в следующем: вместо того, чтобы рассматривать производные и доказывать неравенства для них, оказывается более удобным рассматривать определенные максимальные операторы, специально приспособленные для измерения гладкости, и уже для них единообразно проверять мультипликативные неравеснтва. Такие объекты не новы, в 1972 году в работе Кальдерона (см. [Ca]) были введены подобные максимальные операторы и установлена их связь с дифференциальными свойствами функции. Определение, данное Кальдероном, выглядит следующим образом. Для произвольных вещественных чисел s > 0 и 1 q рассмотрим функцию f Lq (Rn) и определим где Px — некоторый полином степени, строго меньшей, чем s.
Это равенство нужно понимать так: если для заданной точки x Rn найдется полином Px степени, строго меньшей, чем s (он не зависит от радиуса шара), для которого супремум в определении (15) конечен, то мы определяем величину Nqsf (x) по формуле (15), в противном случае мы считаем, что Nqsf (x) = +. Можно показать (см. [Ca]), что если такой полином Px существует, то он единственен. В той работе, помимо прочего, было доказано, что если функция Nqsf локальносуммируема (s — целое), то f W1,loc и справедлива оценка Чуть позднее, в 1978 году вышла совместная работа Кальдерона и Скотта (см. [CaSc]), где были доказаны неравенства типа Соболева для максимальных операторов Nqs. Вслед за этой работой, в 1984 вышла книга Девора и Шарпли [DvSh], посвященная максимальным функциям, измеряющим гладкость. Девор и Шарпли рассматривают максимальные операторы, похожие на (15), определяемые в терминах локальных полиномиальных приближений: для заданной функции f Lp, где 1 p, положим Здесь A — ограниченное измеримое множество, а через Pk мы обозначаем множество всех полиномов степени не более k. В дальнейшем условимся считать, что P1 = {0}. В райp) оне 1984 года свойства функционала Ek (f, A) были уже хорошо известны (также как и функциональные пространства, определяемые в терминах локальных полиномиальных приближений; см. работы Ю. Брудного [B], [B1], [B2]). Таким образом, достаточно естественно, что Девор и Шарпли определяют максимальные операторы, используя конструкцию (16):
Mk,p,sf (x) := sup inf Максимальные операторы (17) интересны прежде всего тем, что с их помощью удается единообразно описать классические пространства “гладких” функций: однородные пространства Соболева Wqs и однородные пространства Липшица Lip, где > 0 (см. изложение в монографиях [KK], [DvSh]).
Именно эти максимальные операторы, как оказалось, представляют собой естественный инструмент для доказательства различных интерполяционных неравенств. В работе автора [Lh] был получен поточечный аналог неравенства Гальярдо– Ниренберга в терминах максимальных операторов Mk,p,s. Благодаря свойствам этих максимальных операторов, доказанное неравенство естественным образом включает в себя все перечисленные ранее результаты. Кроме того, это неравенство оказывается справедливым в классе функций, существенно более широком, чем классы Соболева.
Среди максимальных операторов вида (17) можно выделить два наиболее естественных оператора (в случае целого s):
Для s = 0 мы получим максимальный оператор Харди– Литтлвуда M и “шарп” функцию Феффермана–Стейна f #.
Хорошо известно (теорема Феффермана–Стейна, см. [FS]), что Lp-нормы функций M f и f # сравнимы, когда f Lp и p > 1. Однако, в случае положительной гладкости ситуация иная. Операторы Ms,p и Ms,p, отвечающие одному и тому же порядку гладкости, оказываются количественно очень разными: функция Ms,pf может быть существенно меньше, чем функция Ms,pf. Автором (см. [Lh1]) в общем случае приводится явный пример финитной и непрерывной функции f, для которой Lq -норма функции Ms,pf конечна, в то время как ||Ms,pf ||q =.
Важная особенность всех неравенств, полученных автором, в том, что они позволяют оценивать “большую” максимальную функцию Ms,p через “меньшую” Mk,pf (однако другого порядка гладкости).
Отдельный вопрос — наличие оценок для функций Ms,pf и Ms,pf (здесь рассматриваются операторы одного порядка гладкости, которые в явном виде не сравнимы между собой, см. [Lh1]). Оказалось (см. [Lh2]), что при некоторых дополнительных ограничениях на функцию f неравенства такого плана получить удается. Этому вопросу посвящен §4 настоящей диссертации.
Описание диссертации по главам и параграфам. Первый параграф настоящей работы содержит основные сведения, относящиеся к теории максимальных функций, измеряющих гладкость.
В пункте 1.1 мы дадим два похожих определения максимальных операторов Mk,p,s и докажем их эквивалентность.
Первое определение использует конструкцию наилучшего полиномиального приближения, а второе — конструкцию проектора, дающего многочлен “почти” наилучшего приближения.
Будут введены максимальные операторы Ms,p и Ms,p, играющие ключевую роль в последующем изложении. Кроме этого, в пункте 1.1 мы обсудим важные свойства рассматриваемых максимальных операторов и докажем оценку (утверждение 1.1.4), связывающаю L-норму оператора Ms,p с нормой соответствующей производной в пространстве BM O.
Пункт 1.2 посвящен редукционной теореме, играющей ключевую роль во многих вопросах, связанных с максимальными функциями, измеряющими гладкость. Эта теорема показывает, что для фиксированного порядка гладкости s 0 значения параметра k, строго большие [s], будут давать сравнимые с Ms,p максимальные операторы (также мы рассмотрим случай k < [s], который приводит к вырождению).
Во втором параграфе мы докажем первый важный результат — неравенство Гальярдо–Ниренберга в терминах максимальных функций Ms,p и Ms,p:
Теорема 1. Если < s <, то Неравенство справедливо для всех функций f из пространства Lp (Rn) (p 1), удовлетворяющих условию Замечание. Важно отметить, что параметры, и s могут быть и не целыми.
Пункт 2.1 посвящен обсуждению теоремы 1 и ее следствий.
В пункте 2.2 содержится доказательство основной леммы, которая используется для доказательства теоремы 1. Эта лемма дает контроль над изменением (относительно множества Q) величины Ms,p,Qf из определения функции Ms,pf с помощью “меньшей” функции Ms,pf. В пункте 2.3 мы докажем ряд других необходимых технических утверждений. Непосредственное доказательство теоремы 1 содержится в п. 2.4.
В начале §3 мы докажем вторую важную теорему, которая неоднократно будет использована в дальнейшем.
Теорема 2. Пусть f Lq, q 1. Тогда для любого вещественного s > 0 справедлива оценка Остальная часть §3 посвящена доказательству следующей теоремы вложения и ее следствий.
Теорема 3. Пусть Ms,pf Lr, где 1 r <. Тогда найдется полином f степени не более s, для которого в частности, если s (0, 1], то и при этом справедлива оценка для нормы 3) если rs = n, то f f BM O и, кроме того, Из утверждения этой теоремы можно сразу получить классические результаты о вложениях соболевских пространств Wp, когда p > 1. Однако, важно отметить, что теорема верна для пространств, более широких, нежели пространства Соболева. Это обстоятельство связано с качественной разницей между операторами Ms,p и Ms,pf (этот вопрос подробно обсуждается в §5). Когда p = 1, доказательство теоремы 3 можно найти в книге [DvSh].
Следствие 1. Пусть f Lq (Rn) и Ms,pf Lr (Rn), где rs > n и 1 r, q <. Тогда для любого числа из интервала (0, 1) справедлива оценка Следствие 2. Пусть rk > n. Предположим, что f Lq (Rn) и Mk,pf Lr (Rn), тогда Следствие 3. Пусть rk > n. Предположим, что f Lq (Rn) и Mk,pf Lr (Rn), тогда для любого 0 < rkn функция f принадлежит однородному пространству Липшица Lip и, кроме того, справедлива оценка В §4 мы докажем три теоремы для максимальных функций Ms,pf и Ms,pf одного порядка гладкости. Далее следует основной результат §4:
Теорема 4. Пусть 0 s < (не обязательно целые) и p 1.
Предположим, что функция Ms,pf принадлежит пространству Lq (Rn), тогда для любого 1 < справедлива оценка ||Ms,p(f )|| C ||Ms,pf || + C ||Ms,pf ||q ||M,pf ||, где = 1 + q s, а — некоторый многочлен степени не более s, который зависит от функции f и не зависит от параметров и.
Ключевая особенность доказанных в §4 оценок в том, что в этих неравенствах слева и справа участвуют “несравнимые” максимальные функции Ms,pf и Ms,pf.
В §5 мы обсудим вопрос о связи функций Ms,pf и Ms,pf.
Для всех возможных значений параметров мы явно сконструируем финитную и непрерывную функцию f, для которой Ms,pf L Lq, в то время как ||Ms,pf ||q = (слабые производные порядка s у функции f просто не существуют).
Мы начнем со случая, когда гладкость и размерность равны единице (п. 5.1). Тогда пример оказывается абсолютно наглядным. Затем (в п. 5.2) на его основе построим одномерный контрпример, отвечающий случаю произвольной гладкости.
Это, в свою очередь, позволит нам разобрать общую ситуацию произвольных гладкости и размерности (см. п. 5.3). Основной результат §5 содержится в приводимой далее теореме.
Теорема 5. Пусть s > 0. Тогда для любых p 1 и q > sp+n существует финитная и непрерывная функция, для которой Список литературы [B] Ю. Брудный, О локальном наилучшем приближении, ДАН 161:4 (1965), 746-749.
[B1] Ю. Брудный, Пространства, определяемые с помошью локальных приближений, Труды ММО [B2] Ю. Брудный, Локальные приближения и дифференцируемость функций многих переменных, УМН, 29:4(178) (1974), 163– [Ca] A. Calderon, Estimates of singular integral operatros in terms of maximal functions, Studia Math. 44 (1972), [CaSc] A. Calderon and R. Scott, Sobolev type inequalities for p > 0, Studia Math. 62 (1978), 75-92.
[DvSh] R. DeVore and R. Sharpley, Maximal functions measuring smoothness, Memoirs of the American Mathematical Society, volume 47, number 293 (1984).
[F] C. Feerman. Characterizations of bounded mean oscillation, Bull. Amer. Math. Soc. 77 (1971) 585–587.
C. Feerman and E.M. Stein, H p spaces of several [FS] variables, Acta Math. 129 (1972), 137-193.
[G] E. Gagliardo, Ulteriori Propriet` di alcune classi di funzioni in pi` variabili, Ric. Mat. Napoli 8 (1959), 24u [GR] e ia-Cuerva, J.-L. Rubio de Francia Weighted norm inequalities and related topics Elsevier Science Ltd, North-Holland, [K] A. Kalamajska, Pointwise multiplicative inequalities and Nirenberg type estimates in weighted Sobolev spaces, Studia Math. 108(3), s. 275-290, 1994.
[KMi] A. Kalamajska, A. Milani, Anisotropic Sobolev spaces and parabolic equations, Ulmer Seminare Euber Funktionalanalysis und Dierentialgleichungen, Heft [Kol] A.N. Kolmogorov, On inequalities between upper bounds of consecutive derivatives of an arbitrary function dened on an arbitrary interval, Moskov. Gos. Univ.
Uchenye Zapiski Mat. 30 (3) (1939), 3-16.
[KV] A. Kufner, A. Wannebo, An interpolation inequality involving holder norms, Georgian Mathematical Journal:
Vol. 2, No. 6, 1995, 603-612.
[KK] S. Kislyakov, N. Kruglyak, Extremal problems in interpolation theory, Whitney-Besicovitch coverings, and singular integrals, Monograe Matematyczne, Birkhuser. (В печати).
[La] E. Landau Einige Ungleichungen fr zweimal dierentiierbare Funktionen, Proc. London Math.
Soc. (2) 13 (1914), 43-49.
[Mz] V. Maz’ya Sobolev spaces, Springer, 1985.
[MzKu] V. Maz’ya, A. Kufner, Variations on the theme of the inequality (f )2 2f sup f, Manuscripta Math. (1986), 89–104.
[MzSh] V. Maz’ya, T. Shaposhnikova, On pointwise interpolation inequalities for derivatives, Mathematica Bohemica, 124 (1999).
[MzPo] V. Maz’ya, S. Poborchi, Dierentiable functions on bad domains, World Scientic Publishing, Singapore, 1997.
[MR] Y. Meyer and T. Rivi`re, A partial regularity result for a class of stationary Yang-Mills elds, Rev. Mat.
Iberoamericana 19 (2003) 195-219.
[N] L. Nirenberg, On elliptic partial dierential equations, Ann. Sc. Norm. Pisa 13 (1959), 116-162.
[S] E. M. Stein, Harmonic analysis: real-variable methods, orthogonality and oscillatory integrals Princeton Univ.
Press, Princeton, NJ, 1993.
[Strz] P. Strzelecki, Gagliardo-Nirenberg inequalities with a BMO term, Bull. London Math. Soc. 38 (2006) 294-300.
Публикации автора по теме диссертации [Lh] Лохару Е.Э. Неравенство Гальярдо–Ниренберга для максимальных функций, измеряющих гладкость // Записки научных семинаров ПОМИ им В.А.Стеклова Российской академии наук. 2011. Том 389. С. 143-161.
[Lh1] Лохару Е.Э. Максимальные функции, измеряющие гладкость: контрпримеры // Записки научных семинаров ПОМИ им В.А.Стеклова Российской академии наук. 2011.
[Lh2] Лохару Е.Э. Интерполяционные неравенства для максимальных функций, измеряющих гладкость // Алгебра и анализ. 2012. Том 24. №2.