[논문 리뷰] Gordon type Theorem for measure perturbation

Christian Seifert|arXiv (Cornell University)|2016. 08. 08.

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

한 줄 요약

이 논문은 한차원 슈뢰딩거 연산자에 대한 고론의 고유값이 존재하지 않는다는 고론 정리의 일반화를 측도 기반 잠재력의 경우로 확장한다. '고론 측도'—특정 점근적 의미에서 주기적인 측도로 근사 가능한 국소적으로 유계인 부호 측도—의 개념을 도입함으로써, $ H = -\Delta + \mu $ 형태의 이러한 연산자가 임베디드 고유값이나 고립 고유값을 가지지 않음을 증명한다. 이는 고전적인 $ L^1_{\text{loc}} $ 잠재력에 대한 결과를 더 특이한 측도 기반 설정으로 확장한다.

ABSTRACT

Generalizing the concept of Gordon potentials to measures we prove a version of Gordon's theorem for measures as potentials and show absence of eigenvalues for these one-dimensional Schrödinger operators.

연구 동기 및 목표

• L^1_{\text{loc}} 잠재력에서의 고론 정리의 고유값 부재성 결과를 더 특이한 측도 기반 잠재력으로 확장한다.
• 고전적 고론 잠재력의 개념을 측도 설정으로 일반화하는 '고론 측도'로 불리는 측도의 집합을 정의하고 특성화한다.
• 형 방법과 근사 기법을 사용하여 이러한 측도를 가진 슈뢰딩거 연산자 $ H = -\Delta + \mu $ 의 자기수반성과 스펙트럼 성질을 확립한다.
• 특이하고 부호가 있는 국소 유한 보렐 측도일지라도, 고유값 부재성 성질이 이 일반화에서도 유지됨을 보여준다.

제안 방법

• 형의 유계성을 라플라스 연산자에 대해 보장하는, 균일하게 국소적으로 유계인 부호 측도의 개념을 도입한다.
• 고론 측도를, 확장하는 간격에서 주기적인 측도로 총변동에 대해 수렴하는, 균일하게 국소적으로 유계인 측도로 정의한다.
• 소볼레프 포함과 $ L^2 $-노름 추정을 사용하여 측도의 음의 부분의 형 유계성을 증명함으로써, 스펙트럼 연산자를 이차형식을 통해 정의할 수 있도록 한다.
• 보조 연산자 $ T $ 를 통한 직접적인 연산자 정의를 수립하고, 형 기반 연산자 $ H $ 가 $ T $ 의 제약임을 보여준다.
• 측도 $ \mu $ 가 주기적인 측도 $ \mu^m $ 로 수렴하는 극한 추론을 적용하며, 간격 $ [-p_m, 2p_m] $ 에서 해의 노름에 대한 균일 추정을 사용한다.
• 모순에 기반한 추론을 사용한다: 만약 $ L^2 $ 고유함수가 존재한다면, 그 도함수는 무한대에서 감쇠해야 하지만, 근사 조건은 비감쇠 진동을 강제하여 $ L^2 $-적분 가능성과 모순된다.

실험 결과

연구 질문

• RQ1 고론 정리의 고유값 부재성 결과를 $ L^1_{\text{loc}} $ 잠재력에서 더 특이한 측도 기반 잠재력으로 확장할 수 있는가?
• RQ2 부호가 있는 보렐 측도 $ \mu $ 가 어떤 조건을 만족할 경우 슈뢰딩거 연산자 $ H = -\Delta + \mu $ 가 고유값을 가지지 않는가?
• RQ3 측도 편향의 맥락에서 고전적 고론 잠재력의 개념을 일반화하는 측도의 집합을 어떻게 정의하고 특성화할 수 있는가?
• RQ4 주기적인 측도에 의한 측도 근사—기간이 증가하는 간격에서 수행—는 스펙트럼의 임베디드되지 않음에 어떤 역할을 하는가?

주요 결과

• 고론 측도의 집합은 모든 일반화된 고론 잠재력과 모든 국소적으로 유계인 주기적인 측도를 포함하며, 예를 들어 $ \mu = \sum_{n \in \mathbb{Z}} \delta_{n+1/2} $ 와 같은 측도를 포함한다.
• 모든 고론 측도 $ \mu $ 에 대해, 형 방법으로 정의된 슈뢰딩거 연산자 $ H = -\Delta + \mu $ 는 고유값을 가지지 않는다.
• 증명은 임의의 $ L^2 $ 고유함수가 무한대에서 $ |u(x)|^2 + |u'(x)|^2 $ 에 대해 균일한 하한을 만족해야 한다는 사실에 기반하며, 이는 $ L^2 $-적분 가능성과 모순된다.
• 근사 조건 $ \lim_{m \to \infty} e^{Cp_m} |\mu - \mu^m|([-p_m, 2p_m]) = 0 $ 는 $ H $ 와 $ H^m $ (주기적인 $ \mu^m $ 을 가진)의 해 행동이 큰 간격에서 구별할 수 없게 함을 보장한다.
• 부호가 있고 특이한 측도일지라도, 균일하게 국소적으로 유계이고 주기적인 측도로의 근사 조건이 발산하는 주기를 만족한다면 결과는 성립한다.