Abstract
In this paper, we investigate n-exponential convexity and log-convexity using the positive functional defined as the difference of the left-hand side and right-hand side of the inequality from (Pečarić and Janić in Facta Univ., Ser. Math. Inform. 3:39-42, 1988). We also give mean value theorems of Lagrange and Cauchy types. Finally, we construct means with Stolarsky property.
Similar content being viewed by others
1 Introduction and preliminaries
A real-valued function f on a convex set I is called convex if epigraph of f is a convex set. Another definition of a convex function is that a function f is convex if
for all \(x, y \in I\) and \(\mu\in[0, 1]\).
Geometrically, if we have three points P, Q, and R on the graph of convex function such that Q lies between P and R, then
A generalization of this inequality is well-known Jensen’s inequality (see, e.g., [2]). The king of inequalities, the Jensen inequality, states that if a function \(f : I \rightarrow\mathbb{R}\) is convex, then for all \(x_{1}, x_{2},\ldots, x_{n} \in I\) and nonnegative real \(\mu_{1}, \mu_{2}, \ldots, \mu_{n}\) such that \(\sum_{i=1}^{n} \mu_{i} = 1\), we have
The following theorem is a consequence of the Jensen inequality proved by Pečarić and Janić [1].
Theorem 1.1
Let \(f:[0,\infty)\rightarrow\mathbb{R}\) be a nondecreasing convex function, and let \((V,\|\cdot\|)\) be a normed space. Then for all \(x_{i}\in V\) and \(p_{i}\geq0\) (\(1\leq i \leq n\)) such that \(P_{n}=\sum^{n}_{i=1}p_{i}>0\), we have
In 1929, the notion of exponential convexity was introduced by Bernstein [3]; later Widder [4] introduced these functions as a subclass of convex functions in a given interval \((a,b)\). Some notable results related to exponential and logarithmic convexity are found in [5–7]. Pečarić and Perić [8] gave the concept of n-exponentially convex functions. For several recent results concerning n-exponential convexity, see [9–15]. Mercer [16, 17] gave two mean value theorems of the Lagrange and Cauchy types for the discrete Jensen inequality.
In the next section, we discuss the n-exponential convexity of the functional defined as the difference of the left-hand and right-hand sides of inequality (2). We deduce results about exponential convexity and log-convexity. In Section 3 we give mean value theorems of Lagrange and Cauchy types. Finally, we construct means with Stolarsky property.
2 Exponential convexity
Let us recall some definitions and notions about n-exponentially convex functions (see [8]).
Definition 1
A real-valued function \(h : I \rightarrow\mathbb{R}\) on an open interval \(I, I \subset\mathbb{R}\) is called n-exponentially convex in the Jensen sense if
for all \(b_{i} \in\mathbb{R}\) and all \(x_{i} \in I\), \(i=1,\ldots,n\).
A real-valued function \(h : I \rightarrow\mathbb{R}\) is n-exponentially convex on I if it is n-exponentially convex in the Jensen sense and continuous on I.
Remark 2.1
-
(i)
From the definition it is obvious that the set of all n-exponentially convex functions on I is a convex cone.
-
(ii)
It is less obvious that a product of any two n-exponentially convex functions on I is again of the same type (see [18]).
-
(iii)
n-exponentially convex functions are invariant under admissible shifts and translations of the argument, that is, if \(x\mapsto f(x)\) is n-exponentially convex, then \(x\mapsto f(x-c)\) and \(x\mapsto f(x/\lambda)\) are also n-exponentially convex functions.
Definition 2
A real-valued function \(h : I \rightarrow\mathbb{R}\) is exponentially convex in the Jensen sense if it is n-exponentially convex in the Jensen sense for all \(n\in\mathbb{N}\).
A real-valued function \(h : I \rightarrow\mathbb{R}\) is exponentially convex if it is exponentially convex in the Jensen sense and continuous.
Remark 2.2
Note that a positive real-valued function \(h : I \rightarrow\mathbb{R}\) is log-convex in the Jensen sense if and only if it is 2-exponentially convex in the Jensen sense, that is,
for all \(b_{1}, b_{2} \in\mathbb{R}\) and \(x, y \in I\).
If h is 2-exponentially convex, then it is log-convex. The converse is true if h also is continuous. n-exponentially convex functions are not exponentially convex in general. For example, see [18].
We will use the following basic inequality of log-convex functions.
Lemma 2.3
If \(\Phi: I \rightarrow\mathbb{R}\) is log-convex, then for \(r< s< t\) (\(r,s,t\in I\)),
Proof
See [19], p.4. □
Let us give a few basic examples of exponentially convex functions; for details, see [18].
Example 2.4
-
(i)
\(f(x)=c\) is exponentially convex on \(\mathbb {R}\) for any \(c\geq0\).
-
(ii)
\(f(x)=e^{\alpha x}\) is exponentially convex on \(\mathbb {R}\) for any \(\alpha\in \mathbb {R}\).
-
(iii)
\(f(x)=x^{-\alpha}\) is exponentially convex on \((0,\infty)\) for any \(\alpha>0\).
Lemma 2.5
-
(i)
For \(p>0\), let \(\varphi_{p}:[0,\infty )\rightarrow \mathbb {R}\) be defined by
$$ \varphi_{p}(x)=\frac{e^{px^{2}}}{p^{2}}. $$Then \(p\mapsto\varphi_{p}(x)\), \(p\mapsto\frac{d}{dx}\varphi_{p}(x)\), and \(p\mapsto\frac{d^{2}}{dx^{2}}\varphi_{p}(x)\) are exponentially convex on \((0, \infty)\) for each \(x\in[0, \infty)\).
-
(ii)
For \(p>1\), let \(\phi_{p}:[0,\infty )\rightarrow \mathbb {R}\) be defined by
$$ \phi_{p}(x)=\frac{x^{p}}{p(p-1)}. $$Then \(p\mapsto\phi_{p}(x)\), \(p\mapsto\frac{d}{dx}\phi_{p}(x)\), and \(p\mapsto\frac{d^{2}}{dx^{2}}\phi_{p}(x)\) are exponentially convex on \((1, \infty)\) for each \(x\in[0, \infty)\).
Proof
(i) follows from parts (ii) and (iii) of Example 2.4 and Remark 2.1.
(ii) follows by similar arguments as in part (i) noting that \(x^{p}=e^{p\ln x}\). □
The next simple lemma will be useful in our applications.
Lemma 2.6
Let \(f : [0, \infty) \rightarrow\mathbb{R}\) be a convex function with \(f'(0) = 0\). Then f is an increasing convex function.
Proof
If f is a convex function, then \(f'\) is nondecreasing. Since \(f'(0)=0\), we have \(f'(x)\geq0\), that is, f is an increasing convex function. □
We opt an elegant method (see [18]) of constructing n-exponentially convex functions and exponentially convex functions.
Consider the following functional acting on nondecreasing convex functions:
From Theorem 1.1 it follows that \(\Omega(f) \geq0\).
Theorem 2.7
Let \(f\mapsto\Omega(f)\) be the linear functional defined by (4) and define \(\Phi_{1}:(0,\infty)\rightarrow \mathbb {R}\) and \(\Phi_{2}:(1,\infty)\rightarrow \mathbb {R}\) by
where \(\varphi_{p}\) and \(\phi_{p}\) are defined in Lemma 2.5. Then:
-
(i)
The functions \(\Phi_{1}\) and \(\Phi_{2}\) are continuous on \((0,\infty)\) and \((1,\infty)\), respectively.
-
(ii)
If \(n\in \mathbb {N}\), \(p_{1},\ldots,p_{n}\in(0,\infty )\), and \(q_{1},\ldots,q_{n}\in(1,\infty)\), then the matrices
$$\biggl[\Phi_{1} \biggl(\frac{p_{j}+p_{k}}{2} \biggr) \biggr] _{j,k=1}^{n}, \qquad \biggl[\Phi_{2} \biggl( \frac{q_{j}+q_{k}}{2} \biggr) \biggr]_{j,k=1}^{n} $$are positive semidefinite.
-
(iii)
The functions \(\Phi_{1}\) and \(\Phi_{2}\) are exponentially convex on \((0,\infty)\) and \((1,\infty)\), respectively.
-
(iv)
If \(p,q,r\in(0,\infty)\) are such that \(p< q< r\), then
$$\begin{aligned}& \biggl( \frac{\sum_{i=1}^{n}p_{i}\exp(q\|x_{i}\| ^{2})-P_{n}\exp ( \frac{q\|\sum_{i=1}^{n}p_{i}x_{i}\|^{2}}{P_{n}^{2}} ) }{q^{2}P_{n}} \biggr)^{r-p} \\& \quad \leq \biggl( \frac{\sum_{i=1}^{n}p_{i}\exp(p\|x_{i}\| ^{2})-P_{n}\exp ( \frac{p\|\sum_{i=1}^{n}p_{i}x_{i}\|^{2}}{P_{n}^{2}} ) }{p^{2}P_{n}} \biggr)^{r-q} \\& \qquad {}\times \biggl( \frac{\sum_{i=1}^{n}p_{i}\exp(r\|x_{i}\| ^{2})-P_{n}\exp ( \frac{r\|\sum_{i=1}^{n}p_{i}x_{i}\|^{2}}{P_{n}^{2}} ) }{r^{2}P_{n}} \biggr)^{q-p}; \end{aligned}$$if \(u,v,w\in(1,\infty)\) are such that \(u< v< w\), then
$$\begin{aligned}& \biggl( \frac{\sum_{i=1}^{n}p_{i}\|x_{i}\| ^{v}}{v(v-1)P_{n}}-\frac{ (\Vert \sum^{n}_{i=1}p_{i}x_{i}\Vert )^{v}}{v(v-1)P_{n}^{v}} \biggr)^{w-u} \\& \quad \leq \biggl( \frac{\sum_{i=1}^{n}p_{i}\|x_{i}\| ^{u}}{u(u-1)P_{n}}-\frac{ (\Vert \sum^{n}_{i=1}p_{i}x_{i}\Vert )^{u}}{u(u-1)P_{n}^{u}} \biggr)^{w-v} \\& \qquad {}\times \biggl( \frac{\sum_{i=1}^{n}p_{i}\|x_{i}\|^{w}}{w(w-1)P_{n}}-\frac{ (\Vert \sum^{n}_{i=1}p_{i}x_{i}\Vert )^{w}}{w(w-1)P_{n}^{w}} \biggr)^{v-u}. \end{aligned}$$
Proof
(i) The continuity of the functions \(p\mapsto\Phi_{i}(p)\), \(i=1,2\), is obvious.
(ii) Let \(n\in \mathbb {N}\) and \(\xi_{j}, p_{j}\in \mathbb {R}\) (\(j = 1, \ldots, n\)). Define the auxiliary function \(\Psi_{1} : [0,\infty) \rightarrow \mathbb {R}\) by
Now \(\Psi_{1}'(0)=0\) since \(\frac{d}{dx}\varphi_{t}(0)=0\), and
for \(x\geq0 \) by Lemma 2.5, which means, by Lemma 2.6, that \(\Psi_{1}\) is an increasing convex function. Now Theorem 1.1 implies that \(\Omega(\Psi_{1})\geq0\). This means that
is a positive semidefinite matrix.
Similarly, we can define an auxiliary function \(\Psi_{2}\) concluding that
is a positive semidefinite matrix.
(iii) and (iv) are simple consequences of (i), (ii), and Lemma 2.3. □
The following application in the probability is a consequence of the above theorem and gives an interesting connection between moments of discrete random variables.
Corollary 2.8
Let \((V,\|\cdot\|)\) be a normed space, and let X be a discrete random variable defined by \(P(X=x_{i})=p_{i}\), \(x_{i}\in V\), \(p_{i}>0\), \(i=1,\ldots,n\), \(\sum_{i=1}^{n}p_{i}=1\). Then, for \(1< j< k< m\),
where
Theorem 2.7 also sets the following model.
Theorem 2.9
Let \(I \subset\mathbb{R}\) be an open interval, and \(\Gamma= \{\eta_{t} | t \in I\}\) be a family of continuous functions defined on \(J\subseteq [0,\infty) \) such that \(\frac{d}{dx}\eta_{t}(0)=0\), \(t\in I\), and \(t\mapsto\frac{d^{2}}{dx^{2}}\eta_{t}(x)\) is n-exponentially convex I for any \(x\in J\). Consider the functional \(f\mapsto\Omega(f)\) given in (4). Then \(t \mapsto \Omega(\eta_{t})\) is an n-exponentially convex function on I.
Remark 2.10
Other features of Theorem 2.7 can be easily added in the previous theorem.
3 Mean value theorems
The following lemma will be very useful.
Lemma 3.1
Let \(f\in C^{2}([0,a] ) \) with \(f'(0) = 0\). Denote \(m=\inf_{t\in[0,a]} f''(t)\) and \(M= \sup_{ t\in[0,a]} f''(t)\). Then the functions \(f_{1}, f_{2}:I\rightarrow\mathbb{R}^{+}\) defined by
are convex and nondecreasing.
Proof
The functions \(f_{1}\), \(f_{2}\) satisfy the conditions of Lemma 2.6, and the result follows. □
Theorem 3.2
Let \(x_{i} \in X\) and \(p_{i}\geq0\) (\(i=1,2,\ldots, n\)) be such that \(P_{n}=\sum^{n}_{i=1}p_{i}>0\). Let \(f\in C^{2}([0,a])\) with \(f'(0) = 0\), where \(\max_{i}\|x_{i}\|< a\). Then there exists \(\xi\in[0,a]\) such that
where
Proof
Denote \(M=\max_{ t\in[0,a]} f''(t)\) and \(m=\min_{ t\in[0,a]} f''(t)\). Then the functions \(f_{1}, f_{2}:[0,a]\rightarrow\mathbb{R}\) as in Lemma 3.1 are convex and nondecreasing. This means that \(\Omega(f_{1}), \Omega(f_{2})\geq0\), that is,
Now by (7) the Bolzano intermediate theorem ensures that \(\xi \in[0,a]\). □
Corollary 3.3
Let \(x_{i} \in X\) and \(p_{i}\geq0\) (\(i=1,2,\ldots, n\)) be such that \(P_{n}=\sum^{n}_{i=1}p_{i}>0\). Let \(f,g\in C^{2}([0,a])\) with \(f'(0) = g'(0)=0\), where \(\max_{i}\|x_{i}\|< a\). Then there exists \(\xi\in[0,a]\) such that
Proof
Consider the auxiliary function \(k\in C^{2}([0,a])\) defined by \(k(x)=c_{1}f(x)-c_{2}g(x)\), where
and
It is obvious \(\Omega(k)=0\). Further, since \(k'(0)=0\), from Theorem 3.2 it follows that there exists \(\xi\in[0,a]\) such that
The left-hand side of this equation equals zero, whereas the term ϱ on the right-hand side is nonzero, so that \(k''(\xi)=0\). □
Remark 3.4
If the inverse of \(f''/g''\) exists, then various kinds of means can be defined by (9). That is,
Particularly, if we substitute \(f(x) = \phi_{p}(x)\) and \(g(x) = \phi_{q}(x)\) into (9) (the functions \(\phi_{p}\) are defined in Lemma 2.5), then we obtain the following expressions:
4 Concluding remarks
There are several levels of construction in this paper. Starting from Theorem 1.1 we constructed families of desired convexity (Lemma 2.5). Over ranging parameters, we have exponential convexity, and new exponentially convex functions are produced. Particularly, the constructed mean value theorems enabled us to define means that substantially contain the constructed exponentially convex functions.
References
Pečarić, J, Janić, R: Some remarks on the paper ‘Sur une inégalité de la norme’ of D. Delbosco. Facta Univ., Ser. Math. Inform. 3, 39-42 (1988)
Dragomir, SS, Pečarić, JE, Persson, LE: Properties of some functionals related to Jensen’s inequality. Acta Math. Hung. 70(1-2), 129-143 (1996)
Bernstein, SN: Sur les fonctions absolument monotones. Acta Math. 52(1), 1-66 (1929)
Widder, DV: Necessary and sufficient conditions for the representation of a function by a doubly infinite Laplace integral. Trans. Am. Math. Soc. 40(4), 321-326 (1934)
Anwar, M, Latif, N, Pečarić, J: Positive semidefinite matrices, exponential convexity for majorization, and related Cauchy means. J. Inequal. Appl. 2010, Article ID 728251 (2010)
Ehm, W, Genton, MG, Gneiting, T: Stationary covariances associated with exponentially convex functions. Bernoulli 9(4), 607-615 (2003)
Simic, S: On logarithmic convexity for differences of power means. J. Inequal. Appl. 2007, Article ID 37359 (2007)
Pečarić, J, Perić, J: Improvement of the Giaccardi and the Petrović inequality and related Stolarsky type means. An. Univ. Craiova, Ser. Mat. Inform. 39(1), 65-75 (2012)
Butt, SI, Jakšić, R, Kvesić, L, Pečarić, J: n-Exponential convexity of weighted Hermite-Hadamard’s inequality. J. Math. Inequal. 8(2), 299-311 (2014)
Horváth, L, Khan, KA, Pečarić, J: Further refinement of results about mixed symmetric means and Cauchy means. Adv. Inequal. Appl. 1(1), 12-32 (2012)
Iqbal, S, Himmelreich, KK, Pečarić, J, Pokaz, D: n-Exponential convexity of Hardy-type and Boas-type functionals. J. Math. Inequal. 7(4), 739-750 (2103)
Khalid, S, Pečarić, J: On the refinements of the Hermite-Hadamard inequality. J. Inequal. Appl. 2012, 155 (2012)
Khalid, S, Pečarić, J: On the refinements of the integral Jensen-Steffensen inequality. J. Inequal. Appl. 2013, 20 (2013)
Khan, AR, Pečarić, J, Lipanović, MR: n-Exponential convexity for Jensen-type inequalities. J. Math. Inequal. 7(3), 313-335 (2013)
Khan, KA, Nosheen, A, Pečarić, J: n-Exponential convexity of some dynamic Hardy-type functionals. J. Math. Inequal. 8(2), 331-347 (2014)
Mercer, AMcD: An ‘error term’ for the Ky Fan inequality. J. Math. Anal. Appl. 220(2), 774-777 (1998)
Mercer, AMcD: Some new inequalities involving elementary mean values. J. Math. Anal. Appl. 229, 677-681 (1999)
Jakšetić, J, Pečarić, J: Exponential convexity method. J. Convex Anal. 20(1), 181-187 (2013)
Pečarić, JE, Proschan, F, Tong, YC: Convex Functions, Partial Orderings and Statistical Applications. Academic Press, New York (1992)
Acknowledgements
The first and third authors are supported by Croatian Science Foundation under the project 5435. The second author is supported by National University of Sciences and Technology (NUST), Islamabad, and Higher Education Commission of Pakistan.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Jakšetić, J., Naeem, R. & Pečarić, J. Exponential convexity for Jensen’s inequality for norms. J Inequal Appl 2016, 54 (2016). https://doi.org/10.1186/s13660-016-1009-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-016-1009-0