If you want to extend differentiation to all continuous functions, then (provided you have some convenient mathematical properties of the extension) you are FORCED to use distributions or roughly equivalent things; you have no choice! Similarly, to extend the Fourier transform you are forced to consider tempered distributions.
Speaking as a pure mathematician: the main purpose of general distributions is to extend differentiation, not integration (since integration makes things nicer; it is differentiation which is the nastier operation). They are fine as long as you aren't using the Fourier transform.
Thus, every locally integrable function can be regarded as a distribution, and therefore differentiated; so, when you're considering differential equations, this might be all you need (you don't have to worry whether the functions are differentiable or not, because distributions always are). You find distribution solutions, then try to prove that they're actually functions.
It's similar to solving polynomial equations by using complex numbers; even if all the roots are real, it's still sometimes easier to solve them with complex numbers, then try to prove they're real (e.g. by showing they're self-conjugate).
However, if you want to do Fourier Transforms then you have to consider tempered distributions (or Schwartz distributions), since general distributions are sometimes too nasty to have Fourier transforms.
Note that even genuine locally integrable functions need not represent tempered distributions, so general distributions are not appropriate for Fourier transforms even when you only want to consider functions.
But Fourier inversion works perfectly for tempered distributions, no further restrictions are needed, unlike, say, $L^1$. If $f in L^1$ then $widehat{f}$ is usually not in $L^1$, so you can't do Fourier inversion theory nicely on $L^1$ (you would have to assume that also $widehat{f} in L^1$, which is often not true!)
Extension in mathematics is very powerful; when you don't have to worry about restrictions and annoying details, it is easier! For example, complex numbers are easier than real numbers, complex analysis is easier than real analysis, and Lebesgue integration is easier than Riemann integration!! Students never believe this, but it's true if you actually want to use it (rather than do toy problems in books)...
No comments:
Post a Comment