Related papers: A note on the a.e. second-order differentiability …
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…
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.
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…
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 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 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 well known that a twice-differentiable real-valued function $W:\operatorname{GL}^+(n)\rightarrow\mathbb{R}$ on the group $\operatorname{GL}^+(n)$ of invertible $n\times n-$matrices with positive determinant is rank-one convex if and…
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…
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…
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…
In the present paper, we consider several valid notions of orientability of Alexandov spaces and prove that all such conditions are equivalent. Further, we give topological and geometric applications of the orientability. In particular, a…
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…
As established by R T. Rockafellar, real valued convex-concave functions are generically differentiable. It this paper we shall show that for a convex-concave function defined on an open convex set $C \times D,$ there exist dense subsets…
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…
First, we provide an exposition of a theorem due to Slodkowski regarding the largest "eigenvalue" of a convex function. In his work on the Dirichlet problem, Slodkowski introduces a generalized second-order derivative which for $C^2$…
We show that every finite-dimensional Alexandrov space X with curvature bounded from below embeds canonically into a product of an Alexandrov space with the same curvature bound and a Euclidean space such that each affine function on X…
A classical Theorem of Alexandrov states that the map associating its boundary to a convex polyhdedron of the 3-dimensional Euclidean space is a bijection from the set of convex polyhdedron up to congruence to the set of isometry classes of…
For any open set $\Omega\subset\mathbb R^n$ and $n\ge 2$, we establish everywhere differentiability of viscosity solutions to the Aronsson equation $$ <D_x(H(x, Du)), D_p H(x, Du)>=0 \quad \rm in\ \ \Omega, $$ where $H$ is given by…
In this paper, we introduce and investigate a class P of continuous and periodic functions on R. The class P is defined so that second-order central differences of a function satisfy some concavity-type estimate. Although this definition…