Pochhammer symbol

SearchAdvancedHelp

(0.008 seconds)

1—10 of 125 matching pages

1: 17.2 Calculus

… ►For $n=0,1,2,\mathrm{\dots }$, … … ►

17.2.6 $${(a_1,a_2,\mathrm{\dots },a_r;q)}_{\mathrm{\infty }}=\prod _{j=1}^r{(a_j;q)}_{\mathrm{\infty }}.$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $q$: complex base, $j$: nonnegative integer and $r$: nonnegative integer

Referenced by:

§17.2(i)

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.2(i), §17.2 and Ch.17

… ►

17.2.19 $${(a;q)}_{2n}={(a,aq;q^2)}_n,$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${(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.2.E19

Encodings:

pMML, png, TeX

See also:

Annotations for §17.2(i), §17.2 and Ch.17

… ►

17.2.20 $${(a;q)}_{kn}={(a,aq,\mathrm{\dots },a{q}^{k-1};q^k)}_n.$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $k$: nonnegative integer, $q$: complex base and $n$: nonnegative integer

Permalink:

http://dlmf.nist.gov/17.2.E20

Encodings:

pMML, png, TeX

See also:

Annotations for §17.2(i), §17.2 and Ch.17

…

2: 5.2 Definitions

… ►

§5.2(iii) Pochhammer’s Symbol

… ►

5.2.5 $${\left(a\right)}_n=\mathrm{\Gamma }\left(a+n\right)/\mathrm{\Gamma }\left(a\right),$$ $a\ne 0,-1,-2,\mathrm{\dots }$.

ⓘ

Symbols:

$\mathrm{\Gamma }\left(z\right)$: gamma function, ${\left(a\right)}_n$: Pochhammer’s symbol (or shifted factorial), $n$: nonnegative integer and $a$: real or complex variable

A&S Ref:

6.1.22

Referenced by:

(25.11.28), (25.5.7), (25.8.2)

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §5.2(iii), §5.2 and Ch.5

►

5.2.6 $${\left(-a\right)}_n={(-1)}^n{\left(a-n+1\right)}_n,$$

ⓘ

Symbols:

${\left(a\right)}_n$: Pochhammer’s symbol (or shifted factorial), $n$: nonnegative integer and $a$: real or complex variable

Referenced by:

§5.2(iii), Erratum (V1.0.17) for Subsection 5.2(iii)

Permalink:

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

Encodings:

pMML, png, TeX

Addition (effective with 1.0.17):

This equation was added.

See also:

Annotations for §5.2(iii), §5.2 and Ch.5

►

5.2.7

ⓘ

Symbols:

${\left(a\right)}_n$: Pochhammer’s symbol (or shifted factorial), $!$: factorial (as in $n!$), $m$: nonnegative integer and $n$: nonnegative integer

Permalink:

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

Encodings:

pMML, png, TeX

Addition (effective with 1.0.17):

This equation was added.

See also:

Annotations for §5.2(iii), §5.2 and Ch.5

… ►Pochhammer symbols (rising factorials) ${\left(x\right)}_n=x(x+1)\mathrm{\cdots }(x+n-1)$ and falling factorials ${(-1)}^n{\left(-x\right)}_n=x(x-1)\mathrm{\cdots }(x-n+1)$ can be expressed in terms of each other via …

3: 15.15 Sums

… ►

15.15.1 $$𝐅(\genfrac{}{}{0pt}{}{a,b}{c};\frac{1}{z})={\left(1-\frac{z_0}{z}\right)}^{-a}\sum _{s=0}^{\mathrm{\infty }}\frac{{\left(a\right)}_s}{s!}𝐅(\genfrac{}{}{0pt}{}{-s,b}{c};\frac{1}{z_0}){\left(1-\frac{z}{z_0}\right)}^{-s}.$$

ⓘ

Symbols:

${\left(a\right)}_n$: Pochhammer’s symbol (or shifted factorial), $!$: factorial (as in $n!$), $𝐅(a,b;c;z)$ or $𝐅(\genfrac{}{}{0pt}{}{a,b}{c};z)$: $={}_2{}^{}𝐅_1^{}(a,b;c;z)$ Olver’s hypergeometric function, $s$: nonnegative integer, $z$: complex variable, $a$: real or complex parameter, $b$: real or complex parameter and $c$: real or complex parameter

Referenced by:

§15.19(i)

Permalink:

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

Encodings:

pMML, png, TeX

Correction (effective with 1.1.2):

The Pochhammersymbol now links to its definition.

See also:

Annotations for §15.15 and Ch.15

…

4: 17.11 Transformations of $q$-Appell Functions

… ►

17.11.1 $${\mathrm{\Phi }}^{(1)}(a;b,b^{\prime };c;q;x,y)=\frac{{(a,bx,b^{\prime }y;q)}_{\mathrm{\infty }}}{{(c,x,y;q)}_{\mathrm{\infty }}}{}_3{}^{}\varphi _2^{}(\genfrac{}{}{0pt}{}{c/a,x,y}{bx,b^{\prime }y};q,a),$$

ⓘ

Symbols:

${\mathrm{\Phi }}^{(1)}(a;b,b^{\prime };c;q;x,y)$: first $q$-Appell 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, ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $q$: complex base, $x$: real variable and $y$: real variable

Referenced by:

§17.11, Erratum (V1.0.10) for Section 17.1

Permalink:

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

Encodings:

pMML, png, TeX

Correction (effective with 1.0.10):

The notation for ${\mathrm{\Phi }}^{(1)}$ has been updated to that of Gasper and Rahman (2004) to explicitly include the $q$ argument.

See also:

Annotations for §17.11 and Ch.17

►

17.11.2 $${\mathrm{\Phi }}^{(2)}(a;b,b^{\prime };c,c^{\prime };q;x,y)=\frac{{(b,ax;q)}_{\mathrm{\infty }}}{{(c,x;q)}_{\mathrm{\infty }}}\sum _{n,r\geqq 0}\frac{{(a,b^{\prime };q)}_n{(c/b,x;q)}_r{b}^r{y}^n}{{(q,c^{\prime };q)}_n{(q;q)}_r{(ax;q)}_{n+r}},$$

ⓘ

Symbols:

${\left(a\right)}_n$: Pochhammer’s symbol (or shifted factorial), ${\mathrm{\Phi }}^{(2)}(a;b,b^{\prime };c,c^{\prime };q;x,y)$: second $q$-Appell function, ${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $q$: complex base, $n$: nonnegative integer, $r$: nonnegative integer, $x$: real variable and $y$: real variable

Referenced by:

Erratum (V1.0.10) for Section 17.1, Erratum (V1.1.3) for Equation (17.11.2)

Permalink:

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

Encodings:

pMML, png, TeX

Correction (effective with 1.1.3):

The factor ${\left(q\right)}_r$ originally used in the denominator has been corrected to be ${(q;q)}_r$.

Correction (effective with 1.0.10):

The notation for ${\mathrm{\Phi }}^{(2)}$ has been updated to that of Gasper and Rahman (2004) to explicitly include the $q$ argument.

See also:

Annotations for §17.11 and Ch.17

►

17.11.3 $${\mathrm{\Phi }}^{(3)}(a,a^{\prime };b,b^{\prime };c;q;x,y)=\frac{{(a,bx;q)}_{\mathrm{\infty }}}{{(c,x;q)}_{\mathrm{\infty }}}\sum _{n,r\geqq 0}\frac{{(a^{\prime },b^{\prime };q)}_n{(x;q)}_r{(c/a;q)}_{n+r}{a}^r{y}^n}{{(q,c/a;q)}_n{(q,bx;q)}_r}.$$

ⓘ

Symbols:

${\mathrm{\Phi }}^{(3)}(a,a^{\prime };b,b^{\prime };c;q;x,y)$: third $q$-Appell function, ${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $q$: complex base, $n$: nonnegative integer, $r$: nonnegative integer, $x$: real variable and $y$: real variable

Referenced by:

§17.11, Erratum (V1.0.10) for Section 17.1

Permalink:

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

Encodings:

pMML, png, TeX

Correction (effective with 1.0.10):

The notation for ${\mathrm{\Phi }}^{(3)}$ has been updated to that of Gasper and Rahman (2004) to explicitly include the $q$ argument.

See also:

Annotations for §17.11 and Ch.17

… ►

17.11.4 $$\sum _{m_1,\mathrm{\dots },m_n\geqq 0}\frac{{(a;q)}_{m_1+m_2+\mathrm{\cdots }+m_n}{(b_1;q)}_{m_1}{(b_2;q)}_{m_2}\mathrm{\cdots }{(b_n;q)}_{m_n}{x}_1^{m_1}{x}_2^{m_2}\mathrm{\cdots }{x}_n^{m_n}}{{(q;q)}_{m_1}{(q;q)}_{m_2}\mathrm{\cdots }{(q;q)}_{m_n}{(c;q)}_{m_1+m_2+\mathrm{\cdots }+m_n}}=\frac{{(a,b_1{x}_1,b_2{x}_2,\mathrm{\dots },b_n{x}_n;q)}_{\mathrm{\infty }}}{{(c,x_1,x_2,\mathrm{\dots },x_n;q)}_{\mathrm{\infty }}}{}_{n+1}{}^{}\varphi _n^{}(\genfrac{}{}{0pt}{}{c/a,x_1,x_2,\mathrm{\dots },x_n}{b_1{x}_1,b_2{x}_2,\mathrm{\dots },b_n{x}_n};q,a).$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${}_{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, ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $q$: complex base, $m$: nonnegative integer, $n$: nonnegative integer and $x$: real variable

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.11 and Ch.17

5: 17.12 Bailey Pairs

… ►

17.12.3 $${\beta }_n=\sum _{j=0}^n\frac{{\alpha }_j}{{(q;q)}_{n-j}{(aq;q)}_{n+j}}.$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), $q$: complex base, $j$: nonnegative integer, $n$: nonnegative integer, ${\alpha }_n$: part of Bailey pair and ${\beta }_n$: part of Bailey pair

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.12, §17.12 and Ch.17

… ►

17.12.4 $$\sum _{n=0}^{\mathrm{\infty }}{q}^{n^2}{a}^n{\beta }_n=\frac{1}{{(aq;q)}_{\mathrm{\infty }}}\sum _{n=0}^{\mathrm{\infty }}{q}^{n^2}{a}^n{\alpha }_n.$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), $q$: complex base, $n$: nonnegative integer, ${\alpha }_n$: part of Bailey pair and ${\beta }_n$: part of Bailey pair

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.12, §17.12 and Ch.17

…

6: 17.5 ${}_0{}^{}\varphi _0^{},{}_1{}^{}\varphi _0^{},{}_1{}^{}\varphi _1^{}$ Functions

… ►

17.5.1 $${}_0{}^{}\varphi _0^{}(-;-;q,z)=\sum _{n=0}^{\mathrm{\infty }}\frac{{(-1)}^n{q}^{\left(\genfrac{}{}{0.0pt}{}{n}{2}\right)}{z}^n}{{(q;q)}_n}={(z;q)}_{\mathrm{\infty }};$$

ⓘ

Symbols:

$\left(\genfrac{}{}{0.0pt}{}{m}{n}\right)$: binomial coefficient, ${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${}_{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, $q$: complex base, $n$: nonnegative integer and $z$: complex variable

Referenced by:

§17.2(iii), Erratum (V1.1.11) for Equation (17.5.1)

Permalink:

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

Encodings:

pMML, png, TeX

Correction (effective with 1.1.11):

The constraint is not necessary and was removed.

See also:

Annotations for §17.5, §17.5 and Ch.17

… ►

17.5.2 $${}_1{}^{}\varphi _0^{}(a;-;q,z)=\frac{{(az;q)}_{\mathrm{\infty }}}{{(z;q)}_{\mathrm{\infty }}},$$ ;

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${}_{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, $q$: complex base and $z$: complex variable

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.5, §17.5 and Ch.17

… ►

17.5.3 $${}_1{}^{}\varphi _0^{}(q^{-n};-;q,z)={(z{q}^{-n};q)}_n.$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${}_{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, $q$: complex base, $n$: nonnegative integer and $z$: complex variable

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.5, §17.5 and Ch.17

… ►

17.5.4 $${}_1{}^{}\varphi _0^{}(0;-;q,z)=\sum _{n=0}^{\mathrm{\infty }}\frac{z^n}{{(q;q)}_n}=\frac{1}{{(z;q)}_{\mathrm{\infty }}},$$ ;

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${}_{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, $q$: complex base, $n$: nonnegative integer and $z$: complex variable

Referenced by:

§17.2(iii)

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.5, §17.5 and Ch.17

… ►

17.5.5 $${}_1{}^{}\varphi _1^{}(\genfrac{}{}{0pt}{}{a}{c};q,c/a)=\frac{{(c/a;q)}_{\mathrm{\infty }}}{{(c;q)}_{\mathrm{\infty }}}.$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${}_{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 and $q$: complex base

Referenced by:

Erratum (V1.1.10) for Equation (17.5.5)

Permalink:

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

Encodings:

pMML, png, TeX

Correction (effective with 1.1.10):

The constraint is not necessary and was removed.

See also:

Annotations for §17.5, §17.5 and Ch.17

7: 17.3 $q$-Elementary and $q$-Special Functions

… ►

17.3.1 $$e_q\left(x\right)=\sum _{n=0}^{\mathrm{\infty }}\frac{{(1-q)}^n{x}^n}{{(q;q)}_n}=\frac{1}{{((1-q)x;q)}_{\mathrm{\infty }}},$$

ⓘ

Defines:

$e_q\left(x\right)$: $q$-exponential function

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), $q$: complex base, $n$: nonnegative integer and $x$: real variable

Referenced by:

§17.5

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.3(i), §17.3(i), §17.3 and Ch.17

►

17.3.2 $$E_q\left(x\right)=\sum _{n=0}^{\mathrm{\infty }}\frac{{(1-q)}^n{q}^{\left(\genfrac{}{}{0.0pt}{}{n}{2}\right)}{x}^n}{{(q;q)}_n}={(-(1-q)x;q)}_{\mathrm{\infty }}.$$

ⓘ

Defines:

$E_q\left(x\right)$: $q$-exponential function

Symbols:

$\left(\genfrac{}{}{0.0pt}{}{m}{n}\right)$: binomial coefficient, ${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), $q$: complex base, $n$: nonnegative integer and $x$: real variable

Referenced by:

§17.5

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.3(i), §17.3(i), §17.3 and Ch.17

… ►

17.3.3 $${\sin }_q\left(x\right)=\frac{1}{2\mathrm{i}}(e_q\left(\mathrm{i}x\right)-e_q\left(-\mathrm{i}x\right))=\sum _{n=0}^{\mathrm{\infty }}\frac{{(1-q)}^{2n+1}{(-1)}^n{x}^{2n+1}}{{(q;q)}_{2n+1}},$$

ⓘ

Defines:

${\sin }_q\left(x\right)$: $q$-sine function

Symbols:

$\mathrm{i}$: imaginary unit, ${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), $e_q\left(x\right)$: $q$-exponential function, $q$: complex base, $n$: nonnegative integer and $x$: real variable

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.3(i), §17.3(i), §17.3 and Ch.17

… ►

17.3.5 $${\cos }_q\left(x\right)=\frac{1}{2}(e_q\left(\mathrm{i}x\right)+e_q\left(-\mathrm{i}x\right))=\sum _{n=0}^{\mathrm{\infty }}\frac{{(1-q)}^{2n}{(-1)}^n{x}^{2n}}{{(q;q)}_{2n}},$$

ⓘ

Defines:

${\cos }_q\left(x\right)$: $q$-cosine function

Symbols:

$\mathrm{i}$: imaginary unit, ${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), $e_q\left(x\right)$: $q$-exponential function, $q$: complex base, $n$: nonnegative integer and $x$: real variable

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.3(i), §17.3(i), §17.3 and Ch.17

►

17.3.6 $${\mathrm{Cos}}_q\left(x\right)=\frac{1}{2}(E_q\left(\mathrm{i}x\right)+E_q\left(-\mathrm{i}x\right))=\sum _{n=0}^{\mathrm{\infty }}\frac{{(1-q)}^{2n}{q}^{n(2n-1)}{(-1)}^n{x}^{2n}}{{(q;q)}_{2n}}.$$

ⓘ

Defines:

${\mathrm{Cos}}_q\left(x\right)$: $q$-cosine function

Symbols:

$\mathrm{i}$: imaginary unit, $E_q\left(x\right)$: $q$-exponential function, ${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), $q$: complex base, $n$: nonnegative integer and $x$: real variable

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.3(i), §17.3(i), §17.3 and Ch.17

…

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

… ►

17.8.1 $$\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{(-z)}^n{q}^{n(n-1)/2}={(q,z,q/z;q)}_{\mathrm{\infty }};$$

ⓘ

Symbols:

${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $q$: complex base, $n$: nonnegative integer and $z$: complex variable

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.8, §17.8 and Ch.17

… ►

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.3 $$\sum _{n=-\mathrm{\infty }}^{\mathrm{\infty }}{(-1)}^n{q}^{n(3n-1)/2}{z}^{3n}(1+z{q}^n)={(q,-z,-q/z;q)}_{\mathrm{\infty }}{(q{z}^2,q/z^2;q^2)}_{\mathrm{\infty }}.$$

ⓘ

Symbols:

${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $q$: complex base, $n$: nonnegative integer and $z$: complex variable

Permalink:

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

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.8 $${}_2{}^{}\psi _2^{}(\genfrac{}{}{0pt}{}{b^2,b^2/c}{q,cq};q^2,c{q}^2/b^2)=\frac{1}{2}\frac{{(q^2,q{b}^2,q/b^2,cq/b^2;q^2)}_{\mathrm{\infty }}}{{(cq,c{q}^2/b^2,q^2/b^2,c/b^2;q^2)}_{\mathrm{\infty }}}\left(\frac{{(c\sqrt{q}/b;q)}_{\mathrm{\infty }}}{{(b\sqrt{q};q)}_{\mathrm{\infty }}}+\frac{{(-c\sqrt{q}/b;q)}_{\mathrm{\infty }}}{{(-b\sqrt{q};q)}_{\mathrm{\infty }}}\right),$$ .

ⓘ

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

Source:

Verma and Jain (1983, (3.9))

Referenced by:

§17.6(i), §17.8, Erratum (V1.1.0) for Additions

Permalink:

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

Encodings:

pMML, png, TeX

Addition (effective with 1.1.0):

This equation was added.

Suggested 2019-10-19 by Slobodan Damjanovic

See also:

Annotations for §17.8, §17.8 and Ch.17

…

9: 17.13 Integrals

… ►

17.13.1 $${\int }_{-c}^d\frac{{(-qx/c;q)}_{\mathrm{\infty }}{(qx/d;q)}_{\mathrm{\infty }}}{{(-ax/c;q)}_{\mathrm{\infty }}{(bx/d;q)}_{\mathrm{\infty }}}{d}_{q}x=\frac{(1-q){(q;q)}_{\mathrm{\infty }}{(ab;q)}_{\mathrm{\infty }}cd{(-c/d;q)}_{\mathrm{\infty }}{(-d/c;q)}_{\mathrm{\infty }}}{{(a;q)}_{\mathrm{\infty }}{(b;q)}_{\mathrm{\infty }}(c+d){(-bc/d;q)}_{\mathrm{\infty }}{(-ad/c;q)}_{\mathrm{\infty }}},$$

ⓘ

Symbols:

$\int$: integral, ${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), $d_{q}x$: $q$-differential, $q$: complex base and $x$: real variable

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.13 and Ch.17

… ►

17.13.2 $${\int }_{-c}^d\frac{{(-qx/c;q)}_{\mathrm{\infty }}{(qx/d;q)}_{\mathrm{\infty }}}{{(-x{q}^{\alpha }/c;q)}_{\mathrm{\infty }}{(x{q}^{\beta }/d;q)}_{\mathrm{\infty }}}{d}_{q}x=\frac{{\mathrm{\Gamma }}_q\left(\alpha \right){\mathrm{\Gamma }}_q\left(\beta \right)}{{\mathrm{\Gamma }}_q\left(\alpha +\beta \right)}\frac{cd}{c+d}\frac{{(-c/d;q)}_{\mathrm{\infty }}{(-d/c;q)}_{\mathrm{\infty }}}{{(-q^{\beta }c/d;q)}_{\mathrm{\infty }}{(-q^{\alpha }d/c;q)}_{\mathrm{\infty }}}.$$

ⓘ

Symbols:

$\int$: integral, ${\mathrm{\Gamma }}_q\left(z\right)$: $q$-gamma function, ${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), $d_{q}x$: $q$-differential, $q$: complex base and $x$: real variable

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.13 and Ch.17

… ►

17.13.3 $${\int }_0^{\mathrm{\infty }}{t}^{\alpha -1}\frac{{(-t{q}^{\alpha +\beta };q)}_{\mathrm{\infty }}}{{(-t;q)}_{\mathrm{\infty }}}dt=\frac{\mathrm{\Gamma }\left(\alpha \right)\mathrm{\Gamma }\left(1-\alpha \right){\mathrm{\Gamma }}_q\left(\beta \right)}{{\mathrm{\Gamma }}_q\left(1-\alpha \right){\mathrm{\Gamma }}_q\left(\alpha +\beta \right)},$$

ⓘ

Symbols:

$\mathrm{\Gamma }\left(z\right)$: gamma function, $dx$: differential of $x$ , $\int$: integral, ${\mathrm{\Gamma }}_q\left(z\right)$: $q$-gamma function, ${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial) and $q$: complex base

Referenced by:

Erratum (V1.0.1) for Equation (17.13.3)

Permalink:

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

Encodings:

pMML, png, TeX

Errata (effective with 1.0.1):

Originally the differential was identified incorrectly as a $q$-differential; the correct differential is $dt$.

See also:

Annotations for §17.13, §17.13 and Ch.17

►

17.13.4 $${\int }_0^{\mathrm{\infty }}{t}^{\alpha -1}\frac{{(-ct{q}^{\alpha +\beta };q)}_{\mathrm{\infty }}}{{(-ct;q)}_{\mathrm{\infty }}}{d}_{q}t=\frac{{\mathrm{\Gamma }}_q\left(\alpha \right){\mathrm{\Gamma }}_q\left(\beta \right){(-c{q}^{\alpha };q)}_{\mathrm{\infty }}{(-q^{1-\alpha }/c;q)}_{\mathrm{\infty }}}{{\mathrm{\Gamma }}_q\left(\alpha +\beta \right){(-c;q)}_{\mathrm{\infty }}{(-q/c;q)}_{\mathrm{\infty }}}.$$

ⓘ

Symbols:

$\int$: integral, ${\mathrm{\Gamma }}_q\left(z\right)$: $q$-gamma function, ${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), $d_{q}x$: $q$-differential and $q$: complex base

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.13, §17.13 and Ch.17

…

10: 17.9 Further Transformations of ${}_{r+1}{}^{}\varphi _r^{}$ Functions

… ►

17.9.1 $${}_2{}^{}\varphi _1^{}(\genfrac{}{}{0pt}{}{a,b}{c};q,z)=\frac{{(za;q)}_{\mathrm{\infty }}}{{(z;q)}_{\mathrm{\infty }}}{}_2{}^{}\varphi _2^{}(\genfrac{}{}{0pt}{}{a,c/b}{c,az};q,bz),$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${}_{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, $q$: complex base and $z$: complex variable

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.9(i), §17.9(i), §17.9 and Ch.17

… ►

17.9.3 $${}_2{}^{}\varphi _1^{}(\genfrac{}{}{0pt}{}{a,b}{c};q,z)=\frac{{(abz/c;q)}_{\mathrm{\infty }}}{{(bz/c;q)}_{\mathrm{\infty }}}{}_3{}^{}\varphi _2^{}(\genfrac{}{}{0pt}{}{a,c/b,0}{c,cq/(bz)};q,q)+\frac{{(a,bz,c/b;q)}_{\mathrm{\infty }}}{{(c,z,c/(bz);q)}_{\mathrm{\infty }}}{}_3{}^{}\varphi _2^{}(\genfrac{}{}{0pt}{}{z,abz/c,0}{bz,bzq/c};q,q),$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${}_{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, ${(a_1,a_2,\mathrm{\dots },a_r;q)}_n$: multiple $q$-Pochhammer symbol, $q$: complex base and $z$: complex variable

Referenced by:

Erratum (V1.0.23) for Equation (17.9.3)

Permalink:

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

Encodings:

pMML, png, TeX

Correction (effective with 1.0.23):

The second term on the right-hand side was missing. The form of the equation where the second term is missing is correct if the ${}_2{}^{}\varphi _1^{}$ is terminating. It is this form which appeared in the first edition of Gasper and Rahman (1990). The more general version which appears now is what is reproduced in Gasper and Rahman (2004, (III.5)).

Suggested 2019-04-26 by Roberto S. Costas-Santos

See also:

Annotations for §17.9(i), §17.9(i), §17.9 and Ch.17

… ►

17.9.4 $${}_2{}^{}\varphi _1^{}(\genfrac{}{}{0pt}{}{q^{-n},b}{c};q,z)=\frac{{(c/b;q)}_n}{{(c;q)}_n}{\left(\frac{bz}{q}\right)}^n{}_3{}^{}\varphi _2^{}(\genfrac{}{}{0pt}{}{q^{-n},q/z,q^{1-n}/c}{b{q}^{1-n}/c,0};q,q),$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${}_{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, $q$: complex base, $n$: nonnegative integer and $z$: complex variable

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.9(i), §17.9(i), §17.9 and Ch.17

►

17.9.5 $${}_2{}^{}\varphi _1^{}(\genfrac{}{}{0pt}{}{q^{-n},b}{c};q,z)=\frac{{(c/b;q)}_n}{{(c;q)}_n}{}_3{}^{}\varphi _2^{}(\genfrac{}{}{0pt}{}{q^{-n},b,bz{q}^{-n}/c}{b{q}^{1-n}/c,0};q,q).$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${}_{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, $q$: complex base, $n$: nonnegative integer and $z$: complex variable

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.9(i), §17.9(i), §17.9 and Ch.17

… ►

17.9.8 $${}_3{}^{}\varphi _2^{}(\genfrac{}{}{0pt}{}{q^{-n},b,c}{d,e};q,q)=\frac{{(de/(bc);q)}_n}{{(e;q)}_n}{\left(\frac{bc}{d}\right)}^n{}_3{}^{}\varphi _2^{}(\genfrac{}{}{0pt}{}{q^{-n},d/b,d/c}{d,de/(bc)};q,q),$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), ${}_{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, $q$: complex base and $n$: nonnegative integer

Permalink:

http://dlmf.nist.gov/17.9.E8

Encodings:

pMML, png, TeX

See also:

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

…