[논문 리뷰] Self-Adjointness of two dimensional Dirac operators on corner domains

Fabio Pizzichillo, Hanne Van Den Bosch|arXiv (Cornell University)|2019. 02. 13.

Spectral Theory in Mathematical Physics참고 문헌 18인용 수 11

한 줄 요약

이 논문은 끝점이 유한한 다각형 영역에서 양자점 및 로렌츠 스칼라 δ-셸 경계 조건을 갖는 2차원 디랙 연산자의 자기수반성을 확립한다. 조화함수를 분석하고, 등각사상으로 영역을 무한한 섹터로 변환하여 문제를 단순화함으로써, H¹/²에서 유일한 자기수반 실현이 존재함을 증명한다. 이는 자유 디랙 연산자의 형식 도메인과 일치한다.

ABSTRACT

We investigate the self-adjointness of the two-dimensional Dirac operator $D$, with quantum-dot and Lorentz-scalar $\\delta$-shell boundary conditions, on piecewise $C^2$ domains with finitely many corners. For both models, we prove the existence of a unique self-adjoint realization whose domain is included in the Sobolev space $H^{1/2}$, the formal form domain of the free Dirac operator. The main part of our paper consists of a description of the domain of $D^*$ in terms of the domain of $D$ and the set of harmonic functions that verify some mixed boundary conditions. Then, we give a detailed study of the problem on an infinite sector, where explicit computations can be made: we find the self-adjoint extensions for this case. The result is then translated to general domains by a coordinate transformation.

연구 동기 및 목표

• 끝점이 유한한 영역에서 양자점 및 로렌츠 스칼라 δ-셸 경계 조건을 갖는 2차원 디랙 연산자의 자기수반성을 확립한다.
• 원래 도메인 D의 도메인과 혼합 경계 조건을 만족하는 조화함수를 이용해 고유수반 연산자 D*의 도메인을 특성화한다.
• 등각사상 기법을 사용해 무한한 섹터에서 명시적 계산을 수행함으로써 모델 문제를 분석한다.
• 좌표 변환을 통해 섹터에서의 결과를 일반적인 끝점 영역으로 확장한다.
• 비구형 기하에서 특이 경계 조건을 갖는 디랙 연산자에 대한 엄밀한 함수해석학적 프레임워크를 제공한다.

제안 방법

• 형식적 고유수반 D*의 도메인을 D의 도메인과 혼합 경계 조건을 만족하는 조화함수의 공간으로 분해하여 분석한다.
• 끝점 영역을 무한한 섹터로 변환하기 위해 등각사상을 사용하여 기하학적 복잡성을 줄인다.
• 섹터 모델에서의 명시적 계산을 적용하여, 두 경계 조건 하에서 디랙 연산자의 모든 자기수반 확장을 분류한다.
• 좌표 변환 S 하에서 디랙 연산자의 변환된 형태를 유도하며, 곡률과 경계 각도의 편차에서 기인하는 수정 항을 포함한다.
• 변환된 연산자 U_S* H U_S를 δ(x)에 대해 두 계수까지 전개하여 기하적 왜곡을 설명하는 페르티urbation 항 L₁, L₂, M을 식별한다.
• 자기수반 실현이 자유 디랙 연산자의 자연스러운 형식 도메인에 속함을 보장하기 위해 H¹/²에서 타원적 정규성과 추적 정리에 의존한다.

실험 결과

연구 질문

• RQ1 끝점이 유한한 영역에서 2차원 디랙 연산자가 어떤 조건에서 자기수반일 수 있는가?
• RQ2 원래 도메인이 특이 경계점을 갖는 경우 고유수반 연산자의 도메인은 어떻게 특성화할 수 있는가?
• RQ3 무한한 섹터에서 양자점 또는 δ-셸 경계 조건을 갖는 디랙 연산자의 자기수반 확장은 무엇인가?
• RQ4 기하학적 왜곡이 있을 때 등각변환이 디랙 연산자의 자기수반성을 어떻게 유지하거나 변화시키는가?
• RQ5 모델 섹터에서의 자기수반 실현은 일반적인 끝점 영역으로 확장될 수 있는가?

주요 결과

• 양자점 및 로렌츠 스칼라 δ-셸 디랙 연산자는 끝점이 유한한 조각적 C² 영역에서 유일한 자기수반 실현을 갖는다.
• 자기수반 확장의 도메인은 자유 디랙 연산자의 형식 도메인인 H¹/²(Ω, ℂ²)에 포함된다.
• 고유수반 도메인 D*는 D와 특정 혼합 경계 조건을 만족하는 조화함수의 공간의 직합으로 특성화된다.
• 개방각 ω ∈ (0, 2π)인 무한한 섹터에서, 변환된 연산자의 스펙트럼 분석을 통해 모든 자기수반 확장이 명시적으로 분류된다.
• 좌표 변환 S는 끝점 영역을 섹터로 매핑하며, 변환된 디랙 연산자에서의 페르티urbation 항은 정점 근처에서 O(|x|)의 순서로 유계이다.
• 등각변환 하에서도 자기수반성 결과가 유지되어 일반적인 끝점 영역에서의 확장이 잘 정의됨을 보장한다.