The restriction theorem for fully nonlinear subequations (Q486750): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
Let \(J^2(\mathcal U)\) be the 2-jet space of real functions on an open subset \(\mathcal U \) of \( \mathbb R^N\), that is the collection of all triples \(j^2_x u = (u|_x, D_xu, D^2_x u)\), \(x \in \mathcal U\), given by the value \(u|_x\) of a \(\mathcal C^2\) real function \(u\) on a neighbourhood of \(x\), its first derivatives \(D_x u = (\partial_{x_i} u)|_x\) and the Hessian \(D^2_x u = (\partial^2_{x_i x_j} u)|_x\). A \textit{subequation on \(\mathcal U\)} is a closed subset \(F \subset J^2(\mathcal U)\) satisfying the following condition: if the 2-jet \(j^2_x u\) is in \(F\), then also the 2-jet \(j^2_x u + (0, 0, A)\) is in \(F\) for any positive semi-definite symmetric real matrix \(A = (A_{ij})\). Given a subequation \(F\), the \textit{\(F\)-subharmonic functions on \(\mathcal U\)} are the upper semi-continuous functions \(u:\mathcal U \to \mathbb R\) for which the following holds: for all \(x \in \mathcal U\) and all \(\mathcal C^2\)-functions \(\varphi\) with \(u(x) = \varphi(x)\) and \(u \leq \varphi\) on a neighbourhood of \(x\), the 2-jet \(j^2_x \varphi\) is in \(F\). First examples of \(F\)-subharmonic functions are provided by the plurisubharmonic functions and the convex functions in viscosity sense. Other important examples are the viscosity solutions to the Monge-Ampère equation \(\det(D^2 u) = 0\) with a fixed minimum number of non-negative eigenvalues for the Hessians. The main problem addressed in the paper is the following. Let \(F\) be a subequation on \(\mathcal U \subset \mathbb R^N\), \(N = n + m\), and set \(X := \{\;x^{n+1} = \ldots = x^N = 0\;\}\cap \mathcal U\). Denote by \(\imath^*: J^2(\mathcal U) \to J^2(X)\) the standard restriction map, that is \[ \imath^*\big((u, (\partial_{x_i} u), (\partial^2_{x_i x_j} u))\big|_x\big) = (u , (\partial_{x_i} u)_{i = 1, \ldots, n}, (\partial^2_{x_i x_j} u)_{i,j = 1, \ldots, n})\big|_x\;. \] Denoting \(F^{(X)} := \overline{\imath^*F}\), we say that a subequation \(F\) satisfies the \textit{restriction property to \(X\)} if \[ u \text{ is } F\text{-subharmonic on }\mathcal U\qquad \Longrightarrow \qquad u|_X \text{ is } F^{(X)}\text{-subharmonic on } \mathcal U. \] In case \(F\) is the subequation that characterises the plurisubharmonic functions of a complex manifold in a system of complex coordinates, the claim that \(F\) satisfies the restriction property for an appropriate \(X\) yields the property that a function is plurisubharmonic in viscosity sense if and only if all its restrictions to complex curves are subharmonic. In fact, one of the main results of this paper on the restriction property has been recently used by the same authors to prove the corresponding statement on almost complex manifolds [\textit{F. R. Harvey} and \textit{H. B. Lawson jun.}, ``Potential theory on almost complex manifolds'', Ann. Inst. Fourier (to appear), \url{arXiv:1107.2584}]. In the present paper the authors investigate in full generality the conditions under which a subequation \(F\) on an open subset \(\mathcal U\) satisfies the restriction property. They provide examples where this does not occur and they single out a simple condition, called \textit{restriction hypothesis}, that implies the restriction property. Then they exhibit a number of subequations that satisfy the restriction hypothesis and obtain important applications in many different contexts as, e.g., potential theory for calibrated geometries and universal subequations in Riemannian geometry. | |||
Property / review text: Let \(J^2(\mathcal U)\) be the 2-jet space of real functions on an open subset \(\mathcal U \) of \( \mathbb R^N\), that is the collection of all triples \(j^2_x u = (u|_x, D_xu, D^2_x u)\), \(x \in \mathcal U\), given by the value \(u|_x\) of a \(\mathcal C^2\) real function \(u\) on a neighbourhood of \(x\), its first derivatives \(D_x u = (\partial_{x_i} u)|_x\) and the Hessian \(D^2_x u = (\partial^2_{x_i x_j} u)|_x\). A \textit{subequation on \(\mathcal U\)} is a closed subset \(F \subset J^2(\mathcal U)\) satisfying the following condition: if the 2-jet \(j^2_x u\) is in \(F\), then also the 2-jet \(j^2_x u + (0, 0, A)\) is in \(F\) for any positive semi-definite symmetric real matrix \(A = (A_{ij})\). Given a subequation \(F\), the \textit{\(F\)-subharmonic functions on \(\mathcal U\)} are the upper semi-continuous functions \(u:\mathcal U \to \mathbb R\) for which the following holds: for all \(x \in \mathcal U\) and all \(\mathcal C^2\)-functions \(\varphi\) with \(u(x) = \varphi(x)\) and \(u \leq \varphi\) on a neighbourhood of \(x\), the 2-jet \(j^2_x \varphi\) is in \(F\). First examples of \(F\)-subharmonic functions are provided by the plurisubharmonic functions and the convex functions in viscosity sense. Other important examples are the viscosity solutions to the Monge-Ampère equation \(\det(D^2 u) = 0\) with a fixed minimum number of non-negative eigenvalues for the Hessians. The main problem addressed in the paper is the following. Let \(F\) be a subequation on \(\mathcal U \subset \mathbb R^N\), \(N = n + m\), and set \(X := \{\;x^{n+1} = \ldots = x^N = 0\;\}\cap \mathcal U\). Denote by \(\imath^*: J^2(\mathcal U) \to J^2(X)\) the standard restriction map, that is \[ \imath^*\big((u, (\partial_{x_i} u), (\partial^2_{x_i x_j} u))\big|_x\big) = (u , (\partial_{x_i} u)_{i = 1, \ldots, n}, (\partial^2_{x_i x_j} u)_{i,j = 1, \ldots, n})\big|_x\;. \] Denoting \(F^{(X)} := \overline{\imath^*F}\), we say that a subequation \(F\) satisfies the \textit{restriction property to \(X\)} if \[ u \text{ is } F\text{-subharmonic on }\mathcal U\qquad \Longrightarrow \qquad u|_X \text{ is } F^{(X)}\text{-subharmonic on } \mathcal U. \] In case \(F\) is the subequation that characterises the plurisubharmonic functions of a complex manifold in a system of complex coordinates, the claim that \(F\) satisfies the restriction property for an appropriate \(X\) yields the property that a function is plurisubharmonic in viscosity sense if and only if all its restrictions to complex curves are subharmonic. In fact, one of the main results of this paper on the restriction property has been recently used by the same authors to prove the corresponding statement on almost complex manifolds [\textit{F. R. Harvey} and \textit{H. B. Lawson jun.}, ``Potential theory on almost complex manifolds'', Ann. Inst. Fourier (to appear), \url{arXiv:1107.2584}]. In the present paper the authors investigate in full generality the conditions under which a subequation \(F\) on an open subset \(\mathcal U\) satisfies the restriction property. They provide examples where this does not occur and they single out a simple condition, called \textit{restriction hypothesis}, that implies the restriction property. Then they exhibit a number of subequations that satisfy the restriction hypothesis and obtain important applications in many different contexts as, e.g., potential theory for calibrated geometries and universal subequations in Riemannian geometry. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32U05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 31C10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 32W20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 35D40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 35J70 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C38 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6387273 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
viscosity solution | |||
Property / zbMATH Keywords: viscosity solution / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
viscosity subsolution | |||
Property / zbMATH Keywords: viscosity subsolution / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
nonlinear second-order elliptic equations | |||
Property / zbMATH Keywords: nonlinear second-order elliptic equations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
pluripotential theory | |||
Property / zbMATH Keywords: pluripotential theory / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Andrea F. Spiro / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963503895 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1101.4850 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-commutative linear algebra and plurisubharmonic functions of quaternionic variables. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quaternionic Monge-Ampère equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Plurisubharmonic functions on hypercomplex manifolds and HKT-geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5722475 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Dirichlet problem for a complex Monge-Ampère equation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a Generalized Dirichlet Problem for Plurisubharmonic Functions and Pseudo-Convex Domains. Characterization of Silov Boundaries / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4357414 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: User’s guide to viscosity solutions of second order partial differential equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dirichlet duality and the nonlinear Dirichlet problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Potential theory on almost complex manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Calibrated geometries / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Duality of positive currents and plurisubharmonic functions in calibrated geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An introduction to potential theory in calibrated geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dirichlet duality and the nonlinear Dirichlet problem on Riemannian manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Plurisubharmonicity in a General Geometric Context / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Existence, Uniqueness and Removable Singularities for Nonlinear Partial Differential Equations in Geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: q-plurisubharmonic functions and a generalized Dirichlet problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the General Notion of Fully Nonlinear Second-Order Elliptic Equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3873112 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some integration problems in almost-complex and complex manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Plurisubharmonic functions and positive currents of type (1,1) on an almost complex manifold / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3708305 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:19, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The restriction theorem for fully nonlinear subequations |
scientific article |
Statements
The restriction theorem for fully nonlinear subequations (English)
0 references
16 January 2015
0 references
Let \(J^2(\mathcal U)\) be the 2-jet space of real functions on an open subset \(\mathcal U \) of \( \mathbb R^N\), that is the collection of all triples \(j^2_x u = (u|_x, D_xu, D^2_x u)\), \(x \in \mathcal U\), given by the value \(u|_x\) of a \(\mathcal C^2\) real function \(u\) on a neighbourhood of \(x\), its first derivatives \(D_x u = (\partial_{x_i} u)|_x\) and the Hessian \(D^2_x u = (\partial^2_{x_i x_j} u)|_x\). A \textit{subequation on \(\mathcal U\)} is a closed subset \(F \subset J^2(\mathcal U)\) satisfying the following condition: if the 2-jet \(j^2_x u\) is in \(F\), then also the 2-jet \(j^2_x u + (0, 0, A)\) is in \(F\) for any positive semi-definite symmetric real matrix \(A = (A_{ij})\). Given a subequation \(F\), the \textit{\(F\)-subharmonic functions on \(\mathcal U\)} are the upper semi-continuous functions \(u:\mathcal U \to \mathbb R\) for which the following holds: for all \(x \in \mathcal U\) and all \(\mathcal C^2\)-functions \(\varphi\) with \(u(x) = \varphi(x)\) and \(u \leq \varphi\) on a neighbourhood of \(x\), the 2-jet \(j^2_x \varphi\) is in \(F\). First examples of \(F\)-subharmonic functions are provided by the plurisubharmonic functions and the convex functions in viscosity sense. Other important examples are the viscosity solutions to the Monge-Ampère equation \(\det(D^2 u) = 0\) with a fixed minimum number of non-negative eigenvalues for the Hessians. The main problem addressed in the paper is the following. Let \(F\) be a subequation on \(\mathcal U \subset \mathbb R^N\), \(N = n + m\), and set \(X := \{\;x^{n+1} = \ldots = x^N = 0\;\}\cap \mathcal U\). Denote by \(\imath^*: J^2(\mathcal U) \to J^2(X)\) the standard restriction map, that is \[ \imath^*\big((u, (\partial_{x_i} u), (\partial^2_{x_i x_j} u))\big|_x\big) = (u , (\partial_{x_i} u)_{i = 1, \ldots, n}, (\partial^2_{x_i x_j} u)_{i,j = 1, \ldots, n})\big|_x\;. \] Denoting \(F^{(X)} := \overline{\imath^*F}\), we say that a subequation \(F\) satisfies the \textit{restriction property to \(X\)} if \[ u \text{ is } F\text{-subharmonic on }\mathcal U\qquad \Longrightarrow \qquad u|_X \text{ is } F^{(X)}\text{-subharmonic on } \mathcal U. \] In case \(F\) is the subequation that characterises the plurisubharmonic functions of a complex manifold in a system of complex coordinates, the claim that \(F\) satisfies the restriction property for an appropriate \(X\) yields the property that a function is plurisubharmonic in viscosity sense if and only if all its restrictions to complex curves are subharmonic. In fact, one of the main results of this paper on the restriction property has been recently used by the same authors to prove the corresponding statement on almost complex manifolds [\textit{F. R. Harvey} and \textit{H. B. Lawson jun.}, ``Potential theory on almost complex manifolds'', Ann. Inst. Fourier (to appear), \url{arXiv:1107.2584}]. In the present paper the authors investigate in full generality the conditions under which a subequation \(F\) on an open subset \(\mathcal U\) satisfies the restriction property. They provide examples where this does not occur and they single out a simple condition, called \textit{restriction hypothesis}, that implies the restriction property. Then they exhibit a number of subequations that satisfy the restriction hypothesis and obtain important applications in many different contexts as, e.g., potential theory for calibrated geometries and universal subequations in Riemannian geometry.
0 references
viscosity solution
0 references
viscosity subsolution
0 references
nonlinear second-order elliptic equations
0 references
pluripotential theory
0 references
0 references
0 references
0 references