In this article, we provide a multilinear version of the Hörmander multiplier theorem with a Lorentz-Sobolev space condition. The work is motivated by the recent result of the first author and Slavíková where an analogous version of classical Hörmander 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_σ(f_1,\dots,f_m)\big\Vert_{L^p((\mathbb{R})^n)}\lesssim \sup_{k\in\mathbb{Z}}\big\Vert σ(2^k\;\vec{\cdot}\;)\widehat{Ψ^{(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$.
In this note, we show that if $T$ is a multilinear singular integral operator associated with a kernel satisfies the so-called multilinear $L^{r}$-Hörmander condition, then $T$ can be dominated by multilinear sparse operators.
The multilinear pseudo-differential operators with symbols in the multilinear Hörmander class $S_{0,0}$ are considered. A complete identification of the cases where those operators define bounded operators between local Hardy spaces is given. Some results for the boundedness between Wiener amalgam spaces are also given. These are extensions and improvements of the results known in the bilinear case.
As the classical $(p,q)$-Poincaré inequality is known to fail for $0 < p < 1$, we introduce the notion of weighted multilinear Poincaré inequality as a natural alternative when $m$-fold products and $1/m < p$ are considered. We prove such weighted multilinear Poincaré inequalities in the subelliptic context associated to vector fields of Hörmader type. We do so by establishing multilinear representation formulas and weighted estimates for multilinear potential operators in spaces of homogeneous type.
We discuss the Hörmander multiplier theorem for $L^p$ boundedness of Fourier multipliers in which the multiplier belongs to a fractional Sobolev space with smoothness $s$. We show that this theorem does not hold in the limiting case $|1/p-1/2|=s/n$.
We provide an improvement of the Hörmander 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)$.
We discuss $L^p(\mathbb R^n)$ boundedness for Fourier multiplier operators that satisfy the hypotheses of the Hörmander 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$.
We use wavelets of tensor product type to obtain the boundedness of bilinear multiplier operators on $\mathbb R^n\times \mathbb R^n$ associated with Hörmander multipliers on $\mathbb R^{2n}$ with minimal smoothness. We focus on the local $L^2$ case and we obtain boundedness under the minimal smoothness assumption of $n/2$ derivatives. We also provide counterexamples to obtain necessary conditions for all sets of indices.
We prove a Hörmander type multiplier theorem for multilinear Fourier multipiers with multiple weights. We also give weighted estimates for their commutators with vector $BMO$ functions.
We consider the boundedness of the multilinear pseudo-differential operators with symbols in the multilinear Hörmander class $S_{0,0}$. The aim of this paper is to discuss smoothness conditions for symbols to assure the boundedness between local Hardy spaces.
In this paper, we study properties of the bilinear multiplier space. We give a necessary condition for a continuous integrable function to be a bilinear multiplier on variable exponent Lebesgue spaces. And we prove the localization theorem of multipliers on variable exponent Lebesgue spaces. Moreover, we present a Mihlin-Hörmander type theorem for multilinear Fourier multipliers on weighted variable Lebesgue spaces and give some applications.
Let $T$ be a multilinear operator which is bounded on certain products of unweighted Lebesgue spaces of $\mathbb R^n$. We assume that the associated kernel of $T$ satisfies some mild regularity condition which is weaker than the usual Hölder continuity of those in the class of multilinear Calderón-Zygmund singular integral operators. We then show the boundedness for $T$ and the boundedness of the commutator of $T$ with BMO functions on products of weighted Lebesgue spaces of $\mathbb R^n$. As an application, we obtain the weighted norm inequalities of multilinear Fourier multipliers and of the…
In this paper, we study multilinear Fourier multiplier operators on Hardy spaces. In particular, we prove that the multilinear Fourier multiplier operator of Hörmander type is bounded from $H^{p_1} \times \cdots \times H^{p_m}$ to $H^p$ for $0<p_1,\dots,p_m\le 1$ with $1/p_1 + \cdots 1/p_m = 1/p$, under suitable cancellation conditions. As a result, we extend the trilinear estimates of the authors(arXiv:2107.00225) to general multilinear ones and improve the boundedness result of the authors, Lee, Heo, Hong, Park, and Yang(Math. Ann. 381 : 499-555, 2021) in limiting situations.
Here a new condition for the geometry of Banach spaces is introduced and the operator--valued Fourier multiplier theorems in weighted Besov spaces are obtained. Particularly, connections between the geometry of Banach spaces and Hormander-Mikhlin conditions are established. As an application of main results the regularity properties of degenerate elliptic differential operator equations are investigated.
We introduce multilinear analogues of dyadic paraproduct operators and Haar Multipliers, and study boundedness properties of these operators and their commutators. We also characterize dyadic BMO functions via the boundedness of certain paraproducts and also via the boundedness of the commutators of multilinear Haar Multipliers and paraproduct operators.
We provide necessary and sufficient conditions for multilinear multiplier operators with symbols in $L^r$-based product-type Sobolev spaces uniformly over all annuli to be bounded from products of Hardy spaces to a Lebesgue space. We consider the case $1<r\leq 2$ and we characterize boundedness in terms of inequalities relating the Lebesgue indices (or Hardy indices), the dimension, and the regularity and integrability indices of the Sobolev space. The case $r>2$ cannot be handled by known techniques and remains open. Our result not only extends but also establishes the sharpness of previous r…
We study a multilinear version of Hörmander multiplier theorem, namely \begin{equation*} \Vert T_σ(f_1,\dots,f_n)\Vert_{L^p}\lesssim \sup_{k\in\mathbb{Z}}{\Vert σ(2^k\cdot,\dots,2^k\cdot)\widehat{ϕ^{(n)}}\Vert_{L^{2}_{(s_1,\dots,s_n)}}}\Vert f_1\Vert_{H^{p_1}}\cdots\Vert f_n\Vert_{H^{p_n}}. \end{equation*} We show that the estimate does not hold in the limiting case $\min{(s_1,\dots,s_n)}=d/2$ or $\sum_{k\in J}{({s_k}/{d}-{1}/{p_k})}=-{1}/{2}$ for some $J \subset \{1,\dots,n\}$. This provides the necessary and sufficient condition on $(s_1,\dots,s_n)$ for the boundedness of $T_σ$.
We develop a special multilinear complex interpolation theorem that allows us to prove an optimal version of the bilinear Hörmander multiplier theorem concerning symbols that lie in the Sobolev space $L^r_s(\mathbb R^{2n})$, $2\le r<\infty$, $rs>2n$, 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$.
The $L^p$ boundedness theory of convolution operators is \linebreak based on an initial $L^2\to L^2$ estimate derived from the Fourier transform. The corresponding theory of multilinear operators lacks such a simple initial estimate in view of the unavailability of Plancherel's identity in this setting, and up to now it has not been clear what a natural initial estimate might be. In this work we achieve exactly this goal, i.e., obtain an initial $L^2\times\cdots\times L^2\to L^{2/m}$ estimate for general building blocks of $m$-linear multiplier operators. We apply this result to deduce analogo…
In this paper, we prove some uniform estimates between Lebesgue and Hardy spaces for operators closely related to the multilinear paraproducts on R^d. We are looking for uniformity with respect to parameters, which allow us to disturb the geometry and the metric on $R^d$.
Given Mikhlin-Hörmander 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.
We investigate Hörmander spectral multiplier theorems as they hold on $X = L^p(Ω),\: 1 < p < \infty,$ for many self-adjoint elliptic differential operators $A$ including the standard Laplacian on $\R^d.$ A strengthened matricial extension is considered, which coincides with a completely bounded map between operator spaces in the case that $X$ is a Hilbert space. We show that the validity of the matricial Hörmander theorem can be characterized in terms of square function estimates for imaginary powers $A^{it}$, for resolvents $R(λ,A),$ and for the analytic semigroup $\exp(-zA).$ We deduce Hörma…
Let $n\ge 1$ and $\mathfrak{T}_{m}$ be the bilinear square Fourier multiplier operator associated with a symbol $m$, which is defined by $$ \mathfrak{T}_{m}(f_1,f_2)(x) = \biggl( \int_{0}^\infty\Big|\int_{(\mathbb{R}^n)^2} e^{2πix\cdot (ξ_1 +ξ_2) }m(tξ_1,tξ_2) \hat{f}_{1}(ξ_1)\hat{f}_{2}(ξ_2)dξ_1 dξ_2\Big|^2\frac{dt}{t } \biggr)^{\frac 12}. $$ Let $s$ be an integer with $s\in[n+1,2n]$ and $p_0$ be a number satisfying $2n/s\le p_0\le 2$. Suppose that $ν_{\vecω}=\prod_{i=1}^2ω_i^{p/ p_i}$ and each $ω_i$ is a nonnegative function on $\mathbb{R}^n$. In this paper, we show that $\mathfrak{T}_{m}$ i…
Let $T$ be a multilinear integral operator which is bounded on certain products of Lebesgue spaces on $\mathbb R^n$. We assume that its associated kernel satisfies some mild regularity condition which is weaker than the usual Hölder continuity of those in the class of multilinear Calderón-Zygmund singular integral operators. In this paper, given a suitable multiple weight $\vec{w}$, we obtain the bound for the weighted norm of multilinear operators $T$ in terms of $\vec{w}$. As applications, we exploit this result to obtain the weighted bounds for certain singular integral operators such as li…
In this paper we study sharp generalizations of $\dot{F}_p^{0,q}$ multiplier theorem of Mikhlin-Hörmander type. The class of multipliers that we consider involves Herz spaces $K_u^{s,t}$. Plancherel's theorem proves $\widehat{L_s^2}=K_2^{s,2}$ and we study the optimal triple $(u,t,s)$ for which $\sup_{k\in\mathbb{Z}}{\big\Vert \big( m(2^k\cdot)φ\big)^{\vee}\big\Vert_{K_u^{s,t}}}<\infty$ implies $\dot{F}_p^{0,q}$ boundedness of multiplier operator $T_m$ where $φ$ is a cutoff function. Our result also covers the $BMO$-type space $\dot{F}_{\infty}^{0,q}$.
We develop a general framework for the analysis of operator-valued multilinear multipliers acting on Banach-valued functions. Our main result is a Coifman-Meyer type theorem for operator-valued multilinear multipliers acting on suitable tuples of UMD spaces. A concrete case of our theorem is a multilinear generalization of Weis' operator-valued Hörmander-Mihlin linear multiplier theorem. Furthermore, we derive from our main result a wide range of mixed $L^p$-norm estimates for multi-parameter multilinear paraproducts, leading to a novel mixed norm version of the partial fractional Leibniz rule…
In this paper we discuss the $L^p$-$L^q$ boundedness of both spectral and Fourier multipliers on general locally compact separable unimodular groups $G$ for the range $1<p\leq q<\infty$. We prove a Lizorkin type multiplier theorem for $1<p\leq q<\infty$, and then refine it as a Hörmander type multiplier theorem for $1<p\leq 2\leq q<\infty$. In the process, we establish versions of Paley and Hausdorff-Young-Paley inequalities on general locally compact separable unimodular groups. As a consequence of the Hörmander type multiplier theorem we derive a spectral multiplier theorem on general locall…
We prove bounds for multilinear operators on $\R^d$ given by multipliers which are singular along a $k$ dimensional subspace. The new case of interest is when the rank $k/d$ is not an integer. Connections with the concept of {\em true complexity} from Additive Combinatorics are also investigated.
In a previous work we proved a spectral multiplier theorem of Mihlin--Hörmander type for two-dimensional Grushin operators $-\partial_x^2 - V(x) \partial_y^2$, where $V$ is a doubling single-well potential, yielding the surprising result that the optimal smoothness requirement on the multiplier is independent of $V$. Here we refine this result, by replacing the $L^\infty$ Sobolev condition on the multiplier with a sharper $L^2$ condition. As a consequence, we obtain the sharp range of $L^1$ boundedness for the associated Bochner--Riesz means. The key new ingredient of the proof is a precise po…
We provide an improvement of Calderón and Torchinsky's version of the Hörmander multiplier theorem on Hardy spaces $H^p$ ($0<p<\infty$), by replacing the Sobolev space $L_s^2(A_0)$ by the Lorentz-Sobolev space $L_s^{τ^{(s,p)} ,\min(1,p) }(A_0)$, where $τ^{(s,p)} =\frac{n}{s-(n/\min{(1,p)}-n)}$ and $A_0$ is the annulus $\{ξ\in \mathbb{R}^n: 1/2<|ξ|<2\}$. Our theorem also extends that of Grafakos and Slavíková to the range $0<p\le 1$. Our result is sharp in the sense that the preceding Lorentz-Sobolev space cannot be replaced by a smaller Lorentz-Sobolev space $L^{r,q}_s(A_0)$ with $r< τ^{(s,p)}…
We prove a sharp Mihlin-Hormander multiplier theorem for Schroedinger operators $H$ on $\R^n$. The method, which allows us to deal with general potentials, improves Hebisch's method relying on heat kernel estimates for positive potentials. Our result applies to, in particular, the negative Poeschl-Teller potential $V(x)= -ν(ν+1) \sech^2 x $, $ν\in \N$, for which $H$ has a resonance at zero.
In this note we investigate some conditions of Hörmander-Mihlin type in order to assure the $L^\infty$-${\textnormal{BMO}}$ boundedness for pseudo-multipliers of the harmonic oscillator. The $\textnormal{H}^1$-$L^1$ continuity for Hermite multipliers also is investigated. The final version of this paper will appear in Rev. Colombiana Mat.
We provide a comprehensive study of interrelations between different measures of smoothness of functions on various domains and smoothness properties of approximation processes. Two general approaches to this problem have been developed: the first based on geometric properties of Banach spaces and the second on Littlewood-Paley and Hörmander type multiplier theorems. In particular, we obtain new sharp inequalities for measures of smoothness given by the $K$-functionals or moduli of smoothness. As examples of approximation processes we consider best polynomial and spline approximations, Fourier…
We prove a sharp Hörmander multiplier theorem for Schrödinger operators $H=-Δ+V$ on $\mathbb{R}^n$. The result is obtained under certain condition on a weighted $L^\infty$ estimate, coupled with a weighted $L^2$ estimate for $H$, which is a weaker condition than that for nonnegative operators via the heat kernel approach. Our approach is elaborated in one dimension with potential $V$ belonging to certain critical weighted $L^1$ class. Namely, we assume that $\int (1+|x|) |V(x)|dx$ is finite and $H$ has no resonance at zero. In the resonance case we assume $\int (1+|x|^2) |V(x)| dx$ is finite.
The purpose of this paper is to improve the known estimates for Mockenhaupt's square function in $\mathbb R^3$ and for Sogge's local smoothing in $\mathbb R^{2+1}$ spacetime. For this we use the trilinear approach of S. Lee and A. Vargas for the cone multiplier with some trilinear estimates obtained from the $\ell^2$ decoupling theorem and multilinear restriction theorem.
We investigate Fourier multipliers with smooth symbols defined over locally compact Hausdorff groups. Our main results in this paper establish new Hörmander-Mikhlin criteria for spectral and non-spectral multipliers. The key novelties which shape our approach are three. First, we control a broad class of Fourier multipliers by certain maximal operators in noncommutative $L_p$ spaces. This general principle ---exploited in Euclidean harmonic analysis during the last 40 years--- is of independent interest and might admit further applications. Second, we replace the formerly used cocycle dimensio…
We prove a multiplier theorem of Mihlin-Hörmander type for operators of the form $-Δ_x - V(x) Δ_y$ on $\mathbb{R}^{d_1}_x \times \mathbb{R}^{d_2}_y$, where $V(x) = \sum_{j=1}^{d_1} V_j(x_j)$, the $V_j$ are perturbations of the power law $t \mapsto |t|^{2σ}$, and $σ\in (1/2,\infty)$. The result is sharp whenever $d_1 \geq σd_2$. The main novelty of the result resides in its robustness: this appears to be the first sharp multiplier theorem for nonelliptic subelliptic operators allowing for step higher than two and perturbation of the coefficients. The proof hinges on precise estimates for eigenv…
For every integer $n \geq 3$, we prove that the n-sublinear generalization of the Bi-Carleson operator of Muscalu, Tao, and Thiele given by nC^{\vecα} :(f_1,..., f_n) \mapsto \sup_{M} \left| \int_{\vecξ \cdot \vecα >0, ξ_n < M} \left[\prod_{j=1}^n \hat{f}_j(ξ_j) e^{2 πi x ξ_j }\right]d\vecξ ~\right|satisfies no $L^p$ estimates provided $\vecα \in \mathbb{Q}^n$ with distinct, non-zero entries. Furthermore, if $n \geq 5$ and $\vecα \in \mathbb{Q}^n$ has distinct, non-zero entries, it is shown that there is a symbol $m:\mathbb{R}^n \rightarrow \mathbb{C}$ adapted to the hyperplane $Γ^{\vec{a}}=\l…
We prove spectral multiplier theorems for Hörmander classes $\mathcal{H}^α\_p$ for 0-sectorial operators A on Banach spaces assuming a bounded $H^\infty(Σ\_σ)$ calculus for some $σ\in (0,π)$ and norm and certain R-bounds on one of the following families of operators: the semigroup $e^{--zA}$ on $\mathbb{C}\_+$, the wave operators $e^{isA}$ for $s \in \mathbb{R}$, the resolvent $(λ-- A)^{-1}$ on $\mathbb{C} \backslash \mathbb{R}$, the imaginary powers $A^{it}$ for $t \in \mathbb{R}$ or the Bochner-Riesz means $(1-A/u)^α\_+$ for $u > 0.$ In contrast to the existing literature we neither assume t…
