Functional calculus for infinitesimal generators of holomorphic semigroups (Q1376554)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Functional calculus for infinitesimal generators of holomorphic semigroups
scientific article

    Statements

    Functional calculus for infinitesimal generators of holomorphic semigroups (English)
    0 references
    0 references
    0 references
    6 October 1998
    0 references
    An \(AC^{(\nu)}\) functional calculus is constructed for the generator \(A\) of a Banach space semigroup \(\{T(z)\}_{\text{Re} (z)>0}\) holomorphic in \(\text{Re} (z)>0\) and satisfying some polynomial growth restrictions on vertical lines. Precisely, \(AC^{(\nu)}\) is defined for \(\nu>0\) as the space of Weyl fractional integrals \[ f(x)= W^{-\nu} g(x)= {1\over \Gamma (\nu)} \int_x^\infty (t-x)^{\nu-1} g(t)dt \] on \([0,\infty)\) where the densities \(g\) satisfy \(\| f\|_\nu =\int_0^\infty t^{\nu-1} | g(t) | dt< \infty\). For an integer \(\nu\geq 1\) this is equivalent to saying that \(f\) has all derivatives up to order \(\nu-1\) satisfying \(x^kf^{(k)} (x)= o(1)\) for \(x\to \infty\) and \(0\leq k<\nu\) and the \((\nu-1)\)th derivative is absolutely continuous with \(\int^\infty_0 x^{\nu-1} | f^{(\nu)} (x)| dx< \infty\). It is proved that if \(\nu\geq 1\) then \(AC^{(\nu)}\) is a Banach algebra under pointwise multiplication (Proposition 3.4). Given a Banach space holomorphic semigroup \(T(z)\), \(\text{Re} (z)>0\), satisfying the growth condition \(\| T(z) \|\leq C_{\mu, \varepsilon} | z|^\mu\), \(\text{Re} (z)> \varepsilon\) for all \(\varepsilon >0\) and some \(\mu\geq 0\), the formulas \[ \begin{aligned} f(A) & =\int^\infty_0 g(u)G^{\nu-1} (u)du,\\ G^{\nu-1} (u) & ={1\over 2\pi i} \int_{\text{Re} (z)=1} T(z)z^{-\nu} e^{uz} dz \end{aligned} \] define a functional calculus \(f\mapsto f(A)\) for \(f\in AC^{(\nu)}\) for every \(\nu> \mu+1\); the calculus is multiplicative, independent of the choice of \(\nu> \mu+1\), and permanent with respect to the holomorphic calculus (Theorem 4.1). It is bounded, \(\| f(A) \|\leq C_{\nu,\mu} \| f\|_\nu\), \(\nu> \mu+1\), for any holomorphic semigroup satisfying the stronger growth hypothesis \(\| T(z) \|\leq C_\mu (| z|/ \text{Re} (z))^\mu\) for \(\text{Re} (z)>0\) (Theorem 6.2). Some other (similar) estimates based on different relations between the smoothness of \(f\) and the growth of \(T(z)\) are given (Theorem 6.3). The proofs depend on more or less standard techniques of Fourier-Laplace transforms. Some applications to fractional powers of generators \(A^\theta\), especially for Laplacians \(A=- \Delta\) on \(L^1 (\mathbb{R}^n)\) and on stratified Lie groups, are shown.
    0 references
    0 references
    Banach space semigroup
    0 references
    Weyl fractional integrals
    0 references
    Banach algebra
    0 references
    functional calculus
    0 references
    stratified Lie groups
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references