Real Analysis – Generalization of Jensen’s Inequality to Multivariate Functions

inequalityreal-analysis

Is there a generalization of Jensen's inequality for convex multivariate functions? By convex, let's say $f$ is a multivariate function defined on the convex set $A$, and for all $x,y \in A$ and $\lambda \in [0,1]$,
$$f(\lambda x + (1-\lambda)y) \leq \lambda f(x) + (1-\lambda)f(y).$$
Then, letting $x_1,\ldots,x_n$ denote points in $A$, the result would be something to the effect of saying that for any $n$ points in $A$,
$$\frac{\sum_{i=1}^n f(x_i)}{n} \geq f \left(\frac{\sum_{i=1}^n{x_i}}{n} \right). $$
I do see a few articles that may be related:

  1. Perlman, Michael D. "Jensen's inequality for a convex vector-valued function on an infinite-dimensional space." Journal of Multivariate Analysis 4.1 (1974): 52-65.
  2. Merkle, Milan. "Jensen's inequality for multivariate medians." Journal of Mathematical Analysis and Applications 370.1 (2010): 258-269.
  3. Aras-Gazic, G., et al. "GENERALIZATION OF JENSEN’S INEQUALITY BY HERMITE POLYNOMIALS AND RELATED RESULTS." Mathematical reports 17.2 (2015): 201-223.
  4. Agnew, Robert A. "Multivariate version of a Jensen-type inequality." J. Inequal. in Pure and Appl. Math 6.4 (2005).

I do not think the first is particularly related if I'm interested in finite dimensional spaces, and my function is not vector-valued in any case. The second may be more related, but it seems to be generalizing in slightly different directions. The third is beyond my comprehension and the fourth, again, seems to be working on a slightly different generalization.

Are there no less technical generalizations of Jensen's to multivariate functions out there?

Best Answer

Jensen's inequality always holds when you're dealing with a convex function whose domain is finite-dimensional. By restricting the domain of $f$ to $S := \text{span} \{x_1, \ldots, x_n\}$, we put the question into that setting and know that $f(\mathbb{E} X) \leq \mathbb{E} f(X)$ for any random vector $X$ taking values in $S$. In particular, it holds when the distribution of $X$ is uniform on $\{x_1, \ldots, x_n\}$.

Related Question