[논문 리뷰] Trace identities for commutators, with applications to the distribution of eigenvalues

Evans M. Harrell, Joachim Stubbbe|ArXiv.org|2009. 03. 03.

Spectral Theory in Mathematical Physics참고 문헌 22인용 수 3

한 줄 요약

이 논문은 주기적 슈뢰딩거 연산자와 임베드된 다양체 위의 라플라스-벨트라미 연산자에 대한 고유값에 대한 날카운 전역 경계를 유도하기 위해 유니터리 연산자에 대한 교환자에 대한 추적 항등식을 수립한다. 비자기적 보조 연산자에 대해 합 규칙과 리즈 평균의 단조성의 일반화를 통해 최적의 리브-티어링 부등식과 $\|h\|_{\infty}^{2}N^{2/d}$ 비례하는 새로운 레일리 유형의 고유값 경계를 증명한다. 이 경계는 단조성을 보장하기 위해 고유값 파arameter에 명시적이고 대체 불가능한 이동항을 포함한다.

ABSTRACT

We prove trace identities for commutators of operators, which are used to derive sum rules and sharp universal bounds for the eigenvalues of periodic Schroedinger operators and Schroedinger operators on immersed manifolds. In particular, we prove bounds on the eigenvalue lambda_{N+1} in terms of the lower spectrum, bounds on ratios of means of eigenvalues, and universal monotonicity properties of eigenvalue moments, which imply sharp versions of Lieb-Thirring inequalities. In the geometric context we derive a version of Reilly's inequality, bounding the eigenvalue lambda_{N+1} of the Laplace-Beltrami operator on an immersed manifold of dimension d by a universal constant times the square of the maximal mean curvature times N^{2/d}.

연구 동기 및 목표

• 디리클레 라플라시안과 이산 스펙트럼에 대해 알려진 전역 스펙트럼 경계를 주기적 슈뢰딩거 연산자와 평균 곡률가 한정된 다양체로 확장하기 위해.
• 주기적 설정에서 좌표 곱셈이 도메인을 유지하지 못하는 기술적 과제를 해결하기 위해 자기수반 연산자가 아닌 유니터리 연산자를 사용함으로써.
• 주기적 및 기하학적 스펙트럼 문제에 대해 날카운 리브-티어링 부등식과 리즈 평균의 전역 단조성을 도출하기 위해.
• 임베드된 다양체 위의 라플라스-벨트라미 연산자에 대한 고유값에 대한 새로운 레일리 유형의 부등식을 증명하고, 渐近적 행동에서 최적이 되도록 하기 위해.
• 격자 점 수세기 및 주기적 슈뢰딩거 연산자와 같은 구체적 예시를 통해 유도된 경계의 최적성을 입증하기 위해.

제안 방법

• G가 유니터리일 때 교환자 $[H,G]$와 $[G,[H,G]]$에 대해 추상적 추적 항등식(정리 2.2)을 유도하여 주기 문제에서 도메인 문제를 피한다.
• 동일한 대수적 구조를 사용하여 주기적 슈뢰딩거 연산자와 평균 곡률가 한정된 다양체에 동시에 추적 항등식을 적용한다.
• 기하학적으로 의존하는 이동항을 가진 리즈 평균 $R_2(z)$의 $z$에 대한 단조성을 확립하며, 유한 도메인의 결과를 일반화한다.
• 참고문헌 [32]의 방법을 사용하여 주기적 및 기하학적 연산자에 대해 리즈 평균의 전역 단조성을 증명하고, 이는 날카운 리브-티어링 부등식을 암시한다.
• 임베드된 다양체에 대해 $\lambda_{N+1} \leq C \|h\|_{\infty}^{2}N^{2/d}$ 를 만족하는 새로운 레일리 유형의 경계를 도출하며, $C$는 전역적이고 최적이다.
• 구체적 예시를 통해 최적성을 검증한다: $S^1$ 위의 주기적 라플라시안, 2차원 토러스 격자 점 수세기, 고유값 이동항이 있는 주기적 슈뢰딩거 연산자.

실험 결과

연구 질문

• RQ1 표준 교환자 항등식이 실패하는 주기적 슈뢰딩거 연산자에 대해 리브-티어링 부등식과 리즈 평균의 단조성과 같은 전역 스펙트럼 경계를 확장할 수 있는가?
• RQ2 주기적 및 기하학적 연산자에 대해 리즈 평균의 단조성을 유지하기 위해 스펙트럼 매개변수 $z$에 최적의 이동항은 무엇인가?
• RQ3 추적 항등식과 유니터리 교환자를 사용하여 임베드된 다양체 위의 고유값에 대해 날카운 레일리 유형의 부등식을 도출할 수 있는가?
• RQ4 주기적 슈뢰딩거 연산자에 대해 유도된 리브-티어링 부등식은 최적이며, $z$의 이동항을 단순화할 수 있는가, 단조성을 유지하면서?
• RQ5 유도된 경계는 고전적 결과, 예를 들어 가우스 원판 문제와 비교하여 어떻게 다를까?

주요 결과

• 주기적 슈뢰딩거 연산자에 대해 리즈 평균 $R_2(z)$는 $\alpha/4$로 이동된 후에만 $z$에 대해 비감소함을 보이며, 이 이동항을 줄이면 단조성이 깨진다.
• 차원 $d$인 임베드된 다양체 위의 라플라스-벨트라미 연산자에 대해 $\lambda_{N+1} \leq C \|h\|_{\infty}^{2}N^{2/d}$ 를 만족하는 새로운 레일리 유형의 경계가 증명되었으며, $C$는 전역적이고 최적이다.
• 1차원 주기적 라플라시안의 경우 $N=2n+1$일 때 유도된 경계가 등호를 만족함으로써 스펙트럼 매개변수에 대한 이동항 $\pi^2$의 날카운성을 확인한다.
• 2차원 토러스에서 경계 $R_2(x) \leq \frac{\pi}{3}(x + \frac{1}{2})^3$ 는 $\Delta_2(x) \leq \frac{\pi}{48}(12x^2 + 6x + 1)$ 를 암시하며, 이는 와일의 渐近적 행동과 일치하는 한쪽 방향 추정이다.
• 주기적 슈뢰딩거 연산자 $H(\alpha) = -\alpha\Delta - \gamma$ 에 대해 $\alpha \mapsto \sqrt{\alpha} \sum (z - \alpha/4 - \lambda_j)_+^2$ 는 비감소함을 증명하여 최적의 리브-티어링 부등식을 입증한다.
• 스펙트럼 매개변수의 이동항 $\alpha/4$ 는 최적이며, 이는 $\gamma/\alpha = m^2$ 인 정수 $m$ 에 대해 테스트한 결과 단조성을 상실함으로써 입증된다.