Abstract
This paper shows that for \(p\in (1,\infty )\), a measurable function \(u:\ {\mathbb {R}}\rightarrow {\mathbb {R}}\) and a generalized plane curve \(\gamma \) with certain curvature constraints, not only the Carleson transform
is bounded on \(L^{p}({\mathbb {R}})\), but also the Hilbert transform
is bounded on \(L^{p}({\mathbb {R}}^2)\), and especially \(L^2(\mathbb R)\)-boundedness of \({\mathcal {C}}_{u,\gamma }\) induces indeed \(L^2({\mathbb {R}}^2)\)-boundedness of \(H_{u,\gamma }\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Principal Result and Remark
Let \(u:\ {\mathbb {R}}\rightarrow {\mathbb {R}}\) be a measurable function and \(\gamma \) be a generalized plane curve, the Carleson transform \({\mathcal {C}}_{u,\gamma }\) along the general curve \(\gamma \) is defined by setting, for any function f in the Schwartz class \({\mathcal {S}}({\mathbb {R}})\),
Here and hereafter, \(\mathrm {p.v.}\int \) denotes the principal-value integral. The Hilbert transform \(H_{u,\gamma }\) along the variable plane curve \(u(x_1)\gamma \) is defined by setting, for any \(f\in {\mathcal {S}}({\mathbb {R}}^2)\) - the Schwarz class on \(\mathbb R^2\),
Below we establish \(L^{1<p<\infty }\)-boundedness of (1.1) and (1.2) for some generalized curves.
Theorem 1.1
Let \(u:\ {\mathbb {R}}\rightarrow {\mathbb {R}}\) be a measurable function, \(\gamma \in C^{3}({\mathbb {R}})\) be either odd or even with \(\gamma (0)=\gamma '(0)=0\), and be convex on \((0,\infty )\) with the four curvature-oriented properties that:
-
(i)
\(\frac{\gamma '(2t)}{\gamma '(t)}\) is decreasing and bounded by a constant \(C_1\) from above on \((0,\infty )\);
-
(ii)
\(\exists \) a positive constant \(C_2\) such that \(\frac{t\gamma ''(t)}{\gamma '(t)}\le C_2\) on \((0,\infty )\);
-
(iii)
\(\exists \) a positive constant \(C_3\) such that \(|(\frac{\gamma ''}{\gamma '})'(t)|\ge \frac{C_3}{t^2}\) on \((0,\infty )\);
-
(iv)
\(\frac{\gamma '''(t)}{\gamma ''(t)}\) is strictly monotonic or equals to a constant on \((0,\infty )\).
Then, given \(p\in (1,\infty )\) there exists a positive constant C independent of u such that
Remark 1.2
Here, it is worth saying more words on the conditions on \(\gamma \) whose curvature is determined by
-
\(\rhd \) From
$$\begin{aligned} {\left\{ \begin{array}{ll}\gamma \in C^{3}({\mathbb {R}});\\ \gamma (0)=\gamma '(0)=0;\\ \gamma \ \text {being convex on}\ (0,\infty ), \end{array}\right. } \end{aligned}$$it follows that
$$\begin{aligned} \min \big \{\gamma (t),\gamma '(t),\gamma ''(t)\big \}\ge 0\ \ \forall \ \ t\in (0,\infty ) \end{aligned}$$and \(\gamma '\) is increasing. We also know that
$$\begin{aligned} \gamma '(t)\ge \gamma '(1)\ \ \forall \ \ t\in [1,\infty ), \end{aligned}$$which further implies
$$\begin{aligned} \lim _{t\rightarrow \infty }\gamma (t)=\infty . \end{aligned}$$Because \(\gamma '\) is increasing on \((0,\infty )\) and \(\gamma (0)=0\), it is easy to check
$$\begin{aligned} 1\le \frac{t\gamma '(t)}{\gamma (t)}\ \ \forall \ \ t\in (0,\infty ). \end{aligned}$$On the other hand, since \(\gamma (0)=0\), by Cauchy’s mean value theorem, for \(t\in (0,\infty )\) there exists \(\xi _t\in (0,t)\) such that
$$\begin{aligned} \frac{t\gamma '(t)}{\gamma (t)}=\frac{t\gamma '(t)-0\gamma '(0)}{\gamma (t)-\gamma (0)}=\frac{\gamma '(\xi _t)+\xi _t\gamma ''(\xi _t)}{\gamma '(\xi _t)}. \end{aligned}$$Thus, by Theorem 1.1(ii),
$$\begin{aligned} \exists \ C_4:=C_2+1\ \text {such that}\ 1\le \frac{t\gamma '(t)}{\gamma (t)}\le C_4 \ \ \forall \ \ t\in (0,\infty ). \end{aligned}$$ -
\(\rhd \) Since \(\gamma '\) is increasing on \((0,\infty )\), Theorem 1.1(i) gives always
$$\begin{aligned} 1\le \frac{\gamma '(2t)}{\gamma '(t)}\le C_ 1 \quad \forall \quad t\in (0,\infty ). \end{aligned}$$ -
\(\rhd \) The following are some curves satisfying all the conditions of Theorem 1.1. Here, we write only the part for any \(t\in [0,\infty )\). For any \(t\in (-\infty ,0]\), the curve is given by its even or odd property - e.g. -
-
(i)
for any \(t\in [0,\infty )\), \(\gamma _1(t):=t^\alpha \) under \(\alpha \in (1,\infty )\);
-
(ii)
for any \(t\in [0,\infty )\), \(\gamma _2(t):=t^2\log (1+t)\);
-
(iii)
for any \(t\in [0,\infty )\), \(\gamma _3(t):=\int _0^t \tau ^\alpha \log (1+\tau )\, \text {d}\tau \) under \(\alpha \in (1,\infty )\).
-
(i)
1.2 Some Historical Notes
From now on, the assumption \(p\in (1,\infty )\) will be made.
Note 1.3
In [12, Theorem 1.2], Guo–Hickman–Lie–Roos obtained \(L^p({\mathbb {R}}^2)\)-boundedness of \(H_{u,\gamma }\) with the curve in Remark 1.2(i), but with \(1\not =\alpha \in (0,\infty )\). Thus, as a special case, Theorem 1.1 covers [12, Theorem 1.2] whenever \(\alpha \in (1,\infty )\). The work [12] explains much more about the proof ideas, but we will still make several contributions to the argument.
-
\(\rhd \) For a homogeneous curve, it is easy to see
$$\begin{aligned} \gamma (ab)=\gamma (a)\gamma (b)\ \ \forall \ \ a,b\in (0,\infty ). \end{aligned}$$Since we seek \(L^p({\mathbb {R}}^2)\)-boundedness of \(H_{u,\gamma }\) with a bound independent of u, it is natural to absorb u(x) by \(\gamma \) for any fixed x, which can be easily obtained with \(\gamma (t):=t^\alpha \) due to
$$\begin{aligned} |u(x)|\gamma (t)=\gamma (|u(x)|^{\frac{1}{\alpha }}t). \end{aligned}$$Furthermore, it is convenient to write
$$\begin{aligned} 1=\sum _{l\in {\mathbb {Z}}} \psi _l(|u(x)|^{\frac{1}{\alpha }}t) \end{aligned}$$for the homogeneous curve \(t^\alpha \), which plays an important role in achieving [12, Theorem 1.2], where \(\psi \) is a standard bump function supported on
$$\begin{aligned} \Big \{t\in {\mathbb {R}}:\ \frac{1}{2}\le |t|\le 2\Big \}. \end{aligned}$$Of course, this property cannot hold for a general curve \(\gamma \). Therefore, we have to split our operator by a standard partition of unity; i.e.,
$$\begin{aligned} 1=\sum _{l\in {\mathbb {Z}}} \psi _l(t). \end{aligned}$$ -
\(\rhd \) Our demonstration originates from the classic \(L^p({\mathbb {R}}^2)\)-theory for the Hilbert transform along a curve; it is usually assumed that \(\gamma \) is convex on \((0,\infty )\). For the low-frequency part, we need to assume that \(\frac{\gamma (t)}{t}\) is increasing on \((0,\infty )\), which leads to the case in which \(\gamma (t):=t^\alpha \), where \(\alpha \in (0,1)\), which cannot be covered in this paper. For a further decomposition, motivated by [13], we introduce the map \(n:{\mathbb {R}}\rightarrow {\mathbb {Z}}\) such that
$$\begin{aligned} \frac{1}{\gamma (2^{n(x)+1})}\le |u(x)|\le \frac{1}{\gamma (2^{n(x)})}\ \ \forall \ \ x\in {\mathbb {R}}. \end{aligned}$$One difficulty appears in \(L^{p}({\mathbb {R}})\)-boundedness of \({\mathcal {C}}_{u,\gamma }\) and \(L^2({\mathbb {R}}^2)\)-boundedness of \(H_{u,\gamma }\). It is crucial to establish a decay estimate of an oscillatory integral as that in Proposition 2.4. If we have a homogeneous curve as in Remark 1.2(i), it is easy to calculate the derivatives of the phase functions, and the decay estimation will be easier to obtain. However, for a general curve \(\gamma \), we need a more complicated analysis, and the assumptions (i), (ii), (iii) and (iv) of Theorem 1.1 for the curve appear naturally during the estimation.
Another difficulty appearing in \(L^p({\mathbb {R}}^2)\)-boundedness of \(H_{u,\gamma }\) for \(p\in (1,2)\cup (2,\infty )\) is as follows. By the Littlewood-Paley theory and the commutative property
$$\begin{aligned} H_{u,\gamma }P_l=P_lH_{u,\gamma }\ \ \forall \ \ l\in {\mathbb {Z}}, \end{aligned}$$we need to establish a refined estimate for \(H_{u,\gamma ,k+n_l(x_1)}P_l\) by the shifted maximal operator. Here, \(P_l\) denotes the Littlewood-Paley decomposition operator according to the second variable and \(l\in {\mathbb {Z}}\). Guo–Hickman–Lie–Roos, who in [12] considered the homogeneous curve as in Remark 1.2(i), did not need \(n_l(x_1)\), where the map \(n_l:\ {\mathbb {R}}\rightarrow {\mathbb {Z}}\) for \(l\in {\mathbb {Z}}\) is defined by
$$\begin{aligned} \frac{1}{\gamma (2^{n_l(x_1)+1})}\le 2^l|u(x_1)|\le \frac{1}{\gamma (2^{n_l(x_1)})}\ \ \forall \ \ x_1\in {\mathbb {R}}. \end{aligned}$$This new observation allows us to obtain the refined estimate for \(H_{u,\gamma ,k+n_l(x_1)}P_l\) with a great effort to control the dyadic pieces by the shifted maximal operator.
Note 1.4
If \(u:\ {\mathbb {R}}\rightarrow {\mathbb {R}}\) is a real number \(\lambda \), then the operator in (1.2) is equivalent to the following directional Hilbert transform \(H_{\lambda ,\gamma }\) along a general curve \(\gamma \) defined for a fixed direction \((1,\lambda )\) by
whose \(L^p({\mathbb {R}}^2)\)-boundedness can obviously be obtained by the Hilbert transform \(H_{\gamma }\) along a general curve \(\gamma \):
This operator is of independent interest, and actually one of our major motivations. There are many works on this problem; see, for example, [4, 5, 8, 18, 24, 25]. On the other hand, it is not hard to find
However, \(L^p({\mathbb {R}}^2)\)-boundedness of the corresponding maximal operator
cannot be obtained readily. In fact, by linearization, this uniform estimate is equivalent to \(L^p({\mathbb {R}}^2)\)-estimate for
where the bound must be independent of the measurable function U. However, it is well known that \(H_{U,\gamma }\) might not be bounded on any \(L^p({\mathbb {R}}^2)\) if we merely assume that U is a measurable function (cf. [12]). Therefore, we cannot assume
Instead, Theorem 1.1 shows
which inserts the supremum between the two \(L^p\)-norms on the left-hand side of the equation. Here and hereafter, let \(\cdot _1\) and \(\cdot _2\) denote the first variable \(x_1\) and the second variable \(x_2\), respectively. As Stein-Wainger mentioned in [22], the curvature of the considered curve plays a crucial role in this problem, and the four conditions \((\text {i})\), \((\text {ii})\), \((\text {iii})\) and \((\text {iv})\) of Theorem 1.1 are used to describe the curvature \(\kappa \) of the considered curve \(\gamma \).
Note 1.5
Bateman in [1] proved that if
then \(H_{u,\gamma }P_k\) is bounded on \(L^{p}({\mathbb {R}}^2)\) uniformly for \(k\in {\mathbb {Z}}\), where \(P_k\) denotes the Littlewood-Paley projection operator in the second variable. Later, Bateman-Thiele in [2] proved \(L^p({\mathbb {R}}^2)\)-boundedness of \(H_{u,\gamma }\) for all \(p\in (\frac{3}{2},\infty )\). Moreover, let \(\gamma \) be \(|t|^\alpha \) or \(\text {sgn}(t)|t|^\alpha \) for any \(t\in {\mathbb {R}}\), where \(1\not =\alpha \in (0,\infty )\) ; in [12] Guo–Hickman–Lie–Roos obtained \(L^p({\mathbb {R}}^2)\)-boundedness of \(H_{u,\gamma }\). Furthermore, Carbery-Wainger-Wright in [6] obtained \(L^{p}({\mathbb {R}}^2)\)-boundedness of \(H_{u,\gamma }\), but with the restriction that \(u(x_1):=x_1\) for any \(x_1\in {\mathbb {R}}\), where \(\gamma \in C^{3}({\mathbb {R}})\) is either an odd or even convex curve on \((0,\infty )\) satisfying \(\gamma (0)=\gamma '(0)=0\) and the quantity \(\frac{t\gamma ''(t)}{\gamma '(t)}\) is decreasing and bounded below on \((0,\infty )\). Under the same conditions, Bennett in [3] obtained \(L^2({\mathbb {R}}^2)\)-boundedness of
for any general polynomial P. More recently, Chen-Zhu in [9] obtained \(L^2({\mathbb {R}}^2)\)-boundedness of \(H_{P,\gamma }\) in (1.3) by defining the curvature condition as
In [17], Li-Yu also obtained \(L^2({\mathbb {R}}^2)\)-boundedness of \(H_{P,\gamma }\) in (1.3) if the curvature condition for \(\gamma \in C^{2}({\mathbb {R}})\) is replaced with that:
-
(i)
\(\frac{\gamma ''(t)}{\gamma '(t)}\) is decreasing on \((0,\infty )\);
-
(ii)
\(\exists \) a positive constant \(\lambda _2\) such that \(\frac{t\gamma ''(t)}{\gamma '(t)}\ge \lambda _2\ \forall \ t\in (0,\infty )\);
-
(iii)
\(\gamma ''(t)\) is monotonic on \((0,\infty )\).
Note 1.6
Interestingly, all of these results for \(H_{P,\gamma }\) are based on the iteration of the degree of polynomial P and hence cannot extend to a general measurable function u. Accordingly, Theorem 1.1 is the first result for \(H_{u,\gamma }\) with the generalized plane curve \(\gamma \). Even more interestingly, \(L^2({\mathbb {R}})\)-boundedness of (1.1) appears in the study of \(L^2({\mathbb {R}}^2)\)-boundedness of (1.2). Indeed, from [19] it follows that
where
Since \(L^2({\mathbb {R}}^{2})\)-boundedness of \(H_{u,\gamma }\) will not depend on u, we need to establish only \(L^2({\mathbb {R}})\)-estimate for
with a bound independent of u. This operator \({\mathcal {C}}_{u,\gamma }\) itself is also interesting. The original Carleson transform \({\mathcal {C}}\) is defined by setting
By linearization,
where \(u:\ {{\mathbb {R}}}\rightarrow {{\mathbb {R}}}\) is a measurable function and
and the constant in the last inequality is independent of u. In [7], Carleson obtained \(L^2({\mathbb {R}})\)-boundedness of \({\mathcal {C}}\), which plays an important role in obtaining almost everywhere convergence of a Fourier series of \(L^2({\mathbb {R}})\)-functions and also confirmed the famous Luzin’s conjecture. Hunt later obtained \(L^{p}({\mathbb {R}})\)-boundedness in [14]. For further results about \({\mathcal {C}}\), we refer the reader to [10, 15, 16, 20]. Stein-Wainger in [23] considered the Carleson transform \({\mathcal {C}}_{u,d}\) along a homogeneous curve \(t^d\) with integer \(d>1\), namely,
and showed that \(L^{p}({\mathbb {R}})\)-boundedness is independent of u. Guo in [11] extended \({\mathcal {C}}_{u,d}\) further to a homogeneous curve \(|t|^{\varepsilon _1}\) or \(\text {sgn}(t) |t|^{\varepsilon _2}\), where \(\varepsilon _1, \varepsilon _2\in {\mathbb {R}} \), \(\varepsilon _1\ne 1\) and \(\varepsilon _2\ne 0\). Thus, it is natural to consider \({\mathcal {C}}_{u,\gamma }\) along a more general curve as presented in Theorem 1.1.
1.3 Organization and Notation
The rest of this paper is organized as follows. Section 2.1 is used to collect three lemmas for (1.1). In Sect. 2.2, we prove Theorem 1.1 for Carleson transform. Section 3.1 is devoted to obtaining the single annulus \(L^{p}({\mathbb {R}}^2)\)-estimate for (1.2). In Sect. 3.2 we verify Theorem 1.1 for Hilbert transform.
Throughout this paper, we use C to denote a positive constant that is independent of the main parameters involved but whose value may vary from line to line. The positive constants with subscripts, such as \(C_1\) and \(C_2\), are the same in different occurrences. For two real functions f and g, we use \(f\lesssim g\) or \(g\gtrsim f\) to denote \(f\le Cg\) and, if \(f\lesssim g\lesssim f\), we then write \(f\approx g\).
2 Verification of Theorem 1.1 for Carleson Transform
2.1 Three Lemmas
Before providing the proof of Theorem 1.1(i), we state three lemmas. Van der Corput’s lemma is a useful tool to bound an oscillatory integral, but for the case of \(k=1\), a simple lower bound on \(|\phi '|\) is not sufficient. We need to add a condition that \(\phi '\) is monotonic such that
is dominated by a constant. Lemma 2.1 is a slight variant of Van der Corput’s lemma that replaces the additional condition with the condition that \(\phi ''\) is bounded from above. Lemma 2.2 is used to obtain an interesting fact: for the phase function \(\phi \) of the considered oscillatory integral, we must have
However, it is not sufficient to complete our estimate even if we obtained the surprising lower bound on \(|\phi '|\) or \(|\phi ''|\), since we can take an infinite number of intervals such that the lower bound is established on each of these intervals. Lemma 2.3 is used to ensure that such a case does not occur.
Lemma 2.1
Suppose that \(\phi \) is real-valued and smooth on (a, b) with two positive constants \( \sigma _1\ \& \ \sigma _2\) obeying
Then
Proof
From the proof of van der Corput’s lemma, see, for example, ( [21], P. 332, Proposition 2), which bounds the integral \(\int _a^b e^{i\phi (t)}\,\text {d}t\) by
It is easy to deduce the desired conclusion of Lemma 2.1. \(\square \)
Lemma 2.2
[13, Lemma 4.5] Let A be an invertible \(n\times n\) matrix and \(x\in {\mathbb {R}}^n\). Then,
where \(\Vert A\Vert \) denotes the matrix norm \(\sup _{|x|=1}|Ax|\).
Lemma 2.3
Let \(\gamma \) be the same as in Theorem 1.1. For any \(a,b,c,d\in {\mathbb {R}}\) and \(d>0\), there are at most a finite number of intervals such that
holds on each of these intervals, where \(t\in {\mathbb {R}}\) and the number of intervals is independent of a, b, c, and d.
Proof
Since (2.1) is equivalent to
or
Notice that \(\gamma \in C^{3}({\mathbb {R}})\), it is enough to show that
has a finite number of solutions including there is no solution, or there are at most a finite number of intervals such that (2.2) is established on each of these intervals, or both, where the number is independent of a, b, and c. There are some cases:
If \(b=0\) and \(a=0\), then (2.1) does not exist; in other words, (2.1) has no solution.
If \(b=0\) and \(a\ne 0\), and since \(\gamma \) is either odd or even and \(\gamma '\) is increasing on \((0,\infty )\), then Lemma 2.3 is easily obtained.
If \(b\ne 0\), \(c=0\) and \(a=b\), then (2.1) does not exist.
If \(b\ne 0\), \(c=0\) and \(a\ne b\), then (2.1) is equivalent to \(|(a-b)\gamma '(t)|>d\); as stated above, it is easy to see that Lemma 2.3 is established.
If \(b\ne 0\) and \(c\ne 0\), then Theorem 1.1(iv) gives
Notice that \(\gamma \) is either odd or even. So
It is easy to see that we should only consider \(t\ne 0\) and \(t\ne c\) for (2.2). Then, (2.2) is equivalent to
Let
We see that if \(t\in {\mathbb {R}}\setminus \{0,c\}\) then
From Theorem 1.1(iv) it follows that \(\frac{\gamma '''(t)}{\gamma ''(t)}\) is strictly monotonic or equal to a constant on \((0,\infty )\). Since \(\gamma \) is either odd or even, the equation
has a finite number of solutions including the situation that there is no solution, or \(\exists \) at most a finite number of intervals such that (2.5) is established on each of these intervals, or both, where the number is independent of c. Therefore, \(F_c'(t)\) in (2.4) has the same character as (2.5), and (2.3) also has the same character as (2.5). This completes the proof of Lemma 2.3. \(\square \)
2.2 \(L^p({\mathbb {R}})\)-Estimate for \({\mathcal {C}}_{u,\gamma }\)
We now prove Theorem 1.1 for \({\mathcal {C}}_{u,\gamma }\). The main strategy of our proof is to decompose our operator into a low-frequency part and a high-frequency part. We want to bound the low frequency part by some classical operators, such as the Hardy-Littlewood maximal operator and the maximal truncated Hilbert transform. For the high-frequency part, which is further divided into a series of operators \(\{S_k\}_{k=0}^\infty \), we want to obtain a decay estimate for each of \(S_k\). The main tools are the \(TT^*\)-argument, the stationary phase method, and the lemmas introduced in §2.1.
Proof of Theorem 1.1
for \({\mathcal {C}}_{u,\gamma }\) Suppose that \(\psi :\ {\mathbb {R}}\rightarrow {\mathbb {R}}\) is a smooth function supported on
and obeys
From Remark 1.2, we have that \(\gamma \) is increasing on \((0,\infty )\), and
We can define \(n:\ {\mathbb {R}}\rightarrow {\mathbb {Z}}\) such that
For any \(x\in {\mathbb {R}}\), let
and decompose
-
\(\rhd \) For the low-frequency part \({\mathcal {C}}_{u,\gamma }^{(1)}f(x)\) set
$$\begin{aligned} \sum _{k\le n(x)-1} \psi _k(t)=:\phi (t). \end{aligned}$$Then
$$\begin{aligned} {\mathcal {C}}_{u,\gamma }^{(1)}f(x)= & {} \mathrm {p.v.} \int _{|t|\le 2^{n(x)}}\left[ e^{iu(x)\gamma (t)} -1\right] f(x-t) \phi (t)\, \frac{\text {d}t}{t}\\&+\mathrm {p.v.}\int _{|t|\le 2^{n(x)}}f(x-t) \phi (t) \,\frac{\text {d}t}{t}\\=: & {} T_1f(x)+ T_2f(x). \end{aligned}$$For \(T_1f\), since \(\gamma '\) is increasing on \((0,\infty )\) and \(\gamma (0)=0\), we have that \(\frac{\gamma (t)}{t}\) is increasing on \((0,\infty )\). These properties, combined with the fact that \(\gamma \) is either odd or even and (2.6) is true, further implies that
$$\begin{aligned} T_1f(x)&\le \int _{|t|\le 2^{n(x)}} \left| f(x-t) \right| \left| u(x)\right| \frac{\gamma (2^{n(x)})}{2^{n(x)}} \phi (t)\,\text {d}t\nonumber \\&\le \frac{1}{2^{n(x)}} \int _{|t|\le 2^{n(x)}} \left| f(x-t) \right| \,\text {d}t\nonumber \\&\lesssim Mf(x). \end{aligned}$$(2.7)Here and hereafter, M denotes the Hardy-Littlewood maximal operator defined by setting
$$\begin{aligned} Mf(x):=\sup _{r>0} \frac{1}{2r} \int _{-r}^{r} \left| f(x-t) \right| \, \text {d}t \quad \forall \, x\in {\mathbb {R}}. \end{aligned}$$For \(T_2f\), we have
$$\begin{aligned} |T_2f(x)|&= \left| \int _{|t|\le 2^{n(x)}}f(x-t) \frac{\phi (t)-1}{t}\, \text {d}t+ \mathrm {p.v.}\int _{|t|\le 2^{n(x)}}f(x-t) \,\frac{\text {d}t}{t}\right| \nonumber \\&\le \int _{2^{n(x)-1}\le |t|\le 2^{n(x)}} \left| f(x-t) \right| \left| \frac{\phi (t)-1}{t} \right| \,\text {d}t+ {\mathcal {H}}^*f(x)\nonumber \\&\le \frac{1}{2^{n(x)-1}} \int _{|t|\le 2^{n(x)}} \left| f(x-t) \right| \, \text {d}t+ {\mathcal {H}}^*f(x)\nonumber \\&\lesssim Mf(x)+ {\mathcal {H}}^*f(x), \end{aligned}$$(2.8)where \({\mathcal {H}}^*\) is the maximal truncated Hilbert transform, which is defined by setting
$$\begin{aligned} {\mathcal {H}}^*f(x):=\sup _{\varepsilon ,R>0} \left| \int _{\varepsilon<|t|<R} f(x-t) \, \frac{\text {d}t}{t}\right| \quad \forall \, x\in {\mathbb {R}}. \end{aligned}$$Therefore, from (2.7) and (2.8) it follows that
$$\begin{aligned} {\mathcal {C}}_{u,\gamma }^{(1)}f(x)\lesssim Mf(x)+ {\mathcal {H}}^*f(x). \end{aligned}$$It is well known that both M and \({\mathcal {H}}^*\) are bounded on \(L^{p}({\mathbb {R}})\); therefore, we conclude
$$\begin{aligned} \Vert {\mathcal {C}}_{u,\gamma }^{(1)}f\Vert _{L^{p}({\mathbb {R}})}\lesssim \Vert f\Vert _{L^{p}({\mathbb {R}})}. \end{aligned}$$ -
\(\rhd \) For the high-frequency part \({\mathcal {C}}_{u,\gamma }^{(2)}f(x)\), we can then write
$$\begin{aligned} {\mathcal {C}}_{u,\gamma }^{(2)}f(x)= \sum _{k\ge 0} \int _{-\infty }^{\infty } e^{iu(x)\gamma (t)} f(x-t) \psi _{k+n(x)}(t) \, \frac{\text {d}t}{t}=: \sum _{k\ge 0} S_kf(x). \end{aligned}$$For any given \(k\ge 0\) we estimate
$$\begin{aligned} |S_kf(x)|&\le \int _{2^{k+n(x)-1}\le |t|\le 2^{k+n(x)+1}} \left| f(x-t)\right| \frac{\left| \psi _{k+n(x)}(t) \right| }{|t|}\, \text {d}t \\&\le \frac{1}{2^{k+n(x)-1}} \int _{|t|\le 2^{k+n(x)+1}} \left| f(x-t)\right| \, \text {d}t\nonumber \\&\lesssim Mf(x). \end{aligned}$$From this and the well-known \(L^p({\mathbb {R}})\)-boundedness of M it follows that
$$\begin{aligned} \Vert S_kf\Vert _{L^{p}({\mathbb {R}})}\lesssim \Vert f\Vert _{L^{p}({\mathbb {R}})}, \end{aligned}$$(2.9)and the bound depends only on p. To summarize all \(k\ge 0\), we need a decay estimate for \(\Vert S_kf\Vert _{L^{p}({\mathbb {R}})}\). For this aim, we claim:
$$\begin{aligned} \exists \ \text {a constant}\ \omega _0>0\ \text {such that}\ \Vert S_kf\Vert _{L^{2}({\mathbb {R}})}\lesssim 2^{-\omega _0 k}\Vert f\Vert _{L^{2}({\mathbb {R}})}\ \ \forall \ \ k\ge 0. \end{aligned}$$(2.10)Then, by interpolating between (2.9) and (2.10), we obtain a positive constant \(\omega _p\) such that
$$\begin{aligned} \Vert S_kf\Vert _{L^{p}({\mathbb {R}})}\lesssim 2^{-\omega _p k}\Vert f\Vert _{L^{p}({\mathbb {R}})}, \end{aligned}$$which allows us to summarize all \(k\ge 0\) and to obtain
$$\begin{aligned} \Vert {\mathcal {C}}_{u,\gamma }^{(2)}f\Vert _{L^{p}({\mathbb {R}})}\lesssim \Vert f\Vert _{L^{p}({\mathbb {R}})}. \end{aligned}$$Therefore, it remains to verify (2.10). We use a \(TT^*\)-argument - the Stein-Wainger’s approach in [23]. The dual operator of \(S_k\) is given by
$$\begin{aligned} {S_k}^*g(y)=\mathrm {p.v.}\int _{-\infty }^{\infty } e^{-iu(z)\gamma (z-y)} \psi (2^{-n(z)-k}(z-y)) \frac{g(z)}{z-y}\, \text {d}z \quad \forall \, y\in {\mathbb {R}}. \end{aligned}$$Thus
$$\begin{aligned}&S_k{S_k}^*f(x) = \mathrm {p.v.}\int _{-\infty }^{\infty }\nonumber \\&\quad \left( \mathrm {p.v.}\int _{-\infty }^{\infty } e^{-iu(z)\gamma (z-x+t)} \frac{\psi (2^{-n(z)-k}(z-x+t))}{z-x+t}e^{iu(x)\gamma (t)} \frac{\psi (2^{-n(x)-k}t)}{t} \, \text {d}t\right) \nonumber \\&\quad f(z) \,\text {d}z. \end{aligned}$$(2.11)In the following calculation, without loss of generality we may assume that \(2^{n(x)}\le 2^{n(z)}\). Let \(\xi :=x-z\). Then, the kernel of \(S_k{S_k}^*\) can be written as
$$\begin{aligned} \mathrm {p.v.}\int _{-\infty }^{\infty } e^{-iu(z)\gamma (-\xi +t)} \frac{\psi (2^{-n(z)-k}(-\xi +t))}{-\xi +t} e^{iu(x)\gamma (t)} \frac{\psi (2^{-n(x)-k}t)}{t} \, \text {d}t. \end{aligned}$$Upon replacing \(2^{-n(x)-k}t\) with t, the last quantity is equivalent to
$$\begin{aligned} \mathrm {p.v.}\int _{-\infty }^{\infty } e^{-iu(z)\gamma (-\xi +2^{n(x)+k} t)} \frac{\psi ( -\xi 2^{-n(z)-k}+\frac{2^{n(x)}}{2^{n(z)}} t)}{-\xi +2^{n(x)+k} t} e^{iu(x)\gamma (2^{n(x)+k} t)} \frac{\psi (t)}{t} \, \text {d}t. \end{aligned}$$Now, we further set
$$ \begin{aligned} 0<h:=\frac{2^{n(x)}}{2^{n(z)}}\le 1\ \ \& \ \ s:=\frac{\xi }{2^{n(z)+k}}. \end{aligned}$$Then, the kernel becomes
$$\begin{aligned} \frac{1}{2^{n(z)+k} }\,\mathrm {p.v.}\int _{-\infty }^{\infty } e^{iu(x)\gamma (2^{n(x)+k} t)-iu(z)\gamma \left( 2^{n(z)+k}[ht-s] \right) } \frac{\psi \left( ht-s\right) }{ht-s} \frac{\psi (t)}{t} \, \text {d}t. \end{aligned}$$To evaluate the above integral, we use an estimate from the forthcoming Proposition 2.4. In fact, because \(\frac{x-z}{2^{n(z)+k}}=s\), by (2.12) of Proposition 2.4, we therefore have
$$\begin{aligned} | S_k{S_k}^*f(x)|= & {} \left| \int _{-\infty }^{\infty } \frac{1}{2^{n(z)+k} }\,\mathrm {p.v.}\int _{-\infty }^{\infty } e^{iu(x)\gamma (2^{n(x)+k} t)-iu(z)\gamma \left( 2^{n(z)+k}[ ht-s ] \right) } \right. \\&\left. \frac{\psi \left( ht-s\right) }{ht-s} \frac{\psi (t)}{t} \, \text {d}t f(z) \, \text {d}z\right| \\\lesssim & {} \int _{-\infty }^{\infty } \frac{1}{2^{n(z)+k} }\left\{ \chi _{[-2^{-k r_1},2^{- k r_1}]}(s)+ 2^{-k r_2} \chi _{[-4,4]}(s) \right\} |f(z) |\, \text {d}z\\\lesssim & {} \frac{2^{-k r_1}}{2^{n(z)+k} 2^{-k r_1} } \int _{\frac{|x-z|}{2^{n(z)+k}} \le 2^{-k r_1} } |f(z) | \,\text {d}z+ \frac{2^{-k r_2}}{2^{n(z)+k} } \int _{\frac{|x-z|}{2^{n(z)+k}} \le 4 } |f(z) | \,\text {d}z \\\lesssim & {} 2^{-k r_1} Mf(x)+ 2^{-k r_2} Mf(x)\\\lesssim & {} 2^{-k r_0} Mf(x), \end{aligned}$$where \(\gamma _0:=\min \left\{ r_1, r_2 \right\} \). Since M is bounded on \(L^2({\mathbb {R}})\), we obtain the desired estimate
$$\begin{aligned} \Vert S_k\Vert _{L^2({\mathbb {R}})\rightarrow L^2({\mathbb {R}})}=\Vert S_k{S_k}^*\Vert ^{\frac{1}{2}}_{L^2({\mathbb {R}})\rightarrow L^2({\mathbb {R}})}\lesssim 2^{- \frac{r_0}{2}k}, \end{aligned}$$thereby completing the proof of Theorem 1.1 for \({\mathcal {C}}_{u,\gamma }\).
\(\square \)
Proposition 2.4
There exist positive constants \(r_1\) and \(r_2\) such that
where C is a positive constant independent of k, x, z, s, and u.
Proof
Since \(\psi :\ {\mathbb {R}}\rightarrow {\mathbb {R}}\) is smooth and supported on
it follows from \(0<h\le 1\) that
Let
It is clear that
To use Lemmas 2.1-2.2-2.3, we need some estimates for \(Q'\) and \(Q''\). For this purpose, we consider two cases. We want to remind the reader that the constants \(C_1\) through \(C_4\) are the same constants as in Theorem 1.1 and Remark 1.2.
Case A: \(0<h\le \frac{1}{4 C_1^3C_4}\).
Since \(\frac{\gamma '(2t)}{\gamma '(t)}\) is decreasing on \((0,\infty )\), it follows that
is decreasing on \((0,\infty )\) for any \(k\in {\mathbb {N}}\). By Remark 1.2, we know
Noting that \(\gamma \) is either odd or even, \(\gamma '\) is increasing on \((0,\infty )\), (2.6) and
we obtain
Using (2.14) and
we find
Combining (2.14) and (2.15), and using Lemma 2.1 and [21, p. 334, Corollary] and the fact that \(\gamma '\) is increasing on \((0,\infty )\), we get
Thus, in this case, (2.12) holds with \(r_2=1\) and arbitrary positive constant \(r_1\).
Case B: \(\frac{1}{4 C_1^3C_4}<h\le 1\).
If \(|s|\le 2^{-\frac{k}{8}}\), and since \(\psi :\ {\mathbb {R}}\rightarrow {\mathbb {R}}\) is supported on
it follows that the integral in (2.12) is bounded by C. Thus, in this case, (2.12) holds with \(r_1=\frac{1}{8}\) and arbitrary positive constant \(r_2\). In the remainder, we only consider the case \(|s|\ge 2^{-\frac{k}{8}}\). We write
where \(M_{t,s}\) is a \(2\times 2\) matrix and \(\Upsilon \) is the vector:
We may compute immediately as in (2.14) that
Moreover, let
We can rewrite
From
it follows that
and
From (2.18) and Theorem 1.1(iv), together with
and the generalized mean value theorem, we have a positive constant \(\theta \in [0, 1]\) such that
Combining (2.19), (2.20), (2.21), and Lemma 2.2 with \(n=2\), we therefore have
and consequently,
By the pigeonhole principle, there are two cases.
-
\(\rhd \) If
$$\begin{aligned} |Q'(t)|\gtrsim 2^{\frac{7k}{8}} \frac{\gamma ' (2^{n(x)+k})}{\gamma '(2^{n(x)})}, \end{aligned}$$then \(h=\frac{2^{n(x)}}{2^{n(z)}}\) follows by Lemma 2.3. Let
$$\begin{aligned} {\left\{ \begin{array}{ll} a:=u(x)2^{n(x)+k} ;\\ b:=u(z)2^{n(z)+k} h;\\ c:=2^{n(z)+k}s;\\ d:=2^{\frac{7k}{8}} \frac{\gamma ' (2^{n(x)+k})}{\gamma '(2^{n(x)})};\\ t:=2^{n(x)+k} t. \end{array}\right. } \end{aligned}$$We see that this case only happens in at most a finite number of intervals, and the number of these intervals is independent of x, z, s, k and u. Using (2.15), from Lemma 2.1, [21, p. 334, Corollary], and (2.16), we find that the integral in (2.12) on this portion is established with \(r_2=\frac{3}{4}\) and an arbitrary positive constant \(r_1\).
-
\(\rhd \) If
$$\begin{aligned} |Q''(t)|\gtrsim 2^{\frac{7k}{8}} \frac{\gamma ' (2^{n(x)+k})}{\gamma '(2^{n(x)})}, \end{aligned}$$then the argument for the first case shows that this second case also only happens in at most a finite number of intervals. By van der Corput’s lemma, similarly to (2.16), we conclude that the integral in (2.12) on this portion is established with \(r_2=\frac{7}{16}\) and an arbitrary positive constant \(r_1\).
Altogether, we now show that the integral in (2.12) is established with \(r_2=\frac{7}{16}\) and an arbitrary positive constant \(r_1\), whence completing the proof of Proposition 2.4. \(\square \)
3 Verification of Theorem 1.1 for Hilbert Transform
3.1 Annulus \(L^p({\mathbb {R}}^{2})\)-estimate for \(H_{u,\gamma }\)
Recall that \(\psi :\ {\mathbb {R}}\rightarrow {\mathbb {R}}\) is a smooth function supported on
and enjoys
For any \(l\in {\mathbb {Z}}\), let \(P_l\) denote the Littlewood-Paley projection in the second variable corresponding to \(\psi _l\), namely,
Theorem 3.1
Let u and \(\gamma \) be the same as in Theorem 1.1. Then
holds uniformly in \(l\in {\mathbb {Z}}\), and the bound C is a positive constant independent of u.
Proof
By the anisotropic scaling:
we consider only the case \(l=0\). Set
Let \(n:\ {\mathbb {R}}\rightarrow {\mathbb {Z}}\) be such that
We make the following decomposition:
For \(H^{(1)}_{u,\gamma }P_0f\), let \(\rho \) be a non-negative smooth function with
and
By a Fourier transform, it is easy to check
-
\(\rhd \) We first consider \(H^{(1)}_{u,\gamma }{\mathbb {P}}_0f\). If
$$\begin{aligned} \sum _{k\le n(x_1)-1} \psi _k(t)=:\phi (t), \end{aligned}$$then
$$\begin{aligned} H^{(1)}_{u,\gamma }{\mathbb {P}}_0f(x_1,x_2) = \mathrm {p.v.} \int _{|t|\le 2^{n(x_1)}}{\mathbb {P}}_0f(x_1-t,x_2-u(x_1)\gamma (t))\phi (t)\,\frac{\text {d}t}{t}. \end{aligned}$$Let us consider an approximate operator
$$\begin{aligned} {\tilde{H}}{\mathbb {P}}_0f(x_1,x_2):= \mathrm {p.v.}\int _{|t|\le 2^{n(x_1)}}{\mathbb {P}}_0f(x_1-t,x_2)\phi (t)\,\frac{\text {d}t}{t}. \end{aligned}$$As shown in (2.8), we have
$$\begin{aligned} {\tilde{H}}{\mathbb {P}}_0f(x_1,x_2) \lesssim M_1{\mathbb {P}}_0f(x_1,x_2)+\mathcal {{\tilde{H}}}^*_1{\mathbb {P}}_0f(x_1,x_2). \end{aligned}$$(3.4)Here and hereafter, \(\mathcal {{\tilde{H}}}^*_1\) denotes the maximal truncated Hilbert transform applied in the first variable, \(M_1\) and \(M_2\) denote the Hardy-Littlewood maximal operators applied in the first variable and the second variable, respectively. Since both \(M_1\) and \(\mathcal {{\tilde{H}}}^*_1\) are bounded on \(L^p({\mathbb {R}}^2)\), from (3.4) we may conclude
$$\begin{aligned} \Vert {\tilde{H}}{\mathbb {P}}_0f\Vert _{L^{p}({\mathbb {R}}^2)}\lesssim \Vert {\mathbb {P}}_0f\Vert _{L^{p}({\mathbb {R}}^2)}\lesssim \Vert f\Vert _{L^{p}({\mathbb {R}}^2)}. \end{aligned}$$(3.5) -
\(\rhd \) Now we turn to the difference between \(H^{(1)}_{u,\gamma }{\mathbb {P}}_0f\) and \({\tilde{H}}{\mathbb {P}}_0f\), which can be written as
$$\begin{aligned} \mathrm {p.v.}\int _{|t|\le 2^{n(x_1)}}\int _{-\infty }^{\infty } f(x_1-t,x_2-z) \left[ {\check{\rho }}(z-u(x_1)\gamma (t))- {\check{\rho }}(z) \right] \text {d}z\phi (t)\,\frac{\text {d}t}{t}. \end{aligned}$$Since \(\gamma \) is increasing on \((0,\infty )\) and \(|t|\le 2^{n(x_1)}\), we have
$$\begin{aligned} |u(x_1)\gamma (t)|\le |u(x_1)|\gamma (2^{n(x_1)})\le 1. \end{aligned}$$Then, apply the mean value theorem to obtain
$$\begin{aligned} | {\check{\rho }}(z-u(x_1)\gamma (t))- {\check{\rho }}(z)|\lesssim \sum _{m\in {\mathbb {Z}}}\frac{1}{(|m-1|+1)^2}\chi _{[m,m+1]}(z)|u(x_1)\gamma (t)|. \end{aligned}$$Because
$$\begin{aligned} \sum _{m\in {\mathbb {Z}}}\frac{1}{(|m-1|+1)^2}\lesssim 1, \end{aligned}$$it suffices to dominate the operator defined by setting for any fixed \(m\in {\mathbb {Z}}\),
$$\begin{aligned} K_mf(x_1,x_2):=\int _m^{m+1}\int _{|t|\le 2^{n(x_1)}}|f(x_1-t,x_2-z)|\frac{|u(x_1)\gamma (t)|}{|t|} \phi (t)\,\text {d}t\,\text {d}z \end{aligned}$$with a bound independent of m and u. By Minkowski’s inequality, (3.1) and noticing that \(\frac{\gamma (t)}{t}\) is increasing on \((0,\infty )\), we have that if \(1<p<\infty \) then
$$\begin{aligned}&\Vert K_mf(\cdot _1,\cdot _2)\Vert ^p_{L^{p}({\mathbb {R}}^{2})}\nonumber \\&\quad \le \int _{-\infty }^{\infty } \left( \int _m^{m+1} \int _{|t|\le 2^{n(x_1)}} \Vert f(x_1-t,\cdot _2)\Vert _{L^{p}({\mathbb {R}}^1_{x_2})} \frac{|u(x_1)\gamma (t)|}{|t|} \phi (t) \,\text {d}t\,\text {d}z \right) ^p\,\text {d}x_1 \nonumber \\&\quad \le \int _{-\infty }^{\infty }\left( \int _{|t|\le 2^{n(x_1)}} \Vert f(x_1-t,\cdot _2)\Vert _{L^{p}({\mathbb {R}}^1_{x_2})} \frac{|u(x_1)\gamma ( 2^{n(x_1)})|}{| 2^{n(x_1)}|} \phi (t) \,\text {d}t \right) ^p\,\text {d}x_1 \nonumber \\&\quad \le \int _{-\infty }^{\infty }\left( \frac{1}{2^{n(x_1)}}\int _{|t|\le 2^{n(x_1)}} \Vert f(x_1-t,\cdot _2)\Vert _{L^{p}({\mathbb {R}}^1_{x_2})} \, \text {d}t \right) ^p\,\text {d}x_1 \nonumber \\&\quad \lesssim \int _{-\infty }^{\infty }\left( M (\Vert f(\cdot ,\cdot _2)\Vert _{L^{p}({\mathbb {R}}^1_{x_2})})(x_1) \right) ^p\,\text {d}x_1\nonumber \\&\quad \lesssim \Vert f\Vert ^p_{L^{p}({\mathbb {R}}^{2})} \end{aligned}$$(3.6)and hence
$$\begin{aligned} \Vert H^{(1)}_{u,\gamma }{\mathbb {P}}_0f\Vert _{L^{p}({\mathbb {R}}^2)}\lesssim \Vert f\Vert _{L^{p}({\mathbb {R}}^2)} \end{aligned}$$follows from (3.5) and (3.6). Accordingly, (3.3) implies
$$\begin{aligned} \Vert H^{(1)}_{u,\gamma }P_0f\Vert _{L^{p}({\mathbb {R}}^2)}\lesssim \Vert P_0f\Vert _{L^{p}({\mathbb {R}}^2)}. \end{aligned}$$ -
\(\rhd \) For \(H^{(2)}_{u,\gamma }P_0f\) let \(f:=P_0f\). Then we can write
$$\begin{aligned} H^{(2)}_{u,\gamma }f(x_1,x_2) = \sum _{k\ge 0} \int _{-\infty }^{\infty } f(x_1-t,x_2-u(x_1)\gamma (t))\psi _{n(x_1)+k}(t)\,\frac{\text {d}t}{t}. \end{aligned}$$By Minkowski’s inequality and (3.6), we have
$$\begin{aligned} \left\| \int _{-\infty }^{\infty } f(\cdot _1-t,\cdot _2-u(\cdot _1)\gamma (t))\psi _{n(\cdot _1)+k}(t)\,\frac{\text {d}t}{t}\right\| _{L^{p}({\mathbb {R}}^{2})} \lesssim \Vert f\Vert _{L^{p}({\mathbb {R}}^{2})} \end{aligned}$$(3.7)and then use (2.10) to get
$$\begin{aligned} \left\| \int _{-\infty }^{\infty } e^{iu(\cdot )\gamma (t)} f(\cdot -t) \psi _{k+n(\cdot )}(t) \, \frac{\text {d}t}{t} \right\| _{L^{2}({\mathbb {R}})}\lesssim 2^{-\omega _0 k}\Vert f\Vert _{L^{2}({\mathbb {R}})}, \end{aligned}$$which ensures
$$\begin{aligned} \left\| \int _{-\infty }^{\infty } f(\cdot _1-t,\cdot _2-u(\cdot _1)\gamma (t))\psi _{n(\cdot _1)+k}(t)\,\frac{\text {d}t}{t}\right\| _{L^{2}({\mathbb {R}}^{2})}\lesssim 2^{-\omega _0 k}\Vert f\Vert _{L^{2}({\mathbb {R}}^2)}. \end{aligned}$$(3.8)By interpolating between (3.7) and (3.8) and making a sum over \(k\ge 0\), we obtain
$$\begin{aligned} \Vert H^{(2)}_{u,\gamma }f\Vert _{L^{p}({\mathbb {R}}^2)}\lesssim \Vert f\Vert _{L^{p}({\mathbb {R}}^2)}\ \ \text {under}\ \ p\in (1,\infty ), \end{aligned}$$thereby completing the proof of Theorem 3.1.
\(\square \)
3.2 \(L^p({\mathbb {R}}^{2})\)-estimate for \(H_{u,\gamma }\)
As explained in Note (1.6), the case \(p=2\) can be obtained by the \(L^2({\mathbb {R}})\)-boundedness of (1.1). So, it remains to handle the case \(p\in (1,2)\cup (2,\infty )\). Our argument (actually for any case \(p\in (1,\infty )\)) crucially relies on the commutative property between \(H_{u,\gamma }\) and \(P_l\). Accordingly, we can turn our attention to a square function. As before, we also decompose our operator into a low-frequency part and a high-frequency part. The low-frequency part is controlled by the Hardy-Littlewood maximal operator and the maximal truncated Hilbert transform. The high-frequency part is also represented by a series of operators. Building on the already proved \(L^2({\mathbb {R}}^{2})\)-estimate with bound \(2^{-\omega _0 k}\) and the interpolation strategy, it suffices to obtain an \(L^p({\mathbb {R}}^{2})\)-estimate with bound \(k^2\). This unusual \(L^p({\mathbb {R}}^{2})\)-boundedness can be achieved by the shifted maximal operator, which forms a pointwise estimate for taking the average along the variable plane curve \(u(x_1)\gamma \).
Proof of Theorem 1.1
for \(H_{u,\gamma }\) We note that the commutative property
holds for any \(l\in {\mathbb {Z}}\). By the Littlewood-Paley theory, it is enough to show
Regarding (3.1), for any \(l\in {\mathbb {Z}}\), let \(n_l:\ {\mathbb {R}}\rightarrow {\mathbb {Z}}\) be such that
In a similar way to handle (3.2), we decompose \(H_{u,\gamma }P_l\) as
Using the triangle inequality, the left term of (3.9) can be controlled by
-
\(\rhd \) For the low-frequency part in (3.12), let
$$\begin{aligned} {\left\{ \begin{array}{ll}\sum _{k\le n_l(x_1)-1} \psi _k(t)=:\phi (t);\\ {\tilde{H}}f(x_1,x_2):= \mathrm {p.v.}\int _{|t|\le 2^{n_l(x_1)}}f(x_1-t,x_2)\phi (t)\,\frac{\text {d}t}{t}. \end{array}\right. } \end{aligned}$$As done in (2.8), we may obtain
$$\begin{aligned} {\tilde{H}}P_lf(x_1,x_2) \lesssim M_1P_lf(x_1,x_2)+\mathcal {{\tilde{H}}}^*_1P_lf(x_1,x_2), \end{aligned}$$(3.13)The vector-valued estimate for \(M_1\) follows from the corresponding estimate for the one-dimensional Hardy-Littlewood maximal function. Similarly, the vector-valued estimate for \(\mathcal {{\tilde{H}}}^*_1\) follows from Cotlar’s inequality and the vector-valued estimate for the Hilbert transform and the maximal function. Then, from (3.13) and the Littlewood-Paley theory it follows that
$$\begin{aligned} \left\| \left[ \sum _{l\in {\mathbb {Z}}}\left| {\tilde{H}}P_lf\right| ^2\right] ^{\frac{1}{2}}\right\| _{L^{p}({\mathbb {R}}^{2})}\lesssim \left\| \left[ \sum _{l\in {\mathbb {Z}}}\left| P_lf\right| ^2\right] ^{\frac{1}{2}}\right\| _{L^{p}({\mathbb {R}}^{2})}\lesssim \Vert f\Vert _{L^{p}({\mathbb {R}}^{2})}. \end{aligned}$$(3.14) -
\(\rhd \) Concerning the difference between \(H^{(I)}_{u,\gamma }P_lf\) and \({\tilde{H}}P_lf\), we recall that \(\rho \) is a non-negative smooth function obeying
$$\begin{aligned} {\left\{ \begin{array}{ll} \text {supp}\rho \subseteq \{s\in {\mathbb {R}}:\,\frac{1}{4}\le |\xi |\le 4\};\\ \rho (t)=1\ \ \forall \ \ t\in \{s\in {\mathbb {R}}:\,\frac{1}{2}\le |s|\le 2\}. \end{array}\right. } \end{aligned}$$Let
$$\begin{aligned} {\left\{ \begin{array}{ll}\rho _l(s):=\rho (2^{-l}s) \quad \forall \quad l\in {\mathbb {Z}};\\ {\mathbb {P}}_lf(x_1,x_2):=\int _{-\infty }^{\infty } f(x_1,x_2-s)\check{\rho _l}(s)\,\text {d}s. \end{array}\right. } \end{aligned}$$Then, taking Fourier transform gives
$$\begin{aligned} {\mathbb {P}}_lP_lf=P_lf. \end{aligned}$$(3.15)The difference between \(H^{(I)}_{u,\gamma }{\mathbb {P}}_lf\) and \({\tilde{H}}{\mathbb {P}}_lf\) can be written as
$$\begin{aligned} \mathrm {p.v.}\int _{|t|\le 2^{n_l(x_1)}} \int _{-\infty }^{\infty } f(x_1-t,x_2-s) \left[ {\check{\rho }}_l(s-u(x_1)\gamma (t))- {\check{\rho }}_l(s) \right] \,\text {d}s\phi (t)\,\frac{\text {d}t}{t}. \end{aligned}$$(3.16)By the mean value theorem, we have
$$\begin{aligned} | \check{\rho _l}(s-w)- \check{\rho _l}(s) |\lesssim |w|2^{2l}2^{-2j} \ \ \forall \ \ |w|\le 2^{-l} \end{aligned}$$if s is in the annulus
$$\begin{aligned} 2^{-l+j-1}\le |s|\le 2^{-l+j}\ \ \forall \ \ j\in {\mathbb {N}}. \end{aligned}$$Meanwhile, for \(j=0\), the estimate holds for all \(|s|\le 2^{-l}\). Because \(\gamma \) is increasing on \((0,\infty )\) and \(\gamma \) is either odd or even, from (3.10) it follows that
$$\begin{aligned} 2^l|u(x_1)\gamma (t)|\le 2^l|u(x_1)|\gamma (2^{n_l(x_1)})\le 1\ \ \forall \ \ |t|\le 2^{n_l(x_1)}. \end{aligned}$$Thus, the absolute value of (3.16) can be estimated by a positive constant multiplied by
$$\begin{aligned} \sum _{j\in {\mathbb {N}}} \int _{|t|\le 2^{n_l(x_1)}}\int _{|s|\le 2^{-l+j}} |f(x_1-t,x_2-s)| 2^{2l}2^{-2j}|u(x_1)|\left| \frac{\gamma (t)}{t}\right| \,\text {d}s\,\text {d}t. \end{aligned}$$(3.17)Notice that \(\frac{\gamma (t)}{t}\) is increasing on \((0,\infty )\), and \(\gamma \) is either odd or even. So we can use (3.10) to control (3.17) via
$$\begin{aligned}&\sum _{j\in {\mathbb {N}}} \int _{|t|\le 2^{n_l(x_1)}}\int _{|s|\le 2^{-l+j}} |f(x_1-t,x_2-s)| 2^{2l}2^{-2j}|u(x_1)|\left| \frac{\gamma ( 2^{n_l(x_1)})}{ 2^{n_l(x_1)}}\right| \,\text {d}s\,\text {d}t\nonumber \\&\ \ \ \lesssim \sum _{j\in {\mathbb {N}}}\frac{2^{-j}}{2^{n_l(x_1)}} \int _{|t|\le 2^{n_l(x_1)}} \frac{1}{2^{-l+j}} \int _{|s|\le 2^{-l+j}} |f(x_1-t,x_2-s)| \,\text {d}s\,\text {d}t \nonumber \\&\ \ \ \lesssim M_1M_2f(x_1,x_2). \end{aligned}$$(3.18)Therefore, the vector-valued estimates for \(M_1\) and \(M_2\), the Littlewood-Paley theory, (3.15), the triangle inequality and (3.18) yield
$$\begin{aligned} \left\| \left[ \sum _{l\in {\mathbb {Z}}}\left| H^{(I)}_{u,\gamma }P_lf-{\tilde{H}}P_lf\right| ^2\right] ^{\frac{1}{2}}\right\| _{L^{p}({\mathbb {R}}^{2})}&=\left\| \left[ \sum _{l\in {\mathbb {Z}}}\left| H^{(I)}_{u,\gamma }{\mathbb {P}}_lP_lf-{\tilde{H}}{\mathbb {P}}_lP_lf\right| ^2\right] ^{\frac{1}{2}}\right\| _{L^{p}({\mathbb {R}}^{2})}\nonumber \\&\lesssim \left\| \left[ \sum _{l\in {\mathbb {Z}}}\left| M_1M_2P_lf\right| ^2\right] ^{\frac{1}{2}}\right\| _{L^{p}({\mathbb {R}}^{2})}\nonumber \\&\lesssim \left\| f\right\| _{L^{p}({\mathbb {R}}^{2})}. \end{aligned}$$(3.19)From (3.14) and (3.19) it follows that
$$\begin{aligned} \left\| \left[ \sum _{l\in {\mathbb {Z}}}\left| H^{(I)}_{u,\gamma }P_lf\right| ^2\right] ^{\frac{1}{2}}\right\| _{L^{p}({\mathbb {R}}^{2})}\lesssim \left\| f\right\| _{L^{p}({\mathbb {R}}^{2})}. \end{aligned}$$ -
\(\rhd \) For the high-frequency part in (3.12), it is enough to show that there exists a convergent series \(\left\{ C_k\right\} _{k=0}^{\infty }\) such that for any \(k\ge 0\),
$$\begin{aligned} \left\| \left[ \sum _{l\in {\mathbb {Z}}}\left| H_{u,\gamma ,k+n_l(\cdot _1)}P_lf\right| ^2\right] ^{\frac{1}{2}}\right\| _{L^{p}({\mathbb {R}}^{2})}\lesssim C_k\left\| f\right\| _{L^{p}({\mathbb {R}}^{2})}. \end{aligned}$$(3.20)If \(p=2\), then noting that the bound in (2.10) is independent of u, we can replace u with \(2^lu\) in (2.10). By the Littlewood-Paley theory we have
$$\begin{aligned} \left\| \left[ \sum _{l\in {\mathbb {Z}}}\left| H_{u,\gamma ,k+n_l(\cdot _1)}P_lf\right| ^2\right] ^{\frac{1}{2}}\right\| _{L^{2}({\mathbb {R}}^{2})}\lesssim 2^{-\omega _0 k} \left\| f\right\| _{L^{2}({\mathbb {R}}^{2})} \end{aligned}$$(3.21)for some positive constant \(\omega _0\). So, it remains to verify that
$$\begin{aligned} \left\| \left[ \sum _{l\in {\mathbb {Z}}}\left| H_{u,\gamma ,k+n_l(\cdot _1)}P_lf\right| ^2\right] ^{\frac{1}{2}}\right\| _{L^{p}({\mathbb {R}}^{2})}\lesssim k^2\left\| f\right\| _{L^{p}({\mathbb {R}}^{2})} \end{aligned}$$(3.22)holds for all \(2\not =p\in (1,\infty )\), since (3.20) follows from the interpolation between (3.21) and (3.22). Notice that
$$\begin{aligned}&H_{u,\gamma ,k+n_l(x_1)}{\mathbb {P}}_lf(x_1,x_2)\nonumber \\&\ \ \ = \int _{-\infty }^{\infty } \int _{-\infty }^{\infty } f(x_1-t,x_2-u(x_1)\gamma (t)-s) \frac{\psi _{k+n_l(x_1)}(t)}{t}\check{\rho _l}(s)\,\text {d}t\,\text {d}s\nonumber \\&\ \ \ \le \int _{\frac{1}{2}2^{k+n_l(x_1)}\le |t|\le 2\cdot 2^{k+n_l(x_1)}} \int _{-\infty }^{\infty }| f(x_1-t,x_2\nonumber \\&\quad -u(x_1)\gamma (t)-s)|\left| \frac{\psi _{k+n_l(x_1)}(t)}{t} \right| |\check{\rho _l}(s)|\,\text {d}s\,\text {d}t\nonumber \\&\ \ \ \lesssim \frac{1}{2^{k+n_l(x_1)}}\int _{\frac{1}{2}2^{k+n_l(x_1)}\le |t|\le 2\cdot 2^{k+n_l(x_1)}} \int _{-\infty }^{\infty }| f(x_1-t,x_2\nonumber \\&\quad -u(x_1)\gamma (t)-2^{-l}s)| |{\check{\rho }}(s)|\,\text {d}s\,\text {d}t\nonumber \\&\ \ \ \lesssim \sum _{\tau \in {\mathbb {Z}}} \frac{(1+|\tau |)^{-4}}{2^{k+n_l(x_1)}}\int _{\frac{1}{2}2^{k+n_l(x_1)}\le |t|\le 2\cdot 2^{k+n_l(x_1)}} \int _\tau ^{\tau +1}| f(x_1-t,x_2\nonumber \\&\quad -u(x_1)\gamma (t)-2^{-l}s)| \,\text {d}s\,\text {d}t\nonumber \\&\ \ \ \lesssim \sum _{\tau \in {\mathbb {Z}}} \frac{(1+|\tau |)^{-4}}{2^{k+n_l(x_1)}} \int _{\frac{1}{2}2^{k+n_l(x_1)}\le |t|\le 2\cdot 2^{k+n_l(x_1)}} \int _0^{1}| f(x_1-t,x_2\nonumber \\&\quad -u(x_1)\gamma (t)-2^{-l}(s+\tau ))|\, \text {d}s\,\text {d}t. \end{aligned}$$(3.23)So, we are led to control the last term in (3.23) by
$$\begin{aligned} \sum _{\tau \in {\mathbb {Z}}} \frac{1}{(1+|\tau |)^{4}N_k}\sum _{m=0}^{N_k-1}\frac{1}{|I_m|}\int _{I_m} M_2^{(\sigma _m^{(2)})}f(x_1-t,x_2) \,\text {d}t, \end{aligned}$$where \(\left\{ I_m\right\} _{m=0}^{N_k-1}\) and the shifted maximal operator \(M_2^{(\sigma _m^{(2)})}\) will be given below. By a scaling argument, it suffices to prove
$$\begin{aligned}&\sum _{\tau \in {\mathbb {Z}}} \frac{(1+|\tau |)^{-4}}{2^{k+n_l(x_1)}}\int _{\frac{1}{2}2^{k+n_l(x_1)}\le |t|\le 2\cdot 2^{k+n_l(x_1)}} \int _0^{1}| f(x_1-t,x_2\nonumber \\&\quad -2^lu(x_1)\gamma (t)-s-\tau )| \,\text {d}s\,\text {d}t\nonumber \\&\ \ \lesssim \sum _{\tau \in {\mathbb {Z}}} \frac{1}{(1+|\tau |)^{4}N_k}\sum _{m=0}^{N_k-1}\frac{1}{|I_m|}\int _{I_m} M_2^{(\sigma _m^{(2)})}f(x_1-t,x_2) \,\text {d}t. \end{aligned}$$(3.24)We cover the region
$$\begin{aligned} \left\{ t\in {\mathbb {R}}:\,\frac{1}{2}2^{k+n_l(x_1)}\le |t|\le 2\cdot 2^{k+n_l(x_1)}\right\} \end{aligned}$$by intervals \(\left\{ I_m\right\} _{m=0}^{N_k-1}\), where
$$\begin{aligned} I_m&:=\left\{ t\in {\mathbb {R}}:\,\frac{1}{2}2^{k+n_l(x_1)}+\frac{m}{2^l|u(x_1)| \gamma '(2^{k+n_l(x_1)})}\le |t| \right. \\&\quad \left. \le \frac{1}{2}2^{k+n_l(x_1)}+\frac{m+1}{2^l|u(x_1)| \gamma '(2^{k+n_l(x_1)})} \right\} \end{aligned}$$and \(N_k\in {\mathbb {N}}\) enjoys
$$\begin{aligned} {3}\cdot 2^{k+n_l(x_1)-1}\le \frac{N_k}{2^l|u(x_1)| \gamma '(2^{k+n_l(x_1)})}\le 2 \cdot 2^{k+n_l(x_1)}. \end{aligned}$$(3.25)Therefore,
$$\begin{aligned} |I_m|=\frac{1}{2^l|u(x_1)|\gamma '(2^{k+n_l(x_1)})}, \end{aligned}$$which implies
$$\begin{aligned} \frac{1}{2^{1+k+n_l(x_1)}}\le \frac{1}{N_k\cdot |I_m|}\le \frac{1}{3\cdot 2^{k+n_l(x_1)-1}}. \end{aligned}$$(3.26)Thus, the first term in (3.24) can be controlled by
$$\begin{aligned} \sum _{\tau \in {\mathbb {Z}}} \frac{1}{(1+|\tau |)^{4}N_k}\sum _{m=0}^{N_k-1}\frac{1}{|I_m|}\int _{I_m} \int _0^{1}| f(x_1-t,x_2-2^lu(x_1)\gamma (t)-s-\tau )| \,\text {d}s\,\text {d}t. \end{aligned}$$(3.27)Without loss of generality, we may denote
$$\begin{aligned} {\Re }_m:=\left\{ (t,2^lu(x_1)\gamma (t)+s+\tau )\in {\mathbb {R}}^2:\,t\in I_m, s\in (0,1) \right\} \subseteq I_m\times J_m, \end{aligned}$$where
$$\begin{aligned} {\left\{ \begin{array}{ll}J_m:=\left[ Ja,Jb\right] ;\\ Ja:=2^l|u(x_1)|\gamma \left( \frac{1}{2}2^{k+n_l(x_1)}+\frac{m}{2^l|u(x_1)| \gamma '(2^{k+n_l(x_1)})}\right) +\tau ;\\ Jb:=2^l|u(x_1)|\gamma \left( \frac{1}{2}2^{k+n_l(x_1)}+\frac{m+1}{2^l|u(x_1)| \gamma '(2^{k+n_l(x_1)})}\right) +1+\tau . \end{array}\right. } \end{aligned}$$We can show
$$\begin{aligned} |J_m|\approx 1. \end{aligned}$$(3.28)In fact, the mean value theorem implies
$$\begin{aligned} |J_m|= & {} 1+\frac{1}{ \gamma '(2^{k+n_l(x_1)})} \gamma '\left( \frac{1}{2}2^{k+n_l(x_1)}+\frac{m+\theta }{2^l|u(x_1)| \gamma '(2^{k+n_l(x_1)})}\right) \\&\text {for some}\ \ \theta \in [0,1]. \end{aligned}$$It is easy to see
$$\begin{aligned} |J_m|\ge 1. \end{aligned}$$(3.29)Also, from \(\theta \in [0,1]\) and (3.25) it follows that
$$\begin{aligned} m+\theta \le N_k-1+\theta \le N_k \le 2 \cdot 2^{k+n_l(x_1)}2^l|u(x_1)| \gamma '(2^{k+n_l(x_1)}). \end{aligned}$$Since \(\gamma '\) is increasing on \((0,\infty )\) and
$$\begin{aligned} \frac{\gamma '(2t)}{\gamma '(t)}\le C_1\ \ \forall \ \ t\in (0,\infty ), \end{aligned}$$we obtain
$$\begin{aligned} |J_m| \le 1+\frac{\gamma '(4\cdot 2^{k+n_l(x_1)})}{ \gamma '(2^{k+n_l(x_1)})} = 1+\frac{\gamma '(4\cdot 2^{k+n_l(x_1)})}{ \gamma '(2\cdot 2^{k+n_l(x_1)})}\frac{\gamma '(2\cdot 2^{k+n_l(x_1)})}{ \gamma '(2^{k+n_l(x_1)})} \le 1+C^2_1. \end{aligned}$$(3.30)Now, both (3.29) and (3.30) yield (3.28). Furthermore, (3.27) is bounded by
$$\begin{aligned} \sum _{\tau \in {\mathbb {Z}}} \frac{1}{(1+|\tau |)^{4}N_k} \sum _{m=0}^{N_k-1}\frac{1}{|I_m|}\int _{I_m} \frac{1}{|J_m|}\int _{J_m} | f(x_1-t,x_2-s)|\,\text {d}s\, \text {d}t. \end{aligned}$$(3.31)Given a non-negative parameter \(\sigma \), the shifted maximal operator is defined by
$$\begin{aligned} M^{(\sigma )}f(z):=\sup _{z\in I \subset {\mathbb {R}} }\frac{1}{|I|} \int _{I^{(\sigma )}}|f(\zeta )|\,\text {d}\zeta , \end{aligned}$$where \(I^{(\sigma )}\) denotes a shift of the interval \(I:=[a,b]\) given by
$$\begin{aligned} I^{(\sigma )}:=[a-\sigma \cdot |I|,b-\sigma \cdot |I|]\cup [a+\sigma \cdot |I|,b+\sigma \cdot |I|]. \end{aligned}$$Upon observing
$$\begin{aligned} \frac{1}{|J_m|}\int _{J_m} | f(x_1-t,x_2-s)| \text {d}s\le M_2^{(\sigma _m^{(2)})}f(x_1-t,x_2), \end{aligned}$$(3.32)where \(M_2^{(\sigma _m^{(2)})}\) is a shifted maximal operator applied to the second variable and
$$\begin{aligned} \sigma _m^{(2)}:=\frac{2^l|u(x_1)|}{|J_m|}\gamma \left( \frac{1}{2}2^{k+n_l(x_1)}+\frac{m}{2^l|u(x_1)| \gamma '(2^{k+n_l(x_1)})}\right) +\frac{\tau }{|J_m|}, \end{aligned}$$and a combination of (3.31) and (3.32) derives (3.24). Altogether, we obtain
$$\begin{aligned} |H_{u,\gamma ,k+n_l(x_1)}{\mathbb {P}}_lf(x_1,x_2)| \lesssim \sum _{\tau \in {\mathbb {Z}}} \frac{1}{(1+|\tau |)^{4}N_k}\sum _{m=0}^{N_k-1}\frac{1}{|I_m|}\int _{I_m} M_2^{(\sigma _m^{(2)})}f(x_1-t,x_2) \,\text {d}t \end{aligned}$$(3.33)for any \(l\in {\mathbb {Z}}\), thereby using (3.15) to reach
$$\begin{aligned} |H_{u,\gamma ,k+n_l(x_1)}P_lf(x_1,x_2)| \lesssim \sum _{\tau \in {\mathbb {Z}}} \frac{1}{(1+|\tau |)^{4}N_k}\sum _{m=0}^{N_k-1}\frac{1}{|I_m|}\int _{I_m} M_2^{(\sigma _m^{(2)})}P_lf(x_1-t,x_2) \,\text {d}t \end{aligned}$$(3.34)for any \(l\in {\mathbb {Z}}\).
Since \(\gamma (0)=0\), Remark 1.2 and Cauchy’s mean value theorem imply
Notice that \(\gamma \) is increasing on \((0,\infty )\). So combining
and (3.10), (3.25), (3.28), we obtain
From [12, Theorem 3.1], (3.35) and the Littlewood-Paley theory, we obtain the following vector-valued estimate for the one-dimensional shifted maximal operator:
Combining (3.34), the triangle inequality and Minkowski’s inequality yields that the left-hand side of (3.22) is controlled by
Consequently, the above expression is bounded by
With the help of (3.25) and (3.26), we can control the above term by
Accordingly, we obtain (3.22), thereby completing the proof of Theorem 1.1 for \(H_{u,\gamma }\). \(\square \)
References
Bateman, M.: Single annulus \(L^p\) estimates for Hilbert transforms along vector fields. Rev. Mat. Iberoam. 29(3), 1021–1069 (2013)
Bateman, M., Thiele, C.: \(L^p\) estimates for the Hilbert transforms along a one-variable vector field. Anal. PDE 6(7), 1577–1600 (2013)
Bennett, J.M.: Hilbert transforms and maximal functions along variable flat curves. Trans. Am. Math. Soc. 354(12), 4871–4892 (2002)
Carbery, A., Christ, M., Vance, J., Wainger, S., Watson, D.: Operators associated to flat plane curves: \(L^p\) estimates via dilation methods. Duke Math. J. 59(3), 675–700 (1989)
Carbery, A., Vance, J., Wainger, S., Watson, D.: The Hilbert transform and maximal function along flat curves, dilations, and differential equations. Am. J. Math. 116(5), 1203–1239 (1994)
Carbery, A., Wainger, S., Wright, J.: Hilbert transforms and maximal functions along variable flat plane curves, J. Fourier Anal. Appl. Special Issue, 119–139 (1995)
Carleson, L.: On convergence and growth of partial sums of Fourier series. Acta Math. 116, 135–157 (1966)
Carlsson, H., Christ, M., Córdoba, A., Duoandikoetxea, J., de Rubio, F.J.L., Vance, J., Wainger, S., Weinberg, D.: \(L^p\) estimates for maximal functions and Hilbert transforms along flat convex curves in \({\mathbb{R}}^{2}\). Bull. Am. Math. Soc. (N.S.) 14(2), 263–267 (1986)
Chen, J., Zhu, X.: \(L^2\)-boundedness of Hilbert transforms along variable curves. J. Math. Anal. Appl. 395(2), 515–522 (2012)
Fefferman, C.: Pointwise convergence of Fourier series. Ann. Math. 98(2), 551–571 (1973)
Guo, S.: Oscillatory integrals related to Carleson’s theorem: fractional monomials. Commun. Pure Appl. Anal. 15(3), 929–946 (2016)
Guo, S., Hickman, J., Lie, V., Roos, J.: Maximal operators and Hilbert transforms along variable non-flat homogeneous curves. Proc. Lond. Math. Soc. 115(1), 177–219 (2017)
Guo, S., Pierce, L.B., Roos, J., Yung, P.: Polynomial Carleson operators along monomial curves in the plane. J. Geom. Anal. 27(4), 2977–3012 (2017)
Hunt, R.A.: On the convergence of Fourier series, In: Orthogonal Expansions and their Continuous Analogues (Proceedings of the Conference Edwardsville, Ill., 1967), pp. 235–255 (1968)
Lacey, M., Li, X.: Maximal theorems for the directional Hilbert transform on the plane. Trans. Am. Math. Soc. 358(9), 4099–4117 (2006)
Lacey, M., Thiele, C.: A proof of boundedness of the Carleson operator. Math. Res. Lett. 7(4), 361–370 (2000)
Li, J., Yu, H.: \(L^2\) boundedness of Hilbert transforms along variable flat curves. Math. Z. 298(3–4), 1573–1591 (2021)
Nagel, A., Vance, J., Wainger, S., Weinberg, D.: Hilbert transforms for convex curves. Duke Math. J. 50(3), 735–744 (1983)
Phong, D.H., Stein, E.M.: Hilbert integrals, singular integrals, and Radon transforms.I. Acta Math. 157(1–2), 99–157 (1986)
Prestini, E., Sjölin, P.: A Littlewood-Paley inequality for the Carleson operator. J. Fourier Anal. Appl. 6(5), 457–466 (2000)
Stein, E.M.: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton Mathematical Series, Monographs in Harmonic Analysis III, vol. 43. Princeton University Press, Princeton (1993)
Stein, E.M., Wainger, S.: Problems in harmonic analysis related to curvature. Bull. Am. Math. Soc. 84(6), 1239–1295 (1978)
Stein, E.M., Wainger, S.: Oscillatory integrals related to Carleson’s theorem. Math. Res. Lett. 8(5–6), 789–800 (2001)
Vance, J., Wainger, S., Wright, J.: The Hilbert transform and maximal function along nonconvex curves in the plane. Rev. Mat. Iberoam. 10(1), 93–121 (1994)
Wright, J.: \(L^p\) estimates for operators associated to oscillating plane curves. Duke Math. J. 67(1), 101–157 (1992)
Acknowledgements
The authors would like to thank Professors Jie Xiao and Dachun Yang for the many valuable comments and discussions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Yang Wang.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Junfeng Li is supported by NSFC (No. 12071052) and the Fundamental Research Funds for the Central Universities. Haixia \(\hbox {Yu}^*\) (the corresponding author) is supported by STU Scientific Research Foundation for Talents (No. NTF21038) and Guangdong Basic and Applied Basic Research Foundation (No. 2020A1515110241)
Rights and permissions
About this article
Cite this article
Li, J., Yu, H. \(L^{p}\) Boundedness of Carleson & Hilbert Transforms Along Plane Curves with Certain Curvature Constraints. J Fourier Anal Appl 28, 11 (2022). https://doi.org/10.1007/s00041-021-09902-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00041-021-09902-6