{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "5ZN4VXR3X5"
    }
  ],
  "body": "\n## Summary\n\nThe Perron integral squeezes the integral of a function between the increments of major and minor functions.\nThe lower derivatives of a major function lie above the function, and the upper derivatives of a minor function lie below it.\nIt integrates every derivative, and it gives the same integrable functions and the same values as the [[Henstock–Kurzweil integral|FCGHXDGVV9]].\nIt extends the [[Lebesgue integral|DWJF7ABPR1]].\n\n## Explanations\n\n### L1 human\n\nThe Darboux integral traps the area between step functions lying above and below the graph.\nThe Perron integral traps the integral instead between functions whose slopes lie above and below the function.\nA function $U$ whose slope is everywhere at least $f$ should grow at least as much as the integral of $f$.\nA function $V$ whose slope is at most $f$ should grow at most as much.\nIf these bounds meet, the common value is the Perron integral.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "26A39"
    ],
    "name": "Perron integral",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Henstock%E2%80%93Kurzweil_integral"
      }
    ],
    "tag": "M077AXJACA"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/M077AXJACA/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/M077AXJACA.md",
  "msc": [
    "26A39"
  ],
  "name": "Perron integral",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/M07/M077AXJACA.md",
  "status": null,
  "tag": "M077AXJACA",
  "uri": "m2://M077AXJACA",
  "url": "https://math2.tamnd.com/wiki/perron-integral/",
  "writing": {
    "tag": "M077AXJACA",
    "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
      }
    ]
  }
}