Abstract
In this paper we deal with generalized coupled systems of integral equations of Hammerstein type with nonlinearities depending on several derivatives of both variables and we underline that both equations and both variables can have a different regularity. This detail is very important as it allows for the application to, for example, boundary value problems with coupled systems composed of differential equations of different orders and distinct boundary conditions. This issue will open a new field of applications to phenomena modeled by coupled systems requiring different types of regularity for the unknown functions.
The arguments follow Guo–Krasnosel’skiĭ compression–expansion theory on cones and the kernel functions are nonnegative and verifying adequate sign and growth assumptions.
The dependence of the derivatives is overcome by the construction of suitable cones taking into account certain conditions of sublinearity/superlinearity at the origin and at +∞.
Similar content being viewed by others
1 Introduction
In this paper we deal with generalized coupled systems of integral equations of Hammerstein type,
where \(k_{\iota }:[0,1]^{2}\rightarrow \mathbb{R}\), \(\iota =1,2\), are the kernel functions such that \(k_{\iota }\in W^{r_{\iota },1} ( [0,1]^{2} ) \), \(r_{\iota }=\max \{ m_{\iota },n_{\iota } \} \), with \(m_{\iota },n_{\iota }\geq 0\) positive integers, \(g_{\iota }\in L^{1} ( [0,1] ) \) with \(g_{\iota }(t)\geq 0\) for a.e. \(t\in [ 0,1]\), and \(f_{\iota }:[0,1] \times \mathbb{R}^{m_{\iota }+n_{\iota }+2}\rightarrow [ 0, \infty )\) are \(L^{\infty }\)-Carathéodory functions.
The theory of integral equations has been and continues to be a field of many research and applications. These equations are especially relevant in physics and are often used to reformulate or rewrite mathematical problems.
Hammerstein integral equations are special subclasses of nonlinear integral equations of Fredholm-type
and their study was initiated by Hammerstein (see [4, 17]).
Hammerstein family of integral equations appears in some mathematical models, such as electrostatic drift waves and low-frequency electromagnetic perturbation (see [14]) and signal theory (see [19]). Other applications and very successful results can be found on [2, 10, 21] and the references therein.
The existence, uniqueness, multiplicity, positivity and location of solutions are the most studied and predominant elements as regards Hammerstein integral equations. Citing just a few examples in the literature, we mention [24], where the authors use fixed point index theory to establish their main result, based on a priori estimates achieved by nonnegative matrices; in [11], Coclite studies the existence of a positive measurable solution of the Hammerstein equation of the first kind with a singular nonlinear term at the origin; in [8], the authors contribute, by monotone iterative methods, combined with the classical fixed point index, proving two results concerning non-decreasing and non-increasing operators in a shell, in the presence of an upper or a lower solution; in [9], Cardinali et al., examine multivalued Hammerstein integral equations defined in a separable reflexive Banach space, obtaining existence results for convex and nonconvex problems; in [13], the researchers study solutions of the nonlinear Hammerstein integral equation with changing-sign kernels by using a variational principle of Ricceri and critical points theory techniques (they combine the effects of a sublinear and superlinear nonlinear terms to establish new existence and multiplicity results); in [26], the authors study the existence and the uniqueness of iterative positive solutions for a class of nonlinear singular integral equations in which the nonlinear terms may be singular in both time and space variables. By using the fixed point theorem of mixed monotone operators in cones, they establish the conditions for the existence and uniqueness of positive solutions to the problem.
In addition, several discretization and numerical methods were also considered on integral equations (see, for instance, [1, 3, 5,6,7, 22, 25]).
More specifically, about Hammerstein-type coupled systems of integral equations, we refer [12], where, by a special cone and using fixed point index theory, Cui and Sun, investigate the existence of positive solutions of singular superlinear coupled integral boundary value problems for differential systems
where \(f_{1},f_{2}:(0,1)\times [ 0,+\infty )^{2}\rightarrow [ 0,+\infty )\) are continuous and may be singular at \(t=0,1\), and \(\alpha [ x]\), \(\beta [ x]\) are bounded linear functionals on \(C[0,1]\) given by
involving Stieltjes integrals, and A, B are functions of bounded variation with positive measures. Note that (2) can be reformulated by
where
In [23], the authors study the existence and multiplicity of positive solutions for the system of nonlinear Hammerstein integral equations
where \(k_{i}\in C ( [0,1]\times [ 0,1],\mathbb{R}_{+} ) \) and \(f_{i}\in C ( [0,1]\times {\mathbb{R}}_{+}^{3},\mathbb{R} _{+} ) \), for \(i=1,2,3\). The authors use concave functions to characterize the growth and the behaviors of nonlinearities \(f_{1}\), \(f_{2}\), \(f_{3}\), considering three cases: assuming firstly that all are superlinear; secondly, with all sublinear and the last case with two superlinear ones and the other one sublinear. Based on a priori estimates obtained by Jensen’s integral inequality for concave functions, the authors use the fixed point index theory to establish the main result.
Recently, in [18], Infante and Minhós, extending the results on [20], to prove the existence, multiplicity, non-existence and localization results for nontrivial solutions of the system
To obtain their results, it is assumed some adequate assumptions in order to apply a fixed index theorem and cone theory.
Motivated by this work we consider the coupled integral system (1). Our results are based on [20] and [15], extending the results to systems of coupled Hammerstein-type integral equations with nonlinearities in both unknown functions and their first derivatives.
To the best of our knowledge, it is the first time where coupled systems contain integral equations with nonlinearities depending on several derivatives of both variables and, moreover, the derivatives can be of different order on each variable and each equation. That is, both equations and both variables can have a different regularity. This detail is very important as it allows the application of our results, for example, to boundary value problems with coupled systems composed of differential equations of different orders and distinct boundary conditions on each unknown function. This issue will open new fields of applications to phenomena modeled by coupled systems requiring different types of regularity on each variables.
The arguments in this paper apply Guo–Krasnosel’skiĭ compression–expansion theory on cones. Moreover, the kernel functions and the corresponding derivatives associated to the integral equations are nonnegative and verify some adequate sign and growth assumptions. The dependence of the derivatives is overcome by the construction of suitable cones taking into account certain conditions of sublinearity/superlinearity at the origin and at +∞.
The paper is organized as it follows: Sect. 2 contains the functional backgrounds. In Sect. 3, we present an existence result. Finally, an example shows the type of applications for these integral systems and boundary value problems allowed by our result.
2 Backgrounds and assumptions
In this paper we consider the cones defined, for \(\iota =1,2\), by
where \(0< c_{i\iota }<1\) and \(r_{\iota }=\max \{ m_{\iota },n _{\iota } \} \). The Banach space \(C^{k}[0, 1]\), equipped with the norm \(\Vert \cdot \Vert _{C^{k}}\), defined by
and \(\Vert y\Vert :=\max_{t\in [ 0, 1] }\vert y(t)\vert \).
Moreover, the set \(E:=K_{1}\times K_{2}\) with the norm
is a Banach space.
Definition 1
A function \(h:[0,1]\times \mathbb{R}^{q}\rightarrow [ 0,\infty )\), for q a positive integer, is \(L^{\infty }\)-Carathéodory if
-
(i)
\(h(\cdot ,y)\) is measurable for each fixed \(y\in \mathbb{R}^{q}\);
-
(ii)
\(h(t,\cdot )\) is continuous for a.e. \(t\in [ 0,1]\);
-
(iii)
for each \(\rho >0\), there exists a function \(\varphi _{\rho }\in L^{\infty } ( [ 0,1 ] ) \) such that \(h(t,y)\leq \varphi _{\rho }(t)\) for \(y\in [ -\rho ,\rho ]\) and a.e. \(t\in [0,1]\).
The existence tool will be the well-known Guo–Krasnosel’skiĭ results in expansive and compressive cones theory:
Lemma 2
([16])
Let \((E, \Vert \cdot \Vert )\) be a Banach space, and \(P\subset E\) be a cone in E. Assume that \(\varOmega _{1}\) and \(\varOmega _{2}\) are open subsets of E such that \(0\in \varOmega _{1}\), \(\overline{\varOmega _{1}} \subset \varOmega _{2}\).
If \(T : P\cap (\overline{\varOmega _{2}}\setminus \varOmega _{1}) \rightarrow P\) is a completely continuous operator such that either
-
(i)
\(\Vert Tu\Vert \leq \Vert u\Vert \), \(u\in P\cap \partial \varOmega _{1}\), and \(\Vert Tu\Vert \geq \Vert u\Vert \), \(u\in P\cap \partial \varOmega _{2}\), or
-
(ii)
\(\Vert Tu\Vert \geq \Vert u\Vert \), \(u\in P\cap \partial \varOmega _{1}\), and \(\Vert Tu\Vert \leq \Vert u\Vert \), \(u\in P\cap \partial \varOmega _{2}\), then T has a fixed point in \(P\cap (\overline{\varOmega _{2}}\backslash \varOmega _{1})\).
In this paper we will assume the following conditions.
-
(A1)
For \(\iota =1,2\), the function \(k_{\iota }:[0,1]^{2} \rightarrow \mathbb{R}\), \(k_{\iota }\in W^{r_{\iota },1} ( [0,1]^{2} ) \), verify for all \(\tau \in [ 0,1]\),
$$ \lim_{t\rightarrow \tau } \bigl\vert k_{\iota }(t,s)-k_{\iota }( \tau ,s) \bigr\vert =0,\quad \text{for a.e. } s\in [ 0,1], $$and
$$ \lim_{t\rightarrow \tau } \biggl\vert \frac{\partial ^{i}k_{\iota }}{ \partial t^{i}}(t,s)- \frac{\partial ^{i}k_{\iota }}{\partial t^{i}}( \tau ,s) \biggr\vert =0,\quad \text{for a.e. } s\in [ 0,1] \text{ and }i=1,\ldots,r_{\iota }. $$ -
(A2)
For \(\iota =1,2\), and every \(j_{\iota }=0,1,\ldots,r_{ \iota }\), there exist subintervals \([a_{\iota j},b_{\iota j}]\subseteq [ 0,1]\), positive functions \(\phi _{\iota j}\in L^{\infty }[0,1]\), and constants \(c_{\iota j}\in (0,1]\), such that
$$\begin{aligned}& 0 \leq k_{\iota }(t,s)\leq \phi _{\iota 0}(s)\quad \text{for }t\in [ 0,1]\text{ and a.e. } s\in [ 0,1]; \\& 0 \leq \frac{\partial ^{i}k_{\iota }}{\partial t^{i}}(t,s)\leq \phi _{\iota i}(s)\quad \text{for }t \in [ 0,1],\text{a.e. } s\in [ 0,1]\text{ and }i=1,\ldots,r_{\iota }; \\& k_{\iota }(t,s) \geq c_{\iota 0}\phi _{\iota 0}(s)\quad \text{for }t \in [ a_{\iota 0},b_{\iota 0}]\text{ and a.e. } s\in [ 0,1]; \\& \frac{\partial ^{i}k_{\iota }}{\partial t^{i}}(t,s) \geq c_{\iota i} \phi _{\iota i}(s)\quad \text{for }t\in [ a_{\iota i},b_{\iota i}],\text{a.e. } s\in [ 0,1] \text{ and }i=1,\ldots,r_{\iota }. \end{aligned}$$ -
(A3)
For \(\iota =1,2\), \(j_{\iota }=0,1,\ldots,r_{\iota }\), \(g_{\iota }\in L^{1} ( [0,1] ) \), \(g_{\iota }(t)\geq 0\) a.e. \(t\in [ 0,1]\), \(\phi _{\iota j}\in L^{\infty }[0,1]\) and \(\int _{a_{\iota j}}^{b_{\iota j}}\phi _{\iota j}(s)g_{\iota }(s) \,ds>0\).
Consider the following growth assumptions:
-
(B1)
For \(\iota =1,2\), \(l=0,1,\ldots,m_{\iota }\), \(j=0,1,\ldots,n _{\iota }\),
$$ \limsup_{x_{l }\rightarrow 0, y_{j }\rightarrow 0} \max_{t\in [ 0,1]}\frac{f_{\iota }(t,x _{0},\ldots,x_{m_{\iota }},y_{0},\ldots,y_{n_{\iota }})}{\max \{ \vert x_{l} \vert , \vert y_{j} \vert \} }=0 $$(5)and
$$ \liminf_{x_{l}\rightarrow +\infty , y_{j}\rightarrow + \infty } \min_{t\in [ 0,1]} \frac{f_{\iota }(t,x_{0},\ldots,x_{m_{\iota }},y_{0},\ldots,y_{n_{\iota }})}{\max \{ \vert x_{l} \vert , \vert y_{j} \vert \} }=+\infty . $$(6) -
(B2)
For \(\iota =1,2\), \(l=0,1,\ldots,m_{\iota }\), \(j=0,1,\ldots,n _{\iota }\),
$$ \liminf_{x_{l }\rightarrow 0, y_{j }\rightarrow 0 } \min_{t\in [ 0,1]}\frac{f_{\iota }(t,x _{0},\ldots,x_{m_{\iota }},y_{0},\ldots,y_{n_{\iota }})}{\max \{ \vert x_{l} \vert , \vert y_{j} \vert \} }=+ \infty $$(7)and
$$ \limsup_{x_{l}\rightarrow +\infty , y_{j}\rightarrow + \infty } \max_{t\in [ 0,1]} \frac{f_{ \iota }(t,x_{0},x_{1},\ldots,x_{m_{\iota }+n_{\iota }+1})}{\max \{ \vert x_{l} \vert , \vert y_{j} \vert \} }=0. $$(8)
3 Main result
The main result is given by next theorem:
Theorem 3
Let, for \(\iota =1,2\), \(f_{\iota }:[0,1]\times \mathbb{R}^{m_{\iota }+n _{\iota }+2}\rightarrow [ 0,\infty )\) be \(L^{\infty }\)-Carathéodory functions such that assumptions (A1)–(A3) hold and or conditions \((B1)\), or \((B2)\), are satisfied. Then problem (1) has at least one positive solution \((u, v)\in (C^{r_{1}}[0,1]\times C^{r_{2}}[0,1] )\).
Proof
Consider the cones \(K_{\iota }\) in (3), the Banach space \(E:=K_{1}\times K_{2}\) with the norm given by (4), and define the operators \(T_{1} : E \rightarrow K_{1}\) and \(T_{2} : E \rightarrow K_{2}\) such that
The proof will be done in several steps and the main idea is to show that the operator \(T:E\rightarrow E\) defined by \(T=(T_{1},T_{2})\) has a fixed point on E. For this, according to Lemma 2, we need to show that T is completely continuous.
Step 1: \(T:E\rightarrow E\) is well defined in E.
It will be enough to prove that \(T_{\iota }\) are well defined in \(K_{\iota }\), for \(\iota =1,2\).
Take \(( u_{1},u_{2} ) \in E\). By (A2),
and
On the other hand, for \(i=1,\ldots,r_{1}\),
and
So, for \(i=0,1,\ldots,r_{1}\),
with \(0< d_{1}\leq \max \{ c_{1i},i=0,1,\ldots,r_{1} \} \leq 1\).
Therefore, \(T_{1}E\subseteq K_{1}\). The inclusion \(T_{2}E\subseteq K _{2}\) can be proved similarly, and consequently \(TE\subset E\).
Step 2: T is uniformly bounded in E.
We will prove that \(T_{1}\) and \(T_{2}\) are uniformly bounded in \(K_{1}\) and \(K_{2}\), respectively.
Consider \(( u_{1},u_{2} ) \in E\) such that \(\Vert ( u_{1},u_{2} ) \Vert _{E}\leq \rho \), for some \(\rho >0\).
The proof will be done for the operator \(T_{1}\), as for \(T_{2}\) the arguments are analogous.
By (A2), (A3) and Definition 1,
and, for \(i=1,\ldots,r_{1}\),
Therefore \(\Vert T_{1} ( u_{1},u_{2} ) \Vert _{C^{r_{1}}}<+ \infty \), and, so, \(T_{1}\) is uniformly bounded in \(K_{1}\).
By an analogous method it can de proved that \(T_{2}\) is uniformly bounded in \(K_{2}\), and, therefore, T is uniformly bounded in E.
Step 3: T is equicontinuous in E.
This step will be shown if \(T_{1}\) and \(T_{2}\) are equicontinuous in \(K_{1}\) and \(K_{2}\), respectively. The calculus will be done only for \(T_{1}\), as the other case is similar.
Consider \(t_{1}\), \(t_{2}\in [ 0,1]\). By (A1),
and, for \(i=1,\ldots,r_{1}\),
Therefore, \(T_{1}\) is equicontinuous in \(K_{1}\).
In the same way it can be proved that \(T_{2}\) is equicontinuous in \(K_{2}\). Then T is equicontinuous in E.
By the Arzelà–Ascoli theorem, T is completely continuous in E.
Assume that condition (B1) holds.
Step 4: \(\Vert T ( u_{1},u_{2} ) \Vert _{E}\leq \Vert ( u_{1},u_{2} ) \Vert _{E}\), for \(( u_{1},u _{2} ) \in E\cap \partial \varOmega _{1}\) with \(\varOmega _{1}=\{ ( u_{1},u_{2} ) \in E : \Vert ( u_{1},u_{2} ) \Vert _{E}<\rho _{1}\}\), for some \(\rho _{1}>0\).
To prove that
it will be enough to show that
As \(( u_{1},u_{2} ) \in E\cap \partial \varOmega _{1}\) then \(\Vert ( u_{1},u_{2} ) \Vert _{E}=\rho _{1}\).
For \(i=0,1,\ldots,r_{1}\), and (A3), let us define
By (5), there exists \(0<\rho _{1}<1\) such that
for \(\Vert ( u_{1},u_{2} ) \Vert _{E}\leq \rho _{1}\).
and, for \(i=1,\ldots,r_{1}\),
Ergo, \(\Vert T_{1} ( u_{1},u_{2} ) \Vert _{C^{r_{1}}}\leq \Vert ( u_{1},u_{2} ) \Vert _{E}\), for \(( u_{1},u _{2} ) \in E\cap \partial \varOmega _{1}\). By similar calculations it can be proved that \(\Vert T_{2} ( u_{1},u_{2} ) \Vert _{C^{r_{2}}}\leq \Vert ( u_{1},u_{2} ) \Vert _{E}\) and, therefore, \(\Vert T ( u_{1},u_{2} ) \Vert _{E}\leq \Vert ( u_{1},u_{2} ) \Vert _{E}\), for \(( u_{1},u_{2} ) \in E\cap \partial \varOmega _{1}\).
Step 5: \(\Vert T ( u_{1},u_{2} ) \Vert _{E}\geq \Vert ( u_{1},u_{2} ) \Vert _{E}\), for \(u\in E\cap \partial \varOmega _{2} \) with \(\varOmega _{2}=\{ ( u_{1},u_{2} ) \in E : \Vert ( u_{1},u_{2} ) \Vert _{E}<\rho _{2}\}\), for some \(\rho _{2}>0\).
If there exists \(i_{0}\in \{0,1,\ldots,m_{1}\}\), or \(j_{0}\in \{0,1,\ldots,n_{1}\}\), such that \(u_{1}^{(i_{0})}(t)\rightarrow +\infty \) and \(u_{2}^{(j_{0})}(t)\rightarrow +\infty \), then \(\Vert ( u_{1},u _{2} ) \Vert _{E}\rightarrow +\infty \).
By (6), for \(\iota =1,2\), there exist \(\rho _{\iota } ^{\ast }>0\) and \(\theta >0\), such that, when \(\Vert ( u_{1},u _{2} ) \Vert _{E}\geq \theta \), we have
Define, for \(i=0,1,\ldots,r_{1}\),
Let \(( u_{1},u_{2} ) \in E\) be such that \(\Vert ( u _{1},u_{2} ) \Vert _{E}=\rho _{2}\), with \(\rho _{2}>\rho _{1}\).
Now from (A2), and (13),
and analogously, for \(i=1,\ldots,r_{1}\),
Therefore, \(\Vert T_{1} ( u_{1},u_{2} ) \Vert _{C^{r_{1}}} \geq \Vert ( u_{1},u_{2} ) \Vert _{E}\), for \(( u_{1},u _{2} ) \in E\cap \partial \varOmega _{2}\). Analogously it can be shown that \(\Vert T_{2} ( u_{1},u_{2} ) \Vert _{C^{r_{2}}}\geq \Vert ( u_{1},u_{2} ) \Vert _{E}\), for \(( u_{1},u _{2} ) \in E\cap \partial \varOmega _{2}\), and, therefore, \(\Vert T ( u_{1},u_{2} ) \Vert _{E}\geq \Vert ( u_{1},u _{2} ) \Vert _{E}\), for \(( u_{1},u_{2} ) \in E\cap \partial \varOmega _{2}\).
By Lemma 2, the operator T has a fixed point in \(K\cap (\overline{\varOmega _{2}}\backslash \varOmega _{1})\) which in turn is a solution of our problem.
Now assume that (B2) holds.
Step 6: \(\Vert T ( u_{1},u_{2} ) \Vert _{E}\geq \Vert ( u_{1},u_{2} ) \Vert _{E}\), for \(u\in E\cap \partial \varOmega _{3} \) with \(\varOmega _{3}=\{ ( u_{1},u_{2} ) \in E : \Vert ( u_{1},u_{2} ) \Vert _{E}<\rho _{3}\}\), for some \(\rho _{3}>0\).
Taking \(\xi _{1}>0\) as in (13), we see that by (7) there exists \(0<\rho _{3}<1\) such that
and
Consider \(( u_{1},u_{2} ) \in E \) such that \(\Vert ( u_{1},u_{2} ) \Vert _{E}=\rho _{3_{\iota }}\). Then, applying similar inequalities to Step 5, we obtain \(\Vert T ( u_{1},u_{2} ) \Vert _{E}\geq \Vert ( u_{1},u_{2} ) \Vert _{E}\).
Step 7: \(\Vert T ( u_{1},u_{2} ) \Vert _{E}\leq \Vert ( u_{1},u_{2} ) \Vert _{E}\), for \(( u_{1},u _{2} ) \in E\cap \partial \varOmega _{4}\) with \(\varOmega _{4}=\{ ( u_{1},u_{2} ) \in E : \Vert ( u_{1},u_{2} ) \Vert _{E}<\rho _{4}\}\), for some \(\rho _{4}>0\).
Case 7.1. Suppose that \(f_{1}\) is bounded.
Then there is an \(N>0\) such that \(f_{1}(t,u_{1}(t),\ldots,u_{1}^{(m _{1})}(t),u_{2}(t),\ldots,u_{2}^{(n_{1})}(t))\leq N\) for all \((t,u_{1}(t),\ldots,u_{1}^{(m_{1})}(t),u_{2}(t),\ldots,u_{2}^{(n_{1})}(t))\in [ 0,1]\times [ 0,+\infty )^{m_{1}+n_{1}+2}\). Choose
and take \(( u_{1},u_{2} ) \in E\) with \(\Vert ( u _{1},u_{2} ) \Vert _{E}=\rho _{4}\). Then
and for \(i=1,\ldots,r_{1}\),
Thus, \(\Vert T_{1} ( u_{1},u_{2} ) \Vert _{C^{r_{1}}}\leq \Vert ( u_{1},u_{2} ) \Vert _{E}\).
The same arguments can be applied to show that \(\Vert T_{2} ( u _{1},u_{2} ) \Vert _{C^{r_{2}}}\leq \Vert ( u_{1},u_{2} ) \Vert _{E}\). So, \(\Vert T ( u_{1},u_{2} ) \Vert _{E}\leq \Vert ( u_{1},u_{2} ) \Vert _{E}\).
Case 7.2. Suppose that \(f_{1}\) is unbounded.
By (8), there exists \(\mu >0\) such that
and
for every \(M>0\) such that \(\Vert ( u_{1},u_{2} ) \Vert _{E}\geq M\).
Define
Then, for \(( u_{1},u_{2} ) \in E\cap \partial \varOmega _{4}\), we have \(\Vert ( u_{1},u_{2} ) \Vert _{E}=\rho _{4}\) and, by (16),
So,
and for \(i=1,\ldots,r_{1}\),
Therefore, \(\Vert T_{1} ( u_{1},u_{2} ) \Vert _{C^{r_{1}}} \leq \Vert ( u_{1},u_{2} ) \Vert _{E}\), for \(( u_{1},u _{2} ) \in E\cap \partial \varOmega _{4}\).
In the same way we can have \(\Vert T_{2} ( u_{1},u_{2} ) \Vert _{C^{r_{2}}}\leq \Vert ( u_{1},u_{2} ) \Vert _{E}\), for \(( u_{1},u_{2} ) \in E\cap \partial \varOmega _{4}\), and, therefore, \(\Vert T ( u_{1},u_{2} ) \Vert _{E}\leq \Vert ( u_{1},u_{2} ) \Vert _{E}\), for \(( u_{1},u_{2} ) \in E\cap \partial \varOmega _{4}\).
The remaining cases (\(f_{2}\) bounded or unbounded) can be processed by similar techniques.
By Lemma 2, the operator T has a fixed point in \(E\cap (\overline{\varOmega _{4}}\backslash \varOmega _{3})\) that, in turn, is a solution of the problem. □
4 Example
Consider the following coupled system composed of third and second nonlinear equations, with three-point boundary conditions:
Note that the problem (18) can be rewritten as the following system of integral equations:
where the kernel functions \(k_{1}(t,s)\) and \(k_{2}(t,s)\) are given by the corresponding Green’s functions
respectively.
Clearly system (19) is a particular case of (1) with \(r_{1}=r_{2}=m_{1}=m_{2}=n_{1}=n_{2}=1\), \(g_{1}(t)=t^{2}+1\), \(g_{2}(t)=t^{4}\), \(k_{1}(t,s)=G_{1}(t,s)\), \(k_{2}(t,s)=G_{2}(t,s)\), and
These functions \(f_{1},f_{2}:\mathbb{R}^{5}\rightarrow [ 0, \infty )\) are \(L^{\infty }\)-Carathéodory as, for \(\rho >0\), when \(\max \{ \vert x \vert , \vert y \vert , \vert z \vert , \vert w \vert \} < \rho \), there exist functions \(\varphi _{1\rho },\varphi _{2\rho } \in L^{\infty } ( [ 0,1 ] ) \) such that
The first derivative of the Green’s functions are positive, with
Therefore (A1) holds and, to show that (A2) is verified, we follow the arguments in [15] (Lemmas 4.1–4.4), for \(G_{1}\) and any \((t,s)\in [ 0, 1]\times [ 0, 1]\), to obtain
and for \((t,s)\in [ \frac{1}{3}, \frac{1}{2}]\times [ 0, 1]\), it follows that
and
and for \(G_{2}\), taking
showing that
Condition (A3) is satisfied as the four integrals referred to are trivially positive.
For \(j=0,1\), we have
and, therefore, conditions (B1) hold.
So, by Theorem 3, there is at least one positive solution \((u, v)\in (C^{1}[0,1]\times C^{1}[0,1] )\) of problem (19), which is solution of (18).
References
Abdolmaleki, E., Najafi, H.: An efficient algorithmic method to solve Hammerstein integral equations and application to a functional differential equation. Adv. Mech. Eng. 9(6), 1–8 (2017). https://doi.org/10.1177/1687814017701704
Agarwal, R., O’Regan, D., Wong, P.: Constant-Sign Solutions of Systems of Integral Equations. Springer, Basel (2013)
Almousa, M., Ismail, A.: Numerical solution of Fredholm–Hammerstein integral equations by using optimal homotopy asymptotic method and homotopy perturbation method. In: AIP Conference Proceedings, vol. 1605, p. 90 (2014). https://doi.org/10.1063/1.4887570
Atkinson, K.: The Numerical Solution of Integral Equations of the Second Kind. Cambridge Monographs on Applied and Computational Mechanics. New York (1997)
Bakodah, H., Darwish, M.: Solving Hammerstein type integral equation by new discrete Adomian decomposition methods. Math. Probl. Eng. 2013, Article ID 760515 (2013). https://doi.org/10.1155/2013/760515
Barzkar, A., Assari, P., Mehrpouya, M.: Application of the CAS wavelet in solving Fredholm–Hammerstein integral equations of the second kind with error analysis. World Appl. Sci. J. 18(12), 1695–1704 (2012). https://doi.org/10.5829/idosi.wasj.2012.18.12.467
Bica, A., Curila, M., Curila, S.: About a numerical method of successive interpolations for functional Hammerstein integral equations. J. Comput. Appl. Math. 236, 2005–2024 (2012)
Cabada, A., Cid, J., Infante, G.: A positive fixed point theorem with applications to systems of Hammerstein integral equations. Bound. Value Probl. 2014, 254 (2014). https://doi.org/10.1186/s13661-014-0254-8
Cardinali, T., Papageorgiou, N.: Hammerstein integral inclusions in reflexive Banach spaces. Proc. Am. Math. Soc. 127(1), 95–103 (1999)
Cianciaruso, F., Infante, G., Pietramala, P.: Solutions of perturbed Hammerstein integral equations with applications. Nonlinear Anal., Real World Appl. 33, 317–347 (2017)
Coclite, M.: Positive solutions of Hammerstein integral equation with singular nonlinear term. Topol. Methods Nonlinear Anal. 15, 235–250 (2000)
Cui, Y., Sun, J.: On existence of positive solutions of coupled integral boundary value problems for a nonlinear singular superlinear differential system. Electron. J. Qual. Theory Differ. Equ. 41, 1 (2012)
Faraci, F., Moroz, V.: Solutions of Hammerstein integral equations via variational principle. J. Integral Equ. Appl. 15(4), 385–402 (2003)
Farengo, R., Lee, Y., Guzdar, P.: An electromagnetic integral equation: application to microtearing modes. Phys. Fluids 26, 3515 (1983). https://doi.org/10.1063/1.864112
Graef, J., Kong, L., Minhós, F.: Generalized Hammerstein equations and applications. Results Math. 72, 369–383 (2017)
Guo, D., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, San Diego (1988)
Hammerstein, A.: Nichtlineare intergralgleichungen nebst anwendungen. Acta Math. 54, 117–176 (1929)
Infante, G., Minhós, F.: Nontrivial solutions of systems of Hammerstein integral equations with firsrt derivative dependence. Mediterr. J. Math. 14, 242 (2017). https://doi.org/10.1007/s00009-017-1044-1
Kurz, L., Nowosad, P., Saltzberg, B.R.: On the solution of a quadratic integral equation arising in signal design. J. Franklin Inst. 281, 437–454 (1966)
Minhós, F., de Sousa, R.: On the solvability of third-order three points systems of differential equations with dependence on the first derivatives. Bull. Braz. Math. Soc. (2017). https://doi.org/10.1007/s00574-016-0025-5
Sauter, S., Schwab, C.: Boundary Element Methods. Springer, Berlin (2011)
Shahsavaran, A.: Lagrange functions method for solving nonlinear Hammerstein Fredholm–Volterra integral equations. Appl. Math. Sci. 5(49), 2443–2450 (2011)
Xu, J., Yang, Z.: Positive solutions for a system of nonlinear Hammerstein integral equations and applications. J. Integral Equ. Appl. 24(1), 131–147 (2012)
Yang, Z., Zhang, Z.: Positive solutions for a system of nonlinear singular Hammerstein integral equations via nonnegative matrices and applications. Positivity 16(4), 783–800 (2012). https://doi.org/10.1007/s11117-011-0146-4
Zarebnia, M., Khani, S.: Numerical solution of Hammerstein integral equations by using quasi-interpolation. Int. J. Math. Comput. Sci. 7(4), 716–719 (2013)
Zhang, X., Liu, L., Wu, Y.: Existence and uniqueness of iterative positive solutions for singular Hammerstein integral equations. J. Nonlinear Sci. Appl. 10, 3364–3380 (2017)
Acknowledgements
Not applicable.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Funding
This work was supported by Fundação para a Ciência e Tecnologia by the project UID/MAT/04674/2019 . The corresponding author is partially supported by Fundação Calouste Gulbenkian.
Author information
Authors and Affiliations
Contributions
Both authors contributed equally to the writing of this paper. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
There are no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
de Sousa, R., Minhós, F. On coupled systems of Hammerstein integral equations. Bound Value Probl 2019, 7 (2019). https://doi.org/10.1186/s13661-019-1122-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1122-3