[논문 리뷰] Weighted norm inequalities, Gaussian bounds and sharp spectral multipliers

Xuan Thinh Duong, Adam Sikora외 1명|arXiv (Cornell University)|2010. 03. 09.

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

한 줄 요약

이 논문은 가우시안 열핵 상한과 스펙트럴 다중화자 커널의 $L^2$-추정을 만족하는 비음수 자기수반 연산자 $L$에 대해, 동차형 공간 위에서 스펙트럴 다중화자에 대한 날카운 가중 $L^p$-유계성을 확립한다. 핵심 기여는 일반적인 프레임워크를 제공함으로써, 리 군, 비정칙 영역, 컴act 다양체, 비음수 잠재력을 가진 슈뢰딩거 연산자에 적용 가능한 가중 $L^p$ 공간에서의 헤르망더 유형 다중화자 정리들을 도출하는 것이다.

ABSTRACT

Let $L$ be a non-negative self adjoint operator acting on $L^2(X)$ where $X$ is a space of homogeneous type. Assume that $L$ generates a holomorphic semigroup $e^{-tL}$ whose kernels $p_t(x,y)$ have Gaussian upper bounds but possess no regularity in variables $x$ and $y$. In this article, we study weighted $L^p$-norm inequalities for spectral multipliers of $L$. We show sharp weighted Hörmander-type spectral multiplier theorems follow from Gaussian heat kernel bounds and appropriate $L^2$ estimates of the kernels of the spectral multipliers. These results are applicable to spectral multipliers for large classes of operators including Laplace operators acting on Lie groups of polynomial growth or irregular non-doubling domains of Euclidean spaces, elliptic operators on compact manifolds and Schrödinger operators with non-negative potentials on complete Riemannian manifolds.

연구 동기 및 목표

• 비음수 자기수반 연산자에 대해 가우시안 열핵 상한을 만족할 때, 가중 $L^p$ 공간으로의 날카운 스펙트럴 다중화자 정리의 확장을 도출하는 것.
• 표준 캘러손-지그문트 이론을 무효화하는 $x$ 및 $y$ 변수에서의 커널 정규성 부족 문제를 해결하는 것.
• 스펙트럴 다중화자 $F(L)$ 가 가중 $L^p(X,w)$ 공간에서 유계임을 보장하기 위한 충분조건을 $L^2$-추정과 플랑커렐 유형 추정을 통해 수립하는 것.
• 비가중에서 가중 설정으로의 결과 일반화, 특히 비정칙 영역, 컴act 다양체, 슈뢰딩거 연산자에 대해 수행하는 것.
• 해석적 함수 계산의 연산자 노름 추정을 스펙트럴 함수의 각도 영역 내 성장에 따라 정량화하는 것.

제안 방법

• 열반위상 $e^{-tL}$의 열핵 $p_t(x,y)$에 대해 $x$ 및 $y$ 에서의 매끄러움을 요구하지 않는 가우시안 상한을 사용하는 것.
• 플랑커렐 유형 추정을 적용하여 다중화자 커널의 $L^2$-노름을 제어함으로써, 보간을 통해 $L^p$ 제어를 가능하게 하는 것.
• 시간 $t$ 에서의 해석성과 다이adic 분해를 통한 다중화자 함수 $F$ 처리 기법을 [18] 에서 유도한 바를 응용하는 것.
• 가중 노름 부등식을 $A_p$-무켄하우프트 클래스를 통해 도입하고, 가중치 특성 $p$ 에 대한 날카운 의존성을 확보하는 것.
• 스케일링 $\delta_t F(\lambda) = F(t\lambda)$ 와 노름 $\|\eta \delta_t F\|_{W^{\infty}_s}$ 를 사용하여 부드러움 요구 조건을 정량화하는 것.
• 가우시안 상한 하에서 스펙트럴 다중화자의 날카운 $L^2$-유계성에 기반한 $L^2$ 와 $L^p$ 추정 간의 보간을 수행하는 것.

실험 결과

연구 질문

• RQ1 열핵이 가우시안 상한을 만족하지만 $x$ 및 $y$ 에서 정규성이 없을 때, 스펙트럴 다중화자 $F(L)$ 가 가중 $L^p(X,w)$ 공간에서 유계임이 보장되는 조건은 무엇인가요?
• RQ2 가우시안 열핵 상한과 다중화자 커널의 $L^2$-추정만을 만족할 때, 날카운 헤르망더 유형 다중화자 정리가 가중 $L^p$ 공간으로 확장 가능한가요?
• RQ3 다중화자 $F(L)$ 가 유계임이 보장되는 $p$ 의 범위는 가중치 $w$ 와 $F$ 의 부드러움에 따라 어떻게 달라지나요?
• RQ4 스펙트럴 함수 $F$ 와 그 해석적 확장의 각도 $\theta$ 에 따라 연산자 노름 $\|F(L)\|_{L^p(X,w)\to L^p(X,w)}$ 의 날카운 의존성은 어떻게 되나요?
• RQ5 이러한 결과는 비연속 커널을 가진 비정칙 영역, 컴act 다양체, 다항식 성장도를 가진 리 군의 라플라스 연산자 및 슈뢰딩거 연산자에 얼마나 넓게 적용 가능한가요?

주요 결과

• 스펙트럴 다중화자 $F(L)$ 의 날카운 가중 $L^p$-유계성이 $p > r_0 = \max\left\{1, \frac{2(n+D)}{2s+D}\right\}$ 에서 성립한다. 여기서 $s > n/2$ 는 부드러움 임계값이고 $D$ 는 차원 유사 매개변수이다.
• 연산자 노름은 $\|F(L)\|_{L^p(X,w)\to L^p(X,w)} \leq \frac{C_\epsilon}{\theta^{n/2 + \epsilon}} \|F\|_{\theta,\infty}$ 를 만족한다. 여기서 $F$ 는 각도 $\theta$ 의 영역에서 해석적이며 $\epsilon > 0$ 이다.
• 디리클레 경계 조건을 가진 비정칙 영역 $\Omega$ 에서의 라플라스 연산자 $\Delta_\Omega$ 에 대해 $\|F(\Delta_\Omega)\|_{L^p(\Omega,w)\to L^p(\Omega,w)} \leq C_s \left( \sup_{t>0}\|\eta \delta_t F\|_{W^{\infty}_s} + |F(0)| \right)$ 이다.
• 비음수 잠재력을 가진 슈뢰딩거 연산자 $L = -\Delta + V$ 에 대해서도 동일한 가중 추정이 성립한다. 이는 가우시안 커널에 의해 열핵이 확률적으로 지배되기 때문이다.
• 결과는 [18] 에서의 비가중 날카운 다중화자 정리들을 가중 공간으로 일반화하며, 동일한 부드러움 임계값 $s > n/2$ 를 유지한다.
• 표준 캘러손-지그문트 이론을 피하기 위해, 플랑커렐 추정과 열반위상의 시간 매개변수 $t$ 에 대한 해석성을 기반으로 하는 방법을 사용한다.