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 results of Miyachi, Nguyen, Tomita, and the first author, who only considered the case $r=2$.
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.
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.
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 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_σ$.
The notions of higher-order weighted multilinear Poincaré and Sobolev inequalities in Carnot groups are introduced. As an application, weighted Leibnitz-type rules in Campanato-Morrey spaces are established.
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 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\…
In the paper we study the multipliers of Fourier series in polynomials orthogonal in continuous-discrete Sobolev's spaces. Multiplier Theorem for Fourier-Sobolev series is obtained. This result is based on the representation of the Fejér kernel, on the construction of the "humpbacked majorant" and weighted estimates of maximal functions.
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…
This paper will be devoted to study the regularity and continuity properties of the following local multilinear fractional type maximal operators, $$\mathfrak{M}_{α,Ω}(\vec{f})(x)=\sup\limits_{0<r<{\rm dist}(x,Ω^c)}\frac{r^α}{|B(x,r)|^m}\prod\limits_{i=1}^m\int_{B(x,r)}|f_i(y)|dy,\quad \hbox{for \ }0\leqα<mn,$$ where $Ω$ is a subdomain in $\mathbb{R}^n$, $Ω^c=\mathbb{R}^n\backslashΩ$ and $B(x,r)$ is the ball in $\mathbb{R}^n$ centered at $x$ with radius $r$. Several new pointwise estimates for the derivative of the local multilinear maximal function $\mathfrak{M}_{0,Ω}$ and the fractional maxi…
We consider bilinear multipliers that appeared as a distinguished particular case in the classification of two-dimensional bilinear Hilbert transforms by Demeter and Thiele [9]. In this note we investigate their boundedness on Sobolev spaces. Furthermore, we study structurally similar operators with symbols that also depend on the spatial variables. The new results build on the existing L^p estimates for a paraproduct-like operator previously studied by the authors in [5] and [10]. Our primary intention is to emphasize the analogies with Coifman-Meyer multipliers and with bilinear pseudodiffer…
In this paper we find new equivalent norms in $L^p(\mathbb{R}^n,\mathbb{B})$ by using multivariate Littlewood-Paley functions associated with Poisson semigroup for the Hermite operator, provided that $\mathbb{B}$ is a UMD Banach space with the property ($α$). We make use of $γ$-radonifying operators to get new equivalent norms that allow us to obtain $L^p(\mathbb{R}^n,\mathbb{B})$-boundedness properties for (vector valued) multivariate spectral multipliers for Hermite operators. As application of this Hermite multiplier theorem we prove that the Banach valued Hermite Sobolev and potential spac…
In this paper we present (quasi-)norm equivalence on a vector-valued function space $L^p_A(l^q)$ and extend the equivalence to $p=\infty$ and $0<q<\infty$ in the scale of Triebel-Lizorkin space, motivated by Fraizer-Jawerth. By applying the results, we improve the multilinear Hormander's multiplier theorem of Tomita, that of Grafakos-Si, and the boundedness results for bilinear pseudo-differential operators, given by Koezuka-Tomita.
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…
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 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 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 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…
The reappearance of a sometimes called exotic behavior for linear and multilinear pseudodifferential operators is investigated. The phenomenon is shown to be present in a recently introduced class of bilinear pseudodifferential operators which can be seen as more general variable coefficient counterparts of the bilinear Hilbert transform and other singular bilinear multipliers operators. The unboundedness on product of Lebesgue spaces but the boundedness on spaces of smooth functions (which is the exotic behavior referred to) of such operators is obtained. In addition, by introducing a new way…
We consider certain Littlewood-Paley operators and prove characterization of some function spaces in terms of those operators. When treating weighted Lebesgue spaces, a generalization to weighted spaces will be made for Hörmander's theorem on the invertibility of homogeneous Fourier multipliers. Also, applications to the theory of Sobolev spaces will be given.
We prove a characterization of the Sobolev spaces $H^α$ on the unit sphere $\mathbb{S}^{d-1}$, where the smoothness index $α$ is any positive real number and $d\geq 2$. This characterization does not use differentiation and it is given in terms of $([α/2]+1)$-multidimensional square functions $S_α$. For $[α/2]=0,$ a function $f\in L^2(\mathbb{S}^{d-1})$ belongs to $H^α(\mathbb{S}^{d-1})$ if and only if $S_α(f)\in L^2(\mathbb{S}^{d-1})$. If $n=[α/2]>0$, the membership of $f$ is equivalent to the existence of $g_1,\cdots,g_n$ in $L^2(\mathbb{S}^{d-1})$ such that $S_α(f,g_1,\ldots,g_n)\in L^2(\ma…
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 prove endpoint bounds for derivatives of fractional maximal functions with either smooth convolution kernel or lacunary set of radii in dimensions $n \geq 2$. We also show that the spherical fractional maximal function maps $L^{p}$ into a first order Sobolev space in dimensions $n \geq 5$.
We prove that the class of trilinear multiplier forms with singularity over a one dimensional subspace, including the bilinear Hilbert transform, admit bounded $L^p$-extension to triples of intermediate $\mathrm{UMD}$ spaces. No other assumption, for instance of Rademacher maximal function type, is made on the triple of $\mathrm{UMD}$ spaces. Among the novelties in our analysis is an extension of the phase-space projection technique to the $\mathrm{UMD}$-valued setting. This is then employed to obtain appropriate single tree estimates by appealing to the $\mathrm{UMD}$-valued bound for bilinea…
We prove an alternate Toeplitz corona theorem for the algebras of pointwise kernel multipliers of Besov-Sobolev spaces on the unit ball in $\mathbb{C}^{n}$, and for the algebra of bounded analytic functions on certain strictly pseudoconvex domains and polydiscs in higher dimensions as well. This alternate Toeplitz corona theorem extends to more general Hilbert function spaces where it does not require the complete Pick property. Instead, the kernel functions $k_{x}\left(y\right)$ of certain Hilbert function spaces $\mathcal{H}$ are assumed to be invertible multipliers on $\mathcal{H}$, and the…
Given a bounded measurable function $σ$ on $\mathbb{R}^n$, we let $T_σ$ be the operator obtained by multiplication on the Fourier transform by $σ$. Let $0<s_1\le s_2\le \cdots \le s_n<1$ and $ψ$ be a Schwartz function on the real line whose Fourier transform $\widehatψ$ is supported in $[-2,-1/2]\cup[1/2,2]$ and which satisfies $\sum_{j \in \mathbb{Z}} \widehatψ\left(2^{-j} ξ\right)=1$ for all $ξ\neq 0$. In this work we sharpen the known forms of the Marcinkiewicz multiplier theorem by finding an almost optimal function space with the property that, if the function \begin{equation*} (ξ_1,\dots…
Let $m\ge 1$, in this paper, our object of investigation is the regularity and and continuity properties of the following multilinear strong maximal operator $${\mathscr{M}}_{\mathcal{R}}(\vec{f})(x)=\sup_{\substack{R \ni x R\in\mathcal{R}}}\prod\limits_{i=1}^m\frac{1}{|R|}\int_{R}|f_i(y)|dy,$$ where $x\in\mathbb{R}^d$ and $\mathcal{R}$ denotes the family of all rectangles in $\mathbb{R}^d$ with sides parallel to the axes. When $m=1$, denote $\mathscr{M}_{\mathcal{R}}$ by $\mathcal {M}_{\mathcal{R}}$.Then, $\mathcal {M}_{\mathcal{R}}$ coincides with the classical strong maximal function initia…
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$.
We study multiplier theorems on a vector-valued function space, which is a generalization of the results of Calderón-Torchinsky and Grafakos-He-Honzík-Nguyen, and an improvement of the result of Triebel. For $0<p<\infty$ and $0<q\leq \infty$ we obtain that if $r>\frac{d}{s-(d/\min{(1,p,q)}-d)}$, then $$\big\Vert \big\{\big( m_k \hat{f_k}\big)^{\vee}\big\}_{k\in\mathbb{N}}\big\Vert_{L^p(l^q)}\lesssim_{p,q} \sup_{l\in\mathbb{N}}{\big\Vert m_l(2^l\cdot)\big\Vert_{L_s^r(\mathbb{R}^d)}} \big\Vert \big\{f_k\big\}_{k\in\mathbb{N}}\big\Vert_{L^p(l^q)}, ~~f_k\in\mathcal{E}(A2^k),$$ under the condition …
Georgetown University（乔治城大学）；Graduate Institute of Business Administration, College of Management, Fu Jen Catholic University（辅仁大学管理学院企业管理研究所）；Macquarie University（麦考瑞大学）；Sun Yat-sen University（中山大学）；Anhui University（安徽大学）
Given two real numbers, the $L^2$ functions whose Fourier transforms vanish with a certain rapidity near the given numbers are characterised as those that are expressible as the sum of a certain number of generalised finite differences that is independent of the function. These generalised differences can be regarded as approximating the appropriate powers of first order ordinary differential operators. The upshot of this is that for operators in a certain class of ordinary differential operators that have polynomial multipliers, their ranges on the Sobolev spaces corresponding to the operator…
A full interpolation theory for Sobolev functions with smoothness between 0 and 1 and vanishing trace on a part of the boundary of an open set is established. Geometric assumptions are of mostly measure theoretic nature and reach beyond Lipschitz regular domains. Previous results were limited to regular geometric configurations or Hilbertian Sobolev spaces. Sets with porous boundary and their characteristic multipliers on smoothness spaces play a major role in the arguments.
The purpose of this paper is to characterize all embeddings for versions of Besov and Triebel-Lizorkin spaces where the underlying Lebesgue space metric is replaced by a Lorentz space metric. We include two appendices, one on the relation between classes of endpoint Mikhlin-Hörmander type Fourier multipliers, and one on the constant in the triangle inequality for the spaces $L^{p,r} $ when $p<1$.
