A short proof of the Arendt-Chernoff-Kato theorem

Sergiy Koshkin
DOI: https://doi.org/10.1007/s00013-013-0543-y
2013-08-15
Abstract:We give a short new proof of the Arendt-Chernoff-Kato theorem, which characterizes generators of positive C0 semigroups in order unit spaces. The proof avoids half-norms and subdifferentials, and is based on a sufficient condition for an operator to have positive inverse, which is new even for matrices.
Functional Analysis
What problem does this paper attempt to address?
This paper aims to provide a new short proof for the Arendt - Chernoff - Kato theorem. This theorem describes the characteristics of operators generating positive \(C_0\) semigroups in ordered unit spaces. Specifically, these operators are densely - defined linear operators with positive off - diagonal properties and satisfy certain range conditions. By introducing the concept of "positivity somewhere", the paper simplifies the proof process and avoids using complex tools such as seminorms and sub - differentials. In addition, the paper also shows that even if an operator does not have positive off - diagonal properties, as long as it satisfies "positivity somewhere", the negativity of its inverse operator can also be deduced. The main contributions of the paper are: - Proposing a new sufficient condition for determining whether an operator has a positive inverse operator, which is also new for matrices. - Simplifying the proof of the Arendt - Chernoff - Kato theorem through the concept of "positivity somewhere", making it easier to verify the conditions. - Proving that under certain conditions, "positivity somewhere" is equivalent to the traditional "positive off - diagonal property", especially in finite - dimensional spaces. Overall, by introducing new concepts and techniques, the paper not only simplifies the proof of existing theorems but also expands their application range, especially when dealing with operators in infinite - dimensional spaces.