 Research
 Open access
 Published:
Existence and uniqueness of solutions for delay boundary value problems with pLaplacian on infinite intervals
Boundary Value Problems volume 2013, Article number: 141 (2013)
Abstract
This paper is concerned with the existence and uniqueness of solutions for boundary value problems with pLaplacian delay differential equations on the halfline. The existence of solutions is derived from the Schauder fixed point theorem, whereas the uniqueness of solution is established by the Banach contraction principle. As an application, an example is given to demonstrate the main results.
MSC:34K10, 34B18, 34B40.
1 Introduction
Boundary value problems on infinite intervals have many applications in physical problems. Such problems arise, for example, in the study of linear elasticity, fluid flows and foundation engineering (see [1, 2] and the references cited therein). Boundary value problems on infinite intervals involving secondorder delay differential equations are of specific interest in these applications. An interesting survey on infinite interval problems, including real world examples, history and various methods of proving solvability, can be found in the recent monograph by Agarwal et al. [3] and Agarwal and O’Regan [4]. Among the many articles dealing with boundary value problems of secondorder delay differential equations, we refer the reader to [5] and the references cited therein.
Boundary value problems of secondorder delay differential equations on infinite intervals are closely related to the problem of existence of global solutions with prescribed asymptotic behavior. Recently, there is a growing interest in the solutions of such boundary value problems; see, for example, [6–9]. For the basic theory of delay differential equations, the reader is referred to the books by Diekmann et al. [10] as well as by Hale and Verduyn Lunel [11]. For boundary value problems, we mention the monographs by Azbelev et al. [12] and Azbelev and Rakhmatullina [13].
To the best of our knowledge, few authors have considered the existence of solutions on infinite intervals for delay differential equations. As far as we know, only in [6, 8, 9] the existence and uniqueness of solutions on infinite intervals for secondorder delay boundary value problems are discussed. However, no work has been done on delay boundary value problems with pLaplacian on infinite intervals. Motivated by the work mentioned above, this paper aims to fill in the gap, and we shall tackle the existence and uniqueness of solutions to a boundary value problem of delay differential equation with pLaplacian on infinite interval, which has been rarely discussed until now. The results we obtain improve and generalize the results mentioned in the references.
Throughout this paper, for any intervals J and X of ℝ, we denote by C(J,X) the set of all continuous functions defined on J with values in X. Let r be a nonnegative real number. If t is a point in the interval [0,\mathrm{\infty}) and x is a continuous realvalued function defined at least on [tr,t], the notation {x}_{t} will be used for the function in C([r,0],\mathbb{R}) defined by
We notice that the set C([r,0],\mathbb{R}) is a Banach space equipped with the usual supnorm \parallel \cdot \parallel given by
In this paper we consider the delay differential equation with pLaplacian
subject to
and
where p>1, {\varphi}_{p}(s)={s}^{p2}s, \xi \in C([r,0],\mathbb{R}) with \xi (0)=0, and f is a realvalued function defined on the set [0,\mathrm{\infty})\times C([r,0],\mathbb{R})\times \mathbb{R}, which satisfies the following continuity condition: f(t,{x}_{t},{x}^{\prime}(t)) is continuous with respect to t in [0,\mathrm{\infty}) for each given function x\in C([r,\mathrm{\infty}),\mathbb{R}) which is continuously differentiable on the interval [0,\mathrm{\infty}).
We are interested in global solutions of the pLaplacian delay boundary value problem (1.1)(1.3). By a solution on [0,\mathrm{\infty}) of (1.1)(1.3), we mean a function x\in C([r,\mathrm{\infty}),\mathbb{R}) which is continuously differentiable on the interval [0,\mathrm{\infty}) such that (1.1) is satisfied for all t\ge 0 and the conditions (1.2) and (1.3) are also fulfilled.
The main results of this paper are stated in Section 2. In Theorem 2.1, sufficient conditions are established in order that (1.1)(1.3) has at least one solution on [0,\mathrm{\infty}), whereas Theorem 2.2 provides sufficient conditions for (1.1)(1.3) to have a unique solution on [0,\mathrm{\infty}). The proof of Theorem 2.1 and Theorem 2.2 is presented in Section 3, where we employ the Schauder fixed point theorem and the well known Banach contraction principle. In Section 4, we include an example to illustrate our main results.
2 Main results
A useful integral representation of the boundary value problem (1.1)(1.3) is given by the following lemma. We note that {\varphi}_{p}(s)={s}^{p2}s has the inverse {\varphi}_{p}^{1}(s)={\varphi}_{q}(s), where \frac{1}{p}+\frac{1}{q}=1.
Lemma 2.1 Let x be a function in C([r,\mathrm{\infty}),\mathbb{R}) that is continuously differentiable on [0,\mathrm{\infty}). Then x is a solution on [0,\mathrm{\infty}) of the boundary value problem (1.1)(1.3) if and only if
Proof Let x be a function in C([r,\mathrm{\infty}),\mathbb{R}) that is continuously differentiable on [0,\mathrm{\infty}). Assume that x is given by (2.1). Then (1.2) is fulfilled. Moreover, we immediately obtain
which implies that {lim}_{t\to \mathrm{\infty}}{x}^{\prime}(t)=0, i.e., (1.3) holds. Furthermore, from (2.2) we get
and we have
which means that x satisfies (1.1). Thus, x is a solution on [0,\mathrm{\infty}) of the boundary value problem (1.1)(1.3).
Conversely, suppose that x is a solution on [0,\mathrm{\infty}) of the boundary value problem (1.1)(1.3). In view of (1.2), we have x(t)=\xi (t) for r\le t\le 0. Furthermore, from (1.1) it follows that x satisfies (2.4). Taking into account the fact that {lim}_{t\to \mathrm{\infty}}{x}^{\prime}(t)=0 and {\varphi}_{p}(0)=0, consequently we have
It follows that
By integrating (2.6) and taking into account the fact that x(0)=\xi (0)=0, we obtain for every t\ge 0,
We have thus proved that x has the expression (2.1). The proof of the lemma is complete. □
The first main result of this paper is the following theorem which provides sufficient conditions for (1.1)(1.3) to have at least one solution on [0,\mathrm{\infty}).
Theorem 2.1 Suppose that
where F is a nonnegative realvalued function defined on [0,\mathrm{\infty})\times C([r,0],[0,\mathrm{\infty}))\times [0,\mathrm{\infty}) which satisfies the continuity condition:

(C)
F(t,{x}_{t},{x}^{\prime}(t)) is continuous with respect to t in [0,\mathrm{\infty}) for each given function x in C([r,\mathrm{\infty}),\mathbb{R}) which is continuously differentiable on [0,\mathrm{\infty}).
We also assume that

(A)
for each t>0, the function F(t,\cdot ,\cdot ) is increasing on C([r,0],[0,\mathrm{\infty}))\times [0,\mathrm{\infty}) in the sense that F(t,\psi ,z)\le F(t,\omega ,v) for any \psi ,\omega \in C([r,0],[0,\mathrm{\infty})) with \psi \le \omega (i.e., \psi (\tau )\le \omega (\tau ) for r\le \tau \le 0) and any z,v\in [0,\mathrm{\infty}) with z\le v. Moreover, there exists a real number c>0 so that
{\int}_{0}^{\mathrm{\infty}}F(t,{\eta}_{t},c)\phantom{\rule{0.2em}{0ex}}dt\le {\varphi}_{p}(c)={c}^{p1},(2.8)
where the function \eta \in C([r,\mathrm{\infty}),[0,\mathrm{\infty})) depends on ξ, c and is defined by
Then the boundary value problem (1.1)(1.3) has at least one solution x on [0,\mathrm{\infty}) such that
and
The second main result is the following theorem that establishes conditions under which the boundary value problem (1.1)(1.3) has a unique solution on [0,\mathrm{\infty}).
Theorem 2.2 Let all the conditions of Theorem 2.1 be satisfied, i.e., (2.7), (C) and (A) hold. Moreover, suppose that
where K is a nonnegative continuous realvalued function on the interval [0,\mathrm{\infty}) satisfying
Then the boundary value problem (1.1)(1.3) has a unique solution x on [0,\mathrm{\infty}) satisfying (2.10) and (2.11).
3 Proof of main results
To prove Theorem 2.1, we shall use the fixed point technique by applying the Schauder fixed point theorem [14], whereas Theorem 2.2 is established by the Banach contraction principle [15]. We state our main tools below.
Schauder fixed point theorem [14]
Let E be a Banach space and Ω be any nonempty convex and closed subset of E. If M is a continuous mapping of Ω into itself and M Ω is relatively compact, then the mapping M has at least one fixed point, i.e., there exists an x\in \mathrm{\Omega} such that x=Mx.
Let BC([0,\mathrm{\infty}),\mathbb{R}) be the Banach space of all bounded continuous realvalued functions on [0,\mathrm{\infty}), endowed with the supnorm \parallel \cdot \parallel given by
We need the following compactness criterion for a subset of BC([0,\mathrm{\infty}),\mathbb{R}), which is a consequence of the wellknown ArzelaAscoli theorem. This compactness criterion is an adaptation of a lemma due to Avramescu [16]. In order to formulate this criterion, we note that a set U of realvalued functions defined on [0,\mathrm{\infty}) is said to be equiconvergent at ∞ if all the functions in U are convergent in ℝ at the point ∞ and, in addition, for each \u03f5>0, there exists T\equiv T(\u03f5)>0 such that, for any function \psi \in U, we have \psi (t){lim}_{s\to \mathrm{\infty}}\psi (s)<\u03f5 for t\ge T.
Compactness criterion [16]
Let U be an equicontinuous and uniformly bounded subset of the Banach space BC([0,\mathrm{\infty}),\mathbb{R}). If U is equiconvergent at ∞, it is also relatively compact.
Banach contraction principle [15]
Let E be a Banach space and Ω be any nonempty closed subset of E. If M is a contraction of Ω into itself, then the mapping M has a unique fixed point, i.e., there exists a unique x\in \mathrm{\Omega} such that x=Mx.
Throughout this section, let E denote the set of all functions x in C([r,\mathrm{\infty}),\mathbb{R}), which are continuously differentiable on the interval [0,\mathrm{\infty}) and have bounded continuous derivatives on [0,\mathrm{\infty}). The set E is a Banach space endowed with the norm {\parallel \cdot \parallel}_{E} given by
We shall first establish a lemma which will be needed to prove the main results.
Lemma 3.1 Suppose that (2.7) holds, where F is a nonnegative realvalued function defined on [0,\mathrm{\infty})\times C([r,0],[0,\mathrm{\infty}))\times [0,\mathrm{\infty}), which satisfies the continuity condition (C). Assume that (A) is satisfied. Let Ω be the subset of the Banach space E defined by
For x\in \mathrm{\Omega}, define a mapping M on Ω by
Then M maps Ω into E. Moreover, M Ω is relatively compact and the mapping M:\mathrm{\Omega}\to E is continuous.
Proof Since the condition (A) is satisfied, from (2.8) we have
First, we shall show that M is a mapping from Ω into E, i.e., M\mathrm{\Omega}\subseteq E. Let x be an arbitrary function in Ω. By the definition of Ω, the function x satisfies (1.2) and (2.11). Since \xi (0)=0, it follows from (1.2) that x(0)=0. By taking into account this fact and using (2.11), we can easily obtain
By virtue of (1.2), (3.3) and (2.9), it follows that x(t)\le \eta (t) for all t\ge r, which ensures that
In view of (3.4), (2.11) and the condition (A), we get
On the other hand, (2.7) guarantees that
Thus, we have
From (3.2) and (3.5) it follows that
and consequently,
Furthermore, we can conclude that
Since (3.8) holds for any function x\in \mathrm{\Omega}, we immediately see that the formula (3.1) makes sense for any x\in \mathrm{\Omega}, and this formula defines a mapping M from Ω into C([r,\mathrm{\infty}),\mathbb{R}).
Next, using (3.5) and (2.8), from (3.1) we obtain for t\ge 0,
Inequality (3.9) means that {(Mx)}^{\prime} is bounded on the interval [0,\mathrm{\infty}) and so Mx belongs to E. We have thus proved that M\mathrm{\Omega}\subseteq E.
Now, we shall prove that M Ω is relatively compact. We observe that, for any function x\in \mathrm{\Omega}, we have (Mx)(t)=\xi (t) for r\le t\le 0. By taking into account this fact as well as the definition of the norm {\parallel \cdot \parallel}_{E}, we can easily conclude that it suffices to show that the set
is relatively compact in the Banach space BC([0,\mathrm{\infty}),\mathbb{R}). Using (3.5), for any x\in \mathrm{\Omega} and any {t}_{1}, {t}_{2} with 0\le {t}_{1}\le {t}_{2}, we obtain
In view of (3.2), this means that {(Mx)}^{\prime}({t}_{1})\to {(Mx)}^{\prime}({t}_{2}) as {t}_{1}\to {t}_{2}, and we can easily verify that U is equicontinuous. Moreover, each function x\in \mathrm{\Omega} satisfies (3.9), where c is independent of x. This guarantees that U is uniformly bounded. Furthermore, for any x\in \mathrm{\Omega}, we have
and hence, noting (3.5), it follows that
Now (3.10) together with (3.2) implies that
By using (3.2) and (3.10) again, we immediately see that U is equiconvergent at ∞. It now follows from the given compactness criterion that the set U is relatively compact in BC([0,\mathrm{\infty}),\mathbb{R}).
Finally, we shall prove that the mapping M:\mathrm{\Omega}\to E is continuous. Let x,{\{{x}^{n}\}}_{n\ge 1}\in \mathrm{\Omega} with {\parallel {x}^{n}x\parallel}_{E}\to 0 as n\to \mathrm{\infty}. It is not difficult to verify that {lim}_{n\to \mathrm{\infty}}{x}^{n}(t)=x(t) uniformly for t\in [r,\mathrm{\infty}) and {lim}_{n\to \mathrm{\infty}}{({x}^{n})}^{\prime}(t)={x}^{\prime}(t) uniformly for t\in [0,\mathrm{\infty}). On the other hand, using (3.5) we have
Thus, by taking into account the fact that
we can apply the Lebesgue dominated convergence theorem to obtain, for every t\ge 0,
This, together with the fact that
guarantees the pointwise convergence
It remains to show that this convergence is also convergence in the sense of {\parallel \cdot \parallel}_{E}, i.e.,
For this purpose, we consider an arbitrary subsequence \{M{x}^{k}\} of \{M{x}^{n}\}. Since M Ω is relatively compact, there exists a subsequence \{M{x}^{j}\} of the sequence \{M{x}^{k}\} and a function u in E so that {lim}_{j\to \mathrm{\infty}}{\parallel M{x}^{j}u\parallel}_{E}=0. As the convergence in the sense of {\parallel \cdot \parallel}_{E} implies the pointwise convergence to the same limit function, we must have u=Mx, therefore (3.11) holds. Consequently, M is continuous. The proof is complete. □
Proof of Theorem 2.1 We shall apply the Schauder fixed point theorem. Let Ω be the subset of the Banach space E defined as in Lemma 3.1. Clearly, Ω is a nonempty convex and closed subset of E. By Lemma 3.1, the mapping M:\mathrm{\Omega}\to E is continuous and M Ω is relatively compact. We shall show that M maps Ω into itself, i.e., M\mathrm{\Omega}\subseteq \mathrm{\Omega}. Let us consider an arbitrary function x\in \mathrm{\Omega}. Following the argument in the proof of Lemma 3.1, we see that x satisfies (3.10), which together with (2.8) provides
Now, (3.12) and the fact that (Mx)(t)=\xi (t) for r\le t\le 0 imply that Mx\in \mathrm{\Omega}. We have thus proved that M\mathrm{\Omega}\subseteq \mathrm{\Omega}.
By the Schauder fixed point theorem, there exists an x\in \mathrm{\Omega} such that x=Mx. Hence, x has the expression (3.1), which coincides with (2.1). It follows from Lemma 2.1 that x is a solution on [0,\mathrm{\infty}) of the boundary value problem (1.1)(1.3). Also, since x\in \mathrm{\Omega}, clearly x satisfies (2.11). Moreover, since x(0)=\xi (0)=0, it follows from (2.11) that x also fulfills (2.10). This completes the proof of Theorem 2.1. □
Proof of Theorem 2.2 We shall employ the Banach contraction principle. Let Ω be the subset of the Banach space E defined in Lemma 3.1. Clearly, Ω is a nonempty closed subset of E. Following the argument in the proof of Theorem 2.1, we have M:\mathrm{\Omega}\to \mathrm{\Omega}.
Now, we shall prove that the mapping M is a contraction. For this purpose, let us consider two arbitrary functions x and \tilde{x} in Ω. From (3.1), we have (Mx)(t)=(M\tilde{x})(t)=\xi (t) for r\le t\le 0, and consequently,
Furthermore, by using (2.12), from (3.1) we obtain for t\ge 0
This gives
By the definition of the norm {\parallel \cdot \parallel}_{E}, the last inequality and (3.13) imply
Next, from the definition of Ω, we have x(t)=\tilde{x}(t)=\xi (t) for r\le t\le 0, and so
Moreover, in view of the fact that x(0)=\tilde{x}(0)=\xi (0)=0, we get, for t\ge 0,
But, by the definition of the norm {\parallel \cdot \parallel}_{E}, we have
Thus, using (3.17) in (3.16) yields
Combining (3.15) and (3.18), we get
where the function μ is defined by
We can rewrite (3.19) as
i.e.,
It follows that
But, since μ is nondecreasing on [r,\mathrm{\infty}), we have
So, from (3.20) we have
Now, using (3.17) and (3.21) in (3.14), we get
where the last inequality is due to (2.13). Hence, we have shown that the mapping M:\mathrm{\Omega}\to \mathrm{\Omega} is a contraction.
Finally, by the Banach contraction principle, the mapping M:\mathrm{\Omega}\to \mathrm{\Omega} has a unique fixed point x\in \mathrm{\Omega} having the expression (3.1), which coincides with (2.1). It follows from Lemma 2.1 that x is the unique solution on [0,\mathrm{\infty}) of the boundary value problem (1.1)(1.3). Furthermore, as in the proof of Theorem 2.1, we conclude that this unique solution x of the boundary value problem (1.1)(1.3) satisfies (2.10) and (2.11). The proof of Theorem 2.2 is now complete. □
4 Application
Let us consider the delay boundary value problem with the pLaplacian operator
where p=2, {({\varphi}_{p}({x}^{\prime}(t)))}^{\mathrm{\prime}}={x}^{\u2033}(t), and h is a continuous realvalued function on [0,\mathrm{\infty})\times {\mathbb{R}}^{2}, and T(t) is a nonnegative continuous realvalue function on the interval [0,\mathrm{\infty}) with {sup}_{t\ge 0}T(t)=r.
If the boundary value problem (1.1)(1.3) is to be equivalent to the boundary value problem (4.1), we must define f(t,\psi ,z)=h(t,\psi (T(t)),z) for (t,\psi ,z)\in [0,\mathrm{\infty})\times C([r,0],\mathbb{R})\times \mathbb{R}. Hence, by applying Theorem 2.1 to the boundary value problem (4.1), we can be led to the following result.
Corollary 4.1 Assume that
where H is a nonnegative continuous realvalued function on [0,\mathrm{\infty})\times [0,\mathrm{\infty})\times [0,\mathrm{\infty}). Suppose that for each t\ge 0, the function H(t,\cdot ,\cdot ) is increasing on [0,\mathrm{\infty})\times [0,\mathrm{\infty}) in the sense that H(t,y,z)\le H(t,w,v) for any (y,z),(w,v)\in [0,\mathrm{\infty})\times [0,\mathrm{\infty}) with y\le w and z\le v.
Moreover, let there exist a real number c>0 so that
where the function \rho (t) in C([0,\mathrm{\infty}),[0,\mathrm{\infty})) depends on ξ, c and is defined by
Then the boundary value problem (4.1) has at least one solution x such that (2.10) and (2.11) hold.
Note that an interesting particular case is the one where the delay T(t) is a nonnegative real constant.
Example Consider the secondorder nonlinear delay differential equation of EmdenFowler type
where a(t) and b(t) are continuous realvalued functions on [0,\mathrm{\infty}), and γ, β are positive real numbers. An application of Corollary 4.1 to the boundary value problem (4.2) leads us to conclude that if there exists a real number c>0 such that
then the boundary value problem (4.2) has at least one solution x satisfying (2.10) and (2.11).
For illustration purpose, suppose in (4.2) we have r=1, \gamma =2, \beta =1,
In this case, (4.3) is reduced to
It is not difficult to verify that this inequality is equivalent to
which is satisfied if and only if 0.135\le c\le 7.36. By taking c=1, we can conclude that the boundary value problem
has at least one solution x satisfying
References
Agarwal RP, O’Regan D: An infinite interval problem arising in circularly symmetric deformations of shallow membrane caps. Int. J. NonLinear Mech. 2004, 39: 779–784. 10.1016/S00207462(03)000416
Erbe LH, Kong QK: Boundary value problems for singular secondorder functional differential equations. J. Comput. Appl. Math. 1994, 53: 377–388. 10.1016/03770427(94)900655
Agarwal RP, O’Regan D, Wong PJY: Positive Solutions of Differential, Difference and Integral Equations. Kluwer Academic, Dordrecht; 1999.
Agarwal RP, O’Regan D: Infinite Interval Problems for Differential, Difference and Integral Equations. Kluwer Academic, Dordrecht; 2001.
Bai D, Xu Y: Existence of positive solutions for boundary value problems of second order delay differential equations. Appl. Math. Lett. 2006, 18: 621–630.
Agarwal RP, Philos CG, Tsamatos PC: Global solutions of a singular initial value problem to second order nonlinear delay differential equations. Math. Comput. Model. 2006, 43: 854–869. 10.1016/j.mcm.2005.12.005
Bai C, Fang J: On positive solutions of boundary value problems for secondorder functional differential equations on infinite intervals. J. Math. Anal. Appl. 2003, 282: 711–731. 10.1016/S0022247X(03)002464
Mavridis KG, Philos CG, Tsamatos PC: Multiple positive solutions for a second order delay boundary value problem on the halfline. Ann. Pol. Math. 2006, 88: 173–191. 10.4064/ap8827
Mavridis KG, Philos CG, Tsamatos PC: Existence of solutions of a boundary value problem on the halfline to second order nonlinear delay differential equations. Arch. Math. 2006, 86: 163–175. 10.1007/s000130051155y
Diekmann O, van Gils SA, Verduyn Lunel SM, Walther HO: Delay Equations: Functional, Complex, and Nonlinear Analysis. Springer, New York; 1995.
Hale JK, Verduyn Lunel SM: Introduction to Functional Differential Equations. Springer, New York; 1993.
Azbelev N, Maksimov V, Rakhmatullina L: Introduction to the Theory of Linear FunctionalDifferential Equations. World Federation Publishers Company, Atlanta; 1995.
Azbelev N, Rakhmatullina L: Theory of linear abstract functionaldifferential equations and applications. Mem. Differ. Equ. Math. Phys. 1996, 8: 1–102.
Schauder J: Der Fixpunktsatz in Funktionenräumen. Stud. Math. 1930, 2: 171–180.
Banach S: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundam. Math. 1922, 3: 133–181.
Avramescu C: Sur l’existence des solutions convergentes de systèmes d’équations différentielles non linéaires. Ann. Mat. Pura Appl. 1969, 81: 147–168. 10.1007/BF02413501
Acknowledgements
Project is supported by the National Natural Science Foundation of China (11061006) and the Bagui Scholars program of Guangxi.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
YW carried out the most part of the paper. PJYW gave the idea and revised it. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Wei, Y., Wong, P.J. Existence and uniqueness of solutions for delay boundary value problems with pLaplacian on infinite intervals. Bound Value Probl 2013, 141 (2013). https://doi.org/10.1186/168727702013141
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168727702013141