[논문 리뷰] The Riesz transform for homogeneous Schrödinger operators on metric cones

Andrew Hassell, Peijie Lin|arXiv (Cornell University)|2012. 06. 14.

Advanced Mathematical Modeling in Engineering참고 문헌 24인용 수 5

한 줄 요약

이 논문은 역제곱 잠재력이 있는 메트릭 콘에서 라플라스스키프 변환 $ T = \nabla H^{-1/2} $ 가 유계인 $ L^p $ 공간의 정확한 범위를 규명한다. 슈뢰딩거 연산자 $ H = \Delta + V_0/r^2 $ 의 스펙트럼 분석을 통해, $ (H+1)^{-1} $ 의 渐近적 성질을 분석함으로써 날카운 $ L^p $ 유계성 간격을 도출한다. 이는 $ \Delta_Y + V_0 + (d-2)^2/4 $ 의 최소 고유값 $ \mu_0 $ 에 따라 결정되며, $ V_0 \not\equiv 0 $ 또는 $ V_0 \equiv 0 $ 인 경우에 대해 서로 다른 범위를 가진다. 이 결과는 유클리드 공간에서의 기존 라플라스스키프 변환에 대한 연구를 특이 잠재력이 있는 콘 기하학으로 일반화한다.

ABSTRACT

We consider Schroedinger operators on metric cones whose cross section is a closed Riemannian manifold $(Y, h)$ of dimension $d-1 \geq 2$. Thus the metric on the cone $M = (0, \infty)_r imes Y$ is $dr^2 + r^2 h$. Let $Δ$ be the Friedrichs Laplacian on $M$ and $V_0$ be a smooth function on $Y$, such that $Δ_Y + V_0 + (d-2)^2/4$ is a strictly positive operator on $L^2(Y)$, with lowest eigenvalue $μ^2_0 $ and second lowest eigenvalue $μ^2_1$, with $μ_0, μ_1 > 0$. The operator we consider is $H = Δ+ V_0/r^2$, a Schrödinger operator with inverse square potential on $M$; notice that $H$ is homogeneous of degree -2. We study the Riesz transform $T = abla H^{-1/2}$ and determine the precise range of $p$ for which $T$ is bounded on $L^p(M)$. This is achieved by making a precise analysis of the operator $(H + 1)^{-1}$ and determining the complete asymptotics of its integral kernel. We prove that if $V$ is not identically zero, then the range of $p$ for $L^p$ boundedness is $$ d/ \Big(min(1+d/2+μ_0, d \Big) < p < d / \Big(max(d/2-μ_0, 0) \Big),$$ while if $V$ is identically zero, then the range is $$ 1 < p < d / \Big(max(d/2-μ_1, 0 \Big).$$ The result in the case $V$ identically zero was first obtained in a paper by H.-Q. Li.

연구 동기 및 목표

• 메트릭 콘에서 $ H = \Delta + V_0/r^2 $ 인 스펙트럼 연산자 $ H $ 를 갖는 $ M $ 에서 라플라스스키프 변환 $ T = \nabla H^{-1/2} $ 가 $ L^p(M) $ 에서 유계일 수 있는 $ p \in (1, \infty) $ 의 정확한 범위를 결정하는 것.
• 유클리드 공간에서의 라플라스스키프 변환에 대한 알려진 $ L^p $ 유계성 결과를, 콘 정점에서 특이성이 있는 역제곱 잠재력이 있는 메트릭 콘으로 확장하는 것.
• 해석적 연산자 $ (H+1)^{-1} $ 의 세부 분석을 통해 그 완전한 渐近적 전개를 도출함으로써, 라플라스스키프 변환 커널의 행동을 특성화하는 것.
• 크로스 섹션 다각형 $ Y $ 에서의 스펙트럼 데이터를 바탕으로 $ V_0 \not\equiv 0 $ 과 $ V_0 \equiv 0 $ 인 경우를 구분하여 $ L^p $ 유계성의 날카운 임계값을 규명하는 것.

제안 방법

• 라플라스스키프 변환 커널 $ T $ 를 세 부분 $ T_1, T_2, T_3 $ 으로 분해하여, 반경 변수 $ r $ 과 $ r' $ 의 서로 다른 영역에 대응시키며, 주파수 변수 $ \lambda $ 에 대한 분할 단위를 사용한다.
• 스케일링 추론을 $ \lambda $-적분을 통해 활용하여, 그린 함수의 기울기 $ \nabla_z G(\lambda z, \lambda z') $ 를 표현하며, $ \Delta_Y $ 의 고유함수를 기반으로 한 베셀 함수 전개를 활용한다.
• $ T_3 $ 는 $ r' \leq r $ 영역을 다루며, 수정된 베셀 함수 $ I_\nu $ 와 $ K_\nu $ 의 행동을 이용하여 점별 $ L^p $ 추정을 적용한다. 특히, 작은 및 큰 변수에서의 감쇠 및 증가 성질을 중심으로 분석한다.
• 각 성분의 $ L^p $ 유계성은 쇼어의 정리와 가중치 추정을 통해 분석되며, 핵심 단계는 동치 5.10과 5.8 을 적용하여 동치의 노름을 동차성과 감쇠 속도에 따라 통제하는 것이다.
• 크로스 섹션 다각형 $ Y $ 에서의 스펙트럼 데이터, 특히 $ \Delta_Y + V_0 + (d-2)^2/4 $ 의 최소 고유값 $ \mu_0 $ 를 사용하여 $ L^p $ 범위의 임계 지수를 결정한다. $ V_0 \equiv 0 $ 인 경우 $ \mu_1 $ 이 $ \mu_0 $ 를 대체한다.
• 스펙트럼 이론을 통한 $ T $ 의 $ L^2 $ 유계성과 $ T_1, T_2, T_3 $ 의 $ L^p $ 추정을 조합하여 증명을 완성하며, 이전 연구의 반례를 응용하여 유도된 간격의 날카움을 입증한다.

실험 결과

연구 질문

• RQ1 메트릭 콘 $ M $ 에서 $ H = \Delta + V_0/r^2 $ 인 경우, 라플라스스키프 변환 $ T = \nabla H^{-1/2} $ 가 $ L^p(M) $ 에서 유계일 수 있는 $ p \in (1, \infty) $ 의 정확한 범위는 무엇인가요?
• RQ2 비영인 역제곱 잠재력 $ V_0/r^2 $ (즉, $ V_0 \not\equiv 0 $) 이 존재할 경우, $ V_0 \equiv 0 $ 인 경우와 비교해 $ L^p $ 유계성 범위에 어떤 영향을 미치나요?
• RQ3 $ \Delta_Y + V_0 + (d-2)^2/4 $ 의 최소 고유값 $ \mu_0 $ 이 메트릭 콘에서 라플라스스키프 변환에 대한 날카운 $ L^p $ 유계성의 결정에 어떤 역할을 하나요?
• RQ4 $ (H+1)^{-1} $ 의 해석적 커널, 특히 그 특이성의 구조가 $ T $ 의 $ L^p $ 사상 성질에 어떤 영향을 미치나요?
• RQ5 이 논문에서 $ H = \Delta + V_0/r^2 $ 를 분석하는 데 사용된 방법은, 유클리드 공간에서 표준 라플라스스키프 변환에 대한 알려진 $ L^p $ 유계성 결과를 회복하거나 개선하는 데 응용될 수 있나요?

주요 결과

• 비영인 $ V_0 \not\equiv 0 $ 인 경우, 라플라스스키프 변환 $ T = \nabla H^{-1/2} $ 는 $ L^p(M) $ 에서 다음 범위에서만 유계이다: $ p \in \left( \frac{d}{\min(1 + \frac{d}{2} + \mu_0, d)}, \frac{d}{\max(\frac{d}{2} - \mu_0, 0)} \right) $, 여기서 $ \mu_0 > 0 $ 은 $ \Delta_Y + V_0 + (d-2)^2/4 $ 의 최소 고유값의 제곱근이다.
• $ V_0 \equiv 0 $ 인 경우, 유계성 범위는 $ \left(1, \frac{d}{\max(\frac{d}{2} - \mu_1, 0)} \right) $ 로 변형되며, 여기서 $ \mu_1 > 0 $ 은 $ \Delta_Y + (\frac{d-2}{2})^2 $ 의 두 번째로 작은 고유값의 제곱근이다. 이는 H.-Q. Li [34] 의 결과를 확인한다.
• 유도된 간격 외부에서의 무한대성은 Guillarmou 와 Hassell [28] 의 반례를 응용하여 날카운 유계성 범위를 입증한다.
• $ T $ 의 $ L^2 $ 유계성은 스펙트럼 이론을 통해 확립되며, 분해 $ T = T_1 + T_2 + T_3 $ 는 각 성분의 별도의 $ L^p $ 분석을 가능하게 한다. $ T_1 $ 과 $ T_3 $ 는 전체 범위에서 $ L^2 $ 과 $ L^p $ 에서 유계임을 보였다.
• 핵심적인 기술적 진전은 $ (H+1)^{-1} $ 의 적분 커널에 대한 정밀한 渐近적 분석으로, $ L^p $ 연산자 노름을 결정하는 데 필요한 정확한 동차성과 감쇠 속도를 드러낸다.
• 분석 결과, $ V_0 \equiv 0 $ 인 경우, 기울기 $ \nabla $ 가 커널의 감쇠를 향상시키며, 최소 고유함수 $ u_0 $ 가 일정하기 때문에 $ \mu_0 $ 항에서 추가적인 소멸 차수를 가지게 되어, $ V_0 \equiv 0 $ 인 경우에 더 향상된 범위가 도출됨을 보여준다.