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 Ω ⊂ R d {\displaystyle \Omega \subset \mathbb {R} ^{d}} be a bounded and open set, and f ∈ L loc 1 ( Ω ) {\displaystyle f\in L_{\operatorname {loc} }^{1}(\Omega )} such that Δ f ∈ L loc 1 ( Ω ) {\displaystyle \Delta f\in L_{\operatorname {loc} }^{1}(\Omega )} . Then the following holds
Δ | f | ≥ Re ( ( sgn f ¯ ) Δ f ) {\displaystyle \Delta |f|\geq \operatorname {Re} \left((\operatorname {sgn} {\overline {f}})\Delta f\right)\quad } in D ′ ( Ω ) {\displaystyle \;{\mathcal {D}}'(\Omega )} , where
sgn f ¯ = { f ( x ) ¯ | f ( x ) | if f ≠ 0 0 if f = 0. {\displaystyle \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 loc 1 {\displaystyle L_{\operatorname {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
Δ f + ≥ Re ( 1 [ f ≥ 0 ] Δ f ) {\displaystyle \Delta f^{+}\geq \operatorname {Re} \left(1_{[f\geq 0]}\Delta f\right)\quad } in D ′ ( Ω ) {\displaystyle \;{\mathcal {D}}'(\Omega )}
where f + = max ( f , 0 ) {\displaystyle f^{+}=\operatorname {max} (f,0)} and 1 [ f ≥ 0 ] {\displaystyle 1_{[f\geq 0]}} is the indicator function. If f {\displaystyle f} is continuous in Ω {\displaystyle \Omega } then
Δ | f | ≥ Re ( ( sgn f ¯ ) Δ f ) {\displaystyle \Delta |f|\geq \operatorname {Re} \left((\operatorname {sgn} {\overline {f}})\Delta f\right)\quad } in D ′ ( { f ≠ 0 } ) {\displaystyle \;{\mathcal {D}}'(\{f\neq 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. hdl:2078.1/70476. 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. Vol. 146. Cham: Springer. pp. 47–60. doi:10.1007/978-3-030-12661-2_3. ISBN 978-3-030-12660-5. S2CID 191796248.
References