Combinatorics

Pure mathematics

Mathematics

Epistemology

Algebra over a field

Commutator

Counterexample

Mathematical analysis

Philosophy

Norm (philosophy)

Inequality

Lie conformal algebra

Revista Matemática Iberoamericana

We show that in the Kato-Ponce inequality $\|J^s(fg)-fJ^s g\|_p \lesssim \| \partial f \|_{\infty} \| J^{s-1} g \|_p + \| J^s f \|_p \|g\|_{\infty}$, the $J^s f$ term on the RHS can be replaced by $J^{s-1} \partial f$. This solves a question raised in Kato-Ponce \cite{KP88}. We propose and prove a new fractional Leibniz rule for $D^s=(-\Delta)^{s/2}$ and similar operators, generalizing the Kenig-Ponce-Vega estimate \cite{KPV93} to all $s>0$. We also prove a family of generalized and refined Kato-Ponce type inequalities which include many commutator estimates as special cases. To showcase the sharpness of the estimates at various endpoint cases, we construct several counterexamples. In particular, we show that in the original Kato-Ponce inequality, the $L^{\infty}$-norm on the RHS cannot be replaced by the weaker BMO norm. Some divergence-free counterexamples are also included.

On Kato–Ponce and fractional Leibniz