Teorem(Lieb-Thirring eşitsizliği): ψ∈ΓN:={R3⊗{1,...,q}}N normallenmiş ve ters simetrik (fermiyonik) olsun. O zaman L:=35(3π2q)2/3 olmak üzere Tψ:=N∑ν=1∫ΓN|∇νψ|2≥L∫ρψ(ϕ)5/3dϕ
Eşitsizliğin Thomas Fermi teorisiyle (bkz.) şöyle bir ilişkisinin var olduğu düşünülüyor.
Sanı: Eşitsizliği keskin/katı yapan sabit 35γTF'dir, Thomas Fermi sabiti γTF:=ℏ22me35(6π2q)2/3.
Soru: Teoremin kanıtı ve uygulamalarını yazabilirmisiniz?