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

I. Introduction

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𝑁Nitalic_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 ck,σsubscriptsuperscript𝑐𝑘𝜎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 Vqsubscript𝑉𝑞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𝑘kitalic_k-momentum and σ𝜎\sigmaitalic_σ-spin, (k,σ𝑘𝜎\vec{k},\sigmaover→ start_ARG italic_k end_ARG , italic_σ), is coupled with the motion of two particles and a hole, described by a c1c2c3subscriptsuperscript𝑐1subscriptsuperscript𝑐2subscript𝑐3c^{\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}=0over→ start_ARG italic_q end_ARG = 0 (i.e. neglecting the density fluctuations) and replace the product ccsuperscript𝑐𝑐c^{\dagger}citalic_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 c1c2c3c1c2c3c2c1c3subscriptsuperscript𝑐1subscriptsuperscript𝑐2subscript𝑐3subscriptsuperscript𝑐1delimited-⟨⟩subscriptsuperscript𝑐2subscript𝑐3subscriptsuperscript𝑐2delimited-⟨⟩subscriptsuperscript𝑐1subscript𝑐3c^{\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<21𝑑21<d<21 < 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 H4esuperscript𝐻4𝑒{}^{4}Hestart_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=1italic_η = 1.

II. Model

A. The three-dimensional system

First we will analyze the three-dimensional (3D) case with the Fourier transform of the interacting potential given by:

Vpk=d3rV(r)ei(pk)rsubscript𝑉𝑝𝑘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

Refer to caption
Figure 1: Geometry for 3D3𝐷3D3 italic_D integration

From this, eq.(1) becomes:

Vpk=d3rV(r)eiprcosθeikrcosγ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:

eikrcosα=l=0il(2l+1)Pl(cosα)jl(kr)superscript𝑒𝑖𝑘𝑟𝛼superscriptsubscript𝑙0superscript𝑖𝑙2𝑙1subscript𝑃𝑙𝛼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 Pl(x)subscript𝑃𝑙𝑥P_{l}(x)italic_P start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_x ) are Legendre polynomials and jl(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]:

Pl(cosγ)=Pl(cosθ)Pl(cosθ)+2m=1l(lm)!(l+m)!Plm(cosθ)Plm(cosθ)cos[m(φφ)]subscript𝑃superscript𝑙𝛾subscript𝑃superscript𝑙𝜃subscript𝑃superscript𝑙superscript𝜃2superscriptsubscript𝑚1superscript𝑙superscript𝑙𝑚superscript𝑙𝑚superscriptsubscript𝑃superscript𝑙𝑚𝜃superscriptsubscript𝑃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 )

(Plm(x)superscriptsubscript𝑃𝑙𝑚𝑥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θPl(cosθ)Pl(cosθ)=22l+1δl,lsuperscriptsubscript0𝜋differential-d𝜃𝜃subscript𝑃𝑙𝜃subscript𝑃superscript𝑙𝜃22𝑙1subscript𝛿𝑙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,lsubscript𝛿𝑙superscript𝑙\delta_{l,l^{\prime}}italic_δ start_POSTSUBSCRIPT italic_l , italic_l start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT - is the Kronecker delta), one obtains:

Vpk=l=0Vl(p,k)Pl(cosθ)subscript𝑉𝑝𝑘superscriptsubscript𝑙0subscript𝑉𝑙𝑝𝑘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:

Vl(p,k)=4π(2l+1)0𝑑rr2V(r)jl(pr)jl(kr)subscript𝑉𝑙𝑝𝑘4𝜋2𝑙1superscriptsubscript0differential-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 (=1Planck-constant-over-2-pi1\hbar=1roman_ℏ = 1) [4,5]:

εp=p22md3k(2π)3Vpksubscript𝜀𝑝superscript𝑝22𝑚superscript𝑑3𝑘superscript2𝜋3subscript𝑉𝑝𝑘\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=p22m1(2π)20pF0π𝑑kk2sinθdθl=0Vl(p,k)Pl(cosθ)subscript𝜀𝑝superscript𝑝22𝑚1superscript2𝜋2superscriptsubscript0subscript𝑝𝐹superscriptsubscript0𝜋differential-d𝑘superscript𝑘2superscript𝜃𝑑superscript𝜃superscriptsubscript𝑙0subscript𝑉𝑙𝑝𝑘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:

11𝑑xxmPn(x)=0superscriptsubscript11differential-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<nitalic_m < italic_n, the electron energy becomes:

εp=p22m12π20pF𝑑kk2V0(p,k)subscript𝜀𝑝superscript𝑝22𝑚12superscript𝜋2superscriptsubscript0subscript𝑝𝐹differential-d𝑘superscript𝑘2subscript𝑉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 pFsubscript𝑝𝐹p_{F}italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT - is the Fermi momentum. With (7), eq.(11) is rewritten as:

εp=p22m2π0pF𝑑kk20𝑑rr2V(r)j0(pr)j0(kr)subscript𝜀𝑝superscript𝑝22𝑚2𝜋superscriptsubscript0subscript𝑝𝐹differential-d𝑘superscript𝑘2superscriptsubscript0differential-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)=π2zJν+12(z)subscript𝑗𝜈𝑧𝜋2𝑧subscript𝐽𝜈12𝑧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 εpsubscript𝜀𝑝\varepsilon_{p}italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT energy will be:

εp=p22m1p0𝑑rrV(r)J12(pr)0pF𝑑kk3/2J12(kr)subscript𝜀𝑝superscript𝑝22𝑚1𝑝superscriptsubscript0differential-d𝑟𝑟𝑉𝑟subscript𝐽12𝑝𝑟superscriptsubscript0subscript𝑝𝐹differential-d𝑘superscript𝑘32subscript𝐽12𝑘𝑟\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=p22mpFpFp0𝑑rV(r)J12(pr)J32(pFr)subscript𝜀𝑝superscript𝑝22𝑚subscript𝑝𝐹subscript𝑝𝐹𝑝superscriptsubscript0differential-d𝑟𝑉𝑟subscript𝐽12𝑝𝑟subscript𝐽32subscript𝑝𝐹𝑟\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 εpsubscript𝜀𝑝\varepsilon_{p}italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT for the non-Coulomb interaction described by the potential:

V(r)=Arη𝑉𝑟𝐴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𝐴Aitalic_A is a coefficient whose dimensionality is linked to the number η𝜂\etaitalic_η, in order to preserve the dimensionality of the potential energy. η𝜂\etaitalic_η is a number that models the non-Coulomb character of the interaction. For 0<η<10𝜂10<\eta<10 < italic_η < 1 the interaction is of the super long-range type, and for η>1𝜂1\eta>1italic_η > 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 ditalic_η ≤ italic_d, where d𝑑ditalic_d is the space dimension, with the Fourier transform of the interaction Vq|q|ηdsimilar-tosubscript𝑉𝑞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𝑑3d=3italic_d = 3 and d=2𝑑2d=2italic_d = 2. Using eq.(16), the notation y=p/pF𝑦𝑝subscript𝑝𝐹y=p/p_{F}italic_y = italic_p / italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, and the new variable z=pFr𝑧subscript𝑝𝐹𝑟z=p_{F}ritalic_z = italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r, the εpsubscript𝜀𝑝\varepsilon_{p}italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT energy becomes:

εp=p22mApFη1y0𝑑zzηJ12(yz)J32(z)subscript𝜀𝑝superscript𝑝22𝑚𝐴superscriptsubscript𝑝𝐹𝜂1𝑦superscriptsubscript0differential-d𝑧superscript𝑧𝜂subscript𝐽12𝑦𝑧subscript𝐽32𝑧\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=p22mApFη{Γ(3η2)2ηΓ(12)Γ(1+η2)F(3η2,η2;32;y2)y<1Γ(η)Γ(3η2)2ηΓ(η2)Γ(1+η2)Γ(3+η2)y=1Γ(3η2)2ηy3ηΓ(52)Γ(η2)F(3η2,1η2;52;1y2)y>1subscript𝜀𝑝superscript𝑝22𝑚𝐴superscriptsubscript𝑝𝐹𝜂casesΓ3𝜂2superscript2𝜂Γ12Γ1𝜂2𝐹3𝜂2𝜂232superscript𝑦2y<1missing-subexpressionΓ𝜂Γ3𝜂2superscript2𝜂Γ𝜂2Γ1𝜂2Γ3𝜂2y=1missing-subexpressionΓ3𝜂2superscript2𝜂superscript𝑦3𝜂Γ52Γ𝜂2𝐹3𝜂21𝜂2521superscript𝑦2y>1missing-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<η<30𝜂30<\eta<30 < 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 εpsubscript𝜀𝑝\varepsilon_{p}italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT energy for both cases, η<1𝜂1\eta<1italic_η < 1 and η>1𝜂1\eta>1italic_η > 1.

Refer to caption
Figure 2: Qualitative dependence of the particle energy, for η<1𝜂1\eta<1italic_η < 1 and for η>1𝜂1\eta>1italic_η > 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 εpsubscript𝜀𝑝\varepsilon_{p}italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT energy for p𝑝pitalic_p close to the Fermi momentum pFsubscript𝑝𝐹p_{F}italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT. For the case ppF;p<pFformulae-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;1z)+𝐹𝛼𝛽𝛾𝑧limit-fromΓ𝛾Γ𝛾𝛼𝛽Γ𝛾𝛼Γ𝛾𝛽𝐹𝛼𝛽𝛼𝛽𝛾11𝑧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 ) +
+(1z)γαβΓ(γ)Γ(α+βγ)Γ(α)Γ(β)F(γα,γβ;γαβ+1;1z)superscript1𝑧𝛾𝛼𝛽Γ𝛾Γ𝛼𝛽𝛾Γ𝛼Γ𝛽𝐹𝛾𝛼𝛾𝛽𝛾𝛼𝛽11𝑧+(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:

εppF22mApFηΓ(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)}\timesitalic_ε 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+(1y2)ηΓ(η)Γ(3η2)Γ(η2)2}absentΓ𝜂Γ𝜂2Γ3𝜂2subscript1superscript1superscript𝑦2𝜂Γ𝜂Γ3𝜂2Γ𝜂2subscript2\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,21η(3η)4(1η)(1y2)similar-to-or-equalssubscript12minus-or-plus1𝜂minus-or-plus3𝜂4minus-or-plus1𝜂1superscript𝑦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𝑦1y=1italic_y = 1 (p=pF𝑝subscript𝑝𝐹p=p_{F}italic_p = italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT) is easily obtained because 1=2=1subscript1subscript21{\cal{F}}_{1}={\cal{F}}_{2}=1caligraphic_F start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = caligraphic_F start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 1, and (1y2)η=0superscript1superscript𝑦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 ppF𝑝subscript𝑝𝐹p\rightarrow p_{F}italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, p>pF𝑝subscript𝑝𝐹p>p_{F}italic_p > italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, in a similar way, one obtains:

εppF22mApFηΓ(3η2)2ηy3ηΓ(η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)}\timesitalic_ε 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+(11y2)ηΓ(η)Γ(3η2)Γ(1η2)4}absentΓ𝜂Γ1𝜂2Γ3𝜂2subscript3superscript11superscript𝑦2𝜂Γ𝜂Γ3𝜂2Γ1𝜂2subscript4\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,41+(2η)(3η)4(1η)(11y2)similar-to-or-equalssubscript341minus-or-plus2𝜂minus-or-plus3𝜂4minus-or-plus1𝜂11superscript𝑦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=e2𝐴superscript𝑒2A=e^{2}italic_A = italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and η=1𝜂1\eta=1italic_η = 1. In this case we obtain:

εp=p22m2e2pFπ{F(1,12;32;y2)y<112y=113y2F(1,12;52;1y2)y>1subscript𝜀𝑝superscript𝑝22𝑚2superscript𝑒2subscript𝑝𝐹𝜋cases𝐹11232superscript𝑦2y<1missing-subexpression12y=1missing-subexpression13superscript𝑦2𝐹112521superscript𝑦2y>1missing-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,12;32;y2)=12+1y24yln(1+y1y)𝐹11232superscript𝑦2121superscript𝑦24𝑦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,12;52;x2)=32x2[11x22xln(1+x1x)]𝐹11252superscript𝑥232superscript𝑥2delimited-[]11superscript𝑥22𝑥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=p22m2e2pFπ[12+1y24yln|1+y1y|]subscript𝜀𝑝superscript𝑝22𝑚2superscript𝑒2subscript𝑝𝐹𝜋delimited-[]121superscript𝑦24𝑦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𝑁Nitalic_N particles, given by:

EHF=EHF(1)+EHF(2)subscript𝐸𝐻𝐹superscriptsubscript𝐸𝐻𝐹1superscriptsubscript𝐸𝐻𝐹2E_{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:

EHF(1)=35pF22mNsuperscriptsubscript𝐸𝐻𝐹135superscriptsubscript𝑝𝐹22𝑚𝑁E_{HF}^{(1)}=\frac{3}{5}\;\frac{p_{F}^{2}}{2m}\;Nitalic_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:

EHF(2)=ApFη+3Γ(3η2)Iη2η+1π2Γ(32)Γ(1+η2)superscriptsubscript𝐸𝐻𝐹2𝐴superscriptsubscript𝑝𝐹𝜂3Γ3𝜂2subscript𝐼𝜂superscript2𝜂1superscript𝜋2Γ32Γ1𝜂2E_{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η=01𝑑yy2F(3η2,η2;32;y2)subscript𝐼𝜂superscriptsubscript01differential-d𝑦superscript𝑦2𝐹3𝜂2𝜂232superscript𝑦2I_{\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/4subscript𝐼𝜂114I_{\eta=1}=1/4italic_I start_POSTSUBSCRIPT italic_η = 1 end_POSTSUBSCRIPT = 1 / 4, and:

EHF(2)=e2pF44π3superscriptsubscript𝐸𝐻𝐹2superscript𝑒2superscriptsubscript𝑝𝐹44superscript𝜋3E_{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=y2𝑥superscript𝑦2x=y^{2}italic_x = italic_y start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and the following integral:

01𝑑xxγ1(1x)ρ1F(α,β;γ;x)=Γ(γ)Γ(ρ)Γ(γ+ραβ)Γ(γ+ρα)Γ(γ+ρβ)superscriptsubscript01differential-d𝑥superscript𝑥𝛾1superscript1𝑥𝜌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:

EHFN=35pF22mA(pF2)η12Γ(3η2)Γ(η)η(η+1)(η+3)Γ(1+η2)[Γ(η2)]2subscript𝐸𝐻𝐹𝑁35superscriptsubscript𝑝𝐹22𝑚𝐴superscriptsubscript𝑝𝐹2𝜂12Γ3𝜂2Γ𝜂𝜂𝜂1𝜂3Γ1𝜂2superscriptdelimited-[]Γ𝜂22\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 εpsubscript𝜀𝑝\varepsilon_{p}italic_ε start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT with respect to p𝑝pitalic_p. For the case y=p/pF<1𝑦𝑝subscript𝑝𝐹1y=p/p_{F}<1italic_y = italic_p / italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT < 1, using the first line from (18), one obtains:

vp=pm+23ApFη2ηΓ(5η2)2ηΓ(32)Γ(1+η2)pF(5η2,1η2;52;p2pF2)subscript𝑣𝑝𝑝𝑚23𝐴superscriptsubscript𝑝𝐹𝜂2𝜂Γ5𝜂2superscript2𝜂Γ32Γ1𝜂2𝑝𝐹5𝜂21𝜂252superscript𝑝2superscriptsubscript𝑝𝐹2v_{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𝑦1y>1italic_y > 1 the velocity becomes:

vp=pm+2ApFη1Γ(5η2)2ηΓ(52)Γ(η2)(pFp)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}\timesitalic_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;52;pF2p2)+25(1η2)(pFp)2F(5η2,2η2;72;pF2p2)}absent𝐹3𝜂21𝜂252superscriptsubscript𝑝𝐹2superscript𝑝2251𝜂2superscriptsubscript𝑝𝐹𝑝2𝐹5𝜂22𝜂272superscriptsubscript𝑝𝐹2superscript𝑝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=e2𝐴superscript𝑒2A=e^{2}italic_A = italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and η=1𝜂1\eta=1italic_η = 1, is obtained using the following identities:

F(a,b;c;x)=c1a1x1[F(a1,b;c1;x)F(a1,b1;c1;x)]𝐹𝑎𝑏𝑐𝑥𝑐1𝑎1superscript𝑥1delimited-[]𝐹𝑎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)=c1b1(1x)1cbb1(1x)1F(1,b1;c;x)𝐹1𝑏𝑐𝑥𝑐1𝑏1superscript1𝑥1𝑐𝑏𝑏1superscript1𝑥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:

vp=pm+e2π1y[1+y22yln|1+y1y|1]subscript𝑣𝑝𝑝𝑚superscript𝑒2𝜋1𝑦delimited-[]1superscript𝑦22𝑦1𝑦1𝑦1v_{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)=p2π2|vp|𝑁𝑝superscript𝑝2superscript𝜋2subscript𝑣𝑝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 pFsubscript𝑝𝐹p_{F}italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT.

\bullet For the case ppF𝑝subscript𝑝𝐹p\rightarrow p_{F}italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, p<pF𝑝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:

vppFpFm+23ApFη1ηΓ(5η2)2ηΓ(32)Γ(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)}\timesitalic_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 ×
×{Γ(52)Γ(1+η)Γ(η2)Γ(3+η2)𝒬1+(1y2)1+ηΓ(52)Γ(1η)Γ(5η2)Γ(1η2)𝒬2}absentΓ52Γ1𝜂Γ𝜂2Γ3𝜂2subscript𝒬1superscript1superscript𝑦21𝜂Γ52Γ1𝜂Γ5𝜂2Γ1𝜂2subscript𝒬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η;1y2)1+5η4(1y2)subscript𝒬1𝐹5𝜂21𝜂22𝜂1superscript𝑦2similar-to-or-equals15𝜂41superscript𝑦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;η;1y2)1+3+η4(1y2)subscript𝒬2𝐹𝜂23𝜂2𝜂1superscript𝑦2similar-to-or-equals13𝜂41superscript𝑦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=pF𝑝subscript𝑝𝐹p=p_{F}italic_p = italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, and 𝒬1=𝒬2=1subscript𝒬1subscript𝒬21{\cal{Q}}_{1}={\cal{Q}}_{2}=1caligraphic_Q start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = caligraphic_Q start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 1. Here we distinguish two cases:

a.) Case: η>1𝜂1\eta>1italic_η > 1, when (1y2)1+η=0superscript1superscript𝑦21𝜂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:

vp=pF=pF2[2m+A(pF2)η2(η)]subscript𝑣𝑝subscript𝑝𝐹subscript𝑝𝐹2delimited-[]2𝑚𝐴superscriptsubscript𝑝𝐹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𝜂superscriptdelimited-[]Γ𝜂22Γ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(pF)=2pFπ2[2m+A(pF2)η2(η)]𝑁subscript𝑝𝐹2subscript𝑝𝐹superscript𝜋2delimited-[]2𝑚𝐴superscriptsubscript𝑝𝐹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<1italic_η < 1. In this case the term containing (1y2)1+ηsuperscript1superscript𝑦21𝜂\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 0italic_η ≠ 0):

vppFAΓ(1η)π(pF2)η1(1p2pF2)1+ηsin(πη2)similar-to-or-equalssubscript𝑣𝑝subscript𝑝𝐹𝐴Γ1𝜂𝜋superscriptsubscript𝑝𝐹2𝜂1superscript1superscript𝑝2superscriptsubscript𝑝𝐹21𝜂𝜋𝜂2v_{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(ppF)2η1πAΓ(1η)|sin(πη2)|pF3η(1p2pF2)1ηsimilar-to-or-equals𝑁𝑝subscript𝑝𝐹superscript2𝜂1𝜋𝐴Γ1𝜂𝜋𝜂2superscriptsubscript𝑝𝐹3𝜂superscript1superscript𝑝2superscriptsubscript𝑝𝐹21𝜂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 ppF𝑝subscript𝑝𝐹p\rightarrow p_{F}italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, p>pF𝑝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:

vppFpFm+2ApFη1Γ(5η2)2ηΓ(52)Γ(η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)}\timesitalic_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 ×
×{Γ(52)Γ(η)Γ(1+η2)Γ(3+η2)3+(11y2)ηΓ(52)Γ(η)Γ(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 +
+25(1η2)[Γ(72)Γ(1+η)Γ(1+η2)Γ(3+η2)𝒮1+(11y2)1+ηΓ(72)Γ(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:

𝒮11+(4η)(5η)4(2η)(11y2)similar-to-or-equalssubscript𝒮114𝜂5𝜂42𝜂11superscript𝑦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:

𝒮21+(2+η)(3+η)4η(11y2)similar-to-or-equalssubscript𝒮212𝜂3𝜂4𝜂11superscript𝑦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=1subscript3subscript4subscript𝒮1subscript𝒮21{\cal{F}}_{3}={\cal{F}}_{4}={\cal{S}}_{1}={\cal{S}}_{2}=1caligraphic_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, (11/y2)η=0superscript11superscript𝑦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>0italic_η > 0, and (11/y2)1+η=0superscript11superscript𝑦21𝜂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>1italic_η > 1, and diverges for η<1𝜂1\eta<1italic_η < 1.

c.) For the case η>1𝜂1\eta>1italic_η > 1 we reobtain the result given by eq.(46) which shows that at p=pF𝑝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<1italic_η < 1 taking again the dominant contribution from the particle velocity, the density of states close to the Fermi momentum will be:

N(ppF)2η1πAΓ(1η)|sin(πη2)|pF3η(1pF2p2)1ηsimilar-to-or-equals𝑁𝑝subscript𝑝𝐹superscript2𝜂1𝜋𝐴Γ1𝜂𝜋𝜂2superscriptsubscript𝑝𝐹3𝜂superscript1superscriptsubscript𝑝𝐹2superscript𝑝21𝜂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<1italic_η < 1 and for η>1𝜂1\eta>1italic_η > 1.

Refer to caption
Figure 3: The 3D3𝐷3D3 italic_D density of states for η<1𝜂1\eta<1italic_η < 1 and for η>1𝜂1\eta>1italic_η > 1

In the case of super-long range interaction (η<1𝜂1\eta<1italic_η < 1) the density of states tends to zero when ppF𝑝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>1italic_η > 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:

Vpk=d2rV(r)ei(pk)rsubscript𝑉𝑝𝑘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 2D2𝐷2D2 italic_D geometry, θ𝜃\thetaitalic_θ 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:

Vpk=0𝑑rrV(r)02π𝑑θeiprcosθeikrcosαsubscript𝑉𝑝𝑘superscriptsubscript0differential-d𝑟𝑟𝑉𝑟superscriptsubscript02𝜋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𝐼Iitalic_I will be evaluated using the expression of the exponential function with the Bessel functions [19]:

eizcosφ=J0(z)+2n=1inJn(z)cos(nφ)superscript𝑒𝑖𝑧𝜑subscript𝐽0𝑧2superscriptsubscript𝑛1superscript𝑖𝑛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εlJl(pr)Jl(kr)cos(lθ)𝐼2𝜋superscriptsubscript𝑙0subscript𝜀𝑙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=1subscript𝜀𝑙1\varepsilon_{l}=1italic_ε start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = 1 for l=0𝑙0l=0italic_l = 0, and εl=2subscript𝜀𝑙2\varepsilon_{l}=2italic_ε start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = 2 for l=1,2,3,𝑙123l=1,2,3,...italic_l = 1 , 2 , 3 , …. Finally, Vpksubscript𝑉𝑝𝑘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:

Vpk=l=0Vl(p,k)cos(lθ)subscript𝑉𝑝𝑘superscriptsubscript𝑙0subscript𝑉𝑙𝑝𝑘𝑙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:

Vl(p,k)=2πεl0𝑑rrV(r)Jl(pr)Jl(kr)subscript𝑉𝑙𝑝𝑘2𝜋subscript𝜀𝑙superscriptsubscript0differential-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=p22m0pF02πkdkdθ(2π)2l=0Vl(p,k)cos(lθ)subscript𝜀𝑝superscript𝑝22𝑚superscriptsubscript0subscript𝑝𝐹superscriptsubscript02𝜋𝑘𝑑𝑘𝑑superscript𝜃superscript2𝜋2superscriptsubscript𝑙0subscript𝑉𝑙𝑝𝑘𝑙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=p22m0pFk𝑑k0𝑑rrV(r)J0(pr)J0(kr)subscript𝜀𝑝superscript𝑝22𝑚superscriptsubscript0subscript𝑝𝐹𝑘differential-d𝑘superscriptsubscript0differential-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𝑘kitalic_k-integration, and using again the notations y=p/pF𝑦𝑝subscript𝑝𝐹y=p/p_{F}italic_y = italic_p / italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT and z=pFr𝑧subscript𝑝𝐹𝑟z=p_{F}ritalic_z = italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT italic_r, we obtain:

εp=p22mApFη0𝑑zzηJ0(yz)J1(z)subscript𝜀𝑝superscript𝑝22𝑚𝐴superscriptsubscript𝑝𝐹𝜂superscriptsubscript0differential-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𝑧zitalic_z-integration, is:

εp=p22mApFη{Γ(1η2)2ηΓ(1+η2)F(1η2,η2;1;y2)y<1Γ(η)Γ(1η2)2ηΓ(η2)[Γ(1+η2)]2y=1Γ(1η2)2ηy2ηΓ(η2)F(1η2,1η2;2;1y2)y>1subscript𝜀𝑝superscript𝑝22𝑚𝐴superscriptsubscript𝑝𝐹𝜂casesΓ1𝜂2superscript2𝜂Γ1𝜂2𝐹1𝜂2𝜂21superscript𝑦2y<1missing-subexpressionΓ𝜂Γ1𝜂2superscript2𝜂Γ𝜂2superscriptdelimited-[]Γ1𝜂22y=1missing-subexpressionΓ1𝜂2superscript2𝜂superscript𝑦2𝜂Γ𝜂2𝐹1𝜂21𝜂221superscript𝑦2y>1missing-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<η<20𝜂20<\eta<20 < italic_η < 2. As in the three-dimensional case, in two dimensions and at small values of the momentum, εpsubscript𝜀𝑝\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 1italic_η ≤ 1. Close to the Fermi momentum, for ppF𝑝subscript𝑝𝐹p\rightarrow p_{F}italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, p<pF𝑝subscript𝑝𝐹p<p_{F}italic_p < italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, following similar steps as for the 3D3𝐷3D3 italic_D case, we obtain:

εppF22mApFηΓ(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)}\timesitalic_ε 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+(1y2)ηΓ(η)Γ(1η2)Γ(η2)𝒢2}absentΓ𝜂Γ𝜂2Γ1𝜂2subscript𝒢1superscript1superscript𝑦2𝜂Γ𝜂Γ1𝜂2Γ𝜂2subscript𝒢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,21η(2η)4(1η)(1y2)similar-to-or-equalssubscript𝒢12minus-or-plus1𝜂minus-or-plus2𝜂4minus-or-plus1𝜂1superscript𝑦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 ppF𝑝subscript𝑝𝐹p\rightarrow p_{F}italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, p>pF𝑝subscript𝑝𝐹p>p_{F}italic_p > italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT the result will be:

εppF22mApFηΓ(1η2)2ηy2ηΓ(η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)}\timesitalic_ε 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+(11y2)ηΓ(η)[Γ(1η2)]2𝒢4}absentΓ𝜂superscriptdelimited-[]Γ1𝜂22subscript𝒢3superscript11superscript𝑦2𝜂Γ𝜂superscriptdelimited-[]Γ1𝜂22subscript𝒢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,41+(2η)24(1η)(11y2)similar-to-or-equalssubscript𝒢341superscriptminus-or-plus2𝜂24minus-or-plus1𝜂11superscript𝑦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=e2𝐴superscript𝑒2A=e^{2}italic_A = italic_e start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and η=1𝜂1\eta=1italic_η = 1, is:

εp=p22m2e2pFπ{π2F(12,12;1;y2)y<11y=1π4yF(12,12;2;1y2)y>1subscript𝜀𝑝superscript𝑝22𝑚2superscript𝑒2subscript𝑝𝐹𝜋cases𝜋2𝐹12121superscript𝑦2y<1missing-subexpression1y=1missing-subexpression𝜋4𝑦𝐹121221superscript𝑦2y>1missing-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:

π2F(12,12;1;y2)=E(y)𝜋2𝐹12121superscript𝑦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(12,12;2;1y2)=4y2π[E(1y)(11y2)K(1y)]𝐹121221superscript𝑦24superscript𝑦2𝜋delimited-[]𝐸1𝑦11superscript𝑦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=p22m2e2pFπ{E(y)y<11y=1y[E(1y)(11y2)K(1y)]y>1subscript𝜀𝑝superscript𝑝22𝑚2superscript𝑒2subscript𝑝𝐹𝜋cases𝐸𝑦y<1missing-subexpression1y=1missing-subexpression𝑦delimited-[]𝐸1𝑦11superscript𝑦2𝐾1𝑦y>1missing-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 2D2𝐷2D2 italic_D Hartree-Fock energy for N𝑁Nitalic_N particles is given by:

EHF=EHF(1)+EHF(2)subscript𝐸𝐻𝐹superscriptsubscript𝐸𝐻𝐹1superscriptsubscript𝐸𝐻𝐹2E_{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 2D2𝐷2D2 italic_D:

EHF(1)=12pF22mNsuperscriptsubscript𝐸𝐻𝐹112superscriptsubscript𝑝𝐹22𝑚𝑁E_{HF}^{(1)}=\frac{1}{2}\;\frac{p_{F}^{2}}{2m}\;Nitalic_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:

EHF(2)=ApFη+2Γ(1η2)Yη2η+1πΓ(1+η2)superscriptsubscript𝐸𝐻𝐹2𝐴superscriptsubscript𝑝𝐹𝜂2Γ1𝜂2subscript𝑌𝜂superscript2𝜂1𝜋Γ1𝜂2E_{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η=01𝑑yyF(1η2,η2;1;y2)subscript𝑌𝜂superscriptsubscript01differential-d𝑦𝑦𝐹1𝜂2𝜂21superscript𝑦2Y_{\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𝑌𝜂143𝜋Y_{\eta=1}=4/(3\pi)italic_Y start_POSTSUBSCRIPT italic_η = 1 end_POSTSUBSCRIPT = 4 / ( 3 italic_π ), and:

EHF(2)=2e2pF33π2superscriptsubscript𝐸𝐻𝐹22superscript𝑒2superscriptsubscript𝑝𝐹33superscript𝜋2E_{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=y2𝑥superscript𝑦2x=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:

EHFN=12pF22mA(pF2)ηΓ(1η2)Γ(η)(1+η2)(η2)2[Γ(η2)]3subscript𝐸𝐻𝐹𝑁12superscriptsubscript𝑝𝐹22𝑚𝐴superscriptsubscript𝑝𝐹2𝜂Γ1𝜂2Γ𝜂1𝜂2superscript𝜂22superscriptdelimited-[]Γ𝜂23\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/pF<1𝑦𝑝subscript𝑝𝐹1y=p/p_{F}<1italic_y = italic_p / italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT < 1, is easy obtained as:

vp=pm+ApFη2ηΓ(2η2)2ηΓ(1+η2)pF(2η2,1η2;2;p2pF2)subscript𝑣𝑝𝑝𝑚𝐴superscriptsubscript𝑝𝐹𝜂2𝜂Γ2𝜂2superscript2𝜂Γ1𝜂2𝑝𝐹2𝜂21𝜂22superscript𝑝2superscriptsubscript𝑝𝐹2v_{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:

vp=pm+e22yF(32,12;2;y2)subscript𝑣𝑝𝑝𝑚superscript𝑒22𝑦𝐹32122superscript𝑦2v_{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:

π2F(12,12;1;y2)=K(y)𝜋2𝐹12121superscript𝑦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 )

vpsubscript𝑣𝑝v_{p}italic_v start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT is rewritten as:

vp=pm+2e2πy[K(y)E(y)]subscript𝑣𝑝𝑝𝑚2superscript𝑒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/pF>1𝑦𝑝subscript𝑝𝐹1y=p/p_{F}>1italic_y = italic_p / italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT > 1 the velocity will be:

vp=pm+2ApFη1Γ(2η2)2ηΓ(η2)(pFp)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}\timesitalic_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;pF2p2)+12(1η2)(pFp)2F(2η2,2η2;3;pF2p2)}absent𝐹1𝜂21𝜂22superscriptsubscript𝑝𝐹2superscript𝑝2121𝜂2superscriptsubscript𝑝𝐹𝑝2𝐹2𝜂22𝜂23superscriptsubscript𝑝𝐹2superscript𝑝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:

vp=pm+2e2π[K(1y)E(1y)]subscript𝑣𝑝𝑝𝑚2superscript𝑒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=pF𝑝subscript𝑝𝐹p=p_{F}italic_p = italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT. Now we will approximate the velocities for p𝑝pitalic_p close to the Fermi momentum pFsubscript𝑝𝐹p_{F}italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT. In a similar way as in 3D3𝐷3D3 italic_D case, for ppF𝑝subscript𝑝𝐹p\rightarrow p_{F}italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, p<pF𝑝subscript𝑝𝐹p<p_{F}italic_p < italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, we obtain:

vppFpFm+ApFη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)}\timesitalic_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+(1y2)1+ηΓ(1η)Γ(2η2)Γ(1η2)𝒯2}absentΓ1𝜂Γ𝜂2Γ1𝜂2subscript𝒯1superscript1superscript𝑦21𝜂Γ1𝜂Γ2𝜂2Γ1𝜂2subscript𝒯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:

𝒯11+4η4(1y2)similar-to-or-equalssubscript𝒯114𝜂41superscript𝑦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:

𝒯21+2+η4(1y2)similar-to-or-equalssubscript𝒯212𝜂41superscript𝑦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>1italic_η > 1, at the Fermi momentum, the velocity is given by:

vp=pF=pF2{2m+A(pF2)η22ηΓ(2η2)Γ(1+η)[Γ(η2)]3}subscript𝑣𝑝subscript𝑝𝐹subscript𝑝𝐹22𝑚𝐴superscriptsubscript𝑝𝐹2𝜂22𝜂Γ2𝜂2Γ1𝜂superscriptdelimited-[]Γ𝜂23v_{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<1italic_η < 1, keeping the dominant term, close to the Fermi momentum, the velocity will be:

vppFAΓ(1η)π(pF2)η1(1p2pF2)1+ηsin(πη2)similar-to-or-equalssubscript𝑣𝑝subscript𝑝𝐹𝐴Γ1𝜂𝜋superscriptsubscript𝑝𝐹2𝜂1superscript1superscript𝑝2superscriptsubscript𝑝𝐹21𝜂𝜋𝜂2v_{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 ppF𝑝subscript𝑝𝐹p\rightarrow p_{F}italic_p → italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, p>pF𝑝subscript𝑝𝐹p>p_{F}italic_p > italic_p start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT, the velocity is approximated as:

vppFpFm+2ApFη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)}\timesitalic_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+(11y2)ηΓ(η)[Γ(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 +
+12(1η2)[2Γ(1+η)[Γ(1+η2)]21+(11y2)1+η2Γ(1η)[Γ(2η2)]22]}\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,21+(2η)24(1η)(11y2)similar-to-or-equalssubscript𝒵121superscriptminus-or-plus2𝜂24minus-or-plus1𝜂11superscript𝑦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:

11+(4η)24(2η)(11y2)similar-to-or-equalssubscript11superscript4𝜂242𝜂11superscript𝑦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 )
21+(2+η)24η(11y2)similar-to-or-equalssubscript21superscript2𝜂24𝜂11superscript𝑦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>1italic_η > 1, and at the Fermi momentum, we reobtain the result given by eq.(86), and for η<1𝜂1\eta<1italic_η < 1 the result is:

vppFAΓ(1η)π(pF2)η1(1pF2p2)1+ηsin(πη2)similar-to-or-equalssubscript𝑣𝑝subscript𝑝𝐹𝐴Γ1𝜂𝜋superscriptsubscript𝑝𝐹2𝜂1superscript1superscriptsubscript𝑝𝐹2superscript𝑝21𝜂𝜋𝜂2v_{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 2D2𝐷2D2 italic_D density of states N(p)𝑁𝑝N(p)italic_N ( italic_p ) given by:

N(p)=pπ|vp|𝑁𝑝𝑝𝜋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>1italic_η > 1 the non-zero density of states at the Fermi momentum is:

N(pF)=1π{1m+A(pF2)η2Γ(2η2)Γ(1+η)η[Γ(η2)]3}𝑁subscript𝑝𝐹1𝜋1𝑚𝐴superscriptsubscript𝑝𝐹2𝜂2Γ2𝜂2Γ1𝜂𝜂superscriptdelimited-[]Γ𝜂23N(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<1italic_η < 1, close to the Fermi momentum, the density of states is given by:

N(ppF)2η1AΓ(1η)|sin(πη2)|pF2η×{(1p2pF2)1ηp<pF(1pF2p2)1ηp>pFsimilar-to-or-equals𝑁𝑝subscript𝑝𝐹superscript2𝜂1𝐴Γ1𝜂𝜋𝜂2superscriptsubscript𝑝𝐹2𝜂casessuperscript1superscript𝑝2superscriptsubscript𝑝𝐹21𝜂p<pFsuperscript1superscriptsubscript𝑝𝐹2superscript𝑝21𝜂p>pFN\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>1italic_η > 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<1italic_η < 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.

III. Discussions

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<1italic_η < 1 having the super-long range type potential, and for η>1𝜂1\eta>1italic_η > 1 the sub-Coulomb type potential. For η=1𝜂1\eta=1italic_η = 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<1italic_η < 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>1italic_η > 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.

References

[1] S.M.Girvin, K.Yang, Modern Condensed Matter Physics, Cambridge Univ.

Press, (2019)

[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,

New York, (1966)

[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,

arXiv:2311.03276

[14] A.M.Gabovich, M.S.Li, H.Szymczak, A.I.Voitenko, Journal of Electrostatics

102, 103377, (2019)

[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,

New York, (1984)

[23] I.S.Gradshteyn, I.M.Ryzhik, Table of Integrals, Series, and Products,

Academic Press, (1980)

[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

Scientific, (2023)

[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,

Nature 448, 57, (2007)

[32] J.M.Pitarke, V.M.Silkin, E.V.Chulkov, P.M.Echenique, Rep.Prog.Phys.70,

1, (2007)

[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

Reports 8, 2667, (2018)

[41] E.G.Dalla Tore, D.Benjamin, Y.He, D.Dentelski, E.Demler, Phys.Rev.B 93,

205117, (2016)