Interpolation theory in the unit ball and semi-algebraic geometry yield explicit descriptions of the boundary zeros of stable polynomials. Given a polynomial $p\in \mathbb{C}[z_1, ...,z_n]$ that is zero-free in the unit ball and vanishes on the sphere along submanifolds of dimension at most one, we describe the boundary zeros $\mathcal{Z}(p)\cap\mathbb{S}_n$ in terms of peak sets for $A^\infty(\mathbb{B}_n)$. In particular, in the setting $n=2$, we achieve a characterization by proving that every accumulation point of $\mathcal{Z}(p)\cap\mathbb{S}_2$ lies in the relative interior of an one dimensional real analytic submanifold, and that these submanifolds form a foliation of the non-isolated part of $\mathcal{Z}(p)\cap\mathbb{S}_2$. As an application of the developed theory, we obtain a characterization of cyclic polynomials without weak essential singularities in the Dirichlet-type space $\mathcal{D}_{n-1/2}(\mathbb{B}_n)$. A theory for more general geometric settings of the boundary zeros is also developed, aiming to provide a starting point for further extensions.
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 place in two dimensions and yields the case $n=3$; higher-dimensional examples follow by cylindrical lifting. In every dimension, the exceptional set may occupy an arbitrarily large proportion of a fixed boundary cube. This resolves, in the negative, the smooth case of the boundary unique-continuation problem left open by Bourgain and Wolff in 1990 \cite[p.~260]{BourgainWolff1990}. In dimension three, a M\"obius--Kelvin transfer gives the corresponding counterexample in the unit ball. It disproves Nadirashvili's smooth unit-ball conjecture on boundary singular sets \cite[Conjecture~4, p.~232]{Nadirashvili1997} and, a fortiori, disproves the gradient-only formulation subsequently recorded by Logunov and Malinnikova \cite[Section~7.4]{LogunovMalinnikova2020} and by Lin \cite[Conjecture~3, pp.~15--16]{Lin2020Current}. The proof uncovers a hidden flexibility principle for nonlocal elliptic equations: microscopic modifications can exert macroscopic control over exterior data. A quantitative correction mechanism for the half-Laplacian, iterated across scales, produces flat nonlocal Cauchy data on a set of positive measure. Thus nonlocality has a striking dual character: the same long-range interaction that drives unique-continuation rigidity can also furnish the flexibility through which that rigidity fails in the smooth category.
In this paper, we study the local polynomial convexity of certain smooth real surfaces in \(\mathbb{C}^2\) with isolated CR singularity at the origin with higher-order of degeneracy. Under the assumption that the surface can be pulled back to a union of finitely many pairwise transverse totally real surfaces by a proper holomorphic map from $\mathbb{C}^2$ to $\mathbb{C}^2$, we obtain a normal form for such surfaces near the origin as $\{(z,w)\in\mathbb{C}^2: w= \overline{z}^k+o(|z|^{k})\}$ or $M_t := \left\{ (z,w)\in\mathbb{C}^2 : w=(z+t\overline{z})^k+o(|z|^k) \right\}$, for some \(t>0\), where the parameter $t$ is a local biholomorphic invariant. We focus on the surfaces with order of degeneracy $k\geq 3$. We prove that $M_t$ is locally polynomially convex at the origin if $t>cosec\left(\frac{\pi}{k}\right)$. On the other hand, for $0<t<\frac{1}{k-2}$, we will also show that $M_t$ fails to be locally polynomially convex at the origin; and furthermore, a $(2k-3)$-parameter family of analytic discs attached to $M_t$ for $0<t<\min\left\{\sin\left(\frac{\pi}{k}\right),\frac{1}{k-2}\right\}$.
We study global regularity of solutions to Dirichlet or Neumann elliptic problems in spherical sectors $S_{D,R}$ of radius $R>0$ in $\mathbb{R}^N, N\ge 2$, where $D$ is the bounded domain on the unit sphere $\mathbb{S}^{N-1}$ which spans the spherical sector. One of the main results shows that boundedness of the gradient of the solutions of Poisson equations holds whenever $\lambda_1(D)\ge N-1$, where $\lambda_1(D)$ is the first nontrivial eigenvalue of the Laplace Beltrami operator $-\Delta_{\mathbb{S}^{N-1}}$ on the domain $D$ with Dirichlet or Neumann boundary conditions on $\partial D$. As an example of Maz'ya shows, the condition on the eigenvalue is sharp. For general spherical sectors and for $p$-Laplacian equations, $p>1$ we prove weighted global lipschitzianity of the solutions, as well as second order regularity.
Carlo Alberto Antonini, F. Pacella, Camilla Chiara Polvara et al.· 0 citations
We study the extension of the conformal structure of a Riemann surface, obtained as a submanifold of $\mathbf R^n$, across an isolated singular point, under hypotheses that are metric rather than analytic. The main result (1989) is that an isolated singularity is $\textbf{conformally point-like}$ (conformal to a punctured disc) whenever it is $\textbf{$M$-regular}$: the pair (surface minus the point, the point) satisfies a Whitney condition, and the length of the spherical slice $S(0,r)\cap E$ decreases at most linearly in $r$, a condition described as ``metric decay''. This is proved via a modulus-of-rings (extremal-length) argument, generalizing the classical planar technique to submanifolds of $\mathbf R^n$. Two classes of examples are treated: surfaces of revolution generated by a single curve, and subanalytic surfaces, for which $M$-regularity is verified directly from Hironaka's structure theory, giving as a corollary that every isolated singularity of an orientable subanalytic surface is conformally point-like. A further original result is a $C^\infty$ counterexample showing that a strict Whitney condition alone does $\textbf{not}$ imply the linear length bound: the two hypotheses in the definition of $M$-regularity are independent.
We prove a third-order derivative estimate for convex solutions to the real Monge-Amp\`ere equation ${\rm det}\,{\rm Hess}(u) = 1$ on an open set in $\mathbb{R}^{2m}$ under the additional assumption that ${\rm Hess}(u)$ lies in ${\rm Sp}(2m,\mathbb{R})$ at every point. Our method is a geometric interpretation and extension to higher dimensions of Nitsche's classical proof of the Bernstein theorem for the real Monge-Amp\`ere equation on $\mathbb{R}^2$. For $m = 1$ we also improve Nitsche's constant as well as some estimates due to Calabi, and we construct examples of solutions with interesting geometric behavior.
In this paper, let $u\in C^4(B_{10})$ with $D^2u\geq -KI$ define a $2$-admissible graph $M=\{(x,u(x)):x\in B_{10}\}\subset\R^{n+1}$ satisfying \[ \sigma_2(\kappa[u])=f(x). \] We prove an interior curvature estimate depending on the Lipschitz norm of the right-hand sides. The proof combines a shifted Jacobi inequality for \(b=\log(H+J_0)\), a parallel hypersurface transformation that makes the Newton tensor uniformly elliptic and local boundedness estimate then reduces the pointwise bound to a weighted $L^1$ estimate, which is completed using the Jacobi energy inequality and integration by parts.
Li-Chun Liang· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
