The Azimuth Project
Experiments in Kato's inequality

Contents

Idea

Kato’s inequality occurs in several areas of mathematics and physics. …

Semigroup domination

Let U t=exp(tH)U_t = \exp(t H) be a positivity preserving semigroup on L p(M)L^p(M) for some fixed pp. Let V t=exp(tK)V_t = \exp(t K) a strongly continuous semigroup on some vector valued L p(M,E)L^p(M,E), where EE is a Euclidian vector space with norm ||\vert\cdot\vert. For aEa\in E set (sgnav):=a,v/|a|(\sgn a\cdot v):=\langle a,v\rangle/\vert a\vert. But you might as well take E=RE=\R.

Theorem:

|V ta|U t|a|t,a\vert V_t a\vert \le U_t\vert a\vert \quad \forall t, a

is equivalent to Kato’s inequality

|a|,H *f(sgna)(Ka),f...,f0\langle \vert a\vert , H^\ast f\rangle \ge \langle (\sgn a)(Ka), f\rangle \quad \forall ..., f\ge0

Connection to positivity preserving semigroups

From Simon’s proof of the above theorem one easily sees that Kato’s inequality is necessary for any semigroup on L 1L^1 to be positivity preserving.

Is it sufficient? – The other implication in Simon’s proof can easily be reduced to the criterion

which looks nice but ultimately begs the question in the language of resolvents. (For practical verification of the criterion you need to know the answer.) Using a crown jewel of semigroup tricks (from Dodziuk 19xy) the question can be begged more literally,

and this might perhaps turn out to guide the way to prove sufficiency: … tbc … Perhaps construct a positivity preserving semigroup dominated by U tU_t. Or perhaps just do some clever calculus, based perhaps on Egorov’s theorem

References

category: experiments