Comprehensive Notes on CAD/CAM/CAE, Solid Modeling, and Differential Geometry of Curves and Surfaces

Digital Design and Manufacturing Architecture

  • Computer-Aided Design (CAD):

    • Software dedicated to assisting the geometric definition and configuration of individual mechanical parts and multi-component assemblies.
    • High-End Mechanical CAD (MCAD) Systems: NX/Unigraphics, CATIA, I-DEAS.
    • Mid-Level MCAD Systems: CREO, Inventor, SolidWorks, SolidEdge.
    • Low-End / Specialty CAD Modeler Systems: TurboCAD, Ansys Design Modeler, SpaceClaim, Rhino.
  • Computer-Aided Engineering (CAE):

    • Dedicated to engineering analysis, simulation, and multi-objective optimization.
    • Analytical methodologies incorporate Finite Element Analysis (FEA), Finite Difference Analysis (FDA), and Computational Fluid Dynamics (CFD).
    • Leading CAE Software Packages: ANSYS, NASTRAN, ABAQUS, LS/DYNA.
  • Computer-Aided Manufacturing (CAM):

    • Facilitates production preparation, physical tooling coordination, and fabrication simulations.
    • Computer-Aided Process Planning (CAPP): Used to plan, sequence, and document machining and manufacturing operations.
    • Computer Numerical Control (CNC): Toolpath generation and multi-axis machine trajectory programming; industry solutions include MasterCAM, FeatureCAM, DelCAM.
    • Process Simulation Software: Specialized physical simulation packages such as MagmaSoft (casting simulation) and MoldFlow (injection molding simulation).
  • Computer-Aided Tolerance System (CATS):

    • Specialized software designed for multi-dimensional statistical and kinematic tolerance analysis and stack-up calculation.
    • Standard CATS Applications: VisVSA, Tecnomatix, Sigmetrix.
  • Product Data Management (PDM) / Product Lifecycle Management (PLM):

    • Enterprise data infrastructure managing all digital design, engineering, and manufacturing files generated across CAD, CAE, and CAM workflows.
    • Controls model revisions, system configurations, access permissions, and component versioning throughout product life cycles.
    • Representative PLM/PDM Systems: ENOVIA (paired with CATIA), TEAMCENTER (paired with NX), Windchill (paired with CREO).

Digital Design and Manufacturing Interaction Diagram

Geometric Modeling Paradigms: Wireframe, Surface, and Solid

  • Wireframe Modeling:
    • Geometric representation consisting strictly of discrete points and interconnecting lines/curves; volumetric interior and exterior are undefined.
    • 2D Wireframes: Coordinate endpoints are defined entirely in two-dimensional space (x,y)(x, y); viewports operate independently, necessitating manual adjustments and updates across drawing projections.
    • 3D Wireframes: Coordinates defined in three-dimensional space (x,y,z)(x, y, z); updates or geometric changes automatically propagate across corresponding orthogonal projections.
    • Primary Applications: Fundamental engineering drafting, schematic generation, and computationally lightweight graphical displays.
    • Inherent Drawbacks: Ambiguous visual interpretations; absence of guaranteed topological and solid validity; complete inability to accurately represent complex curved surfaces or cross-sections.

2D Wireframe versus 3D Wireframe

  • Surface Modeling:
    • Objects are defined by their exterior mathematical boundaries without volumetric mass content.
    • Can be generated either with structured topological connectivity or without topological relationships (e.g., untrimmed freeform surfaces).
    • Topological Surface Models: Include mathematical definitions of bounding faces, bounding edges, and bounding vertices, linked through rigorous relational constraints.
    • Advantages: Eliminates wireframe ambiguity; capable of generating and manipulating complex sculpted, aesthetic, and aerodynamic freeform curves and surfaces.
    • Disadvantages: Surfaces possess zero thickness and provide no intrinsic differentiation between interior and exterior spaces; incapable of evaluating mass properties (volume, center of gravity, moments of inertia); cannot support volumetric Boolean operations; susceptible to invalid geometry such as self-penetrations.

Topologically Structured Surface Model versus Non-Topological Freeform Surface

  • Solid Modeling:
    • Comprehensive mathematical and digital data structures that completely and unambiguously delineate the material containment, boundaries, and spatial volume of a 3D physical body.
    • Explicitly distinguishes the internal material volume from the external empty space.
    • Distinct from wireframe models (3D Wireframe≠Solid Model\text{3D Wireframe} \neq \text{Solid Model}) and surface models (3D Surface Model≠Solid Model\text{3D Surface Model} \neq \text{Solid Model}).

Solid Modeling Theory, Topology, and Manifold Properties

  • Fundamental Terminology:

    • Geometry: The quantitative mathematical formulation describing the spatial dimensions, precise sizes, coordinates, positions, and shapes of curves, surfaces, and bodies.
    • Topology: The non-metric mathematics describing the underlying neighborhood relationships, adjacency, and connectivity between the boundary entities of an object.
    • Manifold Solid: An object that completely and unambiguously encloses a finite, uninterrupted region of space; mathematically and dimensionally homogeneous with a standard sphere or torus.
    • Non-Manifold Solid: An object that fails to completely enclose a valid region of space, exhibiting mathematical aberrations such as open surfaces, dangling planar faces, dangling line segments, or singular point contacts.
  • Constitutive Characteristics of Manifold Solids:

    • Closed: Possesses a strict continuous partition separating interior space from exterior space.
    • Boundary and Interior: Employs an explicit mathematical distinction between internal points and boundary boundaries.
    • Connected: Any arbitrary pair of interior points can be connected by a continuous interior trajectory without traversing beyond the object boundary.
    • Dimensionally Homogeneous: Uniform 3D dimensionality across the entire body, completely lacking dangling edges, floating faces, or unconnected vertices.
    • Rigid: Preserves shape and spatial dimensions under rigid body translations and rotations.
    • Non-Self-Intersecting: Boundaries do not self-intersect or overlap across themselves.
    • Orientable: Exhibits a continuous, globally consistent surface normal vector, ensuring an unambiguous sense of right and left relative to the exterior and interior.
    • Manufacturability: Manifold solids represent physically realizable and manufacturable parts.

Invalid Geometric Modeling Manifestations

  • Point Set Classification (The Litmus Test):
    • The foundational algorithm utilized by solid modelers to prevent the creation of invalid geometry and to verify solid validity.
    • Given an arbitrary solid model and an evaluation point in space, the classifier categorizes the point into exactly one of three mutually exclusive sets:
      • Point is strictly outside the object.
      • Point is strictly inside the object.
      • Point lies exactly on the boundary of the object.

Point Set Classification Scheme

  • Point Set Topology and Boolean Operations:
    • A valid boundary (edge, face) is defined as one that does not self-intersect.
    • A closed physical body SS is defined mathematically as the union of two infinite point sets: interior points SiS_i and boundary points SbS_b:         S={Si,Sb}S = \{S_i, S_b\}
    • For two distinct bodies AA and BB defined by their respective interior and boundary sets:         A=(Ai∪Ab)A = (A_i \cup A_b)B=(Bi∪Bb)B = (B_i \cup B_b)
    • The formal intersection Boolean operation A∩BA \cap B expands across all constituent point set domains:         A∩B=(Ai∪Ab)∩(Bi∪Bb)A \cap B = (A_i \cup A_b) \cap (B_i \cup B_b)A∩B=(Ab∩Bb)∪(Ai∩Bb)∪(Ab∪Bi)∪(Ai∪Bi)A \cap B = (A_b \cap B_b) \cup (A_i \cap B_b) \cup (A_b \cup B_i) \cup (A_i \cup B_i)

Point Set Intersection Topologies

  • Topological Invariance and Homeomorphism:
    • Topological transformations permit geometric deformations that do not disconnect entities that were connected, nor connect entities that were disconnected.
    • Objects that can be morphed into one another through continuous, reversible topological transformations are designated homeomorphic.
    • Permissible Transformations (Homeomorphic):
      • Circle to ellipse to rounded rectangle to sharp rectangle to irregular closed polygon.
      • Torus to single-handle coffee cup.
      • Torus to single band ring.
    • Impermissible Transformations (Non-Homeomorphic):
      • Continuous loop circle transformed to a intersecting figure-8 (connects previously disconnected boundary points).
      • Torus transformed into a solid topological cube (alters the topological genus / eliminates the through-hole).
      • Single-band ring transformed into a dual-handled cup (changes the number of topological through-holes/genus from 1 to 2).

Homeomorphic Transformations and Topological Invariance

Boundary Representation (BRep) and Constructive Solid Geometry (CSG)

  • Constructive Solid Geometry (CSG):

    • An implicit, procedural modeling representation recording the historical sequence of 3D volumetric operations, primitive feature generations, and Boolean set manipulations.
    • Characteristics: An implicit model where the resulting boundary geometry is not immediately or explicitly stored; requires full recalculation and evaluation of the entire operation tree to visualize or inspect the final body.
  • Boundary Representation (BRep):

    • An explicit geometric modeling approach containing exclusively the final resultant boundary entities (faces, edges, vertices) with no historical operation record.
    • Characteristics: Directly exposes and indexes every boundary entity bounding the material containment.
    • Hybrid Modeling: Modern commercial CAD packages operate as hybrid modelers, leveraging CSG for feature history management and parametric editing, coupled with BRep to store explicit evaluated boundaries.
  • Topological Entities versus Geometric Entities:

    • A BRep data structure maintains a dual hierarchy connecting topological boundary definitions to underlying parametric geometric functions:
Topological EntityDefined By (Topology)Corresponding Geometric EntityDefined By (Geometry)
VertexEdges it connectsPointExact coordinates (x,y,z)(x, y, z)
EdgeBoundary of a faceCurveShape, size, and spatial position equations
FaceEnclosing loop of edgesSurfaceShape, size, and spatial position equations
  • Topological Hierarchy Elements:
    • Vertex: Establishes the terminating boundary of an edge; defined spatially as the intersection where two or more edges meet.
    • Edge: Defines the boundary perimeter of a face; represents the line or curve where two adjacent faces intersect.
    • Face: Defines the exterior and interior boundaries of a solid object. A connected collection of open faces lacking a closed volume defines a sheet body.

Topological Boundary Entities and Adjacency

  • Advanced BRep Entities:
    • Lump: Represents an entirely disconnected, distinct solid piece managed within a single overall solid object definition (e.g., one CAD part file composed of three disjoint physical lumps).
    • Shell: Represents an unbroken, connected set of faces defining a completely enclosed boundary or internal void/cavity within a lump. A lump contains at least one external shell and zero or more internal shells representing interior voids.
    • Loop: An ordered closed circuit of bounded edges forming the perimeter of a face. A face is defined by exactly one exterior outer loop, and zero to nn interior loops representing through-holes, pockets, or interior boundaries.
    • Edge Orientation Rule: Traversal orientation of edges along a loop requires that the material face region always resides on the right side of the traversing direction vector.

Advanced BRep Hierarchy: Lumps, Shells, and Loops

  • BRep Data Structure Organization and Validation:
    • Data structures are complex, redundant, and verbose, implementing bi-directional relational pointers: bodies point to lumps, lumps to shells, shells to faces, faces to loops, loops to coedges, coedges to edges, and edges to vertices.
    • Geometry pointers map vertices to points (APOINT), edges to spatial curves (CURVE / PCURVE), and faces to underlying mathematical surfaces (SURFACE).
    • Topological integrity and valid closure of the BRep data graph are verified mathematically via the Euler-Poincaré Formula.

Simplified BRep Hierarchical Data Graph

CAD Feature Trees and Parametric History Editing

  • Parametric Geometry Construction Workflow:
    • 2D Tools: Sketch generation (lines, circular arcs, splines), dimensional constraints (length, radius, angle, offset), and geometric constraints (tangency, concentricity, parallelism, perpendicularity).
    • 3D Direct Shapes: Primitive instantiation (spheres, cylinders, blocks, tori) and catalog features.
    • Swept Profiles: Solids generated by sweeping 2D profiles along trajectories (linear extrusion sweeps, rotational sweeps, general path sweeps).
    • Multi-Section Profiles: Lofting and skinning transitions between multiple independent cross-sections.
    • Progressive Shape Building: CSG Boolean combination operations—Union (A∪BA \cup B), Difference (A−BA - B or B−AB - A), and Intersection (A∩BA \cap B).
    • Secondary Feature Operations: Localized modifications including fillets, chamfers, draft tapers, spatial transformations, shelling, mirroring, and scaling.

CAD Modeling Operations: Sweeps, Lofts, Booleans, and Fillets

  • Construction History Trees and Editing Mechanisms:

    • Common edits comprise modifying dimensional constraint values, modifying sketch entities, altering feature extrusion/depth parameters, and adding, reordering, suppressing, or deleting features.
    • Parametric updating relies on roll-back and roll-forward execution pipelines across the construction history graph.
    • Tree Architecture: Leaf nodes correspond to primitive sketch/volume features; interior branching nodes correspond to Boolean operations (Union, Difference, Intersection).
    • History Tree versus SolidWorks Feature/Specification Tree:
      • SolidWorks Feature/Spec Tree: Chronological display listing all created entities, sketches, datums, reference planes, and features in the order of user creation.
      • Construction History Tree: Strict mathematical CSG evaluation tree showing exclusively 3D volumetric features and Boolean operators organized in the logical execution hierarchy required for regeneration.
  • Structural Topologies of Feature Trees:

    • Linear Tree:
      • Arises when operations are executed sequentially onto a single growing central body without establishing independent sub-branches.
      • Creates deep trees with numerous hierarchical levels (e.g., 11 nodes11\text{ nodes} spanning 5 levels5\text{ levels}).
      • Parametric modifications require long-distance rollbacks, triggering extensive recalculations that affect downstream features.
      • Results in enlarged file sizes, slower regeneration performance, and higher failure susceptibility during rebuilds.
    • Bushy Tree:
      • Constructed by generating several independent solid bodies or sub-assemblies in parallel and combining them via discrete Booleans into the main object.
      • Produces shallow, wide tree topologies with fewer hierarchical levels (e.g., 11 nodes11\text{ nodes} spanning only 3 levels3\text{ levels}).
      • Modifications require minimal localized rollbacks, isolating rebuilds to specific branches without recalculating the entire model.
      • Yields smaller file sizes, faster execution speeds, and superior error isolation.

Comparative Topologies: Deep Linear Tree versus Shallow Bushy Tree

2D Sketching, Degrees of Freedom, and Constraints

  • Fundamentals of 2D Sketching:

    • Serves as the geometric foundation for sketch-based sweep features (extrusions, revolutions, path sweeps, and lofts).
    • Working Sketch Supports: Can be located on a default global coordinate plane (xyxy, yzyz, or zxzx), on an existing planar face of a solid body, or on a newly created construction datum plane.
    • Utilizes dimensional constraints (linear distances, angles, radii, diameters) and geometric constraints (parallelism, perpendicularity, tangency, collinearity, concentricity, coincident points).
  • Sketch Constraint States:

    • Under-constrained: Entities retain unconstrained degrees of freedom; insufficient constraints exist to establish unique spatial positions and sizes.
    • Over-constrained: Conflicting or redundant constraints applied simultaneously, rendering algebraic solutions impossible.
    • Fully constrained: All geometric entities possess zero remaining degrees of freedom, completely locked by valid constraints.
    • Well-constrained: A mathematically stable fully constrained state containing no redundant, competing, or conflicting algebraic equations.
  • Degrees of Freedom (DoFs) of 2D Geometric Entities:

    • The degree of freedom of an entity represents the minimum number of independent scalar parameters required to uniquely establish its spatial configuration, size, and orientation.
Geometric EntityDegrees of Freedom (DoFs)Governing Equation / Parameters
Point22x,yx, y coordinates
Infinite Line22y=mx+cy = mx + c (Slope mm and intercept cc)
Finite Line44(y−y1)(x2−x1)=(x−x1)(y2−y1)(y - y_1)(x_2 - x_1) = (x - x_1)(y_2 - y_1) (Two endpoints: x1,y1,x2,y2x_1, y_1, x_2, y_2)

Curve Representations: Analytical vs Parametric

  • Analytical (Non-Parametric) Plane Curve Representations:

    • Implicit Form: Formulates an algebraic relationship between spatial variables without explicitly isolating one variable in terms of the others:         f(x,y)=0f(x, y) = 0
    • Explicit Form: Directly defines a single dependent coordinate variable as an evaluated function of an independent variable:         y=f(x)y = f(x)
  • Classification of Standard Analytical Functions:

Function EquationMathematical Classification
y=x2+3xy = x^2 + 3xExplicit
x2+y2=r2x^2 + y^2 = r^2Implicit
y=x2−5x+6y = x^2 - 5x + 6Explicit
x3+y3−9xy=0x^3 + y^3 - 9xy = 0Implicit
sin⁡(y)+y3=6−x3\sin(y) + y^3 = 6 - x^3Implicit
  • Parametric Representation of Curves:
    • Decouples spatial coordinates by expressing each axis variable as an independent scalar function of a common bounded parameter uu, where a≤u≤ba \le u \le b:         R(u)=(x(u),y(u),z(u))=(x1(u),x2(u),x3(u))R(u) = (x(u), y(u), z(u)) = (x_1(u), x_2(u), x_3(u))
    • Expressed in column vector notation:         R(u)=(xyz)=(x(u)y(u)z(u))R(u) = \begin{pmatrix} x \\ y \\ z \end{pmatrix} = \begin{pmatrix} x(u) \\ y(u) \\ z(u) \end{pmatrix}
    • Functions R(u)R(u) and x(u)x(u) must be at least once continuously differentiable (≥1\ge 1 times differentiable).
    • Substituting a discrete scalar value of uu yields the precise spatial coordinates of that point along the interior of the curve.
    • Essential Attributes for CAD Curves: Parametric functions f(u)f(u), g(u)g(u), and h(u)h(u) must exhibit continuous smoothness, possess robust numerical stability, and support computationally efficient user interaction.

Parametric Curve Vector in Three-Dimensional Space

Bézier Curves and Spline Degrees of Freedom

  • Bézier Curves Summary:
    • Controlled indirectly via an ordered sequence of control points (defining the control polygon).
    • Curve strictly interpolates (passes directly through) the first and last control points; it approximates intermediate control points without passing through them.
    • Generates inherently smooth, continuous polynomial paths.
    • Polynomial Order Dependency: The polynomial degree is directly governed by the quantity of control points; a curve defined by n+1n + 1 control points yields an nthn^{\text{th}}-degree polynomial curve.
    • Global Support Property: Lacks localized control; displacing a single control point alters the mathematical formulation and shape across the entire curve.

Bézier Curves with Respective Control Polygons

  • Spline Degrees of Freedom (DoFs):
    • In a conventional 3D Cartesian coordinate system, every spatial control point has 3 DoFs3\text{ DoFs} (x,y,zx, y, z). Consequently, a polynomial spline defined by nn control points has:         Total DoFs=3×n\text{Total DoFs} = 3 \times n
    • When utilizing 4D homogeneous coordinates (x,y,z,wx, y, z, w), each point possesses 4 DoFs4\text{ DoFs}. A rational spline defined across nn control points possesses:         Rational Spline DoFs=4×n\text{Rational Spline DoFs} = 4 \times n
    • The implementation of non-uniform knot spacing introduces additional independent degrees of freedom.
    • Functional Purpose of Elevated DoFs: Expands the mathematical capacity to produce diverse complex geometries and satisfies complex boundary and tangency constraints.
    • Critical Distinction: Spline degrees of freedom are strictly determined by the degrees of freedom of its control points, not by interpolated through-points.

Differential Geometry of Curves: Tangent, Curvature, and Arc Length

  • Curve Parametrization:

    • A 3D space curve is defined by position vector P(u)P(u), where uu serves as the scalar curve parameter:         P(u)=(xyz)=(x(u)y(u)z(u))P(u) = \begin{pmatrix} x \\ y \\ z \end{pmatrix} = \begin{pmatrix} x(u) \\ y(u) \\ z(u) \end{pmatrix}
  • Tangent Vector:

    • The first derivative vector P′P' always points in the direction of increasing parameter value uu:         Tangent vector P′=dPdu\text{Tangent vector } P' = \frac{dP}{du}
    • The normalized Unit Tangent Vector tt is defined by:         t=dPdu∣dPdu∣t = \frac{\frac{dP}{du}}{\left|\frac{dP}{du}\right|}
  • Arc Length (Geodesic Distance):

    • The scalar distance ss along a parametric curve evaluated between parameter limits aa and bb is formulated by the definite integral:         s=∫abdPdu⋅dPdu dus = \int_a^b \sqrt{\frac{dP}{du} \cdot \frac{dP}{du}}\,du
  • Principal Normal Vector and Curvature:

    • A straight line possesses a constant tangent direction; the spatial rate of change of the tangent vector defines local curviness.
    • The unit curvature vector, termed the Principal Normal Vector pp, is defined by normalizing the derivative of the unit tangent vector:         p=t′∣t′∣=d2Pdu2∣d2Pdu2∣p = \frac{t'}{|t'|} = \frac{\frac{d^2P}{du^2}}{\left|\frac{d^2P}{du^2}\right|}
    • d2Pdu2\frac{d^2P}{du^2} is the raw curvature vector.
    • The scalar magnitude of the curvature vector is the Curvature κ\kappa:         κ=∣d2Pdu2∣\kappa = \left|\frac{d^2P}{du^2}\right|
    • The inverse of curvature defines the Radius of Curvature:         ρ=1κ\rho = \frac{1}{\kappa}
    • Represents the instantaneous osculating circle whose tangent and curvature match the curve at that point.

Curvature Geometry: Principal Normal and Radius of Curvature

Surface Modeling: Construction, Operations, and Parametrics

  • Working Supports and Wireframes on Surfaces:

    • Sketching can be executed directly on planar working supports or on curved 3D surfaces.
    • Planar working supports provide access to standard 2D sketching tools, whereas curved working supports require specialized surface-curve modeling toolsets.
    • When sketching curves on curved faces, trajectories deviate between standard Euclidean straight lines and curved Geodesic lines (the shortest path confined entirely across a curved surface).
  • Operational Distinctions Between Solids and Surfaces:

    • Surfaces have zero physical thickness, enclosing no internal material.
    • Absence of True Booleans: Surfaces lack material sides; classical volumetric Booleans cannot be evaluated.
    • Equivalent Surface Operations: ADD, SEW, SPLIT, TRIM, and REMOVE FACE.
    • Body Persistence: In solid modeling, boolean operations consume the operand solid bodies into a consolidated result. In surface modeling, operations generate separate new surface bodies, requiring the final body to be manually synthesized and sewn into a closed manifold quilt.
  • Mathematical Parametrization of Surface Patches:

    • Bivariate vector function mapped across two independent bounded parameters, uu and vv:         p(u,v)=(x(u,v)y(u,v)z(u,v)),0≤u≤umax⁡,0≤v≤vmax⁡p(u, v) = \begin{pmatrix} x(u, v) \\ y(u, v) \\ z(u, v) \end{pmatrix}, \quad 0 \le u \le u_{\max}, \quad 0 \le v \le v_{\max}
    • A regular surface patch is defined by four corner points and four bounding boundary curves:
      • Corner Points: p(0,0)p(0, 0), p(umax⁡,0)p(u_{\max}, 0), p(umax⁡,vmax⁡)p(u_{\max}, v_{\max}), p(0,vmax⁡)p(0, v_{\max})
      • Bounding Curves: p(u,0)p(u, 0), p(0,v)p(0, v), p(u,vmax⁡)p(u, v_{\max}), p(umax⁡,v)p(u_{\max}, v)
    • Partial Derivatives and Surface Vectors:
      • Directional Tangents: First partial derivatives yield the surface tangent vectors in the uu and vv directions at parameter coordinates (ui,vi)(u_i, v_i), namely ∂p∂u(ui,vi)\frac{\partial p}{\partial u}(u_i, v_i) and ∂p∂v(ui,vi)\frac{\partial p}{\partial v}(u_i, v_i).
      • Twist Vector: The mixed second-order cross derivative, defining the rate of change of the vv-tangent along the uu-direction (and vice-versa):             Twist Vector=∂2p∂u∂v\text{Twist Vector} = \frac{\partial^2 p}{\partial u \partial v}
      • Normal Vector: Evaluated via the vector cross product of directional tangents:             Normal Vector=∂p∂u×∂p∂v\text{Normal Vector} = \frac{\partial p}{\partial u} \times \frac{\partial p}{\partial v}
      • Curvature Vectors: Evaluated via direct second-order partial derivatives:             ∂2p∂u2,∂2p∂v2\frac{\partial^2 p}{\partial u^2}, \quad \frac{\partial^2 p}{\partial v^2}

Bivariate Parametric Surface Patch

  • Common Analytical and Parametric Surface Types:
    • Bézier surface patches, B-spline surfaces, Non-Uniform Rational B-Spline (NURBS) patches, and Ruled surfaces.
    • Surface Generation Methods:
      • Linear Sweep: Homogeneous or non-homogeneous translation of a profile curve.
      • Rotational Sweep & General Sweep: Revolving or sweeping profiles along curved guide paths.
      • Lofting: Interpolating through a sequence of distinct spatial cross-sections.
      • Boundary Infill: Filling localized regions enclosed by bounding boundary curves.

Differential Geometry of Surfaces and Surface Curves

  • Tangent Plane Formulation:

    • Infinitely many surface curves R(m)R(m) pass through an arbitrary surface evaluation point mm, each bearing a distinct tangent vector.
    • All tangent vectors passing through point mm lie entirely coplanar within a single plane: the Tangent Plane.
    • The tangent plane is orthogonal to the surface normal vector at that point.
    • Directional surface tangents are expressed as:         Ru=∂R∂u,Rv=∂R∂vR_u = \frac{\partial R}{\partial u}, \quad R_v = \frac{\partial R}{\partial v}
    • Vectors RuR_u and RvR_v lie within the tangent plane; they are generally non-orthogonal and are usually not unit vectors.
    • Unit Surface Normal Vector (NN):N=Ru×Rv∣Ru×Rv∣N = \frac{R_u \times R_v}{|R_u \times R_v|}
  • Tri-Vector Systems Across Curves and Surfaces:

    • Space Curve Vectors: Governed by a unique unit tangent vector tt. The plane perpendicular to tt at point PP forms the Normal Plane NN. The normal plane contains infinite normal vectors, including one unique Principal Normal Vector pp.
    • Surface Vectors: Governed by a unique unit surface normal vector NN. The plane perpendicular to NN at point PP forms the Tangent Plane TT, containing infinite tangent vectors.
    • Surface Curve Vectors: Formed by superimposing the curve and surface vector planes at point PP. A transverse vector TT is positioned along the intersection of the surface tangent plane TT and the curve normal plane NN:
      • TT lies in the surface tangent plane: T⊥NT \perp N.
      • TT lies in the curve normal plane: T⊥tT \perp t.
      • Vectors TT and tt reside within the tangent plane TT.
      • Vectors TT and NN reside within the normal plane NN.

Differential Geometry Vector Planes for Curves and Surfaces

  • Physical Interpretation and Mathematical Decomposition of Curvature:

    • The total spatial curvature vector κp\kappa p decomposes into orthogonal geodesic and normal components:         κp=κpcos⁡(ϕ)+κpsin⁡(ϕ)\kappa p = \kappa p \cos(\phi) + \kappa p \sin(\phi)κp=(κcos⁡(ϕ))T+(κsin⁡(ϕ))N\kappa p = (\kappa \cos(\phi)) T + (\kappa \sin(\phi)) Nκp=(κg)T+(κn)N\kappa p = (\kappa_g) T + (\kappa_n) N
    • Curvature Magnitude Identity:κg2+κn2=κ2\kappa_g^2 + \kappa_n^2 = \kappa^2
    • Angle of Inclination (ϕ\phi):κgκn=tan⁡(ϕ)\frac{\kappa_g}{\kappa_n} = \tan(\phi)
    • Normal Curvature (κn\kappa_n): Intrinsic curvature of the surface itself. All surface curves traversing through the exact same point in the exact same tangential direction share an identical normal curvature κn\kappa_n.
    • Geodesic Curvature (κg\kappa_g): Quantifies how the curve meanders laterally across the surface; an intrinsic property of the curve subject to surface boundary constraints.
    • Geodesic Torsion (τg\tau_g): Measures the rate of twist of the surface normal along the curve direction. All curves traversing through a given point sharing a tangent direction possess the same geodesic torsion τg\tau_g, but may possess distinct spatial torsions τ\tau.
  • Classification of Surface Curves:

    • Geodesic Line: A curve exhibiting zero geodesic curvature (κg=0\kappa_g = 0); constitutes the shortest distance trajectory across a curved surface.
    • Asymptotic Line: A curve exhibiting zero normal curvature (κn=0\kappa_n = 0).
    • Line of Curvature: A curve whose tangent coincides with a principal curvature direction, exhibiting zero geodesic torsion (τg=0\tau_g = 0).
    • Note: These three geometric conditions are not mutually exclusive, and an arbitrary surface curve may exhibit none of these states.

Composite Surfaces and Geometric Continuity Conditions

  • Continuity Across Composite Boundary Patches:
    • When multiple individual surface patches are joined along adjacent boundary edges, geometric constraints govern transition smoothness:
    • C0C^0 (Point Continuity): Positional matching along the shared boundary edge; adjacent patches share identical spatial coordinate curves, but exhibit sharp creases in slope.
    • C1C^1 (Tangent Continuity): First derivative continuity; matches spatial coordinates and unit tangent planes across the common boundary edge, eliminating visual creases.
    • C2C^2 (Curvature Continuity): Second derivative continuity; matches spatial coordinates, tangent planes, and curvature magnitudes along the shared boundary edge, producing smooth optical reflections without abrupt curvature jumps.
    • C3C^3 (Twist Continuity): Third derivative continuity; matches spatial coordinates, tangent planes, curvature distributions, and mixed cross-derivative twist vectors across the entire shared boundary seam.

Composite Surface Patch Edge Continuity Conditions