A generalization of Bohr-Mollerup's theorem for higher order convex function (Q2669996)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A generalization of Bohr-Mollerup's theorem for higher order convex function
scientific article

    Statements

    A generalization of Bohr-Mollerup's theorem for higher order convex function (English)
    0 references
    0 references
    0 references
    9 March 2022
    0 references
    The purpose of this book on special functions is to generalize the Krull-Webster result for the classical difference equation \[ f(x+1)-f(x)=g(x),\quad x>0, \] where \(g:\mathbb{R}_+\to\mathbb{R}\) is a given function. This is done by relaxing the asymptotic condition on \(g\) into a much weaker requirement. The authors provide for multiple \(\log \Gamma\)-type functions analogues of Euler's constant, Euler's infinite product, Gauss' limit, Gauss' multiplication formula, Gautschi's inequality, Legendre's duplication formula, Raabe's formula, Stirling's constant, Stirling's formula, Wallis's product formula, Weierstrass' infinite product, and Wendel's inequality for the gamma function. Also analogues of Binet's function, Burnside's formula, Euler's reflection formula, Fontana-Mascheroni's series, Gauss' digamma theorem, and Webster's functional equation are discussed. For \(g\) eventually \(p\)-convex or eventually \(p\)-concave, this is done by introducing a sequence \(f_n^p[g](x)\), which proves existence and uniqueness. The multiple \(\log \Gamma\)-type functions are defined using the asymptotic degree of a function. Finally, the general results are applied to special functions by listing an ID card to each function containing the function \(g(x)\) above, membership to certain general classes of functions like \(C^{\infty}\), \(\deg g\) etc.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Krull-Webster's result
    0 references
    classical difference equation
    0 references
    asymptotic condition
    0 references
    multiple \(\log \Gamma\)-type function
    0 references
    0 references
    0 references