Related papers: Complete Monotonicity of Special Functions

This paper studies so-called "null polynomials modulo m", i.e., polynomials with integer coefficients that satisfy f(x)=0 (mod m) for any integer x. The study on null polynomials is helpful to reduce congruences of higher degrees modulo m…

Given a subset $S=\{s_0, s_1\}$ of the complex plane with two points and an infinite subset ${\mathscr S}$ of $S\times {\mathbb N}$, where ${\mathbb N}=\{0,1,2,\dots\}$ is the set of nonnegative integers, we ask for a lower bound for the…

In the paper, by directly verifying an inequality which gives a lower bound for the first order modified Bessel function of the first kind, the authors supply a new proof for the complete monotonicity of a difference between the exponential…

We show that for all homogeneous polynomials $ f_{m}$ of degree $m$, in $d$ variables, and each $j = 1, \dots , d$, we have \begin{equation*} \left\langle x_{j}^{2}f_{m},f_{m}\right\rangle _{L^{2}\left( \mathbb{S}% ^{d-1}\right) } \geq…

Let $u\not\equiv -\infty$ be a subharmonic function on the complex plane $\mathbb C$. In 2016, we obtained a result on the existence of an entire function $f\neq 0$ satisfying the estimate $\log|f|\leq {\sf B}_u$ on $\mathbb C$, where…

We consider nonnegative solutions to $-\Delta u=f(u)$ in half-planes and strips, under zero Dirichlet boundary condition. Exploiting a rotating$\&$sliding line technique, we prove symmetry and monotonicity properties of the solutions, under…

We prove that $1-o(1)$ fraction of all $k$-SAT functions on $n$ Boolean variables are unate (i.e., monotone after first negating some variables), for any fixed positive integer $k$ and as $n \to \infty$. This resolves a conjecture by…

We study $\mathbb{R}_{\textrm{an},\exp}$-definable functions $f:\mathbb{R}\to \mathbb{R}$ that take integer values at all sufficiently large positive integers. If $|f(x)|= O\big(2^{(1+10^{-5})x}\big)$, then we find polynomials $P_1, P_2$…

We show that a family ${\cal F}$ of meromorphic functions in a domain $D$ satisfying $$\frac{|f^{(k)}|}{1+|f^{(j)}|^\alpha}(z)\ge C \qquad \mbox{for all} z\in D \mbox{and all} f\in {\cal F}$$ (where $k$ and $j$ are integers with $k>j\ge 0$…

We prove that the graph of a discontinuous $n$-monomial function $f:\mathbb{R}\to\mathbb{R}$ is either connected or totally disconnected. Furthermore, the discontinuous monomial functions with connected graph are characterized as those…

In this paper, we investigate the monotonicity of the functions $t \mapsto \frac{\sum_{k=0}^\infty a_k w_k(t)}{\sum_{k=0}^\infty b_k w_k(t)}$ and $x \mapsto \frac{\int_\alpha^\beta f(t) w(t,x) \textrm{d} t}{\int_\alpha^\beta g(t) w(t,x)…

Let $f$ be a real function defined on the interval $[0,1]$ which is constant on $(a,b)\subset [0,1]$, and let $B_nf$ be its associated $n$th Bernstein polynomial. We prove that, for any $x\in (a,b)$, $|B_nf(x)-f(x)|$ converges to $0$ as…

Structural properties are given for $D(K)$, the Banach algebra of (complex) differences of bounded semi-continuous functons on a metric space $K$. For example, it is proved that if all finite derived sets of $K$ are non-empty, then a…

This paper concerns the long-standing question of representing (totally) anti-symmetric functions in high dimensions. We propose a new ansatz based on the composition of an odd function with a fixed set of anti-symmetric basis functions. We…

We introduce completely monotonic functions of order $r>0$ and show that the remainders in asymptotic expansions of the logarithm of Barnes double gamma function and Euler's gamma function give rise to completely monotonic functions of any…

If $f$ is an entire function and $a$ is a complex number, $a$ is said to be an asymptotic value of $f$ if there exists a path $\gamma$ from $0$ to infinity such that $f(z) - a$ tends to $0$ as $z$ tends to infinity along $\gamma$. The…

Necessary and sufficient conditions for positive numbers $M_{k_1}, M_{k_2}, M_{k_3}, M_{k_4}$, $0 = k_1 < k_2<k_2\leq r-2$, $k_4=r$, to guarantee the existence of an $r-1$-monotone function defined on the negative half-line and such that…

Let $\psi(x)$ be the di-gamma function, the logarithmic derivative of the classical Euler's gamma function $\Gamma(x)$. In the paper, the author shows that the completely monotonic degree of the function $[\psi'(x)]^2+\psi''(x)$ is $4$,…

In this paper, we present results on the uniqueness of the real zeros of the Hurwitz zeta function in given intervals. The uniqueness in question, if the zeros exist, has already been proved for the intervals $(0,1)$ and $(-N, -N+1)$ for $N…

We generalize to the ${\rm RCD}(0,N)$ setting a family of monotonicity formulas by Colding and Minicozzi for positive harmonic functions in Riemannian manifolds with non-negative Ricci curvature. Rigidity and almost rigidity statements are…