{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $a \u003c b$, let $K \\colon [a, b] \\times [a, b] \\to \\C$ be continuous, and let $T$ be the integral operator $(T x)(s) = \\int_a^b K(s, t) \\, x(t) \\, dt$ on the [[Lp space|SASP14MA1Z]] $L^2(a, b)$.\nAssume that $T$ is a [[trace class operator|Z2CP530WDE]].\nLet $(\\lambda_n)$ be the nonzero eigenvalues of $T$, each repeated according to its algebraic multiplicity.\nThen $\\sum_n \\abs{\\lambda_n} \u003c \\infty$ and\n$$\\sum_n \\lambda_n = \\int_a^b K(s, s) \\, ds.$$\n\n## Remarks\n\nThe proof has two steps.\nFirst, for a trace class integral operator with continuous kernel, the operator trace equals the [[trace of the kernel|3JVT83K8A1]] $\\int_a^b K(s, s) \\, ds$.\nSecond, [[Lidskii's theorem|QD23PJR6RP]] says that the operator trace equals the sum of the eigenvalues, counted with algebraic multiplicity.\n\nExample: on $[0, 1]$ let $K(s, t) = \\min(s, t)$.\nThe [[eigenfunctions|4NSACSWRJZ]] are $\\sin((n - \\tfrac12)\\pi s)$ with eigenvalues $\\lambda_n = 1/((n - \\tfrac12)^2 \\pi^2)$, $n \\ge 1$.\nSince $K$ is a positive kernel and $\\sum_n \\lambda_n \u003c \\infty$, the operator is trace class.\nThe formula reads $\\sum_{n \\ge 1} \\frac{4}{(2n - 1)^2 \\pi^2} = \\int_0^1 s \\, ds = \\frac12$, which is the identity $\\sum_{n \\ge 1} (2n-1)^{-2} = \\pi^2/8$.\n\nThe trace class hypothesis cannot be dropped.\nThere are continuous kernels whose operators are not trace class, and for them the sum of the eigenvalues need not converge absolutely.\nTake the Volterra kernel $K(s, t) = 1$ for $t \\le s$ and $K(s, t) = 0$ otherwise.\nIts operator has no nonzero eigenvalue, while the diagonal integral is $b - a$.\nThere is no contradiction: this kernel is not continuous, and the operator is not trace class.\n\n## Explanations\n\n### L1 human\n\nFor a matrix, the sum of the eigenvalues equals the sum of the diagonal entries.\nFor an integral operator, the diagonal entries become the values $K(s, s)$, and the sum becomes an integral.\nThe formula says that, for good enough kernels, the sum of all eigenvalues equals this integral.\n\n### L2 human\n\nFor a continuous Hermitian kernel of positive type, the formula follows from [[Mercer's theorem|PKGADWXPYH]] by integrating the expansion $K(s, s) = \\sum_n \\lambda_n \\abs{\\varphi_n(s)}^2$.\nLidskii's theorem extends it to kernels that are not self-adjoint, where the eigenvalues may be complex and the eigenfunctions need not form a basis.\nThe formula is the first case of the trace identities $\\sum_n \\lambda_n^m = \\int_a^b K_m(s, s) \\, ds$ for the iterated kernels $K_m$, which hold for every continuous kernel when $m \\ge 2$, since then $T^m$ is trace class.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "3JVT83K8A1"
    ],
    "kind": "statement",
    "msc": [
      "45C05",
      "47B10",
      "47G10"
    ],
    "name": "Lidskii's trace formula for integral operators",
    "role": "corollary",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Trace_class"
      }
    ],
    "tag": "EYXNKYMJJH",
    "uses": [
      "3JVT83K8A1",
      "Z2CP530WDE",
      "4NSACSWRJZ",
      "QD23PJR6RP",
      "SASP14MA1Z",
      "PKGADWXPYH"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/EYXNKYMJJH/",
  "links": [
    {
      "field": "about",
      "target": "3JVT83K8A1"
    },
    {
      "field": "uses",
      "target": "3JVT83K8A1"
    },
    {
      "field": "uses",
      "target": "Z2CP530WDE"
    },
    {
      "field": "uses",
      "target": "4NSACSWRJZ"
    },
    {
      "field": "uses",
      "target": "QD23PJR6RP"
    },
    {
      "field": "uses",
      "target": "SASP14MA1Z"
    },
    {
      "field": "uses",
      "target": "PKGADWXPYH"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/EYXNKYMJJH.md",
  "msc": [
    "45C05",
    "47B10",
    "47G10"
  ],
  "name": "Lidskii's trace formula for integral operators",
  "prov": null,
  "role": "corollary",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/EYX/EYXNKYMJJH.md",
  "status": null,
  "tag": "EYXNKYMJJH",
  "uri": "m2://EYXNKYMJJH",
  "url": "https://tamnd.github.io/math2/wiki/lidskiis-trace-formula-for-integral-operators/",
  "writing": {
    "tag": "EYXNKYMJJH",
    "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
      }
    ]
  }
}