Abstract
A dispersive analysis of \(\eta \rightarrow 3\pi \) decays has been performed in the past by many authors. The numerical analysis of the pertinent integral equations is hampered by two technical difficulties: (i) The angular averages of the amplitudes need to be performed along a complicated path in the complex plane. (ii) The averaged amplitudes develop singularities along the path of integration in the dispersive representation of the full amplitudes. It is a delicate affair to handle these singularities properly, and independent checks of the obtained solutions are demanding and time consuming. In the present article, we propose a solution method that avoids these difficulties. It is based on a simple deformation of the path of integration in the dispersive representation (not in the angular average). Numerical solutions are then obtained rather straightforwardly. We expect that the method also works for \(\omega \rightarrow 3\pi \).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The study of the \(\eta \rightarrow 3\pi \) decay process is interesting, first and foremost, in the context of the determination of the quark mass ratio
In order to extract the value of Q to high precision, it is very important to have a robust control on the final-state interactions in this decay, which lead to a strong effect in the width. To this end, one would like to have a non-perturbative framework, allowing the resummation of a certain class of the final-state interactions to all orders. Dispersion relations are the ideal tool for this. Incorporating 2-particle unitarity and crossing symmetry then leads to a system of coupled integral equations for the 3 isospin amplitudes in this decay. It took quite some time until these equations were written down in their final form. The development started with the pioneering work of Khuri and Treiman [1]. The mathematical structure of this type of equation was investigated in the following decade [2,3,4,5,6,7,8,9,10], see also the monograph [11]. Later, interest in the dispersive method waned. A revival occurred in the nineties, when it was demonstrated [12,13,14,15] how dispersion relations allow one to incorporate final state interactions of S- and P-waves in a reliable and calculable manner. Refs. [13, 14] contain a detailed discussion of the role of subtractions in the dispersive representation, while the uniqueness of the solutions is investigated in [14]. Further, current algebra [16] and chiral perturbation theory results [17] were used to relate the parameter Q to this framework (normalization of the dispersive amplitude), and to get a handle on the subtraction constants. For a review of the early developments until 1990 we refer the reader to Ref. [12], see also the lecture notes [18]. An improved representation of the \(\pi \pi \) phase shifts [19, 20], the evaluation of electromagnetic corrections [21, 22] as well as new experimental information on this decay [23,24,25,26,27,28,29,30] triggered new investigations of \(\eta \rightarrow 3\pi \) in the dispersive framework [31,32,33,34,35,36,37,38,39,40,41]. A very comprehensive analysis has recently been presented in Ref. [42]. For applications of the dispersive framework in other three-body decays, see Refs. [34, 35, 43,44,45,46,47]. Further attempts to incorporate a class of final state interactions in the \(\eta \rightarrow 3\pi \) amplitudes may be found in Refs. [17, 48,49,50,51,52].
The present article is devoted to a discussion of numerical methods to solve the integral equations that occur in the formulation of Ref. [42]. In this connection, the investigations [2,3,4,5,6,7,8,9,10] revealed the following two important aspects:
-
(i)
In the evaluation of the angular averages of the amplitudes, the integration path in \(z=\cos \theta \) must be deformed into the complex plane, in order not to destroy the holomorphic properties of the amplitudes. The deformation is fixed by providing the (eta mass)\(^2\) with an infinitesimal positive imaginary part: \(M_\eta ^2\rightarrow M^2=M_\eta ^2+i\delta \) , with \(\delta \rightarrow 0^+\) at the end of the calculation.
-
(ii)
Singularities emerge in the angular averaged amplitudes, at the pseudothreshold \(s=(M_\eta -M_\pi )^2\). Some of these singularities are of a non-integrable type in the Lebesgue sense. The (positive) imaginary part of the eta mass, however, acts as a regulator, that can be removed after the dispersive integral has been performed. Handling these singularities properly is a delicate affair, as is illustrated e.g. by the discussions in Refs. [13, 15, 31, 35, 41, 42, 45, 52].
We shortly mention several previous methods to obtain solutions of these equations. In Refs. [13, 15, 31,32,33, 42, 43], the equations were solved directly through iterations, with a careful treatment of the mentioned singularities. In Refs. [35, 41], integral kernels are introduced, which make the numerical procedure faster, and which identify the mentioned singularities at the pseudothreshold in a clear fashion. Through the interchange of the order of integrations, the so-called Pasquier inversion [9, 10], it is possible to carry out one integration and to obtain integral equations in one variable that are further solved by iterations (see Refs. [36, 39, 53, 54] for more details). Finally, it is possible to obtain integral equations for the angular averaged amplitudes instead of the amplitudes themselves. This technique has recently been invoked in Refs. [44, 45]. Last but not least, the convergence of the iterative procedure to solve the equations is not a priori guaranteed. The iterative procedure converges very well (typically, after 3–4 iterations) in the \(\eta \rightarrow 3\pi \) decays, but the convergence becomes an issue for decaying particles with heavier masses, or for equations with more subtractions [45]. For this reason, e.g., in Ref. [44], a matrix inversion method was used to find a solution beyond the iterative procedure. These enterprises are numerically very demanding, in particular for the reasons spelled out above.
In the following, we propose a numerical framework that avoids the difficulties (i) and (ii) altogether. We show that one may deform the integration path in the dispersion integral (not in the angular average) into the complex plane. After choosing a properly deformed path, the integrand becomes regular, even at \(\delta =0\) (except at threshold, where a mild, integrable square root singularity persists). In addition, the angular integration can be carried out in the original interval \(-1 \le z \le 1\). Further, discretizing the integrals through a Gauss–Legendre quadrature, the integral equations are transformed into a set of linear matrix equations, whose solution is easily found by iterations. The procedure is pretty straightforward, takes very little CPU time and does not lead to any spurious irregularities in the solutions.Footnote 1
The idea to avoid singularities in integration through path deformation is not new. An early reference is the work of Hadamard [56], whose method was rediscovered 50 years later by investigation of analytic properties of perturbation theory [57, 58], and then extended and extensively used in S-matrix theory [58]. The analogue of the procedure for the quantum-mechanical three-body problem is well known since decades [59, 60]. As already said, Aitchison and Pasquier mentioned this possibility for Khuri–Treiman-type equations in Ref. [55]. For the numerical evaluation of loop graphs in Quantum Field Theory, path deformations in momentum space [61] as well as in Feynman parameter space [62] are used. All these techniques, including the present one, may be summarized under the heading “Applications of Cauchy’s integral theorem”.
The layout of the article is as follows. In Sect. 2, we display the integral equations for the \(\eta \rightarrow 3\pi \) amplitudes in the form worked out recently in Ref. [42]. We describe in some details the technical difficulties that one encounters while solving the equations in Sect. 3, while in Sect. 4, we define the deformed path in the dispersion integral and show that in this manner, the singularities in the integral equations disappear. In Sect. 5 we describe the numerical procedure for solving the equations, whereas a summary and conclusions are given in Sect. 6. In Appendix A we comment on the phase shifts used and collect some notation. The holomorphic continuation of the integrand is discussed in Appendix B, path deformations in general are investigated in Appendix C, and the case \(\omega \rightarrow 3\pi \) is shortly discussed in appendix D.
2 The equations
We start from the integral equations for the three isospin amplitudes \(M_I(s)\) in the framework specified in [42],
The various quantities are defined as follows. The Omnès functions are
where \(\delta _I(x)\) denote the elastic \(\pi \pi \) phase shifts (S-wave for \(I=0,2\), P-wave for \(I=1\)). The hat-functions \({{\hat{M}}}_I\) are defined in terms of angular averages,
with
where
Finally, the measures are
and
The \(C^m_{II'}(x,\kappa )\) are polynomials in x and \(\kappa \), and \(P_I(s)\) denote subtraction polynomials, see [42]. The phase shifts \(\delta _I\) are needed as input to solve these equations. We relegate a discussion of them to the Appendix A, where we also collect some of the notation used below.
3 Technical hurdles
During the numerical, iterative solution of the Eqs. (2)–(6), two main problems occur.
(i) The angular averages \(\langle z^m M_I \rangle (x)\) amount to an integration along the path h(x, z) of the argument of the amplitudes \(M_I\). For fixed x, the argument runs along a straight line, from \(h_-(x)\) to \(h_+(x)\), where
The Kacser function \(\kappa (M^2,M_\pi ^2,x)\) [5] is holomorphic in the complex x-plane, cut along the real axis from \(x=0\) to \(x=4 M_\pi ^2\) and along a straight line from \(x=(M-M_\pi )^2\) to \(x=(M+M_\pi )^2\) , see Fig. 1.Footnote 2 Therefore, fixing its value at some point in the complex x-plane renders it unique in the cut plane. In the following, we use the convention
In Fig. 2, we display the endpoints \(h_\pm (x)\) as the integration variable x runs from the threshold to infinity. Because \(\kappa (M^2,M_\pi ^2,x)\) is holomorphic in the cut x plane, the endpoints \(h_\pm \) move – for \(\delta > 0\) – along curves that are infinitely often differentiable with respect to the real variable x. The dash–dotted vertical line connects the endpoints \(h_\pm (x)\) with \(x_2\!<\!x\!<\!x_3\). It is seen that a straight line between \(h_-(x)\) and \(h_+(x)\) crosses the integration path in the dispersive representation (2). This is also the case for \(x_1\!<\!x\!<\!x_2\). The problem is discussed at many places in the literature – early references are [2, 4]. Its solution amounts to deform the path in the z integration (or in the integration over the variable h after a change of variables \(z\rightarrow h\)), such that this crossing is avoided. We do not discuss this point any further here.
(ii) The second problem arises after the angular integration has been performed in one way or the other. The angular averages develop singularities of the type
where \(p=(\frac{1}{2},\frac{3}{2},\frac{1}{2})\) for \(I=(0,1,2)\), and K denotes a constant. These singularities then show up in the dispersive integrals (2). It turns out that, after the integration over x has been performed, the limit \(M \rightarrow M_\eta \) exists. [See e.g. Refs. [13, 42], where the dispersive integral has been worked out explicitly.] We note that the case \(p=\frac{3}{2}\) corresponds to a non–integrable singularity at \(\delta =0\): one is not allowed to interchange the limit \(\delta \rightarrow 0^+\) with the integration over x. These singularities render the standard procedure to construct a numerical solution of the integral equations rather delicate and cumbersome. In the following, we present a method to solve these equations in an easy and straightforward manner, that avoids the problems (i) and (ii) altogether. [Including higher partial waves leads to even stronger singularities [63]. Our method also covers these cases, see the following section.]
4 Avoiding singular integrals
There is a simple way to cope with the singularities of the angular averages. To illustrate, we consider the integral [13, 42]
We display in Fig. 3 the singularities of the integrand with two black dots in the complex x-plane: one at \(x=s+i\epsilon \), the second at \(x=(M-M_{\pi })^2{\mathop {\rightarrow }\limits ^{\delta \rightarrow 0^+}}x_2\). We have also drawn a cut that emerges from the branch point at this second singularity, reaching out to \(x = \infty +i\delta \) (dotted line). The path of integration is indicated with a solid line, from \(x_1\) to \(x_3\). We now observe that the integrand is holomorphic in the complex half-plane Im\((x)\!<\!\epsilon ,\delta \). Therefore, we may deform the path of integration into the polygonal line \(x_1B_1C_1X_3\) (dashed), without changing the value of the integral. There are then no singularities anymore on the integration path, and we may set \(\epsilon =\delta =0\) before performing the integration. This proves that the limit \(\epsilon ,\delta \rightarrow 0^+\) of the original integral (10) exists [13, 42]. [It is obvious that this remains true if the exponent 3 / 2 in (10) is replaced by any \(p\in {}\mathbb {C}\).] On the other hand, approaching the real axis from below, one encounters a pinch singularity at \(s=(M-M_\pi )^2\), which results in a singular behaviour of the function G(s).
A numerical integration along the dashed path does not pose any problems, because the integrand is smooth as a function of x. To illustrate, we display in Fig. 4 the real part (solid line) and imaginary part (dashed line) of the function G(s) (analytic expression is given in [42]), in units of the pion mass. For comparison, the result of the numerical integration along the dashed polygonal line with 160 Gauss–Legendre points is shown with filled circles. It is seen that the agreement is perfect.
We now use the same method in the original equations (2). Suppose that the integrand in (2) is holomorphic in some region \(\hbox {Im}(x)\!<\! 0\) (we discuss this point in appendix B). Then we can avoid the singularities generated by the zeros in the function \(\kappa (M^2,M_\pi ^2,x)\) by deforming the path as shown in Fig 1. Aside from avoiding the singularities in \({\hat{M}}_I(x)\), this procedure has the following advantage. Consider the endpoints of the angular integration as they now occur on the deformed path, see Fig. 5. There, we display the two endpoints \(h_\pm (x)\). It is seen that the problem with leaving the holomorphy domain of \(M_I(s)\) does not occur anymore. See also Fig. 6, where we display some of the paths \(h(x,z),~ -1\le z \le 1\), that connect \(h_\pm (x)\). We conclude that one can solve the Eq. (2) in their original form, avoiding complicated path deformations and singular integrals, provided that the path of integration in (2) is deformed properly – e.g. according to Fig. 1.
The deformed path displayed in Fig. 1 is obviously not the only one with these properties – see Appendix C for a discussion of this point.
5 Solving the integral equations
Finally, we make use of the fact that now, the integrands are smooth along the path of integration for \(s<D\), except at the threshold \(s=4 M_\pi ^2\), where an integrable singularity of the type \(\text{ const }/\sqrt{x-4M_\pi ^2}\) occurs (note that \({{\hat{M}}}_I(x)\rightarrow \) const. as \(x\rightarrow 4M_\pi ^2)\). The singularity can be tamed with a variable transformation \(z=A+(B-A)\tau ^2\,,0\le \tau \le 1\). Therefore, an integration using the Gauss–Legendre method [64] is adequate. As we now show, this method has the further advantage that the integral equations boil down to a matrix equation, with matrix elements that need to be evaluated only once, before the iteration, which then becomes trivial.
We use Gauss–Legendre quadrature both for integration over x and over z. The integration path over x is split into linear pieces: AB, BC, CD and DF (the point F corresponds to the upper limit of integration: the phase shifts \(\delta _I(x)\) are equal either to 0 or to \(\pi \), if x moves right to F). The variable x from each interval is mapped to the interval [0, 1], and the Gauss–Legendre mesh points \(x_i\) and weights \(w^x_i\) are used to carry out the integration. The number of points on these intervals is \(N_{AB}\), \(N_{BC}\), \(N_{CD}\) and \(N_{DF}\), respectively. Further, the integral over z for a given x always runs from \(-1\) to 1. The mesh points and weights are denoted by \(z_a\) and \(w^z_a\), respectively, and the number of mesh points is chosen to be \(L_{AB}\), \(L_{BC}\), \(L_{CD}\) and \(L_{DF}\) for x belonging to the one of the above intervals.
It is useful to introduce a multi-index,
Here,
Combining the Eqs. (2) and (4), we may write
where
Finally, letting the variable s run over the set \(h_\alpha ,~\alpha =1,\ldots N\) and introducing the notations \(R_{II'}^{\beta \alpha }=w_\alpha \varOmega _I(h_\beta )K_{II'}(h_\beta ,h_\alpha )\) and \(G_I^\beta =\varOmega _I(h_\beta )P_I(h_\beta )\), we can write down Eq. (13) as a matrix equation
This equation generates iteration series for the vectors \(M_I^\beta \), \(I=0,1,2\), which are rapidly convergent for \(\eta \rightarrow 3\pi \) (note that the quantities \(R_{II'}^{\beta \alpha }\) need to be evaluated only once for a given set of phase shifts). For \(s\not \in [D,F]\), the amplitudes can then be directly constructed from \(M_I^\beta \) by using the dispersive representation (2). For \(s\in [D,F]\), the angular averaged amplitude must be interpolated to perform the Cauchy integral. Moreover, if one manages to invert the large matrix \(R_{II'}^{\beta \alpha }\) numerically, Eq. (15) can be solved directly, without iterations, even if the latter do not converge [44]. Because there was no need to do so in our case, we sticked to the iteration procedure.
Finally in Fig. 7, we display the isospin zero amplitude for one particular choice of the subtraction polynomials, and for a specific choice of the \(\pi \pi \) phase shifts. The amplitude agrees with the one constructed by Lanz [65], except near the threshold, where the cusp structure is different, and near the pseudo-threshold in the \(I=1\) channel.
6 Summary and conclusions
-
1.
We have considered numerical aspects of the integral equations Eqs. (2)–(6) that govern \(\eta \rightarrow 3\pi \) decays [42]. The standard approach to solve these equations numerically is confronted with two main technical hurdles: angular averages along complicated paths in the complex plane, and singularities of the integrand near the integration path in the dispersive representation.
-
2.
Holomorphicity of the phase shifts in the low energy region allows one to deform the original path of integration in the dispersive representation (not in the angular averages). Both problems disappear [55]: The angular averages can be performed in their original form, and there are no nearby non–integrable singularities on the integration path.
-
3.
As the integrands are smooth, a Gauss–Legendre integration becomes feasible. The integral equations turn into a matrix equation, whose iterative solution can be obtained very efficiently.
-
4.
We have constructed the 6 fundamental solutions [42] of Eqs. (2)–(6) for several sets of phase shifts, in the region \(0\!<\!s\!<\!20 \, M_\pi ^2\). The results generally agree with the solutions obtained by Lanz [65].
-
5.
Tables with the fundamental solutions for 8 different sets of phase shifts can be found as ancillary files in the archive version of the present article under the link https://arxiv.org/abs/1809.06399, together with tables for the phase shifts used.
-
6.
As we show in Appendix D, the very same technique is expected to also work for \(\omega \rightarrow 3 \pi \) [43]. It remains to be seen to what extent it can be applied to other three-body decays and to the calculation of form factors [34, 35, 43,44,45,46,47].
Notes
In the final stage of this work, we became aware of an article by Aitchison and Pasquier [55], who, more than 50 years ago, noticed the dual feature of deforming integration paths in the angular average and in the dispersive integral. They also noticed that in this manner, the singularity at the pseudothreshold in the dispersive integral can be avoided. See also further references quoted there. To the best of our knowledge, the method has, however, never been applied to the problem at hand.
The branch points at \(x=(M\pm M_\pi )^2\) are located in the upper half plane because of the prescription \(M_\eta ^2\rightarrow M^2=M_\eta ^2+i\delta ,~\delta >0\). It is here that the sign of the imaginary part in \(M^2\) matters.
References
N.N. Khuri, S.B. Treiman, Pion-Pion scattering and \(\text{ K }^{\pm } \rightarrow 3\pi \) decay. Phys. Rev. 119, 1115 (1960)
V.N. Gribov, V.V. Anisovich, A.A. Anselm, Contribution to the theory of the \(\pi + N \rightarrow N + \pi + \pi \) and \(\gamma + N \rightarrow N + \pi + \pi \) reactions near threshold. Sov. Phys. JETP 15, 159 (1962)
G. Bonnevay, A model for final-state interactions. Nuov. Cim. 30, 1325 (1963)
J.B. Bronzan, C. Kacser, Khuri-Treiman representation and perturbation theory. Phys. Rev. 132, 2703 (1963)
C. Kacser, Analytic structure of partial-wave amplitudes for production and decay processes. Phys. Rev. 132, 2712 (1963)
J.B. Bronzan, Overlapping resonances in dispersion theory. Phys. Rev. 134, B687 (1964)
I .J .R. Aitchison, Logarithmic singularities in processes with two final-state interactions. Phys. Rev 133, B1257 (1964)
I.J.R. Aitchison, Dispersion theory model of three-body production and decay processes. Phys. Rev. 137, B1070 (1965)
R. Pasquier, J.Y. Pasquier, Khuri-Treiman-type equations for three-body decay and production processes. Phys. Rev. 170, 1294 (1968)
R. Pasquier, J .Y. Pasquier, Khuri-Treiman-type equations for three-body decay and production processes. II. Phys. Rev 177, 2482 (1969)
A.V. Anisovich, V.V. Anisovich, M.A. Matveev, V.A. Nikonov, J. Nyiri, A.V. Sarantsev, Three-particle physics and dispersion relation theory (World Scientific, Hackensack, 2013)
A.V. Anisovich, Dispersion relation technique for three pion system and the \(P\)-wave interaction in \(\eta \rightarrow 3 \pi \) decay. Phys. Atom. Nucl. 58, 1383 (1995)
J. Kambor, C. Wiesendanger, D. Wyler, Final state interactions and Khuri-Treiman equations in \(\eta \rightarrow 3\pi \) decays. Nucl. Phys. B 465, 215 (1996). arXiv:hep-ph/9509374
A.V. Anisovich, H. Leutwyler, Dispersive analysis of the decay \(\eta \rightarrow 3 \pi \). Phys. Lett. B 375, 335 (1996). arXiv:hep-ph/9601237
M. Walker, \(\eta \rightarrow 3 \pi \), Master’s thesis, University of Bern, (1998)
H. Osborn, D.J. Wallace, \(\eta - x\) mixing, \(\eta \rightarrow 3\pi \) and chiral lagrangians. Nucl. Phys. B 20, 23 (1970)
J. Gasser, H. Leutwyler, \(\eta \rightarrow 3 \pi \) to One Loop. Nucl. Phys. B 250, 539 (1985)
I. J. R. Aitchison, Unitarity, analyticity and crossing symmetry in two- and three-hadron final state interactions. arXiv:1507.02697
G. Colangelo, J. Gasser, H. Leutwyler, \(\pi \pi \) scattering. Nucl. Phys. B 603, 125 (2001). arXiv:hep-ph/0103088
R. Kamiński, J. R. Peláez, F. J. Ynduráin, The Pion-pion scattering amplitude. III. Improving the analysis with forward dispersion relations and Roy equations, Phys. Rev. D 77, 054015 (2008). arXiv:0710.1150
M. Bissegger, A. Fuhrer, J. Gasser, B. Kubis, A. Rusetsky, Radiative corrections in \(K\rightarrow 3\pi \) decays. Nucl. Phys. B 806, 178 (2009). arXiv:0807.0515
C. Ditsche, B. Kubis, U.-G. Meißner, Electromagnetic corrections in \(\eta \rightarrow 3 \pi \) decays. Eur. Phys. J. C 60, 83 (2009). arXiv:0812.0344
KLOE collaboration, F. Ambrosino et al., Determination of \(\eta \rightarrow \pi ^+ \pi ^- \pi ^0\) Dalitz plot slopes and asymmetries with the KLOE detector, JHEP 05, 006 (2008). arXiv:0801.2642
Crystal Ball at MAMI, A2 collaboration, S. Prakhov et al., Measurement of the slope parameter alpha for the \(\eta \rightarrow 3 \pi ^0\) decay with the crystal ball at MAMI-C, Phys. Rev. C 79, 035204 (2009). arXiv:0812.1999
Crystal Ball at MAMI, TAPS, A2 collaboration, M. Unverzagt et al., Determination of the Dalitz plot parameter alpha for the decay \(\eta \rightarrow 3 \pi ^0\) with the Crystal Ball at MAMI-B, Eur. Phys. J. A39, 169 (2009). arXiv:0812.3324
KLOE collaboration, F. Ambrosino et al., Measurement of the \(\eta \rightarrow 3\pi ^{0}\) slope parameter \(\alpha \) with the KLOE detector, Phys. Lett. B 694, 16 (2011). arXiv:1004.1319
WASA-at-COSY collaboration, P. Adlarson et al., Measurement of the \(\eta \rightarrow \pi ^+\pi ^-\pi ^0\) Dalitz plot distribution, Phys. Rev. C 90, 045207 (2014). arXiv:1406.2505
BESIII collaboration, M. Ablikim et al., Measurement of the Matrix Elements for the Decays \(\eta \rightarrow \pi ^{+}\pi ^{-}\pi ^0\) and \(\eta /\eta ^{\prime }\rightarrow \pi ^0\pi ^0\pi ^0\), Phys. Rev. D 92, 012014 (2015). arXiv:1506.05360
KLOE-2 collaboration, A. Anastasi et al., Precision measurement of the \(\eta \rightarrow \pi ^+\pi ^-\pi ^0\) Dalitz plot distribution with the KLOE detector, JHEP 05, 019 (2016). arXiv:1601.06985
A2 collaboration, S. Prakhov et al., High-statistics measurement of the \(\eta \rightarrow 3\pi ^0\) decay at the Mainz Microtron, Phys. Rev. C 97, 065203 (2018). arXiv:1803.02502
S. Lanz, Determination of the quark mass ratio \(Q\) from \(\eta \rightarrow 3\pi \), Ph.D. thesis, University of Bern, (2011)
G. Colangelo, S. Lanz, H. Leutwyler, E. Passemar, Determination of the light quark masses from \(\eta \rightarrow 3\pi \), PoS EPS-HEP2011, 304 (2011)
S. Lanz, \(\eta \rightarrow 3 \pi \) and quark masses. PoS CD12, 007 (2013). arXiv:1301.7282
S. Descotes-Genon, E. Kou, B. Moussallam, Dispersive evaluation of the second-class amplitude \(\tau \rightarrow \eta \pi \nu _\tau \) in the standard model. Nucl. Phys. Proc. Suppl. 253–255, 65 (2014). arXiv:1303.2879
S. Descotes-Genon, B. Moussallam, Analyticity of \(\eta \pi \) isospin-violating form factors and the \(\tau \rightarrow \eta \pi \nu \) second-class decay. Eur. Phys. J. C 74, 2946 (2014). arXiv:1404.0251
P. Guo, I.V. Danilkin, D. Schott, C. Fernández-Ramírez, V. Mathieu, A.P. Szczepaniak, Three-body final state interaction in \(\eta \rightarrow 3 \pi \). Phys. Rev. D 92, 054016 (2015). arXiv:1505.01715
B. Moussalam, M. Albaladejo, \(a_0-f_0\) mixing in the Khuri-Treiman equations for \(\eta \rightarrow 3\pi \). PoS CD15, 057 (2015). arXiv:1510.06626
B. Moussallam, M. Albaladejo, Role of the \(a_{0}(980), f_{0}(980)\) resonances in \(\eta \rightarrow 3\pi \) from the Khuri-Treiman formalism. EPJ Web Conf. 130, 03007 (2016)
P. Guo, I.V. Danilkin, C. Fernández-Ramírez, V. Mathieu, A.P. Szczepaniak, Three-body final state interaction in \(\eta \rightarrow 3 \pi \) updated. Phys. Lett. B 771, 497 (2017). arXiv:1608.01447
G. Colangelo, S. Lanz, H. Leutwyler, E. Passemar, \(\eta \rightarrow 3 \pi \): Study of the Dalitz plot and extraction of the quark mass ratio \(Q\). Phys. Rev. Lett. 118, 022001 (2017). arXiv:1610.03494
M. Albaladejo, B. Moussallam, Extended chiral Khuri-Treiman formalism for \(\eta \rightarrow 3\pi \) and the role of the \(a_0(980)\), \(f_0(980)\) resonances. Eur. Phys. J. C 77, 508 (2017). arXiv:1702.04931
G. Colangelo, S. Lanz, H. Leutwyler and E. Passemar, Dispersive analysis of \({\mathbf{\eta }} \rightarrow 3 \pi \). arXiv:1807.11937
F. Niecknig, B. Kubis, S.P. Schneider, Dispersive analysis of \(\omega \rightarrow 3\pi \) and \(\phi \rightarrow 3\pi \) decays. Eur. Phys. J. C 72, 2014 (2012). arXiv:1203.2501
F. Niecknig, B. Kubis, Dispersion-theoretical analysis of the \(D^{+} \rightarrow K^{-} \pi ^{+} \pi ^{+}\) Dalitz plot. JHEP 10, 142 (2015). arXiv:1509.03188
F. Niecknig, Dispersive analysis of charmed meson decays, Ph.D. thesis, Bonn U., HISKP, (2016)
T. Isken, B. Kubis, S.P. Schneider, P. Stoffer, Dispersion relations for \(\eta ^{\prime }\rightarrow \eta \pi \pi \). Eur. Phys. J. C 77, 489 (2017). arXiv:1705.04339
F. Niecknig, B. Kubis, Consistent Dalitz plot analysis of Cabibbo-favored \(D^+ \rightarrow {\bar{K}} \pi \pi ^+\) decays. Phys. Lett. B 780, 471 (2018). arXiv:1708.00446
C. Roiesnel, T.N. Truong, Resolution of the \(\eta \rightarrow 3 \pi \) Problem. Nucl. Phys. B 187, 293 (1981)
J. Bijnens, J. Gasser, \(\eta \) decays at and beyond \(p^4\) in chiral perturbation theory. Phys. Scripta T 99, 34 (2002). arXiv:hep-ph/0202242
J. Bijnens, K. Ghorbani, \(\eta \rightarrow 3\pi \) at Two Loops In Chiral Perturbation Theory. JHEP 11, 030 (2007). arXiv:0709.0230
S.P. Schneider, B. Kubis, C. Ditsche, Rescattering effects in \(\eta \rightarrow 3\pi \) decays. JHEP 02, 028 (2011). arXiv:1010.3946
S. P. Schneider, Analysis tools for precision studies of hadronic three-body decays and transition form factors, Ph.D. thesis, University of Bonn, (2013)
P. Guo, Analytic continuation of the Pasquier inversion representation of the Khuri-Treiman equation. Phys. Rev. D 91, 076012 (2015). arXiv:1412.3970
P. Guo, I.V. Danilkin, A.P. Szczepaniak, Dispersive approaches for three-particle final state interaction. Eur. Phys. J. A 51, 135 (2015). arXiv:1409.8652
I.J.R. Aitchison, R. Pasquier, Three-body unitarity and Khuri-Treiman amplitudes. Phys. Rev. 152, 1274 (1966)
J. Hadamard, Théorème sur les séries entières. Acta Math. 22, 55 (1898)
R.J. Eden, Threshold behaviour in quantum field theory. Proc. R. Soc. A 210, 388 (1952)
R.J. Eden, P.V. Landshoff, D.I. Olive, J.C. Polkinghorne, The Analytic S-Matrix (Cambridge University Press, Cambridge, 1966)
J.H. Hetherington, L.H. Schick, Exact multiple-scattering analysis of low-energy elastic \(K-d\) scattering with separable potentials. Phys. Rev. 137, B935 (1965)
E.W. Schmid, H. Ziegelmann, Quantum Mechanical Three-body Problem (Pergamon Press, Oxford, 1974)
D.E. Soper, QCD calculations by numerical integration. Phys. Rev. Lett. 81, 2638 (1998). arXiv:hep-ph/9804454
Z. Nagy, D.E. Soper, Numerical integration of one-loop Feynman diagrams for N-photon amplitudes. Phys. Rev. D 74, 093006 (2006). arXiv:hep-ph/0610028
B. Kubis, private communication
The NAG Fortran Library, the Numerical Algorithms Group (NAG), Oxford, United Kingdom, www.nag.com
S. Lanz, private communication
A. Schenk, Absorption and dispersion of pions at finite temperature. Nucl. Phys. B 363, 97 (1991)
I. Caprini, G. Colangelo, H. Leutwyler, Mass and width of the lowest resonance in QCD. Phys. Rev. Lett. 96, 132001 (2006). arXiv:hep-ph/0512364
J.R. Peláez, From controversy to precision on the sigma meson: a review on the status of the non-ordinary \(f_0(500)\) resonance. Phys. Rept. 658, 1 (2016). arXiv:1510.00653
R. García-Martín, R. Kamiński, J .R. Peláez, J. de Ruiz Elvira, F .J. Ynduráin, The Pion-pion scattering amplitude. IV: improved analysis with once subtracted Roy-like equations up to 1100 MeV. Phys. Rev. D 83, 074004 (2011). arXiv:1102.2183
Acknowledgements
The authors thank Gilberto Colangelo, Sébastien Descotes-Genon, Christoph Hanhart, Bastian Kubis, Stefan Lanz, Heinrich Leutwyler, Ulf–G. Meißner, Bachir Moussallam, Malwin Niehus and Zoltan Kunszt for discussions and/or useful comments on the manuscript and for information on the \(\pi \pi \) phase shifts. We thank Stefan Lanz for providing us with his Fortran code to construct the numerical solutions using the standard approach, and for data files with his fundamental solutions. We appreciate the support from Emilie Passemar to handle the hyperreferences. A.R. acknowledges the support from the DFG (CRC 110 “Symmetries and the Emergence of Structure in QCD”), from Volkswagenstiftung under contract no. 93562 and from Shota Rustaveli National Science Foundation (SRNSF), Grant no. DI-2016-26. J.G. thanks the HISKP at the University of Bonn for warm hospitality. Part of this work was performed during his stay there.
Author information
Authors and Affiliations
Corresponding author
Appendices
A: Notation and phase shifts
In the text and in figures, we use the symbols
The new integration path is fixed by the vertices
In Sect. 4, we set
In the case \(\omega \rightarrow 3\pi \), we use
The elastic S-wave (P-wave) \(\pi \pi \) phase shifts \(\delta _{0,2}\) (\(\delta _1\)) are needed as an input to solve (2)–(6). We rely on the phase shifts used in Ref. [42]: In the low energy region \(x\!<\!E \), we use a Schenk parameterization [66]. Above \(x=F\), the phase shifts are set to a constant,
For \(E \le x \le F\), we use phase shifts from [42]. Tables with these phase shifts at discrete values of energies between E and F, as well as the Schenk parameters to describe the phase shifts below E are provided in the archive version of the present article under the link https://arxiv.org/abs/1809.06399 as ancillary files, together with the pertinent fundamental solutions.
B: Deforming the path of integration
Here, we wish to show that the original path of integration in (2) can be deformed into the lower complex x–plane. For this to achieve, we must prove that the integrand is holomorphic there. As an input, we need the phase shifts \(\delta _I(x)\) and a starting value of the hat–functions \({{\hat{M}}}_I(x)\). For the latter, we use the current algebra expressions, which are polynomials in x and thus even entire functions. Concerning the phase shifts, see Appendix A. The Schenk parameterization used below 800 MeV has the virtue that the corresponding expression for the phase shift is holomorphic in a strip of the complex x-plane, cut for \(x<4M_\pi ^2\) and \(x>700\) MeV. This is so because the Schenk parameterization provides a holomorphic expression for the tangent of the phase shifts. The phase shift itself is then obtained via
As long as \(\tan \delta _I(x)\ne \pm i\), \(\delta _I(x)\) is holomorphic. We display in Fig. 8 the complex quantities \(\tan \delta _I(x)\) along the polygonal path ABCD displayed in Fig. 1, and along similar paths which are nearer to the real line. It is seen that one does not hit any singularity. We have checked that the parameterization in terms of conformal variables as worked out in Ref. [69] leads to the same conclusion.
We conclude that \(\sin {\delta _I}\) is holomorphic in that region as well. Consider now the denominator of the measure, \(|\varOmega _I(x)|\). At first, it sounds surprising that one can continue analytically the modulus of a complex function. The point is that this quantity stands for
where denotes a principal value integral. The relevant quantity is thus the integral
It is useful to first consider the related ordinary integral
The function \(H_I(x)\) is holomorphic in the complex x–plane, cut along the real axis for \(x \ge 4M_\pi ^2\). On the upper rim of the cut, \(G_I\) and \(H_I\) are closely related:
Consider now the interval [A, D] in Fig. 1. We can continue here \(H_I(x)\) across the cut, because \(\delta _I(x)\) are holomorphic there, and the integration path \(\int _A^D\) can be deformed into the lower half plane, e.g., into the polygonal line ABCD in Fig. 1. The relation (B.5) shows that \(G_I\) and thus \(|\varOmega (x)|\) can holomorphically be continued as well. The continuation is unique.
In practice, the continuation can be performed rather easily: One adds and subtracts the phase shift \(\delta _I(x)\) in the integrand of \(G_I(x)\) and obtains
This identity holds for \(x\in [4M_{\pi }^2 ,\infty )\). In the integral on the right hand side, one need not use the principal value prescription. The right-hand side is holomorphic in the region where the phase shift is holomorphic.
Finally, the Omnès functions \(\varOmega _I(x)\) which enters the iterations in the region covered by the dashed-dotted blue lines in Fig. 6 may be evaluated in a manner analogous to \(|\varOmega _I(x)|\) just discussed: Below the threshold, use the integral representation (3), as well as above threshold, for Im\((x)> 0\). In the case of \(\hbox {Im}(x)\!<\!0\), \(\hbox {Re}(x)\!>\!4M_\pi ^2\), proceed as in the case of the principal value integral just discussed.
We conclude that we may indeed deform the path of integration as is indicated in the Fig. 1. [In order to render the proof watertight in view of the square-root singularities at the threshold \(x=4M_\pi ^2\), one may slightly change the paths. Let \(A'=4M_\pi ^2+\epsilon ,~ \epsilon >0\). Then \(\hbox {ABCDF}\rightarrow \hbox {AA}'\hbox {BCDF}\). Numerically, this change is irrelevant, and we stick to \(\epsilon =0\).]
We have checked that the results do not change under a change of the polygonal line ABCD.
The following two remarks are in order at this place.
-
1.
We do not assume that the phase shifts are holomorphic at all energies. As mentioned, we glue the phase shifts continuously together, using different parameterizations. Only in the low-energy region do we rely on a holomorphic parameterization.
-
2.
One might argue that we extrapolate data from the real line to the polygonal line ABCD, which would be an unstable procedure. Instead, we make use of a holomorphic parameterization to render the integrations easier to perform. For a given parameterization, the result is the same, whether performed in the standard manner, or using a deformed path in the dispersion relation. The latter method is, however, by far more efficient.
C: Allowed paths
Here, we discuss paths in the dispersive representation that allow for an undistorted path in the angular average, and follow the discussion in [55]. For fixed x, the angular average amounts to a line integral between \(h_\pm (x)\). Starting from \(x=\infty \) to lower values, it is clear from Fig. 2 that a critical value of x is reached as soon as this straight line touches the value \(4M_\pi ^2\) for some \(z\in [-1,1]\),
This condition may be brought to the form
with
For a fixed value of \(z\ne \pm 1\), the Eq. (C.2) has one real and 2 complex conjugate solutions for x. Varying z in the interval \((-1,1)\) traces out 3 curves in the complex x–plane. The real branch (Im (x)=0) is located on the negative real axis, \(\hbox {Re}(x)\le 0\). In Fig. 9, we display the part of the complex solutions with \(\hbox {Im}(x) < 0 \) (solid black line). If one uses a path in the dispersion integral that does not cross the hatched region, the angular average can be performed in the undeformed interval \(-1\le z \le 1\). The polygonal line ABCDEF (displayed for \(s < 30 M_\pi ^2\)) is the version used in the present work. See Appendix A for the actual values chosen for \(A,\ldots ,F\) and for \(x_i\).
The following two remarks are in order at this place.
-
(i)
The reason to extend the polygonal line into the lower complex x–plane until \(x=D\) is the following. After having solved the integral equation for the angular averages, one obtains the physical amplitudes by performing the final dispersive integration with Cauchy kernel \(1/(x-s-i\epsilon )\). Even at \(\epsilon =0\), this kernel is then not singular on the integration path for real values of s with \(s \not \in [D,F]\), except at the threshold \(s=4M_\pi ^2\). There, the integrand in (2) develops an integrable square root singularity in case of S-waves. It can be tamed with a transformation of variables, \(z=A+(B-A)\tau ^2\,,0\le \tau \le 1\). The integration can thus be performed at \(\epsilon =0\), without further ado – an additional advantage of our procedure. For \(s\in [D,F]\), due to the singularity of the Cauchy kernel, the angular average needs to be interpolated between the pertinent Gauss–Legendre points, before the integration can be done. This is the reason why we push D to higher values than required.
-
(ii)
In order to stay away from the threshold region \(x=4M_\pi ^2\) while performing the angular average, we have chosen the path BC with an imaginary part that is more negative than what is needed according to the condition (C.2), see also Figs. 5 and 6.
D: The decay \(\omega \rightarrow 3\pi \)
We shortly consider the situation for \(\omega \rightarrow 3\pi \) decays [43]. In Fig. 10, we display the analogue to the boundary in Fig. 9, for \(M_\eta ^2\) replaced by \(M_\omega ^2\). A possibility for the integration path is displayed with dashed lines. It is seen that with Schenk parameterization [66], it is still possible to avoid the pseudothreshold singularity and to perform the dispersive integral without interpolation between Gauss–Legendre points in the interval \(s<D_2\), which contains the decay region. We therefore expect that the method also works in this case.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Gasser, J., Rusetsky, A. Solving integral equations in \(\eta \rightarrow 3\pi \). Eur. Phys. J. C 78, 906 (2018). https://doi.org/10.1140/epjc/s10052-018-6378-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-6378-8