Computer algebra algorithms for special functions in particle physics

  • View
    153

  • Download
    1

Embed Size (px)

Transcript

  • 1. UNIVERSITAT LINZ JOHANNES KEPLER JKU Technisch-Naturwissenschaftliche Fakultat Computer Algebra Algorithms for Special Functions in Particle Physics DISSERTATION zur Erlangung des akademischen Grades Doktor im Doktoratsstudium der Technischen Wissenschaften Eingereicht von: Jakob Ablinger Angefertigt am: Research Institute for Symbolic Computation (RISC) Beurteilung: Priv.-Doz. Dipl.-Inf. Dr. Carsten Schneider (Betreuung) Prof. Dr. Johannes Blumlein Linz, April, 2012 arXiv:1305.0687v1[math-ph]3May2013

2. Eidesstattliche Erklarung I Eidesstattliche Erklarung Ich erklare an Eides statt, dass ich die vorliegende Dissertation selbststandig und ohne fremde Hilfe verfasst, andere als die angegebenen Quellen und Hilfsmittel nicht benutzt bzw. die wortlich oder sinngema entnommenen Stellen als solche kenntlich gemacht habe. Die vorliegende Dissertation ist mit dem elektronisch ubermittelten Textdokument iden- tisch. Linz, April 2012, Jakob Ablinger 3. II Kurzfassung Diese Arbeit behandelt spezielle verschachtelte Objekte, die in massiven Storungs- berechnungen hoherer Ordnung renormierbarer Quantenfeldtheorien auftreten. Ein- erseits bearbeiten wir verschachtelte Summen, wie harmonische Summen und deren Verallgemeinerungen (S-Summen, zyclotomische harmonische Summen, zyclotomische S-Summen) und andererseits arbeiten wir mit iterierten Integralen nach Poincare und Chen, wie harmonischen Polylogarithmen und deren Verallgemeinerungen (multiple Polylogarithmen, zyclotomische harmonische Polylogarithmen). Die iterierten Integrale sind uber die Mellin-Transformation (und Erweiterungen der Mellin-Transformation) mit den verschachtelten Summen verknupft und wir zeigen wie diese Transformation berechnet werden kann. Wir leiten algebraische und stukturelle Relationen zwischen den verschachtelten Summen und zusatzlich zwischen den Werten der Summen bei Un- endlich und den damit verbundenen Werten der iterierten Integrale ausgewertet bei speziellen Konstanten her. Daruber hinaus prasentieren wir Algorithmen zur Berech- nung der asymptotischen Entwicklung dieser Objekte und wir beschreiben einen Algo- rithmus der bestimmte verschachtelte Summen in Ausdrucke bestehend aus zyclotom- ische S-Summen umwandelt. Des Weiteren fassen wir die wichtigsten Funktionen des Computeralgebra Pakets HarmonicSums zusammen, in welchem alle diese Algorithmen und Tranformationen impementiert sind. Ferner prasentieren wir Anwendungen des multivariaten Almkvist-Zeilberger Algorithmuses und Erweiterungen dieses Algorith- muses auf spezielle Typen von Feynman-Integralen und wir stellen das dazughorige Computeralgebra Paket MultiIntegrate vor. 4. Abstract III Abstract This work deals with special nested objects arising in massive higher order perturbative calculations in renormalizable quantum eld theories. On the one hand we work with nested sums such as harmonic sums and their generalizations (S-sums, cyclotomic har- monic sums, cyclotomic S-sums) and on the other hand we treat iterated integrals of the Poincare and Chen-type, such as harmonic polylogarithms and their generalizations (multiple polylogarithms, cyclotomic harmonic polylogarithms). The iterated integrals are connected to the nested sums via (generalizations of) the Mellin-transformation and we show how this transformation can be computed. We derive algebraic and structural relations between the nested sums as well as relations between the values of the sums at innity and connected to it the values of the iterated integrals evaluated at special constants. In addition we state algorithms to compute asymptotic expan- sions of these nested objects and we state an algorithm which rewrites certain types of nested sums into expressions in terms of cyclotomic S-sums. Moreover we summa- rize the main functionality of the computer algebra package HarmonicSums in which all these algorithms and transformations are implemented. Furthermore, we present application of and enhancements of the multivariate Almkvist-Zeilberger algorithm to certain types of Feynman integrals and the corresponding computer algebra package MultiIntegrate. 5. IV Contents Contents 1 Introduction 1 2 Harmonic Sums 5 2.1 Denition and Structure of Harmonic Sums . . . . . . . . . . . . . . . . 6 2.2 Denition and Structure of Harmonic Polylogarithms . . . . . . . . . . . 9 2.3 Identities between Harmonic Polylogarithms of Related Arguments . . . 12 2.3.1 1 x x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.3.2 1x 1+x x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.3.3 1 x x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.4 Power Series Expansion of Harmonic Polylogarithms . . . . . . . . . . . 15 2.4.1 Asymptotic Behavior of Harmonic Polylogarithms . . . . . . . . 16 2.4.2 Values of Harmonic Polylogarithms at 1 Expressed by Harmonic Sums at Innity . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.5 Integral Representation of Harmonic Sums . . . . . . . . . . . . . . . . . 17 2.5.1 Mellin Transformation of Harmonic Polylogarithms . . . . . . . . 19 2.5.2 The Inverse Mellin Transform . . . . . . . . . . . . . . . . . . . . 22 2.5.3 Dierentiation of Harmonic Sums . . . . . . . . . . . . . . . . . . 24 2.6 Relations between Harmonic Sums . . . . . . . . . . . . . . . . . . . . . 25 2.6.1 Algebraic Relations . . . . . . . . . . . . . . . . . . . . . . . . . 25 2.6.2 Dierential Relations . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.6.3 Duplication Relations . . . . . . . . . . . . . . . . . . . . . . . . 29 2.6.4 Number of Basis Elements . . . . . . . . . . . . . . . . . . . . . . 30 2.7 Harmonic Sums at Innity . . . . . . . . . . . . . . . . . . . . . . . . . . 34 2.7.1 Relations between Harmonic Sums at Innity . . . . . . . . . . . 36 2.8 Asymptotic Expansion of Harmonic Sums . . . . . . . . . . . . . . . . . 37 2.8.1 Extending Harmonic Polylogarithms . . . . . . . . . . . . . . . . 38 2.8.2 Asymptotic Representations of Factorial Series . . . . . . . . . . 41 2.8.3 Computation of Asymptotic Expansions of Harmonic Sums . . . 47 3 S-Sums 53 3.1 Denition and Structure of S-Sums and Multiple Polylogartihms . . . . 53 3.2 Identities between Multiple Polylogarithms of Related Arguments . . . . 56 3.2.1 x + b x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 3.2.2 b x x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 6. Contents V 3.2.3 1x 1+x x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 3.2.4 kx x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60 3.2.5 x x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 3.2.6 1 x x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61 3.3 Power Series Expansion of Multiple Polylogarithms . . . . . . . . . . . . 62 3.3.1 Asymptotic Behavior of Multiple Polylogarithms . . . . . . . . . 64 3.3.2 Values of Multiple Polylogarithms Expressed by S-Sums at Innity 64 3.4 Integral Representation of S-Sums . . . . . . . . . . . . . . . . . . . . . 66 3.4.1 Mellin Transformation of Multiple Polylogarithms with Indices in R(0, 1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70 3.4.2 The Inverse Mellin Transform of S-sums . . . . . . . . . . . . . . 78 3.5 Dierentiation of S-Sums . . . . . . . . . . . . . . . . . . . . . . . . . . 80 3.5.1 First Approach: Dierentiation of S-sums . . . . . . . . . . . . . 82 3.5.2 Second Approach: Dierentiation of S-sums . . . . . . . . . . . . 85 3.6 Relations between S-Sums . . . . . . . . . . . . . . . . . . . . . . . . . . 95 3.6.1 Algebraic Relations . . . . . . . . . . . . . . . . . . . . . . . . . 95 3.6.2 Dierential Relations . . . . . . . . . . . . . . . . . . . . . . . . . 97 3.6.3 Duplication Relations . . . . . . . . . . . . . . . . . . . . . . . . 98 3.6.4 Examples for Specic Index Sets . . . . . . . . . . . . . . . . . . 99 3.7 S-Sums at Innity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103 3.7.1 Relations between S-Sums at Innity . . . . . . . . . . . . . . . . 107 3.7.2 S-Sums of Roots of Unity at Innity . . . . . . . . . . . . . . . . 108 3.8 Asymptotic Expansion of S-Sums . . . . . . . . . . . . . . . . . . . . . . 111 3.8.1 Asymptotic Expansions of Harmonic Sums S1(c; n) with c 1 . . 111 3.8.2 Computation of Asymptotic Expansions of S-Sums . . . . . . . . 112 4 Cyclotomic Harmonic Sums 119 4.1 Denition and Structure of Cyclotomic Harmonic Sums . . . . . . . . . 119 4.1.1 Product . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120 4.1.2 Synchronization . . . . . . . . . . . . . . . . . . . . . . . . . . . 123 4.2 Denition and Structure of Cyclotomic Harmonic Polylogarithms . . . . 124 4.3 Identities between Cyclotomic Harmonic Polylogarithms of Related Ar- guments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 4.3.1 1 x x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 4.3.2 1x 1+x x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129 4.4 Power Series Expansion of Cyclotomic Harmonic Polylogarithms . . . . 130 4.4.1 Asymptotic Behavior of Extended Harmonic Polylogarithms . . . 133 4.4.2 Values of Cyclotomic Harmonic Polylogarithms at 1 Expressed by Cyclotomic Harmonic Sums at Innity . . . . . . . . . . . . . 133 4.5 Integral Representation of Cyclotomic Harmonic Sums . . . . . . . . . . 134 4.5.1 Mellin Transform of Cyclotomic Harmonic Polylogarithms . . . . 136 4.5.2 Dierentiation of Cyclotomic Harmonic Sums . . . . . . . . . . . 141 7. VI Contents 4.6 Relations between Cyclotomic Harmonic Sums . . . . . . . . . . . . . . 142 4.6.1 Algebraic Relations . . . . . . . . . . . . . . . . . . . . . . . . . 142 4.6.2 Dierential Relations . . . . . . . . . . . . . . . . . . . . . . . . . 144 4.6.3 Multiple Argument Relations . . . . . . . . . . . . . . . . . . . . 145 4.6.4 Number of Basis Elements for Specic Alph

Recommended

View more >