Posted by: matheuscmss | July 6, 2013

A remark on the Jacobian determinant PDE

A few days ago I crossed by chance the book “The pullback equation for differential forms” of G. Csató, B. Dacorogna and O. Kneuss. Very roughly speaking, this book concerns the existence and regularity of solutions to the partial differential equation (PDE)

\displaystyle \varphi^*(\eta_0)=\eta_1

where {\eta_0} and {\eta_1} are given {k}forms and {\varphi} is an unknown map.

As it turns out, this is a non-linear (for {k\geq 2}) homogenous (of degree {k} in the derivatives of {\varphi}) of first-order system of {\binom{n}{k}} PDEs on {\varphi}.

The first time I got interested in this (pullback) PDE was some years ago because of its connection with the question of constructing “nice” perturbations of volume-preserving dynamical systems (see this paper here [and its corrigendum here]).

More concretely, suppose that you are studying the dynamical features of volume-preserving diffeomorphism {f} and you want to test whether {f} has some given robust property {\mathcal{P}}, e.g., {f} is robustly transitive (i.e., all volume-preserving diffeomorphisms {g} obtained from small perturbations of {f} have some dense orbit). Then, you can use the pullback equation to contradict this robust property for {f} along the following lines.

Assume that you found some region {U} of the phase space where {f} is “strangely” close to a local volume-preserving dynamical system {g} violating the property {\mathcal{P}} (e.g., {g} is not transitive because it leaves invariant some open subset {V\subset U}). Hence, you could show that {f} doesn’t satisfy {\mathcal{P}} in a robust way if you can “glue” {f} and {g} in a conservative way to obtain a volume-preserving diffeomorphism {h} behaving as {g} inside {U} and behaving as {f} outside some neighborhood of {\overline{U}}. Since the local dynamics {g} violates {\mathcal{P}}, we have that the perturbation {h} of {f} also violates {\mathcal{P}}, so that the robust property {\mathcal{P}} is not verified by {f}.

Here, the pullback equation for volume forms says that you can glue {g} and {f} in a volume-preserving way once you glued them in some non-volume-preserving way: indeed, let {h_0} be a possibly non-volume preserving diffeomorphism gluing {f} and {g}; since the pullback equation for volume forms {\omega_0} and {\omega_1} translates into the Jacobian determinant PDE {\det D\varphi(x)= \theta(x)} where {\theta} is a density function (corresponding to {\omega_1/\omega_0}), by letting {\varphi_0} be a solution of the Jacobian determinant equation with {\theta(x)=\det(Dh_0(h_0^{-1}(x)))}, we can “correct” the “defect” of {h_0} to preserve volume by replacing {h_0} by the volume-preserving map {\varphi_0\circ h_0}.

Historically speaking, the Jacobian determinant equation (i.e., the pullback equation for volume forms) was discussed in details in this paper of B. Dacorogna and J. Moser (from 1990), and some of the results in this paper were recently used to perform “nice” perturbations/regularizations of volume-preserving dynamical systems (see, e.g., this paper here of A. Avila and the references therein).

An interesting technical point about the paper of B. Dacorogna and J. Moser is that they provide two results about the Jacobian determinant equation (stated below only for domains in {\mathbb{R}^n} for sake of simplicity of the exposition):

  • (a) given a positive density {\theta\in C^{k+\alpha}} (where {k\in\mathbb{N}} and {0<\alpha<1}) on the closure {\overline{\Omega}} of an open bounded smooth connected domain {\Omega\subset\mathbb{R}^n} with total mass {\int_{\Omega}\theta=1}, there exists a {C^{k+1+\alpha}} diffeomorphism {\varphi} such that {\det D\varphi=\theta} on {\Omega} and {\varphi(x)=x} on {\partial\Omega};
  • (b) given a positive density {\theta\in C^k} (where {k\in\mathbb{R}}, {k\geq 1}), on the closure {\overline{\Omega}} of an open bounded smooth connected domain {\Omega\subset\mathbb{R}^n} with total mass {\int_{\Omega}\theta=1}, there exists a {C^{k}} diffeomorphism {\varphi} such that {\det D\varphi=\theta} and {\varphi(x)=x}; furthermore, if {\textrm{supp}(\theta-1)\subset\Omega} (i.e., the density {\theta} equals {1} near the boundary {\partial \Omega}), then {\varphi} can be chosen so that {\textrm{supp}(\varphi-id)\subset\Omega} (i.e., {\varphi} is the identity diffeomorphism near {\partial\Omega}).

In a nutshell, the result in item (a) is proven in (Section 2 of) Dacorogna-Moser’s paper via global methods based on elliptic regularity of the Laplacian operator, while the result in item (b) is proven in (Section 3 of) Dacorogna-Moser’s paper via local methods based on reduction to ordinary differential equations (ODE’s).

As the attentive reader noticed, there is a tradeoff in the results in items (a) and (b): together, these results say that, if you want to prescribe a density while controlling the behavior of the diffeomorphism near the boundary {\partial\Omega}, then you can do it via item (b) at the cost that you will get no gain of regularity in the sense that the density and the diffeomorphism have the same regularity {C^k}; on the other hand, if you want a gain of regularity, then you can do it via item (a) at the cost of giving up on the control of the diffeomorphism near {\partial\Omega} (the best you can ensure is that the boundary is pointwise fixed but you don’t know that the diffeomorphism is the identity near {\partial\Omega}).

Remark 1 In some sense, the loss of control on the behavior of the diffeomorphism in item (a) is essentially due to the fact that Dacorogna and Moser construct their diffeomorphisms {\varphi} using the solutions of the elliptic PDE {\Delta a = \theta - 1} (with Neumann boundary condition say) because {\Delta = \textrm{div}\,\textrm{grad}} and {\textrm{div}(v) = \theta-1} is the linearized equation associated to the Jacobian determinant PDE. Indeed, since the solutions of {\Delta a = \theta - 1} are obtained by convolution of {\theta-1} and the Poisson kernel, the fact that {\theta-1=0} near {\partial\Omega} doesn’t imply that {a=0} near {\partial\Omega} (in other words, the convolution is a global operation and thus the local behavior of {\theta-1} is not sufficient to control the local behavior of {a}). In particular, given that the behavior of the diffeomorphisms {\varphi} of Dacorogna-Moser near {\partial\Omega} are driven by the behavior of {a} (or rather {\textrm{grad}(a)}) near {\partial\Omega}, we see that the gain regularity in item (a) above comes with the cost of loss of control of {\textrm{supp}(\varphi-id)}.

For the applications of Dacorogna-Moser’s theorems in Dynamical Systems so far (e.g., Avila’s theorem on the regularization of volume-preserving diffeomorphisms), the control of {\textrm{supp}(\varphi-id)} is more relevant than the gain of regularity and this explains why item (b) is more often used in dynamical contexts than item (a).

Given this scenario, it is natural to ask whether one can have the best from both worlds (or items), i.e., gain of regularity and control of support of diffeomorphisms with prescribed Jacobian determinant.

Of course, as it was pointed out by B. Dacorogna and J. Moser themselves in their 1990 paper (see item (iv) at page 14 of their article), one needs a new ingredient to attack this question. So, after stumbling upon the book of Csató, Dacorogna and Kneuss from 2012, I thought that there might be news on this question since the last time I have looked at it.

However, I saw some “bad” news by page 18-19 of Csató-Dacorogna-Kneuss book, where they say: “In Section 10.5 (cf. Theorem 10.11), we present a different approach proposed by Dacorogna and Moser [33] to solve our problem. This method is constructive and does not use the regularity of elliptic differential operators; in this sense, it is more elementary. The drawback is that it does not provide any gain of regularity, which is the strong point of the above theorem. However, the advantage is that it is much more flexible. For example, if we assume in (1.2) [a variant of Jacobian determinant equation] that

\displaystyle \textrm{supp}(f-g)\subset\Omega,

then we will be able to find {\phi} such that

\displaystyle \textrm{supp}(\phi-id)\subset\Omega.

This type of result, unreachable by the method of elliptic partial differential equations, will turn out to be crucial in Chapter 11.”

Nevertheless, the book of Csató-Dacorogna-Kneuss brought also some good news: there were some progress on the question of gain of regularity in Poincaré lemma, that is, the question of writing a given closed cohomologically trivial form as an exact form (i.e., the differential of another form). After reading about this advance on regularity in Poincaré lemma, I noticed that this is precisely what one needs to modify Dacorogna-Moser’s arguments in order to get gain of regularity and control of the support thanks to a “correction of support argument” that I first read in this paper of Avila here.

In summary, it is possible to gain regularity and control the support in the Jacobian determinant equation by combining the arguments of Dacorogna-Moser and the Poincaré lemma in Csató-Dacorogna-Kneuss book. Evidently, this result per se is not publication-quality (it is just a combination of important results by other authors), but I thought that it could be a nice idea to leave some trace of this fact in this blog in case someone needs this information in the future.

So, the main goal of today’s post is the existence of solutions of the Jacobian determinant equation whose support are controlled and with a gain of regularity.

For sake of simplicity of the exposition, we will simplify our setting by considering the following particular situation (appearing naturally in some dynamical applications of the Jacobian determinant equation): {\Omega=B_2(0)-B_{1/4}(0)} where {B_r(0)} denotes the open ball of radius {r} centered at the origin {0\in\mathbb{R}^n} and {\theta:\overline{\Omega}\rightarrow\mathbb{R}} is a positive (density) function of class {C^{k+\alpha}} for some {k\in\mathbb{N}} and {0<\alpha<1} such that {\theta\equiv 1} on the compact neighborhood {U=\overline{B_2(0)-B_1(0)}\cup \overline{B_{1/2}(0)-B_{1/4}(0)}} of {\partial\Omega}. In this context, we will show that:

Proposition 1 Given {0<\gamma<\alpha<1}, there exists a constant {C=C(\Omega, k, \alpha, \gamma)} such that, if {\int_{\Omega}\theta=1}, the Jacobian determinant equation

\displaystyle \det D\varphi(x)=\theta(x)

has a solution {\varphi\in\textrm{Diff}^{k+1+\alpha}(\overline{\Omega})} with {\varphi\equiv id} on {U} and {\|\varphi-id\|_{C^{k+1+\gamma}}\leq C \|\theta-1\|_{C^{k+\alpha}}}.

Remark 2 As we will see, even though Proposition 1 implies item (a), a theorem of Dacorogna-Moser, the proof of Proposition 1 uses the results of Dacorogna and Moser.

As we already mentioned, the proof of this proposition is a modification of the arguments of Dacorogna-Moser using the Poincaré lemma of Csató-Dacorogna-Kneuss. For this reason, we will divide this post into two sections: the next one serves to recall some preliminary results (mostly consisting of modifications of some results in Section 2 of Dacorogna-Moser’s paper) and in the short final section we will complete the proof of Proposition 1.

1. Preliminaries

Following Dacorogna-Moser paper, let us consider {g(x)=\theta(x)-1} and let us study first the linearized equation associated the Jacobian determinant equation:

\displaystyle \textrm{div}\,v(x)=g(x)

In this direction, Dacorogna-Moser note that {\textrm{div}\,\textrm{grad} \,a = \Delta\, a} so that, if we impose {\int_{\Omega} a = 0} and Neumann boundary condition {\partial a/\partial \nu=0} (where {\nu} is the outward unit normal to {\partial\Omega}), then, by elliptic regularity (and Schauder’s estimates), the Laplace equation {\Delta\,a=g} has a unique solution {v(x)=\textrm{grad}\, a(x)} such that {\|a\|_{C^{k+2+\alpha}}\leq K(\Omega, k, \alpha)\|g\|_{C^{k+\alpha}}}, and, a fortiori, we get a solution of the linearized equation {\textrm{div}\, v=g} with {\|v\|_{C^{k+1+\alpha}}\leq K(\Omega, k, \alpha)\|g\|_{C^{k+\alpha}}}. After this, they modify {v(x)=\textrm{grad}\,a} by adding some convenient term with zero divergence to “adjust” the boundary values of {\textrm{grad}\,a} to obtain a solution {v(x)} of the linearized equation such that {v(x)=0} for all {x\in\partial\Omega} (cf. pages 7 and 8 of Dacorogna-Moser’s paper). Furthermore, they take extra care in the choice of this extra term so that it depends linearly on {g}. In this way, they prove the following theorem (cf. Theorem 2 of Dacorogna-Moser’s paper):

Theorem 2 (Dacorogna-Moser) There exists a bounded linear operator {A} associating to each {g\in C^{k+\alpha}(\overline{\Omega})} with {\int_{\Omega} g = 0} a solution {v=A(g)\in C^{k+1+\alpha}(\overline{\Omega})} of the linearized equation

\displaystyle \textrm{div}\, v= g

such that {v(x)=0} for each {x\in\partial\Omega}.

For our later purposes, we will need a version of this theorem where there is a control of the support of {v} in addition to the gain of regularity. For this sake, we will need the following version of Poincaré’s lemma with gain of regularity (cf. Theorems 1.23 and 8.4 in Csató-Dacorogna-Kneuss book):

Theorem 3 (Csató-Dacorogna-Kneuss) Let {\beta} be a {r}-form on {\overline{\Omega}} of class {C^{k+\alpha}} such that {d\beta=0} (i.e., {\beta} is closed) and {\int_{\Omega}\langle \beta,\psi\rangle=0} for all “harmonic {r}-forms” {\psi}, i.e., all {\psi} with {d\psi=0} (vanishing exterior derivative), {\delta\psi=0} (vanishing interior derivative) and {\nu\lrcorner\psi=0} (vanishing normal component [with {\nu\lrcorner\psi} denoting the interior product]), where {\langle.,.\rangle} denotes the inner product between {k}-forms. Then, there exists a {(r-1)}{\omega} of class {C^{k+1+\alpha}} such that {d\omega=\beta} and {\|\omega\|_{C^{k+1+\alpha}}\leq K(k,\alpha,\Omega)\|\beta\|_{C^{k+\alpha}}}.

Remark 3 In fact, the proof of this result in Csató-Dacorogna-Kneuss book relies on the methods of Dacorogna-Moser and it is possible to check that the form {\omega} constructed above depends linearly on {\beta}, i.e., {\omega=B(\beta)} where {B} is a linear operator. We will use this fact in a few moments.

At this point, we are ready to prove a version of Theorem 2 where we get a gain of regularity and control of the support of the solution of the linearized equation of the Jacobian determinant PDE:

Proposition 4 There exists a bounded linear operator {L} associating to each {g\in C^{k+\alpha}(\overline{\Omega})} with

  • {\int_{\Omega} g = 0} and
  • {\textrm{supp}(g)\subset \Omega-U}, i.e., {g=0} on {U=\overline{B_2(0)-B_1(0)}\cup \overline{B_{1/2}(0)-B_{1/4}(0)}}

a solution {u=L(g)\in C^{k+1+\alpha}(\overline{\Omega})} of the linearized equation

\displaystyle \textrm{div}\, u= g

such that {\textrm{supp}(u)\subset\Omega-U} (i.e., {u(x)=0} for each {x\in U}).

Proof: We will use an argument inspired of the proof of Theorem 3 in Avila’s paper.

By Dacorogna-Moser’s theorem 2, we have a solution {v=A(g)} of the equation {\textrm{div}\, v=0} with {\|v\|_{C^{k+1+\alpha}}\leq K\|g\|_{C^{k+\alpha}}} and {v(x)=0} for all {x\in\partial\Omega}.

Consider the restriction of {v} to {U=\overline{B_2(0)-B_1(0)}\cup \overline{B_{1/2}(0)-B_{1/4}(0)}}. By assumption, {g} vanishes on {U}, so that {\textrm{div}\, v = 0} on {U}.

Now, we recall that there is a duality between vector fields and {(n-1)}-forms given by {v^*(x)(y_1,\dots,y_{n-1})=\det(v(x),y_1,\dots, y_{n-1})}. Under this duality, the condition {\textrm{div}\, v=0} on {U} becomes {dv^*=0} on {U}, that is, {v^*} is a closed {(n-1)}-form on the compact neighborhood {U=\overline{B_2(0)-B_1(0)}\cup \overline{B_{1/2}(0)-B_{1/4}(0)}} of {\partial\Omega}. Since {v(x)=0} for each {x\in\partial\Omega}, we see that {v^*(x)=0} for each {x\in\partial\Omega}. By the classical Poincaré lemma, since {U} retracts to {\partial\Omega}, we get that {v^*} is exact on {U}, i.e., {v^*=d\alpha_0} for some {C^{k+\alpha}} {(n-2)}-form {\alpha_0} on {U}.

By plugging this information in the integration by parts formula (for instance, see Theorem 1.11 in Csató-Dacorogna-Kneuss book)

\displaystyle \int_{U}\langle d\alpha_0,\psi\rangle + \int_{U}\langle \alpha_0,\delta\psi\rangle = \int_{\partial U}\langle \alpha_0,\nu\lrcorner\psi\rangle,

we deduce that the {(n-1)}-form {v^*=d\alpha_0} on {U} satisfies all the assumptions of Theorem 3 (global Poincaré lemma with gain of regularity of Csató-Dacorogna-Kneuss).

Therefore, we can write {v^*=d\beta} on {U} where {\beta=B(v^*)\in C^{k+2+\alpha}} is the {(n-2)}-form on {U} depending linearly on {v^*} mentioned in Remark 3.

Now, we extend {\beta} to a {(n-2)}-form {\overline{\beta}=E(\beta)} on {\overline{\Omega}} using some (bounded, linear) extension operator {E} (such as Whitney’s extension operator) and we consider the exact {(n-1)}-form {w^*=d\overline{\beta}} of class {C^{k+1+\alpha}} on {\overline{\Omega}}. By definition, {w^*} coincides with {v^*} on {U}, and thus, by duality, we obtain from {w^*} a vector field {w\in C^{k+1+\alpha}} on {\overline{\Omega}} coinciding with {v} on {U}. Furthermore, since {w^*=d\overline{\beta}} is exact, we have that {dw^*=0} on {\Omega} and hence {\textrm{div}\, w=0} on {\Omega}.

In particular, it follows that {u=v-w} is a {C^{k+1+\alpha}} vector field obtained from {g} by a bounded linear operator {L} such that

\displaystyle \textrm{div}\, u = \textrm{div}\, v-\textrm{div}\,w=g

and {u=0} on the compact neighborhood {U} of {\partial\Omega}, as desired. \Box

Once we know how to solve the linearized equation of the Jacobian determinant PDE with gain of regularity and control of the support of the solution, we can follow Dacorogna-Moser to start the discussion of the solutions of the Jacobian determinant PDE itself. In this direction, we need the following consequence of the proof of Lemma 3 in Dacorogna-Moser’s paper:

Lemma 5 Let {\theta} be a positive {C^{k+\alpha}} density on {\overline{\Omega}} with total mass {\int_{\Omega}\theta=1} and {\theta=1} on the compact neighborhood {U} of {\partial\Omega}. Then, there exists {\phi} a {C^{k+\alpha}} diffeomorphism of {\overline{\Omega}} such that {\det D\phi(x)=\theta(x)}, {\phi=id} on {U} and {\|\phi-id\|_{C^{k+\alpha}}\leq K(k,\alpha,\Omega)\|\theta-1\|_{C^{k+\alpha}}}.

Proof: Let {g=\theta-1} and consider {v} be the solution of the linearized equation provided by Proposition 4. A short computation (detailed in pages 9 and 10 of Dacorogna-Moser’s paper) reveals that the diffeomorphism {\phi(x)=\Phi_1(x)} obtained as the time-one map of the solution {\Phi_t(x)} of the ODE

\displaystyle \frac{d}{dt}\Phi_t(x)=\frac{v(\Phi_t(x))}{t+(1-t)g(x)}

with initial data {\Phi_0(x)=x} satisfies the conclusions of the lemma. \Box

Remark 4 The idea in the previous lemma of obtaining the diffeomorphism {\phi} via a deformation of the identity using an adequate ODE (related to the linearized equation) goes back to the work of J. Moser and it is known in the literature as “Moser’s trick”.

For our purposes, the “drawback” of Lemma 5 is the absence of gain of regularity on {\phi} (in the sense that {\phi} belongs to the same class of differentiability of {\theta}). In order to circumvent this technical difficulty, we will need the following variant of Lemma 4 of Dacorogna-Moser’s paper ensuring that one has a gain of regularity and control of the support of the solution of the Jacobian determinant equation under a smallness assumption on {\theta-1}.

Lemma 6 Fix {0<\gamma\leq\alpha<1}. Then, there are constants {\varepsilon=\varepsilon(\Omega,k,\alpha,\gamma)>0} and {C=C(\Omega,k,\alpha,\gamma)} such that, if {\|\theta-1\|_{C^{\gamma}}<\varepsilon} and {\textrm{supp}(\theta-1)\subset \Omega-U}, then there exists a {C^{k+1+\alpha}}-diffeomorphism {\varphi} of {\overline{\Omega}} with

\displaystyle \det D\varphi = \theta,

{\|\varphi-id\|_{C^{k+1+\gamma}}\leq C\|\theta-1\|_{C^{k+\alpha}}} and {\textrm{supp}(\varphi-id)\subset \Omega-U}.

Proof: Following Dacorogna-Moser’s paper, we will find {\varphi} as the fixed point of some contraction in a Banach space. More precisely, let us consider the Banach spaces:

\displaystyle X=\{b\in C^{k+\alpha}(\overline{\Omega}): \int_{\Omega} b =0, \, b = 0 \textrm{ on } U\}


\displaystyle Y=\{a\in C^{k+1+\alpha}(\overline{\Omega}, \mathbb{R}^n): a=0 \textrm{ on }U\}

where {U=\overline{B_2(0)-B_1(0)}\cup \overline{B_{1/2}(0)-B_{1/4}(0)}} is our preferred compact neighborhood of {\partial\Omega}.

By Proposition 4, we have a bounded linear operator {L: X\rightarrow Y} such that

\displaystyle \textrm{div} (L(b)) = b

for each {b\in X}.

Now, given {\xi} a {n\times n}-matrix, let us put {Q(\xi):=\det(id+\xi)-1-\textrm{tr}(\xi)}. By letting {v(x):=\varphi(x)-x}, we see that the Jacobian determinant equation

\displaystyle \det D\varphi = \theta

(with {\varphi=id} on {U}) becomes

\displaystyle \textrm{div}\, v = \theta - 1 - Q(Dv) \ \ \ \ \ (1)

(with {v=0} on {U}).

In other words, if we set {N(v):=\theta-1-Q(Dv)}, then the desired lemma follows once we can find a fixed point

\displaystyle v=L(N(v)). \ \ \ \ \ (2)

in the functional space {Y}.

Before searching for a fixed point, let us observe that (2) is well-defined in the sense that {N:Y\rightarrow X}. In fact, given {a\in Y}, the identity {\int_{\Omega} N(a)=0} follows from the fact that

\displaystyle \int_{\Omega} N(a) = \int_{\Omega} (\theta-1-Q(Da)) = \int_{\Omega} (\theta-\det(id+Da)+\textrm{div}(a)) = 0

(as {a=0} on {\partial\Omega} and {\int_{\Omega}\theta=1}; cf. pages 11 and 12 in Dacorogna-Moser’s paper), and the fact that {N(a)=\theta-1-Q(Da)} equals to {0} on {U} follows from the facts that {\theta=1} on {U} and {a=0} on {U} (as {a\in Y}).

At this stage, we will solve (2) by showing that {LN} is a contraction in the ball

\displaystyle B_r=\{v\in Y: \|v\|_{C^{k+1+\gamma}}\leq r\}

for {r>0} small enough. Here, we select {K_1} a constant controlling the norm of the bounded linear operation {L}, i.e.,

\displaystyle \|L(b)\|_{C^{k+1+\alpha}}\leq K_1\|b\|_{C^{k+\alpha}}, \quad\textrm{and}\quad \|L(b)\|_{C^{k+1+\gamma}}\leq K_1\|b\|_{C^{k+\gamma}}

Next, using that {Q(\xi)} is a sum of monomials of degree {\geq 2} on the entries of {\xi}, we can also select a constant {K_2} such that, if {w_1, w_2\in C^{k+\alpha}}, then

\displaystyle \|Q(w_1)-Q(w_2)\|_{C^{k+\alpha}}\leq K_2(\|w_1\|_{C^0}+\|w_2\|_{C^0})\|w_1-w_2\|_{C^{k+\alpha}}

In this setting, a short calculation (detailed in page 12 of Dacorogna-Moser’s paper) reveals that if

\displaystyle \|\theta-1\|_{C^{k+\gamma}}<\min\left\{\frac{1}{8 K_1^2 K_2}, \frac{1}{2K_1}\right\},

then, by putting {r:=2K_1\|\theta-1\|_{C^{k+\gamma}}}, one has

\displaystyle \|LN(w_1)-LN(w_2)\|_{C^{k+1+\alpha}}\leq \frac{1}{2}\|w_1-w_2\|_{C^{k+\alpha}}


\displaystyle \|LN(w_1)\|_{C^{k+1+\gamma}}\leq r

for all {w_1, w_2\in B_r}. This shows that {LN} is a contraction on {B_r} and thus it admits a (unique) fixed point in {B_r}. \Box

2. Proof of Proposition 1

The proof of Proposition 1 follows the lines of Dacorogna-Moser’s proof of Theorem 1′ in their paper. More concretely, given {\theta\in C^{k+\alpha}} a positive density function with total mass {\int_{\Omega}\theta=1} and {\theta=1} on {U}, let us fix {0<\gamma<\alpha<1} and let us consider the constant {\varepsilon=\varepsilon(\Omega,k,\alpha,\gamma)>0} provided by Lemma 6. By the density of {C^\infty} function among {C^{k+\alpha}} functions in the {C^{k+\gamma}}-norm, we can select a positive density function {\mu\in C^{\infty}} such that

\displaystyle \left\|\frac{\theta}{\mu}-1\right\|_{C^{k+\gamma}}\leq\varepsilon, \quad \int_{\Omega}\frac{\theta}{\mu}=1,

and {\mu=1} on {U}. By Lemma 6, we have a {C^{k+1+\alpha}} diffeomorphism {g} of {\overline{\Omega}} with

\displaystyle \det Dg(x) = \theta(x)/\mu(x)

for all {x\in\Omega}, {g=id} on {U}, and {\|g-id\|_{C^{k+1+\gamma}}\leq C(\Omega,k,\alpha,\gamma)\|(\theta/\mu)-1\|_{C^{k+\alpha}}}.

Now, let us observe that {\mu(g^{-1}(x))} is a positive density of class {C^{k+1+\alpha}} and total mass

\displaystyle \int_{\Omega} \mu(g^{-1}(x))dx = \int_{\Omega} \mu(y)\det Dg(y) dy = \int_{\Omega}\theta(y) dy=1

whose {C^{k+1+\gamma}}-norm is bounded by a constant multiple of the {C^{k+\alpha}}-norm of {\theta-1} and {\mu(g^{-1}(x))=1} on {U} (as {g=id} on {U} and {\mu=1} on {U}). By Lemma 5, we have a {C^{k+1+\alpha}}-diffeomorphism {h} of {\overline{\Omega}} such that

\displaystyle \det Dh(x)=\mu(g^{-1}(x))

on {\Omega}, {h=id} on {U} and {\|h-id\|_{C^{k+1+\gamma}}\leq C(\Omega,k,\alpha,\gamma)\|\theta-1\|_{C^{k+\alpha}}}.

At this point, the proof of Proposition 1 is complete: {f=g\circ h} is a {C^{k+1+\alpha}} diffeomorphism of {\overline{\Omega}} such that

\displaystyle \det Df(x)=\theta(x)

on {\Omega}, {f=id} on {U} and {\|f-id\|_{C^{k+1+\gamma}}\leq C(\Omega,k,\alpha,\gamma)\|\theta-id\|_{C^{k+\alpha}}}.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.


%d bloggers like this: