Related papers: A Riesz representation theorem for log-concave fun…
A direct proof of the Riesz representation theorem is provided. This theorem characterizes the linear functionals acting on the vector space $C(K)$ of continuous functions defined on a compact subset $K$ of the real numbers $\mathbb{R}$.…
We generalise the Riesz representation theorems for positive linear functionals on $\mathrm{C}_{\mathrm c}(X)$ and $\mathrm{C}_{\mathrm 0}(X)$, where $X$ is a locally compact Hausdorff space, to positive linear operators from these spaces…
We discuss conditions under which a convex cone $\K\subset \R^{\Omega}$ admits a probability $m$ such that $\sup_{k\in \K} m(k)\leq0$. Based on these, we also characterize linear functionals that admit the representation as finitely…
We present a Riesz integral representation theory in which functions, operators and measures take values in uniform commutative monoids (a commutative monoid with a uniformity making the binary operation of the monoid uniformly continuous).…
On the class of log-concave functions on $\R^n$, endowed with a suitable algebraic structure, we study the first variation of the total mass functional, which corresponds to the volume of convex bodies when restricted to the subclass of…
The present paper is concerned with some representatons of linear mappings of continuous functions into locally convex vector spaces, namely: If X is a complete Hausdorff locally convex vector space, then a general form of weakly compact…
In this paper we consider the minimization of a novel class of fractional linear growth functionals involving the Riesz fractional gradient. These functionals lack the coercivity properties in the fractional Sobolev spaces needed to apply…
We derive two types of representation results for increasing convex functionals in terms of countably additive measures. The first is a max-representation of functionals defined on spaces of real-valued continuous functions and the second a…
This paper's origins are in two papers: One by Colesanti and Fragal\`a studying the surface area measure of a log-concave function, and one by Cordero-Erausquin and Klartag regarding the moment measure of a convex function. These notions…
To every log-concave function $f$ one may associate a pair of measures $(\mu_{f},\nu_{f})$ which are the surface area measures of $f$. These are a functional extension of the classical surface area measure of a convex body, and measure how…
This paper builds upon our prior formalisation of R^n in ACL2(r) by presenting a set of theorems for reasoning about convex functions. This is a demonstration of the higher-dimensional analytical reasoning possible in our metric space…
We prove some properties of positive polynomial mappings between Riesz spaces, using finite difference calculus. We establish the polynomial analogue of the classical result that positive, additive mappings are linear. And we prove a…
We show a new, elementary and geometric proof of the classical Alexandrov theorem about the second order differentiability of convex functions. We also show new proofs of recent results about Lusin approximation of convex functions and…
We give an alternative proof of a recent result of Klartag on the existence of almost subgaussian linear functionals on convex bodies. If $K$ is a convex body in ${\mathbb R}^n$ with volume one and center of mass at the origin, there exists…
By the Riesz representation theorem using the Riemann-Stieltjes integral, linear continuous functionals on the set of continuous functions from the unit interval into the reals can either be characterized by functions of bounded variation…
The present paper consists of two parts. In the first part, we prove a noncommutative analogue of the Riesz(-Markov-Kakutani) theorem on representation of functionals on an algebra of continuous functions by regular measures on the…
We prove that for any convex polytope $\Omega \subset \mathbb{R}^d$ which is centrally symmetric and whose faces of all dimensions are also centrally symmetric, there exists a Riesz basis of exponential functions in the space $L^2(\Omega)$.…
We give a systematic and thorough study of geometric notions and results connected to Minkowski's measure of symmetry and the extension of the well-known Minkowski functional to arbitrary, not necessarily symmetric convex bodies K on any…
John's inclusion states that a convex body in $\mathbb{R}^d$ can be covered by the $d$-dilation of its maximal volume ellipsoid. We obtain a certain John-type inclusion for log-concave functions. As a byproduct of our approach, we establish…
We develop a functional extension of an extremal principle by Schneider (Monatsh. Math., 1967) by introducing generalized outer linearizations of convex functions. Given a coercive convex function on $\mathbb{R}^n$, a generalized outer…