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
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
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