# Discrete boundary value problem based on the fractional Gâteaux derivative

## Abstract

This article aims to organize positive solutions to discrete fractional boundary value problems for continuous Gâteaux differentiable functions. A generalized Gâteaux derivative is introduced using a fractional discrete operator for a Jumarie fractional operator. The method of finding solutions is based on critical point theorems of finite dimensional Banach spaces.

## 1 Introduction

In 1974, Diaz and Osler [1] imposed a discrete fractional difference operator based on an infinite series. In 1988, Gray and Zhang [2] presented a class of fractional difference operators and introduced the Leibniz formula. In 2009, Atici and Eloe [3] introduced methods for composing fractional sums and differences. Mathematicians, physicists, and engineers have recently employed fractional calculus to solve varieties of models of applied problems in different fields. In a previous work, we developed various classes of discrete fractional operators with one or two parameters for image and signal processing [46].

Researchers in the fields of computer science, neural networks, control systems, food processing, and economics rely on mathematical modeling because it naturally entails nonlinear difference equations. Therefore, many authors have widely developed various procedures and patterns, such as upper and lower solutions, fixed point theorems, and the Brouwer degree, to study discrete models [711]. Critical point theory has recently attracted the attention of many researchers. The theory guarantees the outcomes of both ordinary and partial differential problems. Hence, critical point theory is the main tool for finding solutions to fractional discrete nonlinear equations.

This study aims to establish positive solutions to discrete fractional boundary value problems for continuous Gâteaux differentiable functions. A generalized Gâteaux derivative is introduced using a fractional discrete operator. Some results are refined in this direction. The method for finding solutions is based on critical point theorems of finite dimensional Banach spaces. The applications are illustrated to study the abstract outcomes.

## 2 Main methods

This section deals with preliminaries and some concepts.

### Definition 2.1

[12]

For a continuous function $$g: \mathbb{R} \rightarrow\mathbb{R}$$ and a constant $$\ell>0$$, the forward operator $$FW(\ell)$$ is defined by the equality

$$FW(\ell)g(x):= g(x+\ell).$$

The fractional difference on the right and of the order , $$0< \wp< 1$$ of $$g(x)$$ is defined by the formula

$$\bigtriangleup^{\wp} g(x):= \bigl(FW(\ell) -1 \bigr) ^{\wp}g(x)$$

with its fractional derivative on the right

$$g^{(\wp)}_{+}(x)= \lim_{\ell\rightarrow0} \frac{\bigtriangleup^{\wp} [g(x)-g(0)]}{\ell^{\wp}}.$$

### Definition 2.2

[13]

Let $$(\Xi, \|\cdot\|)$$ be a real Banach space with the dual space $$\Xi^{*}$$. A function $$\varphi: \Xi\rightarrow\mathbb{R}$$ is called Gâteaux differentiable at $$x \in\Xi$$ if $$\chi:= \varphi'(x) \in\Xi^{*}$$ satisfies

$$\lim_{\ell\rightarrow0^{+} } \frac{\varphi(x+ \ell y)-\varphi(x)}{\ell }= \varphi'(x) (y),\quad \forall y \in\Xi.$$

### Definition 2.3

[13]

A function $$\varphi: \Xi\rightarrow\mathbb{R}$$ is called Gâteaux differentiable and verifies the Palais-Smale condition ((PS)-condition) if any bounded sequence $$\{x_{n}\}$$ with $$\lim_{n\rightarrow \infty} \|\varphi'(x_{n})\|_{\Xi^{*}}=0$$ has a convergent subsequence.

Combining Definitions 2.1 and 2.2, we obtain a fractional Gâteaux derivative.

### Definition 2.4

Let $$(\Xi, \|\cdot\|)$$ be a real Banach space with the dual space $$\Xi^{*}$$. A function $$\varphi: \Xi\rightarrow\mathbb{R}$$ has a fractional Gâteaux derivative, of the order $$0< \wp<1$$ at $$x \in\Xi$$ if $$\varphi^{(\wp)}(x) \in\Xi^{*}$$ exists such that for a constant $$\ell>0$$, the forward operator $$FW_{y}(\ell)$$, $$y \in\Xi$$ is defined by the equality

$$FW_{y}(\ell)\varphi(x):= \varphi(x+\ell y),$$

with the fractional difference on the right

$$\bigtriangleup^{\wp}_{y} \varphi(x):= \bigl(FW_{y}( \ell) -1 \bigr) ^{\wp}\varphi(x),$$

and its fractional derivative on the right

$$\lim_{\ell\rightarrow0^{+} } \frac{\bigtriangleup^{\wp}_{y}[\varphi (x)-\varphi(0)]}{\ell^{\wp}}= \varphi^{(\wp)}(x) (y), \quad \forall y \in\Xi.$$

The next results show some properties of the fractional Gâteaux derivative, which basically are generalizations of some results given in [14]. Therefore, we skip the proofs.

### Theorem 2.1

Suppose that Ξ is a real Banach space and $$F, G: \Xi\rightarrow\mathbb{R}$$ are two continuously fractional Gâteaux differentiable functions. Assume that

$$T := F-G$$

and that $$x_{0} \in\Xi$$ and $$\rho_{1}, \rho_{2} \in \mathbb{R}$$ exist, with $$\rho_{1} < F(x_{0}) < \rho_{2}$$, thereby obtaining

\begin{aligned}& \sup_{y \in F^{-1}\,]\rho_{1}, \rho_{2}[} G(y) < G(x_{0})+ \rho_{2} - F(x_{0}), \end{aligned}
(1)
\begin{aligned}& \sup_{y \in F^{-1}\,]{-}\infty, \rho_{1} ]} G(y) < G(x_{0})+ \rho_{1} - F(x_{0}). \end{aligned}
(2)

Presume that T satisfies the (PS)-condition. Then $$y_{0} \in F^{-1}\,]\rho_{1}, \rho_{2}[$$ such that $$T(y_{0}) < T(y)$$, $$y \in F^{-1}\,]\rho_{1}, \rho_{2}[$$, and $$T'(y_{0})=0$$.

### Theorem 2.2

Let Ξ be a real Banach space, and let $$F, G: \Xi\rightarrow\mathbb{R}$$ be two continuous fractional Gâteaux differentiable functions. Assume that

$$T = F-G$$

and that $$x_{0} \in\Xi$$ and $$\rho\in \mathbb{R}$$ such that $$\rho> F(x_{0})$$

$$\sup_{y \in F^{-1}\,]{-}\infty, \rho[} G(y) < G(x_{0})+ \rho- F(x_{0}).$$
(3)

We infer that T satisfies the (PS)-condition. Then $$y_{0} \in F^{-1}\,]{-}\infty, \rho[$$ such that $$T(y_{0}) < T(y)$$, $$y \in F^{-1}\,]{-}\infty, \rho[$$, and $$T'(y_{0})=0$$.

### Theorem 2.3

Let Ξ be a real Banach space and let $$F, G: \Xi\rightarrow\mathbb{R}$$ be two continuous fractional Gâteaux differentiable functions. Assume that

$$T= F-G,$$

where T is bounded from below, and $$x_{1} \in\Xi$$ and $$\rho\in \mathbb{R}$$ with $$\rho< F(x_{1})$$ such that

$$\sup_{y \in F^{-1}\,]{-}\infty, \rho]} G(y) < G(x_{1})+ \rho- F(x_{1}).$$
(4)

We deduce that T satisfies the (PS)-condition. Then $$y_{1} \in F^{-1}\,]\rho,+\infty[$$ such that $$T(y_{1}) \leq T(y)$$, $$y \in F^{-1}\,]\rho,+\infty[$$, and $$T'(y_{1})=0$$.

We apply the above critical point theorems to find solutions to the fractional difference equation, taking the type

\begin{aligned} &{-}\bigtriangleup^{\wp}_{y} \bigl( \psi_{p}\bigl(\bigtriangleup^{\wp}_{y} \mu_{k-1}\bigr) \bigr) +\sigma_{k} \psi_{p}( \mu_{k})= h(k,\mu_{k}), \quad k \in[1, N], \\ &\mu_{0}= \mu_{N+1}=0, \end{aligned}
(5)

where $$h: [1, N] \times\mathbb{R} \rightarrow\mathbb{R}$$ is a continuous function, $$\sigma_{k}\geq0$$, and $$\psi_{p}(\varsigma):= |\varsigma| ^{p-1} \varsigma$$, $$1< p< +\infty$$.

Define the Banach space as

$$\mathcal{B}:= \bigl\{ \mu:[0,N+1] \rightarrow\mathbb{R} : \mu_{0}=\mu _{n+1}=0\bigr\}$$

endowed with a discrete norm

$$\|\mu\| := \Biggl( \sum^{N+1}_{k=1} \bigl| \bigtriangleup^{\wp}_{y,k-1}\mu \bigr|^{p}+ \sigma_{k}|\mu|^{p} \Biggr)^{1/p}$$

such that (see [7, Lemma 2.2])

$$\max_{k \in[1,N]} |\mu_{k}| \leq\frac{(N+1)^{(p-1)/p} }{2}\|\mu\|, \quad \forall \mu\in\mathcal{B}.$$

Let

$$F(\mu) := \frac{\|\mu\|^{p}}{p}, \qquad G(\mu):= \sum^{N}_{k=1} H(k,\mu_{k}),\qquad T(\mu):= F(\mu) -G(\mu),\quad \forall \mu\in \mathcal{B},$$

where

$$H(k,t):= \int^{t}_{0}h(k,u)\,du, \quad\forall (k,t) \in[1, N]\times \mathbb{R}.$$

Note that $$T \in C^{1}(\mathcal{B}, \mathbb{R})$$, $$T(0)=0$$, and that all the critical points of T are the solutions of (5).

## 3 Main findings

In this section, we introduce at least one solution to problem (5) with the following results.

### Theorem 3.1

Consider three positive constants C, $$C_{1}$$, and $$C_{2}$$ such that

$$C_{1} < \frac{(2+\overline{\sigma}) ^{1/p} (N+1)^{(p-1)/p} C}{2}< C_{2},$$
(6)

where $$\overline{\sigma}:= \sum^{N}_{k=1} \sigma_{k}$$. If

$$\beta_{1}:= \frac{\sum^{N}_{k=1} \max_{t} H(k,t) -\sum^{N}_{k=1} H(k,C)}{(2C_{1})^{p}- (2+\overline{\sigma} )(N+1) ^{p-1}C^{p}} \leq\frac{1}{p(N+1)^{p-1}}$$

and

$$\beta_{2} := \frac{\sum^{N}_{k=1} \max_{t} H(k,t) -\sum^{N}_{k=1} H(k,C)}{(2C_{2})^{p}- (2+\overline{\sigma} )(N+1) ^{p-1}C^{p}}\leq\frac{1}{p(N+1)^{p-1}},$$

where $$(2C_{i})^{p}\neq(2+\overline{\sigma} )(N+1) ^{p-1}C^{p}$$, $$i=1,2$$, then (5) has at least one non-trivial solution $$\mu^{*}$$ such that

$$\frac{2C_{1}}{(N+1)^{(p-1)/p}} < \bigl\| \mu^{*}\bigr\| < \frac{2C_{2}}{(N+1)^{(p-1)/p}}.$$

### Proof

We aim to apply Theorem 2.1 on T, because the critical points of T are solutions to (5). Choose $$\omega\in \mathcal{B}$$ and define

$$\omega_{k}:= \left \{ \begin{array}{@{}l@{\quad}l} C, & k \in[1,N], \\ 0, & k =0,k=N+1 . \end{array} \right .$$

Thus, we obtain

$$F(\omega)= \frac{2+\overline{\sigma}}{p} C^{p}.$$

According to condition (6), a computation implies that

$$\rho_{1}:=\frac{(2C_{1})^{p}}{p(N+1)^{p-1}} < F(\omega)< \frac {(2C_{2})^{p}}{p(N+1)^{p-1}}:= \rho_{2}.$$

We proceed to consider conditions (1) and (2):

\begin{aligned} \sup_{y \in F^{-1}\,]{-}\infty, \rho_{1}]} \biggl(\frac{G(y) - G(\omega)}{\rho _{1} - F(\omega)} \biggr) & \leq \frac{\sum^{N}_{k=1} \max_{t} H(k,t) -\sum^{N}_{k=1} H(k,C) }{\frac{(2C_{1})^{p}}{p(N+1)^{p-1}} - \frac{2+\overline{\sigma} C^{p}}{p}} \\ &= p(N+1)^{p-1} \frac{\sum^{N}_{k=1} \max_{t} H(k,t) -\sum^{N}_{k=1} H(k,C)}{(2C_{1})^{p}- (2+\overline{\sigma} )(N+1) ^{p-1}C^{p}} \\ &:= p(N+1)^{p-1} \beta_{1} \leq1. \end{aligned}

Similarly, we have

\begin{aligned} \sup_{y \in F^{-1}]\rho_{1}, \rho_{2}[} \biggl(\frac{G(y) - G(\omega)}{\rho _{2} - F(\omega)} \biggr) & \leq \frac{\sum^{N}_{k=1} \max_{t} H(k,t) -\sum^{N}_{k=1} H(k,C) }{\frac{(2C_{2})^{p}}{p(N+1)^{p-1}} - \frac{2+\overline{\sigma} C^{p}}{p}} \\ &= p(N+1)^{p-1} \frac{\sum^{N}_{k=1} \max_{t} H(k,t) -\sum^{N}_{k=1} H(k,C)}{(2C_{2})^{p}- (2+\overline{\sigma} )(N+1) ^{p-1}C^{p}} \\ &:= p(N+1)^{p-1} \beta_{2} \leq1. \end{aligned}

Thus, in virtue of Theorem 2.1, we conclude that T has at least one critical point $$\mu^{*}$$ such that

$$\rho_{1}< F\bigl(\mu^{*}\bigr)<\rho_{2},$$

and we obtain

$$\frac{2C_{1}}{(N+1)^{(p-1)/p}} < \bigl\| \mu^{*}\bigr\| < \frac{2C_{2}}{(N+1)^{(p-1)/p}}.$$

□

By letting $$C_{1}=0$$, $$C_{2}=C$$, we obtain the following result.

### Corollary 3.1

Consider two positive constants $$C_{1}$$ and C with

$$(2+\overline{\sigma}) ^{1/p} (N+1)^{(p-1)/p}< 2.$$
(7)

If

$$\beta_{1}:= \frac{\sum^{N}_{k=1} H(k,C)-\sum^{N}_{k=1} \max_{t} H(k,t)}{ (2+\overline{\sigma} )(N+1) ^{p-1}} \leq\frac{C^{p}}{p(N+1)^{p-1}}$$

and

$$\beta_{2} := \frac{\sum^{N}_{k=1} \max_{t} H(k,t) -\sum^{N}_{k=1} H(k,C)}{2^{p}- (2+\overline{\sigma} )(N+1) ^{p-1}}\leq\frac{C^{p}}{p(N+1)^{p-1}},$$

where $$2^{p}\neq(2+\overline{\sigma} )(N+1) ^{p-1}\neq0$$, then (5) has at least one non-trivial solution $$\mu^{*}$$ such that

$$\bigl\| \mu^{*}\bigr\| < \frac{2C}{(N+1)^{(p-1)/p}}.$$

### Theorem 3.2

Consider two positive constants C and ϵ such that

$$\frac{(2+\overline{\sigma}) ^{1/p} (N+1)^{(p-1)/p} C}{2}< \epsilon.$$
(8)

If

$$\beta:= \frac{\sum^{N}_{k=1} \max_{t} H(k,t) -\sum^{N}_{k=1} H(k,C)}{(2\epsilon)^{p}- (2+\overline{\sigma} )(N+1) ^{p-1}C^{p}} \leq\frac{1}{p(N+1)^{p-1}},$$

where $$(2\epsilon)^{p}\neq(2+\overline{\sigma} )(N+1) ^{p-1}C^{p}$$, then (5) has at least one non-trivial solution $$\mu^{*}$$ such that

$$\bigl\| \mu^{*}\bigr\| \leq\frac{2\epsilon}{(N+1)^{(p-1)/p}}.$$

### Proof

We aim to employ Theorem 2.2 on T, where all critical points of T are solutions to (5). Choose $$\omega\in\mathcal{B}$$ as in Theorem 2.1. We have

$$F(\omega)= \frac{2+\overline{\sigma}}{p} C^{p}.$$

According to condition (8), a calculation yields

$$F(\omega)< \frac{(2\epsilon)^{p}}{p(N+1)^{p-1}}:=\rho.$$

We proceed to consider condition (3):

\begin{aligned} \sup_{y \in F^{-1}\,]{-}\infty, \rho[} \biggl(\frac{G(y) - G(\omega)}{\rho- F(\omega)} \biggr) & \leq \frac{\sum^{N}_{k=1} \max_{t} H(k,t) -\sum^{N}_{k=1} H(k,C) }{\frac{(2\epsilon)^{p}}{p(N+1)^{p-1}} - \frac{2+\overline{\sigma} C^{p}}{p}} \\ &= p(N+1)^{p-1} \frac{\sum^{N}_{k=1} \max_{t} H(k,t) -\sum^{N}_{k=1} H(k,C)}{(2 \epsilon)^{p}- (2+\overline{\sigma} )(N+1) ^{p-1}C^{p}} \\ &:= p(N+1)^{p-1} \beta\leq1. \end{aligned}

Thus, in view of Theorem 2.2, we observe that T has at least one critical point $$\mu^{*}$$ such that

$$F\bigl(\mu^{*}\bigr)< \rho,$$

and we obtain

$$\bigl\| \mu^{*}\bigr\| \leq\frac{2\epsilon}{(N+1)^{(p-1)/p}}.$$

This completes the proof. □

### Theorem 3.3

Consider two positive constants C and γ such that

$$\gamma< \frac{(2+\overline{\sigma}) ^{1/p} (N+1)^{(p-1)/p} C}{2}.$$
(9)

If

$$\eta:= \frac{\sum^{N}_{k=1} \max_{t} H(k,t) -\sum^{N}_{k=1} H(k,C)}{(2\gamma)^{p}- (2+\overline{\sigma} )(N+1) ^{p-1}C^{p}}\leq\frac{1}{p(N+1)^{p-1}},$$

where $$(2\gamma)^{p}\neq(2+\overline{\sigma} )(N+1) ^{p-1}C^{p}$$, then (5) has at least one non-trivial solution.

### Proof

Our aim is to employ Theorem 2.3 on T, because the critical points of T are solutions to (5). We put $$\omega\in\mathcal{B}$$ as in Theorem 3.1 such that

$$F(\omega)= \frac{2+\overline{\sigma}}{p} C^{p}.$$

According to condition (9), a manipulation leads to

$$\rho:=\frac{(2\gamma)^{p}}{p(N+1)^{p-1}} < F(\omega).$$

Thus, we consider condition (4):

\begin{aligned} \sup_{y \in F^{-1}\,]{-}\infty, \rho]} \biggl(\frac{G(y) - G(\omega)}{\rho- F(\omega)} \biggr) & \leq \frac{\sum^{N}_{k=1} \max_{t} H(k,t) -\sum^{N}_{k=1} H(k,C) }{\frac{(2\gamma)^{p}}{p(N+1)^{p-1}} - \frac{2+\overline{\sigma} C^{p}}{p}} \\ &= p(N+1)^{p-1} \frac{\sum^{N}_{k=1} \max_{t} H(k,t) -\sum^{N}_{k=1} H(k,C)}{(2\gamma)^{p}- (2+\overline{\sigma} )(N+1) ^{p-1}C^{p}} \\ &:= p(N+1)^{p-1} \eta\leq1. \end{aligned}

Therefore, in virtue of Theorem 2.3, we conclude that T has at least one critical point. The boundedness of the solution is due to the (SP)-condition. The above completes the proof. □

## 4 Multiplicity findings

We impose multiplicity solutions in this section.

### Theorem 4.1

Let the hypothesis of Theorem  3.1 hold. Assume that $$h(k,0) \neq0$$, $$k \in [1,N]$$. Consider two constants $$\kappa_{1}>p$$ and $$\kappa_{2}>0$$ such that for $$|\chi| \geq\kappa_{2}$$, one has

$$0< \kappa_{1} H(k,\chi) \leq\chi h(k,\chi).$$
(10)

If $$T'$$ is a Lipschitz continuous functional in , then (5) admits at least two solutions.

### Proof

In view of Theorem 3.1, (5) has at least one solution, say $$\mu_{1}$$. We use the mountain pass theorem to identify the second solution. The functional $$T= F-G$$ is obviously in class $$C^{1}(\mathcal{B},\mathbb{R})$$ with $$T(0)=0$$. Assume that $$\mu_{1}$$ is a strict local minimum for T in . Thus a constant $$\varrho>0$$ satisfies

$$\inf_{\|\mu-\mu_{1}\|= \varrho}T(\mu) > T(\mu_{1}), \quad \forall \mu \in \mathcal{B}.$$

After integrating (10), we observe that there are two positive constants $$b_{1}$$ and $$b_{2}$$ such that

$$H(k,t) \geq b_{1} |t|^{\kappa_{1}} - b_{2}, \quad\forall k \in[1, N], t \in\mathbb{R}.$$

We then proceed to identify the second solution of (5). Let $$\nu\in \mathcal{B}\backslash \{0\}$$. A calculation then yields

\begin{aligned} T(t\nu) &=(F-G) (t \nu) \\ &= \frac{1}{p} \|t \nu\|^{p}- \sum ^{N}_{k=1} H(k,t\nu_{k}) \\ & \leq\frac{t^{p}}{p} \| \nu\|^{p}- t^{\kappa_{1}} b_{1}\sum^{N}_{k=1}|\nu _{k}|^{\kappa_{1}}+ b_{2}N. \end{aligned}

Given that $$\kappa_{1}>p$$, we have

$$\frac{t^{p}}{p} \| \nu\|^{p}- t^{\kappa_{1}} b_{1}\sum ^{N}_{k=1}|\nu_{k}|^{\kappa _{1}}+ b_{2}N\rightarrow-\infty, \quad \mbox{as } t \rightarrow+ \infty.$$

This formula implies that the functional T has a critical point $$\mu_{2}:=\inf_{\nu\in\mathcal{B}} \max_{t \in\mathbb{R}} T(\nu(t))$$, which is the second solution for (5). This condition completes the proof. □

In the same manner as in Theorem 4.1, we have the following results.

### Theorem 4.2

Let the hypothesis of Theorem  3.2 be satisfied. Assume that $$h(k,0) \neq0$$, $$k \in [1,N]$$. Consider the assertion of (10). If $$T'$$ is a Lipschitz continuous functional in , then (5) admits at least two solutions.

### Theorem 4.3

Let the hypothesis of Theorem  3.3 hold. Assume that $$h(k,0) \neq0$$, $$k \in [1,N]$$. Consider the inequality (10). If $$T'$$ is a Lipschitz continuous functional in , then (5) admits at least two solutions.

## 5 Positive findings

We focus on the positive results of problem (5). For this purpose, we assume

$$h(k,t):= \left \{ \begin{array}{@{}l@{\quad}l} \lambda_{k} \hbar(t), & t \geq0, \\ 0, & t< 0, \end{array} \right .$$
(11)

where $$\lambda:[1,N] \rightarrow\mathbb{R}$$ is a non-negative, non-zero function and $$\hbar: [0, +\infty) \rightarrow\mathbb{R}$$ is a continuous function with $$\hbar(0)=0$$. We have the following result.

### Theorem 5.1

Let $$h(k,t)$$ be defined in (11) and (8) let be satisfied. Then the problem

\begin{aligned} &{-}\bigtriangleup^{\wp}_{y} \bigl( \psi_{p}\bigl(\bigtriangleup^{\wp}_{y} \mu_{k-1}\bigr) \bigr) +\sigma_{k} \psi_{p}( \mu_{k})= \lambda_{k} \hbar(\mu_{k}), \quad k \in[1, N], \\ &\mu_{0}= \mu_{N+1}=0 \end{aligned}
(12)

has at least one positive solution $$\mu_{k}$$.

### Proof

By Theorem 3.2, we conclude that (12) has at least one solution $$\mu^{*}$$. If $$\sigma_{k} =0$$ and $$\mu_{j}:=\min_{k\in[1,N]} \mu_{k}$$, then we obtain

$$-\bigtriangleup^{\wp}_{y} \bigl(\psi_{p}\bigl( \bigtriangleup^{\wp}_{y} \mu_{k-1}\bigr) \bigr) \geq0, \quad k \in[1, N].$$

However, $$\psi_{p}$$ is strictly monotone, and $$\mu_{j}-\mu_{j-1}=0$$ and $$\mu_{j+1}-\mu_{j}=0$$. Consequently, we have a positive solution. Let $$\sigma_{k}\neq0$$, we attain

\begin{aligned} \psi_{p}\bigl(\bigtriangleup^{\wp}_{y} \mu_{j}\bigr) &\geq \bigl|\bigtriangleup^{\wp}_{y} \mu_{j}\bigr|^{p-1}(\mu_{j+1}-\mu{j})^{\wp}- \bigl| \bigtriangleup^{\wp}_{y}\mu_{j-1}\bigr|^{p-1}( \mu_{j}-\mu_{j-1})^{\wp}\\ & \geq0 \end{aligned}

and

\begin{aligned} \sigma_{j}\psi_{p}(\mu_{j}) &\geq| \mu_{j}|^{p-1}(\mu_{j+1}-\mu {j})^{\wp}- | \mu_{j-1}|^{p-1}(\mu_{j}-\mu_{j-1})^{\wp}, \\ & \geq0 \end{aligned}

so $$\mu_{j} \geq0$$ and $$\mu\geq0$$. This completes the proof. □

In the same manner as Theorem 5.1, we have the following.

### Theorem 5.2

Let $$h(k,t)$$ be defined in (11) and let (9) hold. Then problem (13) has at least one positive solution $$\mu_{k}$$.

## 6 Example

Assume the problem

\begin{aligned} &{-}\bigtriangleup^{\wp}_{y} ( \mu_{k-1}) +\sigma_{k} \mu_{k} = \frac{\lambda}{8}+ |\mu_{k}|^{2} \mu_{k},\quad k \in[1, N], \\ &\mu_{0}= \mu_{N+1}=0. \end{aligned}
(13)

Let $$h (\zeta):= \frac{\lambda}{8}+ |\zeta|^{2} \zeta$$, $$\zeta\in \mathbb{R}$$. It is clear that $$h(0)\neq0$$, when $$\lambda\neq0$$ and $$\lim_{\zeta\rightarrow0^{+}} \frac{h(\zeta)}{\zeta}= +\infty$$. Moreover, we let $$\kappa_{1}=4 >p=3$$ and $$\kappa_{2}=1 \Rightarrow|\zeta| \geq1$$. Thus, we conclude that

$$0< 4 H(\zeta) \leq\zeta h(\zeta),\quad \forall |\zeta| \geq1, \lambda> 0.$$

Obviously, $$T'(\mu_{k})= ( \frac{\|\mu\|^{p}}{p}- \sum^{N}_{k=1} H(k,\mu_{k}) )'$$ is a Lipschitz continuous functional. Hence in view of Theorem 4.1, problem (13) has at least two solutions.

Now let $$\sigma_{k}=0$$ and $$\lambda=0$$. We then have the following problem:

\begin{aligned} &{-}\bigtriangleup^{\wp}_{y} ( \mu_{k-1}) = |\mu_{k}|^{2} \mu_{k}, \quad k \in[1, N], \\ &\mu_{0}= \mu_{N+1}=0 \end{aligned}
(14)

such that $$\hbar(t):=t|t|^{2}$$, $$t \in[0,\infty)$$. Hence, in view of Theorem 5.1, where inequality (8) is satisfied for $$\overline{\sigma}=0$$, problem (14) has at least one positive solution.

## References

1. Diaz, JB, Osler, TJ: Differences of fractional order. Math. Comput. 28, 185-202 (1974)

2. Gray, H, Zhang, N: On a new definition of the fractional difference. Math. Comput. 50, 513-529 (1988)

3. Atici, F, Eloe, P: Initial value problems in discrete fractional calculus. Proc. Am. Math. Soc. 137, 981-989 (2009)

4. Jalab, HA, Ibrahim, RW: Texture enhancement based on the Savitzky-Golay fractional differential operator. Math. Probl. Eng. 2013, Article ID 149289 (2013)

5. Jalab, HA, Ibrahim, RW: Texture enhancement for medical images based on fractional differential masks. Discrete Dyn. Nat. Soc. 2013, Article ID 618536 (2013)

6. Jalab, HA, Ibrahim, RW: On generalized fractional differentiator signals. Discrete Dyn. Nat. Soc. 2013, Article ID 795954 (2013)

7. Jiang, L, Zhou, Z: Three solutions to Dirichlet boundary value problems for p-Laplacian difference equations. Adv. Differ. Equ. 2008, Article ID 345916 (2008)

8. Candito, P, Molica Bisci, G: Existence of two solutions for a second-order discrete boundary value problem. Adv. Nonlinear Stud. 11, 443-453 (2011)

9. Molica Bisci, G, Repovs, D: On sequences of solutions for discrete anisotropic equations. Expo. Math. (2014). doi:10.1016/j.exmath.2013.12.001

10. Molica Bisci, G, Repovs, D: Nonlinear algebraic systems with discontinuous terms. J. Math. Anal. Appl. 398, 846-856 (2013)

11. Bian, LH, Sun, HR, Zhang, QG: Solutions for discrete p-Laplacian periodic boundary value problems via critical point theory. J. Differ. Equ. Appl. 18, 345-355 (2012)

12. Jumarie, G: Fractional Differential Calculus for Non-Differentiable Functions: Mechanics, Geometry, Stochastics, Information Theory. Lambert Academic Publishing, Saarbrücken (2013)

13. Motreanu, D, Râdulescu, V: Variational and Non-Variational Methods in Nonlinear Analysis and Boundary Value Problems. Nonconvex Optimization and Applications. Kluwer Academic, Dordrecht (2003)

14. Bonanno, G: A critical point theorem via the Ekeland variational principle. Nonlinear Anal. 75, 2992-3007 (2012)

## Acknowledgements

The authors would like to thank the referees for giving useful suggestions for improving the work. This research is supported by Project No.: RG312-14AFR from the University of Malaya.

## Author information

Authors

### Corresponding author

Correspondence to Rabha W Ibrahim.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

Both authors jointly worked on deriving the results and approved the final manuscript.

## Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and Permissions

Ibrahim, R.W., Jalab, H.A. Discrete boundary value problem based on the fractional Gâteaux derivative. Bound Value Probl 2015, 23 (2015). https://doi.org/10.1186/s13661-015-0287-7

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/s13661-015-0287-7

### Keywords

• Fractional Operator
• Fractional Calculus
• Critical Point Theory
• Fractional Difference
• Discrete Boundary