The existence of solutions to a system of discrete fractional boundary value problems (Q410216)

Summary: We study the existence of solutions for the boundary value problem \[ \begin{alignedat}{2}1 -\Delta^v y_1(t)& = f(y_1(t + v - 1), y_2 (t + \mu - 1)),\\ -\Delta^\mu y_2(t) &= g(y_1(t + v - 1), y_2(t + \mu - 1)),\\ y_1(v - 2)& = \Delta y_1(v + b) = 0,\\ y_2(\mu - 2)& = \Delta y_2(\mu + b) = 0,\end{alignedat} \] where \(1 < \mu, ~v \leq 2, ~f, g : \mathbb R \times \mathbb R \rightarrow \mathbb R\) are continuous functions, \(b \in \mathbb N_0\). The existence of solutions to this problem is established by the Guo-Krasnosel'kii theorem and the Schauder fixed-point theorem, and some examples are given to illustrate the main results.