{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $n \\ge 1$ and let $H_n$ be the physicists' [[Hermite polynomial|MGACY98E9H]] of degree $n$.\nLet $x_1, \\ldots, x_n$ be the zeros of $H_n$; they are real and simple.\nSet\n$$w_i = \\frac{2^{n-1} \\, n! \\, \\sqrt{\\pi}}{n^2 \\, H_{n-1}(x_i)^2}, \\qquad i = 1, \\ldots, n.$$\nThen $w_i \u003e 0$ for each $i$, and for every polynomial $p$ of degree at most $2n - 1$,\n$$\\int_{-\\infty}^{\\infty} e^{-x^2} p(x) \\, dx = \\sum_{i=1}^{n} w_i \\, p(x_i).$$\n\n## Remarks\n\nThis is the [[Gaussian quadrature|FP37BTP93K]] rule for the weight $e^{-x^2}$ on $\\R$, whose orthogonal polynomials are the $H_n$.\nFor $p$ of degree at most $2n - 1$, write $p = q H_n + r$ with $\\deg q, \\deg r \\le n - 1$.\nOrthogonality kills $\\int e^{-x^2} q H_n$, and $r$ is integrated exactly by the interpolatory weights.\nThe closed form of $w_i$ comes from the Christoffel–Darboux formula.\nExample: for $n = 2$, $H_2 = 4x^2 - 2$ has zeros $\\pm 1/\\sqrt{2}$, and $H_1(x) = 2x$ gives $w_1 = w_2 = \\frac{4\\sqrt{\\pi}}{4 \\cdot 2} = \\frac{\\sqrt{\\pi}}{2}$.\nCheck with $p(x) = x^2$: the rule gives $2 \\cdot \\frac{\\sqrt{\\pi}}{2} \\cdot \\frac12 = \\frac{\\sqrt{\\pi}}{2} = \\int_{\\R} x^2 e^{-x^2} dx$.\nFor $f \\in C^{2n}(\\R)$ with suitable growth, the error is $\\frac{n! \\sqrt{\\pi}}{2^n} \\frac{f^{(2n)}(\\xi)}{(2n)!}$ for some real $\\xi$.\nThe degree $2n - 1$ is the best possible: $p = H_n^2$ has degree $2n$, the rule gives $0$, but the integral is positive.\n\n## Explanations\n\n### L1 human\n\nMany integrals over the whole real line carry a bell-shaped factor $e^{-x^2}$.\nGauss–Hermite quadrature replaces such an integral by a weighted sum of a few function values at special points.\nWith $n$ points it is exact for every polynomial up to degree $2n - 1$, and very accurate for smooth functions that do not grow too fast.\n\n### L2 human\n\nThe rule computes expectations under a normal distribution: if $Z$ is standard normal, then $\\mathbb{E}[g(Z)] = \\frac{1}{\\sqrt{\\pi}} \\int_{\\R} e^{-x^2} g(\\sqrt{2} x) \\, dx$.\nIt is used in statistics, in quantum mechanics with harmonic oscillator states, and in uncertainty quantification.\nFor functions that are not smooth or that grow fast, the nodes spread out and accuracy can be poor, and a change of variable may help.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "FP37BTP93K"
    ],
    "kind": "statement",
    "msc": [
      "65D32",
      "41A55",
      "33C45"
    ],
    "name": "Gauss–Hermite quadrature",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q5527850",
      "wikipedia": "Gauss–Hermite quadrature"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Gauss%E2%80%93Hermite_quadrature"
      }
    ],
    "tag": "89S5KGQEMJ",
    "uses": [
      "FP37BTP93K",
      "MGACY98E9H",
      "ZYT1JNT1Y0"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/89S5KGQEMJ/",
  "links": [
    {
      "field": "about",
      "target": "FP37BTP93K"
    },
    {
      "field": "uses",
      "target": "FP37BTP93K"
    },
    {
      "field": "uses",
      "target": "MGACY98E9H"
    },
    {
      "field": "uses",
      "target": "ZYT1JNT1Y0"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/89S5KGQEMJ.md",
  "msc": [
    "65D32",
    "41A55",
    "33C45"
  ],
  "name": "Gauss–Hermite quadrature",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/89S/89S5KGQEMJ.md",
  "status": null,
  "tag": "89S5KGQEMJ",
  "uri": "m2://89S5KGQEMJ",
  "url": "https://tamnd.github.io/math2/wiki/gauss-hermite-quadrature/",
  "writing": {
    "tag": "89S5KGQEMJ",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}