Arbitrary harmonic functions as Bose--Einstein condensates

기술 요약: 임의의 조화 함수로서의 보스-아인슈타인 응축

문제 제기
본 논문은 경계 조건(도메인 경계에서의 라플라시안에 대한)을 자유롭게 선택할 수 있을 때, 열역학적 극한의 이상 보스 가스에서 발생할 수 있는 보스-아인슈타인 응축(BEC)의 본질을 조사한다. 이전의 관찰(예: [5])은 무한 부피의 이상 보스 가스가 두 점 함수(two-point function)에서 임의의 양의 헤세-세클린 형태(sesquilinear form)로 특징지어지는 다양한 KMS 상태를 허용한다는 점을 나타냈으나(이는 응축을 설명하는 조화 함수에 대응함), 이러한 상태들이 표준적인 열역학적 극한 절차(유한 부피 깁스 상태의 극한을 취하는 과정)를 통해 엄밀하게 얻어질 수 있는지 여부는 미해결 과제로 남아 있었다. 또한, 선형 응축을 가진 비평행이론적(non-translation-invariant) KMS 상태가 존재한다는 것은 알려져 있었으나[6], 특정 경계 조건을 통해 임의의 조화 함수 또는 여러 응축이 동시에 실현될 가능성은 확립되지 않았었다.

방법론
저자들은 $\mathbb{R}^d$를 고갈시키는 유계 도메인 $\Omega_j \subset \mathbb{R}^d$ 상의 라플라시안의 특정한 양의 자기 수반 실현(positive self-adjoint realizations) $-\Delta_{\Omega_j}^\Phi$를 구성함으로써 이 문제를 해결한다.

1. 연산자 구성:
   방법론의 핵심은 디리클레 라플라시안 역함수의 섭동을 통해 도메인 $\Omega$ 상의 라플라시안의 역함수를 정의하는 것이다. 조화 함수 시퀀스 $\Phi = \{\phi_k\}_k$가 $\sum_k |\phi_k(x)|^2 < \infty$를 만족할 때, 연산자는 다음과 같이 정의된다:
   $$(-\Delta_{\Omega}^\Phi)^{-1} := \left( (-\Delta_{\Omega}^0)^{-1} + \sum_k |\chi_\Omega \phi_k\rangle \langle \phi_k \chi_\Omega| \right)^{-1}$$
   여기서 $-\Delta_{\Omega}^0$는 디리클레 라플라시안이고 $\chi_\Omega$는 $\Omega$의 특성 함수이다. 이 구성은 새로운 연산자가 $C_0^\infty(\Omega)$ 상의 라플라시안에 대한 양의 자기 수반 확장임을 보장한다.

2. 경계 조건:
   저자들은 이 연산자와 관련된 명시적인 경계 조건을 유도한다. 그들은 $-\Delta_{\Omega}^\Phi$의 도메인에 속하는 함수들이 디리클레-투-네이먼(Dirichlet-to-Neumann) 연산자 $H_\Omega$와 조화 함수 $\phi_k$들에 의해 결정되는 특정 연산자 $r_\Omega^\Phi$를 포함하는 일반화된 로빈(Robin) 유형의 경계 조건을 만족함을 보여준다. 구체적으로, 경계에서의 법선 미분 $\partial_n f$는 $f$의 경계 값과 조화 함수들의 스팬(span)으로의 $f$의 투영에 의해 결정된다.

3. 수렴 분석:
   열역학적 극한을 확립하기 위해, 저자들은 강한 레졸번트 수렴(strong resolvent convergence) 결과(정리 2)를 증명한다. 그들은 $\Omega_j$ 상의 비음의 자기 수산 연장(non-negative self-adjoint extensions)들의 시퀀스가 $\mathbb{R}^d$로 수렴할 때, 임의의 유계 연속 함수 $F$에 대하여 연산자 $F(-\Delta_{\Omega_j})$가 $L^2(\mathbb{R}^d)$ 상의 $F(-\Delta)$로 강하게 수렴함을 입증한다. 이 일반적인 결과는 두 점 함수의 관계를 나타내는 함수 $F(x) = (e^{\beta x} - 1)^{-1} - (\beta x)^{-1}$에 적용된다.

주요 결과
주요 결과는 정리 1에 제시되어 있다. 저자들은 조화 함수 시퀀스 $\Phi = \{\phi_k\}_k$ (제곱 가합성 조건을 만족하는)에 대하여, 열역학적 극한에서 이상 보스 가스의 두 점 함수가 다음으로 수렴하는 경계 조건이 존재함을 증명한다:
$$\lim_{j\to\infty} \left\langle f \left| \frac{1}{e^{-\beta \Delta_{\Omega_j}^\Phi} - 1} \right| g \right\rangle = \int_{\mathbb{R}^d} \frac{\hat{f}(p)\overline{\hat{g}(p)}}{e^{\beta|p|^2} - 1} dp + \frac{1}{\beta} \sum_k \left( \int_{\mathbb{R}^d} f \phi_k \right) \left( \int_{\mathbb{R}^d} \overline{g \phi_k} \right)$$
이 결과의 주요 특징은 다음과 같다:

• 임의의 응축: 시스템은 임의의 개수(유한 또는 무한)의 보스-아인슈타인 응축을 지원한다.
• 조화 프로파일: 각 응축은 임의의 조화 함수 $\phi_k$에 의해 기술된다. $k$번째 응축의 밀도는 $|\phi_k(x)|^2$에 비례한다.
• 제로 화학 퍼텐셜: 이 결과는 제로 화학 퍼텐셜에서 성립한다. 저자들은 이 결과가 부피가 증가함에 따라 충분히 빠르게 0으로 수렴하는 작은 음의 화학 퍼텐셜에 대해서도 확장됨을 언급한다.
• 차원 제약: 차원 $d \in \{1, 2\}$의 경우, 저모멘트에서의 자유 가스 항의 적분 가능성을 보장하기 위해 테스트 함수의 푸리에 변환이 0에서 사라져야 한다는 추가 가정($\hat{f}(0) = \hat{g}(0) = 0$)이 필요하다.

의의 및 주장
본 논문은 무한 부피에서 관찰되는 다양한 KMS 상태들이 유한 부피 깁스 상태의 극한으로서 실현될 수 있는지에 대한 의문을 해결한다고 주장한다. 경계 조건을 명시적으로 구성함으로써, 저자들은 다음과 같은 사실을 보여준다:

1. 응축 파동 함수가 상수나 선형 함수에 국한되지 않고 임의의 조화 함수가 될 수 있도록 시스템을 설계하는 것이 가능하다.
2. 여러 응축이 열역학적 극한에서 공존할 수 있으며, 이는 디리클레 경계 조건이 있는 유한 부피에서 관찰되는 "다중 응축"(두 점 함수의 극한에서 효과가 사라짐)과는 구별되는 현상이다.
3. 구성된 라플라시안의 고윳값은 도메인이 확장됨에 따라 $(\int_\Omega |\phi_k|^2)^{-1}$에 따라 감소해야 하며, 이는 작은 고윳값들과 관련된 스펙트럼 투영이 극한에서 응축 밀도에 유한하고 0이 아닌 기여를 하도록 보장한다.

저자들은 이상 보스 가스의 틀 내에서 이러한 상태들의 수학적 존재성에만 엄격히 집중하며, 실험적 구현을 제안하거나 결과를 상호작용하는 시스템으로 확장하지 않음으로써 연구의 범위를 겸허하게 유지한다. 이 작업은 유한 부피 경계값 문제와 무한 부피 통계 역학 사이의 간극을 메우기 위해 자기 수반 확장(self-adjoint extensions)의 스펙트럼 이론과 레졸번트(resolvent)의 수렴에 의존한다.