We prove a Liouville theorem for nonnegative entire strictly spacelike solutions of \[ \operatorname{div}\left(\frac{\nabla u}{\sqrt{1-|\nabla u|^2}}\right)+u^p=0 \qquad\text{in }\mathbb R^n. \] If $n=2$ and $p\geqslant1$, or if $n\geqslant3$ and $1\leqslant p<\frac{n+2}{n-2}$, every nonnegative $C^2$ solution satisfying $|\nabla u|<1$ vanishes identically. No symmetry, decay, integrability, or uniform spacelike gap is assumed. A key independent ingredient is a universal bound, valid for every $n\geqslant2$ and $p\geqslant1$, for both the height $u$ and the Lorentz factor $(1-|\nabla u|^2)^{-1/2}$. Thus pointwise strict spacelikeness automatically improves to a uniform spacelike gap, including in the critical and supercritical regimes. The proof combines a geometric Bernstein estimate, comparison with an explicit hyperbolic cap, and weighted trace-free tensor identities. The result extends the known radial nonexistence theorem to arbitrary entire solutions and yields a geometric half-space rigidity theorem for complete spacelike hypersurfaces.
We consider the Dirichlet problem for the mean curvature operator in Minkowski space, \[ -\operatorname{div}\left(\frac{\nabla u}{\sqrt{1-|\nabla u|^2}}\right) = \lambda u + \mu h(x,u) \quad \text{in } \Omega, \qquad u = 0 \quad \text{on } \partial\Omega, \] in a bounded domain $\Omega \subset \mathbb{R}^N$, where $\lambda, \mu$ are real parameters, and the nonlinearity $h$ is superlinear at $u = 0$. In particular, we study the combined effect of the parameters $\lambda,\,\mu$ on the multiplicity of solutions. In the general setting, following Szulkin's approach for nonsmooth functionals, we prove the existence, for $\lambda$ not belonging to the spectrum of the Dirichlet Laplacian and $\mu$ sufficiently large, of a global minimizing solution (with negative action level) and of a min-max solution (with positive action level). Moreover, we characterize the limiting profiles of these solutions as $\mu \to +\infty$. More precisely, when the global minimizer is positive, its limit profile is $\mathrm{dist}(\cdot,\partial\Omega)$, thus saturating, in the limit, the geometric constraint $|\nabla u|\le1$, while min-max solutions collapse uniformly to zero as $\mu\to+\infty$. A nonexistence criterion is also given for suitable values of $\lambda$ and $\mu$. Finally, when the domain $\Omega$ is a ball, using a shooting approach, we establish the existence of arbitrarily many nodal radial solutions for every $\lambda \ge 0$ and for $\mu$ sufficiently large.
A. Boscaggin, F. Colasuonno, Ricardo Ziegele· 0 citations
A classical theorem of Maillet asserts that every nonconstant rational function over $\mathbb{Q}$ maps Liouville numbers to Liouville numbers. In 1984, Mahler asked whether a transcendental entire function can have the same property. We prove a strong smooth counterpart: writing $\mathscr{L}$ for the set of Liouville numbers, there exist orientation-preserving $C^\infty$ diffeomorphisms $f:\mathbb{R}\to\mathbb{R}$, arbitrarily close to the identity and transcendental over $\mathbb{R}(x)$, such that for every real number field $K\subset\mathbb{R}$, every $n\geq 1$, and every $m\geq 0$, \[ D^m(f^{\circ n})(K)\subseteq K, \qquad D^m(f^{\circ n})(\mathscr{L})\subseteq\mathscr{L}. \] In fact, the non-analyticity locus may be prescribed as any nonempty compact perfect nowhere-dense set disjoint from the real algebraic and Liouville numbers. The proof combines Maillet's theorem with an arithmetic refinement of K\"orner's smooth polynomial sewing method and a rational-germ construction.
Let $D\subset\mathbb C^n$, $n\geq 2$, be a bounded pseudoconvex domain with smooth boundary, and let $H^p_\omega(D)$ be the Hardy space defined using a weighted boundary measure $\omega\,d\sigma$, where $\omega$ is bounded above and bounded away from zero. For every $0<p<\infty$, $p\neq2$, we prove that each surjective linear isometry $T$ of $H^p_\omega(D)$ has the rigid form \( Tf=T(1)(f\circ\varphi), \) where $\varphi\in\operatorname{Aut}(D)$. This extends the classical Forelli-type classification beyond highly symmetric or polynomially convex domains to arbitrary smoothly bounded pseudoconvex domains. The principal difficulty is not the construction of a holomorphic symbol, but proving that this symbol takes values in $D$ and is in fact biholomorphic. We overcome this difficulty by combining equimeasurability methods of Rudin and Schneider with boundary uniqueness, holomorphic approximation, plurisubharmonic exhaustion functions, and removable-singularity arguments across analytic sets. We also solve the complementary geometric problem of determining when an automorphism of $D$ gives rise to an isometry. The answer depends decisively on the boundary measure. We construct two natural measures for which every automorphism induces an isometry: one obtained from an invariant defining function when $\operatorname{Aut}(D)$ is compact, and the other given by Fefferman's invariant surface measure. In sharp contrast, we exhibit domains with noncompact automorphism group---including domains biholomorphic to the unit ball---for which the analogous conclusion fails for ordinary Euclidean surface measure. Thus the isometric structure of Hardy spaces detects not only the biholomorphic geometry of the domain, but also the finer interaction between that geometry and the chosen boundary measure.
In this paper, we study the exterior overdetermined problems for the homogeneous k-Hessian equations $$\sigma_k(D^2u)=0\quad\text{in}~\mathbb{R}^n\setminus\overline{\Omega}$$ in three dimensional regimes. For $2\le k<n$ and smooth strictly star-shaped domain $\Omega\Subset\R^n$, we establish ball rigidity results in all three dimensional regimes. If $2\leq k<\frac{n}{2}$, the solution with boundary value $-1$ and limit zero at infinity is treated under strict $(k-1)$-convexity of $\partial\Omega$. If $k=\frac{n}{2}$, the solution with boundary value $0$ and logarithmic growth at infinity is considered under strict $(k-1)$-convexity of $\partial\Omega$; if $k>\frac{n}{2}$, the solution with boundary $1$ and fundamental power-growth at infinity is considered under strict $(k-1)$-convexity of $\partial\Omega$. In each case, for a positive constant $c$, $|Du|=c>0$ on $\partial\Omega$ forces $\Omega$ to be a Euclidean ball and determines the solution explicitly. The three arguments are organized by the single parameter $q=(n-k)/k$ and the scale function \[ F_q(t)=\frac{t^{1-q}-1}{1-q},\qquad F_1(t)=\log t. \] After normalization, $U=F_q(v)$ and $M_q[v]=vD^2v-qDv\otimes Dv$ satisfies $\sigma_k(M_q[v])=0$. A unified contact-point calculation gives the sharp bound $|Dv|\le b$;a boundary viscosity contact then yields $H_k\ge qbH_{k-1}$. The integral mechanism that closes the argument changes at the critical exponent: Rellich--Pohozaev identities are used for $q>1$, a scale-invariant Wronskian--Newton current for $q=1$, and a renormalized Newton--Jacobi mass for $q<1$. When $q\leq 1,$ we also obtain a global strict k-convex defining function by Minkowski gauge, this help us extend the exterior construction from convex domains to strictly star-shaped domains.
We prove that for every integer $n\geq 2$ and $8\pi(n-1)<\rho<8\pi n$, the singular Liouville equation $\Delta u+\e^u=\rho\delta_0$ on a rectangular torus $E_{\mathrm{i}b}=\mathbb{C}/(\mathbb Z+\mathrm{i} b\mathbb Z)$ has exactly $n$ solutions, which are all axisymmetric. Together with previous results by Chen-Lin and Lin-Wang, this yields that \begin{itemize} \item $E_{\mathrm{i} b}$ admits no spherical metrics with a conical singularity of angle $2\pi\vartheta$ as long as $\vartheta$ is a positive odd integer. \item For every integer $n\geq 1$, $E_{\mathrm{i} b}$ admits exactly $n$ spherical metrics with a conical singularity of angle $2\pi\vartheta$ for each $\vartheta\in (2n-1, 2n+1)$. \end{itemize} The basic idea is to prove that the linearized equation has only trivial solutions in the space of axisymmetric functions. The previous method of analysing nodal domains via Bol's isoperimetric inequality only works for $\rho\leq 8\pi$. We develop a unified approach for all $\rho\in (0,+\infty)\setminus 8\pi\mathbb{N}_{\geq 1}$ by exploring the deep connection with the monodromy of the classical Lam\'{e} equation.
Let $n>2$. We construct a map $U\in W^{1,n}(B^n,\mathbb{R}^{n+2})$ that is discontinuous at the origin and smooth on the punctured ball $B^n \setminus \{0\}$, together with an antisymmetric potential $\Omega\in L^n(B^n,so(n+2)\otimes\mathbb{R}^n)$ such that $-\mathrm{Div}(|\nabla U|^{n-2}\nabla U)=\Omega\cdot |\nabla U|^{n-2}\nabla U$ in $D'(B^n)$. This gives a negative answer to a regularity question posed by Rivi\`ere. Our potential admits the Lorentz-space regularity $\Omega \in \bigcap_{q>2}L^{(n,q)} \setminus L^{(n,2)}$. In addition for given $1<p<\infty$ we can enforce $\nabla U \in L^{(n,p)}$ but $\nabla U \notin L^{(n,1)}$. The construction does not give a counterexample to regularity for weakly $n$-harmonic maps or for higher-dimensional $H$-systems. The example was generated by ChatGPT 5.6 Sol on August 5, 2026. The work itself was written by the author and thoroughly reviewed to ensure its correctness.
Dominik Schlagenhauf· 1 citation
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
