Abstract:We show that Nikodym sets and local smoothing estimates for linear wave equations form a dichotomy: If Nikodym sets for a family of curves exist, then the related maximal operator is not bounded on $L^p(\mathbb{R}^2)$ for any $p<\infty$; if Nikodym sets do not exist, then local smoothing estimates hold, and the related maximal operator is bounded on $L^p(\mathbb{R}^2)$ for some $p<\infty$. Whenever the maximal operator is bounded on $L^p(\mathbb{R}^2)$ for some $p<\infty$, we also determine the sharp exponent for $L^p(\mathbb{R}^2)$ bounds.

What problem does this paper attempt to address?

The paper attempts to address issues related to Nikodym sets and local smoothing estimates for wave equations in harmonic analysis. Specifically, the authors define a maximal operator $ M_{\gamma,\epsilon} $ and study its boundedness in the $ L^p(\mathbb{R}^2) $ space. The main objectives can be summarized as follows: 1. **Strong Degeneracy Condition**: Introduce a strong degeneracy condition and prove that if the function $ \gamma $ is not strongly degenerate, there exists some $ \epsilon > 0 $ such that the maximal operator $ M_{\gamma,\epsilon} $ is bounded on $ L^p(\mathbb{R}^2) $ (for some $ p < \infty $). 2. **Critical Index Algorithm**: For each $ \gamma $ that is not strongly degenerate, provide an algorithm to determine a critical index $ p_\gamma \in (2,\infty) $, and prove that when $ p > p_\gamma $, $ M_{\gamma,\epsilon} $ is bounded on $ L^p(\mathbb{R}^2) $; when $ p < p_\gamma $, $ M_{\gamma,\epsilon} $ is unbounded. 3. **Dichotomy of Nikodym Sets and Local Smoothing Estimates**: Prove that Nikodym sets and local smoothing estimates for wave equations form a dichotomy. Specifically, if there exists a $ \gamma $-Nikodym set, then $ M_{\gamma,\epsilon} $ is unbounded for any $ p < \infty $; conversely, if there does not exist a $ \gamma $-Nikodym set, then $ M_{\gamma,\epsilon} $ is bounded for some $ p < \infty $. Through these results, the paper addresses some key issues in harmonic analysis and provides a profound understanding of the boundedness of the maximal operator $ M_{\gamma,\epsilon} $ and the existence of Nikodym sets.

The dichotomy of Nikodym sets and local smoothing estimates for wave equations

A New Proof of Some Polynomial Inequalities Related to Pseudo-Splines

Nikodym sets and maximal functions associated with spheres

Local smoothing for the Hermite wave equation

Almost Global Existence for Some Semilinear Wave Equations with Almost Critical Regularity

Local Existence for Nonlinear Wave Equation with Radial Data in 2+1 Dimensions

On the Defocusing Semilinear Wave Equations in Three Space Dimension with Small Power

Blow-up of solutions to semilinear wave equations with spatial derivatives

Strichartz and Local Smoothing Estimates for Stochastic Dispersive Equations with Linear Multiplicative Noise

Wave equation on general noncompact symmetric spaces

Blow up for some semilinear wave equations in multi-space dimensions

Estimates for Wave and Klein-Gordon Equations on Modulation Spaces

Almost Sure Local Well-Posedness for a Derivative Nonlinear Wave Equation

The Partial Null Conditions and Global Smooth Solutions of the Nonlinear Wave Equations Onrd×twith D = 2,3

Decay estimates for a class of Dunkl wave equations

On the critical regularity of nonlinearities for semilinear classical wave equations

Local boundedness of solutions to parabolic equations associated with fractional $p$-Laplacian type operators

Local Existence with Minimal Regularity for Nonlinear Wave Equations

Sharpness on the Lower Bound of the Lifespan of Solutions to Nonlinear Wave Equations

Physical Space Approach to Wave Equation Bilinear Estimates Revisit