Related papers: A type of multiple integral with loggamma function

We consider summations over digamma and polygamma functions, often with summands of the form (\pm 1)^n\psi(n+p/q)/n^r and (\pm 1)^n\psi^{(m)} (n+p/q)/n^r, where m, p, q, and r are positive integers. We develop novel general integral…

This paper discusses the properties and the numerical discretizations of the fractional substantial integral $$I_s^\nu f(x)=\frac{1}{\Gamma(\nu)} \int_{a}^x{\left(x-\tau\right)^{\nu-1}}e^{-\sigma(x-\tau)}{f(\tau)}d\tau,\nu>0, $$ and the…

We introduce a self-inverse function via an integral equivalent to a two-term combination of dilogarithms. We refer to this function as a fundamental form, since there is a family of extensions of this function that satisfy similar…

In this note we give a short and self-contained proof that, for any $\delta > 0$, $\sum_{x \leq n \leq x+x^\delta} \lambda(n) = o(x^\delta)$ for almost all $x \in [X, 2X]$. We also sketch a proof of a generalization of such a result to…

We show that integrals of the form \[ \dint_{0}^{1} x^{m}{\rm Li}_{p}(x){\rm Li}_{q}(x)dx, (m\geq -2, p,q\geq 1) \] and \[ \dint_{0}^{1} \frac{\ds \log^{r}(x){\rm Li}_{p}(x){\rm Li}_{q}(x)}{\ds x}dx, (p,q,r\geq 1) \] satisfy certain…

Using a polylogarithmic identity, we express the values of $\zeta$ at odd integers $2n+1$ as integrals over unit $n-$dimensional hypercubes of simple functions involving products of logarithms. We also prove a useful property of those…

In our preceding paper, we have proposed an algorithm for obtaining finite-norm solutions of higher-order linear ordinary differential equations of the Fuchsian type [\sum_m p_m (x) (d/dx)^m] f(x) = 0 (where p_m is a polynomial with…

Let $\eta$ be the weight $1/2$ Dedekind function. A unification and generalization of the integrals $\int_0^\infty f(x)\eta^n(ix)dx$, $n=1,3$, of Glasser \cite{glasser2009} is presented. Simple integral inequalities as well as some $n=2$,…

We define a special function related to the digamma function and use it to evaluate in closed form various series involving binomial coefficients and harmonic numbers.

We show that morphisms from n A_infinity-algebras to a single one are maps over an operad module with n+1 commuting actions of the operad A_infinity, whose algebras are conventional A_infinity-algebras. Similar statement holds for homotopy…

Let $\mathcal{H}ol(B_d)$ denote the space of holomorphic functions on the unit ball $B_d$ of $\mathbb{C}^d$, $d\ge 1$. Given a log-convex strictly positive weight $w(r)$ on $[0,1)$, we construct a function $f\in\mathcal{H}ol(B_d)$ such that…

A survey is given on mathematical structures which emerge in multi-loop Feynman diagrams. These are multiply nested sums, and, associated to them by an inverse Mellin transform, specific iterated integrals. Both classes lead to sets of…

By using some basic calculus of multiple integration, we provide an alternative expression of the integral $$ \int_{]a,b[^n} f(\mathbf{x},\min x_i,\max x_i) d\mathbf{x}, $$ in which the minimum and the maximum are replaced with two single…

In this paper, we prove Raabe-type integral formulas for gamma function via left and right sided Riemann-Liouville fractional integrals. As corollaries, we give the left and right sided repeated integration formulas for the log-gamma and…

Infinite series sum_{n=1}^infty {(alpha/2)_n / (n n!)}_1F_1(-n, gamma, x^2), where_1F_1(-n, gamma, x^2)={n!_(gamma)_n}L_n^(gamma-1)(x^2), appear in the first-order perturbation correction for the wavefunction of the generalized spiked…

We introduce a class of iterated integrals, defined through a set of linearly independent integration kernels on elliptic curves. As a direct generalisation of multiple polylogarithms, we construct our set of integration kernels ensuring…

Let $R$ be a standard graded Noetherian algebra over an infinite field $K$ and $M$ a finitely generated $\mathbb{Z}$-graded $R$-module. Then for any graded ideal $I\subseteq R_+$ of $R$, we show that there exist integers $e_1\geq e_2$ such…

Let $\gamma$ denote imaginary parts of complex zeros of the Riemann zeta-function $\zeta(s)$. Certain sums over the $\gamma$'s are evaluated, by using the function $G(s) = \sum_{\gamma>0}\gamma^{-s}$ and other techniques. Some integrals…

System I is a simply-typed lambda calculus with pairs, extended with an equational theory obtained from considering the type isomorphisms as equalities. In this work we propose an extension of System I to polymorphic types, adding the…

This paper settles the computational complexity of the problem of integrating a polynomial function f over a rational simplex. We prove that the problem is NP-hard for arbitrary polynomials via a generalization of a theorem of Motzkin and…