In the process of constructing a diffeo with a uniformly hyperbolic set with intermediate measure, I came across the following problem which I find interesting in its own right:
Given a diffeo , when does it extend to a volume preserving diffeo of the unit disc to itself?
Some people suggested me to look into Moser’s theorem for volume forms on compact manifolds, I found it pretty cool, so here it is (taken from Moser’s paper):
Theorem: Given two smooth volume forms with same total volume on a compact connected manifold , there exists diffeomorphism s.t. .
However this does not directly apply to the boundary problem as we are dealing with manifolds (disc) with boundary rather than entire compact manifolds…Hence to make it applicable to the case, I would have to get some kind of ‘relative’ version of the theorem.
The expectation is that this can be done by plugging in the case into Moser’s proof and see if it can be modified.. I’ll update this pose when I got around to do that (hopefully in the next few days)
Okay…I think I have finally figured out how to do this. (with a huge amount of hints and directions from Keith Burns). But temporarily I have to lose one degree of regularity when making the extension (i.e. starting with a , extend it to a volume preserving. But at this point I strongly believe that we can in fact do it with being . (the regularity is lost when I extended the diffeo locally)
Theorem: Given diffeomorphism , we can find (Lebesgue) volume preserving diffeomorphism that extends . (where is the closed unit disc and is its boundary)
First we extend the diffeo to a neignbourhood of in .
Let be the half-open annuals with radius and .
Let be the half-cylinder.
is a volume preserving diffeo from to
is continuous hence bounded.
Let . Let .
Hence is volume preserving, and .
Hence we have successfully extended to a neighborhood of in a volume preserving way.
Now we further extend to a (non-volume-preserving) diffeo of to itself.
This can be done by first take on , average it with by a bump function that is on and vanishes on .
Since both functions preserve vertical segments, taking the resulting map back to will produce a diffeo except for at the point . We may smooth out the map at . Call the resulting diffeo
Define measure on by where is any Lebesgue measurable set and is the Lebesgue measure.
Since is volume preserving on , hence is equal to on .
Also we have .
Hence we can apply lemma 2 in Moser’s paper:
Lemma: If two volume forms agree on an neighbourhood of the boundary of the cube (disc in our case) with the same total volume, then there exists diffeo from the cube (disc) to itself s.t. is identity on the neighbourhood of the boundary and for all measurable set .
We apply the lemma to and , obtain .
is a diffeo that preserved Lebesgue volume, so is its inverse .
Hence is a volume preserving extension of .