On perturbed substochastic semigroups in abstract state spaces (Q647938): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 00:51, 5 March 2024

scientific article
Language Label Description Also known as
English
On perturbed substochastic semigroups in abstract state spaces
scientific article

    Statements

    On perturbed substochastic semigroups in abstract state spaces (English)
    0 references
    0 references
    0 references
    22 November 2011
    0 references
    The authors investigate substochastic \(C_0\)-semigroups of Banach space operators defined by addition of generators. More precisely, let \(\mathfrak{X}\) denote a real ordered Banach space -- not necessarily a Banach lattice -- with norm \(\|\cdot\|\) which is additive on the positive cone \(\mathfrak{X}_+\) and \(\Psi\) be a positive functional (of norm 1) such that \(\langle\Psi, u\rangle = \|u\|\) for \(u\in \mathfrak{X}_+ \). Let \((\mathcal{U}(t))_{t\geq 0}\) denote a substochastic \(C_0\)-semigroup with generator \(\mathcal{A}\). The generator is perturbed by a positive operator \(\mathcal{B}: D(\mathcal{A}) \to \mathfrak{X}\) such that \(\mathcal{A}+\mathcal{B}\) satisfies \(\langle\Psi,(\mathcal{A}+\mathcal{B})u\rangle \leq 0\) for \(u\in D(\mathcal{A})\cap\mathfrak{X}_+\). Then there exists a (minimal) extension \(\mathcal{G}\) of \(\mathcal{A}+\mathcal{B}\) generating a substochastic \(C_0\)-semigroup \((\mathcal{V}(t))\), characterized by the representation of the resolvent \((\lambda - \mathcal{G})^{-1}u =\lim_n\sum_0^n[\mathcal{B}(\lambda-\mathcal{A})^{-1}]^k u\) (convergence in the strong operator topology). Recall that a semigroup \((\mathcal{T}(t))\) is called substochastic if it is positive and \(\|\mathcal{T}(t)u\|\leq \|u\|\) for \(u\in \mathfrak{X}_+\). Thus \(\|\mathcal{T}(t)\|\) is uniformly bounded (not necessarily by \(1\)). The proof relies on the ideas in [\textit{T. Kato}, ``On the semi-group generated by Kolmogoroff's differential equations'', J. Math. Soc. Japan 6, 1--15 (1954; Zbl 0058.10701)], considering first perturbed generators \(\mathcal{G}_r = \mathcal{A}+r\cdot\mathcal{B}\) for \(0<r<1\), for which the series expansion converges uniformly, and then considering the limit for \(r\to 1\) in the strong operator topology. Furthermore, the authors obtain -- in analogy to the `classical' uniformly convergent Phillips-Dyson expansion -- the representation \(\mathcal{V}(t)=\sum_{n\geq 0}\mathcal{V}_n(t)\) with \(\mathcal{V}_{n+1}(t)u= \int_0^t\mathcal{V}_n(t-s)\mathcal{B}\mathcal{U}(s) \,ds\) (convergence in the strong operator topology). \(\Psi\) defines functionals, \(\mathfrak{a}_0(u):= -\langle \Psi,\mathcal{G}u\rangle\), for \(u\in D(\mathcal{G})\), and its restriction \(\mathfrak{a}:= \mathfrak{a}_0|_{D(\mathcal{A})}\), as well as an extension \(\overline{\mathfrak{a}}\) defined by the resolvent of \(\mathcal{G}\). A trajectory \(\left(\mathcal{V}(t)u\right)_{t\geq 0}\) is called \textit{honest} if \(\|\mathcal{V}(t)u\|-\|u\| = -\overline{\mathfrak{a}}\left(\int_0^t\mathcal{V}(s)u \,ds\right)\) for all \(t\geq 0\). The semigroup \(\left(\mathcal{V}(t)\right)\) is honest if all trajectories are honest. It is shown (Theorem 3.11, Remark 3.12) that the semigroup is honest iff \(\mathcal{G}=\overline{\mathcal{A}+\mathcal{B}}\), hence iff \(D(\mathcal{A})\) is a core for \(\mathcal{G}\). Here, the theory of perturbations and of honest semigroups is, as mentioned, developed without assuming that \(\mathfrak{X}\) is a Banach lattice. Thus it is applicable to commutative and non-commutative probability theory; in particular, to AL-spaces as the space of bounded signed measures and to the trace-class operators on a Hilbert space (cf.\ the examples in Section~3). Furthermore, Section~3 contains criteria for honesty, resp. dishonesty of perturbed semigroups \((\mathcal{V}(t))\). Section~4 contains a finer analysis of the Dyson-Phillips representation. In particular, a new functional \(\widehat{\mathfrak{a}}\) -- an extension of \(\mathfrak{a}_0\) -- is defined and it is shown that this functional coincides with \(\overline{\mathfrak{a}}\) (Theorem 4.9). For the background and further literature, the reader is referred, e.g., to the monograph of \textit{J. Banasiak} and \textit{L. Arlotti} [Perturbations of positive semigroups with applications. Springer Monographs in Mathematics. London: Springer (2006; Zbl 1097.47038)] as well as the following preprint of the third named author [``On the resolvent positive operators in ordered Banach spaces with additive norm and applications to semigroup theory'', Prépublications du laboratoire de mathématiques de Besançon 2007/36 (2007)].
    0 references
    substochastic semigroup
    0 references
    ordered Banach space
    0 references
    positive cone
    0 references
    additive norm
    0 references
    perturbation series
    0 references
    addition of generators
    0 references
    honest semigroup
    0 references
    total mass carried by a trajectory
    0 references
    Dyson-Phillips expansion
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references