{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "EYF0H8AP91"
    },
    {
      "field": "uses",
      "target": "FPWKGFZE6Q"
    },
    {
      "field": "uses",
      "target": "T62HHSRHP5"
    }
  ],
  "body": "\n## Statement\n\nLet $U \\subset \\R^n$ be a bounded open set.\nLet\n$$L u = \\sum_{i,j=1}^{n} a_{ij}(x) \\, \\partial_i \\partial_j u + \\sum_{i=1}^{n} b_i(x) \\, \\partial_i u$$\nwith continuous coefficients on the closure $\\overline{U}$, where $a_{ij} = a_{ji}$.\nAssume that $L$ is uniformly [[elliptic|XY8GEQSWPR]]: there is $\\theta \u003e 0$ with $\\sum_{i,j} a_{ij}(x) \\xi_i \\xi_j \\ge \\theta \\abs{\\xi}^2$ for all $x \\in U$ and $\\xi \\in \\R^n$.\nLet $u$ be twice continuously differentiable on $U$ and continuous on $\\overline{U}$, with $L u \\ge 0$ in $U$.\n\n1. (Weak maximum principle.) $\\max_{\\overline{U}} u = \\max_{\\partial U} u$.\n2. (Strong maximum principle.) If moreover $U$ is connected and $u$ attains its maximum over $\\overline{U}$ at a point of $U$, then $u$ is constant on $U$.\n\n## Remarks\n\nProof idea for part 1: suppose that $L u \u003e 0$ and $u$ had an interior maximum at $x_0$.\nThen $\\nabla u(x_0) = 0$ and the Hessian of $u$ at $x_0$ would be negative semidefinite, which forces $L u(x_0) \\le 0$.\nFor $L u \\ge 0$, apply this to $u + \\varepsilon e^{\\lambda x_1}$ with $\\lambda$ large, and let $\\varepsilon \\to 0$.\nPart 2 follows from the Hopf lemma on the boundary normal derivative at a maximum point.\nReplacing $u$ by $-u$ gives the corresponding minimum principles for $L u \\le 0$.\n\nExample: every solution of [[Laplace's equation|S8RG6N1PRT]] on a bounded open set takes its maximum and its minimum on the boundary.\nSo a solution of the Dirichlet problem with boundary values between $0$ and $1$ lies between $0$ and $1$, and the Dirichlet problem has at most one solution.\n\nThe hypotheses are needed.\nBoundedness of $U$: on the half-plane $\\set{x_1 \u003e 0}$, the harmonic function $u = x_1$ vanishes on the boundary but is positive inside.\nThe absence of a zeroth-order term with the wrong sign: on $(0, \\pi)$, $u = \\sin x$ satisfies $u'' + u = 0$, vanishes at both ends and equals $1$ at $\\pi/2$.\nWith a term $c(x) u$ and $c \\le 0$, part 1 still holds in the form $\\max_{\\overline{U}} u \\le \\max_{\\partial U} u^+$, where $u^+ = \\max(u, 0)$.\n\n## Explanations\n\n### L1 human\n\nThe maximum principle says that a solution of an elliptic equation cannot have a peak inside the region: its largest value is on the boundary.\nFor a temperature in equilibrium, the hottest point is on the edge, since a hot spot inside would spread its heat to the cooler surroundings.\nIf the largest value is reached inside a connected region, the solution must be constant.\n\n### L2 human\n\nThe maximum principle is the main tool for uniqueness, comparison and bounds for second-order elliptic equations, without any integral estimates.\nIt gives uniqueness for the Dirichlet problem, and comparison: if $L u \\ge L v$ in $U$ and $u \\le v$ on $\\partial U$, then $u \\le v$ in $U$.\nIt also underlies Perron's method for the Dirichlet problem, Harnack inequalities and the theory of viscosity solutions.\nThere are parabolic versions for the heat equation, where the maximum is attained on the bottom or sides of a space-time cylinder.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "XY8GEQSWPR"
    ],
    "kind": "statement",
    "msc": [
      "35B50",
      "35J15"
    ],
    "name": "Maximum principle",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Maximum_principle"
      }
    ],
    "tag": "D2JF19HF91",
    "uses": [
      "XY8GEQSWPR",
      "S8RG6N1PRT",
      "0VW90BBSJ4"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/D2JF19HF91/",
  "links": [
    {
      "field": "about",
      "target": "XY8GEQSWPR"
    },
    {
      "field": "uses",
      "target": "XY8GEQSWPR"
    },
    {
      "field": "uses",
      "target": "S8RG6N1PRT"
    },
    {
      "field": "uses",
      "target": "0VW90BBSJ4"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/D2JF19HF91.md",
  "msc": [
    "35B50",
    "35J15"
  ],
  "name": "Maximum principle",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/D2J/D2JF19HF91.md",
  "status": null,
  "tag": "D2JF19HF91",
  "uri": "m2://D2JF19HF91",
  "url": "https://tamnd.github.io/math2/wiki/maximum-principle/",
  "writing": {
    "tag": "D2JF19HF91",
    "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
      }
    ]
  }
}