Nodal Sets of Smooth Functions with Finite Vanishing Order and p-Sweepouts

TL;DR

This paper investigates the geometric and measure-theoretic properties of nodal sets of smooth functions with bounded vanishing order, establishing their role in min-max theory and their rectifiability, with applications to eigenfunctions and heat flow.

Contribution

It introduces conditions under which nodal sets form admissible sweepouts, provides new bounds on min-max widths, and proves rectifiability and measure continuity of nodal sets.

Findings

Nodal sets of linear combinations of functions form admissible p-sweepouts.

Established new upper bounds on min-max p-widths of manifolds.

Proved local rectifiability and measure finiteness of nodal sets.

Abstract

We show that on a compact Riemmanian manifold $(M,g)$, nodal sets of linear combinations of any $p+1$ smooth functions form an admissible $p-$sweepout provided these linear combinations have uniformly bounded vanishing order. This applies in particular to finite linear combinations of Laplace eigenfunctions. As a result, we obtain a new proof of the Gromov, Guth, Marques--Neves upper bounds on the min-max $p$-widths of $M.$ We also prove that close to a point at which a smooth function on $\mathbb{R}^{n+1}$ vanishes to order $k$, its nodal set is contained in the union of $k$ $W^{1,p}$ graphs for some $p > 1$. This implies that the nodal set is locally countably $n$-rectifiable and has locally finite $\mathcal{H}^n$ measure, facts which also follow from a previous result of B\"{a}r. Finally, we prove the continuity of the Hausdorff measure of nodal sets under heat flow.