Kato's inequality

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 $$\Omega\subset \R^d$$ be a bounded and open set, and $$f\in L^1_{\operatorname{loc}}(\Omega)$$ such that $$\Delta f\in L^1_{\operatorname{loc}}(\Omega)$$. Then the following holds
 * $$\Delta |f| \geq \operatorname{Re}\left((\operatorname{sgn}\overline f) \Delta f\right)\quad$$ in $$\;\mathcal{D}'(\Omega)$$,

where
 * $$\operatorname{sgn}\overline f=\begin{cases}\frac{\overline{f(x)}}{|f(x)|} & \text{if }f\neq 0\\

0 & \text{if }f=0. \end{cases}$$ $$L^1_{\operatorname{loc}}$$ 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
 * $$\Delta f^+ \geq \operatorname{Re}\left(1_{[f\geq 0]} \Delta f\right)\quad$$ in $$\;\mathcal{D}'(\Omega)$$
 * where $$f^+=\operatorname{max}(f,0)$$ and $$1_{[f\geq 0]}$$ is the indicator function.


 * If $$f$$ is continuous in $$\Omega$$ then
 * $$\Delta |f| \geq \operatorname{Re}\left((\operatorname{sgn}\overline f) \Delta f\right)\quad$$ in $$\;\mathcal{D}'(\{f\neq 0\})$$.