비균일 전자 가스의 열역학적 정의와 특성

본 논문은 비균일(비등방) 전자 가스(NUEG)를 물리적 실체로서 정의하고, 그 열역학적 극한과 기본적인 수학적 성질을 체계적으로 분석한다. 서론에서는 기존 DFT 문헌에서 비균일 전자 가스가 주로 선형 응답 이론을 통한 교정 함수 구축에만 활용돼 왔으며, 실제 물리적 시스템으로서의 정의가 부족함을 지적한다. 저자들은 이를 보완하기 위해 격자 주기적 배경 밀도 ζ(x)를 도입하고, ζ를 회전·이동시켜 평균 에너지를 구하는 “떠다니는 결정” 모델을 제시한다. 2장에서는 필요한 수학적 배경을 정리한다. L‑periodic 함수와 그 평균값 존재성(정리 2.1), 고전 전자 가스에서의 간접 에너지 E_cl(ρ)=F_SCE(ρ)−D(ρ)와 그에 대한 Lieb‑Oxford 부등식, 그리고 그랜드캐노니컬 레비‑리브 함수 F_ℏ^{LL}(ρ)와 양자 간접 에너지 E_ℏ(ρ)의 정의를 소개한다. 여기서 F_SCE는 엄격 상관 전자(SCE) 함수이며, F_ℏ^{LL}은 그랜드캐노니컬 확률분포를 이용한 최소화 문제로 정의된다. 3장에서는 주요 결과를 제시한다. 3.1절에서는 고전 NUEG의 정의를 식 (1)과 (2)로 정리하고, 정리 3.1을 통해 ζ∈L^{1+s/d}_per(L) 인 경우, 부피가 무한히 커지는 κ‑regular 경계 영역 Ω_N에 대해 부피당 에너지 e_cl^{Ω_N}(ζ)의 열역학적 극한이 존재함을 증명한다. 이 극한은 영역 선택에 독립적이며, 스케일링 관계 e_cl^{NUEG}(λζ(λ^{1/d}·))=λ^{1+s/d}e_cl^{NUEG}(ζ) 를 만족한다. 정리 3.2에서는 ζ가 충분히 완만하게 변하는 경우, 지역밀도 근사(LDA) 형태의 오차 추정식을 제공한다. 구체적으로, ζ에 대한 Sobolev 정규성 ∇ζ^θ∈L^p_loc 가 만족되면, e_cl^{NUEG}(ζ)와 c_{UEG}+∫ζ^{4/3} 사이의 차이가 ∫|∇ζ^θ|^p 와 ε·∫(ζ+ζ^{4/3}) 로 제어된다. 3.2절에서는 양자 NUEG를 다룬다. 양자 경우에는 레비‑리브 함수 F_ℏ^{LL}을 사용해 부피당 에너지 e_ℏ^{Ω}(ζ)를 정의하고, 정리 3.3·3.4를 통해 고전과 유사하게 열역학적 극한 e_ℏ^{NUEG}(ζ) 가 존재함을 보인다. 양자 경우에는 서브어디티티가 성립하지 않으므로, 정리 5.9에서 제시한 공간적 디커플링 추정법을 이용해 에너지 상한·하한을 제어한다. 또한, 정리 3.4는 ζ가 느리게 변할 때 양자 LDA 형태의 근사식과 오차 추정식을 제공한다. 4장과 5장에서는 각각 고전 및 양자 경우에 대한 증명을 전개한다. 고전 증명에서는 SCE 함수의 변분적 정의와 평균화 과정, 그리고 정규화된 영역에서의 경계 효과를 제어하기 위해 Fisher의 κ‑regular 경계 개념을 활용한다. 양자 증명에서는 그랜드캐노니컬 레비‑리브 함수의 변분적 성질, Hoffmann‑Ostenhof 부등식, 그리고 새로운 공간적 디커플링 추정(정리 5.9)을 핵심 도구로 사용한다. 특히, 양자 경우에 경계 근처에서 밀도가 자유롭게 완화될 수 있도록 하는 두 번째 정의와 첫 번째 정의의 동등성을 보이는 과정이 상세히 기술된다. 부록에서는 정리 2.1의 증명, 일부 Sobolev 추정, 그리고 보조적인 측정 이론 결과들을 제공한다. 결론에서는 비균일 전자 가스를 단순히 교정용 가상의 시스템이 아니라, 격자 주기적 배경 밀도를 갖는 실제 물리적 시스템으로 엄밀히 정의함으로써 DFT의 이론적 기반을 확장한 점을 강조한다. 고전·양자 두 경우 모두에서 열역학적 극한 존재, 스케일링, LDA 근사, 그리고 경계 효과 제어가 모두 수학적으로 증명되었으며, 이는 향후 비균일 시스템에 대한 보다 정확한 교정 함수 개발 및 실험적 물질 설계에 중요한 토대를 제공한다.