Abstract
The notion of Schur-convex stochastic processes is introduced and processes generating Schur-convex sums are investigated. Some inequalities connected with convex stochastic processes are obtained. A counterpart of the result of Ng stating that a stochastic process generates Schur-convex sums if and only if it is Wright-convex is proved.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(I\subset {\mathbb {R}}\) be an interval. Assume that \(n\geqslant 2\) and \(x=(x_1,\dots ,x_n)\), \(y=(y_1,\dots ,y_n)\in I^{n}\). Following Schur (cf. e.g. [7, 12]) we say that xis majorized byy, and write \(x \preccurlyeq y\), if there exists a doubly stochastic \(n\times n\) matrix P (ie. a matrix containing nonnegative elements with all rows and columns summing up to 1) such that \(x=y\cdot P\). The notion of majorization arises in a variety of contexts. It has a deep background in economics. Issues concerning the measurment of income inequality, the distribution of wealth in a population (the Lotenz curve) or the Dalton principle of income transfer, are examples of its historical origins. Majorization arises naturally in many mathematical problems, especially in group theory and algebra. It is also useful in certain physical and chemical contexts. The terms: x is more mixed (chaotic, disordered) than y are directly related to majorization and can be expressed as \(x \preccurlyeq y\) (see [7] for details).
A function \(F:I^{n}\rightarrow {\mathbb {R}}\) is said to be Schur-convex if \(F(x)\leqslant F(y)\) whenever \(x \preccurlyeq y\), for \(x,y\in I^{n}\).
It is known, by the classical Schur theorem [12] that if a function \(f:I\rightarrow {\mathbb {R}}\) is convex then it generates Schur-convex sums, that is the function \(F:I^{n}\rightarrow {\mathbb {R}}\) defined by
is Schur-convex. It is also known that the convexity of f is a sufficient but not necessary condition under which F is Schur-convex. A full characterization of functions generating Schur-convex sums was given by Ng [8]. Namely, he proved that F is Schur-convex if and only if the generating function f is Wright-convex. Similar results connected with strong convexity was obtained by Nikodem, Rajba and Wa̧sowicz in [11] (cf. also [1]).
In this note we introduce the notion of Schur-convex stochastic processes and we present some counterparts of the results mentioned above for stochastic processes.
Let \((\Omega , {\mathcal {A}}, P)\) be an arbitrary probability space and \(I\subset {\mathbb {R}}\) be an interval. A function \(A:\Omega \rightarrow {\mathbb {R}}\) is called a random variable if it is \({\mathcal {A}}\)-measurable. A function \(X:I\times \Omega \rightarrow {\mathbb {R}}\) is called a stochastic process if for every \(t\in I\) the function \(X(t,\cdot )\) is a random variable.
Let \(I\subset {\mathbb {R}}\) be an interval and \(n\geqslant 2\). We say that a stochastic process \(S:I^n \times \Omega \rightarrow {\mathbb {R}}\) is Schur-convex if
for all \(x,y\in I^n\).
Recall also that a stochastic process \(X:I\times \Omega \rightarrow {\mathbb {R}}\) is called:
convex if for all \( x,y \in I \) and \(t \in [0,1]\) the following inequality holds
$$\begin{aligned} X(tx + (1 -t) y,\cdot ) \leqslant t X(x,\cdot ) + (1 - t)X(y,\cdot ) \quad \text {(a.e.)}; \end{aligned}$$(1)Wright-convex if for all \( x,y \in I \) and \(t \in [0,1]\) the condition holds
$$\begin{aligned} X(tx + (1 -t)y,\cdot ) + X ((1-t)x + ty,\cdot ) \leqslant X(x,\cdot )+X(y,\cdot ) \quad \text {(a.e.)}; \end{aligned}$$(2)Jensen-convex if (1) is assumed only for \(t = \frac{1}{2}, \) that is for all \( x,y \in I\)
$$\begin{aligned} X \Bigl (\frac{x + y}{2},\cdot \Bigr )\leqslant \frac{X(x,\cdot ) + X(y,\cdot )}{2} \quad \text {(a.e.)}. \end{aligned}$$(3)
For some properties of the above classes of processes we refer to (cf. [2, 4, 5, 10, 13,14,15]).
2 Main results
We first prove that convex stochastic processes generate Schur-convex sums.
Theorem 1
If a stochastic process \(X:I \times \Omega \rightarrow {\mathbb {R}}\) is convex, then for every \(n \geqslant 2\) the stochastic process \(S_X:I^n \times \Omega \rightarrow {\mathbb {R}}\) given by
is Schur-convex.
Proof
Assume that X is a convex stochastic process. Let \(x=(x_1,\dots ,x_n)\), \(y=(y_1,\dots ,y_n)\) be elements of \(I^n\) such that \(x \preccurlyeq y\). There exists a double stochastic \(n\times n\) matrix \(P=[t_{ij}]\) satisfying the condition \(x=yP\). Then
and by the convexity of X, we have
The above calculations shows that \(S_X(x_1,\dots ,x_n, \cdot )\leqslant S_X(y_1,\dots ,y_n, \cdot )\), which means that \(S_X\) is a Schur-convex stochastic process. \(\square \)
Many inequalities connected with convex stochastic processes can be obtained by the use of the above theorem. The corollaries below give some examples.
Corollary 2
(Jensen inequality [10]). If a stochastic process \(X:I \times \Omega \rightarrow {\mathbb {R}}\) is convex, then for every \(n\in {\mathbb {N}}\) and \(x_1,\dots ,x_n \in I\),
Proof
Put \({\bar{x}}=\frac{1}{n}(x_1+ \cdots +x_n).\) Then \(({\bar{x}},\dots ,{\bar{x}}) \preccurlyeq (x_1, \dots , x_n)\) and hence
\(\square \)
The next result is a counterpart of the classical Hardy–Littlewood–Pólya majorization theorem [3] (see also [7, 9]).
Corollary 3
Let \(I\subset {\mathbb {R}}\) be an interval and \(n\geqslant 2\). Assume also that \(x=(x_1,\ldots ,x_n), \ y=(y_1,\ldots ,y_n) \in I^n\) satisfy:
- (a)
\(x_n\leqslant \cdots \leqslant x_1, \ y_n\leqslant \cdots \leqslant y_1\);
- (b)
\(x_1 + \cdots + x_k \leqslant y_1 + \cdots + y_k\), \(k=1,\ldots ,n-1\);
- (c)
\(x_1 + \cdots + x_n = y_1 + \cdots + y_n\).
If a stochastic process \(X:I \times \Omega \rightarrow {\mathbb {R}}\) is convex, then
Proof
Note that assumptions (a)–(c) imply \(x \preccurlyeq y\) (see e.g. [7]) and apply Theorem 1. \(\square \)
By Corollary 3 we get a counterpart of the Lim inequality (cf. [6]) for convex stochastic processes.
Corollary 4
Let \(a\geqslant 0\), \(b\geqslant 0\), \(c\geqslant a+b\) be real numbers, and let \(X:[0,+\infty )\times \Omega \rightarrow {\mathbb {R}}\) be a convex stochastic process. Then
Proof
We use Corollary 3 for \(n=2\), \(x_1=c\), \(x_2=a+b\), \(y_1=b+c\), \(y_2=a\), and the inequality (4) follows. \(\square \)
The next result is connected with the Shannon information entropy.
Corollary 5
Let \(Y:\Omega \rightarrow {\mathbb {R}}\) be a random variable and \(H:(0,\infty )^n\times \Omega \rightarrow {\mathbb {R}}\) be a stochastic process defined by
Then, for every \(p_1,\dots , p_n > 0\) such that \(p_1+\cdots +p_n=1\), we have
Proof
The stochastic process \(X:(0,\infty )\times \Omega \rightarrow {\mathbb {R}}\) defined by \(X(p,\omega )=(p\ln p)Y(\omega )\) is convex. Since for every \(p_1,\dots , p_n > 0\) such that \(p_1+\cdots +p_n=1\)
we get (5) by Theorem 1. \(\square \)
We will show now that processes generating Schur-convex sums must be Jensen-convex.
Theorem 6
If for some \(n\geqslant 2\) the process \(S_X:I^n \times \Omega \rightarrow {\mathbb {R}}\) given by
is Schur-convex, then the process \(X:I \times \Omega \rightarrow {\mathbb {R}}\) is Jensen-convex.
Proof
Take \(y_1, y_2 \in I\) and put \(x_1=x_2=\frac{1}{2}(y_1+y_2)\). Let us consider the points \(y=(y_1,y_2,y_2,\dots ,y_2)\) and \( x=(x_1,x_2,y_2,\dots ,y_2)\) (if \(n=2\), we take \(y=(y_1,y_2)\), \(x=(x_1,x_2)\)). Then \(x=y\cdot P\) with
which means that \(x \preccurlyeq y\). Therefore, by the Schur-convexity of \(S_X\), we obtain
and finally
This shows that X is Jensen-convex, which was to be proved. \(\square \)
As was shown above in Theorems 1 and 6, if a stochastic process \(X:I \times \Omega \rightarrow {\mathbb {R}}\) is convex, then for every \(n\geqslant 2\) the corresponding process \(S_X\) is Schur-convex and if for some \(n\geqslant 2\) the process \(S_X\) is Schur-convex, then X is Jensen-convex. The next theorem characterizes all the processes X for which \(S_X\) are Schur-convex. It is a counterpart of the result of Ng [8] on functions generating Schur-convex sums.
Theorem 7
The following conditions are equivalent:
- (i)
For every \(n\geqslant 2\) the stochastic process \(S_X:I^n \times \Omega \rightarrow {\mathbb {R}}\) defined by
$$\begin{aligned} S_X (x_1,\dots ,x_n, \omega )=X(x_1, \omega )+\dots +X(x_n, \omega ), \quad (x_1,\dots ,x_n, \omega )\in I^n \times \Omega ,\nonumber \\ \end{aligned}$$(6)is Schur-convex.
- (ii)
For some \(n\geqslant 2\) the stochastic process \(S_X\) given by (6) is Schur-convex.
- (iii)
The stochastic process \(X:I\times \Omega \rightarrow {\mathbb {R}}\) is Wright-convex.
- (iv)
There exist a convex stochastic process \(Y:I\times \Omega \rightarrow {\mathbb {R}}\) and an additive stochastic process \(A:I\times \Omega \rightarrow {\mathbb {R}}\) such that
$$\begin{aligned} X(x,\cdot )=Y(x, \cdot )+A(x, \cdot ) \quad \text {(a.e.)}, \quad x\in I. \end{aligned}$$(7)
Proof
The implication \((i)\Rightarrow (ii)\) is obvious.
To see that \((ii)\Rightarrow (iii)\) holds fix \(y_1, y_2\in I\), \(t\in (0,1)\). We put \( x_1=ty_1+(1-t)y_2\), \(x_2=(1-t)y_1+ty_2\) and, if \(n>2\), take additionally \(x_i=y_i=z\in I\) for \(i=3,\dots ,n\). Then, by a similar argumentation as in the proof of Theorem 6 we get
By the Schur-convexity of \(S_X\) we have
Therefore
which shows that the process X is Wright-convex.
The implication \((iii)\Rightarrow (iv)\) follows from Skowroński’s theorem giving the representation of Wright-convex stochastic processes (cf. [15], Theorem on page 31).
To prove \((iv)\Rightarrow (i)\) assume that X has the representation of the form (7). By the convexity of Y and by Theorem 1 the process Y generates Schur-convex sums \(S_Y\), that is, for any \( x=(x_1,\dots ,x_n)\preccurlyeq y=(y_1,\dots ,y_n) \), the following condition holds
Note also that by the additivity of A, similarly as in the proof of Theorem 1, we get
Using the above inequalities we obtain
which shows that \(S_X\) is Schur-convex. This finishes the proof. \(\square \)
References
Dragomir, S.S., Nikodem, K.: Functions generating \((m, M, \Psi )\)-Schur-convex sums. Aequat. Math. https://doi.org/10.1007/s00010-018-0569-0. (in press)
González, L., Kotrys, D., Nikodem, K.: Separation by convex and strongly convex stochastic processes. Publ. Math. Debr. 89(3), 365–372 (2016)
Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities. Cambridge University Press, Cambridge (1952)
Kotrys, D.: Hermite–Hadamard inequality for convex stochastic processes. Aequat. Math. 83, 143–151 (2012)
Kotrys, D.: Remarks on strongly convex stochastic processes. Aequat. Math. 86, 91–98 (2012)
Kuczma, M.: An Introduction to the Theory of Functional Equations and Inequalities. Cauchy’s Equation and Jensen’s Inequality, PWN—Uniwersytet Śla̧ski, Warszawa–Kraków–Katowice, 1985. 2nd edn. Birkhäuser, Basel, Boston, Berlin (2009)
Marshall, A.W., Olkin, I., Arnold, B.C.: Inequalities: Theory of Majorization and Its Applications. Springer, New York (2011)
Ng, C.T.: Functions generating Schur-convex sums. In: General Inequalities 5 (Oberwolfach, 1986), International Series of Numerical Mathematics, vol. 80, pp. 433–438. Birkhäuser Verlag, Basel (1987)
Niculescu, C.P., Rovenéa, I.: Hardy–Littlewood–Polya theorem of majorization in the framework of generalized convexity. Carpath. J. Math. 33(1), 87–95 (2017)
Nikodem, K.: On convex stochastic processes. Aequat. Math. 20, 184–197 (1980)
Nikodem, K., Rajba, T., Wa̧sowicz, S.: Functions generating strongly Schur-convex sums. In: Bandle, C., et al. (eds.) Inequalities and Applications 2010. International Series of Numerical Mathematics, vol. 161, pp. 175–182. Springer, Basel (2012)
Schur, I.: Über eine Klasse von Mittelbildungen mit Anwendungen auf die Determinantentheorie. Sitzungsber. Berl. Math. Ges. 22, 9–20 (1923)
Shaked, M., Shanthikumar, J.G.: Stochastic convexity and its applications. Adv. Appl. Prob. 20, 427–446 (1988)
Skowroński, A.: On some properties of J-convex stochastic processes. Aequat. Math. 44, 249–258 (1992)
Skowroński, A.: On Wright-convex stochastic processes. Ann. Math. Sil. 9, 29–32 (1995)
Funding
Funding was provided by University of Bielsko-Biala (KM/1/2019).
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Professor János Aczél on his 95th birthday.
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 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
Kotrys, D., Nikodem, K. Stochastic processes generating Schur-convex sums. Aequat. Math. 94, 447–453 (2020). https://doi.org/10.1007/s00010-019-00655-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-019-00655-8
Keywords
- Convex stochastic process
- Schur-convex stochastic process
- Wright-convex stochastic process
- Majorization
- Hardy–Littlewood–Pólya theorem
- Lim’s inequality