Abstract
In the present note we are interested in proving the counterpart of the (right-hand side of the) celebrated Hermite–Hadamard inequality for \(\varphi \)-convex functions. In particular, we prove that the only \(\varphi \)-convex function for which the Hermite–Hadamard inequality holds with the Lagrangian mean on the right-hand side is (up to an affine transformation) the \(\log \)-convex function.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We start with very basic notions and notations. Given a real interval I we say that a function \(f:I \rightarrow \mathbb {R}\) is convex if for every \(x,y \in I\) and \(t\in [0,1]\),
The most classical inequality for convex functions is stated in the following.
Theorem 1.1
Let \(f :I \rightarrow \mathbb {R}\) be a convex function and \(x,y\in I, \, x\ne y\). Then
This celebrated integral inequality called now the Hermite–Hadamard inequality was introduced in the papers by Hermite [10] and Hadamard [9]. Let us note that (1.1) implies (Jensen) convexity of f, and that on the left- and right-hand sides we see the classical arithmetic means. Thus a more general inequality would be stated, for each (M, N)-convex function, satisfying suitable conditions, guaranteeing the existence of the integralFootnote 1
where \(M:I^2\rightarrow \mathbb {R}\) and \(N:J^2 \rightarrow \mathbb {R}\) (here J is an interval containing f(I)) are means, that is, they satisfy the following definition.
Let \(I\subset \mathbb {R}\) be an interval. A function \(M:I^2\rightarrow \mathbb {R}\) is called a mean if
Every mean is reflexive, that is \(M(x,x)=x\) for all \(x \in I\). A mean M is called symmetric if \(M(x,y)=M(y,x)\) for all \(x,y \in I\), homogeneous if \(M(tx,ty)=tM(x,y)\) for \(t>0\) and all \(x,y \in I\) such that \(tx,ty \in I\), and M is said to be a strict mean if the inequalities in (1.3) are strict whenever \(x\ne y\). More information about means can be found for instance in Bullen, Mitrinović and Vasić [3].
Let us mention here that several authors have been dealing with (1.2) for different classes of means, and for functions f being taken from corresponding classes (see e.g. the list of references, and in particular Dragomir [4, 5], Dragomir and Mond [6], Dragomir and Pearce [7] or Gill, Pearce and Pečarić [8]).
One from the numerous generalizations of convexity is the notion of \(\log \)-convexity. A function \(f:I\rightarrow (0,\infty )\) is said to be \(\log \)-convex if \(\log \circ f\) is convex, or equivalently, if for all \(x,y\in I\) and \(t\in [0,1]\) one has the inequality
Basing on the property that for two convex functions f and g with g increasing, the composition \(g\circ f\) is convex, it is worth observing that if \(\log \circ f\) is convex then so is \(f=\exp \circ \log \circ f\). However, the converse is not true (it is enough to take \(f(x)=x^2\) for \(x>0\)).
Applying (1.1) for a \(\log \)-convex function f we obtain the following inequality (see [8, Theorem 2.1] or [6, Theorem 2.5]):
with the logarithmic mean \(\mathcal {L}\) on the right-hand side.
We can go further with generalizations. Let \(f:I \rightarrow \mathbb {R}\) and \(\varphi \) be an increasing function defined on the range of f. The function f is said to be \(\varphi \)-convex whenever \(\varphi \circ f\) is convex, that is, for all \(x,y \in I,\,t\in [0,1]\),
and if \(\varphi \) is one-to-one,
A special case of \(\varphi \)-convex functions is a class of r-convex functions defined on \((0,\infty )\), with \(\varphi (x)=\textrm{sign}\, r\cdot x^r\) for \(r \in \mathbb {R}\setminus \{0\}\) and \(\varphi (x)=\log x\) for \(r=0\). For the next result we need a notion of a generalization of logarithmic means, namely so called extended logarithmic means defined by
Surely, for \(r=0\) we have \(L_0= {\mathcal {L}}.\)
The following result from [8] describes the extension of the (right-hand side of the) Hermite–Hadamard inequality for r-convex functions.
Theorem 1.2
Suppose \(f:I \rightarrow (0,\infty )\) is an r-convex function. Then
For \(p \in \mathbb {R}\) we define a function \( {L}^{[p]} :(0,\infty )^2 \rightarrow \mathbb {R}\) by the formula
for all \( x,y \in (0,\infty )\). The function \( {L}^{[p]} \) is a symmetric, strict, homogeneous mean and it is called the generalized logarithmic mean of order p of x and y. As special cases of generalized logarithmic means we obtain the geometric mean (\(p=-2\)), the logarithmic mean (\(p=-1\)), the identric mean (\(p=0\)), the arithmetic mean (\(p=1\)). For no p the function \( {L}^{[p]}\) is the harmonic mean. (For more details cf., e.g., Bullen [2]).
A common generalization of (1.7) and (1.9) is given in the notion of Stolarsky means but we will not deal with such a generalization in the paper.
If I is open and \(f:I\rightarrow \mathbb {R}\) is differentiable with one-to-one derivative then by the Lagrange mean value theorem for every \(x,y \in I, \, x\ne y\), there exists a uniquely determined \(M_f(x,y)\) between x and y such that
The assumption about f is satisfied by strictly convex, or strictly concave, continuously differentiable functions. The function \(M_f:I^2 \rightarrow I\) defined by
is a mean on I and it is called a Lagrangian mean (see Berrone and Moro [1]). These means are reflexive, symmetric and strict. The generalized logarithmic means, \( {L}^{[p]}\), are examples of Lagrangian means (it is enough to take \(f(x)=x^{p+1}\) for \(p \ne -1,0\), \( f(x)=\log x\) for \( p=-1\), and \(f(x)=x \log x\) for \(p=0\)).
Some properties of Lagrangian means are expressed in the following two facts.
Fact 1
(see [3, Theorem 1, p. 344], [2, Theorems 29], [1, Corollary 7]) Lagrangian means are equal, \( M_{f}(x, y)=M_{g}(x, y)\) for all x, y, if and only if for some \(\alpha , \beta , \gamma , \alpha \ne 0\),
Fact 2
(see [3, Theorem 1, p. 346], [2, Theorems 30]) If a Lagrangian mean \(M_{f}\) is homogeneous then for some \(p\in \mathbb {R}\), and all x and y we have \( M_{f}(x, y)= {L}^{[p]}(x, y)\).
In the paper, we show how the right-hand side of the Hermite–Hadamard inequality looks like for a general \(\varphi \)-convex function and when the mean on the right-hand side is a Lagrangian mean like it is in the case of the logarithmic mean in (1.5).
2 Main Results
We proceed now with a theorem which generalizes inequalities (1.5) or (1.8).
Theorem 2.1
Suppose \(f :I \rightarrow \mathbb {R}\). Let \(\varphi \) be a continuous strictly increasing function defined on the range of f and \(\Phi \) – its primitive function. If f is a \(\varphi \)-convex function, then for all \(x,y\in I, \, x\ne y\),
where
Proof
For fixed \(x,y \in I\) we integrate inequality (1.6) with respect to t, that is,
Starting with the left-hand side of (2.3), with the substitution \(s:=tx+(1-t)y\) we obtain
For the right-hand side of (2.3), assume first that \(f(x)=f(y)\) in order to get f(x) as a result of integration. Suppose now \(f(x)\ne f(y)\). We shall use the so called Laisant formula, i.e.,
where \(\Phi \) is a primitive function of \(\varphi \) and C is an arbitrary constant.
With \(z:=t\varphi (f(x)) +(1-t)\varphi (f(y))\) we have
This completes the proof. \(\square \)
Remark 2.1
Let us note that under the assumptions of the previous theorem, function \(\Lambda _{\varphi }\) given by the formula (2.2) is a strict mean. We obtain it by a direct computation, applying the Lagrange MVT to the function \(\Phi \).
Since the logarithmic mean is a special case of the Lagrangian means, we generalize the log-convexity in (1.4) to see if the inequality in (1.5) satisfied by log-convex functions can be generalized for Lagrangian means other than logarithmic ones.
In the next theorem, we consider the right hand side of inequality (2.1) to be the general form of the Lagrangian mean, generated by \(\varphi \) and solve the corresponding equation.
Theorem 2.2
Let \(\varphi \) be a strictly increasing real function from the class \( \mathcal {C}^3\), defined on an interval J, and with non-vanishing first and second derivatives. Then
for all \(x,y \in J\), if and only if
for some \(a,b,c \in \mathbb {R},\, a \ne 0,\) such that \(ax+b\) is positive for all \(x \in J\).
Proof
It is easy to check that \(\varphi \) given by (2.5) for suitable \(a, b, c\in \mathbb {R}\) is a solution of (2.4).
Solving (2.4) we immediately assume that \(x \ne y\). We have
For solving (2.6), we denote
and
Since
then, differentiating the above equality with respect to x, we get
and further, again differentiating the above with respect to x, we obtain
In what follows, we observe that there exists the limit of \(\frac{\partial ^2 M}{\partial x^2}(x,y)\) as y tends to x and we compute it. Indeed, we have
Since in view of de l’Hôpital’s rule
combining (2.9) and (2.10) we get
Further we have, again using de l’Hôpital’s rule,
Therefore, taking into account (2.8), there exists the limit of \(\frac{\partial ^2 M}{\partial x^2}(x,y)\) as \(y\rightarrow x\), and
Finally,
Next we compute the partial derivatives of \(\Lambda \) with respect to x:
In order to compute the limit of \(\frac{\partial ^2 \Lambda }{\partial x^2}(x,y)\) as \(y\rightarrow x\), first, applying de l’Hôpital’s rule, we compute the following limits:
Therefore,
From (2.12) and (2.13) we derive that the solution \( \varphi \) of (2.6) satisfies
That is,
with a positive C, whence
with a nonzero constant a. Further, since \(\varphi '(x)\) does not vanish, we have
whence it follows that
and consequently, due to the fact that \(\varphi \) is strictly increasing,
with \(a,b,c \in \mathbb {R}, \, a \ne 0\), such that \(ax+b\) is positive for all \(x \in J\). \(\square \)
Remark 2.2
Actually, for solving (2.6) it is enough to assume in Theorem 2.2 that \(\varphi \) is invertible. Then
with \(a,b,c \in \mathbb {R}, \, a \ne 0\), such that \(ax+b\) for all \(x \in J\) has a constant sign.
However, we assume that it is strictly increasing because such assumption appears in the definition of \(\varphi \)-convexity.
We conclude our considerations with the following.
Corollary 2.1
Suppose \(f :I \rightarrow (0,\infty )\). Let \(\varphi :(0,\infty )\rightarrow \mathbb {R}\) be a strictly increasing function from the class \(\mathcal {C}^3\) and with non-vanishing first and second derivatives. If \(\Lambda _{\varphi }(x,y)= M_{\varphi }(x,y)\), for all \(x,y \in I\), then the logarithmic mean is the only one (up to an affine transformation) which is both Lagrangian and of the form \(\Lambda _{\varphi }\). More exactly,
for some \(a,b \in \mathbb {R}, \, a \ne 0\), such that \(ax+b\) is positive for all \(x \in J\).
Therefore, the logarithmic mean is the only (up to an affine transformation) Lagrangian mean satisfying the right-hand side of the Hermite–Hadamard inequality for \(\varphi \)-convex functions.
Data availability
Data sharing is not applicable to this article as no data sets were generated or analysed during the current study.
Notes
A function \(f:I\rightarrow \mathbb {R}\) is called (M, N)-convex iff for each \(x,y\in I,\) one has \(f(M(x,y))\le N(f(x),f(y)).\)
References
Berrone, L., Moro, J.: Lagrangian means. Aequ. Math. 55, 217–226 (1998)
Bullen, P.S.: Handbook of Means and Their Inequalities. Math Appl Reidel, Dordrecht (2003)
Bullen, P.S., Mitrinović, D.S., Vasić, P.M.: Means and Their Inequalities. Math Appl Reidel, Dordrecht (1988)
Dragomir, S.S.: Further inequalities for log-convex functions related to Hermite–Hadamard result. Proyecciones 38(2), 267–293 (2019)
Dragomir, S.S.: Hermite–Hadamard type inequalities for \(MN\)-convex functions. Aust. J. Math. Anal. Appl. 18(1), 123 (2021)
Dragomir, S.S., Mond, B.: Integral inequalities of Hadamard type for log-convex functions. Demonstratio Math. 31, 355–364 (1998)
Dragomir, S.S., Pearce, C.E.M.: Selected topics on Hermite–Hadamard inequalities and applications. RGMIA Monographs, Victoria University, (2002). http://www.rgmia.org/monographs/hermite_hadamard.html
Gill, P.M., Pearce, C.E.M., Pečarić, J.: Hadamard’s inequality for r-convex functions. J. Math. Anal. Appl. 215, 461–470 (1997)
Hadamard, J.: Étude sur les propriétés des fonctions entières et en particulier d’une fonction considérée par Riemann. J. Math. Pures Appl. 58, 171–215 (1893)
Hermite, C.: Sur deux limites d’une intégrale définie. Mathesis 3(82), 6 (1883)
Funding
The authors declare that no funds, grants, or other support were received during the preparation of this manuscript.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Nadhomi, T., Sablik, M. & Sikorska, J. On a Characterization of the Logarithmic Mean. Results Math 79, 200 (2024). https://doi.org/10.1007/s00025-024-02230-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-024-02230-3
Keywords
- Functional inequalities
- Hermite–Hadamard inequality
- Convex functions
- Extended logarithmic mean
- Generalized logarithmic mean
- Lagrangian mean
- Laisant formula