Paper detail

A three term sublevel set inequality

Let $B$ be a ball in ${\mathbb R}^2$. For $j=1,2,3$ let $φ_j:B\to{\mathbb R}^1$ be real analytic submersions, and let $a_j$ be real analytic coefficient functions. To any $\varepsilon>0$ and any Lebesgue measurable functions $f_j:{\mathbb R}^1\to {\mathbb C}$ associate the sublevel set $S = S(f_1,f_2,f_3,\varepsilon) = \{x\in B: |\sum_{j=1}^3 a_j(x)(f_j\circφ_j)(x)|<\varepsilon\}$. Let $S&#39; = \{x\in S: \max_j|f_j\circφ_j(x)|\ge 1\}$. Our main result is an upper bound, under certain hypotheses on the data $φ_j,a_j$ for the Lebesgue measure of $S&#39;$ of the form $|S&#39;| \le c\varepsilon^γ$ for some constants $c,γ>0$ that depend on the data $a_j,φ_j$ but not on the functions $f_j$ or parameter $\varepsilon$. The main hypothesis is that in any connected open subset of $B$, the only real analytic solution $(f_1,f_2,f_3)$ of $\sum_j a_j(x)(f_j\circφ_j)(x)\equiv 0$ is the trivial solution $f_k=0\ \forall\,k$. Certain auxiliary hypotheses, which hold for generic $φ_j,a_j$, are also imposed. The case in which all coefficients $a_j$ are constant was previously known. This result is a principal ingredient in an analysis, in a companion paper, of related implicitly oscillatory integrals with four factors $f_j$. Certain related results are also discussed. In particular, a generalization to arbitrarily many summands f_j is obtained for the special case in which all mappings $φ_j$ are linear.