Improvement to Generalized Separable Expansion Method in Lippmann-Schwinger Equation
Extracted source text · arXiv 2502.09911
%% Author_tex.tex
%% V1.1
%% 2012/18/6
%% Revised on 2015/20/1
%%
%% developed by Techset
%%
%% This file describes the coding for ptephy_v1.cls
%\documentclass{ptephy_v1}%%%%where ptephy_v1 is the template name
%\documentclass[preprint]{ptephy_v1}%%%%%% to generate preprint number
\documentclass[preprint,pteplogo]{ptephy_v2}%%%%%% to generate preprint number with ptep logo
%\documentclass[dvipdfmx,preprint,pteplogo]{ptephy_v1}%%%%%% to generate preprint number with ptep logo
\preprintnumber{2025-0214} %%% %%% Insert preprint number here
\usepackage{hyperref}
%The authors can define any packages after the \documentclass{ptephy_v1} command.
%\usepackage{amsmath} for dealing with mathematics,
%\usepackage{amsthm} for dealing with theorem environments,
%\usepackage{hyperref} for linking the cross references
%\usepackage{graphics} for dealing with figures.
%\usepackage{algorithmic} for describing algorithms
%\usepackage{subfig} for getting the subfigures e.g., "Figure 1a and 1b" etc.
%\usepackage{url} It provides better support for handling and breaking URLs.
\usepackage{doi}
%The author can find the documentation of additional supporting files from "http://www.ctan.org"
% *** Do not adjust lengths that control margins, column widths, etc. ***
\newtheorem{theorem}{Theorem}
\newtheorem{condition}{Condition}
\begin{document}
\title{Improvement to Generalized Separable Expansion Method in Lippmann-Schwinger Equation}
%%%% To generate auto affiliation numbers please use \author{}\affil{} command
\author{Hiroyuki Kamada$^{a,b}$}
\affil{$^a$Depatment of Physics, Faculty of Engineering, Kyushu Institute of Technology, Kitakyushu 804-8550, Japan, \\
$^b$Research Center for Nuclear Physics, Osaka University,\\
10-1 Mihogaoka, Ibaraki, Osaka 567-0047, Japan \email{kamada@rcnp.osaka-u.ac.jp} }
%\author{Hiroyuki Kamada}
%\affil{Kyushu Institute of Technology}
%\author{Insert third author name here}
%\author[3]{Insert fourth author name here} %%% Use optional bracket [3] to change the respective address
%\affil{Insert third author address here}
%\author{Insert last author name here\thanks{These authors contributed equally to this work}}
%\affil{Insert last author address here}
%%% To include the collaborator name... Please use the command "\collaborator"
%%% For example: \collaborator{ATLAS Collaboration}
\begin{abstract}%
%Bateman法は、Lippmann-Schwinger方程式に応用され、現実的な核子・核子間ポテンシャルは一般に分離型ではないが、それらを分離型ポテンシャルに変換する方法があり、その方法をGeneralized Separablr Expansion (GSE)とよんだ。ポテンシャルを3体方程式に代入するときに、2核子間ポテンシャルが分離型を仮定すると、2つのヤコビ運動量座標は1つになることから、3体Faddeev方程式は、1変数の積分方程式（Amado-Lovelace－Mittra方程式）になり便利である。従来のGSEは、2体散乱行列が2体束縛状態のエネルギー閾値で、正確な特異点を与えていなかった。新しく導入されるGSEは、この点を解析的に特異点が扱われるように改善した。
%The Bateman method is applied to the Lippmann-Schwinger equation.
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.
\end{abstract}
\subjectindex{xxxx, xxx}
\maketitle
\section{Introduction}
%This demo file is intended to serve as a ``starter file''
%for ptephy journal papers produced under \LaTeX\ using
%\verb+ptephy_v1.cls+ v0.1
%核子・核子（NN)系で波動方程式や散乱行列を求めるためには、Schr¥”odinger方程式やLippmann-Schwinger方程式を解くことになる。 後者の方程式は、運動量表示で扱う場合が多く、フレッドホルム型の積分方程式になる。その方程式うぃ連続変数のままに直接解く方法は、Kwalski-Noyes等によって示された。ｎ（＞２）体系を扱う場合、連続変数を減らす工夫が必要になる。
To investigate the wave function and the scattering matrix in a nucleon-nucleon (NN) system, one must solve the Sch\"odinger equation or the Lippmann-Schwinger equation. The latter equation is often treated in momentum representation, and becomes a Fredholm integral equation. Kowalski-Noyes showed \cite{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.
%一般にポテンシャルが分離型\cite{Yamaguchi}に表現されると、連続変数の扱いの自由度が減少するため、一般にｎ次元積分方程式がn-1次元方程式になるため、計算速度が加速する。
In general, when a potential is represented in a separable form \cite{Yamaguchi1954}, the degree of freedom to handle continuous variables is reduced, and so an integral equation of $n$ dimensions generally becomes an equation of $(n-1)$ dimensions, which accelerates the calculation speed.
%この利便性の他に、その分離型の形状因子の解析性を向上させれば、複雑な積分方程式の持つsingularityやカットの問題を、実変数を複素変数に変えることによって解決できる利点がある。
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.
%典型的な例を示せば、3核子系の3体問題はいわゆるFaddeev方程式を用いて計算されてきているが、2体系の座標は重心系で扱うことと部分波展開によって、2つの実変数の積分方程式になり、分離型ポテンシャルを用いることにより１変数の方程式を解けばよいことになる。
As a typical example, the three-body problem of a three-nucleon system has been calculated using the so-called Faddeev equation \cite{Faddeev1961}, which generally has two Jacobi momenta in the center mass system.
%but by treating the coordinates of the two systems in the center of mass frame and by performing
After partial wave expansion, the integral equation included with separable potential, is conveniently reduced to a one-variable integral equation (Amado-Lovelace equation)\cite{Amado1963, Lovelace1964}.
%スーパーコンピュータの助けもあり、3体散乱問題を近似なしに解く努力なされてきたが\cite{Gloecle}、4体問題や更に多体問題に進めようとする場合は、分離型展開法は本格的な計算をするための良い道しるべになる。現実的ポテンシャルから分離型ポテンシャルにする方法には、EST展開法\cite{EST}やUSE法\cite{USE}そして本論文で扱うGSE法\cite{GSE}がある。一般に、展開法の精度は、その階数が増加するにつれて良くなっていく。GSE法についての精度の検定\cite{GSEkentei}はRSCポテンシャル\cite{RSC}を用いてなされている。
With the help of supercomputers, efforts have been made to solve three-body scattering problems without approximations \cite{Gloeckle}, but when moving on to four-body problems \cite{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 \cite{EST}, the USE method \cite{USE}, and the Generalized Separable Expansion (GSE) \cite{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 \cite{GSEkentei} using the Reid Soft Core potential \cite{RSC}.
%分離展開した後のポテンシャルは、近似的なポテンシャルになり、ランクを向上させることで、次第に元のポテンシャルに近づいていく。この近づきの度合いを表す分離度が議論された。
The potential after separable expansion becomes an approximate potential as the rank increases, gradually approaching the original potential.
%The degree of separation is called "separability".
%この論文では、従来のGSE展開法がランク１でも、束縛状態を厳密には再現しないことを問題点とし、その改善を行った。
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.
%次の章では、改善されたGSEを導入し、3章では、束縛状態のエネルギー点において、散乱行列が1位の特異点を持つことを解析的に示す。また、元のポテンシャルから計算された束縛状態の波動関数を厳密に与えることも証明する。
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.
\section{An Improved Generalized Separable Expansion}
% 束縛状態を\psi_d とすると、次のSchre\"odinger方程式を満たす。
The bound state (deuteron) $\psi_d$ satisfies the following Schr\"odinger equation;
\begin{eqnarray}
(E_d - {p^2 \over m} ) ~\psi_d(\vec p)= \int V(\vec p, \vec p~') ~ \psi_d (\vec p~') { d\vec p~' \over (2\pi)^3}
\label{eq1}
\end{eqnarray}
where $E_d$ ($<0$) is a binding energy of the bound state and $V(\vec p, \vec p~') $ is a NN potential. $m$ is nucleon mass and $\vec p$ is the relative momentum between two nucleons. After a partial-wave decomposition, we represent Eq. (\ref{eq1}) as
\begin{eqnarray}
(E_d - {p^2\over m}) \psi_d (p) = \int _0^\infty V(p,p') \psi_d (p') {p'^2d p' \over 2 \pi^2}
\end{eqnarray}
%形状因子の1つとしてｇ_0（ｐ）を定義します。
Let us define $g_0(p)$ as a function;
\begin{eqnarray}
g_0(p)\equiv (E_d-{p^2\over m}) \psi_d(p)
\end{eqnarray}
And $\tilde V (p,p') $ is also defined as
\begin{eqnarray}
&& \tilde V(p,p') = V(p,p') -g_0(p){1 \over C} g_0(p')
\label{eq_4}
\end{eqnarray}
with
\begin{eqnarray}
&& C\equiv \int _0^\infty g_0(p) {1\over E_d -{p^2\over m} } g_0(p) {p^2 d p \over 2 \pi^2 } \cr
&& = \int _0 ^\infty \psi_d (p) (E_d -{p^2 \over m} ) \psi_d (p) {p^2 d p \over 2\pi^2} \cr &&
= \int_0^\infty \int _0 ^\infty \psi_d(p) V(p,p') \psi_d(p') {p^2 dp \over 2\pi^2} {p'^2 dp' \over 2\pi^2}=\langle V \rangle.
\end{eqnarray}
This $C$ means the potential expectation of the bound state.
%新しく定義された\tilde V をいわゆるGSE展開を行う。
We perform the conventional GSE expansion \cite{Oryu1974} of $\tilde V$ and add the separable term $g_0(p){1\over C}g_0(p')$.
\begin{eqnarray}
V_{GSE} (p,p') && = \sum _{i=1}^N \sum _{j=1}^N \tilde V(p,k_i) \tilde \Lambda_{i,j} \tilde V(k_j,p')+g_0(p){1\over C}g_0(p')\cr &&
= \sum _{i=0}^N \sum _{j=0}^N \tilde V(p,k_i) \Lambda_{i,j} \tilde V(k_j,p')= \sum_{i=0}^N\sum_{j=0}^N g_i(p) ~\Lambda_{i,j}~g_j(p'),
\label{eq_GSE}
\end{eqnarray}
where the momenta $k_i$ are the so-called Bateman parameters \cite{Bateman1921}. The Bateman parameters $k_i$ must be chosen appropriately so that the parameters are not too close to each other. The rank of the matrix $\Lambda_{i,j}$ is $N+1$. The matrix $\tilde \Lambda_{i,j}$ (rank $N$) is given by the matrix inversion of $\tilde V (k_j,k_i)$.
\begin{equation}
\Lambda_{i,j} \equiv
\left\{
\begin{alignedat}{4}
& {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{alignedat}
\right.
\end{equation}
and
\begin{equation}
g_i (p)\equiv
\left\{
\begin{alignedat}{2}
& g_0(p) & ~~~~~~ i=0 \\
&\tilde V(k_i,p) =\tilde V(p,k_i) & ~~~~~~~ i>0
\end{alignedat}
\right.
\end{equation}
%このあたらしいGSEは、本来のGSEのもつ性質を受け継いでいる。
The improved GSE potential $V_{GSE}$ in Eq. (\ref{eq_GSE}) inherits the properties of the original potential $V$;
\begin{eqnarray}
&& V_{GSE} (p,k_i) = \tilde V(p,k_i) + g_0(p)~{1\over C} ~g_0(k_i)%= \left(V(p,k_i) -g_0(p){1\over C} g_0(k_i) \right)+g_0(p)~{1 \over C}~g_0(k_i) \cr &&
=V(p,k_i) , \cr
&& V_{GSE} (k_i,p') = \tilde V(k_i,p') + g_0(k_i)~{1\over C} ~g_0(p')%= \left(V(p,k_i) -g_0(p){1\over C} g_0(k_i) \right)+g_0(p)~{1 \over C}~g_0(k_i) \cr &&
=V(k_i,p') .
\end{eqnarray}
%もちろんのことながら、エネルギーハーフシェルのLippmann-Schwinger方程式をみたすので、位相差は正確に算出される。
Of course, since the Lippmann-Schwinger equation (LS) of the energy half shell is satisfied, the phase shift can be calculated exactly.
%散乱行列をｔ＿GSEとして、次式を示すことができる。
With the scattering matrix $t_{GSE}$, the following equation can be shown;
\begin{eqnarray}
&& t_{GSE}(k_i,p';E_i )= V_{GSE} (k_i, p')+\int _0^\infty V_{GSE}(k_i,p'') {1\over E_i - {{p''}^2 \over m} +i\epsilon} ~ t_{GSE}(p'',p';E_i) {{p''}^2d p''\over 2\pi^2} \cr
&& =V(k_i, p')+\int _0^\infty V(k_i,p'') {1\over E_i - {{p''}^2 \over m} +i\epsilon} ~t_{GSE}(p'',p';E_i) {{p''}^2d p''\over 2\pi^2}
\label{GSE_LS}
\end{eqnarray}
with
\begin{eqnarray}
E_i \equiv {k_i^2 \over m}.
\end{eqnarray}
%したがって、もともとの散乱行列をｔとした場合、次式をみたすので、
Comparing Eq.(\ref{GSE_LS}) to the original scattering t-matrix $t$ which satisfies with the following the LS equation,
\begin{eqnarray}
t(k_i,p';E_i )=V(k_i, p')+\int _0^\infty V(k_i,p'') {1\over E_i - {{p''}^2 \over m} +i\epsilon} ~t(p'',p';E_i) {{p''}^2d p''\over 2\pi^2}.
\label{LS}
\end{eqnarray}
%ｔ＿ＧＳＥとｔとの関係は、次式のようになる。
The relation between $t_{GSE}$ and $t$ is expressed by the following equations.
\begin{eqnarray}
t_{GSE}(k_i,p';E_i)=t(k_i,p';E_i)
\end{eqnarray}
and
\begin{eqnarray}
t_{GSE}(k_i,k_i;E_i)=t(k_i,k_i;E_i).
\end{eqnarray}
%一般に運動量$p$が$k_i$以外の値の点で両者は等しくないが、ランクNを十分に増やすことによって近似が改善される。
In general, the two are not equal for the momentum values $p$ other than $k_i$, but the approximation can be improved by increasing the rank N sufficiently.
\begin{eqnarray}
t_{GSE}(p,p';E_i) \ne t(p,p';E_i) ~~~~ p\ne k_i, ~~{\rm nor}~~ p'\ne k_j
\end{eqnarray}
\section{Singularity of t-matrix}
The GSE scattering matrix (t-matrix) $t_{GSE} (E)$ is given the separable form as
\begin{eqnarray}
t_{GSE}(p,p';E)= \sum_{i=0}^N \sum_{j=0}^N g_i(p)~\tau_{i,j}(E)~g_j(p),
\end{eqnarray}
where $E$ is an arbitrary c.m. energy between 2 nucleons.
The improved GSE potential $V_{GSE} $ in Eq. (\ref{eq_GSE}) is substituted into the LS equation in Eq. (\ref{GSE_LS}) for arbitral energy $E$. We have
\begin{eqnarray}
\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),
\end{eqnarray}
and sandwich by the inverse matrices $[\Lambda]^{-1}$ and $ [\tau]^{-1}$, namely,
\begin{eqnarray}
\Lambda^{-1}_{i,j} = \tau^{-1}_{i,j}(E) + I_{i,j}(E)
\label{tauinv2}
\end{eqnarray}
with
\begin{eqnarray}
I_{i,j}(E)\equiv \int_0^\infty g_i(p){1\over E-{p^2\over m}+i\epsilon} g_j(p) {p^2dp \over 2\pi^2 }
\label{Iij}
\end{eqnarray}
The integral $I_{i,j}(E) $ in Eq.(\ref{Iij}) is calculated in case of $j=0$ ( see Appendix \ref{apdx1});
\begin{eqnarray}
\tau^{-1}_{i,0}(E) = \left\{
\begin{alignedat}{2}
& (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{alignedat}
\right.
\label{tauinv}
\end{eqnarray}
%このことから、明らかに$\tau$は$1\over E-E_d$に比例し、E=E＿ｄで発散する。
From this it is clear that $\tau_{i,j}(E)$ is proportional to $1\over E-E_d+i\epsilon $ and diverges at $E=E_d$.
\begin{eqnarray}
\tau_{i,j} \propto {1\over E-E_d +i\epsilon}.
\end{eqnarray}
The original bound wave function $\psi_d$ satisfies the following LS equation in $E=E_d$ (see Appendix \ref{apdx2}).
\begin{eqnarray}
&& {1\over E_d-{p^2\over m} } \int_0^\infty V_{GSE} (p,p') ~\psi_d(p') {p'^2 dp' \over 2\pi^2} =\psi_d(p)
\label{eq_wf}
\end{eqnarray}
%すなわち＄V＿GSE$による束縛状態$\psi_{GSE}$は元の束縛状態$\psi_d$に等しい。
In other words, the bound state $\psi_{GSE}$ calculated from $V_{GSE}$ is equal to the original bound state $\psi_d$.
\begin{eqnarray}
\psi_{GSE}(p)=\psi_d (p).
\end{eqnarray}
\section{Conclusion and Outlook}
%従来のGSE\cite{Oryu}との違いは、束縛状態を特別扱いをしている。すなわち、束縛状態\psi_dを用いて、元のポテンシャルVの中から、その状態を取り除いたものを$¥tilde V$を準備する。その$\tilde V$を通常のGSE展開をした後に、束縛状態を生成する項を加えた。新しいGSEポテンシャルをもちいれば、散乱行列t-matrixが束縛状態のエネルギー点で1位の特異点を持ちかつ、GSEポテンシャルから正確に束縛状態も再現されることが示せた。
The difference from conventional GSE \cite{Oryu1974} is that the bound state is treated specially. In other words, the bound state $\psi_d$ is used to prepare $\tilde V$ by removing that state from the original potential $V$ in Eq.(\ref{eq_4}). Following the traditional GSE prescription, we expand $\tilde V$ into a separable form, and add a term that generates the bound state in Eq. (\ref{eq_GSE}). 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.
%近年、低運動量ポテンシャルに変換して少数多体系への応用がなされている\cite{Fujii}。選ばれた運動量以下と以上のHilbert空間を分離することができた。この低運動量ポテンシャルについてUSE分離展開を行うと、格段にその分離度を向上させることが分かった\cite{Kamada}。
In recent years, it has been converted to a low-momentum potential and applied to few-body systems \cite{Fujii2004}. It is possible to separate Hilbert spaces below and above a selected momentum \cite{Bogner2002}. It is shown that performing a USE separation expansion\cite{USE} on this low-momentum potential significantly improves the separability \cite{separability,separability2}.
%この論文で議論された改良されたGSEポテンシャルを用いて、その低運動量ポテンシャルを分離展開をすれば、有用な分離展開が期待される。
Using the improved GSE potential discussed in this paper and expanding the low-momentum potential, an available expansion with high separability might be expected.
\section*{Acknowledgment}
This work is supported by Japan Society for the Promotion of Sciene (JSPS) KAKENHI Grants No. JP22K03597.
\begin{thebibliography}{100}
\bibitem{Noyes1965}
H. P. Noyes, Phys. Rev. Lett. {\bf 15}, 538 (1965).\\
\doi{https://doi.org/10.1103/PhysRevLett.15.538}
\bibitem{Kowalski1965}
K. L. Kowalski, Phy. Rev. Lett. {\bf 15}, 798 (1965).\\
\doi{ https://doi.org/10.1103/PhysRevLett.15.798}
\bibitem{Yamaguchi1954}
Y. Yamaguchi, Phys. Rev. {\bf 95}, 1628 (1954).\\
\doi{https://doi.org/10.1103/PhysRev.95.1628}
\bibitem{Faddeev1961}
L. D. Faddeev, Sov. Phys. JETP {\bf 12}, 1014 (1961).
\bibitem{Amado1963}
R. Amado, Phys. Rev. {\bf 132}, 485 (1963). \\
\doi{https://doi.org/10.1103/PhysRev.132.485}
\bibitem{Lovelace1964}
C. Lovelave, Phys. Rev. {\bf 135}, B1225 (1964). \\
\doi{https://doi.org/10.1103/PhysRev.135.B1225}
\bibitem{Gloeckle}
W. Gl\"ockle, H. Wita\l{}a, D. H\"uber, H. Kamada, J. Golak,
Physics Reports, {\bf 274}, 107 (1996).
\doi{https://doi.org/10.1016/0370-1573(95)00085-2}
\bibitem{Kamada2001}
H. Kamada, A. Nogga, W. Gl\"ockle, E. Hiyama {\it et al.},
Phys. Rev. C {\bf 64}, 044001 (2001). \\
\doi{https://doi.org/10.1103/PhysRevC.64.044001}
\bibitem{Uzu2003}
E. Uzu, H. Kamada, and Y. Koike,
Phys. Rev. C {\bf 68}, 061001(R) (2003). \\
\doi{https://doi.org/10.1103/PhysRevC.68.061001}
\bibitem{EST}
D. J. Ernst, C. M. Shakin, and R. M. Thaler, Phys. Rev.
C {\bf 8}, 46 (1973);{\bf 9}, 1780 (1974). \\
\doi{https://doi.org/10.1103/PhysRevC.8.46}
\bibitem{USE}
Y. Koike, Phys. Rev. C {\bf 42}, R2286 (1990). \\
\doi{https://doi.org/10.1103/PhysRevC.42.R2286}
\bibitem{Oryu1974}
S. Oryu, Prog. Theor. Phys. {\bf 52}, 550 (1974).\\
\doi{https://doi.org/10.1143/PTP.52.550}
\bibitem{GSEkentei}
S. Oryu, Phys. Rev. C {\bf 27}, 2500 (1983). \\
\doi{https://doi.org/10.1103/PhysRevC.27.2500}
\bibitem{RSC}
R. V. Reid, Ann. Phys. (N.Y.) {\bf 50}, 411 (1968). \\
\doi{https://doi.org/10.1016/0003-4916(68)90126-7}
\bibitem{Bateman1921}
H. Bateman, Proc. Roy. Soc. A {\bf 100}, 441 (1921). \\
\doi{https://doi.org/10.1098/rspa.1922.0009}
\bibitem{Fujii2004}
S. Fujii, E. Epelbaum, H. Kamada, R. Okamoto, K. Suzuki and W. Gl\"ockle,
Phys. Rev. C {\bf 70}, 024003 (2004).\\
\doi{https://doi.org/10.1103/PhysRevC.70.024003}
\bibitem{Bogner2002}
S. Bogner, T. T. S. Kuo, L. Coraggio, A. Covello and N. Itaco, Phys. Rev. C {\bf 65},
051301(R), (2002).
\doi{https://doi.org/10.1103/PhysRevC.65.051301}
\bibitem{separability}
H. Kamada, S. Fujii, E. Uzu, M. Yamaguchi, R. Okamoto, Y. Koike,
Prog. Theor. Phys. {\bf 115}, 839 (2006). \\
\doi{https://doi.org/10.1143/PTP.115.839}
\bibitem{separability2}
H. Kamada, S. Fujii, E. Uzu, M. Yamaguchi, R. Okamoto, Y. Koike,
Nucl. Phys. A {\bf 790}, 398c (2007). \\
\doi{https://doi.org/10.1016/j.nuclphysa.2007.03.070}
\end{thebibliography}
%\section*{Appendix}
\appendix
\section{a proof for Eq.(\ref{tauinv})}
\label{apdx1}
We start from Eq.(\ref{tauinv2}).
\begin{eqnarray}
\tau^{-1}_{i,j}(E)= \Lambda^{-1}_{i,j} - I_{i,j} (E)
\end{eqnarray}
In the case of $j=0$ we have ;
\begin{eqnarray}
&& \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} \cr
&& = 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} \cr
&& =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} \cr
&& = 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 \cr
&& = (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^2dp \over 2\pi^2}.
\end{eqnarray}
In the case of $j\ne 0$ we have
\begin{eqnarray}
&&\tau^{-1}_{0,j}(E)= 0 - \int _0^\infty g_0 (p) {1\over E-{p^2\over m}+i\epsilon} g_j(p) \cr
&& = -\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} \cr
&& = -\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} \cr
&& = (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^2dp \over 2\pi^2} - \int_0^\infty \psi_d(p) \tilde V(p,k_j) {p^2 dp \over 2 \pi^2} \cr
&& = (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^2dp \over 2\pi^2} -0.
\end{eqnarray}
The last equality is because of
\begin{eqnarray}
&&\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} \cr
&& = \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} \cr
&& = (E_d -{k_j^2 \over m})\psi_d (k_j) - (E_d-{k_j^2\over m}) \psi_d(k_j) = 0.
\label{a1}
\end{eqnarray}
\section{a proof for Eq.(\ref{eq_wf})}
\label{apdx2}
%Eq.(\ref{eq_wf})の左辺から始めよう。
Let's start with the left side of Eq.(\ref{eq_wf}).
\begin{eqnarray}
&& {1\over E_d-{p^2\over m} } \int_0^\infty V_{GSE} (p,p') ~\psi_d(p') {p'^2 dp' \over 2\pi^2} \cr
&& ={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') +g_0(p){1\over C}g_0(p')\right) \psi_d(p') {p'^2 dp'\over 2\pi^2 } \cr
&& = {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') \psi_d(p') {p'^2 dp'\over 2\pi^2}
+ \psi_d(p) {1\over C} \int_0^\infty \psi_d(p') (E_d-{p'^2\over m})\psi_d(p') {p'^2 dp'\over 2\pi^2 } \cr
&& = {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') \psi_d(p') {p'^2 dp'\over 2\pi^2}
+ \psi_d(p)
\end{eqnarray}
%第1項が消えれば、証明が完了するが、その項が０になることは\ref{a1}で証明済みである。よって、\ref{eq_wf}の式は証明された。
If the first term disappears, the proof is complete, but it has already been proven in Eq.
(\ref{a1}) that the term becomes 0. Therefore, Eq. ( \ref{eq_wf} ) is proven.
\end{document}