Individual convergence of paraproduct limits

Determine whether the limits of the paraproduct terms \(\Pi_f^{(t')}g\) and \(\Pi_g^{(t')}f\) exist individually in the stated generality as \(t'\to0^+\), particularly for the terms with index \(h=0\).

Background

The paper derives a paraproduct decomposition of the product fgfg using heat-semigroup operators and proves convergence of the combined expression in S(G)S'(G). The decomposition contains the terms Πf(t)g\Pi_f^{(t')}g and Πg(t)f\Pi_g^{(t')}f, whose individual limits are needed if the components are to be interpreted separately rather than only through their combined contribution.

The authors explicitly identify the unresolved issue as arising from the contributions with h=0h=0. Thus, the open problem concerns convergence of these two limits separately, not convergence of the full paraproduct expansion, which is established in the surrounding result.

References

It is unclear to us whether the limits \lim\limits_{t'\to 0+} \Pi_f{(t')} g and \lim\limits_{t'\to 0+}\Pi{(t')}_g f exist `individually' in the generality of the statement (the issues arise when the terms with h=0 are considered).

Besov and Triebel--Lizorkin Spaces on Filtered Lie Groups, II: Pointwise Multiplication, Localization, Differences  (2609.16902 - Calzi, 15 Sep 2026) in Comment following Corollary 3.?? (the corollary labeled \ref{lem:28}) in Section 3