Abstract:In this paper, we establish the global $W^{2,p}$ estimate for the Monge-Ampère obstacle problem: $(Du)_{\sharp}f\chi{_{\{u>\frac{1}{2}|x|^2\}}}=g$, where $f$ and $g$ are positive continuous functions supported in disjoint bounded $C^2$ uniformly convex domains $\overline{\Omega}$ and $\overline{\Omega^*}$, respectively. Furthermore, we assume that $\int_{\Omega}f\geq \int_{\Omega^*}g$. The main result shows that $Du:\overline U\rightarrow\overline{\Omega^*}$, where $ U=\{u>\frac{1}{2}|x|^2\}$, is a $W^{1, p}$ diffeomorphism for any $p\in(1,\infty)$. Previously, it was only known to be a continuous homeomorphism according to Caffarelli and McCann \cite{CM}. It is worth noting that our result is sharp, as we can construct examples showing that even with the additional assumption of smooth densities, the optimal map $Du$ is not Lipschitz. This obstacle problem arises naturally in optimal partial transportation.

Global Regularity for Very Weak Solutions of Obstacle Problems of Elliptic Equation

Local Regularity for Solutions of Obstacle Problems of Differential Forms Elliptic Equation

Almost Global Existence for Some Semilinear Wave Equations with Almost Critical Regularity

Gradient regularity for a class of elliptic obstacle problems

Global regularity in the Monge-Ampère obstacle problem

Regularity for solutions of non-uniformly elliptic equations in non-divergence form

Optimal regularity for nonlocal elliptic equations and free boundary problems

Global Boundedness and Hölder Regularity of Solutions to General P(x,t)‐laplace Parabolic Equations

Elliptic regularization of some semilinear parabolic free boundary problems

Existence, uniqueness, and regularity of solutions to nonlinear and non-smooth parabolic obstacle problems

The Obstacle Problem for Quasilinear Stochastic PDEs with Neumann Boundary Condition

Regularity of Free Boundary for the Monge-Ampère Obstacle Problem

Regularity for obstacle problems to anisotropic parabolic equations

Global Existence of Solutions of the Critical Semilinear Wave Equations with Variable Coefficients Outside Obstacles

Optimal regularity for supercritical parabolic obstacle problems

Bounded Very Weak Solutions for Some Non-Uniformly Elliptic Equation with L^1 Datum

Partial Regularity for Weak Solutions of Semilinear Elliptic Equations with Supercritical Exponents

Boundary C^α-regularity for solutions of elliptic equations with distributional coefficients

The Obstacle Problem for Quasilinear Stochastic PDEs with Non-Homogeneous Operator

Regularity for weak solutions to nondiagonal quasilinear degenerate elliptic systems

Interior pointwise $C^{1}$ and $C^{1,1}$ regularity of solutions for general semilinear elliptic equation in nondivergence form