Abstract
We prove bounds in the local \( L^2 \) range for exotic paraproducts motivated by bilinear multipliers associated with convex sets. One result assumes an exponential boundary curve. Another one assumes a higher order lacunarity condition.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Given a bounded measurable function m in the plane, we define the associated bilinear Fourier multiplier operator acting on a pair of one dimensional Schwartz functions (f, g) by
The constant multiplier \(m = 1\) reproduces the pointwise product that maps (f, g) to fg, and it is a fundamental question to determine whether and for which m Hölder’s inequality, true for the pointwise product, extends to \(B_m\). We focus on bounds
in the open local \(L^2\) region
where \(p_3' = p_3 /( p_3 -1)\) denotes the dual exponent.
A well-understood example is the classical linear Mikhlin multiplier m in two dimensions. It leads to the theory of paraproducts, for which we refer to the textbooks [21, 23] and the original references therein. Beyond Mikhlin multipliers, the bilinear Hilbert transforms are the most prominent examples. Their essence is captured by choosing m to be the characteristic function of a half-plane. The bounds (1.2) and (1.3) for this case were established in [13, 14]. They also hold with a constant independent of the slope and location of the associated half-plane [10, 29], and the range of exponents can be extended beyond the local \( L^2 \) range as in [8, 15, 16].
Our focus here is on multipliers m which are characteristic functions of convex sets rather than just half-planes as in the case of the bilinear Hilbert transforms. Certain curved regions to be discussed shortly, most notably the epigraph of a parabola, were considered in [22], and the bilinear disc multiplier has been studied in [11]. The bounds (1.2) and (1.3) are known for the disc. The results in [11] also imply the previously known uniform local \(L^2\) bounds for the half-plane multipliers as can be seen by using the invariance of the bounds under dilation and translation of the convex set and approximating half-planes by large discs. In [5], a lacunary polygon is discussed.
A further list of examples of convex sets illuminating the increasingly complicated structure can be given as follows. We say a line has degenerate direction if it is orthogonal to one of the three vectors (0, 1), (1, 0) and (1, 1). A line through a boundary point of a convex set which does not intersect the interior of the convex set is a tangent. We list:
-
(1)
A convex polygon.
-
(2)
A convex set of the form \(\{(\xi ,\eta ): 0\le \xi \le 1,\ \gamma (\xi ) \le \eta \}\) for some convex function \(\gamma :[0,1]\rightarrow [0,1]\) such that all tangent lines at points \((\xi , \gamma (\xi ))\) with \(0<\xi < 1\) have slope between a and 2a for some \(0<a<1\).
-
(3)
A bounded convex set with \(C^2\) boundary curve such that the curvature of the boundary is nonzero at every boundary point with a degenerate tangent line.
-
(4)
A bounded convex set C such that every boundary point with a degenerate tangent line has tangent lines for every direction in a neighborhood of this degenerate direction.
-
(5)
The convex set \(\{(\xi ,\eta ): \xi \le 0,\ 2^\xi \le \eta \}\).
-
(6)
The convex set \(\{(\xi ,\eta ): 0\le \xi \le 1,\ \gamma (\xi )\le \eta \}\), where \(\gamma \) is a monotone increasing convex function mapping [0, 1] to \([0,2^{-8}]\) such that the set \(\{\gamma (2^{-j}), j\in {{\mathbb {N}}}\}\) is multi-lacunary. See Definition 1.3 below for the definition of multi-lacunarity.
-
(7)
A general bounded convex set C.
The first four examples are known to satisfy bounds (1.2) and (1.3).
The first example is easily reduced to the bilinear Hilbert transforms. The reduction works by iteratively cutting the multiplier by a line parallel to a degenerate direction, which results in two new multipliers, whose operators can be expressed through the original bilinear multiplier operator and pre- or post-composition with a linear multiplier such as the Riesz projection.
The second example is a perturbation of the bilinear Hilbert transforms. Thanks to the comparable upper and lower bounds on the slope, the methods for the bilinear Hilbert transform can be adapted to this situation [11, 22]. The third example includes the case of the parabola and the disc [11, 22]. It requires an additional technique to put together infinitely many pieces as in the second example as well as an additional bound for a central piece near each degenerate direction. These additional pieces are what we call exotic paraproducts. The techniques of [11, 22] still apply at this level of generality. Likewise, the fourth example can be handled with similar methods. Such multipliers are more general away from the critical directions but have strongly regulated behavior at the degenerate directions.
In this paper, we study relaxation of the additional conditions near the degenerate directions. Beginning with the proof of the first bounds for the bilinear Hilbert transform, the common approach to understand bilinear multipliers associated with characteristic functions has been to decompose them into smoother multipliers, paraproducts, which are singular only at a single boundary point instead of a one-dimensional set. As this boundary point comes closer to a degenerate tangent direction, the relevant paraproducts undergo a deformation. At a boundary point with degenerate tangent direction, one encounters an entirely exotic paraproduct, whose structure is closely tied to the behaviour of the boundary in the vicinity of that point. In the present paper, in particular due to the local \(L^2\) range, it seems prudent to consider rougher exotic paraproducts which correspond to characteristic functions of certain staircase sets.
One of the results in the present paper provides bounds for the exotic paraproduct associated with case five of the previous list.
Theorem 1.1
Let \(p_1,p_2,p_3\) be as in (1.3). Define
Then the operator (1.1) satisfies the a priori estimate (1.2).
Here we are also able to complete the passage from a paraproduct estimate to a multiplier bound as in [11, 22] and reduce the bounds for case five to bounds for case two.
Corollary 1.2
Let \(p_1,p_2,p_3\) be as in (1.3). Let C be the convex set
Then \(B_{m}\) as in (1.1) with \(m=1_C\) satisfies the a priori bounds (1.2).
The particular cut-offs at 0 and 1 are not important in this theorem. One also obtains bounds for similar convex sets with constraints of the type \( a^{\xi }\le \eta \) with \( a \ne 2 \) by applying translation and isotropic dilation to the multiplier. Hence the number 2 has no fundamental importance in the corollary.
Our second result proves bounds for exotic paraproducts related to the sixth case of our list.
Definition 1.3
(Multi-lacunarity). Let b be a non-negative integer. We call a finite set X of real numbers (0, b)-lacunary, if it consists of a single element.
Let d be a non-negative integer and assume we have already defined (d, b)-lacunarity. We call a finite set X of real numbers \((d+1,b)\)-lacunary, if it can be partitioned into two sets L and O such that L is (d, b)-lacunary and for any pair of different points \(\xi ,\xi '\) in O we have
Theorem 1.4
Let \(b,d\ge 2\) be integers and let \(p_1,p_2,p_3\) be as in (1.3). Assume that we have sequences
such that for all j
Assume the image X of the sequence \((\xi _j)\) be (d, b)-lacunary. Then the multiplier operator \(B_m\) as in (1.1) with
satisfies the estimate (1.2) with constant
that depends on m only through b and d.
In this case, however, we are not able to complete the program as the convex set lacks the regularity relevant for techniques in [11, 22] to work. Moreover, the bounds (1.2) and (1.3) for the general case seven appear entirely beyond the techniques known to us. We are without any bias towards validity or invalidity of these bounds.
Standard paraproducts come with exponentially growing sequences \(\xi _j\), \(\eta _j\) and \(\zeta _j\), all other configurations with an increasing sequence \(\xi _j\) and an interlaced pair of increasing sequences \((\eta _j,\zeta _j)\) may be considered exotic. We emphasize that the point here rests in the growth conditions on these sequences, the characteristic functions in place of smoother versions found elsewhere in the literature being a minor modification in the considered range of exponents.
Previous research on various assumptions on the sequences can be found in [18,19,20, 24, 25], partially in connection with bilinear Hilbert transforms on curves, but none of these references appears to go beyond the case \(d=1\) of multi-lacunarity. The multi-lacunarity assumption also appears in similar context elsewhere in harmonic analysis. For example, it provides a sharp condition on sets of directions for which the directional maximal operator is unbounded [1, 28]. These are deep facts building on a long history of related results. Directional Hilbert transforms in the plane with multi-lacunarity assumptions are considered in [6]. Multi-lacunary sets of directions in higher dimensions appear in [3, 7, 26].
2 Proof of Theorem 1.1
Throughout this section, we fix \(p_1,p_2,p_3\) as in (1.3). We work through a sequence of lemmata, at the end of which we are ready to prove Theorem 1.1 and Corollary 1.2. Define the \(V^r\) norm for a function h on \({{\mathbb {Z}}}\) or \({{\mathbb {R}}}\) by
For a measurable function n, we define the linear multiplier operator
and we define the multiplier norms
If n is the characteristic function of an interval I, we write \(M_I\) instead of \(M_n\). We also consider the Hardy–Littlewood maximal operator \({{\mathcal {M}}}\).
Our first Lemma 2.1 concerns a bilinear operator, which has almost the form of a bilinear multiplier. The occurrence of an external parameter r in the exponential makes the difference. The main case is \(\alpha =0\), whereas the side product case \(\alpha =1\) will be used to estimate certain error terms.
Lemma 2.1
Let \(\rho , \phi \) be Schwartz functions supported in \([-2,2]\). Let \(r\in {{\mathbb {R}}}\) and \(\alpha \in \{0,1\}\). Let \(\epsilon >0\) be small enough so that
Define the operator
and the averages
Then there is a constant \(C_{\rho ,\phi ,p_1,\epsilon }\) such that for all Schwartz functions f and g, we have
Proof
We decompose \(\rho \) into a Fourier series on an interval of length four
Splitting B correspondingly and using the rapid decay of \({\widehat{\rho }}_k\), we see it suffices to prove bounds analogous to (2.2) on
uniformly in \(k\in {{\mathbb {Z}}}/4\).
We split the sum over j into four sums depending on the congruence class of j modulo four, and we notice that the factor \(e^{2\pi i k j}\) is constant in j in each of the four sums. Using further that the translation \(x\rightarrow x+k\) leaves the \(L^{p_1}\) norm invariant, we see it suffices to prove bounds analogous to (2.2) on
for a fixed parameter \(j_0\).
We identify this expression as a linear multiplier of the form (2.1) applied to f. The multiplier symbol is
and it thus suffices to show
We apply the following well-known control of the multiplier norm by variation norms proven by Coifman, Rubio de Francia and Semmes [4].
Theorem 2.2
Let n be a measurable function on \({{\mathbb {R}}}\), then
provided \(1<p<\infty \) and \(|1/2-1/p|\le 1/r\).
For \(\alpha =0\), inequality (2.3) follows if one identifies n as a step function constant on intervals of length 4, taking precisely the value Ag(r)(j) in the j-th interval, counted in natural order, and taking the value 0 outside the union of these intervals.
For \(\alpha =1\), we observe that for any sequence a(k) tending to zero, the variation norm of the sequence \(b(k)=2^{-k}a(k)\) is bounded by a constant times the supremum norm of a, which in turn is controlled by the variation norm of a. This fact following from a plain application of the triangle inequality completes the proof of Lemma 2.1. \(\square \)
The next lemma passes to a localized version of actual bilinear multipliers. The parameter r in the exponent disappears, but we introduce a new localization parameter s. In what follows, we use the translation operator defined by
Lemma 2.3
Let \(\chi , \rho , \phi \) be Schwartz functions supported in \([-2,2]\) and
Given the averages Ag(r)(j) and a parameter \(\epsilon \) as in Lemma 2.1, there is a constant \(C_{\chi ,\rho ,\phi ,p_1,\epsilon }\) so that for all Schwartz functions f and g we have
Proof
We apply the support assumption on \(\chi \) and the fundamental theorem of calculus as well as the product rule to write (2.4) as
We first discuss the term (2.5). We estimate the integral in r with the \(L^1\) norm to obtain the bound
for the \(L^{p_1}(x)\) norm of (2.5). We used Minkowski’s inequality and the condition \(1<p_1\) here. Next we estimate the inner norm with Lemma 2.1. Setting \(\alpha =0\) and \(\epsilon > 0\) small, we obtain an upper bound by
The last inequality follows by recognizing a smooth average over the support of \(T_s\chi '\), which is near s, and dominating it by the Hardy–Littlewood maximal function. This completes the bound for first term (2.5).
We rewrite the second term (2.6) as
where the new Schwartz function \({\tilde{\phi }}(\eta )=\eta \phi (\eta )\) depends on \(\phi \) only. We can proceed exactly as with the first term (2.5), but now applying Lemma 2.1 with \(\alpha =1\) and the Schwartz function \({\tilde{\phi }}\) instead of \( \alpha = 0 \) and the Schwartz function \( \phi \). This results in the desired bound and hence completes the proof of Lemma 2.3. \(\square \)
Finally, we can pass to a standard bilinear multiplier estimate. This entails getting rid of the localization present in the previous estimate. The multiplier below is a smooth model of the one in Theorem 1.1.
Lemma 2.4
Let \(\rho \) and \(\phi \) be Schwartz functions supported in \([-2,2]\) and
There is a constant \(C_{\phi , \rho , p_1,p_2}\) such that for any Schwartz functions f and g
Proof
It suffices to prove the dual estimate
for all Schwartz functions h. Fixing a suitable normalized non-negative Schwartz function \(\chi \) supported on \([-2,2]\), we write
which can be done because \(\int _{{\mathbb {R}}}T_s\chi (x) \, ds\) is a constant function as is the integral over s of \( T_s \chi ^{3}(x) \). Next we seek an estimate for
for arbitrary real t.
For \(|t|\le 4\), we use Lemma 2.3 and an epsilon depending only on \(p_1\) to obtain the upper bound
For \(|t|> 4\), we write the Fourier expansion
Integrating by parts twice, we can write the \(\xi \) integral in (2.9) as
where the three pairs of Schwartz functions \((\chi _\beta ,\rho _\beta )\), \( \beta = 1,2,3 \), are determined by the product rule. Set
Note that \(|x-s-t|\) is comparable to |t| when \( x \in [s-2,s+2] \), which is the essential domain of integration in (2.7). Inserting this into (2.9) and using Lemma 2.3, we obtain for (2.8) the upper bound
Combining the two cases of small and large t, we obtain for (2.8) the bound
Turning back to (2.7), we apply Hölder’s inequality on the integral in x and a trivial bound on a factor \(\Vert T_s\chi \Vert _{p_2}\) to estimate (2.7) by
In the last line, we have applied Hölder’s inequality and noted
The same computation also applies to the factor with \( L^{p_1} \) norm. The integral in t is trivial, and hence we obtain for (2.7) the upper bound
It remains to observe
This follows from the Hardy–Littlewood maximal theorem and a well-known variational bound stated in the following theorem, whose general formulation we quote from Jones, Seeger and Wright [12].
Theorem 2.5
Let \(1<p<\infty \) and \(2<r<\infty \). Let \(\phi \) be a Schwartz function and define \(\phi _t(x)=2^{-t}\phi (2^{-t} x)\). Define the averaging operators
Then we have the bound
The theorem goes back to Lépingle in the martingale setting [17], and it was introduced for applications in harmonic analysis by Bourgain [2]. However, the precise formulation we use is from [12]. Note that the convolution operator appearing in this Theorem can be written equivalently as a multiplier corresponding to our definition of A. This completes the proof of Lemma 2.4. \(\square \)
We are now ready to prove Theorem 1.1. What remains is to pass from the smooth model in Lemma 2.4 to the rough paraproduct defined using characteristic functions of intervals instead of smooth Schwartz bumps.
Proof of Theorem 1.1
We regroup the multiplier operator of Theorem 1.1 as
Pick a smooth function \(\rho \) supported in \([-1,1)\) such that
We compare \(B_m\) with
The difference satisfies
and we have the estimate
The second factor is bounded by \(C_{p_2}\Vert g\Vert _{p_2}\) by the following well-known square function estimate due to Rubio de Francia [27].
Theorem 2.6
Let \({\mathcal {I}}\) be a collection of pairwise disjoint intervals. Then, for \(2<p<\infty \), there is a constant \(C_p\) such that for all Schwartz functions f we have
To estimate the first factor, we note that the operator \(M_{T_{-j-1}\rho }\) is dominated pointwise by a constant multiple of the Hardy–Littlewood maximal function. Using the Fefferman–Stein maximal inequality [9] as well as Theorem 2.6, we can estimate
It then remains to estimate \(B_{\tilde{m}}\). We cut the intervals \( [2^{-j-1},2^{-j}) \) into two equally long halves. For \( \beta \in \{0,1\} \), define
so that \( \tilde{m} = m_0 + m_1\). We estimate the corresponding two multiplier operators separately. Set
and observe
where \({\widehat{\phi }}_{\beta ,k}= {\widehat{\phi }}_\beta (2^k x)\) and \({\widehat{\phi }}_{\beta }\) is a smooth function supported in
and constant one on
Hence the multiplier operator corresponding to (2.10) becomes
The second term in (2.12) is bounded by
the first inequality following from Lemma 2.4 and the second inequality being a consequence of the following Theorem 2.7 below by Coifman, Rubio de Francia and Semmes [4].
Theorem 2.7
Let n be a bounded function on the real line. If
then for each \(1<p<\infty \) there is a constant \(C_p\) such that
This is the sharp version of the Hörmander–Mikhlin multiplier theorem, a stronger version of Theorem 2.2 above. The assumption on the total variation is obviously satisfied by the multiplier in (2.11). It only jumps a uniformly bounded number of times in each of the test intervals, each of the jumps being of height one. Hence we have the desired bound for the second term in (2.12).
For the first term in (2.12), we have the bound
where we again used Theorem 2.7 for the second factor. The first factor is estimated by Theorem 2.2 as the corresponding multiplier is locally constant except for in \( [-1,1]\) where it is a smooth function of total variation one. \(\square \)
Proof of Corollary 1.2
We write the multiplier in the corollary as
where \(m_j\) is the characteristic function of the set
The bilinear multiplier corresponding to the first summand in (2.13) is bounded by Theorem 1.1.
To estimate the second summand, we pair the bilinear multiplier with an arbitrary function \(h \in L^{p_3}\) and write
Here we have inserted an additional multiplier to restrict the frequency support of h. This is possible as a bilinear multiplier applied to a pair of functions with frequency supports in the intervals I and J, results in a function that has frequency support in \(-I-J\).
We identify each piece \(B_{m_j}\) with a multiplier of the form corresponding to the second case in the list of examples of convex sets in the introduction, that is, we notice the slope of the curved boundary line of (2.14) is bounded above and below by comparable numbers. Each \( B_{m_j} \) is hence individually bounded, and we can estimate the display above by
Applying Hölder’s inequality, we estimate this by
Because \(p_1 > 2\) and the intervals \( [-(j+1), -j)\) are disjoint, we can use Theorem 2.6 and estimate the first factor by
Similarly, we can estimate the factors corresponding to g and h. The intervals \( [2^{-(j+1)}, 2^{-j}) \) relevant to g are also disjoint, and the intervals \([j,(j+1))+[-2^{-j}, -2^{-(j+1)}) \) are disjoint for j even or j odd separately. This concludes the the desired bound for the second term in (2.13) and hence the proof of Corollary 1.2. \(\square \)
3 Multi-lacunary paraproducts
In this section, we prove Theorem 1.4. We begin by noting the natural decomposition of multi-lacunary sets.
Lemma 3.1
If X is (d, b)-lacunary, then there exists a partition
such that for every \(i<d\) the set
is (i, b)-lacunary and any two points \(\xi ,\xi '\) in \(O_{i+1}\) satisfy
Proof
We successively decompose the limit sets in the definition of (d, b)-lacunarity. \(\square \)
3.1 Reductions
Consider the assumptions of Theorem 1.4. We first break up the multiplier by decomposing the interval \([2^{-j},2^{2-j})\) into four equally long intervals and intersecting these intervals with \([\xi _j,\zeta _j)\). In other words, for integers \( 0 \le \beta \le 3 \), we choose numbers \(\eta ^{(\beta )}_j\) and \(\zeta ^{(\beta )}_j\) such that
and
Then the multiplier (1.6) breaks up as a sum of four analogous expressions and it suffices to show the desired bound for each of the summands. We fix \(\beta \) and suppress the dependency from the superscript for the rest of the proof.
We also modify the sequence \( \xi _j \). For each \(j\in {{\mathbb {N}}}\), let \(\xi _j'\) be the largest integer multiple of \(2^{4-j}\) smaller than or equal to \(\xi _j\). Thanks to (1.5), the sequence \(\xi '\) satisfies
Moreover, distance between \(\xi _j'\) and \(\xi _{j'}'\) for two indices j and \(j'\) is comparable to the distance of \(\xi _j\) and \(\xi _{j'}\) with upper and lower factor at most 2. Hence the sequence \(\xi _j'\) is \((d,b-2)\)-lacunary. Moreover, the intervals \([\xi _j',\xi _j)\) are pairwise disjoint.
Lemma 3.2
The multiplier \(B_{m'}\) with
satisfies (1.2) with constant depending only on \(p_1,p_2\).
Proof
Recall that we denote by \(M_I\) the linear Fourier multiplier for the interval I. We write
where we applied Cauchy-Schwarz and Hölder to pass to the second line and Theorem 2.6 to bound the individual factors. This proves the lemma. \(\square \)
Because of the lemma, it suffices to estimate the multiplier (1.6) with \(\xi _j\) replaced by \(\xi _j'\). We shall do so and omit the prime in the forthcoming notation. Let X be the multi-lacunary image of the sequence \(\xi _j\). Let Y be the collection of dyadic intervals I such that 3I contains a point of X. Let Z be the collection of maximal dyadic intervals I such that 3I does not contain any point of X. By maximality, the intervals of Z are pairwise disjoint. Let \(Y_j\) be the collection of all dyadic intervals in Y that have length \(2^{4-j}\) and are contained in \([0,\xi _j)\). Let \(Z_j\) be the collection of intervals in Z which are contained in \([0,\xi _j)\) but not in any interval of \(Y_j\).
Lemma 3.3
The intervals in \(Y_j\cup Z_j\) have length at least \(2^{4-j}\) and partition \([0,\xi _j)\).
Proof
The intervals in \(Y_j\) have length \(2^{4-j}\) by definition. Let I be an interval in \(Z_j\) of length at most \(2^{4-j}\). Let J be the dyadic interval of length \(2^{4-j}\) containing I. Then J is contained in \([0,\xi _j)\), because \(\xi _j\) is an integer multiple of \(2^{4-j}\) and J contains \( I \subset [0,\xi _j) \). The interval J is not in \(Y_j\), since I is not contained in any interval of \(Y_j\). Hence J must be contained in an interval \(J' \in Z\). As the intervals in Z are pairwise disjoint, I cannot be strictly contained in \(J'\), and hence I has to be equal to \(J'\). Consequently, \( |I| = 2^{4-j}\). This proves the statement about the length of the intervals.
We turn to the claim about partitioning. The intervals in \(Y_j\) are pairwise disjoint, because they are dyadic intervals of equal length. The intervals in \(Z_j\) are pairwise disjoint, because they are maximal. By construction, no interval of \(Z_j\) can be contained in any interval of \(Y_j\). Conversely, no interval in \(Y_j\) can be contained in any interval of \(Z_j\). Indeed, 3I with \( I \in Z_j\) contains no point of X, but 3J for \( J \in Y_j \) does contain a point of X. Hence \( J \nsubseteq I \). Hence the intervals in \(Y_j\cup Z_j\) are all pairwise disjoint.
To prove that the intervals form a cover, let \(\xi \) be any point in \([0,\xi _j)\). Let I be the dyadic interval of length \(2^{4-j}\) containing \(\xi \). It is contained in \([0,\xi _j)\). If I is in \(Y_j\), then \(\xi \) is covered by intervals in \(Y_j\cup Z_j\). If it is not in \(Y_j\), then it is contained in an interval J in Z. The interval J does not contain \(\xi _j\) by definition of Z. Hence it is contained in \([0,\xi _j)\). It is not contained in any interval of \(Y_j\), and hence it is in \(Z_j\). Again, \(\xi \) is covered by \(Y_j\cup Z_j\). This proves the partition statement. \(\square \)
Using Lemma 3.3, we may split \(B_m(f,g)\) as
It suffices to estimate the terms separately. Recall that we assume each \( \xi _j \) to be an integer multiple of \( 2^{4-j} \) and each \( (\eta _j,\zeta _j) \) to actually be \( (\eta _j^{(\beta )},\zeta _j^{(\beta )}) \) as defined in (3.1).
3.2 First term
Regrouping the sum in the first term and pairing with a dualizing function, the quantity to be estimated becomes
Here we used that the Fourier support of the product of \(M_{I}f\) and \(M_{(\eta _j,\zeta _j)}g\) is contained in
the first inclusion following from (3.1) and the second one from Lemma 3.3. We may therefore apply the adjoint of the Fourier restriction to this interval to the dualizing function h without changing the value of the duality pairing.
The intervals \(I+[0,2^{-2}|I|)\) have bounded overlap as I runs through Z. To see this, partition each such interval as disjoint union of I and \(J_I\), where \(J_I\) is the dyadic interval to the right of I and has length \(2^{-2}|I|\). Then \(3J_I\) is contained in 3I and thus does not contain any point of X. Hence \(J_I\) is contained in an interval of Z with which it shares the left endpoint. As the intervals in Z are pairwise disjoint and each of them can only contain one interval \(J_I\) as above, the intervals \(J_I\) are pairwise disjoint.
Consider an interval I of Z and assume it has nonzero contribution to (3.3). Then there are integers \( j_I < j^{I} \) such that I is contained in \([0,\xi _j)\) precisely if \(j < j^I\), and it is not contained in any interval of \(Y_j\) precisely if \(j>j_I\). Hence we can notice
where
and \(\phi \) is a Schwartz function whose Fourier transform is supported on \([\beta , \beta +3]\) and is constant one on \([\beta +1, \beta +2 ]\). Here we have used (3.1).
The expression in (3.4) is bounded pointwise by a constant times the Hardy–Littlewood maximal function \({{\mathcal {M}}}\tilde{g}\) of \(\tilde{g}\). Hence we estimate (3.3) by
With Rubio de Francia’s square function inequality from Theorem 2.6, using the bounded overlap of \(I+[0,2^{-2}|I|]\), we estimate the last display by
In the last inequality, we have also used Theorem 2.7. The assumption on the total variation is obviously satisfied as the multiplier only jumps a bounded number of times by one in each of the test intervals. This completes the bound for the first term in (3.2).
3.3 Second term
We turn to the second term in (3.2). We decompose Y as the union
where \(Y^{(i)}\) contains the intervals I of Y such that 3I contains a point of \(O^{(i)}\) but no point of any \(O^{(i')}\) with \(i'<i\). As the parameter i only ranges form 0 to d, it suffices to consider the \(Y^{(i)}\) separately and prove a bound for
Let \(W^{(i)}\) be the maximal intervals in \(Y^{(i)}\). In the next lemma, we single out two facts that we will need later. The proof is similar, but not identical, to the argument that proved an analogous statement for Z.
Lemma 3.4
Let \( I \in W^{(i)} \). If there is \( J \in W^{(i)} \) with
then \( |J| \ge 2^{-2}|I|\). In particular, the intervals \( I+[0,2^{-2}|I|)\) with \(I \in W^{(i)}\) have bounded overlap.
Proof
Take \(I\in W^{(i)}\) and write \( I+[0,2^{-2}|I|] = I\cup J_I \) as a disjoint union. Assume \(J_I\) intersects another interval \(J\in W^{(i)}\). It suffices to show that \(J_I\) is contained in J. Suppose J is contained in \(J_I\). Then \(3J_I\) contains 3J and thus a point from \(O^{(i)}\). On the other hand, \(3J_I\) is contained in 3I and thus does not contain any point from any \(O^{(i')}\) with \(i'<i\). Hence \(J_I\) is contained in an interval of \(W^{(i)}\). As the intervals of \(W^{(i)}\) are pairwise disjoint, this interval must be J and hence J is equal to \(J_I\). In particular, a right neighbor of \( I \in W^{(i)} \) has at least one quarter of the length of I. \(\square \)
To estimate (3.5), we sort the intervals by their containment in maximal intervals, pair with a dualizing function, and realize the restriction of the Fourier support of the dualizing function with a multiplier as
We break the innermost sum up by considering separately the cases \(|I|> 2^{-b-4}|J|\) and \(|I|\le 2^{-b-4}|J|\).
The sum with \(|I|> 2^{-b-4}|J|\) is estimated by
The three factors are estimated by Theorem 2.6. It is clear that the intervals \((\eta _j,\zeta _j)\) are pairwise disjoint. By Lemma 3.4, \(J+2^{-1}|J|\) have bounded overlap. For the first factor, we use the disjointness of the various intervals in \(Y_j\) to write it as
As the various intervals J are disjoint, we obtain the estimate
by Theorem 2.6. This completes the bound of the sum over \(|I|> 2^{-b-4}|J|\) in (3.6).
We turn to the sum in (3.6) over \(|I|\le 2^{-b-4}|J|\). Let \(V^{(i)}\) be the collection of dyadic intervals I such that there exists \(J\in W^{(i)}\) with \(I\subset J\) and \(2^{b+4}|I|=|J|\) and at least one \( I' \subset I \) with \( I' \in Y_j\cap Y^{(i)}\). Given a pair of neighboring intervals in \(W^{(i)}\), the right interval is at least one quarter as wide as left interval by Lemma 3.4. The same property is inherited by the refined family \(V^{(i)}\). Accordingly, it suffices to estimate
where the Fourier support of h is now given in terms of an interval in \( V^{(i)} \).
For each \(J\in V^{(i)}\), there is exactly one point of \(O^{(i)}\) contained in 7J. Existence of at least one such a point follows by our requirement that J contains an interval from \( Y_j \cap Y^{(i)} \). To show that there cannot be more than one, suppose there were two such points \(\xi ,\xi '\). By the multi-lacunarity, there would then exist a point \(\xi ''\) of \(O^{(i')}\) with \(i'<i\) and
where \( I' \) is the interval in \( W^{(i)} \) with \( I' \supset J \). This would imply \(\xi '' \in 3I' \), which contradicts the fact \( I' \in Y^{(i)}\). Hence there is at most one point \( \xi _J \in 3J \cap O^{(i)} \), and this point is the unique point from \( O^{(i)} \) withing the whole 7J.
Let \(\phi \) be a Schwartz function whose Fourier transform is supported on \( [-2^{-8}, 2^{-8} ]\) and equal to one in \( [-2^{-9}, 2^{-9} ]\). Write \({\widehat{\phi }}_{\xi ,j}(\eta )={\widehat{\phi }}(2^{j}(\eta -\xi ))\). We compare (3.7) with
where we have replaced \(M_I\) by a convolution with \(\phi _{\xi _J,j}\), and the sum over I has been removed. We first prove bounds on (3.8), and then we show how to pass from the original expression to (3.8).
We note that we may now further restrict the Fourier transform of h to the interval
Because \( \xi _J \) is a point unique to 7J, because the intervals J are disjoint, and because the sequences \( [\eta _j,\zeta _j) \) are subject to the condition (1.4), we see that the intervals \( I_{J,j} \) form a disjoint family as J varies and disjoint and lacunary family as j varies. We thus estimate (3.8) by
The last two factors we estimate with Theorem 2.6. In the first factor, we bound the convolution product by the Hardy–Littlewood maximal function and apply the Fefferman–Stein maximal inequality as well as Theorem 2.6. This concludes the proof of the bound for (3.8).
It remains to bound the difference of (3.7) and (3.8). Define
Let \( {\tilde{\psi }}_{j,J} \) be a Schwartz function equal to one in \( [\xi _J - 2^{5-j}, \xi _J + 2^{5-j}] \) and zero outside \( [\xi _J - 2^{6-j}, \xi _J + 2^{6-j}] \). Defining \( \psi _{j,J} = {\tilde{\psi }}_{j,J} - \widehat{\phi _{\xi _J,j}} \), we then see that \( \psi _{j,J} \) is a Schwartz function supported in \( [\xi _J - 2^{6-j}, \xi _J + 2^{6-j} ] \), vanishing in \( [-2^{-9-j}, 2^{-9-j} ]\) and satisfying
Indeed, \( \xi _{J} \) is the unique point of \( \bigcup _{i' \le i} O^{(i)} \) in 7J. If there is \( I \in Y_j\cap Y^{(i)}\) with \( I \subset J \) and \( \partial I \setminus \partial J \ni \xi _J \), then \( I' \) with \( |I'| = |I| \) and \( I' \cap I = \{\xi _J\} \) is also in \( Y_j\cap Y^{(i)} \) and contained in J. Hence
On the other hand, the union above is contained in \( [\xi _J - 2^{5-j}, \xi _J + 2^{5-j}] \), and so the equation (3.9) is justified.
As we know the bounds for (3.8), it suffices to bound
![](http://media.springernature.com/lw474/springer-static/image/art%3A10.1007%2Fs00208-022-02397-6/MediaObjects/208_2022_2397_Equ103_HTML.png)
Here the last two factors are readily estimated by Theorem 2.6. We focus on the first factor. By the observation (3.9), we can bound the multiplier operator associated with frequency symbol \( \psi _{j,J} \) by the Hardy–Littlewood maximal function and apply the Fefferman–Stein inequality to control the first factor by
![](http://media.springernature.com/lw419/springer-static/image/art%3A10.1007%2Fs00208-022-02397-6/MediaObjects/208_2022_2397_Equ104_HTML.png)
However, the intervals above have bounded overlap, and hence we are in a position to apply Theorem 2.6 for one last time. This completes the proof of Theorem 1.4.
References
Bateman, M.: Kakeya sets and directional maximal operators in the plane. Duke Math. J. 147(1), 55–77 (2009)
Bourgain, J.: Estimations de certaines fonctions maximales. C. R. Acad. Sci. Paris Ser. I. Math. 301(10), 499–502 (1985)
Carbery, A.: Differentiation in lacunary directions and an extension of the Marcinkiewicz multiplier theorem. Ann. Inst. Fourier (Grenoble) 38(1), 157–168 (1988)
Coifman, R., Rubio de Francia, J.L., Semmes, S.: Multiplicateurs de Fourier de \(L^p({\bf R})\) et estimations quadratiques. C. R. Acad. Sci. Paris Sér. I Math. 306(8):351–354 (1988)
Demeter, C., Gautam, S.Z.: Bilinear Fourier restriction theorems. J. Fourier Anal. Appl. 18(6), 1265–1290 (2012)
Di Plinio, F., Parissis, I.: A sharp estimate for the Hilbert transform along finite order lacunary sets of directions. Israel J. Math. 227(1), 189–214 (2018)
Di Plinio, F., Parissis, I.: On the maximal directional Hilbert transform in three dimensions. Int. Math. Res. Not. IMRN 14, 4324–4356 (2020)
Di Plinio, F., Thiele, C.: Endpoint bounds for the bilinear Hilbert transform. Trans. Am. Math. Soc. 368(6), 3931–3972 (2016)
Fefferman, C., Stein, E.M.: Some maximal inequalities. Am. J. Math. 93, 107–115 (1971)
Grafakos, L., Li, X.: Uniform bounds for the bilinear Hilbert transforms. I. Ann. Math. (2) 159(3), 889–933 (2004)
Grafakos, L., Li, X.: The disc as a bilinear multiplier. Am. J. Math. 128(1), 91–119 (2006)
Jones, R.L., Seeger, A., Wright, J.: Strong variational and jump inequalities in harmonic analysis. Trans. Am. Math. Soc. 360(12), 6711–6742 (2008)
Lacey, M., Thiele, C.: \(L^p\) estimates for the bilinear Hilbert transform. Proc. Nat. Acad. Sci. USA 94(1), 33–35 (1997)
Lacey, M., Thiele, C.: \(L^p\) estimates on the bilinear Hilbert transform for \(2<p<\infty \). Ann. Math. (2) 146(3), 693–724 (1997)
Lacey, M., Thiele, C.: On Calderón’s conjecture. Ann. Math. (2) 149(2), 475–496 (1999)
Lacey, M.T., Thiele, C.M.: On Calderón’s conjecture for the bilinear Hilbert transform. Proc. Natl. Acad. Sci. USA 95(9), 4828–4830 (1998)
Lépingle, D.: La variation d’ordre \(p\) des semi-martingales. Z. Wahrscheinlichkeitstheor. Verw. Gebiete 36(4), 295–316 (1976)
Li, X.: Uniform estimates for some paraproducts. New York J. Math. 14, 145–192 (2008)
Lie, V.: On the boundedness of the bilinear Hilbert transform along non-flat smooth curves. Am. J. Math. 137(2), 313–363 (2015)
Lie, V.: On the boundedness of the bilinear Hilbert transform along “non-flat” smooth curves. The Banach triangle case \((L^r,\ 1\le r<\infty )\). Rev. Mat. Iberoam. 34(1):331–353 (2018)
Meyer, Y., Coifman, R.: Wavelets, vol. 48 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1997. Calderón-Zygmund and multilinear operators, Translated from the 1990 and 1991 French originals by David Salinger
Muscalu, C.: L(p) Estimates for Multilinear Operators Given by Singular Symbols. ProQuest LLC, Ann Arbor, MI. Thesis (Ph.D.), Brown University (2000)
Muscalu, C., Schlag, W.: Classical and multilinear harmonic analysis. Vol. I, volume 137 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (2013)
Muscalu, C., Tao, T., Thiele, C.: Uniform estimates on multi-linear operators with modulation symmetry. J. Anal. Math. 88, 255–309 (2002)
Muscalu, C., Tao, T., Thiele, C.: Uniform estimates on paraproducts. J. Anal. Math. 87, 369–384 (2002)
Parcet, J., Rogers, K.M.: Directional maximal operators and lacunarity in higher dimensions. Am. J. Math. 137(6), 1535–1557 (2015)
Rubio de Francia, J.L.: A Littlewood-Paley inequality for arbitrary intervals. Rev. Mat. Iberoam. 1(2), 1–14 (1985)
Sjögren, P., Sjölin, P.: Littlewood-Paley decompositions and Fourier multipliers with singularities on certain sets. Ann. Inst. Fourier (Grenoble) 31(1), 157–175 (1981)
Thiele, C.: A uniform estimate. Ann. Math. (2) 156(2), 519–563 (2002)
Acknowledgements
The authors were funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy—EXC-2047/1—390685813 as well as SFB 1060. Part of the research was carried out while the authors were visiting the Oberwolfach Research Institute for Mathematics, the workshop Real and Harmonic Analysis.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Loukas Grafakos.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Saari, O., Thiele, C. Paraproducts for bilinear multipliers associated with convex sets. Math. Ann. 385, 2013–2036 (2023). https://doi.org/10.1007/s00208-022-02397-6
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-022-02397-6