On nonlocal fractional symmetric Hanh integral boundary value problems for fractional symmetric Hahn integrodifference equation

1.   Introduction

Concurrent with the development of classic calculus theory, quantum calculus (calculus without limit) have received a great deal of attention in the last three decades. Quantum calculus have been found in many problems such as particle physics, quantum mechanics, and calculus of variations. In this paper, we study on the development of Hahn calculus, which is a type of quantum calculus. Hahn difference operator was first introduced by Hahn ^[1] in 1949 in the form of

This operator has been further employed in many research works such as the studies of the right inverse and its properties of Hahn difference operator ^[2,3], Hahn quantum variational calculus ^[4,5,6], the initial value problems ^[7,8,9], and the boundary value problems ^[10,11]. The approximation problems and constructing families of orthogonal polynomials ^[12,13,14], Hahn difference operator is an important tool used to study in these areas.

Based on the iadea of Hahn, in 2017, Brikshavana and Sitthiwirattham ^[15] introduced a general case of order of Hahn's operator, the so-called fractional Hahn difference operators. This operator has been used in the study of existencne and uniqueness of solution of boundary value problems for fractional Hahn difference equations (see ^{[16,17,18,19]}).

The symmetric Hahn difference operator $\tilde{D}_{q, \omega}$ is another opertor related to Hahn's operator. It was introduced by Artur et al. in 2013 ^[20] where

Recently, Patanarapeelert and Sitthiwirattham ^[21] introduced the fractional symmetric Hahn integral, Riemann-Liouville and Caputo fractional symmetric Hahn difference operators and their properties. To present the advantage of this newest knowledge, in this paper, we devote our attention to study the solutions of boundary value problem for fractional symmetric Hahn difference equation.

Our problem is a nonlocal fractional symmetric Hanh integral boundary value problem for fractional symmetric Hahn integrodifference equation of the form

where $\; I^T_{q, \omega}: = \{q^kT+\omega[k]_q:k \in {\mathbb{N}}_0\}\cup \{\omega_0\}$; $\; \alpha\in (1, 2];\; \beta, \gamma, \theta_1, \theta_2 \in (0, 1];$ $\; \omega > 0;\; q\in (0, 1)$; $\; \lambda_1, \lambda_2 \in {{\mathbb{R}}^+}$; $\; F \in C\big(I_{q, \omega}^T\times {\mathbb{R}}^3, {\mathbb{R}}\big)$ and $\; g_1, g_2 \in C\big(I_{q, \omega}^T, {\mathbb{R}}^+\big)$ are given functions; and for $\varphi \in C\big(I_{q, \omega}^T\times I_{q, \omega}^T, [0, \infty) \big)$, we define

In the next section, we give some definitions and lemmas related to fractional symmetric Hahn calculus. In section 3, we analyze the existence and uniqueness of a solution of problem (1.1) by using the Banach fixed point theorem. Moreover, we show the existence of at least one solution of problem (1.1) by using the Schuader's fixed point theorem. Finally, we present an example to illustrate our results in the last section.

2.   Preliminaries

2.1.   Basic knowledge

In this section, we provide some notations, definitions, and lemmas related to the fractional symmetric Hahn difference calculus as follows ^{[20,21,22,23]}.

For $0 < q < 1$, $\omega > 0$, $\omega_0 = \frac{\omega}{1-q}$ and $[k]_q = \frac{1-q^{k}}{1-q}$, we define

The $q, \omega$-forward jump operator is defined by

and the $q, \omega$-backward jump operator is defined by

where $\; k\in {\mathbb{N}}$.

Let $n\in\mathbb{N}_0: = \{0, 1, 2, ...\}$, and $a, b\in \mathbb{R}$. We define the power functions as follows:

● The $q$-analogue of the power function

● The $q$-symmetric analogue of the power function

● The $q, \omega$-symmetric analogue of the power function

Generally, for $\alpha\in \mathbb{R}$, we have

Particularly, we have $\; a_{q}^{\underline{\alpha}} = \widetilde{a}_{q}^{\underline{\alpha}} = a^\alpha$ and $\widetilde{(a-\omega_0)}_{q, \omega}^{\underline{\alpha}} = (a-\omega_0)^\alpha$ if $b = 0$. If $a = b$, we define $\; (0)_{q}^{\underline{\alpha}} = \widetilde{(0)}_{q}^{\underline{\alpha}} = \widetilde{{(\omega_0)}}_{q, \omega}^{\underline{\alpha}} = 0$ for $\alpha > 0$.

The $q$-symmetric gamma and $q$-symmetric beta functions are defined as

respectively.

Lemma 2.1. ^[21] For $\; m, n\in {\mathbb{N}}_0$ and $\alpha \in \mathbb{R}$,

$(a)$ $\; \widetilde{(x-\sigma_{q, \omega}^n(x))}_{q, \omega}^{\underline{\alpha}} = (x-\omega_0)^k\widetilde{(1-q^n)}_{q}^{\underline{\alpha}}$,

$(b)$ $\; \widetilde{(\sigma_{q, \omega}^m(x))-\sigma_{q, \omega}^n(x))}_{q, \omega}^{\underline{\alpha}} = q^{m\alpha}(x-\omega_0)^\alpha\widetilde{(1-q^{n-m})}_{q}^{\underline{\alpha}}$.

Definition 2.1. ^[20] For $\; q\in (0, 1)$, $\omega > 0$, and $f$ is a function defined on $I_{q, \omega}^T\subseteq {\mathbb{R}}$, the symmetric Hahn difference of $f$ is defined by

$\tilde{D}_{q, \omega}f$ is called $q, \omega$-symmetric derivative of $f$, and $f$ is $q, \omega$-symmetric differentiable on $I_{q, \omega}^T$.

In addition, we define

Remarks If $f$ and $g$ are $q, \omega$-symmetric differentiable on $I_{q, \omega}^T$,

$(a)$ $\; \tilde{D}_{q, \omega}[f(t)+g(t)] = \tilde{D}_{q, \omega}f(t)+\tilde{D}_{q, \omega}g(t)$,

$(b)$ $\tilde{D}_{q, \omega}[f(t)g(t)] = f(\rho_{q, \omega}(t))\tilde{D}_{q, \omega}g(t)+g(\sigma_{q, \omega}(t))\tilde{D}_{q, \omega}f(t)$,

$(c)$ $\tilde{D}_{q, \omega}\left[\dfrac{f(t)}{g(t)}\right] = \dfrac{g(\rho_{q, \omega}(t))\tilde{D}_{q, \omega}f(t)-f(\rho_{q, \omega}(t))\tilde{D}_{q, \omega}g(t)}{g(\rho_{q, \omega}(t))g(\sigma_{q, \omega}(t))},$ $\; g(\rho_{q, \omega}(t))g(\sigma_{q, \omega}(t))\neq 0,$

$(d)$ $\; \tilde{D}_{q, \omega}[C] = 0\;$ where $C$ is constant.

Definition 2.2. ^[20] Let $I$ be any closed interval of $\; \mathbb{R}$ containing $a, b$ and $\omega_0$ and $f:I\rightarrow \mathbb{R}$ be a given function. The symmetric Hahn integral of $f$ from $a$ to $b$ is defind by

where

Providing that the above series converges at $x = a$ and $x = b$, $f$ is symmetric Hahn integrable on $[a, b]$. In addition, $f$ is symmetric Hahn integrable on $I$ if it is symmetric Hahn integrable on $[a, b]$ for all $a, b\in I.$

In addition,

Remarks ^[20] $\; \;$ Let $a, b \in I_{q, \omega}^T$ and $f, g$ be symmetric Hahn integrable on $I_{q, \omega}^T$. Then,

$(a)$ $\; \; \int_{a}^a f(t)\tilde{d}_{q, \omega}t = 0,$

$(b)$ $\; \; \int_{a}^b f(t)\tilde{d}_{q, \omega}t = -\int_{b}^a f(t)\tilde{d}_{q, \omega}t,$

$(c)$ $\; \; \int_{a}^b f(t)\tilde{d}_{q, \omega}t = \int_{c}^b f(t)\tilde{d}_{q, \omega}t+\int_{a}^c f(t)\tilde{d}_{q, \omega}t, \; \; c\in I_{q, \omega}^T, \; a < c < b,$

$(d)$ $\; \; \int_{a}^b\left[\alpha f(t)+\beta g(t)\right] \tilde{d}_{q, \omega}t = \alpha\int_{a}^b f(t)\tilde{d}_{q, \omega}t+\beta\int_{a}^b g(t)\tilde{d}_{q, \omega}t, \; \; \alpha, \beta \in {\mathbb{R}},$

$(e)$ $\; \; \int_{a}^b \left[f(\rho_{q, \omega}(t))\tilde{D}_{q, \omega}g(t) \right] \, \tilde{d}_{q, \omega}t = \big[f(t)g(t) \big] _a^b-\int_{a}^b \big[g\left(\sigma_{q, \omega}(t)\right)\tilde{D}_{q, \omega}f(t) \big] \, \tilde{d}_{q, \omega}t.$

Lemma 2. ^[20] [Fundamental theorem of symmetric Hahn calculus]

Let $f:I\rightarrow \mathbb{R}$ be continuous at $\omega_0$. Then,

is continuous at $\omega_0$ and $\tilde{D}_{q, \omega}F(x)$ exists for every $x\in \sigma_{q, \omega}(I): = \{qt+\omega:t \in I\}$ where

In addition,

Lemma 2.3. ^[21] Let $0 < q < 1$, $\omega > 0$ and $f:I\rightarrow \mathbb{R}$ be continuous at $\omega_0$. Then,

Definition 2.3. ^[21] Let $\alpha, \omega > 0, \; 0 < q < 1,$ and $f$ be a function defined on $I^T_{q, \omega}$. The fractional symmetric Hahn integral is defined by

and $\; \; \widetilde{{\mathcal{I}}}^0_{q, \omega} f)(t) = f(t)$.

Definition 2.4. ^[21] For $\alpha, \omega > 0, \; 0 < q < 1$ and $f$ defined on $I^T_{q, \omega}$, the fractional symmetric Hahn difference operator of Riemann-Liouville type of order $\alpha$ is defined by

where $\; N-1 < \alpha < N, \; N\in {\mathbb{N}}.$

Lemma 2.4. ^[21] Let $\; \alpha, \omega > 0, \; 0 < q < 1$ and $\; f:I_{q, \omega}^T\rightarrow {\mathbb{R}}$. Then,

for some $\; C_i\in {\mathbb{R}}, i = 1, 2, ..., N$ and $N-1 < \alpha < N$ for $N\in {\mathbb{N}}$.

Lemma 2.5. ^[24] (Arzelá-Ascoli theorem) A set of function in $C[a, b]$ with the sup norm, is relatively compact if and only if it is uniformly bounded and equicontinuous on $[a, b]$.

Lemma 2.6. ^[24] If a set is closed and relatively compact then it is compact.

Lemma 2.7. ^[25] (Schauder's fixed point theorem) Let $(D, d)$ be a complete metric space, $U$ be a closed convex subset of $D$, and $T: D\rightarrow D$ be the map such that the set $Tu:u\in U$ is relatively compact in $D$. Then the operator $T$ has at least one fixed point $u^*\in U$: $Tu^* = u^*.$

2.2.   Auxiliary lemmas

In this section, we formulate some lemmas that will be used as a tool for our calculations as follows.

Lemma 2.8. Let $q\in (0, 1), \omega > 0$ and $n > 0$. Then,

Proof. Using the definition of symmetric Hahn integral, we have

and

The proof is complete.

Lemma 2.9. Let $\; \alpha, \beta > 0, \; q\in (0, 1)$ and $\omega > 0$. Then,

Proof. From the definition of $q, \omega$-symmetric analogue of the power function, Lemma 2.1 and Definition 2.2, we obtain

Using (ⅰ) and (ⅱ), we have

2.3.   Lemma for linear variant form

The following lemma present a solution of a linear variant form of the problem (1.1).

Lemma 2.10. Let $\; \Lambda \neq 0;\; \omega > 0;\; q\in (0, 1)$; $\; \alpha\in (1, 2];\; \theta_1, \theta_2 \in (0, 1];$ $\; \lambda_1, \lambda_2 \in {{\mathbb{R}}^+}$; $\; h \in C\big(I_{q, \omega}^T, {\mathbb{R}}\big)$ and $\; g_1, g_2 \in C\big(I_{q, \omega}^T, {\mathbb{R}}^+\big)$ be given functions. Then the linear variant form

has the unique solution which is

where the functionals ${\Phi_{1}[h]}, \; {\Phi_{2}[h]}$ are defined by

and the constants $\mathit{\boldsymbol{A}}_{1}, \mathit{\boldsymbol{A}}_2, \mathit{\boldsymbol{B}}_{1}, \mathit{\boldsymbol{B}}_2$ and $\Lambda$ are defined by

Proof. Taking fractional symmetric Hahn integral of order $\alpha$ for $(2.1)$, we obtain

Taking fractional symmetric Hahn integral of order $\theta_i, \; i = 1, 2$ for $(2.10)$, we get

After substituting $i = 1$ into $(2.11)$ and employing the first condition of $(2.1)$, we have

Taking $i = 2$ into $(2.11)$ and employing the second condition of $(2.1)$, we have

where $\; {\Phi_{1}[h]}, {\Phi_{2}[h]}, \textbf{A}_{1}, \textbf{A}_2, \textbf{B}_{1}$ and $\textbf{B}_2$ are defined as $(2.3)-(2.8)$, respectively.

Solving the system of Eqs $(2.12)-(2.13)$, we have

where $\varLambda$ is defined as $(2.9)$. Substituting the constants $C_1$ and $C_2$ into $(2.10)$, we obtain $(2.2)$.

3.   Main results

In this section, we prove the existence and uniqueness of solution of the problem (1.1). Furthermore, we show the existence of at least one solution of problem (1.1).

3.1.   Existence and uniqueness result

In this section, we consider the existence and uniqueness result for the problem $(1.1)$. Let ${\mathcal{C}} = C\left(I_{q, \omega}^T, {\mathbb{R}}\right)$ be a Banach space of all function $u$ with the norm defined by

where $\; \alpha\in (1, 2];\; \beta, \gamma, \theta_1, \theta_2 \in (0, 1];$ $\; \omega > 0;\; q\in (0, 1)$; $\; \lambda_1, \lambda_2 \in {{\mathbb{R}}^+}$. We define an operator ${\mathcal{F}}:{\mathcal{C}}\rightarrow {\mathcal{C}}$ as

where the functionals ${\Phi_{1}[F(u)]}, \; {\Phi_{2}[F(u)]}$ are given by

and the constants $\; \textbf{A}_{1}, \textbf{A}_2, \textbf{B}_{1}, \textbf{B}_2$ and $\Lambda$ are defined by (2.5)-(2.9), respectively.

We find that the problem $(1.1)$ has solution if and only if the operator $\mathcal{F}$ has fixed point.

Theorem 3.1. Assume that $F:I_{q, \omega}^T\times {\mathbb{R}}^3\rightarrow {\mathbb{R}}$, and $g_1, g_2:I_{q, \omega}^T\rightarrow {\mathbb{R}}^+$ are continuous, and $\varphi : I_{q, \omega}^T\times I_{q, \omega}^T\rightarrow [0, \infty)$ is continuous with $\varphi_0 = \max\big\{\varphi(t, s):(t, s)\in I_{q, \omega}^T\times I_{q, \omega}^T\big\}$. Suppose that the following conditions hold:

$(H_1)$ There exist constants $\ell_1, \ell_2, \ell_3 > 0$ such that for each $t\in I^T_{q, \omega}$ and $u, v\in {\mathbb{R}}$,

$(H_2)$ There exist constants $g_i, G_i > 0$ where $i = 1, 2$ such that for each $t\in I^T_{q, \omega},$

$(H_3)$ ${\Theta} \, < \, 1$,

where

and

Then the problem $(1.1)$ has a unique solution in $I^T_{q, \omega}$.

Proof. To show that $F$ is contraction, we first consider

for each $t\in I_{q, \omega}^T$ and $u, v\in {\mathcal{C}}$. We find that

Similary,

In addition, we find that

Taking fractional symmetric Hahn difference of order $\gamma$ for $(3.1)$, we obtain

Similary, we have

From (3.13) and (3.15), we get

Using $(H_3)$ we can conclude that ${\mathcal{F}}$ is a contraction. Based on Banach fixed point theorem, ${\mathcal{F}}$ has a fixed point which is a unique solution of problem (1.1) on $I^T_{q, \omega}$.

3.2.   Existence of at least one solution

In this section, we particularly study the existence of at least one solution of (1.1) by using the Schauder's fixed point theorem as follows

Theorem 3.2. Suppose that $(H_1)$ and $(H_3)$ defined in Theorem 3.1 hold. Then, problem $(1.1)$ has at least one solution on $I^T_{q, \omega}$.

Proof. The proof is established as the following structures.

Step Ⅰ. Verify ${\mathcal{F}}$ map bounded sets into bounded sets in $B_R$. Let $B_R = \{u\in C(I^T_{q, \omega}) :\|u\|_{\mathcal{C}}\leq R\}$, $\; \max_{t\in I^T_{q, \omega}}|F(t, 0, 0, 0)| = M$ and choose a constant

Denote that

We find that

where $t\in I_{q, \omega}^T$ and $u\in B_{R}$.

Similary,

Employing (3.17) and (3.18), we find that

Since

Therefore, $\|{\mathcal{F}}u\|_{\mathcal{C}}\leq R$. Hence, ${\mathcal{F}}$ is uniformly bounded.

Step Ⅱ. That the operator ${\mathcal{F}}$ is continuous on $B_R$ since the continuity of $F$.

Step Ⅲ. Examine that ${\mathcal{F}}$ is equicontinuous on $B_R$.

For any $t_1, t_2\in I^T_{q, \omega}$ with $t_1 < t_2$, by Lemma 2.9 we have

and

Since the right-hand side of (3.22) tends to be zero when $|t_2-t_1|\rightarrow 0$, ${\mathcal{F}}$ is relatively compact on $B_R$. Therefore, the set ${\mathcal{F}}(B_R)$ is an equicontinuous set. From Steps I to III together with the Arzelá-Ascoli theorem, $\mathcal{F}:{\mathcal{C}}\rightarrow {\mathcal{C}}$ is completely continuous. By Schauder's fixed point theorem, we can conclude that problem (1.1) has at least one solution.

4.   Example

Thoroughly, we provide the boundary value problem for fractional Hahn difference equation

where $\; t\in I_{\frac{1}{2}, \frac{2}{3}}^{10}$ and $\varphi(t, s) = \frac{e^{-s}}{(t+10)^3}$.

We let $\; \alpha = \frac{5}{3}, \; \beta = \frac{2}{5}, \; \gamma = \frac{3}{4}, \; \theta_1 = \frac{3}{4}, \; \theta_2 = \frac{1}{3}, \; q = \frac{1}{2}, \; \omega = \frac{2}{3}, \; \omega_0 = \frac{\omega}{1-q} = \frac{4}{3}, \; T = 10, \; \eta_1 = 10\left(\frac{1}{2}\right)^4+\frac{2}{3}[4]_{\frac{1}{2}} = \frac{15}{8}, \; \eta_2 = 10\left(\frac{1}{2}\right)^6+\frac{2}{3}[6]_{\frac{1}{2}} = \frac{47}{32}, \; \lambda_1 = 2, \; \lambda_2 = 3, \; g_1(t) = e^{\cos\left(\pi t\right) }, \; g_2(t) = e^{2\sin\left(\pi t\right) }$ and $\; \varphi_0 = \max\left\lbrace \varphi(t, s) \right\rbrace = \frac{27}{1156 e^{\frac{4}{3}}}.$

For all $\; t\in I_{\frac{1}{2}, \frac{2}{3}}^{10}\;$ and $\; u, v\in {\mathbb{R}}$, we have

and $\; \; \frac{1}{e} < g_1(t) < e, \; \; \; \frac{1}{e^2} < g_2(t) < e^2$

Thus, $(H_1)$ and $(H_2)$ hold with $\; \ell_1 = 0.0000247, \; \ell_2 = 0.0000583, \; \ell_3 = 0.000496\;$ and $\; g_1 = \frac{1}{e}, \; g_2 = \frac{1}{e^2}, \; G_1 = e, \; G_2 = e^2$.

Since

therefore, $(H_3)$ holds with

Hence, by Theorem $3.1$ problem $(4.1)$ has a unique solution.

5.   Conclusion

The new problem containing two fractional symmetric Hahn difference operators and three fractional symmetric Hahn integral with different numbers of order was proposed. The new concepts of fractional symmetric Hanh calculus were used in the study of existence results of the govern problem. The Banach fixed point and Schauder's fixed point theorems were also employed in this study.

Acknowledgments

This research was funded by King Mongkut's University of Technology North Bangkok. Contract no.KMUTNB-61-KNOW-027. The last author of this research was supported by Suan Dusit University.

Conflict of interest

The authors declare no conflicts of interest regarding the publication of this paper.