[논문 리뷰] Weighted norm inequalities for commutators of Littlewood-Paley functions related to Schrödinger operators

Lin Tang|arXiv (Cornell University)|2011. 09. 01.

Advanced Harmonic Analysis Research참고 문헌 3인용 수 11

한 줄 요약

이 논문은 $V$가 역 헬더 클래스 $B_{n/2}$에 속하는 비음성 잠재력과 관련된 슈뢰딩거 연산자 $L = -\Delta + V$의 리틀우드-파일즈 함수의 교환자에 대한 가중(norm) 부등식을 수립한다. 새로운 가중 클래스 $A_p^\rho$와 보조 공간 $BMO(\rho)$를 사용하여 $1 < p < \infty$에 대해 $L^p(\omega)$ 유계성을 증명하고, $p=1$에 대해 약형 끝점 추정을 제시함으로써 고전 결과를 잠재력에 의존하는 가중치를 고려한 슈뢰딩거 설정으로 일반화한다.

ABSTRACT

Let $L=-Δ+V$ be a Schrödinger operator, where $Δ$ is the Laplacian operator on $ z$, while the nonnegative potential $V$ belongs to certain reverse Hölder class. In this paper, we establish some weighted norm inequalities for commutators of Littlewood-Paley functions related to Schrödinger operators.

연구 동기 및 목표

• 잠재력 $V \in B_{n/2}$인 슈뢰딩거 연산자 맥락에서 가중 norm 부등식을 리틀우드-파일즈 함수의 교환자로 확장하는 것.
• 모든 $b \in BMO(\rho)$ 및 $\omega \in A_p^\rho$에 대해 $1 < p < \infty$ 에서 교환자 $g_b(f)$ 에 대해 $L^p(\omega)$ 유계성을 확립하는 것.
• $\omega \in A_1^\rho$ 이고 $p=1$ 인 경우 교환자 $g_b(f)$ 에 대한 약형 끝점 추정을 유도하는 것.
• 연산자 $L$ 과 관련된 확산 세미군의 최대 연산자 $T_b^*$ 에도 결과를 일반화하는 것.

제안 방법

• 잠재력에 의존하는 임계 반경 함수 $\rho(x) = 1/m_V(x)$ 를 도입하며, 여기서 $m_V(x)$ 는 적분 조건 $\int_{B(x,r)} V(y) dy \leq r^{n-2}$ 를 통해 정의된다.
• 공간 $B$ 의 반경 $r$ 을 사용하여 $\Psi(B) = (1 + r m_V(B))^{\theta}$ 를 사용하는 새로운 가중 클래스 $A_p^\rho$ 를 정의한다.
• $A_1^\rho$ 가중치를 특징짓기 위해 최대 함수 $M_V f(x) = \sup_{x \in B} \frac{1}{\Psi(B)|B|} \int_B |f(y)| dy$ 를 사용한다.
• dyadic 분해와 점별 추정을 통해 교환자 $g_b(f)$ 를 국소화된 최대 연산자 $M_{V,\eta}^b f$ 로 제어한다.
• 핵함수 $e^{-tL}$ 의 추정, 예를 들어 $k_t(x,y) \leq C_N t^{-n/2} e^{-|x-y|^2/(5t)} (1 + t/\rho(x)^2 + t/\rho(y)^2)^{-N}$ 등의 추정을 사용하여 주파수 영역에 따라 교환자를 유계화한다.
• 특히 존-니레버그 부등식을 $BMO(\rho)$ 공간에서 적용하여 가중 이론과 캘러존드-지그문드 이론의 기법을 적응한다.

실험 결과

연구 질문

• RQ1 잠재력 $V$ 가 $B_{n/2}$ 에 속할 경우, 슈뢰딩거 연산자와 관련된 리틀우드-파일즈 함수의 교환자에 대해 가중 $L^p$ 유계성을 확립할 수 있는가?
• RQ2 잠재력에 의존하는 기하학적 특성을 수반하기 위해 $A_p$ 가중 클래스의 적절한 일반화는 무엇인가?
• RQ3 $BMO(\rho)$ 함수와 임계 반경 $\rho(x)$ 는 교환자의 약형 끝점 추정에 어떻게 영향을 미치는가?
• RQ4 $A_p^\rho$ 조건 하에서 확산 세미군 $e^{-tL}$ 과 그 교환자의 최대 연산자가 가중 $L^p$ 공간에서 제어될 수 있는가?

주요 결과

• $1 < p < \infty$ 에 대해 모든 $b \in BMO(\rho)$ 와 $\omega \in A_p^\rho$ 에 대해 $\|g_b(f)\|_{L^p(\omega)} \leq C \|b\|_{BMO(\rho)} \|f\|_{L^p(\omega)}$ 를 만족한다.
• $p=1$ 인 경우 약형 끝점 추정이 성립한다: $\omega(\{x : |g_b(f)(x)| > \lambda\}) \leq C \int_{{\mathbb{R}}^n} \frac{|f(x)|}{\lambda} \left(1 + \log^+ \left(\frac{|f(x)|}{\lambda}\right)\right) \omega(x) dx$ for $\omega \in A_1^\rho$.
• 최대 연산자 $T_b^*f(x) = \sup_{t>0} \int k_t(x,y)(b(x)-b(y))f(y) dy$ 는 $g_b(f)$ 와 동일한 $L^p(\omega)$ 및 약형 추정을 만족한다.
• 증명은 $\rho(x)$ 를 기반으로 한 dyadic 링대에 따라 핵함수와 함수의 지지집합을 분해하고, 임계 반경을 사용하여 교환자를 국소화하는 데 의존한다.
• $V \not\equiv 0$ 일 경우 $\Psi(B)$ 요소 덕분에 $A_p^\rho$ 가중 클래스는 고전적 $A_p$ 클래스보다 엄밀히 크다는 것이 입증된다.
• 결과는 $\theta_1 \neq \theta_2$ 일 때 더 넓은 클래스인 $BMO_{\theta_1}(\rho)$ 와 $A_p^{\rho,\theta_2}$ 로도 확장되며, 이는 프레임워크의 강건성을 보여준다.