- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Journal of Applied Mathematics

Volume 2013 (2013), Article ID 684038, 7 pages

http://dx.doi.org/10.1155/2013/684038

## Weak Solutions for a Second Order Dirichlet Boundary Value Problem on Time Scale

Department of Foundation, Shandong Yingcai University, Jinan, Shandong 250104, China

Received 7 July 2013; Revised 7 October 2013; Accepted 9 October 2013

Academic Editor: Jin Liang

Copyright © 2013 Wandong Lou. 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.

#### Abstract

We adopt the Leray-Schauder degree theory and critical point theory to consider a second order Dirichlet boundary value problem on time scales and obtain some existence theorems of weak solutions for the previous problem.

#### 1. Introduction

In recent years, differential equations on time scales have been studied extensively in the literature. There have been many approaches to study the existence and multiplicity of solutions for differential equations on time scales. The variational method is, to the best of our knowledge, novel, and it may open a new approach to deal with nonlinear problems on time scales. For more details about recent development in the direction, we refer the reader to [1–12] and the references therein. The two books [13, 14] by Bohner and Peterson summarize some excellent results on time scales.

In [1, 2], the authors utilized variational techniques and critical point theory to derive some sufficient conditions for the existence of positive solutions for the following second order dynamic equation with Dirichlet boundary conditions:

In [8], Zhou and Li studied Sobolev's spaces on time scales, and given their properties, as applications, they presented variational methods and critical point theory to obtain the existence of solutions for the second order Hamiltonian systems on time scales as follows: where is -measurable in for every and continuously differentiable in for -a.e. .

Motivated by the works cited previously, in this paper, we study the second order Dirichlet boundary value problem on time scales. Consider where we say that a property holds for -almost every or -almost everywhere on , -a.e., whenever there exists a set with null Lebesgue -measure such that this property holds for every , and is an arbitrary bounded time scale such that and .

We assume that is a parameter, , , where means that fulfils the Carathéodory conditions (see [15, Definition 3.2.22] and [2, (i) and (ii) in ()]). By virtue of the Leray-Schauder degree theory, a result involving the existence of weak solutions is established. Next, we utilize two critical point theorems to investigate that problem (3) has at least one weak solution and infinitely many weak solutions with the parameter , respectively. The results obtained here improve some existing results in the literature.

#### 2. Preliminaries and an Existence Theorem via Leray-Schauder Degree Theory

We first offer some related preliminaries concerning the basic definitions and results on time scales. For convenience, for , we denote . Let Sobolev's space be defined by (see [1–3]) where (see [3, Definition 2.9]) denotes the set of absolutely continuous functions on . Then is a Hilbert space with the inner product and let be the norm induced by the inner product (see [1, page 1265] and [2, page 371]).

Lemma 1 (see [3, Proposition 3.7]). *The immersion is compact.**We firstly need to consider the following eigenvalue problem:
**
For each , multiply by on both sides of the previous equation in (6) and integrate over to obtain
**By (7) of [8], we obtain
*

Lemma 2 (see [9, Lemma 3.4] and [13, Theorem 4.95]). *The eigenvalues of (6) may be arranged as , and can be expressed by
**
By Lemma 2, if there exists and , then we have
**
Choosing , we can easily obtain
**
Moreover, we also have
*

Lemma 3 (see [16, Corollary 3.3]). *Let . Then the Wirtinger-type inequality is
**
where is defined by Lemma 2.**Denote an operator as follows
**
By Hölders inequality and Lemma 3, we have
**
Then is a bounded linear operator. By Lemma 1, is compact. Clearly, is also symmetric, for . Consequently, the supremum is achieved by Theorem 6.3.12 in [15]. Hence, (10)–(12) are true.*

In what follows, we offer two lemmas involving Leray-Schauder degree.

Lemma 4 (see [15, Proposition 5.2.22]). *Let be an open bounded set in a Banach space and . Let be a unique solution in of the equation . Assume that the Fréchet derivative exists and is continuously invertible. Then
**
and is the multiplicity of the eigenvalue of the operator .*

Lemma 5 (see [15, Theorem 5.2.13]). *Let be an open bounded set in a Banach space . There exists a mapping defined for all and such that , . This mapping has the homotopy invariance property: if and , , and are such that , for every and , then .*

Now, we list our hypotheses for (3).(H1) is a parameter and , where are determined by Lemma 2.(H2); there exist , and such that (H3) is -Lipschitz continuous with respect to the second variable; that is, there exists a constant , such that

*Remark 6. *We can take , where are as in (H2). Clearly, it also satisfies (H3). In fact,

It is clear that (3) is equivalent to the following integral equation:
We define an operator as follows:

Lemma 7. * is compact on .*

*Proof. *We first prove that there exists a ball () such that maps into itself if is large enough. Indeed, (H2) leads to
Let , and . For any ,
Therefore, the above claim is true. Meanwhile, we also arrive at immediately is uniformly bounded on . On the other hand, we shall prove that is equicontinuous on . By (H3) and Hölders inequality, we have
We have from Arzelà-Ascoli theorem is compact on .

Theorem 8. *Assume that (H1)–(H3) hold; problem (3) has at least a weak solution.*

*Proof. *We will utilize Leray-Schauder degree to prove the result. One is invited to verify that the existence of a solution of (3) is equivalent to the existence of a solution of the operator equation
where and are defined by (14) and (21), respectively. For the reason that is bounded, linear, and compact on , we easily see that Fréchet derivative exists and is continuously invertible by (H1). Consequently, Lemma 4 implies
So, to complete the proof, we have to find an admissible homotopy connecting and . Define
We shall prove that there exists such that for all , , and , we obtain
If the claim is false, we can find sequences and such that and
Set and divide (29) by to get
This is equivalent to
for each . Now, passing to suitable subsequences, without loss of generality, we may assume that and in . Note that, similar with (22), we find
On the other hand, by the compactness of , we have (see [15, Proposition 2.2.4(iii)]). In (30), let ; we have , and satisfies . However, this contradicts our assumption , . This implies that (28) holds. By Lemma 5 and (26), we have
Therefore, (3) has at least a weak solution.

#### 3. Two Existence Theorems via Critical Point Theory

We still use the Sobolev’s space defined by (4), which is equipped with the inner product and the corresponding norm Now, we will establish the corresponding variational formulations for problem (3) as follows: where .

We now list our hypotheses for (3).(H4) is -measurable in for every and continuously differentiable in for , and there exist and for all and -a.e. .(H5) There exist and such that (H6) There exist such that (H7) uniformly for .(H8) , , .

*Remark 9. *Let
where is a fixed positive integer. Then
Direct computation shows
Clearly, (H4)–(H8) hold.

By (H4), we find (see [11, Theorem 2.27]), and for ,
Clearly, the existence of weak solutions for (3) is equivalent to the existence of critical points for . In what follows, we take , .

Lemma 10 (see [17, Theorem 1.2]). *Suppose is a reflexive Banach space with norm , and is coercive and weak (sequentially) lower semicontinuous; that is, the following conditions are fulfilled as follows:*(1)* as , .*(2)* For any , any sequence such that , there holds
* *Then is bounded from below and attains its infimum on .*

Theorem 11. *If (H4) and (H5) with hold, (3) has at least a weak solution.*

*Proof. *Our working space is a Hilbert space, so it is reflexive. By Lemma 2.1 and Theorem 3.3 in [8], we see is weakly lower semicontinuous on . On the other hand, by (H5), we have
and thus as . Lemma 10 implies can attain its infimum in ; that is, (3) has at least a weak solution. This completes the proof.

If is a Hilbert space, there exist (see [18]) and such that , and . For , denote , , and . Clearly, with for all . Since is a Hilbert space, we can choose an orthonormal basis such that

*Definition 12 (see [19, Definition 1.1]). *Assume that is a Banach space with norm ; we say that satisfies Cerami condition (C) if for all ,(i)any bounded sequence satisfying , possesses a convergent subsequence;(ii)there exist such that for any with , . Denote . We will introduce the following Fountain theorem under condition (C).

Lemma 13 (see [19, Proposition 1.2]). *Assume that satisfies condition (C), and . For each , there exists such that*(i)*, ;*(ii)*.**Then has a sequence of critical points , such that as .*

Lemma 14. *Suppose that (H4), (H5), and (H6) hold; then satisfies the condition (C).*

*Proof. *For all , we assume that is bounded and
Going, if necessary, to a subsequence, we can assume that in ; then
Lemma 1 leads to
It follows that in and , we see

Clearly, it is equivalent to , and then we have
Hence, condition (i) of Definition 12 holds. Next, we prove condition (ii) of Definition 12, suppose the contrary, there exists a sequence such that
By (52), there exists a constant such that
On the other hand, (H6) implies
This, together with (54), leads to there is a constant such that . By (H5), similar with (45), we have
and thus if (53) holds, which contradicts in (52). This proves that satisfies condition (C).

Theorem 15. *Under assumptions (H4)–(H8) with in (H5), problem (3) has infinitely many solutions.*

*Proof. *(H8) and Lemma 14 enable us to obtain that and satisfies the condition (C). For any , let
and it is easy to verify that defined by (57) is a norm of . Since all the norms of a finite dimensional normed space are equivalent, so there exists positive constant such that . In view of (H7), there exist and such that
This implies that
Since ; then there exists positive constant such that
Let , . Then by Lemma 3.8 of [20] and Lemma 1 we obtain , as . For any , note that , in view of (H5), we find that
Choosing , then as , then we have;
Hence, as . Combining this and (60), we can take , and thus . Up until now, we have proved that the functional satisfies all the conditions of Lemma 13; then has infinitely many solutions.

#### Acknowledgment

This research is supported by the Project of Shandong Province Higher Educational Science and Technology Program (Grant no. J13LI51).

#### References

- R. P. Agarwal, V. Otero-Espinar, K. Perera, and D. R. Vivero, “Existence of multiple positive solutions for second order nonlinear dynamic BVPs by variational methods,”
*Journal of Mathematical Analysis and Applications*, vol. 331, no. 2, pp. 1263–1274, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. P. Agarwal, V. Otero-Espinar, K. Perera, and D. R. Vivero, “Multiple positive solutions of singular Dirichlet problems on time scales via variational methods,”
*Nonlinear Analysis A: Theory, Methods & Applications*, vol. 67, no. 2, pp. 368–381, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. P. Agarwal, V. Otero-Espinar, K. Perera, and D. R. Vivero, “Basic properties of Sobolev's spaces on time scales,”
*Advances in Difference Equations*, vol. 2006, Article ID 038121, 2006. View at Publisher · View at Google Scholar · View at Scopus - V. Otero-Espinar and T. Pernas-Castaño, “Variational approach to second-order impulsive dynamic equations on time scales,”
*Boundary Value Problems*, vol. 2013, article 119, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - Y.-H. Su and W.-T. Li, “Periodic solution for non-autonomous second order Hamiltonian systems on time scales,”
*Dynamic Systems and Applications*, vol. 18, no. 3-4, pp. 621–636, 2009. View at Zentralblatt MATH · View at MathSciNet - Y.-H. Su and W.-T. Li, “Periodic solution of second-order Hamiltonian systems with a change sign potential on time scales,”
*Discrete Dynamics in Nature and Society*, vol. 2009, Article ID 328479, 17 pages, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y.-H. Su and Z. Feng, “A non-autonomous Hamiltonian system on time scales,”
*Nonlinear Analysis A: Theory, Methods & Applications*, vol. 75, no. 10, pp. 4126–4136, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Zhou and Y. Li, “Sobolev's spaces on time scales and its applications to a class of second order Hamiltonian systems on time scales,”
*Nonlinear Analysis A: Theory, Methods & Applications*, vol. 73, no. 5, pp. 1375–1388, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q.-G. Zhang and H.-R. Sun, “Variational approach for Sturm-Liouville boundary value problems on time scales,”
*Journal of Applied Mathematics and Computing*, vol. 36, no. 1-2, pp. 219–232, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Zhou and Y. Li, “Variational approach to a class of second order Hamiltonian systems on time scales,”
*Acta Applicandae Mathematicae*, vol. 117, pp. 47–69, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Li and J. Zhou, “Existence of solutions for a class of damped vibration problems on time scales,”
*Advances in Difference Equations*, Article ID 727486, 27 pages, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Q. Zhang, X. He, and H. Sun, “Positive solutions for Sturm-Liouville BVPs on time scales via sub- supersolution and variational methods,”
*Boundary Value Problems*, vol. 2013, article 123, 2013. - M. Bohner and A. Peterson,
*Dynamic Equations on Time Scales: An Introduction with Applications*, Birkhäuser Boston, Boston, Mass, USA, 2001. View at Publisher · View at Google Scholar · View at MathSciNet - M. Bohner and A. Peterson,
*Advances in Dynamic Equations on Time Scales, Applications to Differential Equations*, Birkhäuser Boston, Boston, Mass, USA, 2003. View at Publisher · View at Google Scholar · View at MathSciNet - P. Drábek and J. Milota,
*Methods of Nonlinear Analysis*, Birkhäuser, Basel, Switzerland, 2007. View at MathSciNet - R. P. Agarwal, V. Otero-Espinar, K. Perera, and D. R. Vivero, “Wirtinger's inequalities on time scales,”
*Canadian Mathematical Bulletin*, vol. 51, no. 2, pp. 161–171, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Struwe,
*Variational Methods: Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems*, vol. 34, Springer, Berlin, Germany, 4th edition, 2008. View at MathSciNet - X. Fan and X. Han, “Existence and multiplicity of solutions for ${\mathbb{R}}^{N}$-Laplacian equations in ${R}^{N}$,”
*Nonlinear Analysis A: Theory, Methods & Applications*, vol. 59, no. 1-2, pp. 173–188, 2004. View at Publisher · View at Google Scholar · View at MathSciNet - A. Qian and C. Li, “Infinitely many solutions for a Robin boundary value problem,”
*International Journal of Differential Equations*, Article ID 548702, 9 pages, 2010. View at Zentralblatt MATH · View at MathSciNet - M. Willem,
*Minimax Theorems*, Birkhäuser Boston, Boston, Mass, USA, 1996. View at Publisher · View at Google Scholar · View at MathSciNet