AI 中文总结
该研究针对p-拉普拉斯算子的第一狄利克雷本征函数的对数p-通量，证明了不同p值下的尖锐两点估计，揭示了p=2、一维性和径向对称性的特殊作用。
AI 中文摘要
我们研究对数p-通量的两点估计：$X_\Omega:= |\nabla\log u|^{p-2}\nabla\log u$，其中$u$是有界凸区域$\Omega$上p-拉普拉斯算子的正第一狄利克雷本征函数。当$p=2$时，该式简化为$\nabla\log u$，其尖锐凹性模是Andrews和Clutterbuck证明基本间隙猜想的关键要素。我们探究$p\neq2$时是否存在类似的一维模。首先，我们对所有$p>1$，在区间和球上证明尖锐两点估计；在球上，尖锐径向模严格大于对应的一维模。相反，当维数$N\geq2$时，对所有$p\neq2$，一维模在凸区域上一般不成立：对$1<p<2$，反例来自边界平坦部分附近的边界行为，且在光滑凸逼近下保持；对$p>2$，我们使用薄矩形推导极限行为$u_\varepsilon(x,0)\rightarrow(\cos\pi x)^{2/p}$，并给出重标第一本征值的二阶展开。最后，我们分解非线性对数通量相对于$-\log u$水平集的对称导数，该分解表明$|\nabla\log u|$的切向变化如何将对数凹性与非线性通量的单调性分离，并解释$p=2$、一维性和径向对称性的特殊作用。
英文摘要
Let \(u>0\) be the first Dirichlet \(p\)-eigenfunction on a bounded convex domain \(Ω\subset\mathbb R^N\), and set \[ X_Ω:=|\nabla\log u|^{p-2}\nabla\log u. \] We study whether the sharp one-dimensional two-point modulus for \(X_Ω\), which for \(p=2\) reduces to the logarithmic-gradient estimate of Andrews and Clutterbuck, persists for \(p\neq2\). We prove sharp estimates on intervals and balls for every \(p>1\), with the radial modulus on balls strictly larger than the one-dimensional one. In dimensions \(N\ge2\), however, the one-dimensional modulus fails on general convex domains for every \(p\neq2\). For \(1<p<2\), at every sufficiently small fixed scale there are smooth uniformly convex domains for which the corresponding two-point flux tends to zero. For \(p>2\), on thin domains \(Ω_\varepsilon=D\times(-\varepsilon,\varepsilon)\), with \(D\subset\mathbb R^{N-1}\) bounded and convex, the normalized first eigenfunctions satisfy \[ u_\varepsilon(x,\varepsilon z)\longrightarrow \frac{ϕ(z)}{ϕ(0)} \left(\frac{G_D(x)}{G_D(x_0)}\right)^{2/p} \] locally uniformly in \(D\times(-1,1)\), where \(ϕ\) and \(G_D\) are the first Dirichlet eigenfunctions of the \(p\)-Laplacian on \((-1,1)\) and of the Laplacian on \(D\), respectively. This yields the failure for \(p>2\). Finally, for arbitrary \(C^2\) functions, positivity of the symmetric differential of the \(p\)-gradient implies convexity, and the converse holds universally if and only if \(p=2\).
