Cyclical monotonicity

{{Short description|Mathematics concept}}

In mathematics, cyclical monotonicity is a generalization of the notion of monotonicity to the case of vector-valued function.{{Cite journal |title=Abstract Cyclical Monotonicity and Monge Solutions for the General Monge–Kantorovich Problem |journal = Set-Valued Analysis|volume = 7|last=Levin |first=Vladimir |date=1 March 1999 |publisher=Springer Science+Business Media |location=Germany |pages=7–32 |language=en |doi=10.1023/A:1008753021652 |s2cid = 115300375}}{{Cite journal |title=Cyclical monotonicity and the ergodic theorem |last=Beiglböck |first=Mathias |date=May 2015 |journal=Ergodic Theory and Dynamical Systems |volume=35 |issue=3 |publisher=Cambridge University Press |pages=710–713 |language=en |doi=10.1017/etds.2013.75 |s2cid=122460441 }}

Definition

Let \langle\cdot,\cdot\rangle denote the inner product on an inner product space X and let U be a nonempty subset of X. A correspondence f: U \rightrightarrows X is called cyclically monotone if for every set of points x_1,\dots,x_{m+1} \in U with x_{m+1}=x_1 it holds that \sum_{k=1}^m \langle x_{k+1},f(x_{k+1})-f(x_k)\rangle\geq 0.{{cite book|page=9 |title=Revealed Preference Theory |year=2016 |publisher= Cambridge University Press |first1=Christopher P. |last1=Chambers |first2=Federico |last2=Echenique}}

Properties

For the case of scalar functions of one variable the definition above is equivalent to usual monotonicity.

Gradients of convex functions are cyclically monotone. In fact, the converse is true. Suppose U is convex and f: U \rightrightarrows \mathbb{R}^n is a correspondence with nonempty values. Then if f is cyclically monotone, there exists an upper semicontinuous convex function F:U\to \mathbb{R} such that f(x)\subset \partial F(x) for every x\in U, where \partial F(x) denotes the subgradient of F at x.{{Cite book|title=Convex Analysis|last=Rockafellar|first= R. Tyrrell|author-link=R. Tyrrell Rockafellar|isbn=9781400873173|publisher=Princeton University Press|year=1970|contribution=Theorem 24.8|page=238}}

See also

References