{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Example\n\nThe *butterfly catastrophe* is the family of functions of one variable $x \\in \\R$\n$$V(x; a, b, c, d) = x^6 + a x^4 + b x^3 + c x^2 + d x,$$\nwith four control parameters $(a, b, c, d) \\in \\R^4$.\nFor $a = b = c = d = 0$ the function is $x^6$, whose [[critical point|0YTCMFB4HC]] at $0$ is degenerate: the first five derivatives vanish there.\n\nThe derivative $V'(x) = 6x^5 + 4a x^3 + 3b x^2 + 2c x + d$ has degree $5$, so $V$ has at most five critical points.\nSince $V(x) \\to +\\infty$ as $x \\to \\pm\\infty$, nondegenerate critical points alternate minimum, maximum, minimum, maximum, minimum.\nSo $V$ can have three local minima, which the fold, cusp and swallowtail cannot.\n\nCheck with $a = -15/2$, $b = 0$, $c = 12$, $d = 0$.\nThen $V(x) = x^6 - \\tfrac{15}{2} x^4 + 12 x^2$ and\n$$V'(x) = 6x^5 - 30x^3 + 24x = 6x(x^2 - 1)(x^2 - 4).$$\nThe critical points are $-2, -1, 0, 1, 2$.\nThe sign of $V'$ is negative on $(-\\infty, -2)$ and changes at each of the five simple roots.\nSo $-2, 0, 2$ are local minima and $-1, 1$ are local maxima.\nThe region of parameters with three minima is the \"pocket\" of the butterfly, bounded by the [[bifurcation set|JV45S0KQE6]].\n\n## Explanations\n\n### L1 human\n\nThe butterfly is the elementary catastrophe of one state variable with four control knobs.\nIts potential $x^6 + \\cdots$ can have up to three valleys at once.\nFor the settings in the example, the valleys sit at $x = -2$, $0$ and $2$, with hills at $\\pm 1$ between them.\nA system that rests in the middle valley can be pushed into either side valley as the knobs move.\nThat extra middle state is what the butterfly adds to the simpler cusp.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "illustrates": [
      "6FKJ6SXP3G",
      "23RVD8K8RB"
    ],
    "kind": "example",
    "msc": [
      "58K35",
      "58K05"
    ],
    "name": "Butterfly catastrophe",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Catastrophe_theory"
      }
    ],
    "tag": "B416H6DQDA",
    "uses": [
      "6FKJ6SXP3G",
      "JV45S0KQE6",
      "0YTCMFB4HC"
    ]
  },
  "kind": "example",
  "link": "https://tamnd.github.io/math2/node/B416H6DQDA/",
  "links": [
    {
      "field": "illustrates",
      "target": "6FKJ6SXP3G"
    },
    {
      "field": "illustrates",
      "target": "23RVD8K8RB"
    },
    {
      "field": "uses",
      "target": "6FKJ6SXP3G"
    },
    {
      "field": "uses",
      "target": "JV45S0KQE6"
    },
    {
      "field": "uses",
      "target": "0YTCMFB4HC"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/B416H6DQDA.md",
  "msc": [
    "58K35",
    "58K05"
  ],
  "name": "Butterfly catastrophe",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/B41/B416H6DQDA.md",
  "status": null,
  "tag": "B416H6DQDA",
  "uri": "m2://B416H6DQDA",
  "url": "https://tamnd.github.io/math2/wiki/butterfly-catastrophe/",
  "writing": {
    "tag": "B416H6DQDA",
    "kind": "example",
    "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
      }
    ]
  }
}