[논문 리뷰] Finiteness of the number of critical values of the Hartree-Fock energy functional less than a constant smaller than the first energy threshold

Sohei Ashida|arXiv (Cornell University)|2020. 02. 18.

Spectral Theory in Mathematical Physics참고 문헌 19인용 수 1

한 줄 요약

이 논문은 첫 번째 이온화 임계값보다 엄밀히 작은 상수 이하의 하트리-폭크 에너지 함수의 임계값 수가 유한하다는 것을 증명한다. 균일한 지수적 감쇠성과 한계점에서의 프레셰 두 번째 도함수 분석을 통해 저자들은 이온화 임계값 이하에서 함수의 임계값이 이산적임을 보이며, 양자화학에서 자성자성장법(self-consistent field methods)의 수렴성과 관련된 핵심 문제를 해결한다.

ABSTRACT

We study the Hartree-Fock equation and the Hartree-Fock energy functional universally used in many-electron problems. We prove that the set of all critical values of the Hartree-Fock energy functional less than a constant smaller than the first energy threshold is finite. Since the Hartree-Fock equation which is the corresponding Euler-Lagrange equation is a system of nonlinear eigenvalue problems, the spectral theory for linear operators is not applicable. The present result is obtained establishing the finiteness of the critical values associated with orbital energies less than a negative constant and combining the result with the Koopmans' well-known theorem. The main ingredients are the proof of convergence of the solutions and the analysis of the Fr\'echet second derivative of the functional at the limit point.

연구 동기 및 목표

• 첫 번째 이온화 임계값 이하에서 하트리-폭크 에너지 함수의 임계값이 이산적인지 혹은 조밀한지 여부에 대한 열린 문제를 해결하기 위해.
• 수렴성과 스펙트럼 분석을 활용하여 음수 상수보다 작은 궤도 에너지를 가진 임계값의 유한성을 확립하기 위해.
• 특정 초기 조건 하에서 얻을 수 있는 임계값의 수가 유한함을 증명함으로써 자성자성장(SCF) 방법의 수렴성에 대한 엄밀한 기초를 제공하기 위해.
• 쿠펜즈 정리(Koopmans’ theorem)를 비선형 하트리-폭크 프레임워크로 확장하기 위해 궤도 에너지와 이온화 잠재력, 임계값을 연결하기 위해.

제안 방법

• 비국소 연산자 RΦ와 QΦij에 대한 추정과 애그몬(Agmon)의 방법을 사용하여 해의 균일한 지수적 감쇠성을 증명하기 위해.
• 해의 한계점에서 하트리-폭크 함수의 프레셰 두 번째 도함수를 분석하고, 양의 정부호 부분과 컴act 연산자로 분해하기 위해.
• 이차 도함수의 비콤팩트 부분이 양의 정부호임을 증명하기 위해 그 이차형식을 양함수의 적분으로 표현하기 위해.
• 단일 입자 해밀토니안 h의 스펙트럼 분해를 사용하여 이차 도함수의 콤팩트 및 비콤팩트 성분을 분리하기 위해.
• 비선형 하트리-폭크 방정식의 비선형 시스템에 대해 은직함수정리(implicit function theorem)를 적용하고, 한계점에서 선형화된 연산자의 가역성을 검증하기 위해.
• 낮은 궤도 에너지에 대한 유한성 결과와 쿠펜즈 정리를 결합하여 이온화 임계값 이하의 임계값 수를 유 bounds하기 위해.

실험 결과

연구 질문

• RQ1 하트리-폭크 에너지 함수의 임계값은 첫 번째 이온화 임계값 이하의 근처에서 이산적인지 혹은 조밀한가?
• RQ2 주어진 에너지 한계를 만족하는 함수로 초기화할 경우 자성자성장(SCF) 방법이 유한 개의 서로 다른 임계값만 생성할 수 있는가?
• RQ3 모든 i에 대해 궤도 에너지 ǫi < −ϵ인 하트리-폭크 함수의 임계값 집합은 유한한가?
• RQ4 해의 한계점에서 하트리-폭크 함수의 프레셰 두 번째 도함수는 여전히 가역적인가, 이는 해의 국소 유일성을 보장하는가?
• RQ5 선형성이 없는 상황에서도 스펙트럼 이론을 사용하여 하트리-폭크 방정식의 비선형 구조를 분석할 수 있는가?

주요 결과

• 모든 임계값 중에서 J(N−1)−ϵ 이하인 하트리-폭크 에너지 함수의 임계값 집합은 임의의 ϵ>0에 대해 유한하다. 여기서 J(N−1)는 N−1개 전자의 기저 상태 에너지이다.
• 해의 균일한 지수적 감쇠성과 프레셰 도함수의 스펙트럼 분석을 통해 모든 i에 대해 궤도 에너지 ǫi < −ϵ인 임계값의 유한성이 확립된다.
• 한계점에서의 프레셰 두 번째 도함수는 양의 정부호 연산자와 컴팩트 연산자의 합으로 표현되며, 이는 가역성을 보장한다.
• 이차 도함수의 비콤팩트 부분은 그 이차형식을 음이 아닌 함수의 적분으로 표현함으로써 양의 정부호임을 증명한다.
• 균일한 감쇠 추정과 애그몬의 방법을 사용하여 H¹(R³)에서 해의 수렴성을 확립함으로써, 한계점에서의 스펙트럼 분석이 가능해진다.
• 보조정리로서, J(N−1)−ϵ 이하의 에너지를 갖는 초기 함수를 사용하는 SCF 방법는 오직 유한 개의 임계값으로 수렴할 수 있으며, 이는 수치적 안정성을 뒷받침한다.