Bi-parameter trilinear Fourier multipliers and pseudo-differential operators with flag symbols

Abstract

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 to establish the $L^r$ estimate for the special multiplier $m_1(ξ_1, η_1, ζ_1) m_2(η_2, ζ_2)$ (see Theorem 1.7). We also study these $L^r$ estimates for the corresponding bi-parameter trilinear pseudo-differential operators defined by $$ T_{ab}(f,g,h)(x):=\int_{\mathbb{R}^6}a(x,ξ,η,ζ)b(x,η,ζ)\hat f(ξ)\hat g(η)\hat h(ζ)e^{2πi x(ξ+η+ζ)}dξdηdζ, $$ where the smooth symbols $a,b$ satisfy certain bi-parameter Hörmander conditions. We will also show that the $L^r$ estimate holds for $T_{ab}$ as long as the $L^r$ estimate for the flag multiplier operator holds when the multiplier has the special form $m_1(ξ_1, η_1, ζ_1) m_2(η_2, ζ_2)$ (see Theorem 1.10). The bi-parameter and trilinear flag Fourier multipliers considered in this paper do not satisfy the conditions of the classical bi-parameter trilinear Fourier multipliers considered by Muscalu, Tao, Thiele and the second author [21, 22]. They may also be viewed as the bi-parameter trilinear variants of estimates obtained for the one-parameter flag paraproducts by Muscalu [18].