Dimension of the minimum set for the real and complex Monge-Ampère equations in critical Sobolev spaces (Q2402626): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q589977 |
||
Property / reviewed by | |||
Property / reviewed by: Igor G. Nikolaev / rank | |||
Revision as of 18:02, 19 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dimension of the minimum set for the real and complex Monge-Ampère equations in critical Sobolev spaces |
scientific article |
Statements
Dimension of the minimum set for the real and complex Monge-Ampère equations in critical Sobolev spaces (English)
0 references
12 September 2017
0 references
By the well-known example of Pogorelov, a (convex) solution of the \(n\)-dimensional Monge-Ampère equation \(\det\left( D^{2}u\right) =1\) need not be strictly convex if \(n\geq3\). Pogorelov's example is of Sobolev's class \(W^{2,p}\) for \( p < n\left( n-1\right) /2\). In 1988, Urbas established strict convexity when \(u\in W^{2,p}\) for \(p>n\left( n-1\right) /2\). The main result of the paper states that if \(0 < k < n/2\) and \(u\in W^{2,p}\left( B_{1}\right) \) is a convex solution to the \(n\)-dimensional Monge-Ampère equation \(\det\left( D^{2}u\right) \geq1\) in \(B_{1}\subseteq\mathbb{R}^{n}\) for some \(p\geq n\left( n-k\right) /\left( 2k\right) \), then the dimension of the set where \(u\) agrees with a tangent plane is at most \(k-1.\) In particular, if \(u\in W^{2,n\left( n-1\right) /2}\left( B_{1}\right) \), then \(u\) is strictly convex. The authors prove a similar result for the complex Monge-Ampère equation \(\det\left( \partial\overline{\partial}u\right) \geq1\). Namely, if \(0 < k < n\) and \(u\) is a nonnegative plurisubharmonic function satisfying \(\det\left( \partial\overline{\partial}u\right) \geq1 \) in the viscosity sense in \(B_{1}\subseteq\mathbb{C}^{n}\) such that \(\Delta u\in L^{p}\left( B_{1}\right) \) for some \(p\geq n\left( n-k\right) /k\), then the zero set \(\left\{ u=0\right\} \) contains no analytic subvarieties of dimension \(k\) or larger.
0 references
Monge-Ampère equation in \(B_1\subseteq \mathbb R^n\)
0 references
complex Monge-Ampère equation in \(B_1\subseteq \mathbb C^n\)
0 references