On the \(\mathcal T\)-calculus of generators for~\(C_0\)-semigroups (Q1577166)

From MaRDI portal
Revision as of 12:33, 30 May 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
On the \(\mathcal T\)-calculus of generators for~\(C_0\)-semigroups
scientific article

    Statements

    On the \(\mathcal T\)-calculus of generators for~\(C_0\)-semigroups (English)
    0 references
    0 references
    30 August 2000
    0 references
    Let \(T\) be a one-parameter \(C_0\)-semigroup of linear operators in a Banach space \(X\) which possesses the property \(\|T(u)\|\leq \text{const}\) for \(u\geq 0\). Assume that \(A\) is a generator for \(T\) with domain \(D(A)\). Let \(\mathcal T\) be the class of all differentiable functions \(\psi\:(-\infty ,0)\to (-\infty ,0)\) with absolutely monotone derivative. These functions \(\psi\) admit the integral representation \(\psi (s)=c_0+c_1s+\int_0^{\infty}(e^{us}-1) d\mu (u)\), where \(s<0\), \(c_0=\psi (-0)\leq 0\), \(c_1\geq 1\), and \(\mu\) is a positive measure on \((0,\infty)\). For such a function \(\psi\in\mathcal T\) and \(x\in D(A)\) put \(\psi (A)=c_0x+c_1Ax+\int_0^{\infty}\bigl(T(u)-I\bigr)x d\mu (u)\). Here the integral exists in the Bochner sense. The main result asserts that \(\psi (A)\) is a generator for some \(C_0\)-semigroup \(g(A)\) satisfying the condition \(\|g_t(A)\|\leq Me^{t\psi (-0)}\) \((t\geq 0)\). The functional calculus of generators, constructed in this way, is essentially unique and agrees with the Hille-Phillips calculus. In particular, the Composite Function Theorem is valid. Moreover, the well-known Kato formula for the resolvents of fractional powers of operators translates to the functions of the class \(\mathcal T\).
    0 references
    one-parameter \(C_0\)-semigroup
    0 references
    generator
    0 references
    absolutely monotone function
    0 references
    Kato formula
    0 references
    resolvent
    0 references
    Hille-Phillips calculus
    0 references
    composite function theorem
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers