[논문 리뷰] Spectral properties of Schr\\"odinger operators on compact manifolds: rigidity, flows, interpolation and spectral estimates

Jean Dolbeault, Maria J. Esteban외 2명|arXiv (Cornell University)|2013. 01. 01.

Advanced Mathematical Modeling in Engineering참고 문헌 8인용 수 14

한 줄 요약

이 논문은 보간 부등식과 비선형 타원형 방정식에 대한 강성 결과를 사용하여 경계가 없는 컴팩트 리만다이언 군면 위의 슈뢰딩거 연산자에 대한 최적 스펙트럼 추정을 수립한다. 잠재력의 $L^p$-노름에 따라 $-\Delta_g - V$의 최소 고유값에 대한 날카운 경계를 도출하며, 이 경계가 잠재력의 노름이 매우 클 때 유클리드 경우와 渐近적으로 일치함을 보여준다.

ABSTRACT

This note is devoted to optimal spectral estimates for Schrödinger operators on compact connected Riemannian manifolds without boundary. These estimates are based on the use of appropriate interpolation inequalities and on some recent rigidity results for nonlinear elliptic equations on those manifolds.

연구 동기 및 목표

• 경계가 없는 컴팩트 리만다이언 군면 위의 슈뢰딩거 연산자에 대한 날카운 최적 스펙트럼 추정을 도출하는 것.
• 강성과 보간 기법을 사용하여 구 위의 알려진 결과를 일반 컴팩트 다각체로 확장하는 것.
• 잠재력의 노름이 무한으로 갈 때 고유값 추정의 점점 가까운 행동을 특성화하는 것.
• 특히 일정 잠재력일 때 최적 상수가 실현되는 조건을 확립하는 것.
• 보간 부등식을 통해 음의 잠재력과 양의 잠재력에 대한 스펙트럼 추정을 통합하는 것.

제안 방법

• 비선형 흐름을 사용하여 컴팩트 다각체 위의 비선형 타원형 방정식의 해에 대한 강성 결과를 증명한다.
• 강성 결과로부터 유도된 $A$--$B$ 형식의 보간 부등식을 적용하며, 이는 기울기의 $L^2$-노름과 함수의 $L^q$-노름을 포함한다.
• 스펙트럼 함수 $\alpha(\mu)$를 역으로 적용하여 잠재력 $V$의 $L^p$-노름과 $-\Delta_g - V$의 첫 번째 고유값에 대한 하한 사이의 관계를 규명한다.
• 스케일링 추론과 농축-콤���턴스 기법을 사용하여 $\mu \to \infty$일 때 $\alpha(\mu)$의 날카운 점점 가까운 행동을 유도한다.
• 횔더 부등식을 사용하여 $-\Delta_g - V$의 레일리 몫을 보간 부등식과 연결함으로써 스펙트럼 추정을 가능하게 한다.
• 변분 방법을 사용하여 극한 함수의 존재성을 증명하고 경계의 최적성 여부를 검증한다.

실험 결과

연구 질문

• RQ1 비음성 잠재력 $V$를 가진 컴팩트 리만다이언 군면 위의 슈뢰딩거 연산자 $-\Delta_g - V$에 대한 최적 스펙트럼 추정은 무엇인가?
• RQ2 잠재력의 노름 $\|V\|_{L^p}$이 매우 클 때 첫 번째 고유값 $\lambda_1(-\Delta_g - V)$는 어떻게 행동하는가?
• RQ3 최적 상수가 일정 잠재력에 의해 실현되는 조건은 무엇인가?
• RQ4 잠재력의 노름 $\mu = \|V\|_{L^p} \to \infty$일 때 스펙트럼 경계 $\alpha(\mu)$의 정확한 점점 가까운 행동은 무엇인가?
• RQ5 다각체 위의 비선형 타원형 방정식에 대한 강성 결과가 어떻게 날카운 보간 및 스펙트럼 부등식을 이끌어내는가?

주요 결과

• 스펙트럼 추정 $|\lambda_1(-\Delta_g - V)| \leq \alpha(\|V\|_{L^p})$ 는 최적이며: 임의의 $\mu > 0$에 대해 등호가 성립하는 비음성 $V$ 가 존재한다.
• 만약 $\mu < \frac{\kappa \Lambda_*}{q-2}$ 이면 경계는 $\alpha(\mu) = \mu / \kappa$ 이며, 이는 일정 잠재력에 의해 등호로 실현된다.
• $\mu \to \infty$ 일 때 점점 가까운 행동은 $\alpha(\mu)^{p - d/2} = \mathrm{L}_{p - d/2, d}^1 \, \mu^p \, (1 + o(1))$ 이며, $\mathrm{L}_{\gamma,d}^1 = (\mathsf{K}_{q,d})^{-(\gamma + d/2)}$ 이다.
• 상수 $\mathsf{K}_{q,d}$ 는 $\mathbb{R}^d$ 위의 해당 부등식에서의 최적 상수이며, 시험 함수의 집중으로 인해 점점 가까운 행동이 날카롭게 된다.
• 양의 잠재력 $W$ 에 대해 $-\Delta_g + W$ 의 첫 번째 고유값은 $\lambda_1(-\Delta_g + W) \geq \nu(\beta)$ 를 만족하며, $\beta = \left(\int W^{-p} \, dv_g\right)^{1/p}$ 이고, $\beta \to \infty$ 일 때 $\nu(\beta)^{-(p + d/2)} \sim \mathrm{L}_{-(p + d/2), d}^1 \, \beta^{-p}$ 이다.
• 강성 결과는 $\lambda < \Lambda_*$ 일 때 방정식 $-\Delta_g v + \frac{\lambda}{q-2}(v - v^{q-1}) = 0$ 의 유일한 양의 해가 $v \equiv 1$ 임을 보장하며, 이는 추정의 날카움을 뒷받침한다.