2025-11-10T02:53:06.305187

Contractive Hardy--Littlewood inequalities in the Dirichlet range

Brevig, Kulikov, Seip et al.
The class $A_α^p$ consists of those analytic functions $f$ in the unit disc such that \[\|f\|_{α,p}^p := |f(0)|^p+\int_0^1 \left(\frac{d}{dr} M_p^p(r,f)\right) (1-r^2)^{α-1} \,dr < \infty,\] where $M_p^p(r,f)$ is the radial integral mean of $|f|^p$ and $0<α, p <\infty$. For $α>1$, $A_α^p$ is the standard weighted Bergman space, and $A_1^p=H^p$. We consider $A_α^p$ for $0<α<1$ and show that (weighted) isometric conformal invariance extends to this range, and we also clarify the relation between $A_α^p$ and the classical Besov spaces. Our main result is the contractive inequality $\|f\|_{β,q} \leq \|f\|_{α,p}$, valid when $0<α<β<\infty$ and $α/p=β/q$. We also identify the functions for which equality is attained. We thus extend recent results of the second-named author ($1\leq α<β$) and Llinares ($β=1$ and $p=2$). The extension of results from the classical range $1\leq α< \infty$ to the Dirichlet range $0<α<1$ uses arguments relying on analytic continuation.
academic

Контрактивные неравенства Харди-Литтлвуда в диапазоне Дирихле

Основная информация

  • ID статьи: 2510.14333
  • Название: Contractive Hardy--Littlewood inequalities in the Dirichlet range
  • Авторы: Ole Fredrik Brevig, Aleksei Kulikov, Kristian Seip, Ilya Zlotnikov
  • Классификация: math.CV (комплексный анализ), math.CA (классический анализ), math.FA (функциональный анализ)
  • Дата публикации: 17 октября 2025 г.
  • Ссылка на статью: https://arxiv.org/abs/2510.14333

Аннотация

В данной работе исследуются классы аналитических функций AαpA_α^p в единичном круге, состоящие из функций ff, удовлетворяющих условию: ∥f∥α,pp:=∣f(0)∣p+∫01(ddrMpp(r,f))(1−r2)α−1 dr<∞\|f\|_{α,p}^p := |f(0)|^p+\int_0^1 \left(\frac{d}{dr} M_p^p(r,f)\right) (1-r^2)^{α-1} \,dr < \infty

где Mpp(r,f)M_p^p(r,f) — радиальное интегральное среднее ∣f∣p|f|^p, 0<α,p<∞0<α, p <\infty. При α>1α>1 пространство AαpA_α^p является стандартным взвешенным пространством Бергмана; при α=1α=1 имеем A1p=HpA_1^p=H^p (пространство Харди). Авторы расширяют исследование на диапазон Дирихле 0<α<10<α<1, доказывают справедливость взвешенной изометрической конформной инвариантности в этом диапазоне и уточняют связь AαpA_α^p с классическими пространствами Бесова. Основной результат — контрактивное неравенство ∥f∥β,q≤∥f∥α,p\|f\|_{β,q} \leq \|f\|_{α,p}, справедливое при 0<α<β<∞0<α<β<\infty и α/p=β/qα/p=β/q.

Исследовательский контекст и мотивация

  1. Основная проблема: Данное исследование направлено на расширение неравенств типа Харди-Литтлвуда с классического диапазона 1≤α<∞1≤α<∞ на диапазон Дирихле 0<α<10<α<1, с особым акцентом на сохранение свойства контрактивности.
  2. Значимость:
    • Неравенства Харди-Литтлвуда берут начало в классических работах Харди и Литтлвуда и имеют глубокое влияние на комплексный анализ
    • Свойство контрактивности (константа равна 1) критично для приложений, таких как применение Хельсона к мультипликативным матрицам Ганкеля
    • Объединяет недавние результаты Куликова и Льинареса
  3. Существующие ограничения:
    • Предыдущие контрактивные неравенства Харди-Литтлвуда сосредоточены главным образом на случае α≥1α≥1
    • Исследование диапазона Дирихле 0<α<10<α<1 относительно недостаточно
    • Отсутствует единая теоретическая база
  4. Исследовательская мотивация:
    • Естественное расширение геометрических свойств пространств Бергмана на диапазон Дирихле
    • Предоставление единой базы для результатов Куликова и Льинареса
    • Исследование применения техники аналитического продолжения в теории функциональных пространств

Основные вклады

  1. Расширение взвешенной конформной инвариантности: Доказано, что AαpA_α^p обладает изометрической конформной инвариантностью с показателем κ=α/pκ=α/p в диапазоне Дирихле 0<α<10<α<1
  2. Установление главного контрактивного неравенства: Доказано, что при 0<α<β<∞0<α<β<∞ и α/p=β/qα/p=β/q справедливо ∥f∥β,q≤∥f∥α,p\|f\|_{β,q} ≤ \|f\|_{α,p}
  3. Характеризация условий равенства: Полностью определены функции, для которых достигается равенство: f(z)=C(1−wz)−2α/pf(z) = C(1-wz)^{-2α/p}
  4. Уточнение связи с пространствами Бесова: Установлены отношения включения между AαpA_α^p и BαpB_α^p для различных диапазонов параметров
  5. Разработка новых технических инструментов: Развита техника доказательства, основанная на аналитическом продолжении, расширяющая классический диапазон на диапазон Дирихле

Подробное описание методов

Определение задачи

Исследуются классы аналитических функций AαpA_α^p в единичном круге DD, где функция ff удовлетворяет: ∥f∥α,pp:=∣f(0)∣p+∫01(ddrMpp(r,f))(1−r2)α−1dr<∞\|f\|_{α,p}^p := |f(0)|^p + \int_0^1 \left(\frac{d}{dr} M_p^p(r,f)\right) (1-r^2)^{α-1} dr < ∞

Здесь Mpp(r,f):=∫02π∣f(reiθ)∣pdθ2πM_p^p(r,f) := \int_0^{2π} |f(re^{iθ})|^p \frac{dθ}{2π} — радиальное интегральное среднее.

Основная техническая база

1. Тождество Харди-Стейна

Используется тождество Харди-Стейна: ddrMpp(r,f)=p22r∫rD∣f(z)∣p−2∣f′(z)∣2dm(z)\frac{d}{dr} M_p^p(r,f) = \frac{p^2}{2r} \int_{rD} |f(z)|^{p-2}|f'(z)|^2 dm(z)

Норма переписывается как интеграл Литтлвуда-Пэли: ∥f∥α,pp=∣f(0)∣p+p24∫D∣f(z)∣p−2∣f′(z)∣2ωα(∣z∣2)dm(z)\|f\|_{α,p}^p = |f(0)|^p + \frac{p^2}{4} \int_D |f(z)|^{p-2}|f'(z)|^2 ω_α(|z|^2) dm(z)

где ωα(x)=∫x1(1−r)α−1rdrω_α(x) = \int_x^1 \frac{(1-r)^{α-1}}{r} dr.

2. Техника аналитического продолжения

Ключевое нововведение заключается в использовании аналитического продолжения для расширения с известного классического диапазона α>1α>1 на диапазон Дирихле 0<α<10<α<1:

  • Для фиксированного 0<ϱ<10<ϱ<1 функция Fϱ(α):=∥Tw,α/pfϱ∥α,ppF_ϱ(α) := \|T_{w,α/p}f_ϱ\|_{α,p}^p аналитична в правой полуплоскости Reα>0\text{Re}α>0
  • На вещественной оси α>1α>1 известно, что Fϱ(α)=∥fϱ∥α,ppF_ϱ(α) = \|f_ϱ\|_{α,p}^p
  • По теореме тождества для аналитических функций это равенство справедливо во всей правой полуплоскости

3. Метод гиперболической меры

Для доказательства главного неравенства вводится гиперболическая мера: dmh(z):=dm(z)(1−∣z∣2)2dm_h(z) := \frac{dm(z)}{(1-|z|^2)^2}

Определяется μ(t):=mh({z:∣f(z)∣σ(1−∣z∣2)>t})μ(t) := m_h(\{z: |f(z)|^σ(1-|z|^2) > t\}) и используется монотонность функции g(t):=t(μ(t)+1)g(t) := t(μ(t)+1).

Технические инновации

  1. Систематическое применение аналитического продолжения: Впервые систематически используется техника аналитического продолжения для расширения свойств функциональных пространств с классического диапазона на диапазон Дирихле
  2. Единая схема доказательства: Функция Φ(α,σ,f)Φ(α,σ,f) обеспечивает единый подход к обработке различных диапазонов параметров
  3. Точная характеризация условий равенства: Полностью охарактеризованы функции, для которых достигается равенство в неравенстве, что редко встречается в предыдущих исследованиях

Основные результаты

Теорема 1.1 (Конформная инвариантность)

Для 0<α<∞0<α<∞ и 0<p<∞0<p<∞, если f∈Aαpf ∈ A_α^p, то для любого w∈Dw ∈ D имеем Tw,α/pf∈AαpT_{w,α/p}f ∈ A_α^p и ∥f∥α,p=∥Tw,α/pf∥α,p\|f\|_{α,p} = \|T_{w,α/p}f\|_{α,p}

Теорема 1.3 (Главное контрактивное неравенство)

Если 0<α<β<∞0<α<β<∞ и 0<p<q<∞0<p<q<∞ удовлетворяют α/p=β/qα/p = β/q, то ∥f∥β,q≤∥f∥α,p\|f\|_{β,q} ≤ \|f\|_{α,p} для всех f∈Aαpf ∈ A_α^p. Равенство достигается тогда и только тогда, когда f(z)=C(1−wz)−2α/pf(z) = C(1-wz)^{-2α/p}.

Теорема 1.6 (Связь с пространствами Бесова)

Предположим 0<α≤10<α≤1:

  • Если 0<p≤20<p≤2, то Bαp⊂AαpB_α^p ⊂ A_α^p
  • Если 2≤p<∞2≤p<∞, то Aαp⊂BαpA_α^p ⊂ B_α^p
  • Если p≠2p≠2, то Aαp≠BαpA_α^p ≠ B_α^p

Теорема 1.7 (Свойства оператора сдвига)

Для 0<α<10<α<1 и 0<p<∞0<p<∞ оператор сдвига SS на AαpA_α^p является строго расширяющим и достигает норму: ∥S∥α,pp=1+2(1−α)∫01(1−rp)(1−r2)α−2rdr\|S\|_{α,p}^p = 1 + 2(1-α) \int_0^1 (1-r^p)(1-r^2)^{α-2} r dr

Детали техники доказательства

Ключевая лемма 3.2

Устанавливается формула представления: для функции ff, аналитической в замкнутом единичном круге и ненулевой на единичной окружности, Φ(α,σ,f)=∥f∥α,σασαΦ(α,σ,f) = \|f\|_{α,σα}^{σα}

Доказательство разбивается на два этапа:

  1. Для α>1α>1 используются интегральные преобразования и интегрирование по частям
  2. Расширение на α>0α>0 через аналитическое продолжение

Ключевая лемма 3.3

Доказывается контрактивность функции ΦΦ: (Φ(β,σ,f))1/q≤(Φ(α,σ,f))1/p(Φ(β,σ,f))^{1/q} ≤ (Φ(α,σ,f))^{1/p} при 0<α<β0<α<β и σ=p/α=q/βσ=p/α=q/β.

Приложения и следствия

Следствие 1.2 (Поточечные оценки)

∣f(w)∣p(1−∣w∣2)α≤∥f∥α,pp|f(w)|^p(1-|w|^2)^α ≤ \|f\|_{α,p}^p

Следствие 1.4 (Поведение на границе)

lim⁡∣w∣→1−∣f(w)∣p(1−∣w∣2)α=0\lim_{|w|→1^-} |f(w)|^p(1-|w|^2)^α = 0

Следствие 1.5 (Оценки мажорирующей функции)

  • При 0<p≤20<p≤2: (Mf(∣w∣))p(1−∣w∣2)α≤∥f∥α,pp(M_f(|w|))^p(1-|w|^2)^α ≤ \|f\|_{α,p}^p
  • При 2<p<∞2<p<∞: существуют контрпримеры

Связанные работы

  1. Классическая теория Харди-Литтлвуда: Берет начало в исследованиях дробных интегралов Харди и Литтлвуда
  2. Неравенство Карлемана: Первое контрактивное неравенство Харди-Литтлвуда
  3. Работы Куликова: Установление контрактивных неравенств в диапазоне 1≤α<∞1≤α<∞
  4. Результаты Льинареса: Рассмотрение специального случая β=1β=1, p=2p=2
  5. Теория пространств Бесова: Классические результаты Дякова и Люкинга

Заключение и обсуждение

Основные выводы

  1. Успешное расширение: Контрактивные неравенства Харди-Литтлвуда полностью расширены на диапазон Дирихле
  2. Сохранение геометрических свойств: Конформная инвариантность полностью сохраняется в расширенном диапазоне
  3. Точная характеризация: Полностью определены экстремальные функции

Ограничения

  1. Свойства линейного пространства: Остается открытым вопрос, является ли AαpA_α^p линейным пространством при 0<α<10<α<1 и p≠2p≠2
  2. Технические ограничения: Метод аналитического продолжения требует, чтобы функции удовлетворяли определенным условиям регулярности
  3. Вычислительная сложность: Точное вычисление некоторых интегралов остается затруднительным

Направления будущих исследований

  1. Проблема 1: Определение свойств линейного пространства AαpA_α^p в диапазоне Дирихле
  2. Проблема 2: Исследование монотонности p↦∥f∥Aαpp ↦ \|f\|_{A_α^p}
  3. Обобщающие приложения: Применение техники к другим функциональным пространствам

Глубокая оценка

Достоинства

  1. Техническая новизна: Систематическое применение аналитического продолжения является важным нововведением
  2. Теоретическая полнота: Предоставляется полная теоретическая база, объединяющая несколько известных результатов
  3. Точность результатов: Не только доказаны неравенства, но и полностью охарактеризованы условия равенства
  4. Универсальность методов: Разработанная техника применима к связанным задачам

Недостатки

  1. Открытые проблемы: Оставлены важные открытые вопросы о свойствах линейного пространства
  2. Высокий технический уровень: Метод аналитического продолжения предъявляет высокие требования к читателю
  3. Область приложений: Результаты в основном теоретические, практические приложения требуют дальнейшей разработки

Влияние

  1. Теоретический вклад: Предоставляет новые инструменты для комплексного анализа и теории функциональных пространств
  2. Методологическое значение: Демонстрирует мощь аналитического продолжения в исследовании функциональных пространств
  3. Основа для дальнейших исследований: Закладывает фундамент для последующих исследований в смежных областях

Области применения

  1. Теоретические исследования: Комплексный анализ, гармонический анализ, теория функциональных пространств
  2. Технические приложения: Потенциальные приложения в обработке сигналов, анализе изображений и других областях
  3. Педагогическая ценность: Демонстрирует современные техники и идеи комплексного анализа

Библиография

Статья цитирует 21 важный источник, включая:

  • Классические работы Харди и Литтлвуда 8
  • Оригинальные источники тождества Харди-Стейна 16
  • Последние результаты Куликова 10
  • Классическую теорию пространств Бесова 6, 13
  • Связанные исследования конформной инвариантности 1