I’ve started many blog posts on algebra/algebraic geometry, but they won’t get finished and posted for a little while. I’ve been studying for a test I have to take in a few weeks in differential geometry-esque things. So I’ll do a few posts on things that I think are usually considered pretty easy and obvious to most people, but are just things I never sat down and figured out. Hopefully this set of posts will help others who are confused as I recently was.
My first topic is about the Frobenius Theorem. I’ve posted about it before. Here’s the general idea of it: If is a smooth manifold and is a smooth distribution on it, then is involutive if and only if it is completely integrable (i.e. there is are local flat charts for the distribution).
What does this have to do with being able to solve partial differential equations? I’ve always heard that it does, but other than the symbol appearing in the defining of a distribution or of the flat chart, I’ve never figured it out.
Let’s go through this with some examples. Are there any non-constant solutions to the systems of equations: and ?
Until a few days ago, I would have never thought we could use the Frobenius Theorem to do this. Suppose were such a solution. Define the vector fields and and define the distribution .
Choose a regular value of , say (one exists by say Sard’s Theorem). Then is a 2-dimensional submanifold , and since is a defining function . But the very fact that satisfies, by assumption, and , we have . I.e. is an integral manifold for the distribution . Thus must be involutive.
Just check now. , so in particular at the origin and it is not in the span, and hence not involutive. Thus no such exists. This didn’t even use Frobenius.
Now let’s spice up the language and difficulty. Is it possible to find a function , in a neighborhood of , such that and ? Alright, the phrasing is just asking there is a local solution to the system and . Uh oh. The above method fails us now since it isn’t homogeneous.
Alright, so let’s extrapolate a little. We have a system of the form and . The claim is that necessary and sufficient conditions to have a local solution to this system is .
I won’t go through the details of the proof, but the main idea is not bad. Define the distribution spanned by and .
Then use that assumption to see that and hence the distribution is involutive and hence there is an integral manifold for the distribution by the Frobenius Theorem. If is a local defining function to that integral manifold, then we can hit that with the Implicit Function Theorem and get that (the implicit function) is a local solution.
If we go back to that original problem, we can easily check that the sufficient condition is met and hence that local solution exists.
I had one other neat little problem, but it doesn’t really fit in here other than the fact that solutions to PDEs are involved.