Journal of Applied Mathematics

Journal of Applied Mathematics / 2013 / Article

Research Article | Open Access

Volume 2013 |Article ID 605169 | 9 pages | https://doi.org/10.1155/2013/605169

Sequential Derivatives of Nonlinear -Difference Equations with Three-Point -Integral Boundary Conditions

Academic Editor: Hak-Keung Lam
Received31 Oct 2012
Accepted24 Jan 2013
Published31 Mar 2013

Abstract

This paper studies sufficient conditions for the existence of solutions to the problem of sequential derivatives of nonlinear -difference equations with three-point -integral boundary conditions. Our results are concerned with several quantum numbers of derivatives and integrals. By using Banach's contraction mapping, Krasnoselskii's fixed-point theorem, and Leray-Schauder degree theory, some new existence results are obtained. Two examples illustrate our results.

1. Introduction

The study of -calculus or quantum calculus was initiated by the pioneer works of Jackson [1], Carmichael [2], Mason [3], Adams [4], Trjitzinsky [5], and so forth. Since then, in the last few decades, this subject has evolved into a multidisciplinary research area with many applications; for example, see [614]. For some recent works, we refer the reader to [1521] and references therein. However, the theory of boundary value problems for nonlinear -difference equations is still in the beginning stages and it needs to be explored further.

In [22], Ahmad investigated the existence of solutions for a nonlinear boundary value problem of third-order -difference equation: Using Leray-Schauder degree theory and standard fixed-point theorems, some existence results were obtained. Moreover, he showed that if , then his results corresponded to the classical results. Ahmad et al. [23] studied a boundary value problem of a nonlinear second-order -difference equation with nonseparated boundary conditions They proved the existence and uniqueness theorems of the problem (2) using the Leray-Schauder nonlinear alternative and some standard fixed-point theorems. For some very recent results on nonlocal boundary value problems of nonlinear -difference equations and inclusions, see [2426].

In this paper, we discuss the existence of solutions for the following nonlinear -difference equation with three-point integral boundary condition: where , , , , , , is a fixed point, and is a given constant.

The aim of this paper is to prove some existence and uniqueness results for the boundary value problem (3). Our results are based on Banach’s contraction mapping, Krasnoselskii's fixed-point theorem, and Leray-Schauder degree theory. Since the problem (3) has different values of the quantum numbers of the -derivative and the -integral, the existence results of such problem are also new.

2. Preliminaries

Let us recall some basic concepts of quantum calculus [15].

For , we define the -derivative of a real-valued function as The higher-order -derivatives are given by The -integral of a function defined on the interval is given by and for = 0, we denote provided the series converges. If and is defined on the interval , then Similarly, we have Observe that and if is continuous at , then In -calculus, the product rule and integration by parts formula are In the limit , the -calculus corresponds to the classical calculus. The above results are also true for quantum numbers , such that and .

Lemma 1. Let , , , , and let be a constant. Then for any , the boundary value problem is equivalent to the integral equation

Proof. For , -integrating (13) from to , we obtain Equation (16) can be written as For , -integrating (17) from to , we have From the first condition of (14), it follows that . For , -integrating equation (18) from to , we get The second boundary condition (14) implies that Therefore, Substituting the values of and in (18), we obtain (15). This completes the proof.

For the forthcoming analysis, let denote the Banach space of all continuous functions from to endowed with the norm defined by .

In the following, for the sake of convenience, we set

3. Main Results

Now, we are in the position to establish the main results. We transform the boundary value problem (3) into a fixed-point problem. In view of Lemma 1, for , , we define the operator as Note that the problem (3) has solutions if and only if the operator equation has fixed points.

Our first result is based on Banach’s fixed-point theorem.

Theorem 2. Assume that is a jointly continuous function satisfying the conditions , for all , ; ,where is a Lipschitz constant, and are defined by (22) and (23), respectively.
Then, the boundary value problem (3) has a unique solution.

Proof. Assume that ; we choose a constant Now, we will show that , where . For any , we have
Next, we will show that is a contraction. For any and for each , we have Since , is a contraction. Thus, the conclusion of the theorem follows by Banach's contraction mapping principle. This completes the proof.

Our second result is based on the following Krasnoselskii’s fixed-point theorem [27].

Theorem 3. Let be a bounded closed convex and nonempty subset of a Banach space . Let be operators such that (i) whenever ;(ii) is compact and continuous;(iii) is a contraction mapping.Then, there exists such that .

Theorem 4. Assume that and hold with
, for all , with .
If then the boundary value problem (3) has at least one solution on .

Proof. Setting and choosing a constant where and are given by (22) and (23), respectively, we consider that .
In view of Lemma 1, we define the operators and on the set as for . By computing directly, we have Therefore, . The condition (28) implies that is a contraction mapping. Next, we will show that is compact and continuous. Continuity of coupled with the assumption implies that the operator is continuous and uniformly bounded on . We define . For with and , we have Actually, as , the right-hand side of the above inequality tends to zero. So is relatively compact on . Hence, by the Arzelá-Ascoli theorem, is compact on . Therefore, all the assumptions of Theorem 5 are satisfied and the conclusion of Theorem 5 implies that the three-point integral boundary value problem (3) has at least one solution on . This completes the proof.

As the third result, we prove the existence of solutions of (3) by using Leray-Schauder degree theory.

Theorem 5. Let . Assume that there exist constants , where and are given by (22) and (23), respectively, and such that for all , . Then, the boundary value problem (3) has at least one solution.

Proof. Let us define an operator as in (24). We will prove that there exists at least one solution of the fixed-point equation We define a ball , with a constant radius , given by Then, it is sufficient to show that satisfies Now, we set Then, by the Arzelá-Ascoli theorem, we get that is completely continuous. If (35) holds, then the following Leray-Schauder degrees are well defined. From the homotopy invariance of topological degree, it follows that where denotes the unit operator. By the nonzero property of Leray-Schauder degree, for at least one . Let us assume that for some . Then, for all , we obtain Taking norm and solving for , this yields Let , then (35) holds. This completes the proof.

4. Examples

In this section, we give two examples to illustrate our results.

Example 6. Consider the following nonlinear -difference equation with boundary value problem:
Set , , , , , , , and . Since , then, and are satisfied with , . Hence, . Therefore, by Theorem 2, the boundary value problem (40) has a unique solution on .

Example 7. Consider the following nonlinear -difference equation with boundary value problem:
Set , , , , , , and . Here, . So, , , and Hence, by Theorem 5, the boundary value problem (42) has at least one solution on .

Acknowledgments

The authors would like to thank the reviewers for their valuable comments and suggestions on the paper. This research is supported by King Mongkut’s University of Technology North Bangkok, Thailand.

References

  1. F. H. Jackson, “On q-difference equations,” American Journal of Mathematics, vol. 32, no. 4, pp. 305–314, 1910. View at: Publisher Site | Google Scholar | MathSciNet
  2. R. D. Carmichael, “The general theory of linear q-difference equations,” American Journal of Mathematics, vol. 34, no. 2, pp. 147–168, 1912. View at: Publisher Site | Google Scholar | MathSciNet
  3. T. E. Mason, “On properties of the solutions of linear q-difference equations with entire function coefficients,” American Journal of Mathematics, vol. 37, no. 4, pp. 439–444, 1915. View at: Publisher Site | Google Scholar | MathSciNet
  4. C. R. Adams, “On the linear ordinary q-difference equation,” American Mathematical Series II, vol. 30, pp. 195–205, 1929. View at: Google Scholar
  5. W. J. Trjitzinsky, “Analytic theory of linear q-differece equations,” Acta Mathematica, vol. 61, no. 1, pp. 1–38, 1933. View at: Publisher Site | Google Scholar
  6. T. Ernst, “A new notation for q-calculus and a new q-Taylor formula,” U.U.D.M. Report, Department of Mathematics, Uppsala University, 1999. View at: Google Scholar
  7. R. J. Finkelstein, “q-field theory,” Letters in Mathematical Physics, vol. 34, no. 2, pp. 169–176, 1995. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  8. R. J. Finkelstein, “q-deformation of the Lorentz group,” Journal of Mathematical Physics, vol. 37, no. 2, pp. 953–964, 1996. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  9. R. Floreanini and L. Vinet, “Automorphisms of the q-oscillator algebra and basic orthogonal polynomials,” Physics Letters A, vol. 180, no. 6, pp. 393–401, 1993. View at: Publisher Site | Google Scholar | MathSciNet
  10. R. Floreanini and L. Vinet, “Symmetries of the q-difference heat equation,” Letters in Mathematical Physics, vol. 32, no. 1, pp. 37–44, 1994. View at: Publisher Site | Google Scholar | MathSciNet
  11. R. Floreanini and L. Vinet, “q-gamma and q-beta functions in quantum algebra representation theory,” Journal of Computational and Applied Mathematics, vol. 68, no. 1-2, pp. 57–68, 1996. View at: Publisher Site | Google Scholar | MathSciNet
  12. P. G. O. Freund and A. V. Zabrodin, “The spectral problem for the q-Knizhnik-Zamolodchikov equation and continuous q-Jacobi polynomials,” Communications in Mathematical Physics, vol. 173, no. 1, pp. 17–42, 1995. View at: Publisher Site | Google Scholar | MathSciNet
  13. G. Gasper and M. Rahman, Basic Hypergeometric Series, vol. 35 of Encyclopedia of Mathematics and Its Applications, Cambridge University Press, Cambridge, UK, 1990. View at: MathSciNet
  14. G.-N. Han and J. Zeng, “On a q-sequence that generalizes the median Genocchi numbers,” Annales des Sciences Mathématiques du Québec, vol. 23, no. 1, pp. 63–72, 1999. View at: Google Scholar | MathSciNet
  15. V. Kac and P. Cheung, Quantum Calculus, Universitext, Springer, New York, NY, USA, 2002. View at: Publisher Site | MathSciNet
  16. G. Bangerezako, “Variational q-calculus,” Journal of Mathematical Analysis and Applications, vol. 289, no. 2, pp. 650–665, 2004. View at: Publisher Site | Google Scholar | MathSciNet
  17. A. Dobrogowska and A. Odzijewicz, “Second order q-difference equations solvable by factorization method,” Journal of Computational and Applied Mathematics, vol. 193, no. 1, pp. 319–346, 2006. View at: Publisher Site | Google Scholar | MathSciNet
  18. G. Gasper and M. Rahman, “Some systems of multivariable orthogonal q-Racah polynomials,” The Ramanujan Journal, vol. 13, no. 1–3, pp. 389–405, 2007. View at: Publisher Site | Google Scholar | MathSciNet
  19. M. E. H. Ismail and P. Simeonov, “q-difference operators for orthogonal polynomials,” Journal of Computational and Applied Mathematics, vol. 233, no. 3, pp. 749–761, 2009. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
  20. M. Bohner and G. Sh. Guseinov, “The h-Laplace and q-Laplace transforms,” Journal of Mathematical Analysis and Applications, vol. 365, no. 1, pp. 75–92, 2010. View at: Publisher Site | Google Scholar | MathSciNet
  21. M. El-Shahed and H. A. Hassan, “Positive solutions of q-difference equation,” Proceedings of the American Mathematical Society, vol. 138, no. 5, pp. 1733–1738, 2010. View at: Publisher Site | Google Scholar | MathSciNet
  22. B. Ahmad, “Boundary-value problems for nonlinear third-order q-difference equations,” Electronic Journal of Differential Equations, vol. 94, pp. 1–7, 2011. View at: Google Scholar | MathSciNet
  23. B. Ahmad, A. Alsaedi, and S. K. Ntouyas, “A study of second-order q-difference equations with boundary conditions,” Advances in Difference Equations, vol. 2012, article 35, 2012. View at: Google Scholar
  24. B. Ahmad, S. K. Ntouyas, and I. K. Purnaras, “Existence results for nonlinear q-difference equations with nonlocal boundary conditions,” Communications on Applied Nonlinear Analysis, vol. 19, no. 3, pp. 59–72, 2012. View at: Google Scholar | MathSciNet
  25. B. Ahmad and J. J. Nieto, “On nonlocal boundary value problems of nonlinear q-difference equations,” Advances in Difference Equations, vol. 2012, article 81, 2012. View at: Publisher Site | Google Scholar | MathSciNet
  26. B. Ahmad and S. K. Ntouyas, “Boundary value problems for q-difference inclusions,” Abstract and Applied Analysis, vol. 2011, Article ID 292860, 15 pages, 2011. View at: Publisher Site | Google Scholar | MathSciNet
  27. M. A. Krasnoselskii, “Two remarks on the method of successive approximations,” Uspekhi Matematicheskikh Nauk, vol. 10, no. 1, pp. 123–127, 1955. View at: Google Scholar | MathSciNet

Copyright © 2013 Nittaya Pongarm et al. 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.

662 Views | 520 Downloads | 8 Citations
 PDF  Download Citation  Citation
 Download other formatsMore
 Order printed copiesOrder

We are committed to sharing findings related to COVID-19 as quickly and safely as possible. Any author submitting a COVID-19 paper should notify us at help@hindawi.com to ensure their research is fast-tracked and made available on a preprint server as soon as possible. We will be providing unlimited waivers of publication charges for accepted articles related to COVID-19.