Related papers: A Hypergeometric Approach, Via Linear Forms Involv…
We consider the q-hypergeometric equation with q^{N}=1 and $\alpha, \beta, \gamma \in {\Bbb Z}$. We solve this equation on the space of functions given by a power series multiplied by a power of the logarithmic function. We prove that the…
We present a formal verification of the classical isoperimetric inequality in the plane using the Lean 4 proof assistant and its mathematical library Mathlib. We follow Adolf Hurwitz's analytic approach to establish the inequality $L^2 \ge…
We consider integrals that generalize both the Mellin transforms of rational functions of the form 1/f and the classical Euler integrals. The domains of integration of our so-called Euler--Mellin integrals are naturally related to the…
Classically, unimodular gravity is known to be equivalent to General Relativity (GR), except for the fact that the effective cosmological constant $\Lambda$ has the status of an integration constant. Here, we explore various formulations of…
We propose a geometric setup to study analytic aspects of a variant of the super symmetric two-dimensional nonlinear sigma model. This functional extends the functional of Dirac-harmonic maps by gravitino fields. The system of…
In this paper we propose a resolution to the problem of $\beta$-deforming the non-Gaussian monomial matrix models. The naive guess of substituting Schur polynomials with Jack polynomials does not work in that case, therefore, we are forced…
We show how the Einstein equations with cosmological constant (and/or various types of matter field sources) can be integrated in a very general form following the anholonomic deformation method for constructing exact solutions in four and…
We construct new rational approximants of Euler's constant that improve those of Aptekarev et al. (2007) and Rivoal (2009). The approximants are given in terms of certain (mixed type) multiple orthogonal polynomials associated with the…
We discuss the regularization of certain hypergeometric integrals appearing in 2D CFT, a step needed in the construction of the BPZ minimal models via the Coulomb gas formalism. The method is a generalization of Pochhammer's regularization…
In this paper, Thue's Fundamentaltheorem is analysed. We show that it includes, and often strengthens, known effective irrationality measures obtained via the so-called hypergeometric method as well as showing that it can be applied to…
Euler's gamma function is logarithmically convex on positive semi-axis. Additivity of logarithmic convexity implies that the function sum of gammas with non-negative coefficients is also log-convex. In this paper we investigate the series…
A new multiple-integral representation of a general family of very-well-poised hypergeometric series is proved. Inspite of an analytic character of the result, it is motivated by the recent arithmetic progress for the values of the Riemann…
We give an explicit formula for the duality, previously conjectured by Horja and Borisov, of two systems of GKZ hypergeometric PDEs. We prove that in the appropriate limit this duality can be identified with the inverse of the Euler…
We obtain two new Thomae-type transformations for hypergeometric series with r pairs of numeratorial and denominatorial parameters differing by positive integers. This is achieved by application of the so-called Beta integral method…
Generalized trigonometric functions and generalized hyperbolic functions can be converted to each other by the duality formulas previously discovered by the authors. In this paper, we apply the duality formulas to prove dual pairs of…
We provide representations of Euler's constant $\gamma=0.577...$ as series which converge geometrically fast (but use coefficients whose computation induces a quadratic cost). The asymptotic oscillations of these coefficients are discussed.
We calculate 3-loop master integrals for heavy quark correlators and the 3-loop QCD corrections to the $\rho$-parameter. They obey non-factorizing differential equations of second order with more than three singularities, which cannot be…
We present an implementation of algorithms for the symbolic integration of hyperlogarithms multiplied by rational functions in the computer algebra system FORM. This implementation encompasses cases where hyperlogarithms have rational…
In this paper, we define extended trigonometric functions via series and employ the method of contour integration to investigate the parity of certain cyclotomic Euler sums and multiple polylogarithm function. We can provide the statement…
The attributes of Euler's constant Gamma have been a baffling problem to the world's mathematicians in the number theory field. In 1900, when German mathematician D. Hilbert addressed the 2nd International Congress of Mathematicians, he…