Related papers: The integrals in Gradshteyn and Rhyzik. Part 2: El…
Contour integrals of rational functions over ${\cal M}_{0,n}$, the moduli space of $n$-punctured spheres, have recently appeared at the core of the tree-level S-matrix of massless particles in arbitrary dimensions. The contour is determined…
In this paper, we study the multiple integral $ \displaystyle I= \int_0^1 \int_0^1 \dots \int_0^1 f(x_1+x_2 + \dots +x_n) \, dx_1 \, dx_2 \, \dots \, dx_n$. A general formula of $I$ is presented. As an application, the integral $I$ with…
We derive an analytic representation of the ten-particle, two-loop double-box integral as an elliptic integral over weight-three polylogarithms. To obtain this form, we first derive a four-fold, rational (Feynman-)parametric representation…
We extend the matrix-resolvent method for computing logarithmic derivatives of tau-functions to the Ablowitz--Ladik hierarchy. In particular, we derive a formula for the generating series of the logarithmic derivatives of an arbitrary…
In this work, new closed-form formulas for the matrix exponential are provided. Our method is direct and elementary, it gives tractable and manageable formulas not current in the extensive literature on this essential subject. Moreover,…
The Integration Theory of Linear Ordinary Differential Equation.
We extend the theorem of Liouville on integration in finite terms to include dilogarithmic integrals. The results provide a necessary and sufficient condition for an element of the base field to have an antiderivative in a field extension…
We show how the combined use of the generating function method and of the theory of multivariable Hermite polynomials is naturally suited to evaluate integrals of gaussian functions and of multiple products of Hermite polynomials.
We initiate a systematic framework for the analysis of analytic properties of finite Feynman integrals that are multiple polylogarithms. Based on the Feynman parameter representation in complex projective space, we make a complete…
We present an algorithm for computing a holonomic system for a definite integral of a holonomic function over a domain defined by polynomial inequalities. If the integrand satisfies a holonomic difference-differential system including…
In this study, new master theorems and general formulas of integrals are presented and implemented to solve some complicated applications in different fields of science. The proposed theorems are considered to be generators of new problems,…
This paper deals with generalized elliptic integrals and generalized modular functions. Several new inequalities are given for these and related functions.
A two-term functional equation for an infinite series involving the digamma function and a logarithmic factor is derived. A modular relation on page 220 of Ramanujan's Lost Notebook as well as a corresponding recent result for the…
In this note, we show that the values of integrals of the log-tangent function with respect to any square-integrable function on $\left[0 , \frac{\pi}{2} \right]$ may be determined by a finite or infinite sum involving the Riemann…
We review a method for the algebraic treatment of a family of functions which contains the multiple polylogarithms, with applications to the symbolic calculation of Feynman integrals.
Any rational number can be factored into a product of several rationals whose sum vanishes. This simple but nontrivial fact was suggested as a problem on a maths olympiad for high-school students. We completely solve similar questions in…
This note presents selected values of definite integrals whose integrand contains a power of the Dedekind function having imaginary argument.
We supplement the result of the first part of the work with estimates of the integrals of the difference of subharmonic functions in measure with some deterioration of the absolute constants, but these estimates have the form of a…
This paper studies normalisation by evaluation for typed lambda calculus from a categorical and algebraic viewpoint. The first part of the paper analyses the lambda definability result of Jung and Tiuryn via Kripke logical relations and…
We develop the theory of the lemniscatic functions sl and cl from their definition as solutions to an initial value problem.