A unit normal is a normal vector of Euclidean norm one. Given a nonzero normal vector , normalization gives . This makes a dot product measure the signed length of the normal component, without an extra factor from the length of . On a hypersurface, the two opposite choices and correspond to opposite normal orientations; a continuous choice on an orientable surface fixes its orientation of a surface.
Along the boundary of an oriented surface, the outward unit conormal lies in the tangent plane of the surface and is perpendicular to the boundary unit tangent vector. If is the chosen unit normal vector, the positively oriented unit tangent vector is .
At a point on a plane curve, or on a hypersurface with unit normal , a vector splits into a normal component and a tangential component:
The terms are orthogonal projections, and . Changing to reverses the scalar coefficient , but leaves the normal component vector unchanged.
For a plane curve, a unit tangent vector and a unit normal form an orthonormal basis, giving
At on the parabola , choose and . For ,
Their sum is and their inner product is zero. A negative normal coefficient means that the normal component points opposite the chosen , rather than giving it a negative Euclidean norm.
Figure 1.
An arbitrary vector at a point of a parabola splits into tangent and normal projections
. At , the vector decomposes as . Arrows are based at the same point; dashed connectors show their vector addition. Details.
These are local directions: being tangent at a point does not mean that a straight displacement stays on the curve. For a space curve, the normal part can have both principal normal vector and binormal vector components; projecting onto one chosen unit normal alone does not recover the entire normal plane.
For a twice continuously differentiable regular curve describing motion, let , , and let be the principal normal vector where the curvature is positive. Differentiating the velocity vector gives
The tangential component changes the speed; the normal component changes the direction of the velocity vector. A particle can therefore have nonzero acceleration at constant speed, as in circular motion with constant speed. The formula follows from and the product rule. When , the normal contribution vanishes even though the principal normal vector is undefined there. [ref]
In dimensionless coordinates, take . At ,
The resulting vector components are
Both increasing speed and turning contribute to the same acceleration.
Figure 1.
Acceleration on a parabola has both tangential and normal parts
. At , the acceleration is the sum of tangent to the path and normal to it. This is a dimensionless mathematical trajectory. Details.
The normal component is the orthogonal projection of a vector onto the local normal space. For a hypersurface with unit normal , the vector component is ; the signed scalar component is . These two meanings must be distinguished. With the principal normal vector chosen toward the turning side of a curve, the normal scalar coefficient of acceleration is .
The tangential component is the orthogonal projection of a vector onto the tangent space. For a plane curve, it is ; for a hypersurface, it is . The scalar tangential component of acceleration is , which can be positive, zero or negative as the speed increases, remains constant or decreases.
The normal derivative of a differentiable function along a hypersurface with unit normal is the directional derivative
Higher normal derivatives at a point may be defined by differentiating the one-variable function repeatedly at .
For a divergence-form differential operator , its conormal derivative is the flux factor appearing in integration by parts. It generally differs from the ordinary normal derivative when is anisotropic. Decomposing the gradient along a smooth boundary into its normal and tangential components gives in two dimensions. Thus zero normal derivative does not in general remove the boundary term in the usual symmetric weak formulation. A zero conormal derivative does remove it and produces the natural homogeneous Neumann boundary condition for that energy.

Ancestors (6)

  1. Normal vector
  2. Differential geometry
  3. Geometry and topology
  4. Area of mathematics
  5. Mathematics
  6. Home

Synonyms (1)

Discussion (0) New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.