Some Monotonicity Properties of Convex Functions with Applications

Jamal Rooin and Hossein Dehghan

arXiv: 1310.6698v1 · PDF · 23 October 2013
Categories: math.CA
DOI: 10.1007/s00009-014-0440-z
Licence: CC BY 4.0 The site shows the text.

Abstract

We mainly establish a monotonicity property between some special Riemann sums of a convex function f on [a,b], which in particular yields that \frac{b-a}{n+1}\sum_{i=0}^n f\left(a+i\frac{b-a}{n}\right) is decreasing while \frac{b-a}{n-1}\sum_{i=1}^{n-1} f\left(a+i\frac{b-a}{n}\right) is an increasing sequence. These give us a new refinement of the Hermitt-Hadamard inequality. Moreover, we give a refinement of the classical Alzer’s inequality together with a suitable converse to it. Applications regarding to some important convex functions are also included.

Items 14

Theorem

Theorem 2.1

LA5T

Let a=x_0< x_1< \cdots < x_n=b and a=y_0< y_1< \cdots < y_{n+1}=b be two partitions of [a,b] such that x_{i-1}\leq y_i\leq x_{i} (i=1,2,\ldots, n). If f is convex on [a,b], then

\begin{aligned} \sum_{i=1}^{n} (x_{i}-x_{i-1}) f(y_i) \leq \sum_{i=0}^{n} (x_{i+1}-x_{i-1}+ y_{i}-y_{i+1}) f(x_i) \end{aligned}

and

\begin{aligned} \sum_{i=0}^{n} (y_{i+1}-y_i) f(x_i) \leq \sum_{i=0}^{n+1} (y_{i+1}-y_{i-1}+ x_{i-1}-x_i) f(y_i), \end{aligned}

where x_{-1}=y_{-1}=a and x_{n+1}=y_{n+2}=b. If f is strictly convex, then inequality (2.1) (respectively (2.1)) is strict whenever x_{i-1}< y_i< x_{i} for some i\in \{1,2,\ldots, n\} (respectively y_{i}< x_i< y_{i+1} for some i\in \{1,2,\ldots, n-1\}).

Used by Remark 2.2

Remark

Remark 2.2

KVZR

With the assumptions of Theorem 2.1 we may write the inequalities (2.1) and (2.1) in following single form

\begin{aligned} \sum_{i=0}^{n} &(y_{i+1}-y_i) f(x_i) + \sum_{i=0}^{n-1} (x_{i+1}-x_{i}) f(y_{i+1}) \\ &\leq \min\left\{ \sum_{i=0}^{n} (y_{i+1}-y_i) (f(y_i)+f(y_{i+1})) , \sum_{i=0}^{n-1} (x_{i+1}-x_{i}) (f(x_i)+ f(x_{i+1}))\right\}, \end{aligned}

which is a monotonicity property between some special Riemann sums.

Uses Theorem 2.1

Corollary

Corollary 2.3

0DOR

With the above assumptions, if f is convex on [a,b], then we have

\begin{aligned} A_{n+1}\leq A_n\hspace{1cm} (n=1,2,\ldots)\hspace{1cm} \mbox{and} \hspace{1cm} B_n\leq B_{n+1}\hspace{1cm} (n=2,3,\ldots). \end{aligned}

Both inequalities are strict if f is strictly convex.

Corollary

Corollary 2.4

WD9Q

If f is convex on [a,b], then

\begin{aligned} \hspace{-0.75cm}\frac{1}{m-1}\sum_{i=1}^{m-1} f\left(x_i^{(m)}\right)\leq \frac{1}{b-a}\int _a^b f(t)dt\leq \frac{1}{n+1}\sum_{i=0}^ nf\left(x_i^{(n)}\right)\hspace{0.5cm} (m=2,3,\ldots;~n=1,2,\ldots), \end{aligned}

which is a refinement and extension of Hermitt-Hadamard inequality (?).
Both inequalities in (2.4) are strict, if f is strictly convex.

Corollary

Corollary 2.5

5BNB

If f>0 is logarithmically convex on [a,b], then

\begin{aligned} \frac{\sqrt[m-1]{\prod_{i=1}^{m-1}f\left(\frac{(m-i)a+ib} {m}\right)}}{\sqrt[m]{\prod_{i=1}^mf\left(\frac{(m+1-i)a+ib} {m+1}\right)}}\leq1\leq \frac{\sqrt[n+1]{\prod_{i=0}^{n}f\left(\frac{(n-i)a+ib} {n}\right)}}{\sqrt[n+2]{\prod_{i=0}^{n+1}f\left(\frac{(n+1-i)a+ib} {n+1}\right)}} \end{aligned}

and

\begin{aligned} \sqrt[m-1]{\prod_{i=1}^{m-1}f\left(\frac{(m-i)a+ib} {m}\right)}&\leq& \exp\left(\frac{1}{b-a}\int _a^b \ln f(t)dt\right)\\ &\leq& \sqrt[n+1]{\prod_{i=0}^{n}f\left(\frac{(n-i)a+ib} {n}\right)}, \end{aligned}

where m=2,3,\ldots and n=1,2,\ldots.
All inequalities are strict if f is strictly logarithmically convex.

Corollary

Corollary 2.6

TAPV

With the above assumptions, if f is convex on [a,b], then we have

\begin{aligned} \frac{1}{n(n+2)}\left[S_{n+1}-(b-a)f(a))\right]\le S_n-S_{n+1}\le \frac{1}{n^2}\left[(b-a)f(b)-S_{n+1}\right] \end{aligned}

and

\begin{aligned} \frac{1}{n^2}\left[T_{n+1}-(b-a)f(a)\right] \le T_{n+1}-T_n\le \frac{1}{n(n+2)}\left[(b-a)f(b)-T_{n+1}\right] . \end{aligned}

Moreover, except than the case n=1 in which equality always holds in the right of (2.6) and left hand of (2.6), all inequalities are strict if f is strictly convex.
If f is concave, all inequalities reverse.

Remark

Remark 2.7

8I0A

If f is increasing and convex (concave) on [a,b],

the inequalities in (2.6) and (2.6) (the reversed forms of the inequalities in (2.6) and (2.6)) give us a refinement and converse to the inequalities in (?).

Theorem

Theorem 3.1

XIN0

Let x,y be two vectors in a real normed linear space X, not both of them zero, and p\geq 1. Then

\begin{aligned} \hspace{-0.5cm}\left(\frac{n\sum_{i=1}^{n-1}\|(n-i)x+iy\|^p}{(n-1)\sum_{i=1}^n\|(n+1-i)x+iy\|^p}\right)^{1/p} \leq\frac{n}{n+1}\leq\left(\frac{(n+2)\sum_{i=0}^n\|(n-i)x+iy\|^p}{(n+1)\sum_{i=0}^{n+1}\| (n+1-i)x+iy\|^p}\right)^{1/p} \end{aligned}

and

\begin{aligned} \frac{\sum_{i=1}^{n-1}\|(n-i)x+iy\|^p}{n^p(n-1)} \leq \int_0^1\|(1-t)x+ty\|^pdt\leq\frac{\sum_{i=0}^n\|(n-i)x+iy\|^p}{n^p(n+1)}, \end{aligned}

where in the left hands n\geq2 and in the right hands n\geq1.
Note that (3.1) is a generalization and refinement of the well-known chain inequalities [MPF]

\begin{aligned} \left\|\frac{x+y}{2}\right\|^p\leq \int_0^1\|(1-t)x+ty\|^pdt\leq\frac{\|x\|^p+\|y\|^p}{2}. \end{aligned}

If X is strictly convex, then all inequalities are strict if x and y are linearly independent.

Theorem

Theorem 3.2

KKHF

Let 0\leq a<b. If r>1, then

\begin{aligned} \hspace{-0.5cm}\left(\frac{n\sum_{i=1}^{n-1}[(n-i)a+ib]^r}{(n-1)\sum_{i=1}^n[(n+1-i)a+ib]^r}\right)^{1/r} <\frac{n}{n+1}<\left(\frac{(n+2)\sum_{i=0}^n[(n-i)a+ib]^r}{(n+1)\sum_{i=0}^{n+1}[(n+1-i)a+ib]^r}\right)^{1/r} \end{aligned}

and

\begin{aligned} \left(\frac{\sum_{i=1}^{n-1}[(n-i)a+ib]^r}{n^r(n-1)}\right)^{1/r} <L_r(a,b)<\left(\frac{\sum_{i=0}^n[(n-i)a+ib]^r}{n^r(n+1)}\right)^{1/r}, \end{aligned}

where in the left hand inequalities, we have n\geq2, and in the right hand ones, n\geq1.
If r<0 with a>0 or 0<r<1, all inequalities in (3.2) and (3.2) reverse.

Theorem

Theorem 3.3

KWVS

If 0<a<b, then

\begin{aligned} \frac{\sqrt[n+1]{\prod_{i=0}^n[(n-i)a+ib]}} {\sqrt[n+2]{\prod_{i=0}^{n+1}[(n+1-i)a+ib]}}<\frac{n}{n+1} <\frac{\sqrt[n-1]{\prod_{i=1}^{n-1}[(n-i)a+ib]}} {\sqrt[n]{\prod_{i=1}^{n}[(n+1-i)a+ib]}} \end{aligned}

and

\begin{aligned} \frac{\sqrt[n+1]{\prod_{i=0}^n[(n-i)a+ib]}} {n}< I(a,b)<\frac{\sqrt[n-1]{\prod_{i=1}^{n-1}[(n-i)a+ib]}}{n}, \end{aligned}

where in the left hand inequalities, we have n\geq1, and in the right hand one n\geq2.

Remark

Remark 3.4

0R70

(i) If we set a=0 and b=1 in (?), we get for r>1,

\begin{aligned} \left(\frac{n\sum_{i=1}^{n-1}i^r}{(n-1)\sum_{i=1}^n i^r}\right)^{1/r} <\frac{n}{n+1}<\left(\frac{(n+2)\sum_{i=1}^ni^r}{(n+1)\sum_{i=1}^{n+1}i^r}\right)^{1/r}, \end{aligned}

where in the left hand inequality, we have n\geq2, and in the right hand one n\geq1. It can be seen that (3.4) in turn is equivalent to

\begin{aligned} \hspace{-0.5cm}\frac{n}{n+1}\left(1+\frac{1}{n(n+2)}\right)^{1/r}< \left((n+1)\sum_{i=1}^ni^r\left/n\sum_{i=1}^{n+1}i^r \right.\right)^{1/r}< \frac{n+1}{n+2} \hspace{1cm}(n\geq 1). \end{aligned}

Similarly, if 0<r<1, all inequalities in (3.4) and so in (3.4) reverse.
The inequalities in (3.4) and their reversed forms in the case of 0<r<1, give us Bennett inequality (?) in the case of r>0 and a refinement and converse of the classical Alzer’s inequality (?) which are stronger than the result in [Ch-Drag, Corollary 1].

(ii) If we take b=1 and let a\to 0+ in the right hand inequality of (3.3), we get

\begin{aligned} \sqrt[n]{n!} \geq \frac{n+1}{e} \hspace{1.5cm}(n=1,2,\ldots). \end{aligned}

(iii) If r<0, letting a\rightarrow 0+ and changing n by n+1 in the reversed form of the left hand inequality of (?), we obtain

\begin{aligned} \frac{n+1}{n+2} \leq\left(\frac{(n+1)\sum_{i=1}^{n}i^r}{n\sum_{i=1}^{n+1} i^r}\right)^{1/r}\hspace{1.5cm}(r<0;~n=1, 2,\ldots), \end{aligned}

which

is the Bennett inequality (?) for r<0.

(iv) If r>1, setting a=0 and b=1 in (3.2), we get

\begin{aligned} \frac{(n+1)n^r}{r+1} < \sum_{i=1}^n i^r < \frac{n(n+1)^r}{r+1} \hspace{1.5cm}( n=1,2,\ldots). \end{aligned}

If 0<r < 1, then inequalities in (3.4) reverse.
Also, if in the reversed form of the left hand of (3.2), we take b=1, let a\to 0+ and change n by n+1, we obtain

\begin{aligned} \sum_{i=1}^n i^r \leq \frac{n(n+1)^r}{r+1} \hspace{1.5cm}(-1 < r< 0;\ n=1,2,\ldots). \end{aligned}

(v) If 0<a<b, letting r\rightarrow 0 in the reversed form of (3.2) and (3.2), we get a weaker form of (3.3) and (3.3), loosing the strictness of inequalities.

(vi) If a\rightarrow 0+ in (3.3), changing n by n+1, we get [Alzer1994, Lemma 2.1]

\begin{aligned} \frac{n+1}{n+2} \leq\frac{\sqrt[n]{n!}}{\sqrt[n+1]{(n+1)!}}\hspace{1.5cm}(n=1,2,\ldots), \end{aligned}

which is a refinement of the inequality of H. Minc and L. Sathre (?).

Theorem

Theorem 3.5

RYQ5

If 0<a<b\leq \frac{1}{2}, then

\begin{aligned} \frac{\sqrt[m-1]{\prod_{i=1}^{m-1}\frac{m-(m-i)a-i b} {(m-i)a+ib}}}{\sqrt[m]{\prod_{i=1}^{m}\frac{(m+1)-(m+1-i)a-i b} {(m+1-i)a+ib}}}<1<\frac{\sqrt[n+1]{\prod_{i=0}^{n}\frac{n-(n-i)a-i b} {(n-i)a+ib}}}{\sqrt[n+2]{\prod_{i=0}^{n+1}\frac{(n+1)-(n+1-i)a-i b} {(n+1-i)a+ib}}} \end{aligned}

and

\begin{aligned} \sqrt[m-1]{\prod_{i=1}^{m-1}\frac{m-(m-i)a-i b} {(m-i)a+ib}}<\frac{I(1-a,1-b)}{I(a,b)}<\sqrt[n+1]{\prod_{i=0}^{n}\frac{n-(n-i)a-i b} {(n-i)a+ib}} \end{aligned}

(m=2,3,\ldots;n=1,2,\ldots).

In particular,

\begin{aligned} {2m-1 \choose m-1}^\frac{1}{m-1}\leq{2m+1 \choose m}^\frac{1}{m}\hspace{1.5cm}(m=2,3,\ldots), \end{aligned}

and so {2m+1 \choose m}^\frac{1}{m} is an increasing sequence which tends to 4. Also, we have [13RH, Theorem 3.4]

\begin{aligned} \frac{2-a-b} {a+b}<\frac{I(1-a,1-b)}{I(a,b)}<\sqrt{\frac{(1-a)(1-b)} {a b}}. \end{aligned}

Theorem

Theorem 3.6

D5ZV

If 0<x\leq\pi/2, then

\begin{aligned} \frac{n-1}{n}\cot\frac{x}{n+1}+\frac{1}{n}\cot x< \cot\frac{x}{n}< \frac{n+1}{n+2}\cot\frac{x}{n+1}-\frac{1}{n+2}\cot x, \end{aligned}

\begin{aligned} \frac{1}{n+1}(\sin x\cot\frac{x}{n}+\cos x)<\frac{\sin x}{x} < \frac{1}{n-1}(\sin x\cot\frac{x}{n}-\cos x), \end{aligned}

and in particular,

\begin{aligned} \frac{n-1}{n}\cot\frac{\pi}{2(n+1)}< \cot\frac{\pi}{2n}< \frac{n+1}{n+2}\cot\frac{\pi}{2(n+1)}. \end{aligned}

where in the left hands of (3.6) and (3.6) and in the right hand of (3.6) we have n\geq2 and in the others n\geq1.

Used by Remark 3.7

Remark

Remark 3.7

5VYL

From (3.6), we have

\begin{aligned} \frac{k-1}{k}<\frac{\tan\frac{\pi}{2(k+1)}}{\tan\frac{\pi}{2k}}<\frac{k+1}{k+2}\hspace{1.5cm}(k=2,3,\ldots), \end{aligned}

which by multiplying each side of (3.7) from k=2 to k=n-1, we obtain

\begin{aligned} \frac{1}{n-1}<\tan\frac{\pi}{2n}<\frac{3}{n+1}\hspace{1.5cm}(n=3,4,\ldots). \end{aligned}

Now using the representations of \tan2x, \cos2x and \sin2x in terms of \tan x, and applying (3.7), we get for n=3,4,\ldots, the following rational approximations

\begin{aligned} \frac{2(n-1)}{n(n-2)}<\tan\frac{\pi}{n}<\frac{6(n+1)}{(n+4)(n-2)}, \end{aligned}

\begin{aligned} \frac{(n-2)(n+4)}{n^2+2n+10}<\cos\frac{\pi}{n}<\frac{n(n-2)}{n^2-2n+2}, \end{aligned}

and

\begin{aligned} \frac{2(n+1)^2}{(n-1)(n^2+2n+10)}<\sin\frac{\pi}{n}<\frac{6(n-1)^2}{(n+1)(n^2-2n+2)}. \end{aligned}

But since

\begin{aligned} \frac{6(n+1)}{(n+4)(n-2)}-\frac{2(n-1)}{n(n-2)}= \frac{1}{n} \left( \frac{4n^2+8}{n^2+2n-8} \right), \end{aligned}

\begin{aligned} \frac{n(n-2)}{n^2-2n+2}-\frac{(n-2)(n+4)}{n^2+2n+10}= \frac{1}{n^2} \left( \frac{16 n^4 -40n^3+16n^2}{n^4+8n^2-16n+20} \right) \end{aligned}

and

\begin{aligned} \frac{6(n-1)^2}{(n+1)(n^2-2n+2)}&-&\frac{2(n+1)^2}{(n-1)(n^2+2n+10)}\\ &= \frac{1}{n} \left( \frac{4n^6-8n^5+44n^4-152n^3+160n^2-64n}{n^6+7n^4-16n^3+12n^2+16n-20} \right), \end{aligned}

we may write

\begin{aligned} \tan\frac{\pi}{n}=\frac{2(n-1)}{n(n-2)} +O \left( \frac{1}{n} \right), \end{aligned}

\begin{aligned} \cos\frac{\pi}{n}=\frac{(n-2)(n+4)}{n^2+2n+10} + O \left( \frac{1}{n^2} \right) \end{aligned}

and

\begin{aligned} \sin\frac{\pi}{n}=\frac{2(n+1)^2}{(n-1)(n^2+2n+10)} + O \left( \frac{1}{n} \right). \end{aligned}

Uses Theorem 3.6

Source and licence

The text on this page is from arXiv:1310.6698v1 by Jamal Rooin and Hossein Dehghan, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/1310/1310.6698.jsonl.