Let $D\subset\mathbb{R}^n$, $n\ge2$, be a bounded convex domain, and let $u_D$ be the torsion function for the restricted half-Laplacian. We prove that $D^2u_D$ is negative definite at every point of $D$. The argument is based on the reflected harmonic extension in a slit domain. Quantitative Schauder estimates in slit domains yield parameter-uniform estimates for the first and second derivatives of the edge remainder; a Schur-complement calculation then determines the inertia of the extended Hessian near the slit edge. Superharmonicity of the logarithmic Hessian determinant and the Gleason--Wolff zero-set theorem exclude interior degeneracy. A method of continuity starting from the unit ball proves the result for smooth uniformly convex domains, and an exhaustion argument treats arbitrary bounded convex domains.
Let $2\le k\le n$, let $\Omega\subset\mathbb{R}^n$ be open and convex, and let $u$ be a convex viscosity solution of $\sigma_k(D^2u)=1$ in $\Omega$. We prove that the set on which $u$ fails to be locally $C^2$ has vanishing $(n-1)$-dimensional Hausdorff measure. In the intermediate range $3\le k<n$, this gives a codime...
Let $\Omega\subset\mathbb H^2$ be a bounded smooth horoconvex domain and let $\psi_1>0$ be its first Dirichlet eigenfunction. We prove that \[ \operatorname{Hess}_{\mathbb H^2}(-\log\psi_1)>0 \] throughout $\Omega$, with no restriction on the diameter or the first eigenvalue. The proof is by contradiction. A degenerate...
Xianzhe Dai, John M. Ennis, X. H. Nguyen et al.· 0 citations
For every $n\geq 3$, we construct a nonconstant real-valued function $U\in C^\infty(\overline{\mathbb R^n_+})$, harmonic in the upper half-space, whose complete boundary jet vanishes on a compact nowhere dense subset of $\partial\mathbb R^n_+$ of positive $(n-1)$-dimensional measure. The essential construction takes pl...
We identify a common convexity structure for three exponential Dirichlet problems on smooth uniformly strictly convex domains: the Liouville equation $\Delta u=e^u$, the real equation $\sigma_2(D^2u)=e^{2u}$, and its complex counterpart $\sigma_2(u_{i\bar j})=e^{2u}$. In each case $u<0$ in the domain and $u=0$ on the b...
We study graphical mean curvature flow in arbitrary codimension over the half-space and over smooth bounded domains, subject to homogeneous Dirichlet boundary conditions. At the scaling-critical Lipschitz regularity, we prove local well-posedness for initial graphs that can be approximated in $W^{1,\infty}$ by smooth p...
We establish the rigidity statement in the equality case of the hyperspherical-radius inequality of Brendle, Tsiamis, and Wang for compact spin fill-ins with scalar curvature bounded below. More precisely, let $(M^{n\geq 3},g)$ be a compact, connected Riemannian spin manifold having a connected boundary $\Sigma$ and sc...
B. Ammann, Samuel Lockman· 2 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
