Difference between revisions of "Basic hypergeometric phi"

From specialfunctionswiki
Jump to: navigation, search
 
(14 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} \\
 
q^{b_1}, \ldots, q^{b_{\ell}}
 
\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">
 
<strong>Proof:</strong> █
 
</div>
 
</div>
 
  
<div class="toccolours mw-collapsible mw-collapsed">
+
=References=
<strong>Theorem:</strong> ($q$-Pfaff-Saalschütz) The following formula holds:
+
* {{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)$
$${}_3\phi_2(q^{-n},a,b;c,d;q,q) = \dfrac{\left(\frac{d}{a};q \right)_n \left( \frac{d}{b};q \right)_n}{\left(d;q \right)_n \left(\frac{d}{ab};q \right)_n},$$
 
with $cd=abq^{1-n}$.
 
<div class="mw-collapsible-content">
 
<strong>Proof:</strong> █
 
</div>
 
</div>
 
  
<div class="toccolours mw-collapsible mw-collapsed">
+
=See Also=
<strong>Theorem:</strong> ($q$-Chu-Vandermonde sum) The following formula holds:
+
[[Hypergeometric pFq]]<br />
$${}_2\phi_1(q^{-n},a;c;q,q) = \dfrac{\left( \frac{c}{a};q \right)_n}{(c;q)_n} a^n.$$
+
[[Basic hypergeometric series psi]]
<div class="mw-collapsible-content">
 
<strong>Proof:</strong>
 
</div>
 
</div>
 
  
<div class="toccolours mw-collapsible mw-collapsed">
+
[[Category:SpecialFunction]]
<strong>Theorem:</strong> ($q$-Gauss theorem) The following formula holds:
 
$${}_2\phi_1 \left( a,b;c;q,\dfrac{c}{ab} \right) = \dfrac{\left(\frac{c}{a};q \right)_{\infty} \left( \frac{c}{b};q \right)_{\infty}}{\left(c;q\right)_{\infty} \left(\frac{c}{ab};q \right)_{\infty}}; \left| \dfrac{c}{ab} \right|<1.$$
 
<div class="mw-collapsible-content">
 
<strong>Proof:</strong> █
 
</div>
 
</div>
 

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