Bilinear pseudo-differential operators with symbols in \(BS^m_{1,1}\) on Triebel-Lizorkin spaces
type: Item
instance of: scholarly article
title: Bilinear pseudo-differential operators with symbols in \(BS^m_{1,1}\) on Triebel-Lizorkin spaces
zbMATH Open document ID: 1395.42032
author: Kimitaka Koezuka
author: Naohito Tomita
published in: The Journal of Fourier Analysis and Applications
publication date: 2018-03-13T00:00:00Z
review text: The authors consider symbols in the (bilinear) Hörmander symbol class \(BS_{1,1} ^m\), that is the class of \(\sigma(\cdot,\cdot,\cdot) \in C^\infty(\mathbb R^n\times \mathbb R^n\times \mathbb R^n)\) such that \[ |\partial_x ^\alpha \partial_\xi ^\beta \partial_\eta ^\gamma \sigma(x,\xi,\eta)|\lesssim_{\alpha,\beta,\gamma} (1+|\xi|+|\eta|)^{m+|\alpha|-|\beta|-|\gamma|}. \] The corresponding pseudo-differential operator is the bilinear operator \(T_\sigma\) defined as \[ T_\sigma (f,g):=\frac{1}{(2\pi)^n}\int_{\mathbb R^{2n}} e^{ix\cdot(\xi+\eta)}\sigma(x,\xi,\eta) \hat f (\xi)\hat g(\eta) d\xi d\eta, \] initially defined for nice functions \(f,g\). The purpose of the paper under review is to study the boundedness property \[ \|T_\sigma(f,g)\|_{F_s ^{p,q}} \lesssim \|f\|_{L^{p_1,q} _{m+s}} \|g\|_{h^{p_2}}+\|f\|_{h^{\tilde {p_1}}} \|g\|_{F_{m+s} ^{\tilde{p_2},q}}, \] for appropriate range of indices. Here \(h^p\) is a local Hardy space defined by means of a suitable maximal operator in the range \(0< p\leq \infty\). The inhomogeneous Triebel-Lizorkin space \(F_s ^{p,q}\), with \(0<p<\infty,\, 0<q\leq \infty\), and \(s>0\), is defined via a smooth Littlewood-Paley decomposition, as usual, with \(s\) playing the roles of smoothness, and \((p,q)\) amounts to an \(L^p(\ell^q)\) norm of the weighted Littlewood-Paley pieces; it is known that \(F_0 ^{p,2}\equiv h^p\). The main theorem of the paper proves the bilinear norm-inequality in the display above, for \(\sigma\in BS_{1,1} ^m\), \(0 < p_1, p_2 , \tilde{p}_1, \tilde{p}_2 <\infty\), \(0 < p < \infty\), \(1/p_1+1/p_2=1/{\tilde{p}_1}+1/\tilde p_2=1/p\), \(0 < q \leq \infty\), and \(s>\tau_{p,q}\); the theorem is also true if either \(p_2\) or \(\tilde p_1\) is equal to \(\infty\). As a consequence the authors obtain an improvement of the Kato-Ponce inequality \[ \| (I-\Delta)^\frac s2(fg)\|_{h^p}\lesssim\|(I-\Delta)^\frac s2f \|_{h^{p_1}}\|g\|_{h^{p_2}}+\|f\|_{h^{\tilde {p}_1}}\|(I-\Delta)^\frac s2 g \|_{h^{\tilde p_1}} \]…
reviewed by: Ioannis Parissis
Mathematics Subject Classification ID: 42B20
Mathematics Subject Classification ID: 42B35
Mathematics Subject Classification ID: 47G30
zbMATH DE Number: 6849512
zbMATH Keywords: bilinear pseudo-differential operators
zbMATH Keywords: Kato-Ponce inequality
zbMATH Keywords: Triebel-Lizorkin spaces
MaRDI profile type: Publication
full work available at URL: s00041-016-9518-2
OpenAlex ID: W2563757306
cites work: Bilinear pseudodifferential operators with forbidden symbols on Lipschitz and Besov spaces.
cites work: On the Hormander classes of bilinear pseudodifferential operators II
cites work: Sobolev space estimates and symbolic calculus for bilinear pseudodifferential operators
cites work: Symbolic Calculus and the Transposes of Bilinear Pseudodifferential Operators
cites work: Q3941791
cites work: A local version of real Hardy spaces
cites work: The Kato-Ponce Inequality
cites work: Commutator estimates and the euler and navier-stokes equations
cites work: Multilinear pseudodifferential operators beyond Calderón-Zygmund theory
cites work: Calderon-Vaillancourt--type theorem for bilinear operators
cites work: Classical and Multilinear Harmonic Analysis
cites work: On the bilinear Hörmander classes in the scales of Triebel-Lizorkin and Besov spaces
cites work: Q4893982
cites work: Q3336200
DOI: 10.1007/S00041-016-9518-2
description: scientific article; zbMATH DE number 6849512