Order versions of the Hahn-Banach theorem and envelopes. II: Applications to function theory

DOI10.1007/S10958-021-05490-4MaRDI QIDQ2047418zbMATH OpenOpenAlexFDO

Authors A. P. Rozit, E. B. Khabibullina, B. N. Khabibullin

Publication date 20 August 2021

Published in Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1812.11058

(pluri)subharmonic function Hahn-Banach theorem holomorphic function projective limit vector lattice zero subset

Harmonic, subharmonic, superharmonic functions on other spaces (31C05) Ordered topological linear spaces, vector lattices (46A40) Lattices of continuous, differentiable or analytic functions (46E05)

Abstract: Chapter 1 deals with the problem of the existence of an upper/lower envelope from a convex cone or, more generally, a convex set for functions on the projective limit of vector lattices with values in the completion of the Kantorovich space or on the extended real line. Vector, ordinal and topological dual interpretations of the existence conditions of such envelope and the method of its construction are given. Chapter 2 presents applications to the existence of a nontrivial (pluri)subharmonic and/or (pluri) harmonic minorant for functions in domains from finite-dimensional real or complex space. General approaches to the problems of nontriviality of weight classes of holomorphic functions, to the description of zero (sub)sets for such classes of holomorphic functions, to the problem of representation of a meromorphic function as a ratio holomorphic functions from a given weight class are indicated.

Review text

Given a Banach space \(X\), one denotes by \(\operatorname*{Conv}(X)\) the cone of all extended real-valued lower semicontinuous proper convex functions defined on \(X\). The main results of the paper under review are as follows: Theorem 1.6 asserts that there is a fully order-reversing mapping from \(\operatorname*{Conv}(X)\) onto itself if and only if \(X\) is reflexive and linearly isomorphic to its dual \(X^{\ast}\); Theorem 1.7 is a generalization of the Artstein-Avidan-Milman representation theorem [\textit{S. Artstein-Avidan} and \textit{V. Milman}, Ann. Math. (2) 169, No. 2, 661--674 (2009; Zbl 1173.26008)]: For every fully order-reversing mapping \(S:\operatorname*{Conv}(X)\rightarrow\operatorname*{Conv}(X)\) there exist a linear isomorphism \(U:X\) \(\rightarrow\) \(X^{\ast},\) two functionals \(x_{0}^{\ast},\) \(\varphi_{0}\in X^{\ast}\), and real numbers \(\alpha>0\) and \(r_{0}\in\mathbb{R}\) such that \((Sf)(x)=\alpha(\mathcal{F}f)(Ux+x_{0}^{\ast })+\langle\varphi_{0},x\rangle+r_{0}\) for all \(x\in X\) and \(f\in \operatorname*{Conv}(X)\); here, \(\mathcal{F}:\operatorname*{Conv} (X)\rightarrow\operatorname*{Conv}(X^{\ast})\) is the Legendre-Fenchel transform. The paper also includes similar results for three important cones of extended real-valued lower semicontinuous convex functions: cones of sublinear functions, of Minkowski functionals, and of seminorms on~\(X\).

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Order versions of the Hahn-Banach theorem and envelopes. II: Applications to function theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2047418)