Search

In this paper, the power series and hypergeometric series representations of the beta and Ramanujan functions \begin{equation*} \mathcal{B}\left( x\right) =\frac{\Gamma \left( x\right)^{2}}{\Gamma \left( 2x\right) }\text{ and }\mathcal{R}\left( x\right) =-2\psi \left( x\right) -2\gamma \end{equation*} are presented, which yield higher order monotonicity results related to $ \mathcal{B}(x)$ and $\mathcal{R}(x)$; the decreasing property of the functions $\mathcal{R}\left( x\right) /\mathcal{B}\left( x\right) $ and $[ \mathcal{B}(x) -\mathcal{R}(x)] /x^{2}$ on $\left( 0,\infty \right)$ are proved. Moreover, a conjecture put forward by Qiu et al. in [17] is proved to be true. As applications, several inequalities and identities are deduced. These results obtained in this paper may be helpful for the study of certain special functions. Finally, an interesting infinite series similar to Riemann zeta functions is observed initially., Comment: 18 pages

Let $\mathcal{K}\left( x\right) $ be the complete elliptic integral of the first kind and \begin{equation*} \mathcal{G}_{p}\left( x\right) =e^{\mathcal{K}\left( \sqrt{x} \right) }-\frac{p}{\sqrt{1-x}} \end{equation*} for $p\in \mathbb{R}$ and $x\in \left( 0,1\right) $. In this paper we find the necessary and sufficient conditions for the functions $\pm \mathcal{G} _{p}^{\left( k\right) }\left( x\right) $ ($k\in \mathbb{N\cup }\left\{ 0\right\} $) to be absolutely monotonic on $\left( 0,1\right) $, which extend previous known results and yield several new functional inequalities involving the complete elliptic integral of the first kind. More importantly, we provide a new method to deal with those absolute monotonicity problem by proving the monotonicity of a sequence generated by the coefficients of the power series of $\mathcal{G}_{p}\left( x\right) $., Comment: 14 pages

In the article, the authors establish the monotonicity of the ratios \begin{equation*} \frac{B_{2n-1}(t)}{B_{2n+1}(t)}, \quad \frac{B_{2n}(t)}{B_{2n+1}(t)},\quad \frac{B_{2m}(t)}{B_{2n}(t)},\quad \frac{B_{2n}(t)}{B_{2n-1}(t)} \end{equation*} and derive some known and new inequalities of the Bernoulli polynomials $B_n(t)$, the Bernoulli numbers $B_{2n}$, and their ratios such as $\frac{B_{2n+2}}{B_{2n}}$., Comment: 22 pages

For $a,b,p\in \mathbb{R}$, $-c\notin \mathbb{N\cup }\left\{ 0\right\} $ and $ \theta \in \left[ -1,1\right] $, let \begin{equation*} U_{\theta }\left( x\right) =\left( 1-\theta x\right) ^{p}F\left( a,b;c;x\right) =\sum_{n=0}^{\infty }u_{n}\left( \theta \right) x^{n}. \end{equation*}% In this paper, we prove that the coefficients $u_{n}\left( \theta \right) $ for $n\geq 0$ satisfies a 3-order recurrence relation. In particular, $ u_{n}\left( 1\right) $ satisfies a 2-order recurrence relation. These offer a new way to study for hypergeometric function. As an example, we present the necessary and sufficient conditions such that a hypergeometric mean value is Schur m-power convex or concave on $\mathbb{R}_{+}^{2}$., Comment: 17 pages

Let $f$ and $g$ be both continuous functions on $\left( 0,\infty \right) $ with $g\left( t\right) >0$ for $t\in \left( 0,\infty \right) $ and let $ F\left( x\right) =\mathcal{L}\left( f\right) $, $G\left( x\right) =\mathcal{L }\left( g\right) $ be respectively the Laplace transforms of $f$ and $g$ converging for $x>0$. We prove that if there is a $t^{\ast }\in \left( 0,\infty \right) $ such that $f/g$ is strictly increasing on $\left( 0,t^{\ast }\right) $ and strictly decreasing on $\left( t^{\ast },\infty \right) $, then the ratio $F/G$ is decreasing on $\left( 0,\infty \right) $ if and only if \begin{equation*} H_{F,G}\left( 0^{+}\right) =\lim_{x\rightarrow 0^{+}}\left( \frac{F^{\prime }\left( x\right) }{G^{\prime }\left( x\right) }G\left( x\right) -F\left( x\right) \right) \geq 0, \end{equation*} with \begin{equation*} \lim_{x\rightarrow 0^{+}}\frac{F\left( x\right) }{G\left( x\right) } =\lim_{t\rightarrow \infty }\frac{f\left( t\right) }{g\left( t\right) }\text{ \ and \ }\lim_{x\rightarrow \infty }\frac{F\left( x\right) }{G\left( x\right) }=\lim_{t\rightarrow 0^{+}}\frac{f\left( t\right) }{g\left( t\right) } \end{equation*} provide the indicated limits exist. While $H_{F,G}\left( 0^{+}\right) <0$, there is at leas one $x^{\ast }>0$ such that $F/G$ is increasing on $\left( 0,x^{\ast }\right) $ and decreasing on $\left( x^{\ast },\infty \right) $. As applications of this monotonicity rule, a unified treatment for certain bounds of psi function is presented, and some properties of the modified Bessel functions of the second are established. These show that the monotonicity rules in this paper may contribute to study for certain special functions because many special functions can be expressed as corresponding Laplace transforms., Comment: 24 pages

In this paper, we present a very accurate approximation for gamma function: \begin{equation*} \Gamma \left( x+1\right) \thicksim \sqrt{2\pi x}\left( \dfrac{x}{e}\right) ^{x}\left( x\sinh \frac{1}{x}\right) ^{x/2}\exp \left( \frac{7}{324}\frac{1}{ x^{3}\left( 35x^{2}+33\right) }\right) =W_{2}\left( x\right) \end{equation*} as $x\rightarrow \infty $, and prove that the function $x\mapsto \ln \Gamma \left( x+1\right) -\ln W_{2}\left( x\right) $ is strictly decreasing and convex from $\left( 1,\infty \right) $ onto $\left( 0,\beta \right) $, where \begin{equation*} \beta =\frac{22\,025}{22\,032}-\ln \sqrt{2\pi \sinh 1}\approx 0.00002407. \end{equation*}, Comment: 9 pages

In this paper, we develop Windschitl's approximation formula for the gamma function to two asymptotic expansions by using a little known power series. In particular, for $n\in \mathbb{N}$ with $n\geq 4$, we have \begin{equation*} \Gamma \left( x+1\right) =\sqrt{2\pi x}\left( \tfrac{x}{e}\right) ^{x}\left( x\sinh \tfrac{1}{x}\right) ^{x/2}\exp \left( \sum_{k=3}^{n-1}\tfrac{\left( 2k\left( 2k-2\right) !-2^{2k-1}\right) B_{2k}}{2k\left( 2k\right) !x^{2k-1}} +R_{n}\left( x\right) \right) \end{equation*} with \begin{equation*} \left| R_{n}\left( x\right) \right| \leq \frac{\left| B_{2n}\right| }{2n\left( 2n-1\right) }\frac{1}{x^{2n-1}} \end{equation*} for all $x>0$, where $B_{2n}$ is the Bernoulli number. Moreover, we present some approximation formulas for gamma function related to Windschitl's approximation one, which have higher accuracy., Comment: 14 pages

The elliptic integral and its various generalizations are playing very important and basic role in different branches of modern mathematics. It is well known that they cannot be represented by the elementary transcendental functions. Therefore, there is a need for sharp computable bounds for the family of integrals. In this paper, by virtue of two new tools, we study monotonicity and convexity of certain combinations of the complete elliptic integrals of the first kind, and obtain new sharp bounds and inequalities for them. In particular, we prove that the function $\mathcal{K}\left( \sqrt{% x}\right) /\ln \left( c/\sqrt{1-x}\right) $ is concave on $\left( 0,1\right) $ if and only if $c=e^{4/3}$, where $\mathcal{K}$ denotes the complete elliptic integrals of the first kind., Comment: 17 pages

For $a,b>0$ with $a\neq b$, the Stolarsky means are defined by% \begin{equation*} S_{p,q}\left(a,b\right) =\left({\dfrac{q(a^{p}-b^{p})}{p(a^{q}-b^{q})}}% \right) ^{1/(p-q)}\text{if}pq\left(p-q\right) \neq 0 \end{equation*}% and $S_{p,q}\left(a,b\right) $ is defined as its limits at $p=0$ or $q=0$ or $p=q$ if $pq\left(p-q\right) =0$. The complete elliptic integrals of the second kind $E$ is defined on $\left(0,1\right) $ by% \begin{equation*} E\left(r\right) =\int_{0}^{\pi /2}\sqrt{1-r^{2}\sin ^{2}t}dt. \end{equation*}% We prove that the functions% \begin{equation*} F\left(r\right) =\frac{1-\left(2/\pi \right) E\left(r\right)}{% 1-S_{11/4,7/4}\left(1,r^{\prime}\right)}\text{and}G\left(r\right) =% \frac{1-\left(2/\pi \right) E\left(r\right)}{1-S_{5/2,2}\left(1,r^{\prime}\right)} \end{equation*}% are strictly decreasing and increasing on $\left(0,1\right) $, respectively, where $r^{\prime}=\sqrt{1-r^{2}}$. These yield some very accurate approximations for the complete elliptic integrals of the second kind, which greatly improve some known results., Comment: 25 pages

The Toader-Qi mean of positive numbers $a$ and $b$ defined by \begin{equation*} TQ\left( a,b\right) =\frac{2}{\pi }\int_{0}^{\pi /2}a^{\cos ^{2}\theta }b^{\sin ^{2}\theta }d\theta \end{equation*} is related to the modified Bessel function of the first kind. In this paper, we present several properties of this mean, and establish some sharp inequalities for this mean in terms of power and logarithmic means. From these a nice chain of inequalities involving Gauss compound mean, Toader mean and Toader-Qi mean is presented., Comment: 20 pages

In this paper, we prove that the double inequality $M_{p}(a,b)0$ with $a\neq b$ if and only if $p\leq 4\log 2/(4+2\log 2-\pi)=1.2351\cdots$ and $q\geq 4/3$, where $% M_{r}(a,b)=[(a^{r}+b^{r})/2]^{1/r}$ $(r\neq 0)$ and $M_{0}(a,b)=\sqrt{ab}$ is the $r$th power mean, $B(a,b)=Q(a,b)e^{A(a,b)/T(a,b)-1}$ is the S\'{a}% ndor-Yang mean, $A(a,b)=(a+b)/2$, $Q(a,b)=\sqrt{(a^{2}+b^{2})/2}$ and $% T(a,b)=(a-b)/[2\arctan((a-b)/(a+b))]$., Comment: 9 pages

Let $K,M,N$ denote three bivariate means. In the paper, the author prove the asymptotic formulas for the gamma function have the form of% \begin{equation*} \Gamma \left( x+1\right) \thicksim \sqrt{2\pi }M\left( x+\theta,x+1-\theta \right) ^{K\left( x+\epsilon ,x+1-\epsilon \right) }e^{-N\left( x+\sigma ,x+1-\sigma \right) } \end{equation*}% or% \begin{equation*} \Gamma \left( x+1\right) \thicksim \sqrt{2\pi }M\left( x+\theta ,x+\sigma \right) ^{K\left( x+\epsilon ,x+1-\epsilon \right) }e^{-M\left( x+\theta ,x+\sigma \right) } \end{equation*}% as $x\rightarrow \infty $, where $\epsilon ,\theta ,\sigma $ are fixed real numbers. This idea can be extended to the psi and polygamma functions. As examples, some new asymptotic formulas for the gamma function are presented., Comment: 21 pages

In this paper, we present the necessary and sufficient conditions such that several functions involving $R\left( x\right) =\psi \left( x+1/2\right) -\ln x$ with a parameter are completely monotone on $\left( 0,\infty \right) $, where $\psi $ is the digamma function. This generalizes some known results and verifies a conjecture posed by Chen., Comment: 16 pages

Let $-\infty \leq a

In this paper, the bivariate log-convexity of the two-parameter homogeneous function in parameter pair is vestigated. From this the bivariate log-convexity of the more extended means with respect to a parameter pair is solved. It follows that Stolarsky means, Gini means, two-parameter identric (exponential) means and two-parameter Heronian means are all bivariate log-concave on $\mathbb{[}0\mathbb{,\infty )}^{2}$ and log-convex on $% \mathbb{(-\infty ,}0\mathbb{]}^{2}$ with respect to parameters. Lastly, some classical and new inequalities for means are given., Comment: 12 pages

Let $\left( p,q\right) \mapsto \beta \left( p,q\right) $ be a function defined on $\mathbb{R}^{2}$. We determine the best or better $p,q$ such that the inequality% \begin{equation*} \left( \frac{\sin x}{x}\right) ^{p}<\left( >\right) 1-\beta \left( p,q\right) +\beta \left( p,q\right) \cos ^{q}x \end{equation*}% holds for $x\in \left( 0,\pi /2\right) $, and obtain a lot of new and sharp Cusa type inequalities for trigonometric functions. As applications, some new Shafer-Fink type and Carlson type inequalities for arc sine and arc cosine functions, and new inequalities for trigonometric means are established., Comment: 29 pages

In this paper, by investigating the monotonicity of a function composed of $% \left( \sinh x\right) /x$ and $\cosh x$ with two parameters in $x$ on $% \left( 0,\infty \right) $, we prove serval theorems related to inequalities for hyperbolic functions, which generalize known results and establish some new and sharp inequalities. As applications, some new and sharp inequalities for bivariate means are presented., Comment: 20 pages

Let $\mathcal{L}(x,a)$ be defined on $\left( -1,\infty \right) \times \left( 4/15,\infty \right) $ or $\left( 0,\infty \right) \times \left( 1/15,\infty \right) $ by the formula% \begin{equation*} \mathcal{L}(x,a)=\tfrac{1}{90a^{2}+2}\ln \left( x^{2}+x+\tfrac{3a+1}{3}% \right) +\tfrac{45a^{2}}{90a^{2}+2}\ln \left( x^{2}+x+\allowbreak \tfrac{% 15a-1}{45a}\right) . \end{equation*} We investigate the monotonicity and convexity of the function $x\rightarrow F_{a}\left( x\right) =\psi \left( x+1\right) -\mathcal{L}(x,a)$, where $\psi $ denotes the Psi function. And, we determine the best parameter $a$ such that the inequality $\psi \left( x+1\right) <\left( >\right) \mathcal{L}% (x,a) $ holds for $x\in \left( -1,\infty \right) $ or $\left( 0,\infty \right) $, and then, some new and very high accurate sharp bounds for pis function and harmonic numbers are presented. As applications, we construct a sequence $\left( l_{n}\left( a\right) \right) $ defined by $l_{n}\left( a\right) =H_{n}-\mathcal{L}\left( n,a\right) $, which gives extremely accurate values for $\gamma $., Comment: 20 pages

We prove that for $p\in (0,1]$, the double inequality% \begin{equation*} \tfrac{1}{3p^{2}}\cos px+1-\tfrac{1}{3p^{2}}<\frac{\sin x}{x}<\tfrac{1}{% 3q^{2}}\cos qx+1-\tfrac{1}{3q^{2}} \end{equation*}% holds for $x\in (0,\pi /2)$ if and only if $00$ if and only if $0

In this paper, we prove that for fixed $k\geq 1$, the Wilker type inequality {equation*} \frac{2}{k+2}(\frac{\sin x}{x}) ^{kp}+\frac{k}{k+2}(\frac{% \tan x}{x})^{p}>1 {equation*}% holds for $x\in (0,\pi /2) $ if and only if $p>0$ or $p\leq -% \frac{\ln (k+2) -\ln 2}{k(\ln \pi -\ln 2)}$. It is reversed if and only if $-\frac{12}{5(k+2)}\leq p<0$. Its hyperbolic version holds for $x\in (0,\infty) $ if and only if $% p>0$ or $p\leq -\frac{12}{5(k+2)}$. And, for fixed $k<-2$, the hyperbolic version is reversed if and only if $p<0$ or $p\geq -\frac{12}{% 5(k+2)}$. Our results unify and generalize some known ones., Comment: 15 pages

In this paper, the versions of trigonometric functions of certain known inequalities for hyperbolic ones are proved, and then corresponding inequalities for means are presented., Comment: 17 pages

In this paper, we find some new sharp bounds for $\left(\sin x\right) /x$, which unify and refine Jordan, Adamovi\'{c}-Mitrinovi\'{c}and and Cusa's inequalities. As applications of main results, some new Shafer-Fink type inequalities for arc sine function and ones for certain bivariate means are established, and a simpler but more accurate estimate for sine integral is derived., Comment: 17 pages

For $a,b>0$ with $a\neq b$, we define M_{p}=M^{1/p}(a^{p},b^{p})\text{if}p\neq 0 \text{and} M_{0}=\sqrt{ab}, where $M=A,He,L,I,P,T,N,Z$ and $Y$ stand for the arithmetic mean, Heronian mean, logarithmic mean, identric (exponential) mean, the first Seiffert mean, the second Seiffert mean, Neuman-S\'{a}ndor mean, power-exponential mean and exponential-geometric mean, respectively. Generally, if $M$ is a mean of $a$ and $b$, then $M_{p}$ is also, and call "power-type mean". We prove the power-type means $P_{p}$, $T_{p}$, $N_{p}$, $Z_{p}$ are increasing in $p$ on $\mathbb{R}$ and establish sharp inequalities among power-type means $A_{p}$, $He_{p}$, $L_{p}$, $I_{p}$, $P_{p}$, $N_{p}$, $Z_{p}$, $Y_{p}$% . From this a very nice chain of inequalities for these means L_{2}

For a,b>0 with a\not=b, let N(a,b) denote the Neuman-S\'andor mean defined by N(a,b)=((a-b)/(2arcsinh((a-b)/(a+b)))) and A_{r}(a,b) denote the r-order power mean. We present the sharp power means bounds for the Neuman-S\'andor mean: A_{p_1}(a,b)

In this paper, we prove that for x\in(0,{\pi}/2) (cos p_0x)^{1/p_0}<((sin x)/x)<(cos(x/3))^3 with the best constants p_0=0.347307245464... and 1/3. Moreover, if p\in (0,1/3] then the double inequality {\beta}_{p}(cos px)^{1/p}<((sin x)/x)<(cos px)^{1/p} holds for x\in(0,{\pi}/2), where {\beta}_{p}=2{\pi}^-1(cos((p{\pi})/2))^{-1/p} and 1 are the best possible. Its reverse one holds if p\in[1/2,1]. As applications, some new inequalities are established., Comment: 10 pages. arXiv admin note: text overlap with arXiv:1206.4911

For a,b>0 with a\not=b, let T(a,b) denote the second Seiffert mean defined by T(a,b)=((a-b)/(2arctan((a-b)/(a+b)))) and A_{r}(a,b) denote the r-order power mean. We present the sharp bounds for the second Seiffert mean in terms of power means: A_{p_1}(a,b)

The Mitrinovi\'c-Cusa inequality states that for x\in(0,{\pi}/2) (cos x)^{1/3}<((sin x)/x)<((2+cos x)/3) hold. In this paper, we prove that (cos x)^{1/3}<(cos px)^{1/(3p^{2})}<((sin x)/x)<(cos qx)^{1/(3q^{2})}<((2+cos x)/3) hold for x\in(0,{\pi}/2) if and only if p\in[p_{1},1) and q\in(0,1/\surd5], where p_{1}=0.45346830977067.... And the function p\mapsto(cos px)^{1/(3p^{2})} is decreasing on (0,1]. Our results greatly refine the Mitrinovi\'c-Cusa inequality., Comment: 13 pages