Some sharp bounds for Hardy type operators on mixed radial-angular type function spaces

Ronghui Liu,Yanqi Yang,Shuangping Tao

2024-02-05

Abstract:In this paper, we are devoted to studying some sharp bounds for Hardy type operators on mixed radial-angular type function spaces. In addition, we will establish the sharp weak-type estimates for the fractional Hardy operator and its conjugate operator, respectively.

Functional Analysis

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about some sharp bound estimates of Hardy - type operators on mixed radial - angular function spaces. Specifically, the authors study the boundedness of these operators on different types of mixed radial - angular function spaces and establish sharp weak - type estimates of the fractional Hardy operator and its conjugate operator.

### Main contributions of the paper
1. **Sharp bounds of Hardy - type operators on mixed radial - angular function spaces**:
- The authors study the boundedness of Hardy - type operators on mixed radial - angular function spaces and give specific bound estimates.
- These results extend the existing research on Hardy - type operators on Lebesgue spaces and provide boundedness results in a more general space framework.

2. **Sharp weak - type estimates of the fractional Hardy operator**:
- The authors also study the weak - type estimates of the fractional Hardy operator and its conjugate operator on mixed radial - angular function spaces.
- These estimates are of great significance for understanding the behavior of the fractional Hardy operator in different function spaces.

### Specific problems and methods
- **Problem definition**:
- Study the boundedness of Hardy - type operators on the mixed radial - angular function space \(L^p_{\text{rad}}L^{\tilde{p}}_{\text{ang}}(\mathbb{R}^n)\).
- Establish sharp weak - type estimates of the fractional Hardy operator \(H_\beta\) and its conjugate operator on these spaces.

- **Main results**:
- For the \(m\)-linear Hardy operator \(H_m\), the authors prove its boundedness from the weighted Lebesgue space \(L^{p_1}_{\text{rad}}L^{\tilde{p}_1}_{\text{ang}}(\mathbb{R}^n, |x|^{\alpha_1})\) to \(L^{p_2}_{\text{rad}}L^{\tilde{p}_2}_{\text{ang}}(\mathbb{R}^n, |x|^{\alpha_2})\) and give specific bound estimates.
- For the fractional Hardy operator \(H_\beta\), the authors establish its sharp weak - type estimates on the mixed radial - angular function space.

### Mathematical expressions
- **Definition of Hardy - type operators**:
\[
Hf(x)=\frac{1}{|B(0, |x|)|^{1 - \beta/n}}\int_{|y|\leq|x|}f(y)\,dy,\quad x\in\mathbb{R}^n\setminus\{0\},\quad0 < \beta < n.
\]

- **Norm of the mixed radial - angular function space**:
\[
\|f\|_{L^p_{\text{rad}}L^{\tilde{p}}_{\text{ang}}(\mathbb{R}^n)}=\left(\int_0^\infty\left(\int_{S^{n - 1}}|f(r\theta)|^{\tilde{p}}\,d\sigma(\theta)\right)^{p/\tilde{p}}r^{n - 1}\,dr\right)^{1/p}.
\]

- **Sharp weak - type estimates of the fractional Hardy operator**:
\[
\|H_\beta\|_{L^{p_1}_{\text{rad}}L^{\tilde{p}_1}_{\text{ang}}(\mathbb{R}^n, |x|^{\alpha_1})\to WL^{p_2}_{\text{rad}}L^{\tilde{p}_2}_{\text{ang}}(\mathbb{R}^n, |x|^{\alpha_2})}=\omega_n^{1/\ti}