[논문 리뷰] Bounds on the maximal Bochner-Riesz means for elliptic operators

Peng Chen, Sanghyuk Lee외 2명|arXiv (Cornell University)|2018. 03. 09.

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

한 줄 요약

이 논문은 제한형 추정과 유한한 전파 속도 성질을 이용하여, 비음성 자기수반 타원형 연산자에 대해 최대 보흐너-리츠 평균의 날카운 $L^p$ 유계성을 확립한다. 주요 결과는 $p \geq 2$에 대해 최적 범위 $\alpha > \max\left\{n\left|\frac{1}{p}-\frac{1}{2}\right| - \frac{1}{2}, 0\right\}$를 제공하며, 이는 비선형적인 첨두형 다각형에서의 슈뢰딩거 연산자, 조화 진동자, 그리고 컴act 다각형으로의 일반화를 포함한다.

ABSTRACT

We investigate $L^p$ boundedness of the maximal Bochner-Riesz means for self-adjoint operators of elliptic type. Assuming the finite speed of propagation for the associated wave operator, from the restriction type estimates we establish the sharp $L^p$ boundedness of the maximal Bochner-Riesz means for the elliptic operators. As applications, we obtain the sharp $L^p$ maximal bounds for the Schrödinger operators on asymptotically conic manifolds, the harmonic oscillator and its perturbations or elliptic operators on compact manifolds.

연구 동기 및 목표

• 비음성 자기수반 타원형 연산자 $L$에 대해 최대 보흐너-리츠 연산자 $S_*^\alpha(L)$ 의 날카운 $L^p$ 유계성을 확립하기 위해.
• 기존의 보흐너-리츠 추측을 $\mathbb{R}^n$ 상의 라플라스 연산자 외의 일반 타원형 연산자로 확장하기 위해.
• 특정 $p \geq 2$ 에 대해 $S_*^\alpha(L)$ 가 $L^p$ 에서 유계임을 보장하는 $\alpha$ 의 최적 범위를 규명하기 위해, 기존의 라플라스 연산자에 대한 결과를 일반화하기 위해.
• 특정 연산자들인 비선형적인 첨두형 다각형에서의 슈뢰딩거 연산자, 조화 진동자, 컴act 다각형 상의 타원형 연산자들에 이 те오리의 적용을 위해.

제안 방법

• 연산자 $L$ 과 관련된 파동 연산자의 유한 전파 속도 성질을 이용하여 스펙트럼 프로젝터를 제어하기 위해.
• $1 \leq p \leq 2(n+1)/(n+3)$ 에 대해 $\|dE_{\sqrt{L}}(\lambda)\|_{p \to p'} \leq C \lambda^{n(1/p - 1/p') - 1}$ 형태의 제한형 추정을 확립하기 위해.
• 제한형 추정을 $R_p$ 조건으로 재구성하기 위해: $F$ 가 $[0,R]$ 에서만 정의되어 있을 때 $\|F(\sqrt{L})\|_{p \to 2} \leq C R^{n(1/p - 1/2)} \|\delta_R F\|_2$.
• 인터폴레이션과 연산자 노름 추정을 통해 $R_p$ 조건을 적용하여 최대 보흐너-리츠 연산자의 $L^p$ 유계성을 유도하기 위해.
• 스펙트럼 이론과 함수 해석학을 이용하여 $S_R^\alpha(L)f = \int_0^{R^2} (1 - \lambda/R^2)^\alpha \, dE_L(\lambda)f$ 를 정의하고 $R > 0$ 에서의 상한 노름을 분석하기 위해.
• 각 경우에서 $R_p$ 조건 또는 $(ST^2_{p,2})$ 조건을 검증함으로써 이 방법을 특정 연산자들에 적용하기 위해, 예를 들어 역제곱 잠재력과 첨두형 다각형 상의 슈뢰딩거 연산자에 대해.

실험 결과

연구 질문

• RQ1 비음성 자기수반 타원형 연산자 $L$ 과 $p \geq 2$ 에 대해 최대 보흐너-리츠 연산자 $S_*^\alpha(L)$ 가 $L^p$ 에서 유계임을 보장하는 $\alpha$ 의 날카운 범위는 무엇인가요?
• RQ2 제한형 추정과 유한 전파 속도를 통해 고전적인 보흐너-리츠 추측을 $\mathbb{R}^n$ 상의 라플라스 연산자 외의 일반 타원형 연산자로 확장할 수 있는가요?
• RQ3 $R_p$ 조건이 유한 전파 속도 가정 하에 $S_*^\alpha(L)$ 의 날카운 $L^p$ 유계성을 유도하는가요?
• RQ4 비선형적인 첨두형 다각형 상의 슈뢰딩거 연산자에 대해 $S_*^\alpha(L)$ 의 $L^p$ 유계성을 보장하는 최적의 $\alpha$ 는 무엇인가요?
• RQ5 역제곱 잠재력의 존재가 최대 보흐너-리츠 평균의 $L^p$ 유계성에 어떤 영향을 미치는가?

주요 결과

• 유한 전파 속도와 제한형 추정 조건 하에서, $p \geq 2$ 에 대해 $\alpha > \max\left\{n\left|\frac{1}{p} - \frac{1}{2}\right| - \frac{1}{2}, 0\right\}$ 를 만족할 경우 최대 보흐너-리츠 연산자 $S_*^\alpha(L)$ 는 $L^p$ 에서 유계이다.
• 최대 보흐너-리츠 연산자의 날카운 $L^p$ 유계성은 $R_p$ 조건을 통해 확립되었으며, 이는 일반 타원형 연산자로의 스텐-톰슨 제한 추정의 일반화를 포함한다.
• 비선형적인 첨두형 다각형 상의 슈뢰딩거 연산자에 대해, 최대 보흐너-리츠 평균은 $\alpha > \max\left\{n\left|\frac{1}{p} - \frac{1}{2}\right| - \frac{1}{2}, 0\right\}$ 과 $p \in \left(\frac{2n}{n-1}, \infty\right)$ 에 대해 날카운 $L^p$ 유계성을 만족한다.
• 조화 진동자 및 그 변형에 대해, 최대 보흐너-리츠 평균은 $p \in \left(\frac{2n}{n-1}, \infty\right)$ 과 $\alpha > \max\left\{n\left|\frac{1}{p} - \frac{1}{2}\right| - \frac{1}{2}, 0\right\}$ 에 대해 $L^p$ 에서 유계이다.
• $(0,\infty)$ 상의 반경 방향 슈뢰딩거 연산자 $L = \Delta_n + c/r^2$ 에 대해 $c > -(n-2)^2/4$ 를 만족할 경우, 최대 보흐너-리츠 연산자는 $p \in \left(\frac{2n}{n-1}, p_c^*\right)$ 과 $\alpha > \max\left\{n\left|\frac{1}{p} - \frac{1}{2}\right| - \frac{1}{2}, 0\right\}$ 에 대해 $L^p$ 에서 유계이며, 여기서 $p_c^* = n/\sigma$ 이고 $\sigma = (n-2)/2 - \sqrt{(n-2)^2/4 + c}$ 이다.
• 이 방법은 히젠베르크 $H$-형 타입 군 상의 하위라플라스 연산자, 역제곱 잠재력, 슈뢰딩거 유형 연산자에 적용 가능하며, $R_p$ 기반 접근의 강건성을 확인한다.