1
$\begingroup$

I am currently studying distributional Jacobian determinants as a relaxation of point wise Jacobian determinants and I have some trouble understanding something.

So let $\textrm{det} Du(x)$ note the point wise Jacobian determinant for $u\in W^{1,p}(\Omega)$ for $\Omega\subset\mathbb{R}^n$. The distributional Jacobian is more generally defined as $\textrm{Det}Du(x) = \frac{1}{n}\textrm{div}(\textrm{adj}Du\cdot u)$ and we usually consider it as a distribution. As far as I`ve understood correctly the distributional determinant has good continuity properties if $p>n$, since then $\textrm{Det}Du$ is in $L^q(\Omega)$ for some $q>1$.

Does that already imply that det $=$ Det if $p>n$?

My approach would be to approximate some $u\in W^{1,p}$ by smooth functions, for which we know that Det $=$ det and deduce the result from the weak continuity in $L^q(\Omega)$. Does that work?

My second question concerns an the following:

A common example that these definitions can differ, if $p<n$ is $u = \frac{x}{|x|}$ on $\Omega = B_1(0)$. And here I got stuck. It is obvious that det$Du = 0$ a.e. However, apparently if we take any sequence of functions $u_k$ converging to $u$ in $W^{1,p}(\Omega)\cap L^\infty (\Omega)$, we get that $\textrm{det}Du_k\overset{\ast}{\rightharpoonup}\mathcal{L}^n(B_1(0))\delta_0$ in the sense of distributions. Do you have any guidance on how to understand that? How can I show this property?

May thanks in advance for any tips!

$\endgroup$

1 Answer 1

1
$\begingroup$

If $u \in C^2(\overline\Omega;\mathbb R^n)$ we have $$ \int_{\Omega} \phi \det \mathrm{D}u \,\mathrm{d}x = \int_{\Omega} \phi \,\frac1n \operatorname{div}(\operatorname{adj} \mathrm{D}u \cdot u) = - \frac1n \int_{\Omega} \mathrm{D} \phi \cdot\operatorname{adj} \mathrm{D}u \cdot u\,\mathrm{d}x\tag{$\dagger$} $$ for any $\varphi \in C^{\infty}_c(\Omega)$, which is the motivation to define the distributional Jacobian $\operatorname{Det} \mathrm{D}u$ using the right-hand side.

Q1. If $u \in W^{1,p}(\Omega;\mathbb R^n)$ with $p \geq n$, then in particular $\mathrm{D}u \in L^p(\Omega;\mathbb R^{n\times n})$, so $\det \mathrm{D}u$ is a well-defined $L^1$ function on $\Omega$. So by approximating $u$ by smooth maps $u_k$ in $W^{1,p}(\Omega;\mathbb R^n)$, we can pass to the limit in $(\dagger)$ to conclude that $\det \mathrm{D}u = \operatorname{Det} \mathrm{D}u$. This is a standard density argument, and positively answers your first question.

Q2. If $u(x) = \frac x{|x|}$ is the vortex map considered in $\Omega = B_1$, you can use the same strategy to compute $\operatorname{Det} u$. Here $u$ no longer lies in $W^{1,n}(B_1;\mathbb R^n)$, so $\det \mathrm{D} u$ no longer a well-defined integrable function $B_1$, so we need to understand it distributionally.

However if $u_k$ is a sequence of functions in $C^2(\overline\Omega;\mathbb R^n)$ such that $u_k \to u$ uniformly and also in $W^{1,p}$ for some $p \in [n-1,n)$, then we can pass to the limit in $(\dagger)$ with $u_k$ to show that \begin{align*} \langle \operatorname{Det} u, \phi \rangle &= -\frac1n \int_{\Omega} \mathrm{D} \phi \operatorname{adj} \mathrm{D}u \cdot u\,\mathrm{d}x \\ &= -\lim_{k \to \infty} \frac1n \int_{\Omega} \mathrm{D} \phi \cdot\operatorname{adj} \mathrm{D}u_k \cdot u_k\,\mathrm{d}x \\ &= \lim_{k \to \infty}\int_{\Omega} \phi \det \mathrm{D} u_k \,\mathrm{d}x. \end{align*} So we see that if we approximate $u$ by nice functions, the distributional Jacobian is a suitable limit of the approximating Jacobians.

To actually compute $\operatorname{Det} \mathrm{D}u$ is more involved, but one just need to use a suitable approximation. Typically one takes a radial cutoff $\eta_{\varepsilon}(|x|)$ which vanishes near the origin, and take $u_{\varepsilon}(x ) = \eta_{\varepsilon}(|x|) u(x)$. I don't know of a reference that does this explicitly, but one has to compute $\det \mathrm{D}u_{\varepsilon}$ and to see what happens as $\varepsilon \to 0$.

$\endgroup$

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.