Biquandle

A disk (top) and its signed distance function (bottom, in red). The x-y plane is shown in blue.

A more complicated set (top) and its signed distance function (bottom, in red).

In mathematics and applications, the signed distance function of a set Ω in a metric space, also called the oriented distance function, determines the distance of a given point x from the boundary of Ω, with the sign determined by whether x is in Ω. The function has positive values at points x inside Ω, it decreases in value as x approaches the boundary of Ω where the signed distance function is zero, and it takes negative values outside of Ω.

Definition

If (X, d) is a metric space, the signed distance function f is defined by

$f(x)=\{\begin{array}{cc}d(x,{\Omega }^c)& \text{ if }x\in \Omega \\ -d(x,\Omega )& \text{ if }x\in {\Omega }^c\end{array}$

where

$d(x,\Omega )=\underset{y\in \Omega }{inf}d(x,y)$

and 'inf' denotes the infimum.

Algorithms for calculating the signed distance function include the efficient fast marching method and the more general but slower level set method.

Signed distance functions are applied for example in computer vision.

Properties in Euclidean space

If Ω is a subset of the Euclidean space Rⁿ with piecewise smooth boundary, then the signed distance function is differentiable almost everywhere, and its gradient satisfies the eikonal equation

$|\mathrm{\nabla }f|=1.$

If the boundary of Ω is C^k for k≥2 (see differentiability classes) then d is C^k on points sufficiently close to the boundary of Ω.Template:Sfn In particular, on the boundary f satisfies

$\mathrm{\nabla }f(x)=N(x),$

where N is the inward normal vector field. The signed distance function is thus a differentiable extension of the normal vector field. In particular, the Hessian of the signed distance function on the boundary of Ω gives the Weingarten map.

If, further, Γ is a region sufficiently close to the boundary of Ω that f is twice continuously differentiable on it, then there is an explicit formula involving the Weingarten map W_x for the Jacobian of changing variables in terms of the signed distance function and nearest boundary point. Specifically, if Γ is the set of points within distance μ of the boundary of Ω, and g is an absolutely integrable function on Γ, then

${\int }_{\Gamma }g(x)dx={\int }_{\partial \Omega }{\int }_{-\mu }^{\mu }g(u+\lambda N(u))det(I-\lambda W_u)d\lambda d{S}_u,$

where det indicates the determinant and dS_u indicates that we are taking the surface integral.Template:Sfn

See also

• Level set method
• Eikonal equation

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 (or the Appendix of the 1977 1st ed.)