[논문 리뷰] Linear nonlocal problem for the abstract time-dependent non-homogeneous Schrödinger equation

Dmytro Sytnyk, Roderick Melnik|arXiv (Cornell University)|2016. 09. 22.

Advanced Mathematical Physics Problems참고 문헌 23인용 수 5

한 줄 요약

이 논문은 추상적 시간에 따라 변화하는 비동차 슈뢰딩거 방정식에 대한 선형 비국소성 시간 문제의 옹호성 및 미약해와 강해의 존재에 대한 정확한 필요 및 충분 조건을 수립한다. 스트립 유형 연산자에 대한 덴포르-코시 함수 해석학을 활용하여 정확한 해 연산자 표현을 도출하며, 이는 이전의 비국소 매개변수에 대한 유계 조건을 비유계 경우로 일반화하고, 두점 및 세점 조건에 대한 허용 가능한 매개변수 다양체의 분석적 특성화를 가능하게 한다.

ABSTRACT

A nonlocal-in-time problem for the abstract Schrödinger equation is considered. By exploiting the linear nature of nonlocal condition we derive an exact representation of the solution operator under assumptions that the spectrum of Hamiltonian is contained in the horizontal strip of complex plane. The derived representation permits us to establish the necessary and sufficient conditions for the problem's well-posedness and the existence of its mild, strong solutions. Furthermore, we present new sufficient conditions for the existence of solution which extend the available results to the case when some nonlocal parameters are unbounded. Two examples are provided.

연구 동기 및 목표

• 추상적 시간에 따라 변화하는 비동차 슈뢰딩거 방정식에 대한 비국소성 시간 문제의 미약해와 강해의 존재성 및 유일성에 대한 필요 및 충분 조건을 수립한다.
• 기존의 충분 조건—예를 들어, 유계 조건 ∑|αk|e^{dt_k} ≤ 1—를 비국소 매개변수가 균일하게 유계인 영역을 초월해 일반화한다.
• 기능 해석학과 근 찾기 기법을 사용하여 두점 및 세점 비국소 조건에 대한 허용 가능한 매개변수 다양체의 정확한 분석적 특성화를 제공한다.
• 비헤르미트형 해밀토니안에 대한 비국소 슈뢰딩거 문제의 적용 가능성을 넓혀, 시스템-환경 상호작용을 모델링하는 반헤르미트형 부분이 있는 개방 양자 시스템에 적용 가능하게 한다.

제안 방법

• 비국소 매개변수의 스펙트럼이 복소 평면의 수평 스트립 내에 포함된 스트립 유형 연산자에 대한 덴포르-코시 공식을 활용하여 해 연산자의 정확한 표현을 유도한다.
• 비국소 조건 ψ(0) + ∑αkψ(tk) = ψ1을 선형 시스템으로 변환함으로써 비국소 문제를 고전적 코시 문제로 환원한다.
• 기능 해석학을 적용하여 해 연산자를 분석하고, 스펙트럼 매개변수를 포함하는 선형 연산자의 가역성에 기반한 옹호성에 대한 필요 및 충분 조건을 도출한다.
• 슈어-코언 알고리즘과 근 찾기 기법을 활용하여 세점 비국소 조건에 대한 허용 가능한 매개변수 집합 (α₁, α₂)을 결정한다.
• 등각 사영과 복소해석학의 추정치(예: 보조정리 1–3)를 활용하여, 고전적 유계 조건 ∑|αk|e^{dt_k} ≤ 1을 초월하는 충분 조건을 유도한다.
• 두 가지 예시를 통해 결과를 검증한다: 두점 비국소 조건과 세점 비국소 조건이며, 제안된 기준을 사용하여 명시적인 매개변수 영역을 도출한다.

실험 결과

연구 질문

• RQ1 비국소성 시간 슈뢰딩거 문제의 미약해 존재성 및 유일성에 대한 필요 및 충분 조건은 무엇인가?
• RQ2 고전적 유계 조건 ∑|αk|e^{dt_k} ≤ 1은 어떻게 비국소 매개변수가 비유계일 경우로 일반화될 수 있는가?
• RQ3 두점 및 세점 비국소 조건에 대한 허용 가능한 매개변수 다양체의 완전한 분석적 특성화는 무엇인가?
• RQ4 던포르-코시 공식을 통한 해 연산자 표현은 자가수반 케이스를 초월해 비국소 문제를 정확하게 분석하는 데 어떻게 기여하는가?

주요 결과

• 논문은 비국소 매개변수와 해 연산자를 조합하여 구성된 선형 연산자의 가역성에 기반한 비국소 문제의 옹호성에 대한 필요 및 충분 조건을 유도한다.
• t₁=1, t₂=2, d=π/40 인 세점 비국소 조건에서, (α₁, α₂)에 대한 허용 영역은 비유계 집합으로 확장되며, 식 (26)의 두 번째 부등식계에 의해 이를 확인할 수 있다. 이는 고전적 유계 조건 ∑|αk|e^{dt_k} ≤ 1로는 포괄되지 않는다.
• 정리 3(슈어-코언 알고리즘)를 통해 도출된 허용 매개변수 영역은 고전적 조건 (5)에 의한 영역보다 훨씬 크며, 후자는 더 큰 비유계 영역 내에 포함된 유계 뱃지형 영역을 형성한다.
• 이 방법은 두점 및 세점 비국소 문제의 전체 허용 매개변수 다양체를 분석적으로 기술할 수 있게 하며, 이는 비국소 매개변수가 비유계일 경우에도 적용 가능하다.
• 결과는 비헤르미트형 해밀토니안에 대해 유효하며, 반-헤르미트형 부분이 시스템-환경 상호작용을 모델링하는 개방 양자 시스템로의 적용 가능성을 확장한다.