{
  "aliases": null,
  "backlinks": [
    {
      "field": "illustrates",
      "target": "B416H6DQDA"
    },
    {
      "field": "illustrates",
      "target": "E192Q8BQWJ"
    },
    {
      "field": "illustrates",
      "target": "HV003CB8EP"
    },
    {
      "field": "illustrates",
      "target": "NGQMPVNZDP"
    },
    {
      "field": "illustrates",
      "target": "VQ7D5N3MV7"
    }
  ],
  "body": "\n## Statement\n\nLet $r \\le 4$, and consider smooth families $V \\colon \\R^n \\times \\R^r \\to \\R$, $(x, u) \\mapsto V_u(x)$, of functions of $n$ state variables depending on $r$ control parameters.\nGive $C^\\infty(\\R^n \\times \\R^r, \\R)$ the Whitney $C^\\infty$ topology.\nThere is an open dense set of families $V$ with the following property at every point $(x_0, u_0)$.\nView the germ of $V$ at $(x_0, u_0)$ as an unfolding of the [[germ|7SWSRGDT4A]] of $V_{u_0}$ at $x_0$.\nThis unfolding is equivalent to a nondegenerate quadratic form in some state variables plus one of the following:\n\n1. a regular point: $x$;\n2. a nondegenerate critical point: the function $0$, so that only the quadratic form remains;\n3. the fold: $x^3 + a x$;\n4. the cusp: $\\pm(x^4 + a x^2 + b x)$;\n5. the swallowtail: $x^5 + a x^3 + b x^2 + c x$;\n6. the butterfly: $\\pm(x^6 + a x^4 + b x^3 + c x^2 + d x)$;\n7. the hyperbolic umbilic: $x^3 + y^3 + a xy + b x + c y$;\n8. the elliptic umbilic: $x^3 - 3 x y^2 + a (x^2 + y^2) + b x + c y$;\n9. the parabolic umbilic: $\\pm(x^2 y + y^4 + a x^2 + b y^2 + c x + d y)$.\n\nHere equivalence of unfoldings allows a change of control parameters and a change of state variables depending on the controls.\nIt also allows the addition of a smooth function of the controls.\nThe letters $a, b, c, d$ stand for the control parameters that are used.\n\n## Remarks\n\nItems 3 to 9 are the seven elementary catastrophes.\nEach is the [[universal unfolding|KSAFWZVB8K]] of its organising centre, the germ obtained by setting the parameters to $0$.\nThe number of parameters is the [[codimension|B4FRQMWQKP]] of that germ.\nIt is $1$ for the fold, $2$ for the cusp, $3$ for the swallowtail and the hyperbolic and elliptic umbilics, and $4$ for the butterfly and the parabolic umbilic.\nThe idea of the proof has two parts.\nBy Thom's transversality theorem in jet space, germs of codimension greater than $r$ do not occur in a generic $r$-parameter family.\nUp to sign and quadratic terms, the germs of codimension from $1$ to $4$ are exactly the seven organising centres.\nThese are $x^3$, $x^4$, $x^5$, $x^6$, $x^3 + y^3$, $x^3 - 3xy^2$ and $x^2 y + y^4$.\nEach of them is finitely determined, and its universal unfolding is checked with the versality criterion.\nThe list of seven depends on the bound $r \\le 4$: with five controls further catastrophes appear.\nFor $r \\ge 6$, families of germs with a modulus, such as $x^3 + y^3 + z^3 + a xyz$, occur generically, and no finite list is possible.\nThom proposed the classification; complete proofs rest on the work of Mather on stability and finite determinacy.\n\n## Explanations\n\n### L1 human\n\nImagine a system that always settles in a minimum of some energy, while a few control knobs change the energy.\nAs the knobs turn, minima can merge and vanish, and the system then jumps.\nThom's theorem says that with at most four knobs, the ways this can happen are, after a change of coordinates, only seven.\nThey carry names that describe the shape of the set of knob settings where jumps occur: fold, cusp, swallowtail, butterfly and three umbilics.\n\n### L2 human\n\nThe theorem combines the three main tools of local singularity theory: finite determinacy, the classification of germs of low codimension, and versal unfoldings.\nIts organising centres are the real forms of the simple singularities $A_2$ to $A_5$, $D_4^{\\pm}$ and $D_5$ from [[Arnold's classification|M5437FP73G]].\nThe [[fold catastrophe|E192Q8BQWJ]] and the [[cusp catastrophe|VQ7D5N3MV7]] are the two cases with one state variable and at most two controls, and they model sudden jumps and hysteresis.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "6FKJ6SXP3G",
      "KSAFWZVB8K"
    ],
    "kind": "statement",
    "msc": [
      "58K35",
      "58K40",
      "58K60"
    ],
    "name": "Thom's classification of elementary catastrophes",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Catastrophe_theory"
      }
    ],
    "tag": "23RVD8K8RB",
    "uses": [
      "KSAFWZVB8K",
      "B4FRQMWQKP",
      "7SWSRGDT4A",
      "0YTCMFB4HC",
      "6FKJ6SXP3G"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/23RVD8K8RB/",
  "links": [
    {
      "field": "about",
      "target": "6FKJ6SXP3G"
    },
    {
      "field": "about",
      "target": "KSAFWZVB8K"
    },
    {
      "field": "uses",
      "target": "KSAFWZVB8K"
    },
    {
      "field": "uses",
      "target": "B4FRQMWQKP"
    },
    {
      "field": "uses",
      "target": "7SWSRGDT4A"
    },
    {
      "field": "uses",
      "target": "0YTCMFB4HC"
    },
    {
      "field": "uses",
      "target": "6FKJ6SXP3G"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/23RVD8K8RB.md",
  "msc": [
    "58K35",
    "58K40",
    "58K60"
  ],
  "name": "Thom's classification of elementary catastrophes",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/23R/23RVD8K8RB.md",
  "status": null,
  "tag": "23RVD8K8RB",
  "uri": "m2://23RVD8K8RB",
  "url": "https://tamnd.github.io/math2/wiki/thoms-classification-of-elementary-catastrophes/",
  "writing": {
    "tag": "23RVD8K8RB",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}