Arxiv:0707.1596V1 [Physics.Comp-Ph] 11 Jul 2007 Ueia Prxmto N Analysis
Total Page:16
File Type:pdf, Size:1020Kb
From Useful Algorithms for Slowly Convergent Series to Physical Predictions Based on Divergent Perturbative Expansions a, b c d d, E. Caliceti, ∗ M. Meyer–Hermann, P. Ribeca, A. Surzhykov, and U. D. Jentschura ∗ aDipartimento di Matematica, Universit`adi Bologna, 40127 Bologna, Italy bFrankfurt Institute for Advanced Study, Max von Laue-Straße 1, 60438 Frankfurt am Main, Germany cGesellschaft f¨ur Schwerionenforschung (GSI), Planckstraße 1, 64291 Darmstadt dMax–Planck–Institut f¨ur Kernphysik, Saupfercheckweg 1, 69117 Heidelberg, Germany This review is focused on the borderline region of theoretical physics and mathemat- ics. First, we describe numerical methods for the acceleration of the convergence of series. These provide a useful toolbox for theoretical physics which has hitherto not received the attention it actually deserves. The unifying concept for convergence acceleration methods is that in many cases, one can reach much faster convergence than by adding a particular series term by term. In some cases, it is even possible to use a divergent input series, together with a suitable sequence transformation, for the construction of numerical methods that can be applied to the calculation of special functions. This review both aims to provide some practical guidance as well as a groundwork for the study of specialized literature. As a second topic, we re- view some recent developments in the field of Borel resummation, which is generally recognized as one of the most versatile methods for the summation of factorially divergent (perturbation) series. Here, the focus is on algorithms which make opti- mal use of all information contained in a finite set of perturbative coefficients. The unifying concept for the various aspects of the Borel method investigated here is given by the singularities of the Borel transform, which introduce ambiguities from a mathematical point of view and lead to different possible physical interpretations. The two most important cases are: (i) the residues at the singularities correspond to the decay width of a resonance, and (ii) the presence of the singularities indi- cates the existence of nonperturbative contributions which cannot be accounted for on the basis of a Borel resummation and require generalizations toward resurgent expansions. Both of these cases are illustrated by examples. arXiv:0707.1596v1 [physics.comp-ph] 11 Jul 2007 PACS numbers: 11.10Jj, 12.20.Ds, 02.70.-c, 02.60.-x Keywords: Asymptotic problems and properties, quantum electrodynamics (specific calculations), computational techniques, numerical approximation and analysis. ∗ Corresponding authors. E-mail: [email protected] and [email protected]. 1 Contents 1 Background and Orientation 4 1.1 Introduction to Convergence Acceleration and Resummation ............ 4 1.2 MathematicalBasis............................... ..... 7 1.2.1 Special Mathematical Symbols . ..... 7 1.2.2 FiniteDifferences.............................. ... 8 1.2.3 Asymptotic Sequences and Asymptotic Expansions . .......... 9 1.2.4 RemainderEstimates . .. .. .. .. .. .. .. .. 9 1.2.5 TypesofConvergence . .. .. .. .. .. .. .. .. 10 1.2.6 Stieltjes Functions and Stieltjes Series . ........... 12 2 Sequence Transformations 13 2.1 QuickStart ...................................... 14 2.2 SelectedMethods................................. 17 2.2.1 Pad´eApproximants . .. .. .. .. .. .. .. .. 17 2.2.2 Further Convergence Accelerators without Remainder Estimates . 21 2.2.3 Sequence Transformations with Remainder Estimates . ........... 23 2.2.4 Further Sequence Transformations . ....... 26 2.2.5 Accuracy–Through–Order Relations . ....... 29 2.2.6 Combined Nonlinear–Condensation Transformations . ............ 31 2.2.7 General E Algorithm .............................. 33 2.3 Applications of Sequence Transformations to Convergence Acceleration . 36 2.3.1 Simple Case: Series arising in plate contact problems ............. 36 2.3.2 Involved Case: Lerch Transcendent . ....... 36 2.4 Applications of Sequence Transformations to Resummations............. 38 2.4.1 Simple Case: Incomplete Gamma Function . ...... 38 2.4.2 Involved Case: Relativistic Hydrogen Green Function ............. 40 3 Borel Summation 47 3.1 QuickStart ...................................... 47 3.2 SelectedMethods................................. 49 3.2.1 GeneralFormulas............................... 49 3.2.2 Mathematical Foundations of Borel Summability . .......... 51 3.2.3 Borel-Pad´eMethod. 54 3.2.4 ConformalMappingMethod . 55 3.3 Zero–DimensionalTheory . ...... 56 3.4 EvenAnharmonicOscillators . ....... 58 3.5 OddAnharmonicOscillators . ...... 63 2 3.6 Double–Well and Fokker–Planck Potential . ........... 68 3.7 Renormalization Group and Critical Exponents . ............ 76 3.7.1 Orientation ................................... 76 3.7.2 High–TemperatureSeries . 78 3.7.3 Approach at Fixed Dimension d =3 ...................... 81 3.7.4 Concluding Remarks on Renormalization Group–Related Quantities . 87 4 Conclusions 88 A Basic Terminology for the Spectra of Hamilton Operators 91 A.1 Resolvent, Spectrum, Green’s Function . ........... 91 A.2 Analytic Continuation of the Resolvent and Resonances . .............. 97 B Distributional Borel Summability 100 B.1 Mathematical Foundations of Distributional Borel Summability . 100 B.2 Distributional Borel Summability of the Stark Effect . .............. 102 C Perturbation Series in Quantum Chromodynamics 105 3 1 Background and Orientation The purpose of this section is that of being a starting point and a reference for the reader. Its contents are organized as follows: In Sec. 1.1, a general introduction to convergence acceleration and resummation is provided. • In Sec. 1.2, some basic terminology is introduced. This terminology is a basis for the general • familiarity with the notions that govern the construction of convergence acceleration methods. The concepts contained in this section constitute to a large extent a prerequisite for the material presented in the following sections. 1.1 Introduction to Convergence Acceleration and Resummation The basic idea of convergence acceleration is to extract hidden information contained in partial sums of a specific slowly convergent series, and to use that information in order to make, loosely speaking, an educated guess about higher-order partial sums which eventually converge to some limit. In many cases, the “educated guesses” can lead to spectacular numerical results which represent a drastic improvement over a term-by-term summation of the series, even if the series is formally convergent. Convergence acceleration methods have a long history. E.g., as mentioned of p. ix of Ref. [1], such methods were already used by the Chinese mathematicians Liu Hui (A.D. 263) and Zhu Chongzhi (429—500) for obtaining better approximations to π. It is thus clear that, at least in rudimentary form, convergence acceleration methods are much older than calculus. Another reference to early successful attempts can be found on pp. 90—91 of a book by Brezinski [2] where it is mentioned that convergence acceleration methods have already been used in 1654 by Huygens and in 1674 by Seki Kowa, the probably most famous Japanese mathematician of his time. Both Huygens and Seki Kowa were trying to obtain better approximations to π. Huygens used a linear extrapolation scheme which is a special case of what we now call Richardson extrapolation [3], and Seki Kowa used the so-called ∆2 process, which is usually attributed to Aitken [4]. Sequence transformations are principal numerical tools to overcome convergence problems. In this approach, a slowly convergent or divergent sequence s , whose elements may for instance be { n}n∞=0 the partial sums s = n a of an infinite series, is converted into a new sequence s n k=0 k { n′ }n∞=0 with hopefully better numerical properties. Before the invention of electronic computers, mainly P linear sequence transformations were used. These matrix transformations compute the elements of the transformed sequence s as weighted averages of the elements of the input sequence { n′ }n∞=0 s according to the general scheme s = n µ s . The theoretical properties of such { n}n∞=0 n′ k=0 nk k matrix transformations are very well understood [5–13]. Their main appeal lies in the fact that P for the weights µnk some necessary and sufficient conditions could be formulated which guarantee that the application of such a matrix transformation to a convergent sequence s yields a { n}n∞=0 transformed sequence sn′ n∞=0 converging to the same limit s = s . Theoretically, this regularity { } ∞ is extremely desirable, but from a practical point of view, it is a disadvantage. This may sound paradoxical. However, according to a remark on p. X of Ref. [10], the size of the domain of regularity of a transformation and its efficiency seem to be inversely related. Accordingly, regular linear transformations are in general at most moderately powerful, and the popularity of most linear transformations has declined considerably in recent years. Modern nonlinear sequence transformations as for instance the ǫ algorithm [14] and the ρ algo- rithm [15] or the ϑ algorithm [16] have largely complementary properties: They are nonregular, 4 which means that that the convergence of the transformed sequence is not guaranteed, let alone to the correct limit. In addition, the theoretical properties of nonlinear transformations are far from being completely understood. Nevertheless, they often accomplish spectacular results when ap- plied to appropriate problems.