- Research
- Open access
- Published:
On the solutions of a nonlinear system of q-difference equations
Boundary Value Problems volume 2024, Article number: 92 (2024)
Abstract
In this paper, we examine the existence and uniqueness of solutions for a system of the first-order q-difference equations with multi-point and q-integral boundary conditions using various fixed point (fp) theorems. Also, we give two examples to support our results.
1 Introduction
Multi-point boundary value problems and initial value problems occur in different subfields of applied mathematics and physics. They can be used to calculate the vibration of a guy wire consisting of a finite number of segments with uniform cross-section and different densities [1]. Additionally, many problems in elastic stability theory can be treated as multi-point problems [2]. Integral boundary conditions and boundary value problems include double, triple, multiple, and nonlocal problems, and many studies have been conducted on this subject (see [3–8]).
Fixed point (fp) theory is used to show the existence and uniqueness of the solutions of functional equations, integral equations, and problems such as fractional-order difference equations and initial value problems. For example, Şahin [9] obtained the solution of a functional equation in a Banach space using an iterative process. Şahin [10] investigated the sufficient conditions for the existence of a solution to nonlinear Fredholm integral equations. Khatoon et al. [11] studied the approximation of fixed points and applied it to fractional-order differential equations. Şahin [12] gave existence and uniqueness results for nonlinear fractional-order differential equations with the help of a newly defined Q-function. Almarri [13] introduced an fp theorem for M-metric spaces and gave an important application to solve the initial value problem.
On the other hand, q-boundary value problems have been obtained using the q-derivative defined by
and \(D_{q}x(0)=\displaystyle \lim _{t \to 0}D_{q}x(t)\) (see [14]) instead of the classical derivative, which attracted much attention. For instance, Ahmad and Ntouyas [15] investigated a q-boundary value problem with nonlocal and integral boundary conditions. Thiramanus and Tariboon [16] gave the existence and uniqueness of solutions for the nonlinear second-order q-difference equation with three-point boundary conditions. Ma and Yang [17] provided solutions for nonlinear fractional-order q-difference equations with multi-point boundary conditions using standard fp theorems. Also, the nonlinear fractional-order q-difference equations seem to have an important place in the mathematical modeling of many phenomena in engineering and science. For further studies on this subject, we refer readers to [18–23]. However, there is still not enough work on multi-point boundary value problems and initial value problems in q-calculus, and there are still problems worth studying on the subject.
Recently, Ngoc and Long [24] studied the nonlinear system associated with multi-point and integral initial conditions as follows:
Let \(0< q<1\), \(S=[0,T]\cap q^{\bar{\mathbb{N}}}\) and \(S^{*}=(0,T)\cap q^{\bar{\mathbb{N}}}\), where \(q^{\bar{\mathbb{N}}}=\{q^{n}:n\in \mathbb{N}\}\cup \{0\}\) and \(T\in q^{\bar{\mathbb{N}}}\) is a constant. In this paper, by acting on all the mentioned studies, we discuss the existence and uniqueness results for the following nonlinear system:
associated with multi-point and q-integral initial conditions as follows:
System (3)–(4) is reduced to system (1)–(2) when \(q\rightarrow 1\).
Our results are based on the Schaefer fp theorem, the Krasnoselskii fp theorem, and the Banach fp theorem. This paper consists of four sections. Section 2 outlines some essential tools and concepts needed. In Sect. 3, we prove that the solution of system (3)–(4) is equivalent to the solution of a system of integral equations and rewrite the obtained solutions by using an appropriate Green function. We also prove an essential property of the Green function, which will be used later in the paper. In Sect. 4, we investigate the existence and uniqueness of solutions and present three main conclusions. Moreover, we provide two numerical examples to help the reader better understand the primary outcomes. Our results extend and improve many known results in the literature.
2 Preliminaries
Let us recall the concept of the cone.
Definition 2.1
[25] Let E be a real Banach space. A subset P of E is called a cone if it satisfies the following conditions:
-
(i)
\(P\neq \varnothing \), \(P\neq \{0\}\), and P is closed.
-
(ii)
\(a.u+b.v \in P\) for all \(u,v \in P\) and \(a,b \in \mathbb{R}\) with \(a,b\geq 0\).
-
(iii)
If \(u \in P\) and \(-u \in P\), then \(u=0\).
According to this definition, we recall the following cones in \(\mathbb{R}^{n}\) and \(\mathcal{K}_{n}\):
and
where \(\mathcal{K}_{n}\) is the set of matrices of type \(n\times n\). Also, a partial ordering “≤” concerning cone P is defined by \(u \leq v \Leftrightarrow v-u \in P\). In this instance, the properties of a cone allow us to determine whether the properties of the standard ≤ for the real numbers, i.e., ≤ concerning \(\mathbb{R}_{+}\), hold true for ≤ concerning any P (see [26]). Hence, we can consider here that
and
Then, for each \(u\in \mathbb{R}^{n}\), we write \(u>0\) to show that \(u\geq 0\) and \(u\neq 0\); in a similar way, for each \(C\in \mathcal{K}_{n}\), we write \(C>0 \Leftrightarrow C\geq 0 \text{ and }C\neq 0\). For further studies on this subject, we refer readers to [27–29].
Now, we give some basic concepts of q-calculus (see [14, 30, 31] and the references therein).
The q-analogue of any natural number n is defined by
The q-analogue of the factorial of natural number n is defined as
The q-form of the classical exponential function is as follows:
Another q-analogue of \(e^{t}\) is given by
The connection between the exponential functions \(e_{q}^{t}\) and \(E_{q}^{t}\) is given by
The q-derivatives of exponential functions are \(D_{q} e_{q}^{t}=e_{q}^{t}\) and \(D_{q}E_{q}^{t}=E_{q}^{qt}\). Note that the q-derivative of \(E_{q}^{t}\) is not exactly itself.
The q-integral of a function x on the interval \([a,b]\) is defined by
and for \(a=0\), we denote
Here, the series on the right-hand side must be convergent. If \(a\in [0,b]\) and the function x is defined in \([0,b]\), then the following property is valid:
The partial integration rule is formulated as follows:
The change of order of integration is as follows:
Next, we give some fp theorems that will be the main tools for our results. For more details on fp theory, we refer the readers to [32–36].
Theorem 2.1
(Schaefer fp theorem) [37] Let X be a Banach space. Assume that \(\mathcal{U}:X \rightarrow X\) is a completely continuous operator and the set \(\Delta =\{u\in X:u=\beta .\mathcal{U}(u),0<\beta <1 \}\) is bounded. Then \(\mathcal{U}\) has an fp in X.
Theorem 2.2
(Krasnoselskii fp theorem) [38] Let M be a nonempty bounded closed convex subset of a Banach space X. Suppose that \(\mathcal{V}:M\rightarrow X\) is a contraction operator and \(\Gamma :M\rightarrow X\) is a compact operator such that
Then \(\mathcal{V} + \Gamma \) has an fp in M.
Theorem 2.3
(Banach fp theorem) [39] Let X be a Banach space. If \(\mathcal{U}:X \rightarrow X\) is a contraction operator, that is, there exists \(\theta \in \ [0,1)\) with
for any \(u,v \in X\), then \(\mathcal{U}\) has a unique fp in X.
3 Solutions of system (3)–(4)
First of all, we list the basic notations that will be used throughout this section as follows.
-
(i)
Let \(x_{0}\in \mathbb{R}^{n}\), \(C_{j}\in \mathcal{K}_{n}\) for \(j={1,..,N}\) and \(0< T_{1}<\cdots <T_{N}=T\) be constants.
-
(ii)
Let \(g,h\in C(S\times \mathbb{R}^{n}\times \mathbb{R}^{n};\mathbb{R}^{n})\) and \(K:S\rightarrow \mathcal{K}_{n}\) be continuous functions.
-
(iii)
Let \(L^{1}(S^{*})\) be a Banach space with the norm \(\|L\|_{L^{1}}=\int _{0}^{T}L(t) \,d_{q}t\).
-
(iv)
Let \(C(S;\mathbb{R}^{n})\) and \(C'(S;\mathbb{R}^{n})\) be Banach spaces with the usual norms
$$\begin{aligned}& \|x\|_{C(S;\mathbb{R}^{n})}=\max _{0\leq t \leq T}|x(t)|_{1},\\& \|x\|_{C'(S;\mathbb{R}^{n})}=\|x\|_{C(S;\mathbb{R}^{n})}+\|x'\|_{C(S; \mathbb{R}^{n})}, \end{aligned}$$where \(|u|_{1}=|u_{1}|+\cdots+|u_{n}|\) with \(u=(u_{1},\ldots,u_{n})^{T}\in \mathbb{R}^{n}\), respectively.
-
(v)
The norm of matrices of type \(n\times n\) for each \(C=(c_{ij})\in \mathcal{K}_{n}\) is as follows:
$$ \|C\|_{1}=\sup _{0\neq u \in \mathbb{R}^{n}} \frac{|Cu|_{1}}{{|u|_{1}}}=\max _{1\leq j \leq n}\sum _{i=1}^{n}|c_{ij}|. $$ -
(vi)
Additionally, we use the functions defined as follows:
$$ \textstyle\begin{array}{rrc} g_{\gamma}(t,x,y)=g(t,x,y)+\gamma .x(qt),& \\ h_{\lambda}(t,x,y)=h(t,x,y)+\lambda .y(qt),& \end{array}$$where \(\gamma ,\lambda \geq 0\).
-
(vii)
Put
$$ \sigma _{\lambda ,q}=I-\sum _{j=1}^{N}C_{j}.E_{q}^{-\lambda T_{j}}- \int _{0}^{T}K(\tau ).E_{q}^{-\lambda \tau} \,d_{q}\tau . $$
Now, we can give the following lemma, which states that the solution of system (3)–(4) is the solution of the system of integral equations.
Lemma 3.1
Suppose that \(\det \sigma _{\lambda ,q}\neq 0\). \((x,y)\in C(S;\mathbb{R}^{n})\times C(S;\mathbb{R}^{n})\) is a solution of equations (3)–(4) if and only if \((x,y)\) is a solution of the below system of integral equations:
Proof
Let \((x,y)\in C(S;\mathbb{R}^{n})\times C(S;\mathbb{R}^{n})\) be a solution of problem (3)–(4). It is clear that \((x,y)\in C'(S;\mathbb{R}^{n})\times C'(S;\mathbb{R}^{n})\) and \((x,y)\) provides problem (3)–(4). For each \(\gamma , \lambda \geq 0\), system (3) can be converted into an equivalent form as follows:
Multiplying the equations in (6) by \(e_{q}^{\gamma t}\) and \(e_{q}^{\lambda t}\), and taking q-integral from 0 to t, we get
and
It follows from (8) that
and
It means that
For this reason,
and so,
Using (7), (8), and (9), we deduce that \((x,y)\) provides system (5). Hence \((x,y)\) is a solution of system (5).
On the contrary, let \((x,y)\in C(S;\mathbb{R}^{n})\times C(S;\mathbb{R}^{n})\) be a solution of system (5). It is easy to prove that \((x,y)\in C'(S;\mathbb{R}^{n})\times C'(S;\mathbb{R}^{n})\) and \((x,y)\) ensure problem (3)–(4). Thus, the proof of Lemma 3.1 is completed. □
Remark 3.1
Let \(S=[0,T]\). If the classical exponential function is used instead of the q-exponential function in this lemma, Lemma 3.1 is reduced to Lemma 2.3 in [24] for \(q\rightarrow 1\).
We can give the following result from Lemma 3.1.
Corollary 3.1
The function \(y(t)\) can be re-expressed as
with the help of the Green function, which can be defined as follows:
Remark 3.2
Let \(C>0\) and \(0,C \in \mathcal{K}_{n}\). Then we have \(C \neq 0\) and \(C-0=C \in \mathcal{K}_{n}^{+}\). Also, let C be invertible. However, it does not emphasize that \(C^{-1}>0\). We can give an instance
definitely, it is not \(C^{-1}>0\).
We can now give an important feature of the Green function.
Lemma 3.2
Assume that \(K(t)\geq 0\), \(\forall t\in S\), and \(C_{j}\geq 0\) for \(\forall j={1,..,N-1}\), \(C_{N}>0\) such that \(\det \sigma _{\lambda ,q}\neq 0\), \(\sigma _{\lambda ,q}^{-1}>0\), and \(\sigma _{\lambda ,q}^{-1}.C_{N}=d_{ij}\) with \(d_{ij}>0\) for \(\forall i,j={1,..,n}\). Then
Proof
With direct account, we have
and
4 The existence and uniqueness of the solutions
In this part of the study, we prove the existence and uniqueness of the solutions of the equation given by (3)-(4). To do this, let us transform the problem into an fp problem by defining an operator \(\mathcal{U}\) such that \(\mathcal{U}(x,y)=(x,y)\). In this case, let \(\mathcal{A}=C(S;\mathbb{R}^{n})\times C(S;\mathbb{R}^{n})\) be a Banach space defined by the norm
Also, \(\gamma =\lambda =0\), we get
and
Thus, we can define an operator \(\mathcal{U}:\mathcal{A}\rightarrow \mathcal{A}\) as follows:
in which
Our first result is based on the Schaefer fp theorem.
Theorem 4.1
Let \(\mathcal{U}\) be defined as in (16). Assume that the following hold.
-
(D1)
There exists a function \(k_{1}(t)\in C(S;\mathbb{R}^{+})\) such that \(|g(t,x(t),y(t))|_{1}\leq k_{1}(t)\) for all \(t \in S\) and \(x(t),y(t)\in \mathbb{R}^{n}\).
-
(D2)
There exists a function \(k_{2}(t)\in C(S;\mathbb{R}^{+})\) such that \(|h(t,x(t),y(t))|_{1}\leq k_{2}(t)\) for all \(t \in S\) and \(x(t),y(t)\in \mathbb{R}^{n}\).
Then problem (3)–(4) has at least one solution on S.
Proof
We divide the proof into four steps.
Step 1. We have to show that \(\mathcal{U}\) is continuous. Let \(\{(x_{k},y_{k})\}\) be a sequence such that \((x_{k},y_{k}) \rightarrow (x,y)\) in \(\mathcal{A}\). By using the Lebesgue-dominated convergence theorem and the continuity of g and h, we get
and
From (17) and (18), we have the following inequalities:
and
From (19) and (20), we infer \(\|\mathcal{U}(x_{k},y_{k})-\mathcal{U}(x,y)\|_{\mathcal{A}} \rightarrow 0\) as \(k \rightarrow + \infty \), emphasizing the continuity of \(\mathcal{U}\).
Step 2. The operator \(\mathcal{U}\) transforms the bounded sets in \(\mathcal{A}\) into bounded sets in \(\mathcal{A}\). For this, it is enough to prove that for any \(\rho >0\) there exists a positive constant ω such that for each \((x,y)\in B_{\rho}=\{(x,y)\in \mathcal{A}:\|(x,y)\|_{\mathcal{A}} \leq \rho \}\) we have \(\|\mathcal{U}(x,y)\|_{\mathcal{A}}\leq \omega \). With conditions (D1) and (D2), we obtain
and
By using (21) and (22), we get
Thus, step 2 is completed.
Step 3. The operator \(\mathcal{U}\) transforms bounded sets into equicontinuous sets of \(\mathcal{A}\). Let \(B_{\rho}\) be a bounded set, as defined in step 2. Let \(t_{1},t_{2}\in S\), \(t_{1}< t_{2}\). Also, let \((x,y)\in B_{\rho}\). Then we have
and
As \(t_{1} \rightarrow t_{2}\), the right-hand side of inequalities (23) and (24) tends to zero. Thus, step 3 is completed. Using the Arzela–Ascoli theorem together with steps 1–3, we deduce that operator U is completely continuous.
Step 4. Set \(\Delta =\{(x,y)\in \mathcal{A}:(x,y)=\beta .\mathcal{U}(x,y) \text{ for some }0<\beta <1 \}\) is bounded. Let \((x,y)\in \Delta \). In this case \((x,y)=\beta .\mathcal{U}(x,y)\) for some \(0<\beta <1\). Hence, for each \(t\in S\), we have
and
This emphasizes by (D1) and (D2) (as in step 2) that for each \(t\in S\) we have
and
Thus, for every \(t\in S\), we get
This proves that Δ is a bounded set. Using the Schaefer fp theorem, we deduce that \(\mathcal{U}\) has an fp, which is a solution of problem (3)–(4). □
Remark 4.1
Let \(S=[0,T]\). If the limit is taken when \(q\rightarrow 1\), then problem (1)–(2) has at least one solution according to Schaefer fp theorem, which is new in the literature.
We describe operators \(\mathcal{V},\Gamma :\mathcal{A}\rightarrow \mathcal{A}\) such that
with
and
with
Clearly, \(\mathcal{U}=\mathcal{V}+\Gamma \).
Now, we can give the following theorem based on the Krasnoselskii fp theorem.
Theorem 4.2
Suppose that the following conditions are provided.
-
(F1)
\(K\in C(S,\mathcal{K}_{n})\) and \(C_{j}\in \mathcal{K}_{n}\) (\(j={1,..,N}\)) such that \(0<\int _{0}^{T}\|K(t)\|_{1} \,d_{q}t+\sum _{j=1}^{N}\|C_{j}\|_{1}<1\).
-
(F2)
Let \(L_{g}\in L^{1}(S^{*})\) be a positive function such that
$$ |g(t,x,y)-g(t,\bar{x},\bar{y})|_{1}\leq L_{g}(t)(|x-\bar{x}|_{1}+|y- \bar{y}|_{1}) $$for all \((t,x,y),(t,\bar{x},\bar{y})\in S\times \mathbb{R}^{n}\times \mathbb{R}^{n}\).
-
(F3)
Let \(h_{1},h_{2}\in L^{1}(S^{*})\) be positive functions such that
Additively, suppose that
Then problem (3)–(4) has at least one solution.
Proof
We divide the proof into three steps.
Step 1. There exists a positive constant \(R>0\) such that
for all \((x,y),(\bar{x},\bar{y})\in B_{R}=\{(x,y)\in \mathcal{A}:\|(x,y)\|_{ \mathcal{A}}\leq R\}\). To prove this, let \((x,y)\), \((\bar{x},\bar{y})\in B_{R}\). Then we get the following inequalities:
with the choice \(R>0\) large enough such that
By combining (27)–(29) and making some calculations, we reach the result in (26). Thus, step 1 is achieved.
Step 2. \(\mathcal{V}:\mathcal{A}\rightarrow \mathcal{A}\) is a contraction operator. Let \((x,y)\) and \((\bar{x}, \bar{y})\) be arbitrary elements in \(\mathcal{A}\). Then we obtain
Due to \(\|L_{g}\|_{L^{1}(S^{*})}\leq L_{1}<1\), we mean that \(\mathcal{U}_{1}:\mathcal{A}\rightarrow C(S;\mathbb{R}^{n})\) is a contraction mapping. In that case, the operator \(\mathcal{V}=(\mathcal{U}_{1},0):\mathcal{A}\rightarrow \mathcal{A}\) is also a contraction mapping. So, step 2 is completed.
Step 3. \(\Gamma :B_{R}\rightarrow \mathcal{A}\) is compact and continuous operator. Firstly, we show that \(\mathcal{U}_{2}\) is continuous. Let \(\{(x_{k},y_{k})\} \subset B_{R}\) and \((x,y)\in B_{R}\) such that
By using the Lebesgue dominated convergence theorem and the continuity of h, we obtain
From (31), we have
Now, we must show that \(\mathcal{U}_{2}(B_{R})\) is relatively compact. Since h is continuous, there is \(k_{R}>0\) so that \(|h(t,x(t),y(t))|_{1}\leq k_{R}\) for all \((x,y)\in B_{R}\), \(\forall t\in S\). Therefore, \(\mathcal{U}_{2}(B_{R})\) is restricted in \(C(S;\mathbb{R}^{n})\). Receiving arbitrary \((x,y)\in B_{R}\) and \(t_{1}, t_{2}\in S\), \(t_{2}< t_{1}\), we get
Thus \(\mathcal{U}_{2}(B_{R})\) is equicontinuous. Hence, from the Arzela–Ascoli theorem, the \(\mathcal{U}_{2}(B_{R})\) is relatively compact in \(C(S;\mathbb{R}^{n})\).
We deduce from the Krasnoselskii fp theorem that \(\mathcal{U}=\mathcal{V}+\Gamma \) has an fp. This ends the proof of the theorem. □
Remark 4.2
Let \(S=[0,T]\). Then Theorem 4.2 is reduced to Theorem 3.5 in [24] when \(q\rightarrow 1\).
Remark 4.3
From condition (F1), we have
So, \(\sigma _{q}=I-\sum _{j=1}^{N}C_{j}-\int _{0}^{T}K(\tau ) \,d_{q} \tau \) is invertible and
Example 4.1
To explain Theorem 4.2, we examine the q-initial value problem as follows:
where \(t \in S^{*}\).
Note that problem (32) is the form of problem (3)–(4) for \(n=2\), \(g(t,x,y)=(g_{1}(t,x,y),g_{2}(t, x,y))^{T}\), \(h(t,x,y)=(h_{1}(t,x,y),h_{2}(t,x,y))^{T}\). Here,
and \(N=2\), \(T_{1}=\frac{1}{2}\), \(T_{2}=T=1\), \(q=\frac{1}{2}\),
When the \(\|K(t)\|_{1}\), \(\|C_{1}\|_{1}\), and \(\|C_{2}\|_{1}\) norms are calculated according to the given matrices, it is easily seen that
In this case, condition (F1) is obtained.
Choosing \(L_{g}(t)=10^{-1}E_{q}^{-t}\), \(h_{1}(t)=\max \left (\frac{1}{136(E_{q}^{2})^{2}}, \frac{1}{272(E_{q}^{2})^{2}}\right )E_{q}^{-t}\) and \(h_{2}(t)=0\), we get the following inequalities:
and
Thus, conditions (F2) and (F3) are satisfied.
Also, we have
where
Then we get
Here, we obtain
Since
we have (25).
From Theorem 4.2, we deduce that problem (32) has at least one solution.
By replacing condition (F3) with condition (), we get the following theorem proving the uniqueness of the solutions.
Theorem 4.3
Assume that (F1), (F2) and the following condition are satisfied:
() Let \(L_{h}\in L^{1}(S^{*})\) be a positive function such that
for all \((t,x,y),(t,\bar{x},\bar{y})\in S\times \mathbb{R}^{n}\times \mathbb{R}^{n}\).
Additively, suppose that
Then problem (3)–(4) has a unique solution.
Proof
We take
and pick sufficiently large \(R>0\) such that
Primarily, we show that \(\mathcal{U}(B_{R})\subset B_{R}\). Let \(B_{R}=\{(x,y)\in \mathcal{A}:\|(x,y)\|_{\mathcal{A}}\leq R\}\). In fact, for \((x,y)\in B_{R}\) and all \(t\in S\), we obtain the following inequalities:
By benefiting from inequalities (35)–(36) and with the pick of R as in (34), we deduce that \(\mathcal{U}(B_{R})\subset B_{R}\). Then it indicates that \(\mathcal{U}:B_{R}\rightarrow B_{R}\) is well defined.
Secondly, we demonstrate that \(\mathcal{U}\) is a contraction operator. For \((x,y),(\bar{x},\bar{y})\in B_{R}\), we obtain the following inequalities:
Combining the achieved inequalities (37)–(38) and using assumption (33), we conclude that the operator \(\mathcal{U}:B_{R}\rightarrow B_{R}\) is a contraction.
From the Banach fp theorem, problem (3)–(4) has only one solution \((x,y)\). Thus, the proof is completed. □
Remark 4.4
Let \(S=[0,T]\). Then Theorem 4.3 is reduced to Theorem 3.1 in [24] when \(q\rightarrow 1\).
Example 4.2
To explain Theorem 4.3, we examine the q-initial value problem as follows:
where \(t \in S^{*}\).
Note that problem (39) is a form of problem (3)–(4) for \(n=2\), \(g(t,x,y)=(g_{1}(t,x,y),g_{2}(t,x, y))^{T}\), \(h(t,x,y)=(h_{1}(t,x,y),h_{2}(t,x,y))^{T}\). Here,
and \(N=2\), \(T_{1}=\frac{1}{2}\), \(T_{2}=T=1\), \(q=\frac{1}{2}\),
When the \(\|K(t)\|_{1}\), \(\|C_{1}\|_{1}\), and \(\|C_{2}\|_{1}\) norms are calculated according to the given matrices, it is easily seen that
In this case, condition (F1) is obtained.
On the other hand, choosing \(L_{g}(t)=10^{-1}E_{q}^{-t}\) and \(L_{h}(t)=\frac{1}{136(E_{q}^{2})^{2}}E_{q}^{-t}\), we get the following inequalities:
and
Thus, hypotheses (F2) and () are satisfied.
Additionally, since
we find that
All hypotheses of Theorem 4.3 are satisfied. So, there exists a unique solution of problem (39).
5 Conclusion
In the present paper, we have examined the existence and uniqueness of solutions to system (3)–(4) by using some fp theorems. Moreover, we have presented numerical examples to illustrate the main results.
In the future, a generalization of system (1)–(2) in the sense of \((p,q)\)-calculus can be studied.
Data Availability
No datasets were generated or analysed during the current study.
References
Moshinsky, M.: Sobre los problemas de condiciones a la frontiera en una dimension de caracteristicas discontinuas. Bol. Soc. Mat. Mexicana 7, 1–25 (1950)
Timoshenko, S.: Theory of Elastic Stability. Mc Graw-Hill, New York (1961)
Sharifov, Y.A., Zamanova, S.A., Sardarova, R.A.: Existence and uniqueness of solutions for the nonlinear fractional differential equations with two-point and integral boundary conditions. Eur. J. Pure Appl. Math. 14(2), 608–617 (2021)
Mardanov, M.J., Sharifov, Y.A., Molaei, H.H.: Existence and uniqueness of solutions for first-order nonlinear differential equations with two-point and integral boundary conditions. Electron. J. Differ. Equ. 2014(259), 1–8 (2014)
Mardanov, M.J., Ismayilova, K.E., Sharifov, Y.A.: Existence and uniqueness of solutions for the first-order non-linear differential equations with three-point boundary conditions. Filomat 33(5), 1387–1395 (2019)
Han, X.: Positive solutions for a three-point boundary value problem at resonance. J. Math. Anal. Appl. 336(1), 556–568 (2007)
Henderson, J., Luca, R.: Existence and multiplicity for positive solutions of a multi-point boundary value problem. Appl. Math. Comput. 218(21), 10572–10585 (2012)
Mardanov, M.J., Sharifov, Y.A., Gasimov, Y.S., Cattani, C.: Non-linear first-order differential boundary problems with multipoint and integral conditions. Fractal Fract. 5(1), 1–15 (2021)
Şahin, A.: Some results of the Picard-Krasnoselskii hybrid iterative process. Filomat 33(2), 359–365 (2019)
Şahin, H.: A new best proximity point result with an application to nonlinear Fredholm integral equations. Mathematics 10(4), 1–14 (2022)
Khatoon, S., Uddin, I., Baleanu, D.: Approximation of fixed point and its application to fractional differential equation. J. Appl. Math. Comput. 66(1–2), 507–525 (2021)
Şahin, H.: Existence and uniqueness results for nonlinear fractional differential equations via new Q-function. Adv. Oper. Theory 7(1), 1–21 (2022)
Almarri, B., Mujahid, S., Uddin, I.: Fixed point results in M-metric space with application to LCR circuit. UPB Sci. Bull., Ser. A 86(1), 47–54 (2024)
Kac, V., Pokman, C.: Quantum Calculus. Springer, New York (2002)
Ahmad, B., Ntouyas, S.K.: Boundary value problems for q-difference equations and inclusions with non-local and integral boundary conditions. Math. Model. Anal. 19(5), 647–663 (2014)
Thiramanus, P., Tariboon, J.: Nonlinear second-order q-difference equations with three-point boundary conditions. Comput. Appl. Math. 33(2), 385–397 (2014)
Ma, J., Yang, J.: Existence of solutions for multi-point boundary value problem of fractional q-difference equation. Electron. J. Qual. Theory Differ. Equ. 2011(92), 1–10 (2011)
Ahmad, B., Nieto, J.J.: On nonlocal boundary value problems of nonlinear q-difference equations. Adv. Differ. Equ. 2012(81), 1–10 (2012)
Ahmad, B., Alsaedi, A., Ntouyas, S.K.: A study of second-order q-difference equations with boundary conditions. Adv. Differ. Equ. 2012(35), 1–10 (2012)
Guo, C., Guo, J., Kang, S., Li, H.: Existence and uniqueness of positive solution for nonlinear fractional q-difference equation with integral boundary conditions. J. Comput. Appl. Math. 10(1), 153–164 (2020)
Zhuang, H., Liu, W.: Existence results for a second-order q-difference equation with only integral conditions. UPB Sci. Bull., Ser. A, Appl. Math. Phys. 79(4), 221–234 (2017)
Saengngammongkhol, T., Kaewwisetkul, B., Sitthiwirattham, T.: Existence results for nonlinear second-order q-difference equations with q-integral boundary conditions. Differ. Equ. Appl. 7(3), 303–311 (2015)
Wang, J., Yu, C., Guo, Y.: Positive solutions for a class of singular boundary value problems with fractional q-difference equations. J. Appl. Math. 2015(763786), 1–8 (2015)
Ngoc, L.T.P., Long, N.T.: Existence and multiplicity for positive solutions of a system of first order differential equations with multipoint and integral boundary conditions. Turk. J. Math. 47(1), 159–184 (2023)
Aliprantice, C.D., Tourky, R.: Cones and Duality. Am. Math. Soc., Providence (2007)
Deimling, K.: Nonlinear Functional Analysis. Springer, New York (1985)
Öztürk, M., Başarır, M.: On some common fixed point theorems with rational expressions on cone metric spaces over a Banach algebra. Hacet. J. Math. Stat. 41(2), 211–222 (2012)
Turan, N., Kara, E.E., Kara, M.I.: Quasi statistical convergence in cone metric spaces. Facta Univ., Ser. Math. Inform. 33(4), 613–626 (2018)
Kara, M.I., Alp, P.Z., Kara, E.E.: On the spaces of linear operators acting between asymmetric cone normed spaces. Mediterr. J. Math. 15(3), 1–12 (2018)
Jackson, F.H.: q-difference equations. Am. J. Math. 32(4), 305–314 (1910)
Gasper, G., Rahman, M.: Basic Hypergeometric Series. Cambridge University Press, Cambridge (1990)
Şahin, A.: Some new results of M-iteration process in hyperbolic spaces. Carpath. J. Math. 35, 221–232 (2019)
Khatoon, S., Uddin, I., Başarır, M.: A modified proximal point algorithm for a nearly asymptotically quasi-nonexpansive mapping with an application. Comput. Appl. Math. 40, 250 (2021)
Şahin, A., Öztürk, E., Aggarwal, G.: Some fixed-point results for the KF-iteration process in hyperbolic metric spaces. Symmetry 15, 1360 (2023)
Turan, N., Başarır, M., Şahin, A.: On the solutions of the second-order \((p,q)\)-difference equation with an application to the fixed-point theory. AIMS Math. 9(5), 10679–10697 (2024)
Kalkan, Z., Şahin, A., Aloqaily, A., Mlaiki, N.: Some fixed point and stability results in b-metric-like spaces with an application to integral equations on time scales. AIMS Math. 9(5), 11335–11351 (2024)
Schaefer, H.: Über die methode der a priori-Schranken. Math. Ann. 129, 415–416 (1955)
Zeidler, E.: Nonlinear Functional Analysis and Its Applications. Springer, New York (1986)
Banach, S.: Sur les opérations dans les ensembles abstraites et leurs applications aux équations intégrales. Fundam. Math. 3(1), 133–181 (1922)
Acknowledgements
We would like to express our sincere gratitude to the anonymous referee for his/her helpful comments, helping to improve the quality of the manuscript.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
N.T.: conceptualization, methodology, writing—original draft, writing—review and editing; M.B.: methodology, supervision, writing—review and editing; A. Ş.: methodology, supervision, writing—review and editing. All authors have read and agreed to the published version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare 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 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
Turan, N., Başarır, M. & Şahin, A. On the solutions of a nonlinear system of q-difference equations. Bound Value Probl 2024, 92 (2024). https://doi.org/10.1186/s13661-024-01896-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-024-01896-6