- Research Article
Existence of Solutions and Nonnegative Solutions for Prescribed Variable Exponent Mean Curvature Impulsive System Initialized Boundary Value Problems
Journal of Inequalities and Applicationsvolume 2010, Article number: 915739 (2010)
This paper investigates the existence of solutions and nonnegative solutions for prescribed variable exponent mean curvature impulsive system initialized boundary value problems. The proof of our main result is based upon Leray-Schauder's degree. The sufficient conditions for the existence of solutions and nonnegative solutions have been given.
The theory of impulsive differential equations describes processes which experience a sudden change of their state at certain moments. On the Laplacian impulsive differential equations boundary value problems, there are many results (see [1–5]). Because of the nonlinearity of -Laplacian, the results about -Laplacian impulsive differential equations boundary value problems are rare (see ). In [7, 8], the authors discussed the existence of solutions of -Laplacian system impulsive boundary value problems. Recently, the existence and asymptotic behavior of solutions of curvature equations have been studied extensively (see [9–15]). In , the authors generalized the usual mean curvature systems to variable exponent mean curvature systems. In this paper, we consider the existence of solutions and nonnegative solutions for the prescribed variable exponent mean curvature system
where , with the following impulsive initialized boundary value conditions
are absolutely continuous, where satisfy , is called the variable exponent mean curvature operator, and .
For any , will denote the th component of ; the inner product in will be denoted by will denote the absolute value and the Euclidean norm on . Denote that , , and , , , where ,. Denote that is the interior of ,. Let
For any , denote that . Obviously, is a Banach space with the norm , and is a Banach space with the norm . In the following, and will be simply denoted by and , respectively. Denote that , and the norm in is .
The study of differential equations and variational problems with variable exponent conditions is a new and interesting topic. For the applied background on this kind of problems we refer to [17–19]. Many results have been obtained on this kind of problems, for example, [20–35]. If (a constant) and (a constant), then (1.1) is the well-known mean curvature system. Since problems with variable exponent growth conditions are more complex than those with constant exponent growth conditions, many methods and results for the latter are invalid for the former; for example, if is a bounded domain, the Rayleigh quotient
is zero in general, and only under some special conditions (see ), but the fact that is very important in the study of -Laplacian problems.
In this paper, we investigate the existence of solutions for the prescribed variable exponent mean curvature impulsive differential system initialized boundary value problems; the proof of our main result is based upon Leray-Schauder's degree. This paper was motivated by [6, 13, 36].
Let , then the function is assumed to be Caratheodory; by this we mean that
(i)for almost every the function is continuous,
(ii)for each the function is measurable on ,
(iii)for each there is a such that, for almost every and every with , , one has
We say a function is a solution of (1.1) if with absolutely continuous on , , which satisfies (1.1) on .
This paper is divided into three sections; in the second section, we present some preliminary. Finally, in the third section, we give the existence of solutions and nonnegative solutions for system (1.1)–(1.4).
In this section, we will do some preparation.
Lemma 2.1 (see ).
is a continuous function and satisfies the following.
(i)For any is strictly monotone, that is,
(ii)For any fixed , is a homeomorphism from to
For any , denote by the inverse operator of , then
Let one now consider the following simple problem:
with the following impulsive boundary value conditions:
Obviously, implies that If is a solution of (2.4) with (2.5), by integrating (2.4) from to , then one finds that
Define , and operator as
From the definition of , one can see that
By (2.6), one has
Denote that with the norm
then is a Banach space.
Let one define the nonlinear operator as
The operator is continuous and sends closed equiintegrable subsets of into relatively compact sets in .
It is easy to check that , for all . Since
it is easy to check that is a continuous operator from to .
Let now be a closed equiintegrable set in , then there exists , such that, for any ,
We want to show that is a compact set.
Let is a sequence in , then there exists a sequence such that . For any , we have that
Hence the sequence is uniformly bounded and equicontinuous. By Ascoli-Arzela theorem, there exists a subsequence of (which we rename the same) that is convergent in . Then the sequence
is convergent according to the norm in . Since
according to the continuity of , we can see that is convergent in . Thus we conclude that is convergent in . This completes the proof.
We denote that is the Nemytski operator associated to defined by
is a solution of (1.1)–(1.4) if and only if is a solution of the following abstract equation:
where , .
If is a solution of (1.1)–(1.4), since implies that , by integrating (1.1) from to , then we find that(221)
Hence is a solution of (2.20).
If is a solution of (2.20), then it is easy to see that (1.2) is satisfied. Let , then we have(223)
From (2.20) we also have
From (2.24), we can see that (1.3) is satisfied. Let , from (2.24), then we have
Since we must have ; thus,
Hence is a solution of (1.1)–(1.4). This completes the proof.
3. Main Results and Proofs
In this section, we will apply Leray-Schauder's degree to deal with the existence of solutions for (1.1)–(1.4).
We assume that
(H) for all
If (H) is satisfied, then is an open bounded set in such that the following conditions hold.
(1) For any the mapping belongs to .
(2) For each , the problem
has no solution on .
Then (1.1)–(1.4) has at least one solution on .
For any , define as
We know that (1.1)–(1.4) has the same solutions of
Since is Caratheodory, it is easy to see that is continuous and sends bounded sets into equiintegrable sets. According to Lemma 2.2, we can conclude that is compact continuous on for any . We assume that for (3.4) does not have a solution on ; otherwise, we complete the proof. Now from hypothesis (2), it follows that (3.4) has no solution for ,.
When , (3.1) is equivalent to the following usual problem:
where obviously is the unique solution to this problem.
Since , we have proved that (3.4) has no solution ,on , then we get that, for each , Leray-Schauder's degree is well defined. From the homotopy invariant property of that degree, we have
This completes the proof.
In the following, we will give an application of Theorem 3.1.
Denote that and
Obviously, is an open subset of .
(H), where is a positive parameter, and is Caratheodory.
(H), for all.
If are satisfied, then problem (1.1)–(1.4) has at least one solution on , when positive parameter is small enough.
Let one consider the problem
where is defined in (3.3).
Obviously, is a solution of (1.1)–(1.4) if and only if is a solution of the abstract equation (3.8) when . We only need to prove that the conditions of Theorem 3.1 are satisfied.
(1) When positive parameter is small enough, for any , we can see that the mapping belongs to .
(2) We shall prove that for each the problem
has no solution on .
If it is false, then there exists a and is a solution of (3.8). Then there exists an such that .
Suppose that , then . For any since according to (H) and (1.2), we have(310)
It is a contradiction.
Suppose that , . This implies that for some .
Since we have
According to (H)-(H), when positive parameter is small enough, we have
It is a contradiction.
Summarizing this argument, for each the problem (3.8) with (1.4) has no solution on .
Since and is the unique solution of , then the Leray-Schauder's degree
This completes the proof.
In the following, we will discuss the existence of nonnegative solutions of (1.1)–(1.4). For any , the notation means that for every .
Assume the following
(H) where is a positive parameter, and
where , and for all .
(H)and for all ,.
(H) satisfies for all .
If HH are satisfied, then the problem (1.1)–(1.4) has a nonnegative solution, when positive parameter is small enough.
From Theorem 3.2, we can get the existence of solutions of (1.1)–(1.4). If is a solution of (1.1)–(1.4), according to (1.4) and (H), then we have
When , we have
then we can see that there exists a such that when . Thus for any . Thus is increasing in , that is, for any with . Since , it is easy to see that for any . From (3.17) and (H), we can easily see that
From (H), we can see that
Similarly, we can see that
Repeating the step, we can see that
Hence is nonnegative. This completes the proof.
Jiao J, Chen L, Li L: Asymptotic behavior of solutions of second-order nonlinear impulsive differential equations. Journal of Mathematical Analysis and Applications 2008, 337(1):458–463. 10.1016/j.jmaa.2007.04.021
Liu L, Hu L, Wu Y: Positive solutions of two-point boundary value problems for systems of nonlinear second-order singular and impulsive differential equations. Nonlinear Analysis: Theory, Methods & Applications 2008, 69(11):3774–3789. 10.1016/j.na.2007.10.012
Liu X, Guo D: Periodic boundary value problems for a class of second-order impulsive integro-differential equations in Banach spaces. Journal of Mathematical Analysis and Applications 1997, 216(1):284–302. 10.1006/jmaa.1997.5688
Shen J, Wang W: Impulsive boundary value problems with nonlinear boundary conditions. Nonlinear Analysis: Theory, Methods & Applications 2008, 69(11):4055–4062. 10.1016/j.na.2007.10.036
Yao M, Zhao A, Yan J: Periodic boundary value problems of second-order impulsive differential equations. Nonlinear Analysis: Theory, Methods & Applications 2009, 70(1):262–273. 10.1016/j.na.2007.11.050
Cabada A, Tomeček J: Extremal solutions for nonlinear functional -Laplacian impulsive equations. Nonlinear Analysis: Theory, Methods & Applications 2007, 67(3):827–841. 10.1016/j.na.2006.06.043
Zhang Q, Liu X, Qiu Z: Existence of solutions for weighted -Laplacian impulsive system periodic-like boundary value problems. Nonlinear Analysis: Theory, Methods & Applications 2009, 71(9):3596–3611. 10.1016/j.na.2009.02.043
Zhang Q, Qiu Z, Liu X: Existence of solutions and nonnegative solutions for weighted -Laplacian impulsive system multi-point boundary value problems. Nonlinear Analysis: Theory, Methods & Applications 2009, 71(9):3814–3825. 10.1016/j.na.2009.02.040
Filippucci R: Entire radial solutions of elliptic systems and inequalities of the mean curvature type. Journal of Mathematical Analysis and Applications 2007, 334(1):604–620. 10.1016/j.jmaa.2007.01.005
Greco A: On the existence of large solutions for equations of prescribed mean curvature. Nonlinear Analysis: Theory, Methods & Applications 1998, 34(4):571–583. 10.1016/S0362-546X(97)00556-7
Ivochkina NM: The Dirichlet problem for the curvature equation of order . Leningrad Mathematical Journal 1991, 2: 631–654.
Lancaster KE, Siegel D: Existence and behavior of the radial limits of a bounded capillary surface at a corner. Pacific Journal of Mathematics 1996, 176(1):165–194.
Pan H: One-dimensional prescribed mean curvature equation with exponential nonlinearity. Nonlinear Analysis: Theory, Methods & Applications 2009, 70(2):999–1010. 10.1016/j.na.2008.01.027
Takimoto K: Solution to the boundary blowup problem for -curvature equation. Calculus of Variations and Partial Differential Equations 2006, 26(3):357–377. 10.1007/s00526-006-0011-7
Trudinger NS: The Dirichlet problem for the prescribed curvature equations. Archive for Rational Mechanics and Analysis 1990, 111(2):153–179. 10.1007/BF00375406
Zhang Q, Qiu Z, Liu X: Existence of solutions for prescribed variable exponent mean curvature system boundary value problems. Nonlinear Analysis: Theory, Methods & Applications 2009, 71(7–8):2964–2975. 10.1016/j.na.2009.01.190
Chen Y, Levine S, Rao M: Variable exponent, linear growth functionals in image restoration. SIAM Journal on Applied Mathematics 2006, 66(4):1383–1406. 10.1137/050624522
Růžička M: Electrorheological Fluids: Modeling and Mathematical Theory, Lecture Notes in Mathematics. Volume 1748. Springer, Berlin, Germany; 2000:xvi+176.
Zhikov VV: Averaging of functionals of the calculus of variations and elasticity theory. Mathematics of the USSR. Izvestiya 1987, 29: 33–36. 10.1070/IM1987v029n01ABEH000958
Fan X-L, Wu H-Q, Wang F-Z: Hartman-type results for -Laplacian systems. Nonlinear Analysis: Theory, Methods & Applications 2003, 52(2):585–594. 10.1016/S0362-546X(02)00124-4
Fan X-L, Zhao D: Regularity of minimum points of variational integrals with continuous -growth conditions. Chinese Annals of Mathematics. Series A 1996, 17(5):557–564.
Fan X-L, Zhao D: On the spaces and . Journal of Mathematical Analysis and Applications 2001, 263(2):424–446. 10.1006/jmaa.2000.7617
Fan X-L, Zhang Q-H: Existence of solutions for -Laplacian Dirichlet problem. Nonlinear Analysis: Theory, Methods & Applications 2003, 52(8):1843–1852. 10.1016/S0362-546X(02)00150-5
Fan X-L, Zhao YZ, Zhang QH: A strong maximum principle for -Laplace equations. Chinese Journal of Contemporary Mathematics 2003, 24(4):495–500.
Fan X-L, Zhang QH, Zhao D: Eigenvalues of -Laplacian Dirichlet problem. Journal of Mathematical Analysis and Applications 2005, 302(2):306–317. 10.1016/j.jmaa.2003.11.020
El Hamidi A: Existence results to elliptic systems with nonstandard growth conditions. Journal of Mathematical Analysis and Applications 2004, 300(1):30–42. 10.1016/j.jmaa.2004.05.041
Kováčik O, Rákosník J: On spaces and . Czechoslovak Mathematical Journal 1991, 41(4):592–618.
Marcellini P: Regularity and existence of solutions of elliptic equations with -growth conditions. Journal of Differential Equations 1991, 90(1):1–30. 10.1016/0022-0396(91)90158-6
Mihăilescu M, Rădulescu V: Continuous spectrum for a class of nonhomogeneous differential operators. Manuscripta Mathematica 2008, 125(2):157–167. 10.1007/s00229-007-0137-8
Musielak J: Orlicz Spaces and Modular Spaces, Lecture Notes in Mathematics. Volume 1034. Springer, Berlin, Germany; 1983:iii+222.
Samko SG: Density in the generalized Sobolev spaces . Doklady Akademii Nauk. Rossiĭskaya Akademiya Nauk 1999, 369(4):451–454.
Zhang QH: A strong maximum principle for differential equations with nonstandard -growth conditions. Journal of Mathematical Analysis and Applications 2005, 312(1):24–32. 10.1016/j.jmaa.2005.03.013
Zhang QH: Existence of solutions for -Laplacian equations with singular coefficients in . Journal of Mathematical Analysis and Applications 2008, 348(1):38–50. 10.1016/j.jmaa.2008.06.026
Zhang Q, Liu X, Qiu Z: The method of subsuper solutions for weighted -Laplacian equation boundary value problems. Journal of Inequalities and Applications 2008, 2008:-18.
Zhang Q, Qiu Z, Liu X: Existence of solutions for a class of weighted -Laplacian system multipoint boundary value problems. Journal of Inequalities and Applications 2008, 2008:-18.
Manásevich R, Mawhin J: Periodic solutions for nonlinear systems with -Laplacian-like operators. Journal of Differential Equations 1998, 145(2):367–393. 10.1006/jdeq.1998.3425
This paper is partly supported by the National Science Foundation of China (10701066, 10926075 and 10971087), China Postdoctoral Science Foundation funded project (20090460969), the Natural Science Foundation of Henan Education Committee (2008-755-65), and the Natural Science Foundation of Jiangsu Education Committee (08KJD110007).