분포계수를 가진 1차 시스템의 자기수반 확장 이론

초록

본 논문은 구간 ((a,b))에서 정의된 2차원 1차 시스템 (Ju’+qu=wf)에 대해, (J)는 상수 스키워-헐미션 행렬, (q)와 (w)는 실분포(차수 0)이며 각각 에르미트와 비음성 조건을 만족한다. 저자들은 최소 관계 (T_{\min})와 최대 관계 (T_{\max})를 정의하고, 최소 관계의 폐쇄에 속하는 해들의 경계조건을 명시한다. 이후 ‘준경계조건(quasi‑boundary condition)’을 이용해 자기수반 확장을 기술하고, 특히 비음성 최소 관계에 대한 Krein‑von Neumann 확장을 상세히 다룬다. 부록에서는 Friedrichs 확장의 구성과 Krein‑von Neumann 확장의 정의를 연결한다.

상세 분석

본 연구는 전통적인 Sturm‑Liouville 및 Dirac‑형 방정식의 일반화로, 계수 행렬 (q,w)를 실분포(차수 0)로 허용함으로써 급격한 점프나 원자질량을 포함하는 물리적 모델을 다룰 수 있게 한다. 핵심은 해 (u)를 ‘국소적으로 유계 변동 함수(bounded variation)’로 제한함으로써 (u’)가 차수 0 분포가 되게 하고, 이때 (qu)와 (wu)도 차수 0 분포로 정의될 수 있음을 보였다.

저자들은 먼저 (J)가 (\begin{pmatrix}0&-1\1&0\end{pmatrix}) 형태임을 가정하고, (q,w)의 누적 분포함수 (Q,W)를 도입한다. 점 (x)에서의 원자 부분을 (\Delta q(x),\Delta w(x))라 하고, 이를 이용해 (B_{\pm}(x,\lambda)=J^{-1}\frac12(\Delta q(x)-\lambda\Delta w(x)))를 정의한다. Proposition 2.1에서 (B_{\pm})의 가역성, 핵과 상의 교집합 성질을 분석하고, 이들 행렬이 동시에 영이 될 수 없음을 증명한다.

Theorem 2.2는 (B_{\pm}(x,\lambda))가 구간 ((c,d)) 전체에서 가역이면 초기값 문제가 유일한 ‘균형(balanced)’ 해를 갖는다는 존재·유일성 결과를 제공한다. 여기서 ‘균형’이란 좌·우극한값의 평균을 취한 함수 형태를 의미하며, 이는 적분 부분식에서 전통적인 부분적분 공식을 보존한다.

다음으로 선형 관계 (T_{\max},T_{\min})를 정의한다. (T_{\max})는 모든 ((u,f)) 쌍을 포함하고, (u)는 균형 함수이며 (Ju’+qu=wf)를 만족한다. (T_{\min})은 지원이 컴팩트한 경우로 제한한다. 중요한 결과는 (T_{\min}^*=T_{\max})이며, 따라서 (T_{\min})은 대칭 관계임을 보인다.

Von Neumann의 결함 공간 (D_{\pm i})를 도입하고, 결함 지수 (n_{\pm}=\dim D_{\pm i})가 최대 2임을 기존 연구(