# On a Functional Equation Associated with (a,k)-Regularized Resolvent Families

Authors: Carlos Lizama; Felipe Poblete
Journal: Abstract and Applied Analysis
 (2012)

---

## Abstract

Leta∈Lloc1(ℝ+) and k∈C(ℝ+) be given. In this paper, we study the functional equation R(s)(a*R)(t)-(a*R)(s)R(t)=k(s)(a*R)(t)-k(t)(a*R)(s), for bounded operator valued functions R(t) defined on the positive real line ℝ+. We show that, under some natural assumptions on a(·) and k(·), every solution of the above mentioned functional equation gives rise to a commutative (a,k)-resolvent family R(t) generated by Ax=limt→0+(R(t)x-k(t)x/(a*k)(t)) defined on the domain D(A):={x∈X:limt→0+(R(t)x-k(t)x/(a*k)(t)) exists in  X} and, conversely, that each (a,k)-resolvent family R(t) satisfy the above mentioned functional equation. In particular, our study produces new functional equations that characterize semigroups, cosine operator families, and a class of operator families in between them that, in turn, are in one to one correspondence with the well-posedness of abstract fractional Cauchy problems.


---

## Body

## 1. Introduction

Functional equations arise in most parts of mathematics. Well-known examples are Cauchy’s equation, the functional equations for the Riemann zeta function, the equation for entropy, and numerous equations in combinatorics. Still other examples arise in probability theory, geometry, and operator theory [1].The theory of functional equations for bounded operators emerged after the book of Hille and Phillips [2] in 1957. A strongly continuous semigroup T(t) of bounded and linear operators on a Banach space X is defined by means of Abel’s functional equation:
(1.1)T(t)T(s)=T(t+s),t≥0,T(0)=I,
which, in turn, characterizes the well-posedness of the abstract Cauchy problem of first order:
(1.2)u′(t)=Au(t),t≥0,u(0)=u0,
where Ax=limt→0+(T(t)x-x/t) is defined on the domain D(A):={x∈X:limt→0+((T(t)x-x)/t)  exists in  X}. In 1966, Sova [3] introduces the concept of strongly continuous cosine operator functions, C(t), by means of D’Alembert’s functional equation:
(1.3)C(t+s)+C(t-s)=2C(t)C(s),t,s∈ℝ,C(0)=I,
which characterizes the well-posedness of the abstract Cauchy problem of second order:
(1.4)u′′(t)=Au(t),t≥0,u(0)=u0,u′(0)=u1,
where now Ax=2limt→0+((C(t)x-x)/t2) is defined on D(A):={x∈X:limt→0+((C(t)x-x)/t2)  exists in  X}. Let A be a linear operator defined on a Banach space X. In [4] Prüss proved that the Volterra equation of scalar type:
(1.5)u(t)=∫0t‍a(t-s)Au(s)ds+f(t)
is well posed if and only if it admits a resolvent family, that is, a strongly continuous family S(t) of bounded and linear operators which commutes with A and satisfies the so-called resolvent equation [4, Definition 1.3]:
(1.6)S(t)x=x+∫0t‍a(t-s)AS(s)xds,t≥0,x∈X.
Resolvent families of operators have been known for a long time. They have many applications in the study of abstract differential and integral equations. However, at present there are associated functional equations for resolvent families only in special cases of the scalar kernel a(t): for example a(t)=1 or a(t)=t, which corresponds to the well-known cases of strongly continuous semigroups and cosine operator functions, respectively. Recently, Peng and Li in [5] have proposed an interesting functional equation for resolvent families in case a(t)=gα(t):=tα-1/Γ(α) which works for 0<α<1 (see also [6] for the scalar case). A functional equation for the kernel a(t)=gα(t) in case α>0 has been proposed by Chen and Li in [7] (see [7, Definition 3.1 and Theorem 3.4]).In this paper, we will be concerned with a commutative one parameter family of strongly continuous operatorsRa,k(t), depending on two scalar kernels a(t) and k(t), satisfying Ra,k(0)=k(0)I and the functional equation:
(1.7)Ra,k(s)(a*Ra,k)(t)-(a*Ra,k)(s)Ra,k(t)=k(s)(a*Ra,k)(t)-k(t)(a*Ra,k)(s),t,s≥0.
In case k(t)≡1 and a(t) positive, one of our main results in this paper shows that the functional equation (1.7) characterizes a resolvent family and hence the well-posedness of the Volterra equation (1.5). Moreover, we have the representation:
(1.8)Ax=lim⁡t→0+Ra,1(t)x-x∫0t‍a(s)ds,
for all x∈D(A):={x∈X:limt→0+((Ra,1(t)x-x)/(1*a)(t))existsinX}, which includes the case of semigroups, cosine operator functions, and resolvent families for a(t)=gα(t),α>0. Our discussion will not be restricted to resolvent families; the more general case of (a,k)-regularized resolvent families [8] is included in our results. Indeed, in such case we will see that in addition to (1.7) the condition:
(1.9)sup⁡t>0∫0t‍|a(s)|ds|∫0t‍k(t-s)a(s)ds|<+∞
is necessary to characterize an (a,k)-regularized resolvent family. A remarkable consequence is that the domain of A must be necessarily dense on the Banach space X. In particular, setting k(t)≡1 we obtain a new (but equivalent) functional equation for strongly continuous semigroups (i.e., the case a(t)≡1) and strongly continuous cosine operator functions (i.e., a(t)≡t), respectively. On the other hand, we prove that the condition:
(1.10)lim⁡s→0+(a*a*k)(s)(a*k)(s)=0,
that include, for example, the theory of α-times integrated semigroups, is also necessary to characterize an (a,k)-regularized resolvent family. However, the immediate denseness of D(A) is not automatically obtained in such case, in concordance with the theory of integrated semigroups [9]. We remark that our results recover and extend Chen and Li [7, Theorem 3.4] and [7, Theorem 3.12], where the case k(t)=gβ+1(t),a(t)=gα(t), α>0, β≥0 was considered (see [7, Definition 3.7]). In particular, our formula extend the functional equations stated recently by Peng and Li [5, 6] (see Remark 3.11 below).


## 2.  Preliminaries

In this section we review some of the main results in the literature about the theory of(a,k)-regularized resolvent families. This notion was introduced in [8] and studied, as well as extended, in subsequent papers (see e.g., [10–16]).Let us fix some notations. From now on, we takeX to be a complex Banach space with norm ∥·∥. We denote by ℬ(X) the Banach algebra of all bounded linear operators on X endowed with the operator norm, which again is denoted by ∥·∥. The identity operator on X is denoted by I∈ℬ(X), and ℝ+ denotes the interval [0,∞). For a closed operator A, we denote by σ(A), σp(A), σr(A), and σa(A) the spectrum, the point spectrum, the residual spectrum, and the approximate spectrum of A, respectively.Definition 2.1.
Letk∈C(ℝ+), k≠0, and a∈Lloc1(ℝ+),a≠0 be given. Assume that A is a linear operator with domain D(A). A strongly continuous family {R(t)}t≥0⊂ℬ(X) is called an (a,k)-regularized resolvent family on X having A as a generator if the following properties hold:(i)
R(0)=k(0)I;(ii)
R(t)x∈D(A) and R(t)Ax=AR(t)x for all x∈D(A) and t≥0;(iii)
R(t)x=k(t)x+∫0t‍a(t-s)AR(s)xds,  t≥0,  x∈D(A).We emphasize that the main properties of this theory admit very clear and simple proofs, and what is more interesting, it is easy to associate a suitable regularized resolvent family to a wide class of linear evolution equations, including, for example, fractional abstract differential equations (see [17]).Assume thata and k are both positive and one of them is nondecreasing. Let {R(t)}t≥0 be an (a,k)-regularized resolvent family with generator A such that
(2.1)‖R(t)‖≤Mk(t),t≥0,
for some constant M>0. Then we have
(2.2)Ax=lim⁡t→0+R(t)x-k(t)x(a*k)(t),x∈D(A).
Here we denote (a*k)(t):=∫0t‍k(t-s)a(s)ds the finite convolution between a and k. The above representation of A in terms of R(t) was established in [16] (see also [15]). We note that there is a one-to-one correspondence between (a,k)-regularized resolvent families and their generators. Moreover, we can prove that an (a,k)-regularized resolvent family is uniformly continuous if and only if its generator is a bounded linear operator [8].We say that{R(t)}t≥0 is of type (M,ω) if there exist constants M≥0 and ω∈ℝ such that
(2.3)‖R(t)‖≤Meωt∀t≥0.
The next result corresponds to the generation theorem for the theory. We assume that the Laplace transform for a(t) and k(t) exists for all λ>ω.Theorem 2.2 (see [8]).
LetA be a closed linear densely defined operator on X. Then {R(t)}t≥0 is (a,k)-regularized resolvent family of type (M,ω) if and only if the following conditions hold:(1)
a^(λ)≠0 and 1/a^(λ)∈ρ(A) for all λ>ω,(2)
H(λ):=k^(λ)(I-a^(λ)A)-1 satisfies the estimates:
(2.4)‖H(n)(λ)‖≤Mn!(λ-ω)n+1,λ>ω,n∈N0.In the case wherek(t)≡1, Theorem 2.2 is well known. In fact, if a(t)≡1, then it is just the Hille-Yosida theorem; if a(t)≡t, then it is the generation theorem for generators of cosine functions due to Sova and Fattorini; for arbitrary a(t), it is the generation theorem due essentially to Prüss [4]. In the case where k(t)=tn/n! and a(t)≡1, it is the generation theorem for n-times integrated semigroups [18]; if k(t)=tn/n! and a(t) is arbitrary, it corresponds to the generation theorem for integrated solutions of Volterra equations due to Arendt and Kellermann [19].Although the generation theorem characterizes all generators of(a,k)-regularized resolvent families, it is difficult to verify the estimate of all derivatives of the operator H(λ) in concrete applications. Thus, one tries to build up the operator from simpler ones using perturbation techniques. The following is the main result available until now. It corresponds to the extension of the Miyadera-Voigt perturbation theorem in the theory of C0 semigroups. In this theorem, the perturbation B is bounded only from the domain of the generator D(A), endowed with the graph norm ∥x∥A:=∥x∥+∥Ax∥.Theorem 2.3 (see [16]).
LetA be a closed operator on X. Assume that A generates an (a,k)-regularized resolvent family {R(t)}t≥0 of type (M,ω) and suppose that(i)
there existsb∈Lloc1(ℝ+) such that (k*b)(t)=a(t) for all t≥0;(ii)
there exists constantsμ>ω and γ∈[0,1) such that
(2.5)∫0∞‍e-μr‖B∫0r‍b(r-s)R(s)xds‖dr≤γ‖x‖∀x∈D(A). Then A+B generates an (a,k)-regularized resolvent family {R(t)}t≥0 on  X  such that ∥R(t)∥≤(M/(1-γ))eμt. In addition
(2.6)R(t)x=R(t)x+∫0t‍R(t-r)B∫0r‍b(r-s)R(s)xdsdr,x∈X.The next result shows, roughly speaking, the continuous dependence of an(a,k)-regularized resolvent family R(t) on its generator A. More precisely, the theorem below show that the convergence, in an appropriate sense, of a sequence of generators is equivalent to the convergence of the corresponding (a,k)-regularized resolvent families.Theorem 2.4 (see [20]).
Let{kn}n≥0∈Lloc1(ℝ+) and {an}n≥0∈ACloc(ℝ+) be of type (M,ω), ω≥0, such that a^n(λ)≠0 for λ>ω and ∫0∞‍e-ωs|an′(s)|ds<∞. Let An be closed and linear operators in X such that A0 is densely defined. For each fixed n∈ℕ0, assume that Rn(t) is an (an,kn)-regularized resolvent family generated by An in X, and that there exists constants M>0 and ω∈ℝ, independent of n, such that
(2.7)‖Rn(t)‖≤Meωt,∀t≥0.
Suppose also an(t)→a0(t) and kn(t)→k0(t) as n→∞. Then the following statements are equivalent:(1)
limn→∞kn(λ)(I-an(λ)An)-1=k0(λ)(I-a0(λ)A0)-1 for all λ≥ω;(2)
limn→∞Rn(t)x=R0(t)x  for all x∈X, t≥0. Moreover the convergence is uniform in t on every compact subset of ℝ+.Note that the above theorem is the extension of the Trotter-Kato theorem for the theory ofC0 semigroups, which follows in case a(t)≡k(t)≡1.In our next result, of concern are ergodic type theorems. Here the contributions to the theory are contained in [14, 21]. We below cite only a simple, but typical, result.Theorem 2.5.
LetA be the generator of an (a,k)-regularized resolvent family {R(t)}t≥0 such that
(2.8)‖R(t)‖≤Mk(t)∀t≥0.
Suppose that(i)
a(t) is positive, and k(t) is nondecreasing and positive as well;(ii)
limt→∞(k(t)/(k*a)(t))=0;(iii)
supt>0(k(t)(1*k)(t)/(k*a)(t))<∞;(iv)
limt→∞((a*a*k)(t)/(a*k)(t))=∞. Define
(2.9)Atx:=1k*a(t)∫0t‍a(t-s)R(s)xds;x∈X,t>0,
then the following holds.(1)
The mappingPx:=limt→∞Atx is a bounded linear projection with Ran(P)=Ker(A), Ker(P)=Ran(A)¯, and
(2.10)D(P)=Ker⁡(A)⊕Ran(A)¯.(2)
For0<β≤1 and x∈Ker(A)⊕Ran(A)¯, one has
(2.11)‖Atx-Px‖=O([k(t)a*k(t)]β)as|t|⟶∞.(3)
IfX is reflexive then Ker(A)⊕Ran(A)¯=X.Note that in the casek(t)=tβ/Γ(β+1), a(t)=(tα-1/Γ(α)),  α>0, β≥0 the conditions (i)–(iv) are automatically satisfied.In the next result, we are interested in the relation between the spectrum ofA and the spectrum of each one of the operators R(t),t≥0. We denote by s(t,λ) the unique solution of the convolution equation:
(2.12)s(t,λ):=a(t)+λ∫0t‍a(t-τ)s(τ,λ)dτ.
We also define
(2.13)r(t,λ):=k(t)+λ∫0t‍s(t-τ,λ)k(τ)dτ.
From a purely formal point of view one would expect the relation σ(R(t))=r(t,σ(A)). This, however, is not true in general. The following result corresponds to the inclusion theorem.Theorem 2.6 (see [15]).
LetA be a closed operator on X and let R(t) be an (a,k)-regularized resolvent family with generator A. Then(i)
σ(R(t))⊃r(t,σ(A)),t≥0,(ii)
σp(R(t))⊃r(t,σp(A)),t≥0,(iii)
IfA is densely defined then σr(R(t))⊃r(t,σr(A)),t≥0,(iv)
σa(R(t))⊃r(t,σa(A)),t≥0.Remark 2.7.
In the casek(t)=tβ/Γ(β+1), β≥0,a(t)=(tα-1/Γ(α)),α>0, we have that
(2.14)rα,β(t,λ)=tβEα,β+1(λtα),
where Eα,β+1 denotes the Mittag-Leffler function, defined as follows:
(2.15)Eα,β+1(z):=∑n=0∞‍znΓ(nα+β+1),α>0,β>-1.
In particular: α=1, β=0 gives E1,1(z)=ez and then r1,0(t,λ)=eλt. Here R(t) is the C0 semigroup generated by A and therefore we recover the well known inclusion:
(2.16)eσ(A)t⊂σ(R(t)),t>0.
If α=2, β=0 we have E2,1(z2)=cosh(z) and then r1,0(t,λ)=cosh(λ)t. Here we recover the inclusion [22]:
(2.17)cosh⁡σ(A)t⊂σ(R(t)),t>0.
In general, let α>0 and suppose that the fractional Cauchy problem:
(2.18)Dtαu(t)=Au(t),t>0
is well posed, where Dtα denotes Caputo’s fractional derivative. Then A generates an (α,0)-regularized resolvent family Rα(t) and we conclude that
(2.19)Eα,1(σ(A)tα)⊂σ(Rα(t)),t>0.
This result was first proved by Li and Zheng [23].Recent results on the theory of(a,k)-regularized resolvent families include conditions under which the complex inversion formula for the Laplace transform holds for (a,k)-regularized families [24] and Kallman-Rota-type inequalities [13]. However, following the analogy with the theories of C0 semigroups and cosine operator functions, many problems are still to be solved.


## 3. A Functional Equation

LetX be a complex Banach space and f∈Lloc1(ℝ+,X). The Laplace integral is defined by
(3.1)f^(λ):=∫0∞‍e-λtf(t)dt:=lim⁡τ→∞∫0τ‍e-λtf(t)dt.
Also define  abs(f):=inf{Reλ:f^(λ)exist}. Recall that a function f is called Laplace transformable if  abs(f)<∞. Note that a locally Bochner integrable function f is Laplace transformable if and only if its antiderivative F(t)=∫0t‍f(s)ds is exponentially bounded, see [9, Section 1.4]. The following theorem is the main result in this section.Theorem 3.1.
Let{R(t)}t≥0⊂ℬ(X) be an (a,k)-regularized resolvent family generated by a closed operator A such that ρ(A)≠∅. Then, for all t,s≥0 one has R(t)R(s)=R(s)R(t), and the functional equation:
(3.2)(FE)R(s)(a*R)(t)-(a*R)(s)R(t)=k(s)(a*R)(t)-k(t)(a*R)(s)
holds.Proof.
Note that by [8, Lemma 2.2]  we have that for all x∈X,(a*R)(t)x∈D(A) and
(3.3)R(t)x=k(t)x+A(a*R)(t)x.
Hence
(3.4)(a*R)(s)R(t)x=(a*R)(s)k(t)x+(a*R)(s)A(a*R)(t)x=(a*R)(s)k(t)x+A(a*R)(s)(a*R)(t)x=(a*R)(s)k(t)x+R(s)(a*R)(t)x-k(s)(a*R)(t)x,
where we used the item (ii) in Definition 2.1 and (3.3). This shows that (FE) holds for all x∈X and t,s≥0.
Now we show thatR(t)R(s)=R(s)R(t) for all t,s≥0. Let F(t):=R(t)R(s) and H(t):=R(s)R(t) then for all x∈D(A)(3.5)F(t)x=k(t)R(s)x+(a*F)(t)Ax,H(t)x=k(t)R(s)x+(a*H)(t)Ax,
where we used Definition 2.1, the fact that A is closed and R(t)Ax=AR(t)x for all x∈D(A), t≥0. It then follows that W(t):=F(t)-H(t) satisfies
(3.6)W(t)x=a*W(t)Ax∀x∈D(A).
Note that by (ii) in the Definition 2.1, W(t)x∈D(A) for all x∈D(A) and hence by (iii) we obtain
(3.7)k*W(t)x=(R-a*RA)*W(t)x=R*(W-a*WA)(t)x=0.
Now let λ∈ρ(A),y∈X and define x=(λ-A)-1y. Then (λ-A)k*W(t)x=0 implies that k*W(t)y=0 for each y∈X. Therefore, by Titchmarsh’s Theorem, we obtain that W(t)x=0 for each x∈X which ends the proof.Remark 3.2.
Assume thatR(t) is Laplace transformable. We note that an application of the double Laplace transform to (FE) gives the following identity:
(3.8)R^(λ)R^(μ)=k^(λ)a^(λ)1(1/a^(λ))-(1/a^(μ))R^(μ)-k^(μ)a^(μ)1(1/a^(λ))-(1/a^(μ))R^(λ).LetS,T:ℝ+→ℬ(X) be strongly continuous functions satisfying ∥S(t)∥≤Meωt and ∥T(t)∥≤Meωt(t≥0) for some ω∈ℝ, M≥0 (for simplicity we may assume the same constants). For h∈ℝ we will denote Sh the translation Sh(u):=S(u+h)χ[-h,+∞)(u) for u∈ℝ and
(3.9)(T*S)(t):=∫0t‍T(t-s)S(s)ds,t>0,
the convolution product between T and S. We will need the following result.Lemma 3.3 (see Lemma 4.1, [25]).
LetS,  T:[0,∞)→ℬ(X) be strongly continuous functions satisfying the assumptions above. For λ>μ>ω, the following identities are valid:
(3.10)S^(λ)T^(μ)=∫0∞‍e-λt∫0∞‍e-μsS(t)T(s)dsdt,(3.11)1μ-λ(S^(λ)-S^(μ))=∫0∞‍e-λt∫0∞‍e-μsS(t+s)dsdt,(3.12)1μ-λT^(μ)[S^(λ)-S^(μ)]=∫0∞‍e-λt∫0∞‍e-μs(T*St)(s)dsdt.
Defining S(t)=S(-t) for t<0 one has,
(3.13)1μ+λ(S^(λ)+S^(μ))=∫0∞‍e-λt∫0∞‍e-μsS(s-t)dsdt,λ+μ>0,(3.14)1μ+λT^(μ)(S^(λ)+S^(μ))=∫0∞‍e-λt∫0∞‍e-μs(T*S-t)(s)dsdt,λ+μ>0,
and defining S(t):=-S(-t) for t<0 one obtains
(3.15)-1μ+λT^(μ)(S^(λ)-S^(μ))=∫0∞‍e-λt∫0∞‍e-μs(T*S-t)(s)dsdt,λ+μ>0.In what follows, we restate and analyze consequences of Theorem3.1 in several particular cases. They are important because they include different theories of strongly continuous operators and, as consequence, involve the well-posedness of wide classes of abstract evolution equations.Example 3.4 (semigroups).
k
(
t
)
≡
a
(
t
)
≡
1. In this case we have that R(t) corresponds to a C0 semigroup and the associated functional equation (FE) reads
(3.16)R(s)∫0t‍R(τ)dτ-R(t)∫0s‍R(τ)dτ=∫0t‍R(τ)dτ-∫0s‍R(τ)dτ,t,s≥0.Corollary 3.5.
Assume thatR(t) is Laplace transformable. Then (3.16) is equivalent to Abel’s functional equation.Proof.
By (3.11) we have the identity:
(3.17)∫0∞‍∫0∞‍e-λt-μsR(t+s)dsdt=R^(λ)-R^(μ)μ-λ.
Hence, applying the double Laplace transform to the Abel’s functional equation:
(3.18)R(t+s)=R(t)R(s),t,s≥0,
we obtain
(3.19)R^(λ)R^(μ)=R^(λ)-R^(μ)μ-λ,
which is equivalent to
(3.20)1μR^(λ)R^(μ)-1λR^(μ)R^(λ)=1λμR^(μ)-1λμR^(λ).
Hence, inversion of the double Laplace transform to the above identity gives (3.16). The converse is analogue.Example 3.6 (cosine operator families).
k
(
t
)
≡
1
,
a
(
t
)
=
t. In this case we have that R(t) corresponds to a cosine operator family [9, Section 3.14] and the associated functional equation (FE) reads
(3.21)R(s)∫0t‍(t-τ)R(τ)dτ-R(t)∫0s‍(s-τ)R(τ)dτ=∫0t‍(t-τ)R(τ)dτ-∫0s‍(s-τ)R(τ)dτ.Corollary 3.7.
Assume thatR(t) is Laplace transformable. Then (3.21) is equivalent to the D’Alembert’s functional equation.Proof.
By (3.13) we have the identity:
(3.22)∫0∞‍∫0∞‍e-λt-μsR(t-s)dsdt=R^(λ)+R^(μ)μ+λ
valid whenever R(t) is extended as an even function to ℝ, which is indeed the case of cosine operator families.
We apply the double Laplace transform to the D’Alembert’s functional equation:(3.23)R(t+s)+R(t-s)=2R(t)R(s),t,s≥0,
and we obtain
(3.24)R^(λ)-R^(μ)μ-λ+R^(λ)+R^(μ)μ+λ=2R^(λ)R^(μ),
which, after an algebraic manipulation, is equivalent to
(3.25)λλ2-μ2R^(μ)-μλ2-μ2R^(λ)=R^(λ)R^(μ),
(compare with Remark 3.2 in case a(t)≡t and k(t)≡1). The above identity is equivalent to:
(3.26)R^(λ)1μ2R^(μ)-R^(μ)1λ2R^(λ)=1μ2λR^(μ)-1λ2μR^(λ).
Hence, inversion of the double Laplace transform to the above identity gives (3.21). The converse is analogue.Example 3.8 (sine operator family).
k
(
t
)
≡
t,  a(t)=t. In this case we have that R(t) corresponds to a Laplace transformable sine family [9, Section 3.15] and the associated functional equation (FE) reads:
(3.27)R(s)∫0t‍(t-τ)R(τ)dτ-R(t)∫0s‍(s-τ)R(τ)dτ=s∫0t‍(t-τ)R(τ)dτ-t∫0s‍(s-τ)R(τ)dτ.Remark 3.9.
The functional equation (3.27) is equivalent to the following:
(3.28)2R(t)R(s)=∫0s‍R(s-τ)dτ-∫0t‍R(t+τ)dτ+∫0t‍R(τ)dτ-∫0s‍R(τ)dτ,t,s≥0.
To show this, we apply the double Laplace transform to (3.28) and then Lemma 3.3, to conclude that:
(3.29)2R^(t)R^(s)=-R^(λ)-R^(μ)μ(μ+λ)-R^(λ)-R^(μ)λ(μ-λ)+R^(λ)λμ-R^(μ)λμ=2R^(λ)-R^(μ)μ2-λ2.
Finally, using Remark 3.2 in case a(t)≡t and k(t)≡t we see from the last identity that (3.27) is equivalent to (3.28). We notice that the functional equations (3.27) and (3.28) seem to be new for the theory of sine operator functions [9].Example 3.10 (Laplace transformable(α,β)-resolvent operators).
This example recovers Theorem  3.11 in [7]. Let k(t)=tβ/Γ(β+1); a(t)≡gα(t)=tα-1/Γ(α); α>0, β≥0. In this case we have that R(t) corresponds to a Laplace transformable (gα,gβ+1)-regularized resolvent family [7, Theorem 3.12] and the associated functional equation (FE) reads:
(3.30)R(s)∫0t‍gα(t-τ)R(τ)dτ-R(t)∫0s‍gα(s-τ)R(τ)dτ=gβ+1(s)∫0t‍gα(t-τ)R(τ)dτ-gβ+1(t)∫0s‍gα(s-τ)R(τ)dτ.
Note that, takinga(t)=k(t)=gα(t),α>0 (i.e., β+1=α) this example also includes the concept of α-resolvent families introduced in [26], which characterizes the well-posedness of the fractional Cauchy problem:
(3.31)Dtαu(t)=Au(t),t≥0,
where Dtα denotes the Riemann-Liouville fractional derivative. On the other hand, the special case k(t)≡1 and a(t)=gα(t),  α>0 gives the theory of solution operators introduced by Bazhlekova [27] for the fractional Cauchy problem (3.31) where now Dtα denotes Caputo’s fractional derivative instead of Riemann-Liouville fractional derivative. Note that the functional equation has now the following form:
(3.32)R(s)∫0t‍(t-τ)α-1R(τ)dτ-R(t)∫0s‍(s-τ)α-1R(τ)dτ=∫0t‍(t-τ)α-1R(τ)dτ-∫0s‍(s-τ)α-1R(τ)dτ,
for α>0.
Observe the remarkable fact that in the scalar case, that is,X=ℝ and A=ρ∈ℝ, we have that the Mittag-Leffler function Eα(ρtα) satisfies the functional equation (3.32), because it is the unique solution of (3.31) with the fractional derivative considered in the sense of Caputo. In other words, we have
(3.33)Eα(ρsα)∫0t(t-τ)α-1Eα(ρτα)dτ-Eα(ρtα)∫0s(s-τ)α-1Eα(ρτα)dτ=∫0t(t-τ)α-1Eα(ρτα)dτ-∫0s(s-τ)α-1Eα(ρτα)dτ,t,s≥0,
for α>0. In particular, it shows that the functional equation (3.32) is a proper generalization of Abel’s functional equation (corresponding to the case α=1) and D’Alembert functional equation (corresponding to the case α=2) since in case α=1 we have E1(ρt)=eρt and in case α=2 we have E2(ρt2)=cosh(ρt).Remark 3.11.
Suppose the family{R(t)}t≥0 of bounded linear operators of X is Laplace transformable. Then for 0<α<1 the functional equation (3.32) is equivalent to the functional equation:
(3.34)∫0t+s‍R(τ)(t+s-τ)αdτ-∫0t‍R(τ)(t+s-τ)αdτ-∫0s‍R(τ)(t+s-τ)αdτ=α∫0t‍∫0s‍R(τ1)R(τ2)(t+s-τ1-τ2)1+αdτ1dτ2
proposed by Peng and Li in [5, 6]. Indeed, we apply the double Laplace transform to (3.34) and use Lemma 3.3 to conclude that the following identity holds for 0<α<1:
(3.35)Γ(1-α)μ-λ[R^(λ)λ1-α-R^(μ)μ1-α]-Γ(1-α)R^(λ)λ-μ[1μ1-α-1λ1-α]-Γ(1-α)R^(μ)μ-λ[1λ1-α-1μ1-α]=αΓ(1-α)μα-λαλ-μR^(μ)R^(λ).
Then, algebraic manipulation shows that it is equivalent to the identity:
(3.36)R^(μ)R^(λ)=1/λ1/λαR^(μ)λα-μα-1/μ1/μαR^(λ)λα-μα.
Finally, using Remark 3.2 in case a(t)=tα-1/Γ(α) and k(t)≡1 we see from the last identity and inversion of the double Laplace transform that (3.34) is equivalent to the functional equation (3.32).Example 3.12 (Laplace transformablek-time integrated semigroups).
We take in this examplek(t)=tk/Γ(k+1),k=0,1,… and a(t)≡1. We have that R(t) is a k-time integrated semigroup and the functional equation has the form:
(3.37)R(s)∫0t‍R(τ)dτ-R(t)∫0s‍R(τ)dτ=skk!∫0t‍R(τ)dτ-tkk!∫0s‍R(τ)dτ.
Following the same type of arguments as in Corollaries 3.5 and 3.7 (see also the following example), we note that the above equation is equivalent to the following well-known formula that originally define k-time integrated semigroups (see [9, Section 3.2, Proposition 2.3.4]):
(3.38)R(t)R(s)=1(k-1)![∫tt+s‍(s+t-r)k-1R(r)dr-∫0s‍(s+t-r)k-1R(r)dr].Example 3.13 (K-convoluted semigroups).
LetK be a complex valued, locally integrable function on [0,∞). We take in this example k(t)=∫0t‍K(σ)dσ and a(t)≡1. We have that R(t) is an K-convoluted semigroup (see [28, Definition 2.1] and references therein) and the functional equation has the form:
(3.39)R(s)∫0t‍R(τ)dτ-R(t)∫0s‍R(τ)dτ=∫0s‍K(σ)dσ∫0t‍R(τ)dτ-∫0t‍K(σ)dσ∫0s‍R(τ)dτ,
which is equivalent with the standard definition:
(3.40)R(t)R(s)x=[∫0t+s‍-∫0t‍-∫0s‍]K(t+s-r)R(r)xdr.
Indeed, if R is Laplace transformable then we can apply the double Laplace transform to (3.40) and use Lemma 3.3 to conclude that
(3.41)2R^(λ)R^(μ)=K^(λ)R^(λ)-K^(μ)R^(μ)μ-λ-R^(λ)K^(μ)-K^(λ)λ-μ-R^(μ)K^(λ)-R^(μ)μ-λ=K^(λ)R^(μ)-K^(μ)R^(λ)λ-μ.
Then observing the formula in Remark 3.2 we note that (3.39) is equivalent to the functional equation (3.40).Example 3.14 (K-convoluted cosine functions).
LetK be a complex valued, locally integrable function on [0,∞). We take in this example k(t)=∫0t‍K(σ)dσ and a(t)=t. We have that R(t) is an K-convoluted semigroup and the functional equation has the form:
(3.42)R(s)∫0t‍(t-τ)R(τ)dτ-R(t)∫0s‍(s-τ)R(τ)dτ=∫0s‍K(σ)dσ∫0t‍(t-τ)R(τ)dτ-∫0t‍K(σ)dσ∫0s‍(s-τ)R(τ)dτ,
in contrast with the (equivalent) recently discovered expression [25]:
(3.43)2R(t)R(s)=∫ts+t‍K(s+t-r)R(r)dr-∫0s‍K(s+t-r)R(r)dr+∫t-st‍K(r-t+s)R(r)dr+∫0s‍K(r+t-s)R(r)dr,
where t≥s≥0.Example 3.15 (resolvent families).
Takingk(t)≡1,  a∈Lloc1(ℝ+) we obtain the following functional equation, which seems to be the first, for the theory of integral equations of convolution type [4]:
(3.44)R(s)∫0t‍a(t-τ)R(τ)dτ-R(t)∫0s‍a(s-τ)R(τ)dτ=∫0t‍a(t-τ)R(τ)dτ-∫0s‍a(s-τ)R(τ)dτ.Example 3.16 (integral resolvents).
Takinga(t)=k(t) we obtain, to our knowledge, the first functional equation for the theory of integral resolvents. Of course, it includes the scalar case [29]:
(3.45)R(s)∫0t‍a(t-τ)R(τ)dτ-R(t)∫0s‍a(s-τ)R(τ)dτ=a(s)∫0t‍a(t-τ)R(τ)dτ-a(t)∫0s‍a(s-τ)R(τ)dτ.Example 3.17 (a special case).
Takingk(t)=1 and a(t)=(tα-1/Γ(α))γe-βt, γ≠0, we obtain
(3.46)R(s)∫0t‍(t-τ)α-1e-β(t-τ)R(τ)dτ-R(t)∫0s‍(s-τ)α-1e-β(s-τ)R(τ)dτ=∫0t‍(t-τ)α-1e-β(t-τ)R(τ)dτ-∫0s‍(s-τ)α-1e-β(s-τ)R(τ)dτ.
In this example, the kernel a(t) is important in viscoelasticity theory [4].


## 4. Sufficient Conditions

Letk,a∈Lloc1(ℝ+) be given and R:ℝ+→B(X) be a strongly continuous family such that
(4.1)(FE)R(s)(a*R)(t)-(a*R)(s)R(t)=k(s)(a*R)(t)-k(t)(a*R)(s)
holds for all s,t≥0. In this section, we study in what extent the functional equation (FE) is sufficient to imply that R(t) is an (a,k) resolvent family. In passing, we are going to unify and clarify from a general perspective a basic property of the theories of semigroups and cosine operator families: automatic denseness of the domain of the generator.Theorem 4.1.
Letk∈C(ℝ+),  a∈Lloc1(ℝ+) be given and let R(t)⊂ℬ(X) be a commutative and strongly continuous family such that R(0)=k(0)I and satisfies (FE). Define
(4.2)D(B):={x∈X:lim⁡t→0+R(t)x-k(t)x(a*k)(t)exist},(4.3)Bx:=limt→0+R(t)x-k(t)x(a*k)(t)x∈D(B)
and suppose the following condition:
(4.4)sup⁡t>0∫0t‍|a(s)|ds|a*k(t)|<+∞.
Then R(t) is an (a,k)-regularized resolvent family with generator B. Moreover, B is closed and D(B) is dense in X.Proof.
SinceR(0)=k(0)I, we have to prove conditions (ii) and (iii) from Definition 2.1. Fix x∈D(B) and t≥0. For s≥0 we have from the commutativity of the family R(t) that
(4.5)R(s)R(t)x-k(s)R(t)xa*k(s)=R(t)(R(s)x-k(s)x)a*k(s).
Since R(t) is bounded, by definition of B we have that
(4.6)lim⁡s→0+R(t)(R(s)x-k(s)x)a*k(s)
exists and equals to R(t)Bx. Then (4.5) implies that R(t)x∈D(B) and BR(t)x=R(t)Bx for all t≥0. It proves condition (ii) in Definition 2.1. In order to show condition (iii), let x∈X be given and note that by (4.4) we have that
(4.7)‖a*R(s)xa*k(s)-x‖≤1|a*k(s)|∫0s‍|a(s-μ)|‖R(μ)x-k(μ)x‖dμ≤1|a*k(s)|∫0s‍|a(s-μ)|dμsup⁡μ∈[0,s]‖R(μ)x-k(μ)x‖⟶0ass⟶0+.
It follows from (4.1) and (4.7) that
(4.8)R(s)(a*R)(t)x-k(s)(a*R)(t)xa*k(s)=(a*R(s))(R(t)x-k(t)x)a*k(s)⟶R(t)x-k(t)x,
as s→0+ for all x∈X. Then, for all x∈X and t≥0,  (a*R)(t)x∈D(B) and
(4.9)B(a*R)(t)x=R(t)x-k(t)x.
Now let x∈D(B). Note that (a*R)(t)x∈D(B) and hence by (4.3) and the commutativity of R(t), we have
(4.10)B(a*R)(t)x=lim⁡s→0+R(s)(a*R)(t)x-k(s)(a*R)(t)xa*k(s)=lim⁡s→0+(a*R)(t)[R(s)x-k(s)x]a*k(s)=(a*R)(t)Bx.
It then follows from (4.9) and (4.10) that for all x∈D(B),
(4.11)R(t)x=k(t)x+B(a*R)(t)x=k(t)x+(a*R)(t)Bx.
It shows (iii) in Definition 2.1 and hence that R(t) is an (a,k)-regularized resolvent family generated by B.
We now show closedness. Let(xn)∈D(B) be a sequence such that xn→x and Axn→y as n→∞. It follows from the second equality in (4.11) that
(4.12)R(t)x=k(t)x+(a*R)(t)y.
Then by (4.7) we have
(4.13)R(t)x-k(t)xa*k(t)=(a*R)(t)ya*k(t)⟶y,
as t→0+. It shows x∈D(B) and Bx=y.
Finally, we show thatD(B) is dense in X. Let x∈X be given. Then it was proved that a*R(t)x∈D(B) for all t≥0. Hence, defining
(4.14)xn=a*R(1/n)a*k(1/n)x,n∈N,
it follows from (4.7) that xn∈D(B) and limn→∞xn=x, proving the claim and the theorem.Remark 4.2.
We notice that the denseness ofD(A) is always present under the conditions of the above theorem. In particular, we recover a well-known result in the theories of semigroups and cosine operator functions and, more important, give new results for other theories of strongly continuous functions of operators. An immediate application of this result is that the Laplacian operator with Dirichlet boundary conditions cannot be the generator on Lp spaces for p≠2, of those classes of (a,k)-regularized resolvent families that have a(t) and k(t) satisfying (4.4).Our next result studies a complementary case of Theorem4.1. Here we deal with integrated versions of the operator families where, as we known, the density of the domain is not present, in general.Theorem 4.3.
Letk∈C(ℝ+) and a∈Lloc1(ℝ+). Let R(t)⊂ℬ(X) be a commutative strongly continuous family such that R(0)=k(0)I and satisfies (FE). Define D(B) and B as in the above theorem. Suppose the following condition:
(4.15)lim⁡s→0+(a*(a*k))(s)a*k(s)=0.
Then R(t) is an (a,k)-regularized resolvent family with generator B.Proof.
SinceR(0)=k(0), we have to prove conditions (ii)-(iii) in Definition 2.1. The proof of (ii) is the same as in Theorem 4.1. To show (iii), fix x∈D(B) and note that
(4.16)‖a*R(s)xa*k(s)-x‖≤1|a*k(s)|∫0s‍|a(s-μ)|‖(R(μ)x-k(μ)x)‖dμ.
Since x∈D(B), there exists δ>0 such that for all |μ|≤δ(4.17)‖R(μ)x-k(μ)x(a*k)(μ)-Bx‖<1.
Then for all |μ|≤δ,
(4.18)‖R(μ)x-k(μ)x‖≤(1+‖Bx‖)|(a*k)(μ)|=:Cx|(a*k)(μ)|.
It follows from (4.16), (4.18), and the condition (4.15) that
(4.19)‖a*R(s)xa*k(s)-x‖≤1|a*k(s)|∫0s‍|a(s-μ)Cx(a*k)(μ)|dμ=|a*(a*k)(s)||a*k(s)|Cx⟶0ass⟶0+.
Since R(t)x-k(t)x∈D(B), it follows from (4.1) and (4.19) that
(4.20)R(s)(a*R)(t)x-k(s)(a*R)(t)xa*k(s)=(a*R(s))(R(t)x-k(t)x)a*k(s)⟶R(t)x-k(t)x,
as s→0+. Then for all x∈D(B), we have (a*R)(t)x∈D(B) and
(4.21)B(a*R)(t)x=R(t)x-k(t)x.
Finally, note that (a*R)(t)x∈D(B) and
(4.22)B(a*R)(t)x=(a*R)(t)Bx.
Hence
(4.23)R(t)x=k(t)x+B(a*R)(t)x=k(t)x+(a*R)(t)Bx,
proving the theorem.Example 4.4.
Suppose thata(t) and k(t) are positive kernels, then the condition (4.15) holds. In fact, denote c(t)=(a*k)(t). Then c(t) is positive nondecreasing and therefore
(4.24)(a*c)(t)=∫0t‍a(t-s)c(s)ds≤∫0t‍a(t-s)c(t)ds=c(t)∫0t‍a(s)ds,t≥0.
Hence
(4.25)(a*a*k)(t)(a*k)(t)≤∫0t‍a(s)ds⟶0,
as t→0.Remark 4.5.
In view of Theorems3.1, 4.1, and 4.3, the Definition-regularized family is equivalent, under certain conditions on the kernels a(t) and k(t), to the functional equation (FE). This fact can be used to define (a,k)-regularized families in a local way and avoid the use of Laplace transform in the development of the theory. We note that more general classes of families of bounded operators like, for example, (a,k)-regularized-C-resolvent families can be understood using (FE) (see, e.g., [30, Definition 1.2]). We left the details to the interested reader.


## 5. Application

In this section, we give one example to show how this class of regularized families defined by functional equations appears in new concrete problems, while other methods do not apply directly.Consider the following nonlinear third order differential equation:(5.1)u′′′(t)+αu′′(t)+c2Au(t)+bAu′(t)=f(t,u(t),u′(t),u′′(t)),
with given initial conditions u(0),u′(0),u′′(0), and where α,b,c are positive real numbers and f is a vector-valued function.Equation (1.5) has recently attracted the attention of a number of authors because their applications in different fields as, for example, high-intensity ultrasound and vibrations of flexible materials. See [31–33] and references therein. In such cases, usually the operator A is the negative Laplacian and f(t,u,ut,utt)=(K(ut)2+|∇u|2)t for a suitable constant K>0. For example, in high-intensity ultrasound, u is the velocity potential of the acoustic phenomenon described on some bounded ℝ3 domain. In the abstract case, A is a nonnegative, self-adjoint operator (possibly with compact resolvent) defined on a Hilbert space H.Mathematical understanding of the linearized equation:(5.2)u′′′(t)+αu′′(t)+c2Au(t)+bAu′(t)=0
is meant as a preliminary critical step for the subsequent analysis of the full nonlinear model (5.1).The usual operator-theoretic method to solve (5.2) is to rewrite it as a first-order abstract Cauchy problem of the form
(5.3)U′(t)=AU(t),t≥0,U(0)=U0,
on the Banach space 𝒳:=X×X×X with the usual norm, and where
(5.4)A=(0I000I-c2A-bA-αI)
is defined on D(𝒜):=D(A)×D(A)×X. It is known that if A is unbounded then, for b=0, the matrix of operators 𝒜 cannot be the generator of a C0 semigroup on 𝒳 or even in some subspaces of it (see [31, Theorem 1.1]). It can be seen directly observing the entries of the resolvent operator
(5.5)(λI-A)-1=((λ2+αλ+bA)H(λ)(λ+α)H(λ)H(λ)-c2AH(λ)(λ2+αλ)H(λ)λH(λ)-λc2AH(λ)-(λb+c2)H(λ)λ2H(λ)),
where H(λ)=(λ3+αλ2+bλA+c2A)-1. Indeed, for b=0 we replace the identity:
(5.6)λ3H(λ)+αλ2H(λ)+c2AH(λ)=I
and obtain
(5.7)(λI-A)-1=((λ2+αλ)H(λ)(λ+α)H(λ)H(λ)λ3H(λ)+αλ2H(λ)-I(λ2+αλ)H(λ)λH(λ)λ4H(λ)+αλ3H(λ)-λI-(λb+c2)H(λ)λ2H(λ)),
and now we observe that the entries λ3H(λ)+αλ2H(λ)-I and λ4H(λ)+αλ3H(λ)-λI cannot be a Laplace transform. Therefore, 𝒜 cannot generate a C0 semigroup on 𝒳.However, forα≠0, we can directly associate to (5.2) an (a,k)-regularized family on X, with k(t)=e-αt and a(t)=((bα-c2)/α2)(1-e-αt)+(c2/α)t. Indeed, for such choice of the pair (a,k) we have
(5.8)k^(λ)=1λ+α,a^(λ)=c2+λbλ3+αλ2.
Hence
(5.9)λ2H(λ)=k^(λ)a^(λ)(1a^(λ)-A)-1.
Now take the (formal) Laplace transform of the left-hand side of (5.2) with initial conditions u(0)=x,u′(0)=y,u′′(0)=z. We obtain in case b=0(5.10)u^(λ)=(λ2+αλ)H(λ)x+(λ+α)H(λ)y+H(λ)z.
Therefore, in case b=0 we can still have that (5.2) is well posed in the sense that A is the generator of an (a,k)-regularized family {S(t)}t≥0 and, in this case, a (mild) solution of the problem can be explicitly given by the formula:
(5.11)u(t)=[S(t)+α(1*S)(t)]x+[(1*S)(t)+α(t*S)(t)]y+(t*S)(t)z,
where x,y,z∈X. Finally, note that
(5.12)k(t)=e-αt,a(t)=c2∫0t‍(t-s)k(s)ds+b∫0t‍k(s)ds
are positive kernels and therefore, by Example 4.4, the condition (4.15) in Theorem 4.3 is satisfied. In this way, a method based on a direct approach, defined by an specific functional equation, is now available. Note that in case b≠0 the matrix operator 𝒜 is the generator of a C0 semigroup 𝒯(t) on 𝒳, but it can never be compact. It has nothing to do with the corresponding properties of S(t). Therefore maximal regularity results for the corresponding nonhomogeneous version of (5.2) cannot be proved by reduction to a first-order problem. The same remark applies to stability questions; even if S(t) is integrable, the type of 𝒯(t) cannot be negative unless the type of S(t) already is, this implies that it is not possible to obtain sharp integrability results for the solution u(t) of (5.2) by means of an indirect approach.Remark 5.1.
The argument given above for the justification of the introduction of(a,k)-regularized families for a third-order abstract differential equation is analog to those given in the origins of the theory of cosine families, see for example, Fattorini [34], which has proved along the years to be very efficient to handle directly incomplete second-order abstract Cauchy problems.



---

*Source: 495487-2012-07-09.xml*