Kato's inequality

Short description: Inequality relating to the Laplace operator

In functional analysis, a subfield of mathematics, Kato's inequality is a distributional inequality for the Laplace operator or certain elliptic operators. It was proven in 1972 by the Japanese mathematician Tosio Kato.

The original inequality is for some degenerate elliptic operators. This article treats the special (but important) case for the Laplace operator.

Inequality for the Laplace operator

Let $\mathrm{\Omega }\subset {\mathbb{ℝ}}^d$ be a bounded and open set, and $f\in L_{\mathrm{loc}}^1(\mathrm{\Omega })$ such that $\mathrm{\Delta }f\in L_{\mathrm{loc}}^1(\mathrm{\Omega })$. Then the following holds

$\mathrm{\Delta }|f|\ge \mathrm{Re}((\mathrm{sgn}\bar{f})\mathrm{\Delta }f)$ in ${{𝒟}}^{\prime }(\mathrm{\Omega })$,

where

$\mathrm{sgn}\bar{f}=\{\begin{array}{ll}\frac{\overline{f(x)}}{|f(x)|}& \text{if }f\ne 0\\ 0& \text{if }f=0.\end{array}$

$L_{\mathrm{loc}}^1$ is the space of locally integrable functions – i.e., functions that are integrable on every compact subset of their domains of definition.

Remarks

• Sometimes the inequality is stated in the form

$\mathrm{\Delta }{f}^{+}\ge \mathrm{Re}\left(1_{[f\ge 0]}\mathrm{\Delta }f\right)$ in ${{𝒟}}^{\prime }(\mathrm{\Omega })$

where $f^{+}=\max (f,0)$ and $1_{[f\ge 0]}$ is the indicator function.

• If $f$ is continuous in $\mathrm{\Omega }$ then

$\mathrm{\Delta }|f|\ge \mathrm{Re}((\mathrm{sgn}\bar{f})\mathrm{\Delta }f)$ in ${{𝒟}}^{\prime }(\{f\ne 0\})$.

Literature

• Brezis, Haı̈m; Ponce, Augusto (2004). "Kato's inequality when Δu is a measure". Comptes Rendus Mathematique 338 (8): 599–604. doi:10.1016/j.crma.2003.12.032. http://www.numdam.org/articles/10.1016/j.crma.2003.12.032/. 
• Arendt, Wolfgang; ter Elst, Antonious F.M. (2019). "Kato's Inequality". Analysis and Operator Theory. Springer Optimization and Its Applications. Springer Optimization and Its Applications. 146. Cham: Springer. pp. 47–60. doi:10.1007/978-3-030-12661-2_3. ISBN 978-3-030-12660-5.