So I managed to go nine months without ever looking at this thing. That’s unfortunate. It is, however, an indication of how the past two semesters have been for me, time-wise.
Without moving backwards, I’ll leave this for an update:
- My GPA is pretty not-terrible.
- I managed to exempt all of my qualifying exams by scoring A- or higher in the classes needed.
- I’ve gotten to know some professors who seem not to hate me.
- I’ve become a better mathematician.
All of those are important, of course, but the last one is the one that matters most.
When I started this thing, I’d meant it to be a place for sharing lots of general math stuff. Now that I (hopefully) have more time, I’m expecting more sharing to happen. Just to get things off on the right foot, here’s part of a little something I worked on last semester.
Here, we’re considering functions which are quaternion-valued functions of a quaternion variable. The function is said to be (Feuter) Regular at provided , where
The Cauchy-Fueter Integral Formula
If is regular at every point of the positively-oriented parallelepiped and is a point in the interior of , then
Proof. The proof given largely follows the outline given by Sudbury. For an equivalent statement translated from the language of differential forms into the framework of vector fields and their integrals, see the proof on page 12 of Deavours.
First, let be a 4-parallelepiped in and let be an element of its interior . Define the function so that
where
Clearly, then, is real differentiable at every point in . Moreover, a simple computation verifies that except at . From other results (see Sudbury), it follows that for all by regularity of .
Next, we use the dissection method from Goursat’s theorem. In particular, consider replacing by a smaller parallelepiped for which . Because has a removable singularity at , it follows that is continuous at , whereby it follows that choosing small enough allows approximation of by . Finally, let be a 3-sphere with center and Euclidean volume element on which
Such substitution is possible by way of a change of variables in the definition of . This change of variables results in the following:
Dividing both sides by yields the exact statement of the result.
The above is part of a (rather long) paper I finished last semester that’s in the infancy of a future as a potential pre-print/publication. I’m not going to link to it until I’ve done a bit more with it. Worth noting, too, is that this is the first time I’ve ever used WordPress’s incarnation of LaTeX, meaning there are many kinks to work out and much tinkering to do. I’m hoping that I can fit this blog into my plans for the rest of the semester, though, so maybe that will force me to do more with it.