Suppose that f satisfies (E). Then
(i) ℒ(f)(s) defines a holomorphic (complex differentiable) function of s on the open right half plane {s∈𝐂:ℜs>β};
(ii) ℒ(f)(s)→0 as s→∞ along (0,∞).
Proof. (i) Similar to Proposition 73(iii)
(ii) This is similar to Proposition 73(i).