Related papers: First variation of functional Wulff shapes
We present Voevodsky's construction of a model of univalent type theory in the category of simplicial sets. To this end, we first give a general technique for constructing categorical models of dependent type theory, using universes to…
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…
In this paper we give an integral representation of an $n$-convex function $f$ in general case without additional assumptions on function $f$. We prove that any $n$-convex function can be represented as a sum of two $(n+1)$-times monotone…
A complete family of functional Steiner formulas is established. As applications, an explicit representation of functional intrinsic volumes using special mixed Monge-Amp\`ere measures and a new version of the Hadwiger theorem on convex…
Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…
The present work revisits the classical Wulff problem restricted to crystalline integrands, a class of surface energies that gives rise to finitely faceted crystals. The general proof of the Wulff theorem was given by J.E. Taylor (1978) by…
We deal with a family of functionals depending on curvatures and we prove for them compactness and semicontinuity properties in the class of closed and bounded sets which satisfy a uniform exterior and interior sphere condition. We apply…
We present the geometric solutions to some variational problems of statistical mechanics and combinatorics. Together with the Wulff construction, which predicts the shape of the crystals, we discuss the construction which exhibits the shape…
In this paper, we are interested in investigating a weighted variant of Hermite-Hadamard type inequalities involving convex functionals. The approach undertaken makes it possible to refine and reverse certain inequalities already known in…
A complete classification of all zonal, continuous, and translation invariant valuations on convex bodies is established. The valuations obtained are expressed as principal value integrals with respect to the area measures. The convergence…
In this paper we study the right differentiability of a parametric infimum function over a parametric set defined by equality constraints. We present a new theorem with sufficient conditions for the right differentiability with respect to…
Using Dunkl operators, we introduce a continuous family of canonical invariants of finite reflection groups. We verify that the elementary canonical invariants of the symmetric group are deformations of the elementary symmetric polynomials.…
We extend the notion of the smallest volume ellipsoid containing a convex body in~$\mathbb{R}^{d}$ to the setting of logarithmically concave functions. We consider a vast class of logarithmically concave functions whose superlevel sets are…
Functions satisfying the functional equation \begin{align*} \sum_{r=0}^{n-1} (-1)^r f(x+ry, ny) = f(x,y), \quad \text{for any positive odd integer $n$}, \end{align*} are named the alternating invariant functions. Examples of such functions…
In the paper new representations are obtained for duals and dual hulls of the classes of analytic functions. The Ruscheweyh duality principle is shown to hold under somewhat weaker assumptions. For a compact class of functions its subclass…
Some calculational errors in expressions derived previously by the first author for the effective action, or equivalently for the functional determinant, on sectors of a spherical cap are corrected. The formula for the change in the…
In this paper we introduce Hausdorff locally convex algebra topologies on subalgebras of the whole algebra of nonlinear generalized functions. These topologies are strong duals of Fr\'echet-Schwartz space topologies and even strong duals of…
Zhou 2013 introduced modified planar functions to describe $(2^n,2^n,2^n,1)$ relative difference sets $R$ as a graph of a function on the finite field $\F_{2^n}$, and pointed out that projections of $R$ are difference sets that can be…
For any given Wulff shape $\mathcal{W}$, we can define the unique continuous function $S^{n}\to \mathbb{R}_{+}$ called convex integrand, denoted by $\gamma_{{}_{\mathcal{W}}}$. In this paper, we show that, for any Wulff shapes…
We give a relation between verbatim generating functions of what we call Pythagorean languages and matrix convexity. Namely, several multivariate matrix convex functions occurring in the existing matrix analysis literature arise naturally…