( ω , c ) -Periodic Mild Solutions to Non-Autonomous Abstract Differential Equations

: We investigate the semi-linear, non-autonomous, ﬁrst-order abstract differential equation x (cid:48) ( t ) = A ( t ) x ( t ) + f ( t , x ( t ) , ϕ [ α ( t , x ( t ))]) , t ∈ R . We obtain results on existence and uniqueness of ( ω , c ) -periodic (second-kind periodic) mild solutions, assuming that A ( t ) satisﬁes the so-called Acquistapace–Terreni conditions and the homogeneous associated problem has an integrable dichotomy. A new composition theorem and further regularity theorems are given.

In the above, {A(t)} t∈R is a family of linear (usually unbounded) operators on a Banach space X, and g : R × X → X, f : R × X × X → X, α : R × X → R and ϕ : R → X are continuous functions satisfying suitable conditions.
The theory of non-autonomous differential equations has found applications in several areas of science and technology (see, e.g., recent developments [1][2][3]). The interest in this type of equations lies in the fact that a system subjected to external inputs can include periodic ones. Examples are included in the Floquet theory, which is used to study the stability of linear periodic systems in continuous time.
The concept of a vector-valued (ω, c)-periodic function was introduced by Alvarez et al. in [4]. In that work, the authors obtained several interesting properties of this type of function. After that, Li et al. in [5] studied the existence of (ω, c)-periodic solutions for a non-homogeneous problem which was impulsive. Then, Wang, Ren, and Zhou in [6] investigated the regularity of (ω, c)-periodic solutions of linear and semi-linear impulsive differential equations with boundary conditions. Additionally, Agaoglu et al. in [7] studied (ω, c)-periodic solutions for semi-linear equations in Banach spaces. Recently, the existence of (ω, c)-periodic solutions for a fractional differential equation has been studied by Mophou and Guérékata in [8].
The theory of mild solutions to the classical non-autonomous (linear and semi-linear) equations has been developed in the monographs [9][10][11]. A complete study of the first-order, non-autonomous Cauchy problem has already appeared in [12,13], in which the authors have established some precise and optimal conditions on the operator family {A(t)} t∈R in order to obtain the existence and uniqueness of solutions.
Regularity of mild solutions (of a different kind, for example, almost periodic, almost automorphic, pseudo-almost periodic, pseudo-almost automorphic solutions, Stepanov almost periodic, etc.) for non-autonomous differential equations on R Lx = A(·)x + f , where L is a linear operator and the forcing term f is linear and/or nonlinear, have been widely developed in the literature under the assumption that the evolution family generated by {A(t)} t∈R is exponentially stable (see, for example, refs. [14][15][16][17][18][19] and the references therein).
On the other hand, the concept of integrable dichotomy for periodic integro-differential equations was introduced in [20]. Recently, Pinto and Vidal [21] adapted this concept for the homogeneous system defined on a Banach space X. In that work, the authors investigated the existence of almost and pseudo-almost periodic mild solutions of the nonlinear system under the existence of an integrable dichotomy of the associated homogeneous linear system. It should be noted that the definition of integrable dichotomy generalizes the exponential stability. Thus, it is possible to obtain regularity results of mild solutions to non-autonomous problems under more general assumptions. We remark that not much seems to be known about regularity results for (ω, c)periodic mild solutions to (1.1), (1.2), and (1.3) (see Definitions 17,20 and 26 below). Here, we are interested in showing that these problems have such kinds of mild solutions under appropriate conditions.
The main novelties of the present paper are the following.

•
Our assumption on the evolution family generated by {A(t)} t∈R is quite general. Indeed, we assume that the evolution family associated to the homogeneous linear problem has an integrable dichotomy, instead of employing the notion of exponential stability. • Unlike other works, the computations involving c-norms are treated very carefully. This is very important when we are working in the space of (ω, c)-periodic functions because the norm changes with respect to the standard one. • A new composition theorem (see Theorem 21) is given in order to obtain our second main result.
Our first main result (Theorem 15) ensures that linear (Definition 14) possesses a unique (ω, c)-periodic mild solution under the hypothesis that the homogeneous problem has an integrable dichotomy. The second main result (Theorem 18) shows that (1.1) has a unique (ω, c)-periodic mild solution under the hypothesis that the nonlinear term g satisfies the assumptions of composition Theorem 5 and a standard Lipschitz condition. The third main result (Theorem 23), which includes a more general nonlinearity, states that (1.2) has a unique (ω, c)-periodic mild solution. The composition theorem mentioned before is essential for the proof. The fourth main result (Theorem 28) gives a unique (ω, c)periodic mild solution for the equation with constant delay (1.3). In this case, to achieve our goal, we use the translation invariant result of the space of (ω, c)-periodic functions. The Banach contraction principle is used to obtain these results. This paper is structured as follows. In Section 2, firstly we introduce some notation and recall the definition of a (ω, c)-periodic function and its properties that will be used throughout the paper. We also recall some basic concepts of evolution families and inte-grable dichotomy. Section 3 is devoted to stating and showing the existence and uniqueness of (ω, c)-periodic mild solutions to the linear equation. In Section 4, we deal with regularity results for the semi-linear case. An example is also provided.

Preliminaries
Throughout this paper, we assume c ∈ C \ {0}, ω > 0, X will denote a complex Banach space with norm · , and we will denote the space of continuous functions on R by C(R, X) := { f : R → X : f is continuous}.
Additionally, we will denote the space of bounded and continuous functions on R as the integrable functions on R as with I ⊆ R.
The following proposition gives a characterization of the (ω, c)-periodic functions. This result can be found in ( [4], Proposition 2.2).

Proposition 2.
Let f ∈ C(R, X). Then, f is a (ω, c)-periodic if, and only if where u(t) is a ω-periodic, X-valued function.

Remark 3.
It follows from the unique representation of the periodic functions that the decomposition in Proposition 2 is unique.

Remark 4.
From Definition 1, we can observe that P ωc (R, X) is a translation-invariant subspace over C of C(R, X), that is, if h ≥ 0 (fixed) and x ∈ P ωc (R, X), then x h (·) := x(· − h) ∈ P ωc (R, X). Furthermore, if f ∈ P ωc (R, X) is differentiable, then f ∈ P ωc (R, X), and if |c| = 1, then P ωc (R, X) has only bounded functions if |c| < 1, then any element f ∈ P ωc (R, X) goes to zero as t → ∞, and f is unbounded as t → −∞, and if |c| > 1, then f is unbounded as t → ∞ and f goes to zero as t → −∞.
From ( [4], Theorem 2.10) we know that P ωc (R, X) is a Banach space with the norm If f ∈ P ωc (R, X), then it is clear that f ωc < ∞. In this case, we say that f is c-bounded.
given. Then, the following statements are equivalent: Now, let us consider the homogeneous system In the following, we will assume that {U(t, s)} t≥s is an evolution family of (5), that is, U is a classical solution of the system (5). For more details, see [10,11]. With this purpose, first we recall the definition of an evolution family, and some conditions which ensure the solvability of (5).

Definition 6.
A two-parameter family of bounded linear operators {U(t, s)} t≥s on X is called an evolution family if 1.
U(t, r)U(r, s) = U(t, s) and U(t, t) = I for all t ≥ r ≥ s and t, r, s ∈ R, 2.
for each x ∈ X, the map (t, s) → U(t, s)x is continuous on t ≥ s.
In that case, we say that the family {A(t)} t∈R generates the evolution family {U(t, s)} t≥s . Sometimes, we shall write that A(·) generates the evolution family U. Now we recall the notion of projections in the framework of evolution families and their interrelation.
Given a projection-valued function P : R → B(X), we denote by Q the complementary projectionvalued function, that is Q(t) = I − P(t) for each t ∈ R.
Definition 9. We say that a projection-valued function P :

Remark 10.
If P is a projection-valued function compatible with an evolution family U, then For a given evolution family U generated by A(·) and a projection-valued function P compatible with U, we denote the Green function associated to U and P and corresponding to the system (5) by The next concept is due to Pinto and Vidal (see [21], Definition 4).
Definition 11. Given a uniformly bounded projection P compatible with an evolution family U (generated by A(·)), we say that the system (5) has an integrable dichotomy (λ, P) if there exists a function λ : R 2 → (0, ∞) such that and In particular, if there is an integrable dichotomy, we denote Finally, we recall the following concept, which will be important to prove our main results.
For convenience, we say that R is ω-bi-periodic.
Example 13. We have the following.

The Linear Case
In this section, we deal with the existence and uniqueness of (ω, c)-periodic mild solutions to the linear problem where A(·) generates an evolution family U.

Definition 14.
A continuous function x : R → X is called a (ω, c)-periodic mild solution to (8) on R if x ∈ P ωc (R, X) and satisfies the integral equation for all t ≥ s, t, s ∈ R.
The next theorem is the main result of this section.
Theorem 15. Assume the following.
Indeed, by Theorem 7 and Remark 10 we get the strong continuity of Γ in the first variable. Now, for |ξ| small and t ∈ R fixed, we have and the terms inside the integral can be bounded as follows: and Γ(t, s)h(s) ≤ |c| ∧ (t)|c| ∧ (−(t − s))λ(t, s) h ωc ≤ Cλ ∼ (t, s), where C is a constant (which does not depend on ξ). Since λ ∼ (t, ·) ∈ L 1 (R), it follows from the Dominated Convergence Theorem that x ∈ C(R, X). Now, since h ∈ P ωc (R, X), by definition of (ω, c)-periodicity and (A2), we get So, we deduce that x ∈ P ωc (R, X).
By Assertion 1, we have x ∈ P ωc (R, X). Next, for all s ∈ R, we obtain Now, for t ≥ s, t, s ∈ R, by Definitions 6, 8, 9, we get and so x satisfies Equation (9), proving Assertion 2.

The Semi-Linear Case
In this section, we present our main results. We study the existence and uniqueness of (ω, c)-periodic mild solutions for (1)-(3).

Semi-Linear Problem
In this subsection, we focus on the semi-linear problem (1), recall where g : R × X → X is a continuous function satisfying suitable conditions and A(t) (usually unbounded) for each t ∈ R is a closed and densely defined linear operator with domain D(A(t)), satisfying (H1) and (H2). Now, the linear case inspired us to introduce the following concept of the (ω, c)periodic mild solution of a Cauchy-type problem.

Definition 17.
A continuous function x : R → X is called a (ω, c)-periodic mild solution to (1) on R if x ∈ P ωc (R, X) and satisfies the integral equation for all t, s ∈ R.
In order to obtain our results, we assumed the following conditions.
Next, we have our first main result.
Proof. First, note that if x ∈ P ωc (R, X), according to (H3) and Theorem 5, we have that h(s) := g(s, x(s)) is a (ω, c)-periodic function. Let us define the operator G on P ωc (R, X) by We can deduce that Gx ∈ P ωc (R, X) using (H3) and proceeding as in the linear case. Now, observe that x is the unique (ω, c)-periodic mild solution of (1) if, and only if x is the unique fixed point of G, so we need to prove the existence and uniqueness of the fixed points of the operator G on P ωc (R, X).

Semi-Linear Problem: A More General Case
In this subsection, we study (ω, c)-periodic mild solutions of (2), recall where f : R × X × X → X, ϕ : R → X, α : R × X → R are continuous functions and A(t) for t ∈ R is as above.
In an analogous way to the preceding problem, we present the concept of the (ω, c)periodic mild solution to (2) as follows.
Definition 20. A continuous function x : R → X is called a (ω, c)-periodic mild solution to (2) on R if x ∈ P ωc (R, X) and it satisfies the integral equation for all t, s ∈ R.
In order to investigate the regularity of (ω, c)-periodic solutions to (2), we have to show the following composition theorem.

Theorem 21.
Assume that the following conditions hold.
The next theorem is our second main result.
There exists C 1 > 0 such that for all t ∈ R and for all u 1 , There exists C 2 > 0 such that for all t ∈ R and for all u, v ∈ X. 3.
Let us define the operator G on P ωc (R, X) by Note that, using the same arguments as in the proof of Theorem 18, we can prove that G maps P ωc (R, X) into P ωc (R, X) and each fixed point of G is a (ω, c)-periodic mild solution of (2).
We have only to prove that the operator G is a (strict) contraction in the Banach space P ωc (R, X). Indeed, given x 1 , x 2 ∈ P ωc (R, X), by conditions (a)-(c), we have Then, using (A3), we get Since C 1 (L ϕ C 2 + 1)I ∼ < 1, we conclude that G has a unique fixed point y ∈ P ωc (R, X) by the contraction mapping principle, which is the unique (ω, c)-periodic mild solution of (2).
The next result is a direct consequence of Remark 16. The proof is similar to the one of Theorem 23.
Corollary 24. Assume that (C1)-(C3), (H1)-(H2) and conditions (a)-(c) in Theorem 23 hold. Let Γ be a ω-bi-periodic function, where ω is given in (C1). Furthermore, suppose the evolution family generated by A(t) has an exponential dichotomy as in Remark 16. Then (2) has a unique (ω, c)-periodic solution whenever with e −ω < |c| ≤ 1. In the particular case that P = I, the result holds provided Next, we will present an example that satisfies the conditions of Theorem 23. It is well-known that A B is the infinitesimal generator of an analytic semigroup {T(t)} t≥0 on X given by T(t)x(r) = ∞ ∑ n=1 e −n 2 π 2 t x, e n L 2 e n (r), where e n (r) = √ 2 sin nπr, n = 1, 2, .... Moreover, T(t) ≤ e −π 2 t for t ≥ 0 (see [22]). Let us define a family of linear operators {A(t)} t∈R by Then, {A(t)} t∈R generates an evolution family {U(t, s)} t≥s given by that is, x, e n L 2 e n (r).

Semi-Linear Problem with Delay
Finally, in this last subsection, we study (ω, c)-periodic mild solutions of (3), that is, where f : R × X × X → X is a continuous function and A(t) for t ∈ R is as above.
In the following, we consider the mild solution concept for the previous equation.
Definition 26. A continuous function x : R → X is called a (ω, c)-periodic mild solution to (3) on R if x ∈ P ωc (R, X) and it satisfies the integral equation for all t, s ∈ R.
Before stating the main result of this subsection, we show the following composition lemma.
Proof. Similar to the proof of Theorem 21.

Remark 4 and
Lemma 27 imply that f (·, x(·), x h (·)) ∈ P ωc (R, X) whenever x ∈ P ωc (R, X). The rest of the proof is similar to the one of Theorem 23.
The next result is a straightforward consequence of Theorem 28 and Remark 16.

Conclusions
In this work, we obtained regularity of (ω, c)-periodic solutions of where A(t) satisfies the Acquistapace-Terreni conditions, f satisfies suitable conditions, and the associated homogeneous problem has an integrable dichotomy.
Author Contributions: All the authors (L.A., E.A. and R.G.) have participate equally in all the aspects of this paper: conceptualization, methodology, investigation, formal analysis, writing-original draft preparation, writing-review and editing. All authors have read and agreed to the published version of the manuscript.