Abstract
In this manuscript, we study a certain classical second-order fully nonlinear coupled system with generalized nonlinear coupled boundary conditions satisfying the monotone assumptions. Our new results unify the existence criteria of certain linear and nonlinear boundary value problems (BVPs) that have been previously studied on a case-by-case basis; for example, Dirichlet and Neumann are special cases. The common feature is that the solution of each BVPs lies in a sector defined by well-ordered coupled lower and upper solutions. The tools we use are the coupled lower and upper solutions approach along with some results of fixed point theory. By means of the coupled lower and upper solutions approach, the considered BVPs are logically modified to new problems, known as modified BVPs. The solution of the modified BVPs leads to the solution of the original BVPs. In our case, we only require the Nagumo condition to get a priori bound on the derivatives of the solution function. Further, we extend the results presented in (Franco et al. in Extr. Math. 18(2):153–160, 2003; Franco et al. in Appl. Math. Comput. 153:793–802, 2004; Franco and O’Regan in Arch. Inequal. Appl. 1:423–430, 2003; Asif et al. in Bound. Value Probl. 2015:134, 2015). Finally, as an application, we consider the fully nonlinear coupled mass-spring model.
Similar content being viewed by others
1 Introduction
We establish the existence criteria to investigate the existence of solution for the fully nonlinear second-order coupled systems of the type
subject to the generalized nonlinear boundary conditions (NBCs) of the type
where \(h_{1},h_{2}:[0,1]\times \mathbb{R}^{4}\rightarrow \mathbb{R}\), and \(\Upsilon _{1},\Upsilon _{2}:\mathbb{R}^{6}\rightarrow \mathbb{R}^{2}\) are continuous functions.
The nonlinear boundary value problems (NBVPs), (1)–(2) include some special cases, for instance, if \(\Upsilon _{1}(a_{1},a_{2},a_{3},a_{4},a_{5},a_{6})=(\alpha _{1}-a_{1}, \alpha _{2}-a_{2})\) and \(\Upsilon _{2}(a_{1},a_{2},a_{3},a_{4},a_{5},a_{6})=(\alpha _{3}-a_{3}, \alpha _{4}-a_{4})\) with \(\alpha _{1},\alpha _{2},\alpha _{3},\alpha _{4} \in \mathbb{R}\), then (1)–(2) is the Dirichlet boundary value problem (BVP) with
If \(\Upsilon _{1}(a_{1},a_{2},a_{3},a_{4},a_{5},a_{6})=(-\alpha _{1}+a_{5},- \alpha _{2}+a_{6})\) and \(\Upsilon _{2}(a_{1},a_{2},a_{3},a_{4},a_{5},a_{6})=(-\alpha _{3}+a_{5},- \alpha _{4}+a_{6})\) with \(\alpha _{1},\alpha _{2},\alpha _{3},\alpha _{4} \in \mathbb{R}\), then (1)–(2) is the Neumann BVP with
If \(\Upsilon _{1}(a_{1},a_{2},a_{3},a_{4},a_{5},a_{6})=(\alpha _{1}a_{1}- \alpha _{2}a_{5}-b_{1},\alpha _{1}a_{2}-\alpha _{2}a_{6}-b_{2})\) and \(\Upsilon _{2}(a_{1},a_{2},a_{3},a_{4},a_{5},a_{6})=(\alpha _{3}a_{3}+ \alpha _{4}a_{5}-b_{1},\alpha _{3}a_{4}+\alpha _{4}a_{6}+b_{2})\) with \(\alpha _{1},\alpha _{2},\alpha _{3},\alpha _{4},b_{1},b_{2} \in \mathbb{R}\), then (1)–(2) is the mixed BVP with
Our motivation to study system (1) is that it had made a considerable impact on the study of linear and nonlinear partial differential equations (PDEs), see e.g. [5–10] and the references therein. For instance, if the nonlinear Laplace and heat equations (HEqs) have the stationary solutions, then using appropriate substitutions, these both PDEs are transformed into the second-order nonlinear ordinary differential equations of the type (1), see e.g. [6] and the references therein. Particularly, (1)–(5) models the coupled thermostat phenomena for choosing \(\alpha _{3}\) arbitrary, \(\alpha _{2}=1=\alpha _{4}\), and \(\alpha _{1}=b_{1}=b_{2}=0\). The solution of ordinary differential systems (ODSs) (1) leads to the stationary solution of the system of HEqs, corresponding to a heated bar of length 1, with a controller at \(s=1\), and sensors are being used to provide the feedback to the endpoints where controllers add or remove heat according to the feedback as received by the sensors, see e.g. [11–13] and the references therein.
Another motivation to study (1) is the nonlinear coupled mass-spring phenomena modeled by classical second-order nonlinear coupled systems. System (1) with appropriate boundary conditions (BCs) is used in determining the motion of two springs with weights attached, hung in series from the ceiling, see e.g. [14]. By considering the effects of nonlinearities, viscous damping, restoring forces, and sinusoidal forcing terms, we solve the coupled mass-spring model with Dirichlet type BCs (3) in Sect. 4.
Another important factor to study the NBVPs is their applicability in modeling various chemical, physical, mechanical, and biological phenomena, see e.g. [15–18] and the references therein. In particular, the nonlinear second-order coupled ODSs have been used in explaining various applied phenomena, such as reaction-diffusion processes, Lotka–Volterra models, Sturm–Liouville problems, interaction systems, and some chemical and biological processes, see e.g. [19–24] and the references therein. For studying the applications of NBVPs in engineering and physics, we refer the reader to study Chap. 1 of [25] and [26]. Some works related to nonlinear fractional BVPs for the reader’s interest are also listed there (see [27–33] and the references therein).
The applications of NBVPs with generalized NBCs in various areas of physical sciences motivated the researchers towards the development of existence and uniqueness results by employing the lower and upper solutions approach or fixed point index theory in cone. Among them some results are presented as follows.
In [1], the authors developed the new approach based on the idea of coupled lower and upper solutions to study the existence of solutions for the following nonlinear BVPs (notations here are changed from the original papers):
subject to the following generalized NBCs:
In [2], the authors developed a generalized technique to unify the existence criteria for certain BVPs which have been previously studied on a case-by-case basis. For instance, the initial value problems, the BVPs, and anti-periodic BVPs were the special cases. In particular, the following BVPs were considered (notations here are changed from the original papers):
subject to the following generalized NBCs:
The approach used in [2] was topological in nature, demonstrated in the form of differential inequalities (lower and upper solutions, coupled lower and upper solutions).
The results of [2] and [1] were extended in [3] to the second-order ordinary NBVPs with the generalized NBCs.
In [4], the authors investigated the existence results for the following first-order nonlinear coupled ODSs (notations here are changed from the original papers):
subject to the following generalized NBCs:
The tools used in [4] were the coupled lower and upper solutions (LUSs) approach and some results of classical fixed point theory.
The approach was further extended in [34] to second-order nonlinear coupled ODSs with generalized NBCs. One of the interests in this paper was the unification of the existence criteria of certain NBVPs which have been previously treated on a case-by-case basis.
In [35], the authors developed the existence and localization results to study the existence of solutions for the following fully nonlinear coupled ODSs (notations here are changed from the original paper):
subject to the following nonlinear functional BCs:
The approach used in [35] is topological in nature and demonstrated in the forms of differential inequalities (upper and lower solutions).
In [7], the authors studied the existence of multiplicity of nonzero radial solutions for the class of elliptic BVPs with the composition of nonlocal BCs by considering the following coupled system corresponding to elliptic BVPs:
subject to the following nonlocal BCs:
The approach used in [7] was topological coupled with fixed point index theory. The space involved in this paper did not allow the derivative dependence nonlinearities.
In [8], the authors studied the existence of positive solutions for the following nonlinear second-order coupled ODSs:
subject to the following BCs:
The tools used in [8] were topological and integral equations. As a byproduct, considering the suitable assumptions, the following elliptic system equivalent to system (6) was solved in the same paper:
subject to the following Dirichlet BCs:
where \(D=\{s:r_{1}<|s|<r_{2}\}\) is an annular domain and \(h_{1}\), \(h_{2}\) are continuous functions. Recently, the authors solved system (7) with Neumann BCs and found its radial solution. In fact, the radial solution of (7) is the solution of the following second-order nonlinear coupled ODSs, see e.g. [9] and the references therein:
subject to the following Neumann BCs:
Motivated by the aforementioned studies, we extend the results of [1–4] to a generalized class of coupled NBCs and ensure the existence of at least one solution of coupled system (1) subject to generalized BCs (2) by finding the fixed points of the appropriate operator in the space \(C^{1}[0,1]\times C^{1}[0,1]\).
The arguments we use in this work are the coupled LUSs approach, Nagumo conditions, Schauder’s fixed point and Arzelà–Ascoli theorems.
The classical coupled LUSs approach guarantees the a priori bounds on the solutions of NBVPs, but to get the a priori bounds on the derivatives of the solution functions, the authors used a variety of conditions including guiding functions, barrier strips, Bernstein–Nagumo quadratic growth conditions, and simply Nagumo conditions, see e.g. [36–44] and the references therein. In this paper, we use the Nagumo conditions.
The rest of the article is structured as follows.
In Sect. 2, some preliminary results and definitions are recalled. In Sect. 3, a generalized result is presented to ensure the existence of solutions of (1)–(2). One of the advantages of this result is to unify the classical existence results of Neumann and Dirichlet BVPs which have previously been studied separately. In Sect. 4, two examples are taken to demonstrate how the results of Sect. 3 can be applied, and the new results clearly demonstrate the advancement made over current literature. In particular, the coupled mass-spring model with Dirichlet type BCs is solved in this section.
2 Preliminaries
Definition 1
The couple of functions \((\gamma _{1},\gamma _{2} )\in C^{2}[0,1]\times C^{2}[0,1]\) are said to be the lower solutions of (1) if
On the same fashion, the couple of functions \((\xi _{1},\xi _{2} )\in C^{2}[0,1]\times C^{2}[0,1]\) are said to be the upper solutions of (1) if (8) is satisfied in reverse order.
If \(u(s)\leq v(s)\), \(\forall s\in [0,1]\), then we may write \(u\leq v\), and define the following set:
Throughout our paper, we use ⪯ as
Next, we define the Nagumo conditions.
Definition 2
Suppose that \(\gamma _{1}(s)\), \(\gamma _{2}(s)\), \(\xi _{1}(s)\), and \(\xi _{2}(s)\) are continuous functions such that
The continuous functions \(h_{1},h_{2}:[0,1]\times \mathbb{R}^{4}\rightarrow \mathbb{R}\) satisfy a Nagumo condition relative to the intervals \([\gamma _{1}(s),\xi _{1}(s)]\) and \([\gamma _{2}(s),\xi _{2}(s)]\) if, for
there exist \(G_{1}\), \(G_{2}\) constants such that
and continuous functions \(g_{1},g_{2}:[0,\infty )\rightarrow [0,\infty )\) such that
and for
verifying
Now define the following important lemma which is very useful to justify Claim 1 of Theorem 1.
Lemma 1
Let \(\Gamma : C^{1}[0,1]\times C^{1}[0,1]\rightarrow C_{0}[0,1]\times C_{0}[0,1] \times \mathbb{R}^{2}\times \mathbb{R}^{2}\) be defined by
where \(\varpi _{1},\varpi _{2},\varpi _{3},\varpi _{4},\varpi '_{1},\varpi '_{2}, \varpi '_{3},\varpi '_{4}\in \mathbb{R}\) with \(\psi >0\), such that
and here
Then \(\Gamma ^{-1}\) exists, and it can be expressed as
with
and
Proof
Choose \(w,z\in C_{0}[0,1]\) and \(\zeta ,\eta ,\nu ,\rho \in \mathbb{R}\) as
In the light of (22)–(27), (16) can also be written as
On differentiating (22), we have
Solving (29), we have
Using (24) and (25), we have the following system of equations:
Solving (31), we have
Similarly, we can show the following:
with
and
Equation (28) can also be written as
Hence, (30)–(34) prove (17). □
Next, we construct the definition of coupled LUSs which is useful in unifying the existence results of certain BVPs which were previously studied separately.
Definition 3
We say that \((\gamma _{1},\gamma _{2} )\), \((\xi _{1},\xi _{2} )\) \(\in C^{2}[0,1]\times C^{2}[0,1]\) are coupled LUSs for (1)–(2) if \((\gamma _{1},\gamma _{2} )\) is a lower solution and \((\xi _{1},\xi _{2} )\) is an upper solution for (1), such that
Inequalities (35)–(36) verify the following classical existence criteria for Dirichlet BVPs ((1) and (3)):
and inequalities (37)–(38) verify the following classical existence criteria for Neumann BVPs ((1) and (4)):
where \(\alpha _{1},\alpha _{2},\alpha _{3},\alpha _{4}\in \mathbb{R}\).
3 Main result
The following is the main result of the paper, which unifies the existence criteria of certain BVPs which have been previously treated separately. The arguments we use to prove the main result are the Arzelà–Ascoli theorem and Schauder’s fixed point theorem.
Theorem 1
Let system (1)–(2) have \((\gamma _{1},\gamma _{2} )\), \((\xi _{1},\xi _{2} )\) coupled LUSs and the boundary functions \(h_{1}\), \(h_{2}\) verify the Nagumo conditions relative to \([\gamma _{1}(s),\xi _{1}(s)]\) and \([\gamma _{2}(s),\xi _{2}(s)]\). Assume that \(\Upsilon _{2}\) and \(\Upsilon _{1}\) are nonincreasing and nondecreasing in the fifth and sixth arguments, respectively, and
are monotone on \([\gamma _{1}(0),\xi _{1}(0)]\times [\gamma _{2}(0),\xi _{2}(0)]\) and
are monotone on \([\gamma _{1}(1),\xi _{1}(1)]\times [\gamma _{2}(1),\xi _{2}(1)]\).
Then system (1)–(2) has at least one solution \((v_{1},v_{2})\in (C^{2}[0,1],\mathbb{R})^{2}\) such that
and
with \(G_{1}\) and \(G_{2}\) given by the Nagumo conditions.
Proof
Let the following modified problem be associated with problem (1)–(2), with \(\psi >0\):
with
and for each \(i=1,2\),
Note that if \((v_{1},v_{2})\in [\gamma _{1},\xi _{1} ]\times [ \gamma _{2},\xi _{2} ]\) is a solution of (39), then \((v_{1},v_{2})\) is a solution of (1)–(2).
Claim 1
The fixed points of the operator \(\Gamma ^{-1}\hat{E}\) are the solutions of system (39).
Define the mappings
by
and
Now in view of the Arzelà–Ascoli theorem and the definitions of \(\hat{H_{1}}\), \(\hat{H_{2}}\), \(\hat{\Upsilon _{1}}\), and \(\hat{\Upsilon _{2}}\), Ê is continuous and compact. Therefore, the class \(\{\hat{E}(v_{1},v_{2}):(v_{1},v_{2})\in C^{1}[0,1]\times C^{1}[0,1] \}\) is uniformly bounded and equicontinuous. Consequently, Ê is a compact map. Moreover, \(\Gamma ^{-1}\) exists and is continuous (see Lemma 1).
The fixed points of the following operator are the solutions of problem (39) which are guaranteed by Schauder’s fixed point theorem because the operator is continuous and compact.
Claim 2
If \((v_{1},v_{2})\) is a solution of (39), then \((\gamma _{1}(s),\gamma _{2}(s) )\preceq (v_{1}(s),v_{2}(s) )\preceq (\xi _{1}(s),\xi _{2}(s) )\), \(\forall s \in [0,1]\).
Suppose \((v_{1},v_{2} )\preceq (\xi _{1},\xi _{2} )\). If \((v_{1},v_{2} )\npreceq (\xi _{1},\xi _{2} )\), then \(v_{1}\leq \xi _{1}\) and \(v_{2}\leq \xi _{2}\). If \(v_{1}\nleq \xi _{1}\), then \(v_{1}-\xi _{1}\) has positive maximum at some \(r_{0}\in (0,1)\) such that \((v_{1}-\xi _{1})^{\prime }(r_{0})=0\) and \((v_{1}-\xi _{1})^{\prime \prime }(r_{0})< 0\). Also, by Definition 2, we have \(|v_{1}^{\prime }(r_{0})|=|\xi _{1}^{\prime }(r_{0})|< G_{1}\). Similarly, on the same fashion, if \(v_{2}\nleq \xi _{2}\), then \((v_{2}-\xi _{2})^{\prime }(r_{0})=0\), and by Definition 2, we have \(|v_{2}^{\prime }(r_{0})|=|\xi _{2}^{\prime }(r_{0})|< G_{2}\). But
a contradiction. Similarly, we can show that \((\gamma _{1},\gamma _{2})\preceq (v_{1},v_{2})\). Hence \((\gamma _{1},\gamma _{2} )\preceq (v_{1},v_{2})\preceq (\xi _{1},\xi _{2} )\).
Claim 3
If \((v_{1},v_{2})\) is a solution of (39), then \((v_{1},v_{2})\) must satisfy (2).
For this, we have to show that
Using (39), we have
From Claim 2, we know that \((v_{1},v_{2} )\preceq (\xi _{1},\xi _{2} )\), and this together with \((v_{1}-\xi _{1},v_{2}-\xi _{2} )\in C^{2}[0,1]\times C^{2}[0,1]\) and \((v_{1}(0),v_{2}(0) )= (\xi _{1}(0),\xi _{2}(0) )\) yields \(v_{1}'(0)\leq \xi ^{\prime }_{1}(0)\) and \(v_{2}'(0)\leq \xi ^{\prime }_{2}(0)\).
We will prove (40) by contradiction, so assume
If \({\Upsilon _{1}}_{(\xi _{1},\xi _{2})}(x,y)\) is monotone nonincreasing, then we have
a contradiction. Similarly, if \({\Upsilon _{1}}_{(\xi _{1},\xi _{2})}(x,y)\) is monotone nondecreasing, then we get the same contradiction. Consequently, (40) holds. Similar reasoning shows the other boundary condition. Consequently, \((v_{1},v_{2})\) satisfies (2). Hence system (1)–(2) has a solution satisfying \((\gamma _{1},\gamma _{2} )\preceq (v_{1},v_{2})\preceq (\xi _{1},\xi _{2} )\).
Claim 4
Every solution of (39) satisfies
To prove (44), assume that \((v_{1}(s),v_{2}(s) )\) is a solution of (39) such that
then by the Lagrange theorem, there exists \(s_{0},s_{1}\in [0,1]\) such that
Suppose on the contrary that \(v_{1}'(s)>p_{1}\), \(\forall s\in [0,1]\), then using (45), the following contradiction is obtained:
The similar contradiction is obtained for \(v_{1}'(s)<-p_{1}\), \(\forall s\in [0,1]\). In the case where \(| v_{1}'(s)|\leq p_{1}\), Claim 4 is finished. So, assume that there are \(s_{2},s_{3}\in [0,1]\) with \(s_{2}< s_{3}\) such that
By continuing in the same way, there is \(s_{4}\in [s_{2},s_{3}]\) such that
So, by a convenient change of variable, by (13) and (15), we have
Hence \(v_{1}'(s_{3})< G_{1}\) and, as \(s_{3}\) is taken arbitrarily, \(v_{1}'(s_{3})< G_{1}\) for values of s, where \(v_{1}'(s)>p_{1}\).
If \(s_{2}>s_{3}\), the technique is analogous for \(s_{4}\in [s_{3},s_{2}]\). The same conclusion can be achieved if there are \(s_{2},s_{3}\in [0,1]\) such that
Consequently, \(\|v_{1}'\|\leq G_{1}\), and on the same arguments, it can be easily proved that \(\|v_{2}'\|\leq G_{2}\). □
4 Examples
In this section, the applicability of the results developed in Sect. 3 is illustrated by taking examples. The first example is considered with nonlinear coupled BCs, and the assumptions of Theorem 1 are verified. In the second example, we consider the fully nonlinear coupled mass-spring model with coupled Dirichlet BCs, and the assumptions of Theorem 1 are verified.
Example 1
Consider the fully nonlinear coupled system
subject to nonlinear coupled BCs
This problem is a particular case of system (1), (2) with
continuous functions \(s\in [0,1]\).
The functions given by
are the lower and upper solutions of problem (50)–(51) satisfying (1), as
and
Also, the functions \(\gamma _{1}(s)=-2\), \(\gamma _{2}(s)=-4\), \(\xi _{1}(s)=s^{2}\), and \(\xi _{2}(s)=s^{4}\) are coupled lower and upper solutions satisfying (35). Moreover, the continuous functions \(h_{1}\) and \(h_{2}\), as given in (52), satisfy the Nagumo condition relative to the intervals \([-2,s^{2}]\) and \([-4,s^{4}]\) for \(s\in [0,1]\). For this, we first need to calculate \(P_{1}\) and \(P_{2}\) using (9) and (10) as
Also
and
for \(G_{1}\geq 70\). Similarly,
and
for \(G_{2}\geq 73\).
Then, by Theorem 1, there exists at least one solution \((v_{1}(s),v_{2}(s))\in C^{2}([0,1],\mathbb{R})\times C^{2}([0,1], \mathbb{R})\) of problem (50)–(51) with
Plots of the lower and upper solutions of Example 1
Example 2
Consider a coupled mass-spring model with two springs and two weights. The one end of the first spring having spring constant \(k_{1}\) is attached to the ceiling, and a weight of mass \(m_{1}\) is attached to its other end. To this weight, a second spring having spring constant \(k_{2}\) is attached. A weight of mass \(m_{2}\) is attached to the bottom end of the second spring. The entire coupled mass-spring model is described as illustrated in Fig. 2.
If the system is allowed to come to rest in equilibrium, then the displacement from the equilibrium position of the center of mass of each weight can be determined by considering them as a function of time s. Let the functions \(v_{1}(s)\) and \(v_{2}(s)\) denote these measurements. Consider \(s\in [0,1]\), then \(v_{1}(0)\) and \(v_{2}(0)\) are the initial displacements of the mass \(m_{1}\) and \(m_{2}\), respectively. Similarly, \(v_{1}(1)\) and \(v_{2}(1)\) are the final displacements.
By considering the effects of viscous damping, restoring forces, and external forces of sinusoidal type, the coupled mass-spring model can be described by the second-order fully nonlinear ordinary coupled differential system [14]
subject to nonlinear coupled boundary conditions of Dirichlet type
The boundary conditions (55) can also be expressed as
The boundary conditions (56) have physical meanings, at \(s=0\) the initial displacements of the mass \(m_{1}\) and \(m_{2}\) are \(v_{1}(0)\) and \(v_{2}(0)\), respectively, and at \(s=1\) the final displacement for the first mass is \(v_{1}(1)\), which is the sum of sinusoidal sine function in this period of time, with the initial velocity of the second mass as an argument of the cosine function. Similarly, \(v_{2}(1)\) is the final displacement for the second mass, which is the sum of sinusoidal cosine function in this period of time, with the initial displacement of the first mass as an argument of the cosine function.
Model (54)–(56) is a particular case of system (1), (2) with
continuous functions for \(s\in [0,1]\). Moreover, \(\delta _{1}\), \(\delta _{2}\) are the damping coefficients, \(\mu _{1}\), \(\mu _{2}\) are the coefficients of each nonlinear term of the coupled system, \(k_{2}(v_{1}(s)-v_{2}(s))+\mu _{2}(v_{1}(s)-v_{2}(s))^{3}\), \(k_{2}(v_{2}(s)-v_{1}(s))+\mu _{2}(v_{2}(s)-v_{1}(s))^{3}\) are the restoring forces, and \(F_{1}\cos \omega _{1}s\), \(F_{2}\cos \omega _{2}s\) are the external sinusoidal forces with forcing amplitudes \(F_{1}\), \(F_{2}\) and forcing frequencies \(\omega _{1}\), \(\omega _{2}\).
For each nonnegative \(m_{1}\), \(m_{2}\), \(F_{1}\), \(F_{2}\), \(\omega _{1}\), \(\omega _{2}\), \(\delta _{1}\), \(\delta _{2}\), and any real \(\mu _{1}\), \(\mu _{2}\), \(k_{1}\), \(k_{2}\), such that for
the functions given by
are the lower and upper solutions of problem (54)–(56) satisfying (1), as
and
Also, the functions \(\gamma _{1}(s)=-s\), \(\gamma _{2}(s)=-4s\), \(\xi _{1}(s)=s^{4}\), and \(\xi _{2}(s)=s^{4}\) are coupled lower and upper solutions satisfying (35). Moreover, the continuous functions \(h_{1}\) and \(h_{2}\), as given in (57), satisfy the Nagumo condition relative to the intervals \([-s,s^{4}]\) and \([-4s,s^{4}]\) for \(s\in [0,1]\). For this, we first need to calculate \(P_{1}\) and \(P_{2}\) using (9) and (10) as follows:
Also
and for large \(G_{1}\), we have
Similarly,
and for large \(G_{2}\), we have
Then, by Theorem 1, there exists at least one solution \((v_{1}(s),v_{2}(s))\in C^{2}([0,1],\mathbb{R})\times C^{2}([0,1], \mathbb{R})\) of the coupled mass-spring model (54)–(56) with
Plots of the lower and upper solutions of Example 2
5 Conclusion
In this article, we presented the generalized results based on the LUSs approach to study the existence of solutions of second-order fully nonlinear coupled systems with generalized nonlinear coupled boundary conditions. Our presented results have ability to study the existence of solutions of certain BVPs in a unified way which has been previously studied on a case-by-case basis. For instance, Dirichlet and Neumann are the special cases. We demonstrated the applicability of the developed theoretical results by considering some examples. We also extended the results presented in [1–4].
Availability of data and materials
Not applicable.
References
Franco, D., Nieto, J.J., O’Regan, D.: Upper and lower solutions for first order problems with nonlinear boundary conditions. Extr. Math. 18(2), 153–160 (2003)
Franco, D., Nieto, J.J., O’Regan, D.: Existence of solutions for first order ordinary differential equations with nonlinear boundary conditions. Appl. Math. Comput. 153, 793–802 (2004)
Franco, D., O’Regan, D.: A new upper and lower solutions approach for second order probems with nonlinear boundary conditions. Arch. Inequal. Appl. 1, 423–430 (2003)
Asif, N.A., Talib, I., Tunc, C.: Existence of solution for first-order coupled system with nonlinear coupled boundary conditions. Bound. Value Probl. 2015, 134 (2015)
Lian, W.C., Wong, F.H., Yeh, C.C.: On the existence of positive solutions of nonlinear second order differential equations. Proc. Am. Math. Soc. 124(4), 1117–1126 (1996)
Tisdell, C.C.: Existence of solutions to second-order boundary value problems without growth restrictions. Electron. J. Qual. Theory Differ. Equ. 2016, 92 (2016)
Infante, G., Pietramala, P.: Nonzero radial solutions for a class of elliptic systems with nonlocal BCs on annular domains. NoDEA Nonlinear Differ. Equ. Appl. 22, 979–1003 (2015)
Figueiredo, D.G.D., Ubilla, P.: Superlinear systems of second-order ODE’s. Nonlinear Anal., Theory Methods Appl. 68(6), 1765–1773 (2008)
Cianciaruso, F., Infante, G., Pietramala, P.: Multiple positive radial solutions for Neumann elliptic systems with gradient dependence. Math. Methods Appl. Sci. 41(16), 6358–6367 (2018)
Abbas, S., Benchohra, M., Henderson, J., Lazreg, J.E.: Weak solutions for a coupled system of partial Pettis Hadamard fractional integral equations. Adv. Theory Nonlinear Anal. Appl. 1(2), 136–146 (2017)
Infante, G., Webb, J.R.L.: Loss of positivity in a nonlinear scalar heat equation. NoDEA Nonlinear Differ. Equ. Appl. 13, 249–261 (2006)
Guidotti, P., Merino, S.: Gradual loss of positivity and hidden invariant cones in a scalar heat equation. Differ. Integral Equ. 13, 1551–1568 (2000)
Webb, J.R.L.: Existence of positive solutions for a thermostat model. Nonlinear Anal., Real World Appl. 13, 923–938 (2012)
Temple, H.F.: Coupled spring equations. Int. J. Math. Educ. Sci. Technol. 34(1), 65–79 (2003)
Shi, Y.D., Zhou, Q.D., Li, Y.: A note on a two-point boundary value problem arising from a liquid metal flow. SIAM J. Math. Anal. 28(5), 1086–1093 (1997)
Horgan, C.O., Saccomandi, G., Sgura, I.: A two-point boundary-value problem for the axial shear of hardening isotropic incompressible nonlinearly elastic materials. SIAM J. Appl. Math. 62(5), 1712–1727 (2002)
Amster, P., Rogers, C.: On boundary value problems in three-ion electrodiffusion. J. Math. Anal. Appl. 333(1), 42–51 (2007)
Amara, J.B.: Sturm theory for the equation of vibrating beam. J. Math. Anal. Appl. 349(1), 1–9 (2009)
Amann, H.: Parabolic evolution and nonlinear boundary conditions. J. Differ. Equ. 72(1), 201–269 (1988)
Aris, R.: Introduction to the Analysis of Chemical Reactors. Prentice Hall, Englewood Cliffs (1965)
Aronson, D.G.: A comparison method for stability analysis of nonlinear parabolic problems. SIAM Rev. 20(2), 245–264 (1978)
Leung, A.: A semilinear reaction–diffusion prey–predator system with nonlinear coupled boundary conditions: equilibrium and stability. Indiana Univ. Math. J. 31, 223–241 (1982)
Mehmeti, F.A., Nicaise, S.: Nonlinear interaction problems. Nonlinear Anal. 20(1), 27–61 (1993)
Wang, A., Sun, J., Zettle, A.: The classification of self-adjoint boundary conditions: separated, coupled. J. Funct. Anal. 255, 1554–1573 (2008)
Ascher, U.M., Mattheij, R.M.M., Russell, R.D.: Numerical Solution of Boundary Value Problems for Ordinary Differential Equations. Classics in Applied Mathematics. SIAM, Philadelphia (1995). Corrected Reprint of the 1988 Original
Agarwal, R.P.: Boundary Value Problems for Higher Order Differential Equations. World Scientific, Teaneck (1986)
Jarad, F., Abdeljawad, T.: A modified Laplace transform for certain generalized fractional operators. Results Nonlinear Anal. 1(2), 88–98 (2018)
Redhwan, S.S., Shaikh, S.L., Abdo, M.S.: Some properties of Sadik transform and its applications of fractional-order dynamical systems in control theory. Ad. Theory Nonlinear Anal. Appl. 4(1), 51–66 (2020)
Abdeljawad, T., Agarwal, R.P., Karapinar, E., Kumari, P.S.: Solutions of the nonlinear integral equation and fractional differential equation using the technique of a fixed point with a numerical experiment in extended b-metric space. Symmetry 11(5), 686 (2019)
Karapinar, E., Fulga, A., Rashid, M., Shahid, L., Aydi, H.: Large contractions on quasi-metric spaces with an application to nonlinear fractional differential equations. Mathematics 7(5), 444 (2019)
Alqahtani, B., Aydil, H., Karapinar, E., Rakočević, V.: A solution for Volterra fractional integral equations by hybrid contractions. Mathematics 7(8), 694 (2019)
Afshari, H., Kalantari, S., Karapinar, E.: Solution of fractional differential equations via coupled fixed points. Electron. J. Differ. Equ. 2015, 286 (2015)
Adigüzel, R.S., Aksoy, U., Karapinar, E., Erhan, I.M.: On the solution of a boundary value problem associated with a fractional differential equation. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6652
Talib, I., Asif, N.A., Tunc, C.: Coupled lower and upper solution approach for the existence of solutions of nonlinear coupled system with nonlinear coupled boundary conditions. Proyecciones 35(1), 99–117 (2016)
Minhós, F., Fialho, J., de Sousa, R.: Periodic n dimensional first order coupled systems and periodic schizophrenia phenomena. J. Math. Anal. Appl. 492(2), 124482 (2020)
Akô, K.: Subfunctions for ordinary differential equations. Funkc. Ekvacioj 12, 239–241 (1969)
Knobloch, H.W.: Comparison theorems for nonlinear second order differential equations. J. Differ. Equ. 1, 1–26 (1965)
Schmitt, K.: Boundary value problems for nonlinear second order differential equations. Monatshefte Math. 176, 347–354 (1968)
Kelevedjiev, P.: Existence of solutions for two-point boundary value problems. Nonlinear Anal. 22, 217–224 (1994)
Granas, A., Guenther, R., Lee, J.: Nonlinear boundary value problems for ordinary differential equations. Diss. Math. 244, 1–128 (1985)
Korman, P.: Remarks on Nagumo condition. Port. Math. 55, 1–9 (1998)
Nagumo, M.: Uber die Differentialgleichung \(y^{\prime \prime } = f (x, y, y^{\prime })\). Proc. Phys. Math. Soc. Jpn. 9, 861–866 (1937) (in German)
Nagumo, M.: Collected Papers. Edited by Masaya Yamaguti, Louis Nirenberg, Sigeru Mizohata and Yasutaka Sibuya. With Appendices by Yamaguti, Mizohata, Sibuya and Michihiro Nagase. Springer, Tokyo (1993)
Bernstein, S.R.: Sur les équations du calcul des variations. Ann. Sci. Éc. Norm. Supér. 29, 431–485 (1912) (in French)
Acknowledgements
This research was funded by the Deanship of Scientific Research at Princess Nourah bint Abdulrahman University, Saudi Arabia through the Fast-track Research Funding Program.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to this article. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Talib, I., Abdeljawad, T., Alqudah, M.A. et al. New results and applications on the existence results for nonlinear coupled systems. Adv Differ Equ 2021, 368 (2021). https://doi.org/10.1186/s13662-021-03526-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03526-2