## DIRECT AND INVERSE ABSTRACT CAUCHY PROBLEMS WITH FRACTIONAL POWERS OF ALMOST SECTORIAL OPERATORS

## J.E. RESTREPO

Abstract. We show the explicit solution operator of an abstract Cauchy problem involving a time-variable coefficient and a fractional power of an almost sectorial operator. Also, by using the representation of the solution operator, we solve the inverse abstract Cauchy problem for recovering the time-variable coefficient. As a complement, we also study similar problems by using almost sectorial operators that depend on a time-variable.

## Contents

| 1.                   | Introduction                     |   1 |
|----------------------|----------------------------------|-----|
| 2.                   | Preliminaries                    |   3 |
| 3.                   | Direct abstract Cauchy problem   |   5 |
| 4.                   | Inverse abstract Cauchy problems |   6 |
| 5.                   | Non-autonomous Cauchy problems   |   7 |
| 5.1.                 | Direct abstract Cauchy problem   |   8 |
| 5.2.                 | Inverse abstract Cauchy problems |   8 |
| Conflict of interest | Conflict of interest             |   9 |
| References           | References                       |   9 |

## 1. Introduction

In functional analysis, specifically in operator theory, the Hille-Yosida theorem characterizes the generators of strongly continuous semigroups of linear operators on Banach spaces. This characterization requests operators to be closed and densely defined. Moreover, the following estimate holds:

$$\| ( \lambda I - A ) ^ { n } \| \leqslant \frac { C } { ( \lambda - \omega ) ^ { n } }, \quad \lambda > \omega,$$

for all positive integers n and any λ in the resolvent set ρ A . ( ) Note that for contraction semigroups, the Hille-Yosida theorem can be easily characterized by those operators A such that ‖ ( λI -A ) -1 ‖ /lessorequalslant 1 λ , for any λ ∈ ρ A ( ) with λ &gt; 0 . Nevertheless, there are different classes of important and interesting operators who do not satisfy the above estimates. Indeed, we recall the so-called almost sectorial operators, see Definition

Date : August 2, 2024.

2010 Mathematics Subject Classification. 65J08; 65N21, 34K08, 47A05.

Key words and phrases. Direct abstract Cauchy problems, inverse abstract Cauchy problems, almost sectorial operators, time-variable coefficient, bounded and unbounded operators, dense and non-dense domains.

2.1. More details about this type of operators can be found e.g. in [7, 14, 18]. It is known that operators satisfying condition (b) do not generate a C 0 -semigroup since it does not satisfy the Hille-Yosida's estimates. But, in this case, the operator A will generate a type of semigroup called analytic semigroup of growth oder γ (see Definition 2.2). This concept was first introduced by Da Prato in [5] for positive integer orders. The generalization for any positive order was given in different works e.g. [10, 11, 18, 20] and the references therein. These semigroups do not imply strong continuity at t = 0 , and this is one of the main difference compare with the C 0 -semigroups. Also, in this work, the operators do not need to have dense domains and/or ranges. This generality is not always assumed everywhere since some researchers studied almost sectorial operators defined over domains that are dense as well, see e.g. [2]. Almost sectorial operators frequently appear by the consideration of elliptic operators in regular spaces. Let us now recall briefly some classical examples in this setting. For instance, the minus Laplacian in a bounded domain Ω is sectorial (this means γ = 1 in Definition 2.1) under some suitable boundary conditions in L p (Ω) [4, Section 1.3]. Moreover, it is also sectorial in the spaces of bounded or continuous functions [6, 17]. While, in the space of H¨lder continuous, functions the o minus Laplacian is almost sectorial, see e.g. [19] or [9, Example 3.1.33]. Some other good examples of almost sectorial operators can be found in [14, Section 2]. There is an interesting example of an operator who involves Riemann-Liouville fractional derivatives in the Banach space C ∞ ( R C ; 2 ) of continuous functions which vanish at infinity [15, Example 3.2], that is not sectorial but it is almost sectorial. In [15], more examples of almost sectorial operators are given by using Riemann-Liouville derivatives.

In this paper, we show explicitly the unique solution operator for the abstract Cauchy problem involving a time-dependent variable coefficient and a fractional power of an almost sectorial operator. By using the representation of the solution operator, we then consider two direct abstract Cauchy problems with the same timevariable coefficient, with the target of finding the time-dependent coefficient (inverse abstract Cauchy problems). Here, we mainly follow some ideas from [12] and [14].

We complement our studies, by considering the case of non-autonomous evolution equations with almost sectorial operators. Here, the operator depends on a timevariable. For some works in this direction, we recommend to check e.g. [3, 8]. Again, for this case, we find the unique solution operator (explicitly) for the abstract Cauchy problem with a time-dependent variable coefficient and an almost sectorial operator A τ ( ) for τ /greaterorequalslant 0. Also, the inverse abstract Cauchy problem with this type of operators is studied.

The structure of the paper is as follows. In Section 2, we recall some definitions and results about almost sectorial operators and abstract evolution equations. We continue with Section 3, where we give some of the main results on the representation of the solution operator of abstract Cauchy problems with time-variable coefficients. While, in Section 4, we consider the inverse abstract Cauchy problem in finding the time-dependent variable coefficient. In the end (Section 5), we study similar problems as mentioned before by means of almost sectorial operators that depends on a timevariable.

## 2. Preliminaries

Everywhere below, we assume that ( X, ‖ · ‖ ) is a complex Banach space. Here, an operator in X means a linear map A : D A ( ) ⊂ X → X whose domain D A ( ) is a linear subspace of X. Also, σ A ( ) is the spectrum of A, and R A ( ) is the range. Moreover, L ( X ) denotes the space of all bounded linear operators on X.

Let 0 &lt; µ &lt; π . So, we define by S 0 µ to be the open sector { z ∈ C \{ } 0 : | arg z | &lt; µ , } and its closure S µ := { z ∈ C \ { 0 } : | arg z | /lessorequalslant µ } ∪ { 0 } . We consider the function arg with values in ( -π, π . ]

Definition 2.1. Let -1 &lt; γ &lt; 0 and 0 /lessorequalslant ω &lt; π. By Θ ( γ ω X ) we denote the set of all closed linear operators A : D A ( ) ⊂ X → X which satisfy

- (a) σ A ( ) ⊂ S . ω
- (b) For any ω &lt; µ &lt; π , there exists a positive constant C µ such that

$$\| ( z - A ) ^ { - 1 } \| \leqslant C _ { \mu } ^ { \prime } | z | ^ { \gamma }, \text{ \ for any } \ z \notin S _ { \mu }.$$

For simplicity we denote Θ γ ω instead of Θ γ ω ( X ). A linear operator A will be called an almost sectorial operator in X if A ∈ Θ γ ω . Note that 0 ∈ ρ A ( ) for any A ∈ Θ γ ω . Also, we have that A is injective [14, Remark 2.2]. It is important to recall that operators in the class Θ γ ω have the possibility of having non-dense domain and/or range. This latter feature gives a different panorama with respect to classical results where it is always assumed dense domains [13, 16].

Let us now recall some necessary definitions and results that will be used through the whole paper.

Below we always denote by Γ θ (0 &lt; θ &lt; π ) the path

$$\{ \rho e ^ { - i \theta } \colon \rho > 0 \} \cup \{ \rho e ^ { i \theta } \colon \rho > 0 \}$$

oriented such that the sector S 0 θ lies to the left of Γ θ .

$$o, & \text{by } [ 1 4, \text{ Lemma 2.13} ], \text{ we have that} \\ & \mathcal { T } _ { \alpha } ( t ) = \frac { 1 } { 2 \pi } \int _ { \Gamma _ { \theta } } e ^ { - t z ^ { \alpha } } ( z - A ) ^ { - 1 } \text{d} z, \quad \omega < \theta < \mu, \\ \cdots \cdots & \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \end{$$

First, we take 0 &lt; α &lt; π 2 ω and t ∈ S 0 π 2 -αω , with ω &lt; µ &lt; min { π, π - | 2 arg t | 2 α } . Suppose that the function g α,t ( z ) = e -tz α is defined on z ∈ S . 0 µ Assume also that A ∈ Θ γ ω . So, by [14, Lemma 2.13], we have that is a bounded linear operator in X. In particular, the above holds for 0 &lt; α /lessorequalslant 1 . Note that the above expression for T α ( ) could be also denoted by t e -tA α . The latter notation is frequently used for strongly continuous semigroups generated by A α .

Next the definition about the analytic semigroups of growth order.

Definition 2.2. Let 0 &lt; µ &lt; π/ 2 and κ &gt; 0 . A family { T ( ) : t t ∈ S 0 µ } is said to be an analytic semigroup of growth order κ if the following conditions hold:

- (1) T ( t + ) = s T ( ) t T ( s ) for any t, s ∈ S . 0 µ
- (2) The mapping t → T ( ) is analytic in t S . 0 µ
- (3) There exists a positive constant C such that

$$\| \mathcal { T } ( t ) \| \leqslant C t ^ { - \kappa }, \text{ \ for any } \ t > 0.$$

- (4) If T ( ) t x = 0 for some t ∈ S 0 µ , then x = 0 .

The above definition has two difference with respect to the one given by Da Prato. First, the set X 0 = ⋃ t&gt; 0 T ( ) t X not need to be dense in X. Second, the strong continuity T

of the mapping t → ( ) for t t &gt; 0 is replaced by condition (2).

Now we remember some properties of the operators families { T α ( ) : t t ∈ S π 2 -αω } stated in [14, Theorem 3.9] that will be used implicitly in some of our proofs.

Theorem 2.3. Suppose that A ∈ Θ γ ω for some 0 &lt; ω &lt; π 2 and 0 &lt; α &lt; π 2 ω . Then the family { T α ( ) : t t ∈ S 0 π 2 -αω } is an analytic semigroup of growth order 1+ γ α . So, the following assertions are true.

- (1) T α ( t + ) = s T α ( ) t T α ( s ) for any t, s ∈ S π 2 -αω .
- (2) There exists a positive constant C γ, α ( ) such that

$$\| \mathcal { T } _ { \alpha } ( t ) \| \leqslant C t ^ { - \frac { \gamma + 1 } { \alpha } }, \ \text{ for any } \ t > 0.$$

- (3) The range R ( T α ( )) t of T α ( ) t with t ∈ S 0 π 2 -αω , is contained in D A ( ∞ ) . In particular, R ( T α ( )) t ⊂ D A ( β ) for all β ∈ C with Re β &gt; 0 , and

$$\ p a r t i c u l a r, \, \mathcal { K } ( \mathcal { Z } _ { \alpha } ( \tau ) ) & \subset \mathcal { L } ( A ^ { \prime } ) \text{ for all } \beta \in \mathcal { \cup } \text{ with } \Re e \, \beta > 0, \text{ and } a \\ A ^ { \beta } \mathcal { T } _ { \alpha } ( t ) & x = \frac { 1 } { 2 \pi i } \int _ { \Gamma _ { \theta } } z ^ { \beta } e ^ { - t z ^ { \alpha } } ( z - A ) ^ { - 1 } x \, \mathrm d z, \quad \text{ for all } \ \ x \in X. \\.. \quad. \quad. \quad. \quad. \quad. \quad. \quad.$$

Also, there is a positive constant C γ, α, β ( ) such that

$$\| A ^ { \beta } \mathcal { T } _ { \alpha } ( t ) \| \leqslant t ^ { - \frac { \gamma + 1 + R e \beta } { \alpha } }, \ \ f o r \ a l l \ \ t > 0.$$

$$( 4 ) \text{ The function } t \to \mathcal { T } _ { \alpha } ( t ) \text{ is analytic in } S _ { \frac { \tau } { 2 } - \alpha \omega } ^ { 0 } \text{ and }$$

$$\frac { \mathrm d ^ { k } } { \mathrm d t ^ { k } } \mathcal { T } _ { \alpha } ( t ) = ( - 1 ) ^ { k } A ^ { k \alpha } \mathcal { T } _ { \alpha } ( t ), \quad \text{for all} \ \ t \in S _ { \frac { \pi } { 2 } - \alpha \omega } ^ { 0 }.$$

$$\begin{array} { c } \text{d} t ^ { k } \mathcal { \, } \alpha \mathcal { \, } \nu \, - \, \mathcal { \, } \nu \, + \, \mathcal { \, } \alpha \mathcal { \, } \nu \,, \, \ J \mathcal { \, } \alpha \mathcal { \, } \nu \, + \, \mathcal { \, } \alpha \mathcal { \, } \nu \, \subset \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal{ \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcol { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \, } \mathcal { \,                                                                                                                                                                                                         \end{array} } \end{array} \\ \begin{array} { c } \text{d} L e t \, \Omega _ { \alpha } & = & \left \{ x \in X \, \colon \lim _ { t \to 0, \, t > 0 } \mathcal { \mathcal { T } _ { \alpha } } ( t ) x = x \right \} & \text{be the continuity set of } \mathcal { T } _ { \alpha } ( \cdot ). & \text{If} \\ \beta > 1 + \gamma \text{ then } D ( A ^ { \beta } ) \subset \Omega _ { \alpha }. & \end{array}$$

Abstract evolution equations. Suppose that A ∈ Θ γ ω with 0 &lt; ω &lt; π/ 2 and -1 &lt; γ &lt; 0 . As usual with this type of operators, we do not request density of the domain of A.

Consider the following abstract Cauchy problem:

$$\cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \cos \\ ( 2. 1 ) & \partial _ { t } u \coloneqq u _ { t } ( t ) = A ^ { \alpha } u ( t ), \quad 0 < t < T, \quad 0 < \alpha < \frac { \pi } { 2 \omega }, \\ & u ( 0 ) = u _ { 0 } \in X.$$

By a classical solution of problem (2.1), we mean a function u ∈ C ( (0 , T ); X ) ∩ C 1 ( (0 , T ); X ) which takes values in D A ( α ) for any 0 &lt; t &lt; T and satisfies (2.1). It is important to highlight that if u 0 ∈ D A ( α ) then the classical solution is continuous also in t = 0 whenever α &gt; 1 + γ (Theorem 2.3, item (5)).

It can be proved (see e.g. [14, Chapter 4]) that equation (2.1) has a unique classical solution given by

$$u ( t ) = \mathcal { Z } _ { \alpha } ( t ) u _ { 0 }, \quad \text{for any} \quad 0 < t < T.$$

## 3. Direct abstract Cauchy problem

In this section, we discuss the direct abstract Cauchy problem with a time-dependent variable coefficient φ by using an almost sectorial operator in the class Θ γ ω . The timedependent function φ : [0 , + ∞ → ) [0 , + ∞ ) is continuous with φ t ( ) &gt; 0 for t &gt; 0.

We consider the abstract Cauchy problem in a complex Banach space X with the coefficient φ t ( ) and A ∈ Θ γ ω ( 0 &lt; ω &lt; π/ 2 ) as follows:

$$( 3. 1 ) & \quad ^ { \prime \circ \, \mu \, \mu \, \mu \, \mu \, \mu \, \mu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nu \, \nolimits \, 0 < t < T, \quad 0 < \alpha < \frac { \pi } { 2 \omega }, \\ & \quad u ( 0 ) = u _ { 0 } \in X.$$

Below we prove that the solution operator T α,φ ( ) of problem (3.1) has an explicit t representation in terms of the coefficient φ t ( ) and the analytic semigroup T α ( ) t of growth order γ +1 α .

Theorem 3.1. Let X be a complex Banach space. Then the solution operator of problem (3.1) is given by:

$$& \ p v o v e m \ ( o. 1 ) \ i s \ y v e n \ v y. \\ & ( 3. 2 ) & \mathcal { T } _ { \alpha, \phi } ( t ) = \mathcal { T } _ { \alpha } \left \{ \left ( \int _ { 0 } ^ { t } \phi ( s ) \mathrm d s \right ) \right \}, \quad 0 < t < T.$$

Proof. Since φ is a continuous function such that φ t ( ) &gt; 0 for any t &gt; 0, we have that η t ( ) = ∫ t 0 φ r ( )d r for t /greaterorequalslant 0 is a bijection. Hence, there exits a unique function ζ : [0 , + ∞ → ) [0 , + ∞ ) such that

$$( 3. 3 )$$

$$\zeta ( \eta ( t ) ) & = t, \quad t \geqslant 0, \\ \eta ( \zeta ( s ) ) & = s, \quad s \geqslant 0.$$

$$\cdot$$

Moreover, we get that ∂ ζ s ( s ) = 1 φ ζ s ( ( )) for any s /greaterorequalslant 0. So, we compute

$$\frac { d } { d s } & ( u ( \zeta ( s ) ) ) = \partial _ { s } u ( \zeta ( s ) ) \partial _ { s } \zeta ( s ) = \left ( \phi ( \zeta ( s ) ) A ^ { \alpha } u ( \zeta ( s ) ) \right ) \frac { 1 } { \phi ( \zeta ( s ) ) } = A ^ { \alpha } u ( \zeta ( s ) ), \\ \text{where} \, u / \zeta / \partial \, \llcorner - u / \partial \, \llcorner - u \sim \text{ for any a certain} \, \Gamma \, 1 \, \llcorner \, \text{$Rv$ machine} \, \text{the minimum}.$$

where u ζ ( (0)) = u (0) = u , 0 for any u satisfying equation (3.1). By using the uniqueness of the solution (2.2) of problem (2.1), we obtain

$$( u \circ \zeta ) ( s ) = \mathcal { T } _ { \alpha } ( s ) u _ { 0 } \text{ \ for any \ } s \geqslant 0.$$

With s = η t ( ), expression in (3.4) can be rewritten as

$$\ln s = \eta ( \tau ), \, & \expression \, \text$$

where u t ( ) is the solution operator of (3.1).

/square

Let us now mention, in particular, the classical and important case α = 1 . Thus, suppose that:

$$u _ { t } ( t ) & = \phi ( t ) A u ( t ), \$$

where A ∈ Θ γ ω with 0 &lt; ω &lt; π/ . 2 Below we denote by T ( ) t , T φ ( ), t the analytic semigroup T 1 ( ), and t T 1 ,φ ( ) respectively. t

Corollary 3.2. Let X be a complex Banach space. Then the solution operator of problem (3.5) can be obtained as:

$$& \ p v v v c { m } ( \varnothing. \varnothing _ {$$

## 4. Inverse abstract Cauchy problems

We now use the representation of the solution operator of the (direct) abstract Cauchy problem (found in the previous Section) to find the time-dependent coefficient for the inverse abstract Cauchy problem. The method is based in the consideration of two (direct) abstract Cauchy problems with the same time-dependent coefficient.

We start by establishing a useful property that involves the analytic semigroup of growth order and a fractional power of an operator. Let A ∈ Θ γ ω for some 0 &lt; ω &lt; π/ . 2 From [14, Theorem 2.5] and Theorem 2.3 (item (3)), we get that

$$( 4. 1 ) \quad \ \ A ^ { \alpha } \mathcal { T } _$$

since the function z α e -tz α is in the class F γ 0 ( S 0 µ ) ( ω &lt; θ &lt; µ &lt; min { π, π 2 α }) . More details about it can be found in [14, Section 2].

For A ∈ Θ γ ω (0 &lt; ω &lt; π/ 2) and φ : [0 , + ∞ → ) [0 , + ∞ ) being a continuous function with φ t ( ) &gt; 0 for t &gt; 0, we consider the following two abstract Cauchy problems with the variable coefficient φ :

$$\begin{array} {$$

and

$$& \Gamma _ { t } ( 4. 3 ) & & v _ { t } ( t ) = \phi ( t ) A ^ { \alpha } v ( t ), \quad 0 < t < T, \quad 0 < \alpha < \frac { \pi } { 2 \omega }, \\ & & v ( 0 ) = A ^ { \alpha } u _ { 0 } \in D ( A ^ { \alpha } ).$$

By Theorem 3.1, the solution operators of problems (4.2) and (4.3) are given respectively by

$$& \text{uvely } \, \upsilon y \\ & ( 4. 4 ) \quad u ( t ) = \mathcal { T } _ { \alpha } \left \{ \left ( \int _ { 0 } ^ { t } \phi ( r ) \text{d} r \right ) \right \} u _ { 0 }, \quad \text{and } \quad v ( t ) = \mathcal { T } _ { \alpha } \left \{ \left ( \int _ { 0 } ^ { t } \phi ( r ) \text{d} r \right ) \right \} A ^ { \alpha } u _ { 0 }.$$

Let us now fix an observation point q for the following two time dependent quantities:

$$h _ { 1 } ( t ) \coloneqq u ( t, q ), \ \ h _ { 2 } ( t ) \coloneqq v ( t, q ), \ \ 0 < t < T.$$

Next, we establish the main result of this section as follows.

Theorem 4.1. Let X be a complex Banach space. Then there exists a unique function φ t ( ) of the inverse abstract Cauchy problem (4.2) (and (4.3)) given by

$$\phi ( t ) = \frac { \partial _ { t } h _ { 1 } ( t ) } { h _ { 2 } ( t ) }, \ \text{ for any } \ 0 < t < T.$$

Proof. By using (4.4), Theorem 2.3 (item (4)) and property (4.1) we obtain

$$\text{roof.} \, By using (4.4), Theorem 2.3 \, (item (4)) \, \text{and property} \, (4.1) \, \text{we obtain} \\ \partial _ { t } h _ { 1 } ( t ) = \partial _ { t } u ( t, q ) & = \partial _ { t } \mathcal { T } _ { \alpha } \left \{ \left ( \int _ { 0 } ^ { t } \phi ( r ) d r \right ) \right \} u _ { 0 } ( t, q ) \\ & = \phi ( t ) A ^ { \alpha } \mathcal { T } _ { \alpha } \left \{ \left ( \int _ { 0 } ^ { t } \phi ( r ) d r \right ) \right \} u _ { 0 } ( t, q ) \\ & = \phi ( t ) \mathcal { T } _ { \alpha } \left \{ \left ( \int _ { 0 } ^ { t } \phi ( r ) d r \right ) \right \} A ^ { \alpha } u _ { 0 } ( t, q ) \\ & = \phi ( t ) v ( t, q ) = \phi ( t ) h _ { 2 } ( t ), \\ \text{hich completes the proof.} \quad & \Box \\ \text{Again, it is worthy to highlight the particular case $\alpha = 1$. Hence, let us study the}$$

which completes the proof.

Again, it is worthy to highlight the particular case α = 1 . Hence, let us study the following two abstract Cauchy problems with the variable coefficient φ :

$$u _ { t } ( t ) & = \phi ( t ) A u ( t ), \quad 0 < t < T, \\ u ( 0 ) & = u _ { 0 } \in D ( A ),$$

and

$$v _ { t } ( t ) & = \phi ( t ) A v ( t ), \quad 0 < t < T, \\ v ( 0 ) & = A u _ { 0 } \in D ( A ),$$

where A ∈ Θ γ ω (0 &lt; ω &lt; π/ 2) and φ : [0 , + ∞ → ) [0 , + ∞ ) is a continuous function with φ t ( ) &gt; 0 for t &gt; 0 . The solution operators of problems (4.5) and (4.6) are given respectively by

$$\underset { - \ \ } { \text{respective by } } & \, \text{by} \\ & u ( t ) = \mathcal { T } \left \{ \left ( \int _ { 0 } ^ { t } \phi ( r ) \mathrm d r \right ) \right \} u _ { 0 }, \quad \text{and} \quad v ( t ) = \mathcal { T } \left \{ \left ( \int _ { 0 } ^ { t } \phi ( r ) \mathrm d r \right ) \right \} A u _ { 0 }.$$

Here, for the fixed point q , we denote by

Corollary 4.2. Let X be a complex Banach space. Assume φ : [0 , + ∞ → ) [0 , + ∞ ) is a continuous function such that φ t ( ) &gt; 0 for t &gt; 0 . Then there exists a unique function φ t ( ) of the inverse abstract Cauchy problem (4.5) (and (4.6)) constructed as

$$& \text{Here, for the fixed point } q, \, \text{we denote by} \\ & \widetilde { h _ { 1 } } ( t ) = \mathcal { T } \left \{ \left ( \int _ { 0 } ^ { t } \phi ( r ) \mathrm d r \right ) \right \} u _ { 0 } ( t, q ) \quad \text{and} \quad \widetilde { h _ { 1 } } ( t ) = \mathcal { T } \left \{ \left ( \int _ { 0 } ^ { t } \phi ( r ) \mathrm d r \right ) \right \} A u _ { 0 } ( t, q ). \\ & \text{Corollary } 4. 2. \, \text{Let } X \, \text{ be a complex Banach space. } \, \text{Assume } \phi \, \colon [ 0, + \infty ) \to [ 0, + \infty )$$

$$\kappa \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \beta \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \eta \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \gamma \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \colon \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \ell \, \beta \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \beta \, \beta \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \eta \, \beta \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \gamma \,\alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \,\alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \beta \,\alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \eta \,\alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \gamma \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \. \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \igma \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \alpha \, \tag \, \alpha \, \tag \, \tag \, \tag \, \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \ag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \ tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag \tag$$

## 5. Non-autonomous Cauchy problems

Suppose now that our linear operator A depends also of a time-variable τ /greaterorequalslant 0. In this case, the operator is usually denote by A τ . ( ) By doing an analog of the classical definition, in [3, 8], the family of all linear closed operators A τ ( ) : D A τ ( ( )) ⊂ X → X which satisfy both conditions of Definition 2.1 with A τ ( ) instead of A , it is called an almost sectorial operator and it is again denoted by Θ γ ω ( X . )

Having in mind the study made in [1, 14], in [3, 8], it is then constructed and sometimes proved similarly many basic results for the case of A τ . ( ) In this regard, we

have that the semigroup { T A τ ( ) ( ) t } 0 t ∈ S π 2 -ω ( ω &lt; θ &lt; µ &lt; π 2 -| arg t , | for each τ /greaterorequalslant 0) of growth order 1 + γ is given by

$$\text{ order } 1 + \gamma \text{ is given by} \\ T _ { A ( \tau ) } ( t ) & = \frac { 1 } { 2 \pi i } \int _ { \Gamma _ { \theta } } e ^ { - t z } ( z - A ( \tau ) ) ^ { - 1 } x \, \mathrm d z, \quad t \in S _ { \frac { \pi } { 2 } - \omega } ^ { 0 }, \\ \cdot \quad, \quad, \quad, \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdot \quad \cdots$$

and it is a bounded linear operator in X. Here, the semigroup of growth order 1 + γ means: i) T A τ ( ) (0) = I ; ii) T A τ ( ) ( t + s ) = T A τ ( ) ( ) t T A τ ( ) ( s ) for each t, s &gt; 0; iii) T A τ ( ) ( ) t x = 0 implies x = 0 for t &gt; 0; iv) lim t → 0 t 1+ γ T A τ ( ) ( ) is bounded. t

Consider the following abstract Cauchy problem:

$$u _ { t } ( t ) & = A ( \tau ) u ( t ), \quad 0 < t < T, \quad \tau \geqslant 0, \\ u ( 0 ) & = u _ { 0 } \in X.$$

It is known that (see e.g. [3, Lemma 2.3]) that equation (5.1) has a unique classical solution given by

By a classical solution of problem (5.1), we mean a function u ∈ C ( (0 , T ); X ) ∩ C 1 ( (0 , T ); X ) that takes values in D A τ ( ( )) for any 0 &lt; t &lt; T and satisfies (5.1).

$$u ( t ) = T _ { A ( \tau ) } ( t ) u _ { 0 }, \quad \text{for any} \quad 0 < t < T, \quad \tau \geqslant 0.$$

5.1. Direct abstract Cauchy problem. We study the abstract Cauchy problem with the coefficient φ t ( ) and A τ ( ) ∈ Θ γ ω ( 0 &lt; ω &lt; π/ , τ 2 /greaterorequalslant 0 ) as follows:

$$u _ { t } ( t ) & = \phi ( t ) A ( \tau ) u ( t ), \quad 0 < t < T, \quad \tau \geqslant 0, \\ u ( 0 ) & = u _ { 0 } \in X.$$

The proof of the next statement follows the same calculations and steps of the proof of Theorem 3.1. Therefore, we omit its proof and leave it to an interested reader.

Theorem 5.1. Let X be a complex Banach space. Then the solution operator of problem (5.3) is expressed as:

$$& \text{probem ( 0.3) is expensive as} \colon \\ & ( 5. 4 ) \quad \ \ T _ { A ( \tau ), \phi } ( t ) = T _ { A ( \tau ) } \left \{ \left ( \int _ { 0 } ^ { t } \phi ( s ) \mathrm d s \right ) \right \}, \quad 0 < t < T, \quad \tau \geqslant 0. \\ & \quad \ \ \ \. \quad \. \quad \dots \quad \dots \quad \. \quad \dots \.$$

5.2. Inverse abstract Cauchy problems. We start by establishing a property that involves the semigroup T A τ ,φ ( ) ( ) t of growth order 1 + γ and the operator A τ ( ). Let A τ ( ) ∈ Θ γ ω for some 0 &lt; ω &lt; π/ 2 and τ /greaterorequalslant 0 . From [3, Pages 22-24] (or [8, Lemma 2.7 (ii)]), we know that

$$( 5. 5 ) \quad A ( \tau ) T _ { A ( \tau ), \phi } ( t ) x = T _ { A ( \tau ), \phi } ( t ) A ( \tau ) x, \ \ t \in S ^ { 0 } _ { \frac { \pi } { 2 } - \omega }, \ \ x \in D ( A ( \tau ) ), \ \ \tau \geqslant 0.$$

For A τ ( ) ∈ Θ γ ω (0 &lt; ω &lt; π/ , τ 2 /greaterorequalslant 0) and φ : [0 , + ∞ → ) [0 , + ∞ ) being a continuous function with φ t ( ) &gt; 0 for t &gt; 0, we consider the following two abstract Cauchy problems with the variable coefficient φ :

$$u _ { t } ( t ) & = \phi ( t ) A ( \tau ) u ( t ), \quad 0 < t < T, \quad \tau \geqslant 0, \\ u ( 0 ) & = u _ { 0 } \in D ( A ( \tau ) ),$$

and

$$v _ { t } ( t ) & = \phi ( t ) A ( \tau ) v ( t ), \quad 0 < t < T, \quad \tau \geqslant 0, \\ v ( 0 ) & = A ( \tau ) u _ { 0 } \in D ( A ( \tau ) ).$$

By Theorem 5.1, the solution operators of problems (5.6) and (5.7) are represented by

$$& \text{by} \\ & ( 5. 8 ) \quad u ( t ) = T _ { A ( \tau ) } \Big \{ \Big ( \int _ { 0 } ^ { t } \phi ( r ) \text{d} r \Big ) \Big \} u _ { 0 }, \text{ and } v ( t ) = T _ { A ( \tau ) } \Big \{ \Big ( \int _ { 0 } ^ { t } \phi ( r ) \text{d} r \Big ) \Big \} A ( \tau ) u _ { 0 }. \\ & \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \quad \tau \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot \ \cdot.$$

Let us now fix an observation point q for the following two time dependent quantities:

$$k _ { 1 } ( t ) \coloneqq u ( t, q ), \ \ k _ { 2 } ( t ) \coloneqq v ( t, q ), \ \ 0 < t < T.$$

Next, we establish the main result of this subsection.

Theorem 5.2. Let X be a complex Banach space. Then there exists a unique function φ t ( ) of the inverse abstract Cauchy problem (5.6) (and (5.7)) given by

$$\phi ( t ) = \frac { \partial _ { t } k _ { 1 } ( t ) } { k _ { 2 } ( t ) }, \ \text{ for any } \ 0 < t < T.$$

Proof. By using (5.8), [3, Lemma 2.3] (or [8, Lemma 2.7 (i)]) and property (5.5) it follows that

$$\text{roof. By using (5.8), [3, Lemma 2.3] (or [8, Lemma 2.7 (i)]) and property (5.5) \\ \text{lows that} \\ \partial _ { t } k _ { 1 } ( t ) = \partial _ { t } u ( t, q ) & = \partial _ { t } T _ { A ( \tau ) } \left \{ \left ( \int _ { 0 } ^ { t } \phi ( r ) \text{dr} \right ) \right \} u _ { 0 } ( t, q ) \\ & = \phi ( t ) A ( \tau ) T _ { A ( \tau ) } \left \{ \left ( \int _ { 0 } ^ { t } \phi ( r ) \text{dr} \right ) \right \} u _ { 0 } ( t, q ) \\ & = \phi ( t ) T _ { A ( \tau ) } \left \{ \left ( \int _ { 0 } ^ { t } \phi ( r ) \text{dr} \right ) \right \} A ( \tau ) u _ { 0 } ( t, q ) \\ & = \phi ( t ) v ( t, q ) = \phi ( t ) k _ { 2 } ( t ), \\ \text{at finishes the proof.}$$

that finishes the proof.

/square

Remark 5.3. Note that equations in this section depend on operators A τ ( ) for some τ /greaterorequalslant 0 . Therefore, we study, in principle, an evolution equation with respect to the time-variable t and an almost sectorial operator A τ . ( ) The case A t ( ) (we mean e.g. u t ( ) = t A t u t ( ) ( ); u τ ( ) = u 0 ; τ &gt; t ) is in a sense different since the solution operator is associated to a new notion of linear evolution process introduced in [3]. Also, the case of fractional powers of A τ ( ) is not well studied yet. Therefore, these two cases will be analyzed somewhere else.

## Conflict of interest

The authors declare that there are no conflicts of interest.

## References

- [1] J.M. Arrieta, A.N. Carvalho, G. Lozada-Cruz. Dynamics in dumbbell domains. II. The limiting problem. J. Differ. Equ., 247(1), (2009), 174-202.
- [2] M. Belluzi, T. Caraballo, M.J.D. Nascimento, K. Schiabel. Long-Time Behavior for Semilinear Equation with Time-Dependent and Almost Sectorial Linear Operator. J. Dyn. Diff. Equat. (2024).
- [3] A.N. Carvalho, T. Dlotko, M.J.D. Nascimento. Non-autonomous semilinear evolution equations with almost sectorial operators. J. Evol. Equ., 8, (2008), 631-659.
- [4] J.W. Cholewa, T. Dlotko. Global attractors in abstract parabolic problems. Cambridge University Press, 2000.

- [5] G. Da Prato. Semigruppi di crescenca n . Ann. Scuola Norm. Sup. Pisa, 20(3), (1966), 753-782.
- [6] G. Da Prato, E. Sinestrari. Differential operators with non dense domain. Ann. Scuola Norm. Sup. Pisa Cl. Sci., 14(4), (1987), 285-344.
- [7] M. Haase. Lectures on functional calculus. In 21st International Internet Seminar, Kiel Univ, 2018.
- [8] J.W. He, Y. Zhou. Non-autonomous fractional Cauchy problems with almost sectorial operators. B. Sci. Math., 191, (2024), # 103395.
- [9] A. Lunardi. Analytic semigroups and optimal regularity in parabolic problems. Modern Birkh¨user Classics. Birkh¨user/Springer Basel AG, Basel, 1995. a a
- [10] I. Miyadera, S. Oharu, N. Okazawa. Generation theorems of semi-groups of linear operators. Publ. Res. Inst. Math. Sci., Kyoto Univ., 8, (1972/73), 509-555.
- [11] N. Okazawa. A generation theorem for semigroups of growth order α. Tohoku Math. J., 26, (1974), 39-51.
- [12] T. Ozawa, J.E. Restrepo, D. Suragan. Inverse abstract Cauchy problems. Appl. Anal., 101(14), (2022), 4965-4969.
- [13] A. Pazy. Semigroups of linear operators and applications to partial differential equations. Applied Mathematical Sciences, Springer, New York, 1983.
- [14] F. Periago, B. Straub. A functional calculus for almost sectorial operators and applications to abstract evolution equations. J. Evol. Equ., 2, (2002), 41-68.
- [15] F. Periago. Global existence, uniqueness, and continuous dependence for a semilinear initial value problem. J. Math. Anal. Appl., 280(2), (2003), 413-423.
- [16] J. Pr¨ uss. Evolutionary Integral Equations and Applications. Monogr. Math. 87, Birkh¨user, a Basel, 1993.
- [17] H.B. Stewart. Generation of analytic semigroups by strongly elliptic operators. Trans. Amer. Math. Soc. 199, (1974), 141-162.
- [18] P.E. Sobolevski ˇ . On semigroups of growth i α. Dokl. Akad. Nauk SSSR, 196(3), (1971), 535-537.
- [19] W. von Wahl. Gebrochene Potenzen eines elliptischen Operators und parabolische Differentialgleichungen in R¨umen h¨lderstetiger Funktionen. Nachr. Akad. Wiss. G¨ttingen, Math. Phys. a o o Klasse, 11, (1972), 231-258.
- [20] A.V. Zafievski ˇ . On semigroups with singularities summable with a power-weight at zero. Soviet i Math. Dokl., 11(6), (1970), 1408-1411.

Joel E. Restrepo

Department of Mathematics

CINVESTAV, Mexico City, Mexico

Email address :

joel.restrepo@cinvestav.mx
Joel E. Restrepo
Direct and inverse abstract Cauchy problems with fractional powers of almost sectorial operators
We show the explicit solution operator of an abstract Cauchy problem
involving a time-variable coefficient and a fractional power of an almost
sectorial operator. Also, by using the representation of the solution operator,
we solve the inverse abstract Cauchy problem for recovering the time-variable
coefficient. As a complement, we also study similar problems by using almost
sectorial operators that depend on a time-variable.