{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $(M, g)$ be a [[Riemannian manifold|7CBT4SM83Y]] and let $u \\colon M \\to \\R$ be a smooth function.\nWrite $\\nabla u$ for the gradient of $u$ and $\\nabla^2 u$ for its Hessian with respect to the [[Levi-Civita connection|CAZYGE1T4E]].\nWrite $\\Delta u = \\tr \\nabla^2 u$ for the [[Laplace–Beltrami operator|F4NWZNTRMD]] and $\\operatorname{Ric}$ for the [[Ricci curvature|4GTNM0WHDH]].\nThen\n$$\\frac{1}{2} \\Delta \\abs{\\nabla u}^2 = \\abs{\\nabla^2 u}^2 + \\ip{\\nabla u}{\\nabla (\\Delta u)} + \\operatorname{Ric}(\\nabla u, \\nabla u).$$\n\n## Remarks\n\nThe idea of the proof: compute at a point in normal coordinates.\nThe left side is $\\sum_{i,j} (\\nabla_i \\nabla_j u)^2 + \\sum_{i,j} \\nabla_j u \\, \\nabla_i \\nabla_i \\nabla_j u$.\nCommuting the covariant derivatives in the last term gives $\\nabla_j \\nabla_i \\nabla_i u$ plus a curvature term, and that curvature term is exactly $\\operatorname{Ric}(\\nabla u, \\nabla u)$.\n\nExample: in $\\R^n$ the Ricci term is $0$.\nFor $u(x) = \\abs{x}^2 / 2$ one has $\\nabla u = x$, $\\nabla^2 u = \\id$ and $\\Delta u = n$, so the left side is $\\frac{1}{2} \\Delta \\abs{x}^2 = n$ and the right side is $n + 0 + 0$.\n\nA standard application: let $M$ be compact of dimension $n$ with $\\operatorname{Ric} \\ge (n-1) k \\, g$ for some $k \u003e 0$.\nIntegrating the formula for an eigenfunction shows that every nonzero eigenvalue $\\lambda$ of $-\\Delta$ satisfies $\\lambda \\ge n k$.\nThis is Lichnerowicz's eigenvalue estimate.\n\n## Explanations\n\n### L1 human\n\nThe formula compares how a function bends with how the space bends.\nIt says that the Laplacian of the squared size of the gradient splits into three parts.\nThey are the size of the second derivatives, a term with the Laplacian of the function, and a Ricci curvature term.\nWhen the Ricci curvature is nonnegative, the squared length of the gradient of a harmonic function is subharmonic, and this gives strong control on the function.\n\n### L2 human\n\nBochner's formula is the main identity behind the \"Bochner technique\": a curvature sign forces certain objects to be parallel or to vanish.\nIt is used in the Cheng–Yau gradient estimate, in the Laplacian comparison theorem, in the proof of the Cheeger–Gromoll splitting theorem and in eigenvalue estimates.\nThe same computation for 1-forms is the case of the Weitzenböck identity that leads to Bochner's vanishing theorem for the first Betti number.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "4GTNM0WHDH",
      "F4NWZNTRMD"
    ],
    "kind": "statement",
    "msc": [
      "53C21",
      "58J05"
    ],
    "name": "Bochner's formula",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q4936239",
      "wikipedia": "Bochner's formula"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Bochner%27s_formula"
      }
    ],
    "tag": "DF7KYMAGTC",
    "uses": [
      "7CBT4SM83Y",
      "4GTNM0WHDH",
      "F4NWZNTRMD",
      "CAZYGE1T4E"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/DF7KYMAGTC/",
  "links": [
    {
      "field": "about",
      "target": "4GTNM0WHDH"
    },
    {
      "field": "about",
      "target": "F4NWZNTRMD"
    },
    {
      "field": "uses",
      "target": "7CBT4SM83Y"
    },
    {
      "field": "uses",
      "target": "4GTNM0WHDH"
    },
    {
      "field": "uses",
      "target": "F4NWZNTRMD"
    },
    {
      "field": "uses",
      "target": "CAZYGE1T4E"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/DF7KYMAGTC.md",
  "msc": [
    "53C21",
    "58J05"
  ],
  "name": "Bochner's formula",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/DF7/DF7KYMAGTC.md",
  "status": null,
  "tag": "DF7KYMAGTC",
  "uri": "m2://DF7KYMAGTC",
  "url": "https://math2.tamnd.com/wiki/bochners-formula/",
  "writing": {
    "tag": "DF7KYMAGTC",
    "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
      }
    ]
  }
}