The Marcinkiewicz multiplier condition for bilinear operators

This article is concerned with the question of whether Marcinkiewicz multipliers on $\mathbb R^{2n}$ give rise to bilinear multipliers on $\mathbb R^n\times \mathbb R^n$. We show that this is not always the case. Moreover we find necessary and sufficient conditions for such bilinear multipliers to be bounded. These conditions in particular imply that a slight logarithmic modification of the Marcinkiewicz condition gives multipliers for which the corresponding bilinear operators are bounded on products of Lebesgue and Hardy spaces.Comment: 42 page

Multilinear Calder\'on-Zygmund operators on Hardy spaces

It is shown that multilinear Calder\'on-Zygmund operators are bounded on products of Hardy spaces.Comment: 10 page

The H\"ormander Multiplier Theorem III: The complete bilinear case via interpolation

We develop a special multilinear complex interpolation theorem that allows us to prove an optimal version of the bilinear H\"ormander multiplier theorem concerning symbols that lie in the Sobolev space $L^r_s(\mathbb R^{2n})$, $2\le r2n$, uniformly over all annuli. More precisely, given a smoothness index $s$, we find the largest open set of indices $(1/p_1,1/p_2 )$ for which we have boundedness for the associated bilinear multiplier operator from $L^{p_1}(\mathbb R^{ n})\times L^{p_2} (\mathbb R^{ n})$ to $L^p(\mathbb R^{ n})$ when $1/p=1/p_1+1/p_2$, $1<p_1,p_2<\infty$

Rough Bilinear Singular Integrals

We study the rough bilinear singular integral, introduced by Coifman and Meyer , $$T_\Omega(f,g)(x)=p.v. \! \int_{\mathbb R^{n}}\! \int_{\mathbb R^{n}}\! |(y,z)|^{-2n} \Omega((y,z)/|(y,z)|)f(x-y)g(x-z) dydz,$$ when $\Omega$ is a function in $L^q(\mathbb S^{2n-1})$ with vanishing integral and $2\le q\le \infty$. When $q=\infty$ we obtain boundedness for $T_\Omega$ from $L^{p_1}(\mathbb R^n)\times L^{p_2}(\mathbb R^n)$ to $L^p(\mathbb R^n)$ when $1<p_1, p_2<\infty$ and $1/p=1/p_1+1/p_2$. For $q=2$ we obtain that $T_\Omega$ is bounded from $L^{2}(\mathbb R^n)\times L^{ 2}(\mathbb R^n)$ to $L^1(\mathbb R^n)$. For $q$ between $2$ and infinity we obtain the analogous boundedness on a set of indices around the point $(1/2,1/2,1)$. To obtain our results we introduce a new bilinear technique based on tensor-type wavelet decompositions.Comment: 23 page

The multilinear Hormander multiplier theorem with a Lorentz-Sobolev condition

In this article, we provide a multilinear version of the H\"ormander multiplier theorem with a Lorentz-Sobolev space condition. The work is motivated by the recent result of the first author and Slav\'ikov\'a where an analogous version of classical H\"ormander multiplier theorem was obtained; this version is sharp in many ways and reduces the number of indices that appear in the statement of the theorem. As a natural extension of the linear case, in this work, we prove that if $mn/2<s<mn$, then $$\big\Vert T_{\sigma}(f_1,\dots,f_m)\big\Vert_{L^p((\mathbb{R})^n)}\lesssim \sup_{k\in\mathbb{Z}}\big\Vert \sigma(2^k\;\vec{\cdot}\;)\widehat{\Psi^{(m)}}\big\Vert_{L_{s}^{mn/s,1}(\mathbb{R}^{mn})}\Vert f_1\Vert_{L^{p_1}((\mathbb{R})^n)}\cdots \Vert f_m\Vert_{L^{p_m}((\mathbb{R})^n)}$$ for certain $p,p_1,\dots,p_m$ with $1/p=1/p_1+\dots+1/p_m$. We also show that the above estimate is sharp, in the sense that the Lorentz-Sobolev space $L_s^{mn/s,1}$ cannot be replaced by $L_{s}^{r,q}$ for $r<mn/s$, $0<q\leq \infty$, or by $L_s^{mn/s,q}$ for $q>1$

On maximal functions for Mikhlin-Hoermander multipliers

Given Mikhlin-H\"ormander multipliers $m_i$, $i=1,..., N$, with uniform estimates we prove an optimal $\sqrt{\log(N+1)}$ bound in $L^p$ for the maximal function \sup_i|\cF^{-1}[m_i\hat f]| and related bounds for maximal functions generated by dilations

Multilinear interpolation between adjoint operators

Multilinear interpolation is a powerful tool used in obtaining strong type boundedness for a variety of operators assuming only a finite set of restricted weak-type estimates. A typical situation occurs when one knows that a multilinear operator satisfies a weak $L^q$ estimate for a single index $q$ (which may be less than one) and that all the adjoints of the multilinear operator are of similar nature, and thus they also satisfy the same weak $L^q$ estimate. Under this assumption, in this expository note we give a general multilinear interpolation theorem which allows one to obtain strong type boundedness for the operator (and all of its adjoints) for a large set of exponents. The key point in the applications we discuss is that the interpolation theorem can handle the case $q \leq 1$. When $q > 1$, weak $L^q$ has a predual, and such strong type boundedness can be easily obtained by duality and multilinear interpolation.Comment: 6 pages, no figures, submitted, J. Funct. Ana

A sharp version of the H\"ormander multiplier theorem

We provide an improvement of the H\"ormander multiplier theorem in which the Sobolev space $L^r_s(\mathbb R^n)$ with integrability index $r$ and smoothness index $s>n/r$ is replaced by the Sobolev space with smoothness $s$ built upon the Lorentz space $L^{n/s,1}(\mathbb R^n)$

Certain Multi(sub)linear square functions

Let $d\ge 1, \ell\in\Z^d$, $m\in \mathbb Z^+$ and $\theta_i$, $i=1,\dots,m$ are fixed, distinct and nonzero real numbers. We show that the $m$-(sub)linear version below of the Ratnakumar and Shrivastava \cite{RS1} Littlewood-Paley square function $$T(f_1,\dots , f_m)(x)=\Big(\sum\limits_{\ell\in\Z^d}|\int_{\mathbb{R}^d}f_1(x-\theta_1 y)\cdots f_m(x-\theta_m y)e^{2\pi i \ell \cdot y}K (y)dy|^2\Big)^{1/2}$$ is bounded from $L^{p_1}(\mathbb{R}^d) \times\cdots\times L^{p_m}(\mathbb{R}^d)$ to $L^p(\mathbb{R}^d)$ when $2\le p_i<\infty$ satisfy $1/p=1/p_1+\cdots+1/p_m$ and $1\le p<\infty$. Our proof is based on a modification of an inequality of Guliyev and Nazirova \cite{GN} concerning multilinear convolutions.Comment: 10 page

The H\"ormander multiplier theorem I: The Linear Case

We discuss $L^p(\mathbb R^n)$ boundedness for Fourier multiplier operators that satisfy the hypotheses of the H\"ormander multiplier theorem in terms of an optimal condition that relates the distance $|\frac 1p-\frac12|$ to the smoothness $s$ of the associated multiplier measured in some Sobolev norm. We provide new counterexamples to justify the optimality of the condition $|\frac 1p-\frac12|<\frac sn$ and we discuss the endpoint case $|\frac 1p-\frac12|=\frac sn$.Comment: 15 page