Spectral Theorem for Convex Monotone Homogeneous Maps, and Ergodic Control

Marianne Akian; Stephane Gaubert

Home/Archive/arXiv

arXiv · math/0110108

Spectral Theorem for Convex Monotone Homogeneous Maps, and Ergodic Control

Marianne Akian·Stephane Gaubert

View original source ↗Read source document ↗Export metadata ↓

Abstract

We consider convex maps f:R^n -> R^n that are monotone (i.e., that preserve the product ordering of R^n), and nonexpansive for the sup-norm. This includes convex monotone maps that are additively homogeneous (i.e., that commute with the addition of constants). We show that the fixed point set of f, when it is non-empty, is isomorphic to a convex inf-subsemilattice of R^n, whose dimension is at most equal to the number of strongly connected components of a critical graph defined from the tangent affine maps of f. This yields in particular an uniqueness result for the bias vector of ergodic control problems. This generalizes results obtained previously by Lanery, Romanovsky, and Schweitzer and Federgruen, for ergodic control problems with finite state and action spaces, which correspond to the special case of piecewise affine maps f. We also show that the length of periodic orbits of f is bounded by the cyclicity of its critical graph, which implies that the possible orbit lengths of f are exactly the orders of elements of the symmetric group on n letters.

Explore related subjects

math.SP math.OC

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Marianne Akian, Stephane Gaubert. 2001-10-10. Spectral Theorem for Convex Monotone Homogeneous Maps, and Ergodic Control. https://arxiv.org/abs/math/0110108

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The exterior Steklov problem for Euclidean domains

We investigate the Steklov eigenvalue problem in an exterior Euclidean domain. First, we present several formulations of this problem and establish the equivalences between them. Next, we examine various properties of the exterior Steklov eigenvalues and eigenfunctions. One of our main findings is an Escobar-type lower bound for the first exterior Steklov eigenvalue on convex domains in dimensions three and higher. This bound is expressed in terms of the principal curvatures of the boundary and is sharp, with equality attained for a ball. Moreover, it implies the existence of a sequence of convex domains with fixed volume and the first exterior Steklov eigenvalues tending to infinity. This contrasts with the interior case, as well as with the two-dimensional exterior case, for which we show that an analogue of the Weinstock isoperimetric inequality holds.

math.SP↗

arXiv2026

Lieb-Thirring bounds for Melik-Adamyan canonical Hamiltonians

We study a class of positive matrix Hamiltonians arising from the canonical differential expressions of Melik--Adamyan and appearing in the appendix of Alpay--Gohberg. Let $J$ and $B$ be self-adjoint involutions on $\mathbb C^{2n}$ satisfying $JB=-BJ$, and let $H>0$ satisfy $HJH=J$. For $m>0$ we consider $$ \mathcal A_{m,H}=H^{-1}\left(-iJ\frac{d}{dt}+mB\right) $$ in the weighted space $L^2_H$. A locally absolutely continuous $J$-unitary gauge $Θ$ representing $H$ reduces this expression to the free massive Dirac operator plus the Hermitian coefficient $$ P_{m,Θ}=-iΘ^*JΘ'+m(Θ^*BΘ-B). $$ Whenever this coefficient belongs to $L^2$, the corresponding self-adjoint realization, including its operator domain, is independent of the chosen representing gauge. Minimizing $\int\mathrm{Tr}|P_{m,Θ}|^2$ over the gauge fibre defines an intrinsic energy. A two-sided Birman--Schwinger decoupling, combined with a truncated pseudo-relativistic estimate proved here, gives a $3/2$-moment bound for all eigenvalues in the gap $(-m,m)$ in terms of this energy. The Dirac estimate applies to arbitrary Hermitian matrix coefficients in $L^2$ and requires no sign condition. On the half-line we treat every self-adjoint Lagrangian boundary condition. Two reflection-compatible conditions require no endpoint correction, while an arbitrary condition contributes at most $2nm^{3/2}$. At zero mass, the optimal-gauge energy is computed explicitly in terms of $H^{-1/2}H'H^{-1/2}$. For a scalar hyperbolic-rotation family the massive gauge minimization reduces exactly to a one-dimensional phase functional. We prove existence of a minimizer in the principal phase sector and give an explicit trial phase that strictly and quantitatively improves the positive lift whenever the corresponding first variation is nonzero.

math.SP↗

arXiv2026

Neumann eigenvalues of isosceles triangles: monotonicity and asymptotics

We prove Laugesen and Siudeja's conjecture on Neumann eigenvalues of isosceles triangles. After multiplication by the squared diameter, the first positive symmetric eigenvalue increases strictly with the apex angle $θ$, while the first antisymmetric eigenvalue decreases strictly up to the equilateral triangle and increases strictly thereafter. \rev{The proof combines a slice-average estimate of directional energies with the explicit equilateral eigenfunction.} A quadratic correction across slices also gives a two-term expansion for every fixed positive spectral index $k$ as $θ\downarrow0$, with relative correction $θ^2/6$ and remainder $O_k(θ^4)$.

math.SP↗