Thomas Fermi teorisi'ne devam edelim. Soru aşağıdaki teoremleri bir şekilde ispatlamak.
Teorem: ϵTF:I→R'nın biricik bir ρküç∈I küçültücüsü vardır.
Teorem (türevsel olmayan biçimde Thomas Fermi denklemi): Eğer bir ρ∈I; ϕTF(x):=V(x)−e24πϵ0ρ(x)∗1|x|,V(x):=14πϵ0K∑k=1eZk|x−Rk| için γTFρ2/3=ϕTF Thomas Fermi denklemini geçerli kılıyorsa ⇒ ϵTF(ρ)=inf˜ρ∈IϵTF(˜ρ)'dır.
Teorem (Feynman-Hellmann): ∂∂ZkETF(Z1,...,ZK)=14πϵ0(∫eρ(x)|x−Rk|+K∑m=0,m≠kZm|Rm−Rk|)
Teorem (Teller): Önceden incelediğimiz ϵTFN,Z_'nin taban enerjisi (buna Thomas Fermi enerjisi de denmektedir) ETF(Z1,...,ZK):=infρ∈I∫35γTFρ5/3−14πϵ0K∑k=1eZk|x−Rkρ(x)dx+D[ρ]+R(ρ) ve 1<k<K için ETF(Z1,...,ZK)≥ETF(Z1,...,Zk)+ETF(Zk+1,...,ZK)≥ETF(Z1)+...+ETF(ZK)
Ek soru: Bu teorem fiziksel olarak nasıl yorumlanabilir?
Soru 6: Herhangi bir atomun/molekülün (örn. neon atomu için) herhangi bir enerjisini yani ϵTFN,Z_ fonksiyonalini; aynı atomun/molekülün sadece bir elektron sahip olduğu durumun taban enerjisine yani ETF(1)'e bağlı hesaplayabileceğiniz bir formül bulabilirmisiniz?