0 Advances in Difference Equations

a SpringerOpen Journal

RESEARCH Open Access

Existence of strong solutions for a class of semilinear evolution equations with nonlocal initial conditions

Pengyu Chen1, Yongxiang Li1* and Hongxia Fan1,2

* Correspondence: liyxnwnu@163. com

department of Mathematics, Northwest NormalUniversity, Lanzhou 730070, People's Republic of China

Full list of author information is available at the end of the article

Abstract

This paper discusses the existence of strong solutions for a class of semilinear evolution equations with nonlocal initial conditions in Hilbert spaces. The discussion is based on analytic semigroups theory and fixed point theorem. An application to a partial differential equation with nonlocal condition is also considered. Mathematics Subject Classification(2010): 34G20; 34K30; 35D35; 47D06.

Keywords: evolution equation, nonlocal initial condition, strong solution, analytic semigroups, existence

1 Introduction

In this paper, we discuss the existence of strong solutions for a class of semilinear evolution equations with nonlocal initial conditions in a Hilbert space H

u(t) + Au(t) = f (t, u(t)), t e J, (1)

u(0) = Yiu(ti), (2)

where A: D(A) c H ® H is a positive definite self-adjoint operator, f J x H ® H is given function satisfying some assumptions, J denote the real compact interval [0, a], a >0 is a constant, 0 < ii < t2 < • • • < tm < a, m e N, g are real numbers, g * 0, i = 1, 2, ..., m.

In 1990, Byszewski and Lakshmikantham [1] first investigated the nonlocal problems. They studied and obtained the existence and uniqueness of mild solutions for nonlocal differential equations. Since it is demonstrated that the nonlocal problems have better effects in applications than the classical Cauchy problems, differential equations with nonlocal conditions were studied by many authors and some basic results on nonlocal problems have been obtained, see [2-10] and the references therein. The importance of nonlocal conditions have also been discussed in [11-15]. For example, Deng [11] used the nonlocal condition of type (2) to describe the diffusion phenomenon of a small amount of gas in a transparent tube. In this case, condition (2) allows the additional measurements at ti, i = 1, 2, ... , m, which is more precise than the measurement just at t = 0. In [12], Byszewski pointed out that if gi * 0, i = 1, 2, ..., m, then the results can

Springer

© 2012 Chen et al; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

be applied to kinematics to determine the location evolution t ® u(t) of a physical object for which we do not know the positions u(0), u(ti), ..., u(tm), but we know that the nonlocal condition (2) holds. Consequently, to describe some physical phenomena, the nonlocal condition can be more useful than the standard initial condition.

However, most of the existing articles only studied the existence and uniqueness of mild solutions for evolution equations with nonlocal conditions, there are very few papers considered the regularity results for nonlocal evolution equations. In [2,3], Byszewski discussed the existence of strong and classical solutions for the evolution equation

+Au(t) = /(£,«(£)), t e (to, to + a\ (3)

with the nonlocal condition

u(to) + g(tl, t2, ... , tm, u( )) - Uo (4)

u(to) + YiU(ti) - Uo (4a)

in a reflexive Banach space X, but the conditions in [2,3] are very strong and some of them can not be satisfied in applications. In this paper, we obtained the existence of strong solutions for the nonlocal problem (1)-(2) in a frame of abstract Hilbert spaces. Furthermore, an optimal condition (see condition (Hi)) on the coefficients g (i = 1, 2, ..., m) to guarantee that the nonlocal problem (1)-(2) has solutions has been obtained. At last, we demonstrated that the abstract results obtained can be applied to the parabolic partial differential equation with nonlocal conditions. Our discussions are based on analytic semigroups theory and the famous Schauder's fixed point theorem.

2 Preliminaries

Let H be a Hilbert space with inner product (•,•)> then || || = •) is the norm on H induced by inner product (•,•). We denote by C(J, H) the Banach space of all continuous H-value functions on interval J with the maximum norm IIulie = max l|u(t)|| and by

L(H) the Banach space of all linear and bounded operators on H.

Let A: D(A) c H ® H be a positive definite self-adjoint operator in Hilbert space H and it have compact resolvent. By the spectral resolution theorem of selfadjoint operator, the spectrum s(A) only consists of real eigenvalues and it can be arrayed in sequences as

X1 < X2 < ••• < Xn < ••• , Xn ^ <X)(n ^ kj). (5)

By the positive definite property of A, the first eigenvalue 11 >0. From [16,17], we know that -A generates an analytic operator semigroup T (t)(t > 0) on H, which is exponentially stable and satisfies

||T(t)|| < e-Xlt, Vt > 0. (6)

Since the positive definite self-adjoint operator A has compact resolvent, the embedding D(A) K H is compact, and therefore T (t)(t > 0) is also a compact semigroup.

We recall some concepts and conclusions on the fractional powers of A. For a >0, A-a is defined by

A-a = — sa-'T{s)ds,

r(«)i 0

where r() is the Euler gamma function. Ae L(H) is injective, and Aa can be defined by Aa = (A-a)-1 with the domain D(Aa) = A-a(H). For a = 0, let Aa = I.

We endow an inner product (-,-)a = (Aa-, Aa) to D(Aa). Since Aa is a closed linear operator, it follows that (D(Aa), (-,-)a) is a Hilbert space. We denote by Ha the Hilbert space (D(Aa), (v)a). Especially, H0 = H and H1 = D(A). For 0 < a < b, Hp is densely embedded into Ha and the embedding Hp H Ha is compact. For the details of the properties of the fractional powers, we refer to [17] and [18].

It is well known [[16], Chapter 4, Theorem 2.9] that for any u0 e D(A) and h e C1(J, H), the initial value problem of linear evolution equation (LIVP)

iu'(t) + Au(t) = h(t), t e J, \ u(0) = uo,

has a unique classical solution u e C1(J, H) n C(J, Hi) expressed by

u(t) = T(t)u0 + I T(t-s)h(s)ds. Jo

If w0 e H and h e L1^/", H), the function u given by (8) belongs to C(J, H), which is known as a mild solution of the LIVP(7). If a mild solution u of the LIVP(7) belongs to W1,1(/, H) n L1(/, H1) and satisfies the equation for a.e. t e /, we call it a strong solution.

Throughout this paper, we assume that

(H1)E \Yi\ < 1=1

By assumption (H1), we have YiT(ti)

theorem, we know that the operator

lYil e Xltl < 1. By operator spectrum

B I- T.YiT(U)

exists, bounded and D(B) = H. Furthermore, by Neumann expression, B can be expressed by

oo / m

B ^ EY'T(t')) .

n=o \ 1=1 Therefore

J2yiT(ti)

EnT(ti)

1 - e—itiY; I Yil i=1

To prove our main results, for any h e C(J, H), we consider the linear evolution equation nonlocal problem (LNP)

u'(t) + Au(t) = h(t), t e J, (12)

u(0) = Y, Yiu(ti). (13)

Lemma 1 If the condition (H1) holds, then the LNP (12)-(13) has a unique mild solution u e C(J, H) given by

m f ti n t

u(t) = J2 YiT(t)B T(ti - s)h(s)ds + T(t - s)h(s)ds, t e J. (14)

i=i Jo Jo

Moreover, ue W 1,2(J, H) n L2(J, Hi) is a strong solution of the LNP (12)-(13).

Proof. By (7) and (8), we know that Eq. (12) has a unique mild solution u e C(J, H) which can be expressed by

u(t) = T(t)u(0) + f T(t - s)h(s)ds. (15)

From (15),

u(ti) = T(ti)u(0) + f ' T(ti - s)h(s)ds, i =1,2,..., m. (16)

By (13) and (16),

m m „ t

u(0) = V YiT(ti)u(0) + V Yi '

i=i i=i j0

T(ti - s)h(s)ds. (17)

Since I m=1 YiT(ti) has a bounded inverse operator B,

u(0) = } YiB T(ti - s)h(s)ds. (18)

i=1 j0

From (15) and (18), we know that u satisfies (14).

Inversely, we can verify directly that the function u e C(J, H) given by (14) is a mild solution of the LNP (12)-(13).

By the maximal regularity of linear evolution equations with positive definite operator in Hilbert spaces (see [19], Chapter II, Theorem 3.3), when u(0) = u0 e H1/2, the mild solution of the LIVP (7) has the regularity

u e W1,2(J, H) n L2(J, Hi) n C(J, H1/2) (19)

and it is a strong solution.

We note that u(t) defined by (14) is the mild solution of the LIVP (7) for u(0) = Yl 1=1 YiB ¡0 T(ti - s)h(s)ds. By the representation (8) of mild solution, u(t) = T (t)u(0) + v(t), where v(t) = f0,T(t - s)h(s)ds Since the function v(t) is a mild solution of the LIVP (7) with the null initial value u(0) = 0, v has the regularity (19). By the analytic property of the semigroup T (t), T (ti)u(0) e D(A) H1/2. Hence,

u(0) = £Z\ YiT(ti)u(0)+£ 1=1 Yiv(ti) e HV2. Using the regularity (19) again, we obtain that u e W 1,2(/, H) n L2(/, H1) and it is a strong solution of the LNP (12)-(13). □ For any r >0, let

fir = {u e C(J, H) : ||u(t) || < r, t e J}, then Or is a bounded closed and convex set on C(/, H). 3 Main results

Theorem 1 Let A be a positive definite sej-ad/oint operator in Hilbert space H and it have compact resolvent, ji/xH ® H be continuous. If condition (H1) and the following condition

(H2) For some r >0, there exists a junction ^ e L(/, R+) such that for all t e / and u e H satisfying ||u|| < r, | f(t, u) || < ^(t), hold, then the problem (1)-(2) has at least one strong solution u e W 1,2(/, H) n L2(/, Hi). Proof. We consider the operator Q on C(/, H) defined by

/• ti

Qu(t) = V YiT(t)B T(ti - s)f (s, u(s))ds

i=i Jo

+ T(t - s)f (s, u(s))ds, t e J. Jo

i=1 "0 (20)

By assumption (H1) and Lemma 1, it is easy to see that the mild solution of problem (1)-(2) is equivalent to the fixed point of the operator Q. In the following, we will prove that Q has a fixed point by using the famous Schauder Fixed Point Theorem.

At first, we prove that Q is continuous on C(/, H). To this end, let {unc C(J, H) be a sequence such that ^^^ un = u on C(/, H). By the continuity of the nonlinear term f for each s e /, lim f (s, un(s))= f (s, u(s)). Therefore, we can conclude that

sup lf(s,un(s)) -f(s,u(s))| ^ 0, as n (21)

From (6) and (20), for t e /, we have lQun(t) - Qu(t) |

E\Yi\e-lt i=1

1 - er^i?:\Yi\ J0

f e-l(ti-s) If (s, un(s)) - f (s, u(s))|| ds

ekiti + 1

---sup |f{s, un{s)) -f{s, u(s))||,

+ f'e-Xl(t-s) ||f(s,un(s)) - f(s,u(s))|| ds 0

Xi(i - e-^ij:\Yi\) i=1

which implies that

gXih + 1

IIQ"n - Qu lie < -„-SUP |/(S'""(S)) -/(5'"(5))||

A1(1 - e-^1j:\Yi\) seJ i=1

From (21), we know that

\\Qun — Qu||c ^ 0, as n

That is, Q is continuous on C(J, H).

Subsequently, we prove that Q: C(J, H) ® C(J, H) is a compact operator. Let 0<«<i,0<v<-i — a. By [20], we can prove that the operator Q defined by (20) maps C(J, H) into Cv (J, Ha). By Arzela-Ascoli's theorem, the embedding Cv (J, Ha) K C (J, H) is compact. This implies that Q: C(J, H) ® C(J, H) is a compact operator. Combining this with the continuity of Q on C(J, H), we know that Q: C(J, H) ® C(J, H) is a completely continuous operator.

Next, we prove that there exists a positive constant R big enough, such that Q(QR) c Or. In fact, choosing

EN (1 — e—Xltl) + 1 a R = —--- / <p(s)ds.

1 — \Yi\ J°

For any u e Or, we have

m r ti

II Qu(t) || <T\Yi\e—Xl t IBII / e—kl(ti —s) |f (s, u(s))\\ ds i=i Jo

+ f \—Xl(t—s) If(s,u(s))\\ ds

£\Yi\ f i f t

1 — e-^Y, \Yi\ i=1

I y(s)ds + I p(s)ds Jo Jo

J2\Yi\(1 — e—Xltl) + 1

1 — (r^Y, \Yi\ i=1

I y(s)ds Jo

Therefore, Q(QR) c Or. Thus, Q: Or ® QR is a completely continuous operator. By Schauder Fixed Point Theorem, we know that Q has at least one fixed point u e Qr. Since u is mild solution of the LNP (12)-(13) for h(-) = u(-)), by Lemma 1, u e

W 1,2(JH) n L2(J,H1) is a strong solution of the problem (1)-(2).

If we replace the assumption (H2) by the following assumption (H2)* For some r >0, there exist a function ^ e L(J, R+) and a non-decreasing continuous function R+ ® R+ such that for all t e J and u e H satisfying ||u|| < r,

If(t, u)I < v(t)f (||u||).

We have the following existence result.

Theorem 2 Let A be a positive definite self-adjoint operator in Hilbert space H and it have compact resolvent, f: J x H ® H be continuous. If the conditions (H1) and (H2)* are satisfied, then the problem (1)-(2) has at least one strong solution u e W 1,2(J, H) n

L2(J, H1) provided that there exists a constant R with

Mf (R) f v(s)ds < R, (22)

J2\n\(l - e-Xltl)+l M = —-. (23)

1 - \n\

Proof. By the proof of Theorem 1, we know that the operator Q: C(J, H) ® C(J, H) is completely continuous. For any u e OR, from the assumption (H2)* and (22), we have

m r ti

-^IIRII / e-ki(ti-s

|||qm(£)^ <J2\Yi\e-klt IIBh e-Xl(ti-s) \\f(s,u(s)\\ ds i=i Jo

+ f \-Xl(t-s) \\f(s,u(s))\\ ds o

I p(s)ds + f (R) I q>(s)ds oo

J2\Yi\ f (R)

1 - \Yi\ Jo i=l

J2\Yi\(1 - e-kltl)+\

1 - er^Y\Yi\ i=l

f (R) f y>(s)ds o

which implies Q(OR) c Or. Thus, Q: OR ® OR is a completely continuous operator. By Schauder Fixed Point Theorem, we know that Q has at least one fixed point u e O R. Since u is mild solution of the LNP (12)-(13) for h(-) = u(-)), by Lemma 1, u e W

1,2J, H) n L2(JH1) is a strong solution of the problem (1)-(2).

Corollary 1 Let A be a positive definite self-adjoint operator in Hilbert space H and it have compact resolvent, f: J x H ® H be continuous. If the conditions (H1) and (H2)* are satisfied, then the problem (1)-(2) has at least one strong solution u e W1,2(J, H) n L2(J,Hi) provided that

liminf^ < 1

>+«> r M ¡0 p(s)ds' where M is defined by (23).

4 An example

In order to illustrate our main results, we consider the parabolic partial differential equation with nonlocal condition

Ytu(x, f) - f) =/(.*, t, u(x, £)), (x, t) e |0, 1| x J,

u(0, t) = u(1, t) =0, t e J,

m (24)

u(x, 0) = £ Yiu(x, U), x e [0, 1],

where / = [0, a], 0 < ti < t2 <... <tm < a, g are real numbers, g ^ 0, i = 1, 2, ..., m, f [0, 1] x / x R ® R is continuous.

Let H = L2(0, 1; R) with the norm || • ||2. We define the linear operator A in Hilbert space H by

d2 2 , Au = - —ru, u e D(A) = H2(0, l)niij(0, 1),

where H2(0, 1) = W2,2(0, 1), H1>(0,1) = W^'2(0,1). It is well know from [16,17] that A is a positive definite self-adjoint operator on H and -A is the infinitesimal generator of an analytic, compact semigroup T(t)(t > 0). Moreover, A has discrete spectrum with eigenvalues Xn = rTn2, n <= N, associated normalized eigenvectors vn(x) = s/l sin rmx, the set {vn: n e N} is an orthonormal basis of H and

T(t)u = £ e-"2*2t(u, vn)vn, | T(t) | < e-n t, Vt > 0.

Letf(t, u(t)) = _/(•, t, u(-, t)), then the problem (24) can be rewritten into the abstract form of problem (1)-(2).

Theorem 3 If the nonlinear term fx, t, u(x, t)) = sin u(x, t)/(t1/2 + 1), x e [0, 1], t e / and £ 1=1 \ Yi\ < e"2t1, then the problem (24) has at least one strong solution u e C(J, H0(0,1)) n L2(J, H2(0,1)) n W1,2(J, L2(0,1; R) .

Proof. Let ^(t) = t-1/2, from the condition £m=1 \yj\ < en2t1, we easily see that the conditions (H1) and (H2) hold. Hence by Theorem 1, the problem (24) has a strong solution u e C(J, H0(0,1)) n L2(J, H2(0,1)) n W1,2(J, L2(0,1; R)) in the sense of L2(0, 1;

R). □

Theorem 4 If £ m^ \yi\ < en 2t1, f [0, 1] x J x R ® R is continuous and satisfies the following conditions

(P1) For some r >0, there exists a function ^ e L(J, R+) such that /or all t e J, x e [0, 1] and u e R, | u | < r, | fx, t, u(x, t)) | < ^(t),

(P2) There exists a /unction c: R+ ® R+ such thai

|/(x, t, Ç) - f (y,s, n)\ < c(r)(\x - y^ + \t - s\^/2 + - n\),

/or any r >0, ^ e (0, 1) and (x, t, £), (y, s, h) e [0, 1] x J x [-r, r], then the problem (24) has at least one classical solution u e ç2+^1+^/2([0, 1] x J).

Proof. From the condition £\y,\ < en2t1 and assumption (P1), it is easy to verify that the conditions (H1) and (H2) are satisfied. Hence by Theorem 1, the problem (24) has at least one strong solution

u e C(J, H0(0,1)) n L2(J, H2(0,1)) n W1,2(J, L2(0,1; R)) in the sense of L2(0, 1; R). Since the nonlinear term/satisfies the condition (P2), by using the similar regulariza-tion method in [20], we can prove that u e ç2+^1+^/2([0, 1] x J) is a classical solution of the problem (24). □

Acknowledgements

This research was supported by NNSF of China (10871160) and NNSF of China (11061031).

Author details

department of Mathematics, Northwest NormalUniversity, Lanzhou 730070, People's Republic of China 2Department

of Mathematics, Lanzhou Jiaotong University, Lanzhou 730070, People's Republic of China

Authors' contributions

PC carried out the first draft of this manuscript, YL corrected this draft, HF prepared the finalversion of the

manuscript. Allauthors read and approved the finalversion of the manuscript.

Competing interests

The authors declare that they have no competing interests.

Received: 6 April 2012 Accepted: 12 June 2012 Published: 12 June 2012

References

1. Byszewski, L, Lakshmikantham, V: Theorem about the existence and uniqueness of solutions of a nonlocal Cauchy problem in a Banach space. Appl Anal. 40, 11-19 (1990)

2. Byszewski, L: Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem. J Math Appl Anal. 162, 494-505 (1991). doi:10.1016/0022-247X(91)90164-U

3. Byszewski, L: Application of preperties of the right hand sides of evolution equations to an investigation of nonlocal evolution problems. Nonlinear Anal. 33, 413-426 (1998). doi:10.1016/S0362-546X(97)00594-4

4. Lin, Y, Liu, JH: Semilinear integrodifferential equations with nonlocal Cauchy problem. Nonlinear Anal. 26, 1023-1033 (1996). doi:10.1016/0362-546X(94)00141-0

5. Benchohra, M, Ntouyas, SK: Existence of mild solutions of semilinear evolution inclusions with nonlocal conditions. Georgian Math J. 7, 221-230 (2000)

6. Wang, J, Zhou, Y, Wei, W, Xu, H: Nonlocal problems for fractional integrodifferential equations via fractional operators and optimal controls. Comput Math Appl. 62, 1427-1441 (2011). doi:10.1016/j.camwa.2011.02.040

7. Liang, J, Casteren, JV, Xiao, TJ: Nonlocal Cauchy problems for semilinear evolution equations. Nonlinear Anal. 50, 173-189 (2002)

8. Xiao, TJ, Liang, J: Existence of classical solutions to nonautonomous nonlocal parabolic problems. Nonlinear Anal. 63, 225-232 (2005). doi:10.1016/j.na.2005.05.008

9. Wang, J, Zhou, Y, Medved, M: Picard and weakly Picard operators technique for nonlinear differential equations in Banach spaces. J Math Anal Appl. 389, 261-274 (2012). doi:10.1016/j.jmaa.2011.11.059

10. Boucherif, A: Semilinear evolution inclutions with nonlocal conditions. Appl Math Lett. 22, 1145-1149 (2009). doi:10.1016/j.aml.2008.10.004

11. Deng, K: Exponential decay of solutions of semilinear parabolic equations with nonlocal initial conditions. J Math Anal Appl. 179, 630-637 (1993). doi:10.1006/jmaa.1993.1373

12. Byszewski, L: Existence and uniqueness of a classical solutions to a functional-differential abstract nonlocal Cauchy problem. J Math Appl Stoch Anal. 12, 91-97 (1999). doi:10.1155/S1048953399000088

13. Benchohra, M, Ntouyas, SK: Nonlocal Cauchy problems for neutral functional differential and integrodifferential inclusions in Banach spaces. J Math Anal Appl. 258, 573-590 (2001). doi:10.1006/jmaa.2000.7394

14. Liang, J, Liu, JH, Xiao, TJ: Nonlocal Cauchy problems governed by compact operator families. Nonlinear Anal. 57, 183-189 (2004). doi:10.1016/j.na.2004.02.007

15. Ezzinbi, K, Fu, X, Hilal, K: Existence and regularity in the a-norm for some neutral partial differential equations with nonlocal conditions. Nonlinear Anal. 67, 1613-1622 (2007). doi:10.1016/j.na.2006.08.003

16. Pazy, A: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, Berlin (1983)

17. Henry, D: Geometric Theory of Semilinear Parabolic Equations. In Lecture Notes in Mathematics, vol. 840,Springer, New York (1981)

18. Xiang, X, Ahmed, NU: Existence of periodic solutions of semilinear evilution equations with time lags. Nonlinear Anal. 18, 1063-1070 (1992). doi:10.1016/0362-546X(92)90195-K

19. Teman, R: Infinite-Dimensional Dynamical Systems in Mechanics and Physics. Springer, New York, 2 (1997)

20. Amann, H: Periodic solutions of semilinear parabolic equations. In: Cesari L, Kannan R, Weinberger R (eds.) Nonlinear Analysis: A Collection of Papers in Honor of Erich H Rothe. pp. 1-29. Academic Press, New York (1978)

doi:10.1186/1687-1847-2012-79

Cite this article as: Chen et al.: Existence of strong solutions for a class of semilinear evolution equations with nonlocal initial conditions. Advances in Difference Equations 2012 2012:79.