Documentation

TauCeti.Analysis.Semigroups.Defs

Strongly continuous semigroups #

This module re-exports the strongly continuous semigroup, generator, orbit-derivative, growth-bound, and Laplace-transform resolvent API, the latter including the derivatives of the resolvent in the spectral parameter.

References #

Ported and adapted (Apache 2.0) from mrdouglasny/hille-yosida; references include Engel--Nagel, Linares, Pazy, Hille, and Yosida.