In this paper, we present some new inequalities for the gamma function. The main tools are the multiple-correction method developed in our previous works, and a generalized Morticis lemma.
In this paper we prove some exponential inequalities involving the sinc function. We analyze and prove inequalities with constant exponents as well as inequalities with certain polynomial exponents. Also, we establish intervals in which these inequalities hold.
In this article we consider mathematical fundamentals of one method for proving inequalities by computer, based on the Remez algorithm. Using the well-known results of undecidability of the existence of zeros of real elementary functions, we demonstrate that the considered method generally in practice becomes one heuristic for the verification of inequalities. We give some improvements of the inequalities considered in the theorems for which the existing proofs have been based on the numerical verifications of Remez algorithm.
We study the two-weighted estimate [ bigg|sum_{k=0}^na_k(x)int_0^xt^kf(t)dt|L_{q,v}(0,infty)bigg|leq c|f|L_{p,u}(0,infty)|,tag{$*$} ] where the functions $a_k(x)$ are not assumed to be positive. It is shown that for $1<pleq qleqinfty$, provided that the weight $u$ satisfies the certain conditions, the estimate $(*)$ holds if and only if the estimate [ sum_{k=0}^nbigg|a_k(x)int_0^xt^kf(t)dt|L_{q,v}(0,infty)bigg| leq c|f|L_{p,u}(0,infty)|.tag{$**$} ] is fulfilled. The necessary and sufficient conditions for $(**)$ to be valid are well-known. The obtained result can be applied to the estimates of differential operators with variable coefficients in some weighted Sobolev spaces.
The aim of this work is to demonstrate various an interesting recursion formulas, differential and integral operators, integration formulas, and infinite summation for each of Horns hypergeometric functions $mathrm{H}_{1}$, $mathrm{H}_{2}$, $mathrm{H}_{3}$, $mathrm{H}_{4}$, $mathrm{H}_{5}$, $mathrm{H}_{6}$ and $mathrm{H}_{7}$ by the contiguous relations of Horns hypergeometric series. Some interesting different cases of our main consequences are additionally constructed.
The Gaussian correlation inequality for multivariate zero-mean normal probabilities of symmetrical n-rectangles can be considered as an inequality for multivariate gamma distributions (in the sense of Krishnamoorthy and Parthasarathy [5]) with one degree of freedom. Its generalization to all integer degrees of freedom and sufficiently large non-integer degrees of freedom was recently proved in [10]. Here, this inequality is partly extended to smaller non-integer degrees of freedom and in particular - in a weaker form - to all infinitely divisible multivariate gamma distributions. A further monotonicity property - sometimes called more PLOD (positively lower orthant dependent) - for increasing correlations is proved for multivariate gamma distributions with integer or sufficiently large degrees of freedom.