---
title: Invisible Cusp-Fold Singularity
url: https://www.emergentmind.com/topics/invisible-cusp-fold-singularity
type: topic
---

# Invisible Cusp-Fold Singularity

Searching arXiv for the specified papers to ground the article in current sources.
An invisible cusp-fold singularity is a local singular configuration of a \(3\)-dimensional Filippov system \(Z=(X,Y)\) on a switching manifold \(\Sigma=\{f=0\}\) in which one vector field has cusp-type contact with \(\Sigma\) and the other has fold-type contact at the same point. In the formulation used for recent bifurcation analysis, a point \(p\in\Sigma\) is a cusp-fold singularity when \(Xf(p)=0\), \(X^2f(p)=0\), \(X^3f(p)\neq0\), \(Yf(p)=0\), \(Y^2f(p)\neq0\), and the tangency curves \(S_X=\{Xf=0\}\) and \(S_Y=\{Yf=0\}\) intersect transversally at \(p\). Around such points the local dynamics is structurally unstable under small perturbations, and the unfolding organizes crossing dynamics, sliding geometry, and, in specific degenerate cases, the birth of crossing limit cycles and their degeneration into fold-regular polycycles [2507.10514].

## 1. Definition and sign structure

Let \(Z=(X,Y)\) be a Filippov vector field on an open \(M\subset\mathbb R^3\) with smooth switching function \(f\colon M\to\mathbb R\), and let \(\Sigma=\{f=0\}\). A cusp-fold singularity is defined by cubic contact of \(X\) with \(\Sigma\) and quadratic contact of \(Y\) with \(\Sigma\):
\[
Xf(p)=0,\qquad X^2f(p)=0,\qquad X^3f(p)\neq0,
\]
\[
Yf(p)=0,\qquad Y^2f(p)\neq0.
\]
The intersection of the tangency sets must be transversal at \(p\). The contact is called invisible for \(Y\) if \(Y^2f(p)>0\) [2507.10514].

In the local coordinates used in the stand-alone summary of the bifurcation analysis, \(\Sigma=\{z=0\}\), and on \(\Sigma\) one has
\[
Xf(x,y,0)=-y,\qquad X^2f(x,y,0)=-(x+c),\qquad X^3f(x,y,0)=1,
\]
\[
Yf(x,y,0)=\beta_{1,0,0}x+\beta_{0,1,0}y+O(2),\qquad Y^2f(p)=0,\qquad Y^3f(p)=\alpha_{0,0,0}\neq0.
\]
At the singular value \(c=0\), the same summary states that invisibility of the \(Y\)-fold means \(Y^3f(p)>0\) [2507.10514]. This sign-based description is the operational criterion used there to distinguish the invisible configuration in the chosen normal-form expansion.

The central dynamical significance of the invisible cusp-fold is that it lies at the interface of crossing and tangential dynamics. Small perturbations separate the cusp and fold contacts, and the resulting local return mechanism determines whether a crossing periodic orbit can or cannot close.

## 2. Local normal forms and canonical representatives

Near an invisible cusp-fold, there exist smooth coordinates \((x,y,z)\) centered at \(p\) and a time rescaling such that \(\Sigma=\{z=0\}\), and, up to third order,
\[
X(x,y,z)=\bigl(-1,\,-(x+c),\,y\bigr),\qquad z>0,
\]
while for \(z<0\),
\[
Y(x,y,z)=\bigl( \alpha_{0,0,0}+\alpha_{1,0,0}x+\alpha_{0,1,0}y+\alpha_{0,0,1}z+\cdots,\;
\beta_{0,0,0}+\beta_{1,0,0}x+\beta_{0,1,0}y+\beta_{0,0,1}z+\cdots,\;
\gamma_{0,0,0}+\gamma_{1,0,0}x+\gamma_{0,1,0}y+\gamma_{0,0,1}z+\cdots \bigr).
\]
Here \(c\in\mathbb R\) unfolds the cusp-fold coincidence, with \(c=0\) corresponding to the singularity, and \(\alpha_{0,0,0}\neq0\) is the coefficient singled out in the expansion [2507.10514].

A complementary canonical description is given by the classification of \(3\)D cusp-fold singularities into \(32\) topologically distinct normal forms. For the invisible cusp-fold one convenient representative is obtained by choosing
\[
\alpha=+1,\qquad \beta=+1,\qquad \gamma=-1,\qquad \mu=+1,\qquad \theta=+1,
\]
so that \((\alpha\beta\gamma)<0\) and \((\mu\theta)>0\). The vector fields are
\[
X^+(x,y,z)=(y,1,-x),\qquad z\ge0,
\]
\[
X^-(x,y,z)=(0,1,y),\qquad z\le0.
\]
At the origin,
\[
X^+f=-x,\qquad X^{+2}f=-y,\qquad X^{+3}f=-1\neq0,
\]
which gives an invisible cusp on the \(z\ge0\)-side, while
\[
X^-f=y,\qquad X^{-2}f=1>0,
\]
which gives an invisible fold on the \(z\le0\)-side. In the notation of the classification, the type
\[
(\operatorname{Sgn}(\alpha),\operatorname{Sgn}(\beta),\operatorname{Sgn}(\gamma),\operatorname{Sgn}(\mu),\operatorname{Sgn}(\theta))=(++-,++)
\]
is the only one among the \(32\) canonical forms for which both the cusp and the fold are invisible [2210.10518].

This canonical representative is topological rather than asymptotic in purpose: it captures the side of \(\Sigma\) on which each tangency sits, the relative placement of sliding and escaping sectors, and the qualitative way in which nearby orbits encounter the switching manifold.

## 3. Geometry on the switching manifold

For the canonical invisible model, the switching surface is \(\Sigma=\{z=0\}\), and the Lie derivatives reduce to
\[
X^+f(x,y,0)=-x,\qquad X^-f(x,y,0)=y.
\]
This divides \(\Sigma\) into sliding, escaping, and crossing regions [2210.10518].

| Region | Defining inequalities | Location on \(\Sigma\) |
|---|---|---|
| Sliding \(\Sigma^s\) | \(X^+f<0\) and \(X^-f<0\) | \(\{x>0,\;y<0\}\) |
| Escaping \(\Sigma^e\) | \(X^+f>0\) and \(X^-f>0\) | \(\{x<0,\;y>0\}\) |
| Crossing \(\Sigma^c\) | \(\Sigma\setminus(\Sigma^s\cup\Sigma^e)\) | Complement of the two sectors |

Since \(X^+f\cdot X^-f=-xy\), the crossing region splits into subregions \(\Sigma^{c+}\) and \(\Sigma^{c-}\) according to the signs of the two inner products. The Filippov sliding vector field on \(\Sigma^s\cup\Sigma^e\) is
\[
X^s=\frac{X^-f\cdot X^+ - X^+f\cdot X^-}{X^-f-X^+f}
\]
and, for this normal form,
\[
X^s
=
\frac{1}{x+y}\bigl(y\cdot(y,1,-x)-(-x)\cdot(0,1,y)\bigr)
=
\left(\frac{y^2}{x+y},\,1,\,0\right).
\]
On \(\Sigma^s=\{x>0,y<0\}\), this defines a well-posed \(2\)-dimensional flow [2210.10518].

The topological placement of the tangency curves is correspondingly rigid. On the \(z\ge0\)-side, the curve \(S_+=\{f=0,X^+f=0\}\) is the \(y\)-axis and carries the cusp at the origin. On the \(z\le0\)-side, the curve \(S_-=\{f=0,X^-f=0\}\) is the \(x\)-axis and carries the invisible fold. The sliding region lies in the quadrant \(\{x>0,y<0\}\) [2210.10518].

## 4. Generic codimension-one unfolding

In the recent bifurcation analysis, the generic codimension-one case is the non-anti-collinear situation: \(\alpha_{0,0,0}\neq0\) is fixed and \(X(p)\) and \(Y(p)\) are not anti-collinear. Equivalently, the linear form \(\beta_{1,0,0}x+\beta_{0,1,0}y\) has no double zero at \(p\). The scalar parameter \(c\) then moves the cusp out of the \(Y\)-fold [2507.10514].

The local closure problem is expressed through two half-return maps on \(\Sigma\):
\[
\Pi_X\colon(x,y)\mapsto\varphi_X\bigl(t_-(x,y),(x,y,0)\bigr),\qquad
\Pi_Y\colon(x,y)\mapsto\varphi_Y\bigl(\tau(x,y),(x,y,0)\bigr),
\]
where \(t_-\) is the first positive solution of \(\pi_3\varphi_X(t)=0\) and \(\tau\) is the small nonzero root of \(\pi_3\varphi_Y(\tau)=0\). A one-loop crossing cycle solves
\[
\Pi_X(x,y)=\Pi_Y(x,y).
\]
Defining the displacement
\[
G(x,y,c)=\Pi_X(x,y)-\Pi_Y(x,y),
\]
the analysis shows, by the Implicit Function Theorem, that for sufficiently small \(c\) there is exactly one solution \((x,y)\equiv(0,0)\), corresponding to the double tangency. No new small crossing cycles bifurcate in this codimension-one scenario [2507.10514].

A second codimension-one description appears in the canonical-form treatment. There one perturbs only the third component of the lower-side vector field:
\[
X^-_\lambda(x,y,z)=(0,1,y-\lambda),\qquad z\le0.
\]
The fold line shifts from \(\{y=0\}\) to
\[
S_-^\lambda=\{z=0,\;y=\lambda\}.
\]
For \(\lambda\neq0\), the origin is no longer a cusp-fold; instead there is a folded-folded pair at \(p_\lambda=(0,\lambda,0)\). The bifurcation occurs at \(\lambda=0\) and is codimension \(1\). For \(\lambda<0\), the entire \(y=0\) branch of \(S_-\) has moved into \(\Sigma^+\), producing one visible-invisible fold-fold and one invisible-invisible fold-fold; for \(\lambda>0\), the picture is symmetric; for \(\lambda=0\), one recovers the genuine cusp-fold [2210.10518].

Taken together, these two descriptions show that codimension-one unfoldings separate the cusp and fold tangencies but, in the generic non-anti-collinear case, do not generate a small crossing limit cycle.

## 5. Anti-collinearity and codimension-two cycle creation

The codimension-two regime arises when the vector fields are anti-collinear at the cusp-fold singularity. In the normal form, this is imposed by
\[
\beta_{1,0,0}+\beta_{0,1,0}=0\qquad \text{at } c=0.
\]
The unfolding then requires two parameters \((c,\mu)\), where \(\mu\approx\beta_{1,0,0}+\beta_{0,1,0}\). The displacement function admits the expansion
\[
\widetilde G_2(x,c,\mu)=\mu\,x+\tfrac32L_0\,c^2\,x+O(x^2,cx,\mu^2),
\]
with nonzero index
\[
L_0=-\frac{4}{3\,\alpha_{0,0,0}^2\,\alpha_{1,0,0}\,\bigl(\dots\bigr)}.
\]
After setting \(\overline G_2=\widetilde G_2/x\), the Malgrange Preparation Theorem yields that the vanishing of \(\overline G_2\) occurs along two smooth branches for
\[
\frac1{L_0\,\mu}>0
\]
[2507.10514].

The local bifurcation picture is then organized by the signs of \(\mu\) and \(c\):

- **For \(\mu\,c<0\)**: no small cycles.
- **At \(\mu\,c=0\)**: a double (Teixeira) singularity births two symmetric roots at the origin.
- **For \(0<\mu\,c<\tfrac32L_0\,c^2\)**: there is one crossing limit cycle.
- **At \(\mu=\mu^*(c)=\mu\,c+\tfrac32L_0\,c^2+O(c^3)\)**: the cycle grows until it hits the fold line \(x=-c\) and degenerates into a fold-regular polycycle [2507.10514].

The same summary gives the polycycle-bifurcation curve in \((c,\mu)\)-space as
\[
\mu=\mu^*(c)=\mu\,c+\frac32L_0c^2+O(c^3).
\]
Within the scope of that analysis, this codimension-two configuration is precisely the one that produces a bifurcating crossing limit cycle. This distinguishes it sharply from the generic codimension-one case, where no local crossing limit cycle bifurcates from the invisible cusp-fold.

## 6. Boost-converter realization

The codimension-two scenario is realized in a boost-converter model studied previously in the literature. In that application, parameters \((a,k)\) are identified so that an invisible cusp-fold appears at \((a,k)=(a^*,k^*)\), and the resulting two-parameter unfolding exactly matches the codimension-two mechanism described above [2507.10514].

By numerically solving the closing equations, two curves are traced in the \((k,a)\)-plane:

- the Teixeira-cycle bifurcation curve \(a=a_{TS}(k)\), corresponding to the birth of a crossing limit cycle;
- the polycycle curve \(a=a_{pol}(k)\), corresponding to degeneration into a fold-regular polycycle.

Between these curves, the converter exhibits a unique crossing limit cycle. Outside them, no small crossing cycles occur. The completed bifurcation set is given as Figure 7 of the paper [2507.10514].

This application is significant because it places the local singularity theory in a concrete nonsmooth dynamical system where the cusp-fold is not merely a local degeneracy but an organizing center for observable phase-portrait transitions. A plausible implication is that the invisible cusp-fold provides a compact bifurcation descriptor for converter regimes in which orbit closure, collision with tangency sets, and disappearance through polycycles are all present within a small parameter wedge.

## 7. Terminological distinctions and related uses of “invisibility”

The expression “invisible cusp-fold singularity” belongs primarily to the theory of \(3\)D Filippov systems, but closely related terminology also appears in singularity theory and differential geometry. In the study of folded cuspidal edges, the “invisible” cuspidal fold or cuspidal \(S_0\)-singularity is obtained by folding a generic cuspidal edge along the plane \(Z=0\) via
\[
g(X,Y,Z)=(X,Y,Z^2),
\]
so that the resulting map \(\phi=g\circ f\) is a cuspidal cross-cap [1706.02074].

In that geometric setting, invisibility has a different meaning. All of \(\phi(U)\) lies in the half-space \(Z\ge0\), and \(\kappa_c^\phi(0)=0\) forces the branch that would be present in a genuine Whitney umbrella on \(Z<0\) to be absent. The paper further states that \(\kappa_c(0)=0\), \(B>0\), and \(\kappa_\nu(0)\neq0\) guarantee that the osculating plane of the edge is transverse to the tangent cone, so in projection the forbidden branch never appears [1706.02074].

This distinction prevents a common conflation. In Filippov dynamics, invisibility is a sign condition on Lie derivatives at tangency and determines how trajectories meet the switching manifold. In the geometry of folded cuspidal edges, invisibility refers to the absence of a branch after folding and to one-sidedness relative to the tangent cone. The shared vocabulary reflects a common theme of hidden or non-accessible local structure, but the objects, mechanisms, and invariants are different.

Source: https://www.emergentmind.com/topics/invisible-cusp-fold-singularity