This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

\preprintnumber

2025-0214

Improvement to Generalized Separable Expansion Method in Lippmann-Schwinger Equation

Hiroyuki Kamadaa,b kamada@rcnp.osaka-u.ac.jp aDepatment of Physics, Faculty of Engineering, Kyushu Institute of Technology, Kitakyushu 804-8550, Japan,
bResearch Center for Nuclear Physics, Osaka University,
10-1 Mihogaoka, Ibaraki, Osaka 567-0047, Japan
Abstract

Realistic nucleon-nucleon (NN) potentials are generally not in separable form, but there is a way to convert them into separable potentials, called the generalized separable expansion (GSE). When the separable potential is substituted into a three-body Faddeev equation, which generally has two Jacobi momenta, the integral equation is conveniently reduced to a one-variable integral equation. The two-body scattering t-matrix of the conventional GSE does not have an exact singularity at the energy threshold of the two-body bound state. The newly introduced GSE improves this by treating the singularity analytically.

\subjectindex

xxxx, xxx

1 Introduction

To investigate the wave function and the scattering matrix in a nucleon-nucleon (NN) system, one must solve the Schödinger equation or the Lippmann-Schwinger equation. The latter equation is often treated in momentum representation, and becomes a Fredholm integral equation. Kowalski-Noyes showed Noyes1965 ; Kowalski1965 a method to directly solve this equation while keeping it as continuous variables. Some ingenuity is required to reduce the continuous variables when dealing with few-body systems.

In general, when a potential is represented in a separable form Yamaguchi1954 , the degree of freedom to handle continuous variables is reduced, and so an integral equation of nn dimensions generally becomes an equation of (n1)(n-1) dimensions, which accelerates the calculation speed. In addition to this convenience, there is an advantage that if the analyticity of the separable form factor is improved, the singularity and cut problems of complex integral equations can be solved by changing real variables into complex variables. As a typical example, the three-body problem of a three-nucleon system has been calculated using the so-called Faddeev equation Faddeev1961 , which generally has two Jacobi momenta in the center mass system. After partial wave expansion, the integral equation included with separable potential, is conveniently reduced to a one-variable integral equation (Amado-Lovelace equation)Amado1963 ; Lovelace1964 .

With the help of supercomputers, efforts have been made to solve three-body scattering problems without approximations Gloeckle , but when moving on to four-body problems Kamada2001 ; Uzu2003 or even many-body problems, the separable expansion method is a good guide for serious calculations. Methods for converting a realistic potential into a separable potential include the EST expansion method EST , the USE method USE , and the Generalized Separable Expansion (GSE) Oryu1974 which is the subject of this paper. In general, the accuracy of the expansion method improves as its rank increases. A test of the accuracy of the GSE method has been performed GSEkentei using the Reid Soft Core potential RSC . The potential after separable expansion becomes an approximate potential as the rank increases, gradually approaching the original potential.

In this paper, we address the problem that the conventional GSE expansion method does not precisely reproduce the bound state even at rank 1, and we will show the solution of this problem. In the next section, we introduce an improved GSE. In Section 3, we analytically show that the scattering matrix has a singular point of order 1 at the energy of the bound state, and also prove that the wave function of the bound state calculated from the original potential is exactly given from the improved GSE potential. Our conclusion and outlook are presented in Section 4.

2 An Improved Generalized Separable Expansion

The bound state (deuteron) ψd\psi_{d} satisfies the following Schrödinger equation;

(Edp2m)ψd(p)=V(p,p)ψd(p)dp(2π)3\displaystyle(E_{d}-{p^{2}\over m})~{}\psi_{d}(\vec{p})=\int V(\vec{p},\vec{p}~{}^{\prime})~{}\psi_{d}(\vec{p}~{}^{\prime}){d\vec{p}~{}^{\prime}\over(2\pi)^{3}} (1)

where EdE_{d} (<0<0) is a binding energy of the bound state and V(p,p)V(\vec{p},\vec{p}~{}^{\prime}) is a NN potential. mm is nucleon mass and p\vec{p} is the relative momentum between two nucleons. After a partial-wave decomposition, we represent Eq. (1) as

(Edp2m)ψd(p)=0V(p,p)ψd(p)p2dp2π2\displaystyle(E_{d}-{p^{2}\over m})\psi_{d}(p)=\int_{0}^{\infty}V(p,p^{\prime})\psi_{d}(p^{\prime}){p^{\prime 2}dp^{\prime}\over 2\pi^{2}} (2)

Let us define g0(p)g_{0}(p) as a function;

g0(p)(Edp2m)ψd(p)\displaystyle g_{0}(p)\equiv(E_{d}-{p^{2}\over m})\psi_{d}(p) (3)

And V~(p,p)\tilde{V}(p,p^{\prime}) is also defined as

V~(p,p)=V(p,p)g0(p)1Cg0(p)\displaystyle\tilde{V}(p,p^{\prime})=V(p,p^{\prime})-g_{0}(p){1\over C}g_{0}(p^{\prime}) (4)

with

C0g0(p)1Edp2mg0(p)p2dp2π2\displaystyle C\equiv\int_{0}^{\infty}g_{0}(p){1\over E_{d}-{p^{2}\over m}}g_{0}(p){p^{2}dp\over 2\pi^{2}} (5)
=0ψd(p)(Edp2m)ψd(p)p2dp2π2\displaystyle=\int_{0}^{\infty}\psi_{d}(p)(E_{d}-{p^{2}\over m})\psi_{d}(p){p^{2}dp\over 2\pi^{2}} (6)
=00ψd(p)V(p,p)ψd(p)p2dp2π2p2dp2π2=V.\displaystyle=\int_{0}^{\infty}\int_{0}^{\infty}\psi_{d}(p)V(p,p^{\prime})\psi_{d}(p^{\prime}){p^{2}dp\over 2\pi^{2}}{p^{\prime 2}dp^{\prime}\over 2\pi^{2}}=\langle V\rangle. (7)

This CC means the potential expectation of the bound state. We perform the conventional GSE expansion Oryu1974 of V~\tilde{V} and add the separable term g0(p)1Cg0(p)g_{0}(p){1\over C}g_{0}(p^{\prime}).

VGSE(p,p)\displaystyle V_{GSE}(p,p^{\prime}) =i=1Nj=1NV~(p,ki)Λ~i,jV~(kj,p)+g0(p)1Cg0(p)\displaystyle=\sum_{i=1}^{N}\sum_{j=1}^{N}\tilde{V}(p,k_{i})\tilde{\Lambda}_{i,j}\tilde{V}(k_{j},p^{\prime})+g_{0}(p){1\over C}g_{0}(p^{\prime}) (9)
=i=0Nj=0NV~(p,ki)Λi,jV~(kj,p)=i=0Nj=0Ngi(p)Λi,jgj(p),\displaystyle=\sum_{i=0}^{N}\sum_{j=0}^{N}\tilde{V}(p,k_{i})\Lambda_{i,j}\tilde{V}(k_{j},p^{\prime})=\sum_{i=0}^{N}\sum_{j=0}^{N}g_{i}(p)~{}\Lambda_{i,j}~{}g_{j}(p^{\prime}),

where the momenta kik_{i} are the so-called Bateman parameters Bateman1921 . The Bateman parameters kik_{i} must be chosen appropriately so that the parameters are not too close to each other. The rank of the matrix Λi,j\Lambda_{i,j} is N+1N+1. The matrix Λ~i,j\tilde{\Lambda}_{i,j} (rank NN) is given by the matrix inversion of V~(kj,ki)\tilde{V}(k_{j},k_{i}).

Λi,j{1Ci=0,j=00i>0,j=00i=0,j>0Λ~i,j[V~(kj,ki)]1i>0,j>0\Lambda_{i,j}\equiv\left\{\begin{aligned} &{1\over C}&~{}~{}~{}~{}~{}~{}i=0,~{}j=0\\ &0&~{}~{}~{}~{}~{}~{}i>0,~{}j=0\\ &0&~{}~{}~{}~{}~{}~{}~{}i=0,~{}j>0\\ &\tilde{\Lambda}_{i,j}\equiv[\tilde{V}(k_{j},k_{i})]^{-1}&~{}~{}~{}~{}~{}~{}~{}i>0,~{}j>0\end{aligned}\right. (10)

and

gi(p){g0(p)i=0V~(ki,p)=V~(p,ki)i>0g_{i}(p)\equiv\left\{\begin{aligned} &g_{0}(p)&~{}~{}~{}~{}~{}~{}i=0\\ &\tilde{V}(k_{i},p)=\tilde{V}(p,k_{i})&~{}~{}~{}~{}~{}~{}~{}i>0\end{aligned}\right. (11)

The improved GSE potential VGSEV_{GSE} in Eq. (9) inherits the properties of the original potential VV;

VGSE(p,ki)=V~(p,ki)+g0(p)1Cg0(ki)=V(p,ki),\displaystyle V_{GSE}(p,k_{i})=\tilde{V}(p,k_{i})+g_{0}(p)~{}{1\over C}~{}g_{0}(k_{i})=V(p,k_{i}), (12)
VGSE(ki,p)=V~(ki,p)+g0(ki)1Cg0(p)=V(ki,p).\displaystyle V_{GSE}(k_{i},p^{\prime})=\tilde{V}(k_{i},p^{\prime})+g_{0}(k_{i})~{}{1\over C}~{}g_{0}(p^{\prime})=V(k_{i},p^{\prime}). (13)

Of course, since the Lippmann-Schwinger equation (LS) of the energy half shell is satisfied, the phase shift can be calculated exactly. With the scattering matrix tGSEt_{GSE}, the following equation can be shown;

tGSE(ki,p;Ei)=VGSE(ki,p)+0VGSE(ki,p′′)1Eip′′2m+iϵtGSE(p′′,p;Ei)p′′2dp′′2π2\displaystyle t_{GSE}(k_{i},p^{\prime};E_{i})=V_{GSE}(k_{i},p^{\prime})+\int_{0}^{\infty}V_{GSE}(k_{i},p^{\prime\prime}){1\over E_{i}-{{p^{\prime\prime}}^{2}\over m}+i\epsilon}~{}t_{GSE}(p^{\prime\prime},p^{\prime};E_{i}){{p^{\prime\prime}}^{2}dp^{\prime\prime}\over 2\pi^{2}} (14)
=V(ki,p)+0V(ki,p′′)1Eip′′2m+iϵtGSE(p′′,p;Ei)p′′2dp′′2π2\displaystyle=V(k_{i},p^{\prime})+\int_{0}^{\infty}V(k_{i},p^{\prime\prime}){1\over E_{i}-{{p^{\prime\prime}}^{2}\over m}+i\epsilon}~{}t_{GSE}(p^{\prime\prime},p^{\prime};E_{i}){{p^{\prime\prime}}^{2}dp^{\prime\prime}\over 2\pi^{2}} (15)

with

Eiki2m.\displaystyle E_{i}\equiv{k_{i}^{2}\over m}. (16)

Comparing Eq.(15) to the original scattering t-matrix tt which satisfies with the following the LS equation,

t(ki,p;Ei)=V(ki,p)+0V(ki,p′′)1Eip′′2m+iϵt(p′′,p;Ei)p′′2dp′′2π2.\displaystyle t(k_{i},p^{\prime};E_{i})=V(k_{i},p^{\prime})+\int_{0}^{\infty}V(k_{i},p^{\prime\prime}){1\over E_{i}-{{p^{\prime\prime}}^{2}\over m}+i\epsilon}~{}t(p^{\prime\prime},p^{\prime};E_{i}){{p^{\prime\prime}}^{2}dp^{\prime\prime}\over 2\pi^{2}}. (17)

The relation between tGSEt_{GSE} and tt is expressed by the following equations.

tGSE(ki,p;Ei)=t(ki,p;Ei)\displaystyle t_{GSE}(k_{i},p^{\prime};E_{i})=t(k_{i},p^{\prime};E_{i}) (18)

and

tGSE(ki,ki;Ei)=t(ki,ki;Ei).\displaystyle t_{GSE}(k_{i},k_{i};E_{i})=t(k_{i},k_{i};E_{i}). (19)

In general, the two are not equal for the momentum values pp other than kik_{i}, but the approximation can be improved by increasing the rank N sufficiently.

tGSE(p,p;Ei)t(p,p;Ei)pki,norpkj\displaystyle t_{GSE}(p,p^{\prime};E_{i})\neq t(p,p^{\prime};E_{i})~{}~{}~{}~{}p\neq k_{i},~{}~{}{\rm nor}~{}~{}p^{\prime}\neq k_{j} (20)

3 Singularity of t-matrix

The GSE scattering matrix (t-matrix) tGSE(E)t_{GSE}(E) is given the separable form as

tGSE(p,p;E)=i=0Nj=0Ngi(p)τi,j(E)gj(p),\displaystyle t_{GSE}(p,p^{\prime};E)=\sum_{i=0}^{N}\sum_{j=0}^{N}g_{i}(p)~{}\tau_{i,j}(E)~{}g_{j}(p), (21)

where EE is an arbitrary c.m. energy between 2 nucleons. The improved GSE potential VGSEV_{GSE} in Eq. (9) is substituted into the LS equation in Eq. (15) for arbitral energy EE. We have

τi,j(E)=Λi,j+k=0Nl=0NΛi,kIk,l(E)τl,j(E),\displaystyle\tau_{i,j}(E)=\Lambda_{i,j}+\sum_{k=0}^{N}\sum_{l=0}^{N}~{}\Lambda_{i,k}~{}I_{k,l}(E)~{}\tau_{l,j}(E), (22)

and sandwich by the inverse matrices [Λ]1[\Lambda]^{-1} and [τ]1[\tau]^{-1}, namely,

Λi,j1=τi,j1(E)+Ii,j(E)\displaystyle\Lambda^{-1}_{i,j}=\tau^{-1}_{i,j}(E)+I_{i,j}(E) (23)

with

Ii,j(E)0gi(p)1Ep2m+iϵgj(p)p2dp2π2\displaystyle I_{i,j}(E)\equiv\int_{0}^{\infty}g_{i}(p){1\over E-{p^{2}\over m}+i\epsilon}g_{j}(p){p^{2}dp\over 2\pi^{2}} (24)

The integral Ii,j(E)I_{i,j}(E) in Eq.(24) is calculated in case of j=0j=0 ( see Appendix A);

τi,01(E)={(EEd+iϵ)0ψd2(p)Edp2mEp2m+iϵp2dp2π2i=0(EEd+iϵ)0V~(ki,p)ψd(p)Ep2m+iϵp2dp2π2i>0\displaystyle\tau^{-1}_{i,0}(E)=\left\{\begin{aligned} &(E-E_{d}+i\epsilon)\int_{0}^{\infty}\psi_{d}^{2}(p){E_{d}-{p^{2}\over m}\over E-{p^{2}\over m}+i\epsilon}{p^{2}dp\over 2\pi^{2}}&~{}~{}~{}~{}~{}~{}i=0\\ &(E-E_{d}+i\epsilon)\int_{0}^{\infty}{\tilde{V}(k_{i},p)\psi_{d}(p)\over E-{p^{2}\over m}+i\epsilon}{p^{2}dp\over 2\pi^{2}}&~{}~{}~{}~{}~{}~{}~{}i>0\end{aligned}\right. (25)

From this it is clear that τi,j(E)\tau_{i,j}(E) is proportional to 1EEd+iϵ1\over E-E_{d}+i\epsilon and diverges at E=EdE=E_{d}.

τi,j1EEd+iϵ.\displaystyle\tau_{i,j}\propto{1\over E-E_{d}+i\epsilon}. (26)

The original bound wave function ψd\psi_{d} satisfies the following LS equation in E=EdE=E_{d} (see Appendix B).

1Edp2m0VGSE(p,p)ψd(p)p2dp2π2=ψd(p)\displaystyle{1\over E_{d}-{p^{2}\over m}}\int_{0}^{\infty}V_{GSE}(p,p^{\prime})~{}\psi_{d}(p^{\prime}){p^{\prime 2}dp^{\prime}\over 2\pi^{2}}=\psi_{d}(p) (27)

In other words, the bound state ψGSE\psi_{GSE} calculated from VGSEV_{GSE} is equal to the original bound state ψd\psi_{d}.

ψGSE(p)=ψd(p).\displaystyle\psi_{GSE}(p)=\psi_{d}(p). (28)

4 Conclusion and Outlook

The difference from conventional GSE Oryu1974 is that the bound state is treated specially. In other words, the bound state ψd\psi_{d} is used to prepare V~\tilde{V} by removing that state from the original potential VV in Eq.(4). Following the traditional GSE prescription, we expand V~\tilde{V} into a separable form, and add a term that generates the bound state in Eq. (9). It has been shown that by using the improved GSE potential, the t-matrix has a singularity of first rank at the energy point of the bound state, and the bound state can be accurately reproduced from the improved GSE potential.

In recent years, it has been converted to a low-momentum potential and applied to few-body systems Fujii2004 . It is possible to separate Hilbert spaces below and above a selected momentum Bogner2002 . It is shown that performing a USE separation expansionUSE on this low-momentum potential significantly improves the separability separability ; separability2 . Using the improved GSE potential discussed in this paper and expanding the low-momentum potential, an available expansion with high separability might be expected.

Acknowledgment

This work is supported by Japan Society for the Promotion of Sciene (JSPS) KAKENHI Grants No. JP22K03597.

References

Appendix A a proof for Eq.(25)

We start from Eq.(23).

τi,j1(E)=Λi,j1Ii,j(E)\displaystyle\tau^{-1}_{i,j}(E)=\Lambda^{-1}_{i,j}-I_{i,j}(E) (29)

In the case of j=0j=0 we have ;

τ0,01(E)=C0g0(p)1Ep2m+iϵg0(p)p2dp2π2\displaystyle\tau^{-1}_{0,0}(E)=C-\int_{0}^{\infty}g_{0}(p){1\over E-{p^{2}\over m}+i\epsilon}g_{0}(p){p^{2}dp\over 2\pi^{2}} (30)
=C0ψd2(p)(Edp2m)2Ep2m+iϵp2dp2π2\displaystyle=C-\int_{0}^{\infty}\psi_{d}^{2}(p){(E_{d}-{p^{2}\over m})^{2}\over E-{p^{2}\over m}+i\epsilon}{p^{2}dp\over 2\pi^{2}} (31)
=C0ψd2(p)(Edp2m)(EdEiϵ)+(Ep2m+iϵ)Ep2m+iϵp2dp2π2\displaystyle=C-\int_{0}^{\infty}\psi_{d}^{2}(p)(E_{d}-{p^{2}\over m}){(E_{d}-E-i\epsilon)+(E-{p^{2}\over m}+i\epsilon)\over E-{p^{2}\over m}+i\epsilon}{p^{2}dp\over 2\pi^{2}} (32)
=C(EdEiϵ)0ψd2(p)(Edp2m)Ep2m+iϵp2dp2π2C\displaystyle=C-(E_{d}-E-i\epsilon)\int_{0}^{\infty}\psi_{d}^{2}(p){(E_{d}-{p^{2}\over m})\over E-{p^{2}\over m}+i\epsilon}{p^{2}dp\over 2\pi^{2}}-C (33)
=(EEd+iϵ)0ψd2(p)Edp2mEp2m+iϵp2dp2π2.\displaystyle=(E-E_{d}+i\epsilon)\int_{0}^{\infty}\psi_{d}^{2}(p){E_{d}-{p^{2}\over m}\over E-{p^{2}\over m}+i\epsilon}{p^{2}dp\over 2\pi^{2}}. (34)

In the case of j0j\neq 0 we have

τ0,j1(E)=00g0(p)1Ep2m+iϵgj(p)\displaystyle\tau^{-1}_{0,j}(E)=0-\int_{0}^{\infty}g_{0}(p){1\over E-{p^{2}\over m}+i\epsilon}g_{j}(p) (35)
=0ψd(p)(Edp2m)1Ep2m+iϵV~(p,kj)p2dp2π2\displaystyle=-\int_{0}^{\infty}\psi_{d}(p)(E_{d}-{p^{2}\over m}){1\over E-{p^{2}\over m}+i\epsilon}\tilde{V}(p,k_{j}){p^{2}dp\over 2\pi^{2}} (36)
=0ψd(p)(EdEiϵ)+(Ep2m+iϵ)Ep2m+iϵV~(p,kj)p2dp2π2\displaystyle=-\int_{0}^{\infty}\psi_{d}(p){(E_{d}-E-i\epsilon)+(E-{p^{2}\over m}+i\epsilon)\over E-{p^{2}\over m}+i\epsilon}\tilde{V}(p,k_{j}){p^{2}dp\over 2\pi^{2}} (37)
=(EEd+iϵ)0ψd(p)1Ep2m+iϵV~(p,kj)p2dp2π20ψd(p)V~(p,kj)p2dp2π2\displaystyle=(E-E_{d}+i\epsilon)\int_{0}^{\infty}\psi_{d}(p){1\over E-{p^{2}\over m}+i\epsilon}\tilde{V}(p,k_{j}){p^{2}dp\over 2\pi^{2}}-\int_{0}^{\infty}\psi_{d}(p)\tilde{V}(p,k_{j}){p^{2}dp\over 2\pi^{2}} (38)
=(EEd+iϵ)0ψd(p)1Ep2m+iϵV~(p,kj)p2dp2π20.\displaystyle=(E-E_{d}+i\epsilon)\int_{0}^{\infty}\psi_{d}(p){1\over E-{p^{2}\over m}+i\epsilon}\tilde{V}(p,k_{j}){p^{2}dp\over 2\pi^{2}}-0. (39)

The last equality is because of

0ψd(p)V~(p,kj)p2dp2π2=0ψd(p)(V(p,kj)ψd(p)(Edp2m)(Edkj2m)Cψd(kj))p2dp2π2\displaystyle\int_{0}^{\infty}\psi_{d}(p)\tilde{V}(p,k_{j}){p^{2}dp\over 2\pi^{2}}=\int_{0}^{\infty}\psi_{d}(p)\left(V(p,k_{j})-\psi_{d}(p){(E_{d}-{p^{2}\over m})(E_{d}-{k_{j}^{2}\over m})\over C}\psi_{d}(k_{j})\right){p^{2}dp\over 2\pi^{2}} (40)
=0ψd(p)V(p,kj)p2dp2π20ψd2(p)(Edp2m)(Edkj2m)Cψd(kj)p2dp2π2\displaystyle=\int_{0}^{\infty}\psi_{d}(p)V(p,k_{j}){p^{2}dp\over 2\pi^{2}}-\int_{0}^{\infty}\psi_{d}^{2}(p){(E_{d}-{p^{2}\over m})(E_{d}-{k_{j}^{2}\over m})\over C}\psi_{d}(k_{j}){p^{2}dp\over 2\pi^{2}} (41)
=(Edkj2m)ψd(kj)(Edkj2m)ψd(kj)=0.\displaystyle=(E_{d}-{k_{j}^{2}\over m})\psi_{d}(k_{j})-(E_{d}-{k_{j}^{2}\over m})\psi_{d}(k_{j})=0. (42)

Appendix B a proof for Eq.(27)

Let’s start with the left side of Eq.(27).

1Edp2m0VGSE(p,p)ψd(p)p2dp2π2\displaystyle{1\over E_{d}-{p^{2}\over m}}\int_{0}^{\infty}V_{GSE}(p,p^{\prime})~{}\psi_{d}(p^{\prime}){p^{\prime 2}dp^{\prime}\over 2\pi^{2}} (43)
=1Edp2m0(i=1Nj=1Ngi(p)Λ~i,jgj(p)+g0(p)1Cg0(p))ψd(p)p2dp2π2\displaystyle={1\over E_{d}-{p^{2}\over m}}\int_{0}^{\infty}\left(\sum_{i=1}^{N}\sum_{j=1}^{N}g_{i}(p)\tilde{\Lambda}_{i,j}g_{j}(p^{\prime})+g_{0}(p){1\over C}g_{0}(p^{\prime})\right)\psi_{d}(p^{\prime}){p^{\prime 2}dp^{\prime}\over 2\pi^{2}} (44)
=1Edp2m0i=1Nj=1Ngi(p)Λ~i,jgj(p)ψd(p)p2dp2π2+ψd(p)1C0ψd(p)(Edp2m)ψd(p)p2dp2π2\displaystyle={1\over E_{d}-{p^{2}\over m}}\int_{0}^{\infty}\sum_{i=1}^{N}\sum_{j=1}^{N}g_{i}(p)\tilde{\Lambda}_{i,j}g_{j}(p^{\prime})\psi_{d}(p^{\prime}){p^{\prime 2}dp^{\prime}\over 2\pi^{2}}+\psi_{d}(p){1\over C}\int_{0}^{\infty}\psi_{d}(p^{\prime})(E_{d}-{p^{\prime 2}\over m})\psi_{d}(p^{\prime}){p^{\prime 2}dp^{\prime}\over 2\pi^{2}} (45)
=1Edp2m0i=1Nj=1NV~(p,ki)Λ~i,jV~(kj,p)ψd(p)p2dp2π2+ψd(p)\displaystyle={1\over E_{d}-{p^{2}\over m}}\int_{0}^{\infty}\sum_{i=1}^{N}\sum_{j=1}^{N}\tilde{V}(p,k_{i})\tilde{\Lambda}_{i,j}\tilde{V}(k_{j},p^{\prime})\psi_{d}(p^{\prime}){p^{\prime 2}dp^{\prime}\over 2\pi^{2}}+\psi_{d}(p) (46)

If the first term disappears, the proof is complete, but it has already been proven in Eq. (42) that the term becomes 0. Therefore, Eq. ( 27 ) is proven.