바닥상태 밀도와 외부 퍼텐셜 사이의 일대일 대응을 모순 증명으로 따라가기
전자 밀도는 다체 파동함수에서 정보를 버린 축약량처럼 보입니다. 그런데 바닥상태에서는 이 세차원 함수 하나가 핵이 만든 외부 퍼텐셜을 되찾을 만큼 충분하다는 정리가 있습니다.
바닥상태 밀도 하나가 어떻게 어떤 원자계인지까지 결정할 수 있을까요?
이번 장의 답상수 차이를 제외하고 서로 다른 외부 퍼텐셜이 같은 바닥상태 밀도를 만든다고 가정하면 변분원리에서 모순이 생깁니다. 따라서 밀도는 외부 퍼텐셜·Hamiltonian·바닥상태 관측량을 결정합니다.
01정리가 말하는 것과 말하지 않는 것
고정된 전자 수와 전자-전자 상호작용에서 바닥상태 밀도 $n_0(\mathbf r)$는 외부 퍼텐셜 $v_{ext}(\mathbf r)$를 덧셈 상수까지 유일하게 결정합니다. 외부 퍼텐셜이 정해지면 Hamiltonian이 정해지고, 원리적으로 바닥상태 파동함수와 모든 관측량이 정해집니다.
덧셈 상수는 힘과 파동함수를 바꾸지 않고 모든 에너지 기준만 같은 만큼 이동시키므로 물리적으로 무관합니다. 정리는 정확한 범함수의 형태나 쉽게 계산하는 방법을 주지 않으며, 원래 형태는 바닥상태를 다룹니다.
02모순 증명의 핵심
서로 상수 차이가 아닌 두 외부 퍼텐셜 $v$와 $v'$가 같은 바닥상태 밀도 $n_0$를 만든다고 가정합니다. 각각의 Hamiltonian과 바닥상태를 $H,\Psi$와 $H',\Psi'$라 두면 변분원리에 의해 다른 계의 상태를 시험함수로 넣은 에너지는 자신의 바닥상태 에너지보다 큽니다.
두 부등식을 더하면 $E_0+E'_0<E'_0+E_0$라는 불가능한 결과가 나옵니다. 따라서 처음 가정이 틀렸고, 같은 바닥상태 밀도는 서로 다른 외부 퍼텐셜에서 나올 수 없습니다. 축퇴 상태에서는 더 정교한 정식화가 필요하지만 밀도 기반 이론의 중심 결론은 유지됩니다.
03재료 계산에서의 의미
원자핵의 전하와 좌표는 전자에게 외부 퍼텐셜을 만듭니다. 따라서 바닥상태 밀도가 주어지면 어떤 핵 배치가 전자를 구속하는지에 대한 정보가 원리적으로 담깁니다. 총에너지·힘·쌍극자·자화 같은 양을 밀도의 범함수로 표현할 이론적 권리가 생깁니다.
하지만 실제 계산에서는 근사 교환-상관 범함수 때문에 서로 다른 방법이 서로 다른 밀도와 에너지를 냅니다. 제1정리는 근사 계산의 정확성을 자동 보증하지 않습니다. 존재 정리와 수치 모델의 검증을 분리해야 합니다.
04이 글의 용어 사전
본문을 읽다가 “그래서 이 말이 정확히 뭐지?”라는 질문이 생기면 여기에서 다시 확인할 수 있습니다.
- 외부 퍼텐셜external potential
- 전자 입장에서 핵·외부장 등이 만드는 일전자 퍼텐셜입니다.
- 유일성uniqueness
- 덧셈 상수 같은 물리적으로 무관한 자유도를 제외하면 하나의 입력에 하나의 대상만 대응한다는 성질입니다.
- 비축퇴 바닥상태nondegenerate ground state
- 최저 에너지에 독립적인 상태가 하나뿐인 경우입니다.
- 축퇴degeneracy
- 서로 다른 독립 상태가 같은 에너지를 갖는 상황입니다.
- 모순 증명proof by contradiction
- 결론의 반대를 가정해 불가능한 결과를 도출함으로써 원래 결론을 보이는 방법입니다.
- 에너지 기준energy zero
- 퍼텐셜 전체에 상수를 더해도 차이와 힘이 바뀌지 않는 에너지 원점의 자유도입니다.
05참고자료와 더 읽을거리
- Hohenberg & Kohn, Inhomogeneous Electron Gas (1964) — 바닥상태 전자 밀도에 관한 두 정리로 DFT의 존재 근거를 세운 원 논문입니다.
- Kohn, Nobel Lecture: Electronic structure of matter (1999) — 파동함수에서 밀도 범함수로 이어진 전자구조 이론의 맥락을 정리합니다.
- Sholl & Steckel, Density Functional Theory: A Practical Introduction — 평면파 DFT의 이론·수치 설정·재료 응용·AIMD와 정확도를 잇는 이 과목의 중심 교재입니다.