{
  "aliases": null,
  "backlinks": [
    {
      "field": "illustrates",
      "target": "J6X53EPYR5"
    },
    {
      "field": "uses",
      "target": "J6X53EPYR5"
    },
    {
      "field": "uses",
      "target": "YR42E2W19Q"
    }
  ],
  "body": "\n## Problem\n\nThe one-dimensional one-phase Stefan problem describes a solid at its melting temperature $0$ that occupies the half-line $x \u003e 0$ and melts when heat enters at $x = 0$.\nLet $a \u003e 0$ be the thermal diffusivity of the liquid, $k \u003e 0$ its thermal conductivity and $L \u003e 0$ the latent heat per unit volume.\nLet $g \\colon [0, \\infty) \\to [0, \\infty)$ be a given boundary temperature.\nFind a function $s \\colon [0, \\infty) \\to [0, \\infty)$ with $s(0) = 0$, the position of the interface, and a temperature $u(x, t)$ defined for $0 \\le x \\le s(t)$, such that:\n\n1. $\\partial_t u = a \\, \\partial_x^2 u$ for $0 \u003c x \u003c s(t)$ and $t \u003e 0$;\n2. $u(0, t) = g(t)$ for $t \u003e 0$;\n3. $u(s(t), t) = 0$ for $t \u003e 0$;\n4. $L \\, s'(t) = -k \\, \\partial_x u(s(t), t)$ for $t \u003e 0$.\n\nThe unknown interface $s$ is the free boundary.\nCondition 4, the Stefan condition, says that the heat flux arriving at the interface is used to melt the solid.\n\n## Remarks\n\nThe problem is nonlinear, although the [[heat equation|VP2HN86VAG]] in clause 1 is linear, because the domain where it holds depends on the solution.\nFor a constant boundary temperature $g = T \u003e 0$ there is an explicit similarity solution, due to Neumann.\nIn units where $a = k = L = 1$, it is $s(t) = 2 \\lambda \\sqrt{t}$ and $u(x, t) = T \\left(1 - \\operatorname{erf}\\left(x / (2 \\sqrt{t})\\right) / \\operatorname{erf}(\\lambda)\\right)$.\nHere $\\lambda \u003e 0$ is the unique root of $\\lambda e^{\\lambda^2} \\operatorname{erf}(\\lambda) = T / \\sqrt{\\pi}$, which comes from inserting $u$ and $s$ into the Stefan condition.\nThe interface thus moves like $\\sqrt{t}$, as is typical for diffusion.\nTwo-phase versions, in which the temperature of the solid also evolves, and versions in several space dimensions are studied as well.\nLamé and Clapeyron had studied an equivalent problem in 1831.\n\n## Explanations\n\n### L1 human\n\nA block of ice is heated from one side.\nInside the water the heat spreads by diffusion, and at the boundary between water and ice the heat is used up to melt more ice.\nThe position of this boundary is not known in advance: it is part of the answer.\nThe Stefan problem asks for both the temperature in the water and the motion of the melting front.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "VP2HN86VAG"
    ],
    "history": {
      "first_stated": "around 1890",
      "posed_by": "Josef Stefan"
    },
    "kind": "problem",
    "msc": [
      "35R35",
      "80A22",
      "35R37"
    ],
    "name": "Stefan problem",
    "same_as": {
      "wikidata": "Q3775789",
      "wikipedia": "Stefan problem"
    },
    "sources": [
      {
        "locator": "Mathematical formulation",
        "url": "https://en.wikipedia.org/wiki/Stefan_problem"
      }
    ],
    "tag": "3B0HB3DHW1",
    "uses": [
      "VP2HN86VAG",
      "GC5BDZ6QBC"
    ]
  },
  "kind": "problem",
  "link": "https://tamnd.github.io/math2/node/3B0HB3DHW1/",
  "links": [
    {
      "field": "about",
      "target": "VP2HN86VAG"
    },
    {
      "field": "uses",
      "target": "VP2HN86VAG"
    },
    {
      "field": "uses",
      "target": "GC5BDZ6QBC"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/3B0HB3DHW1.md",
  "msc": [
    "35R35",
    "80A22",
    "35R37"
  ],
  "name": "Stefan problem",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/3B0/3B0HB3DHW1.md",
  "status": null,
  "tag": "3B0HB3DHW1",
  "uri": "m2://3B0HB3DHW1",
  "url": "https://tamnd.github.io/math2/wiki/stefan-problem/",
  "writing": {
    "tag": "3B0HB3DHW1",
    "kind": "problem",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}