Continuous valuations on the space of Lipschitz functions on the sphere
Lipschitz (Hölder) classes (26A16) Continuity and differentiation questions (26B05) Integral formulas of real functions of several variables (Stokes, Gauss, Green, etc.) (26B20) Special properties of functions of several variables, Hölder conditions, etc. (26B35) Contents, measures, outer measures, capacities (28A12) Dissections and valuations (Hilbert's third problem, etc.) (52B45)
In the present article the authors study real-valued valuations on the space of all Lipschitz continuous maps on the unit sphere, \(f:S^{n-1}\to\mathbb{R}\), denoted by \(\text{Lip}(S^{n-1})\). Here, a map \(V:\text{Lip}(S^{n-1})\to\mathbb{R}\) is said to be a valuation if \[V(f\vee g) + V(f\wedge g) = V(f)+V(g)\] for every \(f,g\in \text{Lip}(S^{n-1})\), where \(f\vee g\) and \(f\wedge g\) denote the pointwise maximum and minimum of \(f\) and \(g\), respectively. The results of this paper are important steps towards a full classification of all such valuations which are in addition rotation invariant and continuous. Here, \(V:\text{Lip}(S^{n-1})\to\mathbb{R}\) is rotation invariant if \[V(f\circ \varphi)=V(f)\] for every \(f\in\text{Lip}(S^{n-1})\) and \(\varphi\in\mathbf{O}(n)\). Furthermore, continuity is understood with respect to \(\tau\)-convergence, which corresponds to Hausdorff convergence on the set of support functions of convex bodies (restricted to \(S^{n-1}\)). Note that while \(\text{Lip}(S^{n-1})\) is equipped with a standard norm, the set of all valuations which are continuous with respect to this norm is simply too large for the purposes here and its elements do not admit an integrable representation, in general. While many of the proofs and techniques work in general dimensions, the main result considers the \(1\)-dimensional case. This is mostly due to the technical complexities of the last sections. In the following, \(S^1\) will be identified with \([0,2\pi]\). Furthermore, let \(\mathcal{L}(S^1)\) denote the set of all piecewise linear functions on \(S^1\), i.e., the set of all functions for which there exists a finite partition of \([0,2\pi]\) in intervals such that the restriction of the function to each of the intervals is linear. Note that \(\mathcal{L}(S^1)\) is dense in \(\text{Lip}(S^1)\) with respect to the chosen topology. The main result now states that every \(\tau\)-continuous and rotation invariant valuation on \(\text{Lip}(S^1)\) admits a representation of the form \[f\mapsto \int_0^{2\pi}K(f(t),|f'(t)|) \,\text{d}H^1(t)\] on \(\mathcal{L}(S^1)\). Here, \(K:\mathbb{R}\times[0,\infty)\to\mathbb{R}\) is such that \(K(\cdot,\gamma)\) is a Borel function for every \(\gamma\geq 0\) and \(H^1\) denotes the (normalized) Hausdorff measure. Moreover, under the additional assumption of uniform \(\tau\)-continuity, the map \(K\) needs to be continuous and thus, this representation extends to all of \(\text{Lip}(S^1)\). Since each such map (with continuous \(K\)) is a rotation invariant and uniformly \(\tau\)-continuous valuation, a full classification is obtained in this case. Note that uniform \(\tau\)-continuity is rather strong, which the authors demonstrate by giving an example of a rotation invariant and \(\tau\)-continuous valuation which is not uniformly \(\tau\)-continuous.
- A class of invariant valuations on \(\operatorname{Lip}(S^{n -1})\)
- Continuity and representation of valuations on star bodies
- Convex Bodies The Brunn-MinkowskiTheory
- Extension of range of functions
- Fisher information and matrix-valued valuations
- scientific article; zbMATH DE number 410743 (Why is no real title available?)
- scientific article; zbMATH DE number 3128853 (Why is no real title available?)
- scientific article; zbMATH DE number 3137662 (Why is no real title available?)
- scientific article; zbMATH DE number 3816010 (Why is no real title available?)
- scientific article; zbMATH DE number 1113187 (Why is no real title available?)
- scientific article; zbMATH DE number 960184 (Why is no real title available?)
- Invariant valuations on star-shaped sets
- Lipschitz algebras
- Minkowski valuations on L^p-spaces
- Monotone valuations on the space of convex functions
- Radial continuous rotation invariant valuations on star bodies
- Radial continuous valuations on star bodies
- Star valuations and dual mixed volumes
- Translation invariant valuations on quasi-concave functions
- Valuations on L^p-spaces
- Valuations on convex functions
- Valuations on function spaces
- Valuations on Sobolev spaces
- Volume, polar volume and Euler characteristic for convex functions
- The Hadwiger theorem on convex functions. III: Steiner formulas and mixed Monge-Ampère measures
- A class of invariant valuations on \(\operatorname{Lip}(S^{n -1})\)
- The Hadwiger theorem on convex functions. IV: The Klain approach
- Geometric valuation theory
- Monge-Ampère operators and valuations
- Valuations on convex bodies and functions
- From valuations on convex bodies to convex functions
- \(\mathrm{SL}(n)\) covariant vector-valued valuations on Orlicz spaces
- Polynomial valuations on convex functions and their maximal extensions
- \(\operatorname{SL}(n)\) covariant matrix-valued valuations on Orlicz spaces
- Singular valuations and the Hadwiger theorem on convex functions
- The Hadwiger theorem on convex functions. II: Cauchy-Kubota formulas
- \(\mathrm{SL}(n)\) covariant matrix-valued valuations on \(L^p\)-spaces
- \(\mathrm{SL} (n)\) covariant matrix-valued valuations on functions
- Unitarily invariant valuations on convex functions
- A Klain-Schneider theorem for vector-valued valuations on convex functions
- A Paley-Wiener-Schwartz theorem for smooth valuations on convex functions
- A characterization of functional affine surface areas
- \(\mathrm{SL}(n)\) contravariant \(L_p\)-harmonic valuations on Orlicz spaces
This page was built for publication: Continuous valuations on the space of Lipschitz functions on the sphere
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2217519)
