arXiv subjects
Publications and source records attributed to Cristina Benea.
We prove the boundedness of a trilinear operator that is modulation invariant and which contains curvature information given by the presence of a complex exponential, adding to the small class of examples of such operators.
We prove multi-parameter Leibniz rules corresponding to flag paraproducts of arbitrary complexity in mixed-norm spaces, including endpoint estimates. The proof relies on multi-linear harmonic analysis techniques and a quantitative treatment of the commutators introduced by Bourgain and Li. The argument is robust and applicable to a generic class of multipliers, including (symmetric) Mikhlin multipliers of positive order and asymmetric variants of partial differential operators and Mikhlin multipliers of positive order.
In this paper we introduce the class of bilinear Hilbert--Carleson operators $\{BC^a\}_{a>0}$ defined by $$ BC^{a}(f,g)(x):= \sup_{λ\in {\mathbb R}} \Big|\int f(x-t)\, g(x+t)\, e^{iλt^a} \, \frac{dt}{t} \Big| $$ and show that in the non-resonant case $a\in (0,\infty)\setminus\{1,2\}$ the operator $BC^a$ extends continuously from $L^p({\mathbb R})\times L^q({\mathbb R})$ into $L^r({\mathbb R})$ whenever $\frac{1}{p}+\frac{1}{q}=\frac{1}{r}$ with $1<p,\,q\leq\infty$ and $\frac{2}{3}<r<\infty$. A key novel feature of these operators is that -- in the non-resonant case -- $BC^{a}$ has a \emph{hybrid} nature enjoying both (1) ``zero curvature'' features inherited from the modulation invariance property of the classical bilinear Hilbert transform (BHT), and (2) ``non-zero curvature'' features arising from the Carleson-type operator with nonlinear phase $λt^a$.
We prove multiple vector-valued and mixed-norm estimates for multilinear operators in $\rr R^d$, more precisely for multilinear operators $T_k$ associated to a symbol singular along a $k$-dimensional space and for multilinear variants of the Hardy-Littlewood maximal function. When the dimension $d \geq 2$, the input functions are not necessarily in $L^p(\rr R^d)$ and can instead be elements of mixed-norm spaces $L^{p_1}_{x_1} \ldots L^{p_d}_{x_d}$. Such a result has interesting consequences especially when $L^\infty$ spaces are involved. Among these, we mention mixed-norm Loomis-Whitney-type inequalities for singular integrals, as well as the boundedness of multilinear operators associated to certain rational symbols. We also present examples of operators that are not susceptible to isotropic rescaling, which only satisfy ``purely mixed-norm estimates" and no classical $L^p$ estimates. Relying on previous estimates implied by the helicoidal method, we also prove (non-mixed-norm) estimates for generic singular Brascamp-Lieb-type inequalities.
We prove that for any $L^Q$-valued Schwartz function $f$ defined on $\mathbb{R}^d$, one has the multiple vector-valued, mixed norm estimate $$ \| f \|_{L^P(L^Q)} \lesssim \| S f \|_{L^P(L^Q)} $$ valid for every $d$-tuple $P$ and every $n$-tuple $Q$ satisfying $0 < P, Q < \infty$ componentwise. Here $S:= S_{d_1}\otimes ... \otimes S_{d_N}$ is a tensor product of several Littlewood-Paley square functions $S_{d_j}$ defined on arbitrary Euclidean spaces $\mathbb{R}^{d_j}$ for $1\leq j\leq N$, with the property that $d_1 + ... + d_N = d$. This answers a question that came up implicitly in our recent works and completes in a natural way classical results of the Littlewood-Paley theory. The proof is based on the \emph{helicoidal method} introduced by the authors.
Using exclusively the localized estimates upon which the helicoidal method was built, we show how sparse estimates can also be obtained. This approach yields a sparse domination for multiple vector-valued extensions of operators as well. We illustrate these ideas for an $n$-linear Fourier multiplier whose symbol is singular along a $k$-dimensional subspace of $Γ=\lbrace ξ_1+\ldots+ξ_{n+1}=0 \rbrace$, where $k<\dfrac{n+1}{2}$, and for the variational Carleson operator.
This is an expository paper on the helicoidal method, a tool designed for proving multiple vector-valued inequalities for operators in harmonic analysis, which is based on stopping times and localizations. As it turns out, the local estimate can be used for proving sparse domination for the scalar operator and its multiple vector-valued extensions, and hence also weighted estimates.
Nous poursuivons l'étude d'un contrôle épars d'un opérateur singulier. Plus précisément nous expliquons comment on peut conserver certaines propriétés de l'opérateur initial à travers un tel contrôle et décrivons quelques applications: bornitude de l'adjoint de la transformée de Riesz et du projecteur de Leray. De plus, nous nous intéresserons à donner un regard nouveau sur les dominations éparses à travers les oscillations et les fonctions carrées localisées. Aussi, nous dévoilerons une connexion entre les bons intervalles de la décomposition éparse et une décomposition atomique. We pursue the study of a sparse control for a singular operator. More precisely, we describe how one can track some properties of the initial operator, through such a control and describe also some applications: boundedness of the adjoint of a Riesz transform and of the Leray projector. Moreover, we will be interested in giving a new insight on the sparse domination through the oscillations and the localized square functions. Also, we will reveal a connection between the good intervals of the sparse domination and the atomic decomposition for a function in a Hardy space.
We extend the helicoidal method that we previously developed to the quasi-Banach context, proving in this way multiple Banach and quasi-Banach vector-valued inequalities for paraproducts $Π$ and for the bilinear Hilbert transform $BHT$. As an immediate application, we obtain mixed norm estimates for $Π\otimes Π$ in the whole range of Lebesgue exponents. One of the novelties in the quasi-Banach framework (that is, when $0<r<1$), which we expect to be useful in other contexts as well, is the "linearization" of the operator $ \left( \sum_k | T(f_k, g_k) |^r \right)^{1/r}$ by dualizing its weak-$L^p$ quasinorms through $L^r$. Another important role is played by the sharp evaluation of the operatorial norm $\| T_{I_0}(f \cdot \mathbf{1}_F, g \cdot \mathbf{1}_G) \cdot \mathbf{1}_{H'}\|_r$, which is obtained by dualizing the weak-$L^p$ quasinorms through $L^τ$, with $τ\leq r$. In the Banach case, the linearization of the operator and the sharp estimates for the localized operatorial norm can be both achieved through the classical (generalized restricted type) $L^1$ dualization.
We develop a new method of proving vector-valued estimates in harmonic analysis, which we like to call "the helicoidal method". As a consequence of it, we are able to give affirmative answers to some questions that have been circulating for some time. In particular, we show that the tensor product $BHT \otimes Π$ between the bilinear Hilbert transform $BHT$ and a paraproduct $Π$ satisfies the same $L^p$ estimates as the $BHT$ itself, solving completely a problem introduced in a paper of Muscalu, Pipher, Tao and Thiele. Then, we prove that for "locally $L^2$ exponents" the corresponding vector valued $\overrightarrow{BHT}$ satisfies (again) the same $L^p$ estimates as the $BHT$ itself. Before the present work there was not even a single example of such exponents. Finally, we prove a bi-parameter Leibniz rule in mixed norm $L^p$ spaces, answering a question of Kenig in nonlinear dispersive PDE.
We use the very recent approach developed by Lacey in [23] and extended by Bernicot-Frey-Petermichl in [3], in order to control Bochner-Riesz operators by a sparse bilinear form. In this way, new quantitative weighted estimates, as well as vector-valued inequalities are deduced.
We prove the boundedness of a smooth bilinear Rubio de Francia operator associated with an arbitrary collection of squares (with sides parallel to the axes) in the frequency plane\[\left(f, g \right)\mapsto \left( \sum\_{ω\in Ω}\left| \int\_{\mathbb{R}^2} \hat{f}(ξ) \hat{g}(η) Φ\_ω(ξ, η) e^{2 πi x\left(ξ+η\right)} d ξd η\right|^r \right)^{1/r},\] provided $r\textgreater{}2$. More exactly, we show that the above operator maps $L^p \times L^q \to L^s$ whenever $p, q, s'$ are in the "local $L^{r'}$" range, i.e. $\displaystyle \frac{1}{p}+\frac{1}{q}+\frac{1}{s'}=1$, $\displaystyle0 \leq \frac{1}{p}, \frac{1}{q} \textless{}\frac{1}{r'}$, and $\displaystyle\frac{1}{s'}\textless{}\frac{1}{r'}$. Note that we allow for negative values of $s'$, which correspond to quasi-Banach spaces $L^s$.