American Journal of Applied Mathematics
Volume 3, Issue 3-1, June 2015, Pages: 54-59

Existence of Solutions to a Second Order Coupled System with Nonlinear Coupled Boundary Conditions

Department of Mathematics, School of Science and Technology, University of Management and Technology, CII Johar Town, Lahore, Pakistan

(N. A. Asif)
(I. Talib)

Naseer Ahmad Asif, Imran Talib. Existence of Solutions to a Second Order Coupled System with Nonlinear Coupled Boundary Conditions. American Journal of Applied Mathematics. Special Issue: Proceedings of the 1st UMT National Conference on Pure and Applied Mathematics (1st UNCPAM 2015). Vol. 3, No. 3-1, 2015, pp. 54-59. doi: 10.11648/j.ajam.s.2015030301.19

Contents

1. Introduction

In this paper, we study existence of solution in the presence of upper and lower solutions of some second-order nonlinear coupled ODS with nonlinear CBCs of the type

(1.1)

(1.2)

where and  are continuous functions. A significant motivation factor for the study of the above system has been the applications of the nonlinear differential equations to the areas of mechanics; population dynamics; optimal control; ecology; biotechnology; harvesting; and physics [11, 15, 16]. Moreover, while dealing with nonlinear ODS mostly authors only focus on attention to the differential systems with uncoupled boundary conditions [1, 4, 6].

But, on the other hand, very few research work is available where the differential systems are coupled not only in the differential systems but also through the boundary conditions [2, 9, 12, 14]. Our considered System (1.1)-(1.2) deals with the latter case.

The other productive aspect of the article is the generalization of the classical concepts that had been discussed in [3, 5, 7, 8, 10, 13,17]. We mean to say if and  then (1.2) implies the periodic boundary conditions (BCs for short). Also if and  then (1.2) implies the anti-periodic BCs. In order to obtain a solution satisfying some initial or BCs and lying between a subsolution and supersolution, we need additional conditions. For example, in the periodic case it suffices that

(1.3)

and in the anti-periodic case it suffices that

(1.4)

so to generalize the classical results (1.3) and (1.4), the concept of coupled lower and upper solutions is defined in Section 2 that allows us to obtain a solution in the sector Also (2.1) implies (1.3) and (1.4).

Definition 1.1. We say that a function  is a sub solution of (1.1) if

(1.5)

In the same way, a super solution is a function that satisfies the same inequalities in reverse order. For we define the set

Definition 1.2. We say that and satisfies Nagumo condition relative to the intervalsand respectively, if for

there exists a constant  such that

and a continuous function such that

(1.6)

and

We finish this introduction with a lemma

Lemma 1.3. Let

be defined by

Whereand are real constants such that

and here

Then exists and is continuous and defined by

where

and

2. Coupled Lower and Upper Solutions

To cover different possibilities for the nonlinear boundary functions  and  we introduce the following concept.

Definition 2.1. We say that are coupled lower and upper solutions for the problem (1.1) and (1.2) if  is a sub solution and  is asupersolution for the system (1.1),and

(2.1)

Theorem 2.2. Assume that  are coupled lower and upper solutions for the problem (1.1)-(1.2). Also assume that and satisfies a Nagumo condition relative to the intervals  and  respectively. Suppose that  is no ndecreasing in the third and fourth arguments. In addition suppose that the function  in  is monotone and the functions

have got the same kind of monotonocity as  then there exists at least one solution  of the problem (1.1)-(1.2). Furthermore,

Proof. Let  and consider the modified system

(2.2)

with

and

Note that if  is a solution of (2.2), then  is a solution of (1.1)-(1.2).

For the sake of simplicity we divide the proof in three steps:

Step 1: We define the mappings

by

and

Clearly  is continuous and compact by the direct application of Arzela-Ascoli theorem. Also from Lemma 1.3 with and  exists and is continuous.

On the other hand, solving (2.2) is equivalent to find a fixed point of

Now, Schauder's fixed point theorem guarantees the existence of at least one fixed point sinceis continuous and compact.

Step 2: If  is a solution of (2.2), then By definition of  we see that Thus, if is no ndecreasing, we have by condition (2.1)

(2.3)

Similarly, if  is no nincreasing, then (2.3) holds. Hence  Now, it remains to show that  for We claim  If then either  and/or If then there exist some  such that  So,  attains apositive maximum at  Thus  and But,

a contradiction. Similarly one can show that  Hence

Step 3: If  is a solution of (2.2) then  satisfies (1.2).

We claim

(2.4)

If

then

(2.5)

Similarly if is no ndecreasing then we have

(2.6)

Using (2.5), (2.6) and Step 2, we haveand But

(2.7)

a contradiction. Similarly if is no nincreasing we get same contradiction. Consequently, (2.4) holds. By definition of and Step 2, the second boundary condition is obvious. Consequently, satisfies (1.2).

Step 3: If is a solution of (2.2) then

We claimIf then either and/or Ifthen there exists such that Moreover using the Lagrange Theorem there exists with So,

Now consider an interval or such that and with

or

In the first situation we obtain form (1.2) that

Using (1.6), Step 2 andfor all  we get a contradiction.

Similarly in the second situation we get a contradiction. HenceThe proof of the other inequality is similar.

3. Example

Example 3.1: Consider the nonlinear coupled boundary value system (BVS for short) with nonlinear CBCs

(3.1)

(3.2)

Letandare the coupled lower and upper solutions of the BVS (3.1)-(3.2). Consequently

and

Furthermore the coupled lower and upper solutions satisfies the system (2.1). And the functions

satisfies the Nagumo condition (1.6) with and respectively. Hence by Theorem (2.2), BVS (3.1)-(3.2) has at least one solution

References

1. R. P. Agarwal and D. O'Regan, A coupled system of boundary value problems. Appl. Anal. 69 (1998), no. 3-4, 381-385.
2. N. A. Asif and R. A. Khan, Positive solutions to singular system with four-point coupled boundary conditions. J. Math. Anal. Appl. 386 (2012), no. 2, 848-861.
3. Z. Bai and W. Ge, Existence of three positive solutions for some second-order boundary value problems. Comput. Math. Appl. 48 (2004), 699-707.
4. X. Cheng and C. Zhong, Existence of positive solutions for a second-order ordinary differential system. J. Math. Anal. Appl. 312 (2005), no. 1, 14-23.
5. D. Franco, J. J. Nieto, and D. O'Regan, Anti-periodic boundary value problem for nonlinear first order ordinary differential equations. Math. Inequal. Appl. 6 (2003), no. 3, 477-485.
6. J. Henderson and R. Luca, Positive solutions for a system of second-order multi-point boundary value problems. Appl. Math. Comput. 218 (2012), no. 10, 6083-6094.
7. J. Henderson and H.B. Thompson, Existence of multiple solutions for second-order boundary value problems. J. Differential. Eqns. 166 (2000), 443-454.
8. T. Jankowski, Ordinary differential equations with nonlinear boundary conditions of antiperiodic type. Comput. Math. Appl. 47 (2004), no. 8-9, 1419-1428.
9. J. Jiang, L. Liu, and Y. Wu, Symmetric positive solutions to singular system with multi-point coupled boundary conditions. Appl. Math. Comput. 220 (2013), 536-548.
10. V. Lakshmikantham, Periodic boundary value problems of first and second order differential equations. J. Appl. Math. Simulation 2 (1989), no. 3, 131-138.
11. J. J. Nieto, Periodic boundary value problems for first-order impulsive ordinary differential equations. Nonlinear Anal. 51 (2002), no. 7, 1223-1232.
12. H. Qu, The symmetric positive solutions of three-point boundary value problems for nonlinear second-order differential equations. Bulletin of the institute of mathematics academia Sinica. 7 (2012), no. 3, 405-416.
13. K. Wang, A new existence result for nonlinear first-order anti-periodic boundary value problems. Appl. Math. Letters. 21(2008), 1149-1154.
14. J. Wu, Theory and applications of partial functional-differential equations. Applied Mathematical Sciences, 119. Springer-Verlag, New York, 1996.
15. W. Zhang and M. Fan, Periodicity in a generalized ecological competition system governed by impulsive differential equations with delays. Math. Comput. Modelling 39 (2004), no. 4-5, 479-493.
16. Y. Zhang, Positive solutions of singular sublinear Embden-Fowler boundary value problems. J. Math. Anal. Appl. 185 (1994), 215-222.
17. Y. Zhang, The existence of solutions to nonlinear second-order periodic boundary value problems. Nonlinear Anal. 76 (2013), 140-152.

 Contents 1. 2. 3.
Article Tools