Sogge–Smith conjecture for nodal extrema of Dirichlet eigenfunctions

Let (Mn,g)(M^n,g) be a manifold with boundary, and let uλu_\lambda be a Dirichlet eigenfunction associated to the eigenvalue parameter λ\lambda. For each nodal domain AiA_i of uλu_\lambda, let mAim_{A_i} denote its extremal value, and let A(uλ)\mathcal{A}(u_\lambda) be the collection of nodal domains. If α(p)\alpha(p) is the piecewise exponent

α(p)={(23+n22)(1412p),2p6n+43n4,n2(121p)14,6n+43n4p+,\alpha(p)=\begin{cases} \left(\frac{2}{3}+\frac{n-2}{2}\right)\left(\frac{1}{4}-\frac{1}{2p}\right),&2\leq p\leq\dfrac{6n+4}{3n-4},\\ \frac{n}{2}\left(\frac{1}{2}-\frac{1}{p}\right)-\frac{1}{4},&\dfrac{6n+4}{3n-4}\leq p\leq+\infty, \end{cases}

then Sogge–Smith's conjecture. If λ\lambda is large enough, there exists kg>0k_g>0 such that

i=1A(uλ)mAipkgλn2+pα(p),\sum_{i=1}^{|\mathcal{A}(u_\lambda)|}m_{A_i}^p\leq k_g\lambda^{\frac{n}{2}+p\alpha(p)},

for any p2p\geq2. This would extend the preceding boundary estimates to the full range p2p\geq2, conditional on the conjectured adapted LpL^p eigenfunction bounds of Sogge and Smith; the source does not state whether those bounds, or this consequence, have been resolved.

Sources & referencesView supporting material

Primary source

Guillaume Poliquin, “Superlevel sets and nodal extrema of Laplace-Beltrami eigenfunctions”, arXiv:1409.7099 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.