Interior regularity of the complex Monge-Ampère equation in convex domains
type: Item
instance of: scholarly article
title: Interior regularity of the complex Monge-Ampère equation in convex domains
zbMATH Open document ID: 1020.32031
DOI: 10.1215/S0012-7094-00-10518-2
author: Zbigniew Błocki
published in: Duke Mathematical Journal
publication date: 2002-10-27T00:00:00Z
review text: A well known theorem proved by \textit{E. Bedford} and \textit{B. A. Taylor} [Invent. Math. 37, 1-44 (1976; Zbl 0315.31007)] asserts that: If \(\Omega\) is a strictly pseudoconvex bounded domain in \(\mathbb{C}^n\), \(\psi\) is a nonnegative, continuous function on \(\overline\Omega\) and \(f\) a continuous function on \(\partial\Omega\), then there exists a unique function \(u\) psh on \(\Omega\), continuous on \(\overline\Omega\), satisfying \[ Mu= \psi\quad\text{on }\Omega,\qquad u= f\quad\text{on }\partial\Omega, \] where \(M\) is the Monge-Ampère operator (\(M(u)= \text{det}({\partial^2u\over\partial z_i\partial\overline z_j})\) if \(u\) is \(C^2\)). Many regularity results for \(u\) are known in this setting. This existence theorem with some regularity was generalized by the author in [Mich. Math. J. 42, 269-275 (1995; Zbl 0841.35017)] when \(\Omega\) is a hyperconvex domain provided that \(f\) can be extended continuously to a psh function on \(\Omega\) \((*)\). In this paper the author proves that \(u\) is \(C^\infty\), when \(\Omega\) is a bounded convex domain, \(f= 0\), \(\psi> 0\), \(\psi\) is \(C^\infty\) and \(|D\psi^{1/n}|\) is bounded. In fact it is sufficient to show that, for \(\Omega'\subset\subset\Omega\), there exists \(\alpha\in (0,1)\) such that \(u\in C^{2,\alpha}(\Omega')\). This is proved using an estimate for \(|Du|\) and an already known estimate for \(|\Delta u|\) proved by \textit{F. Schulz} [J. Reine Angew. Math. 348, 88-93 (1984; Zbl 0521.35010)]. The first one is the only point needing the convexity of \(\Omega\), and the author conjectures that the result remains valid for \(\Omega\) hyperconvex. In a last section the author investigates the special case when \(\Omega\) is a polydisc \(P\) and \(f\) is \(C^{1,1}\) on \(\partial P\), subharmonic on every analytic disc embedded in \(\partial P\) (which implies \((*)\)). He proves then that \(u\) is \(C^\infty\) when \(\psi> 0\), \(\psi\) is \(C^\infty\) and \(|D^2\psi^{1/n}|\) is boun…
Mathematics Subject Classification ID: 32W20
zbMATH DE Number: 1820758
zbMATH Keywords: complex Monge-Ampère equation
zbMATH Keywords: bounded convex domain
zbMATH Keywords: polydisc
zbMATH Keywords: regularity
reviewed by: P-A Mazet
MaRDI profile type: Publication
cites work: The Dirichlet problem for a complex Monge-Ampère equation
cites work: On the \(L^ p\) stability for the complex Monge-Ampère operator
cites work: Q4351904
cites work: Q4225289
cites work: The dirichlet problem for nonlinear second-order elliptic equations. II. Complex monge-ampère, and uniformaly elliptic, equations
cites work: On the regularity of the monge-ampère equation det (∂2 u/∂xi ∂xj) = f(x, u)
cites work: Q5187597
cites work: SMOOTHNESS OF THE VALUE FUNCTION FOR A CONTROLLED DIFFUSION PROCESS IN A DOMAIN
cites work: Q4296131
cites work: On the Dirichlet problem for the complex Monge-Ampère operator
cites work: A priori estimates and a Liouville theorem for complex Monge-Ampère equations
cites work: A C2-estimate for solutions of complex Monge-Ampère equations.
cites work: Über nichtlineare, konkave elliptische Differentialgleichungen. (On nonlinear concave elliptic differential equations)
cites work: Q5542428
cites work: Q4726696
full work available at URL: s0012-7094-00-10518-2
OpenAlex ID: W1530955645
Recommended article: Equicontinuity of families of plurisubharmonic functions with bounds on their Monge-Ampère masses
Recommended article: Some sufficient conditions for solvability of the Dirichlet problem for the complex Monge-Ampère operator
Recommended article: Interior regularity of solutions to a complex Monge-Ampère equation
Recommended article: Some weighted energy classes of plurisubharmonic functions
Recommended article: Subextension and approximation of negative plurisubharmonic functions
Recommended article: Every bounded pseudo‐convex domain with Hölder boundary is hyperconvex
Recommended article: A note on the hyperconvexity of pseudoconvex domains beyond Lipschitz regularity
Recommended article: The extremal function associated to intrinsic norms.
Recommended article: The complex Monge-Ampère equation on weakly pseudoconvex domains
Recommended article: A note on the regularity of the degenerate complex Monge–Ampère equation
description: scientific article; zbMATH DE number 1820758