Ma · Mathematics

What Is the Purpose of a Cusp?

Published By the 9to5Science editorial team

At a glance

  1. 1. Identify the singularity

    Check where the velocity vector vanishes or the tangent behavior becomes non-smooth.

  2. 2. Use a model example

    Study the semicubical parabola x=t², y=t³ to see how a cusp forms.

  3. 3. Find the tangent

    Compare the limiting direction of the curve on both sides of the singular point.

  4. 4. Interpret its role

    Use cusps to describe sharp geometric features, singularities, and transitions in applications.

A cusp is a special kind of singular point on a curve. It is a point where the curve comes to a sharp tip and reverses direction, usually while both sides approach the same tangent line.

There is no separate mechanical “purpose” that a cusp must serve. Rather, cusps are mathematical features that tell you where a curve ceases to be smooth in a particular way. Recognizing them helps you understand graphs, classify singularities, and model sharp transitions in applications.

A standard example

Consider the parametrically defined curve

x=t2,y=t3. x=t^2,\qquad y=t^3.

Eliminating tt gives

y2=x3. y^2=x^3.

This is called the semicubical parabola. The point (0,0)(0,0) is its cusp.

For t>0t>0, the point lies above the xx-axis. For t<0t<0, it lies below the xx-axis. In both cases, as tt approaches zero, the point approaches the origin from the right. The two branches therefore meet at the origin and turn back in the same general direction.

The velocity vector is

r′(t)=(2t,3t2).\mathbf r'(t)=(2t,3t^2).

At t=0t=0,

r′(0)=(0,0).\mathbf r'(0)=(0,0).

Thus the usual parametrization is not regular there: the curve has no nonzero velocity vector at the cusp.

Finding the tangent direction

Away from the origin, differentiate y2=x3y^2=x^3 implicitly:

2ydydx=3x2,2y\frac{dy}{dx}=3x^2,

so

dydx=3x22y.\frac{dy}{dx}=\frac{3x^2}{2y}.

Using the parametrization gives the same result:

dydx=dy/dtdx/dt=3t22t=32t,t≠0.\frac{dy}{dx}=\frac{dy/dt}{dx/dt}=\frac{3t^2}{2t}=\frac{3}{2}t, \qquad t\ne 0.

As t→0t\to0 from either side, the slope tends to 00. Therefore both branches have the same limiting tangent, the xx-axis.

The curve is nevertheless not smooth in the ordinary regular-parametric sense, because its velocity vector vanishes at the origin. This combination—a common tangent and a reversal of direction—is the characteristic local picture of an ordinary cusp.

How a cusp differs from a corner

A cusp and a corner are both visually sharp, but they are different types of nonsmoothness.

FeatureCornerOrdinary cusp
Limiting tangent directionsUsually differentUsually the same line
Direction of travelChanges abruptlyReverses along the same tangent
Example$y=x
Derivative behaviorOne-sided slopes disagreeParametric velocity may vanish

For y=∣x∣y=|x|, the left-hand slope is −1-1 and the right-hand slope is 11, so there is no single tangent line in the usual differentiable-graph sense. At a cusp, the two branches can share a limiting tangent even though the curve is still singular.

Why cusps are useful mathematically

1. They identify singular points

In differential geometry, a regular parametrized curve has a nonzero derivative. A cusp indicates that this regularity fails. This tells you not to apply formulas for curvature, arc length, or local coordinates without checking their assumptions.

For the example above, the curvature of a parametrized plane curve is

κ(t)=∣x′(t)y′′(t)−y′(t)x′′(t)∣(x′(t)2+y′(t)2)3/2.\kappa(t)= \frac{|x'(t)y''(t)-y'(t)x''(t)|} {\left(x'(t)^2+y'(t)^2\right)^{3/2}}.

Here,

x′=2t,y′=3t2,x′′=2,y′′=6t, x'=2t,\quad y'=3t^2,\quad x''=2,\quad y''=6t,

so

κ(t)=6t2(4t2+9t4)3/2.\kappa(t)= \frac{6t^2}{\left(4t^2+9t^4\right)^{3/2}}.

For nonzero tt, this can be rewritten as

κ(t)=6∣t∣(4+9t2)3/2.\kappa(t)= \frac{6}{|t|(4+9t^2)^{3/2}}.

Consequently, the curvature becomes unbounded as t→0t\to0. The cusp is therefore sharper than an ordinary smooth bend.

2. They classify local shape

Singularity theory studies the local behavior of functions and curves near exceptional points. An ordinary cusp has a standard local model equivalent, after suitable smooth coordinate changes, to

y2=x3. y^2=x^3.

More complicated equations can have higher-order cusps or other singularities. Classifying these forms lets mathematicians determine which features are essential and which disappear under a change of coordinates.

3. They describe envelopes and caustics

Cusps naturally appear when a family of curves develops an envelope. For example, a family of light rays can produce a bright concentration called a caustic. The boundary of such a pattern often contains cusps.

The same phenomenon occurs in wavefronts: as a propagating front folds, some points can meet and form cusp-shaped singularities. In this setting, the cusp records where the propagation geometry changes qualitatively.

4. They mark transitions in models

In differential equations and dynamical systems, cusp singularities can mark a transition between different numbers or types of solutions. In an equilibrium diagram, for instance, a cusp may indicate where two fold boundaries meet. The cusp then represents a parameter value at which the system’s behavior changes.

A practical test for a cusp

For a parametrized curve r(t)=(x(t),y(t))\mathbf r(t)=(x(t),y(t)), a useful preliminary test at t=t0t=t_0 is:

  1. Check whether r′(t0)=(0,0)\mathbf r'(t_0)=(0,0).
  2. Examine the directions of r′(t)\mathbf r'(t) as tt approaches t0t_0 from each side.
  3. Determine whether both sides approach the same tangent line.
  4. Check whether the curve reverses direction rather than merely passing smoothly through the point.

This test is diagnostic rather than a complete definition for every possible singularity. Some authors use “cusp” more broadly, and higher-order or space-curve cusps require more careful analysis.

Common mistakes

  • Calling every sharp point a cusp. A corner, a cusp, and a crossing are different singularities.
  • Assuming a zero derivative means only a cusp. A zero derivative can also arise from a poor parametrization. For example, x=t3x=t^3, y=t6y=t^6 traces the smooth curve y=x2y=x^2 but has zero derivative at t=0t=0.
  • Confusing a vertical tangent with a cusp. A vertical tangent can occur on a completely smooth curve, such as x=t3x=t^3, y=ty=t at the origin.
  • Using curvature formulas at the cusp without checking regularity. Standard curvature formulas generally assume a nonzero velocity vector.

A cusp is therefore useful not because it performs a single operation, but because it precisely records a distinctive kind of geometric singularity: the curve develops a sharp reversal, commonly with both branches sharing one limiting tangent.

References

  1. Manfredo P. do Carmo, Differential Geometry of Curves and Surfaces
  2. J. W. Bruce and P. J. Giblin, Curves and Singularities

Spotted an error? Send a correction. Read how we write and check articles in our editorial policy.