Contractive Hardy–Littlewood inequalities in the Dirichlet range

Basic Information

• Paper ID: 2510.14333
• Title: Contractive Hardy–Littlewood inequalities in the Dirichlet range
• Authors: Ole Fredrik Brevig, Aleksei Kulikov, Kristian Seip, Ilya Zlotnikov
• Classification: math.CV (Complex Variables), math.CA (Classical Analysis), math.FA (Functional Analysis)
• Publication Date: October 17, 2025
• Paper Link: https://arxiv.org/abs/2510.14333

Abstract

This paper investigates the class $A_α^p$ of analytic functions in the unit disk, consisting of functions $f$ satisfying: $\|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$. When $α>1$, $A_α^p$ is the standard weighted Bergman space; when $α=1$, $A_1^p=H^p$ (Hardy space). The authors extend the research to the Dirichlet range $0<α<1$, proving that weighted isometric conformal invariance holds in this range and clarifying the relationship between $A_α^p$ and classical Besov spaces. The main result is the contractive inequality $\|f\|_{β,q} \leq \|f\|_{α,p}$ when $0<α<β<\infty$ and $α/p=β/q$.

Research Background and Motivation

1. Core Problem: This research aims to extend Hardy-Littlewood type inequalities from the classical range $1≤α<∞$ to the Dirichlet range $0<α<1$, with particular focus on preserving contractive properties.
2. Significance:
   • Hardy-Littlewood inequalities originate from classical work by Hardy and Littlewood with profound influence in complex analysis
   • Contractive properties (with constant 1) are crucial for applications, such as Helson's work on multiplicative Hankel matrices
   • Unifies recent results by Kulikov and Llinares
3. Existing Limitations:
   • Previous contractive Hardy-Littlewood inequalities have focused primarily on the case $α≥1$
   • Research on the Dirichlet range $0<α<1$ remains relatively sparse
   • Lack of a unified theoretical framework
4. Research Motivation:
   • Naturally extend geometric properties of Bergman spaces to the Dirichlet range
   • Provide a unified framework for results by Kulikov and Llinares
   • Explore applications of analytic continuation techniques in function space theory

Core Contributions

1. Extended weighted conformal invariance: Proved that $A_α^p$ possesses isometric conformal invariance with exponent $κ=α/p$ in the Dirichlet range $0<α<1$
2. Established the main contractive inequality: Proved that $\|f\|_{β,q} ≤ \|f\|_{α,p}$ when $0<α<β<∞$ and $α/p=β/q$
3. Characterized equality conditions: Completely determined the functions for which equality holds: $f(z) = C(1-wz)^{-2α/p}$
4. Clarified relationship with Besov spaces: Established inclusion relationships between $A_α^p$ and $B_α^p$ for different parameter ranges
5. Provided new technical tools: Developed proof techniques based on analytic continuation, extending from the classical range to the Dirichlet range

Detailed Methodology

Problem Definition

Study the class $A_α^p$ of analytic functions in the unit disk $D$, where function $f$ satisfies: $\|f\|_{α,p}^p := |f(0)|^p + \int_0^1 \left(\frac{d}{dr} M_p^p(r,f)\right) (1-r^2)^{α-1} dr < ∞$

Here $M_p^p(r,f) := \int_0^{2π} |f(re^{iθ})|^p \frac{dθ}{2π}$ is the radial integral mean.

Core Technical Framework

1. Hardy-Stein Identity

Utilizing the Hardy-Stein identity: $\frac{d}{dr} M_p^p(r,f) = \frac{p^2}{2r} \int_{rD} |f(z)|^{p-2}|f'(z)|^2 dm(z)$

The norm is rewritten as a Littlewood-Paley integral: $\|f\|_{α,p}^p = |f(0)|^p + \frac{p^2}{4} \int_D |f(z)|^{p-2}|f'(z)|^2 ω_α(|z|^2) dm(z)$

where $ω_α(x) = \int_x^1 \frac{(1-r)^{α-1}}{r} dr$.

2. Analytic Continuation Technique

The key innovation lies in using analytic continuation to extend from the known classical range $α>1$ to the Dirichlet range $0<α<1$:

• For fixed $0<ϱ<1$, the function $F_ϱ(α) := \|T_{w,α/p}f_ϱ\|_{α,p}^p$ is analytic in the right half-plane $\text{Re}α>0$
• On the real numbers $α>1$, it is known that $F_ϱ(α) = \|f_ϱ\|_{α,p}^p$
• By the identity theorem for analytic functions, this equality holds throughout the entire right half-plane

3. Hyperbolic Measure Method

To prove the main inequality, introduce the hyperbolic measure: $dm_h(z) := \frac{dm(z)}{(1-|z|^2)^2}$

Define $μ(t) := m_h(\{z: |f(z)|^σ(1-|z|^2) > t\})$ and utilize the monotonicity of the function $g(t) := t(μ(t)+1)$.

Technical Innovations

1. Systematic application of analytic continuation: First systematic use of analytic continuation techniques to extend function space properties from the classical range to the Dirichlet range
2. Unified proof framework: Provides a unified method for handling different parameter ranges through the function $Φ(α,σ,f)$
3. Precise equality conditions: Completely characterizes the functions for which equality holds in the inequality, which is rarely seen in previous research

Main Results

Theorem 1.1 (Conformal Invariance)

For $0<α<∞$ and $0<p<∞$, if $f ∈ A_α^p$, then for any $w ∈ D$, we have $T_{w,α/p}f ∈ A_α^p$ and $\|f\|_{α,p} = \|T_{w,α/p}f\|_{α,p}$

Theorem 1.3 (Main Contractive Inequality)

If $0<α<β<∞$ and $0<p<q<∞$ satisfy $α/p = β/q$, then $\|f\|_{β,q} ≤ \|f\|_{α,p}$ holds for all $f ∈ A_α^p$. Equality holds if and only if $f(z) = C(1-wz)^{-2α/p}$.

Theorem 1.6 (Relationship with Besov Spaces)

Assume $0<α≤1$:

• If $0<p≤2$, then $B_α^p ⊂ A_α^p$
• If $2≤p<∞$, then $A_α^p ⊂ B_α^p$
• Unless $p=2$, we have $A_α^p ≠ B_α^p$

Theorem 1.7 (Shift Operator Properties)

For $0<α<1$ and $0<p<∞$, the shift operator $S$ is strictly expansive on $A_α^p$ and attains its norm: $\|S\|_{α,p}^p = 1 + 2(1-α) \int_0^1 (1-r^p)(1-r^2)^{α-2} r dr$

Proof Technique Details

Key Lemma 3.2

Establishes a representation formula: for functions $f$ analytic in the closed unit disk and nonzero on the unit circle, $Φ(α,σ,f) = \|f\|_{α,σα}^{σα}$

The proof proceeds in two steps:

1. For $α>1$ using integral transforms and integration by parts
2. Extension to $α>0$ via analytic continuation

Key Lemma 3.3

Proves the contractivity of the $Φ$ function: $(Φ(β,σ,f))^{1/q} ≤ (Φ(α,σ,f))^{1/p}$ when $0<α<β$ and $σ=p/α=q/β$.

Applications and Corollaries

Corollary 1.2 (Pointwise Estimates)

$|f(w)|^p(1-|w|^2)^α ≤ \|f\|_{α,p}^p$

Corollary 1.4 (Boundary Behavior)

$\lim_{|w|→1^-} |f(w)|^p(1-|w|^2)^α = 0$

Corollary 1.5 (Majorant Function Estimates)

• When $0<p≤2$: $(M_f(|w|))^p(1-|w|^2)^α ≤ \|f\|_{α,p}^p$
• When $2<p<∞$: counterexamples exist

Related Work

1. Classical Hardy-Littlewood theory: Originates from Hardy and Littlewood's work on fractional integrals
2. Carleman inequality: The first contractive Hardy-Littlewood inequality
3. Kulikov's work: Established contractive inequalities in the range $1≤α<∞$
4. Llinares' results: Addressed the special case $β=1$, $p=2$
5. Besov space theory: Classical results by Dyakonov and Luecking

Conclusions and Discussion

Main Conclusions

1. Successful extension: Completely extended contractive Hardy-Littlewood inequalities to the Dirichlet range
2. Preservation of geometric properties: Conformal invariance is completely preserved in the extended range
3. Precise characterization: Completely determined the extremal functions

Limitations

1. Linear space properties: Whether $A_α^p$ is a linear space for $0<α<1$ and $p≠2$ remains an open problem
2. Technical constraints: The analytic continuation method requires functions to satisfy specific regularity conditions
3. Computational complexity: Exact computation of certain integrals remains difficult

Future Directions

1. Problem 1: Determine the linear space properties of $A_α^p$ in the Dirichlet range
2. Problem 2: Study the monotonicity of $p ↦ \|f\|_{A_α^p}$
3. Generalized applications: Apply the techniques to other function spaces

In-Depth Evaluation

Strengths

1. Technical innovation: Systematic application of analytic continuation is an important innovation
2. Theoretical completeness: Provides a complete theoretical framework unifying multiple known results
3. Precision of results: Not only proves the inequality but completely characterizes equality conditions
4. Method generality: Developed techniques are applicable to related problems

Weaknesses

1. Open problems: Leaves important open questions about linear space properties
2. Technical threshold: The analytic continuation method has high demands on readers
3. Application scope: Primarily theoretical results with practical applications yet to be developed

Impact

1. Theoretical contribution: Provides new tools for complex analysis and function space theory
2. Methodological significance: Demonstrates the power of analytic continuation in function space research
3. Subsequent research: Lays foundation for further research in related fields

Applicable Scenarios

1. Theoretical research: Complex analysis, harmonic analysis, function space theory
2. Technical applications: Potential applications in signal processing, image analysis, and related fields
3. Educational value: Demonstrates techniques and ideas of modern complex analysis

References

The paper cites 21 important references, including:

• Classical work by Hardy and Littlewood 8
• Original literature on Hardy-Stein identity 16
• Recent results by Kulikov 10
• Classical theory of Besov spaces 6, 13
• Related research on conformal invariance 1