큰 결합 한계와 비정정성 연산자 수렴

초록

본 논문은 양의 반정정성 가정 없이 $A_\beta=A+\beta B$ 형태의 연산자족이 $\beta\to\infty$일 때 $\ker B$ 위에 정의된 유효 연산자로 강·노름 해석자 수렴을 이루는 조건을 제시한다. $A+βB$가 자기공역이면 강해석자 수렴을, $0\in\sigma(B)$가 고립되고 $B$의 준영역이 사라지면 노름 수렴을 얻는다. 비자기공역 $B$의 경우 Riesz 투영의 구체적 형태가 극한 연산자에 영향을 미친다.

상세 분석

논문은 기존의 Kato 단조 수렴 정리와 달리 양의 반정정성 가정을 포기하고, 연산자 수준에서 직접 해석자 수렴을 다룬다. 첫 번째 주요 결과는 $B$가 자기공역(또는 유계)이고 $A+βB$가 자기공역이면, $P:=\chi_{{0}}(B)$ 로 정의되는 정사영을 이용해 $A$를 $\ker B$ 위로 압축한 연산자 $PAP$가 강해석자 수렴의 극한이 됨을 보인다. 여기서 핵심은 $Q:=I-P$ 가 작용하는 부분의 해석자가 $\beta^{-1}$ 로 사라지는 점과, 첫 번째 해석자 공식을 이용해 약수렴을 강수렴으로 끌어올리는 기법이다. 또한 $PAP$가 본질적으로 자기공역이면, $A$가 $\ker B$에 대해 정의역이 충분히 풍부하지 않아도 결과가 유지된다.

두 번째 섹션에서는 $B$가 비자기공역이지만 $0$이 고립 스펙트럼점이라는 가정을 추가한다. 이 경우 Riesz 투영 $P$가 존재하고, $B$의 준영역(quasinilpotent part)이 $0$에서 사라지는 조건($B$의 Jordan 블록이 1차만 존재) 하에 $A+βB$가 닫힌 연산자이면 $|(A+βB-z)^{-1}-P(A-z)^{-1}P|\to0$ 를 증명한다. 여기서 중요한 점은 $P$가 단순히 $\ker B$를 지정하는 것이 아니라, $B$의 고유공간에 대한 복소수 구조를 반영한다는 것이다. 따라서 비정정성 상황에서도 극한 연산자는 $PAP$가 아니라 $PAP$에 $P$가 정의하는 비대칭 투영이 결합된 형태가 된다.

논문은 또한 연산자 상대유계성 조건($A$가 $B$에 대해 상대유계)과 $B$가 유계인 경우를 포괄적으로 다루어, 실제 PDE나 양자역학 모델에 바로 적용할 수 있는 일반적인 프레임워크를 제공한다. 예시로는 1+1 차원 디랙 연산자에 큰 질량항을 추가한 경우, 유한 차원 교란을 가진 자기공역 연산자, 그리고 그래프 라플라시안에 고연결 클러스터를 삽입한 경우 등을 제시한다. 특히 물리학 예시에서는 약한 상호작용을 담당하는 SU(2) 게이지 필드와 큰 결합 상수를 가진 스핀오르트 연산자를 분석해, 좌측 손잡이 성분이 사라지고 우측 손잡이만 남는 유효 해밀토니안을 얻는다.

전체적으로 논문은 (i) 강해석자 수렴을 위한 최소한의 자기공역·압축 조건, (ii) 노름 수렴을 위한 고립 스펙트럼·준영역 소거 조건, (iii) 비자기공역 $B$에서 Riesz 투영의 역할을 명확히 규정함으로써, 기존 양의 반정정성 프레임을 넘어선 연산자 수렴 이론을 확립한다는 점에서 의의가 크다.