Support function explained

Support function should not be confused with Support curve.

In mathematics, the support function hA of a non-empty closed convex set A in

Rn

describes the (signed) distances of supporting hyperplanes of A from the origin. The support function is a convex function on

Rn

.Any non-empty closed convex set A is uniquely determined by hA. Furthermore, the support function, as a function of the set A, is compatible with many natural geometric operations, like scaling, translation, rotation and Minkowski addition. Due to these properties, the support function is one of the most central basic concepts in convex geometry.

Definition

The support function

n\toR
h
A\colonR
of a non-empty closed convex set A in

Rn

is given by

hA(x)=\sup\{xa:a\inA\},

x\inRn

see[1] [2] .[3] Its interpretation is most intuitive when x is a unit vector: by definition, A is contained in the closed half space

\{y\inRn:yx\leqslanthA(x)\}

and there is at least one point of A in the boundary

H(x)=\{y\inRn:yx=hA(x)\}

of this half space. The hyperplane H(x) is therefore called a supporting hyperplane with exterior (or outer) unit normal vector x.The word exterior is important here, as the orientation of x plays a role, the set H(x) is in general different from H(−x).Now hA(x) is the (signed) distance of H(x) from the origin.

Examples

The support function of a singleton A = is

hA(x)=xa

.

The support function of the Euclidean unit ball

B=\{y\inRn:\|y\|2\le1\}

is

hB(x)=\|x\|2

where

\|\|2

is the 2-norm.

If A is a line segment through the origin with endpoints −a and a, then

hA(x)=|xa|

.

Properties

As a function of x

The support function of a compact nonempty convex set is real valued and continuous, but if the set is closed and unbounded, its support function is extended real valued (it takes the value

infty

). As any nonempty closed convex set is the intersection ofits supporting half spaces, the function hA determines A uniquely. This can be used to describe certain geometric properties of convex sets analytically. For instance, a set A is point symmetric with respect to the origin if and only if hAis an even function.

In general, the support function is not differentiable. However, directional derivatives exist and yield support functions of support sets. If A is compact and convex, and hA'(u;x) denotes the directional derivative ofhA at u0 in direction x,we have

hA'(u;x)=hA(x)    x\inRn.

Here H(u) is the supporting hyperplane of A with exterior normal vector u, definedabove. If AH(u) is a singleton, say, it follows that the support function is differentiable at u and its gradient coincides with y. Conversely, if hA is differentiable at u, then AH(u) is a singleton. Hence hA is differentiable at all points u0 if and only if A is strictly convex (the boundary of A does not contain any line segments).

More generally, when

A

is convex and closed then for any

u\inRn\setminus\{0\}

,

\partialhA(u)=H(u)\capA,

where

\partialhA(u)

denotes the set of subgradients of

hA

at

u

.

It follows directly from its definition that the support function is positive homogeneous:

hA(\alphax)=\alphahA(x),    \alpha\ge0,x\inRn,

and subadditive:

hA(x+y)\lehA(x)+hA(y),    x,y\inRn.

It follows that hA is a convex function. It is crucial in convex geometry that these properties characterize support functions:Any positive homogeneous, convex, real valued function on

Rn

is the support function of a nonempty compact convex set. Several proofs are known, [3] one is using the fact that the Legendre transform of a positive homogeneous, convex, real valued function is the (convex) indicator function of a compact convex set.

Many authors restrict the support function to the Euclidean unit sphere and consider it as a function on Sn-1. The homogeneity property shows that this restriction determines the support function on

Rn

, as defined above.

As a function of A

The support functions of a dilated or translated set are closely related to the original set A:

h\alpha(x)=\alphahA(x),    \alpha\ge0,x\inRn

and

hA+b(x)=hA(x)+xb,    x,b\inRn.

The latter generalises to

hA+B(x)=hA(x)+hB(x),    x\inRn,

where A + B denotes the Minkowski sum:

A+B:=\{a+b\inRn\mida\inA,b\inB\}.

The Hausdorff distance of two nonempty compact convex sets A and B can be expressed in terms of support functions,

dH(A,B)=\|hA-hB\|infty

where, on the right hand side, the uniform norm on the unit sphere is used.

The properties of the support function as a function of the set A are sometimes summarized in sayingthat

\tau

:A

\mapsto

h A maps the family of non-emptycompact convex sets to the cone of all real-valued continuous functions on the sphere whose positive homogeneous extension is convex. Abusing terminology slightly,

\tau

is sometimes called linear, as it respects Minkowski addition, although it is not defined on a linear space, but rather on an (abstract) convex cone of nonempty compact convex sets. The mapping

\tau

is an isometry between this cone, endowed with the Hausdorff metric, and a subcone of the family of continuous functions on Sn-1 with the uniform norm.

Variants

In contrast to the above, support functions are sometimes defined on the boundary of A rather than on Sn-1, under the assumption that there exists a unique exterior unit normal at each boundary point. Convexity is not needed for the definition.For an oriented regular surface, M, with a unit normal vector, N, defined everywhere on its surface, the support function is then defined by

{x}\mapsto{x}N({x})

.In other words, for any

{x}\inM

, this support function gives the signed distance of the unique hyperplane that touches M in x.

See also

Notes and References

  1. T. Bonnesen, W. Fenchel, Theorie der konvexen Körper, Julius Springer, Berlin, 1934. English translation: Theory of convex bodies, BCS Associates, Moscow, ID, 1987.
  2. R. J. Gardner, Geometric tomography, Cambridge University Press, New York, 1995. Second edition: 2006.
  3. R. Schneider, Convex bodies: the Brunn-Minkowski theory, Cambridge University Press, Cambridge, 1993.