Method of quasilinearization for a nonlocal singular boundary value problem in weighted spaces
Boundary Value Problemsvolume 2013, Article number: 261 (2013)
This paper studies the existence and uniqueness of solutions for a nonlocal singular boundary value problem of second-order integro-differential equations in weighted spaces. The method of quasilinearization is applied to obtain monotone sequences of approximate solutions converging uniformly and quadratically to a unique solution of the problem at hand. An illustrative example is presented.
MSC:34A45, 34B16, 45J05.
Boundary value problems (BVPs) for nonlinear differential equations arise in a variety of areas of applied mathematics, physics and in variational problems of control theory. A point of central importance in the study of nonlinear boundary value problems is to understand how the properties of nonlinearity in a problem influence the nature of the solutions to the boundary value problems. During the last two decades, the theory of singular boundary value problems has also been extensively developed. This is largely due to the fact that the mathematical models in the study of nonlinear phenomena give rise to singular boundary value problems. Examples include energy analysis problems [1, 2], plasma and electric potential theory , circular membrane theory , membrane response of a spherical cap [5, 6], deformation of membrane cap , theory of colloids , flow and heat transfer , draining flow [10, 11], flow of a gas through porous media , Homann flow , boundary layer problems , pseudoplastic fluids , etc. For the theoretical background of singular boundary value problems, we refer the reader to the references [16, 17].
Integro-differential equations arise in many engineering and scientific disciplines, often as an approximation to partial differential equations, which represent much of the continuum phenomena. Many forms of these equations are possible. Some of the applications are unsteady aerodynamics and aero-elastic phenomena, visco-elasticity, visco-elastic panel in super sonic gas flow, fluid dynamics, electro-dynamics of complex medium, many models of population growth, polymer rheology, neural network modeling, sandwich system identification, materials with fading memory, mathematical modeling of the diffusion of discrete particles in a turbulent fluid, heat conduction in materials with memory, theory of lossless transmission lines, theory of population dynamics, compartmental systems, nuclear reactors and mathematical modeling of hereditary phenomena. Also, the governing equations in the problems of biological sciences, such as spreading of disease by the dispersal of infectious individuals, the reaction-diffusion models in ecology to estimate the speed of invasion etc., are integro-differential equations. Thus, it is important to study singular boundary value problems for nonlinear integro-differential equations. It is worth mentioning that most of the results on singular boundary value problems deal with the existence and uniqueness of the solution of the problems under certain conditions. There are only a few papers which develop some constructive methods for the solution of the nonlinear singular problems.
The study of singular nonlocal boundary value problems for nonlinear differential equations was initiated by Kiguradze and Lomtatidze  and Lomtatidze [19, 20]. Since then, more general nonlinear singular nonlocal boundary value problems have been studied extensively. Some results concerning the positive solutions of singular boundary value problems can be found in [21–25] and references therein. A great deal of the work on singular boundary value problems is mainly concerned with the existence of the solution. It is equally important to construct the solution of the problem once its existence is proved.
The monotone iterative technique is one of the efficient analytic methods for solving nonlinear boundary value problems. This technique coupled with the method of upper and lower solutions  manifests itself as an effective and flexible mechanism that offers theoretical as well as constructive existence results in a closed set, generated by the lower and upper solutions. In general, the convergence of the sequence of approximate solutions given by the monotone iterative technique is at most linear. To obtain a sequence of approximate solutions converging quadratically, we use the method of quasilinearization (QSL). The origin of the quasilinearization lies in the theory of dynamic programming . In fact, the quasilinearization technique is a variant of Newton’s method. This method applies to semilinear equations with convex (concave) nonlinearities and generates a monotone scheme whose iterates converge quadratically to the solution of the problem at hand. In view of its diverse applications, the quasilinearization approach is quite elegant and easier for application algorithms. A detailed description of the QSL method can be found in the monograph  and a series of papers [29–48].
Devi and Vatsala  discussed the QSL method for second-order singular boundary value problems with solutions in weighted spaces. Eloe  developed the QSL method for singular boundary value problems on an unbounded domain. Ramos  discussed piecewise quasilinearization techniques for singular boundary value problems. El-Gebeily and O’Regan  studied the QSL method for second-order singular nonlinear differential equations with nonlinear boundary conditions. For some existence results on singular initial and boundary value problems, see [53, 54]. The theoretical background of integro-differential equations can be found in the text by Lakshmikantham and Rao . To the best of our knowledge, the QSL method has not been discussed for singular nonlocal second-order boundary value problems involving nonlinear integro-differential equations on a bounded domain.
In this paper, we consider the following singular boundary value problem (SBVP):
where , , and . In the forthcoming analysis, will be written as for the sake of convenience.
Here we remark that a solution to a singular problem may not lie in the space , but it should depend on the singularity in some sense. For example, the solution to the singular problem
(, are constants) is not continuous at but . Such a situation provides motivation to consider the singular boundary value problems in a weighted Banach space.
2 Preliminaries and some existence results
In this section, we follow the terminology introduced in .
Definition 2.1 A function with , and is a solution of (1.1) if it satisfies singular boundary value problem (1.1).
Remark 2.2 Whenever we say is a solution of (1.1), it means that is a solution of (1.1). Similar terminology will be used for lower and upper solutions.
Throughout the forthcoming analysis, we work in a Banach space of functions defined by
with the norm
Lemma 2.3 Singular boundary value problem (1.1) is equivalent to the singular integral equation
Proof Differentiating (2.1) and rearranging the terms, we have
Again differentiating, it follows that
Multiplying (2.1) by and taking the limit , we get , and in (2.1) yields . Thus, defined by (2.1) satisfies (1.1). A straightforward computation shows that (1.1) implies (2.1). This completes the proof. □
Now we prove a general existence principle for singular boundary value problem (1.1). The proof of this principle is based on the Schauder fixed point theorem.
Lemma 2.4 Assume that , and are continuous functions. Furthermore, there exist positive constants , , such that for , for , and for . Then problem (1.1) has a solution.
Proof We reduce the problem of finding a solution of (1.1) to a fixed point problem , where is given by
If in ℰ, then
In view of the continuity of f, K, g, it follows that in ℰ and so is continuous.
Now, for with , we have
which are independent of u. So is relatively compact. Hence, by the Arzela-Ascoli theorem, ℱ is compact on ℰ. Thus, by Schauder’s fixed point theorem, ℱ has a fixed point in ℰ. This completes the proof. □
Definition 2.5 A function such that , , is called an upper solution for (1.1) if
Similarly, a function such that , , is called a lower solution for (1.1) if
Lemma 2.6 Assume that and are continuous functions, and is a Lipschitz function. Suppose that there exist an upper solution β and a lower solution α for (1.1) such that on , and . Then (1.1) has a solution u satisfying the relation for .
Proof Consider the modified problem
By Lemma 2.4, problem (2.2) has a solution u. Let us claim that
If (2.3) is true, then we are done, that is, u is a solution of (1.1). On the contrary, assume that for . Then there exists such that has a positive maximum at . Thus, and . On the other hand,
which is a contradiction. Hence for . Similarly, it can be shown that for . In view of assumptions that g is a Lipschitz function and on , it follows that . Thus we conclude that
This completes the proof. □
Lemma 2.7 Let be lower and upper solutions of (1.1) respectively with
Further, suppose that , and are continuous functions and satisfy
whenever . Then on .
Proof For the sake of contradiction, suppose that the conclusion does not hold, that is, at some . Then, by continuity, there exists a local maximum at . Thus, at , we have
In view of (2.4), (2.5) takes the form
which can alternatively be written as at . Using the definition of lower and upper solutions together with (2.5), we obtain
which yields a contradiction:
Hence we obtain on . As , therefore, in view of the foregoing arguments, at , we have
which is a contradiction. This completes the proof. □
3 Main result
Theorem 3.1 Assume that
(A1) are lower and upper solutions of (1.1) respectively such that for with ;
(A2) is convex, that is, exists, continuous with for each , and , where ;
(A3) is convex, that is, exists, continuous with for each , and , where ;
(A4) g is continuous on ℝ such that , exist and , .
Then there exist monotone sequences and that converge uniformly and quadratically in the space of continuous functions on to a unique solution of (1.1).
Proof Using the generalized mean value theorem together with (A2), (A3), and (A4), we obtain
Now, we set
Consider the singular BVP
Using assumption (A1), (3.1) and (3.2), we obtain
Further, we note that and using assumption (A4), for , we find that
which implies that . Thus, it follows that and are respectively lower and upper solutions of (3.4). Since (), therefore it follows by Lemmas 2.6 and 2.7 that there exists a unique solution of (3.4) satisfying
Observe that the hypotheses of Lemma 2.7 hold in view of the conditions , , and , demanded in (A2), (A3), and (A4).
Next, consider the singular BVP
Using the definition of the lower and upper solutions, (3.1) and (3.2), we get
By assumption (A4), we have as
and . In view of the above inequalities, we find that and are respectively lower and upper solutions of (3.5). Therefore it follows by Lemmas 2.6 and 2.7 that there exists a unique solution of (3.5) satisfying
Now we show that . Using (3.1), (3.2), and assumption (A1), we obtain
and in view of (A4), we get , which implies that . Clearly, the above inequalities and singular boundary value problem (3.5) satisfy the hypotheses of Lemma 2.7. Therefore, by the conclusion of Lemma 2.7, we have , . Consequently, we obtain
As a next step, we prove that
for . For that, we consider the following SBVP:
Using (3.1), (3.2), (3.3), and the inequality , we get
Since , are increasing in v by assumptions (A2) and (A3), therefore, , for . Consequently, in view of (3.1), (3.2), (3.3), we obtain the inequality
and by virtue of the inequality
we get . Thus, as argued earlier, there exists a unique solution of (3.6) such that
Now let us consider the following SBVP:
Again, using assumptions (A2)-(A4), (3.1), (3.2), (3.3), and the inequality
Applying the earlier arguments, it follows that there exists a unique solution of (3.7) such that
Following the procedure employed to prove , it can be shown that . Hence we have
As the monotone sequences and are both bounded, therefore, they converge to the limit functions and pointwise respectively.
Now we show that the convergence of the sequences and to the limit functions and respectively is indeed uniform. Using SBVP (3.6), integral equation (2.1), and relation (3.8), we observe that , , , are uniformly bounded sequences. Thus, by the Arzela-Ascoli theorem, the sequences , have uniformly convergent subsequences. Hence, by the monotonicity of the sequence in ℰ, it follows that the sequence converges uniformly to the limit function in ℰ. In a similar manner, the sequence in ℰ converges uniformly to the limit function in ℰ.
Finally, we show that the convergence of the sequences is quadratic. We only prove the quadratic convergence for the sequence as that of the sequence follows a similar procedure.
Let us define
Then, for , , , , we have
Setting , , where and provide bounds for and respectively and , , the above inequality takes the form
Given M, N and , there exists such that
By a comparison theorem , it follows from (3.9) and (3.10) that
which implies that
Now, we consider
where . Letting on and , we find that
From (3.11) and (3.12), we conclude that the sequence converges to the unique solution of SBVP (1.1) quadratically. Similarly, we can prove the quadratic convergence of the sequence . This completes the proof. □
Example Consider the following singular nonlocal boundary value problem:
where , , , , and A, B, C are suitable positive constants. Let and be respectively lower and upper solutions of (3.13). Clearly, and are not the solutions of (3.13) and , . Moreover, assumptions (A1), (A2), (A3), and (A4) of Theorem 3.1 are satisfied. Thus, the conclusion of Theorem 3.1 applies to problem (3.13).
In this paper, we have presented monotone sequences of approximate solutions converging uniformly and quadratically to a unique solution of a nonlocal singular boundary value problem involving second-order integro-differential equations in weighted spaces. The results established in this project are new and contribute to the present theory of singular boundary value problems of integro-differential equations. The present work provides a guideline to extend it further by relaxing the convexity assumptions on the nonlinear functions and in (1.1). In fact, we can find a continuous function such that , where exists, continuous with . In a similar manner, the convexity assumption on and the concavity assumption on can be relaxed. Further, for and in (1.1), our results become the existence results obtained in . The results for a nonlocal singular boundary value problem of second-order integro-differential equations involving a purely integral type of nonlinearity follow by taking in (1.1). Thus, the work presented in this paper takes care of numerous interesting situations.
Castro A, Kurepa A: Energy analysis of a nonlinear singular equation and applications. Rev. Colomb. Mat. 1988, 21: 155-166.
Kurepa A: Existence and uniqueness theorem for singular initial value problem and applications. Publ. Inst. Math. (Belgr.) 1990, 45: 89-93.
Agarwal RP, O’Regan D: Infinite interval problems modeling phenomena which arise in the theory of plasma and electrical potential theory. Stud. Appl. Math. 2003, 111: 339-358. 10.1111/1467-9590.t01-1-00237
Shin JY: A singular nonlinear boundary value problem in the nonlinear circular membrane under normal pressure. J. Korean Math. Soc. 1995, 32: 761-773.
Baxley J: A singular nonlinear boundary value problem: membrane response of a spherical cap. SIAM J. Appl. Math. 1988, 48: 497-505. 10.1137/0148028
Agarwal RP, O’Regan D, Lakshmikantham V: Existence criteria for singular boundary value problems modelling the membrane response of a spherical cap. Nonlinear Anal., Real World Appl. 2003, 4: 223-244. 10.1016/S1468-1218(02)00007-X
Johnson KN: Circularly symmetric deformations of shallow elastic membrane caps. Q. Appl. Math. 1997, 55: 537-550.
Agarwal RP, O’Regan D: Boundary value problems on the half line in the theory of colloids. Math. Probl. Eng. 2002, 8: 143-150. 10.1080/10241230212905
Soewona E, Vajravelu K, Mohapatra RN: Existence of solutions of a nonlinear boundary value problem arising in the flow and heat transfer over a stretching sheet. Nonlinear Anal. 1992, 18: 93-98. 10.1016/0362-546X(92)90049-K
Bernis F, Peletier LA: Two problems from draining flows involving third order ordinary differential equations. SIAM J. Math. Anal. 1996, 27: 515-527. 10.1137/S0036141093260847
Wang JY, Zhang ZX: A boundary value problem from draining and coating flows involving a third order differential equation. Z. Angew. Math. Phys. 1998, 49: 506-513. 10.1007/s000000050104
Agarwal RP, O’Regan D: Infinite interval problems modeling the flow of a gas through a semi-infinite porous medium. Stud. Appl. Math. 2002, 108: 245-257. 10.1111/1467-9590.01411
Agarwal RP, O’Regan D: A singular Homann differential equation. Z. Angew. Math. Mech. 2003, 83: 344-350. 10.1002/zamm.200310048
Wang J, Gao W, Zhang Z: Singular nonlinear boundary value problems arising in boundary layer theory. J. Math. Anal. Appl. 1999, 233: 246-256. 10.1006/jmaa.1999.6290
Nachman A, Callegari A: A nonlinear singular boundary value problem in the theory of pseudoplastic fluids. SIAM J. Appl. Math. 1980, 38: 275-282. 10.1137/0138024
O’Regan D: Theory of Singular Boundary Value Problems. World Scientific, Singapore; 1994.
O’Regan D: Existence Theory for Nonlinear Ordinary Differential Equations. Kluwer Academic, Dordrecht; 1997.
Kiguradze IT, Lomtatidze AG: On certain boundary value problems for second-order linear ordinary differential equations with singularities. J. Math. Anal. Appl. 1984, 101: 325-347. 10.1016/0022-247X(84)90107-0
Lomtatidze AG: A boundary value problem for second-order nonlinear ordinary differential equations with singularities. Differ. Equ. 1986, 22: 416-426.
Lomtatidze AG: Positive solutions of boundary value problems for second-order ordinary differential equations with singularities. Differ. Equ. 1987, 23: 1146-1152.
Agarwal RP, O’Regan D: Positive solutions to superlinear singular boundary value problems. J. Comput. Appl. Math. 1998, 88: 129-147. 10.1016/S0377-0427(97)00205-7
O’Regan D: Singular second order boundary value problems. Nonlinear Anal. 2000, 15: 1097-1109.
Hao Z-C, Liang J, Xiao T-J: Positive solutions of operator equations on half-line. J. Math. Anal. Appl. 2006, 314: 423-435. 10.1016/j.jmaa.2005.04.004
Liu L, Zhang X, Wu Y: Existence of positive solutions for singular higher-order differential equations. Nonlinear Anal. 2008, 68: 3948-3961. 10.1016/j.na.2007.04.032
Wang Y, Liu L, Wu Y: Positive solutions of singular boundary value problems on the half-line. Appl. Math. Comput. 2008, 197: 789-796. 10.1016/j.amc.2007.08.013
Ladde GS, Lakshmikantham V, Vatsala AS: Monotone Iterative Techniques for Nonlinear Differential Equations. Pitman, Boston; 1985.
Bellman R, Kalaba R: Quasilinearization and Nonlinear Boundary Value Problems. Am. Elsevier, New York; 1965.
Lakshmikantham V, Vatsala AS Mathematics and Its Applications 440. In Generalized Quasilinearization for Nonlinear Problems. Kluwer Academic, Dordrecht; 1998.
Mandelzweig VB, Tabakin F: Quasilinearization approach to nonlinear problems in physics with application to nonlinear ODEs. Comput. Phys. Commun. 2001, 141: 268-281. 10.1016/S0010-4655(01)00415-5
Eloe P, Gao Y: The method of quasilinearization and a three-point boundary value problem. J. Korean Math. Soc. 2002, 39: 319-330.
Cabada A, Nieto JJ: Quasilinearization and rate of convergence for higher order nonlinear periodic boundary value problems. J. Optim. Theory Appl. 2001, 108: 97-107. 10.1023/A:1026413921997
Nikolov S, Stoytchev S, Torres A, Nieto JJ: Biomathematical modeling and analysis of blood flow in an intracranial aneurysms. Neurol. Res. 2003, 25: 497-504. 10.1179/016164103101201724
Ahmad B: A quasilinearization method for a class of integro-differential equations with mixed nonlinearities. Nonlinear Anal., Real World Appl. 2006, 7: 997-1004. 10.1016/j.nonrwa.2005.09.003
Krivec R, Mandelzweig VB: Quasilinearization method and WKB. Comput. Phys. Commun. 2006, 174: 119-126. 10.1016/j.cpc.2004.12.017
Akyildiz FT, Vajravelu K: Existence, uniqueness, and quasilinearization results for nonlinear differential equations arising in viscoelastic fluid flow. Differ. Equ. Nonlinear Mech. 2006., 2006: Article ID 71717
Amster P, De Napoli P: A quasilinearization method for elliptic problems with a nonlinear boundary condition. Nonlinear Anal. 2007, 66: 2255-2263. 10.1016/j.na.2006.03.016
Pei M, Chang SK: A quasilinearization method for second-order four-point boundary value problems. Appl. Math. Comput. 2008, 202: 54-66. 10.1016/j.amc.2008.01.026
Pei M, Chang SK: A quasilinearization method for second-order four-point boundary value problems. Appl. Math. Comput. 2008, 202: 54-66. 10.1016/j.amc.2008.01.026
Ahmad B, Nieto J: Existence and approximation of solutions for a class of nonlinear impulsive functional differential equations with anti-periodic boundary conditions. Nonlinear Anal. 2008, 69: 3291-3298. 10.1016/j.na.2007.09.018
Ahmad B, Alghamdi B: Approximation of solutions of the nonlinear Duffing equation involving both integral and non-integral forcing terms with separated boundary conditions. Comput. Phys. Commun. 2008, 179: 409-416. 10.1016/j.cpc.2008.04.008
Ahmad B, Alsaedi A: Existence of approximate solutions of the forced Duffing equation with discontinuous type integral boundary conditions. Nonlinear Anal., Real World Appl. 2009, 10: 358-367. 10.1016/j.nonrwa.2007.09.004
Nieto JJ, Ahmad B: Approximation of solutions for an initial and terminal value problem for the forced Duffing equation with non-viscous damping. Appl. Math. Comput. 2010, 216: 2129-2136. 10.1016/j.amc.2010.03.046
Sun L, Zhou M, Wang G: Generalized quasilinearization method for nonlinear boundary value problems with integral boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2010, 66: 1-14.
Alsaedi A: Approximation of solutions for second-order m -point nonlocal boundary value problems via the method of generalized quasilinearization. Bound. Value Probl. 2011., 2011: Article ID 929061
Wang P, Gao W: Quasilinearization of an initial value problem for a set valued integro-differential equation. Comput. Math. Appl. 2011, 61: 2111-2115. 10.1016/j.camwa.2010.08.084
Motsa SS: A new piecewise-quasilinearization method for solving chaotic systems of initial value problems. Cent. Eur. J. Phys. 2012, 10: 936-946. 10.2478/s11534-011-0124-2
Hartung F: Parameter estimation by quasilinearization in differential equations with state-dependent delays. Discrete Contin. Dyn. Syst., Ser. B 2013, 18: 1611-1631.
Motsa SS, Sibanda P: Some modifications of the quasilinearization method with higher-order convergence for solving nonlinear BVPs. Numer. Algorithms 2013, 63: 399-417. 10.1007/s11075-012-9629-z
Devi JV, Vatsala AS: Quasilinearization for second order singular boundary value problems with solutions in weighted spaces. J. Korean Math. Soc. 2000, 37: 823-832.
Eloe PW: The quasilinearization method on an unbounded domain. Proc. Am. Math. Soc. 2002, 131: 1481-1488.
Ramos JI: Piecewise quasilinearization techniques for singular boundary-value problems. Comput. Phys. Commun. 2004, 158: 12-25. 10.1016/j.comphy.2003.11.003
El-Gebeily M, O’Regan D: A quasilinearization method for a class of second order singular nonlinear differential equations with nonlinear boundary conditions. Nonlinear Anal., Real World Appl. 2007, 8: 174-186. 10.1016/j.nonrwa.2005.06.008
Kannan R, O’Regan D: A note on singular boundary value problems with solutions in weighted spaces. Nonlinear Anal. 1999, 37: 791-796. 10.1016/S0362-546X(98)00072-8
Agarwal RP, O’Regan D, Lakshmikantham V, Leela S: Existence of positive solutions for singular initial and boundary value problems via the classical upper and lower solution approach. Nonlinear Anal. 2002, 50: 215-222. 10.1016/S0362-546X(01)00747-7
Lakshmikantham V, Rao MRM: Theory of Integro-Differential Equations. Gordon & Breach, London; 1995.
Lakshmikantham V, Leela S I. In Differential and Integral Inequalities. Academic Press, New York; 1969.
This work was supported by Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia.
The authors declare that they have no competing interests.
Each of the authors, RPA, BA and AA contributed to each part of this work equally and read and approved the final version of the manuscript.