Partial differential equations Existence theory Counterexample
Hadamard's example of ill-posedness
Builds on Well-posed problemLaplace's equation
Counterexample
Consider the Cauchy problem for the Laplace equation in the half-plane : For an integer , take the datum . The function solves the problem. Indeed and , so the Laplace equation holds. Also , since , and . The data tend to uniformly: . For the zero datum the solution is . But for every fixed , . So the solution does not depend continuously on the data, and the problem is not well posed.
Remarks
Uniqueness holds here, by Holmgren's uniqueness theorem, so the failure is only in the continuous dependence. The same holds with any norm on the data that involves finitely many derivatives, since the -th derivative of has size , while grows exponentially in . The example also explains why the Cauchy–Kovalevskaya theorem, which does give a solution for analytic data, is not a well-posedness result. The natural problems for the Laplace equation are boundary value problems such as the Dirichlet problem, which are well posed.
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
- no evidence level
- Laplace's equation concept
- Well-posed problem concept
- Hadamard's example of ill-posedness counterexample
Further reading
About this page
| Tag | SZ6MEVM89M |
|---|---|
| URI | m2://SZ6MEVM89M |
| Kind | counterexample |
| Writing | W0 stub |
| MSC | 35R25, 35J05 |
| Uses | Well-posed problem, Laplace's equation |
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)
- edge refutes or not_instance_of out (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.