pochhammer

SearchAdvancedHelp

(0.000 seconds)

1—10 of 132 matching pages

1: 17.14 Constant Term Identities

… ►

17.14.1

ⓘ

Symbols:

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

Referenced by:

§17.14

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.14, §17.14 and Ch.17

… ►

17.14.2 $$\sum _{n=0}^{\mathrm{\infty }}\frac{q^{n(n+1)}}{{(q^2;q^2)}_n{(-q;q^2)}_{n+1}}=\text{ coeff. of }{z}^0\text{ in }\frac{{(-zq;q^2)}_{\mathrm{\infty }}{(-z^{-1}q;q^2)}_{\mathrm{\infty }}{(q^2;q^2)}_{\mathrm{\infty }}}{{(z^{-1}{q}^2;q^2)}_{\mathrm{\infty }}{(-q;q^2)}_{\mathrm{\infty }}{(z^{-1}q;q^2)}_{\mathrm{\infty }}}=\frac{1}{{(-q;q^2)}_{\mathrm{\infty }}}\text{ coeff. of }{z}^0\text{ in }\frac{{(-zq;q^2)}_{\mathrm{\infty }}{(-z^{-1}q;q^2)}_{\mathrm{\infty }}{(q^2;q^2)}_{\mathrm{\infty }}}{{(z^{-1}q;q)}_{\mathrm{\infty }}}=\frac{H(q)}{{(-q;q^2)}_{\mathrm{\infty }}},$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), $q$: complex base, $n$: nonnegative integer, $z$: complex variable and $H(q)$: LHS of (17.2.50)

Referenced by:

§17.14

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.14, §17.14 and Ch.17

►

17.14.3 $$\sum _{n=0}^{\mathrm{\infty }}\frac{q^{n(n+1)}}{{(q^2;q^2)}_n{(-q;q^2)}_{n+1}}=\text{ coeff. of }{z}^0\text{ in }\frac{{(-zq;q^2)}_{\mathrm{\infty }}{(-z^{-1}q;q^2)}_{\mathrm{\infty }}{(q^2;q^2)}_{\mathrm{\infty }}}{{(z^{-1};q^2)}_{\mathrm{\infty }}{(-q;q^2)}_{\mathrm{\infty }}{(z^{-1}q;q^2)}_{\mathrm{\infty }}}=\frac{1}{{(-q;q^2)}_{\mathrm{\infty }}}\text{ coeff. of }{z}^0\text{ in }\frac{{(-zq;q^2)}_{\mathrm{\infty }}{(-z^{-1}q;q^2)}_{\mathrm{\infty }}{(q^2;q^2)}_{\mathrm{\infty }}}{{(z^{-1};q)}_{\mathrm{\infty }}}=\frac{G(q)}{{(-q;q^2)}_{\mathrm{\infty }}},$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), $q$: complex base, $n$: nonnegative integer, $z$: complex variable and $G(q)$: LHS of (17.2.49)

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.14, §17.14 and Ch.17

►

17.14.4 $$\sum _{n=0}^{\mathrm{\infty }}\frac{q^{n^2}}{{(q^2;q^2)}_n{(q;q^2)}_n}=\text{ coeff. of }{z}^0\text{ in }\frac{{(-zq;q^2)}_{\mathrm{\infty }}{(-z^{-1}q;q^2)}_{\mathrm{\infty }}{(q^2;q^2)}_{\mathrm{\infty }}}{{(-z^{-1};q^2)}_{\mathrm{\infty }}{(q;q^2)}_{\mathrm{\infty }}{(z^{-1};q^2)}_{\mathrm{\infty }}}=\frac{1}{{(q;q^2)}_{\mathrm{\infty }}}\text{ coeff. of }{z}^0\text{ in }\frac{{(-zq;q^2)}_{\mathrm{\infty }}{(-z^{-1}q;q^2)}_{\mathrm{\infty }}{(q^2;q^2)}_{\mathrm{\infty }}}{{(z^{-2};q^4)}_{\mathrm{\infty }}}=\frac{G(q^4)}{{(q;q^2)}_{\mathrm{\infty }}},$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), $q$: complex base, $n$: nonnegative integer, $z$: complex variable and $G(q)$: LHS of (17.2.49)

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.14, §17.14 and Ch.17

►

17.14.5 $$\sum _{n=0}^{\mathrm{\infty }}\frac{q^{n^2+2n}}{{(q^2;q^2)}_n{(q;q^2)}_{n+1}}=\text{ coeff. of }{z}^0\text{ in }\frac{{(-zq;q^2)}_{\mathrm{\infty }}{(-z^{-1}q;q^2)}_{\mathrm{\infty }}{(q^2;q^2)}_{\mathrm{\infty }}}{{(-q^2{z}^{-1};q^2)}_{\mathrm{\infty }}{(q;q^2)}_{\mathrm{\infty }}{(z^{-1}{q}^2;q^2)}_{\mathrm{\infty }}}=\frac{1}{{(q;q^2)}_{\mathrm{\infty }}}\text{ coeff. of }{z}^0\text{ in }\frac{{(-zq;q^2)}_{\mathrm{\infty }}{(-z^{-1}q;q^2)}_{\mathrm{\infty }}{(q^2;q^2)}_{\mathrm{\infty }}}{{(q^4{z}^{-2};q^4)}_{\mathrm{\infty }}}=\frac{H(q^4)}{{(q;q^2)}_{\mathrm{\infty }}}.$$

ⓘ

Symbols:

${(a;q)}_n$: $q$-Pochhammer symbol (or $q$-shifted factorial), $q$: complex base, $n$: nonnegative integer, $z$: complex variable and $H(q)$: LHS of (17.2.50)

Referenced by:

§17.14

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §17.14, §17.14 and Ch.17

…

2: 5.2 Definitions

… ►

§5.2(iii) Pochhammer’s Symbol

►

${\left(a\right)}_0=1,$

… ►

${\left(a\right)}_{2n}=2^{2n}{\left({\displaystyle \frac{a}{2}}\right)}_n{\left({\displaystyle \frac{a+1}{2}}\right)}_n,$

►

${\left(a\right)}_{2n+1}=2^{2n+1}{\left({\displaystyle \frac{a}{2}}\right)}_{n+1}{\left({\displaystyle \frac{a+1}{2}}\right)}_n.$

►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: 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

…

4: 16.13 Appell Functions

… ►

16.13.1 $$F_1(\alpha ;\beta ,{\beta }^{\prime };\gamma ;x,y)=\sum _{m,n=0}^{\mathrm{\infty }}\frac{{\left(\alpha \right)}_{m+n}{\left(\beta \right)}_m{\left({\beta }^{\prime }\right)}_n}{{\left(\gamma \right)}_{m+n}m!n!}{x}^m{y}^n,$$ ,

ⓘ

Defines:

$F_1(\alpha ;\beta ,{\beta }^{\prime };\gamma ;x,y)$: first Appell function

Symbols:

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

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §16.13 and Ch.16

►

16.13.2 $$F_2(\alpha ;\beta ,{\beta }^{\prime };\gamma ,{\gamma }^{\prime };x,y)=\sum _{m,n=0}^{\mathrm{\infty }}\frac{{\left(\alpha \right)}_{m+n}{\left(\beta \right)}_m{\left({\beta }^{\prime }\right)}_n}{{\left(\gamma \right)}_m{\left({\gamma }^{\prime }\right)}_{n}m!n!}{x}^m{y}^n,$$ ,

ⓘ

Defines:

$F_2(\alpha ;\beta ,{\beta }^{\prime };\gamma ,{\gamma }^{\prime };x,y)$: second Appell function

Symbols:

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

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §16.13 and Ch.16

►

16.13.3 $$F_3(\alpha ,{\alpha }^{\prime };\beta ,{\beta }^{\prime };\gamma ;x,y)=\sum _{m,n=0}^{\mathrm{\infty }}\frac{{\left(\alpha \right)}_m{\left({\alpha }^{\prime }\right)}_n{\left(\beta \right)}_m{\left({\beta }^{\prime }\right)}_n}{{\left(\gamma \right)}_{m+n}m!n!}{x}^m{y}^n,$$ ,

ⓘ

Defines:

$F_3(\alpha ,{\alpha }^{\prime };\beta ,{\beta }^{\prime };\gamma ;x,y)$: third Appell function

Symbols:

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

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §16.13 and Ch.16

►

16.13.4 $$F_4(\alpha ,\beta ;\gamma ,{\gamma }^{\prime };x,y)=\sum _{m,n=0}^{\mathrm{\infty }}\frac{{\left(\alpha \right)}_{m+n}{\left(\beta \right)}_{m+n}}{{\left(\gamma \right)}_m{\left({\gamma }^{\prime }\right)}_{n}m!n!}{x}^m{y}^n,$$ .

ⓘ

Defines:

$F_4(\alpha ,\beta ;\gamma ,{\gamma }^{\prime };x,y)$: fourth Appell function

Symbols:

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

Permalink:

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

Encodings:

pMML, png, TeX

See also:

Annotations for §16.13 and Ch.16

…

5: 17.2 Calculus

… ►For $n=0,1,2,\mathrm{\dots }$, … … ►For properties of the function $f\left(q\right)=q^{-1/24}\eta \left(\frac{\ln q}{2\pi \mathrm{i}}\right)={(q;q)}_{\mathrm{\infty }}$ see §27.14. … ►

17.2.18 $${(a{q}^k;q)}_{n-k}=\frac{{(a;q)}_n}{{(a;q)}_k}.$$

ⓘ

Symbols:

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

Permalink:

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

Encodings:

pMML, png, TeX

See also:

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

… ►

17.2.21 $${(a^2;q^2)}_n={(a;q)}_n{(-a;q)}_n,$$

ⓘ

Symbols:

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

Permalink:

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

Encodings:

pMML, png, TeX

See also:

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

…

6: 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

7: 16.1 Special Notation

… ► ►►►►

$p,q$	nonnegative integers.
…
${\left(𝐚\right)}_k$	${\left(a_1\right)}_k{\left(a_2\right)}_k\mathrm{\cdots }{\left(a_p\right)}_k$.
${\left(𝐛\right)}_k$	${\left(b_1\right)}_k{\left(b_2\right)}_k\mathrm{\cdots }{\left(b_q\right)}_k$.
…

…

8: 16.9 Zeros

… ►Next, assume that $p=q$ and that the $a_j$ and the quotients ${\left(𝐚\right)}_j/{\left(𝐛\right)}_j$ are all real. …

9: 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.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.19 $$\sum _{n=0}^{\mathrm{\infty }}\frac{{(a;q^2)}_n{(b;q)}_n}{{(q^2;q^2)}_n{(c;q)}_n}{z}^n=\frac{{(b;q)}_{\mathrm{\infty }}{(az;q^2)}_{\mathrm{\infty }}}{{(c;q)}_{\mathrm{\infty }}{(z;q^2)}_{\mathrm{\infty }}}\sum _{n=0}^{\mathrm{\infty }}\frac{{(c/b;q)}_{2n}{(z;q^2)}_n{b}^{2n}}{{(q;q)}_{2n}{(az;q^2)}_n}+\frac{{(b;q)}_{\mathrm{\infty }}{(azq;q^2)}_{\mathrm{\infty }}}{{(c;q)}_{\mathrm{\infty }}{(zq;q^2)}_{\mathrm{\infty }}}\sum _{n=0}^{\mathrm{\infty }}\frac{{(c/b;q)}_{2n+1}{(zq;q^2)}_n{b}^{2n+1}}{{(q;q)}_{2n+1}{(azq;q^2)}_n}.$$

ⓘ

Symbols:

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

Permalink:

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

Encodings:

pMML, png, TeX

See also:

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

►

17.9.20 $$\sum _{n=0}^{\mathrm{\infty }}\frac{{(a;q^k)}_n{(b;q)}_{kn}{z}^n}{{(q^k;q^k)}_n{(c;q)}_{kn}}=\frac{{(b;q)}_{\mathrm{\infty }}{(az;q^k)}_{\mathrm{\infty }}}{{(c;q)}_{\mathrm{\infty }}{(z;q^k)}_{\mathrm{\infty }}}\sum _{n=0}^{\mathrm{\infty }}\frac{{(c/b;q)}_n{(z;q^k)}_n{b}^n}{{(q;q)}_n{(az;q^k)}_n},$$ $k=1,2,3,\mathrm{\dots }$.

ⓘ

Symbols:

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

Permalink:

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

Encodings:

pMML, png, TeX

See also:

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

10: 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

… ►

$${(\frac{aq}{{\rho }_1},\frac{aq}{{\rho }_2};q)}_n{\beta }_n^{\prime }=\sum _{j=0}^n{({\rho }_1,{\rho }_2;q)}_j{(\frac{aq}{{\rho }_1{\rho }_2};q)}_{n-j}{\left(\frac{aq}{{\rho }_1{\rho }_2}\right)}^j\frac{{\beta }_j}{{(q;q)}_{n-j}}$$

… ►

${\alpha }_n={\displaystyle \frac{{(a;q)}_n(1-a{q}^{2n}){(-1)}^n{q}^{n(3n-1)/2}{a}^n}{{(q;q)}_n(1-a)}},$

►

${\beta }_n={\displaystyle \frac{1}{{(q;q)}_n}}.$

…