English

Endpoint Criteria for One-Dimensional Bilinear Rough Singular Integrals

Classical Analysis and ODEs 2026-07-19 v1 Analysis of PDEs

Abstract

We prove endpoint theorems for one-dimensional bilinear rough singular integrals. Our starting point is a sharp structural characterization of the associated angular multiplier. For every mean-zero ΩL1(S1)\Omega\in L^1(\mathbb{S}^1), the finite-part angular multiplier associated with TΩT_\Omega has bounded variation if and only if the antipodal even part of Ω\Omega belongs to H1(S1)H^1(\mathbb{S}^1). This characterization identifies the precise rotational regularity required in the one-dimensional bilinear setting. It also yields a Stieltjes decomposition compatible with uniform estimates for the bilinear Hilbert transform. We then establish two boundedness criteria under critical kernel assumptions. First, if ΩLlogL(S1)\Omega\in L\log L(\mathbb{S}^1), then TΩT_\Omega is bounded from Lp1(R)×Lp2(R)toLp(R) L^{p_1}(\mathbb{R})\times L^{p_2}(\mathbb{R})\text{to} L^p(\mathbb{R}) whenever 1<p1,p2,p<1<p_1,p_2,p<\infty and 1p=1p1+1p2. \frac{1}{p}=\frac{1}{p_1}+\frac{1}{p_2}. Moreover, the logarithmic exponent 11 is optimal within the scale L(logL)AL(\log L)^A. Second, at the critical directional index, the same boundedness holds for ΩK1/2,β(S1)\Omega\in\mathcal{K}_{1/2,\beta}(\mathbb{S}^1), provided that β>32max{p1,p1,p2,p2}1.\beta>\frac{3}{2}\max\bigl\{p_1,p_1',p_2,p_2'\bigr\}-1.The two critical kernel classes are incomparable. The LlogLL\log L result is obtained by reducing the multiplier to a finite-part angular profile of bounded variation. The directional result follows from endpoint Fourier decay, product wavelet decompositions, and interpolation.

Cite

@article{arxiv.2607.17207,
  title  = {Endpoint Criteria for One-Dimensional Bilinear Rough Singular Integrals},
  author = {Binwei Dan and Qingying Xue},
  journal= {arXiv preprint arXiv:2607.17207},
  year   = {2026}
}

Comments

40 pages