{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "PZRK2EPH1Y"
    }
  ],
  "body": "\n## Summary\n\nHörmander's condition is a property of a family of [[vector fields|0299VCW1TH]].\nIt says that the fields and their iterated [[Lie brackets|68FGQEBD6J]] span the tangent space at every point.\nHörmander's theorem says that under this condition the second-order operator $\\sum_j X_j^2 + X_0$ is [[hypoelliptic|K9DSR21DQC]], even though it may be far from elliptic.\nThe condition is central in sub-Riemannian geometry and in stochastic analysis, where it gives smooth densities for solutions of stochastic differential equations.\n\n## Explanations\n\n### L1 human\n\nSuppose you can only move in a few allowed directions, such as driving a car, which cannot slide sideways.\nBy combining moves, such as going forward while turning and then backing up, you can still reach every nearby position; the Lie brackets record these combined moves.\nHörmander's condition says that the allowed directions, together with their brackets, reach every direction.\nThen diffusion along the allowed directions still spreads in all directions and smooths everything out.\nIn the plane, the fields $\\partial_x$ and $x \\partial_y$ satisfy it, because their bracket is $\\partial_y$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "35H10",
      "35H20"
    ],
    "name": "Hörmander's condition",
    "same_as": {
      "wikidata": "Q5964696",
      "wikipedia": "Hörmander's condition"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/H%C3%B6rmander%27s_condition"
      }
    ],
    "tag": "91RZ5YARTM"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/91RZ5YARTM/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/91RZ5YARTM.md",
  "msc": [
    "35H10",
    "35H20"
  ],
  "name": "Hörmander's condition",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/91R/91RZ5YARTM.md",
  "status": null,
  "tag": "91RZ5YARTM",
  "uri": "m2://91RZ5YARTM",
  "url": "https://tamnd.github.io/math2/wiki/hormanders-condition/",
  "writing": {
    "tag": "91RZ5YARTM",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}