[논문 리뷰] Weighted square function estimates

Rodrigo Bañuelos, Adam Osękowski|arXiv (Cornell University)|2017. 11. 23.

Advanced Harmonic Analysis Research참고 문헌 12인용 수 5

한 줄 요약

이 논문은 벨만 함수 방법을 사용하여 마틴갈 및 리틀우드-파일리 제곱 함수에 대한 날카운 가중 $L^p$-노름 부등식을 수립하며, $A_p$ 특성 $[w]_{A_p}$와 지수 $p$에 대한 명시적이고 최적의 상수를 제공한다. 이는 $p \to 1^+$ 및 $p \to \infty$일 때 $p$에 대한 최적의 의존성을 갖는다. 핵심 결과는 마틴갈의 제곱 함수에 대한 가중 $L^p$ 공간에서의 날카운 추정치로, $p$에 따라 달라지는 명시적 상수 $K_p$를 포함한다.

ABSTRACT

The paper contains the proof of $L^p$-weighted norm inequalities for both, martingales square functions and the classical square functions in harmonic analysis of Littlewood-Paley and Lusin. Furthermore, the bounds are completely explicit and are optimal not only on the dependence of the characteristics of the weight but also on the dependance on $p$, as $p o\infty$. The proof rests on Bellman function method: the estimates are deduced from the existence of an appropriate and rather complicated function of four variables.

연구 동기 및 목표

• 가중 $L^p$-노름 부등식을 얻는 데 있어 $A_p$ 특성 $[w]_{A_p}$와 지수 $p$에 대한 최적의 의존성을 확보하는 열린 문제를 해결한다.
• 이전의 $L^2$-가중 부등식 결과를 $1 < p < \infty$ 전역 범위로 확장하며, 명시적이고 최적의 상수를 제공한다.
• 벨만 함수 방법을 통해 마틴갈 및 조화해석학의 고전적 제곱 함수에 대한 날카운 추정치를 도출하는 통합된 프레임워크를 제공한다.
• 경계에서의 지수 $\max\{1/2, 1/(p-1)\}$가 최적이며, $p \to 1^+$ 및 $p \to \infty$일 때 상수 $K_p$의 성장률이 최적의 비가중 경우와 일치함을 증명한다.
• 리틀우드-파일리 $g_*$-함수, 루신 영역 함수, $g$-함수에 대한 경계가 $[w]_{A_p}$ 및 $K_p$에 대해 동일한 날카운 의존성을 갖는다는 것을 증명한다.

제안 방법

• 날카운 추정치를 코딩하는 네 변수 함수를 구성하기 위해 벨만 함수 방법을 사용하여, 이를 통해 가중 $L^p$ 부등식을 도출한다.
• 이토의 공식과 조건부 기대값을 통해 단위 원판 위에서 $f$의 조화 확장을 통한 제곱 함수와 마틴갈 제곱 함수 사이의 연결을 수립하는 확률적 프레임워크를 사용한다.
• 마틴갈 $A_p$ 가중치를 조건 $[W]_{A_p} = \sup_t \left\| W_t \mathbb{E}[W^{-1/(p-1)} \mid \mathcal{F}_t]^{p-1} \right\|_\infty < \infty$ 로 정의하여 고전적 $A_p$ 조건을 일반화한다.
• 연속 경로 마틴갈의 이토의 공식과 조건부 기대값을 사용하여, 단위 원판 위에서의 조화 확장의 제곱 함수와 마틴갈 제곱 함수 사이의 연결을 수립한다.
• 표현식 $g_*^2(f)(e^{i\theta}) = \mathbb{E}_0\left[ \int_0^\tau |\nabla u_f(B_s)|^2 ds \mid B_\tau = e^{i\theta} \right]$ 을 사용하여 마틴갈 추정치를 조화해석학으로 이전한다.
• 주 마틴갈 추정치를 조건부 기대값의 제곱 함수에 적용하여, $\mathbb{T}$ 및 $\mathbb{R}^n$ 위에서 $g_*$, $A_\alpha$, $g$ 함수에 대한 날카운 가중 $L^p$ 경계를 이끌어낸다.

실험 결과

연구 질문

• RQ1 마틴갈의 제곱 함수의 가중 $L^p$-노름이 $A_p$ 특성 $[w]_{A_p}$와 지수 $p$에 대해 최적으로 의존하는 방식은 무엇인가?
• RQ2 벨만 함수 방법을 어떻게 확장하여 $L^2$ 경우를 초월한 제곱 함수에 대한 날카운 $L^p$ 추정치를 도출할 수 있는가?
• RQ3 $p \to 1^+$ 및 $p \to \infty$일 때, 연산자 노름 상수 $K_p$의 최적의 성장률은 무엇이며, 이는 비가중 경우에서 최적이인가?
• RQ4 날카운 마틴갈 추정치는 리틀우드-파일리 $g_*$-함수 및 루신 영역 함수와 같은 고전적 제곱 함수로 전이될 수 있는가?
• RQ5 $g_*$, $A_\alpha$, $g$ 함수에 대한 결과 경계는 차원에 독립적인가? $n$과 $\alpha$에 대한 명시적 의존성은 무엇인가?

주요 결과

• 논문은 마틴갈에 대한 날카운 추정치 $\| \langle X \rangle_\infty^{1/2} \|_{L^p(W)} \leq K_p [W]_{A_p}^{\max\{1/2, 1/(p-1)\}} \|X_\infty\|_{L^p(W)}$ 를 가중 $L^p$ 공간에서 수립하며, 명시적 상수 $K_p$를 포함한다.
• 명시적 상수 $K_p$의 경계가 주어지며, $1 < p \leq 3$ 에서는 $K_p = 553(p-1)^{-1}$, $p \geq 3$ 에서는 $K_p = 189p^{1/2}$ 이다. 이는 $p \to 1^+$ 및 $p \to \infty$일 때 최적이며, 최적의 성장률을 갖는다.
• 경계에서의 지수 $\max\{1/2, 1/(p-1)\}$ 는 최적이며, 기존에 알려진 최적의 비가중 행동과 일치한다.
• 동일한 날카운 경계는 리틀우드-파일리 $g_*$-함수, 루신 영역 함수 $A_\alpha$, $g$-함수에 대해 $\mathbb{T}$ 및 $\mathbb{R}^n$ 에서도 유산되며, 동일한 $K_p$ 및 $[w]_{A_p}$ 의존성을 갖는다.
• 결론에서 $\|A_\alpha(f)\|_{L^p_w(\mathbb{T})} \leq K_p C_\alpha [w]_{A_{p,\mathbb{T}}}^{\max\{1/2, 1/(p-1)\}} \|f\|_{L^p_w(\mathbb{T})}$ 와 유사한 표현이 명시적으로 유도되며, $g(f)$ 에 대해서도 동일하게 적용된다.
• 결과는 비가역 리치 곡률이 비음이 아닌 다양체로 확장되며, $g_*$ 및 $g$ 에 대해서는 차원에 독립적인 경계를 갖는다. $A_\alpha$ 에 대해서는 $n$과 $\alpha$에 대해 명시적인 의존성이 있다.