In differential geometry, a hedgehog or plane hedgehog is a type of plane curve, the envelope of a family of lines determined by a support function. More intuitively, sufficiently well-behaved hedgehogs are plane curves with one tangent line in each oriented direction. A projective hedgehog is a restricted type of hedgehog, defined from an anti-symmetric support function, and (again when sufficiently well-behaved) forms a curve with one tangent line in each direction, regardless of orientation.
Every closed strictly convex curve, the envelope of its supporting lines. The astroid forms a non-convex hedgehog, and the deltoid curve forms a projective hedgehog.
Hedgehogs can also be defined from support functions of hyperplanes in higher dimensions.
h
f(\theta)=hl((\cos\theta,\sin\theta)r)
q
p
p ⋅ q=h(q)
q
qh(q)
|h(q)|
q
h(-q)=-h(q)
f(\theta)=-f(\theta+\pi)
q
-q
Given any support function
h
l{H}h
f
\theta
\begin{align} x&=f(\theta)\cos\theta-f'(\theta)\sin\theta\\ y&=f(\theta)\sin\theta+f'(\theta)\cos\theta \end{align}
A hedgehog is non-singular when it has a tangent line at each of its points. A projective hedgehog is defined by an anti-symmetric support function. Hedgehogs can also be defined in the same way in higher dimensions, as envelopes of hyperplanes defined by support functions.
The support function describing the supporting lines for a convex set
K
h(q)=max\{p ⋅ q\midp\inK\}
An example of a projective hedgehog, defined from an anti-symmetric support function, is given by the deltoid curve. The deltoid is a simple closed curve but other hedgehogs may self-intersect, or otherwise behave badly. In particular, there exist anti-symmetric support functions based on the Weierstrass function whose corresponding projective hedgehogs are fractal curves that are continuous but nowhere differentiable and have infinite length.
Every strictly convex body in the plane defines a projective hedgehog, its middle hedgehog, the envelope of lines halfway between each pair of parallel supporting lines. Although triangles are not strictly convex, the envelope defined in this way for a triangle is its medial triangle. The points of the middle hedgehog are the midpoints of line segments connecting the pairs of points where each pair of parallel supporting lines contact the body. It has finite length, equal to half the perimeter of the given body. Each extreme point of the convex hull of the middle hedgehog is a convexity point, a point such that the union of the body with its reflection through this point is convex. There are always at least three such points, and the triangles and Reuleaux triangle provide examples where there are exactly three.
A non-singular hedgehog has a unique tangent line in each oriented direction, belonging to its defining family of lines. Correspondingly, any sufficiently well-behaved projective hedgehog has a unique tangent line in each direction without respect to orientation.
Pairs of hedgehogs can be combined by the pointwise sum of their support functions. This operation extends Minkowski addition of convex bodies and is analogous to Minkowski addition in multiple ways. It can be used to characterize curves of constant width: a convex hedgehog has constant width
w
w/2
Every projective hedgehog has at least three singularities (typically, cusps). When a projective hedgehog has finite length, a construction of Leonhard Euler shows that its involutes of sufficiently high radius are curves of constant width.
More generally, hedgehogs are the natural geometrical objects that represent the formal differences of convex bodies: given (K,L) an ordered pair of convex bodies in the Euclidean vector space
Rn+1
Rn+1
Polygonal case in the plane:
Case of smooth convex bodies with positive Gauss curvature:
Subtracting two convex hypersurfaces (with positive Gauss curvature) by subtracting the points corresponding to a same outer unit normal to obtain a (possibly singular and self-intersecting) hypersurface:
The idea of using Minkowski differences of convex bodies may be traced back to a couple of papers by A.D. Alexandrov and H. Geppert[1] in the 1930s. Many classical notions for convex bodies extend to hedgehogs and quite a number of classical results find their counterparts. Of course, a few adaptations are necessary. In particular, volumes have to be replaced by their algebraic versions.[2]
In a long series of papers, hedgehogs and their extensions were studied by Y. Martinez-Maure under various aspects.[3] The most striking result of this hedgehog theory was the construction of counterexamples to an old conjectured characterization of the 2-sphere.[4] [5] [6] [7]