I have now discussed what the Laplacian looks like in a general Riemannian manifold and can thus talk about the basic equations of mathematical physics in a more abstract context. Specifically, the key ones are the Laplace equation

for a smooth function on a Riemannian manifold. Since , this often comes up when is the potential energy function of a field which is divergence free, e.g. in electromagnetism. The other major two are the heat equation

for a smooth function on the product manifold for a Riemannian manifold, and the wave equation

in the same setting. (I don’t know the physics behind these at all, but it’s probably in any number of textbooks.) We are often interested in solving these given some kind of boundary data. In the case of the Laplace equation, this is called the Dirichlet problem. In 2-dimensions for data given on a circle, the Dirichlet problem is solved using the Poisson integral, as already discussed. To go further, however, we would need to introduce the general theory of elliptic operators and Sobolev spaces. This will heavily rely on the material discussed earlier on the Fourier transform and distributions, and before plunging into it—if I do decide to plunge into it on this blog—I want to briefly discuss why Fourier transforms are so important in linear PDE. Specifically, I’ll discuss the solution of the heat equation on a half space. So, let’s say that we want to treat the case of . In detail, we have a function , continuous on . We want to extend to a solution to the heat equation which is continuous on and smooth on . To start with, let’s say that . The big idea is that by the Fourier inversion formula, we can get an equivalent equation if we apply the Fourier transform to both sides; this converts the inconvenience of differentiation into much simpler multiplication. When we talk about the Fourier transform, this is as a function of . So, assuming we have a solution as above:

Also, we know what looks like. So this is actually a linear differential equation in for each fixed with initial conditions . The solution is unique, and it is given by