Related papers: A geometric approach to second-order differentiabi…

In the Euclidean setting, the well-known Alexandrov theorem states that convex functions are twice differentiable almost everywhere. In this note, we extend this theorem to rank-one convex functions. Our approach is novel in that it draws…

Using the notion of h-subdifferential, we characterize both first and second order differentiability of h-convex functions in stratified groups. We show that Aleksandrov's second order differentiability of h-convex functions is equivalent…

If $f$ is a function of $n$ variables that is locally $L^1$ approximable by a sequence of smooth functions satisfying local $L^1$ bounds on the determinants of the minors of the Hessian, then $f$ admits a second order Taylor expansion…

We construct for every finite-dimensional Alexandrov space $A$ and every point $p \in A$ a $2$-convex function $f_p$ in a small neighborhood around $p$, which approximates $\operatorname{dist}_p^2$ up to second order. Moreover, the function…

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…

In this note we show that $k$-convex functions on $\Bbb R^n$ are twice differentiable almost everywhere for every positive integer $k>n/2$. This generalizes the classical Alexsandrov's theorem for convex functions.

The paper is devoted to a comprehensive second-order study of a remarkable class of convex extended-real-valued functions that is highly important in many aspects of nonlinear and variational analysis, specifically those related to…

In the Euclidean setting the celebrated Aleksandrov-Busemann-Feller theorem states that convex functions are a.e. twice differentiable. In this paper we prove that a similar result holds in the Heisenberg group, by showing that every…

This paper aims to give an elementary proof for Toponogov's theorem in Alexandrov geometry with lower curvature bound. The idea of the proof comes from the fact that, in Riemannian geometry, sectional curvature can be embodied in the second…

Given an affine variety X and a finite dimensional vector space of regular functions L on X, we associate a convex body to (X, L) such that its volume is responsible for the number of solutions of a generic system of functions from L. This…

We present a short proof of the Alexandrov-Fenchel inequalities for mixed volumes of convex bodies.

Differentiable structure ensures that many of the basics of classical convex analysis extend naturally from Euclidean space to Riemannian manifolds. Without such structure, however, extensions are more challenging. Nonetheless, in…

We present a constructive proof of Alexandrov's theorem regarding the existence of a convex polytope with a given metric on the boundary. The polytope is obtained as a result of a certain deformation in the class of generalized convex…

We prove that Alexandrov's conjecture relating the area and diameter of a convex surface holds for the surface of a general ellipsoid. This is a direct consequence of a more general result which estimates the deviation from the optimal…

It is proved the generalization of Toponogov theorem about the length of the curve in two-dimensional Riemannian manifolds in the case of two-dimensional Alexandrov spaces.

We develop the theory of discrete-time gradient flows for convex functions on Alexandrov spaces with arbitrary upper or lower curvature bounds. We employ different resolvent maps in the upper and lower curvature bound cases to construct…

Alexandrov's Theorem states that every metric with the global topology and local geometry required of a convex polyhedron is in fact the intrinsic metric of a unique convex polyhedron. Recent work by Bobenko and Izmestiev describes a…

The classic Riesz representation theorem characterizes all linear and increasing functionals on the space $C_{c}(X)$ of continuous compactly supported functions. A geometric version of this result, which characterizes all linear increasing…

We introduce functional Wulff shapes based on the classical construction for compact convex sets. With this new tool, we establish a functional version of Aleksandrov's variational lemma in the family of convex functions with compact…

The following is a compilation of some techniques in Alexandrov's geometry which are directly connected to convexity.