2024/10/21 by Martin Hsu, Fred Yu-Hsiang Lin, Hsu, Martin +1 · 1 citation
#math.CA
paper · pdf · doi:10.48550/arxiv.2410.15791
We study Sobolev smoothing inequalities for bilinear averages associated with corner-type configurations Aγ,ρ(f1,f2)(x1,x2) =∫ f1(x1+γ1(t),x2)f2(x1,x2+γ2(t))ρ(t) dt. In the real-analytic setting, we obtain a complete geometric characterization of the curves γ=(γ1,γ2) for which Aγ,ρ(f1,f2) satisfies the smoothing inequality ‖Aγ,ρ(f1,f2)‖L1 \lesssim ‖f1 ‖H(-ε,0) ⋅ ‖f2 ‖H(0,-ε) for some ε >0. For general C4 embedded curves, we establish analogous quantitative statement involving purely geometric conditions that encode certain uniform complexity bounds and allows degeneracies on the various curvature conditions. For definable families of curves in an arbitrary o-minimal expansion of the real field, the relevant complexity parameters are uniformly finite, leading to smoothing inequalities that hold uniformly across the family. As applications, we obtain bounds for triangular Hilbert transforms along a large family of curves, their associated maximal operators, and corner-type lacunary spherical maximal operators. We further prove the existence of configurations of the form (x,y), (x+γ1(t),y), (x,y+γ2(t)) inside sets of positive measure, together with a quantitative lower bound on the gap t.