---
title: Conditional Variational Principle
url: https://www.emergentmind.com/topics/conditional-variational-principle
type: topic
---

# Conditional Variational Principle

Searching arXiv for recent and relevant papers on "Conditional Variational Principle" across dynamical systems, PDE inverse problems, skew products, partial hyperbolicity, and random metric spaces.
Conditional variational principle is a name used in the cited literature for several mathematically distinct statements in which a variational characterization is available only after auxiliary restrictions are imposed. In topological dynamics, the restriction may be a condition on the set of empirical-measure limit points, on historic behavior, or on fiberwise level sets of Birkhoff averages [1610.09106; 1508.00185; 2406.16883]. In the inverse problem of the calculus of variations, the restriction is a pair of hypotheses on symmetries and corresponding conservation laws for a second-order source form, from which local variationality is deduced [1906.10976]. In random analysis, the restriction is encoded by almost-sure order, random topologies, and locality conditions for $\bar L^0$-valued functionals, yielding a conditional form of Ekeland’s variational principle [1107.4726]. A related variational principle in partially hyperbolic dynamics isolates entropy generated by the unstable foliation and identifies unstable topological entropy with the supremum of unstable metric entropies [1710.02809].

## 1. Empirical measures, entropy of constrained sets, and shadowing-based conditional principles

For a topological dynamical system $(X,d,f)$, the basic empirical object is
\[
\mathscr{E}_n(x)=\frac{1}{n}\sum_{i=0}^{n-1}\delta_{f^ix},
\]
and $V(x)$ denotes the set of weak-* limit points of $\mathscr E_n(x)$. Given $I\subset M_{\mathrm{inv}}(X,f)$, the constrained sets are
\[
\Delta_{\mathrm{sub}}(I)=\{x\in X:V(x)\subset I\},\qquad
\Delta_{\mathrm{cap}}(I)=\{x\in X:V(x)\cap I\neq\emptyset\}.
\]
The entropy of such noncompact sets is taken in Bowen’s sense through covers by Bowen balls $B_n(x,\varepsilon)$ and the Carathéodory-type critical value $h_{\mathrm{top}}(f,Z)$ [1610.09106].

Under the hypotheses that $(X,f)$ is topologically transitive and has the pseudo-orbit tracing property, the principal conditional variational principles identify the entropy of these constrained sets with a supremum of measure-theoretic entropies. If $U\subset M_{\mathrm{inv}}(X,f)$ is a nonempty open subset, then
\[
h_{\mathrm{top}}(f,\Delta_{\mathrm{sub}}(U))
=
h_{\mathrm{top}}(f,\Delta_{\mathrm{cap}}(U))
=
\sup_{\mu\in U}h_\mu(f).
\]
If $K\subset M_{\mathrm{inv}}(X,f)$ is convex with $\mathrm{int}(K)\neq\emptyset$, then the same equality holds with $U$ replaced by $K$. A shrinking principle is also proved: if $\nu\in M_{\mathrm{inv}}(X,f)$ and the entropy map $\mu\mapsto h_\mu(f)$ is upper semicontinuous, then
\[
\lim_{\delta\to 0} h_{\mathrm{top}}\bigl(f,\Delta_{\mathrm{sub}}(B(\nu,\delta))\bigr)=h_\nu(f).
\]
For nontransitive systems with POTP, analogous statements are localized to $M_{\mathrm{inv}}(\mathrm{supp}(\rho),f)$ for an ergodic measure $\rho$ [1610.09106].

The upper bound is obtained from Bowen’s lemma: if
\[
B(t)=\{x\in X:\text{every }\nu\in V(x)\ \text{satisfies }h_\nu(f)\le t\},
\]
then $h_{\mathrm{top}}(f,B(t))\le t$. The lower bound uses Katok’s entropy formula, approximation of invariant measures by finite rational convex combinations of ergodic measures, concatenation of pseudo-orbits, transitivity for short transition pieces, and POTP to shadow the resulting pseudo-orbits by true orbits. This is the mechanism that makes the principle conditional: the entropy formula is realized only after prescribing admissible asymptotic measure behavior [1610.09106].

The same framework yields multifractal constraints for Birkhoff averages. For $\varphi\in C(X)$ and $M\subset\mathbb R$, the sets of points whose accumulation values of $S_n\varphi(x)/n$ lie in, or intersect, $M$ satisfy analogous entropy formulas when $M$ is open or convex with nonempty interior. This connects conditional variational principles for $V(x)$ directly to entropy spectra of Birkhoff averages [1610.09106].

## 2. Historic sets in nonuniformly hyperbolic dynamics

In the Pesin-theoretic setting, let $f:M\to M$ be a $C^{1+\alpha}$ diffeomorphism of a compact Riemannian manifold and let $A(B_1,B_2,\varepsilon)=\bigcup_{k\ge 1}A_k(B_1,B_2,\varepsilon)$ be a nonempty Pesin set. For a continuous observable $y$, the historic set is
\[
H(y)=\{x\in M:\lim_{n\to\infty}A_n(x,y)\ \text{does not exist}\},
\]
and for an ergodic measure $\mu$ one defines
\[
N(\hat A_\mu)=\{x\in M:V(x)\cap \mathcal M_{\mathrm{inv}}(\hat A_\mu,f)\neq\emptyset\}.
\]
The conditional set $N(\hat A_\mu)$ restricts attention to points whose empirical measures have limit points supported on the Pesin-saturated set associated with $\mu$ [1508.00185].

The central theorem states a dichotomy. For $y\in C^0(M)$, either the map $\nu\mapsto \int y\,d\nu$ is constant on $\mathcal M_{\mathrm{inv}}(\hat A_\mu,f)$, or the historic set intersects $N(\hat A_\mu)$ nontrivially and
\[
h_{\mathrm{top}}\bigl(H(y)\cap N(\hat A_\mu)\bigr)
=
\sup\{h_\nu(f):\nu\in \mathcal M_{\mathrm{inv}}(\hat A_\mu,f)\}.
\]
In particular, if $\nu\mapsto \int y\,d\nu$ is not constant on $\mathcal M_{\mathrm{inv}}(\hat A_\mu,f)$, then $H(y)$ is non-empty and
\[
h_{\mathrm{top}}(H(y))\ge \sup\{h_\nu(f):\nu\in \mathcal M_{\mathrm{inv}}(\hat A_\mu,f)\}.
\]
The result is explicitly an entropy conditional variational principle; the paper does not state pressure equalities $P_{H(\phi)}(\psi)$ and works with $\psi\equiv 0$ [1508.00185].

The proof again splits into upper and lower bounds, but the tools are adapted to nonuniform hyperbolicity. The upper bound uses Bowen’s entropy estimate for sets defined by entropy bounds on limit measures. The lower bound chooses two invariant measures $\nu_1,\nu_2\in \mathcal M_{\mathrm{inv}}(\hat A_\mu,f)$ with distinct $y$-averages and entropy close to
\[
C=\sup\{h_\nu(f):\nu\in \mathcal M_{\mathrm{inv}}(\hat A_\mu,f)\},
\]
approximates them by convex combinations of ergodic measures, extracts large separated sets from Pesin blocks using Katok’s entropy formula, and concatenates orbit segments by the weak shadowing lemma on Pesin sets. The resulting shadowing points alternate between measure profiles close to $\nu_1$ and $\nu_2$, so the Birkhoff averages of $y$ oscillate and do not converge [1508.00185].

Applications include $C^{1+\alpha}$ surface diffeomorphisms with positive topological entropy, hyperbolic measures, Katok maps on $\mathbb T^2$, and robustly transitive partially hyperbolic diffeomorphisms derived from Anosov systems. In these cases, the conditional principle shows that historic sets, although of zero measure for any invariant measure by Birkhoff’s theorem, can be topologically large in the precise sense of carrying entropy equal to the supremum of measure entropies over the relevant conditional class [1508.00185].

## 3. Fiberwise conditional variational principles for skew products

For a skew product
\[
\Theta(\omega,x)=(\theta\omega,F_\omega x)
\]
on $\Omega\times M$, the cited work assumes that $(\Omega,\theta)$ is a uniquely ergodic homeomorphism with unique invariant Borel probability measure $P$, that the skew product is Anosov on fibers, and that it is topological mixing on fibers. The fiber Bowen metric is
\[
d_n^\omega(x,y)=\max_{0\le i\le n-1} d_M(F_\omega^i x,F_\omega^i y),
\]
and the associated Carathéodory construction defines the fiber Bowen’s topological entropy $h_{\mathrm{top}}(F,Z,\omega)$ of a set $Z\subset M$ along the fiber $\{\omega\}\times M$ [2406.16883].

Given a continuous observable $\phi\in C(\Omega\times M,\mathbb R)$ and $a\in\mathbb R$, the classical level set is
\[
K_{\phi,a}=\left\{(\omega,x)\in\Omega\times M:\lim_{n\to\infty}\frac1n\sum_{i=0}^{n-1}\phi(\Theta^i(\omega,x))=a\right\},
\]
and the fiber slice is $K_{\phi,a}(\omega)=\{x\in M:(\omega,x)\in K_{\phi,a}\}$. Let
\[
L_\phi=\{a\in\mathbb R:P(\Lambda_a)=1\},
\]
where $\Lambda_a=\{\omega\in\Omega:K_{\phi,a}(\omega)\neq\emptyset\}$. Theorem B states that for $a\in L_\phi$ and for $P$-almost every $\omega\in\Omega$,
\[
h_{\mathrm{top}}(F,K_{\phi,a}(\omega),\omega)
=
\max\{h_\mu(F):\mu\in I_e(\Omega\times M,\phi,a)\},
\]
where
\[
I_e(\Omega\times M,\phi,a)=\{\mu\in I_e(\Omega\times M):\int\phi\,d\mu=a\}.
\]
This is the fiber-level conditional variational principle for Birkhoff averages [2406.16883].

The same paper proves that Anosov and topological mixing on fibers imply the fiber specification property, and moreover the associated random dynamical system has the specification property in the sense of Gundlach and Kifer. The proof of the variational principle uses this specification mechanism to carry out a fiber Moran-like construction, producing Cantor-like sets $X(\omega)\subset K_{\phi,a}(\omega)$ and measures on them with uniform Bowen-ball estimates. The upper bound is expressed through an asymptotic fiber growth rate $A_{\phi,a}(\omega)$ derived from covering and separated numbers on deviation sets, while the lower bound comes from saturation under fiber specification [2406.16883].

A pressure formulation is also available. Writing $T_F(\phi)$ for the fiber topological pressure and $T_{F,\phi}(q)=T_F(q\phi)$, the Legendre transform
\[
T_{F,\phi}^*(a)=\inf_{q\in\mathbb R}\{T_{F,\phi}(q)-qa\}
\]
satisfies
\[
h_{\mathrm{top}}(F,K_{\phi,a}(\omega),\omega)\le T_{F,\phi}^*(a)
\]
for $a\in L_\phi$ and
\[
h_{\mathrm{top}}(F,K_{\phi,a}(\omega),\omega)= T_{F,\phi}^*(a)
\]
for $a\in \mathrm{int}(L_\phi)$, for $P$-almost every $\omega$. Under the same hypotheses, every Hölder continuous potential has a unique equilibrium state $\mu_\phi$ with the Gibbs property, and an analogous conditional variational principle holds for fiber slices $E_a(\omega)$ of local entropy level sets [2406.16883].

Examples include fiber Anosov maps on $2$-dimensional tori driven by irrational rotation on the circle and random composition of $2\times 2$ area-preserving positive matrices driven by uniquely ergodic subshifts. In these examples, the conditional principle relates leafwise complexity on each fiber to the entropy of invariant measures satisfying the prescribed integral constraint [2406.16883].

## 4. Unstable entropy and variational principles conditioned on the unstable foliation

For a $C^1$ partially hyperbolic diffeomorphism $f:M\to M$ with invariant splitting
\[
TM=E^s\oplus E^c\oplus E^u,
\]
the unstable foliation $W^u$ permits a metric entropy theory conditioned on unstable leaves. Given a finite partition $\alpha$ and an unstable refinement $\eta\in P^u$, the unstable metric entropy is defined from conditional entropies
\[
h_\mu(f,\alpha\mid \eta)=\limsup_{n\to\infty}\frac1n H_\mu(\alpha_0^{n-1}\mid \eta),
\qquad
h_\mu^u(f)=\sup_{\eta\in P^u} h_\mu(f\mid \eta).
\]
The cited work proves that the limit exists and that for any $\alpha\in P$ and $\eta\in P^u$ one has
\[
h_\mu^u(f)=h_\mu(f,\alpha\mid \eta)=\lim_{n\to\infty}\frac1n H_\mu(\alpha_0^{n-1}\mid \eta).
\]
When compared with Ledrappier–Young theory, this quantity coincides with the unstable entropy $H_\mu(\xi\mid f\xi)$ associated with an increasing partition subordinate to $W^u$ [1710.02809].

The leafwise topological counterpart is defined by separated or spanning sets on local unstable plaques. If $N^u(f,\varepsilon,n,x,\delta)$ is the maximal cardinality of an $(n,\varepsilon)$-$u$-separated set in $W^u(x,\delta)$, then
\[
h^u_{\mathrm{top}}(f,W^u(x,\delta))
=
\lim_{\varepsilon\to 0}\limsup_{n\to\infty}\frac1n\log N^u(f,\varepsilon,n,x,\delta),
\]
and
\[
h^u_{\mathrm{top}}(f)=\lim_{\delta\to 0}\sup_{x\in M} h^u_{\mathrm{top}}(f,W^u(x,\delta)).
\]
The paper also proves
\[
h^u_{\mathrm{top}}(f)=\chi^u(f),
\]
where $\chi^u(f)$ is the unstable volume growth along unstable leaves [1710.02809].

The main variational statement is
\[
h^u_{\mathrm{top}}(f)=\sup_{\mu\in\mathcal M_f(M)} h_\mu^u(f)=\sup_{\mu\in\mathcal M_e(M)} h_\mu^u(f).
\]
Its upper bound uses a leafwise Brin–Katok type formula
\[
h_\mu^u(f)=\lim_{\varepsilon\to 0}\lim_{n\to\infty} -\frac1n\log \mu_x^\eta(B_n^u(x,\varepsilon))
\]
for $\mu$-almost every $x$, while the lower bound constructs empirical measures from maximal $u$-separated sets inside unstable plaques and applies a Misiurewicz-type averaging argument with conditional entropy estimates [1710.02809].

This principle is conditional in the precise sense that both entropy notions are restricted to the unstable direction. It isolates complexity caused by the unstable part of a partially hyperbolic system, yields affineness and upper semi-continuity of $\mu\mapsto h_\mu^u(f)$, and supplies a Shannon–McMillan–Breiman theorem along unstable leaves. In the Anosov case, where $E^c=\{0\}$, it reduces to the classical equality between topological and metric entropy [1710.02809].

## 5. Reverse Noether theory and conditional variationality for partial differential equations

In the jet-bundle framework, a second-order system of PDEs is encoded by a source form
\[
\Delta=f_\alpha(x,u,Du,D^2u)\,du^\alpha\wedge dx
\]
on $J^2E$, where $\pi:E\to M$ is a smooth fiber bundle with $\dim M=n$ and fiber dimension $m$. The inverse problem of the calculus of variations asks whether there exists a local Lagrange form $\lambda=L\,dx$ such that
\[
E_{n+1}(\lambda)=\Delta.
\]
Classically, this is equivalent to the vanishing of the second-order Helmholtz expressions. The cited paper proves a conditional variational principle that deduces this vanishing from symmetry and current hypotheses rather than assuming the Helmholtz conditions a priori [1906.10976].

The symmetry hypothesis is that the set
\[
\mathcal V=\{V\in\mathfrak X(E):V\text{ is }\pi\text{-projectable and }\mathcal L_{j^kV}\Delta=0\}
\]
spans the tangent space pointwise:
\[
\mathrm{span}_{\mathbb R}\{V_p:V\in\mathcal V\}=T_pE\qquad\text{for all }p\in E.
\]
The continuity-equation hypothesis is that for each $V\in\mathcal V$ there is a corresponding local continuity equation with characteristic $V_{ch}$,
\[
E_{n+1}(j^kV_{ch}\,\lrcorner\,\Delta)
=
\mathcal E_\alpha(V_{ch}^\beta f_\beta)\,du^\alpha\wedge dx
=
0.
\]
Under these two assumptions, Theorem 4.1 concludes that $\Delta$ is locally variational [1906.10976].

The proof uses a decomposition of $\mathcal L_{j^kV}\Delta$ involving the Helmholtz operator $E_{n+2}(\Delta)$ and the “Equation of Continuities and Symmetries”
\[
V^\beta_{ch} H_{\alpha\beta} + (D_i V^\beta_{ch}) H^i_{\alpha\beta} + (D_j D_i V^\beta_{ch}) H^{ji}_{\alpha\beta} = 0.
\]
A local linear algebra argument, together with the span condition and the Helmholtz dependencies,
\[
\begin{aligned}
&H_{\alpha\beta}+H_{\beta\alpha}-D_iH^i_{\alpha\beta}+D_iD_jH^{ij}_{\alpha\beta}=0,\\
&H^i_{\alpha\beta}-H^i_{\beta\alpha}-2D_jH^{ij}_{\alpha\beta}=0,\\
&H^{ij}_{\alpha\beta}+H^{ij}_{\beta\alpha}=0,
\end{aligned}
\]
forces
\[
H_{\alpha\beta}=0,\qquad H^i_{\alpha\beta}=0,\qquad H^{ij}_{\alpha\beta}=0.
\]
By the local exactness of the variational sequence, the vanishing of these expressions yields a local Lagrangian [1906.10976].

The result is local rather than global: “locally variational” means existence of a Lagrange form on $(\pi^{k,0})^{-1}U$ for each $p\in E$, while global variationality may be obstructed by cohomology. When the Helmholtz conditions hold, a local Lagrangian can be recovered by the Vainberg–Tonti homotopy,
\[
L(x,u,Du,\ldots,D^k u)=\int_0^1 f_\alpha(x,tu,tDu,\ldots,tD^k u)\,u^\alpha\,dt.
\]
The Lagrangian is unique up to addition of a horizontal divergence term $D_iK^i$. The paper also notes that the theorem fails for some third-order source forms, so the conditional principle is specific to second-order source forms in the form proved there [1906.10976].

## 6. Random metric spaces, $\bar L^0$-valued functionals, and conditional Ekeland principles

Let $(\Omega,\mathcal F,\mathbb P)$ be a probability space and let $\bar L^0$ denote the equivalence classes of extended real-valued measurable random variables, ordered by the almost-sure order. A random metric space $(E,d)$ is a set endowed with an $L_+^0$-valued distance, and two natural topologies appear: the $(\varepsilon,\lambda)$-topology $T_{\varepsilon,\lambda}$, which corresponds to convergence in probability, and the stronger locally $L^0$ topology $T_c$, generated by random radii $\varepsilon\in L_{++}^0$. In this setting, one studies proper, lower semicontinuous, lower bounded maps $\phi:E\to \bar L^0$ [1107.4726].

The general conditional Ekeland variational principle states that if $(E,d)$ is a $T_{\varepsilon,\lambda}$-complete random metric space and $\phi:E\to\bar L^0$ is proper, $T_{\varepsilon,\lambda}$-lower semicontinuous, and lower bounded, then for each $x_0\in\mathrm{dom}(\phi)$ there exists $v\in\mathrm{dom}(\phi)$ such that
\[
\phi(v)\le \phi(x_0)-d(x_0,v),
\]
and for every $x\neq v$,
\[
\phi(x)\ \triangleright\ \phi(v)-d(x,v),
\]
meaning that there exists $A_x\in\mathcal F$ with $\mathbb P(A_x)>0$ such that $\phi(x)>\phi(v)-d(x,v)$ on $A_x$. The principle is conditional because the penalty, the order, and the notion of strictness are all random and almost-sure [1107.4726].

A sharper form is proved for complete random normed modules. If $(E,\|\cdot\|)$ is $T_{\varepsilon,\lambda}$-complete, $G\subset E$ is $T_{\varepsilon,\lambda}$-closed, and $\varphi:G\to\bar L^0$ is proper, $T_{\varepsilon,\lambda}$-lsc, and lower bounded, then for $\varepsilon,\alpha\in L_{++}^0$ and any $x_0\in G$ satisfying
\[
\varphi(x_0)\le \bigwedge_{x\in G}\varphi(x)+\varepsilon,
\]
there exists $z\in G$ such that
\[
\varphi(z)\le \varphi(x_0)-\alpha\|z-x_0\|,
\qquad
\|z-x_0\|\le \alpha^{-1}\varepsilon,
\]
and for every $x\in G$, $x\neq z$,
\[
\varphi(x)\ \triangleright\ \varphi(z)-\alpha\|x-z\|.
\]
An analogous $T_c$-version requires the countable concatenation property and the local property of the functional. These locality hypotheses are characteristic of conditional analysis on random modules [1107.4726].

The applications are Bishop–Phelps type density theorems in complete random normed modules under the framework of random conjugate spaces. Support points of a $T_c$-closed, $L^0$-convex set with the countable concatenation property are $T_c$-dense in its $T_c$-boundary, and a.s. bounded support functionals are $T_c$-dense in the random dual $E^*$. A plausible implication is that, in this branch of the literature, a conditional variational principle is not primarily a dynamical entropy statement but a foundational optimization tool for conditional convex analysis and conditional risk measures [1107.4726].

## 7. Comparative perspective

Across these works, the term “conditional variational principle” does not refer to a single universal theorem. In the POTP and Pesin settings, it identifies the topological entropy of sets selected by empirical-measure or historic constraints with a supremum of measure entropies over the admissible invariant measures [1610.09106; 1508.00185]. In skew products, the same pattern is refined to fiberwise entropy, conditional level sets, and Legendre-transform formulas relative to a uniquely ergodic base [2406.16883]. In partially hyperbolic dynamics, the conditioning is directional: both metric and topological entropy are taken along unstable manifolds rather than on the full phase space [1710.02809].

In the PDE setting, the phrase has a different meaning. There the conditional statement is a reverse-Noether theorem: sufficiently many $\pi$-projectable symmetries together with matching continuity equations force the Helmholtz conditions and hence local variationality of a second-order source form [1906.10976]. In random analysis, the conditioning is probabilistic and local: the almost-sure order on $\bar L^0$, random completeness, and locality conditions replace ordinary scalar order and classical metric structure in Ekeland’s principle [1107.4726].

This suggests that the common core is structural rather than formal. A variational conclusion is recovered only after restricting the class of admissible objects or the geometry in which comparison is made: invariant measures satisfying a constraint, fibers over almost every base point, unstable leaves, symmetry-current pairs, or random local modules. The phrase therefore functions as a family resemblance term linking entropy theory, inverse problems, and conditional optimization rather than as the name of a single canonical principle.

Source: https://www.emergentmind.com/topics/conditional-variational-principle