SpringerOpen Newsletter

Receive periodic news and updates relating to SpringerOpen.

This article is part of the series Nonlinear Integrodifferential Difference Equations and Related Topics.

Open Access Research Article

Nonlocal Impulsive Cauchy Problems for Evolution Equations

Jin Liang1* and Zhenbin Fan12

Author Affiliations

1 Department of Mathematics, Shanghai Jiao Tong University, Shanghai 200240, China

2 Department of Mathematics, Changshu Institute of Technology, Suzhou, Jiangsu 215500, China

For all author emails, please log on.

Advances in Difference Equations 2011, 2011:784161  doi:10.1155/2011/784161

The electronic version of this article is the complete one and can be found online at: http://www.advancesindifferenceequations.com/content/2011/1/784161


Received:17 October 2010
Accepted:19 November 2010
Published:25 November 2010

© 2011 Jin Liang and Zhenbin Fan.

This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Of concern is the existence of solutions to nonlocal impulsive Cauchy problems for evolution equations. Combining the techniques of operator semigroups, approximate solutions, noncompact measures and the fixed point theory, new existence theorems are obtained, which generalize and improve some previous results since neither the Lipschitz continuity nor compactness assumption on the impulsive functions is required. An application to partial differential equations is also presented.

1. Introduction

Impulsive equations arise from many different real processes and phenomena which appeared in physics, chemical technology, population dynamics, biotechnology, medicine, and economics. They have in recent years been an object of investigations with increasing interest. For more information on this subject, see for instance, the papers (cf., e.g., [16]) and references therein.

On the other hand, Cauchy problems with nonlocal conditions are appropriate models for describing a lot of natural phenomena, which cannot be described using classical Cauchy problems. That is why in recent years they have been studied by many researchers (cf., e.g., [4, 712] and references therein).

In [4], the authors combined the two directions and studied firstly a class of nonlocal impulsive Cauchy problems for evolution equations by investigating the existence for mild (in generalized sense) solutions to the problems. In this paper, we study further the existence of solutions to the following nonlocal impulsive Cauchy problem for evolution equations:

(11)

where is the infinitesimal generator of an analytic semigroup and is a real Banach space endowed with the norm ,

(12)

, , , are given continuous functions to be specified later.

By going a new way, that is, by combining operator semigroups, the techniques of approximate solutions, noncompact measures, and the fixed point theory, we obtain new existence results for problem (1.1), which generalize and improve some previous theorems since neither the Lipschitz continuity nor compactness assumption on the impulsive functions is required in the present paper.

The organization of this work is as follows. In Section 2, we recall some definitions, and facts about fractional powers of operators, mild solutions and Hausdorff measure of noncompactness. In Section 3, we give the existence results for problem (1.1) when the nonlocal item and impulsive functions are only assumed to be continuous. In Section 4, we give an example to illustrate our abstract results.

2. Preliminaries

Let be a real Banach space. We denote by the space of -valued continuous functions on with the norm

(21)

and by the space of -valued Bochner integrable functions on with the norm . Let

(22)

It is easy to check that is a Banach space with the norm

(23)

In this paper, for , let and

(24)

Throughout this paper, we assume the following.

(H1) The operator is the infinitesimal generator of a compact analytic semigroup on Banach space and (the resolvent set of ).

In the remainder of this work, .

Under the above conditions, it is possible to define the fractional power , , of as closed linear operators. And it is known that the following properties hold.

Theorem 2.1 (see [13, Pages 69–75]).

Let and assume that (H1) holds. Then,

(1) is a Banach space with the norm for ,

(2) for ,

(3) for and ,

(4)for every , is bounded on and there exists such that

(25)

(5) is a bounded linear operator in with ,

(6)if , then .

We denote by that the Banach space endowed the graph norm from now on.

Definition 2.2.

A function is said to be a mild solution of (1.1) on if the function is integrable on for all and the following integral equation is satisfied:

(26)

To discuss the compactness of subsets of , we let , ,

(27)

For , we denote by the set

(28)

. Then it is easy to see that the following result holds.

Lemma 2.3.

A set is precompact in if and only if the set is precompact in for every .

Next, we recall that the Hausdorff measure of noncompactness on each bounded subset of Banach space is defined by

(29)

Some basic properties of are given in the following Lemma.

Lemma 2.4 (see [14]).

Let be a real Banach space and let be bounded. Then,

(1) is precompact if and only if ;

(2), where and mean the closure and convex hull of , respectively;

(3) when ;

(4), where ;

(5);

(6) for any ;

(7)let be a Banach space and Lipschitz continuous with constant . Then for all being bounded.

We note that a continuous map is an -contraction if there exists a positive constant such that for all bounded closed .

Lemma 2.5 (see Darbo-Sadovskii's fixed point theorem in [14]).

If is bounded closed and convex, and is an -contraction, then the map has at least one fixed point in .

3. Main Results

In this section, by using the techniques of approximate solutions and fixed points, we establish a result on the existence of mild solutions for the nonlocal impulsive problem (1.1) when the nonlocal item and the impulsive functions are only assumed to be continuous in and , respectively.

In practical applications, the values of for near zero often do not affect . For example, it is the case when

(31)

So, to prove our main results, we introduce the following assumptions.

(H2) is a continuous function, and there is a such that for any with , . Moreover, there exist such that for any .

(H3)There exists a such that is a continuous function, and for any with , . Moreover, there exist such that

(32)

for any ,  , and

(33)

for any , .

(H4)The function is continuous a.e. ; the function is strongly measurable for all . Moreover, for each , there exists a function such that for a.e. and all , and

(34)

(H5) is continuous for every , and there exist positive numbers such that for any and .

We note that, by Theorem 2.1, there exist and such that and

(35)

For simplicity, in the following we set and will substitute by below.

Theorem 3.1.

Let (H1)–(H5) hold. Then the nonlocal impulsive Cauchy problem (1.1) has at least one mild solution on , provided

(36)

To prove the theorem, we need some lemmas. Next, for , we denote by the maps defined by

(37)

In addition, we introduce the decomposition , where

(38)

for and .

Lemma 3.2.

Assume that all the conditions in Theorem 3.1 are satisfied. Then for any , the map defined by (3.7) has at least one fixed point .

Proof.

To prove the existence of a fixed point for , we will use Darbu-Sadovskii's fixed point theorem.

Firstly, we prove that the map is a contraction on . For this purpose, let . Then for each and by condition (H3), we have

(39)

Thus,

(310)

which implies that is a contraction by condition (3.6).

Secondly, we prove that , , are completely continuous operators. Let be a sequence in with

(311)

in . By the continuity of with respect to the second argument, we deduce that for each , converges to in , and we have

(312)

Then by the continuity of , , , and using the dominated convergence theorem, we get

(313)

in , which implies that are continuous on .

Next, for the compactness of we refer to the proof of [4, Theorem  3.1].

For and any bounded subset of , we have

(314)

which implies that is relatively compact in for every by the compactness of . On the other hand, for , we have

(315)

Since is relatively compact in , we conclude that

(316)

which implies that is equicontinuous on . Therefore, is a compact operator.

Now, we prove the compactness of . For this purpose, let

(317)

Note that

(318)

Thus according to Lemma 2.3, we only need to prove that

(319)

is precompact in , as the remaining cases for , , can be dealt with in the same way; here is any bounded subset in . And, we recall that , , which means that

(320)

Thus, by the compactness of , we know that is relatively compact in for every .

Next, for , we have

(321)

Thus, the set is equicontinuous due to the compactness of and the strong continuity of operator . By the Arzela-Ascoli theorem, we conclude that is precompact in . The same idea can be used to prove that is precompact for each . Therefore, is precompact in , that is, the operator is compact.

Thus, for any bounded subset , we have by Lemma 2.4,

(322)

Hence, the map is an -contraction in .

Now, in order to apply Lemma 2.5, it remains to prove that there exists a constant such that . Suppose this is not true; then for each positive integer , there are and such that . Then

(323)

Dividing on both sides by and taking the lower limit as , we obtain that

(324)

This is a contradiction with inequality (3.6). Therefore, there exists such that the mapping maps into itself. By Darbu-Sadovskii's fixed point theorem, the operator has at least one fixed point in . This completes the proof.

Lemma 3.3.

Assume that all the conditions in Theorem 3.1 are satisfied. Then the set is precompact in for all , where

(325)

and is the constant in (H2).

Proof.

The proof will be given in several steps. In the following is a number in .

Step 1.

is precompact in .

For , define by

(326)

For , let , , , , and we define by

(327)

By condition (H3), is well defined and for , we have

(328)

On the other hand, for , , we have , . So,

(329)

Now, for , we have

(330)

By the compactness of , , we get that is relatively compact in for every and is equicontinuous on , which implies that is precompact in .

By the same reasoning, is precompact in .

For , we claim that is Lipschitz continuous with constant . In fact, (H3) implies that for every and ,

(331)

that is,

(332)

Therefore, is Lipschitz continuous with constant .

Clearly, is precompact in , and so is in .

Thus, by (3.29) and Lemma 2.4, we obtain

(333)

By (3.6), , which implies . Consequently, is precompact in .

Step 2.

is precompact in .

For , let

(334)

and define by

(335)

By (H3), is well defined and for , we have

(336)

So, for , , we have

(337)

where

(338)

According to the proof of Step 1, we know that

(339)

are all precompact in and is Lipschitz continuous with constant .

Next, we will show that is precompact in . Firstly, it is easy to see that is precompact in . Thus according to Lemma 2.3, it remains to prove that

(340)

is precompact in . And, we recall that , , which means that

(341)

By Step 1, is precompact in . Without loss of generality, we may suppose that

(342)

Therefore, , as in . Thus, by the continuity of and , we get

(343)

as , which implies that is relatively compact in . And, for , by the compactness of , , is also relatively compact in . Therefore, is relatively compact in for every .

Next, for , we have

(344)

Thus, the set is equicontinuous on due to the compactness of and the strong continuity of operator , . By the Arzela-Ascoli theorem, we conclude that is precompact in . Therefore, is precompact in .

Thus, by Lemma 2.4, we obtain

(345)

By (3.6), , which implies . Consequently, is precompact in .

Step 3.

The same idea can be used to prove the compactness of in for , where . This completes the proof.

Proof of Theorem 3.1.

For , , let

(346)

where comes from the condition (H2). Then, by condition (H2), .

By Lemma 3.3, without loss of generality, we may suppose that , as . Thus, by the continuity of and , we get

(347)

as . Thus,

(348)

is precompact in . Moreover, and are both precompact in . And is Lipschitz continuous with constant . Note that

(349)

Therefore, by Lemma 2.4, we know that the set is precompact in . Without loss of generality, we may suppose that in . On the other hand, we also have

(350)

Letting in both sides, we obtain

(351)

which implies that is a mild solution of the nonlocal impulsive problem (1.1). This completes the proof.

Remark 3.4.

From Lemma 3.3 and the above proof, it is easy to see that we can also prove Theorem 3.1 by showing that is precompact in .

The following results are immediate consequences of Theorem 3.5.

Theorem 3.5.

Assume (H1), (H3)–(H5) hold. If , then the impulsive Cauchy problem (1.1) has at least one mild solution on , provided

(352)

Theorem 3.6.

Assume (H1), (H2), (H4), and (H5) hold. If , then the nonlocal impulsive problem (1.1) has at least one mild solution on , provided .

Theorem 3.7.

Assume (H1), (H4), and (H5) hold. If , then the impulsive problem (1.1) has at least one mild solution on , provided .

Remark 3.8.

Theorems  3.5-3.6 are new even for many special cases discussed before, since neither the Lipschitz continuity nor compactness assumption on the impulsive functions is required.

4. Application

In this section, to illustrate our abstract result, we consider the following differential system:

(41)

where , are given real numbers for , , and and are functions to be specified below.

To treat the above system, we take with the norm and we consider the operator defined by

(42)

with domain

(43)

The operator is the infinitesimal generator of an analytic compact semigroup on . Moreover, has a discrete spectrum, the eigenvalues are , , with the corresponding normalized eigenvectors , and the following properties are satisfied.

(a)If , then .

(b)For each , . Moreover, for all .

(c)For each , . In particular, .

(d) is given by with the domain .

Assume the following.

(1)The function is continuously differential with for , , and there exists a real number such that for , . Moreover,

(44)

(2)For each , is continuous, and for each , is measurable and, there exists a function such that for a.e. and all .

(3) is a continuous function for each , and there exist positive numbers such that for any and .

Define and , respectively, as follows. For ,

(45)

From the definition of and assumption (1), it follows that

(46)

Thus, system (4.1) can be transformed into the abstract problem (1.1), and conditions (H2), (H3), (H4), and (H5) are satisfied with

(47)

If (3.6) holds (it holds when the related constants are small), then according to Theorem 3.1, the problem (4.1) has at least one mild solution in .

Acknowledgments

The authors would like to thank the referees for helpful comments and suggestions. J. Liang acknowledges support from the NSF of China (10771202) and the Specialized Research Fund for the Doctoral Program of Higher Education of China (2007035805). Z. Fan acknowledges support from the NSF of China (11001034) and the Research Fund for Shanghai Postdoctoral Scientific Program (10R21413700).

References

  1. Ahmed, NU: Optimal feedback control for impulsive systems on the space of finitely additive measures. Publicationes Mathematicae Debrecen. 70(3-4), 371–393 (2007)

  2. Cardinali, T, Rubbioni, P: Impulsive semilinear differential inclusions: topological structure of the solution set and solutions on non-compact domains. Nonlinear Analysis: Theory, Methods & Applications. 69(1), 73–84 (2008). PubMed Abstract | Publisher Full Text | PubMed Central Full Text OpenURL

  3. Eduardo Hernández, M, Tanaka Aki, SM: Global solutions for abstract impulsive differential equations. Nonlinear Analysis: Theory, Methods & Applications. 72(3-4), 1280–1290 (2010). PubMed Abstract | Publisher Full Text | PubMed Central Full Text OpenURL

  4. Liang, J, Liu, JH, Xiao, T-J: Nonlocal impulsive problems for nonlinear differential equations in Banach spaces. Mathematical and Computer Modelling. 49(3-4), 798–804 (2009). Publisher Full Text OpenURL

  5. Liu, JH: Nonlinear impulsive evolution equations. Dynamics of Continuous, Discrete and Impulsive Systems. 6(1), 77–85 (1999)

  6. Rogovchenko, YV: Impulsive evolution systems: main results and new trends. Dynamics of Continuous, Discrete and Impulsive Systems. 3(1), 57–88 (1997)

  7. Aizicovici, S, Lee, H: Nonlinear nonlocal Cauchy problems in Banach spaces. Applied Mathematics Letters. 18(4), 401–407 (2005). Publisher Full Text OpenURL

  8. Aizicovici, S, Staicu, V: Multivalued evolution equations with nonlocal initial conditions in Banach spaces. NoDEA. Nonlinear Differential Equations and Applications. 14(3-4), 361–376 (2007). Publisher Full Text OpenURL

  9. Byszewski, L, Lakshmikantham, V: Theorem about the existence and uniqueness of a solution of a nonlocal abstract Cauchy problem in a Banach space. Applicable Analysis. 40(1), 11–19 (1991). Publisher Full Text OpenURL

  10. Liang, J, Liu, J, Xiao, T-J: Nonlocal Cauchy problems governed by compact operator families. Nonlinear Analysis: Theory, Methods & Applications. 57(2), 183–189 (2004). PubMed Abstract | Publisher Full Text | PubMed Central Full Text OpenURL

  11. Mophou, GM, N'Guérékata, GM: Existence of the mild solution for some fractional differential equations with nonlocal conditions. Semigroup Forum. 79(2), 315–322 (2009). Publisher Full Text OpenURL

  12. Xiao, T-J, Liang, J: Existence of classical solutions to nonautonomous nonlocal parabolic problems. Nonlinear Analysis, Theory, Methods and Applications. 63(5–7), e225–e232 (2005)

  13. Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations, Applied Mathematical Sciences,p. viii+279. Springer, New York, NY, USA (1983)

  14. Banaś, J, Goebel, K: Measures of Noncompactness in Banach Spaces, Lecture Notes in Pure and Applied Mathematics,p. vi+97. Marcel Dekker, New York, NY, USA (1980)