{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $n \\ge 2$ and let $\\Gamma \\subseteq \\R^n$ be a [[rectifiable|0HATW2VWAZ]] Jordan curve, that is, a curve of finite length homeomorphic to a circle.\nLet $D$ be the open unit disc in $\\R^2$, with coordinates $(u, v)$, and let $\\overline{D}$ be its closure.\nLet $\\mathcal{C}(\\Gamma)$ be the set of continuous maps $Y \\colon \\overline{D} \\to \\R^n$ in the [[Sobolev space|M4CEZ5K9HP]] $W^{1,2}(D; \\R^n)$.\nThe restriction of each such $Y$ to $\\partial D$ must be a monotone parametrization of $\\Gamma$.\nThen there is a map $X \\in \\mathcal{C}(\\Gamma)$ such that:\n\n1. $X$ restricted to $\\partial D$ is a homeomorphism onto $\\Gamma$;\n2. $X$ is [[harmonic|0DEB0JMN0W]] in $D$;\n3. $X$ is weakly [[conformal|0YYT36R4YD]] in $D$: $\\abs{X_u}^2 = \\abs{X_v}^2$ and $X_u \\cdot X_v = 0$;\n4. the area $\\int_D \\abs{X_u \\wedge X_v} \\, du \\, dv$ of $X$ is the least area of all maps in $\\mathcal{C}(\\Gamma)$.\n\n## Remarks\n\nJesse Douglas and Tibor Radó found the theorem independently, around 1930.\nThe idea is to minimize the Dirichlet energy $\\frac12 \\int_D (\\abs{Y_u}^2 + \\abs{Y_v}^2)$ instead of the area.\nThe energy is easier to control, and it is at least the area, with equality for conformal maps.\nThe energy is invariant under the conformal maps of the disc, so one fixes the images of three boundary points.\nThen the Courant–Lebesgue lemma makes a minimizing sequence equicontinuous on the boundary, and a minimizer exists.\nA minimizer of the energy is harmonic, and varying the parametrization of the disc shows that it is weakly conformal, so it also minimizes area.\nPoints where $X_u = 0$ are isolated branch points, and away from them the image is a [[minimal surface|41X0YW2R9N]].\nFor example, if $\\Gamma$ is a planar circle, the solution parametrizes the flat disc that it bounds.\nThe theorem controls only disc-type surfaces: a curve may bound a surface of another topological type with smaller area.\n\n## Explanations\n\n### L1 human\n\nA wire loop dipped in soapy water holds a film of least area.\nDouglas and Radó proved that for every loop of finite length a least-area surface shaped like a disc exists.\nTheir surface is given by a parametrization that is both harmonic and angle-preserving.\n\n### L2 human\n\nThe theorem answers [[Plateau's problem|DVYA6GD8RN]] for disc-type surfaces, and it is a model of the direct method of the calculus of variations.\nThe trick of replacing area by the Dirichlet energy reappears in the theory of harmonic maps and of minimal surfaces in Riemannian manifolds.\nLater work studied the branch points: for area-minimizing solutions in $\\R^3$ there are no interior branch points.\nGeometric measure theory treats the problem in other dimensions and without fixing the topology, with currents and varifolds.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "DVYA6GD8RN"
    ],
    "kind": "statement",
    "msc": [
      "49Q05",
      "53A10",
      "58E12"
    ],
    "name": "Douglas–Radó solution of Plateau's problem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Plateau%27s_problem"
      }
    ],
    "tag": "KM8Q5HZ48G",
    "uses": [
      "DVYA6GD8RN",
      "0DEB0JMN0W",
      "0YYT36R4YD",
      "41X0YW2R9N",
      "M4CEZ5K9HP",
      "0HATW2VWAZ"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/KM8Q5HZ48G/",
  "links": [
    {
      "field": "about",
      "target": "DVYA6GD8RN"
    },
    {
      "field": "uses",
      "target": "DVYA6GD8RN"
    },
    {
      "field": "uses",
      "target": "0DEB0JMN0W"
    },
    {
      "field": "uses",
      "target": "0YYT36R4YD"
    },
    {
      "field": "uses",
      "target": "41X0YW2R9N"
    },
    {
      "field": "uses",
      "target": "M4CEZ5K9HP"
    },
    {
      "field": "uses",
      "target": "0HATW2VWAZ"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/KM8Q5HZ48G.md",
  "msc": [
    "49Q05",
    "53A10",
    "58E12"
  ],
  "name": "Douglas–Radó solution of Plateau's problem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/KM8/KM8Q5HZ48G.md",
  "status": null,
  "tag": "KM8Q5HZ48G",
  "uri": "m2://KM8Q5HZ48G",
  "url": "https://tamnd.github.io/math2/wiki/douglas-rado-solution-of-plateaus-problem/",
  "writing": {
    "tag": "KM8Q5HZ48G",
    "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
      }
    ]
  }
}