{
  "aliases": null,
  "backlinks": [
    {
      "field": "specializes",
      "target": "4KZ458T2QA"
    },
    {
      "field": "defines",
      "target": "8CV1KW9AJ8"
    },
    {
      "field": "uses",
      "target": "FWRW7BYX6T"
    }
  ],
  "body": "\n## Summary\n\nA geometric integrator is a numerical method for differential equations that keeps exactly a geometric property of the exact [[flow|06738GGWWK]].\nExamples of such properties are symplecticity, a conserved quantity, volume, time-reversibility, and staying on a manifold.\nGeneral-purpose methods only approximate such properties, and the small violations add up over long times.\nKeeping the structure exactly gives much better qualitative behaviour in long simulations, for example in celestial mechanics and molecular dynamics.\n[[Symplectic integrators|B4C25SXFRE]] are the best known class.\n\n## Explanations\n\n### L1 human\n\nThe exact motion of a frictionless pendulum keeps its energy, and its phase-space picture has a precise geometric structure.\nA typical numerical method makes tiny errors in this structure at each step, and after many steps the computed pendulum may spiral outwards or inwards.\nA geometric integrator is designed so that the structure is kept exactly, step by step.\nIts trajectories may still be slightly off, but they look like trajectories of a nearby system of the same kind.\nFor example, the symplectic Euler method on the harmonic oscillator maps each step by a matrix of determinant $1$, so areas in the phase plane are kept.\nThe explicit Euler method inflates them by the factor $1 + h^2$ at every step.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "37M15",
      "65P10",
      "65L06"
    ],
    "name": "Geometric integrator",
    "same_as": {
      "wikidata": "Q5535490",
      "wikipedia": "Geometric integrator"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Geometric_integrator"
      }
    ],
    "tag": "VQ2BTYFST4"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/VQ2BTYFST4/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/VQ2BTYFST4.md",
  "msc": [
    "37M15",
    "65P10",
    "65L06"
  ],
  "name": "Geometric integrator",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/VQ2/VQ2BTYFST4.md",
  "status": null,
  "tag": "VQ2BTYFST4",
  "uri": "m2://VQ2BTYFST4",
  "url": "https://tamnd.github.io/math2/wiki/geometric-integrator/",
  "writing": {
    "tag": "VQ2BTYFST4",
    "kind": "concept",
    "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
      }
    ]
  }
}