bilateral basic hypergeometric function

SearchAdvancedHelp

(0.011 seconds)

6 matching pages

1: 17.1 Special Notation

§17.1 Special Notation

… ►The main functions treated in this chapter are the basic hypergeometric (or $q$-hypergeometric) function ${}_r{}^{}\varphi _s^{}(a_1,a_2,\mathrm{\dots },a_r;b_1,b_2,\mathrm{\dots },b_s;q,z)$, the bilateral basic hypergeometric (or bilateral $q$-hypergeometric) function ${}_r{}^{}\psi _s^{}(a_1,a_2,\mathrm{\dots },a_r;b_1,b_2,\mathrm{\dots },b_s;q,z)$, and the $q$-analogs of the Appell functions ${\mathrm{\Phi }}^{(1)}(a;b,b^{\prime };c;q;x,y)$, ${\mathrm{\Phi }}^{(2)}(a;b,b^{\prime };c,c^{\prime };q;x,y)$, ${\mathrm{\Phi }}^{(3)}(a,a^{\prime };b,b^{\prime };c;q;x,y)$, and ${\mathrm{\Phi }}^{(4)}(a,b;c,c^{\prime };q;x,y)$. …

2: 17.4 Basic Hypergeometric Functions

§17.4 Basic Hypergeometric Functions

… ►

17.4.3 $${}_r{}^{}\psi _s^{}(\genfrac{}{}{0pt}{}{a_1,a_2,\mathrm{\dots },a_r}{b_1,b_2,\mathrm{\dots },b_s};q,z)={}_r{}^{}\psi _s^{}(a_1,a_2,\mathrm{\dots },a_r;b_1,b_2,\mathrm{\dots },b_s;q,z)=\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}\frac{{(a_1,a_2,\mathrm{\dots },a_r;q)}_n{(-1)}^{(s-r)n}{q}^{(s-r)\left(\genfrac{}{}{0.0pt}{}{n}{2}\right)}{z}^n}{{(b_1,b_2,\mathrm{\dots },b_s;q)}_n}=\sum _{n=0}^{\mathrm{\infty }}\frac{{(a_1,a_2,\mathrm{\dots },a_r;q)}_n{(-1)}^{(s-r)n}{q}^{(s-r)\left(\genfrac{}{}{0.0pt}{}{n}{2}\right)}{z}^n}{{(b_1,b_2,\mathrm{\dots },b_s;q)}_n}+\sum _{n=1}^{\mathrm{\infty }}\frac{{(q/b_1,q/b_2,\mathrm{\dots },q/b_s;q)}_n}{{(q/a_1,q/a_2,\mathrm{\dots },q/a_r;q)}_n}{\left(\frac{b_1{b}_2\mathrm{\cdots }{b}_s}{a_1{a}_2\mathrm{\cdots }{a}_{r}z}\right)}^n.$$

ⓘ

Defines:

${}_r{}^{}\psi _s^{}(a_1,\mathrm{\dots },a_r;b_1,\mathrm{\dots },b_s;q,z)$ or ${}_r{}^{}\psi _s^{}(\genfrac{}{}{0pt}{}{a_1,\mathrm{\dots },a_r}{b_1,\mathrm{\dots },b_s};q,z)$: bilateral basic hypergeometric (or bilateral $q$-hypergeometric) function

Symbols:

$\left(\genfrac{}{}{0.0pt}{}{m}{n}\right)$: binomial coefficient, ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $q$: complex base, $n$: nonnegative integer, $r$: nonnegative integer, $s$: nonnegative integer and $z$: complex variable

Permalink:

http://dlmf.nist.gov/17.4.E3

Encodings:

pMML, png, TeX

See also:

Annotations for §17.4(ii), §17.4 and Ch.17

… ►

17.4.4 $$\underset{q\to 1-}{lim}{}_r{}^{}\psi _r^{}(\genfrac{}{}{0pt}{}{q^{a_1},q^{a_2},\mathrm{\dots },q^{a_r}}{q^{b_1},q^{b_2},\mathrm{\dots },q^{b_r}};q,z)={}_r{}^{}H_r^{}(\genfrac{}{}{0pt}{}{a_1,a_2,\mathrm{\dots },a_r}{b_1,b_2,\mathrm{\dots },b_r};z).$$

ⓘ

Symbols:

${}_p{}^{}H_q^{}(\genfrac{}{}{0pt}{}{a_1,\mathrm{\dots },a_p}{b_1,\mathrm{\dots },b_q};z)$: bilateral hypergeometric function, ${}_r{}^{}\psi _s^{}(a_1,\mathrm{\dots },a_r;b_1,\mathrm{\dots },b_s;q,z)$ or ${}_r{}^{}\psi _s^{}(\genfrac{}{}{0pt}{}{a_1,\mathrm{\dots },a_r}{b_1,\mathrm{\dots },b_s};q,z)$: bilateral basic hypergeometric (or bilateral $q$-hypergeometric) function, $q$: complex base, $r$: nonnegative integer and $z$: complex variable

Permalink:

http://dlmf.nist.gov/17.4.E4

Encodings:

pMML, png, TeX

See also:

Annotations for §17.4(ii), §17.4 and Ch.17

…

3: 17.8 Special Cases of ${}_r{}^{}\psi _r^{}$ Functions

… ►

17.8.2 $${}_1{}^{}\psi _1^{}(\genfrac{}{}{0pt}{}{a}{b};q,z)=\frac{{(q,b/a,az,q/(az);q)}_{\mathrm{\infty }}}{{(b,q/a,z,b/(az);q)}_{\mathrm{\infty }}}.$$

ⓘ

Symbols:

${}_r{}^{}\psi _s^{}(a_1,\mathrm{\dots },a_r;b_1,\mathrm{\dots },b_s;q,z)$ or ${}_r{}^{}\psi _s^{}(\genfrac{}{}{0pt}{}{a_1,\mathrm{\dots },a_r}{b_1,\mathrm{\dots },b_s};q,z)$: bilateral basic hypergeometric (or bilateral $q$-hypergeometric) function, ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $q$: complex base and $z$: complex variable

Permalink:

http://dlmf.nist.gov/17.8.E2

Encodings:

pMML, png, TeX

See also:

Annotations for §17.8, §17.8 and Ch.17

… ►

17.8.4 $${}_2{}^{}\psi _2^{}(b,c;aq/b,aq/c;q,-aq/(bc))=\frac{{(aq/(bc);q)}_{\mathrm{\infty }}{(a{q}^2/b^2,a{q}^2/c^2,q^2,aq,q/a;q^2)}_{\mathrm{\infty }}}{{(aq/b,aq/c,q/b,q/c,-aq/(bc);q)}_{\mathrm{\infty }}},$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${}_r{}^{}\psi _s^{}(a_1,\mathrm{\dots },a_r;b_1,\mathrm{\dots },b_s;q,z)$ or ${}_r{}^{}\psi _s^{}(\genfrac{}{}{0pt}{}{a_1,\mathrm{\dots },a_r}{b_1,\mathrm{\dots },b_s};q,z)$: bilateral basic hypergeometric (or bilateral $q$-hypergeometric) function, ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol and $q$: complex base

Permalink:

http://dlmf.nist.gov/17.8.E4

Encodings:

pMML, png, TeX

See also:

Annotations for §17.8, §17.8 and Ch.17

►

17.8.5 $${}_3{}^{}\psi _3^{}(\genfrac{}{}{0pt}{}{b,c,d}{q/b,q/c,q/d};q,\frac{q}{bcd})=\frac{{(q,q/(bc),q/(bd),q/(cd);q)}_{\mathrm{\infty }}}{{(q/b,q/c,q/d,q/(bcd);q)}_{\mathrm{\infty }}},$$

ⓘ

Symbols:

${}_r{}^{}\psi _s^{}(a_1,\mathrm{\dots },a_r;b_1,\mathrm{\dots },b_s;q,z)$ or ${}_r{}^{}\psi _s^{}(\genfrac{}{}{0pt}{}{a_1,\mathrm{\dots },a_r}{b_1,\mathrm{\dots },b_s};q,z)$: bilateral basic hypergeometric (or bilateral $q$-hypergeometric) function, ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol and $q$: complex base

Permalink:

http://dlmf.nist.gov/17.8.E5

Encodings:

pMML, png, TeX

See also:

Annotations for §17.8, §17.8 and Ch.17

►

17.8.6 $${}_4{}^{}\psi _4^{}(\genfrac{}{}{0pt}{}{-q{a}^{\frac{1}{2}},b,c,d}{-a^{\frac{1}{2}},aq/b,aq/c,aq/d};q,\frac{q{a}^{\frac{3}{2}}}{bcd})=\frac{{(aq,aq/(bc),aq/(bd),aq/(cd),q{a}^{\frac{1}{2}}/b,q{a}^{\frac{1}{2}}/c,q{a}^{\frac{1}{2}}/d,q,q/a;q)}_{\mathrm{\infty }}}{{(aq/b,aq/c,aq/d,q/b,q/c,q/d,q{a}^{\frac{1}{2}},q{a}^{-\frac{1}{2}},q{a}^{\frac{3}{2}}/(bcd);q)}_{\mathrm{\infty }}},$$

ⓘ

Symbols:

${}_r{}^{}\psi _s^{}(a_1,\mathrm{\dots },a_r;b_1,\mathrm{\dots },b_s;q,z)$ or ${}_r{}^{}\psi _s^{}(\genfrac{}{}{0pt}{}{a_1,\mathrm{\dots },a_r}{b_1,\mathrm{\dots },b_s};q,z)$: bilateral basic hypergeometric (or bilateral $q$-hypergeometric) function, ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol and $q$: complex base

Permalink:

http://dlmf.nist.gov/17.8.E6

Encodings:

pMML, png, TeX

See also:

Annotations for §17.8, §17.8 and Ch.17

►

17.8.7 $${}_6{}^{}\psi _6^{}(\genfrac{}{}{0pt}{}{q{a}^{\frac{1}{2}},-q{a}^{\frac{1}{2}},b,c,d,e}{a^{\frac{1}{2}},-a^{\frac{1}{2}},aq/b,aq/c,aq/d,aq/e};q,\frac{q{a}^2}{bcde})=\frac{{(aq,aq/(bc),aq/(bd),aq/(be),aq/(cd),aq/(ce),aq/(de),q,q/a;q)}_{\mathrm{\infty }}}{{(aq/b,aq/c,aq/d,aq/e,q/b,q/c,q/d,q/e,q{a}^2/(bcde);q)}_{\mathrm{\infty }}}.$$

ⓘ

Symbols:

${}_r{}^{}\psi _s^{}(a_1,\mathrm{\dots },a_r;b_1,\mathrm{\dots },b_s;q,z)$ or ${}_r{}^{}\psi _s^{}(\genfrac{}{}{0pt}{}{a_1,\mathrm{\dots },a_r}{b_1,\mathrm{\dots },b_s};q,z)$: bilateral basic hypergeometric (or bilateral $q$-hypergeometric) function, ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol and $q$: complex base

Permalink:

http://dlmf.nist.gov/17.8.E7

Encodings:

pMML, png, TeX

See also:

Annotations for §17.8, §17.8 and Ch.17

…

4: 17.10 Transformations of ${}_r{}^{}\psi _r^{}$ Functions

… ►

17.10.1 $${}_2{}^{}\psi _2^{}(\genfrac{}{}{0pt}{}{a,b}{c,d};q,z)=\frac{{(az,d/a,c/b,dq/(abz);q)}_{\mathrm{\infty }}}{{(z,d,q/b,cd/(abz);q)}_{\mathrm{\infty }}}{}_2{}^{}\psi _2^{}(\genfrac{}{}{0pt}{}{a,abz/d}{az,c};q,\frac{d}{a}),$$

ⓘ

Symbols:

${}_r{}^{}\psi _s^{}(a_1,\mathrm{\dots },a_r;b_1,\mathrm{\dots },b_s;q,z)$ or ${}_r{}^{}\psi _s^{}(\genfrac{}{}{0pt}{}{a_1,\mathrm{\dots },a_r}{b_1,\mathrm{\dots },b_s};q,z)$: bilateral basic hypergeometric (or bilateral $q$-hypergeometric) function, ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $q$: complex base and $z$: complex variable

Permalink:

http://dlmf.nist.gov/17.10.E1

Encodings:

pMML, png, TeX

See also:

Annotations for §17.10, §17.10 and Ch.17

►

17.10.2 $${}_2{}^{}\psi _2^{}(\genfrac{}{}{0pt}{}{a,b}{c,d};q,z)=\frac{{(az,bz,cq/(abz),dq/(abz);q)}_{\mathrm{\infty }}}{{(q/a,q/b,c,d;q)}_{\mathrm{\infty }}}{}_2{}^{}\psi _2^{}(\genfrac{}{}{0pt}{}{abz/c,abz/d}{az,bz};q,\frac{cd}{abz}).$$

ⓘ

Symbols:

${}_r{}^{}\psi _s^{}(a_1,\mathrm{\dots },a_r;b_1,\mathrm{\dots },b_s;q,z)$ or ${}_r{}^{}\psi _s^{}(\genfrac{}{}{0pt}{}{a_1,\mathrm{\dots },a_r}{b_1,\mathrm{\dots },b_s};q,z)$: bilateral basic hypergeometric (or bilateral $q$-hypergeometric) function, ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $q$: complex base and $z$: complex variable

Permalink:

http://dlmf.nist.gov/17.10.E2

Encodings:

pMML, png, TeX

See also:

Annotations for §17.10, §17.10 and Ch.17

… ►

17.10.3 $${}_8{}^{}\psi _8^{}(\genfrac{}{}{0pt}{}{q{a}^{\frac{1}{2}},-q{a}^{\frac{1}{2}},c,d,e,f,a{q}^{-n},q^{-n}}{a^{\frac{1}{2}},-a^{\frac{1}{2}},aq/c,aq/d,aq/e,aq/f,q^{n+1},a{q}^{n+1}};q,\frac{a^2{q}^{2n+2}}{cdef})=\frac{{(aq,q/a,aq/(cd),aq/(ef);q)}_n}{{(q/c,q/d,aq/e,aq/f;q)}_n}{}_4{}^{}\psi _4^{}(\genfrac{}{}{0pt}{}{e,f,a{q}^{n+1}/(cd),q^{-n}}{aq/c,aq/d,q^{n+1},ef/(a{q}^n)};q,q),$$

ⓘ

Symbols:

${}_r{}^{}\psi _s^{}(a_1,\mathrm{\dots },a_r;b_1,\mathrm{\dots },b_s;q,z)$ or ${}_r{}^{}\psi _s^{}(\genfrac{}{}{0pt}{}{a_1,\mathrm{\dots },a_r}{b_1,\mathrm{\dots },b_s};q,z)$: bilateral basic hypergeometric (or bilateral $q$-hypergeometric) function, ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $q$: complex base and $n$: nonnegative integer

Permalink:

http://dlmf.nist.gov/17.10.E3

Encodings:

pMML, png, TeX

See also:

Annotations for §17.10, §17.10 and Ch.17

►

17.10.4 $${}_2{}^{}\psi _2^{}(\genfrac{}{}{0pt}{}{e,f}{aq/c,aq/d};q,\frac{aq}{ef})=\frac{{(q/c,q/d,aq/e,aq/f;q)}_{\mathrm{\infty }}}{{(aq,q/a,aq/(cd),aq/(ef);q)}_{\mathrm{\infty }}}\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}\frac{(1-a{q}^{2n}){(c,d,e,f;q)}_n}{(1-a){(aq/c,aq/d,aq/e,aq/f;q)}_n}{\left(\frac{q{a}^3}{cdef}\right)}^n{q}^{n^2}.$$

ⓘ

Symbols:

${}_r{}^{}\psi _s^{}(a_1,\mathrm{\dots },a_r;b_1,\mathrm{\dots },b_s;q,z)$ or ${}_r{}^{}\psi _s^{}(\genfrac{}{}{0pt}{}{a_1,\mathrm{\dots },a_r}{b_1,\mathrm{\dots },b_s};q,z)$: bilateral basic hypergeometric (or bilateral $q$-hypergeometric) function, ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $q$: complex base and $n$: nonnegative integer

Permalink:

http://dlmf.nist.gov/17.10.E4

Encodings:

pMML, png, TeX

See also:

Annotations for §17.10, §17.10 and Ch.17

►

17.10.5 $$\frac{{(aq/b,aq/c,aq/d,aq/e,q/(ab),q/(ac),q/(ad),q/(ae);q)}_{\mathrm{\infty }}}{{(fa,ga,f/a,g/a,q{a}^2,q/a^2;q)}_{\mathrm{\infty }}}{}_8{}^{}\psi _8^{}(\genfrac{}{}{0pt}{}{qa,-qa,ba,ca,da,ea,fa,ga}{a,-a,aq/b,aq/c,aq/d,aq/e,aq/f,aq/g};q,\frac{q^2}{bcdefg})=\frac{{(q,q/(bf),q/(cf),q/(df),q/(ef),qf/b,qf/c,qf/d,qf/e;q)}_{\mathrm{\infty }}}{{(fa,q/(fa),aq/f,f/a,g/f,fg,q{f}^2;q)}_{\mathrm{\infty }}}{}_8{}^{}\varphi _7^{}(\genfrac{}{}{0pt}{}{f^2,qf,-qf,fb,fc,fd,fe,fg}{f,-f,fq/b,fq/c,fq/d,fq/e,fq/g};q,\frac{q^2}{bcdefg})+\mathrm{idem}(f;g).$$

ⓘ

Symbols:

$\mathrm{idem}({\chi }_1;{\chi }_2,\mathrm{\dots },{\chi }_n)$: $\mathrm{idem}$ function, ${}_{r+1}{}^{}\varphi _s^{}(a_0,\mathrm{\dots },a_r;b_1,\mathrm{\dots },b_s;q,z)$ or ${}_{r+1}{}^{}\varphi _s^{}(\genfrac{}{}{0pt}{}{a_0,\mathrm{\dots },a_r}{b_1,\mathrm{\dots },b_s};q,z)$: basic hypergeometric (or $q$-hypergeometric) function, ${}_r{}^{}\psi _s^{}(a_1,\mathrm{\dots },a_r;b_1,\mathrm{\dots },b_s;q,z)$ or ${}_r{}^{}\psi _s^{}(\genfrac{}{}{0pt}{}{a_1,\mathrm{\dots },a_r}{b_1,\mathrm{\dots },b_s};q,z)$: bilateral basic hypergeometric (or bilateral $q$-hypergeometric) function, ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol and $q$: complex base

Permalink:

http://dlmf.nist.gov/17.10.E5

Encodings:

pMML, png, TeX

See also:

Annotations for §17.10, §17.10 and Ch.17

…

5: 17.18 Methods of Computation

§17.18 Methods of Computation

►For computation of the $q$-exponential function see Gabutti and Allasia (2008). ►The two main methods for computing basic hypergeometric functions are: (1) numerical summation of the defining series given in §§17.4(i) and 17.4(ii); (2) modular transformations. …

6: 16.4 Argument Unity

… ► … ► … ►

§16.4(v) Bilateral Series

►Denote, formally, the bilateral hypergeometric function …