Hartree-Fock approximation for non-Coulomb interactions in three and two-dimensional systems
Vlad-Mihai Ene, Ilinca Lianu and Ioan Grosu
Department of Physics, ”Babes-Bolyai” University, 400084
Cluj-Napoca, Romania
We analyzed the Hartree-Fock approximation for an electron system. The interaction between particles is modeled by a non-Coulombian potential. We analyzed both the three-dimensional
and two-dimensional systems. We obtained accurate analytical results for the particle energy, the particle velocity, the ground state energy of the system as well as the momentum
dependent density of states. The previous classical results for the Coulombian case were reobtained as particular cases.
Key-words : Hartree-Fock approximation, Non-Coulomb interactions, Three and two dimensional systems, Ground state energy, Density of states
A quantum-mechanical description of the electron motion in a solid requires the many electrons Hamiltonian that contains the kinetic and the interaction contribution. For electrons in a solid the interaction contribution correspond to the potential due to the nuclei and the two particle Coulomb interaction between electrons. In the independent electron approximation one consider that each electron moves in an average external field created by all the other electrons. When one utilizes a product wave-function of the N 𝑁 N italic_N electrons and the average potential due to all the other electrons one obtains the Hartree approximation [1,2]. The Hartree potential depends on the electron density which itself depends on the single particle wave-functions. From here the Hartree potential needs to be self-consistently determined. The Hartree energy can easily determined considering the motion of a single particle, characterized by the creation operator c k , σ † subscript superscript 𝑐 † 𝑘 𝜎
c^{\dagger}_{k,\sigma} italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_k , italic_σ end_POSTSUBSCRIPT , in an environment where the interactions are described by the potential V q → subscript 𝑉 → 𝑞 V_{\vec{q}} italic_V start_POSTSUBSCRIPT over→ start_ARG italic_q end_ARG end_POSTSUBSCRIPT . Using the equation of motion method [3], the motion of the single particle characterized by k 𝑘 k italic_k -momentum and σ 𝜎 \sigma italic_σ -spin, (k → , σ → 𝑘 𝜎
\vec{k},\sigma over→ start_ARG italic_k end_ARG , italic_σ ), is coupled with the motion of two particles and a hole, described by a c 1 † c 2 † c 3 subscript superscript 𝑐 † 1 subscript superscript 𝑐 † 2 subscript 𝑐 3 c^{\dagger}_{1}c^{\dagger}_{2}c_{3} italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT term. This term leads to the Hartree energy if we keep only the term with q → = 0 → 𝑞 0 \vec{q}=0 over→ start_ARG italic_q end_ARG = 0 (i.e. neglecting the density fluctuations) and replace the product c † c superscript 𝑐 † 𝑐 c^{\dagger}c italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_c with its ground state expectation value. The Hartree-Fock approximation (HFA) goes beyond Hartree approximation taking into account the antisymmetric character of the many-fermions wave functions, incorporating the concept of exchange interaction [4,5]. For non-interacting electrons the antisymmetric wave function is the well-known Slater determinant [2]. The usual approximation is to consider the ions as an uniform positive charge background that compensate the negative charge of the electrons (jellium model). For such uniform systems the HFA reduces to a first order calculation. With the equation of motion method the HFA result for a uniform system is obtained using the linearized result for the trilinear term c 1 † c 2 † c 3 → c 1 † ⟨ c 2 † c 3 ⟩ − c 2 † ⟨ c 1 † c 3 ⟩ → subscript superscript 𝑐 † 1 subscript superscript 𝑐 † 2 subscript 𝑐 3 subscript superscript 𝑐 † 1 delimited-⟨⟩ subscript superscript 𝑐 † 2 subscript 𝑐 3 subscript superscript 𝑐 † 2 delimited-⟨⟩ subscript superscript 𝑐 † 1 subscript 𝑐 3 c^{\dagger}_{1}c^{\dagger}_{2}c_{3}\rightarrow c^{\dagger}_{1}\left<c^{\dagger%
}_{2}c_{3}\right>-c^{\dagger}_{2}\left<c^{\dagger}_{1}c_{3}\right> italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT → italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ⟨ italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ⟩ - italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ⟨ italic_c start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_c start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ⟩ . On the other hand, the interactions between electrons can lead to instabilities in the system, which are distorsion instabilities of the Fermi surface [6,7]. For a two-dimensional uniform system, considering a central interaction potential, Quintanilla et.al.[8] shows the possibility of a quantum phase transition, of first or of second order, depending on the form of the interaction potential. The importance of the HFA for a two-dimensional jellium system was discussed in [9] in connection with the field of semiconductor quantum dot technology. The temperature effect on exchange Hartree-Fock energy of the two-dimensional electron gas was discussed by Hong and Mahan [10] in connection with trapped electrons in semiconductor interfaces. On the other hand, the systems of many particles in which the interactions are non-Coulombian are of both theoretical and experimental interest [11-17]. For such systems, the Fermi liquid character can be destroyed by long-range interactions, in the dimension 1 < d < 2 1 𝑑 2 1<d<2 1 < italic_d < 2 , as was pointed out in Ref.[18].
Classical particle systems with super-long range type interactions can present special properties, as shown in Ref.[19]. Thus, these (non-integrable) systems can lead to divergences
in the expression of energy, and for these systems the statistical ensembles can be inequivalent. In the case of long-range interacting quantum systems a series of important experimental results were obtained [20], these interactions having a strong influence on the critical behavior (e.g. the susceptibility) of the systems. For bosonic systems, the super-long range type interactions also lead to the modification of the energy spectrum with effects in the properties of e.g. ultracold dipolar systems and superfluid H 4 e superscript 𝐻 4 𝑒 {}^{4}He start_FLOATSUPERSCRIPT 4 end_FLOATSUPERSCRIPT italic_H italic_e [21].
In this paper we analyze the uniform electron gas with non-Coulomb interactions of the form r − η superscript 𝑟 𝜂 r^{-\eta} italic_r start_POSTSUPERSCRIPT - italic_η end_POSTSUPERSCRIPT . We calculate the particle energy, the Hartree-Fock energy of the system, the particle velocity, and the density of states. The analysis is done for both three-dimensional and two-dimensional systems, assuming the stability of the systems. The difficult problem of stability remains to be analyzed in a future paper. For the three-dimensional system as well as for the two-dimensional one the results for the Coulomb case are reobtained considering η = 1 𝜂 1 \eta=1 italic_η = 1 .
A. The three-dimensional system
First we will analyze the three-dimensional (3D) case with the Fourier transform of the interacting potential given by:
V p → − k → = ∫ d 3 r V ( r ) e − i ( p → − k → ) r → subscript 𝑉 → 𝑝 → 𝑘 superscript 𝑑 3 𝑟 𝑉 𝑟 superscript 𝑒 𝑖 → 𝑝 → 𝑘 → 𝑟 V_{\vec{p}-\vec{k}}=\int d^{3}r\;V(r)e^{-i(\vec{p}-\vec{k})\vec{r}} italic_V start_POSTSUBSCRIPT over→ start_ARG italic_p end_ARG - over→ start_ARG italic_k end_ARG end_POSTSUBSCRIPT = ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r italic_V ( italic_r ) italic_e start_POSTSUPERSCRIPT - italic_i ( over→ start_ARG italic_p end_ARG - over→ start_ARG italic_k end_ARG ) over→ start_ARG italic_r end_ARG end_POSTSUPERSCRIPT
( 1 ) 1 ( 1 )
where V ( r ) 𝑉 𝑟 V(r) italic_V ( italic_r ) is the interacting potential, and we will use the geometry from Fig.1
Figure 1: Geometry for 3 D 3 𝐷 3D 3 italic_D integration
From this, eq.(1) becomes:
V p → − k → = ∫ d 3 r V ( r ) e − i p r cos θ e i k r cos γ subscript 𝑉 → 𝑝 → 𝑘 superscript 𝑑 3 𝑟 𝑉 𝑟 superscript 𝑒 𝑖 𝑝 𝑟 𝜃 superscript 𝑒 𝑖 𝑘 𝑟 𝛾 V_{\vec{p}-\vec{k}}=\int d^{3}r\;V(r)e^{-ipr\cos\theta}e^{ikr\cos\gamma} italic_V start_POSTSUBSCRIPT over→ start_ARG italic_p end_ARG - over→ start_ARG italic_k end_ARG end_POSTSUBSCRIPT = ∫ italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_r italic_V ( italic_r ) italic_e start_POSTSUPERSCRIPT - italic_i italic_p italic_r roman_cos italic_θ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_k italic_r roman_cos italic_γ end_POSTSUPERSCRIPT
( 2 ) 2 ( 2 )
Using the plane-wave expansion:
e i k r cos α = ∑ l = 0 ∞ i l ( 2 l + 1 ) P l ( cos α ) j l ( k r ) superscript 𝑒 𝑖 𝑘 𝑟 𝛼 superscript subscript 𝑙 0 superscript 𝑖 𝑙 2 𝑙 1 subscript 𝑃 𝑙 𝛼 subscript 𝑗 𝑙 𝑘 𝑟 e^{ikr\cos\alpha}=\sum_{l=0}^{\infty}i^{l}(2l+1)P_{l}(\cos\alpha)j_{l}(kr) italic_e start_POSTSUPERSCRIPT italic_i italic_k italic_r roman_cos italic_α end_POSTSUPERSCRIPT = ∑ start_POSTSUBSCRIPT italic_l = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_l end_POSTSUPERSCRIPT ( 2 italic_l + 1 ) italic_P start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( roman_cos italic_α ) italic_j start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k italic_r )
( 3 ) 3 ( 3 )
where P l ( x ) subscript 𝑃 𝑙 𝑥 P_{l}(x) italic_P start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_x ) are Legendre polynomials and j l ( x ) subscript 𝑗 𝑙 𝑥 j_{l}(x) italic_j start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_x ) are spherical Bessel functions of the first kind, and the following identities [22]:
P l ′ ( cos γ ) = P l ′ ( cos θ ) P l ′ ( cos θ ′ ) + 2 ∑ m = 1 l ′ ( l ′ − m ) ! ( l ′ + m ) ! P l ′ m ( cos θ ) P l ′ m ( c o s θ ′ ) cos [ m ( φ − φ ′ ) ] subscript 𝑃 superscript 𝑙 ′ 𝛾 subscript 𝑃 superscript 𝑙 ′ 𝜃 subscript 𝑃 superscript 𝑙 ′ superscript 𝜃 ′ 2 superscript subscript 𝑚 1 superscript 𝑙 ′ superscript 𝑙 ′ 𝑚 superscript 𝑙 ′ 𝑚 superscript subscript 𝑃 superscript 𝑙 ′ 𝑚 𝜃 superscript subscript 𝑃 superscript 𝑙 ′ 𝑚 𝑐 𝑜 𝑠 superscript 𝜃 ′ 𝑚 𝜑 superscript 𝜑 ′ P_{l^{\prime}}(\cos\gamma)=P_{l^{\prime}}(\cos\theta)P_{l^{\prime}}(\cos\theta%
^{\prime})+2\sum_{m=1}^{l^{\prime}}\frac{(l^{\prime}-m)!}{(l^{\prime}+m)!}P_{l%
^{\prime}}^{m}(\cos\theta)P_{l^{\prime}}^{m}(cos\theta^{\prime})\cos[m(\varphi%
-\varphi^{\prime})] italic_P start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( roman_cos italic_γ ) = italic_P start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( roman_cos italic_θ ) italic_P start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( roman_cos italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) + 2 ∑ start_POSTSUBSCRIPT italic_m = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT divide start_ARG ( italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - italic_m ) ! end_ARG start_ARG ( italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_m ) ! end_ARG italic_P start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ( roman_cos italic_θ ) italic_P start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ( italic_c italic_o italic_s italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) roman_cos [ italic_m ( italic_φ - italic_φ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ]
( 4 ) 4 ( 4 )
(P l m ( x ) superscript subscript 𝑃 𝑙 𝑚 𝑥 P_{l}^{m}(x) italic_P start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT ( italic_x ) - is the associated Legendre polynomial) and:
∫ 0 π 𝑑 θ sin θ P l ( cos θ ) P l ′ ( cos θ ) = 2 2 l + 1 δ l , l ′ superscript subscript 0 𝜋 differential-d 𝜃 𝜃 subscript 𝑃 𝑙 𝜃 subscript 𝑃 superscript 𝑙 ′ 𝜃 2 2 𝑙 1 subscript 𝛿 𝑙 superscript 𝑙 ′
\int_{0}^{\pi}d\theta\sin\theta\;P_{l}(\cos\theta)\;P_{l^{\prime}}(\cos\theta)%
=\frac{2}{2l+1}\;\delta_{l,l^{\prime}} ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT italic_d italic_θ roman_sin italic_θ italic_P start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( roman_cos italic_θ ) italic_P start_POSTSUBSCRIPT italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT ( roman_cos italic_θ ) = divide start_ARG 2 end_ARG start_ARG 2 italic_l + 1 end_ARG italic_δ start_POSTSUBSCRIPT italic_l , italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT
( 5 ) 5 ( 5 )
(δ l , l ′ subscript 𝛿 𝑙 superscript 𝑙 ′
\delta_{l,l^{\prime}} italic_δ start_POSTSUBSCRIPT italic_l , italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - is the Kronecker delta), one obtains:
V p → − k → = ∑ l = 0 ∞ V l ( p , k ) P l ( cos θ ′ ) subscript 𝑉 → 𝑝 → 𝑘 superscript subscript 𝑙 0 subscript 𝑉 𝑙 𝑝 𝑘 subscript 𝑃 𝑙 superscript 𝜃 ′ V_{\vec{p}-\vec{k}}=\sum_{l=0}^{\infty}V_{l}(p,k)\;P_{l}(\cos\theta^{\prime}) italic_V start_POSTSUBSCRIPT over→ start_ARG italic_p end_ARG - over→ start_ARG italic_k end_ARG end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_l = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_p , italic_k ) italic_P start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( roman_cos italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT )
( 6 ) 6 ( 6 )
with:
V l ( p , k ) = 4 π ( 2 l + 1 ) ∫ 0 ∞ 𝑑 r r 2 V ( r ) j l ( p r ) j l ( k r ) subscript 𝑉 𝑙 𝑝 𝑘 4 𝜋 2 𝑙 1 superscript subscript 0 differential-d 𝑟 superscript 𝑟 2 𝑉 𝑟 subscript 𝑗 𝑙 𝑝 𝑟 subscript 𝑗 𝑙 𝑘 𝑟 V_{l}(p,k)=4\pi(2l+1)\int_{0}^{\infty}dr\;r^{2}V(r)\;j_{l}(pr)j_{l}(kr) italic_V start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_p , italic_k ) = 4 italic_π ( 2 italic_l + 1 ) ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_r italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V ( italic_r ) italic_j start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_p italic_r ) italic_j start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k italic_r )
( 7 ) 7 ( 7 )
The Hartree-Fock energy of an electron, in a homogeneous system, is given by (ℏ = 1 Planck-constant-over-2-pi 1 \hbar=1 roman_ℏ = 1 ) [4,5]:
ε p = p 2 2 m − ∫ d 3 k ( 2 π ) 3 V p → − k → subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 superscript 𝑑 3 𝑘 superscript 2 𝜋 3 subscript 𝑉 → 𝑝 → 𝑘 \varepsilon_{p}=\frac{p^{2}}{2m}-\int\frac{d^{3}k}{(2\pi)^{3}}\;V_{\vec{p}-%
\vec{k}} italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - ∫ divide start_ARG italic_d start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_k end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG italic_V start_POSTSUBSCRIPT over→ start_ARG italic_p end_ARG - over→ start_ARG italic_k end_ARG end_POSTSUBSCRIPT
( 8 ) 8 ( 8 )
or:
ε p = p 2 2 m − 1 ( 2 π ) 2 ∫ 0 p F ∫ 0 π 𝑑 k k 2 sin θ ′ d θ ′ ∑ l = 0 ∞ V l ( p , k ) P l ( cos θ ′ ) subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 1 superscript 2 𝜋 2 superscript subscript 0 subscript 𝑝 𝐹 superscript subscript 0 𝜋 differential-d 𝑘 superscript 𝑘 2 superscript 𝜃 ′ 𝑑 superscript 𝜃 ′ superscript subscript 𝑙 0 subscript 𝑉 𝑙 𝑝 𝑘 subscript 𝑃 𝑙 superscript 𝜃 ′ \varepsilon_{p}=\frac{p^{2}}{2m}-\frac{1}{(2\pi)^{2}}\int_{0}^{p_{F}}\int_{0}^%
{\pi}dk\;k^{2}\sin\theta^{\prime}d\theta^{\prime}\sum_{l=0}^{\infty}V_{l}(p,k)%
\;P_{l}(\cos\theta^{\prime}) italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - divide start_ARG 1 end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT italic_d italic_k italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_sin italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_d italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_l = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_p , italic_k ) italic_P start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( roman_cos italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT )
( 9 ) 9 ( 9 )
With the use of the integral:
∫ − 1 1 𝑑 x x m P n ( x ) = 0 superscript subscript 1 1 differential-d 𝑥 superscript 𝑥 𝑚 subscript 𝑃 𝑛 𝑥 0 \int_{-1}^{1}dx\;x^{m}P_{n}(x)=0 ∫ start_POSTSUBSCRIPT - 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT italic_d italic_x italic_x start_POSTSUPERSCRIPT italic_m end_POSTSUPERSCRIPT italic_P start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_x ) = 0
( 10 ) 10 ( 10 )
for m < n 𝑚 𝑛 m<n italic_m < italic_n , the electron energy becomes:
ε p = p 2 2 m − 1 2 π 2 ∫ 0 p F 𝑑 k k 2 V 0 ( p , k ) subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 1 2 superscript 𝜋 2 superscript subscript 0 subscript 𝑝 𝐹 differential-d 𝑘 superscript 𝑘 2 subscript 𝑉 0 𝑝 𝑘 \varepsilon_{p}=\frac{p^{2}}{2m}-\frac{1}{2\pi^{2}}\int_{0}^{p_{F}}dk\;k^{2}V_%
{0}(p,k) italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - divide start_ARG 1 end_ARG start_ARG 2 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_d italic_k italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_p , italic_k )
( 11 ) 11 ( 11 )
where p F subscript 𝑝 𝐹 p_{F} italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT - is the Fermi momentum. With (7), eq.(11) is rewritten as:
ε p = p 2 2 m − 2 π ∫ 0 p F 𝑑 k k 2 ∫ 0 ∞ 𝑑 r r 2 V ( r ) j 0 ( p r ) j 0 ( k r ) subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 2 𝜋 superscript subscript 0 subscript 𝑝 𝐹 differential-d 𝑘 superscript 𝑘 2 superscript subscript 0 differential-d 𝑟 superscript 𝑟 2 𝑉 𝑟 subscript 𝑗 0 𝑝 𝑟 subscript 𝑗 0 𝑘 𝑟 \varepsilon_{p}=\frac{p^{2}}{2m}-\frac{2}{\pi}\int_{0}^{p_{F}}dk\;k^{2}\int_{0%
}^{\infty}dr\;r^{2}V(r)\;j_{0}(pr)j_{0}(kr) italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - divide start_ARG 2 end_ARG start_ARG italic_π end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_d italic_k italic_k start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_r italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_V ( italic_r ) italic_j start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_p italic_r ) italic_j start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_k italic_r )
( 12 ) 12 ( 12 )
Using the formula that connects the spherical Bessel function with the Bessel function of the first kind:
j ν ( z ) = π 2 z J ν + 1 2 ( z ) subscript 𝑗 𝜈 𝑧 𝜋 2 𝑧 subscript 𝐽 𝜈 1 2 𝑧 j_{\nu}(z)=\sqrt{\frac{\pi}{2z}}\;J_{\nu+\frac{1}{2}}(z) italic_j start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_z ) = square-root start_ARG divide start_ARG italic_π end_ARG start_ARG 2 italic_z end_ARG end_ARG italic_J start_POSTSUBSCRIPT italic_ν + divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT ( italic_z )
( 13 ) 13 ( 13 )
the ε p subscript 𝜀 𝑝 \varepsilon_{p} italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT energy will be:
ε p = p 2 2 m − 1 p ∫ 0 ∞ 𝑑 r r V ( r ) J 1 2 ( p r ) ∫ 0 p F 𝑑 k k 3 / 2 J 1 2 ( k r ) subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 1 𝑝 superscript subscript 0 differential-d 𝑟 𝑟 𝑉 𝑟 subscript 𝐽 1 2 𝑝 𝑟 superscript subscript 0 subscript 𝑝 𝐹 differential-d 𝑘 superscript 𝑘 3 2 subscript 𝐽 1 2 𝑘 𝑟 \varepsilon_{p}=\frac{p^{2}}{2m}-\frac{1}{\sqrt{p}}\int_{0}^{\infty}dr\;r\;V(r%
)J_{\frac{1}{2}}(pr)\int_{0}^{p_{F}}dk\;k^{3/2}J_{\frac{1}{2}}(kr) italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_p end_ARG end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_r italic_r italic_V ( italic_r ) italic_J start_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT ( italic_p italic_r ) ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_d italic_k italic_k start_POSTSUPERSCRIPT 3 / 2 end_POSTSUPERSCRIPT italic_J start_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT ( italic_k italic_r )
( 14 ) 14 ( 14 )
The last integral in eq.(14) is easy evaluated to obtain:
ε p = p 2 2 m − p F p F p ∫ 0 ∞ 𝑑 r V ( r ) J 1 2 ( p r ) J 3 2 ( p F r ) subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 subscript 𝑝 𝐹 subscript 𝑝 𝐹 𝑝 superscript subscript 0 differential-d 𝑟 𝑉 𝑟 subscript 𝐽 1 2 𝑝 𝑟 subscript 𝐽 3 2 subscript 𝑝 𝐹 𝑟 \varepsilon_{p}=\frac{p^{2}}{2m}-p_{F}\sqrt{\frac{p_{F}}{p}}\int_{0}^{\infty}%
dr\;V(r)J_{\frac{1}{2}}(pr)J_{\frac{3}{2}}(p_{F}r) italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT square-root start_ARG divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_p end_ARG end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_r italic_V ( italic_r ) italic_J start_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT ( italic_p italic_r ) italic_J start_POSTSUBSCRIPT divide start_ARG 3 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT ( italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r )
( 15 ) 15 ( 15 )
Now we will evaluate ε p subscript 𝜀 𝑝 \varepsilon_{p} italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT for the non-Coulomb interaction described by the potential:
V ( r ) = A r η 𝑉 𝑟 𝐴 superscript 𝑟 𝜂 V(r)=\frac{A}{r^{\eta}} italic_V ( italic_r ) = divide start_ARG italic_A end_ARG start_ARG italic_r start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT end_ARG
( 16 ) 16 ( 16 )
Here, A 𝐴 A italic_A is a coefficient whose dimensionality is linked to the number η 𝜂 \eta italic_η , in order to preserve the dimensionality of the potential energy. η 𝜂 \eta italic_η is a number that
models the non-Coulomb character of the interaction. For 0 < η < 1 0 𝜂 1 0<\eta<1 0 < italic_η < 1 the interaction is of the super long-range type, and for η > 1 𝜂 1 \eta>1 italic_η > 1 it is of the sub-Coulomb type.
Usually, the systems with long-range interactions are defined as the systems where the two-particle potential at large distances decays as r − η superscript 𝑟 𝜂 r^{-\eta} italic_r start_POSTSUPERSCRIPT - italic_η end_POSTSUPERSCRIPT with η ≤ d 𝜂 𝑑 \eta\leq d italic_η ≤ italic_d ,
where d 𝑑 d italic_d is the space dimension, with the Fourier transform of the interaction V q → ∼ | q | η − d similar-to subscript 𝑉 → 𝑞 superscript 𝑞 𝜂 𝑑 V_{\vec{q}}\sim|q|^{\eta-d} italic_V start_POSTSUBSCRIPT over→ start_ARG italic_q end_ARG end_POSTSUBSCRIPT ∼ | italic_q | start_POSTSUPERSCRIPT italic_η - italic_d end_POSTSUPERSCRIPT , for d = 3 𝑑 3 d=3 italic_d = 3 and d = 2 𝑑 2 d=2 italic_d = 2 . Using eq.(16),
the notation y = p / p F 𝑦 𝑝 subscript 𝑝 𝐹 y=p/p_{F} italic_y = italic_p / italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , and the new variable z = p F r 𝑧 subscript 𝑝 𝐹 𝑟 z=p_{F}r italic_z = italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r , the ε p subscript 𝜀 𝑝 \varepsilon_{p} italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT energy becomes:
ε p = p 2 2 m − A p F η 1 y ∫ 0 ∞ 𝑑 z z − η J 1 2 ( y z ) J 3 2 ( z ) subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 𝐴 superscript subscript 𝑝 𝐹 𝜂 1 𝑦 superscript subscript 0 differential-d 𝑧 superscript 𝑧 𝜂 subscript 𝐽 1 2 𝑦 𝑧 subscript 𝐽 3 2 𝑧 \varepsilon_{p}=\frac{p^{2}}{2m}-Ap_{F}^{\eta}\;\sqrt{\frac{1}{y}}\int_{0}^{%
\infty}dz\;z^{-\eta}J_{\frac{1}{2}}(yz)J_{\frac{3}{2}}(z) italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT square-root start_ARG divide start_ARG 1 end_ARG start_ARG italic_y end_ARG end_ARG ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_z italic_z start_POSTSUPERSCRIPT - italic_η end_POSTSUPERSCRIPT italic_J start_POSTSUBSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT ( italic_y italic_z ) italic_J start_POSTSUBSCRIPT divide start_ARG 3 end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT ( italic_z )
( 17 ) 17 ( 17 )
and using standard integrals [23] the final result will be:
ε p = p 2 2 m − A p F η { Γ ( 3 − η 2 ) 2 η Γ ( 1 2 ) Γ ( 1 + η 2 ) F ( 3 − η 2 , − η 2 ; 3 2 ; y 2 ) ; y < 1 Γ ( η ) Γ ( 3 − η 2 ) 2 η Γ ( η 2 ) Γ ( 1 + η 2 ) Γ ( 3 + η 2 ) ; y = 1 Γ ( 3 − η 2 ) 2 η y 3 − η Γ ( 5 2 ) Γ ( η 2 ) F ( 3 − η 2 , 1 − η 2 ; 5 2 ; 1 y 2 ) ; y > 1 subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 𝐴 superscript subscript 𝑝 𝐹 𝜂 cases Γ 3 𝜂 2 superscript 2 𝜂 Γ 1 2 Γ 1 𝜂 2 𝐹 3 𝜂 2 𝜂 2 3 2 superscript 𝑦 2 ; y < 1 missing-subexpression Γ 𝜂 Γ 3 𝜂 2 superscript 2 𝜂 Γ 𝜂 2 Γ 1 𝜂 2 Γ 3 𝜂 2 ; y = 1 missing-subexpression Γ 3 𝜂 2 superscript 2 𝜂 superscript 𝑦 3 𝜂 Γ 5 2 Γ 𝜂 2 𝐹 3 𝜂 2 1 𝜂 2 5 2 1 superscript 𝑦 2 ; y > 1 missing-subexpression \varepsilon_{p}=\frac{p^{2}}{2m}-Ap_{F}^{\eta}\left\{\begin{array}[]{lll}\frac%
{\Gamma\left(\frac{3-\eta}{2}\right)}{2^{\eta}\Gamma\left(\frac{1}{2}\right)%
\Gamma\left(1+\frac{\eta}{2}\right)}F\left(\frac{3-\eta}{2},-\frac{\eta}{2};%
\frac{3}{2};y^{2}\right)&\mbox{; $y<1$}\\
\frac{\Gamma(\eta)\Gamma\left(\frac{3-\eta}{2}\right)}{2^{\eta}\Gamma\left(%
\frac{\eta}{2}\right)\Gamma\left(1+\frac{\eta}{2}\right)\Gamma\left(\frac{3+%
\eta}{2}\right)}&\mbox{; $y=1$}\\
\frac{\Gamma\left(\frac{3-\eta}{2}\right)}{2^{\eta}y^{3-\eta}\Gamma\left(\frac%
{5}{2}\right)\Gamma\left(\frac{\eta}{2}\right)}F\left(\frac{3-\eta}{2},1-\frac%
{\eta}{2};\frac{5}{2};\frac{1}{y^{2}}\right)&\mbox{; $y>1$}\end{array}\right. italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT { start_ARRAY start_ROW start_CELL divide start_ARG roman_Γ ( divide start_ARG 3 - italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG ) roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG italic_F ( divide start_ARG 3 - italic_η end_ARG start_ARG 2 end_ARG , - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ; divide start_ARG 3 end_ARG start_ARG 2 end_ARG ; italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_CELL start_CELL ; italic_y < 1 end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL divide start_ARG roman_Γ ( italic_η ) roman_Γ ( divide start_ARG 3 - italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( divide start_ARG 3 + italic_η end_ARG start_ARG 2 end_ARG ) end_ARG end_CELL start_CELL ; italic_y = 1 end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL divide start_ARG roman_Γ ( divide start_ARG 3 - italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT 3 - italic_η end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG 5 end_ARG start_ARG 2 end_ARG ) roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG italic_F ( divide start_ARG 3 - italic_η end_ARG start_ARG 2 end_ARG , 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ; divide start_ARG 5 end_ARG start_ARG 2 end_ARG ; divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) end_CELL start_CELL ; italic_y > 1 end_CELL start_CELL end_CELL end_ROW end_ARRAY
( 18 ) 18 ( 18 )
for 0 < η < 3 0 𝜂 3 0<\eta<3 0 < italic_η < 3 . Here, Γ ( z ) Γ 𝑧 \Gamma(z) roman_Γ ( italic_z ) is the Gamma function, and F ( α , β ; γ ; z ) 𝐹 𝛼 𝛽 𝛾 𝑧 F(\alpha,\beta;\gamma;z) italic_F ( italic_α , italic_β ; italic_γ ; italic_z ) is the hypergeometric function.
In Fig.2 we plot, qualitatively, the momentum dependence of the ε p subscript 𝜀 𝑝 \varepsilon_{p} italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT energy for both cases, η < 1 𝜂 1 \eta<1 italic_η < 1 and η > 1 𝜂 1 \eta>1 italic_η > 1 .
Figure 2: Qualitative dependence of the particle energy, for η < 1 𝜂 1 \eta<1 italic_η < 1 and for η > 1 𝜂 1 \eta>1 italic_η > 1
For small values of the particle’s momentum the negative exchange energy part dominates. This is a consequence of the Pauli exclusion principle, leading to the well-known
exchange hole space around an electron. The situation is similar to the Coulomb case, the differences being of the quantitative nature.
In the following we will approximate the
ε p subscript 𝜀 𝑝 \varepsilon_{p} italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT energy for p 𝑝 p italic_p close to the Fermi momentum p F subscript 𝑝 𝐹 p_{F} italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT . For the case p → p F ; p < p F formulae-sequence → 𝑝 subscript 𝑝 𝐹 𝑝 subscript 𝑝 𝐹 p\rightarrow p_{F};p<p_{F} italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ; italic_p < italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , using:
F ( α , β ; γ ; z ) = Γ ( γ ) Γ ( γ − α − β ) Γ ( γ − α ) Γ ( γ − β ) F ( α , β ; α + β − γ + 1 ; 1 − z ) + 𝐹 𝛼 𝛽 𝛾 𝑧 limit-from Γ 𝛾 Γ 𝛾 𝛼 𝛽 Γ 𝛾 𝛼 Γ 𝛾 𝛽 𝐹 𝛼 𝛽 𝛼 𝛽 𝛾 1 1 𝑧 F(\alpha,\beta;\gamma;z)=\frac{\Gamma(\gamma)\Gamma(\gamma-\alpha-\beta)}{%
\Gamma(\gamma-\alpha)\Gamma(\gamma-\beta)}F(\alpha,\beta;\alpha+\beta-\gamma+1%
;1-z)+ italic_F ( italic_α , italic_β ; italic_γ ; italic_z ) = divide start_ARG roman_Γ ( italic_γ ) roman_Γ ( italic_γ - italic_α - italic_β ) end_ARG start_ARG roman_Γ ( italic_γ - italic_α ) roman_Γ ( italic_γ - italic_β ) end_ARG italic_F ( italic_α , italic_β ; italic_α + italic_β - italic_γ + 1 ; 1 - italic_z ) +
+ ( 1 − z ) γ − α − β Γ ( γ ) Γ ( α + β − γ ) Γ ( α ) Γ ( β ) F ( γ − α , γ − β ; γ − α − β + 1 ; 1 − z ) superscript 1 𝑧 𝛾 𝛼 𝛽 Γ 𝛾 Γ 𝛼 𝛽 𝛾 Γ 𝛼 Γ 𝛽 𝐹 𝛾 𝛼 𝛾 𝛽 𝛾 𝛼 𝛽 1 1 𝑧 +(1-z)^{\gamma-\alpha-\beta}\frac{\Gamma(\gamma)\Gamma(\alpha+\beta-\gamma)}{%
\Gamma(\alpha)\Gamma(\beta)}F(\gamma-\alpha,\gamma-\beta;\gamma-\alpha-\beta+1%
;1-z) + ( 1 - italic_z ) start_POSTSUPERSCRIPT italic_γ - italic_α - italic_β end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( italic_γ ) roman_Γ ( italic_α + italic_β - italic_γ ) end_ARG start_ARG roman_Γ ( italic_α ) roman_Γ ( italic_β ) end_ARG italic_F ( italic_γ - italic_α , italic_γ - italic_β ; italic_γ - italic_α - italic_β + 1 ; 1 - italic_z )
( 19 ) 19 ( 19 )
and series expansion for the hypergeometric function we obtain:
ε p ≃ p F 2 2 m − A p F η Γ ( 3 − η 2 ) 2 η Γ ( 1 + η 2 ) × \varepsilon_{p}\simeq\frac{p_{F}^{2}}{2m}-Ap_{F}^{\eta}\frac{\Gamma\left(\frac%
{3-\eta}{2}\right)}{2^{\eta}\Gamma\left(1+\frac{\eta}{2}\right)}\times italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ≃ divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( divide start_ARG 3 - italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG ×
× { Γ ( η ) Γ ( η 2 ) Γ ( 3 + η 2 ) ℱ 1 + ( 1 − y 2 ) η Γ ( − η ) Γ ( 3 − η 2 ) Γ ( − η 2 ) ℱ 2 } absent Γ 𝜂 Γ 𝜂 2 Γ 3 𝜂 2 subscript ℱ 1 superscript 1 superscript 𝑦 2 𝜂 Γ 𝜂 Γ 3 𝜂 2 Γ 𝜂 2 subscript ℱ 2 \times\left\{\frac{\Gamma(\eta)}{\Gamma\left(\frac{\eta}{2}\right)\Gamma\left(%
\frac{3+\eta}{2}\right)}{\cal{F}}_{1}+\left(1-y^{2}\right)^{\eta}\frac{\Gamma(%
-\eta)}{\Gamma\left(\frac{3-\eta}{2}\right)\Gamma\left(-\frac{\eta}{2}\right)}%
{\cal{F}}_{2}\right\} × { divide start_ARG roman_Γ ( italic_η ) end_ARG start_ARG roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( divide start_ARG 3 + italic_η end_ARG start_ARG 2 end_ARG ) end_ARG caligraphic_F start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + ( 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( - italic_η ) end_ARG start_ARG roman_Γ ( divide start_ARG 3 - italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG caligraphic_F start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT }
( 20 ) 20 ( 20 )
with:
ℱ 1 , 2 ≃ 1 ∓ η ( 3 ∓ η ) 4 ( 1 ∓ η ) ( 1 − y 2 ) similar-to-or-equals subscript ℱ 1 2
minus-or-plus 1 𝜂 minus-or-plus 3 𝜂 4 minus-or-plus 1 𝜂 1 superscript 𝑦 2 {\cal{F}}_{1,2}\simeq 1\mp\frac{\eta(3\mp\eta)}{4(1\mp\eta)}\left(1-y^{2}\right) caligraphic_F start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT ≃ 1 ∓ divide start_ARG italic_η ( 3 ∓ italic_η ) end_ARG start_ARG 4 ( 1 ∓ italic_η ) end_ARG ( 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT )
( 21 ) 21 ( 21 )
The case y = 1 𝑦 1 y=1 italic_y = 1 (p = p F 𝑝 subscript 𝑝 𝐹 p=p_{F} italic_p = italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ) is easily obtained because ℱ 1 = ℱ 2 = 1 subscript ℱ 1 subscript ℱ 2 1 {\cal{F}}_{1}={\cal{F}}_{2}=1 caligraphic_F start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = caligraphic_F start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 1 , and ( 1 − y 2 ) η = 0 superscript 1 superscript 𝑦 2 𝜂 0 \left(1-y^{2}\right)^{\eta}=0 ( 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT = 0 . For the case p → p F → 𝑝 subscript 𝑝 𝐹 p\rightarrow p_{F} italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , p > p F 𝑝 subscript 𝑝 𝐹 p>p_{F} italic_p > italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , in a similar way,
one obtains:
ε p ≃ p F 2 2 m − A p F η Γ ( 3 − η 2 ) 2 η y 3 − η Γ ( η 2 ) × \varepsilon_{p}\simeq\frac{p_{F}^{2}}{2m}-Ap_{F}^{\eta}\frac{\Gamma\left(\frac%
{3-\eta}{2}\right)}{2^{\eta}y^{3-\eta}\Gamma\left(\frac{\eta}{2}\right)}\times italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ≃ divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( divide start_ARG 3 - italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT 3 - italic_η end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG ×
× { Γ ( η ) Γ ( 1 + η 2 ) Γ ( 3 + η 2 ) ℱ 3 + ( 1 − 1 y 2 ) η Γ ( − η ) Γ ( 3 − η 2 ) Γ ( 1 − η 2 ) ℱ 4 } absent Γ 𝜂 Γ 1 𝜂 2 Γ 3 𝜂 2 subscript ℱ 3 superscript 1 1 superscript 𝑦 2 𝜂 Γ 𝜂 Γ 3 𝜂 2 Γ 1 𝜂 2 subscript ℱ 4 \times\left\{\frac{\Gamma(\eta)}{\Gamma\left(1+\frac{\eta}{2}\right)\Gamma%
\left(\frac{3+\eta}{2}\right)}{\cal{F}}_{3}+\left(1-\frac{1}{y^{2}}\right)^{%
\eta}\frac{\Gamma(-\eta)}{\Gamma\left(\frac{3-\eta}{2}\right)\Gamma\left(1-%
\frac{\eta}{2}\right)}{\cal{F}}_{4}\right\} × { divide start_ARG roman_Γ ( italic_η ) end_ARG start_ARG roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( divide start_ARG 3 + italic_η end_ARG start_ARG 2 end_ARG ) end_ARG caligraphic_F start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT + ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( - italic_η ) end_ARG start_ARG roman_Γ ( divide start_ARG 3 - italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG caligraphic_F start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT }
( 22 ) 22 ( 22 )
where:
ℱ 3 , 4 ≃ 1 + ( 2 ∓ η ) ( 3 ∓ η ) 4 ( 1 ∓ η ) ( 1 − 1 y 2 ) similar-to-or-equals subscript ℱ 3 4
1 minus-or-plus 2 𝜂 minus-or-plus 3 𝜂 4 minus-or-plus 1 𝜂 1 1 superscript 𝑦 2 {\cal{F}}_{3,4}\simeq 1+\frac{(2\mp\eta)(3\mp\eta)}{4(1\mp\eta)}\left(1-\frac{%
1}{y^{2}}\right) caligraphic_F start_POSTSUBSCRIPT 3 , 4 end_POSTSUBSCRIPT ≃ 1 + divide start_ARG ( 2 ∓ italic_η ) ( 3 ∓ italic_η ) end_ARG start_ARG 4 ( 1 ∓ italic_η ) end_ARG ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG )
( 23 ) 23 ( 23 )
In order to reobtain the result for the Coulomb case we will use eq.(18) with A = e 2 𝐴 superscript 𝑒 2 A=e^{2} italic_A = italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and η = 1 𝜂 1 \eta=1 italic_η = 1 . In this case we obtain:
ε p = p 2 2 m − 2 e 2 p F π { F ( 1 , − 1 2 ; 3 2 ; y 2 ) ; y < 1 1 2 ; y = 1 1 3 y 2 F ( 1 , 1 2 ; 5 2 ; 1 y 2 ) ; y > 1 subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 2 superscript 𝑒 2 subscript 𝑝 𝐹 𝜋 cases 𝐹 1 1 2 3 2 superscript 𝑦 2 ; y < 1 missing-subexpression 1 2 ; y = 1 missing-subexpression 1 3 superscript 𝑦 2 𝐹 1 1 2 5 2 1 superscript 𝑦 2 ; y > 1 missing-subexpression \varepsilon_{p}=\frac{p^{2}}{2m}-\frac{2e^{2}p_{F}}{\pi}\left\{\begin{array}[]%
{lll}F\left(1,-\frac{1}{2};\frac{3}{2};y^{2}\right)&\mbox{; $y<1$}\\
\frac{1}{2}&\mbox{; $y=1$}\\
\frac{1}{3y^{2}}\;F\left(1,\frac{1}{2};\frac{5}{2};\frac{1}{y^{2}}\right)&%
\mbox{; $y>1$}\end{array}\right. italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - divide start_ARG 2 italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_π end_ARG { start_ARRAY start_ROW start_CELL italic_F ( 1 , - divide start_ARG 1 end_ARG start_ARG 2 end_ARG ; divide start_ARG 3 end_ARG start_ARG 2 end_ARG ; italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_CELL start_CELL ; italic_y < 1 end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_CELL start_CELL ; italic_y = 1 end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL divide start_ARG 1 end_ARG start_ARG 3 italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_F ( 1 , divide start_ARG 1 end_ARG start_ARG 2 end_ARG ; divide start_ARG 5 end_ARG start_ARG 2 end_ARG ; divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) end_CELL start_CELL ; italic_y > 1 end_CELL start_CELL end_CELL end_ROW end_ARRAY
( 24 ) 24 ( 24 )
Using here the following identities [24]:
F ( 1 , − 1 2 ; 3 2 ; y 2 ) = 1 2 + 1 − y 2 4 y ln ( 1 + y 1 − y ) 𝐹 1 1 2 3 2 superscript 𝑦 2 1 2 1 superscript 𝑦 2 4 𝑦 1 𝑦 1 𝑦 F\left(1,-\frac{1}{2};\frac{3}{2};y^{2}\right)=\frac{1}{2}+\frac{1-y^{2}}{4y}%
\ln\left(\frac{1+y}{1-y}\right) italic_F ( 1 , - divide start_ARG 1 end_ARG start_ARG 2 end_ARG ; divide start_ARG 3 end_ARG start_ARG 2 end_ARG ; italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) = divide start_ARG 1 end_ARG start_ARG 2 end_ARG + divide start_ARG 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_y end_ARG roman_ln ( divide start_ARG 1 + italic_y end_ARG start_ARG 1 - italic_y end_ARG )
( 25 ) 25 ( 25 )
and:
F ( 1 , 1 2 ; 5 2 ; x 2 ) = 3 2 x 2 [ 1 − 1 − x 2 2 x ln ( 1 + x 1 − x ) ] 𝐹 1 1 2 5 2 superscript 𝑥 2 3 2 superscript 𝑥 2 delimited-[] 1 1 superscript 𝑥 2 2 𝑥 1 𝑥 1 𝑥 F\left(1,\frac{1}{2};\frac{5}{2};x^{2}\right)=\frac{3}{2x^{2}}\left[1-\frac{1-%
x^{2}}{2x}\ln\left(\frac{1+x}{1-x}\right)\right] italic_F ( 1 , divide start_ARG 1 end_ARG start_ARG 2 end_ARG ; divide start_ARG 5 end_ARG start_ARG 2 end_ARG ; italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) = divide start_ARG 3 end_ARG start_ARG 2 italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG [ 1 - divide start_ARG 1 - italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_x end_ARG roman_ln ( divide start_ARG 1 + italic_x end_ARG start_ARG 1 - italic_x end_ARG ) ]
( 26 ) 26 ( 26 )
the final result is the well known formula:
ε p = p 2 2 m − 2 e 2 p F π [ 1 2 + 1 − y 2 4 y ln | 1 + y 1 − y | ] subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 2 superscript 𝑒 2 subscript 𝑝 𝐹 𝜋 delimited-[] 1 2 1 superscript 𝑦 2 4 𝑦 1 𝑦 1 𝑦 \varepsilon_{p}=\frac{p^{2}}{2m}-\frac{2e^{2}p_{F}}{\pi}\left[\frac{1}{2}+%
\frac{1-y^{2}}{4y}\ln\left|\frac{1+y}{1-y}\right|\right] italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - divide start_ARG 2 italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_π end_ARG [ divide start_ARG 1 end_ARG start_ARG 2 end_ARG + divide start_ARG 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_y end_ARG roman_ln | divide start_ARG 1 + italic_y end_ARG start_ARG 1 - italic_y end_ARG | ]
( 27 ) 27 ( 27 )
Now we will evaluate the ground state Hartree-Fock energy of a system of N 𝑁 N italic_N particles, given by:
E H F = E H F ( 1 ) + E H F ( 2 ) subscript 𝐸 𝐻 𝐹 superscript subscript 𝐸 𝐻 𝐹 1 superscript subscript 𝐸 𝐻 𝐹 2 E_{HF}=E_{HF}^{(1)}+E_{HF}^{(2)} italic_E start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT = italic_E start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT + italic_E start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT
( 28 ) 28 ( 28 )
where:
E H F ( 1 ) = 3 5 p F 2 2 m N superscript subscript 𝐸 𝐻 𝐹 1 3 5 superscript subscript 𝑝 𝐹 2 2 𝑚 𝑁 E_{HF}^{(1)}=\frac{3}{5}\;\frac{p_{F}^{2}}{2m}\;N italic_E start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT = divide start_ARG 3 end_ARG start_ARG 5 end_ARG divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG italic_N
( 29 ) 29 ( 29 )
is the contribution of the free system, and the exchange contribution is calculated as:
E H F ( 2 ) = − A p F η + 3 Γ ( 3 − η 2 ) I η 2 η + 1 π 2 Γ ( 3 2 ) Γ ( 1 + η 2 ) superscript subscript 𝐸 𝐻 𝐹 2 𝐴 superscript subscript 𝑝 𝐹 𝜂 3 Γ 3 𝜂 2 subscript 𝐼 𝜂 superscript 2 𝜂 1 superscript 𝜋 2 Γ 3 2 Γ 1 𝜂 2 E_{HF}^{(2)}=-\frac{Ap_{F}^{\eta+3}\Gamma\left(\frac{3-\eta}{2}\right)\;I_{%
\eta}}{2^{\eta+1}\pi^{2}\Gamma\left(\frac{3}{2}\right)\Gamma\left(1+\frac{\eta%
}{2}\right)} italic_E start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT = - divide start_ARG italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η + 3 end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG 3 - italic_η end_ARG start_ARG 2 end_ARG ) italic_I start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η + 1 end_POSTSUPERSCRIPT italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG 3 end_ARG start_ARG 2 end_ARG ) roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG
( 30 ) 30 ( 30 )
where:
I η = ∫ 0 1 𝑑 y y 2 F ( 3 − η 2 , − η 2 ; 3 2 ; y 2 ) subscript 𝐼 𝜂 superscript subscript 0 1 differential-d 𝑦 superscript 𝑦 2 𝐹 3 𝜂 2 𝜂 2 3 2 superscript 𝑦 2 I_{\eta}=\int_{0}^{1}dy\;y^{2}F\left(\frac{3-\eta}{2},-\frac{\eta}{2};\frac{3}%
{2};y^{2}\right) italic_I start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT italic_d italic_y italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F ( divide start_ARG 3 - italic_η end_ARG start_ARG 2 end_ARG , - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ; divide start_ARG 3 end_ARG start_ARG 2 end_ARG ; italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT )
( 31 ) 31 ( 31 )
For the Coulomb interaction I η = 1 = 1 / 4 subscript 𝐼 𝜂 1 1 4 I_{\eta=1}=1/4 italic_I start_POSTSUBSCRIPT italic_η = 1 end_POSTSUBSCRIPT = 1 / 4 , and:
E H F ( 2 ) = − e 2 p F 4 4 π 3 superscript subscript 𝐸 𝐻 𝐹 2 superscript 𝑒 2 superscript subscript 𝑝 𝐹 4 4 superscript 𝜋 3 E_{HF}^{(2)}=-\frac{e^{2}p_{F}^{4}}{4\pi^{3}} italic_E start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT = - divide start_ARG italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_π start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG
( 32 ) 32 ( 32 )
For the non-Coulomb case, using the new variable x = y 2 𝑥 superscript 𝑦 2 x=y^{2} italic_x = italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and the following integral:
∫ 0 1 𝑑 x x γ − 1 ( 1 − x ) ρ − 1 F ( α , β ; γ ; x ) = Γ ( γ ) Γ ( ρ ) Γ ( γ + ρ − α − β ) Γ ( γ + ρ − α ) Γ ( γ + ρ − β ) superscript subscript 0 1 differential-d 𝑥 superscript 𝑥 𝛾 1 superscript 1 𝑥 𝜌 1 𝐹 𝛼 𝛽 𝛾 𝑥 Γ 𝛾 Γ 𝜌 Γ 𝛾 𝜌 𝛼 𝛽 Γ 𝛾 𝜌 𝛼 Γ 𝛾 𝜌 𝛽 \int_{0}^{1}dx\;x^{\gamma-1}(1-x)^{\rho-1}F(\alpha,\beta;\gamma;x)=\frac{%
\Gamma(\gamma)\Gamma(\rho)\Gamma(\gamma+\rho-\alpha-\beta)}{\Gamma(\gamma+\rho%
-\alpha)\Gamma(\gamma+\rho-\beta)} ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT italic_d italic_x italic_x start_POSTSUPERSCRIPT italic_γ - 1 end_POSTSUPERSCRIPT ( 1 - italic_x ) start_POSTSUPERSCRIPT italic_ρ - 1 end_POSTSUPERSCRIPT italic_F ( italic_α , italic_β ; italic_γ ; italic_x ) = divide start_ARG roman_Γ ( italic_γ ) roman_Γ ( italic_ρ ) roman_Γ ( italic_γ + italic_ρ - italic_α - italic_β ) end_ARG start_ARG roman_Γ ( italic_γ + italic_ρ - italic_α ) roman_Γ ( italic_γ + italic_ρ - italic_β ) end_ARG
( 33 ) 33 ( 33 )
we get for the scaled Hartree-Fock energy the following result:
E H F N = 3 5 p F 2 2 m − A ( p F 2 ) η 12 Γ ( 3 − η 2 ) Γ ( η ) η ( η + 1 ) ( η + 3 ) Γ ( 1 + η 2 ) [ Γ ( η 2 ) ] 2 subscript 𝐸 𝐻 𝐹 𝑁 3 5 superscript subscript 𝑝 𝐹 2 2 𝑚 𝐴 superscript subscript 𝑝 𝐹 2 𝜂 12 Γ 3 𝜂 2 Γ 𝜂 𝜂 𝜂 1 𝜂 3 Γ 1 𝜂 2 superscript delimited-[] Γ 𝜂 2 2 \frac{E_{HF}}{N}=\frac{3}{5}\;\frac{p_{F}^{2}}{2m}-A\left(\frac{p_{F}}{2}%
\right)^{\eta}\frac{12\;\Gamma\left(\frac{3-\eta}{2}\right)\Gamma(\eta)}{\eta(%
\eta+1)(\eta+3)\Gamma\left(\frac{1+\eta}{2}\right)\left[\Gamma\left(\frac{\eta%
}{2}\right)\right]^{2}} divide start_ARG italic_E start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG = divide start_ARG 3 end_ARG start_ARG 5 end_ARG divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - italic_A ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT divide start_ARG 12 roman_Γ ( divide start_ARG 3 - italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( italic_η ) end_ARG start_ARG italic_η ( italic_η + 1 ) ( italic_η + 3 ) roman_Γ ( divide start_ARG 1 + italic_η end_ARG start_ARG 2 end_ARG ) [ roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG
( 34 ) 34 ( 34 )
The velocity of the particle is obtained taking the derivative of ε p subscript 𝜀 𝑝 \varepsilon_{p} italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT with respect to p 𝑝 p italic_p . For the case y = p / p F < 1 𝑦 𝑝 subscript 𝑝 𝐹 1 y=p/p_{F}<1 italic_y = italic_p / italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT < 1 , using the first line from (18), one obtains:
v p = p m + 2 3 A p F η − 2 η Γ ( 5 − η 2 ) 2 η Γ ( 3 2 ) Γ ( 1 + η 2 ) p F ( 5 − η 2 , 1 − η 2 ; 5 2 ; p 2 p F 2 ) subscript 𝑣 𝑝 𝑝 𝑚 2 3 𝐴 superscript subscript 𝑝 𝐹 𝜂 2 𝜂 Γ 5 𝜂 2 superscript 2 𝜂 Γ 3 2 Γ 1 𝜂 2 𝑝 𝐹 5 𝜂 2 1 𝜂 2 5 2 superscript 𝑝 2 superscript subscript 𝑝 𝐹 2 v_{p}=\frac{p}{m}+\frac{2}{3}\;Ap_{F}^{\eta-2}\frac{\eta\Gamma\left(\frac{5-%
\eta}{2}\right)}{2^{\eta}\Gamma\left(\frac{3}{2}\right)\Gamma\left(1+\frac{%
\eta}{2}\right)}\;p\;F\left(\frac{5-\eta}{2},1-\frac{\eta}{2};\frac{5}{2};%
\frac{p^{2}}{p_{F}^{2}}\right) italic_v start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p end_ARG start_ARG italic_m end_ARG + divide start_ARG 2 end_ARG start_ARG 3 end_ARG italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η - 2 end_POSTSUPERSCRIPT divide start_ARG italic_η roman_Γ ( divide start_ARG 5 - italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG 3 end_ARG start_ARG 2 end_ARG ) roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG italic_p italic_F ( divide start_ARG 5 - italic_η end_ARG start_ARG 2 end_ARG , 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ; divide start_ARG 5 end_ARG start_ARG 2 end_ARG ; divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG )
( 35 ) 35 ( 35 )
and for y > 1 𝑦 1 y>1 italic_y > 1 the velocity becomes:
v p = p m + 2 A p F η − 1 Γ ( 5 − η 2 ) 2 η Γ ( 5 2 ) Γ ( η 2 ) ( p F p ) 4 − η × v_{p}=\frac{p}{m}+2Ap_{F}^{\eta-1}\frac{\Gamma\left(\frac{5-\eta}{2}\right)}{2%
^{\eta}\Gamma\left(\frac{5}{2}\right)\Gamma\left(\frac{\eta}{2}\right)}\left(%
\frac{p_{F}}{p}\right)^{4-\eta}\times italic_v start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p end_ARG start_ARG italic_m end_ARG + 2 italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η - 1 end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( divide start_ARG 5 - italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG 5 end_ARG start_ARG 2 end_ARG ) roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_p end_ARG ) start_POSTSUPERSCRIPT 4 - italic_η end_POSTSUPERSCRIPT ×
× { F ( 3 − η 2 , 1 − η 2 ; 5 2 ; p F 2 p 2 ) + 2 5 ( 1 − η 2 ) ( p F p ) 2 F ( 5 − η 2 , 2 − η 2 ; 7 2 ; p F 2 p 2 ) } absent 𝐹 3 𝜂 2 1 𝜂 2 5 2 superscript subscript 𝑝 𝐹 2 superscript 𝑝 2 2 5 1 𝜂 2 superscript subscript 𝑝 𝐹 𝑝 2 𝐹 5 𝜂 2 2 𝜂 2 7 2 superscript subscript 𝑝 𝐹 2 superscript 𝑝 2 \times\left\{F\left(\frac{3-\eta}{2},1-\frac{\eta}{2};\frac{5}{2};\frac{p_{F}^%
{2}}{p^{2}}\right)+\frac{2}{5}\left(1-\frac{\eta}{2}\right)\left(\frac{p_{F}}{%
p}\right)^{2}F\left(\frac{5-\eta}{2},2-\frac{\eta}{2};\frac{7}{2};\frac{p_{F}^%
{2}}{p^{2}}\right)\right\} × { italic_F ( divide start_ARG 3 - italic_η end_ARG start_ARG 2 end_ARG , 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ; divide start_ARG 5 end_ARG start_ARG 2 end_ARG ; divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) + divide start_ARG 2 end_ARG start_ARG 5 end_ARG ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_p end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F ( divide start_ARG 5 - italic_η end_ARG start_ARG 2 end_ARG , 2 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ; divide start_ARG 7 end_ARG start_ARG 2 end_ARG ; divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) }
( 36 ) 36 ( 36 )
The Coulomb case, A = e 2 𝐴 superscript 𝑒 2 A=e^{2} italic_A = italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and η = 1 𝜂 1 \eta=1 italic_η = 1 , is obtained using the following identities:
F ( a , b ; c ; x ) = c − 1 a − 1 x − 1 [ F ( a − 1 , b ; c − 1 ; x ) − F ( a − 1 , b − 1 ; c − 1 ; x ) ] 𝐹 𝑎 𝑏 𝑐 𝑥 𝑐 1 𝑎 1 superscript 𝑥 1 delimited-[] 𝐹 𝑎 1 𝑏 𝑐 1 𝑥 𝐹 𝑎 1 𝑏 1 𝑐 1 𝑥 F(a,b;c;x)=\frac{c-1}{a-1}\;x^{-1}\left[F(a-1,b;c-1;x)-F(a-1,b-1;c-1;x)\right] italic_F ( italic_a , italic_b ; italic_c ; italic_x ) = divide start_ARG italic_c - 1 end_ARG start_ARG italic_a - 1 end_ARG italic_x start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT [ italic_F ( italic_a - 1 , italic_b ; italic_c - 1 ; italic_x ) - italic_F ( italic_a - 1 , italic_b - 1 ; italic_c - 1 ; italic_x ) ]
( 37 ) 37 ( 37 )
F ( 1 , b ; c ; x ) = c − 1 b − 1 ( 1 − x ) − 1 − c − b b − 1 ( 1 − x ) − 1 F ( 1 , b − 1 ; c ; x ) 𝐹 1 𝑏 𝑐 𝑥 𝑐 1 𝑏 1 superscript 1 𝑥 1 𝑐 𝑏 𝑏 1 superscript 1 𝑥 1 𝐹 1 𝑏 1 𝑐 𝑥 F(1,b;c;x)=\frac{c-1}{b-1}(1-x)^{-1}-\frac{c-b}{b-1}(1-x)^{-1}F(1,b-1;c;x) italic_F ( 1 , italic_b ; italic_c ; italic_x ) = divide start_ARG italic_c - 1 end_ARG start_ARG italic_b - 1 end_ARG ( 1 - italic_x ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT - divide start_ARG italic_c - italic_b end_ARG start_ARG italic_b - 1 end_ARG ( 1 - italic_x ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_F ( 1 , italic_b - 1 ; italic_c ; italic_x )
( 38 ) 38 ( 38 )
and eqs.(25-26). The velocity will be:
v p = p m + e 2 π 1 y [ 1 + y 2 2 y ln | 1 + y 1 − y | − 1 ] subscript 𝑣 𝑝 𝑝 𝑚 superscript 𝑒 2 𝜋 1 𝑦 delimited-[] 1 superscript 𝑦 2 2 𝑦 1 𝑦 1 𝑦 1 v_{p}=\frac{p}{m}+\frac{e^{2}}{\pi}\;\frac{1}{y}\left[\frac{1+y^{2}}{2y}\ln%
\left|\frac{1+y}{1-y}\right|-1\right] italic_v start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p end_ARG start_ARG italic_m end_ARG + divide start_ARG italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π end_ARG divide start_ARG 1 end_ARG start_ARG italic_y end_ARG [ divide start_ARG 1 + italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_y end_ARG roman_ln | divide start_ARG 1 + italic_y end_ARG start_ARG 1 - italic_y end_ARG | - 1 ]
( 39 ) 39 ( 39 )
Using the determined velocities one can evaluate the density of states which, in the three-dimensional case, is [4]:
N ( p ) = p 2 π 2 | v p | 𝑁 𝑝 superscript 𝑝 2 superscript 𝜋 2 subscript 𝑣 𝑝 N(p)=\frac{p^{2}}{\pi^{2}\left|v_{p}\right|} italic_N ( italic_p ) = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_v start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT | end_ARG
( 40 ) 40 ( 40 )
Here we will be interested in the momentum dependence of the density of states near the Fermi momentum p F subscript 𝑝 𝐹 p_{F} italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT .
∙ ∙ \bullet ∙ For the case p → p F → 𝑝 subscript 𝑝 𝐹 p\rightarrow p_{F} italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , p < p F 𝑝 subscript 𝑝 𝐹 p<p_{F} italic_p < italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , using eq.(19)
and the series of the hypergeometric function, we obtain:
v p → p F ≃ p F m + 2 3 A p F η − 1 η Γ ( 5 − η 2 ) 2 η Γ ( 3 2 ) Γ ( 1 + η 2 ) × v_{p\rightarrow p_{F}}\simeq\frac{p_{F}}{m}+\frac{2}{3}\;Ap_{F}^{\eta-1}\frac{%
\eta\Gamma\left(\frac{5-\eta}{2}\right)}{2^{\eta}\Gamma\left(\frac{3}{2}\right%
)\Gamma\left(1+\frac{\eta}{2}\right)}\times italic_v start_POSTSUBSCRIPT italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≃ divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_m end_ARG + divide start_ARG 2 end_ARG start_ARG 3 end_ARG italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η - 1 end_POSTSUPERSCRIPT divide start_ARG italic_η roman_Γ ( divide start_ARG 5 - italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG 3 end_ARG start_ARG 2 end_ARG ) roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG ×
× { Γ ( 5 2 ) Γ ( − 1 + η ) Γ ( η 2 ) Γ ( 3 + η 2 ) 𝒬 1 + ( 1 − y 2 ) − 1 + η Γ ( 5 2 ) Γ ( 1 − η ) Γ ( 5 − η 2 ) Γ ( 1 − η 2 ) 𝒬 2 } absent Γ 5 2 Γ 1 𝜂 Γ 𝜂 2 Γ 3 𝜂 2 subscript 𝒬 1 superscript 1 superscript 𝑦 2 1 𝜂 Γ 5 2 Γ 1 𝜂 Γ 5 𝜂 2 Γ 1 𝜂 2 subscript 𝒬 2 \times\left\{\frac{\Gamma\left(\frac{5}{2}\right)\Gamma(-1+\eta)}{\Gamma\left(%
\frac{\eta}{2}\right)\Gamma\left(\frac{3+\eta}{2}\right)}{\cal{Q}}_{1}+\left(1%
-y^{2}\right)^{-1+\eta}\frac{\Gamma\left(\frac{5}{2}\right)\Gamma(1-\eta)}{%
\Gamma\left(\frac{5-\eta}{2}\right)\Gamma\left(1-\frac{\eta}{2}\right)}{\cal{Q%
}}_{2}\right\} × { divide start_ARG roman_Γ ( divide start_ARG 5 end_ARG start_ARG 2 end_ARG ) roman_Γ ( - 1 + italic_η ) end_ARG start_ARG roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( divide start_ARG 3 + italic_η end_ARG start_ARG 2 end_ARG ) end_ARG caligraphic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + ( 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 + italic_η end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( divide start_ARG 5 end_ARG start_ARG 2 end_ARG ) roman_Γ ( 1 - italic_η ) end_ARG start_ARG roman_Γ ( divide start_ARG 5 - italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG caligraphic_Q start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT }
( 41 ) 41 ( 41 )
where:
𝒬 1 = F ( 5 − η 2 , 1 − η 2 ; 2 − η ; 1 − y 2 ) ≃ 1 + 5 − η 4 ( 1 − y 2 ) subscript 𝒬 1 𝐹 5 𝜂 2 1 𝜂 2 2 𝜂 1 superscript 𝑦 2 similar-to-or-equals 1 5 𝜂 4 1 superscript 𝑦 2 {\cal{Q}}_{1}=F\left(\frac{5-\eta}{2},1-\frac{\eta}{2};2-\eta;1-y^{2}\right)%
\simeq 1+\frac{5-\eta}{4}\left(1-y^{2}\right) caligraphic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_F ( divide start_ARG 5 - italic_η end_ARG start_ARG 2 end_ARG , 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ; 2 - italic_η ; 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ≃ 1 + divide start_ARG 5 - italic_η end_ARG start_ARG 4 end_ARG ( 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT )
( 42 ) 42 ( 42 )
and:
𝒬 2 = F ( η 2 , 3 + η 2 ; η ; 1 − y 2 ) ≃ 1 + 3 + η 4 ( 1 − y 2 ) subscript 𝒬 2 𝐹 𝜂 2 3 𝜂 2 𝜂 1 superscript 𝑦 2 similar-to-or-equals 1 3 𝜂 4 1 superscript 𝑦 2 {\cal{Q}}_{2}=F\left(\frac{\eta}{2},\frac{3+\eta}{2};\eta;1-y^{2}\right)\simeq
1%
+\frac{3+\eta}{4}\left(1-y^{2}\right) caligraphic_Q start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = italic_F ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG , divide start_ARG 3 + italic_η end_ARG start_ARG 2 end_ARG ; italic_η ; 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) ≃ 1 + divide start_ARG 3 + italic_η end_ARG start_ARG 4 end_ARG ( 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT )
( 43 ) 43 ( 43 )
At the Fermi momentum p = p F 𝑝 subscript 𝑝 𝐹 p=p_{F} italic_p = italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , and 𝒬 1 = 𝒬 2 = 1 subscript 𝒬 1 subscript 𝒬 2 1 {\cal{Q}}_{1}={\cal{Q}}_{2}=1 caligraphic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = caligraphic_Q start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 1 . Here we distinguish two cases:
a.) Case: η > 1 𝜂 1 \eta>1 italic_η > 1 , when ( 1 − y 2 ) − 1 + η = 0 superscript 1 superscript 𝑦 2 1 𝜂 0 \left(1-y^{2}\right)^{-1+\eta}=0 ( 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 + italic_η end_POSTSUPERSCRIPT = 0 . In this case:
v p = p F = p F 2 [ 2 m + A ( p F 2 ) η − 2 ℳ ( η ) ] subscript 𝑣 𝑝 subscript 𝑝 𝐹 subscript 𝑝 𝐹 2 delimited-[] 2 𝑚 𝐴 superscript subscript 𝑝 𝐹 2 𝜂 2 ℳ 𝜂 v_{p=p_{F}}=\frac{p_{F}}{2}\left[\frac{2}{m}+A\left(\frac{p_{F}}{2}\right)^{%
\eta-2}{\cal{M}}(\eta)\right] italic_v start_POSTSUBSCRIPT italic_p = italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG [ divide start_ARG 2 end_ARG start_ARG italic_m end_ARG + italic_A ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT italic_η - 2 end_POSTSUPERSCRIPT caligraphic_M ( italic_η ) ]
( 44 ) 44 ( 44 )
with:
ℳ ( η ) = Γ ( 5 − η 2 ) Γ ( − 1 + η ) [ Γ ( η 2 ) ] 2 Γ ( 3 + η 2 ) ℳ 𝜂 Γ 5 𝜂 2 Γ 1 𝜂 superscript delimited-[] Γ 𝜂 2 2 Γ 3 𝜂 2 {\cal{M}}(\eta)=\frac{\Gamma\left(\frac{5-\eta}{2}\right)\Gamma(-1+\eta)}{%
\left[\Gamma\left(\frac{\eta}{2}\right)\right]^{2}\Gamma\left(\frac{3+\eta}{2}%
\right)} caligraphic_M ( italic_η ) = divide start_ARG roman_Γ ( divide start_ARG 5 - italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( - 1 + italic_η ) end_ARG start_ARG [ roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG 3 + italic_η end_ARG start_ARG 2 end_ARG ) end_ARG
( 45 ) 45 ( 45 )
The density of states at Fermi momentum has a finite (non-zero) value given by:
N ( p F ) = 2 p F π 2 [ 2 m + A ( p F 2 ) η − 2 ℳ ( η ) ] 𝑁 subscript 𝑝 𝐹 2 subscript 𝑝 𝐹 superscript 𝜋 2 delimited-[] 2 𝑚 𝐴 superscript subscript 𝑝 𝐹 2 𝜂 2 ℳ 𝜂 N(p_{F})=\frac{2p_{F}}{\pi^{2}\left[\frac{2}{m}+A\left(\frac{p_{F}}{2}\right)^%
{\eta-2}{\cal{M}}(\eta)\right]} italic_N ( italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ) = divide start_ARG 2 italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ divide start_ARG 2 end_ARG start_ARG italic_m end_ARG + italic_A ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT italic_η - 2 end_POSTSUPERSCRIPT caligraphic_M ( italic_η ) ] end_ARG
( 46 ) 46 ( 46 )
b.) Case: η < 1 𝜂 1 \eta<1 italic_η < 1 . In this case the term containing ( 1 − y 2 ) − 1 + η superscript 1 superscript 𝑦 2 1 𝜂 \left(1-y^{2}\right)^{-1+\eta} ( 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 + italic_η end_POSTSUPERSCRIPT is dominant in the expression of velocity. Taking this term into account and using the complements
formula for the Gamma function, we get (η ≠ 0 𝜂 0 \eta\neq 0 italic_η ≠ 0 ):
v p → p F ≃ A Γ ( 1 − η ) π ( p F 2 ) η − 1 ( 1 − p 2 p F 2 ) − 1 + η sin ( π η 2 ) similar-to-or-equals subscript 𝑣 → 𝑝 subscript 𝑝 𝐹 𝐴 Γ 1 𝜂 𝜋 superscript subscript 𝑝 𝐹 2 𝜂 1 superscript 1 superscript 𝑝 2 superscript subscript 𝑝 𝐹 2 1 𝜂 𝜋 𝜂 2 v_{p\rightarrow p_{F}}\simeq\frac{A\Gamma(1-\eta)}{\pi}\left(\frac{p_{F}}{2}%
\right)^{\eta-1}\left(1-\frac{p^{2}}{p_{F}^{2}}\right)^{-1+\eta}\sin\left(%
\frac{\pi\eta}{2}\right) italic_v start_POSTSUBSCRIPT italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≃ divide start_ARG italic_A roman_Γ ( 1 - italic_η ) end_ARG start_ARG italic_π end_ARG ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT italic_η - 1 end_POSTSUPERSCRIPT ( 1 - divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT - 1 + italic_η end_POSTSUPERSCRIPT roman_sin ( divide start_ARG italic_π italic_η end_ARG start_ARG 2 end_ARG )
( 47 ) 47 ( 47 )
and the density of states:
N ( p → p F ) ≃ 2 η − 1 π A Γ ( 1 − η ) | sin ( π η 2 ) | p F 3 − η ( 1 − p 2 p F 2 ) 1 − η similar-to-or-equals 𝑁 → 𝑝 subscript 𝑝 𝐹 superscript 2 𝜂 1 𝜋 𝐴 Γ 1 𝜂 𝜋 𝜂 2 superscript subscript 𝑝 𝐹 3 𝜂 superscript 1 superscript 𝑝 2 superscript subscript 𝑝 𝐹 2 1 𝜂 N\left(p\rightarrow p_{F}\right)\simeq\frac{2^{\eta-1}}{\pi A\Gamma(1-\eta)%
\left|\sin\left(\frac{\pi\eta}{2}\right)\right|}\;p_{F}^{3-\eta}\left(1-\frac{%
p^{2}}{p_{F}^{2}}\right)^{1-\eta} italic_N ( italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ) ≃ divide start_ARG 2 start_POSTSUPERSCRIPT italic_η - 1 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π italic_A roman_Γ ( 1 - italic_η ) | roman_sin ( divide start_ARG italic_π italic_η end_ARG start_ARG 2 end_ARG ) | end_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 - italic_η end_POSTSUPERSCRIPT ( 1 - divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 1 - italic_η end_POSTSUPERSCRIPT
( 48 ) 48 ( 48 )
∙ ∙ \bullet ∙ For the case p → p F → 𝑝 subscript 𝑝 𝐹 p\rightarrow p_{F} italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , p > p F 𝑝 subscript 𝑝 𝐹 p>p_{F} italic_p > italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , following similar steps, the velocity close to the Fermi momentum will be:
v p → p F ≃ p F m + 2 A p F η − 1 Γ ( 5 − η 2 ) 2 η Γ ( 5 2 ) Γ ( η 2 ) × v_{p\rightarrow p_{F}}\simeq\frac{p_{F}}{m}+2Ap_{F}^{\eta-1}\frac{\Gamma\left(%
\frac{5-\eta}{2}\right)}{2^{\eta}\Gamma\left(\frac{5}{2}\right)\Gamma\left(%
\frac{\eta}{2}\right)}\times italic_v start_POSTSUBSCRIPT italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≃ divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_m end_ARG + 2 italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η - 1 end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( divide start_ARG 5 - italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG 5 end_ARG start_ARG 2 end_ARG ) roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG ×
× { Γ ( 5 2 ) Γ ( η ) Γ ( 1 + η 2 ) Γ ( 3 + η 2 ) ℱ 3 + ( 1 − 1 y 2 ) η Γ ( 5 2 ) Γ ( − η ) Γ ( 3 − η 2 ) Γ ( 1 − η 2 ) ℱ 4 + \times\left\{\frac{\Gamma\left(\frac{5}{2}\right)\Gamma(\eta)}{\Gamma\left(1+%
\frac{\eta}{2}\right)\Gamma\left(\frac{3+\eta}{2}\right)}{\cal{F}}_{3}+\left(1%
-\frac{1}{y^{2}}\right)^{\eta}\frac{\Gamma\left(\frac{5}{2}\right)\Gamma(-\eta%
)}{\Gamma\left(\frac{3-\eta}{2}\right)\Gamma\left(1-\frac{\eta}{2}\right)}{%
\cal{F}}_{4}+\right. × { divide start_ARG roman_Γ ( divide start_ARG 5 end_ARG start_ARG 2 end_ARG ) roman_Γ ( italic_η ) end_ARG start_ARG roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( divide start_ARG 3 + italic_η end_ARG start_ARG 2 end_ARG ) end_ARG caligraphic_F start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT + ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( divide start_ARG 5 end_ARG start_ARG 2 end_ARG ) roman_Γ ( - italic_η ) end_ARG start_ARG roman_Γ ( divide start_ARG 3 - italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG caligraphic_F start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT +
+ 2 5 ( 1 − η 2 ) [ Γ ( 7 2 ) Γ ( − 1 + η ) Γ ( 1 + η 2 ) Γ ( 3 + η 2 ) 𝒮 1 + ( 1 − 1 y 2 ) − 1 + η Γ ( 7 2 ) Γ ( 1 − η ) Γ ( 5 − η 2 ) Γ ( 2 − η 2 ) 𝒮 2 ] } \left.+\frac{2}{5}\left(1-\frac{\eta}{2}\right)\left[\frac{\Gamma\left(\frac{7%
}{2}\right)\Gamma(-1+\eta)}{\Gamma\left(1+\frac{\eta}{2}\right)\Gamma\left(%
\frac{3+\eta}{2}\right)}{\cal{S}}_{1}+\left(1-\frac{1}{y^{2}}\right)^{-1+\eta}%
\frac{\Gamma\left(\frac{7}{2}\right)\Gamma(1-\eta)}{\Gamma\left(\frac{5-\eta}{%
2}\right)\Gamma\left(2-\frac{\eta}{2}\right)}{\cal{S}}_{2}\right]\right\} + divide start_ARG 2 end_ARG start_ARG 5 end_ARG ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) [ divide start_ARG roman_Γ ( divide start_ARG 7 end_ARG start_ARG 2 end_ARG ) roman_Γ ( - 1 + italic_η ) end_ARG start_ARG roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( divide start_ARG 3 + italic_η end_ARG start_ARG 2 end_ARG ) end_ARG caligraphic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT - 1 + italic_η end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( divide start_ARG 7 end_ARG start_ARG 2 end_ARG ) roman_Γ ( 1 - italic_η ) end_ARG start_ARG roman_Γ ( divide start_ARG 5 - italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( 2 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG caligraphic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ] }
( 49 ) 49 ( 49 )
where:
𝒮 1 ≃ 1 + ( 4 − η ) ( 5 − η ) 4 ( 2 − η ) ( 1 − 1 y 2 ) similar-to-or-equals subscript 𝒮 1 1 4 𝜂 5 𝜂 4 2 𝜂 1 1 superscript 𝑦 2 {\cal{S}}_{1}\simeq 1+\frac{(4-\eta)(5-\eta)}{4(2-\eta)}\left(1-\frac{1}{y^{2}%
}\right) caligraphic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≃ 1 + divide start_ARG ( 4 - italic_η ) ( 5 - italic_η ) end_ARG start_ARG 4 ( 2 - italic_η ) end_ARG ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG )
( 50 ) 50 ( 50 )
and:
𝒮 2 ≃ 1 + ( 2 + η ) ( 3 + η ) 4 η ( 1 − 1 y 2 ) similar-to-or-equals subscript 𝒮 2 1 2 𝜂 3 𝜂 4 𝜂 1 1 superscript 𝑦 2 {\cal{S}}_{2}\simeq 1+\frac{(2+\eta)(3+\eta)}{4\eta}\left(1-\frac{1}{y^{2}}\right) caligraphic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≃ 1 + divide start_ARG ( 2 + italic_η ) ( 3 + italic_η ) end_ARG start_ARG 4 italic_η end_ARG ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG )
( 51 ) 51 ( 51 )
Here, at the Fermi momentum, ℱ 3 = ℱ 4 = 𝒮 1 = 𝒮 2 = 1 subscript ℱ 3 subscript ℱ 4 subscript 𝒮 1 subscript 𝒮 2 1 {\cal{F}}_{3}={\cal{F}}_{4}={\cal{S}}_{1}={\cal{S}}_{2}=1 caligraphic_F start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT = caligraphic_F start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT = caligraphic_S start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = caligraphic_S start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 1 , ( 1 − 1 / y 2 ) η = 0 superscript 1 1 superscript 𝑦 2 𝜂 0 (1-1/y^{2})^{\eta}=0 ( 1 - 1 / italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT = 0 , for η > 0 𝜂 0 \eta>0 italic_η > 0 , and ( 1 − 1 / y 2 ) − 1 + η = 0 superscript 1 1 superscript 𝑦 2 1 𝜂 0 (1-1/y^{2})^{-1+\eta}=0 ( 1 - 1 / italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 + italic_η end_POSTSUPERSCRIPT = 0 , for η > 1 𝜂 1 \eta>1 italic_η > 1 , and diverges
for η < 1 𝜂 1 \eta<1 italic_η < 1 .
c.) For the case η > 1 𝜂 1 \eta>1 italic_η > 1 we reobtain the result given by eq.(46) which shows that at p = p F 𝑝 subscript 𝑝 𝐹 p=p_{F} italic_p = italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT the density of states is non-zero and is continuous.
d.) For the case η < 1 𝜂 1 \eta<1 italic_η < 1 taking again the dominant contribution from the particle velocity, the density of states close to the Fermi momentum will be:
N ( p → p F ) ≃ 2 η − 1 π A Γ ( 1 − η ) | sin ( π η 2 ) | p F 3 − η ( 1 − p F 2 p 2 ) 1 − η similar-to-or-equals 𝑁 → 𝑝 subscript 𝑝 𝐹 superscript 2 𝜂 1 𝜋 𝐴 Γ 1 𝜂 𝜋 𝜂 2 superscript subscript 𝑝 𝐹 3 𝜂 superscript 1 superscript subscript 𝑝 𝐹 2 superscript 𝑝 2 1 𝜂 N\left(p\rightarrow p_{F}\right)\simeq\frac{2^{\eta-1}}{\pi A\Gamma(1-\eta)%
\left|\sin\left(\frac{\pi\eta}{2}\right)\right|}\;p_{F}^{3-\eta}\left(1-\frac{%
p_{F}^{2}}{p^{2}}\right)^{1-\eta} italic_N ( italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ) ≃ divide start_ARG 2 start_POSTSUPERSCRIPT italic_η - 1 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π italic_A roman_Γ ( 1 - italic_η ) | roman_sin ( divide start_ARG italic_π italic_η end_ARG start_ARG 2 end_ARG ) | end_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 - italic_η end_POSTSUPERSCRIPT ( 1 - divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 1 - italic_η end_POSTSUPERSCRIPT
( 52 ) 52 ( 52 )
In Fig.3 we give a qualitative plot of the density of states for η < 1 𝜂 1 \eta<1 italic_η < 1 and for η > 1 𝜂 1 \eta>1 italic_η > 1 .
Figure 3: The 3 D 3 𝐷 3D 3 italic_D density of states for η < 1 𝜂 1 \eta<1 italic_η < 1 and for η > 1 𝜂 1 \eta>1 italic_η > 1
In the case of super-long range interaction (η < 1 𝜂 1 \eta<1 italic_η < 1 ) the density of states tends to
zero when p → p F → 𝑝 subscript 𝑝 𝐹 p\rightarrow p_{F} italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , having a power function type dependence. In the sub-Coulomb case (η > 1 𝜂 1 \eta>1 italic_η > 1 ) the density of states is non-zero but lower than the density of states
for the free electron system.
B. The two-dimensional system
In this case the Fourier form of the interacting potential is:
V p → − k → = ∫ d 2 r V ( r ) e − i ( p → − k → ) r → subscript 𝑉 → 𝑝 → 𝑘 superscript 𝑑 2 𝑟 𝑉 𝑟 superscript 𝑒 𝑖 → 𝑝 → 𝑘 → 𝑟 V_{\vec{p}-\vec{k}}=\int d^{2}r\;V(r)e^{-i(\vec{p}-\vec{k})\vec{r}} italic_V start_POSTSUBSCRIPT over→ start_ARG italic_p end_ARG - over→ start_ARG italic_k end_ARG end_POSTSUBSCRIPT = ∫ italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_r italic_V ( italic_r ) italic_e start_POSTSUPERSCRIPT - italic_i ( over→ start_ARG italic_p end_ARG - over→ start_ARG italic_k end_ARG ) over→ start_ARG italic_r end_ARG end_POSTSUPERSCRIPT
( 53 ) 53 ( 53 )
and we will use the 2 D 2 𝐷 2D 2 italic_D geometry, θ 𝜃 \theta italic_θ being the angle between p → → 𝑝 \vec{p} over→ start_ARG italic_p end_ARG and r → → 𝑟 \vec{r} over→ start_ARG italic_r end_ARG , θ ′ superscript 𝜃 ′ \theta^{\prime} italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT the angle between p → → 𝑝 \vec{p} over→ start_ARG italic_p end_ARG and k → → 𝑘 \vec{k} over→ start_ARG italic_k end_ARG ,
to obtain:
V p → − k → = ∫ 0 ∞ 𝑑 r r V ( r ) ∫ 0 2 π 𝑑 θ e − i p r cos θ e i k r cos α subscript 𝑉 → 𝑝 → 𝑘 superscript subscript 0 differential-d 𝑟 𝑟 𝑉 𝑟 superscript subscript 0 2 𝜋 differential-d 𝜃 superscript 𝑒 𝑖 𝑝 𝑟 𝜃 superscript 𝑒 𝑖 𝑘 𝑟 𝛼 V_{\vec{p}-\vec{k}}=\int_{0}^{\infty}dr\;rV(r)\int_{0}^{2\pi}d\theta\;e^{-ipr%
\cos\theta}e^{ikr\cos\alpha} italic_V start_POSTSUBSCRIPT over→ start_ARG italic_p end_ARG - over→ start_ARG italic_k end_ARG end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_r italic_r italic_V ( italic_r ) ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 italic_π end_POSTSUPERSCRIPT italic_d italic_θ italic_e start_POSTSUPERSCRIPT - italic_i italic_p italic_r roman_cos italic_θ end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_k italic_r roman_cos italic_α end_POSTSUPERSCRIPT
( 54 ) 54 ( 54 )
with α = θ − θ ′ 𝛼 𝜃 superscript 𝜃 ′ \alpha=\theta-\theta^{\prime} italic_α = italic_θ - italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT . The angular integral I 𝐼 I italic_I will be evaluated using the expression of the exponential function with the Bessel functions [19]:
e i z cos φ = J 0 ( z ) + 2 ∑ n = 1 ∞ i n J n ( z ) cos ( n φ ) superscript 𝑒 𝑖 𝑧 𝜑 subscript 𝐽 0 𝑧 2 superscript subscript 𝑛 1 superscript 𝑖 𝑛 subscript 𝐽 𝑛 𝑧 𝑛 𝜑 e^{iz\cos\varphi}=J_{0}(z)+2\sum_{n=1}^{\infty}i^{n}J_{n}(z)\cos(n\varphi) italic_e start_POSTSUPERSCRIPT italic_i italic_z roman_cos italic_φ end_POSTSUPERSCRIPT = italic_J start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_z ) + 2 ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_i start_POSTSUPERSCRIPT italic_n end_POSTSUPERSCRIPT italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_z ) roman_cos ( italic_n italic_φ )
( 55 ) 55 ( 55 )
to obtain:
I = 2 π ∑ l = 0 ∞ ε l J l ( p r ) J l ( k r ) cos ( l θ ′ ) 𝐼 2 𝜋 superscript subscript 𝑙 0 subscript 𝜀 𝑙 subscript 𝐽 𝑙 𝑝 𝑟 subscript 𝐽 𝑙 𝑘 𝑟 𝑙 superscript 𝜃 ′ I=2\pi\sum_{l=0}^{\infty}\varepsilon_{l}J_{l}(pr)J_{l}(kr)\cos\left(l\theta^{%
\prime}\right) italic_I = 2 italic_π ∑ start_POSTSUBSCRIPT italic_l = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_ε start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_p italic_r ) italic_J start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k italic_r ) roman_cos ( italic_l italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT )
( 56 ) 56 ( 56 )
with ε l = 1 subscript 𝜀 𝑙 1 \varepsilon_{l}=1 italic_ε start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = 1 for l = 0 𝑙 0 l=0 italic_l = 0 , and ε l = 2 subscript 𝜀 𝑙 2 \varepsilon_{l}=2 italic_ε start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = 2 for l = 1 , 2 , 3 , … 𝑙 1 2 3 …
l=1,2,3,... italic_l = 1 , 2 , 3 , … . Finally, V p → − k → subscript 𝑉 → 𝑝 → 𝑘 V_{\vec{p}-\vec{k}} italic_V start_POSTSUBSCRIPT over→ start_ARG italic_p end_ARG - over→ start_ARG italic_k end_ARG end_POSTSUBSCRIPT will be:
V p → − k → = ∑ l = 0 ∞ V l ( p , k ) cos ( l θ ′ ) subscript 𝑉 → 𝑝 → 𝑘 superscript subscript 𝑙 0 subscript 𝑉 𝑙 𝑝 𝑘 𝑙 superscript 𝜃 ′ V_{\vec{p}-\vec{k}}=\sum_{l=0}^{\infty}V_{l}(p,k)\cos\left(l\theta^{\prime}\right) italic_V start_POSTSUBSCRIPT over→ start_ARG italic_p end_ARG - over→ start_ARG italic_k end_ARG end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_l = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_p , italic_k ) roman_cos ( italic_l italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT )
( 57 ) 57 ( 57 )
where:
V l ( p , k ) = 2 π ε l ∫ 0 ∞ 𝑑 r r V ( r ) J l ( p r ) J l ( k r ) subscript 𝑉 𝑙 𝑝 𝑘 2 𝜋 subscript 𝜀 𝑙 superscript subscript 0 differential-d 𝑟 𝑟 𝑉 𝑟 subscript 𝐽 𝑙 𝑝 𝑟 subscript 𝐽 𝑙 𝑘 𝑟 V_{l}(p,k)=2\pi\varepsilon_{l}\int_{0}^{\infty}dr\;rV(r)\;J_{l}(pr)J_{l}(kr) italic_V start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_p , italic_k ) = 2 italic_π italic_ε start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_r italic_r italic_V ( italic_r ) italic_J start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_p italic_r ) italic_J start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_k italic_r )
( 58 ) 58 ( 58 )
The Hartree-Fock energy, in two dimensions, will be:
ε p = p 2 2 m − ∫ 0 p F ∫ 0 2 π k d k d θ ′ ( 2 π ) 2 ∑ l = 0 ∞ V l ( p , k ) cos ( l θ ′ ) subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 superscript subscript 0 subscript 𝑝 𝐹 superscript subscript 0 2 𝜋 𝑘 𝑑 𝑘 𝑑 superscript 𝜃 ′ superscript 2 𝜋 2 superscript subscript 𝑙 0 subscript 𝑉 𝑙 𝑝 𝑘 𝑙 superscript 𝜃 ′ \varepsilon_{p}=\frac{p^{2}}{2m}-\int_{0}^{p_{F}}\int_{0}^{2\pi}\frac{kdkd%
\theta^{\prime}}{(2\pi)^{2}}\sum_{l=0}^{\infty}V_{l}(p,k)\cos\left(l\theta^{%
\prime}\right) italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 italic_π end_POSTSUPERSCRIPT divide start_ARG italic_k italic_d italic_k italic_d italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_l = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_V start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_p , italic_k ) roman_cos ( italic_l italic_θ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT )
( 59 ) 59 ( 59 )
and it is easy transformed to:
ε p = p 2 2 m − ∫ 0 p F k 𝑑 k ∫ 0 ∞ 𝑑 r r V ( r ) J 0 ( p r ) J 0 ( k r ) subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 superscript subscript 0 subscript 𝑝 𝐹 𝑘 differential-d 𝑘 superscript subscript 0 differential-d 𝑟 𝑟 𝑉 𝑟 subscript 𝐽 0 𝑝 𝑟 subscript 𝐽 0 𝑘 𝑟 \varepsilon_{p}=\frac{p^{2}}{2m}-\int_{0}^{p_{F}}k\;dk\int_{0}^{\infty}dr\;rV(%
r)J_{0}(pr)J_{0}(kr) italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_k italic_d italic_k ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_r italic_r italic_V ( italic_r ) italic_J start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_p italic_r ) italic_J start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_k italic_r )
( 60 ) 60 ( 60 )
Using now the non-Coulomb form of the interaction potential (16), after performing the k 𝑘 k italic_k -integration, and using again the notations
y = p / p F 𝑦 𝑝 subscript 𝑝 𝐹 y=p/p_{F} italic_y = italic_p / italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT and z = p F r 𝑧 subscript 𝑝 𝐹 𝑟 z=p_{F}r italic_z = italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r , we obtain:
ε p = p 2 2 m − A p F η ∫ 0 ∞ 𝑑 z z − η J 0 ( y z ) J 1 ( z ) subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 𝐴 superscript subscript 𝑝 𝐹 𝜂 superscript subscript 0 differential-d 𝑧 superscript 𝑧 𝜂 subscript 𝐽 0 𝑦 𝑧 subscript 𝐽 1 𝑧 \varepsilon_{p}=\frac{p^{2}}{2m}-Ap_{F}^{\eta}\int_{0}^{\infty}dz\;z^{-\eta}J_%
{0}(yz)J_{1}(z) italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_z italic_z start_POSTSUPERSCRIPT - italic_η end_POSTSUPERSCRIPT italic_J start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_y italic_z ) italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_z )
( 61 ) 61 ( 61 )
and the result, after z 𝑧 z italic_z -integration, is:
ε p = p 2 2 m − A p F η { Γ ( 1 − η 2 ) 2 η Γ ( 1 + η 2 ) F ( 1 − η 2 , − η 2 ; 1 ; y 2 ) ; y < 1 Γ ( η ) Γ ( 1 − η 2 ) 2 η Γ ( η 2 ) [ Γ ( 1 + η 2 ) ] 2 ; y = 1 Γ ( 1 − η 2 ) 2 η y 2 − η Γ ( η 2 ) F ( 1 − η 2 , 1 − η 2 ; 2 ; 1 y 2 ) ; y > 1 subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 𝐴 superscript subscript 𝑝 𝐹 𝜂 cases Γ 1 𝜂 2 superscript 2 𝜂 Γ 1 𝜂 2 𝐹 1 𝜂 2 𝜂 2 1 superscript 𝑦 2 ; y < 1 missing-subexpression Γ 𝜂 Γ 1 𝜂 2 superscript 2 𝜂 Γ 𝜂 2 superscript delimited-[] Γ 1 𝜂 2 2 ; y = 1 missing-subexpression Γ 1 𝜂 2 superscript 2 𝜂 superscript 𝑦 2 𝜂 Γ 𝜂 2 𝐹 1 𝜂 2 1 𝜂 2 2 1 superscript 𝑦 2 ; y > 1 missing-subexpression \varepsilon_{p}=\frac{p^{2}}{2m}-Ap_{F}^{\eta}\left\{\begin{array}[]{lll}\frac%
{\Gamma\left(1-\frac{\eta}{2}\right)}{2^{\eta}\Gamma\left(1+\frac{\eta}{2}%
\right)}F\left(1-\frac{\eta}{2},-\frac{\eta}{2};1;y^{2}\right)&\mbox{; $y<1$}%
\\
\frac{\Gamma(\eta)\Gamma\left(1-\frac{\eta}{2}\right)}{2^{\eta}\Gamma\left(%
\frac{\eta}{2}\right)\left[\Gamma\left(1+\frac{\eta}{2}\right)\right]^{2}}&%
\mbox{; $y=1$}\\
\frac{\Gamma\left(1-\frac{\eta}{2}\right)}{2^{\eta}y^{2-\eta}\Gamma\left(\frac%
{\eta}{2}\right)}F\left(1-\frac{\eta}{2},1-\frac{\eta}{2};2;\frac{1}{y^{2}}%
\right)&\mbox{; $y>1$}\end{array}\right. italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT { start_ARRAY start_ROW start_CELL divide start_ARG roman_Γ ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG italic_F ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG , - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ; 1 ; italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_CELL start_CELL ; italic_y < 1 end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL divide start_ARG roman_Γ ( italic_η ) roman_Γ ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) [ roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_CELL start_CELL ; italic_y = 1 end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL divide start_ARG roman_Γ ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT 2 - italic_η end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG italic_F ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG , 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ; 2 ; divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) end_CELL start_CELL ; italic_y > 1 end_CELL start_CELL end_CELL end_ROW end_ARRAY
( 62 ) 62 ( 62 )
for 0 < η < 2 0 𝜂 2 0<\eta<2 0 < italic_η < 2 .
As in the three-dimensional case, in two dimensions and at small values of the momentum, ε p subscript 𝜀 𝑝 \varepsilon_{p} italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT is negative due to the exchange hole space around electrons.
This behavior is maintained until around the Fermi momentum, for η ≤ 1 𝜂 1 \eta\leq 1 italic_η ≤ 1 .
Close to the Fermi momentum, for p → p F → 𝑝 subscript 𝑝 𝐹 p\rightarrow p_{F} italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , p < p F 𝑝 subscript 𝑝 𝐹 p<p_{F} italic_p < italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , following similar steps as for the 3 D 3 𝐷 3D 3 italic_D case, we obtain:
ε p ≃ p F 2 2 m − A p F η Γ ( 1 − η 2 ) 2 η Γ ( 1 + η 2 ) × \varepsilon_{p}\simeq\frac{p_{F}^{2}}{2m}-Ap_{F}^{\eta}\frac{\Gamma\left(1-%
\frac{\eta}{2}\right)}{2^{\eta}\Gamma\left(1+\frac{\eta}{2}\right)}\times italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ≃ divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG ×
× { Γ ( η ) Γ ( η 2 ) Γ ( 1 + η 2 ) 𝒢 1 + ( 1 − y 2 ) η Γ ( − η ) Γ ( 1 − η 2 ) Γ ( − η 2 ) 𝒢 2 } absent Γ 𝜂 Γ 𝜂 2 Γ 1 𝜂 2 subscript 𝒢 1 superscript 1 superscript 𝑦 2 𝜂 Γ 𝜂 Γ 1 𝜂 2 Γ 𝜂 2 subscript 𝒢 2 \times\left\{\frac{\Gamma(\eta)}{\Gamma\left(\frac{\eta}{2}\right)\Gamma\left(%
1+\frac{\eta}{2}\right)}{\cal{G}}_{1}+\left(1-y^{2}\right)^{\eta}\frac{\Gamma(%
-\eta)}{\Gamma\left(1-\frac{\eta}{2}\right)\Gamma\left(-\frac{\eta}{2}\right)}%
{\cal{G}}_{2}\right\} × { divide start_ARG roman_Γ ( italic_η ) end_ARG start_ARG roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG caligraphic_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + ( 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( - italic_η ) end_ARG start_ARG roman_Γ ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG caligraphic_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT }
( 63 ) 63 ( 63 )
where:
𝒢 1 , 2 ≃ 1 ∓ η ( 2 ∓ η ) 4 ( 1 ∓ η ) ( 1 − y 2 ) similar-to-or-equals subscript 𝒢 1 2
minus-or-plus 1 𝜂 minus-or-plus 2 𝜂 4 minus-or-plus 1 𝜂 1 superscript 𝑦 2 {\cal{G}}_{1,2}\simeq 1\mp\frac{\eta(2\mp\eta)}{4(1\mp\eta)}\left(1-y^{2}\right) caligraphic_G start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT ≃ 1 ∓ divide start_ARG italic_η ( 2 ∓ italic_η ) end_ARG start_ARG 4 ( 1 ∓ italic_η ) end_ARG ( 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT )
( 64 ) 64 ( 64 )
For p → p F → 𝑝 subscript 𝑝 𝐹 p\rightarrow p_{F} italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , p > p F 𝑝 subscript 𝑝 𝐹 p>p_{F} italic_p > italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT the result will be:
ε p ≃ p F 2 2 m − A p F η Γ ( 1 − η 2 ) 2 η y 2 − η Γ ( η 2 ) × \varepsilon_{p}\simeq\frac{p_{F}^{2}}{2m}-Ap_{F}^{\eta}\frac{\Gamma\left(1-%
\frac{\eta}{2}\right)}{2^{\eta}y^{2-\eta}\Gamma\left(\frac{\eta}{2}\right)}\times italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ≃ divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT italic_y start_POSTSUPERSCRIPT 2 - italic_η end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG ×
× { Γ ( η ) [ Γ ( 1 + η 2 ) ] 2 𝒢 3 + ( 1 − 1 y 2 ) η Γ ( − η ) [ Γ ( 1 − η 2 ) ] 2 𝒢 4 } absent Γ 𝜂 superscript delimited-[] Γ 1 𝜂 2 2 subscript 𝒢 3 superscript 1 1 superscript 𝑦 2 𝜂 Γ 𝜂 superscript delimited-[] Γ 1 𝜂 2 2 subscript 𝒢 4 \times\left\{\frac{\Gamma(\eta)}{\left[\Gamma\left(1+\frac{\eta}{2}\right)%
\right]^{2}}{\cal{G}}_{3}+\left(1-\frac{1}{y^{2}}\right)^{\eta}\frac{\Gamma(-%
\eta)}{\left[\Gamma\left(1-\frac{\eta}{2}\right)\right]^{2}}{\cal{G}}_{4}\right\} × { divide start_ARG roman_Γ ( italic_η ) end_ARG start_ARG [ roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG caligraphic_G start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT + ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( - italic_η ) end_ARG start_ARG [ roman_Γ ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG caligraphic_G start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT }
( 65 ) 65 ( 65 )
with:
𝒢 3 , 4 ≃ 1 + ( 2 ∓ η ) 2 4 ( 1 ∓ η ) ( 1 − 1 y 2 ) similar-to-or-equals subscript 𝒢 3 4
1 superscript minus-or-plus 2 𝜂 2 4 minus-or-plus 1 𝜂 1 1 superscript 𝑦 2 {\cal{G}}_{3,4}\simeq 1+\frac{(2\mp\eta)^{2}}{4(1\mp\eta)}\left(1-\frac{1}{y^{%
2}}\right) caligraphic_G start_POSTSUBSCRIPT 3 , 4 end_POSTSUBSCRIPT ≃ 1 + divide start_ARG ( 2 ∓ italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 ( 1 ∓ italic_η ) end_ARG ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG )
( 66 ) 66 ( 66 )
From eq.(62) the Coulomb result, obtained taking again A = e 2 𝐴 superscript 𝑒 2 A=e^{2} italic_A = italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and η = 1 𝜂 1 \eta=1 italic_η = 1 , is:
ε p = p 2 2 m − 2 e 2 p F π { π 2 F ( 1 2 , − 1 2 ; 1 ; y 2 ) ; y < 1 1 ; y = 1 π 4 y F ( 1 2 , 1 2 ; 2 ; 1 y 2 ) ; y > 1 subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 2 superscript 𝑒 2 subscript 𝑝 𝐹 𝜋 cases 𝜋 2 𝐹 1 2 1 2 1 superscript 𝑦 2 ; y < 1 missing-subexpression 1 ; y = 1 missing-subexpression 𝜋 4 𝑦 𝐹 1 2 1 2 2 1 superscript 𝑦 2 ; y > 1 missing-subexpression \varepsilon_{p}=\frac{p^{2}}{2m}-\frac{2e^{2}p_{F}}{\pi}\left\{\begin{array}[]%
{lll}\frac{\pi}{2}\;F\left(\frac{1}{2},-\frac{1}{2};1;y^{2}\right)&\mbox{; $y<%
1$}\\
1&\mbox{; $y=1$}\\
\frac{\pi}{4y}\;F\left(\frac{1}{2},\frac{1}{2};2;\frac{1}{y^{2}}\right)&\mbox{%
; $y>1$}\end{array}\right. italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - divide start_ARG 2 italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_π end_ARG { start_ARRAY start_ROW start_CELL divide start_ARG italic_π end_ARG start_ARG 2 end_ARG italic_F ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG , - divide start_ARG 1 end_ARG start_ARG 2 end_ARG ; 1 ; italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) end_CELL start_CELL ; italic_y < 1 end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL 1 end_CELL start_CELL ; italic_y = 1 end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL divide start_ARG italic_π end_ARG start_ARG 4 italic_y end_ARG italic_F ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG , divide start_ARG 1 end_ARG start_ARG 2 end_ARG ; 2 ; divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) end_CELL start_CELL ; italic_y > 1 end_CELL start_CELL end_CELL end_ROW end_ARRAY
( 67 ) 67 ( 67 )
Using the following identities:
π 2 F ( 1 2 , − 1 2 ; 1 ; y 2 ) = E ( y ) 𝜋 2 𝐹 1 2 1 2 1 superscript 𝑦 2 𝐸 𝑦 \frac{\pi}{2}\;F\left(\frac{1}{2},-\frac{1}{2};1;y^{2}\right)=E(y) divide start_ARG italic_π end_ARG start_ARG 2 end_ARG italic_F ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG , - divide start_ARG 1 end_ARG start_ARG 2 end_ARG ; 1 ; italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) = italic_E ( italic_y )
( 68 ) 68 ( 68 )
and:
F ( 1 2 , 1 2 ; 2 ; 1 y 2 ) = 4 y 2 π [ E ( 1 y ) − ( 1 − 1 y 2 ) K ( 1 y ) ] 𝐹 1 2 1 2 2 1 superscript 𝑦 2 4 superscript 𝑦 2 𝜋 delimited-[] 𝐸 1 𝑦 1 1 superscript 𝑦 2 𝐾 1 𝑦 F\left(\frac{1}{2},\frac{1}{2};2;\frac{1}{y^{2}}\right)=\frac{4y^{2}}{\pi}%
\left[E\left(\frac{1}{y}\right)-\left(1-\frac{1}{y^{2}}\right)K\left(\frac{1}{%
y}\right)\right] italic_F ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG , divide start_ARG 1 end_ARG start_ARG 2 end_ARG ; 2 ; divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) = divide start_ARG 4 italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π end_ARG [ italic_E ( divide start_ARG 1 end_ARG start_ARG italic_y end_ARG ) - ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) italic_K ( divide start_ARG 1 end_ARG start_ARG italic_y end_ARG ) ]
( 69 ) 69 ( 69 )
where E ( y ) 𝐸 𝑦 E(y) italic_E ( italic_y ) is the complete elliptic integral of the second kind, and K ( y ) 𝐾 𝑦 K(y) italic_K ( italic_y ) is the complete elliptic integral of the first kind, one obtains the classical result [5, 25]:
ε p = p 2 2 m − 2 e 2 p F π { E ( y ) ; y < 1 1 ; y = 1 y [ E ( 1 y ) − ( 1 − 1 y 2 ) K ( 1 y ) ] ; y > 1 subscript 𝜀 𝑝 superscript 𝑝 2 2 𝑚 2 superscript 𝑒 2 subscript 𝑝 𝐹 𝜋 cases 𝐸 𝑦 ; y < 1 missing-subexpression 1 ; y = 1 missing-subexpression 𝑦 delimited-[] 𝐸 1 𝑦 1 1 superscript 𝑦 2 𝐾 1 𝑦 ; y > 1 missing-subexpression \varepsilon_{p}=\frac{p^{2}}{2m}-\frac{2e^{2}p_{F}}{\pi}\left\{\begin{array}[]%
{lll}E(y)&\mbox{; $y<1$}\\
1&\mbox{; $y=1$}\\
y\left[E\left(\frac{1}{y}\right)-\left(1-\frac{1}{y^{2}}\right)K\left(\frac{1}%
{y}\right)\right]&\mbox{; $y>1$}\end{array}\right. italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - divide start_ARG 2 italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_π end_ARG { start_ARRAY start_ROW start_CELL italic_E ( italic_y ) end_CELL start_CELL ; italic_y < 1 end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL 1 end_CELL start_CELL ; italic_y = 1 end_CELL start_CELL end_CELL end_ROW start_ROW start_CELL italic_y [ italic_E ( divide start_ARG 1 end_ARG start_ARG italic_y end_ARG ) - ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) italic_K ( divide start_ARG 1 end_ARG start_ARG italic_y end_ARG ) ] end_CELL start_CELL ; italic_y > 1 end_CELL start_CELL end_CELL end_ROW end_ARRAY
( 70 ) 70 ( 70 )
The 2 D 2 𝐷 2D 2 italic_D Hartree-Fock energy for N 𝑁 N italic_N particles is given by:
E H F = E H F ( 1 ) + E H F ( 2 ) subscript 𝐸 𝐻 𝐹 superscript subscript 𝐸 𝐻 𝐹 1 superscript subscript 𝐸 𝐻 𝐹 2 E_{HF}=E_{HF}^{(1)}+E_{HF}^{(2)} italic_E start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT = italic_E start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT + italic_E start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT
( 71 ) 71 ( 71 )
where, in 2 D 2 𝐷 2D 2 italic_D :
E H F ( 1 ) = 1 2 p F 2 2 m N superscript subscript 𝐸 𝐻 𝐹 1 1 2 superscript subscript 𝑝 𝐹 2 2 𝑚 𝑁 E_{HF}^{(1)}=\frac{1}{2}\;\frac{p_{F}^{2}}{2m}\;N italic_E start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG italic_N
( 72 ) 72 ( 72 )
and:
E H F ( 2 ) = − A p F η + 2 Γ ( 1 − η 2 ) Y η 2 η + 1 π Γ ( 1 + η 2 ) superscript subscript 𝐸 𝐻 𝐹 2 𝐴 superscript subscript 𝑝 𝐹 𝜂 2 Γ 1 𝜂 2 subscript 𝑌 𝜂 superscript 2 𝜂 1 𝜋 Γ 1 𝜂 2 E_{HF}^{(2)}=-\frac{Ap_{F}^{\eta+2}\Gamma\left(1-\frac{\eta}{2}\right)\;Y_{%
\eta}}{2^{\eta+1}\pi\Gamma\left(1+\frac{\eta}{2}\right)} italic_E start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT = - divide start_ARG italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η + 2 end_POSTSUPERSCRIPT roman_Γ ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) italic_Y start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η + 1 end_POSTSUPERSCRIPT italic_π roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG
( 73 ) 73 ( 73 )
with:
Y η = ∫ 0 1 𝑑 y y F ( 1 − η 2 , − η 2 ; 1 ; y 2 ) subscript 𝑌 𝜂 superscript subscript 0 1 differential-d 𝑦 𝑦 𝐹 1 𝜂 2 𝜂 2 1 superscript 𝑦 2 Y_{\eta}=\int_{0}^{1}dy\;yF\left(1-\frac{\eta}{2},-\frac{\eta}{2};1;y^{2}\right) italic_Y start_POSTSUBSCRIPT italic_η end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT italic_d italic_y italic_y italic_F ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG , - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ; 1 ; italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT )
( 74 ) 74 ( 74 )
For the Coulomb case Y η = 1 = 4 / ( 3 π ) subscript 𝑌 𝜂 1 4 3 𝜋 Y_{\eta=1}=4/(3\pi) italic_Y start_POSTSUBSCRIPT italic_η = 1 end_POSTSUBSCRIPT = 4 / ( 3 italic_π ) , and:
E H F ( 2 ) = − 2 e 2 p F 3 3 π 2 superscript subscript 𝐸 𝐻 𝐹 2 2 superscript 𝑒 2 superscript subscript 𝑝 𝐹 3 3 superscript 𝜋 2 E_{HF}^{(2)}=-\frac{2e^{2}p_{F}^{3}}{3\pi^{2}} italic_E start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT = - divide start_ARG 2 italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG 3 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG
( 75 ) 75 ( 75 )
For the general case, using the new variable x = y 2 𝑥 superscript 𝑦 2 x=y^{2} italic_x = italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT in eq.(74), and the integral (33), the scaled Hartree-Fock energy in two dimensions becomes:
E H F N = 1 2 p F 2 2 m − A ( p F 2 ) η Γ ( 1 − η 2 ) Γ ( η ) ( 1 + η 2 ) ( η 2 ) 2 [ Γ ( η 2 ) ] 3 subscript 𝐸 𝐻 𝐹 𝑁 1 2 superscript subscript 𝑝 𝐹 2 2 𝑚 𝐴 superscript subscript 𝑝 𝐹 2 𝜂 Γ 1 𝜂 2 Γ 𝜂 1 𝜂 2 superscript 𝜂 2 2 superscript delimited-[] Γ 𝜂 2 3 \frac{E_{HF}}{N}=\frac{1}{2}\;\frac{p_{F}^{2}}{2m}-A\left(\frac{p_{F}}{2}%
\right)^{\eta}\frac{\Gamma\left(1-\frac{\eta}{2}\right)\Gamma(\eta)}{\left(1+%
\frac{\eta}{2}\right)\left(\frac{\eta}{2}\right)^{2}\left[\Gamma\left(\frac{%
\eta}{2}\right)\right]^{3}} divide start_ARG italic_E start_POSTSUBSCRIPT italic_H italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_N end_ARG = divide start_ARG 1 end_ARG start_ARG 2 end_ARG divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG - italic_A ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( italic_η ) end_ARG start_ARG ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ] start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG
( 76 ) 76 ( 76 )
The velocity of the particle, for y = p / p F < 1 𝑦 𝑝 subscript 𝑝 𝐹 1 y=p/p_{F}<1 italic_y = italic_p / italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT < 1 , is easy obtained as:
v p = p m + A p F η − 2 η Γ ( 2 − η 2 ) 2 η Γ ( 1 + η 2 ) p F ( 2 − η 2 , 1 − η 2 ; 2 ; p 2 p F 2 ) subscript 𝑣 𝑝 𝑝 𝑚 𝐴 superscript subscript 𝑝 𝐹 𝜂 2 𝜂 Γ 2 𝜂 2 superscript 2 𝜂 Γ 1 𝜂 2 𝑝 𝐹 2 𝜂 2 1 𝜂 2 2 superscript 𝑝 2 superscript subscript 𝑝 𝐹 2 v_{p}=\frac{p}{m}+Ap_{F}^{\eta-2}\frac{\eta\Gamma\left(2-\frac{\eta}{2}\right)%
}{2^{\eta}\Gamma\left(1+\frac{\eta}{2}\right)}\;p\;F\left(2-\frac{\eta}{2},1-%
\frac{\eta}{2};2;\frac{p^{2}}{p_{F}^{2}}\right) italic_v start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p end_ARG start_ARG italic_m end_ARG + italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η - 2 end_POSTSUPERSCRIPT divide start_ARG italic_η roman_Γ ( 2 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG italic_p italic_F ( 2 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG , 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ; 2 ; divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG )
( 77 ) 77 ( 77 )
For the Coulomb case it reduces to:
v p = p m + e 2 2 y F ( 3 2 , 1 2 ; 2 ; y 2 ) subscript 𝑣 𝑝 𝑝 𝑚 superscript 𝑒 2 2 𝑦 𝐹 3 2 1 2 2 superscript 𝑦 2 v_{p}=\frac{p}{m}+\frac{e^{2}}{2}\;y\;F\left(\frac{3}{2},\frac{1}{2};2;y^{2}\right) italic_v start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p end_ARG start_ARG italic_m end_ARG + divide start_ARG italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG italic_y italic_F ( divide start_ARG 3 end_ARG start_ARG 2 end_ARG , divide start_ARG 1 end_ARG start_ARG 2 end_ARG ; 2 ; italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT )
( 78 ) 78 ( 78 )
With eq.(37), and using:
π 2 F ( 1 2 , 1 2 ; 1 ; y 2 ) = K ( y ) 𝜋 2 𝐹 1 2 1 2 1 superscript 𝑦 2 𝐾 𝑦 \frac{\pi}{2}\;F\left(\frac{1}{2},\frac{1}{2};1;y^{2}\right)=K(y) divide start_ARG italic_π end_ARG start_ARG 2 end_ARG italic_F ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG , divide start_ARG 1 end_ARG start_ARG 2 end_ARG ; 1 ; italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) = italic_K ( italic_y )
( 79 ) 79 ( 79 )
v p subscript 𝑣 𝑝 v_{p} italic_v start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT is rewritten as:
v p = p m + 2 e 2 π y [ K ( y ) − E ( y ) ] subscript 𝑣 𝑝 𝑝 𝑚 2 superscript 𝑒 2 𝜋 𝑦 delimited-[] 𝐾 𝑦 𝐸 𝑦 v_{p}=\frac{p}{m}+\frac{2e^{2}}{\pi y}\left[K(y)-E(y)\right] italic_v start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p end_ARG start_ARG italic_m end_ARG + divide start_ARG 2 italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π italic_y end_ARG [ italic_K ( italic_y ) - italic_E ( italic_y ) ]
( 80 ) 80 ( 80 )
For the case y = p / p F > 1 𝑦 𝑝 subscript 𝑝 𝐹 1 y=p/p_{F}>1 italic_y = italic_p / italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT > 1 the velocity will be:
v p = p m + 2 A p F η − 1 Γ ( 2 − η 2 ) 2 η Γ ( η 2 ) ( p F p ) 3 − η × v_{p}=\frac{p}{m}+2Ap_{F}^{\eta-1}\frac{\Gamma\left(2-\frac{\eta}{2}\right)}{2%
^{\eta}\Gamma\left(\frac{\eta}{2}\right)}\left(\frac{p_{F}}{p}\right)^{3-\eta}\times italic_v start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p end_ARG start_ARG italic_m end_ARG + 2 italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η - 1 end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( 2 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_p end_ARG ) start_POSTSUPERSCRIPT 3 - italic_η end_POSTSUPERSCRIPT ×
× { F ( 1 − η 2 , 1 − η 2 ; 2 ; p F 2 p 2 ) + 1 2 ( 1 − η 2 ) ( p F p ) 2 F ( 2 − η 2 , 2 − η 2 ; 3 ; p F 2 p 2 ) } absent 𝐹 1 𝜂 2 1 𝜂 2 2 superscript subscript 𝑝 𝐹 2 superscript 𝑝 2 1 2 1 𝜂 2 superscript subscript 𝑝 𝐹 𝑝 2 𝐹 2 𝜂 2 2 𝜂 2 3 superscript subscript 𝑝 𝐹 2 superscript 𝑝 2 \times\left\{F\left(1-\frac{\eta}{2},1-\frac{\eta}{2};2;\frac{p_{F}^{2}}{p^{2}%
}\right)+\frac{1}{2}\left(1-\frac{\eta}{2}\right)\left(\frac{p_{F}}{p}\right)^%
{2}F\left(2-\frac{\eta}{2},2-\frac{\eta}{2};3;\frac{p_{F}^{2}}{p^{2}}\right)\right\} × { italic_F ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG , 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ; 2 ; divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_p end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F ( 2 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG , 2 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ; 3 ; divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) }
( 81 ) 81 ( 81 )
For the Coulomb case, using again eq.(37), the velocity will be:
v p = p m + 2 e 2 π [ K ( 1 y ) − E ( 1 y ) ] subscript 𝑣 𝑝 𝑝 𝑚 2 superscript 𝑒 2 𝜋 delimited-[] 𝐾 1 𝑦 𝐸 1 𝑦 v_{p}=\frac{p}{m}+\frac{2e^{2}}{\pi}\left[K\left(\frac{1}{y}\right)-E\left(%
\frac{1}{y}\right)\right] italic_v start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = divide start_ARG italic_p end_ARG start_ARG italic_m end_ARG + divide start_ARG 2 italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_π end_ARG [ italic_K ( divide start_ARG 1 end_ARG start_ARG italic_y end_ARG ) - italic_E ( divide start_ARG 1 end_ARG start_ARG italic_y end_ARG ) ]
( 82 ) 82 ( 82 )
Both velocities, in the Coulomb case, diverges at p = p F 𝑝 subscript 𝑝 𝐹 p=p_{F} italic_p = italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT .
Now we will approximate the velocities for p 𝑝 p italic_p close to the Fermi momentum p F subscript 𝑝 𝐹 p_{F} italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT . In a similar way as in 3 D 3 𝐷 3D 3 italic_D case, for p → p F → 𝑝 subscript 𝑝 𝐹 p\rightarrow p_{F} italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , p < p F 𝑝 subscript 𝑝 𝐹 p<p_{F} italic_p < italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , we obtain:
v p → p F ≃ p F m + A p F η − 1 η Γ ( 2 − η 2 ) 2 η Γ ( 1 + η 2 ) × v_{p\rightarrow p_{F}}\simeq\frac{p_{F}}{m}+Ap_{F}^{\eta-1}\frac{\eta\Gamma%
\left(2-\frac{\eta}{2}\right)}{2^{\eta}\Gamma\left(1+\frac{\eta}{2}\right)}\times italic_v start_POSTSUBSCRIPT italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≃ divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_m end_ARG + italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η - 1 end_POSTSUPERSCRIPT divide start_ARG italic_η roman_Γ ( 2 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG ×
× { Γ ( − 1 + η ) Γ ( η 2 ) Γ ( 1 + η 2 ) 𝒯 1 + ( 1 − y 2 ) − 1 + η Γ ( 1 − η ) Γ ( 2 − η 2 ) Γ ( 1 − η 2 ) 𝒯 2 } absent Γ 1 𝜂 Γ 𝜂 2 Γ 1 𝜂 2 subscript 𝒯 1 superscript 1 superscript 𝑦 2 1 𝜂 Γ 1 𝜂 Γ 2 𝜂 2 Γ 1 𝜂 2 subscript 𝒯 2 \times\left\{\frac{\Gamma(-1+\eta)}{\Gamma\left(\frac{\eta}{2}\right)\Gamma%
\left(1+\frac{\eta}{2}\right)}{\cal{T}}_{1}+\left(1-y^{2}\right)^{-1+\eta}%
\frac{\Gamma(1-\eta)}{\Gamma\left(2-\frac{\eta}{2}\right)\Gamma\left(1-\frac{%
\eta}{2}\right)}{\cal{T}}_{2}\right\} × { divide start_ARG roman_Γ ( - 1 + italic_η ) end_ARG start_ARG roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG caligraphic_T start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + ( 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 + italic_η end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( 1 - italic_η ) end_ARG start_ARG roman_Γ ( 2 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG caligraphic_T start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT }
( 83 ) 83 ( 83 )
where:
𝒯 1 ≃ 1 + 4 − η 4 ( 1 − y 2 ) similar-to-or-equals subscript 𝒯 1 1 4 𝜂 4 1 superscript 𝑦 2 {\cal{T}}_{1}\simeq 1+\frac{4-\eta}{4}\left(1-y^{2}\right) caligraphic_T start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≃ 1 + divide start_ARG 4 - italic_η end_ARG start_ARG 4 end_ARG ( 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT )
( 84 ) 84 ( 84 )
and:
𝒯 2 ≃ 1 + 2 + η 4 ( 1 − y 2 ) similar-to-or-equals subscript 𝒯 2 1 2 𝜂 4 1 superscript 𝑦 2 {\cal{T}}_{2}\simeq 1+\frac{2+\eta}{4}\left(1-y^{2}\right) caligraphic_T start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≃ 1 + divide start_ARG 2 + italic_η end_ARG start_ARG 4 end_ARG ( 1 - italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT )
( 85 ) 85 ( 85 )
For η > 1 𝜂 1 \eta>1 italic_η > 1 , at the Fermi momentum, the velocity is given by:
v p = p F = p F 2 { 2 m + A ( p F 2 ) η − 2 2 η Γ ( 2 − η 2 ) Γ ( − 1 + η ) [ Γ ( η 2 ) ] 3 } subscript 𝑣 𝑝 subscript 𝑝 𝐹 subscript 𝑝 𝐹 2 2 𝑚 𝐴 superscript subscript 𝑝 𝐹 2 𝜂 2 2 𝜂 Γ 2 𝜂 2 Γ 1 𝜂 superscript delimited-[] Γ 𝜂 2 3 v_{p=p_{F}}=\frac{p_{F}}{2}\left\{\frac{2}{m}+A\left(\frac{p_{F}}{2}\right)^{%
\eta-2}\frac{2}{\eta}\;\frac{\Gamma\left(2-\frac{\eta}{2}\right)\Gamma(-1+\eta%
)}{\left[\Gamma\left(\frac{\eta}{2}\right)\right]^{3}}\right\} italic_v start_POSTSUBSCRIPT italic_p = italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUBSCRIPT = divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG { divide start_ARG 2 end_ARG start_ARG italic_m end_ARG + italic_A ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT italic_η - 2 end_POSTSUPERSCRIPT divide start_ARG 2 end_ARG start_ARG italic_η end_ARG divide start_ARG roman_Γ ( 2 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( - 1 + italic_η ) end_ARG start_ARG [ roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ] start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG }
( 86 ) 86 ( 86 )
For η < 1 𝜂 1 \eta<1 italic_η < 1 , keeping the dominant term, close to the Fermi momentum, the velocity will be:
v p → p F ≃ A Γ ( 1 − η ) π ( p F 2 ) η − 1 ( 1 − p 2 p F 2 ) − 1 + η sin ( π η 2 ) similar-to-or-equals subscript 𝑣 → 𝑝 subscript 𝑝 𝐹 𝐴 Γ 1 𝜂 𝜋 superscript subscript 𝑝 𝐹 2 𝜂 1 superscript 1 superscript 𝑝 2 superscript subscript 𝑝 𝐹 2 1 𝜂 𝜋 𝜂 2 v_{p\rightarrow p_{F}}\simeq\frac{A\Gamma(1-\eta)}{\pi}\left(\frac{p_{F}}{2}%
\right)^{\eta-1}\left(1-\frac{p^{2}}{p_{F}^{2}}\right)^{-1+\eta}\sin\left(%
\frac{\pi\eta}{2}\right) italic_v start_POSTSUBSCRIPT italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≃ divide start_ARG italic_A roman_Γ ( 1 - italic_η ) end_ARG start_ARG italic_π end_ARG ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT italic_η - 1 end_POSTSUPERSCRIPT ( 1 - divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT - 1 + italic_η end_POSTSUPERSCRIPT roman_sin ( divide start_ARG italic_π italic_η end_ARG start_ARG 2 end_ARG )
( 87 ) 87 ( 87 )
On the opposite side, for p → p F → 𝑝 subscript 𝑝 𝐹 p\rightarrow p_{F} italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , p > p F 𝑝 subscript 𝑝 𝐹 p>p_{F} italic_p > italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT , the velocity is approximated as:
v p → p F ≃ p F m + 2 A p F η − 1 Γ ( 2 − η 2 ) 2 η Γ ( η 2 ) × v_{p\rightarrow p_{F}}\simeq\frac{p_{F}}{m}+2Ap_{F}^{\eta-1}\frac{\Gamma\left(%
2-\frac{\eta}{2}\right)}{2^{\eta}\Gamma\left(\frac{\eta}{2}\right)}\times italic_v start_POSTSUBSCRIPT italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≃ divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG italic_m end_ARG + 2 italic_A italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_η - 1 end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( 2 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG start_ARG 2 start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) end_ARG ×
× { Γ ( η ) [ Γ ( 1 + η 2 ) ] 2 𝒵 1 + ( 1 − 1 y 2 ) η Γ ( − η ) [ Γ ( 1 − η 2 ) ] 2 𝒵 2 + \times\left\{\frac{\Gamma(\eta)}{\left[\Gamma\left(1+\frac{\eta}{2}\right)%
\right]^{2}}{\cal{Z}}_{1}+\left(1-\frac{1}{y^{2}}\right)^{\eta}\frac{\Gamma(-%
\eta)}{\left[\Gamma\left(1-\frac{\eta}{2}\right)\right]^{2}}{\cal{Z}}_{2}+\right. × { divide start_ARG roman_Γ ( italic_η ) end_ARG start_ARG [ roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG caligraphic_Z start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT italic_η end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( - italic_η ) end_ARG start_ARG [ roman_Γ ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG caligraphic_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT +
+ 1 2 ( 1 − η 2 ) [ 2 Γ ( − 1 + η ) [ Γ ( 1 + η 2 ) ] 2 ℋ 1 + ( 1 − 1 y 2 ) − 1 + η 2 Γ ( 1 − η ) [ Γ ( 2 − η 2 ) ] 2 ℋ 2 ] } \left.+\frac{1}{2}\left(1-\frac{\eta}{2}\right)\left[\frac{2\Gamma(-1+\eta)}{%
\left[\Gamma\left(1+\frac{\eta}{2}\right)\right]^{2}}{\cal{H}}_{1}+\left(1-%
\frac{1}{y^{2}}\right)^{-1+\eta}\frac{2\Gamma(1-\eta)}{\left[\Gamma\left(2-%
\frac{\eta}{2}\right)\right]^{2}}{\cal{H}}_{2}\right]\right\} + divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( 1 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) [ divide start_ARG 2 roman_Γ ( - 1 + italic_η ) end_ARG start_ARG [ roman_Γ ( 1 + divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG caligraphic_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT - 1 + italic_η end_POSTSUPERSCRIPT divide start_ARG 2 roman_Γ ( 1 - italic_η ) end_ARG start_ARG [ roman_Γ ( 2 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG caligraphic_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ] }
( 88 ) 88 ( 88 )
with:
𝒵 1 , 2 ≃ 1 + ( 2 ∓ η ) 2 4 ( 1 ∓ η ) ( 1 − 1 y 2 ) similar-to-or-equals subscript 𝒵 1 2
1 superscript minus-or-plus 2 𝜂 2 4 minus-or-plus 1 𝜂 1 1 superscript 𝑦 2 {\cal{Z}}_{1,2}\simeq 1+\frac{(2\mp\eta)^{2}}{4(1\mp\eta)}\left(1-\frac{1}{y^{%
2}}\right) caligraphic_Z start_POSTSUBSCRIPT 1 , 2 end_POSTSUBSCRIPT ≃ 1 + divide start_ARG ( 2 ∓ italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 ( 1 ∓ italic_η ) end_ARG ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG )
( 89 ) 89 ( 89 )
and:
ℋ 1 ≃ 1 + ( 4 − η ) 2 4 ( 2 − η ) ( 1 − 1 y 2 ) similar-to-or-equals subscript ℋ 1 1 superscript 4 𝜂 2 4 2 𝜂 1 1 superscript 𝑦 2 {\cal{H}}_{1}\simeq 1+\frac{(4-\eta)^{2}}{4(2-\eta)}\left(1-\frac{1}{y^{2}}\right) caligraphic_H start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ≃ 1 + divide start_ARG ( 4 - italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 ( 2 - italic_η ) end_ARG ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG )
( 90 ) 90 ( 90 )
ℋ 2 ≃ 1 + ( 2 + η ) 2 4 η ( 1 − 1 y 2 ) similar-to-or-equals subscript ℋ 2 1 superscript 2 𝜂 2 4 𝜂 1 1 superscript 𝑦 2 {\cal{H}}_{2}\simeq 1+\frac{(2+\eta)^{2}}{4\eta}\left(1-\frac{1}{y^{2}}\right) caligraphic_H start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≃ 1 + divide start_ARG ( 2 + italic_η ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_η end_ARG ( 1 - divide start_ARG 1 end_ARG start_ARG italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG )
( 91 ) 91 ( 91 )
In this case, for η > 1 𝜂 1 \eta>1 italic_η > 1 , and at the Fermi momentum, we reobtain the result given by eq.(86), and for η < 1 𝜂 1 \eta<1 italic_η < 1 the result is:
v p → p F ≃ A Γ ( 1 − η ) π ( p F 2 ) η − 1 ( 1 − p F 2 p 2 ) − 1 + η sin ( π η 2 ) similar-to-or-equals subscript 𝑣 → 𝑝 subscript 𝑝 𝐹 𝐴 Γ 1 𝜂 𝜋 superscript subscript 𝑝 𝐹 2 𝜂 1 superscript 1 superscript subscript 𝑝 𝐹 2 superscript 𝑝 2 1 𝜂 𝜋 𝜂 2 v_{p\rightarrow p_{F}}\simeq\frac{A\Gamma(1-\eta)}{\pi}\left(\frac{p_{F}}{2}%
\right)^{\eta-1}\left(1-\frac{p_{F}^{2}}{p^{2}}\right)^{-1+\eta}\sin\left(%
\frac{\pi\eta}{2}\right) italic_v start_POSTSUBSCRIPT italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_POSTSUBSCRIPT ≃ divide start_ARG italic_A roman_Γ ( 1 - italic_η ) end_ARG start_ARG italic_π end_ARG ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT italic_η - 1 end_POSTSUPERSCRIPT ( 1 - divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT - 1 + italic_η end_POSTSUPERSCRIPT roman_sin ( divide start_ARG italic_π italic_η end_ARG start_ARG 2 end_ARG )
( 92 ) 92 ( 92 )
Using these results one can calculate the 2 D 2 𝐷 2D 2 italic_D density of states N ( p ) 𝑁 𝑝 N(p) italic_N ( italic_p ) given by:
N ( p ) = p π | v p | 𝑁 𝑝 𝑝 𝜋 subscript 𝑣 𝑝 N(p)=\frac{p}{\pi\left|v_{p}\right|} italic_N ( italic_p ) = divide start_ARG italic_p end_ARG start_ARG italic_π | italic_v start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT | end_ARG
( 93 ) 93 ( 93 )
For η > 1 𝜂 1 \eta>1 italic_η > 1 the non-zero density of states at the Fermi momentum is:
N ( p F ) = 1 π { 1 m + A ( p F 2 ) η − 2 Γ ( 2 − η 2 ) Γ ( − 1 + η ) η [ Γ ( η 2 ) ] 3 } 𝑁 subscript 𝑝 𝐹 1 𝜋 1 𝑚 𝐴 superscript subscript 𝑝 𝐹 2 𝜂 2 Γ 2 𝜂 2 Γ 1 𝜂 𝜂 superscript delimited-[] Γ 𝜂 2 3 N(p_{F})=\frac{1}{\pi\left\{\frac{1}{m}+A\left(\frac{p_{F}}{2}\right)^{\eta-2}%
\frac{\Gamma\left(2-\frac{\eta}{2}\right)\Gamma(-1+\eta)}{\eta\left[\Gamma%
\left(\frac{\eta}{2}\right)\right]^{3}}\right\}} italic_N ( italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ) = divide start_ARG 1 end_ARG start_ARG italic_π { divide start_ARG 1 end_ARG start_ARG italic_m end_ARG + italic_A ( divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG ) start_POSTSUPERSCRIPT italic_η - 2 end_POSTSUPERSCRIPT divide start_ARG roman_Γ ( 2 - divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) roman_Γ ( - 1 + italic_η ) end_ARG start_ARG italic_η [ roman_Γ ( divide start_ARG italic_η end_ARG start_ARG 2 end_ARG ) ] start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG } end_ARG
( 94 ) 94 ( 94 )
For η < 1 𝜂 1 \eta<1 italic_η < 1 , close to the Fermi momentum, the density of states is given by:
N ( p → p F ) ≃ 2 η − 1 A Γ ( 1 − η ) | sin ( π η 2 ) | p F 2 − η × { ( 1 − p 2 p F 2 ) 1 − η ; p < p F ( 1 − p F 2 p 2 ) 1 − η ; p > p F similar-to-or-equals 𝑁 → 𝑝 subscript 𝑝 𝐹 superscript 2 𝜂 1 𝐴 Γ 1 𝜂 𝜋 𝜂 2 superscript subscript 𝑝 𝐹 2 𝜂 cases superscript 1 superscript 𝑝 2 superscript subscript 𝑝 𝐹 2 1 𝜂 ; p < p F superscript 1 superscript subscript 𝑝 𝐹 2 superscript 𝑝 2 1 𝜂 ; p > p F N\left(p\rightarrow p_{F}\right)\simeq\frac{2^{\eta-1}}{A\Gamma(1-\eta)\left|%
\sin\left(\frac{\pi\eta}{2}\right)\right|}\;p_{F}^{2-\eta}\times\left\{\begin{%
array}[]{ll}\left(1-\frac{p^{2}}{p_{F}^{2}}\right)^{1-\eta}&\mbox{; $p<p_{F}$}%
\\
\left(1-\frac{p_{F}^{2}}{p^{2}}\right)^{1-\eta}&\mbox{; $p>p_{F}$}\end{array}\right. italic_N ( italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT ) ≃ divide start_ARG 2 start_POSTSUPERSCRIPT italic_η - 1 end_POSTSUPERSCRIPT end_ARG start_ARG italic_A roman_Γ ( 1 - italic_η ) | roman_sin ( divide start_ARG italic_π italic_η end_ARG start_ARG 2 end_ARG ) | end_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 - italic_η end_POSTSUPERSCRIPT × { start_ARRAY start_ROW start_CELL ( 1 - divide start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 1 - italic_η end_POSTSUPERSCRIPT end_CELL start_CELL ; italic_p < italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL ( 1 - divide start_ARG italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_p start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) start_POSTSUPERSCRIPT 1 - italic_η end_POSTSUPERSCRIPT end_CELL start_CELL ; italic_p > italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY
( 95 ) 95 ( 95 )
In the case of the sub-Coulomb interaction (η > 1 𝜂 1 \eta>1 italic_η > 1 ) the density of states at the Fermi momentum is non-zero and lower than the free electrons case.
On the other hand, in the case of the super-long type interaction (η < 1 𝜂 1 \eta<1 italic_η < 1 ), the density of states is zero at the Fermi momentum, as in the three-dimensional case,
the momentum dependence close to the Fermi momentum being also of the power function type but with a different coefficient.
In this section we discuss the exact analytical results obtained for a system of interacting fermions through a non-Coulomb type interaction.
The analysis was done for both three-dimensional and two-dimensional systems. The interaction between the particles was modeled by a distance dependent
potential of the form r − η superscript 𝑟 𝜂 r^{-\eta} italic_r start_POSTSUPERSCRIPT - italic_η end_POSTSUPERSCRIPT , for η < 1 𝜂 1 \eta<1 italic_η < 1 having the super-long range type potential, and for η > 1 𝜂 1 \eta>1 italic_η > 1 the sub-Coulomb type potential. For η = 1 𝜂 1 \eta=1 italic_η = 1 we have the
Coulomb case , and the well-known results from this case were reobtained, as particular cases, for both the three-dimensional and for the two-dimensional case.
We established general relations for the energy of the particle in the presence of interaction, for the Hartree-Fock ground states energy of the system, as well as
for the momentum dependent density of states. The density of states, which is a central quantity in statistical physics and in condensed matter, was determined as a function
of momentum and then its expression was approximated in the vicinity of the Fermi momentum. In the case of the super-long range type interaction the density of states is zero
at the Fermi momentum in both the three and two dimensions. Unlike the Coulomb case, where in the vicinity of the Fermi momentum the momentum dependence of the density of states
is logarithmic, in the non-Coulomb case, for η < 1 𝜂 1 \eta<1 italic_η < 1 , it is of the power function type. However, even in this case the results are unrealistic as long as the screening effects of
the interaction are neglected. On the other hand, the sub-Coulomb case (η > 1 𝜂 1 \eta>1 italic_η > 1 ), where the interactions have a shorter range of action, approaches (but not as an analytical expression)
to the case of screened interaction. In this case the density of states at the Fermi momentum is non-zero but lower than the free particles case.
However, the results
obtained in this paper, even if they are somewhat unrealistic without screening, they are an extension of the well-known Coulomb case, and could be a platform for future investigations, such
as plasmon collective oscillations in condensed matter [26-34], Friedel oscillations [35-41], and other important properties from condensed matter physics.
[1] S.M.Girvin, K.Yang, Modern Condensed Matter Physics , Cambridge Univ.
[2] M.L.Cohen, S.G.Louie, Fundamentals of Condensed Matter Physics ,
Cambridge Univ.Press, (2016)
[3] D.Pines, P.Nozieres, The Theory of Quantum Liquids , W.A.Benjamin,
[4] P.Phillips, Advanced Solid State Physics , Cambridge Univ.Press,
(2014)
[5] G.F.Giuliani, G.Vignale, Quantum Theory of the Electron Liquid ,
Cambridge Univ.Press, (2005)
[6] I.Ia.Pomeranchuk, Soviet Physics JETP 35, 524, (1958)
[7] V.A.Khodel, V.R.Shaginyan, V.V.Khodel, Physics Reports 249, 1, (1994)
[8] J.Quintanilla, M.Haque, A.J.Schofield, Phys.Rev.B 78, 035131, (2008)
[9] O.Ciftja, Physica B 458, 92, (2015)
[10] S.Hong, G.D.Mahan, Phys.Rev.B 52, 7860, (1995)
[11] N.Defenu, A.Lerose, S.Pappalardi, Phys.Reports 1074, 1, (2024)
[12] L.Radzihovski, J.Toner, arXiv:2401.04761
[13] L.N.Carenza, J-M.Armengol-Collado, D.Krommydas, L.Giomi,
[14] A.M.Gabovich, M.S.Li, H.Szymczak, A.I.Voitenko, Journal of Electrostatics
[15] J.Stafiej, D.di Caprio, J.P.Badiali, J.Chem.Phys.109, 3607, (1998)
[16] L.Zhang, H.Wang, M.C.Muniz, A.Z.Panagiotopoulas, R.Car, E.Weinan,
J.Chem.Phys.156, 124107, (2022)
[17] R.Vangara, K.Stoltzfus, M.R.York, F.van Swol, D.P.Petsev, Mater.Res.
Express 6, 086331, (2019)
[18] P.A.Bares, X.-G.Wen, Phys.Rev.B 48, 8636, (1993)
[19] A.Campa, T.Dauxois, S.Ruffo, Phys.Reports 480, 57, (2009)
[20] N.Defenu, T.Donner, T.Macri, G.Pagano, S.Ruffo, A.Trombettoni,
Rev.Mod.Phys.95, 035002, (2023)
[21] D.Laghi, T.Macri, A.Trombettoni, Phys.Rev.A 96, 043605, (2017)
[22] P.R.Wallace, Mathematical Analysis of Physical Problems , Dover,
[23] I.S.Gradshteyn, I.M.Ryzhik, Table of Integrals, Series, and Products ,
[24] P.C.Consul, Bulletins de l’Academie Royale Belgique 52, 562, (1966)
[25] A.V.Chaplik, Soviet Physics JETP 33, 997, (1971)
[26] J.Zhang, L.Zhang, W.Xu, J.Phys.D: Appl.Phys.45, 113001, (2012)
[27] I.Grosu, L.Tugulan, Physics E 40, 474, (2008)
[28] O.Pluchery, J.-F.Bryche, An Introduction to Plasmonics ,
World
[29] S.Das Sarma, W.-Y.Lai, Phys.Rev.B 32, 1401(R), (1985)
[30] S.Das Sarma, E.H.Hwang, Phys.Rev.B 54, 1936, (1996)
[31] B.Diaconescu, K.Pohl, L.Vattieone, L.Savio, P.Hofmann, V.M.Silkin,
J.M.Pitarke, E.V.Chulkov, P.M.Echenique, D.Farias, M.Rocca,
[32] J.M.Pitarke, V.M.Silkin, E.V.Chulkov, P.M.Echenique, Rep.Prog.Phys.70,
[33] M.S.Tame, K.R.McEnery, Ş.K.Özdemir, J.Lee, S.A.Maier, M.S.Kim,
Nature Physics 9, 329, (2013)
[34] E.H.Hwang, R.E.Throckmorton, S.Das Sarma, Phys.Rev.B 98, 195140, (2018)
[35] G.E.Simion, G.F.Giuliani, Phys.Rev.B 72, 045127, (2005)
[36] I.Grosu, L.Tugulan, J.Supercond.Nov.Magn.21, 65, (2008)
[37] C.Bena, Comptes Rendus Physique 17, 302, (2016)
[38] C.-Y.Lin, C.-W.Chiu, Scientific Reports 14, 13792, (2024)
[39] C.Dutreix, M.I.Katsnelson, Phys.Rev.B 93, 035413, (2016)
[40] T.Farajallahpour, S.Khamouei, S.S.Shateri, A.Phirouznia, Scientific
[41] E.G.Dalla Tore, D.Benjamin, Y.He, D.Dentelski, E.Demler, Phys.Rev.B 93,