{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $(X, d)$ be a [[metric space|0VKD1TP7F3]].\nLet $F_n \\colon X \\to [-\\infty, +\\infty]$ be functions that [[Γ-converge|NW9MM370A5]] to $F \\colon X \\to [-\\infty, +\\infty]$.\nAssume that the sequence is equi-coercive in the following sense: there is a nonempty [[compact set|0R6EWFKRCF]] $K \\subseteq X$ with $\\inf_X F_n = \\inf_K F_n$ for every $n$.\nThen:\n\n1. $F$ attains its minimum on $X$, and\n$$\\min_X F = \\lim_{n \\to \\infty} \\inf_X F_n.$$\n2. If $(x_n)$ is a sequence in $X$ with $\\lim_n F_n(x_n) = \\lim_n \\inf_X F_n$, then every limit of a subsequence of $(x_n)$ is a minimum point of $F$.\n\n## Remarks\n\nFor the proof, pick almost minimizers $x_n \\in K$ of $F_n$ and a subsequence along which $\\inf_X F_n$ tends to its limit inferior and $x_n$ converges to some $x \\in K$.\nThe lower bound inequality gives $F(x) \\le \\liminf_n \\inf_X F_n$.\nFor any $y \\in X$, a recovery sequence $y_n \\to y$ gives $\\limsup_n \\inf_X F_n \\le \\limsup_n F_n(y_n) \\le F(y)$.\nTogether these show that $x$ minimizes $F$ and that the infima converge; part 2 follows from the same lower bound.\n\nExample: for $F_n(x) = \\sin(nx) + x^2$ on $\\R$, the Γ-limit is $F(x) = x^2 - 1$, since adding a continuous real function commutes with Γ-convergence.\nSince $F_n(x) \\ge x^2 - 1 \u003e 0 = F_n(0)$ for $\\abs{x} \u003e 1$, the infimum of $F_n$ over $\\R$ equals its infimum over $K = [-1, 1]$.\nThe theorem gives $\\min F_n \\to -1$, and the minimizers of $F_n$ tend to $0$, the minimizer of $F$.\n\nThe coercivity hypothesis cannot be dropped.\nLet $F_n(x) = -\\max(0, 1 - \\abs{x - n})$ on $\\R$, a downward tent centred at $n$.\nIts Γ-limit is $F = 0$, but $\\inf F_n = -1$ for every $n$, so the infima do not converge to $\\min F = 0$; the minimizers $x_n = n$ escape to infinity.\n\n## Explanations\n\n### L1 human\n\nSuppose a hard minimization problem is close, in the sense of Γ-convergence, to a simpler limit problem.\nThe theorem says that the smallest values of the hard problems approach the smallest value of the limit problem.\nIt also says that their best points can only accumulate at best points of the limit problem.\nThe one extra condition is that the best points do not run away to infinity.\n\n### L2 human\n\nThis theorem is the reason Γ-convergence is defined the way it is.\nThe lower bound inequality controls minimum values from below, and recovery sequences control them from above.\nIn applications one proves the two inequalities separately: the lower bound often by a lower semicontinuity argument, the upper bound by an explicit construction.\nEqui-coercivity usually comes from a compactness theorem, such as the Rellich compactness theorem for Sobolev spaces.\nResults such as the Modica–Mortola theorem on phase transitions are then read as statements about the behaviour of minimizers.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "NW9MM370A5"
    ],
    "kind": "statement",
    "msc": [
      "49J45"
    ],
    "name": "Fundamental theorem of Γ-convergence",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Γ-convergence"
      }
    ],
    "tag": "23RK8EZ20P",
    "uses": [
      "NW9MM370A5",
      "0VKD1TP7F3",
      "0R6EWFKRCF",
      "0GSZ7B0CGR"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/23RK8EZ20P/",
  "links": [
    {
      "field": "about",
      "target": "NW9MM370A5"
    },
    {
      "field": "uses",
      "target": "NW9MM370A5"
    },
    {
      "field": "uses",
      "target": "0VKD1TP7F3"
    },
    {
      "field": "uses",
      "target": "0R6EWFKRCF"
    },
    {
      "field": "uses",
      "target": "0GSZ7B0CGR"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/23RK8EZ20P.md",
  "msc": [
    "49J45"
  ],
  "name": "Fundamental theorem of Γ-convergence",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/23R/23RK8EZ20P.md",
  "status": null,
  "tag": "23RK8EZ20P",
  "uri": "m2://23RK8EZ20P",
  "url": "https://tamnd.github.io/math2/wiki/fundamental-theorem-of-convergence/",
  "writing": {
    "tag": "23RK8EZ20P",
    "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
      }
    ]
  }
}