[논문 리뷰] The $L(\log L)^{\epsilon}$ endpoint estimate for maximal singular integral operators

Tuomas Hytönen, Carlos Pérez|arXiv (Cornell University)|2015. 03. 13.

Advanced Harmonic Analysis Research참고 문헌 15인용 수 9

한 줄 요약

이 논문은 최대 단일 적분 연산자에 대한 날카운 가중치 약한형 추정을 확립하며, $T^*$의 연산자 노름이 $L^{1,\infty}(w)$에서 $\frac{1}{\epsilon}$ 곱하기 $M_L(\log L)^\epsilon(w)$에 대한 $|f|$의 적분에 의해 상한을 가지며, $A_\infty$ 특성에 대해 최적의 로그 의존성을 보인다. 이 결과는 이전의 지수적 붕괴를 개선하고 최대 Calderón–Zygmund 연산자로의 끝점 추정을 확장한다.

ABSTRACT

We prove in this paper the following estimate for the maximal operator $T^*$ associated to the singular integral operator $T$: $ \|T^*f\|_{L^{1,\infty}(w)} \lesssim \frac{1}{\epsilon} \int_{\mathbb{R}^n} |f(x)| M_{L(\log L)^{\epsilon}} (w)(x)dx$, for $w\geq 0, 0<\epsilon \leq 1.$ This follows from the sharp $L^p$ estimate $ \|T^*f \|_{ L^{p}(w) } \lesssim p' (\frac{1}{\delta})^{1/p'} \|f \|_{L^{p}(M_{ L(\log L)^{p-1+\delta}} (w))}$, for $1<p<\infty, w\geq 0, 0<\delta \leq 1. $ As as a consequence we deduce that $ \|T^*f\|_{L^{1,\infty}(w)} \lesssim [w]_{A_{1}} \log(e+ [w]_{A_{\infty}}) \int_{\mathbb{R}^n} |f| w dx, $ extending the endpoint results obtained in [LOP] and [HP] to maximal singular integrals. Another consequence is a quantitative two weight bump estimate.

연구 동기 및 목표

• 최대 단일 적분 연산자 $T^*$에 대한 날카운 약한형 $L^1$ 추정을 확립하여, Fefferman–Stein과 Muckenhoupt–Wheeden의 추측을 최대 연산자로 확장한다.
• 이전에 알려진 끝점 추정에서의 지수적 붕괴 $e^{1/\epsilon}$ 를 선형 붕괴 $1/\epsilon$ 로 개선하여 최적의 양적 의존성을 달성한다.
• 끝점 결과를 $A_\infty$ 클래스의 가중치로 확장하여 $[w]_{A_\infty}$ 와 $\log(e + [w]_{A_\infty})$ 를 포함하는 추정을 증명한다.
• 최대 설정으로 일반화된 이전 결과를 바탕으로 $T^*$에 대한 양적 이중 가중치 볼록 추정을 유도한다.
• 일반적인 이중 가중치 부등식의 프레임워크를 제시하며, 일반화된 Orlicz 노름과 $L^p$ 위에서의 최대 연산자를 사용한다.

제안 방법

• Young 함수 $A(t) = t^p(1 + \log^+ t)^{p-1+\delta}$ 를 사용하여 $L^{p'}(\mathbb{R}^n)$ 위에서 최대 연산자 $M_{\bar{A}}$ 의 노름을 이용해 $\|T^*f\|_{L^p(w)}$ 에 대한 날카운 $L^p$ 추정을 유도한다.
• Young 함수 $A$, $B$, $C$ 가 $B^{-1}(t)C^{-1}(t) \leq \kappa A^{-1}(t)$ 를 만족할 때, O'Neil의 부등식을 적용하여 Orlicz 노름에서 함수의 곱을 제어한다.
• $A_\infty$ 가중치에 대한 역 허들러 부등식 $\left(\fint_Q w^{r_w}\right)^{1/r_w} \leq 2 \fint_Q w$ 를 사용하여 $M_L(\log L)^\epsilon(w)$ 의 성장을 제어한다. 여기서 $r_w = 1 + \frac{1}{\tau_n[w]_{A_\infty}}$ 이다.
• $\epsilon$ 를 최적화하여 $M_L(\log L)^\epsilon(w)$ 에서의 로그 의존성을 유도한다. 이때 $\epsilon \approx 1/\log(e + [w]_{A_\infty})$ 를 선택한다.
• 스퍼스 지배 원리와 $L^{p'}(\mathbb{R}^n)$ 위에서 $M_{\bar{A}}$ 의 유계성을 사용하여, 딱지 스퍼스 연산자로 최대 연산자를 제어한다.
• $L^p$ 결과와 쌍대성 원리를 조합하고 모든 큐브에 대해 조건을 테스트하여 이중 가중치 볼록 추정을 수립한다. 이로 인해 $\|M_{X'}\|_{B(L^{p'}(\mathbb{R}^n))}$ 를 포함하는 날카운 상수를 도출한다.

실험 결과

연구 질문

• RQ1 최대 연산자 $T^*$ 의 끝점 추정에서의 지수적 붕괴 $e^{1/\epsilon}$ 이 선형 붕괴 $1/\epsilon$ 로 개선될 수 있는가?
• RQ2 $T^*$ 의 약한형 $L^1$ 추정이 가중치 $M_L(\log L)^\epsilon(w)$ 와 함께 성립하는가? 그리고 이는 $M_L \log \log L(w)$ 로 최적화될 수 있는가?
• RQ3 $A_\infty$ 특성 $[w]_{A_\infty}$ 가 $T^*$ 의 약한형 $L^1$ 추정을 정량화하는 데 사용될 수 있는가? 이는 이전의 $A_1$-기반 추정을 대체하는가?
• RQ4 선형 연산자에 대한 알려진 결과를 일반화하여 $T^*$ 에 대한 일반적인 이중 가중치 볼록 추정이 존재하는가?
• RQ5 최적화를 통해 $\epsilon$ 에 대해 약한형 $L^{1,\infty}$ 끝점으로 넘어갈 때 $L^p$ 추정의 날카움이 유지되는가?

주요 결과

• 논문은 모든 $0 < \epsilon \leq 1$ 에 대해 날카운 추정 $\|T^*f\|_{L^{1,\infty}(w)} \lesssim \frac{1}{\epsilon} \int_{\mathbb{R}^n} |f(x)| M_L(\log L)^\epsilon(w)(x) \, dx$ 을 증명하며, 이는 이전의 지수적 의존성을 개선한다.
• $\epsilon \approx 1/\log(e + [w]_{A_\infty})$ 로 최적화함으로써 추정이 $\|T^*f\|_{L^{1,\infty}(w)} \lesssim \log(e + [w]_{A_\infty}) \int_{\mathbb{R}^n} |f| Mw \, dx$ 로 개선되며, 이는 $A_\infty$ 가중치로의 끝점 결과 확장을 가능하게 한다.
• $A_1$-기반 추정이 $\|T^*f\|_{L^{1,\infty}(w)} \lesssim [w]_{A_1} \log(e + [w]_{A_\infty}) \int_{\mathbb{R}^n} |f| w \, dx$ 로 개선되며, 이는 $[w]_{A_1}$ 에 대해 더 강한 의존성을 보여준다.
• 양적 이중 가중치 볼록 추정이 확립된다: 만약 $K = \sup_Q \|u^{1/p}\|_{L^p(\log L)^{p-1+\delta},Q} \left( \frac{1}{|Q|} \int_Q \sigma \right)^{1/p'} < \infty$ 라면, $\|T^*(f\sigma)\|_{L^{p,\infty}(u)} \lesssim \frac{1}{\delta} K \left(\frac{1}{\delta}\right)^{1/p'} \|f\|_{L^p(\sigma)}$ 이다.
• 저자들은 일반적인 이중 가중치 부등식을 제안하며, 이는 $L^{p'}(\mathbb{R}^n)$ 위에서 $M_{X'}$ 의 연산자 노름을 포함한다. 이는 기존의 볼록 조건들을 통합하고 일반화할 것이다.
• 결론적으로, 논문은 날카운 추정 $\|T^*\|_{B(L^p(w))} \lesssim [w]_{A_p}^{1/p} \left( [w]_{A_\infty}^{1/p'} + [\sigma]_{A_\infty}^{1/p} \right)$ 을 제안한다. 이는 직접적으로 증명되지 않았지만, 제안된 추측의 결과로 제시된다.