Next Article in Journal
Mathematics and Machine Learning for Visual Computing in Medicine: Acquisition, Processing, Analysis, Visualization, and Interpretation of Visual Information
Previous Article in Journal
Topology Optimization of Automotive Vibration Test Jig: Natural Frequency Maximization and Weight Reduction
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Existence of Global Mild Solutions for Nonautonomous Abstract Evolution Equations

Faculty of Innovation Engineering, Macau University of Science and Technology, Macau 999078, China
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(11), 1722; https://doi.org/10.3390/math13111722
Submission received: 30 April 2025 / Revised: 20 May 2025 / Accepted: 21 May 2025 / Published: 23 May 2025
(This article belongs to the Section C1: Difference and Differential Equations)

Abstract

In this paper, we investigate the Cauchy problem for nonautonomous abstract evolution equations of the form y ( t ) = A ( t ) y ( t ) + f ( t , y ( t ) ) , t 0 , y ( 0 ) = y 0 . We obtain new existence theorems for global mild solutions under both compact and noncompact evolution families U ( t , s ) . Our key method relies on the generalized Ascoli–Arzela theorem we previously obtained. Finally, an example is provided to illustrate the applicability of our results.

1. Introduction

Nonlinear evolution equations are an important area of research in nonlinear analysis and differential equations, with broad applicability across various fields. In a broad sense, partial differential equations containing the time variable t are collectively referred to as evolution equations. These equations are widely used in physics, mechanics, and other natural sciences to characterize the state or behavior of natural phenomena over time.In a narrower sense, the term refers to equations with practical application backgrounds, such as the wave equation, heat conduction equation, Schrödinger equation, fluid dynamics equation, KdV equation, reaction–diffusion equation, and other systems of coupled equations. Many of these equations can be transformed into abstract ordinary differential equations in Banach spaces using semigroup methods, all of which belong to the category of evolution equations. Thus, evolution equations have significant theoretical and applied value.
Generally speaking, it is difficult to obtain exact explicit solutions for nonlinear evolution equations, but we can indirectly study the properties of the solutions. In this way, although we cannot obtain exact solutions, we can characterize the behavior of the solutions through these properties.The search for the properties of solutions is a core problem in the study of nonlinear evolution equations, including the global existence, asymptotic behavior, and finite-time blow-up of solutions to initial or initial-boundary value problems.
In this paper, we consider the Cauchy problem for a nonautonomous abstract evolution equation on a semi-infinite interval
y ( t ) = A ( t ) y ( t ) + f ( t , y ( t ) ) , t [ 0 , ) , y ( 0 ) = y 0 ,
where A ( t ) : Ω t X X generates an evolution family U ( t , s ) , X is a Banach space with the norm | · | , and f : [ 0 , ) × X X is a function that is defined later.
In recent years, many papers have studied Equation (1) on bounded intervals (see the monographs [1,2] and papers [3,4,5,6,7,8,9]). In [3], García-Falset studied the existence and asymptotic behavior of solutions for Cauchy problems with nonlocal initial datum generated by accretive operators in Banach spaces. Liu and Yuan [4] studied the existence of mild solutions for a class of semilinear evolution equations with non-local initial conditions in the case where A ( t ) = A generates a compact C 0 -semigroup. In [5], Ding, Long, and N’Guérékata established new theorems on the existence of almost automorphic solutions to nonautonomous evolution equations u ( t ) = A ( t ) u ( t ) + f ( t ) and u ( t ) = A ( t ) u ( t ) + f ( t , u ( t ) ) in Banach spaces. Zhu and Li [6] established existence results for semilinear differential systems with nonlocal initial conditions in Banach spaces. They used fixed-point theorems combined with convex-power condensing operators. Ntouyas and Tsamotas [7] studied the global existence of solutions for semilinear evolution equations x ( t ) = A x ( t ) + f ( t , x ( t ) ) , t [ 0 , b ] with nonlocal conditions, using a fixed-point analysis approach. However, only a few papers have addressed Equation (1) on unbounded intervals. In [8,9], Olszowy and Wȩdrychowicz provided existence theorems for mild solutions of semilinear evolution equations on both bounded and unbounded intervals. Their analysis is based on the concept of a measure of noncompactness in Fréchet spaces and the classical Tichonov fixed-point principle. Recently, Xu, Colao, and Muglia [10] studied the existence of mild solutions for a nonlocal semilinear evolution equation on an unbounded interval by means of an approximation solvability method, without assuming compactness on the evolution system or the nonlinearity. The method is based on a reduction to a finite-dimensional problem via projections, which is then solved using a fixed-point approach that includes a compactness criterion on B C ( [ 0 , + ) , X ) .
On the other hand, it is well known that the classical Ascoli–Arzelà theorem is a powerful tool providing necessary and sufficient conditions for investigating the relative compactness of a family of abstract continuous functions; however, it is limited to finite compact intervals. In [11], the authors generalized the Ascoli–Arzelà theorem to infinite intervals and applied it to investigate an initial value problem for fractional evolution equations on an infinite interval.
In this paper, our aim is to present new results concerning the existence of global mild solutions for the problem (1) for both compact and noncompact evolution families U ( t , s ) . It is worth mentioning that when considering Equation (1) on an infinite interval, the method proposed in this paper seems to have more generalizability. We effectively apply the generalized Ascoli–Arzela theorem obtained in [11], along with fixed-point theorems and the measure of noncompactness, to the study of the existence of global mild solutions in this paper.

2. Preliminaries

We first introduce some notations and facts about the generalized of the Ascoli–Arzela theorem and measure of noncompactness. For more information, we refer to [11,12].
Let X be a Banach space with the norm | · | . Suppose that J : = [ 0 , ) = R + . Denote C ( J , X ) as the Banach space of all continuous functions from J to X with the norm u = sup t J | u ( t ) | < . Using B ( X ) , we denote the space of all bounded linear operators from X to X, with the norm · B ( X ) .
Assume the function h C ( [ 0 , ) , ( 0 , ) ) . Let
C h ( [ 0 , ) , X ) = y C ( [ 0 , ) , X ) : lim t h ( t ) | y ( t ) | = 0 ,
with the norm y h = sup t [ 0 , ) h ( t ) | y ( t ) | . Then, ( C h ( [ 0 , ) , X ) , · h ) is a Banach space.
The following generalized Ascoli–Arzela theorem was obtained in [11].
Lemma 1
([11]). The set Ω C h ( [ 0 , ) , X ) is relatively compact if and only if the following conditions hold:
(i) 
for any b > 0 , the set V = { v : v ( t ) = h ( t ) y ( t ) , y Ω } is equicontinuous on [ 0 , b ] ;
(ii) 
lim t h ( t ) | y ( t ) | = 0 uniformly for y Ω ;
(iii) 
for any t [ 0 , ) , V ( t ) = { v ( t ) : v ( t ) = h ( t ) y ( t ) , y Ω } is relatively compact in X.
Remark 1.
Lemma 1 was proven in [13] when h ( t ) : = e t and in [14] when h ( t ) : = 1 / ( 1 + t ) , t ( 0 , ) .
Assume that D is a nonempty subset of X. Kuratowski’s measure of noncompactness χ is said to be
χ ( D ) = inf d > 0 : D i = 1 n M i and diam ( M i ) d ,
where the diameter of M i is given by diam ( M i ) = sup { | x y | : x , y M i } , i = 1 , , n .
Proposition 1.
Let D 1 and D 2 be two bounded sets of a Banach space X. Then, the following properties hold:
(i) 
χ ( D 1 ) = 0 if and only if D 1 is relatively compact in X;
(ii) 
χ ( D 1 ) χ ( D 2 ) if D 1 D 2 ;
(iii) 
χ { { x } D } = χ ( D ) for every x X and every nonempty subset B X ;
(iv) 
χ { D 1 + D 2 } χ ( D 1 ) + χ ( D 2 ) , where D 1 + D 2 = { x + y : x D 1 , y D 2 } ;
(v) 
χ { D 1 D 2 } m a x { χ ( D 1 ) , χ ( D 2 ) } ;
(vi) 
χ ( κ D ) | κ | χ ( D ) for any κ R .
Lemma 2
([15]). Let { u n ( t ) } n = 1 : [ 0 , ) X be a continuous function family. If there exists ξ L 1 [ 0 , ) such that
| u n ( t ) | ξ ( t ) , t [ 0 , ) , n = 1 , 2 , ,
then χ ( { u n ( t ) } n = 1 ) is integrable on [ 0 , ) , and
χ 0 t u n ( s ) d s : n = 1 , 2 , 2 0 t χ ( { u n ( s ) : n = 1 , 2 , } ) d s .
Lemma 3
(Mazur theorem). If K is a compact subset of a Banach space X, then its convex closure conv ( K ) ¯ is compact.

3. Some Lemmas

Let Δ : = { ( t , s ) J × J : 0 s t < + } . We assume that A ( t ) is a linear operator acting from Ω t X into X for each t 0 , and that A ( t ) generates a uniformly continuous evolution family U ( t , s ) , ( t , s ) Δ , satisfying the following properties:
(i)
U ( t , t ) = I for each t 0 , where I is the identity operator in X;
(ii)
U ( t , τ ) U ( τ , s ) = U ( t , s ) for 0 s τ t < ;
(iii)
U ( t , s ) B ( X ) for every ( t , s ) Δ and for each y X , the mapping ( t , s ) U ( t , s ) y is continuous.
An evolution operator U is said to be compact when U ( t , s ) is a compact operator for all t s > 0 , i.e., U ( t , s ) changes bounded sets into relatively compact sets.
Throughout of this paper, we utilize the following assumptions:
(C1)
There exists a constant M 1 , such that
U ( t , s ) B ( X ) M , for any ( t , s ) Δ .
(C2)
f : [ 0 , ) × X X is a mapping, such that f ( · , x ) is measurable for x X and f ( t , · ) is continuous for a.e. t [ 0 , ) .
(C3)
there exists a function g L 1 ( R + , R + ) , such that 0 t g ( s ) d s is continuous on [ 0 , ) and
| f ( t , x ) | g ( t ) , for a . e . t [ 0 , ) and any x X .
(C4)
there exists a function h C ( [ 0 , ) , ( 0 , ) ) , such that lim t h ( t ) = 0 and
lim t h ( t ) 0 t g ( s ) d s = 0 .
Definition 1.
If y C ( [ 0 , ] , X ) satisfies
y ( t ) = U ( t , 0 ) y 0 + 0 t U ( t , s ) f ( s , y ( s ) ) d s , for t [ 0 , ) ,
then y ( t ) is a mild solution for the Cauchy problem (1).
For any y C h ( [ 0 , ) , X ) , define an operator S as follows:
( S y ) ( t ) = ( S 1 y ) ( t ) + ( S 2 y ) ( t ) , for t [ 0 , ) ,
where
( S 1 y ) ( t ) = U ( t , 0 ) y 0 , ( S 2 y ) ( t ) = 0 t U ( t , s ) f ( s , y ( s ) ) d s , for t [ 0 , ) .
Clearly, the fixed points of the operator S are mild solutions for the problem (1).
From (C4), there exists a constant r > 0 , such that
sup t [ 0 , ) M | y 0 | h ( t ) + M h ( t ) 0 t g ( s ) d s r .
Let
Ω = { y C h ( [ 0 , ) , X ) : y h r } .
Then, Ω is a nonempty, convex, and closed subset of C h ( [ 0 , ) , X ) .
Let
V : = v : v ( t ) = h ( t ) ( S y ) ( t ) , y Ω .
Before presenting our main results, we first prove the following lemmas.
Lemma 4.
Assume that (C1)–(C4) hold. Then, the set V is equicontinuous.
Proof. 
Step I. We first prove that v : v ( t ) = h ( t ) ( S 1 y ) ( t ) , u Ω is equicontinuous.
For 0 = t 1 < t 2 < , we obtain
| h ( t 2 ) ( S 1 y ) ( t 2 ) h 1 ( 0 ) ( S 1 y ) ( 0 ) | | h ( t 2 ) U ( t 2 , 0 ) y 0 y 0 | 0 , as t 2 0 .
For 0 < t 1 < t 2 < , we have
| h ( t 2 ) ( S 1 y ) ( t 2 ) h ( t 1 ) ( S 1 y ) ( t 1 ) | = | h ( t 2 ) U ( t 2 , 0 ) y 0 h ( t 1 ) U ( t 1 , 0 ) y 0 | 0 , as t 2 t 1 .
Hence, v : v ( t ) = h ( t ) ( S 1 y ) ( t ) , u Ω is equicontinuous.
Step II. We prove that v : v ( t ) = h ( t ) ( S 2 y ) ( t ) , u Ω is equicontinuous.
By (C4), for ε > 0 , there exists T > 0 , such that
M h ( t ) 0 t g ( s ) d s < ε 2 , for t > T .
For t 1 , t 2 > T , in view of (6), we obtain
| h ( t 2 ) ( S 2 y ) ( t 2 ) h ( t 1 ) ( S 2 y ) ( t 1 ) | | h ( t 2 ) 0 t 2 U ( t 2 , s ) f ( s , y ( s ) ) d s | + | h ( t 1 ) 0 t 1 U ( t 1 , s ) f ( s , y ( s ) ) d s | M h ( t 2 ) 0 t 2 g ( s ) d s + M h ( t 1 ) 0 t 1 g ( s ) d s < ε .
For t 1 = 0 , 0 < t 2 < T , by (C4), we have
| h ( t 2 ) ( S 2 y ) ( t 2 ) h ( 0 ) ( S 2 y ) ( 0 ) | = | h ( t 2 ) 0 t 2 U ( t 2 , s ) f ( s , y ( s ) ) d s | M h ( t 2 ) 0 t 2 g ( s ) d s 0 , as t 2 0 .
For 0 < t 1 < t 2 T , we obtain
| h ( t 2 ) ( S 2 y ) ( t 2 ) h ( t 1 ) ( S 2 y ) ( t 1 ) | | h ( t 1 ) t 1 t 2 U ( t 2 , s ) f ( s , y ( s ) ) d s | + | h ( t 1 ) 0 t 1 U ( t 2 , s ) U ( t 1 , s ) f ( s , y ( s ) ) d s | + | h ( t 2 ) h ( t 1 ) | | 0 t 2 U ( t 2 , s ) f ( s , y ( s ) ) d s | | M h ( t 1 ) t 1 t 2 g ( s ) d s | + | h ( t 1 ) sup s [ 0 , t 1 ] U ( t 2 , s ) U ( t 1 , s ) 0 t 1 g ( s ) d s | + M | h ( t 2 ) h ( t 1 ) | | 0 t 2 g ( s ) d s | 0 , as t 2 t 1 .
For 0 < t 1 < T < t 2 , if t 2 t 1 , then t 2 T and t 1 T . Thus, for y Ω
| h ( t 2 ) ( S 2 y ) ( t 2 ) h ( t 1 ) ( S 2 y ) ( t 1 ) | | h ( t 2 ) ( S 2 y ) ( t 2 ) h ( T ) ( S 2 y ) ( T ) | + | h ( T ) ( S 2 y ) ( T ) h ( t 1 ) ( S 2 y ) ( t 1 ) | 0 , as t 2 t 1 .
Hence, for 0 t 1 < t 2 < ,
| h ( t 2 ) ( S 2 y ) ( t 2 ) h ( t 1 ) ( S 2 y ) ( t 1 ) | 0 , as t 2 t 1 .
Therefore, v : v ( t ) = h ( t ) ( S 2 y ) ( t ) , u Ω is equicontinuous. Furthermore, V is equicontinuous. □
Lemma 5.
Assume that (C1)–(C4) hold. Then, lim t h ( t ) | ( S y ) ( t ) | = 0 uniformly for y Ω .
Proof. 
For any y Ω ,
h ( t ) | ( S y ) ( t ) | | U ( t , 0 ) y 0 | + | 0 t U ( t , s ) f ( s , y ( s ) ) d s | M | y 0 | h ( t ) + M h ( t ) 0 t g ( s ) d s ,
which implies that lim t h ( t ) | ( S y ) ( t ) | = 0 uniformly for y Ω . This completes the proof. □
Lemma 6.
Assume that (C1)–(C4) hold. Then, S Ω Ω .
Proof. 
By Lemmas 4 and 5, one can find that S Ω C h ( [ 0 , ) , X ) . For any t > 0 , y Ω , from (2), we obtain
h ( t ) | ( S y ) ( t ) | M | y 0 | h ( t ) + M h ( t ) 0 t g ( s ) d s r .
For t = 0 , | ( S y ) ( 0 ) | = 0 < r . Therefore, S Ω Ω . □
Lemma 7.
Assume that (C1)–(C4) hold. Then, S is continuous.
Proof. 
Indeed, let { y n } n = 1 be a sequence in Ω , which is convergent to y Ω . Consequently, lim n y n ( t ) = y ( t ) , for t ( 0 , ) . From (C2), we obtain lim n f ( t , y n ( t ) ) = f ( t , y ( t ) ) . For any ε > 0 , there exists T > 0 , such that (6) holds. Thus, for t > T ,
| h ( t ) ( S y n ) ( t ) h ( t ) ( S y ) ( t ) | 2 M h ( t ) 0 t g ( s ) d s < ε .
For each t [ 0 , T ] , | f ( s , y n ( s ) ) f ( s , y ( s ) ) | 2 g ( s ) . Using the Lebesgue dominated convergence theorem, we obtain
0 t | f ( s , y n ( s ) ) f ( s , y ( s ) ) | d s 0 , as n .
Thus, for t [ 0 , T ] ,
| h ( t ) ( S u n ) ( t ) h ( t ) ( S y ) ( t ) | h ( t ) 0 t | U ( t s ) ( f ( s , y n ( s ) ) f ( s , y ( s ) ) ) | d s M h ( t ) 0 t | f ( s , y n ( s ) ) f ( s , y ( s ) ) | d s 0 , as n .
So, S y n S y 0 as n . Hence, S is continuous. The proof is completed. □

4. Existence

Theorem 1.
Assume that U ( t , s ) is compact for all t s > 0 . Further, suppose that (C1)–(C4) hold. Then, the Cauchy problem (1) has at least one mild solution.
Proof. 
Clearly, the problem (1) admits a mild solution y Ω if and only if the operator S has a fixed point y Ω . From Lemmas 6 and 7, we know that S Ω Ω and S is continuous. In order to prove that S is a completely continuous operator, we need to prove that S Ω is a relatively compact set. From Lemmas 4 and 5, the set V = v : v ( t ) = h ( t ) ( S y ) ( t ) , y Ω is equicontinuous and lim t | h ( t ) ( S y ) ( t ) | = 0 uniformly for u Ω . According to Lemma 1, we only need to prove that V ( t ) = v ( t ) : v ( t ) = h ( t ) ( S y ) ( t ) , u Ω is relatively compact in X.
Clearly, V ( 0 ) is relatively compact in X. We only consider the case t > 0 . For 0 < ε < t , we define the operator on Ω
( S ε y ) ( t ) : = U ( t , 0 ) y 0 + ( S 2 ε y ) ( t ) ,
where
( S 2 ε y ) ( t ) = 0 t ε U ( t , s ) f ( s , y ( s ) ) d s .
Since U ( t , s ) is compact, it follows that U ( t , 0 ) is compact and the set K ε : = { U ( t , s ) f ( s , y ( s ) ) : y Ω , 0 s t ε } is compact for all ε > 0 . Then, conv ( K ε ) ¯ is also a compact set by Lemma 3. By using the mean-value theorem for the Bochner integrals (see [16], Corollary 8, page 48), we obtain that
( S 2 ε y ) ( t ) t conv ( K ε ) ¯ , for any t 0 .
Therefore, the set { ( S 2 ε y ) ( t ) , y Ω } is relatively compact in X for all ε > 0 . Now, observe that
| h ( t ) ( S y ) ( t ) h ( t ) ( S ε y ) ( t ) | M h ( t ) t ε t g ( s ) d s 0 , ε 0 .
Thus, V ( t ) is also a relatively compact set in X for t [ 0 , ) . We include that S is a completely continuous operator. Hence, using the Schauder fixed-point theorem, we have that S has at least a fixed point y * Ω . Therefore
y * ( t ) = U ( t , 0 ) y 0 + 0 t U ( t , s ) f ( s , y * ( s ) ) d s , t [ 0 , ) ,
which implies that y * is a mild solution for (1). The proof is completed. □
By choosing different h ( t ) , we can provide some practical corollaries.
Corollary 1.
Assume that U ( t , s ) is compact for all t s > 0 . Further, assume that (C1), (C2), and (C3) hold and
lim t 1 1 + t 0 t g ( s ) d s = 0 .
Then, the Cauchy problem (1) has at least one mild solution.
Proof. 
Choose h ( t ) = 1 / ( 1 + t ) , then condition (C4) is satisfied. □
Corollary 2.
Assume that U ( t , s ) is compact for all t s > 0 . Further, assume that (C1), (C2), and (C3) hold and
lim t e t 0 t g ( s ) d s = 0 .
Then, the Cauchy problem (1) has at least one mild solution.
Proof. 
Choose h ( t ) = e t , then condition (C4) is satisfied. □
In the case that U ( t , s ) is noncompact for t > 0 , we impose the following assumption:
(C5)
there exist constants K > 0 , such that for any bounded D X , t [ 0 , ) ,
χ ( f ( t , D ) ) K χ ( D ) , for a . e . t [ 0 , ) ,
where χ is the Kuratowski’s measure of noncompactness.
Theorem 2.
Assume that (C1)–(C5) hold. Then, the Cauchy problem (1) has at least one mild solution.
Proof. 
Let y 0 ( t ) = U ( t , 0 ) y 0 for all t [ 0 , ) and y n + 1 = S y n , n = 0 , 1 , 2 , . From Lemma 6, S y n Ω , for y n Ω . Let V = { v n : v n ( t ) = h ( t ) ( S y n ) ( t ) , y n Ω } n = 0 . We prove that the set V is relatively compact.
In view of Lemmas 4 and 5, the set V is equicontinuous and lim t h ( t ) | ( F y n ) ( t ) | = 0 uniformly for y n Ω . According to Lemma 1, we only need to prove that V ( t ) = { v n ( t ) : v n ( t ) = h ( t ) ( F y n ) ( t ) , y n Ω } n = 0 is relatively compact in X for t [ 0 , ) .
Under the condition (C3), and using the properties of the measure of noncompactness along with Lemma 2, we have
χ h ( t ) ( F y n ) ( t ) n = 0 = χ h ( t ) U ( t , 0 ) y 0 + h ( t ) 0 t U ( t , s ) f ( s , y n ( s ) ) d s n = 0 = χ h ( t ) 0 t U ( t , s ) f ( s , y n ( s ) ) d s n = 0 2 M h ( t ) 0 t χ ( f ( s , { y n ( s ) } n = 0 ) ) d s 2 M K h ( t ) 0 t χ ( { y n ( s ) } n = 0 ) d s 2 M K h ( t ) 0 t 1 h ( s ) χ h ( s ) y n ( s ) n = 0 d s .
On the other hand, using the properties of measure of noncompactness, for any t [ 0 , ) we have
χ h ( t ) y n ( t ) n = 0 = χ h ( t ) y 0 ( t ) h ( t ) y n ( t ) n = 1 = χ h ( t ) y n ( t ) n = 1 = χ ( V ( t ) ) .
Thus
χ ( V ( t ) ) 2 M K H * 0 t 1 h ( s ) χ ( V ( s ) ) d s ,
where H * = max t [ 0 , ) h ( t ) } . Therefore, using Gronwall’s inequality, we obtain that χ ( V ( t ) ) = 0 , then V ( t ) is relatively compact. Consequently, it follows from Lemma 1, that the set V is relatively compact, i.e., there exists a convergent subsequence of { y n k } k = 0 , such that lim k y n k = y * Ω . Thus, through continuity of the operator S , we have
y * = lim k y n k = lim k S y n k 1 = S lim k y n k 1 = S y * .
Therefore, y * is a mild solution for (1). The proof is completed. □
Corollary 3.
Assume that (C1), (C2), (C3), and (C5) hold and
lim t 1 1 + t 0 t g ( s ) d s = 0 .
Then, the Cauchy problem (1) has at least one mild solution.
Corollary 4.
Assume that (C1), (C2), (C3), and (C5) hold and
lim t e t 0 t g ( s ) d s = 0 .
Then, the Cauchy problem (1) has at least one mild solution.
Remark 2.
In [8,9], Olszowy and Wȩdrychowicz established some existence theorems for mild solutions under the condition χ ( f ( t , D ) ) L ( t ) χ ( D ) , L L 1 . Their main idea was to first prove existence results on the bounded interval [ 0 , T ] , and then extend these results to the unbounded interval [ 0 , ) . In this paper, new sufficient conditions for the existence of global mild solutions are directly provided by using the generalized Ascoli–Arzela theorem, especially in cases where the evolution family U ( t , s ) is compact and noncompact. Theorems 1 and 2 can be easily extended to the nonlocal problems studied in [8,9].
Example 1.
Consider the following partial differential equation
z t ( t , x ) = a ( t , x ) 2 z 2 x ( t , x ) + F ( t , z ( t , x ) ) , t [ 0 , ) , x [ 0 , π ] z ( t , 0 ) = z ( t , π ) = 0 , t [ 0 , ) , z ( 0 , x ) = ϕ ( x ) , x [ 0 , π ] ,
where a : [ 0 , ) × [ 0 , π ] R is continuous and is uniformly Hölder continuous in t, F : [ 0 , ) × R R and ϕ : [ 0 , π ] R are continuous functions.
Consider E = L 2 ( 0 , π ] , R ) and define A ( t ) by A ( t ) w = a ( t , x ) w with domain
D ( A ) = { w E : w , w are absolutely continuous , w E , w ( 0 ) = w ( π ) = 0 } .
Then, A ( t ) generates an evolution family U ( t , s ) satisfying assumption (C1).
For x [ 0 , π ] , let
y ( t ) ( x ) = z ( t , x ) , t [ 0 , ) ,
f ( t , y ) ( x ) = F ( t , z ( t , x ) ) , t [ 0 , ) ,
and y 0 = ϕ ( x ) . Thus, under the above definitions of f , y 0 and A ( · ) , the system (15) can be represented using the abstract evolution problem (1).
Furthermore, we assume that U ( t , s ) is compact and | f ( t , · ) | m e w t , m > 0 , 0 < w < 1 , t [ 0 , ) . Then, lim t e t 0 t m e w s d s = 0 . By Corollary 2, problem (15) has at least one mild solution on [ 0 , ) .

5. Conclusions

In this paper, using the generalized Ascoli–Arzela theorem and some analytical techniques, we investigated the existence of global mild solutions for nonautonomous evolution equations on infinite intervals. Some sufficient conditions for the existence of global mild solutions are provided for two cases—where the evolution operator is compact and noncompact. In particular, we did not assume that f ( t , · ) is continuous and/or satisfies the Lipschitz condition. It is worth mentioning that the generalized Ascoli–Arzela theorem can be used to study impulsive differential equations, stochastic evolution equations, and fractional evolution equations.

Author Contributions

Conceptualization, M.Z. and Y.Z.; formal analysis, M.Z.; investigation, M.Z., Y.L. and Y.Z.; writing—review and editing, Y.Z. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by Fundo para o Desenvolvimento das Ciências e da Tecnologia of Macau, grant number 0092/2022/A.

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Henry, D. Geometric Theory of Semilinear Parabolic Equations; Lecture Notes in Math; Springer: Berlin/Heidelberg, Germany, 1981; Volume 840. [Google Scholar]
  2. Pazy, A. Semigroup of Linear Operators and Applications to Partial Differential Equations; Springer: Berlin/Heidelberg, Germany, 1983. [Google Scholar]
  3. García-Falset, J. Existence results and asymptotic behavior for nonlocal abstract Cauchy problems. J. Math. Anal. Appl. 2008, 338, 639–652. [Google Scholar] [CrossRef]
  4. Liu, Q.; Yuan, R. Existence of mild solutions for semilinear evolution equations with non-local initial conditions. Nonlinear Anal. 2009, 71, 4177–4184. [Google Scholar] [CrossRef]
  5. Ding, H.-S.; Long, W.; N’Guérékata, G.M. Almost automorphic solutions of nonautonomous evolution equations. Nonlinear Anal. 2009, 70, 4158–4164. [Google Scholar] [CrossRef]
  6. Zhu, L.; Li, G. Existence results of semilinear differential equations with nonlocal initial conditions in Banach spaces. Nonlinear Anal. 2011, 74, 5133–5140. [Google Scholar] [CrossRef]
  7. Ntouyas, S.; Tsamotas, P. Global existence for semilinear evolution equations with nonlocal conditions. J. Math. Anal. Appl. 1997, 210, 679–687. [Google Scholar] [CrossRef]
  8. Olszowy, L. Existence of mild solutions for the semilinear nonlocal problem in Banach spaces. Nonlinear Anal. 2013, 81, 211–223. [Google Scholar] [CrossRef]
  9. Olszowy, L.; Wedrychowicz, S. Mild solutions of semilinear evolution equation on an unbounded interval and their applications. Nonlinear Anal. 2010, 72, 2119–2126. [Google Scholar] [CrossRef]
  10. Xu, H.-K.; Colao, V.; Muglia, L. Mild solutions of nonlocal semilinear evolution equations on unbounded intervals via approximation solvability method in reflexive Banach spaces. J. Math. Anal. Appl. 2021, 498, 124938. [Google Scholar] [CrossRef]
  11. Zhou, Y.; He, J.W. Cauchy problems for Hilfer fractional evolution equations on an infinite interval. Math. Meth. Appl. Sci. 2023, 46, 1335–1351. [Google Scholar] [CrossRef]
  12. Banas, J.; Goebel, K. Measure of Noncompactness in Banach Spaces; Lecture Notes in Pure and Applied Mathematics; Marcle Dekker: New York, NY, USA, 1980; Volume 60. [Google Scholar]
  13. Guo, W. A generalization and application of Ascoli-Arzela theorem. J. Systems Sci. Math. Sci. 2002, 22, 115–122. [Google Scholar]
  14. Liu, B.M.; Liu, L.S. The decision theorems of relative compactness for two classes of abstract function groups in an infinte interval and its applications. J. Systems Sci. Math. Sci. 2010, 30, 1008–1019. [Google Scholar]
  15. Liu, Z.B.; Liu, L.S.; Zhao, J. The criterion of relative compactness for a class of abstract function groups in an infinite interval and its applications. J. Systems Sci. Math. Sci. 2008, 28, 370–378. [Google Scholar]
  16. Diestel, J.; Uhl, J. Vector Measures, Mathematical Surveys; No. 15; American Mathematical Society: Providence, RI, USA, 1977. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Zhou, M.; Liang, Y.; Zhou, Y. Existence of Global Mild Solutions for Nonautonomous Abstract Evolution Equations. Mathematics 2025, 13, 1722. https://doi.org/10.3390/math13111722

AMA Style

Zhou M, Liang Y, Zhou Y. Existence of Global Mild Solutions for Nonautonomous Abstract Evolution Equations. Mathematics. 2025; 13(11):1722. https://doi.org/10.3390/math13111722

Chicago/Turabian Style

Zhou, Mian, Yong Liang, and Yong Zhou. 2025. "Existence of Global Mild Solutions for Nonautonomous Abstract Evolution Equations" Mathematics 13, no. 11: 1722. https://doi.org/10.3390/math13111722

APA Style

Zhou, M., Liang, Y., & Zhou, Y. (2025). Existence of Global Mild Solutions for Nonautonomous Abstract Evolution Equations. Mathematics, 13(11), 1722. https://doi.org/10.3390/math13111722

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop