PDE with the Jacobian Determinant - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T11:10:12Z http://mathoverflow.net/feeds/question/115427 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/115427/pde-with-the-jacobian-determinant PDE with the Jacobian Determinant tatin 2012-12-04T17:33:48Z 2013-05-23T11:57:34Z <p>Hello,</p> <p>Could you please help me in answering the following question?</p> <p>Initially I thought that the following problem can be solved through Monge-Ampere equation, but with Monge-Ampere, I have not been able to control the support. </p> <p>The question seems so natural that I'm sure it has been studied somewhere in some form but I have not been able to dig out the right reference. Few minutes in MathScinet did not come up with what I'm looking for. All references seem to handle the situation when $f$ is positive which is clearly not the case here. Any suggestion or reference in this direction is welcome.</p> <p>Thank you.</p> <p>QUESTION: </p> <p>Let $U\subset\mathbb{R}^n$ be open, connected and let $f\in C_{0}^{\infty}(U;\mathbb{R})$ satisfy $$\int_{U}f(x)dx=0.$$ Is it true that there exists a $u\in C_{0}^{\infty}(U;\mathbb{R}^n)$ satisfying $$\operatorname*{det}(\nabla u)=f \text{ in }U?$$ Note that <code>$$C_{0}^{\infty}(U;\mathbb{R}^n)=\{u\in C^{\infty}(U;\mathbb{R}^n):\operatorname*{supp}(u)\text{ is compact and }\operatorname*{supp}(u)\subset U\}.$$</code></p> http://mathoverflow.net/questions/115427/pde-with-the-jacobian-determinant/115544#115544 Answer by Deane Yang for PDE with the Jacobian Determinant Deane Yang 2012-12-05T20:38:03Z 2012-12-05T20:38:03Z <p>This is not really an answer, but I prefer the luxury of the answer box instead of the rather spartan comment box.</p> <p>You have only one equation for $n$ unknown functions (the components of the vector-valued function $u$), so the equation is underdetermined. This gives you a lot of flexibility on what to do. Roughly speaking, you get to impose $n-1$ additional conditions in order to get a well-posed boundary value problem for a system of PDE's.</p> <p>There might be a clever choice of the $n-1$ conditions that makes your question very easy to answer, but I don't know and haven't been able to think of any.</p> <p>The most common way to do this is to set $u$ equal to the gradient of a scalar function $\phi$, which turns your equation into a real Monge-Ampere equation. If the function $f$ were always positive, then you can try to solve for $\phi$ convex. There is a well-developed theory of this situation, because the PDE becomes second order elliptic and many techniques are available.</p> <p>However, if $f$ changes sign, then much, much less is known. But here are some partial answers:</p> <p>1) If you restrict to $n=2$, assume $\Omega$ is a nice smooth domain, and assume that $f$ changes sign "cleanly" (i.e., $f$ vanishes along a smooth curve in $\Omega$ and its gradient is everywhere nonzero along this curve), then the equation becomes what is known as a nonlinear Tricomi equation, which has been studied. You can probably set up some appropriate boundary value problem to solve your equation on $\Omega$ this way.</p> <p>2) The ideas in 1) probably could be generalized to higher dimensions, but I'm unaware of any prior work on this. The idea is to solve for $\phi$ to have positive definite Hessian where $f$ is positive and signature $(n-1,1)$ where $f$ is negative. Then the PDE becomes elliptic where $f$ is positive and hyperbolic where $f$ is negative.</p> <p>3) All of this might be able to be recast in the form of a nonlinear symmetric positive system as defined and studied by K. O. Friederichs.</p> <p>4) Maybe the most promising but still rather difficult direction is to <em>not</em> use the Monge-Ampere equation but try to find a different set of $n-1$ additional first order equations to impose on $u$, (so you get an $n$-by-$n$ system of first order PDE's) such that the resulting system is symmetric positive. Then you try to identify the right boundary conditions that both leads to the existence of a solution and implies that $u$ vanishes on the boundary of $\Omega$.</p> http://mathoverflow.net/questions/115427/pde-with-the-jacobian-determinant/131586#131586 Answer by Tarek for PDE with the Jacobian Determinant Tarek 2013-05-23T11:57:34Z 2013-05-23T11:57:34Z <p>Take a look at:</p> <p><a href="http://archive.numdam.org/ARCHIVE/AIHPC/AIHPC_1994__11_3/AIHPC_1994__11_3_275_0/AIHPC_1994__11_3_275_0.pdf" rel="nofollow">http://archive.numdam.org/ARCHIVE/AIHPC/AIHPC_1994__11_3/AIHPC_1994__11_3_275_0/AIHPC_1994__11_3_275_0.pdf</a></p>