{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $\\Omega \\subseteq \\R^n$ be a bounded open set, let $m \\ge 1$, and let $f \\colon \\R^{m \\times n} \\to \\R$ be continuous.\nLet $J(u) = \\int_\\Omega f(\\nabla u) \\, dx$, an [[integral functional|JRQZ803Q5Y]] on maps $u \\colon \\Omega \\to \\R^m$.\n\n1. $J$ is sequentially weak-$*$ lower semicontinuous on the [[Sobolev space|M4CEZ5K9HP]] $W^{1,\\infty}(\\Omega; \\R^m)$ if and only if $f$ is [[quasiconvex|DVJ17KVWXP]].\n2. Let $1 \u003c p \u003c \\infty$ and assume $0 \\le f(\\xi) \\le C (1 + \\abs{\\xi}^p)$ for a constant $C$. Then $J$ is sequentially [[weakly lower semicontinuous|H6GTJRG26G]] on $W^{1,p}(\\Omega; \\R^m)$ if and only if $f$ is quasiconvex.\n\n## Remarks\n\nFor necessity, take $u_k(x) = \\xi x + k^{-1} \\varphi(kx)$ with $\\varphi$ periodic on the unit cube and zero on its boundary.\nThen $u_k$ converges weak-$*$ to the affine map $\\xi x$, and $J(u_k)$ tends to $\\abs{\\Omega}$ times the average of $f(\\xi + \\nabla \\varphi)$ over the cube.\nLower semicontinuity then gives the quasiconvexity inequality.\nFor sufficiency, one localises: on small cubes $\\nabla u$ is nearly constant, and quasiconvexity controls the energy of the oscillations of $u_k$ around it.\n\nPart 1 is Morrey's theorem; part 2 under these growth conditions is due to Acerbi and Fusco, after work of Meyers.\n\nExample: $f(\\xi) = \\abs{\\xi}^2 + (\\det \\xi)^2$ for $2 \\times 2$ matrices is polyconvex, hence quasiconvex, so $J$ is weakly lower semicontinuous on $W^{1,4}(\\Omega; \\R^2)$.\n\nWhen $m = 1$ or $n = 1$, quasiconvexity is convexity, and the theorem recovers the classical role of convexity in Tonelli's existence theorem.\n\n## Explanations\n\n### L1 human\n\nThe theorem answers exactly when the energy of a map can drop in a weak limit.\nIt cannot drop precisely when the integrand is quasiconvex, that is, when wiggling an affine map never lowers its energy.\nSo quasiconvexity is not just a convenient assumption; it is the right condition.\n\n### L2 human\n\nCombined with coercivity, the theorem gives existence of minimisers for vectorial problems by the direct method.\nIts drawback is that quasiconvexity is hard to verify, which is why one often works with polyconvexity, a sufficient condition, and rank-one convexity, a necessary one.\nWhen the integrand is not quasiconvex, the lower semicontinuous envelope of $J$ is the integral of the quasiconvex envelope of $f$, under suitable growth conditions.\nThis is the basis of the relaxation theory of microstructure in materials.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "DVJ17KVWXP",
      "H6GTJRG26G"
    ],
    "kind": "statement",
    "msc": [
      "49J45"
    ],
    "name": "Morrey's lower semicontinuity theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Quasiconvexity_(calculus_of_variations)"
      }
    ],
    "tag": "Q43RD1GK8G",
    "uses": [
      "DVJ17KVWXP",
      "H6GTJRG26G",
      "M4CEZ5K9HP",
      "JRQZ803Q5Y"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/Q43RD1GK8G/",
  "links": [
    {
      "field": "about",
      "target": "DVJ17KVWXP"
    },
    {
      "field": "about",
      "target": "H6GTJRG26G"
    },
    {
      "field": "uses",
      "target": "DVJ17KVWXP"
    },
    {
      "field": "uses",
      "target": "H6GTJRG26G"
    },
    {
      "field": "uses",
      "target": "M4CEZ5K9HP"
    },
    {
      "field": "uses",
      "target": "JRQZ803Q5Y"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/Q43RD1GK8G.md",
  "msc": [
    "49J45"
  ],
  "name": "Morrey's lower semicontinuity theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/Q43/Q43RD1GK8G.md",
  "status": null,
  "tag": "Q43RD1GK8G",
  "uri": "m2://Q43RD1GK8G",
  "url": "https://tamnd.github.io/math2/wiki/morreys-lower-semicontinuity-theorem/",
  "writing": {
    "tag": "Q43RD1GK8G",
    "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
      }
    ]
  }
}