(𝑎,𝑘)-Regularized 𝐶-Resolvent Families: Regularity and Local Properties

Abstract

We introduce the class of (local) (𝑎,𝑘)-regularized 𝐶-resolvent families and discuss its basic structural properties. In particular, our analysis covers subjects like regularity, perturbations, duality, spectral properties and subordination principles. We apply our results in the study of the backwards fractional diffusion-wave equation and provide several illustrative examples of differentiable (𝑎,𝑘)-regularized 𝐶-resolvent families.

1. Introduction and Preliminaries

In this review, we will report how a large number of known results concerning (𝑎,𝑘)-regularized resolvents [1–6], 𝐶-regularized resolvents [7], and (local) convoluted 𝐶-semigroups and cosine functions [8, 9] can be formulated in the case of general (𝑎,𝑘)-regularized 𝐶-resolvent families.

The paper is organized as follows. In Theorem 2.2, Remark 2.3, and Theorems 2.5, 2.6, and 2.7, we analyze the properties of subgenerators of (𝑎,𝑘)-regularized 𝐶-resolvent families and slightly improve results from [1]. With a view to further study the problem describing heat conduction in materials with memory and the Rayleigh problem of viscoelasticity in 𝐿^∞ type spaces, we prove in Theorem 2.8 several different forms of subordination principles [10]. The main objective in Theorems 2.9–2.12, 2.26, 2.28, and 2.32 is to continue the researches raised in [3] and [5, 6]. Our main contributions are Theorems 2.16–2.17, 2.20–2.25, 2.27, and 2.30 clarifying the basic regularity properties of (𝑎,𝑘)-regularized 𝐶-resolvent families and a fairly general form of the abstract Weierstrass formula.

It is noteworthy that the complete spectral characterization of subgenerators of (𝑎,𝑘)-regularized 𝐶-resolvent families exists only in the exponential case and that it is not clear, with exception of various types of local convoluted 𝐶-semigroups and cosine functions [9, 11], in what way one can prove a satisfactory Hille-Yosida theorem for local (𝑎,𝑘)-regularized 𝐶-resolvent families.

Throughout this paper 𝐸 denotes a nontrivial complex Banach space, 𝐿(𝐸) denotes the space of boundedlinear operators from 𝐸 into 𝐸,𝐸^∗ denotes the dual space of 𝐸, and 𝐴 denotes a closed linear operator acting on 𝐸. The range and the resolvent set of 𝐴aredenoted by Rang(𝐴) and 𝜌(𝐴), respectively; [𝐷(𝐴)] denotes the Banach space 𝐷(𝐴) equipped with the graph norm. From now on, we assume that 𝐿(𝐸)∋𝐶 is an injective operator which satisfies 𝐶𝐴⊆𝐴𝐶 and employ the convolution like mapping ∗ which is given by 𝑓∗𝑔(𝑡)∶=∫^𝑡₀𝑓(𝑡−𝑠)𝑔(𝑠)𝑑𝑠. Recall, the 𝐶-resolvent set of 𝐴, denoted by 𝜌_𝐶(𝐴), is defined to be the set of all complex numbers 𝜆 satisfying that the operator 𝜆−𝐴 is injective and that Rang(𝐶)⊆Rang(𝜆−𝐴). Let us recall that a linear subspace 𝑌⊆𝐷(𝐴) is called a core for 𝐴 if 𝑌 is dense in 𝐷(𝐴) with respect to the graph norm. Henceforth we identify a closed linear operator 𝐴 with its graph 𝐺(𝐴); given two closed linear operators 𝐴 and 𝐵 on 𝐸, the inclusion 𝐴⊆𝐵 means 𝐺(𝐴)⊆𝐺(𝐵). If 𝑋 is a closed subspace of 𝐸, then 𝐴_𝑋 denotes the part of 𝐴 in 𝑋, that is, 𝐴_𝑋∶={(𝑥,𝑦)∈𝐴∶𝑥∈𝑋,𝑦∈𝑋}.

We mainly use the following conditions.

(H1):A is densely defined.(H2):𝜌(𝐴)≠∅.(H3):𝜌_𝐶(𝐴)≠∅ and Rang(𝐶)=𝐸.(H4):𝐴isdenselydefinedor𝜌_𝐶(𝐴)≠∅.(H5):(H1) ∨ (H2) ∨ (H3).(P1):𝑘(𝑡) is Laplace transformable, that is, it is locally integrable on [0,∞) and there exists 𝛽∈ℝ so that 𝑘^∼(𝜆)=ℒ(𝑘)(𝜆)∶=lim_𝑏→∞∫^𝑏₀𝑒^−𝜆𝑡𝑘(𝑡)𝑑𝑡∶=∫^∞₀𝑒^−𝜆𝑡𝑘(𝑡)𝑑𝑡 exists for all 𝜆∈ℂ with Re𝜆>𝛽. Put abs(𝑘)∶=inf{Re𝜆∶𝑘^∼(𝜆)exists}.

Let us remind that a function 𝑘∈𝐿¹_loc([0,𝜏)) is called a kernel, if for every 𝜙∈𝐶([0,𝜏)), the supposition ∫^𝑡₀𝑘(𝑡−𝑠)𝜙(𝑠)𝑑𝑠=0,𝑡∈[0,𝜏), implies 𝜙≡0; due to the famous Titchmarsh's theorem [12], the condition 0∈ supp?𝑘 implies that 𝑘(𝑡) is a kernel. Set Θ(𝑡)∶=∫^𝑡₀𝑘(𝑠)𝑑𝑠,𝑡∈[0,𝜏).

2. (𝑎,𝑘)-Regularized 𝐶-Resolvent Families

We start with the following definition.

Definition 2.1. Let 0<𝜏≤∞,𝑘∈𝐶([0,𝜏)),𝑘≠0, and let 𝑎∈𝐿¹_loc([0,𝜏)),𝑎≠0. A strongly continuousoperator family (𝑅(𝑡))_{𝑡∈[0,𝜏)} is called a (local, if 𝜏<∞) (𝑎,𝑘)-regularized 𝐶-resolventfamily having 𝐴 as a subgeneratorif and only ifthe following holds: (i)𝑅(𝑡)𝐴⊆𝐴𝑅(𝑡),𝑡∈[0,𝜏),𝑅(0)=𝑘(0)𝐶, and 𝐶𝐴⊆𝐴𝐶,(ii)𝑅(𝑡)𝐶=𝐶𝑅(𝑡),𝑡∈[0,𝜏),(iii)𝑅(𝑡)𝑥=𝑘(𝑡)𝐶𝑥+∫^𝑡₀𝑎(𝑡−𝑠)𝐴𝑅(𝑠)𝑥𝑑𝑠,𝑡∈[0,𝜏),𝑥∈𝐷(𝐴).In the case 𝜏=∞,(𝑅(𝑡))_𝑡≥0 is said to be exponentially bounded if, additionally, there exist 𝑀>0 and 𝜔≥0 such that ‖𝑅(𝑡)‖≤𝑀𝑒^𝜔𝑡,𝑡≥0;(𝑅(𝑡))_{𝑡∈[0,𝜏)} is said to be nondegenerate if the condition 𝑅(𝑡)𝑥=0,𝑡∈[0,𝜏) implies 𝑥=0.
From now on, we consider only nondegenerate (𝑎,𝑘)-regularized 𝐶-resolvent families. Notice that (𝑅(𝑡))_{𝑡∈[0,𝜏)} is nondegenerate provided that 𝑘(0)≠0 or that (H5) holds for a subgenerator 𝐴 of (𝑅(𝑡))_{𝑡∈[0,𝜏)}.
In the case 𝑘(𝑡)=𝑡^𝛼/Γ(𝛼+1), where 𝛼>0, and Γ(⋅) denotes the Gamma function, it is also said that (𝑅(𝑡))_{𝑡∈[0,𝜏)} is an 𝛼-times integrated (𝑎,𝐶)-resolvent family; in such a way, we unify the notion of (local) 𝛼-times integrated 𝐶-semigroups (𝑎(𝑡)≡1) and cosine functions (𝑎(𝑡)≡𝑡) [1, 13, 14]. Furthermore, in the case 𝑘(𝑡)∶=∫^𝑡₀𝐾(𝑠)𝑑𝑠,𝑡∈[0,𝜏), where 𝐾∈𝐿¹_loc([0,𝜏)) and 𝐾≠0, we obtain the unification concept for (local) 𝐾-convoluted 𝐶-semigroups and cosine functions [15]. In the case 𝑘(𝑡)≡1,(𝑅(𝑡))_{𝑡∈[0,𝜏)} is said to be a (local) (𝑎,𝐶)-regularized resolvent family with a subgenerator 𝐴 (cf. also [16] for the definition which does not include the condition (ii) of Definition 2.1).
Designate by ℘(𝑅) the set which consists of all subgenerators of (𝑅(𝑡))_{𝑡∈[0,𝜏)}.
Then the following holds.
(i)𝐴∈℘(𝑅) implies 𝐶⁻¹𝐴𝐶∈℘(𝑅).(ii)If 𝐴∈℘(𝑅) and 𝜆∈𝜌_𝐶(𝐴), then 𝑅(𝑡)(𝜆−𝐴)⁻¹𝐶=(𝜆−𝐴)⁻¹𝐶𝑅(𝑡),𝑡∈[0,𝜏). (2.1)(iii)Assume, additionally, that 𝑎(𝑡) is a kernel. Then one can define the integral generator 𝐴 of (𝑅(𝑡))_{𝑡∈[0,𝜏)} by setting 𝐴∶={(𝑥,𝑦)∈𝐸×𝐸∶𝑅(𝑡)𝑥−𝑘(𝑡)𝐶𝑥=^𝑡₀𝑎(𝑡−𝑠)𝑅(𝑠)𝑦𝑑𝑠,𝑡∈[0,𝜏)}. (2.2) The integral generator 𝐴 of (𝑅(𝑡))_{𝑡∈[0,𝜏)} is a closed linear operator which satisfies 𝐶⁻¹𝐴𝐶=𝐴 and extends an arbitrary subgenerator of (𝑅(𝑡))_{𝑡∈[0,𝜏)}. Furthermore, 𝐴∈℘(𝑅), if 𝑅(𝑡)𝑅(𝑠)=𝑅(𝑠)𝑅(𝑡),0≤𝑡,𝑠<𝜏.
Recall that in the case of convoluted 𝐶-semigroups and cosine functions, the set ℘(𝑅) becomes a complete lattice under suitable algebraic operations and that induced partial ordering coincides with the usual set inclusion. In general, ℘(𝑅) needs not to be finite [9].
Henceforth we assume that the scalar-valued kernels 𝑘,𝑘₁,𝑘₂,… are continuous on [0,𝜏), and that 𝑎≠0 in 𝐿¹_loc([0,𝜏)).
Assume temporarily 𝜆∈𝜌_𝐶(𝐴),𝑥∈Rang(𝐶),𝑡∈[0,𝜏), and put 𝑧=(𝑎∗𝑅)(𝑡)𝑥.
Following the proof of [1, Lemma ?2.2], we have 𝑧=𝜆(𝑎∗𝑅)(𝑡)(𝜆−𝐴)⁻¹𝑥−(𝑎∗𝑅)(𝑡)𝐴(𝜆−𝐴)⁻¹𝑥=𝜆(𝑎∗𝑅)(𝑡)(𝜆−𝐴)⁻¹𝑥−(𝑅(𝑡)(𝜆−𝐴)⁻¹𝑥−𝑘(𝑡)𝐶(𝜆−𝐴)⁻¹𝑥)=𝜆(𝜆−𝐴)⁻¹𝐶(𝑎∗𝑅)(𝑡)𝐶⁻¹𝑥−((𝜆−𝐴)⁻¹𝑅(𝑡)𝑥−𝑘(𝑡)(𝜆−𝐴)⁻¹𝐶𝑥), where the last two equalities follow on account of 𝐶𝐴⊆𝐴𝐶,𝑅(𝑠)𝐴⊆𝐴𝑅(𝑠) and 𝑅(𝑠)(𝜆−𝐴)⁻¹𝐶=(𝜆−𝐴)⁻¹𝐶𝑅(𝑠),𝑠∈[0,𝜏). Hence, (𝜆−𝐴)𝑧=𝜆𝑧−(𝑅(𝑡)𝑥−𝐶𝑥),
^𝑡₀𝑎(𝑡−𝑠)𝑅(𝑠)𝑥𝑑𝑠∈𝐷(𝐴),𝐴^𝑡₀𝑎(𝑡−𝑠)𝑅(𝑠)𝑥𝑑𝑠=𝑅(𝑡)𝑥−𝑘(𝑡)𝐶𝑥. (2.3)
The closedness of 𝐴 implies that (2.3) holds for every 𝑡∈[0,𝜏) and 𝑥∈Rang(𝐶).

Theorem 2.2 (see [1]). (i) Let 𝐴 be a subgenerator of an (𝑎,𝑘)-regularized C-resolvent family (𝑅(𝑡))_{𝑡∈[0,𝜏)}, and let (H5) hold. Then (2.3) holds for every 𝑡∈[0,𝜏) and 𝑥∈𝐸. If 𝜌_𝐶(𝐴)≠∅, then (2.3) holds for every t∈[0,𝜏) and 𝑥∈Rang(𝐶).
(ii) Let 𝐴 be a subgenerator of an (𝑎,𝑘_𝑖)-regularized 𝐶-resolvent family (𝑅_𝑖(𝑡))_{𝑡∈[0,𝜏)},𝑖=1,2. Then (𝑘₂∗𝑅₁)(𝑡)=(𝑘₁∗𝑅₂)(𝑡),𝑡∈[0,𝜏), whenever (H4) holds.
(iii) Let (𝑅₁(𝑡))_{𝑡∈[0,𝜏)} and (𝑅₂(𝑡))_{𝑡∈[0,𝜏)} be two (𝑎,𝑘)-regularized 𝐶-resolvent families having 𝐴 as a subgenerator. Then 𝑅₁(𝑡)𝑥=𝑅₂(𝑡)𝑥,𝑡∈[0,𝜏),𝑥∈𝐷(𝐴), and 𝑅₁(𝑡)=𝑅₂(𝑡),𝑡∈[0,𝜏), if (H4) holds.
(iv) Let 𝐴 be a subgenerator of an (𝑎,𝑘)-regularized 𝐶-resolvent family (𝑅(𝑡))_{𝑡∈[0,𝜏)}. If 𝑘(𝑡) is absolutely continuous and 𝑘(0)≠0, then 𝐴 is a subgenerator of an (𝑎,𝐶)-regularized resolvent family on [0,𝜏).

Remark 2.3. (i) Let (𝑅_𝑖(𝑡))_{𝑡∈[0,𝜏)} be an (𝑎,𝑘_𝑖)-regularized 𝐶-resolvent family with a subgenerator 𝐴, ??𝑖=1,2, and let 𝐷(𝐴)≠{0}. Then 𝑘₁=𝑘₂.
(ii) Let (𝑅_𝑖(𝑡))_{𝑡∈[0,𝜏)} be an (𝑎,𝑘_𝑖)-regularized 𝐶-resolvent family with a subgenerator 𝐴,𝑖=1,2. Then, for every 𝛼∈ℂ and 𝛽∈ℂ,(𝛼𝑅₁(𝑡)+𝛽𝑅₂(𝑡))_{𝑡∈[0,𝜏)} is an (𝑎,𝛼𝑘₁+𝛽𝑘₂)-regularized 𝐶-resolvent family with a subgenerator 𝐴.
(iii) Let (𝑅(𝑡))_{𝑡∈[0,𝜏)} be an (𝑎,𝑘)-regularized 𝐶-resolvent family with a subgenerator 𝐴, and let 𝐿¹_loc([0,𝜏))∋𝑏 be a kernel. Then 𝐴 is a subgenerator of an (𝑎,𝑘∗𝑏)-regularized 𝐶-resolvent family ((𝑏∗𝑅)(𝑡))_{𝑡∈[0,𝜏)}.
(iv) Let (𝑅(𝑡))_{𝑡∈[0,𝜏)} be an (𝑎,𝐶)-regularized resolvent family having 𝐴 as a subgenerator. Then ((𝑘∗𝑅)(𝑡))_{𝑡∈[0,𝜏)} is an (𝑎,Θ)-regularized 𝐶-resolvent family with a subgenerator 𝐴.
(v) Suppose (𝑅(𝑡))_{𝑡∈[0,𝜏)} is an (𝑎,𝑘)-regularized 𝐶-resolvent family with a subgenerator 𝐴, (H1) or (H3) holds, and 𝑎(𝑡) is a kernel. Then the integral generator 𝐴 of (𝑅(𝑡))_{𝑡∈[0,𝜏)} satisfies 𝐴=𝐶⁻¹𝐴𝐶. Toward this end, let (𝑥,𝑦)∈𝐴. Then ∫^𝑡₀𝑎(𝑡−𝑠)[𝑘(𝑠)𝐶𝑥+∫^𝑠₀𝑎(𝑠−𝑟)𝑅(𝑟)𝑦𝑑𝑟]𝑑𝑠=∫^𝑡₀𝑎(𝑡−𝑠)𝑅(𝑠)𝑥𝑑𝑠∈𝐷(𝐴),𝑡∈[0,𝜏), and 𝐴∫^𝑡₀𝑎(𝑡−𝑠)[𝑘(𝑠)𝐶𝑥+∫^𝑠₀𝑎(𝑠−𝑟)𝑅(𝑟)𝑦𝑑𝑟]𝑑𝑠=𝐴∫^𝑡₀𝑎(𝑡−𝑠)𝑅(𝑠)𝑥𝑑𝑠=𝑅(𝑡)𝑥−𝑘(𝑡)𝐶𝑥=∫^𝑡₀𝑎(𝑡−𝑠)𝑅(𝑠)𝑦𝑑𝑠,𝑡∈[0,𝜏). Since (𝑎∗𝑅)(𝑡)𝑦∈𝐷(𝐴),(𝑎∗𝑎∗𝑅)(𝑡)𝑦∈𝐷(𝐴),𝐴(𝑎∗𝑎∗𝑅)(𝑡)𝑦=(𝑎∗(𝑅−𝑘𝐶))(𝑡)𝑦,𝑡∈[0,𝜏), and 𝑎∗𝑘≠0 in 𝐶([0,𝜏)), it follows that 𝐶𝑥∈𝐷(𝐴),𝐴𝐶𝑥=𝐶𝑦,𝑥∈𝐷(𝐶⁻¹𝐴𝐶), and 𝐶⁻¹𝐴𝐶𝑥=𝐴𝑥=𝑦. On the other hand, 𝐶⁻¹𝐴𝐶 is a subgenerator of (𝑅(𝑡))_{𝑡∈[0,𝜏)} whenever 𝐴 is; this implies 𝐶⁻¹𝐴𝐶⊆𝐴 and proves the claim. If (H2) holds, then 𝐴=𝐶⁻¹𝐴𝐶=𝐴. In what follows, we also assume that 𝐵∈℘(𝑅) and that (H5) holds for 𝐵 and 𝐶. Proceeding as in the proof of [9, Proposition ?2.1.1.6], one gets what follows.
(v.1)𝐶⁻¹𝐴𝐶=𝐶⁻¹𝐵𝐶 and 𝐶(𝐷(𝐴))⊆𝐷(𝐵).(v.2)𝐴 and 𝐵 have the same eigenvalues.(v.3)The assumption 𝐴⊆𝐵 implies 𝜌_𝐶(𝐴)⊆𝜌_𝐶(𝐵).(v.4)card (℘(𝑅))=1, if 𝐶(𝐷(𝐴)) is a core for 𝐷(𝐴).(v.5)𝐴⊆𝐵⇔𝐷(𝐴)⊆𝐷(𝐵) and 𝐴𝑥=𝐵𝑥,𝑥∈𝐷(𝐴)∩𝐷(𝐵); furthermore, the property (v.5) holds whenever {𝐴,𝐵}⊆℘(𝑅) and 𝑎(𝑡) is a kernel.
We refer the reader to [1, page 283] for the definition of (weak) solutions of the problem
𝑢(𝑡)=𝑓(𝑡)+^𝑡₀𝑎(𝑡−𝑠)𝐴𝑢(𝑠)𝑑𝑠,𝑡∈[0,𝜏), (2.4) where 𝑓∈𝐶([0,𝜏)∶𝐸), and to [1, page 285] for the notion of spaces 𝐶^𝑛,𝑘([0,𝜏)∶𝐸),𝑛∈ℕ,𝑘∈ℕ₀ and 𝐶^𝑛₀([0,𝜏)∶𝐸),and𝑛∈ℕ.
Define a subset 𝐴^∗ of 𝐸^∗×𝐸^∗ (the use of symbol ∗ is clear from the context) by 𝐴^∗∶={(𝑥^∗,𝑦^∗)∈𝐸^∗×𝐸^∗∶𝑥^∗(𝐴𝑥)=𝑦^∗(𝑥)forall𝑥∈𝐷(𝐴)}. In the case when 𝐴 is densely defined, 𝐴^∗ is a linear mapping from 𝐸^∗ into 𝐸^∗.

Lemma 2.4 (see [17]). Let 𝐴 be a closed linear operator. Assume 𝑥₀∈𝐸,𝑦₀∈𝐸, and 𝑥^∗(𝑦₀)=𝑦^∗(𝑥₀) for all (𝑥^∗,𝑦^∗)∈𝐴^∗. Then 𝑥₀∈𝐷(𝐴), and 𝐴𝑥₀=𝑦₀.

Define the mapping 𝐾_𝐶∶𝐶([0,𝜏)∶𝐸)→𝐶([0,𝜏)∶𝐸) by 𝐾_𝐶𝑢∶=𝑘∗𝐶𝑢,𝑢∈𝐶([0,𝜏)∶𝐸). Then 𝐾_𝐶 is linear, bounded, and injective.

Keeping in mind Lemma 2.4 and the proofs of [1, Theorem ?2.7, Corollary ?2.9, Remark ?2.10, Corollary ?2.11, and Corollary ??2.13], we have the following.

Theorem 2.5. (i) Suppose 𝑓∈𝐶([0,𝜏)∶𝐸),𝐴 is a subgenerator of a (local) (𝑎,𝑘)-regularized 𝐶-resolvent family (𝑅(𝑡))_{𝑡∈[0,𝜏)}, and (H5) holds. Then (2.4) has a unique solution if and only if 𝑅∗𝑓∈Rang(𝐾_𝐶).
(ii) (cf. also [18]) Assume 𝑛∈ℕ,𝑓∈𝐶([0,𝜏)∶𝐸),𝐴 is a subgenerator of a (local) 𝑛-times integrated (𝑎,𝐶)-resolvent family (𝑅(𝑡))_{𝑡∈[0,𝜏)}, and (H5) holds. Then (2.4) has a unique solution if and only if 𝐶⁻¹(𝑅∗𝑓)∈𝐶₀^𝑛+1([0,𝜏)∶𝐸).
(iii) Let the assumptions of the item (i) of this theorem hold, and let 𝑘∈𝐶^𝑛₀([0,𝜏)∶𝐸). Then 𝐶⁻¹(𝑅∗𝑓)∈𝐶^(𝑛+1)([0,𝜏)∶𝐸) if and only if 𝐶⁻¹(𝑅∗𝑓)∈𝐶₀^𝑛+1([0,𝜏)∶𝐸).
(iv) Let (H5) hold. Assume that 𝑛∈ℕ,𝐴 is a subgenerator of an 𝑛-times integrated (𝑎,𝐶)-regularized resolvent, and 𝑎∈𝐵𝑉_loc([0,𝜏)∶𝐸), respectively 𝐴 is a subgenerator of an (𝑎,𝐶)-regularized resolvent family. Assume, further, that 𝐶⁻¹𝑓∈𝐶^(𝑛+1)([0,𝜏)∶𝐸),𝑓^(𝑘−1)(0)∈𝐷(𝐴^{𝑛+1−𝑘}) and 𝐴^{𝑛+1−𝑘}𝑓^(𝑘−1)(0)∈Rang(𝐶),1≤𝑘≤𝑛+1, respectively 𝐶⁻¹𝑓∈𝐴𝐶_loc([0,𝜏)∶𝐸). Then (2.4) has a unique solution.
(v) Assume that (H5) holds, 𝐴 is a subgenerator of an (𝑎,𝑘)-regularized 𝐶-resolvent family, 𝑘(𝑡) is absolutely continuous, and 𝑘(0)≠0. If 𝐶⁻¹𝑓∈𝐶¹([0,𝜏)∶𝐸), then there exists a unique solution of (2.4).

The proof of following theorem follows from a standard application of Laplace transform techniques.

Theorem 2.6. Let 𝑘(𝑡) and 𝑎(𝑡) satisfy (P1), and let (𝑅(𝑡))_𝑡≥0 be a strongly continuous operator family satisfying ‖𝑅(𝑡)‖≤𝑀𝑒^𝜔𝑡,𝑡≥0, for some 𝑀>0 and 𝜔≥0. Put 𝜔₀∶=max(𝜔,abs(𝑎),abs(𝑘)).(i)Suppose 𝐴 is a subgenerator of the exponentially bounded (a,k)-regularized 𝐶-resolvent family (𝑅(𝑡))_𝑡≥0, and (H5) holds. Then, for every 𝜆∈ℂ with Re𝜆>𝜔₀ and 𝑘^∼(𝜆)≠0, the operator 𝐼−𝑎^∼(𝜆)𝐴 is injective, Rang(𝐶)⊆Rang(𝐼−𝑎^∼(𝜆)𝐴),𝑘^∼(𝜆)(𝐼−𝑎^∼(𝜆)𝐴)⁻¹𝐶𝑥=^∞₀𝑒^−𝜆𝑡𝑅(𝑡)𝑥𝑑𝑡,𝑥∈𝐸,Re𝜆>𝜔₀,𝑘^∼(𝜆)≠0, (2.5) ? {_∼1𝑎(𝜆)∶𝜆∈ℂ,Re𝜆>𝜔₀,𝑘^∼(𝜆)𝑎^∼(𝜆)≠0}⊆𝜌_𝐶(𝐴) (2.6) and 𝑅(𝑠)𝑅(𝑡)=𝑅(𝑡)𝑅(𝑠),𝑡,𝑠≥0.(ii)Assume that (2.5)-(2.6) hold. Then 𝐴 is a subgenerator of the exponentially bounded (𝑎,𝑘)-regularized C-resolvent family (𝑅(𝑡))_𝑡≥0.

The preceding theorem enables one to establish the real and complex characterization of subgenerators of (locally Lipschitz continuous) exponentially bounded (𝑎,𝑘)-regularized 𝐶-resolvent families [1, 9, 12]:

Theorem 2.7. (i) Let 𝑘(𝑡) and 𝑎(𝑡) satisfy (P1), and let 𝜔₀≥max(0,abs(𝑎),abs(𝑘)). Assume that, for every 𝜆∈ℂ with Re𝜆>𝜔₀ and 𝑘^∼(𝜆)≠0, the operator 𝐼−𝑎^∼(𝜆)𝐴 is injective and that Rang(𝐶)⊆Rang(𝐼−𝑎^∼(𝜆)𝐴). If there exists an analytic function Υ∶{𝜆∈ℂ∶Re𝜆>𝜔₀}→𝐿(𝐸) with:
(i.1)Υ(𝜆)=𝑘^∼(𝜆)(𝐼−𝑎^∼(𝜆)𝐴)⁻¹𝐶,𝜆∈ℂ,Re𝜆>𝜔₀, (i.2)‖Υ(𝜆)‖≤𝑀|𝜆|^𝑟,𝜆∈ℂ,Re𝜆>𝜔₀, for some 𝑀>0 and 𝑟≥−1, then, for every 𝛼>1,𝐴 is a subgenerator of a norm continuous, exponentially bounded (𝑎,𝑘∗𝑡^{𝛼+𝑟−1}/Γ(𝛼+𝑟))-regularized 𝐶-resolvent family.
(ii) Suppose 𝑘(𝑡) and 𝑎(𝑡) satisfy (P1) and (H2) or (H3) holds, and 𝐴 is a subgenerator of an exponentially bounded (𝑎,Θ)-regularized 𝐶-resolvent family (𝑅(𝑡))_𝑡≥0 which satisfies the next condition:
‖𝑅(𝑡+ℎ)−𝑅(𝑡)‖≤𝑀ℎ𝑒^{𝜔(𝑡+ℎ)},𝑡≥0,ℎ≥0,forsome𝑀>0,𝜔≥0. (2.7) Then there exists 𝑎≥𝜔₀ such that {_∼1𝑎(𝜆)∶𝜆>𝑎,𝑘^∼(𝜆)𝑎^∼(𝜆)≠0}⊆𝜌_𝐶(𝐴),themapping𝜆↦𝐻(𝜆)∶=𝑘^∼(𝜆)(𝐼−𝑎^∼(𝜆)𝐴)⁻¹𝐶,𝜆>𝑎,𝑘^∼(𝜆)𝑎^∼(𝜆)≠0 (2.8)(2.9)
(ii) Suppose 𝐴 is a subgenerator of an (𝑎,𝑘)-regularized 𝐶-resolvent family (𝑅(𝑡))_{𝑡∈[0,𝜏)} satisfying ‖𝑅(𝑡)‖=𝑂(𝑘(𝑡)),𝑡→0+,min(𝑎(𝑡),𝑘(𝑡))>0,𝑡∈(0,𝜏), and (H5) holds. Then (2.18)-(2.19) hold.

Theorem 2.10. (i) Suppose 𝐴 is a subgenerator of an (𝑎,𝑘)-regularized 𝐶-resolvent family (𝑅(𝑡))_{𝑡∈[0,𝜏)} satisfying ‖𝑅(𝑡)‖=𝑂(𝑘(𝑡)),𝑡→0+ and min(𝑎(𝑡),𝑘(𝑡))>0,𝑡∈(0,𝜏). Then lim_𝑡→0+(𝑎∗𝑅)(𝑡)𝑥/(𝑎∗𝑘)(𝑡)=𝐶𝑥,𝑥∈𝐷(𝐴).
(ii) Suppose 𝐴 is a subgenerator of an (𝑎,𝑘)-regularized 𝐶-resolvent family (𝑅(𝑡))_{𝑡∈[0,𝜏)} satisfying ‖𝑅(𝑡)‖=𝑂(𝑘(𝑡)),𝑡→0+,min(𝑎(𝑡),𝑘(𝑡))>0,𝑡∈(0,𝜏) and (H5) holds. If 𝑥∈𝐷(𝐴),𝑦∈𝐸 and lim_𝑡→0+(𝑅(𝑡)𝑥−𝑘(𝑡)𝐶𝑥)/(𝑎∗𝑘)(𝑡)=𝑦, then 𝑥∈𝐷(𝐴) and 𝑦=𝐴𝑥.
(iii) Suppose 𝐸 is reflexive, 𝐴 is a subgenerator of an (𝑎,𝑘)-regularized 𝐶-resolvent family (𝑅(𝑡))_{𝑡∈[0,𝜏)} satisfying ‖𝑅(𝑡)‖=𝑂(𝑘(𝑡)),𝑡→0+,𝑅(𝑠)𝑅(𝑡)=𝑅(𝑡)𝑅(𝑠),0≤𝑡,𝑠<𝜏,min(𝑎(𝑡),𝑘(𝑡))>0,𝑡∈(0,𝜏), and (H5) holds. If 𝑥∈𝐷(𝐴) and lim_𝑡→0+‖(𝑅(𝑡)𝑥−𝑘(𝑡)𝐶𝑥)/(𝑎∗𝑘)(𝑡)‖<∞, then 𝑥∈𝐷(𝐴).

Theorem 2.11 (cf. also [22]). Suppose 𝛼>0 and 𝐴 is a subgenerator of an 𝛼-times integrated 𝐶-semigroup (𝑆_𝛼(𝑡))_{𝑡∈[0,𝜏)}, respectively, an 𝛼-times integrated 𝐶-cosine function (𝐶_𝛼(𝑡))_{𝑡∈[0,𝜏)}, which satisfies limsup_𝑡→0+‖𝑆_𝛼(𝑡)‖/𝑡^𝛼<∞, respectively, limsup_𝑡→0+‖𝐶_𝛼(𝑡)‖/𝑡^𝛼<∞. Then, for every 𝑥∈𝐷(𝐴) such that 𝐴𝑥∈𝐷(𝐴)∶𝐴𝑥=lim_𝑡→0+Γ(𝛼+2)Γ(𝛼+1)Γ(𝛼+1)𝑆_𝛼(𝑡)𝑥−𝑡^𝛼𝐶𝑥𝑡^𝛼+1(resp.),𝐴𝑥=lim_𝑡→0+Γ(𝛼+3)Γ(𝛼+1)Γ(𝛼+1)𝐶_𝛼(𝑡)𝑥−𝑡^𝛼𝐶𝑥𝑡^𝛼+2. (2.20)(2.21) then 𝐴 is a subgenerator of an exponentially bounded, analytic (𝑎,𝑘)-regularized 𝐶-resolvent family of angle 𝛼.

Example 2.18 (cf. also [9, Theorem ?2.1.4.7]). Let 𝛽∈(0,2),𝛼>0,𝑘(𝑡)=𝑡^𝛼/Γ(𝛼+1), and let 𝑎(𝑡)=𝑡^𝛽−1/Γ(𝛽). Let 𝐴 be densely defined. Then 𝐴 is a subgenerator of an exponentially bounded, analytic (𝑎,𝑘)-regularized 𝐶-resolvent family of angle 𝛾 if and only if for every 𝛿∈(0,𝛾), there exist 𝑀_𝛿>0 and 𝜔_𝛿≥0 such that (𝜔_𝛿+Σ_𝜋/2+𝛿)^1/𝛽⊆𝜌_𝐶(𝐴),‖(𝜆^𝛽−𝐴)⁻¹𝐶‖≤𝑀_𝛿(1+|𝜆|)^𝛼−𝛽,𝜆∈(𝜔_𝛿+Σ_𝜋/2+𝛿)^1/𝛽, (2.34) the mapping 𝜆↦(𝜆^𝛽−𝐴)⁻¹𝐶,𝜆∈(𝜔_𝛿+Σ_𝜋/2+𝛿)^1/𝛽 is analytic (continuous).
Let (𝑀_𝑝) be a sequence of positive real numbers such that 𝑀₀=1 and that
(M.1)𝑀²_𝑝≤𝑀_𝑝+1𝑀_𝑝−1,𝑝∈ℕ,(M.2)𝑀_𝑛≤𝐴𝐻^𝑛min_{𝑝,𝑞∈ℕ,𝑝+𝑞=𝑛}𝑀_𝑝𝑀_𝑞,𝑛∈ℕ,forsome𝐴>1,and𝐻>1,(M.3) ∑^∞_𝑝=1(𝑀_𝑝−1/𝑀_𝑝)<∞.
The Gevrey sequences (𝑝!^𝑠),(𝑝^𝑝𝑠), and (Γ(1+𝑝𝑠)) satisfy the above conditions, where 𝑠>1. Put 𝑚_𝑝∶=(𝑀_𝑝/𝑀_𝑝−1),𝑝∈ℕ; by (M.1), (𝑚_𝑝) is increasing, and (M.3)^′ implies ^∞∑_𝑝=1(1/𝑚_𝑝)<∞. The associated function of (𝑀_𝑝) is defined by 𝑀(𝜆)∶=sup_𝑝∈ℕ0ln(|𝜆|^𝑝/𝑀_𝑝),𝜆∈ℂ⧵{0},𝑀(0)∶=0. As is known, the function 𝑡↦𝑀(𝑡),𝑡≥0, is increasing, absolutely continuous, lim_𝑡→∞𝑀(𝑡)=+∞ and lim_𝑡→∞(𝑀(𝑡)/𝑡)=0. For consistency of terminology with [24], we also employ the sequence (𝐿_𝑝∶=𝑀_𝑝^1/𝑝) and set 𝜔_𝐿(𝑡)∶=∑^∞_𝑝=0(𝑡^𝑝/𝐿^𝑝_𝑝),𝑡≥0.
We need the following family of kernels. Define, for every 𝑙>0, the next entire function of exponential type zero 𝜔_𝑙(𝜆)∶=∏^∞_𝑝=11+𝑙𝜆/𝑚_𝑝,𝜆∈ℂ. Then
|𝜔_𝑙(𝜆)|≥sup^𝑘_{𝑘∈ℕ𝑝=1}|1+(𝑙𝜆/𝑚_𝑝)|≥sup^𝑘_{𝑘∈ℕ𝑝=1}𝑙|𝜆|𝑚_𝑝≥sup_𝑘∈ℕ(𝑙|𝜆|)^𝑘𝑀_𝑝,𝜆∈ℂ,Re𝜆≥0, (2.35) and this implies that |𝜔_𝑙(𝜆)|≥𝑒^{𝑀(𝑙|𝜆|)},𝜆∈ℂ,Re𝜆≥0. It is noteworthy that, for every 𝛼∈(0,𝜋/2),𝑝∈ℕ₀ and 𝜆∈Σ_𝜋/2+𝛼,|1+𝑙𝜆/𝑚_𝑝|≥𝑙|𝐼𝑚𝜆|/𝑚_𝑝≥𝑙(1+tan𝛼)⁻¹|𝜆|/𝑚_𝑝.
This yields
|𝜔_𝑙(𝜆)|≥𝑒^{𝑀(𝑙(1+tan𝛼)−1|𝜆|)}𝜋,𝛼∈(0,2),𝑙>0,𝜆∈Σ_{(𝜋/2)+𝛼}. (2.36) Put now 𝑘_𝑙(𝑡)∶=ℒ⁻¹(1𝜔_𝑙(𝜆))(𝑡),𝑡≥0,𝑙>0. (2.37) Then, for every 𝑙>0,0∈supp𝑘_𝑙 and 𝑘_𝑙 is infinitely differentiable in 𝑡≥0.

Definition 2.19. Let (𝑅(𝑡))_{𝑡∈[0,𝜏)} be a (local) (𝑎,𝑘)-regularized 𝐶-resolvent family having 𝐴 as a subgenerator, and let the mapping 𝑡↦𝑅(𝑡),𝑡∈(0,𝜏), be infinitely differentiable (in the uniform operator topology). Then it is said that (𝑅(𝑡))_{𝑡∈[0,𝜏)} is of class 𝐶^𝐿, resp. of class 𝐶_𝐿, if and only if for every compact set 𝐾⊆(0,𝜏) there exists ℎ_𝐾>0, resp. for every compact set 𝐾⊆(0,𝜏) and for every ℎ>0: sup_{𝑡∈𝐾,𝑝∈ℕ0}‖ℎ^𝑝_𝐾(𝑑^𝑝/𝑑𝑡^𝑝)𝑅(𝑡)𝐿^𝑝_𝑝‖<∞,(resp.,)sup_{𝑡∈𝐾,𝑝∈ℕ0}‖ℎ^𝑝(𝑑^𝑝/𝑑𝑡^𝑝)𝑅(𝑡)𝐿^𝑝_𝑝‖<∞, (2.38)(𝑅(𝑡))_{𝑡∈[0,𝜏)} is said to be 𝜌-hypoanalytic, 1≤𝜌<∞, if (𝑅(𝑡))_{𝑡∈[0,𝜏)} is of class 𝐶^𝐿 with 𝐿_𝑝=𝑝!^𝜌/𝑝.

By the proof of the scalar-valued version of the Pringsheim theorem, it follows that the mapping 𝑡↦𝑅(𝑡),𝑡∈(0,𝜏) is real analytic if and only if (𝑅(𝑡))_{𝑡∈[0,𝜏)} is 𝜌-hypoanalytic with 𝜌=1.

The main objective in Theorems 2.20–2.24 is to enquire into the basic differential properties of (𝑎,𝑘)-regularized 𝐶-resolvent families.

Theorem 2.20 ([25]). Suppose𝐴 is a closed linear operator, 𝑘(𝑡) and 𝑎(𝑡) satisfy (P1), 𝑟≥−1, and there exists 𝜔≥max(0,abs(𝑘),abs(𝑎)) such that, for every 𝑧∈{𝜆∈ℂ∶Re𝜆>𝜔,𝑘^∼(𝜆)≠0}, we have that the operator 𝐼−𝑎^∼(𝑧)𝐴 is injective and that Rang(𝐶)⊆Rang(𝐼−𝑎^∼(𝑧)𝐴). If, additionally, for every 𝜎>0, there exist 𝐶_𝜎>0,𝑀_𝜎>0 and an open neighborhood Ω_𝜎,𝜔 of the region Λ_𝜎,𝜔∶={𝜆∈ℂ∶Re𝜆≤𝜔,Re𝜆≥−𝜎ln|Im𝜆|+𝐶_𝜎}∪{𝜆∈ℂ∶Re𝜆≥𝜔}, (2.39) and an analytic mapping ℎ_𝜎∶Ω_𝜎,𝜔→𝐿(𝐸) such that ℎ_𝜎(𝜆)=𝑘^∼(𝜆)(𝐼−𝑎^∼(𝜆)𝐴)⁻¹𝐶,Re𝜆>𝜔,𝑘^∼(𝜆)≠0 and that ‖ℎ_𝜎(𝜆)‖≤𝑀_𝜎|𝜆|^𝑟𝜆∈Λ_𝜎,𝜔, then, for every 𝜁>1,𝐴 is a subgenerator of a norm continuous, exponentially bounded (𝑎,𝑘∗𝑡^{𝜁+𝑟−1}/Γ(𝜁+𝑟))-regularized 𝐶-resolvent family (𝑅(𝑡))_𝑡≥0 satisfying that the mapping 𝑡↦𝑅(𝑡),𝑡>0 is infinitely differentiable.

Theorem 2.21. Suppose 𝑘(𝑡) and 𝑎(𝑡) satisfy (P1), (H5) hold and 𝐴 is a subgenerator of an (𝑎,𝑘)-regularized 𝐶-resolvent family (𝑅(𝑡))_𝑡≥0 satisfying ‖𝑅(𝑡)‖≤𝑀𝑒^𝜔′𝑡,𝑡≥0 for appropriate constants 𝜔^′≥max(0,abs(𝑘),abs(𝑎)), and 𝑀>0. If there exists 𝜔>𝜔^′ such that, for every 𝜎>0, there exist 𝐶_𝜎>0 and 𝑀_𝜎>0 so that (i)there exist an open neighborhood Ω_𝜎,𝜔 of the region Λ_𝜎,𝜔, and the analytic mappings 𝑓_𝜎∶Ω_𝜎,𝜔→ℂ,𝑔_𝜎∶Ω_𝜎,𝜔→ℂ, and ℎ_𝜎∶Ω_𝜎,𝜔→𝐿(𝐸) such that 𝑓_𝜎(𝜆)=𝑘^∼(𝜆),𝜆∈ℂ,Re𝜆≥𝜔 and 𝑔_𝜎(𝜆)=𝑎^∼(𝜆),𝜆∈ℂ,Re𝜆≥𝜔,(ii)for every 𝜆∈Λ_𝜎,𝜔 with Re𝜆≤𝜔, the operator 𝐼−𝑎^∼(𝜆)𝐴 is injective and Rang(𝐶)⊆Rang(𝐼−𝑎^∼(𝜆)𝐴),(iii)ℎ_𝜎(𝜆)=𝑓_𝜎(𝜆)(𝐼−𝑔_𝜎(𝜆)𝐴)⁻¹𝐶,𝜆∈Λ_𝜎,𝜔,(iv)‖ℎ_𝜎(𝜆)‖≤𝑀_𝜎|Im𝜆|,𝜆∈Λ_𝜎,𝜔,Re𝜆≤𝜔, and max(|𝑓_𝜎(𝜆)|,|𝑔_𝜎(𝜆)|)≤𝑀_𝜎,𝜆∈Λ_𝜎,𝜔,then the mapping 𝑡↦𝑅(𝑡)𝑥,𝑡>0 is infinitely differentiable for every fixed 𝑥∈𝐷(𝐴²). Furthermore, if 𝐷(𝐴²) is dense in 𝐸, then the mapping 𝑡↦𝑅(𝑡),𝑡>0, is infinitely differentiable.

Proof. Assume 𝜎>0,𝜍>0,𝜔₀>𝜔, and put Γ¹_𝜎∶={𝜆∈ℂ∶Re𝜆=2𝐶_𝜎−𝜎ln(−Im𝜆),−∞<Im𝜆≤−𝑒^{(2𝐶𝜎/𝜎)}},Γ²_𝜎∶={𝜆∈ℂ∶Re𝜆=𝜔₀,−𝑒^{(2𝐶𝜎/𝜎)}≤Im𝜆≤𝑒^{(2𝐶𝜎/𝜎)}},Γ³_𝜎∶={𝜆∈ℂ∶Re𝜆=2𝐶_𝜎−𝜎ln(Im𝜆),𝑒^{(2𝐶𝜎/𝜎)}≤Im𝜆<+∞},Γ_𝜎∶=Γ¹_𝜎∪Γ²_𝜎∪Γ³_𝜎, and Γ_𝑘,𝜎∶={𝜆∈Γ_𝜎∶|𝜆|≤𝑘},𝑘∈ℕ. The curves Γ_𝜎 and Γ_𝑘,𝜎 are oriented so that Im𝜆 increases along Γ_𝜎 and Γ_𝑘,𝜎,𝑘∈ℕ. Set, for a sufficiently large 𝑘₀∈ℕ,𝑆^𝑘_𝜎(𝑡)∶=(1/2𝜋𝑖)∫_Γ𝑘,𝜎𝑒^𝜆𝑡(ℎ_𝜎(𝜆)/𝜆²)𝑑𝜆,𝑡≥0,𝑘≥𝑘₀. One can simply prove that (𝑑^𝑗/𝑑𝑡^𝑗)𝑆^𝑘_𝜎(𝑡)=(1/2𝜋𝑖)∫_Γ𝑘,𝜎𝑒^𝜆𝑡𝜆^𝑗−2ℎ_𝜎(𝜆)𝑑𝜆,𝑡≥0,𝑘≥𝑘₀,𝑗∈ℕ. Let 𝑘₀<𝑘<𝑙. Then (iv) implies ‖𝑑^𝑗𝑑𝑡^𝑗𝑆^𝑘_𝜎𝑑(𝑡)−^𝑗𝑑𝑡^𝑗𝑆^𝑙_𝜎1(𝑡)‖=‖2𝜋_{Γ𝑙,𝜎∩{𝜆∈ℂ∶𝑘≤|𝜆|≤𝑙}}𝑒^𝜆𝑡𝜆^𝑗−2ℎ_𝜎≤𝑀(𝜆)𝑑𝜆‖_𝜎𝑒2𝜋^{2𝐶𝜎𝑡}_{Γ𝑙,𝜎∩{𝜆∈ℂ∶𝑘≤|𝜆|≤𝑙}}|Im𝜆|^1−𝜎𝑡|𝜆|^𝑗−2|𝑑𝜆|, (2.40) for all 𝑗∈ℕ₀. Since |Im𝜆|^1−𝜎𝑡|𝜆|^𝑗−2∼|Im𝜆|^{𝑗−1−𝜎𝑡},|𝜆|→∞,𝜆∈Γ_𝜎, one gets that, for every 𝑗∈ℕ₀ and 𝑡>𝑗/𝜎, the sequence ((𝑑^𝑗/𝑑𝑡^𝑗)𝑆^𝑘_𝜎(𝑡))_𝑘 is convergent in 𝐿(𝐸) and that the convergence is uniform on every compact subset of [𝑗/𝜎+𝜍,∞). Put 𝑆_𝑗,𝜎(𝑡)∶=lim_𝑘→∞(𝑑^𝑗/𝑑𝑡^𝑗)𝑆^𝑘_𝜎(𝑡),𝑗∈ℕ₀,𝑡>𝑗/𝜎. Then it is obvious that (𝑑/𝑑𝑡)𝑆_𝑗,𝜎(𝑡)=𝑆_{(𝑗+1),𝜎}(𝑡),𝑗∈ℕ₀,𝑡>(𝑗+1)/𝜎+𝜍. This implies that the mapping 𝑡↦𝑆_0,𝜎(𝑡),𝑡>(𝑗+1/𝜎)+𝜍 is 𝑗-times differentiable and that (𝑑^𝑗/𝑑𝑡^𝑗)𝑆_0,𝜎(𝑡)=𝑆_𝑗,𝜎(𝑡),𝑡>(𝑗+1)/𝜎)+𝜍. On the other hand, it is clear that, for every 𝜎>0,𝑥∈𝐷(𝐴²), and 𝜆∈{𝑧∈Ω_𝜎,𝜔∶𝑔_𝜎(𝑧)≠0},(𝐼−𝑔_𝜎(𝜆)𝐴)⁻¹𝐶𝑥=𝐶𝑥+𝑔_𝜎(𝜆)𝐶𝐴𝑥+𝑔_𝜎(𝜆)(𝐼−𝑔_𝜎(𝜆)𝐴)⁻¹𝐶𝐴²𝑥. (2.41) By (2.41), we get that, for every 𝑥∈𝐷(𝐴²) and 𝑡>0,𝑆_0,𝜎1(𝑡)𝑥=2𝜋𝑖_Γ𝜎𝑒^𝜆𝑡𝑓_𝜎(𝜆)𝐶𝑥+𝑔_𝜎(𝜆)𝐶𝐴𝑥+𝑔_𝜎(𝜆)(𝐼−𝑔_𝜎(𝜆)𝐴)⁻¹𝐶𝐴²𝑥𝜆²𝑑𝜆. (2.42) With (iv) and the residue theorem in view, it follows that, for every 𝑡>0 and 𝑥∈𝐷(𝐴²),𝑆_0,𝜎(𝑡)𝑥=^𝑡₀+1(𝑡−𝑠)𝑘(𝑠)𝑑𝑠𝐶𝑥+(𝑡∗𝑘∗𝑎)(𝑡)𝐶𝐴𝑥2𝜋𝑖^𝜔+𝑖∞_{𝜔−𝑖∞}𝑒^𝜆𝑡𝑓_𝜎(𝜆)𝑔_𝜎(𝜆)(𝐼−𝑔_𝜎(𝜆)𝐴)⁻¹𝐶𝐴²𝑥𝜆²𝑑𝜆. (2.43) Put 𝑅₂(𝑡)∶=∫^𝑡₀(𝑡−𝑠)𝑅(𝑠)𝑥𝑑𝑠,𝑥∈𝐸,𝑡≥0. By Theorem 2.6(i), we get that 𝑘^∼(𝜆)𝜆²(𝐼−𝑎^∼(𝜆)𝐴)⁻¹𝐶𝑥=^∞₀𝑒^−𝜆𝑡𝑅₂(𝑡)𝑥𝑑𝑡,𝑥∈𝐸,Re𝜆>𝜔,𝑘^∼(𝜆)≠0. (2.44) This implies that the function 𝜆↦ℎ_𝜎(𝜆)/𝜆² is bounded on some right half plane. Taking into account (2.41), we have that, for every 𝑡≥0 and 𝑥∈𝐷(𝐴²),𝑅₂(𝑡)=ℒ⁻¹(^∼𝑘(𝜆)𝜆²(𝐼−𝑎^∼(𝜆)𝐴)⁻¹𝐶𝑥)(𝑡)=^𝑡₀+1(𝑡−𝑠)𝑘(𝑠)𝑑𝑠𝐶𝑥+(𝑡∗𝑘∗𝑎)(𝑡)𝐶𝐴𝑥2𝜋𝑖^𝜔+𝑖∞_{𝜔−𝑖∞}𝑒^𝜆𝑡𝑓_𝜎(𝜆)𝑔_𝜎(𝜆)(𝐼−𝑔_𝜎(𝜆)𝐴)⁻¹𝐶𝐴²𝑥𝜆²𝑑𝜆. (2.45) By (2.43)-(2.45), 𝑆_0,𝜎(𝑡)=𝑅₂(𝑡),𝑡>0. The arbitrariness of 𝜎 implies that the mapping 𝑡↦𝑅₂(𝑡),𝑡>0 is infinitely differentiable, finishing the proof.

Using the argumentation given in [25], one can prove the following theorems.

Theorem 2.22. Suppose 𝑘(𝑡) and 𝑎(𝑡) satisfy (P1), 𝐴 is a subgenerator of a (local) (𝑎,𝑘)-regularized 𝐶-resolvent family (𝑅(𝑡))_{𝑡∈[0,𝜏)},𝜔≥max(0,abs(𝑘),abs(𝑎)), and 𝑚∈ℕ. Denote, for every 𝜀∈(0,1) and a corresponding 𝐾_𝜀>0,𝐹_𝜀,𝜔=∶{𝜆∈ℂ∶Re𝜆≥−ln𝜔_𝐿(𝐾_𝜀|Im𝜆|)+𝜔}. (2.46) Assume that, for every 𝜀∈(0,1), there exist 𝐶_𝜀>0,𝑀_𝜀>0, an open neighborhood 𝑂_𝜀,𝜔 of the region 𝐺_𝜀,𝜔∶={𝜆∈ℂ∶Re𝜆≥𝜔,𝑘^∼(𝜆)≠0}∪{𝜆∈𝐹_𝜀,𝜔∶Re𝜆≤𝜔}, and analytic mappings 𝑓_𝜀∶𝑂_𝜀,𝜔→ℂ,𝑔_𝜀∶𝑂_𝜀,𝜔→ℂ and ℎ_𝜀∶𝑂_𝜀,𝜔→𝐿(𝐸) such that (i)𝑓_𝜀(𝜆)=𝑘^∼(𝜆),Re𝜆>𝜔;𝑔_𝜀(𝜆)=𝑎^∼(𝜆),Re𝜆>𝜔,(ii)for every 𝜆∈𝐹_𝜀,𝜔, the operator 𝐼−𝑔_𝜀(𝜆)𝐴 is injective and Rang(𝐶)⊆Rang(𝐼−𝑔_𝜀(𝜆)𝐴),(iii)ℎ_𝜀(𝜆)=𝑓_𝜀(𝜆)(𝐼−𝑔_𝜀(𝜆)𝐴)⁻¹𝐶,𝜆∈𝐺_𝜀,𝜔,(iv)‖ℎ_𝜀(𝜆)‖≤𝑀_𝜀(1+|𝜆|)^𝑚𝑒^𝜀|Re𝜆|,𝜆∈𝐹_𝜀,𝜔,Re𝜆≤𝜔 and ‖ℎ_𝜀(𝜆)‖≤𝑀_𝜀(1+|𝜆|)^𝑚,𝜆∈ℂ,Re𝜆≥𝜔.Then (𝑅(𝑡))_{𝑡∈[0,𝜏)}is of class 𝐶^𝐿.

Theorem 2.23. Suppose 𝑘(𝑡) and 𝑎(𝑡) satisfy (P1), 𝐴 is a subgenerator of a (local) (𝑎,𝑘)-regularized 𝐶-resolvent family (𝑅(𝑡))_{𝑡∈[0,𝜏)},𝜔≥max(0,abs(𝑘),abs(𝑎)), and 𝑚∈ℕ. Denote, for every 𝜀∈(0,1),𝜌∈[1,∞) and a corresponding 𝐾_𝜀>0,𝐹_{𝜀,𝜔,𝜌}=∶{𝜆∈ℂ∶Re𝜆≥−𝐾_𝜀|𝐼𝑚𝜆|^1/𝜌+𝜔}. (2.47) Assume that, for every 𝜀∈(0,1), there exist 𝐶_𝜀>0,𝑀_𝜀>0, an open neighborhood 𝑂_𝜀,𝜔 of the region 𝐺_{𝜀,𝜔,𝜌}∶={𝜆∈ℂ∶Re𝜆≥𝜔,𝑘^∼(𝜆)≠0}∪{𝜆∈𝐹_{𝜀,𝜔,𝜌}∶Re𝜆≤𝜔}, and analytic mappings 𝑓_𝜀∶𝑂_𝜀,𝜔→ℂ,𝑔_𝜀∶𝑂_𝜀,𝜔→ℂ and ℎ_𝜀∶𝑂_𝜀,𝜔→𝐿(𝐸) such that the conditions (i)–(iv) of Theorem 2.22 hold with 𝐹_𝜀,𝜔, resp. 𝐺_𝜀,𝜔, replaced by 𝐹_{𝜀,𝜔,𝜌}, respectively, 𝐺_{𝜀,𝜔,𝜌}. Then (𝑅(𝑡))_{𝑡∈[0,𝜏)} is of class C^L.

Theorem 2.24. Suppose 𝛼>0,𝑗∈ℕ, and (𝑅(𝑡))_{𝑡∈[0,𝜏)} is a (local) (𝑎,𝑘)-regularized 𝐶-resolvent family with a subgenerator 𝐴. Set 𝑅_𝛼(𝑡)𝑥∶=^𝑡₀(𝑡−𝑠)^𝛼−1Γ(𝛼)𝑅(𝑠)𝑥𝑑𝑠,𝑡∈[0,𝜏),𝑥∈𝐸. (2.48)
Then (𝑅(𝑡))_{𝑡∈[0,𝜏)} is an (𝑎,𝑘∗(𝑡^𝛼−1/Γ(𝛼)))-regularized 𝐶-resolvent family with a subgenerator 𝐴. Furthermore, if the mapping 𝑡↦𝑅(𝑡),𝑡∈(0,𝜏) is 𝑗-times differentiable, then the mapping 𝑡↦𝑅_𝛼(𝑡),𝑡∈(0,𝜏) is likewise 𝑗-times differentiable. If this isthe case, then we have, for every 𝑡∈[0,𝜏),𝑏∈(0,𝑡), and 𝑥∈𝐸∶
𝑑^𝑗𝑑𝑡^𝑗𝑅_𝛼(𝑡)𝑥=^𝑏₀(𝑡−𝑠)^{𝛼−1−𝑗}Γ(𝛼)^𝑗_𝑖=1(𝛼−𝑖)𝑅(𝑠)𝑥𝑑𝑠+^𝑗_𝑖=0(𝑡−𝑏)^{𝛼+𝑖−𝑗}×Γ(𝛼+𝑖+1)_{𝑗−1𝑘=0}(𝛼+𝑖−𝑘)𝑅^(𝑖)(𝑏)𝑥+^𝑡_𝑏(𝑡−𝑠)^𝛼𝑑Γ(𝛼+1)𝑑𝑠^𝑗𝑗𝑅(𝑠)𝑥𝑑𝑠, (2.49) and we have the following. (i)If (𝑅(𝑡))_{𝑡∈[0,𝜏)} is of class 𝐶^𝐿, resp. of class 𝐶_𝐿, then (𝑅_𝛼(𝑡))_{𝑡∈[0,𝜏)} is likewise of class 𝐶^𝐿, resptivley, of class 𝐶_𝐿.(ii)If (𝑅(𝑡))_{𝑡∈[0,𝜏)} is 𝜌-hypoanalytic, 1≤𝜌<∞, then (𝑅_𝛼(𝑡))_{𝑡∈[0,𝜏)} is likewise 𝜌-hypoanalytic.

Before going further, notice that we can slightly reformulate Theorem 2.16 and Theorems 2.21–2.23 in the case when the functions 𝑘^∼(𝜆) and 𝑎^∼(𝜆) possess the meromorphic extensions on the corresponding regions defined in formulation of mentioned theorems. Having in mind [9, Theorem ?2.1.1.11, Theorem ??2.1.1.14], we have the following interesting analogue of [25, Theorem ?2.8] which cannot be so easily interpreted in the case of general (𝑎,𝑘)-regularized 𝐶-resolvent families.

Theorem 2.25. (i) Let 𝐴 be a subgenerator of a local 𝐾-convoluted 𝐶-cosine function (𝐶_𝐾(𝑡))_{𝑡∈[0,𝜏)},0∈supp𝐾,𝐾∈𝐶^∞((0,𝜏)) (𝐾∈𝐶^𝑗((0,𝜏)),𝑗∈ℕ) resp. 𝐾 is of class 𝐶^𝐿 (𝐶_𝐿), and let 𝐾=𝐾_1|[0,𝜏) for an appropriate complex-valued function 𝐾₁∈𝐿¹_𝑙𝑜𝑐([0,2𝜏)). (Put Θ₁(𝑡)=∫^𝑡₀𝐾₁(𝑠)𝑑𝑠; since it makes no misunderstanding, we will also write 𝐾 and Θ, for 𝐾₁ and Θ₁, respectively, and denote by 𝐾∗𝐾 the restriction of this function to any subinterval of [0,2𝜏).) Let the mapping 𝑡↦𝐶_𝐾(𝑡),𝑡∈(0,𝜏), be infinitely differentiable (𝑗-times differentiable, 𝑗∈ℕ), respectively, and let (𝐶_𝐾(𝑡))_{𝑡∈[0,𝜏)} be of class 𝐶^𝐿 (𝐶_𝐿). Then 𝐴 is a subgenerator of a local (𝐾∗𝐾)-convoluted 𝐶²-cosine function (𝐶_𝐾∗𝐾(𝑡))_{𝑡∈[0,2𝜏)} satisfying that the mapping 𝑡↦𝐶_𝐾∗𝐾(𝑡),𝑡∈(0,2𝜏), is infinitely differentiable ((𝑗−1)-times differentiable), resp. (𝐶_𝐾∗𝐾(𝑡))_{𝑡∈[0,2𝜏)} is of class 𝐶^𝐿 (𝐶_𝐿). Furthermore, the suppositions 𝑗∈ℕ and 𝐾∈𝐶^𝑗((0,𝜏))∩𝐶^𝑗−1([0,𝜏)) imply the following: if the mapping 𝑡↦𝐶_𝐾(𝑡),𝑡∈(0,𝜏), is 𝑗-times differentiable, then the mapping 𝑡↦𝐶_𝐾∗𝐾(𝑡),𝑡∈(0,2𝜏) is likewise 𝑗-times differentiable.
(ii) Suppose 𝛼≥0, ?? 𝑗∈ℕ, and 𝐴 is a subgenerator of a local 𝛼-times integrated 𝐶-cosine function (𝐶_𝛼(𝑡))_{𝑡∈[0,𝜏)}. Then 𝐴 is a subgenerator of a local (2𝛼)-times integrated 𝐶²-cosine function (𝐶_2𝛼(𝑡))_{𝑡∈[0,2𝜏)} and the following holds.
(ii.1)If the mapping 𝑡↦𝐶_𝛼(𝑡),𝑡∈(0,𝜏) is infinitely differentiable (𝑗-times differentiable, 𝑗∈ℕ), then the mapping 𝑡↦𝐶_2𝛼(𝑡),𝑡∈(0,2𝜏) is infinitely differentiable ((𝑗−1)-times differentiable;