# Quasi-log concavity conjecture and its applications in statistics

## Abstract

This paper is motivated by several interesting problems in statistics. We first define the concept of quasi-log concavity, and a conjecture involving quasi-log concavity is proposed. By means of analysis and inequality theories, several interesting results related to the conjecture are obtained; in particular, we prove that log concavity implies quasi-log concavity under proper hypotheses. As applications, we first prove that the probability density function of k-normal distribution is quasi-log concave. Next, we point out the significance of quasi-log concavity in the analysis of variance. Next, we prove that the generalized hierarchical teaching model is usually better than the generalized traditional teaching model. Finally, we demonstrate the applications of our results in the research of the allowance function in the generalized traditional teaching model.

MSC:26D15, 62J10.

## 1 Introduction

Convexity and concavity are essential attributes of functions, their research and applications are important topics in mathematics (see ).

There are many types of convexity and concavity, one of them is log concavity which has many applications in statistics (see [2, 4, 712]). In , the authors apply the log concavity to study the Roy model, and some interesting results are obtained (see p.1128 in ), which include the following: If D is a log concave random variable, then

$\frac{\partial Var\left[D|D>d\right]}{\partial d}⩽0\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\frac{\partial Var\left[D|D⩽d\right]}{\partial d}⩾0.$
(1.1)

Recall the definitions of log-concave function (see ) and β-log-concave function (see ): If the function $p:I\to \left(0,\mathrm{\infty }\right)$ satisfies the inequality

$p\left[\theta u+\left(1-\theta \right)v\right]⩾{e}^{\beta }{p}^{\theta }\left(u\right){p}^{1-\theta }\left(v\right),\phantom{\rule{1em}{0ex}}\mathrm{\exists }\beta \in \left[0,\mathrm{\infty }\right),\mathrm{\forall }\left(u,v\right)\in {I}^{2},\mathrm{\forall }\theta \in \left[0,1\right],$
(1.2)

then we say that the function $p:I\to \left(0,\mathrm{\infty }\right)$ is a β-log-concave function. 0-log-concave function is called a log-concave function. In other words, the function $p:I\to \left(0,\mathrm{\infty }\right)$ is a log-concave function if and only if the function logp is a concave function. If $-logp$ is a concave function, then we call the function $p:I\to \left(0,\mathrm{\infty }\right)$ a log-convex function. Here I is an interval (or high dimension interval).

For the log-concave function, we have the following results (see ). Let the function $p:I\to \left(0,\mathrm{\infty }\right)$ be differentiable, where I is an interval. Then the function p is a log-concave function if and only if the function ${\left(logp\right)}^{\prime }$ is decreasing, i.e., if ${v}_{1},{v}_{2}\in I$, ${v}_{1}<{v}_{2}$, then we have

${\left[logp\left({v}_{1}\right)\right]}^{\prime }⩾{\left[logp\left({v}_{2}\right)\right]}^{\prime }.$
(1.3)

Let the function $p\to \left(0,\mathrm{\infty }\right)$ be twice differentiable. Then the function p is a log-concave function if and only if

$p\left(x\right){p}^{″}\left(x\right)-{\left[{p}^{\prime }\left(x\right)\right]}^{2}⩽0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in I.$
(1.4)

Let for convenience that

$\begin{array}{c}p\triangleq p\left(x\right),\phantom{\rule{2em}{0ex}}{\int }_{a}^{b}p\triangleq {\int }_{a}^{b}p\left(x\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}x,\phantom{\rule{2em}{0ex}}{p}^{\prime }\left(x\right)\triangleq \frac{\mathrm{d}p\left(x\right)}{\mathrm{d}x},\phantom{\rule{2em}{0ex}}{p}^{″}\left(x\right)\triangleq \frac{{\mathrm{d}}^{2}p\left(x\right)}{\mathrm{d}{x}^{2}},\hfill \\ {p}^{‴}\left(x\right)\triangleq \frac{{\mathrm{d}}^{3}p\left(x\right)}{\mathrm{d}{x}^{3}},\phantom{\rule{2em}{0ex}}{p}^{\left(n\right)}\left(x\right)\triangleq \frac{{\mathrm{d}}^{n}p\left(x\right)}{\mathrm{d}{x}^{n}},\phantom{\rule{1em}{0ex}}n⩾4.\hfill \end{array}$

It is well known that there is a wide range of applications of log concavity in probability and statistics theories (see [2, 4, 712]). However, quasi-log concavity also has fascinating significance in probability and statistics theories, see Section 4 and Section 5. The main object of this paper is to introduce the quasi-log concavity of a function and demonstrate its applications in the analysis of variance.

Now we introduce the definition of quasi-log concavity and quasi-log convexity as follows.

Definition 1.1 A differentiable function $p:I\to \left(0,\mathrm{\infty }\right)$ is said to be quasi-log concave if the following inequality

${G}_{p}\left[a,b\right]\triangleq \left({\int }_{a}^{b}p\right)\left[{p}^{\prime }\left(b\right)-{p}^{\prime }\left(a\right)\right]-{\left[p\left(b\right)-p\left(a\right)\right]}^{2}⩽0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }a,b\in I$
(1.5)

holds, here I is an interval. If inequality (1.5) is reversed, then the function $p:I\to \left(0,\mathrm{\infty }\right)$ is said to be quasi-log convex.

We remark here if the function $p:I\to \left(0,\mathrm{\infty }\right)$ is twice continuously differentiable, then inequality (1.5) can be rewritten as follows:

${G}_{p}\left[a,b\right]\triangleq {\int }_{a}^{b}p{\int }_{a}^{b}{p}^{″}-{\left({\int }_{a}^{b}{p}^{\prime }\right)}^{2}⩽0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }a,b\in I.$
(1.6)

Now we show that for the twice continuously differentiable function, quasi-log concavity implies log concavity, and quasi-log convexity implies log convexity.

Indeed, suppose that $p:I\to \left(0,\mathrm{\infty }\right)$ is twice continuously differentiable and quasi-log concave. Then (1.6) holds. Hence

$p\left(x\right){p}^{″}\left(x\right)-{\left[{p}^{\prime }\left(x\right)\right]}^{2}=\underset{b\to x}{lim}\frac{1}{{\left(b-x\right)}^{2}}\left\{{\int }_{x}^{b}p\left(t\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}t{\int }_{x}^{b}{p}^{″}\left(t\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}t-{\left[{\int }_{x}^{b}{p}^{\prime }\left(t\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}t\right]}^{2}\right\}⩽0$

for all $x\in I$ so that

$\frac{{\mathrm{d}}^{2}logp\left(x\right)}{\mathrm{d}{x}^{2}}=\frac{p\left(x\right){p}^{″}\left(x\right)-{\left[{p}^{\prime }\left(x\right)\right]}^{2}}{{p}^{2}\left(x\right)}⩽0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in I.$

Therefore, (1.4) holds and p is log concave on I. Similarly, we can prove that quasi-log convexity implies log convexity.

On the other hand, we can prove that for the twice continuously differentiable function log convexity implies quasi-log convexity.

Indeed, suppose that $p:I\to \left(0,\mathrm{\infty }\right)$ is twice continuously differentiable and log convex. Then (1.4) is reversed. Hence

$\begin{array}{r}p\left(x\right){p}^{″}\left(x\right)-{\left[{p}^{\prime }\left(x\right)\right]}^{2}⩾0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in I\\ \phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}{p}^{″}\left(x\right)⩾0,\phantom{\rule{2em}{0ex}}|{p}^{\prime }\left(x\right)|⩽\sqrt{p\left(x\right){p}^{″}\left(x\right)},\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in I\\ \phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}{\left({\int }_{a}^{b}{p}^{\prime }\right)}^{2}⩽{\left({\int }_{a}^{b}|{p}^{\prime }|\right)}^{2}⩽{\left({\int }_{a}^{b}\sqrt{p{p}^{″}}\right)}^{2}⩽{\int }_{a}^{b}p{\int }_{a}^{b}{p}^{″},\phantom{\rule{1em}{0ex}}\mathrm{\forall }a,b\in I,\end{array}$

that is, inequality (1.6) is reversed, here we used the Cauchy inequality

${\left({\int }_{a}^{b}fg\right)}^{2}⩽{\int }_{a}^{b}{f}^{2}{\int }_{a}^{b}{g}^{2}.$

Therefore, p is quasi-log convex on I.

Unfortunately, we have not found the connection between quasi-log concavity and β-log concavity, where $\beta >0$.

Based on the above analysis, we have reason to propose a conjecture (abbreviated as quasi-log concavity conjecture) as follows.

Conjecture 1.1 (Quasi-log concavity conjecture)

Suppose that the function $p:I\to \left(0,\mathrm{\infty }\right)$ is twice continuously differentiable. If p is log concave, then p is quasi-log concave. Here I is an interval.

We have done a lot of experiments with mathematical software to verify the correctness of Conjecture 1.1, but did not find a counter-example.

We remark that similar concepts may be defined for sequences ${\left\{{x}_{n}\right\}}_{n=1}^{\mathrm{\infty }}\subseteq \left(0,\mathrm{\infty }\right)$. We first define

$\begin{array}{c}{x}_{n}^{\prime }\triangleq {x}_{n+1}-{x}_{n},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}\triangleq \left\{1,2,\dots \right\},\hfill \\ {\int }_{a}^{b}{x}_{n}\triangleq \sum _{a⩽n

the sequence ${\left\{{x}_{n}\right\}}_{n=1}^{\mathrm{\infty }}\subseteq \left(0,\mathrm{\infty }\right)$ is called a log-concave sequence if

${x}_{a}{x}_{a+2}-{x}_{a+1}^{2}⩽0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }a\in \mathbb{N},$
(1.7)

and is called quasi-log concave if

${G}_{{x}_{n}}\left[a,b\right]⩽0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }a,b\in \mathbb{N},a
(1.8)

Set $b=a+1$ in (1.8). Then (1.8) can be rewritten as (1.7). Hence for the sequence ${\left\{{x}_{n}\right\}}_{n=1}^{\mathrm{\infty }}\subseteq \left(0,\mathrm{\infty }\right)$, quasi-log concavity implies log concavity. Similarly, we can define a log-convex sequence and quasi-log convexity of a sequence. We expect inter-relations between these concepts but they will be dealt with elsewhere.

In this paper, we are concerned with Conjecture 1.1 and demonstrate the applications of our results in the analysis of variance and the generalized hierarchical teaching model with generalized traditional teaching model. Our motivation is to study several interesting problems in statistics.

In Section 2, we take up Conjecture 1.1. In Section 3, we give several illustrative examples. In Section 4, we prove that the probability density function of the k-normal distribution is quasi-log concave. In Section 5, we demonstrate the applications of these results, we show that the generalized hierarchical teaching model is normally better than the generalized traditional teaching model (see Remark 5.3), and we point out the significance of quasi-log concavity in the analysis of variance and the generalized traditional teaching model.

## 2 Study of Conjecture 1.1

For Conjecture 1.1, we have the following five theorems.

Theorem 2.1 Let the function $p:I\to \left(0,\mathrm{\infty }\right)$ be twice continuously differentiable, log concave and monotone. If

$0<\underset{t\in I}{sup}\left\{||{\left(logp\right)}^{\prime }|-\sqrt{-{\left(logp\right)}^{″}}|\right\}⩽\underset{t\in I}{inf}\left\{|{\left(logp\right)}^{\prime }|+\sqrt{-{\left(logp\right)}^{″}}\right\},$
(2.1)

then p is quasi-log concave.

Proof Since the function p is log concave, we have

$-{\left(logp\right)}^{″}=-{\left[logp\left(t\right)\right]}^{″}⩾0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }t\in I,$

so inequality (2.1) is well defined.

Without loss of generality, we may assume that

$a,b\in I,\phantom{\rule{1em}{0ex}}a

Note that for any positive real number λ and any real numbers x, y, we have the inequality

$xy⩽{\left(\frac{{\lambda }^{2}x+y}{2\lambda }\right)}^{2},$
(2.2)

the equality holds if and only if ${\lambda }^{2}x=y$.

According to inequality (2.1), there exists a positive real number λ such that

$0<\underset{t\in I}{sup}\left\{||{\left(logp\right)}^{\prime }|-\sqrt{-{\left(logp\right)}^{″}}|\right\}⩽\lambda ⩽\underset{t\in I}{inf}\left\{|{\left(logp\right)}^{\prime }|+\sqrt{-{\left(logp\right)}^{″}}\right\}.$
(2.3)

From (2.3) we know that for the positive real number λ, we have

${\lambda }^{2}p\left(t\right)-2\lambda |{p}^{\prime }\left(t\right)|+{p}^{″}\left(t\right)⩽0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }t\in I,$
(2.4)

and

${\lambda }^{2}p\left(t\right)+2\lambda |{p}^{\prime }\left(t\right)|+{p}^{″}\left(t\right)⩾0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }t\in I.$
(2.5)

Indeed, since

${\left(logp\right)}^{\prime }=\frac{{p}^{\prime }}{p},\phantom{\rule{2em}{0ex}}{\left(logp\right)}^{″}=\frac{p{p}^{″}-{\left({p}^{\prime }\right)}^{2}}{{p}^{2}},\phantom{\rule{2em}{0ex}}\frac{{p}^{″}}{p}={\left[{\left(logp\right)}^{\prime }\right]}^{2}+{\left(logp\right)}^{″},$
(2.6)

inequality (2.4) is equivalent to the inequalities

$|{\left(logp\right)}^{\prime }|-\sqrt{-{\left(logp\right)}^{″}}⩽\lambda ⩽|{\left(logp\right)}^{\prime }|+\sqrt{-{\left(logp\right)}^{″}},\phantom{\rule{1em}{0ex}}\mathrm{\forall }t\in I,$
(2.7)

and inequality (2.5) is equivalent to the inequalities

$\lambda ⩾-\left[|{\left(logp\right)}^{\prime }|-\sqrt{-{\left(logp\right)}^{″}}\right],\phantom{\rule{1em}{0ex}}\mathrm{\forall }t\in I,$
(2.8)

or

$\lambda ⩽-\left[|{\left(logp\right)}^{\prime }|+\sqrt{-{\left(logp\right)}^{″}}\right],\phantom{\rule{1em}{0ex}}\mathrm{\forall }t\in I.$
(2.9)

Hence if inequalities (2.3) hold, then both inequality (2.4) and inequality (2.5) hold. That is to say, inequalities (2.4) and (2.5) are equivalent to inequalities (2.3).

Since $p:I\to \left(0,\mathrm{\infty }\right)$ is monotonic, we obtain that

${\left({\int }_{a}^{b}{p}^{\prime }\right)}^{2}={\left({\int }_{a}^{b}|{p}^{\prime }|\right)}^{2}.$
(2.10)

Combining with (2.2), (2.4), (2.5) and (2.10), we get

$\begin{array}{r}{\int }_{a}^{b}p{\int }_{a}^{b}{p}^{″}-{\left({\int }_{a}^{b}{p}^{\prime }\right)}^{2}\\ \phantom{\rule{1em}{0ex}}⩽{\left(\frac{{\lambda }^{2}{\int }_{a}^{b}p+{\int }_{a}^{b}{p}^{″}}{2\lambda }\right)}^{2}-{\left({\int }_{a}^{b}{p}^{\prime }\right)}^{2}\\ \phantom{\rule{1em}{0ex}}={\left({\int }_{a}^{b}\frac{{\lambda }^{2}p+{p}^{″}}{2\lambda }\right)}^{2}-{\left({\int }_{a}^{b}|{p}^{\prime }|\right)}^{2}\\ \phantom{\rule{1em}{0ex}}=\left({\int }_{a}^{b}\frac{{\lambda }^{2}p+{p}^{″}}{2\lambda }+{\int }_{a}^{b}|{p}^{\prime }|\right)\left({\int }_{a}^{b}\frac{{\lambda }^{2}p+{p}^{″}}{2\lambda }-{\int }_{a}^{b}|{p}^{\prime }|\right)\\ \phantom{\rule{1em}{0ex}}=\frac{1}{4{\lambda }^{2}}\left[{\int }_{a}^{b}\left({\lambda }^{2}p+2\lambda |{p}^{\prime }|+{p}^{″}\right)\right]\left[{\int }_{a}^{b}\left({\lambda }^{2}p-2\lambda |{p}^{\prime }|+{p}^{″}\right)\right]\\ \phantom{\rule{1em}{0ex}}⩽0.\end{array}$

This means that inequality (1.6) holds.

The proof of Theorem 2.1 is completed. □

Corollary 2.1 Let the function $p:\left[\alpha ,\beta \right]\to \left(0,\mathrm{\infty }\right)$ be thrice continuously differentiable and log concave. If

${p}^{\prime }⩾0,\phantom{\rule{2em}{0ex}}{p}^{″}>0,\phantom{\rule{2em}{0ex}}{\left(logp\right)}^{‴}⩽-2{\left(\sqrt{-{\left(logp\right)}^{″}}\right)}^{3},\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left[\alpha ,\beta \right],$
(2.11)

then the function $p:\left[\alpha ,\beta \right]\to \left(0,\mathrm{\infty }\right)$ is quasi-log concave.

Proof Let

$\phi =||{\left(logp\right)}^{\prime }|-\sqrt{-{\left(logp\right)}^{″}}|,\phantom{\rule{2em}{0ex}}\psi =|{\left(logp\right)}^{\prime }|+\sqrt{-{\left(logp\right)}^{″}}.$

From (2.11), we have

$\begin{array}{c}\phi ={\left(logp\right)}^{\prime }-\sqrt{-{\left(logp\right)}^{″}}=\frac{{p}^{\prime }-\sqrt{{\left({p}^{\prime }\right)}^{2}-p{p}^{″}}}{p}>0,\hfill \\ \psi ={\left(logp\right)}^{\prime }+\sqrt{-{\left(logp\right)}^{″}}⩾\phi >0,\hfill \\ \frac{\mathrm{d}\phi }{\mathrm{d}x}={\left(logp\right)}^{″}+\frac{{\left(logp\right)}^{‴}}{2\sqrt{-{\left(logp\right)}^{″}}}⩽0,\hfill \\ \frac{\mathrm{d}\psi }{\mathrm{d}x}={\left(logp\right)}^{″}-\frac{{\left(logp\right)}^{‴}}{2\sqrt{-{\left(logp\right)}^{″}}}⩾0,\hfill \end{array}$

and

$0<\phi \left(x\right)⩽\phi \left(\alpha \right)⩽\psi \left(\alpha \right)⩽\psi \left(x\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left[\alpha ,\beta \right],$

hence

$\begin{array}{rl}0& <\underset{x\in \left[\alpha ,\beta \right]}{sup}\left\{||{\left(logp\right)}^{\prime }|-\sqrt{-{\left(logp\right)}^{″}}|\right\}=\phi \left(\alpha \right)\\ ⩽\psi \left(\alpha \right)=\underset{x\in \left[\alpha ,\beta \right]}{inf}\left\{|{\left(logp\right)}^{\prime }|+\sqrt{-{\left(logp\right)}^{″}}\right\}.\end{array}$

By Theorem 2.1, the function $p:\left[\alpha ,\beta \right]\to \left(0,\mathrm{\infty }\right)$ is quasi-log concave. This ends the proof. □

Theorem 2.2 Let the function $p:\left[\alpha ,\beta \right]\to \left(0,\mathrm{\infty }\right)$ be twice continuously differentiable and log concave. If

${\left(\beta -\alpha \right)}^{2}\underset{x\in \left[\alpha ,\beta \right]}{sup}\left\{|{\left(logp\left(x\right)\right)}^{″}{|}^{2}\right\}-2\underset{x\in \left[\alpha ,\beta \right]}{inf}\left\{|{\left(logp\left(x\right)\right)}^{″}|\right\}⩽0,$
(2.12)

then $p:\left[\alpha ,\beta \right]\to \left(0,\mathrm{\infty }\right)$ is quasi-log concave.

Proof Now we prove that (1.6) holds as follows.

Without loss of generality, we assume that $a,b\in \left[\alpha ,\beta \right]$ and $a. Note that

$\begin{array}{c}{G}_{p}\left[a,b\right]\triangleq {\int }_{a}^{b}p{\int }_{a}^{b}{p}^{″}-{\left({\int }_{a}^{b}{p}^{\prime }\right)}^{2},\hfill \\ \frac{\partial {G}_{p}\left[a,b\right]}{\partial b}=p\left(b\right){\int }_{a}^{b}{p}^{″}+{p}^{″}\left(b\right){\int }_{a}^{b}p-2{p}^{\prime }\left(b\right){\int }_{a}^{b}{p}^{\prime },\hfill \end{array}$

and

$\frac{{\partial }^{2}{G}_{p}\left[a,b\right]}{\partial b\phantom{\rule{0.2em}{0ex}}\partial a}=-p\left(b\right){p}^{″}\left(a\right)-{p}^{″}\left(b\right)p\left(a\right)+2{p}^{\prime }\left(b\right){p}^{\prime }\left(a\right).$

According to Lagrange mean value theorem, there are two real numbers ${a}_{\ast }$, ${b}_{\ast }$,

${a}_{\ast },{b}_{\ast }\in I\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}a<{a}_{\ast }<{b}_{\ast }

such that

$\frac{{G}_{p}\left[a,b\right]}{b-a}=\frac{{G}_{p}\left[a,b\right]-{G}_{p}\left[a,a\right]}{b-a}=\frac{\partial {G}_{p}\left[a,{b}_{\ast }\right]}{\partial {b}_{\ast }},$

and

$\frac{\frac{\partial {G}_{p}\left[a,{b}_{\ast }\right]}{\partial {b}_{\ast }}}{a-{b}_{\ast }}=\frac{\frac{\partial {G}_{p}\left[a,{b}_{\ast }\right]}{\partial {b}_{\ast }}-\frac{\partial {G}_{p}\left[{b}_{\ast },{b}_{\ast }\right]}{\partial {b}_{\ast }}}{a-{b}_{\ast }}=\frac{{\partial }^{2}{G}_{p}\left[{a}_{\ast },{b}_{\ast }\right]}{\partial {b}_{\ast }\phantom{\rule{0.2em}{0ex}}\partial {a}_{\ast }},$

hence

${G}_{p}\left[a,b\right]=\left(b-a\right)\left({b}_{\ast }-a\right)\left[p\left({b}_{\ast }\right){p}^{″}\left({a}_{\ast }\right)+{p}^{″}\left({b}_{\ast }\right)p\left({a}_{\ast }\right)-2{p}^{\prime }\left({b}_{\ast }\right){p}^{\prime }\left({a}_{\ast }\right)\right].$
(2.13)

From (2.6) and the Lagrange mean value theorem, we get

$\begin{array}{r}p\left({b}_{\ast }\right){p}^{″}\left({a}_{\ast }\right)+{p}^{″}\left({b}_{\ast }\right)p\left({a}_{\ast }\right)-2{p}^{\prime }\left({b}_{\ast }\right){p}^{\prime }\left({a}_{\ast }\right)\\ \phantom{\rule{1em}{0ex}}=p\left({a}_{\ast }\right)p\left({b}_{\ast }\right)\left\{{\left[{\left(logp\left({b}_{\ast }\right)\right)}^{\prime }-{\left(logp\left({a}_{\ast }\right)\right)}^{\prime }\right]}^{2}+{\left(logp\left({a}_{\ast }\right)\right)}^{″}+{\left(logp\left({b}_{\ast }\right)\right)}^{″}\right\}\\ \phantom{\rule{1em}{0ex}}=p\left({a}_{\ast }\right)p\left({b}_{\ast }\right)\left\{{\left[\left({b}_{\ast }-{a}_{\ast }\right){\left(logp\left(\xi \right)\right)}^{″}\right]}^{2}+{\left(logp\left({a}_{\ast }\right)\right)}^{″}+{\left(logp\left({b}_{\ast }\right)\right)}^{″}\right\}\\ \phantom{\rule{1em}{0ex}}⩽p\left({a}_{\ast }\right)p\left({b}_{\ast }\right)\left\{{\left(\beta -\alpha \right)}^{2}{\left[{\left(logp\left(\xi \right)\right)}^{″}\right]}^{2}+{\left(logp\left({a}_{\ast }\right)\right)}^{″}+{\left(logp\left({b}_{\ast }\right)\right)}^{″}\right\}\\ \phantom{\rule{1em}{0ex}}=p\left({a}_{\ast }\right)p\left({b}_{\ast }\right)\left\{{\left(\beta -\alpha \right)}^{2}{\left[{\left(logp\left(\xi \right)\right)}^{″}\right]}^{2}-|{\left(logp\left({a}_{\ast }\right)\right)}^{″}|-|{\left(logp\left({b}_{\ast }\right)\right)}^{″}|\right\}\\ \phantom{\rule{1em}{0ex}}⩽p\left({a}_{\ast }\right)p\left({b}_{\ast }\right)\left[{\left(\beta -\alpha \right)}^{2}\underset{x\in \left[\alpha ,\beta \right]}{sup}\left\{|{\left(logp\left(x\right)\right)}^{″}{|}^{2}\right\}-2\underset{x\in \left[\alpha ,\beta \right]}{inf}\left\{|{\left(logp\left(x\right)\right)}^{″}|\right\}\right]\\ \phantom{\rule{1em}{0ex}}⩽0,\end{array}$

i.e.,

$p\left({b}_{\ast }\right){p}^{″}\left({a}_{\ast }\right)+{p}^{″}\left({b}_{\ast }\right)p\left({a}_{\ast }\right)-2{p}^{\prime }\left({b}_{\ast }\right){p}^{\prime }\left({a}_{\ast }\right)⩽0,$
(2.14)

where

$\alpha ⩽a<{a}_{\ast }<\xi <{b}_{\ast }
(2.15)

Combining with (2.13), (2.14) and (2.15), we get inequality (1.6).

This completes the proof of Theorem 2.2. □

Theorem 2.3 Let the function $\phi :\left(\alpha ,\beta \right)\to \left(-\mathrm{\infty },\mathrm{\infty }\right)$ be thrice continuously differentiable. If

${\phi }^{″}\left(x\right)>0,\phantom{\rule{2em}{0ex}}2{\phi }^{\prime }\left(x\right){\phi }^{″}\left(x\right)-{\phi }^{‴}\left(x\right)⩾0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(\alpha ,\beta \right),$
(2.16)

then the function

$p:\left(\alpha ,\beta \right)\to \left(0,\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}p\left(x\right)\triangleq c{e}^{-\phi \left(x\right)},\phantom{\rule{1em}{0ex}}c>0,$

is quasi-log concave.

Proof Let

${G}_{p}\left[a,b\right]\triangleq {\int }_{a}^{b}p{\int }_{a}^{b}{p}^{″}-{\left({\int }_{a}^{b}{p}^{\prime }\right)}^{2}.$

We just need to show that

${G}_{p}\left[a,b\right]⩽0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }a,b\in \left(\alpha ,\beta \right).$
(2.17)

Since

${G}_{p}\left[a,b\right]\equiv {G}_{p}\left[b,a\right],\phantom{\rule{2em}{0ex}}{G}_{p}\left[a,a\right]=0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }a,b\in \left(\alpha ,\beta \right),$

without loss of generality, we can assume that

$\alpha
(2.18)

and a is a fixed constant.

Note that

$logp\left(x\right)=-\phi ,\phantom{\rule{2em}{0ex}}\frac{\mathrm{d}logp\left(x\right)}{\mathrm{d}x}=\frac{{p}^{\prime }}{p}=-{\phi }^{\prime },$

and

$\frac{{\mathrm{d}}^{2}logp\left(x\right)}{\mathrm{d}{x}^{2}}=\frac{p{p}^{\prime }-{\left({p}^{\prime }\right)}^{2}}{{p}^{2}}=-{\phi }^{″}.$

Hence

${p}^{\prime }\left(x\right)=-{\phi }^{\prime }p,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(\alpha ,\beta \right),$
(2.19)

and

${p}^{″}\left(x\right)=\left[{\left({\phi }^{\prime }\right)}^{2}-{\phi }^{″}\right]p,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(\alpha ,\beta \right).$
(2.20)

From

$\frac{\partial {G}_{p}\left[a,b\right]}{\partial b}=p\left(b\right){\int }_{a}^{b}{p}^{″}+{p}^{″}\left(b\right){\int }_{a}^{b}p-2{p}^{\prime }\left(b\right){\int }_{a}^{b}{p}^{\prime },$

(2.19) and (2.20), we may see that

$\frac{\partial {G}_{p}\left[a,b\right]}{\partial b}=p\left(b\right)\left\{{\int }_{a}^{b}{p}^{″}+\left[{\left({\phi }^{\prime }\left(b\right)\right)}^{2}-{\phi }^{″}\left(b\right)\right]{\int }_{a}^{b}p+2{\phi }^{\prime }\left(b\right){\int }_{a}^{b}{p}^{\prime }\right\}.$
(2.21)

Let

$F\left(a,b\right)\triangleq \frac{1}{p\left(b\right)}\frac{\partial {G}_{p}\left[a,b\right]}{\partial b}={\int }_{a}^{b}{p}^{″}+\left[{\left({\phi }^{\prime }\left(b\right)\right)}^{2}-{\phi }^{″}\left(b\right)\right]{\int }_{a}^{b}p+2{\phi }^{\prime }\left(b\right){\int }_{a}^{b}{p}^{\prime }.$
(2.22)

Then

$\begin{array}{rcl}\frac{\partial F\left(a,b\right)}{\partial b}& =& {p}^{″}\left(b\right)+\left[{\left({\phi }^{\prime }\left(b\right)\right)}^{2}-{\phi }^{″}\left(b\right)\right]p\left(b\right)+\left[2{\phi }^{\prime }\left(b\right){\phi }^{″}\left(b\right)-{\phi }^{‴}\left(b\right)\right]{\int }_{a}^{b}p\\ +2\left[{\phi }^{″}\left(b\right){\int }_{a}^{b}{p}^{\prime }+{\phi }^{\prime }\left(b\right){p}^{\prime }\right]\\ =& 2\left[{\left({\phi }^{\prime }\left(b\right)\right)}^{2}-{\phi }^{″}\left(b\right)\right]p\left(b\right)+\left[2{\phi }^{\prime }\left(b\right){\phi }^{″}\left(b\right)-{\phi }^{‴}\left(b\right)\right]{\int }_{a}^{b}p\\ +2\left\{{\phi }^{″}\left(b\right)\left[p\left(b\right)-p\left(a\right)\right]-{\left({\phi }^{\prime }\left(b\right)\right)}^{2}p\left(b\right)\right\}\\ =& \left[2{\phi }^{\prime }\left(b\right){\phi }^{″}\left(b\right)-{\phi }^{‴}\left(b\right)\right]{\int }_{a}^{b}p-2{\phi }^{″}\left(b\right)p\left(a\right),\end{array}$

i.e.,

$\frac{\partial F\left(a,b\right)}{\partial b}=\left[2{\phi }^{\prime }\left(b\right){\phi }^{″}\left(b\right)-{\phi }^{‴}\left(b\right)\right]{\int }_{a}^{b}p-2{\phi }^{″}\left(b\right)p\left(a\right).$
(2.23)

Based on assumption (2.16), ${\int }_{a}^{b}p<0$ and (2.23), we have

$\frac{\partial F\left(a,b\right)}{\partial b}<0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }b\in \left(\alpha ,a\right).$
(2.24)

From (2.24), (2.18) and (2.22), we have

$F\left(a,b\right)>F\left(a,a\right)=0,\phantom{\rule{2em}{0ex}}\frac{\partial {G}_{p}\left[a,b\right]}{\partial b}>0.$
(2.25)

By (2.25) and (2.18), we get

${G}_{p}\left[a,b\right]<{G}_{p}\left[a,a\right]=0.$
(2.26)

That is to say, inequality (2.17) holds.

We remark that the equality in (2.17) holds if and only if $a=b$.

The proof of Theorem 2.3 is completed. □

Theorem 2.4 Let the function $\phi :\left(\alpha ,\beta \right)\to \left(-\mathrm{\infty },\mathrm{\infty }\right)$ be four times continuously differentiable. If

${\phi }^{″}\left(x\right)>0,\phantom{\rule{2em}{0ex}}2{\left[{\phi }^{″}\left(x\right)\right]}^{3}-{\phi }^{\left(4\right)}\left(x\right){\phi }^{″}\left(x\right)+{\left[{\phi }^{‴}\left(x\right)\right]}^{2}⩾0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(\alpha ,\beta \right),$
(2.27)

and

$-\mathrm{\infty }⩽{G}_{p}\left[\alpha ,\beta \right]\triangleq {\int }_{\alpha }^{\beta }p{\int }_{\alpha }^{\beta }{p}^{″}-{\left({\int }_{\alpha }^{\beta }{p}^{\prime }\right)}^{2}⩽0,$
(2.28)

then the function

$p:\left(\alpha ,\beta \right)\to \left(0,\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}p\left(x\right)\triangleq c{e}^{-\phi \left(x\right)},\phantom{\rule{1em}{0ex}}c>0,$

is quasi-log concave, where c is a constant.

In order to prove Theorem 2.4, we need the following lemma.

Lemma 2.1 Under the assumptions of Theorem  2.4, if

$\alpha
(2.29)

then we have

${G}_{p}\left[a,b\right]⩽max\left\{0,{G}_{p}\left[a,{\beta }_{\ast }\right]\right\}.$
(2.30)

Proof Without loss of generality, we can assume that $c=1$ and a is a fixed constant.

We continue to use the proof of Theorem 2.3. Note that equation (2.23) can be rewritten as

$\frac{\partial F\left(a,b\right)}{\partial b}={\phi }^{″}\left(b\right)\left({\int }_{a}^{b}p\right){F}^{\ast }\left(a,b\right),$
(2.31)

where

${F}^{\ast }\left(a,b\right)\triangleq 2{\phi }^{\prime }\left(b\right)-\frac{{\phi }^{‴}\left(b\right)}{{\phi }^{″}\left(b\right)}-\frac{2p\left(a\right)}{{\int }_{a}^{b}p}.$
(2.32)

Based on assumption (2.27), ${\int }_{a}^{b}p>0$ and (2.32), we have

$\begin{array}{rl}\frac{\partial {F}^{\ast }\left(a,b\right)}{\partial b}=& \frac{2{\left[{\phi }^{″}\left(b\right)\right]}^{3}-{\phi }^{\left(4\right)}\left(b\right){\phi }^{″}\left(b\right)+{\left[{\phi }^{‴}\left(b\right)\right]}^{2}}{{\left[{\phi }^{″}\left(b\right)\right]}^{2}}\\ +\frac{2p\left(a\right)p\left(b\right)}{{\left({\int }_{a}^{b}p\right)}^{2}}>0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }b\in \left(a,{\beta }_{\ast }\right),\end{array}$
(2.33)

which means that ${F}^{\ast }\left(a,b\right)$ is strictly increasing for the variable $b\in \left(a,{\beta }_{\ast }\right)$.

From (2.32), we may see that

$\underset{b\to {a}^{+}}{lim}{F}^{\ast }\left(a,b\right)={F}^{\ast }\left(a,{a}^{+}\right)=-\mathrm{\infty }.$
(2.34)

We prove inequality (2.30) in two cases (A) and (B).

1. (A)

Assume that

${F}^{\ast }\left(a,{\beta }_{\ast }\right)>0.$
(2.35)

By (2.34), (2.35) and the intermediate value theorem, there exists only one number ${b}_{\ast }\in \left(a,{\beta }_{\ast }\right)$ such that

${F}^{\ast }\left(a,{b}_{\ast }\right)=0.$
(2.36)

From (2.33) and (2.31), we get

$a

and

${b}_{\ast }{F}^{\ast }\left(a,{b}_{\ast }\right)=0\phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}\frac{\partial }{\partial b}F\left(a,b\right)>0,$

hence $F\left(a,b\right)$ is strictly decreasing if $b\in \left(a,{b}_{\ast }\right]$ and strictly increasing if $b\in \left[{b}_{\ast },{\beta }_{\ast }\right)$.

If $F\left(a,{\beta }_{\ast }\right)⩽0$, since $F\left(a,a\right)=0$, we have

$\begin{array}{c}a

and

${G}_{p}\left[a,b\right]⩽{G}_{p}\left[a,a\right]=0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }b\in \left(a,{\beta }_{\ast }\right).$

This means that inequality (2.30) holds.

Now we assume that

$F\left(a,{\beta }_{\ast }\right)>0.$
(2.37)

Note that $F\left(a,b\right)$ is strictly decreasing if $b\in \left(a,{b}_{\ast }\right]$, we have

${b}_{\ast }\in \left(a,{b}_{\ast }\right]\phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}F\left(a,{b}_{\ast }\right)
(2.38)

By (2.37), (2.38), $F\left(a,b\right)$ is strictly increasing if $b\in \left[{b}_{\ast },{\beta }_{\ast }\right)$ and the continuity, we know that there exists a unique real number ${b}^{\ast }\in \left({b}_{\ast },{\beta }_{\ast }\right)$ such that

$F\left(a,{b}^{\ast }\right)=0.$
(2.39)

Since

$\begin{array}{c}a

and

${b}^{\ast }F\left(a,{b}^{\ast }\right)=0\phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}\frac{\partial }{\partial b}{G}_{p}\left[a,b\right]=p\left(b\right)F\left(a,b\right)>0,$

we know that ${G}_{p}\left[a,b\right]$ is strictly decreasing if $b\in \left(a,{b}^{\ast }\right]$ and strictly increasing if $b\in \left[{b}^{\ast },{\beta }_{\ast }\right)$, so that

${G}_{p}\left[a,b\right]⩽max\left\{{G}_{p}\left[a,a\right],{G}_{p}\left[a,{\beta }_{\ast }\right]\right\}=max\left\{0,{G}_{p}\left[a,{\beta }_{\ast }\right]\right\}.$
(2.40)

This means that inequality (2.30) also holds.

1. (B)

Assume that

${F}^{\ast }\left(a,{\beta }_{\ast }\right)⩽0.$
(2.41)

Since ${F}^{\ast }\left(a,b\right)$ is strictly increasing for the variable $b\in \left(a,{\beta }_{\ast }\right)$, we have

$\begin{array}{c}{F}^{\ast }\left(a,b\right)<{F}^{\ast }\left(a,{\beta }_{\ast }\right)⩽0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }b\in \left(\alpha ,{\beta }_{\ast }\right),\hfill \\ \frac{\partial F\left(a,b\right)}{\partial b}={\phi }^{″}\left(b\right)\left({\int }_{a}^{b}p\right){F}^{\ast }\left(a,b\right)⩽0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }b\in \left(\alpha ,{\beta }_{\ast }\right),\hfill \\ F\left(a,b\right)⩽F\left(a,a\right)=0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }b\in \left(\alpha ,{\beta }_{\ast }\right),\hfill \\ \frac{\partial {G}_{p}\left[a,b\right]}{\partial b}=p\left(b\right)F\left(a,b\right)⩽0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }b\in \left(\alpha ,{\beta }_{\ast }\right),\hfill \end{array}$

and

${G}_{p}\left[a,b\right]⩽{G}_{p}\left[a,a\right]=0⩽max\left\{0,{G}_{p}\left[a,{\beta }_{\ast }\right]\right\},\phantom{\rule{1em}{0ex}}\mathrm{\forall }b\in \left(\alpha ,{\beta }_{\ast }\right).$

That is to say, inequality (2.30) still holds.

The proof of Lemma 2.1 is completed. □

The proof of Theorem 2.4 is now relatively easy.

Proof of Theorem 2.4 We just need to show that (2.17) holds. Without loss of generality, we assume that

$\alpha
(2.42)

Let ${\alpha }_{\ast },{\beta }_{\ast }\in \left(\alpha ,\beta \right)$ such that

$\alpha <{\alpha }_{\ast }
(2.43)

By Lemma 2.1, inequality (2.30) holds.

We define the auxiliary function ${p}_{\ast }$ as follows:

${p}_{\ast }:\left(-\beta ,-\alpha \right)\to \left(0,\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}{p}_{\ast }\left(x\right)\triangleq c{e}^{-\phi \left(-x\right)},\phantom{\rule{1em}{0ex}}c>0.$

Then, by (2.27), we have

$\begin{array}{c}{\left[\phi \left(-x\right)\right]}^{″}={\phi }^{″}\left(-x\right)>0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(-\beta ,-\alpha \right),\hfill \\ {\left[\phi \left(-x\right)\right]}^{‴}=-{\phi }^{‴}\left(-x\right),\phantom{\rule{2em}{0ex}}{\left[\phi \left(-x\right)\right]}^{\left(4\right)}={\phi }^{\left(4\right)}\left(-x\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(-\beta ,-\alpha \right),\hfill \end{array}$

and

$\begin{array}{r}2{\left\{{\left[\phi \left(-x\right)\right]}^{″}\right\}}^{3}-{\left[\phi \left(-x\right)\right]}^{\left(4\right)}{\left[\phi \left(-x\right)\right]}^{″}+{\left\{{\left[\phi \left(-x\right)\right]}^{‴}\right\}}^{2}\\ \phantom{\rule{1em}{0ex}}=2{\left[{\phi }^{″}\left(-x\right)\right]}^{3}-{\phi }^{\left(4\right)}\left(-x\right){\phi }^{″}\left(-x\right)+{\left[{\phi }^{‴}\left(-x\right)\right]}^{2}\\ \phantom{\rule{1em}{0ex}}⩾0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(-\beta ,-\alpha \right).\end{array}$

According to Lemma 2.1 and

$-\beta <-{\beta }_{\ast }<-a<-{\alpha }_{\ast }<-\alpha ,$

we get

${G}_{{p}_{\ast }}\left[-{\beta }_{\ast },-a\right]⩽max\left\{0,{G}_{{p}_{\ast }}\left[-{\beta }_{\ast },-{\alpha }_{\ast }\right]\right\}.$
(2.44)

Since

${G}_{{p}_{\ast }}\left[-b,-a\right]={\int }_{-b}^{-a}p\left(-x\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}x{\int }_{-b}^{-a}{p}^{″}\left(-x\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}x-{\left[{\int }_{-b}^{-a}{p}^{\prime }\left(-x\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}x\right]}^{2}\equiv {G}_{p}\left[a,b\right],$

we have

${G}_{{p}_{\ast }}\left[-{\beta }_{\ast },-a\right]={G}_{p}\left[a,{\beta }_{\ast }\right],\phantom{\rule{2em}{0ex}}{G}_{{p}_{\ast }}\left[-{\beta }_{\ast },-{\alpha }_{\ast }\right]={G}_{p}\left[{\alpha }_{\ast },{\beta }_{\ast }\right],$

and inequality (2.44) can be rewritten as

${G}_{p}\left[a,{\beta }_{\ast }\right]⩽max\left\{0,{G}_{p}\left[{\alpha }_{\ast },{\beta }_{\ast }\right]\right\}.$
(2.45)

Combining with inequalities (2.30) and (2.45), we get

${G}_{p}\left[a,b\right]⩽max\left\{0,{G}_{p}\left[a,{\beta }_{\ast }\right]\right\}⩽max\left\{0,{G}_{p}\left[{\alpha }_{\ast },{\beta }_{\ast }\right]\right\}.$
(2.46)

In (2.46), set ${\alpha }_{\ast }\to \alpha$, ${\beta }_{\ast }\to \beta$, we get

${G}_{p}\left[a,b\right]⩽max\left\{0,{G}_{p}\left[\alpha ,\beta \right]\right\}.$
(2.47)

According to conditions (2.28) and (2.47), inequality (2.17) holds.

This completes the proof of Theorem 2.4. □

Theorem 2.5 Let the function $\phi :\left(\alpha ,\beta \right)\to \left(-\mathrm{\infty },\mathrm{\infty }\right)$ be four times continuously differentiable. If

$\underset{x\to \beta }{lim}\phi \left(x\right)=\mathrm{\infty },\phantom{\rule{2em}{0ex}}\underset{x\to \beta }{lim}\frac{{\phi }^{\prime }\left(x\right)}{{e}^{\phi \left(x\right)}}=0,\phantom{\rule{2em}{0ex}}\underset{x\to \beta }{lim}\frac{{\left[{\phi }^{\prime }\left(x\right)\right]}^{2}}{{\phi }^{″}\left(x\right){e}^{\phi \left(x\right)}}=0,\phantom{\rule{2em}{0ex}}{\int }_{\alpha }^{\beta }p<\mathrm{\infty },$
(2.48)

and (2.27) holds, then the function

$p:\left(\alpha ,\beta \right)\to \left(0,\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}p\left(x\right)\triangleq c{e}^{-\phi \left(x\right)},\phantom{\rule{1em}{0ex}}c>0,$

is quasi-log concave.

Proof We just need to show that (2.17) holds. Without loss of generality, we assume that

$\alpha
(2.49)

Set ${\beta }_{\ast }\to \beta$ in Lemma 2.1, we have

${G}_{p}\left[a,b\right]⩽max\left\{0,{G}_{p}\left[a,\beta \right]\right\}.$
(2.50)

To complete the proof of inequality (2.17), by (2.50), we just need to show that

${G}_{p}\left[a,\beta \right]⩽0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }a\in \left(\alpha ,\beta \right).$
(2.51)

Now, we believe that the real number a is variable. By condition (2.48), we have

${p}^{\prime }\left(\beta \right)\triangleq \underset{x\to \beta }{lim}{p}^{\prime }\left(x\right)=0,\phantom{\rule{2em}{0ex}}p\left(\beta \right)\triangleq \underset{x\to \beta }{lim}p\left(x\right)=0$

and

$\begin{array}{rcl}{G}_{p}\left[a,\beta \right]& =& \left({\int }_{a}^{\beta }p\right)\left[{p}^{\prime }\left(\beta \right)-{p}^{\prime }\left(a\right)\right]-{\left[p\left(\beta \right)-p\left(a\right)\right]}^{2}\\ =& -{p}^{\prime }\left(a\right){\int }_{a}^{\beta }p-{\left[p\left(a\right)\right]}^{2}\\ =& p\left(a\right)\left[{\phi }^{\prime }\left(a\right){\int }_{a}^{\beta }p-p\left(a\right)\right],\end{array}$

i.e.,

${G}_{p}\left[a,\beta \right]=p\left(a\right)\varphi \left(a\right),$
(2.52)

where

$\varphi \left(a\right)\triangleq {\phi }^{\prime }\left(a\right){\int }_{a}^{\beta }p-p\left(a\right),\phantom{\rule{1em}{0ex}}a\in \left(\alpha ,\beta \right).$
(2.53)

If ${\phi }^{\prime }\left(a\right)⩽0$, then $\varphi \left(a\right)<0$, (2.51) holds by (2.52). Here we assume that ${\phi }^{\prime }\left(a\right)>0$.

Note that

$\begin{array}{rcl}\frac{\mathrm{d}\varphi \left(a\right)}{\mathrm{d}a}& =& {\phi }^{″}\left(a\right){\int }_{a}^{\beta }p-{\phi }^{\prime }\left(a\right)p\left(a\right)-{p}^{\prime }\left(a\right)\\ =& {\phi }^{″}\left(a\right){\int }_{a}^{\beta }p\\ >& 0.\end{array}$

Since

${\phi }^{″}\left(x\right)>0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(\alpha ,\beta \right),$

the limit

$\underset{a\to \beta }{lim}{\phi }^{\prime }\left(a\right)$

exists.

If

$0<{\phi }^{\prime }\left(a\right)⩽\underset{a\to \beta }{lim}{\phi }^{\prime }\left(a\right)<\mathrm{\infty },$

from ${\int }_{\alpha }^{\beta }p<\mathrm{\infty }$, we have

$\underset{a\to \beta }{lim}{\int }_{a}^{\beta }p=\underset{a\to \beta }{lim}\left({\int }_{\alpha }^{\beta }p-{\int }_{\alpha }^{a}p\right)=0$
(2.54)

and

$\underset{a\to \beta }{lim}{\phi }^{\prime }\left(a\right){\int }_{a}^{\beta }p=0.$
(2.55)

If

$\underset{a\to \beta }{lim}{\phi }^{\prime }\left(a\right)=\mathrm{\infty },$

then, by (2.54), (2.48) and L’Hospital’s rule, we have

$\begin{array}{rl}\underset{a\to \beta }{lim}{\phi }^{\prime }\left(a\right){\int }_{a}^{\beta }p& =\underset{a\to \beta }{lim}\frac{{\int }_{a}^{\beta }p}{{\left[{\phi }^{\prime }\left(a\right)\right]}^{-1}}\\ =\underset{a\to \beta }{lim}\frac{\left(\mathrm{d}{\int }_{a}^{\beta }p\right)/\mathrm{d}a}{\left(\mathrm{d}{\left[{\phi }^{\prime }\left(a\right)\right]}^{-1}\right)/\mathrm{d}a}\\ =\underset{a\to \beta }{lim}\frac{-p\left(a\right)}{-{\left[{\phi }^{\prime }\left(a\right)\right]}^{-2}{\phi }^{″}\left(a\right)}\\ =\underset{x\to \beta }{lim}\frac{{\left[{\phi }^{\prime }\left(x\right)\right]}^{2}}{{\phi }^{″}\left(x\right){e}^{\phi \left(x\right)}}\\ =0,\end{array}$

that is to say, (2.55) also holds. Hence

$\varphi \left(a\right)<\varphi \left(\beta \right)=\underset{a\to \beta }{lim}\left[{\phi }^{\prime }\left(a\right){\int }_{a}^{\beta }p-p\left(a\right)\right]=\underset{a\to \beta }{lim}{\phi }^{\prime }\left(a\right){\int }_{a}^{\beta }p=0.$

By (2.52), inequality (2.51) holds.

The proof of Theorem 2.5 is completed. □

## 3 Four illustrative examples

In order to illustrate the connotation of quasi-log concavity, we give four examples as follows.

Example 3.1 The function

$p:\left[0,\pi \right]\to \left(0,\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}p\left(x\right)\triangleq exp\left(sinx\right)$

is quasi-log concave.

Proof Indeed, if

$x\in {I}^{\ast }\triangleq \left[0,\frac{\pi }{2}\right]\phantom{\rule{1em}{0ex}}\text{or}\phantom{\rule{1em}{0ex}}\left[\frac{\pi }{2},\pi \right],$

then $p\left(x\right)$ is twice continuous differentiable and log concave with monotonous function, and

$\begin{array}{c}||{\left(logp\right)}^{\prime }|-\sqrt{-{\left(logp\right)}^{″}}|=||cosx|-\sqrt{sinx}|⩽max\left\{|cosx|,\sqrt{sinx}\right\}⩽1,\hfill \\ |{\left(logp\right)}^{\prime }|+\sqrt{-{\left(logp\right)}^{″}}=|cosx|+\sqrt{sinx}⩾|cosx|+sinx=\sqrt{1+|sin2x|}⩾1,\hfill \end{array}$

hence

$0<\underset{x\in {I}^{\ast }}{sup}\left\{||{\left(logp\right)}^{\prime }|-\sqrt{-{\left(logp\right)}^{″}}|\right\}=1=\underset{x\in {I}^{\ast }}{inf}\left\{|{\left(logp\right)}^{\prime }|+\sqrt{-{\left(logp\right)}^{″}}\right\}.$

By Theorem 2.1, the function $p\left(x\right)$ is quasi-log concave. That is to say, for any $a,b\in {I}^{\ast }$, inequality (1.5) holds.

Let

$0⩽a<\frac{\pi }{2}

Since

${p}^{\prime }\left(b\right)<0<{p}^{\prime }\left(a\right),$

inequality (1.5) still holds. The proof is completed. □

Example 3.2 The function

$p:\left(0,\mathrm{\infty }\right)\to \left(0,\beta \right),\phantom{\rule{2em}{0ex}}p\left(x\right)\triangleq exp\left(arctanx\right)$

is quasi-log concave, where

$\beta =\frac{1}{9}\left(7+4\sqrt{10}+\sqrt{100}\right)=2.251036399304479\dots$

is the root of the equation

$\frac{16{x}^{3}}{{\left(1+{x}^{2}\right)}^{6}}-\frac{2x{\left[\frac{48{x}^{3}}{{\left(1+{x}^{2}\right)}^{4}}-\frac{24x}{{\left(1+{x}^{2}\right)}^{3}}\right]}^{2}}{{\left(1+{x}^{2}\right)}^{2}}+{\left[-\frac{8{x}^{2}}{{\left(1+{x}^{2}\right)}^{3}}+\frac{2}{{\left(1+{x}^{2}\right)}^{2}}\right]}^{2}=0.$
(3.1)

Proof Indeed, in Theorem 2.4, set $\phi \left(x\right)=-arctanx$, then

$p\left(x\right)=exp\left[-\phi \left(x\right)\right],\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(0,\beta \right).$

By means of Mathematica software, we get

$\begin{array}{r}{\phi }^{″}\left(x\right)=\frac{2x}{{\left(1+{x}^{2}\right)}^{2}}⩾0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(0,\beta \right),\\ 2{\left[{\phi }^{″}\left(x\right)\right]}^{3}-{\phi }^{\left(4\right)}\left(x\right){\phi }^{″}\left(x\right)+{\left[{\phi }^{‴}\left(x\right)\right]}^{2}\\ \phantom{\rule{1em}{0ex}}=\frac{16{x}^{3}}{{\left(1+{x}^{2}\right)}^{6}}-\frac{2x{\left[\frac{48{x}^{3}}{{\left(1+{x}^{2}\right)}^{4}}-\frac{24x}{{\left(1+{x}^{2}\right)}^{3}}\right]}^{2}}{{\left(1+{x}^{2}\right)}^{2}}+{\left[-\frac{8{x}^{2}}{{\left(1+{x}^{2}\right)}^{3}}+\frac{2}{{\left(1+{x}^{2}\right)}^{2}}\right]}^{2}\\ \phantom{\rule{1em}{0ex}}⩾0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(0,\beta \right],\end{array}$

the equation holds if and only if $x=\beta$.

Since

$0<{\int }_{0}^{\beta }p<\mathrm{\infty },$

and

$-\mathrm{\infty }⩽{G}_{p}\left[0,\beta \right]\triangleq {\int }_{0}^{\beta }p{\int }_{0}^{\beta }{p}^{″}-{\left({\int }_{0}^{\beta }{p}^{\prime }\right)}^{2}=-7.095040628958467\dots <0,$

so (2.27) and (2.28) hold. By Theorem 2.4, the function $p\left(x\right)$ is quasi-log concave. This ends the proof. □

Example 3.3 The function

$p:\left(0,\mathrm{\infty }\right)\to \left(0,\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}p\left(x\right)\triangleq {x}^{\alpha },$

is quasi-log concave, where $\alpha >0$.

Proof Note that inequality (1.6) can be rewritten as

$\frac{\alpha }{\alpha +1}\left({b}^{\alpha +1}-{a}^{\alpha +1}\right)\left({b}^{\alpha -1}-{a}^{\alpha -1}\right)-{\left({b}^{\alpha }-{a}^{\alpha }\right)}^{2}⩽0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }a,b\in I.$
(3.2)

If $0<\alpha ⩽1$, then

$\frac{\alpha }{\alpha +1}\left({b}^{\alpha +1}-{a}^{\alpha +1}\right)\left({b}^{\alpha -1}-{a}^{\alpha -1}\right)⩽0,$

inequality (3.2) holds. Let $\alpha >1$. Then

$\left({b}^{\alpha +1}-{a}^{\alpha +1}\right)\left({b}^{\alpha -1}-{a}^{\alpha -1}\right)⩾0.$

Since

$0<\frac{\alpha }{\alpha +1}<1,$

and

$\left({b}^{\alpha +1}-{a}^{\alpha +1}\right)\left({b}^{\alpha -1}-{a}^{\alpha -1}\right)-{\left({b}^{\alpha }-{a}^{\alpha }\right)}^{2}=-{a}^{\alpha -1}{b}^{\alpha -1}{\left(a-b\right)}^{2}⩽0,$

we have

$\begin{array}{r}\frac{\alpha }{\alpha +1}\left({b}^{\alpha +1}-{a}^{\alpha +1}\right)\left({b}^{\alpha -1}-{a}^{\alpha -1}\right)-{\left({b}^{\alpha }-{a}^{\alpha }\right)}^{2}\\ \phantom{\rule{1em}{0ex}}⩽\left({b}^{\alpha +1}-{a}^{\alpha +1}\right)\left({b}^{\alpha -1}-{a}^{\alpha -1}\right)-{\left({b}^{\alpha }-{a}^{\alpha }\right)}^{2}\\ \phantom{\rule{1em}{0ex}}⩽0,\end{array}$

that is to say, inequality (3.2) still holds. The proof is completed. □

Example 3.4 The function

$p:\left(0,\mathrm{\infty }\right)\to \left(0,\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}p\left(x\right)\triangleq exp\left(-{e}^{x}\right)$

is quasi-log concave.

Proof Indeed,

$\begin{array}{r}0<{\int }_{0}^{\mathrm{\infty }}p=0.21938393439552026\dots <\mathrm{\infty },\\ \phi \left(x\right)={e}^{x},\phantom{\rule{2em}{0ex}}\underset{x\to \mathrm{\infty }}{lim}\phi \left(x\right)=\underset{x\to \mathrm{\infty }}{lim}{e}^{x}=\mathrm{\infty },\end{array}$

and

$\underset{x\to \mathrm{\infty }}{lim}\frac{{\phi }^{\prime }\left(x\right)}{{e}^{\phi \left(x\right)}}=\underset{x\to \mathrm{\infty }}{lim}\frac{{\left[{\phi }^{\prime }\left(x\right)\right]}^{2}}{{\phi }^{″}\left(x\right){e}^{\phi \left(x\right)}}=\underset{x\to \mathrm{\infty }}{lim}\frac{{e}^{x}}{exp\left({e}^{x}\right)}=0,$

hence equations in (2.48) hold. Since

${\phi }^{″}\left(x\right)={e}^{x}>0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(0,\mathrm{\infty }\right),$

and

$2{\left[{\phi }^{″}\left(x\right)\right]}^{3}-{\phi }^{\left(4\right)}\left(x\right){\phi }^{″}\left(x\right)+{\left[{\phi }^{‴}\left(x\right)\right]}^{2}=2{e}^{3x}>0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(0,\mathrm{\infty }\right),$

inequalities in (2.27) hold. By Theorem 2.5, the function p is quasi-log concave. This ends the proof. □

In the next section, we demonstrate the applications of Theorem 2.3 and Theorem 2.5 in the theory of k-normal distribution.

## 4 Quasi-log concavity of pdf of k-normal distribution

The normal distribution (see ) is considered as the most prominent probability distribution in statistics. Besides the important central limit theorem that says the mean of a large number of random variables drawn from a common distribution, under mild conditions, is distributed approximately normally, the normal distribution is also tractable in the sense that a large number of related results can be derived explicitly and that many qualitative properties may be stated in terms of various inequalities.

But perhaps one of the main practical uses of the normal distribution is to model empirical distributions of many different random variables encountered in practice. In such a case, a possible generalization would be families of distributions having more than two parameters (namely the mean and the standard variation) which may be used to fit empirical distributions more accurately. Examples of such generalizations are the normal-exponential-gamma distribution which contains three parameters and the Pearson distribution which contains four parameters for simulating different skewness and kurtosis values.

In this section, we first introduce another generalization of the normal distribution as follows: If the probability density function of the random variable X is

$p\left(x;\mu ,\sigma ,k\right)\triangleq \frac{{k}^{1-{k}^{-1}}}{2\mathrm{\Gamma }\left({k}^{-1}\right)\sigma }exp\left(-\frac{|x-\mu {|}^{k}}{k{\sigma }^{k}}\right),$
(4.1)

then we say that the random variable X follows the k-normal distribution or generalized normal distribution (see  or ), denoted by $X\sim {N}_{k}\left(\mu ,\sigma \right)$, where

$x\in \left(-\mathrm{\infty },\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}\mu \in \left(-\mathrm{\infty },\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}\sigma \in \left(0,\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}k\in \left(1,\mathrm{\infty }\right),$

and $\mathrm{\Gamma }\left(s\right)$ is the well-known gamma function.

For the probability density function $p\left(x;\mu ,\sigma ,k\right)$ of k-normal distribution, the graphs of the functions $p\left(x;0,1,3/2\right)$, $p\left(x;0,1,2\right)$ and $p\left(x;0,1,5/2\right)$ are depicted in Figure 1 and $p\left(x;0,1,k\right)$ is depicted in Figure 2.

Clearly, when $k=2$, $p\left(x;\mu ,\sigma ,k\right)$ is just the standard normal distribution $N\left(\mu ,\sigma \right)$ with mean μ and standard deviation σ, and it is easily checked that $p\left(x;0,1,k\right)$ is symmetric about 0 and that

$p\left(x;0,1,k\right)=\sigma p\left(\sigma x+\mu ;\mu ,\sigma ,k\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(-\mathrm{\infty },\mathrm{\infty }\right).$
(4.2)

According to (4.1), we get (see (2) in )

$p\left(x;\mu ,\frac{\sigma }{{s}^{1/s}},s\right)=\frac{s}{2\sigma \mathrm{\Gamma }\left(1/s\right)}exp\left(-|\frac{x-\mu }{\sigma }{|}^{s}\right).$
(4.3)

According to the results of , we may easily show that (see , p.688)

$p\left(x;\mu ,\sigma ,k\right)>0,\phantom{\rule{2em}{0ex}}{\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}p\left(x;\mu ,\sigma ,k\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}t=1,$
(4.4)
$\mathrm{E}X=\mu ,$
(4.5)
$\mathrm{E}|X-\mathrm{E}X{|}^{k}={\sigma }^{k},$
(4.6)

and

$\mathrm{E}{\left(X-\mathrm{E}X\right)}^{2}=\frac{{k}^{2{k}^{-1}}\mathrm{\Gamma }\left(3{k}^{-1}\right)}{\mathrm{\Gamma }\left({k}^{-1}\right)}{\sigma }^{2}\left\{\begin{array}{cc}>{\sigma }^{2},\hfill & 12.\hfill \end{array}$
(4.7)

Here μ, ${\sigma }^{k}$ and σ are the mathematical expectation, k-order absolute central moment and k-order mean absolute central moment of the random variable X, respectively.

We remark here if

${p}_{0}\left(x\right)=exp\left[-\frac{{\left(x-\mu \right)}^{k}}{k{\sigma }^{k}}\right],\phantom{\rule{1em}{0ex}}x\in \left(\mu ,\mathrm{\infty }\right),$

then

$w\left(x\right)\triangleq -{p}_{0}^{\prime }\left(x\right)=\frac{{\left(x-\mu \right)}^{k-1}}{{\sigma }^{k}}exp\left[-\frac{{\left(x-\mu \right)}^{k}}{k{\sigma }^{k}}\right]>0,$

and

${\int }_{\mu }^{\mathrm{\infty }}w\left(x\right)\phantom{\rule{0.2em}{0ex}}\mathrm{d}x=1,$

where $w\left(x\right)$ is the probability density function of a Weibull distribution. Therefore, there are close relationships between the k-normal distribution and the Weibull distribution.

Next, we study the quasi-log concavity of the probability density function of k-normal distribution.

Theorem 4.1 The probability density function $p\left(x;\mu ,\sigma ,k\right)$ of the k-normal distribution is quasi-log concave on $\left(-\mathrm{\infty },\mathrm{\infty }\right)$ for all $\mu \in \left(-\mathrm{\infty },\mathrm{\infty }\right)$, $\sigma \in \left(0,\mathrm{\infty }\right)$ and $k\in \left(1,\mathrm{\infty }\right)$.

Proof In view of (4.2), we may assume that

$\left(\mu ,\sigma \right)=\left(0,1\right).$

Let for convenience that

$p\left(x\right)\triangleq p\left(x;0,1,k\right)=cexp\left[-\phi \left(x\right)\right],$

where

$c=\frac{{k}^{1-{k}^{-1}}}{2\mathrm{\Gamma }\left({k}^{-1}\right)}>0,\phantom{\rule{2em}{0ex}}\phi \left(x\right)=\frac{|x{|}^{k}}{k}.$

Then

$\begin{array}{r}{G}_{p}\left[a,a\right]=0={G}_{p}\left[b,b\right],\\ {G}_{p}\left[a,b\right]={G}_{p}\left[b,a\right]\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}{G}_{p}\left[a,b\right]={G}_{p}\left[-b,-a\right],\end{array}$
(4.8)

where the last equality holds because p is even.

Now we show that

${G}_{p}\left[a,b\right]⩽0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }a,b\in \left(-\mathrm{\infty },\mathrm{\infty }\right)$
(4.9)

in two steps (A) and (B).

1. (A)

We first consider the case where $k⩾2$.

By (4.8) and continuity, without loss of generality, we may assume that either

$\text{(i):}\phantom{\rule{1em}{0ex}}0

We first consider the case (i): $0.

By (4.4), we have

${\int }_{0}^{\mathrm{\infty }}p=\frac{1}{2}<\mathrm{\infty }.$

Since

$\underset{x\to \mathrm{\infty }}{lim}\phi \left(x\right)=\underset{x\to \mathrm{\infty }}{lim}{x}^{k-1}=\mathrm{\infty },\phantom{\rule{2em}{0ex}}\underset{x\to \mathrm{\infty }}{lim}\frac{{\phi }^{\prime }\left(x\right)}{{e}^{\phi \left(x\right)}}=\underset{x\to \mathrm{\infty }}{lim}\frac{{x}^{k-1}}{exp\left(\frac{{x}^{k}}{k}\right)}=0,$

and

$\underset{x\to \mathrm{\infty }}{lim}\frac{{\left[{\phi }^{\prime }\left(x\right)\right]}^{2}}{{\phi }^{″}\left(x\right){e}^{\phi \left(x\right)}}=\underset{x\to \mathrm{\infty }}{lim}\frac{{x}^{2k-2}}{\left(k-1\right){x}^{k-2}exp\left(\frac{{x}^{k}}{k}\right)}=0,$

equations in (2.48) hold. Since

${\phi }^{″}\left(x\right)=\left(k-1\right){x}^{k-2}>0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(0,\mathrm{\infty }\right),$

and

$\begin{array}{r}2{\left[{\phi }^{″}\left(x\right)\right]}^{3}-{\phi }^{\left(4\right)}\left(x\right){\phi }^{″}\left(x\right)+{\left[{\phi }^{‴}\left(x\right)\right]}^{2}\\ \phantom{\rule{1em}{0ex}}=2{\left(k-1\right)}^{2}{x}^{3k-6}-{\left(k-1\right)}^{2}\left(k-2\right)\left(k-3\right){x}^{2k-6}+{\left(k-1\right)}^{2}{\left(k-2\right)}^{2}{x}^{2k-6}\\ \phantom{\rule{1em}{0ex}}={\left(k-1\right)}^{2}{x}^{3k-6}+{\left(k-1\right)}^{2}\left(k-2\right){x}^{2k-6}\\ \phantom{\rule{1em}{0ex}}>0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(0,\mathrm{\infty }\right),\end{array}$

inequalities in (2.27) hold. By Theorem 2.5, inequality (4.9) holds.

Next, we consider the case (ii): $a<0.

Since

${p}^{\prime }\left(b\right)<0<{p}^{\prime }\left(a\right),$

we have

${G}_{p}\left[a,b\right]=\left({\int }_{a}^{b}p\right)\left[{p}^{\prime }\left(b\right)-{p}^{\prime }\left(a\right)\right]-{\left({\int }_{a}^{b}{p}^{\prime }\right)}^{2}⩽\left({\int }_{a}^{b}p\right)\left[{p}^{\prime }\left(b\right)-{p}^{\prime }\left(a\right)\right]<0,$

that is, inequality (4.9) still holds.

1. (B)

Next we assume that $1.

Since

${\phi }^{″}\left(x\right)=\left(k-1\right){x}^{k-2}>0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(0,\mathrm{\infty }\right),$

and

$2{\phi }^{\prime }\left(x\right){\phi }^{″}\left(x\right)-{\phi }^{‴}\left(x\right)=2\left(k-1\right){x}^{2k-3}+\left(k-1\right)\left(2-k\right){x}^{k-3}⩾0,\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in \left(0,\mathrm{\infty }\right),$

inequalities in (2.16) hold. By Theorem 2.3, inequality (4.9) holds.

Based on the above analysis, inequality (4.9) is proved.

The proof of Theorem 4.1 is completed. □

In the next section, we demonstrate the applications of Theorem 4.1 in the generalized hierarchical teaching model and the generalized traditional teaching model.

## 5 Applications in statistics

### 5.1 Hierarchical teaching model and truncated random variable

We first introduce the hierarchical teaching model as follows.

The usual teaching model assumes that the math scores of each student in a class are treated as a continuous random variable, written as ${\xi }_{I}$, which takes on some value in the real interval $I=\left[{a}_{0},{a}_{m}\right]$, and its probability density function ${p}_{I}:I\to \left(0,\mathrm{\infty }\right)$ is continuous. Suppose we now divide the students into m classes, written as

$Class\left[{a}_{0},{a}_{1}\right],Class\left[{a}_{1},{a}_{2}\right],\dots ,Class\left[{a}_{m-1},{a}_{m}\right],$

where

$0⩽{a}_{0}⩽{a}_{1}⩽\cdots ⩽{a}_{m},\phantom{\rule{1em}{0ex}}m⩾2,$

and

${a}_{i},{a}_{i+1},\phantom{\rule{1em}{0ex}}i=0,1,\dots ,m-1,$

are the lowest and the highest allowable scores of the students of $Class\left[{a}_{i},{a}_{i+1}\right]$, respectively. We introduce a set

$HTM\left\{{a}_{0},\dots ,{a}_{m},{p}_{I}\right\}\triangleq \left\{Class\left[{a}_{0},{a}_{1}\right],Class\left[{a}_{1},{a}_{2}\right],\dots ,Class\left[{a}_{m-1},{a}_{m}\right],{p}_{I}\right\}$

called a hierarchical teaching model (see ) such that the traditional teaching model, denoted by $HTM\left\{{a}_{0},{a}_{m},{p}_{I}\right\}$, is just a special $HTM\left\{{a}_{0},\dots ,{a}_{m},{p}_{I}\right\}$, where $m=1$.

If ${a}_{0}=-\mathrm{\infty }$ and ${a}_{m}=\mathrm{\infty }$, then $HTM\left\{-\mathrm{\infty },\dots ,\mathrm{\infty },{p}_{I}\right\}$ and $HTM\left\{-\mathrm{\infty },\mathrm{\infty },{p}_{I}\right\}$ are called generalized hierarchical teaching model and generalized traditional teaching model, respectively.

In order to study the hierarchical teaching model and the traditional teaching model from the angle of the analysis of variance, we need to recall the definition of truncated random variable.

Definition 5.1 Let ${\xi }_{I}\in I$ be a continuous random variable with continuous probability density function ${p}_{I}:I\to \left(0,\mathrm{\infty }\right)$. If ${\xi }_{J}\in J\subseteq I$ is also a continuous random variable and its probability density function is

${p}_{J}:J\to \left(0,\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}{p}_{J}\left(t\right)\triangleq \frac{{p}_{I}\left(t\right)}{{\int }_{J}{p}_{I}},$

then we call the random variable ${\xi }_{J}$ a truncated random variable of the random variable ${\xi }_{I}$, written as ${\xi }_{J}\subseteq {\xi }_{I}$. If ${\xi }_{J}\subseteq {\xi }_{I}$ and $J\subset I$, then we call the random variable ${\xi }_{J}$ a proper truncated random variable of the random variable ${\xi }_{I}$, written as ${\xi }_{J}\subset {\xi }_{I}$. Here I and J are high dimensional intervals.

We point out that a basic property of the truncated random variable is as follows: Let ${\xi }_{I}\in I$ be a continuous random variable with continuous probability density function ${p}_{I}:I\to \left(0,\mathrm{\infty }\right)$. If

${\xi }_{{I}_{\ast }}\subseteq {\xi }_{I},\phantom{\rule{2em}{0ex}}{\xi }_{{I}^{\ast }}\subseteq {\xi }_{I}\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}{I}_{\ast }\subseteq {I}^{\ast },$

then ${\xi }_{{I}_{\ast }}\subseteq {\xi }_{{I}^{\ast }}$. If

${\xi }_{{I}_{\ast }}\subseteq {\xi }_{I},\phantom{\rule{2em}{0ex}}{\xi }_{{I}^{\ast }}\subseteq {\xi }_{I}\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}{I}_{\ast }\subset {I}^{\ast },$

then ${\xi }_{{I}_{\ast }}\subset {\xi }_{{I}^{\ast }}$.

Indeed, by Definition 5.1, the probability density functions of the truncated random variables ${\xi }_{{I}_{\ast }}$, ${\xi }_{{I}^{\ast }}$ are

$\begin{array}{r}{p}_{{I}_{\ast }}:{I}_{\ast }\to \left(0,\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}{p}_{{I}_{\ast }}\left(t\right)=\frac{{p}_{I}\left(t\right)}{{\int }_{{I}_{\ast }}{p}_{I}},\\ {p}_{{I}^{\ast }}:{I}^{\ast }\to \left(0,\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}{p}_{{I}^{\ast }}\left(t\right)=\frac{{p}_{I}\left(t\right)}{{\int }_{{I}^{\ast }}{p}_{I}},\end{array}$

respectively. Thus, the probability density function of ${\xi }_{{I}_{\ast }}$ can be rewritten as

${p}_{{I}_{\ast }}:{I}_{\ast }\to \left(0,\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}{p}_{{I}_{\ast }}\left(t\right)=\frac{{p}_{I}\left(t\right)/{\int }_{{I}^{\ast }}{p}_{I}}{{\int }_{{I}_{\ast }}\left({p}_{I}/{\int }_{{I}^{\ast }}{p}_{I}\right)}=\frac{{p}_{{I}^{\ast }}\left(t\right)}{{\int }_{{I}_{\ast }}{p}_{{I}^{\ast }}}.$

Hence

${I}_{\ast }\subseteq {I}^{\ast }\phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}{\xi }_{{I}_{\ast }}\subseteq {\xi }_{{I}^{\ast }}\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}{I}_{\ast }\subset {I}^{\ast }\phantom{\rule{1em}{0ex}}⇒\phantom{\rule{1em}{0ex}}{\xi }_{{I}_{\ast }}\subset {\xi }_{{I}^{\ast }}.$

According to the definitions of the mathematical expectation $\mathrm{E}\phi \left({\xi }_{J}\right)$ and the variance $Var\phi \left({\xi }_{J}\right)$ with Definition 5.1, we easily get

$\mathrm{E}\phi \left({\xi }_{J}\right)\triangleq {\int }_{J}{p}_{J}\phi =\frac{{\int }_{J}{p}_{I}\phi }{{\int }_{J}{p}_{I}},$
(5.1)

and

$Var\phi \left({\xi }_{J}\right)\triangleq \mathrm{E}{\left[\phi \left({\xi }_{J}\right)-\mathrm{E}\phi \left({\xi }_{J}\right)\right]}^{2}=\frac{{\int }_{J}{p}_{I}{\phi }^{2}}{{\int }_{J}{p}_{I}}-{\left(\frac{{\int }_{J}{p}_{I}\phi }{{\int }_{J}{p}_{I}}\right)}^{2},$
(5.2)

where ${\xi }_{J}\subseteq {\xi }_{I}$, and the function $\phi :J\to \left(-\mathrm{\infty },\mathrm{\infty }\right)$ of the random variable ${\xi }_{J}$ is continuous.

In the generalized hierarchical teaching model $HTM\left\{-\mathrm{\infty },\dots ,\mathrm{\infty },{p}_{I}\right\}$, the math scores of each student in $Class\left[{a}_{i},{a}_{i+1}\right]$ is also a random variable, written as ${\xi }_{\left[{a}_{i},{a}_{i+1}\right]}$. Since

$\left[{a}_{i},{a}_{i+1}\right]\subseteq I,\phantom{\rule{1em}{0ex}}i=0,1,\dots ,m-1,$

so ${\xi }_{\left[{a}_{i},{a}_{i+1}\right]}$ is a truncated random variable of the random variable ${\xi }_{I}$. Assume that the $j-i$ classes, i.e.,

$Class\left[{a}_{i},{a}_{i+1}\right],Class\left[{a}_{i+1},{a}_{i+2}\right],\dots ,Class\left[{a}_{j-1},{a}_{j}\right]$

are merged into one, written as $Class\left[{a}_{i},{a}_{j}\right]$. Since $\left[{a}_{i},{a}_{j}\right]\subseteq I$, we know that ${\xi }_{\left[{a}_{i},{a}_{j}\right]}$ is a truncated random variable of the random variable ${\xi }_{I}$, where $0⩽i. In general, we have

${\xi }_{\left[{a}_{i},{a}_{j}\right]}\subseteq {\xi }_{\left[{a}_{{i}^{\prime }},{a}_{{j}^{\prime }}\right]}\subseteq {\xi }_{I},\phantom{\rule{1em}{0ex}}\mathrm{\forall }{i}^{\prime },i,j,{j}^{\prime }:0⩽{i}^{\prime }⩽i
(5.3)

In the generalized hierarchical teaching model $HTM\left\{-\mathrm{\infty },\dots ,\mathrm{\infty },{p}_{I}\right\}$, we are concerned with the relationship between the variance $Var{\xi }_{\left[{a}_{i},{a}_{j}\right]}$ and the variance $Var{\xi }_{I}$, where $0⩽i, so as to decide the superiority and inferiority of the hierarchical and the traditional teaching models.

If

$Var{\xi }_{\left[{a}_{i},{a}_{j}\right]}⩽Var{\xi }_{I},\phantom{\rule{1em}{0ex}}\mathrm{\forall }i,j:0⩽i
(5.4)

then in view of the usual meaning of the variance, we tend to think that this generalized hierarchical teaching model is better than the generalized traditional teaching model. Otherwise, this generalized hierarchical teaching model is probably not worth promoting, where $I=\left(-\mathrm{\infty },\mathrm{\infty }\right)$.

In this section, one of our purposes is to study the generalized hierarchical teaching model and the generalized traditional teaching model from the angle of the analysis of variance so as to decide the superiority and inferiority of the generalized hierarchical and the generalized traditional teaching models. In particular, we will study the conditions such that inequality (5.4) holds (see Theorem 5.2).

In the generalized hierarchical teaching model $HTM\left\{-\mathrm{\infty },\dots ,\mathrm{\infty },{p}_{I}\right\}$, we can choose the parameters ${a}_{1},{a}_{2},\dots ,{a}_{m-1}\in \left(-\mathrm{\infty },\mathrm{\infty }\right)$ such that the ‘variance’

$\begin{array}{r}Var\left(Var{\xi }_{\left[{a}_{0},{a}_{1}\right]},\dots ,Var{\xi }_{\left[{a}_{m-1},{a}_{m}\right]}\right)\\ \phantom{\rule{1em}{0ex}}\triangleq \frac{1}{m}\sum _{j=0}^{m-1}{\left(Var{\xi }_{\left[{a}_{j},{a}_{j+1}\right]}-\frac{1}{m}\sum _{i=0}^{m-1}Var{\xi }_{\left[{a}_{i},{a}_{i+1}\right]}\right)}^{2}\end{array}$
(5.5)

of

$Var{\xi }_{\left[{a}_{0},{a}_{1}\right]},Var{\xi }_{\left[{a}_{1},{a}_{2}\right]},\dots ,Var{\xi }_{\left[{a}_{m-1},{a}_{m}\right]}$

is the minimal by means of mathematical software, its purpose is to make the scores of the classes

$Class\left[{a}_{0},{a}_{1}\right],Class\left[{a}_{1},{a}_{2}\right],\dots ,Class\left[{a}_{m-1},{a}_{m}\right]$

stable, where ${a}_{0}=-\mathrm{\infty }$ and ${a}_{m}=\mathrm{\infty }$.

Remark 5.1 We remark here if ${\xi }_{I}\in I$ is a continuous random variable with continuous probability density function ${p}_{I}:I\to \left(0,\mathrm{\infty }\right)$, then the integration ${\int }_{I}{p}_{I}$ converges (see ), and it satisfies the following conditions:

${\int }_{I}{p}_{I}=1,\phantom{\rule{2em}{0ex}}{P}_{I}\left(x\right)\triangleq P\left({\xi }_{I}
(5.6)

We call the function ${P}_{I}:I\to \left[0,1\right]$ a probability distribution function of the random variable ${\xi }_{I}$, where ${P}_{I}\left(x\right)$ is the probability of the random event ‘${\xi }_{I}’, and I is an interval.

### 5.2 Applications in the analysis of variance

The analysis of variance is one of the central topics in statistics. Recently, the authors  have expanded the connotation of analysis of variance and obtained some interesting results.

In this section, we point out the significance of quasi-log concavity in the analysis of variance as follows.

Theorem 5.1 Let ${\xi }_{I}$ be a continuous random variable and its probability density function ${p}_{I}:I\to \left(0,\mathrm{\infty }\right)$ be twice continuously differentiable. Then the function ${p}_{I}:I\to \left(0,\mathrm{\infty }\right)$ is quasi-log concave if and only if

$0⩽Var\left[{\left(log{p}_{I}\right)}^{\prime }\left({\xi }_{\left[a,b\right]}\right)\right]⩽-\mathrm{E}\left[{\left(log{p}_{I}\right)}^{″}\left({\xi }_{\left[a,b\right]}\right)\right],\phantom{\rule{1em}{0ex}}\mathrm{\forall }a,b\in I,a
(5.7)

where ${\xi }_{\left[a,b\right]}\in \left[a,b\right]$ is a truncated random variable of the random variable ${\xi }_{I}$.

Proof By identities (2.6) and (5.1) with (5.2), we get

$\begin{array}{r}Var\left[{\left(log{p}_{I}\right)}^{\prime }\left({\xi }_{\left[a,b\right]}\right)\right]+\mathrm{E}\left[{\left(log{p}_{I}\right)}^{″}\left({\xi }_{\left[a,b\right]}\right)\right]\\ \phantom{\rule{1em}{0ex}}=Var\left(\frac{{p}_{I}^{\prime }}{{p}_{I}}\right)+\mathrm{E}\left[\frac{{p}_{I}{p}_{I}^{\prime \prime }-{\left({p}_{I}^{\prime }\right)}^{2}}{{p}_{I}^{2}}\right]\\ \phantom{\rule{1em}{0ex}}=\frac{{\int }_{a}^{b}{\left(\frac{{p}_{I}^{\prime }}{{p}_{I}}\right)}^{2}{p}_{I}}{{\int }_{a}^{b}{p}_{I}}-{\left(\frac{{\int }_{a}^{b}\frac{{p}_{I}^{\prime }}{{p}_{I}}{p}_{I}}{{\int }_{a}^{b}{p}_{I}}\right)}^{2}+\frac{{\int }_{a}^{b}\frac{{p}_{I}{p}_{I}^{\prime \prime }-{\left({p}_{I}^{\prime }\right)}^{2}}{{p}_{I}^{2}}{p}_{I}}{{\int }_{a}^{b}{p}_{I}}\\ \phantom{\rule{1em}{0ex}}=\frac{{\int }_{a}^{b}{p}_{I}^{\prime \prime }}{{\int }_{a}^{b}{p}_{I}}-{\left(\frac{{\int }_{a}^{b}{{p}_{I}}^{\prime }}{{\int }_{a}^{b}{p}_{I}}\right)}^{2}\\ \phantom{\rule{1em}{0ex}}=\frac{{\int }_{a}^{b}{p}_{I}{\int }_{a}^{b}{p}_{I}^{\prime \prime }-{\left({\int }_{a}^{b}{p}_{I}^{\prime }\right)}^{2}}{{\left({\int }_{a}^{b}{p}_{I}\right)}^{2}},\end{array}$

i.e.,

$Var\left[{\left(log{p}_{I}\right)}^{\prime }\left({\xi }_{\left[a,b\right]}\right)\right]+\mathrm{E}\left[{\left(log{p}_{I}\right)}^{″}\left({\xi }_{\left[a,b\right]}\right)\right]=\frac{{\int }_{a}^{b}{p}_{I}{\int }_{a}^{b}{p}_{I}^{\prime \prime }-{\left({\int }_{a}^{b}{p}_{I}^{\prime }\right)}^{2}}{{\left({\int }_{a}^{b}{p}_{I}\right)}^{2}}.$
(5.8)

According to identity (5.8), we know that inequality (1.6) can be rewritten as (5.7).

This completes the proof of Theorem 5.1. □

Remark 5.2 According to Theorem 5.1, quasi-log concavity is of great significance in the analysis of variance.

### 5.3 Applications in the generalized hierarchical teaching model

Now we demonstrate the application of Theorem 4.1 in the generalized hierarchical teaching model.

In the generalized hierarchical teaching model $HTM\left\{-\mathrm{\infty },\dots ,\mathrm{\infty },{p}_{I}\right\}$, the math scores of each student are treated as a random variable ${\xi }_{I}$, where ${\xi }_{I}\in I=\left(-\mathrm{\infty },\mathrm{\infty }\right)$. By using the central limit theorem (see ), we may think that the random variable ${\xi }_{I}$ follows a normal distribution, that is, ${\xi }_{I}\sim {N}_{2}\left(\mu ,\sigma \right)$, where μ is the average score of the students and σ is the mean square deviation of the score. Hence

${p}_{I}\left(x\right)=\frac{1}{\sqrt{2\pi }\sigma }exp\left[-\frac{{\left(x-\mu \right)}^{2}}{2{\sigma }^{2}}\right],\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in I.$
(5.9)

We remark here that if the math scores ${\xi }_{I}$ of each student satisfies

${\xi }_{I}\in \left[0,1\right]\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}\mu \in \left[0,1\right],$

then, by (5.9), we have

$P\left({\xi }_{I}<0\right)\approx 0,\phantom{\rule{2em}{0ex}}P\left({\xi }_{I}>1\right)\approx 0.$

Hence we can use the generalized hierarchical teaching model instead of the hierarchical teaching model, approximately.

Based on the above analysis and Theorem 4.1, we have the following theorem.

Theorem 5.2 In the generalized hierarchical teaching model $HTM\left\{-\mathrm{\infty },\dots ,\mathrm{\infty },{p}_{I}\right\}$, assume that ${\xi }_{I}\sim {N}_{2}\left(\mu ,\sigma \right)$. Then we have the following inequality:

$Var{\xi }_{\left[{a}_{i},{a}_{j}\right]}⩽Var{\xi }_{I}={\sigma }^{2},\phantom{\rule{1em}{0ex}}\mathrm{\forall }i,j:0⩽i
(5.10)

Proof Note that

${p}_{I}\left(t\right)=p\left(t;\mu ,\sigma ,2\right)$

is quasi-log concave by Theorem 4.1, hence inequality (5.7) holds by Theorem 5.1, so we obtain that

$Var\left[{\left(log{p}_{I}\right)}^{\prime }\left({\xi }_{\left[{a}_{i},{a}_{j}\right]}\right)\right]⩽-\mathrm{E}\left[{\left(log{p}_{I}\right)}^{″}\left({\xi }_{\left[{a}_{i},{a}_{j}\right]}\right)\right].$
(5.11)

Note that

$\begin{array}{c}Var\left(\phi +C\right)\equiv Var\left(\phi \right),\phantom{\rule{2em}{0ex}}Var\left(C\phi \right)\equiv {C}^{2}Var\left(\phi \right),\phantom{\rule{2em}{0ex}}\mathrm{E}\left(C\phi \right)\equiv C\mathrm{E}\left(\phi \right),\hfill \\ {\left(log{p}_{I}\right)}^{\prime }\left({\xi }_{\left[{a}_{i},{a}_{j}\right]}\right)=-\frac{{\xi }_{\left[{a}_{i},{a}_{j}\right]}-\mu }{{\sigma }^{2}},\phantom{\rule{2em}{0ex}}{\left(log{p}_{I}\right)}^{″}\left({\xi }_{\left[{a}_{i},{a}_{j}\right]}\right)=-\frac{1}{{\sigma }^{2}},\phantom{\rule{2em}{0ex}}\mathrm{E}\left(1\right)=1,\hfill \end{array}$

where C is a constant. By (5.11), we have

$\begin{array}{r}Var\left(-\frac{{\xi }_{\left[{a}_{i},{a}_{j}\right]}-\mu }{{\sigma }^{2}}\right)⩽-\mathrm{E}\left(-\frac{1}{{\sigma }^{2}}\right)\\ \phantom{\rule{1em}{0ex}}⇔\phantom{\rule{1em}{0ex}}\frac{1}{{\sigma }^{4}}Var{\xi }_{\left[{a}_{i},{a}_{j}\right]}⩽\frac{1}{{\sigma }^{2}}\mathrm{E}\left(1\right)\phantom{\rule{1em}{0ex}}⇔\phantom{\rule{1em}{0ex}}Var{\xi }_{\left[{a}_{i},{a}_{j}\right]}⩽Var{\xi }_{I}={\sigma }^{2},\end{array}$

that is to say, inequality (5.10) holds.

This completes the proof of Theorem 5.2. □

Remark 5.3 According to Theorem 5.2, we may conclude that the generalized hierarchical teaching model is normally better than the generalized traditional teaching model.

### 5.4 Applications in the generalized traditional teaching model

Next, we demonstrate the applications of Theorem 4.1 in the generalized traditional teaching model as follows.

In the generalized traditional teaching model $HTM\left\{-\mathrm{\infty },\mathrm{\infty },{p}_{I}\right\}$, the math scores of each student are treated as a random variable ${\xi }_{I}$, where ${\xi }_{I}\in I=\left(-\mathrm{\infty },\mathrm{\infty }\right)$. By using the central limit theorem (see ), we may think that the random variable ξ follows a normal distribution, that is, ${\xi }_{I}\sim {N}_{2}\left(\mu ,\sigma \right)$, where μ is the average score of the students and σ is the mean square deviation of the score. If the top and bottom students are insignificant, that is to say, the variance $Var{\xi }_{I}$ of the random variable ${\xi }_{I}$ is close to 0, according to Figure 1 and Figure 2 with formula (4.7), we may think that there is a real number $k\in \left(2,\mathrm{\infty }\right)$ such that ${\xi }_{I}\sim {N}_{k}\left(\mu ,\sigma \right)$. Otherwise, we may think that there is a real number $k\in \left(1,2\right)$ such that ${\xi }_{I}\sim {N}_{k}\left(\mu ,\sigma \right)$. We can estimate the number k by means of a sampling procedure.

In the generalized traditional teaching model $HTM\left\{-\mathrm{\infty },\mathrm{\infty },{p}_{I}\right\}$, we may assume that

${\xi }_{J}\subset {\xi }_{I},\phantom{\rule{2em}{0ex}}{\xi }_{I}\sim {N}_{k}\left(\mu ,\sigma \right),\phantom{\rule{1em}{0ex}}k>1,$

where $J=\left(\mu ,\mathrm{\infty }\right)$, and $\mu \in \left(0,\mathrm{\infty }\right)$ is the average math score of the students and σ is the k-order mean absolute central moment of the score. Then the probability density function of ${\xi }_{J}$ is that

${p}_{J}\left(t\right)=\frac{p\left(x;\mu ,\sigma ,k\right)}{{\int }_{J}p\left(x;\mu ,\sigma ,k\right)},\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in J.$

In the generalized traditional teaching model $HTM\left\{-\mathrm{\infty },\mathrm{\infty },{p}_{I}\right\}$, suppose that the math score of the student is ${\xi }_{J}$. In order to stimulate the learning enthusiasm of students, we may want to give each student a bonus payment $\mathcal{A}\left({\xi }_{J}\right)$. The function

$\mathcal{A}:J\to \left(0,\mathrm{\infty }\right)$

may be regarded as an allowance function.

In the generalized traditional teaching model $HTM\left\{-\mathrm{\infty },\mathrm{\infty },{p}_{I}\right\}$, we define the allowance function as follows:

$\mathcal{A}:J\to \left(0,\mathrm{\infty }\right),\phantom{\rule{2em}{0ex}}\mathcal{A}\left(x\right)\triangleq c{\left(x-\mu \right)}^{k-1},\phantom{\rule{1em}{0ex}}c>0,k>1.$
(5.12)

For the above allowance function (5.12), we have the following theorem.

Theorem 5.3 In the generalized traditional teaching model $HTM\left\{-\mathrm{\infty },\mathrm{\infty },{p}_{I}\right\}$, assume that

${\xi }_{J}\subset {\xi }_{I},\phantom{\rule{2em}{0ex}}{\xi }_{I}\sim {N}_{k}\left(\mu ,\sigma \right),\phantom{\rule{1em}{0ex}}k>1.$

Then we have the following inequalities:

$0⩽Var\left[\mathcal{A}\left({\xi }_{\left[a,b\right]}\right)\right]⩽c{\sigma }^{k}\mathrm{E}\left[{\mathcal{A}}^{\prime }\left({\xi }_{\left[a,b\right]}\right)\right],\phantom{\rule{1em}{0ex}}\mathrm{\forall }a,b\in J,a
(5.13)

Here the allowance function $\mathbb{A}$ is defined by (5.12).

Proof By Theorem 4.1, the function $p\triangleq {p}_{J}\left(t\right)$ is quasi-log concave on J. Hence inequalities (5.7) hold by Theorem 5.1. Note that

$\begin{array}{c}Var\left(C\mathcal{A}\right)\equiv {C}^{2}Var\left(\mathcal{A}\right),\phantom{\rule{2em}{0ex}}\mathrm{E}\left(C\mathcal{A}\right)\equiv C\mathrm{E}\left(\mathcal{A}\right),\hfill \\ {\left(log{p}_{I}\right)}^{\prime }\left({\xi }_{\left[a,b\right]}\right)=-\frac{{\left({\xi }_{\left[a,b\right]}-\mu \right)}^{k-1}}{{\sigma }^{k}}=-\frac{1}{c{\sigma }^{k}}\mathcal{A}\left({\xi }_{\left[a,b\right]}\right),\hfill \end{array}$

and

${\left(log{p}_{I}\right)}^{″}\left({\xi }_{\left[a,b\right]}\right)=-\frac{1}{c{\sigma }^{k}}{\mathcal{A}}^{\prime }\left({\xi }_{\left[a,b\right]}\right),$

where C is a constant. By inequalities (5.7), we get

$\begin{array}{c}Var\left[{\left(log{p}_{I}\right)}^{\prime }\left({\xi }_{\left[a,b\right]}\right)\right]⩽-\mathrm{E}\left[{\left(log{p}_{I}\right)}^{″}\left({\xi }_{\left[a,b\right]}\right)\right],\hfill \\ Var\left[-\frac{1}{c{\sigma }^{k}}\mathcal{A}\left({\xi }_{\left[a,b\right]}\right)\right]⩽-\mathrm{E}\left[-\frac{1}{c{\sigma }^{k}}{\mathcal{A}}^{\prime }\left({\xi }_{\left[a,b\right]}\right)\right],\hfill \end{array}$

and

$\frac{1}{{\left(c{\sigma }^{k}\right)}^{2}}Var\left[\mathcal{A}\left({\xi }_{\left[a,b\right]}\right)\right]⩽\frac{1}{c{\sigma }^{k}}\mathrm{E}\left[{\mathcal{A}}^{\prime }\left({\xi }_{\left[a,b\right]}\right)\right].$

That is to say, inequalities (5.13) hold.

This completes the proof of Theorem 5.3. □

Remark 5.4 A large number of inequality analysis and statistical theories are used in this paper. Some theories in the proofs of our results are used in the references [5, 23, 24, 2634].

## References

1. Tong Y: An adaptive solution to ranking and selection problems. Ann. Stat. 1978,6(3):658-672. 10.1214/aos/1176344210

2. Bagnoli, M, Bergstrom, T: Log-concave probability and its applications. Mimeo (1991)

3. Patel JK, Read CB: Handbook of the Normal Distribution. 2nd edition. CRC Press, Boca Raton; 1996.

4. Heckman JJ, Honor BE: The empirical content of the Roy model. Econometrica 1990,58(5):1121-1149. 10.2307/2938303

5. Wang WL: Approaches to Prove Inequalities. Harbin Institute of Technology Press, Harbin; 2011.(in Chinese) (in Chinese)

6. Wen JJ, Gao CB, Wang WL: Inequalities of J-P-S-F type. J. Math. Inequal. 2013,7(2):213-225.

7. Mohtashami Borzadaran GR, Mohtashami Borzadaran HA: Log concavity property for some well-known distributions. Surv. Math. Appl. 2011, 6: 203-219.

8. An, MY: Log-concave probability distributions: theory and statistical testing. Working paper, Duke University (1995)

9. An, MY: Log-concavity and statistical inference of linear index modes. Manuscript, Duke University (1997)

10. Finner H, Roters M: Log-concavity and inequalities for Chi-square, F and Beta distributions with applications in multiple comparisons. Stat. Sin. 1997, 7: 771-787.

11. Miravete EJ: Preserving log-concavity under convolution: Comment. Econometrica 2002,70(3):1253-1254. 10.1111/1468-0262.00327

12. Al-Zahrani B, Stoyanov J: On some properties of life distributions with increasing elasticity and log-concavity. Appl. Math. Sci. 2008,2(48):2349-2361.

13. Caramanis C, Mannor S: An inequality for nearly log-concave distributions with applications to learning. IEEE Trans. Inf. Theory 2007,53(3):1043-1057.

14. Wlodzimierz B: The Normal Distribution: Characterizations with Applications. Springer, Berlin; 1995.

15. Spiegel MR: Theory and Problems of Probability and Statistics. McGraw-Hill, New York; 1992:109-111.

16. Whittaker ET, Robinson G: The Calculus of Observations: A Treatise on Numerical Mathematics. 4th edition. Dover, New York; 1967:164-208.

17. Nadarajah S: A generalized normal distribution. J. Appl. Stat. 2005,32(7):685-694. 10.1080/02664760500079464

18. Varanasi MK, Aazhang B: Parametric generalized Gaussian density estimation. J. Acoust. Soc. Am. 1989,86(4):1404-1415. 10.1121/1.398700

19. Hawkins GE, Brown SD, Steyvers M, Wagenmakers EJ: Context effects in multi-alternative decision making: empirical data and a Bayesian model. Cogn. Sci. 2012, 36: 498-516. 10.1111/j.1551-6709.2011.01221.x

20. Yang CF, Pu YJ: Bayes analysis of hierarchical teaching. Math. Pract. Theory 2004(in Chinese),34(9):107-113. (in Chinese)

21. de Valpine P: Shared challenges and common ground for Bayesian and classical analysis of hierarchical models. Ecol. Appl. 2009, 19: 584-588. 10.1890/08-0562.1

22. Carlin BP, Gelfand AE, Smith AFM: Hierarchical Bayesian analysis of change point problem. Appl. Stat. 1992,41(2):389-405. 10.2307/2347570

23. Wen JJ, Han TY, Gao CB: Convergence tests on constant Dirichlet series. Comput. Math. Appl. 2011,62(9):3472-3489. 10.1016/j.camwa.2011.08.064

24. Wen JJ, Han TY, Cheng SS: Inequalities involving Dresher variance mean. J. Inequal. Appl. 2013.Article ID 366, 2013: Article ID 366

25. Johnson OT: Information Theory and the Central Limit Theorem. Imperial College Press, London; 2004:88.

26. Wen JJ, Zhang ZH: Jensen type inequalities involving homogeneous polynomials. J. Inequal. Appl. 2010. Article ID 850215, 2010: Article ID 850215

27. Wen JJ, Cheng SS: Optimal sublinear inequalities involving geometric and power means. Math. Bohem. 2009,2009(2):133-149.

28. Peĉarić JE, Wen JJ, Wang WL, Tao L: A generalization of Maclaurin’s inequalities and its applications. Math. Inequal. Appl. 2005,8(4):583-598.

29. Gao CB, Wen JJ: Theory of surround system and associated inequalities. Comput. Math. Appl. 2012, 63: 1621-1640. 10.1016/j.camwa.2012.03.037

30. Wen JJ, Wang WL: Inequalities involving generalized interpolation polynomial. Comput. Math. Appl. 2008,56(4):1045-1058. 10.1016/j.camwa.2008.01.032

31. Wen JJ, Wang WL: Chebyshev type inequalities involving permanents and their applications. Linear Algebra Appl. 2007,422(1):295-303. 10.1016/j.laa.2006.10.014

32. Wen JJ, Cheng SS: Closed balls for interpolating quasi-polynomials. Comput. Appl. Math. 2011,30(3):545-570.

33. Wen JJ, Wu SH, Gao CB: Sharp lower bounds involving circuit layout system. J. Inequal. Appl. 2013.Article ID 592, 2013: Article ID 592

34. Wen JJ, Wu SH, Tian YH: Minkowski-type inequalities involving Hardy function and symmetric functions. J. Inequal. Appl. 2014. Article ID 186, 2014: Article ID 186

## Acknowledgements

This work was supported in part by the Natural Science Foundation of China (No. 61309015) and the Natural Science Foundation of Sichuan Province Education Department (No. 07ZA207). The authors are indebted to several unknown referees for many useful comments and keen observations which led to the present improved version of the paper as it stands.

## Author information

Authors

### Corresponding author

Correspondence to Tian Yong Han.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally and significantly in this paper. All authors read and approved the final manuscript.

## Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

## Rights and permissions 