3
$\begingroup$

Assume $\Omega$ is a smoothly bounded open domain in $ \mathbb R^n$ and $B$ is an open ball of equal volume. Let $\Phi:\partial\Omega\to \partial B$ be a diffeomorphism. Is it true that there exists a volume preserving diffeomorphism $\tilde{\Phi}:\overline{\Omega}\to\overline{B}$ such that $\tilde{\Phi}\vert_{\partial\Omega}=\Phi$?

$\endgroup$
3
  • 1
    $\begingroup$ Thanks, yes $\tilde{\Phi}$ should be volume preserving. $\endgroup$
    – guest61
    Commented Aug 19, 2021 at 8:26
  • $\begingroup$ I observe that $\Omega$ is not constrained to be connected, which can lead to an obstruction. $\endgroup$ Commented Aug 19, 2021 at 16:29
  • $\begingroup$ is there a special term for volume preserving diffeomorphism like how isometry is like metric preserving diffeomorphism or something? $\endgroup$
    – BCLC
    Commented Aug 19, 2021 at 19:02

1 Answer 1

5
$\begingroup$

Let $\Omega$ be a submanifold of $\mathbb R^n$ with boundary $\partial\Omega$ diffeomorphic to $\partial B$. As far as I know, it is not obvious that $\overline\Omega$ should be diffeomorphic to $\overline B$, and my guess would be that this is actually false in all generality. From what I understand, though, it is true if you assume $\Omega$ is contractible and $n\geq5$, see this question.

So there might be a topological obstruction. Once you get past this (for instance if you already assume $\overline\Omega$ is diffeomorphic to $\overline B$), then it reduces to the same question with $\Omega=B$. Now there might be another topological obstruction, which is that the diffeomorphism of the boundary may not extend to a diffeomorphism of the whole ball, see this answer.

Again, if you already know that $\overline\Omega$ is diffeomorphic to $\overline B$, then these obstructions cannot happen, more or less by definition. Then your question becomes: let $\omega_1,\omega_2$ be two smooth volume forms on $B$ with the same global volume, is there a diffeomorphism sending one to the other? This is a Moser-type theorem, and the version for manifolds with boundary is proved in Formes-volumes sur les variétés à bord (volume forms on manifolds with boundary) by A. Banyaga (1974).

$\endgroup$
3
  • $\begingroup$ Many thanks for your comments. In particular for the reference Banyaga (1974)! $\endgroup$
    – guest61
    Commented Aug 19, 2021 at 10:06
  • 2
    $\begingroup$ Theorem 8.6 in Ebin Marsden 1970 "Groups of diffeomorphisms and the motion of an incompressible fluid" is another relevant reference for the last paragraph. $\endgroup$ Commented Aug 19, 2021 at 11:34
  • $\begingroup$ is there a special term for volume preserving diffeomorphism like how isometry is like metric preserving diffeomorphism or something? $\endgroup$
    – BCLC
    Commented Aug 19, 2021 at 19:02

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .