비주기성 시스템을 위한 슈뢰딩거 연산자 스펙트럼의 고차원 임베딩 및 정규화 분석

초록

본 논문은 두 개의 서로 다른 주기성을 갖는 층을 겹쳐 만든 비주기(인커머스) 시스템을 고차원으로 임베딩하고, 정규화된 슈뢰딩거 연산자를 도입함으로써 원래 연산자의 스펙트럼을 근사할 수 있음을 증명한다. 또한, 정규화된 연산자에 대한 Bloch‑type 해의 존재와 원래 문제에 대한 근사 해의 존재를 보이며, 이를 통해 비주기 시스템의 물리량 계산을 위한 이론적 기반을 제공한다.

상세 분석

이 논문은 비주기(인커머스) 시스템의 전자·광학·기계적 특성을 설명하기 위해, 두 개의 서로 다른 격자 A₁, A₂에 의해 정의된 주기적 퍼텐셜 V₁(r), V₂(r) 를 갖는 슈뢰딩거 연산자 H=−½Δ+V₁+V₂ 를 연구한다. 두 격자가 서로 비주기적이면 전통적인 Bloch 정리는 적용되지 않아 스펙트럼 분석이 어려워진다. 저자들은 이를 해결하기 위해 (r,r′)∈ℝ^{2d} 로 확장된 고차원 공간에 시스템을 임베딩하고, 연산자 ˜H=−½∑{i=1}^d(∂{r_i}+∂_{r′_i})²+V₁(r)+V₂(r′) 를 정의한다. ˜H는 격자 ˜R=R₁×R₂에 대해 주기성을 회복하지만, 주기 방향 ξ+ξ′=0 에서 퇴화된 타원성(degenerate ellipticity) 때문에 자체적으로는 자기‑adjoint가 아니다.

논문은 ˜H의 대칭 부분 연산자 ˜D=∑(∂{r_i}+∂{r′i})² 가 본질적으로 자기‑adjoint임을 Fourier 변환을 이용해 증명하고, Kato‑Rellich 정리를 적용해 ˜H 전체도 본질적으로 자기‑adjoint임을 보인다. 따라서 ˜H는 유일한 자기‑adjoint 확장을 가지며, 이 확장은 그래프 노름 ‖u‖G= (‖u‖²{L²}+‖˜H u‖²{L²})^{1/2} 로 정의된 힐베르트 공간 G 위에 정의된다.

그 다음 Bloch‑Floquet 변환 U_{˜R} 를 도입해 L²(ℝ^{2d}) 를 직접 적분 분해 ⨁_{k∈˜Γ*} L²(˜Γ) 로 전환한다. 이 변환은 ˜H를 블록 대각 형태 ˜H(k)=−½(∇r+∇{r′}+i(k+k′))²+½|k+k′|²+V₁(r)+V₂(r′) 로 표현하게 하며, 각 k‑섹터는 주기적 경계조건을 갖는 토러스 T^{2d} 위의 표준 H² 공간에 정의된다.

하지만 ˜H는 여전히 퇴화된 타원성을 가지고 있어 수치적 안정성이 부족하다. 이를 극복하기 위해 정규화 연산자 ˜H_δ=˜H−δ²∑{i=1}^d(∂{r_i}−∂_{r′_i})²/2 를 도입한다. δ>0 일 때 ˜H_δ는 완전 타원적이며, 표준 Sobolev 추정과 Fredholm 이론을 적용해 스펙트럼이 이산적이고 실수축에 포함됨을 보인다. 저자는 δ→0⁺ 로 갈 때 ˜H_δ의 스펙트럼이 원래 연산자 ˜H(=H의 확장)와 위상학적으로 동일해짐을 증명한다(정리 5.2).

스펙트럼 근사 결과를 바탕으로, Bloch‑type 해 u_λ(r) 가 존재함을 보이고, 정규화된 연산자 ˜H_δ 의 Bloch 해 ˜u_{δ,λ}(r,r′) 가 δ→0⁺ 에서 u_λ(r) 로 수렴한다는 강한 근사 정리를 제시한다. 이는 물리적 관측량(예: 전자 밀도, 전도도) 을 주기적 시스템에 적용 가능한 수치 알고리즘(평면파 전개, k‑점 샘플링 등) 으로 계산할 수 있음을 의미한다.

결과적으로, 비주기 시스템을 고차원 주기적 문제로 변환하고, 정규화된 타원적 연산자를 통해 스펙트럼과 파동함수를 근사함으로써, 기존의 초셀(supercell) 접근법이 갖는 비효율성과 수학적 근거 부족 문제를 해결한다. 이론은 d=1,2 뿐 아니라 임의 차원 및 다층 구조에도 확장 가능하며, 차후 수치 구현과 물리적 현상(마법각 트위스트 그래핀, Moiré 초전도 등)의 정량적 예측에 직접 활용될 수 있다.