Ergodic Optimization with Linear Constraints
Let $T : X \to X$ be a continuous map of a compact metrizable space, and let $\phi : X \to \mathbb{R}$ be a continuous function. The ergodic optimization problem is to maximize the integral $\int \phi \, d\mu$ as $\mu$ ranges over all $T$-invariant Borel probability measures on $X$. In this paper we consider a constrained version of the ergodic optimization problem. Given a `constraint set'$\mathcal{C}\subset C(X)$, let $M_\mathcal{C}(X,T)$ be the set of $T$-invariant Borel probability measures $\mu$ on $X$ such that $\int g \, d\mu = 0$ for all $g \in \mathcal{C}$. We investigate the problem of maximizing the integral $\int \phi \, d\mu$ over the constrained set $M_\mathcal{C}(X,T)$. We address basic properties of this optimization problem, beginning with nonemptiness of $M_\mathcal{C}(X,T)$ and existence of optimal solutions. Additionally, we establish the generic and prevalent uniqueness of optimal measures, we provide a realization result, and we give a characterization of the dual problem. This framework provides a common generalization of several previously considered optimization problems in dynamical systems and optimal transport.