I’m continuing my series of articles for the Princeton Companion to Mathematics ahead of the winter quarter here at UCLA (during which I expect this blog to become dominated by ergodic theory posts) with my article on generalised solutions to PDE. (I have three more PCM articles to release here, but they will have to wait until spring break.) This article ties in to some extent with my previous PCM article on distributions, because distributional solutions are one good example of a “generalised solution” or “weak solution” to a PDE. They are not the only such notion though; one also has variational and stationary solutions, viscosity solutions, penalised solutions, solutions outside of a singular set, and so forth. These notions of generalised solution are necessary when dealing with PDE that can exhibit singularities, shocks, oscillations, or other non-smooth behaviour. Also, in the foundational existence theory for many PDE, it has often been profitable to first construct a fairly weak solution and then use additional arguments to upgrade that solution to a stronger solution (e.g. a “classical” or “smooth” solution), rather than attempt to construct the stronger solution directly. On the other hand, there is a tradeoff between how easy it is to construct a weak solution, and how easy it is to upgrade that solution; solution concepts which are so weak that they cannot be upgraded at all seem to be significantly less useful in the subject, even if (or especially if) existence of such solutions is a near-triviality. [This is one manifestation of the somewhat whimsical “law of conservation of difficulty”: in order to prove any genuinely non-trivial result, some hard work has to be done somewhere. In particular, it is often the case that the behaviour of PDE depends quite sensitively on the exact structure of that PDE (e.g. on the sign of various key terms), and so any result that captures such behaviour must, at some point, exploit that structure in a non-trivial manner; one usually cannot get very far in PDE by relying just on general-purpose theorems that apply to all PDE, regardless of structure.]
The Companion also has a section on history of mathematics; for instance, here is Leo Corry‘s PCM article “The development of the idea of proof“, covering the period from Euclid to Frege. We take for granted nowadays that we have precise, rigorous, and standard frameworks for proving things in set theory, number theory, geometry, analysis, probability, etc., but it is worth remembering that for the majority of the history of mathematics, this was not completely the case; even Euclid’s axiomatic approach to geometry contained some implicit assumptions about topology, order, and sets which were not fully formalised until the work of Hilbert in the modern era. (Even nowadays, there are still a few parts of mathematics, such as mathematical quantum field theory, which still do not have a completely satisfactory formalisation, though hopefully the situation will improve in the future.)
[Update, Jan 4: bad link fixed.]
10 comments
Comments feed for this article
4 January, 2008 at 3:30 pm
Roberta
The development of the idea of proof (up to 1900)’s link is not working
4 January, 2008 at 8:04 pm
Terence Tao
Sorry about that! It should be fixed now.
5 January, 2008 at 2:21 pm
Jonathan Vos Post
I’ve cited this thread, and excerpted the wonderful Leo Corry’s article “The development of the idea of proof“, over at January 2, 2008
Two Cultures in the Philosophy of Mathematics?
Posted by David Corfield, on the n-Category Cafe.
6 January, 2008 at 9:09 am
fedfan
Hi, There appear to some duplicate file names, pointing to multiple
topics. In particular, Riemannian Metrics file is missing as the contents
discuss Knot Polynomials. I think there might be another?
6 January, 2008 at 9:25 am
fedfan
Just to point out, the section III, The Exponential and Logarithmic Functions
is listed twice albeit the file contents are indeed about these topics :-)
Btw, this is a fantastic project! This blog is absolutely a gem. Please keep
it up.
9 January, 2008 at 2:37 pm
Roberta
“Algebraic Numbers” by Barry Mazur is a very good article ( for the Princeton Companion to Mathematics ) ! :)
Click to access Mazur.AlgNumbers.pdf
9 January, 2008 at 2:52 pm
Doug
The Leo Corry PCM article “The development of the idea of proof“ is excellent.
However, is it incomplete by ignoring the possible contributions of other civilizations such as Egypt, China and India section ‘Development’ in Calculus?
14 January, 2008 at 8:33 am
survey
Dear Terry,
In the inviscid Burgers equation, nonuniqueness of weak solutions
always breaks down once discontinuities appear.
28 February, 2009 at 12:13 am
Tricks Wiki: Give yourself an epsilon of room « What’s new
[…] are measures, distributions, or some other concept of “generalised function” or “generalised solution“. For instance, the fundamental solution to a PDE is typically just a distribution or […]
6 November, 2012 at 10:10 pm
Advanced Analysis, Notes 8: Banach spaces (application: weak solutions to PDEs) « Noncommutative Analysis
[…] are other notions of generalized solutions, see also Terry Tao’s PCM article or the Wikipedia […]