---
title: Support-Function Approach
url: https://www.emergentmind.com/topics/support-function-approach
type: topic
---

# Support-Function Approach

The support-function approach denotes a family of formulations in which a convex body, a convex hypersurface, an oriented surface, or a closed convex identified set is encoded by its support function rather than by a moving embedding or an explicit boundary description. In geometric evolution, the support function of a convex hypersurface is \(u(x)=\sup_{y\in M}\langle x,y\rangle\), attained at the unique point whose outer unit normal is \(x\); for a compact convex set \(K\subset \mathbb R^d\), it is \(h_K(u)=\sup_{x\in K}\langle x,u\rangle\); for a closed convex identified set \(\Theta(\phi)\), it is \(S_\phi(\nu)=\sup_{\theta\in\Theta(\phi)}\theta^T\nu\) [2003.08570] [1903.04194] [1212.3267]. Across these settings, the method replaces the original object by a scalar function on the sphere or on a dual domain, and this replacement is used to derive fully nonlinear PDE, holomorphic representation formulas, finite-dimensional optimization schemes, and inferential procedures for set-valued parameters [1501.05456] [2012.02132] [1809.00254].

## 1. Foundational definition and dual encoding

For compact convex sets, the support function is a complete invariant: a compact convex set is determined by its support function, and distances between convex sets can be measured via support-function differences [1903.04194]. The same dual encoding persists for general nonempty sets \(A\subset X\) in finite-dimensional normed spaces, where the support function is
\[
\sigma_A(x^*) := \sup\{(x^*,u)\mid u\in A\},
\]
with domain \(\operatorname{dom}\sigma_A=\{x^*\in X^*: \sigma_A(x^*)<+\infty\}\); moreover, \(\sigma_A\) depends only on the closed convex hull of \(A\), and \(\sigma_A=(\delta_A)^*\) [1301.0810].

A central analytic advantage is that geometric quantities become explicit in support-function variables. For smooth strictly convex hypersurfaces in Euclidean space, the curvature radii matrix is
\[
\mathfrak r_{ij}=\nabla_i\nabla_j h + h\,g_{ij},
\]
and the Gauss curvature satisfies
\[
\mathcal K^{-1} = \det(\nabla_i\nabla_j h + h\,g_{ij}).
\]
In the hypersurface setting of inverse Gauss map parametrization, the analogous formula is
\[
h_{ij} = \nabla_i \nabla_j u + u\,\delta_{ij},
\]
whose eigenvalues are the principal radii of curvature [1501.05456] [2003.08570]. This is the structural reason the support-function approach is effective: convexity becomes positivity of a matrix such as \(\nabla^2u+uI\), while curvature becomes a function of its eigenvalues.

The same duality governs regularity questions. Since support functions are sublinear, they are convex and locally Lipschitz on the interior of their domain, and differentiability at \(x^*\) is equivalent to the subdifferential being a singleton. For support functions,
\[
\partial \sigma_A(x^*)=\{u\in \operatorname{conv}A \mid (u,x^*)=\sigma_A(x^*)\},
\]
so differentiability is equivalent to uniqueness of the maximizing exposed point [1301.0810]. This suggests a general principle: smoothness of the support function encodes geometric strictness of the underlying set.

## 2. Scalarization of convex hypersurface flows

In curvature-flow theory, the support-function approach converts a moving-hypersurface problem into a scalar fully nonlinear parabolic PDE on the sphere. In the expanding flow studied in “A class of curvature flows expanded by support function and curvature function” [2003.08570], the evolving hypersurface \(M_t\subset \mathbb R^{n+1}\) satisfies
\[
\frac{\partial X}{\partial t}(x,t)=u(x,t)^{\alpha} f(\kappa(x,t))^{\beta}\, v(x,t),
\]
where \(u=\langle X,v\rangle\) is the support function, \(v\) is the outer unit normal, and \(f\) is a smooth, symmetric, homogeneous of degree one, positive function of the principal curvature radii. After reparametrizing by the inverse Gauss map, the support function satisfies
\[
\frac{\partial u}{\partial t}=u^\alpha F^\beta(\nabla^2 u + uI)
\]
in the unnormalized case, and
\[
\frac{\partial u}{\partial t} = u^\alpha F^\beta(\nabla^2 u + uI)-\gamma u
\]
for the normalized flow [2003.08570].

The main theorem assumes
\[
\alpha \le 0 < \beta \le 1-\alpha.
\]
If the initial hypersurface is smooth, closed, uniformly convex, and encloses the origin, then the flow has a unique smooth uniformly convex solution for all time; after the appropriate normalization, the hypersurfaces converge exponentially in \(C^\infty\) to a round sphere centered at the origin [2003.08570]. The proof proceeds through \(C^0\), gradient, and \(C^2\) estimates for the support-function equation, followed by uniform parabolicity and higher-order regularity. The quantity
\[
Q = u^{\alpha-1}F^\beta
\]
is studied via the maximum principle, and under the normalized flow
\[
\max_{S^n}\frac{|\nabla u|}{u}
\]
is nonincreasing; the top eigenvalue of \(h_{ij}\) satisfies a differential inequality of the form
\[
\partial_t h_{11}\le -c\,h_{11}^2 + C h_{11},
\]
which yields curvature control [2003.08570].

A related formulation appears in “Deforming a hypersurface by Gauss curvature and support function” [1501.05456]. There the normal flow is
\[
\partial_t F(x,t)=\frac{\rho(x,t)^p}{\mathcal K(x,t)}\,\nu(x,t),
\]
with \(\rho=F\cdot \nu=h\), and the support function satisfies
\[
\partial_t h=\frac{h^p}{\mathcal K}=h^p \det(\nabla_i\nabla_j h + h\,g_{ij}).
\]
The support-function formulation yields a fixed-domain PDE on \(S^{n-1}\), makes strict convexity equivalent to ellipticity, and supports entropy-type functionals, monotonicity formulas, curvature estimates, and convergence to self-similar solutions such as origin-centered balls or ellipsoids, depending on the regime [1501.05456].

## 3. Representation theory for support-defined surface classes

In surface theory, the support-function approach is used not only to analyze evolution but also to reconstruct immersions from scalar data and holomorphic data. For an oriented surface \(\Sigma\subset \mathbb R^3\) with Gauss map \(N\), the support function is
\[
\psi(p)=\langle p,N(p)\rangle,
\]
and a standard reconstruction formula is
\[
X(q)=\nabla_L h(q)+h(q)N(q),
\]
where \(h\) is the support function written on the Gauss image [2012.02132].

This framework underlies the class of SS-surfaces introduced in “Spherical type surfaces via support function” [2012.02132]. They are defined by the generalized Weingarten relation
\[
2\psi H+(\Lambda+\psi^2)K=0,
\]
where \(\Lambda(p)=\langle p,p\rangle\). For surfaces with \(K\neq 0\), this is equivalent to
\[
h\,\Delta h-|\nabla h|^2=0.
\]
Writing \(h=e^\phi\) gives \(\Delta\phi=0\), so \(\phi\) is harmonic. The resulting Weierstrass-type representation depends on two holomorphic functions \(f\) and \(g\), with \(g\) prescribing the Gauss map and \(f\) prescribing the support datum [2012.02132]. The same paper classifies rotational SS-surfaces and proves the rigidity statement that every compact connected SS-surface is a sphere [2012.02132].

A more general harmonic-type construction appears in “Surfaces with quadratic support function of harmonic type” [2601.19841]. HQSF-surfaces are defined by
\[
2\Psi H+\bigl(c\Psi e^{2\mu}+\Lambda-\Psi^2\bigr)K=0,
\]
which reduces to the earlier QSF relation when \(c=0\). The support-function formalism leads to a Weierstrass-type representation with three holomorphic functions \(g,f_1,f_2\), with
\[
h=\frac{A^2}{T},\qquad A=|f_1|^2+c|f_2|^2,\qquad T=1+|g|^2,
\]
and
\[
\mu=\ln\left(\frac{2|f_1f_2'-f_2f_1'|}{|g'|}\right).
\]
The same method yields a classification of rotational HQSF-surfaces into three cases according to the sign of
\[
\Omega=(cc_1-c_2)^2+4c|z_1|^2,
\]
producing exponential-type, trigonometric, or degenerate linear-exponential profile curves [2601.19841].

## 4. Convex-body optimization, reconstruction, and exhauster reduction

In computational convex geometry, the support-function approach serves as a global parametrization of convex bodies. For a convex set \(B\subset \mathbb R^d\), the support function
\[
p(\theta)=\sup_{x\in B}\theta\cdot x
\]
determines the boundary through
\[
x(\theta)= p(\theta)\theta + \nabla_\tau p(\theta),
\]
and truncating the Fourier expansion in two dimensions or the spherical-harmonic expansion in three dimensions turns shape optimization into a finite-dimensional constrained optimization problem [1809.00254]. Convexity becomes the inequality \(p(\theta)+p''(\theta)\ge 0\) in two dimensions, width constraints become pointwise conditions on \(p(\theta)+p(-\theta)\), and constant width becomes an algebraic spectral condition: in two dimensions \(a_0=w/2\) and all even nonconstant Fourier modes vanish; in three dimensions the even nonconstant spherical harmonic coefficients vanish [1809.00254]. This framework is used for optimization of volume, perimeter, and Dirichlet Laplace eigenvalues under convexity, diameter, constant-width, and inclusion constraints, and it produces a numerical confirmation of Meissner’s conjecture for three-dimensional bodies of constant width [1809.00254].

A different inverse problem is reconstruction from support-function evaluations. In “Fitting Tractable Convex Sets to Support Function Evaluations” [1903.04194], the data model is
\[
y^{(i)} = h_{K^\star}(u^{(i)}) + \varepsilon^{(i)},
\]
and the estimator is restricted to structured families of convex sets of the form \(A(C)\), where \(C\) is a fixed tractable template such as the simplex \(\Delta^q\) or the spectraplex \(\mathcal O^p\). The key identity
\[
h_{A(C)}(u)=h_C(A^T u)
\]
reduces reconstruction to optimization over linear maps. Under the stated assumptions, the empirical minimizers are strongly consistent, asymptotic normality holds under stronger identifiability and differentiability assumptions, and exposed faces can be preserved under additional geometric conditions [1903.04194].

In nonsmooth optimization, support functions also provide a reduction mechanism for upper exhausters of positively homogeneous functions on \(\mathbb R^2\). For an upper exhauster \(E^*\), each set \(C\in E^*\) is represented by the support-function curve
\[
\rho_C(\theta):=H(C,u_\theta),
\qquad
u_\theta=(\cos\theta,\sin\theta),
\]
and the exhauster representation becomes the lower envelope
\[
\rho(\theta)=\min_{C\in E^*}\rho_C(\theta).
\]
The reduction problem is then a geometric comparison of sinusoidal graphs in \((\theta,\rho)\)-space: a set is removable if its curve never contributes essentially to the lower envelope, and inclusion-minimality means every curve contributes on a nontrivial angular interval [2009.03099].

## 5. Differentiability, convexity, and set-valued inference

The relation between convexity of a set and differentiability of its support function is classical for compact sets and substantially subtler for unbounded sets. For a compact convex set with nonempty interior in finite dimensions, the support function is differentiable excepting the origin if and only if the set is strictly convex [1301.0810]. More generally, if \(C\) is unbounded, differentiability of \(\sigma_C\) on \(\operatorname{int}(\operatorname{dom}\sigma_C)\) is equivalent to a strict-convexity-type condition on
\[
S_C:=\partial \sigma_C(\operatorname{int}(\operatorname{dom}\sigma_C)),
\]
and under the cone-invariance hypothesis
\[
A=A+K\subset K\setminus\{0\}
\]
with \(K\) pointed, closed, convex, and with nonempty interior, differentiability on \(\operatorname{int}K^-\) can force convexity of \(A\) together with strong interior strict-convexity properties [1301.0810].

The same support-function machinery has an economic interpretation. For a production function \(F\), the upper level sets are
\[
L(y):=\{x\in \mathbb R_+^p\mid F(x)\ge y\},
\]
and the associated cost function is
\[
c(x^*,y):=\inf\{(x,x^*)\mid x\in L(y)\} = -\sigma_{L(y)}(-x^*).
\]
Thus differentiability of the cost function is exactly differentiability of the support function of the level set at the opposite price vector [1301.0810].

In econometrics, the support-function approach provides a natural Bayesian treatment of partially identified models. When the identified set \(\Theta(\phi)\) is closed and convex, it is completely characterized by
\[
S_{\phi}(\nu)=\sup_{\theta\in\Theta(\phi)} \theta^{T}\nu,
\qquad \nu\in \mathbb S^{d}.
\]
The posterior of \(\Theta(\phi)\) depends only on the posterior of \(\phi\), so inference on the identified set does not require specifying a prior on \(\theta\) [1212.3267]. The paper “Semi-parametric Bayesian Partially Identified Models based on Support Function” proves a Bernstein–von Mises theorem for the posterior of the support function and constructs the two-sided Bayesian credible set
\[
\Theta(\hat\phi)^{-q_\tau/\sqrt{n}} \subset \Theta(\phi) \subset \Theta(\hat\phi)^{q_\tau/\sqrt{n}},
\]
which has asymptotically correct frequentist coverage probability for the identified set [1212.3267].

## 6. High-dimensional asymptotics and analytic extremals

The support-function approach also appears in asymptotic stochastic geometry. For the high-dimensional Poisson polytope
\[
K_\lambda^d:=\operatorname{conv}\big(\mathcal P_\lambda^d\cap \mathbb B^d\big),
\]
the support function in direction \(u\in\mathbb S^{d-1}\) is
\[
h_\lambda^{(d)}(u):=\sup_{x\in K_\lambda^d}\langle u,x\rangle.
\]
Its exact distribution is governed by spherical-cap volumes:
\[
\mathbb P(h_\lambda^{(d)}\le r)=\exp\!\big(-\lambda|\mathcal C^d(r;u)|\big).
\]
As \(d\to\infty\), three regimes appear according to the scale of \(\log(\lambda\kappa_d)\): subcritical, critical, and supercritical. In each regime, the support function has explicit first-order asymptotics, and after suitable centering and scaling the fluctuations converge to a standard Gumbel random variable; analogous first-order statements hold for the infimum over a fixed \(m\)-dimensional section of directions [2410.00507].

The phrase “support function” also appears in a distinct analytic sense in pluripotential theory. “An Optimal Support Function related to the strong openness conjecture” proves that the optimal support function for weighted \(L^2\) integrations on superlevel sets of a negative plurisubharmonic weight is
\[
1-e^{-t}.
\]
More precisely, for the extremal quantity \(C_{F,\psi,t}(z_0)\), the paper establishes
\[
\int_{\{\psi<-t\}} |F|^2 \ge \frac{1}{1-e^{-t}}\, C_{F,\psi,t}(z_0),
\]
and shows that the factor \(1-e^{-t}\) is optimal; this quantitative estimate implies the strong openness property of multiplier ideal sheaves [2105.07755].

Taken together, these developments show that the support-function approach is not a single theorem but a recurrent method of scalarization and dualization. In geometric PDE it converts moving convex hypersurfaces into fully nonlinear equations on the sphere; in surface theory it yields holomorphic representation formulas; in convex optimization it turns difficult shape constraints into coefficient conditions; in inference it translates set estimation into support-function asymptotics; and in high-dimensional or analytic settings it isolates the extremal quantity that governs the problem [2003.08570] [1809.00254] [1212.3267].

Source: https://www.emergentmind.com/topics/support-function-approach