Boundary behavior of rotationally symmetric prescribed mean curvature hypersurfaces in \(\mathbb{R}^4\) (Q2024638)

In this paper under review, the authors consider prescribed mean curvature boundary value problems in $\mathbb{R}^4$ which are rotationally symmetric, and investigate the behavior of variational solutions near a conical point. Let $\Omega \subset\mathbb{R}^3$ be a locally Lipschitz domain whose boundary has a `crease' (or `edge') ${\mathcal C}\subset \Omega$ such that $\partial \Omega \setminus {\mathcal C}$ is $C^2$. Consider the boundary value problem \[ \left\{\begin{array}{ll} \mathrm{div}\left(\frac{\nabla f}{\sqrt{1+|\nabla f|^2}}\right) = n H(\cdot, f) \quad \mbox{in }\Omega\\ f = \phi\quad \mbox{ on }\partial \Omega. \end{array}\right. \] In the previous work [J. Geom. Anal. 30, No. 2, 2241--2252 (2020; Zbl 1441.53007)], the authors studied the behavior of a nonparametric minimal hypersurface in $\Omega \times\mathbb{R} \subset\mathbb{R}^4$ near the nonconvex conical point ${\mathcal O} = (0,0,0)\in \partial \Omega$ when the graph of the variational solution of the problem mentioned above is rotationally symmetric with respect to the axis of the cone and $\mathcal C$ has codimension $2$ in $\partial \Omega$. In the present paper, the authors consider the prescribed mean curvature boundary value problem when $\mathcal C$ has codimension one. From a domain $U \subset\mathbb{R}^2$ with locally Lipschitz boundary $\partial U$ satisfying some conditions, the authors obtain the domain $$ \Omega = \{(x \cos t, x\sin t, y)\in\mathbb{R}^3 : (x, y) \in U, t \in [0, 2\pi)\} $$ by rotating $U$ about the vertical axis $\{(0.0)\}\times \mathbb{R}$, and crease(edge) is $\mathcal C = \{(x_0 \cos t, x_0 \sin t, 0) : t \in [0, 2\pi)\}$. The authors prove that if $f \in C^2(\Omega) \cap L^\infty(\Omega)$ is a variational solution of the prescribed mean curvature boundary value problem, then the radial limit $Rf(\omega, P)$ of $f$ at each point $P \in \mathcal C$ exists, where the radial limt is defined as $$ Rf(\omega, P) = \lim_{r\downarrow 0} f(P+r \omega)\quad \mbox{for }\omega \in T_P $$ with $T_P = \{\omega \in\mathbb{R}^3 : |\omega| = 1$ and $\{P+r\omega : 0 < r < \epsilon \} \subset \Omega$ for some $\epsilon >0\}$. The authors also obtain properties on the behavior of radial limits in various cases.