Fact-checked by Grok 2 weeks ago

Tangential and normal components

In physics and mathematics, particularly in the analysis of curvilinear motion, tangential and normal components refer to the resolution of vectors—such as velocity and acceleration—into directions aligned with and perpendicular to the instantaneous tangent of the path. The tangential component is parallel to the unit tangent vector \vec{T}, representing the direction of motion, while the normal component aligns with the principal unit normal vector \vec{N}, which is orthogonal to \vec{T} and points toward the center of curvature. This decomposition simplifies the study of dynamics on curved paths by separating effects on speed (tangential) from those on direction (normal).^[1]^[2] For velocity, the vector \vec{v}(t) has only a tangential component, expressed as \vec{v} = v \vec{T}, where v = \|\vec{v}\| is the speed along the path; there is no normal component since velocity is inherently tangent to the trajectory.^[2] In contrast, acceleration \vec{a}(t) generally possesses both components: the tangential acceleration a_T = \frac{dv}{dt}, which governs the rate of change of speed, and the normal (or centripetal) acceleration a_N = \kappa v^2, where \kappa is the curvature of the path, responsible for changing the direction of motion.^[1]^[3] This framework, rooted in vector calculus and classical mechanics, is essential for applications ranging from orbital mechanics to vehicle dynamics and robotics, enabling precise calculations of forces and trajectories in non-linear paths. The full acceleration vector is thus \vec{a} = a_T \vec{T} + a_N \vec{N}, providing a Frenet-Serret frame for local path description.^[2]

Preliminaries

Tangent Space

In differential geometry, the tangent space at a point on a manifold provides the local linear approximation to the manifold, consisting of all possible directions tangent to the manifold at that point. For a general smooth manifold M of dimension m embedded in \mathbb{R}^k, the tangent space T_p M at a point p \in M is defined as the vector space comprising all tangent vectors, which are equivalence classes of smooth curves \gamma: (-\epsilon, \epsilon) \to M with \gamma(0) = p, where two curves are equivalent if their derivatives agree at t=0.^[4] This construction identifies T_p M with the image of the differential of a local parametrization, yielding a linear subspace of \mathbb{R}^k.^[5] For a curve \gamma: I \to \mathbb{R}^n, the tangent space to the curve at \gamma(t_0) is the one-dimensional vector space spanned by the velocity vector \gamma'(t_0), obtained as the limit \lim_{h \to 0} \frac{\gamma(t_0 + h) - \gamma(t_0)}{h}, which represents the direction of secant lines approaching the curve.^[4] This limit construction ensures that the tangent space to the curve at \gamma(t_0) captures instantaneous directions parallel to the curve. For example, if \gamma(t) is a curve in \mathbb{R}^3, then the tangent space to the curve at \gamma(t_0) is \operatorname{[span](/page/Span)} \{ \gamma'(t_0) \}, or more formally T_{\gamma(t_0)} \gamma = \operatorname{[span](/page/Span)} \{ \gamma'(t_0) \}, providing a basis consisting of the single vector \gamma'(t_0).^[5] On a surface parametrized by x: U \subset \mathbb{R}^2 \to \mathbb{R}^3, the tangent space T_p S at p = x(u_0, v_0) is the two-dimensional plane spanned by the partial derivatives x_u(u_0, v_0) and x_v(u_0, v_0), constructed as the limit of secant planes through nearby points on the surface.^[4] In general, for an m-dimensional manifold, the dimension of T_p M equals m, and a basis is given by the partial derivatives \left\{ \frac{\partial}{\partial u^i} \big|_p \right\}_{i=1}^m from a local coordinate chart, endowing T_p M with a natural linear structure isomorphic to \mathbb{R}^m.^[5] The normal space at p serves as the orthogonal complement to T_p M in the ambient Euclidean space.^[4]

Normal Space

In differential geometry, the normal space at a point p on a submanifold M embedded in Euclidean space \mathbb{R}^N is defined as the orthogonal complement of the tangent space T_p M within the ambient tangent space T_p \mathbb{R}^N \cong \mathbb{R}^N. This means it consists of all vectors v \in \mathbb{R}^N such that the standard Euclidean inner product \langle v, w \rangle = 0 for every w \in T_p M. The orthogonality arises naturally from the inner product structure of the Euclidean space, ensuring that the normal space captures directions transverse to the submanifold at p.^[6]^[7] For a hypersurface in \mathbb{R}^n, which has codimension 1, the normal space is one-dimensional and spanned by the gradient vector \nabla f(p) of a defining function f: \mathbb{R}^n \to \mathbb{R} such that M = \{ x \mid f(x) = c \} near p, assuming \nabla f(p) \neq 0. The normalized direction is given by the unit normal \mathbf{n}(p) = \frac{\nabla f(p)}{\| \nabla f(p) \|}, which points in the direction of steepest ascent of f and is perpendicular to the level set. In the more general case of a submanifold of codimension k, the normal space is k-dimensional, forming the orthogonal complement to the (N - k)-dimensional tangent space in \mathbb{R}^N. This construction generalizes the hypersurface case by considering multiple defining functions whose gradients span the normal directions.^[8]^[9] A concrete example illustrates this in low dimensions: for a smooth plane curve \gamma: I \to \mathbb{R}^2 parametrized by arc length, the tangent space at \gamma(t) is the one-dimensional line spanned by the unit tangent vector \mathbf{T}(t) = \gamma'(t), and the normal space is the perpendicular line through \gamma(t) in \mathbb{R}^2, consisting of vectors orthogonal to \mathbf{T}(t) under the dot product. This perpendicular line aligns with the principal normal direction for the curve's curvature but fundamentally serves as the complement to the tangential direction. In the context of level sets, the relation to the gradient provides a practical way to identify this normal direction, as \nabla f at points on the level set f(x) = c is everywhere orthogonal to tangent vectors along the set.^[10]^[8]

Decomposition for Curves

Definition for Curves

In differential geometry, consider a smooth curve \gamma: I \to \mathbb{R}^n parametrized by t \in I, where I is an interval, and assume the curve is regular, meaning \gamma'(t) \neq 0 for all t. The unit tangent vector T(t) at a point \gamma(t) is defined as T(t) = \frac{\gamma'(t)}{\|\gamma'(t)\|}, which spans the one-dimensional tangent space to the curve at that point.^[11] For a vector v at a point p = \gamma(t) on the curve, the tangential component is the orthogonal projection of v onto the tangent space, given by \operatorname{proj}_T v = (v \cdot T) T, where \cdot denotes the Euclidean dot product.^[12] This component lies along the direction of the curve and measures the part of v parallel to the instantaneous direction of motion. The scalar coefficient v_T = v \cdot T represents the signed magnitude of this projection relative to the unit tangent. The normal component of v is then v_N = v - \operatorname{proj}_T v, which is orthogonal to T and resides in the normal space to the curve at p. Thus, v decomposes as v = v_T T + v_N, where v_N points perpendicular to the tangent. For a brief introduction to the frame, v_N can be expressed in terms of a unit normal vector N in the normal space as v_N = \|v_N\| N when the normal space is one-dimensional, but in general, v_N is a vector in that space.^[12] The dimension of the normal space distinguishes plane curves from space curves: for a curve in \mathbb{R}^2, the normal space is one-dimensional (a line perpendicular to T); for a curve in \mathbb{R}^3, it is two-dimensional (the normal plane spanned by the principal normal and binormal directions).^[13] In the special case of the velocity vector v = \gamma'(t), the tangential component is \|\gamma'(t)\| T(t), corresponding to the tangential speed \|\gamma'(t)\|, while the normal component is zero since \gamma'(t) is parallel to T(t).^[11]

Frenet-Serret Framework

The Frenet-Serret framework provides a local coordinate system along a space curve, enabling the decomposition of the curve's derivatives into tangential and normal components through an orthonormal frame adapted to the curve's geometry. For a regular curve \gamma(s) parametrized by arc length s in \mathbb{R}^3, the frame consists of the unit tangent vector \mathbf{T}(s) = \gamma'(s), the principal normal vector \mathbf{N}(s) pointing toward the center of curvature, and the binormal vector \mathbf{B}(s) = \mathbf{T}(s) \times \mathbf{N}(s). This triad \{\mathbf{T}, \mathbf{N}, \mathbf{B}\} forms a right-handed orthonormal basis at each point on the curve, with \mathbf{N} defined as \mathbf{N}(s) = \frac{\mathbf{T}'(s)}{\|\mathbf{T}'(s)\|} when the curvature is nonzero.^[14] The evolution of this frame along the curve is governed by the Frenet-Serret formulas, which express the derivatives with respect to arc length in terms of the curvature \kappa(s) \geq 0 and torsion \tau(s):

\begin{align*} \frac{d\mathbf{T}}{ds} &= \kappa \mathbf{N}, \\ \frac{d\mathbf{N}}{ds} &= -\kappa \mathbf{T} + \tau \mathbf{B}, \\ \frac{d\mathbf{B}}{ds} &= -\tau \mathbf{N}. \end{align*}

These equations quantify how the frame rotates: the first shows the tangential component of \mathbf{T}' is zero, with the normal component \kappa \mathbf{N} measuring bending; the second and third capture twisting out of the osculating plane via torsion.^[14] For a curve \gamma(t) parametrized by arbitrary parameter t with speed v(t) = \|\gamma'(t)\|, the acceleration \mathbf{a}(t) = \gamma''(t) decomposes in the Frenet frame as \mathbf{a} = a_T \mathbf{T} + a_N \mathbf{N}, where the tangential acceleration is a_T = \frac{dv}{dt} and the normal acceleration is a_N = \kappa v^2, with no binormal component. This extends the basic tangential projection by incorporating curvature, where the normal term \kappa v^2 = \frac{v^2}{\rho} and \rho = 1/\kappa is the radius of curvature.^[15] Curvature and torsion can be computed directly from derivatives without arc-length reparametrization. For \gamma(t), \kappa(t) = \frac{\|\gamma'(t) \times \gamma''(t)\|}{\|\gamma'(t)\|^3}, which isolates the normal component of acceleration relative to the tangential speed. Torsion is given by \tau(t) = \frac{(\gamma'(t) \times \gamma''(t)) \cdot \gamma'''(t)}{\|\gamma'(t) \times \gamma''(t)\|^2}, measuring the rate at which the binormal twists.^[16]^[14] A representative example is the circular helix \gamma(t) = (R \cos t, R \sin t, c t) for constants R > 0 and c \neq 0, which has constant nonzero curvature \kappa = \frac{R}{R^2 + c^2} and torsion \tau = \frac{c}{R^2 + c^2}. The nonzero torsion distinguishes the helix from planar curves, illustrating how the Frenet frame captures three-dimensional twisting in the decomposition.^[17]

Decomposition for Surfaces

Definition for Surfaces

For a smooth surface S embedded in \mathbb{R}^3, the tangential and normal components of a vector at a point p \in S are defined with respect to the tangent plane and its orthogonal complement at p.^[5] The tangent plane T_p S at p is the two-dimensional affine subspace that best approximates S near p, serving as the local linearization of the surface.^[18] Consider a regular parametrization \mathbf{r}(u,v) of a neighborhood of p in S, where \mathbf{r}(u_0, v_0) = p. The tangent plane T_p S is spanned by the partial derivative vectors \partial \mathbf{r}/\partial u \big|_{p} and \partial \mathbf{r}/\partial v \big|_{p}, which are tangent to the coordinate curves on S passing through p.^[5] These vectors form a basis for the tangent space, and any vector in T_p S can be expressed as a linear combination of them.^[19] The unit normal vector \mathbf{n}(p) to T_p S is obtained as \mathbf{n}(p) = \frac{\partial \mathbf{r}/\partial u \times \partial \mathbf{r}/\partial v}{\|\partial \mathbf{r}/\partial u \times \partial \mathbf{r}/\partial v\|} \big|_{p}, which is orthogonal to both basis vectors and points in the direction perpendicular to the surface.^[20] The normal space at p is the one-dimensional line spanned by \mathbf{n}(p).^[5] For an arbitrary vector \mathbf{v} based at p in \mathbb{R}^3, the tangential component \mathbf{v}_T is the orthogonal projection of \mathbf{v} onto T_p S, given by \mathbf{v}_T = \mathbf{v} - (\mathbf{v} \cdot \mathbf{n}(p)) \mathbf{n}(p).^[21] This projection lies entirely within the tangent plane, capturing the part of \mathbf{v} that aligns with the surface's local direction.^[22] The normal component \mathbf{v}_N = (\mathbf{v} \cdot \mathbf{n}(p)) \mathbf{n}(p) is the remainder, directed along the normal and perpendicular to T_p S.^[21] Together, \mathbf{v} = \mathbf{v}_T + \mathbf{v}_N decomposes \mathbf{v} into mutually orthogonal parts relative to the surface geometry at p.^[5] The assignment of the unit normal \mathbf{n}(p) to each point p \in S defines the Gauss map G: S \to S^2, a smooth function from the surface to the unit sphere S^2 \subset \mathbb{R}^3 that maps p to \mathbf{n}(p).^[5] This map orients the surface locally and facilitates the study of its first-order properties. For example, on the unit sphere S^2 itself, the Gauss map is the identity function, so \mathbf{n}(p) = p for each p \in S^2; here, tangential components \mathbf{v}_T at p lie in the great circles through p (intersections of S^2 with planes through the origin), while normal components \mathbf{v}_N are radial, along the line from the origin to p.^[5]

Gauss Map and Principal Curvatures

The Gauss map of an oriented surface M in \mathbb{R}^3 is the smooth map G: M \to S^2 that assigns to each point p \in M the unit normal vector n(p) at p, where n(p) is the unit normal from the surface orientation.^[13] The differential dG_p: T_p M \to T_{n(p)} S^2 of the Gauss map at p measures the rate of change of the normal vector along tangent directions, and it satisfies dG_p = -S_p, where S_p: T_p M \to T_p M is the shape operator (also known as the Weingarten map).^[13]^[23] The shape operator S_p quantifies the deviation of the surface from being flat by mapping a tangent vector X \in T_p M to - \nabla_X n(p), the negative covariant derivative of the normal field, projecting the change in normal onto the tangent plane.^[24] The second fundamental form II_p: T_p M \times T_p M \to \mathbb{R} extends this by capturing the normal component of the second derivative of the surface parametrization, defined as II_p(X, Y) = -\langle d n_p(X), Y \rangle for tangent vectors X, Y \in T_p M, or equivalently II_p(X, Y) = \langle S_p(X), Y \rangle.^[13]^[23] This bilinear form is symmetric and relates directly to the differential of the Gauss map through the shape operator. The principal curvatures \kappa_1(p) and \kappa_2(p) at p are the eigenvalues of the self-adjoint linear operator S_p, corresponding to orthogonal principal directions in T_p M where the normal curvature achieves its maximum and minimum values.^[13]^[24] The mean curvature H(p) = \frac{\kappa_1(p) + \kappa_2(p)}{2} is half the trace of S_p, while the Gaussian curvature K(p) = \kappa_1(p) \kappa_2(p) is the determinant of S_p.^[23]^[13] In the context of tangential and normal decompositions, the shape operator facilitates the breakdown of the velocity gradient or acceleration on the surface into components parallel and perpendicular to the tangent plane. For a parametrized surface \sigma(u,v), the second partial derivatives \sigma_{ij} decompose as \sigma_{ij} = \Gamma^k_{ij} \sigma_k + II_{ij} n, where the Christoffel symbols \Gamma^k_{ij} yield the tangential part via the Levi-Civita connection, and the normal part II_{ij} n involves the second fundamental form, with S_p encoding the curvature effect on normal deviations.^[23] This decomposition highlights how S_p maps tangential variations to normal bending. For example, on a right circular cylinder of radius a, the principal curvatures are \kappa_1 = 1/a (circumferential direction) and \kappa_2 = 0 (along generators), so the shape operator has a zero eigenvalue, implying no normal deviation or bending in the axial direction, consistent with the surface being ruled and developable.^[24]^[13]

Generalizations

Submanifolds

In the context of a k-dimensional submanifold M embedded in the Euclidean space \mathbb{R}^n, where n \geq k, the tangent space T_p M at a point p \in M is defined as the k-dimensional subspace of \mathbb{R}^n consisting of all tangent vectors to curves in M passing through p.^[9] The normal space N_p M is the orthogonal complement of T_p M in \mathbb{R}^n with respect to the standard Euclidean inner product, forming an (n-k)-dimensional subspace.^[9] This setup generalizes the notions from lower-dimensional cases, allowing for arbitrary codimension n-k \geq 1.^[25] Any vector v \in \mathbb{R}^n at p decomposes uniquely as v = v^T + v^\perp, where v^T \in T_p [M](/page/M) is the tangential component and v^\perp \in N_p [M](/page/M) is the normal component, with \langle v^T, v^\perp \rangle = 0.^[9] This orthogonal decomposition is achieved via the orthogonal projection operator \Pi_p: \mathbb{R}^n \to T_p [M](/page/M), so v^T = \Pi_p v and v^\perp = (I - \Pi_p) v, where I is the identity map on \mathbb{R}^n.^[9] The projection \Pi_p varies smoothly over [M](/page/M), ensuring the decomposition is well-defined for vector fields along [M](/page/M).^[25] The normal bundle NM is the vector bundle over M whose fiber at each p \in M is N_p M, formally NM = \{(p, \xi) \mid p \in M, \xi \in N_p M\}.^[9] It is equipped with a normal connection \nabla^\perp, induced by the ambient Euclidean connection, which governs the covariant derivative of normal vector fields and enables parallel transport of normal vectors along curves in M while preserving orthogonality to the tangent spaces.^[9] This structure facilitates the study of extrinsic geometry, such as the second fundamental form, which measures how M curves within \mathbb{R}^n.^[25] For example, when M is a curve (k=1) in \mathbb{R}^3 (n=3), the tangent space T_p M is 1-dimensional, spanned by the curve's velocity vector, and the normal space N_p M is 2-dimensional, orthogonal to it.^[9] In contrast, for a surface (k=2) in \mathbb{R}^3, T_p M is 2-dimensional and N_p M is 1-dimensional, typically spanned by the unit normal vector.^[9] These cases illustrate how the dimensions adapt to the embedding, with higher codimensions allowing more complex normal directions. Key properties of these spaces stem from the Euclidean metric: the orthogonality \langle T_p M, N_p M \rangle = \{0\} is metric-induced and preserved under parallel transport.^[9] Integrability conditions arise in the context of distributions; for instance, the tangent distribution T M is always integrable by the definition of a submanifold, while the normal distribution N M is integrable if it satisfies the Frobenius condition of being involutive, meaning the Lie bracket of normal vector fields remains normal.^[9] Such integrability implies the existence of a foliation transverse to M.^[25]

Higher-Dimensional Cases

In Riemannian manifolds, the decomposition of vectors along a submanifold extends the Euclidean case by utilizing the manifold's metric structure. For a submanifold M immersed in a Riemannian manifold (N, g), the tangent space T_p N at a point p \in M decomposes orthogonally as T_p N = T_p M \oplus \nu_p M, where T_p M is the tangent space to M equipped with the induced metric g|_M, and \nu_p M is the normal space, defined as the orthogonal complement of T_p M with respect to g. The tangential component of a vector v \in T_p N is the orthogonal projection onto T_p M, while the normal component is the projection onto \nu_p M. This decomposition holds pointwise across the tangent bundle TN, facilitating the study of extrinsic geometry via the Levi-Civita connection.^[26] When the codimension of M in N exceeds 1, the normal bundle \nu M has rank greater than 1, introducing additional complexity compared to hypersurface cases. The second fundamental form II: T_p M \times T_p M \to \nu_p M serves as the key object encoding normal curvature, defined as the normal component of the ambient connection: II(X, Y) = (\nabla_X Y)^\perp, where \nabla is the Levi-Civita connection on N and \perp denotes projection to \nu_p M. As a symmetric bilinear map valued in the normal space, II captures how geodesics in M deviate into multiple normal directions, unlike the scalar curvature in codimension 1. This structure arises naturally in the Gauss formula \nabla_X Y = \nabla^M_X Y + II(X, Y), where \nabla^M is the induced connection on M.^[27] A notable example occurs in symplectic geometry, where Lagrangian submanifolds illustrate how the normal bundle interacts with the ambient structure. In a symplectic manifold (N, \omega) of dimension $2n, a Lagrangian submanifold L satisfies \dim L = n and \omega|_L = 0, making T_p L a Lagrangian subspace whose symplectic complement (T_p L)^\omega = T_p L. The normal bundle \nu_p L \cong T_p^* L is canonically identified via the musical isomorphism induced by \omega, pairing tangent and normal directions through the non-degenerate bilinear form derived from the symplectic structure. This relation highlights how the "normal" directions encode cotangent information, distinct from purely metric orthogonality.^[28] In the context of Lie groups, the tangential-normal decomposition aligns with algebraic structure. For a Lie subgroup H of a Lie group G, the tangent space T_h G at h \in H decomposes as T_h G = T_h H \oplus \mathcal{N}_h, where T_h H is tangential to H and \mathcal{N}_h is a complementary subspace invariant under left translation by H. If H is normal in G, this complement identifies with the tangent space to the quotient manifold G/H, facilitating reductions in symmetric spaces and homogeneous geometries.^[29] Higher codimensions pose challenges in constructing consistent normal frames, as the normal bundle lacks a canonical orientation or preferred basis beyond codimension 1. Unlike hypersurfaces, where the normal is unique up to sign, multiple normal directions require additional choices, such as adapted frames aligned with geometric invariants like principal normal directions or group actions, to define meaningful decompositions without ambiguity.^[30]

Computations

Parametric Forms

For a parametric curve \gamma(t) in \mathbb{R}^3, the unit tangent vector \mathbf{T}(t) is defined as \mathbf{T}(t) = \frac{\gamma'(t)}{\|\gamma'(t)\|}, where \gamma'(t) is the first derivative with respect to the parameter t.^[31] This vector points in the direction of the curve's velocity and has unit length. The tangential component of an arbitrary vector \mathbf{v} at a point on the curve is the projection onto the tangent direction: \mathbf{v}_T = (\mathbf{v} \cdot \mathbf{T}) \mathbf{T}.^[32] The principal normal vector \mathbf{N}(t) arises from the projection of the second derivative \gamma''(t) onto the plane perpendicular to \mathbf{T}(t): first compute the normal component \gamma''(t) - (\gamma''(t) \cdot \mathbf{T}(t)) \mathbf{T}(t), then normalize it to unit length.^[33] Arc-length reparametrization simplifies these computations by ensuring the curve is traversed at unit speed. The arc-length parameter s satisfies \frac{ds}{dt} = \|\gamma'(t)\|, so \gamma(s) has \|\gamma'(s)\| = 1 and \mathbf{T}(s) = \gamma'(s).^[31] This reparametrization affects the scaling of tangential and normal components, as derivatives with respect to s directly yield unit vectors without normalization. For a parametric surface \mathbf{r}(u,v) in \mathbb{R}^3, the tangent space at a point is spanned by the partial derivatives \mathbf{r}_u and \mathbf{r}_v, which serve as a basis for tangential vectors.^[34] To obtain an orthonormal basis for this tangent plane, apply the Gram-Schmidt process to \{\mathbf{r}_u, \mathbf{r}_v\}, which involves the Gram matrix with entries g_{ij} = \mathbf{r}_{u_i} \cdot \mathbf{r}_{u_j} (where u_1 = u, u_2 = v) to orthogonalize and normalize the vectors.^[35] The unit normal vector \mathbf{n} is computed as \mathbf{n} = \frac{\mathbf{r}_u \times \mathbf{r}_v}{\|\mathbf{r}_u \times \mathbf{r}_v\|}, pointing perpendicular to the tangent plane.^[34] For an arbitrary vector \mathbf{v}, the tangential component in the surface is \mathbf{v}_T = \mathbf{v} - (\mathbf{v} \cdot \mathbf{n}) \mathbf{n}, subtracting the projection onto the normal direction. As an example, consider the elliptic curve parametrized by \gamma(t) = (a \cos t, b \sin t, 0) for t \in [0, 2\pi), where a > 0 and b > 0. The first derivative is \gamma'(t) = (-a \sin t, b \cos t, 0), so \|\gamma'(t)\| = \sqrt{a^2 \sin^2 t + b^2 \cos^2 t} and \mathbf{T}(t) = \frac{(-a \sin t, b \cos t, 0)}{\sqrt{a^2 \sin^2 t + b^2 \cos^2 t}}. The second derivative \gamma''(t) = (-a \cos t, -b \sin t, 0) yields the normal component after subtracting its projection onto \mathbf{T}(t); at t = 0, \mathbf{T}(0) = (0, 1, 0) (assuming normalization), \gamma''(0) = (-a, 0, 0), and the projection \gamma''(0) \cdot \mathbf{T}(0) = 0, so \mathbf{N}(0) points in the (-1, 0, 0) direction with unit length.^[33] For arc-length reparametrization, s(t) = \int_0^t \sqrt{a^2 \sin^2 \tau + b^2 \cos^2 \tau} \, d\tau, which is the elliptic integral, adjusting the components accordingly.

Implicit Forms

In the case of an implicit curve defined by f(x, y) = 0 in the plane, the gradient vector \nabla f = \left( \frac{\partial f}{\partial x}, \frac{\partial f}{\partial y} \right) at a point on the curve is perpendicular to the tangent line at that point, serving as a normal vector to the curve.^[36] This follows from the fact that for any curve \gamma(t) = (x(t), y(t)) lying on the level set with \gamma(0) = (x_0, y_0), the chain rule yields \nabla f \cdot \dot{\gamma}(0) = 0, showing orthogonality to the tangent vector \dot{\gamma}(0).^[37] A unit tangent vector \mathbf{T} can then be constructed as a normalized vector perpendicular to \nabla f, such as \mathbf{T} = \frac{ \left( -\frac{\partial f}{\partial y}, \frac{\partial f}{\partial x} \right) }{ \left\| \left( -\frac{\partial f}{\partial y}, \frac{\partial f}{\partial x} \right) \right\| }.^[38] For an implicit surface defined by F(x, y, z) = 0 in three-dimensional space, the unit normal vector is given by \mathbf{n} = \frac{\nabla F}{\|\nabla F\|}, where \nabla F = \left( \frac{\partial F}{\partial x}, \frac{\partial F}{\partial y}, \frac{\partial F}{\partial z} \right), assuming \nabla F \neq \mathbf{0}.^[36] The tangent plane at a point (x_0, y_0, z_0) on the surface consists of all vectors \mathbf{v} satisfying \nabla F(x_0, y_0, z_0) \cdot \mathbf{v} = 0, which defines the kernel of the linear form induced by the gradient.^[39] This orthogonality arises similarly from the chain rule applied to curves on the surface.^[37] To decompose an arbitrary vector \mathbf{v} into its tangential and normal components relative to such an implicit surface, the normal component is the orthogonal projection onto the normal direction: \mathbf{v}_N = (\mathbf{v} \cdot \mathbf{n}) \mathbf{n}, and the tangential component is \mathbf{v}_T = \mathbf{v} - \mathbf{v}_N, which lies in the tangent plane.^[40] For the implicit curve case, the decomposition is analogous, with the one-dimensional tangent direction spanned by \mathbf{T} and the normal direction perpendicular to it in the plane.^[38] However, at points where \nabla F = \mathbf{0} (or \nabla f = \mathbf{0} for curves), the gradient vanishes, rendering the normal undefined and indicating a singular point on the surface or curve.^[41]^[42] As an illustrative example, consider the unit circle defined implicitly by f(x, y) = x^2 + y^2 - 1 = 0. The gradient is \nabla f = (2x, 2y), so the unit normal at a point (x, y) on the circle is \mathbf{n} = (x, y). A unit tangent vector is then \mathbf{T} = (-y, x). For a vector \mathbf{v} at this point, the normal component is \mathbf{v}_N = (\mathbf{v} \cdot \mathbf{n}) \mathbf{n}, and the tangential component is \mathbf{v}_T = \mathbf{v} - \mathbf{v}_N.^[36] No singularities occur on this smooth curve, as \|\nabla f\| = 2 > 0 everywhere on the level set.^[41]

Applications

Classical Mechanics

In classical mechanics, the tangential and normal components provide a natural decomposition for describing the kinematics of a particle moving along a curved path in space. The velocity vector \mathbf{v} of the particle is aligned with the unit tangent vector \mathbf{T} to the path, expressed as \mathbf{v} = v_T \mathbf{T}, where v_T is the tangential speed, representing the magnitude of the velocity.^[43] The acceleration \mathbf{a} then decomposes into tangential and normal components: \mathbf{a} = a_T \mathbf{T} + a_N \mathbf{N}, with the tangential acceleration a_T = \frac{dv_T}{dt} accounting for changes in speed along the path, and the normal (centripetal) acceleration a_N = \frac{v_T^2}{\rho} = v_T^2 \kappa directed toward the center of curvature, where \rho is the radius of curvature and \kappa = 1/\rho is the curvature.^[43] This decomposition, often analyzed using the Frenet frame for curves, separates the effects of speed variation from directional changes.^[44] Applying Newton's second law \mathbf{F} = m \mathbf{a} to this framework, the net force on the particle splits accordingly: the tangential force F_T = m a_T drives changes in speed, while the normal force F_N = m \frac{v_T^2}{\rho} supplies the centripetal force required to maintain the curved trajectory.^[43] In the absence of tangential forces, such as in frictionless motion, a_T = 0 and the speed v_T remains constant.^[45] A classic example is uniform circular motion, where the particle maintains constant speed (a_T = 0), so acceleration is purely normal: \mathbf{a} = \frac{v_T^2}{r} \mathbf{N}, with the centripetal force provided by tension or gravity, as in a pendulum or orbiting body.^[43] For banked curves on roads, the normal force from the surface has a component that balances gravity vertically while its horizontal component supplies the required centripetal force F_N \sin \theta = m \frac{v^2}{r}, allowing frictionless travel at design speed v = \sqrt{r g \tan \theta}, where \theta is the banking angle and g is gravitational acceleration.^[45] In three-dimensional paths, the Frenet-Serret frame extends to include the binormal vector \mathbf{B} = \mathbf{T} \times \mathbf{N}, with torsion \tau quantifying the twisting of the osculating plane out of the local tangent-normal plane. The full acceleration still lies in the \mathbf{T}-\mathbf{N} plane.^[46] For conservative systems or motion with no tangential forces, such as free particle paths along geodesics in constrained settings, tangential momentum m v_T is conserved, preserving speed along the trajectory while normal components handle curvature.^[47]

Computer Graphics and Visualization

In computer graphics, tangential and normal components play a crucial role in rendering realistic surfaces and curves by enabling efficient computation of lighting, texture perturbations, and geometric approximations. These components allow for the simulation of complex visual effects, such as surface details and light interactions, without requiring high-polygon geometry, which is essential for real-time performance in visualization pipelines.^[48] Normal mapping is a technique that perturbs the interpolated surface normals of a low-resolution mesh using a texture map to simulate fine-scale bump details, thereby adding visual complexity without altering the underlying geometry. The perturbations are typically stored in tangent space, where the tangent vector provides a local coordinate frame orthogonal to the normal, facilitating the mapping of texture coordinates to surface directions for seamless application across the model. This approach, originally proposed for simulating wrinkled surfaces, enhances rendering efficiency by decoupling geometric detail from shading calculations.^[48]^[49] In local illumination models like Phong and Blinn-Phong shading, the normal vector is used to compute diffuse and specular contributions by projecting the light direction onto the surface. The diffuse term relies on the cosine of the angle between the normal \mathbf{n} and light vector \mathbf{L}, given by \mathbf{n} \cdot \mathbf{L}, which determines how much light scatters directly. For specular highlights, the Blinn-Phong variant uses a halfway vector between the view and light directions, projected against the normal in the tangent plane to approximate glossy reflections more efficiently than the original Phong model. These methods, foundational to real-time rendering, leverage tangential components to orient specular lobes relative to the surface.^[50]^[51] For rendering curves as thickened structures, such as tubes, the Frenet frame provides a local coordinate system where the tangent defines the curve direction, and the normal and binormal offset cross-sections perpendicularly to generate the tube surface. However, in regions of high torsion, this can lead to artifacts such as self-intersections or wrinkles; alternative frames are sometimes used to mitigate these issues, enabling smooth visualization of paths like molecular chains or wires in scientific rendering.^[52] Subdivision surfaces approximate smooth geometry from coarse control meshes, and computing vertex normals from the limit surface or control net ensures consistent shading across refined patches. By averaging adjacent face normals weighted by angles or using eigenanalysis of the subdivision matrix, these normals capture the tangential continuity, preventing faceting artifacts in rendered models like animated characters.^[53] In ray tracing, the intersection of a ray with a surface requires decomposing the ray direction into tangential and normal components to accurately compute refraction. The incident direction is split as \mathbf{d} = (\mathbf{d} \cdot \mathbf{n}) \mathbf{n} + \mathbf{d}_\perp, where \mathbf{d}_\perp is the tangential part unchanged by refraction, and the normal component scales by the refractive index ratio per Snell's law, enabling realistic simulation of light bending through materials like glass.^[54] Shape operators, which encode principal curvatures, can be referenced briefly for curvature-based shading enhancements that amplify highlights in convex regions.^[55]

References

[1]
8.5Tangential And Normal Components
The scalars aT=ddt|⃗v(t)| a T = d d t | v → ( t ) | and aN=κ|⃗v|2 a N = κ | v → | 2 are the tangential and normal components of acceleration. All we have to do ...
[2]
Calculus III - Velocity and Acceleration - Pauls Online Math Notes
Jan 17, 2023 · In the tangential component, v v , may be messy and computing the derivative may be unpleasant. In the normal component we will already be ...
[3]
Motion on a curvy track | ME 274: Basic Mechanics II
Velocity is always TANGENT to the path. · Acceleration, in general, has BOTH tangential and normal components. · The normal component of acceleration always ...<|control11|><|separator|>
[4]
[PDF] INTRODUCTION TO DIFFERENTIAL GEOMETRY - ETH Zürich
It begins by defining manifolds in the extrinsic setting as smooth submanifolds of Euclidean space, and then moves on to tangent spaces, submanifolds and ...
[5]
[PDF] DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces
We define the tangent plane of M at P to be the subspace. TP M spanned ... tangent space of M and e3 D n. How do we know such a moving frame exists? If ...
[6]
[PDF] EXISTENCE OF TUBULAR NEIGHBORHOODS Let Mm ⊂ Rm+n be ...
At each p ∈ M, the tangent space. TpM is a subspace of Rm+n, and we denote by νpM (normal space at p) its orthogonal complement. These subspaces fit ...
[7]
[PDF] Second-Order Geometry - Optimization Algorithms on Matrix Manifolds
tangent space TxM can be decomposed as the direct sum of TxM and its orthogonal complement (TxM)⊥, called the normal space to the Rieman nian submanifold M ...
[8]
[PDF] 1 Euclidean space Rn
For instance, if M is a hypersurface (i.e., k = n−1, and F is a scalar-valued function, then the tangent space TxM is the orthogonal complement to the.
[9]
[PDF] INTRODUCTION TO DIFFERENTIAL GEOMETRY - ETH Zürich
Jan 11, 2011 · The orthogonal projection of R3 onto the tangent space TpM = ν(p)⊥ is given by the 3 × 3-matrix. Π(p) = 1l − ν(p)ν(p)T . Hence. dΠ(p)u = −ν ...
[10]
[PDF] the geometry of algorithms with orthogonality constraints
The normal space is the orthogonal complement. On the sphere, tangents are ... tangent space of the Grassmann manifold at [Y ] is given by all n-by-p ...
[11]
https://math.libretexts.org/Bookshelves/Calculus/Supplemental_Modules_(Calculus)/Vector_Calculus/2:_Vector-Valued_Functions_and_Motion_in_Space/2.3:_Curvature_and_Normal_Vectors_of_a_Curve
[12]
[PDF] Math 162A - Introduction to Differential Geometry
It is the directed line segment from the point with position vector p to the point with position vector p + v. The tangent space at p is the set TpR3 of all ...
[13]
[PDF] DIFFERENTIAL GEOMETRY: A First Course in Curves and Surfaces
... tangent vector field is parallel along his path. Physically, this means that if he travels at constant speed, any acceleration should be normal to the surface.
[14]
[PDF] 1 The Differential Geometry of Curves - Robotics
The Frenet-Serret frame is the right-handed coordinate frame whose origin is located at α(s) and whose basis vectors are α′ (s), n(s), and b(s). 1.2 Torsion.
[15]
Decomposition of Acceleration - Ximera - The Ohio State University
We'll derive a useful decomposition of the acceleration vector as a linear combination of the unit tangent and unit normal vectors.
[16]
3.3 Arc Length and Curvature - Calculus Volume 3 | OpenStax
Mar 30, 2016 · In the case of a three-dimensional curve, we start with the formulas T ( t ) = ( r ′ ( t ) ) / ‖ r ′ ( t ) ‖ T ( t ) = ( r ′ ( t ) ) / ‖ r ′ ( ...Missing: source | Show results with:source
[17]
[PDF] The Frenet–Serret formulas∗ - Brooklyn College
Jan 19, 2017 · Hence, for a curve that we want to calculate the curvature or the torsion, we may set up the coordinate system x, y, z and choose a.
[18]
Calculus III - Parametric Surfaces - Pauls Online Math Notes
Mar 25, 2024 · In this section we will take a look at the basics of representing a surface with parametric equations.
[19]
3.1 Tangent plane and surface normal - MIT
The tangent vector to the curve on the surface is evaluated by differentiating $ {\bf r}(t)$ with respect to the parameter $ t$ using the chain rule.
[20]
[PDF] Basics of the Differential Geometry of Surfaces - CIS UPenn
Kn = KNN+Kgng, where N is the normal to the surface at p, and Kgng is a tangential component nor- mal to the curve.
[21]
[PDF] Differential Geometry of Surfaces - People @EECS
The unit normal N of a surface S at p is the vector perpendicular to S, i.e. the tangent plane of S, at p. N can be calculated given a general nondegenerate ...
[22]
[PDF] Differential Geometry: a concise introduction - UC Homepages
EG−F 2 is the Gauss curvature; and. Page 33. 2.2 Gauss map & Shape operator. 28. • the eigenvalues κi = H±. √. H2 − K of S are the principal curvatures of the ...
[23]
[PDF] Chapter 5. The Second Fundamental Form
The Gaussian curvature is the more important of the two curvatures; it is what is meant by the curvature of a surface. A famous discovery by Gauss is that.
[24]
[PDF] basic geometry of submanifolds
Nov 30, 2002 · The inner product and the norm of Euclidean space enter the definition of length only via their restriction to the tangent spaces Tc(t)f. To ...
[25]
[PDF] arXiv:1711.02978v1 [math.DG] 8 Nov 2017
Nov 8, 2017 · where ∇XY and h(X, Y ) are the tangential and the normal components of ˜∇X Y . Similarly, −AηX and DXη are the tangential and normal components ...
[26]
[PDF] The mean curvature flow of submanifolds of high codimension - arXiv
program: First, in high codimension the second fundamental form has a much more complicated structure than in the hypersurface case. In particular, under ...
[27]
[PDF] An Introduction to Symplectic Geometry for Lagrangian Floer ...
}. This subspace is called the symplectic complement of V1 in V . ... dimM. If N is a Lagrangian submanifold, we can canonically identify its normal bundle.
[28]
[PDF] Introduction to Lie Groups and Lie Algebras Alexander Kirillov, Jr.
Thus, we see that for any Lie group, its tangent space at identity g = T1G has a canonical skew-symmetric bilinear operation, which appears as the lowest ...
[29]
[PDF] The Second Variation for Null-Torsion Holomorphic Curves in the 6 ...
Dec 3, 2021 · ... high codimension (at least 2) in round spheres ... Using U(2)-adapted frames, we can understand the holomorphic structures on LT and QNB.
[30]
2.4: The Unit Tangent and the Unit Normal Vectors - Math LibreTexts
Oct 27, 2024 · The unit tangent vector is the unit vector in the direction of the velocity vector. The principal unit normal vector is the unit tangent vector ...
[31]
1.6: Curves and their Tangent Vectors - Mathematics LibreTexts
May 28, 2023 · While we will often use $t$ as the parameter in a parametrized curve $\vec{r}(t)\text{,}$ there is no need to call it $t\text{.}$ ...Example 1.6.1... · Example 1.6.3... · Derivatives and Tangent Vectors · Exercises
[32]
2.3: Curvature and Normal Vectors of a Curve - Math LibreTexts
Oct 27, 2024 · This means a normal vector of a curve at a given point is perpendicular to the tangent vector at the same point. Furthermore, a normal vector ...
[33]
2.7: Parametric Surfaces - Mathematics LibreTexts
Oct 27, 2024 · To find a normal vector, we just cross the two tangent vectors. Example 2 . 7 . 4. Find the equation of the tangent plane to the surface.Definition: Parametric Surfaces · Example 2 . 7 . 3 · Normal Vectors and Tangent...
[34]
[PDF] Estimating Differential Quantities Using Polynomial Fitting of ...
A Gram-Schmidt orthonormalization of the basis {Xu,Xv} gives another basis. {Y,Z} of the tangent space. The diagonalization of the sym- metric matrix ...<|control11|><|separator|>
[35]
Calculus III - Gradient Vector, Tangent Planes and Normal Lines
Nov 16, 2022 · In this section discuss how the gradient vector can be used to find tangent planes to a much more general function than in the previous ...
[36]
https://tutorial.math.lamar.edu/classes/calciii/gradientvectortangentplane.aspx
[37]
4.6 Directional Derivatives and the Gradient
Apr 18, 2024 · Tangent Lines to Level Curves. This is perpendicular to the gradient vector , ⟨ ∂ F ∂ x ( x 0 , y 0 ) , ∂ F ∂ y ( x 0 , y 0 ) ⟩ , so the ...
[38]
Tangent Planes to Implicit Functions
Well, for implicit surfaces, the tangent plane is the set of points (x,y,z) that satisfy the equation (grad f(a,b,c))((x,y,z)-(a,b,c)) = 0 where (a,b,c) is a ...
[39]
Scalar and Vector Projections | CK-12 Foundation
The vector projection of one vector onto a second vector is the dot product of the two vectors and the unit vector defining the direction of the second vector.
[40]
Singularity of a surface - multivariable calculus - Math Stack Exchange
Apr 2, 2017 · A surface is singular at a point when the gradient of the function vanishes at that point. For example, the cone G(x,y,z)=0 has a singularity ...How can I see mathematically that these two singularities are ...Can an implicit surface be singular over a set of measure that is non ...More results from math.stackexchange.com
[41]
Basic Concepts
A point on a parametric or implicit surface is singular if all partials are zero. ... singular point because at this point all components of the gradient are zero ...
[42]
[PDF] Classical Mechanics - Richard Fitzpatrick
Answer: The tangential acceleration of the car is aθ = 0.6m/s. When the car travels with tangential velocity v its centripetal acceleration is ar = v2/r.
[43]
[PDF] Classical Mechanics - UC Homepages
Nov 30, 2023 · the tangential acceleration is the change in speed, the change in direction is irrelevant. ... The normal acceleration does not depend on.
[44]
[PDF] Lecture 7 – Uniform Circular Motion - Purdue Physics
Sep 13, 2016 · Components of Circular Motion. 25. Another Example. • Highway curves are banked to prevent cards from skidding off the road. • The angle of the ...
[45]
[PDF] Differential Geometry in Physics - UNCW
. Equation 1.41 is important in physics. The equation states that a particle moving along a curve in space feels a component of acceleration along the.<|separator|>
[46]
[PDF] Mechanics (UCSD Physics 110B)
Jan 1, 2009 · Rotational symmetry of laws of Physics implies conservation of Angular Momentum. ... We minimize S to take the shortest path, the geodesic.<|control11|><|separator|>
[47]
[PDF] James F. Blinn Caltech/JPL Abstract Computer generated ... - Microsoft
SIMULATION OF WRINKLED SURFACES. James F. Blinn. Caltech/JPL. Abstract. Computer generated shaded images have reached an impressive degree of realism with the ...
[48]
[PDF] A Survey of Efficient Representations for Independent Unit Vectors
Apr 17, 2014 · This survey covers time- and space-efficient representations for independent unit vectors in 3D graphics, like surface normals, for GPU ...
[49]
[PDF] Illumination for Computer Generated Pictures
The Gouraud model needs one inter- polator for the shading function. It must compute a new shading value for each raster unit, and hence must be very high speed ...Missing: citation | Show results with:citation
[50]
[PDF] James F. Blinn University of Utah
This paper presents a more accurate function for the generation of hilights which is based on some experimental measurements of how light reflects from real.
[51]
[PDF] The differential geometry of tube plots and computer graphics - UMBC
With the Frenet-Serret system in hand, we can construct a “tube” of radius r about the curve by defining a surface with parameters s and t: (2) tube(s, t) = x(s) ...Missing: frame | Show results with:frame
[52]
[PDF] Piecewise Smooth Subdivision Surfaces with Normal Control
In this paper we introduce improved rules for Catmull-Clark and. Loop subdivision that overcome several problems with the origi- nal schemes, namely, lack of ...
[53]
HW1
To compute the direction of the exit ray w2, take the dot product of entering ray direction w1 with the surface normal n. This will let you decompose w1 ...
[54]
[PDF] GPU Curvature Estimation on Deformable Meshes - UMBC
Another way to represent curvature is normal curvature, k(u). A theorem relates normal curvature to the shape operator: k(u) = S(u) · u. (5). The maximum and ...