# Half convex functions

## Abstract

The paper provides the characteristic properties of half convex functions. The analytic and geometric image of half convex functions is presented using convex combinations and support lines. The results relating to convex combinations are applied to quasi-arithmetic means.

MSC:26A51, 26D15.

## 1 Introduction

Through the paper we will use an interval $\mathcal{I}\subseteq \mathbb{R}$ with the non-empty interior ${\mathcal{I}}^{0}$. Two subintervals of specified by the point $c\in {\mathcal{I}}^{0}$ will be denoted by

${\mathcal{I}}_{x\ge c}=\left\{x\in \mathcal{I}:x\ge c\right\}\phantom{\rule{1em}{0ex}}\text{and}\phantom{\rule{1em}{0ex}}{\mathcal{I}}_{x\le c}=\left\{x\in \mathcal{I}:x\le c\right\}.$

We say that a function $f:\mathcal{I}\to \mathbb{R}$ is right convex if it is convex on ${\mathcal{I}}_{x\ge c}$ for some point $c\in {\mathcal{I}}^{0}$. A left convex function is similarly defined on the interval ${\mathcal{I}}_{x\le c}$. A function is half convex if it is right or left convex.

A combination

$c=\sum _{i=1}^{n}{p}_{i}{x}_{i}$
(1.1)

of points ${x}_{i}$ and real coefficients ${p}_{i}$ is affine if the coefficient sum ${\sum }_{i=1}^{n}{p}_{i}=1$. The above combination is convex if all coefficients ${p}_{i}$ are non-negative and the coefficient sum is equal to 1. The point c itself is called the combination center, and it is important for mathematical inequalities.

Every affine function $f:\mathbb{R}\to \mathbb{R}$ satisfies the equality

$f\left(\sum _{i=1}^{n}{p}_{i}{x}_{i}\right)=\sum _{i=1}^{n}{p}_{i}f\left({x}_{i}\right)$
(1.2)

for all affine combinations from . Every convex function $f:\mathcal{I}\to \mathbb{R}$ satisfies the Jensen inequality

$f\left(\sum _{i=1}^{n}{p}_{i}{x}_{i}\right)\le \sum _{i=1}^{n}{p}_{i}f\left({x}_{i}\right)$
(1.3)

for all convex combinations from .

If $a,b\in \mathbb{R}$ are different numbers, say $a, then every number $x\in \mathbb{R}$ can be uniquely presented as the affine combination

$x=\frac{b-x}{b-a}a+\frac{x-a}{b-a}b.$
(1.4)

The above binomial combination of a and b is convex if, and only if, the number x belongs to the interval $\left[a,b\right]$. Given the function $f:\mathbb{R}\to \mathbb{R}$, let ${f}_{\left\{a,b\right\}}^{\mathrm{line}}:\mathbb{R}\to \mathbb{R}$ be the function of the line passing through the points $\left(a,f\left(a\right)\right)$ and $\left(b,f\left(b\right)\right)$ of the graph of f. Using the affinity of ${f}_{\left\{a,b\right\}}^{\mathrm{line}}$, we get the equation

${f}_{\left\{a,b\right\}}^{\mathrm{line}}\left(x\right)=\frac{b-x}{b-a}f\left(a\right)+\frac{x-a}{b-a}f\left(b\right).$
(1.5)

Assuming that f is convex, we get the inequality

(1.6)

and the reverse inequality

(1.7)

A general overview of convexity, convex functions, and applications can be found in , and many details of this branch are in . The different forms of the famous Jensen’s inequality (discrete form in  and integral form in ) can be found in  and . Global bounds for Jensen’s functional were investigated in .

## 2 Recent results

The following results on half convex functions have been presented in .

WRCF-Theorem (Weighted right convex function theorem)

Let $f\left(x\right)$ be a function defined on and convex for $x\ge c\in \mathcal{I}$, and let ${p}_{1},\dots ,{p}_{n}$ be positive real numbers such that

$p=min\left\{{p}_{1},\dots ,{p}_{n}\right\},\phantom{\rule{2em}{0ex}}{p}_{1}+\cdots +{p}_{n}=1.$

The inequality

$f\left(\sum _{i=1}^{n}{p}_{i}{x}_{i}\right)\le \sum _{i=1}^{n}{p}_{i}f\left({x}_{i}\right)$

holds for all ${x}_{1},\dots ,{x}_{n}\in \mathcal{I}$ satisfying ${\sum }_{i=1}^{n}{p}_{i}{x}_{i}\ge c$ if and only if the inequality

$f\left(px+\left(1-p\right)y\right)\le pf\left(x\right)+\left(1-p\right)f\left(y\right)$

holds for all $x,y\in \mathcal{I}$ such that $x\le c\le y$ and $px+\left(1-p\right)y=c$.

The WLCF-Theorem (weighted left convex function theorem) is presented in a similar way. The final common theorem on half convexity reads as follows.

WHCF-Theorem (Weighted half convex function theorem)

Let $f\left(x\right)$ be a function defined on and convex for $x\ge c$ or $x\le c$, where $c\in \mathcal{I}$, and let ${p}_{1},\dots ,{p}_{n}$ be positive real numbers such that

$p=min\left\{{p}_{1},\dots ,{p}_{n}\right\},\phantom{\rule{2em}{0ex}}{p}_{1}+\cdots +{p}_{n}=1.$

The inequality

$f\left(\sum _{i=1}^{n}{p}_{i}{x}_{i}\right)\le \sum _{i=1}^{n}{p}_{i}f\left({x}_{i}\right)$

holds for all ${x}_{1},\dots ,{x}_{n}\in \mathcal{I}$ satisfying ${\sum }_{i=1}^{n}{p}_{i}{x}_{i}=c$ if and only if the inequality

$f\left(px+\left(1-p\right)y\right)\le pf\left(x\right)+\left(1-p\right)f\left(y\right)$

holds for all $x,y\in \mathcal{I}$ such that $px+\left(1-p\right)y=c$.

## 3 Main results

### 3.1 Half convexity with convex combinations

The main result is Lemma 3.1, which extends the right convexity of WRCF-Theorem to all convex combinations, without pre-selected coefficients ${p}_{1},\dots ,{p}_{n}$ and without emphasizing the coefficient $p=min\left\{{p}_{1},\dots ,{p}_{n}\right\}$. Therefore, Jensen’s inequality for right convex functions follows (using as usual non-negative coefficients in convex combinations).

Lemma 3.1 Let $f:\mathcal{I}\to \mathbb{R}$ be a function that is convex on ${\mathcal{I}}_{x\ge c}$ for some point $c\in {\mathcal{I}}^{0}$. Then the inequality

$f\left(\sum _{i=1}^{n}{p}_{i}{x}_{i}\right)\le \sum _{i=1}^{n}{p}_{i}f\left({x}_{i}\right)$
(3.1)

holds for all convex combinations from satisfying ${\sum }_{i=1}^{n}{p}_{i}{x}_{i}\ge c$ if, and only if, the inequality

$f\left(px+qy\right)\le pf\left(x\right)+qf\left(y\right)$
(3.2)

holds for all binomial convex combinations from satisfying $px+qy=c$.

Proof Let us prove the sufficiency using the induction on the integer $n\ge 2$.

The base of induction. Take a binomial convex combination from satisfying $px+qy\ge c$ with $x\le y$ and $0. If $x\ge c$, we apply the Jensen inequality to get the inequality in equation (3.1) for $n=2$. If $x, we have $x. Since $px+qy$ lies between c and y, we have some convex combination ${p}_{0}c+{q}_{0}y=px+qy$ with ${p}_{0}>0$. Then the affine combination

$c=\frac{p}{{p}_{0}}x+\frac{q-{q}_{0}}{{p}_{0}}y$
(3.3)

is convex since c lies between x and y, and hence

$f\left(c\right)\le \frac{p}{{p}_{0}}f\left(x\right)+\frac{q-{q}_{0}}{{p}_{0}}f\left(y\right)$
(3.4)

by assumption in equation (3.2). Using the convexity of f on ${\mathcal{I}}_{x\ge c}$ and the above inequality, it follows that

$f\left(px+qy\right)=f\left({p}_{0}c+{q}_{0}y\right)\le {p}_{0}f\left(c\right)+{q}_{0}f\left(y\right)\le pf\left(x\right)+qf\left(y\right).$
(3.5)

The step of induction. Suppose that the inequality in equation (3.1) is true for all corresponding n-membered convex combinations with $n\ge 2$. Take an $\left(n+1\right)$-membered convex combination from satisfying ${\sum }_{i=1}^{n+1}{p}_{i}{x}_{i}\ge c$ with ${x}_{1}=min\left\{{x}_{1},\dots ,{x}_{n}\right\}$ and $0<{p}_{1}<1$. If ${x}_{1}\ge c$, we can use the Jensen inequality to get the inequality in equation (3.1) for $n+1$. If ${x}_{1}, relying on the representation

$\sum _{i=1}^{n+1}{p}_{i}{x}_{i}={p}_{1}{x}_{1}+\left(1-{p}_{1}\right)\sum _{i=2}^{n+1}\frac{{p}_{i}}{1-{p}_{1}}{x}_{i},$
(3.6)

we can apply the induction base with the points $x={x}_{1}$ and $y={\sum }_{i=2}^{n+1}{p}_{i}/\left(1-{p}_{1}\right){x}_{i}$, and the coefficients $p={p}_{1}$ and $q=1-{p}_{1}$. Using the inequality in equation (3.5) and the induction premise

$f\left(y\right)=f\left(\sum _{i=2}^{n+1}\frac{{p}_{i}}{1-{p}_{1}}{x}_{i}\right)\le \sum _{i=2}^{n+1}\frac{{p}_{i}}{1-{p}_{1}}f\left({x}_{i}\right),$
(3.7)

we get the inequality in equation (3.1) for the observed $\left(n+1\right)$-membered combination. □

Remark 3.2 The formula in equation (3.5) for the case $x in the proof of Lemma 3.1 can be derived with exactly calculated convex combination coefficients. If $d=px+qy$, then we have the order $x. Using the presentation formula in equation (1.4), we determine the convex combinations

$d=\frac{y-d}{y-c}c+\frac{d-c}{y-c}y,\phantom{\rule{2em}{0ex}}c=\frac{y-c}{y-x}x+\frac{c-x}{y-x}y.$

Applying the right convex function f, it follows that

$\begin{array}{rcl}f\left(px+qy\right)& =& f\left(d\right)\le \frac{y-d}{y-c}f\left(c\right)+\frac{d-c}{y-c}f\left(y\right)\\ \le & \frac{y-d}{y-c}\left[\frac{y-c}{y-x}f\left(x\right)+\frac{c-x}{y-x}f\left(y\right)\right]+\frac{d-c}{y-c}f\left(y\right)\\ =& \frac{y-d}{y-x}f\left(x\right)+\frac{d-x}{y-x}f\left(y\right)=pf\left(x\right)+qf\left(y\right)\end{array}$

since

$d=\frac{y-d}{y-x}x+\frac{d-x}{y-x}y.$

Following Lemma 3.1 we can state a similar lemma for left convex functions. So, if a function $f\left(x\right)$ is convex on ${\mathcal{I}}_{x\ge c}$, and if the interval is symmetric respecting the point c, then the function $g\left(x\right)=f\left(2c-x\right)$ is convex on ${\mathcal{I}}_{x\le c}$. The function g verifies the same inequalities as the function f in Lemma 3.1, wherein the condition ${\sum }_{i=1}^{n}{p}_{i}\left(2c-{x}_{i}\right)\ge c$ becomes ${\sum }_{i=1}^{n}{p}_{i}{x}_{i}\le c$.

Connecting the lemmas on right and left convex functions, we have the following result for half convex functions.

Theorem 3.3 Let $f:\mathcal{I}\to \mathbb{R}$ be a function that is convex on ${\mathcal{I}}_{x\ge c}$ or ${\mathcal{I}}_{x\le c}$ for some point $c\in {\mathcal{I}}^{0}$. Then the inequality

$f\left(\sum _{i=1}^{n}{p}_{i}{x}_{i}\right)\le \sum _{i=1}^{n}{p}_{i}f\left({x}_{i}\right)$
(3.8)

holds for all convex combinations from satisfying ${\sum }_{i=1}^{n}{p}_{i}{x}_{i}=c$ if, and only if, the inequality

$f\left(px+qy\right)\le pf\left(x\right)+qf\left(y\right)$
(3.9)

holds for all binomial convex combinations from satisfying $px+qy=c$.

If f is concave on ${\mathcal{I}}_{x\ge c}$ or ${\mathcal{I}}_{x\le c}$ for some point $c\in {\mathcal{I}}^{0}$, then the reverse inequalities are valid in equations (3.8) and (3.9).

### 3.2 Half convexity with support lines

The main result is Lemma 3.5 complementing a geometric image of a right convex function satisfying Jensen’s inequality for all binomial convex combinations with the center at the convexity edge-point c. The graph of such a function is located above the right tangent line at c.

Regardless of convexity, we start with a trivial lemma which can be taken as Jensen’s inequality for functions supported with the line passing through a point of its graph.

Lemma 3.4 Let $f:\mathcal{I}\to \mathbb{R}$ be a function, and let $C\left(c,f\left(c\right)\right)$ be a point of the graph of f with $c\in {\mathcal{I}}^{0}$.

If there exists a line that passes through the point C below the graph of f, then the function f satisfies the inequality

$f\left(\sum _{i=1}^{n}{p}_{i}{x}_{i}\right)\le \sum _{i=1}^{n}{p}_{i}f\left({x}_{i}\right)$
(3.10)

for all convex combinations from satisfying ${\sum }_{i=1}^{n}{p}_{i}{x}_{i}=c$.

If there exists a line that passes through the point C above the graph of f, then the reverse inequality is valid in equation (3.10).

Proof Let ${f}_{\left\{c\right\}}^{\mathrm{line}}$ be the function of the line passing through the point C. Assume the case ${f}_{\left\{c\right\}}^{\mathrm{line}}\le f$. If ${\sum }_{i=1}^{n}{p}_{i}{x}_{i}=c$ is any convex combination from with the center at c, then using the affinity of ${f}_{\left\{c\right\}}^{\mathrm{line}}$, it follows that

$\begin{array}{rcl}f\left(\sum _{i=1}^{n}{p}_{i}{x}_{i}\right)& =& {f}_{\left\{c\right\}}^{\mathrm{line}}\left(\sum _{i=1}^{n}{p}_{i}{x}_{i}\right)=\sum _{i=1}^{n}{p}_{i}{f}_{\left\{c\right\}}^{\mathrm{line}}\left({x}_{i}\right)\\ \le & \sum _{i=1}^{n}{p}_{i}f\left({x}_{i}\right),\end{array}$

concluding the proof in the case that the line is below the curve. □

The function f with the line passing through the point C below its graph is shown in Figure 1. In what follows, f will be convex to the right or left of c, and the right or left tangent line will be used as the support line at c.

If f is convex on ${\mathcal{I}}_{x\ge c}$, then the slope $\left(f\left(x\right)-f\left(c\right)\right)/\left(x-c\right)$ approaches the real number ${k}_{r}={f}^{\prime }\left(c+\right)$ or to the negative infinity −∞ as x approaches c+.

Lemma 3.5 Let $f:\mathcal{I}\to \mathbb{R}$ be a function that is convex on ${\mathcal{I}}_{x\ge c}$ for some point $c\in {\mathcal{I}}^{0}$. Let ${k}_{r}\in \mathbb{R}$ be the slope of the right tangent line of the function f at the point c.

Then the inequality

$f\left(px+qy\right)\le pf\left(x\right)+qf\left(y\right)$
(3.11)

holds for all binomial convex combinations from satisfying $px+qy=c$ if, and only if, the right tangent line inequality

$f\left(x\right)\ge {k}_{r}\left(x-c\right)+f\left(c\right)$
(3.12)

holds for all points $x\in \mathcal{I}$.

Proof The proof of necessity. Since the tangent line of a convex function is the support line, it is sufficient to prove the inequality in equation (3.12) for all x in which are less than c. Take any such x. Then the c-centered convex combinations $px+qy=c$ from include only $y>c$. The inequality in equation (3.11) with these combinations can be adapted to the form

$\frac{f\left(x\right)-f\left(c\right)}{x-c}\le \frac{f\left(y\right)-f\left(c\right)}{y-c}.$

Letting y go to c and p to 0 so that x stays the same, it follows that

$\frac{f\left(x\right)-f\left(c\right)}{x-c}\le \underset{y\to c+}{lim}\frac{f\left(y\right)-f\left(c\right)}{y-c}={f}^{\prime }\left(c+\right)={k}_{r}.$

Multiplying the above inequality with $x-c<0$, we get the inequality in equation (3.12).

The proof of sufficiency. Using the convex function $g:\mathcal{I}\to \mathbb{R}$ defined by

we see that the inequality

$f\left(px+qy\right)=g\left(px+qy\right)\le pg\left(x\right)+qg\left(y\right)\le pf\left(x\right)+qf\left(y\right)$

holds for all binomial convex combinations from satisfying $px+qy=c$. □

The graph of the right convex function f with the right tangent line at the point c is presented in Figure 2.

Based on Lemma 3.5 and its analogy for left convex functions, and also on Theorem 3.3, we have the following characterization of half convex and half concave functions.

Theorem 3.6 Let $f:\mathcal{I}\to \mathbb{R}$ be a function that is convex on ${\mathcal{I}}_{x\ge c}$ or ${\mathcal{I}}_{x\le c}$ for some point $c\in {\mathcal{I}}^{0}$. If f is right (resp. left) convex, let ${k}_{r}\in \mathbb{R}$ (resp. ${k}_{l}$) be the slope of the right (resp. left) tangent line at c.

Then the following three conditions are equivalent:

1. (1)

The inequality

$f\left(\sum _{i=1}^{n}{p}_{i}{x}_{i}\right)\le \sum _{i=1}^{n}{p}_{i}f\left({x}_{i}\right)$

holds for all convex combinations from satisfying ${\sum }_{i=1}^{n}{p}_{i}{x}_{i}=c$.

2. (2)

The inequality

$f\left(px+qy\right)\le pf\left(x\right)+qf\left(y\right)$

holds for all binomial convex combinations from satisfying $px+qy=c$.

3. (3)

The tangent line inequality

$f\left(x\right)\ge k\left(x-c\right)+f\left(c\right)$

with $k={k}_{r}$ or $k={k}_{l}$ holds for all points $x\in \mathcal{I}$.

If f is concave on ${\mathcal{I}}_{x\ge c}$ or ${\mathcal{I}}_{x\le c}$ for some point $c\in {\mathcal{I}}^{0}$, then the reverse inequalities are valid in (1), (2), and (3).

## 4 Application to quasi-arithmetic means

In the applications of convexity to quasi-arithmetic means, we use strictly monotone continuous functions $\phi ,\psi :\mathcal{I}\to \mathbb{R}$ such that ψ is φ-convex, that is, the function $f=\psi \circ {\phi }^{-1}$ is convex (according to the terminology in [, Definition 1.19]). A similar notation is used for concavity.

A concept of quasi-arithmetic mean refers to convex combinations and strictly monotone continuous functions. The φ-quasi-arithmetic mean of the convex combination ${\sum }_{i=1}^{n}{p}_{i}{x}_{i}$ from is the point

${M}_{\phi }\left({x}_{i};{p}_{i}\right)={\phi }^{-1}\left(\sum _{i=1}^{n}{p}_{i}\phi \left({x}_{i}\right)\right)$
(4.1)

which belongs to , because the convex combination ${\sum }_{i=1}^{n}{p}_{i}\phi \left({x}_{i}\right)$ belongs to $\phi \left(\mathcal{I}\right)$. If φ is the identity function on , then its quasi-arithmetic mean is just the convex combination ${\sum }_{i=1}^{n}{p}_{i}{x}_{i}$.

Right convexity and concavity for quasi-arithmetic means can be obtained using Lemma 3.1.

Corollary 4.1 Let $\phi ,\psi :\mathcal{I}\to \mathbb{R}$ be strictly monotone continuous functions, and $\mathcal{J}=\phi \left(\mathcal{I}\right)$ be the φ-image of the interval .

If ψ is either φ-convex on ${\mathcal{J}}_{z\ge d}$ for some point $d=\phi \left(c\right)\in {\mathcal{J}}^{0}$ and increasing on or φ-concave on ${\mathcal{J}}_{z\ge d}$ and decreasing on , then the inequality

${M}_{\phi }\left({x}_{i};{p}_{i}\right)\le {M}_{\psi }\left({x}_{i};{p}_{i}\right)$
(4.2)

holds for all convex combinations from $\mathcal{J}$ satisfying ${\sum }_{i=1}^{n}{p}_{i}\phi \left({x}_{i}\right)\ge d$ if, and only if, the inequality

${M}_{\phi }\left(x,y;p,q\right)\le {M}_{\psi }\left(x,y;p,q\right)$
(4.3)

holds for all binomial convex combinations from $\mathcal{J}$ satisfying $p\phi \left(x\right)+q\phi \left(y\right)=d$.

If ψ is either φ-convex on ${\mathcal{J}}_{z\ge \phi \left(c\right)}$ for some point $d=\phi \left(c\right)\in {\mathcal{J}}^{0}$ and decreasing on or φ-concave on ${\mathcal{J}}_{z\ge d}$ and increasing on , then the reverse inequalities are valid in equations (4.2) and (4.3).

Proof We prove the case that the function ψ is φ-convex on the interval ${\mathcal{J}}_{z\ge d}$ and increasing on the interval . Put $f=\psi \circ {\phi }^{-1}$.

In the first step, applying Lemma 3.1 to the function $f:\mathcal{J}\to \mathbb{R}$, convex on the interval ${\mathcal{J}}_{z\ge d}$, we get the equivalence: the inequality

$f\left(\sum _{i=1}^{n}{p}_{i}\phi \left({x}_{i}\right)\right)\le \sum _{i=1}^{n}{p}_{i}f\left(\phi \left({x}_{i}\right)\right)$

holds for all convex combinations from $\mathcal{J}$ satisfying ${\sum }_{i=1}^{n}{p}_{i}\phi \left({x}_{i}\right)\ge d$ if, and only if, the inequality

$f\left(p\phi \left(x\right)+q\phi \left(y\right)\right)\le pf\left(\phi \left(x\right)\right)+qf\left(\phi \left(y\right)\right)$

holds for all binomial convex combinations from $\mathcal{J}$ satisfying $p\phi \left(x\right)+q\phi \left(y\right)=d$.

In the second step, assigning the increasing function ${\psi }^{-1}$ to the above inequalities, the equivalence follows. The inequality

${M}_{\phi }\left({x}_{i};{p}_{i}\right)={\phi }^{-1}\left(\sum _{i=1}^{n}{p}_{i}\phi \left({x}_{i}\right)\right)\le {\psi }^{-1}\left(\sum _{i=1}^{n}{p}_{i}\psi \left({x}_{i}\right)\right)={M}_{\psi }\left({x}_{i};{p}_{i}\right)$

holds for all convex combinations from $\mathcal{J}$ satisfying ${\sum }_{i=1}^{n}{p}_{i}\phi \left({x}_{i}\right)\ge d$ if, and only if, the inequality

${M}_{\phi }\left(x,y;p,q\right)={\phi }^{-1}\left(p\phi \left(x\right)+q\phi \left(y\right)\right)\le {\psi }^{-1}\left(p\phi \left(x\right)+q\phi \left(y\right)\right)={M}_{\psi }\left(x,y;p,q\right)$

holds for all binomial convex combinations from $\mathcal{J}$ satisfying $p\phi \left(x\right)+q\phi \left(y\right)=d$. □

Combining ‘right’ and ‘left’ similarly as in Theorem 3.3, we get the following characterization of half convexity and concavity for quasi-arithmetic means.

Corollary 4.2 Let $\phi ,\psi :\mathcal{I}\to \mathbb{R}$ be strictly monotone continuous functions, and let $\mathcal{J}=\phi \left(\mathcal{I}\right)$ be the φ-image of the interval .

If ψ is either φ-convex on ${\mathcal{J}}_{z\ge d}$ or ${\mathcal{J}}_{z\le d}$ for some point $d=\phi \left(c\right)\in {\mathcal{J}}^{0}$ and increasing on or φ-concave on ${\mathcal{J}}_{z\ge d}$ or ${\mathcal{J}}_{z\le d}$ and decreasing on , then the inequality

${M}_{\phi }\left({x}_{i};{p}_{i}\right)\le {M}_{\psi }\left({x}_{i};{p}_{i}\right)$
(4.4)

holds for all convex combinations from $\mathcal{J}$ satisfying ${\sum }_{i=1}^{n}{p}_{i}\phi \left({x}_{i}\right)=d$ if, and only if, the inequality

${M}_{\phi }\left(x,y;p,q\right)\le {M}_{\psi }\left(x,y;p,q\right)$
(4.5)

holds for all binomial convex combinations from $\mathcal{J}$ satisfying $p\phi \left(x\right)+q\phi \left(y\right)=d$.

If ψ is either φ-convex on ${\mathcal{J}}_{z\ge \phi \left(c\right)}$ or ${\mathcal{J}}_{z\le d}$ for some point $d=\phi \left(c\right)\in {\mathcal{J}}^{0}$ and decreasing on or φ-concave on ${\mathcal{J}}_{z\ge d}$ or ${\mathcal{J}}_{z\le d}$ and increasing on , then the reverse inequalities are valid in equations (4.4) and (4.5).

For a basic study of means and their inequalities the excellent book in  is recommended. Very general forms of discrete and integral quasi-arithmetic means and their refinements were studied in . A simple transformation for deriving new means was introduced in .

In further research of half convexity it would be useful to include the functions of several variables. Their geometric characterization using support surfaces would be especially interesting.

## References

1. Niculescu CP, Persson LE CMS Books in Mathematics. In Convex Functions and Their Applications. Springer, New York; 2006.

2. Pečarić JE, Proschan F, Tong YL: Convex Functions, Partial Orderings, and Statistical Applications. Academic Press, New York; 1992.

3. Jensen JLWV: Om konvekse Funktioner og Uligheder mellem Middelværdier. Nyt Tidss. Mat. B 1905, 16: 49-68.

4. Jensen JLWV: Sur les fonctions convexes et les inégalités entre les valeurs moyennes. Acta Math. 1906, 30: 175-193. 10.1007/BF02418571

5. Pavić Z, Pečarić J, Perić I: Integral, discrete and functional variants of Jensen’s inequality. J. Math. Inequal. 2011, 5: 253-264.

6. Mićić J, Pavić Z, Pečarić J: The inequalities for quasiarithmetic means. Abstr. Appl. Anal. 2012., 2012: Article ID 203145

7. Sándor J: On global bounds for generalized Jensen’s inequality. Ann. Funct. Anal. 2013, 4: 18-24.

8. Cirtoaje V, Baiesu A: An extension of Jensen’s discrete inequality to half convex functions. J. Inequal. Appl. 2011., 2011: Article ID 101

9. Bullen PS, Mitrinović DS, Vasić PM: Means and Their Inequalities. Reidel, Dordrecht; 1988.

10. Raïssouli M, Sándor J: On a method of construction of new means with applications. J. Inequal. Appl. 2013., 2013: Article ID 89

## Author information

Authors

### Corresponding author

Correspondence to Zlatko Pavić.

### Competing interests

The author declares that they have no competing interests.

## Authors’ original submitted files for images

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

## Rights and permissions

Reprints and Permissions

Pavić, Z. Half convex functions. J Inequal Appl 2014, 13 (2014). https://doi.org/10.1186/1029-242X-2014-13

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1029-242X-2014-13

### Keywords

• convex combination center
• half convex function
• Jensen’s inequality
• quasi-arithmetic mean 