[논문 리뷰] Off-diagonal sharp two-weight estimates for sparse operators

Stephan Fackler, Tuomas Hytönen|arXiv (Cornell University)|2017. 11. 22.

Advanced Harmonic Analysis Research참고 문헌 18인용 수 7

한 줄 요약

이 논문은 $ A^{r,\beta}_{\frak{S}}(f) = \left( \sum_{Q \in \frak{S}} \left|Q\right|^{-\alpha} \left( \int_Q f \right)^r \mathbf{1}_Q \right)^{1/r} $ 형태의 흩어진 연산자에 대해 날카로운 비대각선 이중 가중치 노름 추정을 수립한다. 이는 $ L^p_\sigma \to L^q_\omega $ 연산자 노름이 $ A_{pq}^\alpha $ 특성과 가중치 $ \sigma $ 및 $ \omega $의 $ A_\infty $ 상수의 조합에 의해 유계임을 증명하며, 분수 제곱 함수의 경우 날카로운 성질이 입증된다.

ABSTRACT

For a class of sparse operators including majorants of singular integral, square function, and fractional integral operators in a uniform manner, we prove off-diagonal two-weight estimates of mixed type in the two-weight and $A_{\infty}$-characteristics. These bounds are known to be sharp in many cases; as a new result, we prove their sharpness for fractional square functions.

연구 동기 및 목표

• 일반적인 흩어진 연산자에 대해 단일, 제곱, 분수 적분 연산자를 포함하는 광범위한 클래스에 대해 날카로운 비대각선 이중 가중치 $ L^p_\sigma \to L^q_\omega $ 추정을 수립하는 것.
• 이중 가중치 결과를 통합하고 확장하기 위해 $ A_{pq}^\alpha $ 특성과 가중치의 $ A_\infty $ 상수에 대한 혼합 의존성을 통합하는 것.
• 분수 제곱 함수의 경우에 대해 확보된 추정의 날카로움을 입증하여 이 분야에서 이전에 미해결이었던 날카로움에 대한 격차를 메우는 것.
• 캘러드론–지그문드 연산자, 리틀우드–파일리 제곱 함수, 분수 적분 연산자에 대해 이전 결과를 포함하고 개선하는 일반적 프레임워크를 제공하는 것.

제안 방법

• 저자들은 이중 큐브의 흩어진 가족 $ \frak{S} $ 위에서 정의된 흩어진 연산자 $ A^{r,\alpha}_{\frak{S}} $ 를 분석하며, 고전적 연산자를 지배하기 위해 이중 흩어진 지배 원리를 사용한다.
• 테스팅 조건과 이중 흩어진 지배를 결합한 방식으로 연산자 노름 추정을 유도하며, 이는 $ A_{pq}^\alpha $ 특성 $ [\omega,\sigma]_{A_{pq}^\alpha(\frak{S})} = \sup_{Q \in \frak{S}} |Q|^{-\alpha} \omega(Q)^{1/q} \sigma(Q)^{1/p'} $ 에 기반한다.
• 핵심 추정은 연산자 노름에 대한 날카로운 상한: $ \|A^{r,\alpha}_{\frak{S}}(\cdot\sigma)\|_{L^p_\sigma \to L^q_\omega} \lesssim \begin{cases} [\sigma]_{A_\infty}^{1/q} + [\omega]_{A_\infty}^{(1/r - 1/p)_+}, & \text{만약 } p=q>r \text{ 이고 } \alpha<1 \text{ 라면}, \\ [\omega]_{A_\infty}^{\frac{1}{r}(1 - (1 - r/p)^2)}[\sigma]_{A_\infty}^{\frac{1}{r}(1 - (1 - r/p)^2)} + [\omega]_{A_\infty}^{\frac{1}{r}(1 - (r/p)^2)}[\sigma]_{A_\infty}^{\frac{1}{r}(r/p)^2}, & \text{그 외의 경우}. \end{cases} $
• 날카로움은 쌍대성 원리와 이중 구간 $ I_k = [2^{-(k+1)}, 2^{-k}) $ 위에서 철저히 구성된 테스트 함수 수열 $ (a_I) $ 를 사용하여 입증된다. $ \omega_\varepsilon(x) = |x|^{(\varepsilon - 1)/q} $ 를 사용하여 $ \varepsilon^{-1} $ 에 대한 의존성에 대한 조사를 수행한다.
• 증명은 $ A_\infty $ 가중치에 대한 역 헬더 부등식과 $ \ell^2 $-값을 갖는 노름을 제어하기 위해 히힌치네 유형 부등식을 활용한다.
• 논증은 쌍대성 축소를 사용한다: $ A^{2,\alpha} $ 의 수반 연산자가 사용되어 쌍대 추정을 도출하며, 이는 수열 $ a_k $ 에 대해 테스트되어 $ \varepsilon $ 에 대한 날카로운 하한을 유도한다.

실험 결과

연구 질문

• RQ1 흩어진 연산자의 $ L^p_\sigma \to L^q_\omega $ 연산자 노름이 $ A_{pq}^\alpha $ 특성과 가중치의 $ A_\infty $ 상수에 대해 어떻게 날카로운 의존성을 가지는가?
• RQ2 이전에 이 분야에서 증명되지 않았던 분수 제곱 함수의 경우에 대해 두 가중치 추정의 날카로움을 입증할 수 있는가?
• RQ3 만약 $ p = q > r $ 이고 $ \alpha < 1 $ 라면 연산자 노름은 어떻게 행동하며, 왜 이 경우의 추정이 표준 경우와 다를까?
• RQ4 상한에 포함된 혼합 $ A_\infty $-의존성이 최적인지 확인할 수 있으며, 이는 반례 구성으로 검증될 수 있는가?
• RQ5 $ A^{2,\alpha} $ 에 대해 사용된 쌍대성과 테스팅 방법이 일반적인 $ r > 0 $ 에 대해 날카로움을 입증하는 데로 일반화될 수 있는가?

주요 결과

• $ A^{r,\alpha}_{\frak{S}} $ 의 $ L^p_\sigma \to L^q_\omega $ 연산자 노름은 $ A_{pq}^\alpha $ 특성과 $ \sigma $ 및 $ \omega $ 의 $ A_\infty $ 상수의 조합에 의해 유계이며, 많은 경우에 날카로운 성질을 갖는다.
• $ p = q > r $ 이고 $ \alpha < 1 $ 인 경우, 상한은 $ [\omega]_{A_\infty} $ 와 $ [\sigma]_{A_\infty} $ 의 거듭제곱 곱으로 구성되어 복잡한 형태를 띠며, 더 복잡한 의존성을 반영한다.
• 분수 제곱 함수의 경우에 대해 상한의 날카로움이 입증되며, 이는 논문에서의 새로운 결과이다. 이는 $ \omega_\varepsilon $ 를 구성하고 $ a_k $ 라는 테스트 수열을 사용하여 노름이 $ \varepsilon^{-\alpha} $ 의 속도로 증가함을 보여준다.
• 쌍대성 논증은 문제를 쌍대 연산자 추정으로 축소하며, 유도된 하한은 $ \varepsilon^{1/2 - \alpha} $ 의 속도로 증가하여 지수의 날카로움을 확인한다.
• 반례를 통해 상한이 $ \varepsilon $ 에 대해 점 渐진적 성장률을 따르며, $ [\omega]_{A_{pq}} \sim \varepsilon^{-1} $ 에 대한 의존성이 최적임을 확인한다.
• 캘러드론–지그문드 연산자, 제곱 함수, 분수 적분 연산자에 대해 이전의 추정을 일반화하고 개선하며, $ A_p $ 또는 $ A_{pq} $ 상수의 일부를 더 작은 $ A_\infty $ 상수로 대체함으로써 성과를 높였다.