We study Fourier multiplier operators associated with symbols $ξ\mapsto \exp(iλϕ(ξ/|ξ|))$, where $λ$ is a real number and $ϕ$ is a real-valued $C^\infty$ function on the standard unit sphere $\mathbb{S}^{n-1}\subset\mathbb{R}^n$. For $1<p<\infty$ we investigate asymptotic behavior of norms of these operators on $L^p(\mathbb{R}^n)$ as $|λ|\to\infty$. We show that these norms are always $O((p^\ast-1) |λ|^{n|1/p-1/2|})$, where $p^\ast$ is the larger number between $p$ and its conjugate exponent. More substantially, we show that this bound is sharp in all even-dimensional Euclidean spaces $\mathbb{R}^n$. In particular, this gives a negative answer to a question posed by Maz'ya.
Concrete operators that fall into the studied class are the multipliers forming the two-dimensional Riesz group, given by the symbols $r\exp(iφ) \mapsto \exp(iλ\cosφ)$. We show that their $L^p$ norms are comparable to $(p^\ast-1) |λ|^{2|1/p-1/2|}$ for large $|λ|$, solving affirmatively a problem suggested in the work of Dragičević, Petermichl, and Volberg.
By a new method derived from Nicola--Primo--Tabacco[24], we study the boundedness on $α$-modulation spaces of unimodular multipliers with symbol $e^{iμ(ξ)}$. Comparing with the previous results, the boundedness result is established for a larger family of unimodular multipliers under weaker assumptions.
In this paper we investigate the boundedness properties of bilinear multiplier operators associated with unimodular functions of the form $m(ξ,η)=e^{i ϕ(ξ-η)}$. We prove that if $ϕ$ is a $C^1(\mathbb R^n)$ real-valued non-linear function, then for all exponents $p,q,r$ lying outside the local $L^2-$range and satisfying the Hölder's condition $\frac{1}{p}+\frac{1}{q}=\frac{1}{r}$, the bilinear multiplier norm $$\|e^{iλϕ(ξ-η)}\|_{\mathcal M_{p,q,r}(\mathbb R^n)}\rightarrow \infty,~ λ\in \mathbb R,~ |λ|\rightarrow \infty.$$ For exponents in the local $L^2-$range, we give examples of unimodular fu…
We study the boundedness on the Wiener amalgam spaces $W^{p,q}_s$ of Fourier multipliers with symbols of the type $e^{iμ(ξ)}$, for some real-valued functions $μ(ξ)$ whose prototype is $|ξ|^β$ with $β\in (0,2]$. Under some suitable assumptions on $μ$, we give the characterization of $W^{p,q}_s\rightarrow W^{p,q}$ boundedness of $e^{iμ(D)}$, for arbitrary pairs of $0< p,q\leq \infty$. Our results are an essential improvement of the previous known results, for both sides of sufficiency and necessity, even for the special case $μ(ξ)=|ξ|^β$ with $1<β<2$.
We provide asymptotically sharp bounds for the $L_p$ norms of the Fourier multipliers with the symbols $e^{iλφ(ξ/|ξ|)}$, where $λ\in \mathbb{R}$ is a large parameter.
This work is devoted to studying the boundedness on Lebesgue spaces of bilinear multipliers on $\R$ whose symbol is narrowly supported around a curve (in the frequency plane). We are looking for the optimal decay rate (depending on the width of this support) for exponents satisfying a sub-Hölder scaling. As expected, the geometry of the curve plays an important role, which is described. This has applications for the bilinear Bochner-Riesz problem (in particular, boundedness of multipliers whose symbol is the characteristic function of a set), as well as for the bilinear restriction-extension p…
The main purpose of this paper is to study $L^r$ Hölder type estimates for a bi-parameter trilinear Fourier multiplier with flag singularity, and the analogous pseudo-differential operator, when the symbols are in a certain product form. More precisely, for $f,g,h\in \mathcal{S}(\mathbb{R}^{2})$, the bi-parameter trilinear flag Fourier multiplier operators we consider are defined by $$ T_{m_1,m_2}(f,g,h)(x):=\int_{\mathbb{R}^{6}}m_1(ξ,η,ζ)m_2(η,ζ)\hat f(ξ) \hat g(η)\hat h(ζ)e^{2πi(ξ+η+ζ)\cdot x}dξdηdζ, $$ when $m_1,m_2$ are two bi-parameter symbols. We will show that our problem can be reduced…
We consider bilinear oscillatory integrals, i.e. pseudo-product operators whose symbol involves an oscillating factor. Lebesgue space inequalities are established, which give decay as the oscillation becomes stronger ; this extends the well-known linear theory of oscillatory integral in some directions. The proof relies on a combination of time-frequency analysis of Coifman-Meyer type with stationary and non-stationary phase estimates. As a consequence of this analysis, we obtain Lebesgue estimates for new bilinear multipliers defined by non-smooth symbols.
We study the problem of characterizing Hankel-Schur multipliers and Toeplitz-Schur multipliers of Schatten-von Neumann class $\bS_p$ for $0<p<1$. We obtain various sharp necessary conditions and sufficient conditions for a Hankel matrix to be a Schur multiplier of $\bS_p$. We also give a characterization of the Hankel-Schur multipliers of $\bS_p$ whose symbols have lacunary power series. Then the results on Hankel-Schur multipliers are used to obtain a characterization of the Toeplitz-Schur multipliers of $\bS_p$. Finally, we return to Hankel-Schur multipliers and obtain new results in the cas…
We obtain dimension free estimates for noncommutative Riesz transforms associated to conditionally negative length functions on group von Neumann algebras. This includes Poisson semigroups, beyond Bakry's results in the commutative setting. Our proof is inspired by Pisier's method and a new Khintchine inequality for crossed products. New estimates include Riesz transforms associated to fractional laplacians in $\mathbb{R}^n$ (where Meyer's conjecture fails) or to the word length of free groups. Lust-Piquard's work for discrete laplacians on LCA groups is also generalized in several ways. In th…
We prove $L^p$ estimates for trilinear multiplier operators with singular symbols. These operators arise in the study of iterated trilinear Fourier integrals, which are trilinear variants of the bilinear Hilbert transform. Specifically, we consider trilinear operators determined by multipliers that are products of two functions ${m}_1(ξ_1, ξ_2)$ and ${m}_2(ξ_2, ξ_3)$, such that the singular set of $m_1$ lies in the hyperplane $ ξ_1=ξ_2$ and that of $m_2$ lies in the hyperplane $ξ_2=ξ_3$. While previous work \cite{MTT2} requires that the multipliers satisfy $χ_{ξ_1 <ξ_2} \cdot χ_{ξ_2<ξ_3}$, our…
We investigate two types of boundedness criteria for bilinear Fourier multiplier operators with symbols with bounded partial derivatives of all (or sufficiently many) orders. Theorems of the first type explicitly prescribe only a certain rate of decay of the symbol itself while theorems of the second type require, in addition, the same rate of decay of all derivatives of the symbol. We show that even though these two types of bilinear multiplier theorems are closely related, there are some fundamental differences between them which arise in limiting cases. Also, since theorems of the latter ty…
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…
Let $G$ be a locally compact unimodular group, let $1\leq p<\infty$,let $ϕ\in L^\infty(G)$ and assume that the Fourier multiplier $M_ϕ$associated with $ϕ$ is bounded on the noncommutative $L^p$-space $L^p(VN(G))$.Then $M_ϕ\colon L^p(VN(G))\to L^p(VN(G))$ is separating (that is,$\{a^*b=ab^*=0\}\Rightarrow\{M_ϕ(a)^* M_ϕ(b)=M_ϕ(a)M_ϕ(b)^*=0\}$for any $a,b\in L^p(VN(G))$) if and only if thereexists $c\in\mathbb C$ and a continuouscharacter $ψ\colon G\to\mathbb C$ such that $ϕ=cψ$ locally almost everywhere. This provides a characterization of isometricFourier multipliers on $L^p(VN(G))$, when $p\no…
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 prove $L^p$ estimates for various multi-parameter bi- and trilinear operators with symbols acting on fibers of the two-dimensional functions. In particular, this yields estimates for the general bi-parameter form of the twisted paraproduct studied in arXiv:1011.6140.
We discuss the work of Birman and Solomyak on the singular numbers of integral operators from the point of view of modern approximation theory, in particular with the use of wavelet techniques. We are able to provide a simple proof of norm estimates for integral operators with kernel in $B^{\frac{1}{p}-\frac{1}{2}}_{p,p}(\mathbb R,L_2(\mathbb R))$. This recovers, extends and sheds new light on a theorem of Birman and Solomyak. We also use these techniques to provide a simple proof of Schur multiplier bounds for double operator integrals, with bounded symbol in $B^{\frac{1}{p}-\frac{1}{2}}_{\fr…
In this paper we prove that if $χ_{_E}(ξ-η)-$ the indicator function of measurable set $E\subseteq \mathbb{R}^d,$ is a bi-linear multiplier symbol for exponents $p,q,r$ satisfying the Hölder's condition $\frac{1}{p}+\frac{1}{q}=\frac{1}{r}$ and exactly one of $p,q,$ or $r'=\frac{r}{r-1}$ is less than $2,$ then $E$ is equivalent to an open subset of $\mathbb{R}^d.$
We present a multiplier theorem on anisotropic Hardy spaces. When $m$ satisfies the anisotropic, pointwise Mihlin condition, we obtain boundedness of the multiplier operator $T_m : H_A^p (\mathbb{R}^n) \rightarrow H_A^p (\mathbb{R}^n)$, for the range of $p$ that depends on the eccentricities of the dilation $A$ and the level of regularity of a multiplier symbol $m$. This extends the classical multiplier theorem of Taibleson and Weiss.
We present a simple proof of the resolvent estimates of elliptic Fourier multipliers on the Euclidean space, and apply them to the analysis of time-global and spatially-local smoothing estimates of a class of dispersive equations. For this purpose we study in detail the properties of the restriction of Fourier transform on the unit cotangent sphere associated with the symbols of multipliers.
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 article we prove that the $n$-linear operator whose symbol is the characteristic function of the simplex $Δ_n = ξ_1 < ... < ξ_n$ is bounded from $L^2 \times ... \times L^2$ into $L^{2/n}$, generalizing in this way our previous work on the "bi-est" operator (which corresponds to the case $n=3$) as well as Lacey-Thiele theorem on the bi-linear Hilbert transform (which corresponds to the case $n=2$).
Let $${\mathcal K}_n := \left\{p_n: p_n(z) = \sum_{k=0}^n{a_k z^k}, \enspace a_k \in {\mathbb C}\,,\enspace |a_k| = 1 \right\}\,.$$ A sequence $(P_n)$ of polynomials $P_n \in {\mathcal K}_n$ is called ultraflat if $(n + 1)^{-1/2}|P_n(e^{it})|$ converge to $1$ uniformly in $t \in {\mathbb R}$. In this paper we prove that $$\frac{1}{2π} \int_0^{2π}{\left| (P_n - P_n^*)(e^{it}) \right|^q \, dt} \sim \frac{{2}^q Γ\left(\frac{q+1}{2} \right)}{Γ\left(\frac q2 + 1 \right) \sqrtπ} \,\, n^{q/2}$$ for every ultraflat sequence $(P_n)$ of polynomials $P_n \in {\mathcal K}_n$ and for every $q \in (0,\infty…
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…
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…
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 uniform $L^p$ bounds for multilinear operators which are given by multipliers whose symbols are singular on a one dimensional subspace. The novelty is that these bounds are uniform in the choice of the subspace.
