Math 2.0

Partial differential equations Definition

Well-posed problem

Builds on Normed vector spaceContinuous function

Definition

Let XX and YY be normed vector spaces, the space of data and the space of solutions. Let D⊆YD \subseteq Y and let A ⁣:D→XA \colon D \to X be a map. The problem of finding, for given f∈Xf \in X, some u∈Du \in D with A(u)=fA(u) = f is well posed if:

  1. for every f∈Xf \in X there is a solution u∈Du \in D of A(u)=fA(u) = f;
  2. for every f∈Xf \in X this solution is unique;
  3. the solution map X→YX \to Y, f↦uf \mapsto u, is continuous.

Otherwise the problem is ill posed.

Remarks

The choice of the spaces XX and YY and of their norms is part of the problem. A problem can be well posed for one choice and ill posed for another. Example: the Dirichlet problem for the Laplace equation on the closed unit disc B‾\overline{B}, with X=C(∂B)X = C(\partial B) and Y=C(B‾)Y = C(\overline{B}) both with the supremum norm. The Poisson integral gives a solution for each boundary function φ\varphi. If uu and vv solve the problem with boundary values φ\varphi and ψ\psi, the maximum principle applied to ±(u−v)\pm(u - v) gives max⁡B‾∣u−v∣≤max⁡∂B∣φ−ψ∣\max_{\overline{B}} \abs{u - v} \le \max_{\partial B} \abs{\varphi - \psi}. This bound gives both uniqueness and continuity, so the problem is well posed. Non-example: the Cauchy problem for the Laplace equation fails clause 3; see Hadamard's example. The backward heat equation also fails clause 3, and on bounded domains it fails clause 1 for most data.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Continuous function concept
  2. Normed vector space concept
  3. Well-posed problem definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Well-posed_problem
About this page
TagFZ64956KX2
URIm2://FZ64956KX2
Kinddefinition
WritingW0 stub
MSC35A01, 35A02, 35B30
DefinesWell-posed problem
UsesNormed vector space, Continuous function
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.