Open Access

On certain triple q-integral equations involving the third Jackson q-Bessel functions as kernel

Advances in Difference Equations20162016:81

https://doi.org/10.1186/s13662-016-0809-3

Received: 7 January 2016

Accepted: 13 March 2016

Published: 21 March 2016

Abstract

In this paper, we consider two different systems of triple q-integral equations, where the kernel is a third Jackson q-Bessel function. The solution of the first system is reduced to two simultaneous Fredholm q-integral equations of the second kind. We solve the second system by using the solution of specific dual q-integral equations. Some examples are included.

Keywords

third Jackson q-Bessel functions fractional q-integral operators triple q-integral equations

MSC

45F10 31B10 26A33 33D45

1 Introduction

In the past years, several authors have described various methods to solve triple integral equations especially of the form
$$\begin{aligned}& \int_{0}^{\infty}A(u)K(u,x) \,du = f(x),\quad 0 < x < a, \\ & \int_{0}^{\infty}w(u)A(u)K(u,x) \,du = g(x), \quad a < x < b, \\ & \int_{0}^{\infty}A(u)K(u,x) \,du = h(x), \quad b < x < \infty, \end{aligned}$$
where \(w(u)\) is the weight function, \(K(u,x)\) is the kernel function (see for example [110]).

Some mixed boundary value problems of the mathematical theory of elasticity are solved by reducing them to multiple integral equations. For example, the axisymmetric problem of a torsion of an elastic space, weakened by a conical crack, under the assumption that on the boundaries of the crack, the tangential displacements of the shear stress are prescribed, is solved by the application of dual integral equations (see [11]). Harmonic shear oscillations of a rigid stamp with a plane base coupled to an elastic half-space were studied in [12] and reduced to dual integral equations. For more applications see [13, 14]. This type of equations can be solved by a Fredholm integral equation of the second kind by using the modified Hankel transform operator and the Erdélyi-Kober fractional integration operator.

In this paper, we consider triple q-integral equation where the kernel is the third Jackson q-Bessel function and the q-integral is a Jackson q-integral. It is worth mentioning that different approaches for solving a dual q-integral equation are in [15]. Also, solutions for dual and triple sequence involving q-orthogonal polynomials are in [16].

The paper is organized in the following manner. The next section includes the main notations and some results we need in our investigations. In Section 3, we solve the triple q-integral equations by reducing the system to two simultaneous Fredholm q-integral equation of the second kind, we shall use a method due to Singh et al. [7]. The approach depends on fractional q-calculus. Furthermore, we will conclude the solutions of two dual q-integral equations to be special cases of the solution of the triple q-integral equation, and we show that this coincides with the results in [15]. In the last section, we use a result from [15] for a solution of dual \(q^{2}\)-integral equations to solve triple \(q^{2}\)-integral equations. The result of this section is a q-analog of the results introduced by Cooke in [2].

2 q-Notations and results

Throughout this paper, we will assume that q is a positive number less than one and we follow Gasper and Rahman [17] for the definitions of the q-shifted factorial, multiple q-shifted factorials, basic hypergeometric series, Jackson q-integrals, the q-gamma, and beta functions. We also follow Annaby and Mansour [18] for the definition of the q-derivative at zero.

For \(t> 0\), let \(A_{q,t}\), \(B_{q,t}\), and \(\mathbb{R}_{q,t,+}\) be the sets defined by
$$\begin{aligned}& A_{q,t}:=\bigl\{ tq^{n}: n\in\mathbb{N}_{0}\bigr\} , \qquad B_{q,t}:=\bigl\{ tq^{-n}: n\in \mathbb{N}\bigr\} , \\& \mathbb{R}_{q,t,+}:=\bigl\{ tq^{k}: k\in\mathbb{Z}\bigr\} , \end{aligned}$$
where \(\mathbb{N}_{0}:=\{0,1,2,\ldots\}\), and \(\mathbb{N}:=\{1,2,\ldots\}\). Notice, if \(t=1\) we write \(A_{q}\), \(B_{q}\), and \(\mathbb{R}_{q,+}\), and we define the following spaces:
$$\begin{aligned}& L_{q,\eta}(\mathbb{R}_{q,+}): = \biggl\{ f: \|f \|_{q,\eta}:= \int _{0}^{\infty}\bigl\vert t^{\eta}f(t) \bigr\vert \,d_{q}t < \infty \biggr\} , \\& L_{q,\eta}(A_{q}): = \biggl\{ f: \|f\|_{A_{q},\eta}:= \int_{0}^{1} \bigl\vert t^{\eta}f(t) \bigr\vert \,d_{q}t < \infty \biggr\} , \\& L_{q,\eta}(B_{q}): = \biggl\{ f: \|f\|_{B_{q},\eta}:= \int_{1}^{\infty}\bigl\vert t^{\eta}f(t) \bigr\vert \,d_{q}t < \infty \biggr\} , \end{aligned}$$
where \(\eta\in\mathbb{C}\) and \(L_{q,\eta}(\mathbb{R}_{q,+})= L_{q,\eta}(A_{q})\cap L_{q,\eta}(B_{q}) \).
Koornwinder and Swarttouw [19] introduced the following inverse pair of q-Hankel integral transforms under the side condition \(f, g\in L_{q}^{2}(\mathbb{R}_{q,+})\):
$$ g(\lambda)= \int_{0}^{\infty}xf(x)J_{\nu}\bigl(\lambda x;q^{2}\bigr) \,d_{q}x;\qquad f(x)= \int_{0}^{\infty}\lambda g(\lambda)J_{\nu} \bigl(\lambda x;q^{2}\bigr) \,d_{q}\lambda, $$
(2.1)
where \(\lambda, x\in\mathbb{R}_{q,+}\).
Now we recall some definitions and results which will be needed in the sequel. Let \(\alpha\in\mathbb{C}\), the q-binomial coefficient is defined by
$$ \left [ \textstyle\begin{array}{@{}c@{}} \alpha \\ k \end{array}\displaystyle \right ]_{q}= \left \{ \textstyle\begin{array}{l@{\quad}l} 1, & k=0, \\ \frac{(1-q^{\alpha})(1-q^{\alpha-1})\cdots(1-q^{\alpha-k+1})}{(q;q)_{k}}, & k\in\mathbb{N}. \end{array}\displaystyle \right . $$
The third Jackson q-Bessel function \(J_{\nu}^{(3)}(z;q)\), see [20] and [21], is defined by
$$ J_{\nu}(z;q)=J_{\nu}^{(3)}(z;q):= \frac{(q^{\nu+1};q)_{\infty}}{(q;q)_{\infty}}\sum_{n=0}^{\infty}(-1)^{n} \frac{q^{n(n+1)/2}z^{2n+\nu}}{(q;q)_{n}(q^{\nu+1};q)_{n}},\quad z\in \mathbb{C}, $$
(2.2)
and it satisfies the following relations (see [22]):
$$\begin{aligned}& D_{q} \bigl[(\cdot)^{-\nu}J_{\nu}\bigl(\cdot;q^{2}\bigr) \bigr](z)=- \frac{q^{1-\nu }z^{-\nu}}{1-q} J_{\nu+1} \bigl(qz;q^{2}\bigr), \end{aligned}$$
(2.3)
$$\begin{aligned}& D_{q} \bigl[(\cdot)^{\nu}J_{\nu}\bigl(\cdot;q^{2}\bigr) \bigr](z)=\frac{z^{\nu}}{1-q} J_{\nu-1} \bigl(z;q^{2}\bigr). \end{aligned}$$
(2.4)
Also, for \(\Re(\nu) >-1\), the q-Bessel function \(J_{\nu}(\cdot;q^{2})\) satisfies (see [19])
$$ \bigl\vert J_{\nu}\bigl(q^{n};q^{2} \bigr)\bigr\vert \leq\frac{(-q^{2};q^{2})_{\infty }(-q^{2\nu+2};q^{2})_{\infty}}{(q^{2};q^{2})_{\infty}} \left \{ \textstyle\begin{array}{l@{\quad}l} q^{n\nu}, & n\in\mathbb{N}_{0}, \\ q^{n^{2}-(\nu+1)n}, & n\in\mathbb{N}. \end{array}\displaystyle \right . $$
(2.5)
The functions \(\cos(z; q)\) and \(\sin(z; q)\) are defined by
$$\begin{aligned}& \cos(z; q) := \frac{(q^{2}; q^{2})_{\infty}}{(q; q^{2})_{\infty}} \bigl(zq^{-\frac {1}{2}}(1-q) \bigr)^{\frac{1}{2}} J_{-\frac{1}{2}}\bigl(z(1-q)/\sqrt{q};q^{2} \bigr), \\& \sin(z; q) := \frac{(q^{2}; q^{2})_{\infty}}{(q; q^{2})_{\infty}} \bigl(z(1-q)\bigr)^{\frac{1}{2}} J_{\frac{1}{2}}\bigl(z(1-q);q^{2}\bigr),\quad z\in\mathbb{C}. \end{aligned}$$
We need the following results from [18].

Proposition 2.1

Let \(\alpha, \beta\in\mathbb{C}\), \(\rho,t\in\mathbb{R}_{q,+}\). Then, for \(\mathfrak{R}(\beta)> \mathfrak{R}(\alpha)>-1\),
$$\begin{aligned}& \int_{0}^{\infty}t^{\alpha-\beta+1} J_{\alpha}\bigl(\xi t; q^{2}\bigr)J_{\beta}\bigl(\rho t; q^{2} \bigr) \,d_{q} t \\& \quad = \left \{ \textstyle\begin{array}{l@{\quad}l} 0, & \xi> \rho, \\ \frac{(1-q)(1-q^{2})^{1-\beta+\alpha}}{\Gamma_{q^{2}}(\beta-\alpha )}\xi^{\alpha}\rho^{(\beta-2\alpha-2)}(q^{2}\xi^{2}/\rho ^{2};q^{2})_{\beta-\alpha-1},& \xi\leq\rho. \end{array}\displaystyle \right . \end{aligned}$$

Proposition 2.2

Let ν and α be complex numbers such that \(\Re(\nu)>-1\). Then, for \(\rho, u \in\mathbb{R}_{q,+}\),
$$ \int_{\rho}^{\infty}x^{2\alpha-\nu-1} \bigl({ \rho^{2}}/{x^{2}}; q^{2}\bigr)_{\alpha-1} J_{\nu}\bigl(ux; q^{2}\bigr) \,d_{q} x = \frac{(1-q)\Gamma_{q^{2}}(\alpha )}{(1-q^{2})^{1-\alpha}}\rho^{\alpha-\nu}u^{-\alpha}q^{\alpha} J_{\nu-\alpha}\bigl(u \rho/q; q^{2}\bigr). $$

Proposition 2.3

Let x, ν, and γ be complex numbers and \(u\in\mathbb{R}_{q,+}\). Then, for \(\Re(\gamma)>-1\) and \(\Re(\nu)>-1\), the following identity holds:
$$\begin{aligned}& \int_{0}^{x} \rho^{\nu+1} \bigl({q^{2}\rho^{2}}/{x^{2}}; q^{2} \bigr)_{\gamma} J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} \rho \\& \quad = x^{\nu-\gamma+1} u^{-\gamma-1} (1-q) \bigl(1-q^{2} \bigr)^{\gamma}\Gamma_{q^{2}}(\gamma+ 1)J_{\gamma+\nu+1}\bigl(u x; q^{2}\bigr). \end{aligned}$$
(2.6)
Moreover, if \(\Re(\gamma)>0\) and \(\Re(\nu)>-1\), then
$$\begin{aligned}& \int_{x}^{\infty}\rho^{2\gamma-\nu-1} \bigl({x^{2}}/{\rho^{2}}; q^{2}\bigr)_{\gamma -1} J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} \rho \\& \quad = x^{\gamma-\nu} u^{-\gamma} (1-q)q^{\gamma}\frac{(q^{2};q^{2})_{\infty}}{(q^{2\gamma};q^{2})_{\infty}}J_{\nu-\gamma}\biggl(\frac{u x}{q}; q^{2} \biggr). \end{aligned}$$
(2.7)

The following are consequences of the above results.

Lemma 2.4

Let x, u, and α be complex numbers such that \(u\in\mathbb {R}_{q,+}\), \(\Re(\alpha)>-1\), and \(\Re(\nu)>-1\). Then
$$\begin{aligned}& u^{\alpha}J_{\nu-\alpha}\bigl(ux; q^{2}\bigr) \\& \quad = \frac{(1-q^{2})^{\alpha}}{\Gamma _{q^{2}}(1-\alpha)} x^{\alpha-\nu-1} D_{q,x} \biggl[x^{-2\alpha} \int _{0}^{x} \rho^{\nu+1} \bigl({q^{2}\rho^{2}}/{x^{2}}; q^{2} \bigr)_{-\alpha} J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} \rho \biggr]. \end{aligned}$$
(2.8)

Proof

Applying (2.6) with \(\gamma= -\alpha\), we have
$$\begin{aligned}& \int_{0}^{x} \rho^{\nu+1} \bigl({q^{2}\rho^{2}}/{x^{2}}; q^{2} \bigr)_{-\alpha} J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} \rho \\& \quad = x^{\nu+\alpha+1} u^{\alpha-1} (1-q) \bigl(1-q^{2} \bigr)^{-\alpha} \Gamma_{q^{2}}(1-\alpha)J_{\nu-\alpha+1}\bigl(u x; q^{2}\bigr). \end{aligned}$$
(2.9)
Multiplying both sides of equation (2.9) by \(x^{-2\alpha}\), and then calculating the q-derivative of the two sides with respect to x and using (2.4), we get the required result. □

Similarly, by using (2.9) we obtain the following result.

Lemma 2.5

Let x, u, and α be complex numbers such that \(u\in\mathbb {R}_{q,+}\), \(\Re(\alpha)>0\), and \(\Re(\nu)>-1\). Then
$$\begin{aligned}& u^{\alpha}J_{\nu+\alpha}\bigl(ux; q^{2}\bigr) \\& \quad = -\frac{(1-q^{2})^{\alpha }q^{2\alpha+\nu-2}x^{\alpha+\nu-1}}{\Gamma_{q^{2}}(1-\alpha)} D_{q,x} \int_{x}^{\infty}\rho^{-2\alpha-\nu+1} \bigl({x^{2}}/{\rho^{2}}; q^{2}\bigr)_{-\alpha} J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} \rho. \end{aligned}$$
(2.10)

We end this section by introducing some q-fractional operators that we use in solving the triple q-integral equations under consideration. The technique of using fractional operators in solving dual and triple integral equations is not new. See for example [15, 23, 24].

A q-analog of the Riemann-Liouville fractional integral operator is introduced in [25] by Al-Salam through
$$ I^{\alpha}_{q} f(x):= \frac{x^{\alpha-1}}{\Gamma_{q}(\alpha)} \int_{0}^{x} (qt/x;q)_{\alpha-1} f(t) \,d_{q}t,\quad \alpha\notin\{-1,-2,\ldots\}. $$
In [26], Agarwal defined the q-fractional derivative to be
$$ D_{q}^{\alpha} f(x):= I^{-\alpha}_{q} f(x)= \frac{x^{-\alpha-1}}{\Gamma _{q}(-\alpha)} \int_{0}^{x} (qt/x;q)_{-\alpha-1} f(t) \,d_{q}t. $$
Also, we have (see [18], Lemma 4.17)
$$ I_{q}^{\alpha}D_{q}^{\alpha}f(x)=f(x)-I_{q}^{1-\alpha}f(0)\frac{x^{\alpha -1}}{\Gamma_{q}(\alpha)},\quad 0< \alpha< 1. $$
(2.11)
In [25], Al-Salam defined a two parameter q-fractional operator by
$$ K_{q}^{\eta,\alpha}\phi(x):=\frac{q^{-\eta}x^{\eta}}{\Gamma _{q}(\alpha)} \int_{x}^{\infty} (x/t;q )_{\alpha-1}t^{-\eta -1} \phi\bigl(tq^{1-\alpha}\bigr) \,d_{q}t, $$
\(\alpha\neq-1,-2,\ldots\) . This is a q-analog of the Erdélyi and Sneddon fractional operator, cf. [27, 28],
$$K^{\eta,\alpha}f(x)=\frac{x^{\eta}}{\Gamma(\alpha)} \int _{x}^{\infty} (t-x)^{\alpha-1}t^{-\eta-1}f(t) \, dt. $$
In [15], the authors introduced a slight modification of the operator \(K_{q}^{\eta,\alpha}\). This operator is denoted by \({\mathcal{K}_{q}^{\eta,\alpha}}\) and defined by
$$ \mathcal{K}_{q}^{\eta,\alpha}\phi(x):= \frac{q^{-\eta}x^{\eta }}{{\Gamma}_{q}(\alpha)} \int_{x}^{\infty}(x/t;q)_{\alpha-1}t^{-\eta -1} \phi(qt)\,d_{q}t, $$
(2.12)
where \(\alpha\neq-1,-2,\ldots\) . In case of \(\eta=-\alpha\), we set
$$\begin{aligned} \mathcal{K}_{q}^{\alpha}f(x) :=&q^{-\alpha}x^{\alpha }q^{\alpha(\alpha-1)/2} \mathcal{K}_{q}^{-\alpha,\alpha}f(x) \\ =&\frac{q^{-\alpha(\alpha-1)/2}}{\Gamma_{q}(\alpha)} \int _{x}^{\infty}t^{\alpha-1}(x/t;q)_{\alpha-1}f(qt) \,d_{q}t. \end{aligned}$$
(2.13)
Note that this operator satisfies the following semigroup identity:
$$ \mathcal{K}_{q}^{\alpha} \mathcal{K}_{q}^{\beta} \phi(x)= \mathcal {K}_{q}^{\alpha+\beta} \phi(x) \quad \mbox{for all } \alpha \mbox{ and } \beta. $$
(2.14)
The proof of (2.14) is completely similar to the proof of Theorem 5.13 in [18] and is omitted.

Lemma 2.6

Let \(\alpha\in\mathbb{C}\), \(x\in B_{q}\). If \(\Phi\in L_{q,\alpha -1}(B_{q})\) and \(G(x)=D_{q,x} \mathcal{K}_{q}^{\alpha}\Phi(x)\), then
$$\Phi(x)=-q^{\alpha-1} \mathcal{K}_{q}^{1-\alpha}G\biggl( \frac{x}{q}\biggr). $$

Proof

According to (2.13), we have
$$\begin{aligned} G(x) =& \frac{q^{-\alpha(\alpha-1)/2}}{\Gamma_{q}(\alpha)}D_{q,x} \int_{x}^{\infty}t^{\alpha-1}(x/t;q)_{\alpha-1} \Phi(qt) \,d_{q}t \\ =& \frac{q^{-\alpha(\alpha-1)/2}}{\Gamma_{q}(\alpha)} \biggl[ \int _{x}^{\infty}t^{\alpha-1} \bigl(D_{q,x}(x/t;q)_{\alpha-1} \bigr)\Phi(qt) \,d_{q}t - x^{\alpha-1}(q;q)_{\alpha-1}\Phi(qx) \biggr]. \end{aligned}$$
(2.15)
Note that
$$D_{q,x}(x/t;q)_{\alpha-1}= -\frac{(1-q^{\alpha -1})}{t(1-q)}(qx/t;q)_{\alpha-2}= -\frac{1}{t}[\alpha -1](qx/t;q)_{\alpha-2} $$
and
$$\int_{qx}^{\infty}g(t) \,d_{q}t= \int_{x}^{\infty}g(t) \,d_{q}t + x(1-q)g(x). $$
Hence,
$$\begin{aligned} G(x) =&- \frac{q^{-\alpha(\alpha-1)/2}}{\Gamma_{q}(\alpha)}[\alpha -1] \biggl[ \int_{x}^{\infty}t^{\alpha-2} (qx/t;q)_{\alpha-2} \Phi(qt) \,d_{q}t - x^{\alpha-1}(q;q)_{\alpha-1}\Phi(qx) \biggr] \\ =& - \frac {q^{-\alpha(\alpha-1)/2}}{\Gamma_{q}(\alpha)}[\alpha-1] \int _{qx}^{\infty}t^{\alpha-2} (qx/t;q)_{\alpha-2} \Phi(qt) \,d_{q}t \\ =& - \frac{q^{-\alpha(\alpha-1)/2}}{\Gamma_{q}(\alpha-1)} \int _{qx}^{\infty}t^{\alpha-2} (qx/t;q)_{\alpha-2} \Phi(qt) \,d_{q}t = - q^{1-\alpha} \mathcal{K}_{q}^{(\alpha-1)}\Phi(qx). \end{aligned}$$
This implies
$$\mathcal{K}_{q}^{(\alpha-1)}\Phi(x)= -q^{\alpha-1}G(x/q). $$
Using (2.14), we obtain the result and completes the proof. □

3 A system of triple q-integral equations

The goal of this section is to solve the following triple q-integral equations:
$$\begin{aligned}& \int_{0}^{\infty}\psi(u) J_{\nu}\bigl(u \rho; q^{2}\bigr) \,d_{q} u = f_{1} (\rho),\quad \rho\in A_{q,a}, \end{aligned}$$
(3.1)
$$\begin{aligned}& \int_{0}^{\infty}u^{-2\alpha} \psi(u) \bigl[1+w(u) \bigr] J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u = f_{2} (\rho), \quad \rho\in A_{q,b} \cap B_{q,a}, \end{aligned}$$
(3.2)
$$\begin{aligned}& \int_{0}^{\infty}\psi(u) J_{\nu}\bigl(u \rho; q^{2}\bigr) \,d_{q} u = f_{3} (\rho),\quad \rho\in B_{q,b}, \end{aligned}$$
(3.3)
where \(0< a< b<\infty\), and α, ν are complex numbers satisfying
$$\Re(\nu) > -1\quad \mbox{and} \quad 0< \Re(\alpha)< 1. $$
ψ is an unknown function to be determined, \(f_{i} \) (\(i=1,2,3\)) are known functions, and w is a non-negative bounded function defined on \(\mathbb{R}_{q,+}\).
Clearly from (2.5), a sufficient condition for the convergence of the q-integrals on the left-hand side of (3.1)-(3.2) is that
$$ \psi\in L_{q,\nu}(\mathbb{R}_{q,+})\cap L_{q,\nu-2\alpha}(\mathbb{R}_{q,+}). $$
(3.4)
For getting the solution of the triple q-integral equations (3.1)-(3.3), we define a function C by
$$C(u):= u^{-2\alpha}\psi(u) \bigl[1+w(u) \bigr], \quad u\in \mathbb{R}_{q,+}. $$
This implies
$$\psi(u)= u^{2\alpha} C(u)- u^{2\alpha} C(u) \biggl[\frac {w(u)}{1+w(u)} \biggr], $$
and the triple q-integral equations (3.1)-(3.3) can be represented as
$$\begin{aligned}& \int_{0}^{\infty}u^{2\alpha} C(u) J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u- \int _{0}^{\infty}u^{2\alpha} C(u) \biggl[ \frac{w(u)}{1+w(u)} \biggr] J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u \\& \quad = f_{1} (\rho), \quad \rho\in A_{q,a}, \end{aligned}$$
(3.5)
$$\begin{aligned}& \int_{0}^{\infty}C(u) J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u= f_{2} (\rho), \quad \rho\in A_{q,b}\cap B_{q,a}, \end{aligned}$$
(3.6)
$$\begin{aligned}& \int_{0}^{\infty}u^{2\alpha} C(u) J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u- \int _{0}^{\infty}\frac{w(u)}{1+w(u)}u^{2\alpha}C(u) J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u \\& \quad = f_{3} (\rho), \quad \rho\in B_{q,b}. \end{aligned}$$
(3.7)
Since equation (3.6) is linear in C, we may assume that \(C:=C_{1}+C_{2}\) and
$$f_{2}=g_{1}+g_{2},\quad \mbox{on } A_{q,b}\cap B_{q,a}, $$
where \(g_{1}\) defined on \(A_{q,b}\) and \(g_{2}\) defined on \(B_{q,a}\). Therefore,
$$\begin{aligned}& \int_{0}^{\infty}C_{1}(u) J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u= g_{1} (\rho), \quad \rho\in A_{q,b}, \\& \int_{0}^{\infty}C_{2}(u) J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u= g_{2} (\rho), \quad \rho\in B_{q,a}. \end{aligned}$$
So, the triple q-integral equations (3.5)-(3.7) can be rewritten in the following form:
$$\begin{aligned}& \int_{0}^{\infty}u^{2\alpha} \bigl[C_{1}(u)+C_{2}(u) \bigr] J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u \\& \qquad {}- \int_{0}^{\infty}u^{2\alpha} \bigl[C_{1}(u)+C_{2}(u) \bigr]\frac{w(u)}{1+w(u)} J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u \\& \quad = f_{1} (\rho),\quad \rho\in A_{q,a}, \end{aligned}$$
(3.8)
$$\begin{aligned}& \int_{0}^{\infty}C_{1}(u) J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u= g_{1} (\rho), \quad \rho\in A_{q,b}, \end{aligned}$$
(3.9)
$$\begin{aligned}& \int_{0}^{\infty}C_{2}(u) J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u= g_{2} (\rho), \quad \rho\in B_{q,a}, \end{aligned}$$
(3.10)
$$\begin{aligned}& \int_{0}^{\infty}u^{2\alpha} \bigl[C_{1}(u)+C_{2}(u) \bigr] J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u \\& \qquad {}- \int_{0}^{\infty}\frac{w(u)}{1+w(u)}u^{2\alpha} \bigl[C_{1}(u)+C_{2}(u) \bigr] J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u \\& \quad = f_{3} (\rho), \quad \rho\in B_{q,b}. \end{aligned}$$
(3.11)

Proposition 3.1

Let \(\psi_{1}\), \(\psi_{2}\) be the functions defined by
$$\begin{aligned}& \psi_{1}(x):= \int_{0}^{\infty}u^{\alpha}C_{1}(u) J_{\nu-\alpha}\bigl(ux; q^{2}\bigr) \,d_{q}u, \quad x\in B_{q,b}, \end{aligned}$$
(3.12)
$$\begin{aligned}& \psi_{2}(x):= \int_{0}^{\infty}u^{\alpha}C_{2}(u) J_{\nu+\alpha}\bigl(ux; q^{2}\bigr) \,d_{q}u, \quad x \in A_{q,a}, \end{aligned}$$
(3.13)
provided that \(0<\Re(\alpha)<1\), \(\Re(\nu)>-1\), \(\Re(\nu+\alpha )>0\), and \(C_{1}\in L_{q,\nu}(\mathbb{R}_{q,+})\), \(C_{2}\in L_{q,-t}(\mathbb {R}_{q,+})\) where
$$\Re(\nu)+2>\Re(t)>-\Re(\nu)+2\Re(1-\alpha). $$
Then, for \(u\in\mathbb{R}_{q,+}\), we have
$$\begin{aligned}& C_{1}(u)= u^{1-\alpha} \biggl[ \int_{0}^{b} x \Phi_{1}(x)J_{\nu-\alpha} \bigl(ux; q^{2}\bigr) \,d_{q}x + \int_{b}^{\infty}x \psi_{1}(x)J_{\nu-\alpha} \bigl(ux; q^{2}\bigr) \,d_{q}x \biggr], \end{aligned}$$
(3.14)
$$\begin{aligned}& C_{2}(u)= u^{1-\alpha} \biggl[ \int_{0}^{a} x \psi_{2}(x)J_{\nu+\alpha} \bigl(ux; q^{2}\bigr) \,d_{q}x+ \int_{a}^{\infty}x \Phi_{2}(x)J_{\nu+\alpha} \bigl(ux; q^{2}\bigr) \,d_{q}x \biggr] , \end{aligned}$$
(3.15)
where
$$\begin{aligned}& \Phi_{1}(x)= \frac{(1-q^{2})^{\alpha }x^{\alpha-\nu-1}}{\Gamma_{q^{2}}(1-\alpha)} D_{q,x} \biggl[x^{-2\alpha} \int_{0}^{x} g_{1} (\rho) \rho^{\nu+1} \bigl({q^{2}\rho^{2}}/{x^{2}}; q^{2}\bigr)_{-\alpha} \,d_{q}\rho \biggr] \\& \hphantom{\Phi_{1}(x)}=\bigl(1-q^{2}\bigr)^{\alpha}x^{\alpha-\nu-1}D_{q^{2},x}^{\alpha} \bigl((\cdot )^{\nu/2}g_{1}(\sqrt{\cdot}) \bigr) (x), \quad x\in A_{q,b}, \end{aligned}$$
(3.16)
$$\begin{aligned}& \Phi_{2}(x)= -\frac{(1-q^{2})^{\alpha}q^{2\alpha+\nu -2}x^{\alpha+\nu-1}}{\Gamma_{q^{2}}(1-\alpha)} D_{q,x} \int_{x}^{\infty}g_{2}(\rho) \rho^{1-2\alpha-\nu} \bigl({x^{2}}/{\rho^{2}}; q^{2} \bigr)_{-\alpha} \,d_{q} \rho \\& \hphantom{\Phi_{2}(x)}=-q^{\frac{\alpha(1-\alpha)}{2}}\bigl(1-q^{2}\bigr)^{\alpha}x^{\alpha+\nu -1}D_{q^{2},x} \mathcal{K}_{q^{2}}^{(1-\alpha)} \bigl[(\cdot)^{-\nu /2}g_{2}( \sqrt{\cdot}) \bigr]\biggl(\frac{x}{q^{2}}\biggr),\quad x\in B_{q,a}. \end{aligned}$$
(3.17)

Proof

We start with proving (3.16). Let \(x\in A_{q,b}\). Multiplying both sides of (3.9) by \(x^{-2\alpha} \rho^{\nu+1} ({q^{2}\rho ^{2}}/{x^{2}}; q^{2})_{-\alpha}\) and then integrating with respect to ρ from 0 to x, we get
$$\begin{aligned}& \int_{0}^{x} x^{-2\alpha} \rho^{\nu+1} \bigl({q^{2}\rho^{2}}/{x^{2}}; q^{2} \bigr)_{-\alpha} \int_{0}^{\infty}C_{1}(u) J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u \,d_{q} \rho \\& \quad = \int_{0}^{x} g_{1} (\rho) x^{-2\alpha} \rho^{\nu+1} \bigl({q^{2}\rho ^{2}}/{x^{2}}; q^{2}\bigr)_{-\alpha} \,d_{q}\rho. \end{aligned}$$
(3.18)
Notice that the double q-integral on the left-hand side of (3.18) is absolutely convergent for \(0<\Re(\alpha)<1\) and for \(\Re (\nu)>-1\) provided that \(C_{1}\in L_{q,\nu}(\mathbb{R}_{q,+})\). So, we can interchange the order of the q-integrations to obtain
$$\begin{aligned}& \int_{0}^{\infty}C_{1}(u) x^{-2\alpha} \int_{0}^{x} \rho^{\nu+1} \biggl( \frac {q^{2}\rho^{2}}{x^{2}}; q^{2}\biggr)_{-\alpha} J_{\nu}\bigl(u \rho; q^{2}\bigr) \,d_{q} \rho \,d_{q} u \\& \quad = \int_{0}^{x} g_{1} (\rho) x^{-2\alpha} \rho^{\nu+1} \biggl(\frac{q^{2}\rho ^{2}}{x^{2}}; q^{2} \biggr)_{-\alpha} \,d_{q}\rho. \end{aligned}$$
(3.19)
By calculating the q-derivative of the two sides of (3.19) with respect to x and using (2.8), we get
$$ \int_{0}^{\infty}u^{\alpha}C_{1}(u) J_{\nu-\alpha}\bigl(ux; q^{2}\bigr) \,d_{q}u = \Phi _{1}(x),\quad x\in A_{q,b}, $$
(3.20)
where
$$\Phi_{1}(x)= \frac{(1-q^{2})^{\alpha}x^{\alpha-\nu-1}}{\Gamma _{q^{2}}(1-\alpha)} D_{q,x} \biggl[x^{-2\alpha} \int_{0}^{x} g_{1} (\rho) x^{-2\alpha} \rho^{\nu+1} \biggl(\frac{q^{2}\rho^{2}}{x^{2}}; q^{2} \biggr)_{-\alpha} \,d_{q}\rho \biggr]. $$
To prove (3.17), let \(x\in B_{q,a}\). Multiplying both sides of (3.10) by \(\rho^{-2\alpha-\nu+1}({x^{2}}/{\rho^{2}}; q^{2})_{-\alpha}\) and q-integrating with respect to ρ from x to ∞, we get
$$\begin{aligned} \begin{aligned}[b] &\int_{x}^{\infty}\rho^{1-2\alpha-\nu} \bigl({x^{2}}/{\rho^{2}} ; q^{2} \bigr)_{-\alpha } \int_{0}^{\infty}C_{2}(u) J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u \,d_{q} \rho \\ &\quad = \int _{x}^{\infty}g_{2} (\rho) \rho^{-2\alpha-\nu+1} \bigl({x^{2}}/{\rho^{2}}; q^{2} \bigr)_{-\alpha} \,d_{q}\rho. \end{aligned} \end{aligned}$$
(3.21)
From (2.5), we can prove that \(u^{t} J_{\nu}(u;q^{2})\) is bounded on \(\mathbb{R}_{q,+}\) provided that \(\Re(t+\nu)>-1\). So, if we take t such that \(\Re(\nu)+2>\Re( t)> -\Re(\nu)+2\Re(1-\alpha)\), we can prove that the double q-integral
$$\int_{x}^{\infty}\rho^{1-2\alpha-\nu} \bigl({x^{2}}/{\rho^{2}}; q^{2}\bigr)_{-\alpha } \int_{0}^{\infty}C_{2}(u) J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u \,d_{q} \rho $$
is absolutely convergent and then we can interchange the order of the q-integration to obtain
$$\begin{aligned}& \int_{0}^{\infty}C_{2}(u) \int_{x}^{\infty}\rho^{1-2\alpha-\nu} \bigl({x^{2}}/{\rho^{2}}; q^{2}\bigr)_{-\alpha} J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} \rho \,d_{q} u \\& \quad = \int_{x}^{\infty}g_{2} (\rho) \rho^{-2\alpha-\nu+1} \bigl({x^{2}}/{\rho ^{2}}; q^{2} \bigr)_{-\alpha} \,d_{q}\rho. \end{aligned}$$
(3.22)
Calculating the q-derivative of the two sides of (3.22) with respect to x and using (2.10) yields
$$ \int_{0}^{\infty}u^{\alpha}C_{2}(u) J_{\nu+\alpha}\bigl(ux; q^{2}\bigr) \,d_{q}u =\Phi _{2}(x), \quad x\in B_{q,a}, $$
(3.23)
where
$$\Phi_{2}(x)= -\frac{(1-q^{2})^{\alpha}q^{2\alpha+\nu-2}x^{\alpha+\nu -1}}{\Gamma_{q^{2}}(1-\alpha)} D_{q,x} \int_{x}^{\infty}g_{2}(\rho) \rho ^{1-2\alpha-\nu} \bigl({x^{2}}/{\rho^{2}}; q^{2} \bigr)_{-\alpha} \,d_{q} \rho. $$
By the above argument, if we assume that \(\psi_{1}\) and \(\psi_{2}\) are given by (3.12) and (3.13), then
$$ \int_{0}^{\infty}u^{\alpha}C_{1}(u)J_{\nu -\alpha} \bigl(ux;q^{2}\bigr) \,d_{q}x=\left \{ \textstyle\begin{array}{l@{\quad}l}\phi_{1}(x),&x\in A_{q,b}, \\ \psi_{1}(x),&x\in B_{q,b} \end{array}\displaystyle \right . $$
(3.24)
and
$$ \int_{0}^{\infty}u^{\alpha }C_{2}(u)J_{\nu+\alpha} \bigl(ux;q^{2}\bigr) \,d_{q}x=\left \{ \textstyle\begin{array}{l@{\quad}l} \phi_{2}(x),&x\in B_{q,a}, \\ \psi_{2}(x),&x\in A_{q,a}. \end{array}\displaystyle \right . $$
(3.25)
Hence, (3.14) and (3.15) follow by applying the inverse pair of q-Hankel transforms (2.1) on (3.24) and (3.25). This completes the proof. □

Remark 3.2

From the definitions of \(\psi_{i}\) and \(\phi_{i}\), \(i=1,2\), in Proposition 3.1, one can verify that \(x^{-\nu-\alpha}\phi _{2}\) is a bounded function in \(B_{q,a}\) and \(x^{-\nu-\alpha}\psi_{2}\) is bounded in \(A_{q,a}\). Also, \(x^{-\nu+\alpha}\phi_{1}\) is bounded in \(A_{q,b}\) and \(x^{-\nu+\alpha}\psi_{1}\) is bounded in \(B_{q,b}\).

Proposition 3.3

For \(\rho\in B_{q,b}\), \(\psi_{1}(\rho)\) satisfies the Fredholm q-integral equation of the form
$$ \psi_{1}(\rho)=\tilde{F}_{1}(\rho)+ \frac{q^{-2\alpha^{2}-\alpha+\nu }}{(1-q)^{2}} \int_{b}^{\infty} x \psi_{1}(x) K_{1}(\rho,x) \,d_{q}x, $$
(3.26)
where
$$\begin{aligned}& K_{1}(\rho,x)= \int_{0}^{\infty}\frac{uw(u)}{1+w(u)} J_{\nu-\alpha } \bigl(ux;q^{2}\bigr) J_{\nu-\alpha}\bigl(u\rho;q^{2}\bigr) \,d_{q}u, \\& \tilde{F}_{1}(\rho)= F_{1}(\rho) -\frac{q^{-2\alpha^{2}-\alpha+\nu}}{(1-q)^{2}} \int_{0}^{a} x \psi _{2}(x) \int_{0}^{\infty} \frac{u}{1+w(u)}J_{\nu+\alpha} \bigl(ux;q^{2}\bigr) J_{\nu-\alpha}\bigl(u\rho;q^{2}\bigr) \,d_{q}u \,d_{q}x, \end{aligned}$$
and
$$\begin{aligned} F_{1}(\rho) =&\rho^{\nu-\alpha} \frac{q^{-2\alpha ^{2}-\alpha+\nu}(1+q)(1-q^{2})^{-\alpha}}{(1-q)^{2} \Gamma_{q^{2}}(\alpha )} \int_{\rho}^{\infty}x^{2\alpha-\nu-1}f_{3}(qx) \bigl(\rho^{2}/x^{2}; q^{2}\bigr)_{\alpha-1} \,d_{q}x \\ &{}-\frac{q^{-2\alpha^{2}-\alpha+\nu }}{(1-q)^{2}} \biggl[ \int_{a}^{\infty}x\Phi_{2}(x) \int_{0}^{\infty}\frac {u}{1+w(u)} J_{\nu+\alpha} \bigl(ux;q^{2}\bigr) J_{\nu-\alpha}\bigl(u\rho;q^{2}\bigr) \,d_{q}u \,d_{q}x \\ &{}+ \int_{0}^{b} x \Phi_{1}(x) \int_{0}^{\infty}\frac{uw(u)}{1+w(u)} J_{\nu -\alpha} \bigl(ux;q^{2}\bigr) J_{\nu-\alpha}\bigl(u\rho;q^{2}\bigr) \,d_{q}u \,d_{q}x \biggr]. \end{aligned}$$

Proof

Equation (3.11) can be written in the following form:
$$ \int_{0}^{\infty}u^{2\alpha}C_{1}(u) J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u= G( \rho),\quad \rho\in B_{q,b}, $$
(3.27)
where
$$\begin{aligned} G(\rho) =& f_{3} (\rho) - \int_{0}^{\infty}u^{2\alpha} C_{2}(u) \frac {1}{1+w(u)} J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u \\ &{}+ \int_{0}^{\infty}u^{2\alpha} C_{1}(u) \frac{w(u)}{1+w(u)}J_{\nu}\bigl(u\rho; q^{2}\bigr) \,d_{q} u. \end{aligned}$$
(3.28)
By using equations (2.3) and (3.27), we get
$$ G(\rho)= -(1-q) \rho^{\nu-1} q^{\nu-1} D_{q,\rho} \rho^{1-\nu} \int_{0}^{\infty}u^{2\alpha-1}C_{1}(u) J_{\nu-1} \bigl(u\rho q^{-1}; q^{2}\bigr) \,d_{q} u. $$
(3.29)
Substituting the value of \(C_{1}(u)\) from (3.14) into (3.29), we obtain
$$\begin{aligned}& D_{q,\rho} \rho^{1-\nu} \int_{0}^{\infty}u^{\alpha} \biggl[ \int_{0}^{b} x \Phi_{1}(x)J_{\nu-\alpha} \bigl(ux; q^{2}\bigr) \,d_{q}x + \int_{b}^{\infty}x \psi _{1}(x)J_{\nu-\alpha} \bigl(ux; q^{2}\bigr) \,d_{q}x \biggr] \\& \quad {}\times J_{\nu-1} \bigl(u\rho q^{-1}; q^{2} \bigr) \,d_{q} u = - \frac{\rho^{1-\nu}q^{1-\nu} G(\rho )}{(1-q)} , \quad \rho\in B_{q,b}. \end{aligned}$$
(3.30)
From (2.5), there exists \(M>0\) such that
$$\bigl\vert J_{\nu-\alpha}\bigl(ux;q^{2}\bigr)\bigr\vert \leq M(ux)^{\Re(\nu-\alpha )} \quad \mbox{for all } u,x \in\mathbb{R}_{q^{2},b,+}. $$
Hence, from Remark 3.2, the double q-integration is absolutely convergent and we can interchange the order of the q-integrations to obtain
$$\begin{aligned} G(\rho) =& - (1-q)\rho^{\nu-1}q^{\nu-1} \biggl[ \int_{0}^{b} x \Phi_{1}(x) \,d_{q}x + \int_{b}^{\infty}x \psi_{1}(x) \,d_{q}x \biggr] \\ & {}\times D_{q,\rho} \rho^{1-\nu} \int_{0}^{\infty}u^{\alpha} J_{\nu-1} \bigl(u\rho q^{-1}; q^{2}\bigr) J_{\nu-\alpha}\bigl(ux; q^{2}\bigr) \,d_{q} u,\quad \rho\in B_{q,b}. \end{aligned}$$
(3.31)
Therefore, applying Proposition 2.1 with \(\Re(\nu-\alpha) > \Re(\nu-1) > -1\) we obtain
$$ G(\rho)= \frac{-(1-q)^{2}(1-q^{2})^{\alpha}}{\Gamma_{q^{2}}(1-\alpha)} \rho^{\nu-1} D_{q,\rho} \int_{\rho}^{\infty}x^{1-\nu-\alpha} \psi_{1}(x) \bigl({\rho^{2}}/{x^{2}}; q^{2}\bigr)_{-\alpha} \,d_{q} x. $$
(3.32)
By using
$$ \int_{x}^{\infty}f(t) \,d_{q}t = \frac{1}{1+q} \int_{x^{2}}^{\infty}\frac {f(\sqrt{t})}{\sqrt{t}} \,d_{q^{2}}t,\qquad D_{q,\rho}\bigl(f\bigl(\rho^{2}\bigr) \bigr)= \rho(1+q) (D_{q^{2}}f ) \bigl(\rho^{2}\bigr), $$
(3.33)
we obtain
$$\begin{aligned} G(\rho)&= \frac{-(1-q)^{2}(1-q^{2})^{\alpha}}{\Gamma _{q^{2}}(1-\alpha)} \rho^{\nu} D_{q^{2},\rho^{2}} \int_{\rho^{2}}^{\infty}x^{\frac{-(\nu+\alpha)}{2}} \psi_{1}( \sqrt{x}) \bigl({\rho^{2}}/{x}; q^{2}\bigr)_{-\alpha} \, d_{q^{2}} x \\ &=-(1-q)^{2} \bigl(1-q^{2}\bigr)^{\alpha}q^{\alpha^{2}-2\alpha-\nu} \rho^{\nu } \bigl(D_{q^{2} } \mathcal{K}_{q^{2}}^{1-\alpha} \bigl((\cdot)^{-\frac{\nu+\alpha }{2}}\psi_{1}(\cdot) \bigr) \bigr) \bigl( \rho^{2}/q^{2}\bigr). \end{aligned}$$
Replacing ρ by yields
$$\begin{aligned}& -{q^{-\alpha^{2}+\alpha}\bigl(1-q^{2}\bigr)^{-\alpha}} {(1-q)^{-2}} \bigl[(\cdot )^{-\nu/2} G(q\sqrt{\cdot}) \bigr] \bigl(\rho^{2}\bigr) \\& \quad = D_{q^{2},\rho ^{2}}\mathcal{K}_{q^{2}}^{1-\alpha} \bigl[( \sqrt{\cdot})^{(\alpha-\nu )}\psi_{1}(\sqrt{\cdot}) \bigr]\bigl( \rho^{2}\bigr). \end{aligned}$$
(3.34)
Thus, applying Proposition 3.3 yields
$$\begin{aligned} \rho^{\alpha-\nu}\psi_{1}(\rho) =& q^{-\alpha ^{2}}(1-q)^{-2} \bigl(1-q^{2}\bigr)^{-\alpha}\mathcal{K}_{q^{2}}^{\alpha} \bigl[(\cdot)^{-\nu/2}G(q\sqrt{\cdot}) \bigr]\bigl(\rho^{2}/q^{2} \bigr) \\ =&\frac{q^{-2\alpha^{2}-\alpha+\nu}(1-q^{2})^{-\alpha }(1-q)^{-2}}{\Gamma_{q^{2}}(\alpha)} \int_{\rho^{2}}^{\infty}x^{-\frac {\nu}{2}+\alpha-1} G(q\sqrt{x}) \bigl({\rho^{2}}/{ x}; q^{2}\bigr)_{\alpha-1 } \, d_{q^{2}} x. \end{aligned}$$
Using \(\int_{x^{2}}^{\infty}f(t) \,d_{q^{2}}t=(1+q)\int_{x}^{\infty }tf(t^{2}) \,d_{q}t\), we obtain
$$\rho^{\alpha-\nu}\psi_{1}(\rho) =\frac{q^{-2\alpha^{2}-\alpha+\nu }(1-q^{2})^{-\alpha}(1+q)}{(1-q)^{2}\Gamma_{q^{2}}(\alpha)} \int_{\rho }^{\infty}x^{2\alpha-\nu-1} G(qx) \bigl({ \rho^{2}}/{ x^{2}}; q^{2}\bigr)_{\alpha- 1}\, d_{q} x. $$
From (3.28), we can write the last equation in the following form:
$$\begin{aligned}& \psi_{1}(\rho)+ \rho^{\nu-\alpha} \frac{q^{-2\alpha^{2}-\alpha+\nu }(1-q^{2})^{-\alpha}(1+q)}{(1-q)^{2}\Gamma_{q^{2}}(\alpha)} \int_{\rho}^{\infty} x^{2\alpha-\nu-1} \bigl( \rho^{2}/x^{2}; q^{2}\bigr)_{\alpha -1} \\& \qquad {}\times \biggl[ \int_{0}^{\infty}\frac{u^{2\alpha}}{1+w(u)}C_{2}(u) J_{\nu}\bigl(qux; q^{2}\bigr) \,d_{q} u \\& \qquad {}- \int_{0}^{\infty}\frac{ w(u)}{1+w(u)}u^{2\alpha} C_{1}(u) J_{\nu}\bigl(qux; q^{2}\bigr) \,d_{q} u \biggr] \,d_{q} x \\& \quad =\rho^{\nu-\alpha} \frac{q^{-2\alpha^{2}-\alpha+ \nu}(1-q^{2})^{-\alpha}(1+q)}{(1-q)^{2} \Gamma_{q^{2}}(\alpha)} \\& \qquad {}\times\int _{\rho}^{\infty}x^{2\alpha-\nu-1} f_{3}(qx) \bigl({\rho^{2}}/{x^{2}}; q^{2}\bigr)_{\alpha-1} \,d_{q}x,\quad \rho\in B_{q,b}. \end{aligned}$$
(3.35)
From the condition on the function \(C_{2}\), we can prove that the double q-integration
$$ \int_{\rho}^{\infty} x^{2\alpha-\nu-1} \bigl( \rho^{2}/x^{2}; q^{2}\bigr)_{\alpha -1} \int_{0}^{\infty}C_{2}(u)\frac{u^{2\alpha}}{1+w(u)} J_{\nu}\bigl(qux; q^{2}\bigr) \,d_{q} u \,d_{q}x $$
is absolutely convergent. Therefore, we can interchange the order of the q-integrations and use Proposition 2.2 to obtain
$$\begin{aligned}& \psi_{1}(\rho)+ \frac{q^{-2\alpha^{2}-\alpha+\nu}}{(1-q)^{2}} \biggl[ \int_{0}^{\infty}\frac{u^{\alpha}}{1+w(u)}C_{2}(u) J_{\nu-\alpha } \bigl(u\rho; q^{2}\bigr) \,d_{q} u \\& \qquad {}- \int_{0}^{\infty}\frac{u^{\alpha} w(u)}{1+w(u)} C_{1}(u) J_{\nu-\alpha} \bigl(u\rho; q^{2}\bigr) \,d_{q} u \biggr] \\& \quad =\rho^{\nu-\alpha} \frac{q^{-2\alpha^{2}-\alpha+\nu }(1-q^{2})^{-\alpha}(1+q)}{(1-q)^{2} \Gamma_{q^{2}}(\alpha)} \\& \qquad {}\times\int_{\rho }^{\infty}x^{2\alpha-\nu-1} f_{3}(qx) \bigl({\rho^{2}}/{x^{2}}; q^{2}\bigr)_{\alpha-1} \,d_{q}x,\quad \rho\in B_{q,b}. \end{aligned}$$
(3.36)
Substituting the value of \(C_{1}(u)\) and \(C_{2}(u)\) from equations (3.15) and (3.14) into equation (3.36), and then interchanging the order of the q-integrations we get
$$\begin{aligned}& \psi_{1}(\rho)+ \frac{q^{\nu-4\alpha}}{(1-q)^{2}} \biggl[ \int_{0}^{a} x \psi_{2}(x) \int_{0}^{\infty} \frac {u}{1+w(u)}J_{\nu+\alpha} \bigl(ux;q^{2}\bigr) J_{\nu-\alpha}\bigl(u\rho;q^{2}\bigr) \,d_{q}u \,d_{q}x \\& \qquad {}- \int_{b}^{\infty}x\psi_{1}(x) \int_{0}^{\infty} \frac{u w(u)}{1+w(u)} J_{\nu-\alpha} \bigl(ux;q^{2}\bigr) J_{\nu-\alpha}\bigl(u\rho;q^{2}\bigr) \,d_{q}u \,d_{q}x \biggr] \\& \quad = F_{1}(\rho),\quad \rho\in B_{q,b}, \end{aligned}$$
(3.37)
where
$$\begin{aligned} F_{1}(\rho) =&\rho^{\nu+\alpha} \frac{q^{\nu-4\alpha }(1+q)(1-q^{2})^{-\alpha}}{(1-q)^{2} \Gamma_{q^{2}}(\alpha)} \int_{\rho }^{\infty}x^{2\alpha-\nu-1}f_{3}(qx) \bigl(\rho^{2}/x^{2}; q^{2}\bigr)_{\alpha-1} \,d_{q}x \\ &{}-\frac{q^{\nu-4\alpha}}{(1-q)^{2}} \biggl[ \int_{a}^{\infty}x\Phi _{2}(x) \int_{0}^{\infty}\frac{u}{1+w(u)} J_{\nu+\alpha} \bigl(ux;q^{2}\bigr) J_{\nu -\alpha}\bigl(u\rho;q^{2}\bigr) \,d_{q}u \,d_{q}x \\ &{}+ \int_{0}^{b} x \Phi_{1}(x) \int_{0}^{\infty}\frac{uw(u)}{1+w(u)} J_{\nu -\alpha} \bigl(ux;q^{2}\bigr) J_{\nu-\alpha}\bigl(u\rho;q^{2}\bigr) \,d_{q}u \,d_{q}x \biggr]. \end{aligned}$$
Equation (3.37) is nothing else but the Fredholm q-integral equation of the second kind (3.26). This completes the proof. □

Proposition 3.4

For \(\rho\in A_{q,a}\), \(\psi_{2}(\rho)\) satisfies the Fredholm q-integral equation of the form
$$ \psi_{2}(\rho)=\tilde{F}_{2}(\rho)+ \frac{1}{(1-q)^{2}} \int_{0}^{a} x K_{2}(\rho,x) \psi_{2}(x) \,d_{q}x, $$
(3.38)
where
$$\begin{aligned}& K_{2}(\rho,x)= \int_{0}^{\infty}\frac{uw(u)}{1+w(u)} J_{\nu+\alpha} \bigl(ux; q^{2}\bigr) J_{\nu +\alpha} \bigl(u\rho; q^{2} \bigr) \,d_{q}u, \\& \tilde{F}_{2}(\rho)=F_{2}(\rho) - \frac{1}{(1-q)^{2}} \int_{b}^{\infty}x\psi_{1}(x) \int_{0}^{\infty }\frac{u}{1+w(u)} J_{\nu-\alpha} \bigl(ux;q^{2}\bigr)J_{\nu+\alpha}\bigl(u\rho;q^{2}\bigr) \,d_{q}u \,d_{q}x, \end{aligned}$$
and
$$\begin{aligned} F_{2}(\rho) =& \frac{(1-q^{2})^{-\alpha}(1+q) \rho^{\alpha-\nu -2}}{(1-q)^{2}\Gamma_{q^{2}}(\alpha)} \int_{0}^{\rho} \bigl({q^{2}x^{2}}/{ \rho ^{2}}; q^{2}\bigr)_{\alpha-1} x^{\nu+1}f_{1}(x) \,d_{q}x \\ &{}+\frac{1}{(1-q)^{2}} \int_{a}^{\infty}x \Phi_{2}(x) \int_{0}^{\infty}\frac{uw(u)}{1+w(u)} J_{\nu+\alpha} \bigl(ux; q^{2}\bigr) J_{\nu+\alpha} \bigl(u\rho; q^{2} \bigr) \,d_{q}u \,d_{q}x \\ &{}-\frac{1}{(1-q)^{2}} \int_{0}^{b} x \Phi_{1}(x) \int_{0}^{\infty}\frac {u}{1+w(u)}J_{\nu-\alpha} \bigl(ux; q^{2}\bigr) J_{\nu+\alpha} \bigl(u\rho; q^{2} \bigr) \,d_{q}u \,d_{q}x. \end{aligned}$$

Proof

The proof is similar to the proof of Proposition 3.3 and is omitted. □

Theorem 3.5

The solution of (3.1)-(3.2) is given by
$$\psi(u) =\frac{u^{2\alpha}}{1+w(u)} \bigl(C_{1}(u)+C_{2}(u) \bigr). $$
The functions \(C_{1}\), \(C_{2}\), \(\phi_{1}\), and \(\phi_{2}\) are given by Proposition  3.1, and \(\psi_{1}\), \(\psi_{2}\) satisfies the Fredholm q-integral equations (3.38) and (3.26) of second kind.

Example 1

1. Take \(b=aq^{-m}\) and assume that \(m\to\infty\). If we assume that \(f_{1}=f\), \(f_{2}=f\), and \(w=0\). Then the system (3.1)-(3.3) is reduced to the dual q-integral equations
$$\begin{aligned}& \int_{0}^{\infty}\psi(u)J_{\nu}\bigl(u \rho;q^{2}\bigr) \,d_{q}u=f(\rho),\quad \rho\in A_{q,a}, \end{aligned}$$
(3.39)
$$\begin{aligned}& \int_{0}^{\infty}u^{-2\alpha}\psi(u)J_{\nu} \bigl(u\rho;q^{2}\bigr) \,d_{q}u=0, \quad \rho\in B_{q,a}. \end{aligned}$$
(3.40)
Hence, from Theorem 3.5,
$$\begin{aligned}& \psi(u)=u^{1+\alpha} \int_{0}^{\infty}x\psi_{2}(x)J_{\nu+\alpha } \bigl(ux;q^{2}\bigr) \,d_{q}x,\quad u\in \mathbb{R}_{q,+}, \\& \psi_{2}(\rho)=\frac{(1-q^{2})^{-\alpha}(1+q)\rho ^{\alpha-\nu-2}}{(1-q)^{2}\Gamma_{q^{2}}(\alpha)} \int_{0}^{\rho}\bigl(q^{2} x^{2}/\rho^{2};q^{2}\bigr)_{\alpha-1}x^{\nu+1}f(x) \,d_{q}x \\& \hphantom{\psi_{2}(\rho)}=\rho^{-\alpha-\nu}\frac{(1-q^{2})^{-\alpha }}{(1-q)^{2}}I_{q^{2}}^{\alpha} \bigl(t^{\nu/2}f(\sqrt{t}) \bigr) \bigl(\rho^{2}\bigr). \end{aligned}$$
Hence,
$$\psi(u)=u^{1+\alpha}\frac{(1-q^{2})^{-\alpha}}{(1-q^{2})} \int _{0}^{\infty}x^{1-\alpha-\nu}I_{q^{2}}^{\alpha} \bigl(t^{\nu /2}f(\sqrt{t}) \bigr) \bigl(x^{2} \bigr)J_{\nu+ \alpha}\bigl(ux;q^{2}\bigr) \,d_{q}x. $$
This coincides with the result in [15], Theorem 4.1, for solutions of double q-integral equations.
2. Let \(a=q^{m}\) and assume that \(m\to\infty\). If we assume that \(f_{2}=0\), and \(f_{3}=f\), we obtain the dual q-integral system of equations
$$\begin{aligned}& \int_{0}^{\infty}u^{-2\alpha}\psi(u)J_{\nu} \bigl(u\rho;q^{2}\bigr) \,d_{q}u=0,\quad \rho\in A_{q,b}, \end{aligned}$$
(3.41)
$$\begin{aligned}& \int_{0}^{\infty}\psi(u)J_{\nu}\bigl(u \rho;q^{2}\bigr) \,d_{q}u=f,\quad \rho\in B_{q,b}. \end{aligned}$$
(3.42)
Hence, from Theorem 3.5,
$$\begin{aligned}& \psi(u)=u^{1+\alpha} \int_{b}^{\infty}x\psi_{1}(x)J_{\nu-\alpha } \bigl(ux;q^{2}\bigr) \,d_{q}x, \quad u\in \mathbb{R}_{q,+}, \\& \psi_{1}(\rho)=-\frac{(1-q^{2})^{-\alpha}q^{-2\alpha}\rho^{\alpha +\nu}}{(1-q)^{2}\Gamma_{q^{2}}(\alpha)} \int_{\rho}^{\infty}\bigl(\rho^{2}/ x^{2};q^{2}\bigr)_{\alpha-1}x^{2\alpha-\nu-1}f(x) \,d_{q}x. \end{aligned}$$
This is a special case of Theorem 5.1 in [15].

Example 2

We consider the triple q-integral equations
$$\begin{aligned}& \int_{0}^{\infty}\psi(u)J_{0}\bigl(u \rho;q^{2}\bigr) \,d_{q}u = 0,\quad \rho\in A_{q,a}, \end{aligned}$$
(3.43)
$$\begin{aligned}& \int_{0}^{\infty}u^{-1}\psi(u)J_{0} \bigl(u\rho;q^{2}\bigr) \,d_{q}u = 1,\quad \rho \in A_{q,b}\cap B_{q,a}, \end{aligned}$$
(3.44)
$$\begin{aligned}& \int_{0}^{\infty}\psi(u)J_{0}\bigl(u \rho;q^{2}\bigr) \,d_{q}u = 0,\quad \rho\in B_{q,b}. \end{aligned}$$
(3.45)
Hence, we have \(\nu=0\), \(g_{1}=1\), \(g_{2}=0\), \(f_{1}=f_{3}=0\), \(w=0\), and \(\alpha=\frac{1}{2}\).
From Theorem 3.5,
$$\psi(u)=u \bigl(C_{1}(u)+C_{2}(u) \bigr), $$
where
$$\begin{aligned}& C_{1}(u)=\frac{(1-q)(1-q^{2})}{\Gamma_{q^{2}}^{2}({1}/{2})}\frac{\sin (\frac{bu}{1-q};q)}{u} \\& \hphantom{C_{1}(u)={}}{}+\frac{\sqrt{1-q^{2}}}{\Gamma_{q^{2}}(1/2)} \int _{b}^{\infty}\sqrt{x}\psi_{1}(x)\cos \biggl(\frac{xu\sqrt{q}}{1-q};q^{2}\biggr) \,d_{q}x, \\& C_{2}(u)=\frac{\sqrt{1-q^{2}}}{\Gamma_{q^{2}}(1/2)} \int_{0}^{a}\sqrt {x}\psi_{2}(x)\sin \biggl(\frac{xu}{1-q};q^{2}\biggr) \,d_{q}x, \\& \psi_{1}(\rho)=\frac{\sqrt{\rho }(1+q)}{q(1-q)\Gamma_{q^{2}}^{2}(1/2)} \int_{0}^{a}x^{3/2}\frac{\psi _{2}(x)}{q\rho^{2}-x^{2}} \,d_{q}x,\quad \rho\in B_{q,b}, \end{aligned}$$
(3.46)
$$\begin{aligned}& \psi_{2}(\rho)=-\frac{(1+q)\sqrt{\rho }}{(1-q)\Gamma_{q^{2}}^{2}(1/2)} \int_{b}^{\infty}\frac{\sqrt{x}\psi _{1}(x)}{qx^{2}-\rho^{2}} \,d_{q}x \\& \hphantom{\psi_{2}(\rho)={}}{}+ \frac{(1+q)^{3/2}}{\sqrt{1-q}\Gamma_{q^{2}}^{3}(1/2)}\sqrt{\rho } \int_{\rho/q}^{b}\frac{\,d_{q}x}{qx^{2}-\rho^{2}}. \end{aligned}$$
(3.47)
We used [19], pp.455-466 or Proposition 2.4 of [15] to calculate \(\psi_{1}\) and \(\psi_{2}\) in equations (3.46) and (3.47), respectively. Substituting from (3.46) into (3.47), we obtain the second order Fredholm q-integral equation
$$\begin{aligned} \psi_{2}(\rho) =&-\frac{q^{-1}\sqrt{\rho}(1+q)}{(1-q)^{2}\Gamma _{q^{2}}^{3}(1/2)} \int_{0}^{a}t^{3/2}\psi_{2}(t)K_{2}( \rho,t) \,d_{q}t \\ &{}+ \frac{(1+q)^{3/2}}{\sqrt{1-q}\Gamma_{q^{2}}^{3}(1/2)}\sqrt{\rho } \int_{\rho/q}^{b}\frac{d_{q}x}{qx^{2}-\rho^{2}}, \end{aligned}$$
(3.48)
where \(\rho\in A_{q,a}\) and
$$K_{2}(\rho,t)= \int_{b}^{\infty}\frac{x}{(t^{2}-qx^{2})(\rho^{2}- q x^{2})} \,d_{q}t. $$

4 Solving system of triple \(q^{2}\)-integral equations by using solutions of dual q-integral equations

In [2], Cooke solved certain triple integral equations involving Bessel functions by using a result for Noble [29] for solutions for dual integral equations with Bessel functions as kernel. In this section, we use the result, Theorem A, introduced in [15] to solve the following triple q-integral equations:
$$\begin{aligned}& \xi^{-\gamma} \int_{0}^{\infty}\rho^{-\gamma} \psi(\rho) J_{\kappa}\bigl(\sqrt{\rho\xi}; q^{2}\bigr) \,d_{q^{2}} \rho= f (\xi), \quad \xi\in A_{q^{2}}, \end{aligned}$$
(4.1)
$$\begin{aligned}& \xi^{-\alpha} \int_{0}^{\infty}\rho^{-\alpha} \psi(\rho) J_{\mu}\bigl(\sqrt{\rho\xi}; q^{2}\bigr) \,d_{q^{2}} \rho= g (\xi), \quad \xi\in A_{q^{2}}\cap B_{q^{2}}, \end{aligned}$$
(4.2)
$$\begin{aligned}& \xi^{-\beta} \int_{0}^{\infty}\rho^{-\beta} \psi(\rho) J_{\nu}\bigl(\sqrt{\rho\xi}; q^{2}\bigr) \,d_{q^{2}} \rho= h (\xi), \quad \xi\in B_{q^{2}}, \end{aligned}$$
(4.3)
where a, α, β, γ, μ, ν, and κ are complex numbers such that
$$\Re(\nu) > -1, \qquad \Re(\mu)>-1,\qquad \Re(\kappa)>-1,\quad \mbox{and}\quad 0< a< 1, $$
the functions \(f (\rho)\), \(g (\rho)\), and \(h (\rho)\) are known functions, and \(\psi(u)\) is the solution function to be determined.

The following is a result from [15] that we shall use to solve the system (4.1)-(4.3).

Theorem A

Let α, β, μ, and ν be complex numbers and let \(\lambda:=\frac{1}{2}(\mu+\nu)-(\alpha-\beta)> -1\). Assume that
$$\Re(\nu)> -1,\qquad \Re(\mu)> -1,\qquad \Re(\lambda)> -1,\quad \textit{and} \quad \Re (\lambda-\mu-2\alpha)>0. $$
Let \(f\in L_{q^{2},\frac{\mu}{2}+\alpha}(A_{q^{2}})\) and \(g\in L_{q^{2},\frac{-\mu}{2}+\alpha-1 }(B_{q^{2}})\). Then the dual \(q^{2}\)-integral equations
$$\begin{aligned}& \xi^{-\alpha} \int_{0}^{\infty}\rho^{-\alpha} \psi(\rho) J_{\mu}\bigl(\sqrt{\rho\xi}; q^{2}\bigr) \,d_{q^{2}} \rho= f(\xi), \quad \xi\in A_{q^{2}}, \end{aligned}$$
(4.4)
$$\begin{aligned}& \xi^{-\beta} \int_{0}^{\infty}\rho^{-\beta} \psi(\rho) J_{\nu}\bigl(\sqrt{\rho\xi}; q^{2}\bigr) \,d_{q^{2}} \rho= g(\xi), \quad \xi\in B_{q^{2}}, \end{aligned}$$
(4.5)
has a solution of the form
$$\begin{aligned} \psi(\xi) =& \bigl(1-q^{2}\bigr)^{\lambda-\nu+2\alpha-2}\xi^{\lambda/2-\mu /2+\alpha} \int_{0}^{1} J_{\lambda} \bigl(\sqrt{\rho \xi}; q^{2}\bigr) I^{\mu /2+\alpha,\lambda-\mu}_{q^{2}}f(\rho) \,d_{q^{2}}\rho \\ &{}+\bigl(1-q^{2}\bigr)^{\lambda-\nu-2}\xi^{\lambda/2-\mu/2+\alpha} \int _{1}^{\infty}J_{\lambda} \bigl(\sqrt{\rho \xi}; q^{2}\bigr) \mathcal{K}^{\lambda /2-\nu/2-\beta,\nu-\lambda}_{q^{2}}g(\rho) \,d_{q^{2}}\rho, \end{aligned}$$
in \(L_{q^{2},\frac{\mu}{2}-\alpha}(\mathbb{R}_{q^{2},+})\cap L_{q^{2},\frac{\nu}{2}-\beta}(\mathbb{R}_{q^{2},+})\cap L_{q^{2},\frac {\nu}{2}-\beta-\gamma}(\mathbb{R}_{q^{2},+}) \), for γ satisfying
$$1+\Re(\nu)>\Re(\gamma)> \max\bigl\{ 0, \Re(\nu-\lambda)\bigr\} . $$
Now we shall solve the system of triple \(q^{2}\)-integral equations (4.1)-(4.3). Since the function \(g(\rho)\) is only defined in \(A_{q^{2}}\cap B_{q^{2}}\), we can write
$$g(\xi)=g_{1}(\xi)+g_{2}(\xi), $$
\(g_{1}\) and \(g_{2}\) defined in \(A_{q^{2}}\) and \(B_{q^{2}}\), respectively. So, we may assume that
$$\psi= A_{1}+A_{2}, $$
and we solve the equations in the form
$$\begin{aligned}& \xi^{-\gamma} \int_{0}^{\infty}\rho^{-\gamma} \bigl[A_{1}(\rho)+A_{2}(\rho )\bigr] J_{\kappa}\bigl( \sqrt{\rho\xi}; q^{2}\bigr) \,d_{q^{2}}\rho= f (\xi), \quad \xi \in A_{q^{2}}, \end{aligned}$$
(4.6)
$$\begin{aligned}& \xi^{-\alpha} \int_{0}^{\infty}\rho^{-\alpha} A_{1}( \rho) J_{\mu}\bigl(\sqrt{\rho\xi}; q^{2}\bigr) \,d_{q^{2}}\rho= g_{1} (\xi), \quad \xi\in A_{q^{2}}, \end{aligned}$$
(4.7)
$$\begin{aligned}& \xi^{-\alpha} \int_{0}^{\infty}\rho^{-\alpha} A_{2}( \rho) J_{\mu}\bigl(\sqrt{\rho\xi}; q^{2}\bigr) \,d_{q^{2}}\rho= g_{2}(\xi), \quad \xi\in B_{q^{2}}, \end{aligned}$$
(4.8)
$$\begin{aligned}& \xi^{-\beta} \int_{0}^{\infty}\rho^{-\beta} \bigl[A_{1}(\rho)+A_{2}(\rho)\bigr] J_{\nu}\bigl( \sqrt{\rho\xi}; q^{2}\bigr) \,d_{q^{2}}\rho= h (\xi), \quad \xi \in B_{q^{2}}. \end{aligned}$$
(4.9)
We rewrite the equations as two pairs of dual q-integral equations, namely
$$\begin{aligned}& \left \{ \textstyle\begin{array}{l} \xi^{-\alpha} \int_{0}^{\infty}\rho^{-\alpha} A_{1}(\rho) J_{\mu}(\sqrt{\rho\xi}; q^{2}) \,d_{q^{2}}\rho= g_{1} (\xi), \quad \xi\in A_{q^{2}}, \\ \xi^{-\beta} \int_{0}^{\infty}\rho^{-\beta} A_{1}(\rho) J_{\nu}(\sqrt{\rho\xi}; q^{2}) \,d_{q^{2}}\rho = h (\xi)- f_{2}(\xi) ,\quad \xi\in B_{q^{2}}, \end{array}\displaystyle \right . \end{aligned}$$
(4.10)
$$\begin{aligned}& \left \{ \textstyle\begin{array}{l} \xi^{-\alpha} \int_{0}^{\infty}\rho^{-\alpha} A_{2}(\rho) J_{\mu}(\sqrt{\rho\xi}; q^{2}) \,d_{q^{2}}\rho= g_{2}(\xi), \quad \xi\in B_{q^{2}}, \\ \xi^{-\gamma} \int_{0}^{\infty}\rho^{-\gamma} A_{2}(\rho ) J_{\kappa}(\sqrt{\rho\xi}; q^{2}) \,d_{q^{2}}\rho= f (\xi)- f_{1}(\xi),\quad \xi\in A_{q^{2}}, \end{array}\displaystyle \right . \end{aligned}$$
(4.11)
where
$$\begin{aligned}& \xi^{-\gamma} \int_{0}^{\infty}\rho^{-\gamma} A_{1}( \rho) J_{\kappa}\bigl(\sqrt{\rho\xi}; q^{2}\bigr) \,d_{q^{2}}\rho =f_{1}(\xi), \quad \xi\in A_{q^{2}}, \\& \xi^{-\beta} \int_{0}^{\infty}\rho^{-\beta} A_{2}(\rho) J_{\nu}\bigl(\sqrt {\rho\xi}; q^{2} \bigr) \,d_{q^{2}}\rho =f_{2}(\xi), \quad \xi\in B_{q^{2}}. \end{aligned}$$
Then we can solve the first and second pairs by Theorem A. For the first pairs
$$\begin{aligned} \begin{aligned} A_{1}(\xi)={}& \bigl(1-q^{2}\bigr)^{\lambda-\nu+2\alpha-2} \xi^{\lambda/2-\mu /2+\alpha} \int_{0}^{1} J_{\lambda} \bigl(\sqrt{\rho \xi}; q^{2}\bigr) I^{\mu /2+\alpha,\lambda-\mu}_{q^{2}} g_{1}( \rho) \,d_{q^{2}}\rho \\ &{}+ \bigl(1-q^{2}\bigr)^{\lambda-\nu-2}\xi^{\lambda/2-\mu/2+\alpha} \int _{1}^{\infty}J_{\lambda} \bigl(\sqrt{\rho \xi}; q^{2}\bigr) \mathcal{K}^{\lambda /2-\nu/2-\beta,\nu-\lambda}_{q^{2}}\bigl[h( \rho)-f_{2}(\rho)\bigr] \,d_{q^{2}}\rho, \end{aligned} \end{aligned}$$
where \(\lambda:=\frac{1}{2}(\mu+\nu)-(\alpha-\beta)> -1\).
The solution of the second pair has the form
$$\begin{aligned} A_{2}(\xi) =& \bigl(1-q^{2}\bigr)^{\lambda-\mu+2\gamma-2} \xi^{\lambda/2-\kappa /2+\gamma} \int_{0}^{a} J_{\lambda} \bigl(\sqrt{\rho \xi}; q^{2}\bigr) I^{\kappa /2+\gamma,\lambda-\kappa}_{q^{2}} \bigl[f( \rho)-f_{1}(\rho)\bigr] \,d_{q^{2}}\rho \\ &{}+ \bigl(1-q^{2}\bigr)^{\lambda-\mu-2}\xi^{\lambda/2-\kappa/2+\gamma} \int _{a}^{\infty}J_{\lambda} \bigl(\sqrt{\rho \xi}; q^{2}\bigr) \mathcal{K}^{\lambda /2-\mu/2-\alpha,\mu-\lambda}_{q^{2}} g_{2}(\rho)\,d_{q^{2}}\rho, \end{aligned}$$
where \(\lambda:=\frac{1}{2}(\mu+\kappa)-(\gamma-\alpha)> -1\).

Declarations

Acknowledgements

The authors very grateful to the reviewers and editors for their suggestions and comments which improved final version of this paper. This research is supported by the DSFP program of the King Saud University in Riyadh through grant DSFP/MATH 01.

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.

Authors’ Affiliations

(1)
Department of Mathematics, Faculty of Science, King Saud University
(2)
Department of Mathematics, Faculty of Science, Cairo University
(3)
Department of Natural and Engineering Science, Faculty of Applied Studies and Community Service, King Saud University

References

  1. Dwivedi, AP, Chandel, J, Bajpai, P: Triple integral equations involving inverse finite Mellin transforms. Ganita 52, 157-160 (2001) MathSciNetMATHGoogle Scholar
  2. Cooke, JS: Some further triple integral equation solutions. Proc. Edinb. Math. Soc. (2) 13, 303-316 (1963) MathSciNetView ArticleMATHGoogle Scholar
  3. Cooke, JS: Triple integral equations. Q. J. Mech. Appl. Math. 16, 193-203 (1963) MathSciNetView ArticleMATHGoogle Scholar
  4. Cooke, JS: The solution of triple integral equations in operational form. Q. J. Mech. Appl. Math. 18, 57-72 (1965) MathSciNetView ArticleMATHGoogle Scholar
  5. Cooke, JS: The solution of triple and quadruple integral equations and Fourier-Bessel series. Q. J. Mech. Appl. Math. 25, 247-262 (1972) MathSciNetView ArticleMATHGoogle Scholar
  6. Lowndes, JS, Srivastava, HM: Some triple series and triple integral equations. J. Math. Anal. Appl. 150, 181-187 (1990) MathSciNetView ArticleMATHGoogle Scholar
  7. Singh, BM, Rokne, J, Dhaliwal, RS: The elementary solution of triple integral equations and the solution of triple series equations involving associated Legendre polynomials and their application. Integral Equ. Oper. Theory 51, 565-581 (2005) MathSciNetView ArticleMATHGoogle Scholar
  8. Tranter, CJ: Some triple integral equations. Proc. Glasgow Math. Assoc. 4, 200-203 (1960) MathSciNetView ArticleMATHGoogle Scholar
  9. Virchenko, NA, Romashchenko, VA: Some triple integral equations with associated Legendre functions. Vychisl. Prikl. Mat. 46, 13-18 (1982) (in Russian) MathSciNetMATHGoogle Scholar
  10. Srivastava, KN: On triple integral equations involving Bessel functions as kernel. J. Maulana Azad Coll. Tech. 21, 39-50 (1988) MATHGoogle Scholar
  11. Zlatina, IN: Application of dual integral equations to the problem of torsion of an elastic space, weakened by a conical crack of finite dimensions. J. Appl. Math. Mech. 36(6), 1062-1068 (1972) View ArticleMATHGoogle Scholar
  12. Zil’bergleit, AS, Zlatina, IN, Simkina, TY: High-frequency shear oscillations of a strip stamp on an elastic half-space. J. Appl. Math. Mech. 49(5), 647-650 (1985) View ArticleMATHGoogle Scholar
  13. Simonov, IV: On the integrable case of a Riemann-Hilbert boundary value problem for two functions and the solutions of certain mixed problems for a composite elastic plane. J. Appl. Math. Mech. 49(6), 725-732 (1985) MathSciNetView ArticleMATHGoogle Scholar
  14. Smetanin, BI: On an integral equation and its application to problems of thin detached inclusions in elastic bodies. J. Appl. Math. Mech. 49(5), 602-607 (1985) MathSciNetView ArticleMATHGoogle Scholar
  15. Ashour, OA, Ismail, MEH, Mansour, ZS: On certain dual q-integral equations. Pac. J. Math. 275(1), 63-102 (2015) MathSciNetView ArticleMATHGoogle Scholar
  16. Ashour, OA, Ismail, MEH, Mansour, ZS: Dual and triple sequences involving q-orthogonal polynomials. J. Differ. Equ. Appl. (2016). doi:https://doi.org/10.1080/10236198.2016.1167889 Google Scholar
  17. Gasper, G, Rahman, M: Basic Hypergeometric Series. Cambridge University Press, Cambridge (2004) View ArticleMATHGoogle Scholar
  18. Annaby, MH, Mansour, ZS: q-Fractional Calculus and Equations. Lecture Notes in Mathematics, vol. 2056. Springer, Berlin (2012) MATHGoogle Scholar
  19. Koornwinder, HT, Swarttouw, FR: On a q-analog of Fourier and Hankel transforms. Trans. Am. Math. Soc. 333, 445-461 (1992) MathSciNetMATHGoogle Scholar
  20. Ismail, ME: Classical and Quantum Orthogonal Polynomials in One Variable. Encyclopedia Math. Appl., vol. 98. Cambridge University Press, Cambridge (2005) View ArticleMATHGoogle Scholar
  21. Jackson, FH: The basic gamma function and elliptic functions. Proc. R. Soc. A 76, 127-144 (1905) View ArticleMATHGoogle Scholar
  22. Swarttouw, RF: The Hahn-Exton q-Bessel Function. PhD thesis, The Technical University of Delft (1992) Google Scholar
  23. Agrawal, OP: Some generalized fractional calculus operators and their applications in integral equations. Fract. Calc. Appl. Anal. 15(2), 700-711 (2012) MathSciNetMATHGoogle Scholar
  24. Peters, AS: Certain Dual Integral Equations and Sonine’s Integrals. IMM-NYU, vol. 285. Institute of Mathematical Sciences, New York University, New York (1961) Google Scholar
  25. Al-Salam, WA: Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 2(15), 135-140 (1966/1967) Google Scholar
  26. Agarwal, RP: Certain fractional q-integrals and q-derivatives. Proc. Camb. Philos. Soc. 66, 365-370 (1969) MathSciNetView ArticleMATHGoogle Scholar
  27. Erdélyi, A: On some functional transformations. Rend. Semin. Mat. Univ. Politec. Torino 10, 217-234 (1951) MathSciNetMATHGoogle Scholar
  28. Erdélyi, A, Sneddon, IN: Fractional integration and dual integral equations. Can. J. Math. 14(4), 685-693 (1962) MathSciNetView ArticleMATHGoogle Scholar
  29. Noble, B: Certain dual integral equations. J. Math. Phys. 37, 128-136 (1958) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Mansour and Al-Towailb 2016