Difference between revisions of "Basic hypergeometric phi"

From specialfunctionswiki
Jump to: navigation, search
 
(16 intermediate revisions by the same user not shown)
Line 1: Line 1:
The basic hypergeometric series ${}_j\phi{}_{\ell}$ is defined by
+
The basic hypergeometric series ${}_r\phi{}_s$ is defined by
$${}_j\phi_{\ell}(a_1,\ldots,a_j;b_1,\ldots,b_{\ell};q,z)={}_j \phi_{\ell} \left[ \begin{array}{llllll}
+
$${}_r \phi_s(a_1,a_2,\ldots,a_r; b_1,b_2,\ldots,b_s; z) = \displaystyle\sum_{k=0}^{\infty} \dfrac{(a_1;q)_k(a_2;q)_k \ldots (a_r;q)_k}{(b_1;q)_k (b_2;q)_k \ldots (b_s;q)_k} \dfrac{z^k}{(q;q)_k},$$
a_1 & a_2 & \ldots & a_j \\
+
where $(a_1;q)_k$ denotes the [[q-shifted factorial]].
    &    &        &    & ; q,z \\
 
b_1 & b_2 & \ldots & b_{\ell}
 
\end{array}\right]=\displaystyle\sum_{k=0}^{\infty} \dfrac{(a_1;q)_k \ldots (a_j;q)_k}{(b_1;q)_k \ldots (b_{\ell};q)_k} \left((-1)^kq^{k \choose 2} \right)^{1+\ell-j}z^k=\displaystyle\sum_{k=0}^{\infty} \dfrac{(a_1;q)_k \ldots (a_j;q)_k}{(b_1;q)_k \ldots (b_{\ell};q)_k} \left(-q^{\frac{k-1}{2}} \right)^{k(1+\ell-j)}z^k.$$
 
  
 
=Properties=
 
=Properties=
<div class="toccolours mw-collapsible mw-collapsed">
+
[[Exponential e in terms of basic hypergeometric phi]]<br />
<strong>Theorem:</strong> The following formula holds:
+
[[1Phi0(a;;z) as infinite product]]<br />
$$\displaystyle\lim_{q \rightarrow 1^-} {}_j \phi_{\ell} \left[ \begin{array}{l|l}
+
 
q^{a_1}, \ldots, q^{a_j} \\
+
=References=
q^{b_1}, \ldots, q^{b_{\ell}}
+
* {{BookReference|Higher Transcendental Functions Volume I|1953|Arthur Erdélyi|author2=Wilhelm Magnus|author3=Fritz Oberhettinger|author4=Francesco G. Tricomi|prev=q-shifted factorial|next=1Phi0(a;;z) as infinite product}}: $4.8 (3)$
\end{array} \Bigg| q,z(1-q)^{1+\ell-j} \right]={}_j F_{\ell}\left(a_1,\ldots,a_j;b_1,\ldots,b_{\ell};(-1)^{1+\ell-j}z \right)$$
+
 
<div class="mw-collapsible-content">
+
=See Also=
<strong>Proof:</strong>
+
[[Hypergeometric pFq]]<br />
</div>
+
[[Basic hypergeometric series psi]]
</div>
+
 
 +
[[Category:SpecialFunction]]

Latest revision as of 23:26, 3 March 2018

The basic hypergeometric series ${}_r\phi{}_s$ is defined by $${}_r \phi_s(a_1,a_2,\ldots,a_r; b_1,b_2,\ldots,b_s; z) = \displaystyle\sum_{k=0}^{\infty} \dfrac{(a_1;q)_k(a_2;q)_k \ldots (a_r;q)_k}{(b_1;q)_k (b_2;q)_k \ldots (b_s;q)_k} \dfrac{z^k}{(q;q)_k},$$ where $(a_1;q)_k$ denotes the q-shifted factorial.

Properties

Exponential e in terms of basic hypergeometric phi
1Phi0(a;;z) as infinite product

References

See Also

Hypergeometric pFq
Basic hypergeometric series psi