SearcharxivSearch

arXiv subjects

Zhouyu Long

Publications and source records attributed to Zhouyu Long.

2 recordsLinked to original sources

A sharp two-disk bound for the second positive Neumann eigenvalue under a curvature upper bound

Langford and Laugesen conjectured a sharp two-disk bound for the third Neumann eigenvalue under an upper Gaussian-curvature bound (Math. Ann. 386 (2023), 2255--2281, Conjecture 1.4). We prove the conjectured bound for bounded Lipschitz membranes with the weight regularity used by Langford and Laugesen, and strengthen it to a sharp reciprocal inequality. Let $Ω\subset\mathbb{C}$ be a bounded simply connected Lipschitz domain, let $ω\in C^2(Ω)\cap C(\overlineΩ)$ be positive on $\overlineΩ$, and equip $Ω$ with $g=ω|dz|^2$. Suppose $K_g\le K$, $A=\int_Ωω\,dx>0$, and $KA<4π$ when $K>0$. Enumerate the Neumann eigenvalues, counting multiplicity, by $0=λ_0<λ_1\leλ_2\le\cdots$. If $D_K(A/2)$ is the constant-curvature geodesic disk of area $A/2$, then $\frac{1}{λ_2(Ω,g)}+\frac{1}{λ_3(Ω,g)}>\frac{2}{λ_1(D_K(A/2))}$ and $λ_2(Ω,g)<λ_1(D_K(A/2))$. No simplicity of $λ_1$ or boundary differentiability of $ω$ is required. The same conclusions hold for relatively compact disk-type Lipschitz domains in smooth Riemannian surfaces. Both bounds are sharp at fixed area and curvature upper bound: for each admissible $K,A$, a sequence of smooth connected domains of area $A$ in the constant-curvature model has fixed-index Neumann spectra converging to those of $D_K(A/2)\sqcup D_K(A/2)$. Neither extremal value is attained in either connected class. The proof uses two-pole Green coordinates, a positive-kernel comparison, simultaneous centering of two complex moments, and a shifted reciprocal variational estimate.

math.AP

Tangent-cone cancellation and Maz'ya's $Φ$-inequalities on finitely cornered planar domains

Let $0<α<2$, $p=2/(2-α)$, and let $K:\mathbb{R}^2\setminus\{0\}\to\mathbb{R}^m$ and $Φ:\mathbb{R}^m\to\mathbb{R}$ be positively homogeneous of degrees $α-2$ and $p$, with Lipschitz angular parts. For bounded finitely cornered piecewise-$C^{1,β}$ planar domains $Ω$, we characterize the critical estimate $|\int_ΩΦ(K*f)\,dx|\leq C_{Ω,K,Φ}\|f\|_{L^1(\mathbb{R}^2)}^p$. It holds if and only if signed angular cancellation holds on the plane, the tangent half-planes, and the complete vertex cones. We obtain the analogous criterion on infinite sectors for compactly supported mean-zero densities. For domains with a finite exact ambient conformal-sector atlas, we construct a constant-preserving linear extension $E_Ω$ whose Laplacian is a finite signed Radon measure controlled by $\|Δu\|_{L^1(Ω)}+\|\partial_n u\|_{L^1(\partialΩ)}$. For the Newton kernel this yields a necessary-and-sufficient tangent-model criterion for the corresponding Maz'ya $Φ$-inequality. We also classify the quadratic cancellation locus in polygon moduli. At a genuine corner, the full vertex cone therefore carries an additional cancellation obstruction not detected by its incident tangent half-planes.

math.AP