16 Generalized Hypergeometric Functions & Meijer G-Function Generalized Hypergeometric Functions 16.2 Definition and Analytic Properties 16.4 Argument Unity

§16.3 Derivatives and Contiguous Functions

ⓘ

Permalink:: http://dlmf.nist.gov/16.3
See also:: Annotations for Ch.16

§16.3(i) Differentiation Formulas

ⓘ

Keywords:: derivatives, generalized hypergeometric functions
Notes:: See Luke (1975, §5.2.2). For (16.3.5) see Fleury and Turbiner (1994).
Permalink:: http://dlmf.nist.gov/16.3.i
See also:: Annotations for §16.3 and Ch.16

16.3.1		$\frac{{\mathrm{d}}^{n}}{{\mathrm{d}z}^{n}}{{}_{p}F_{q}}\left({a_{1},\dots,a_{p% }\atop b_{1},\dots,b_{q}};z\right)=\frac{{\left(\mathbf{a}\right)_{n}}}{{\left% (\mathbf{b}\right)_{n}}}{{}_{p}F_{q}}\left({a_{1}+n,\dots,a_{p}+n\atop b_{1}+n% ,\dots,b_{q}+n};z\right),$
ⓘ Symbols: ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{a_{1},\dots,a_{p}};\NVar{b_{1},\dots,b_% {q}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{a_{1},\dots,a_{p}}\atop\NVar{b_{1},% \dots,b_{q}}};\NVar{z}\right)$ : alternatively ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{\mathbf{a}};\NVar{\mathbf{b}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{\mathbf{a}}\atop\NVar{\mathbf{b}}};% \NVar{z}\right)$ generalized hypergeometric function, ${\left(\NVar{a}\right)_{\NVar{n}}}$ : Pochhammer’s symbol (or shifted factorial), $\frac{\mathrm{d}\NVar{f}}{\mathrm{d}\NVar{x}}$ : derivative of $f$ with respect to $x$ , $p$ : nonnegative integer, $q$ : nonnegative integer, $z$ : complex variable, $a,a_{1},\ldots,a_{p}$ : real or complex parameters and $b,b_{1},\ldots,b_{q}$ : real or complex parameters Permalink: http://dlmf.nist.gov/16.3.E1 Encodings: TeX, pMML, png See also: Annotations for §16.3(i), §16.3 and Ch.16

16.3.2		$\frac{{\mathrm{d}}^{n}}{{\mathrm{d}z}^{n}}\left(z^{\gamma}{{}_{p}F_{q}}\left({% a_{1},\dots,a_{p}\atop b_{1},\dots,b_{q}};z\right)\right)={\left(\gamma-n+1% \right)_{n}}z^{\gamma-n}{{}_{p+1}F_{q+1}}\left({\gamma+1,a_{1},\dots,a_{p}% \atop\gamma+1-n,b_{1},\dots,b_{q}};z\right),$
ⓘ Symbols: ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{a_{1},\dots,a_{p}};\NVar{b_{1},\dots,b_% {q}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{a_{1},\dots,a_{p}}\atop\NVar{b_{1},% \dots,b_{q}}};\NVar{z}\right)$ : alternatively ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{\mathbf{a}};\NVar{\mathbf{b}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{\mathbf{a}}\atop\NVar{\mathbf{b}}};% \NVar{z}\right)$ generalized hypergeometric function, ${\left(\NVar{a}\right)_{\NVar{n}}}$ : Pochhammer’s symbol (or shifted factorial), $\frac{\mathrm{d}\NVar{f}}{\mathrm{d}\NVar{x}}$ : derivative of $f$ with respect to $x$ , $p$ : nonnegative integer, $q$ : nonnegative integer, $z$ : complex variable, $a,a_{1},\ldots,a_{p}$ : real or complex parameters and $b,b_{1},\ldots,b_{q}$ : real or complex parameters Permalink: http://dlmf.nist.gov/16.3.E2 Encodings: TeX, pMML, png See also: Annotations for §16.3(i), §16.3 and Ch.16

16.3.3		$\left(z\frac{\mathrm{d}}{\mathrm{d}z}z\right)^{n}\left(z^{\gamma-1}{{}_{p+1}F_% {q}}\left({\gamma,a_{1},\dots,a_{p}\atop b_{1},\dots,b_{q}};z\right)\right)={% \left(\gamma\right)_{n}}z^{\gamma+n-1}{{}_{p+1}F_{q}}\left({\gamma+n,a_{1},% \dots,a_{p}\atop b_{1},\dots,b_{q}};z\right),$
ⓘ Symbols: ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{a_{1},\dots,a_{p}};\NVar{b_{1},\dots,b_% {q}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{a_{1},\dots,a_{p}}\atop\NVar{b_{1},% \dots,b_{q}}};\NVar{z}\right)$ : alternatively ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{\mathbf{a}};\NVar{\mathbf{b}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{\mathbf{a}}\atop\NVar{\mathbf{b}}};% \NVar{z}\right)$ generalized hypergeometric function, ${\left(\NVar{a}\right)_{\NVar{n}}}$ : Pochhammer’s symbol (or shifted factorial), $\frac{\mathrm{d}\NVar{f}}{\mathrm{d}\NVar{x}}$ : derivative of $f$ with respect to $x$ , $p$ : nonnegative integer, $q$ : nonnegative integer, $z$ : complex variable, $a,a_{1},\ldots,a_{p}$ : real or complex parameters and $b,b_{1},\ldots,b_{q}$ : real or complex parameters Permalink: http://dlmf.nist.gov/16.3.E3 Encodings: TeX, pMML, png See also: Annotations for §16.3(i), §16.3 and Ch.16

16.3.4		$\frac{{\mathrm{d}}^{n}}{{\mathrm{d}z}^{n}}\left(z^{\gamma-1}{{}_{p}F_{q+1}}% \left({a_{1},\dots,a_{p}\atop\gamma,b_{1},\dots,b_{q}};z\right)\right)={\left(% \gamma-n\right)_{n}}z^{\gamma-n-1}{{}_{p}F_{q+1}}\left({a_{1},\dots,a_{p}\atop% \gamma-n,b_{1},\dots,b_{q}};z\right).$
ⓘ Symbols: ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{a_{1},\dots,a_{p}};\NVar{b_{1},\dots,b_% {q}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{a_{1},\dots,a_{p}}\atop\NVar{b_{1},% \dots,b_{q}}};\NVar{z}\right)$ : alternatively ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{\mathbf{a}};\NVar{\mathbf{b}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{\mathbf{a}}\atop\NVar{\mathbf{b}}};% \NVar{z}\right)$ generalized hypergeometric function, ${\left(\NVar{a}\right)_{\NVar{n}}}$ : Pochhammer’s symbol (or shifted factorial), $\frac{\mathrm{d}\NVar{f}}{\mathrm{d}\NVar{x}}$ : derivative of $f$ with respect to $x$ , $p$ : nonnegative integer, $q$ : nonnegative integer, $z$ : complex variable, $a,a_{1},\ldots,a_{p}$ : real or complex parameters and $b,b_{1},\ldots,b_{q}$ : real or complex parameters Permalink: http://dlmf.nist.gov/16.3.E4 Encodings: TeX, pMML, png See also: Annotations for §16.3(i), §16.3 and Ch.16

Other versions of these identities can be constructed with the aid of the operator identity

16.3.5		$\left(z\frac{\mathrm{d}}{\mathrm{d}z}z\right)^{n}=z^{n}\frac{{\mathrm{d}}^{n}}% {{\mathrm{d}z}^{n}}z^{n},$
$n=1,2,\dots$ .
ⓘ Symbols: $\frac{\mathrm{d}\NVar{f}}{\mathrm{d}\NVar{x}}$ : derivative of $f$ with respect to $x$ and $z$ : complex variable Referenced by: §16.3(i) Permalink: http://dlmf.nist.gov/16.3.E5 Encodings: TeX, pMML, png See also: Annotations for §16.3(i), §16.3 and Ch.16

§16.3(ii) Contiguous Functions

ⓘ

Keywords:: contiguous functions, generalized hypergeometric functions
Notes:: See Rainville (1960, §48).
Permalink:: http://dlmf.nist.gov/16.3.ii
See also:: Annotations for §16.3 and Ch.16

Two generalized hypergeometric functions ${{}_{p}F_{q}}\left(\mathbf{a};\mathbf{b};z\right)$ are (generalized) contiguous if they have the same pair of values of $p$ and $q$ , and corresponding parameters differ by integers. If $p\leq q+1$ , then any $q+2$ distinct contiguous functions are linearly related. Examples are provided by the following recurrence relations:

16.3.6		$z{{}_{0}F_{1}}\left(-;b+1;z\right)+b(b-1){{}_{0}F_{1}}\left(-;b;z\right)-b(b-1% ){{}_{0}F_{1}}\left(-;b-1;z\right)=0,$
ⓘ Symbols: ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{a_{1},\dots,a_{p}};\NVar{b_{1},\dots,b_% {q}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{a_{1},\dots,a_{p}}\atop\NVar{b_{1},% \dots,b_{q}}};\NVar{z}\right)$ : alternatively ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{\mathbf{a}};\NVar{\mathbf{b}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{\mathbf{a}}\atop\NVar{\mathbf{b}}};% \NVar{z}\right)$ generalized hypergeometric function, $z$ : complex variable and $b,b_{1},\ldots,b_{q}$ : real or complex parameters Permalink: http://dlmf.nist.gov/16.3.E6 Encodings: TeX, pMML, png See also: Annotations for §16.3(ii), §16.3 and Ch.16

16.3.7		${{}_{3}F_{2}}\left({a_{1}+2,a_{2},a_{3}\atop b_{1},b_{2}};z\right)a_{1}(a_{1}+% 1)(1-z)+{{}_{3}F_{2}}\left({a_{1}+1,a_{2},a_{3}\atop b_{1},b_{2}};z\right)a_{1% }\left(b_{1}+b_{2}-3a_{1}-2+z(2a_{1}-a_{2}-a_{3}+1)\right)+{{}_{3}F_{2}}\left(% {a_{1},a_{2},a_{3}\atop b_{1},b_{2}};z\right)\left((2a_{1}-b_{1})(2a_{1}-b_{2}% )+a_{1}-a_{1}^{2}-z(a_{1}-a_{2})(a_{1}-a_{3})\right)-{{}_{3}F_{2}}\left({a_{1}% -1,a_{2},a_{3}\atop b_{1},b_{2}};z\right)(a_{1}-b_{1})(a_{1}-b_{2})=0.$
ⓘ Symbols: ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{a_{1},\dots,a_{p}};\NVar{b_{1},\dots,b_% {q}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{a_{1},\dots,a_{p}}\atop\NVar{b_{1},% \dots,b_{q}}};\NVar{z}\right)$ : alternatively ${{}_{\NVar{p}}F_{\NVar{q}}}\left(\NVar{\mathbf{a}};\NVar{\mathbf{b}};\NVar{z}\right)$ or ${{}_{\NVar{p}}F_{\NVar{q}}}\left({\NVar{\mathbf{a}}\atop\NVar{\mathbf{b}}};% \NVar{z}\right)$ generalized hypergeometric function, $z$ : complex variable, $a,a_{1},\ldots,a_{p}$ : real or complex parameters and $b,b_{1},\ldots,b_{q}$ : real or complex parameters Referenced by: §16.4(iii) Permalink: http://dlmf.nist.gov/16.3.E7 Encodings: TeX, pMML, png See also: Annotations for §16.3(ii), §16.3 and Ch.16

For further examples see §§13.3(i), 15.5(ii), and the following references: Rainville (1960, §48), Wimp (1968), and Luke (1975, §5.13).

16.2 Definition and Analytic Properties 16.4 Argument Unity

Site Privacy Accessibility Privacy Program Copyrights Vulnerability Disclosure No Fear Act Policy FOIA Environmental Policy Scientific Integrity Information Quality Standards Commerce.gov Science.gov USA.gov

§16.3 Derivatives and Contiguous Functions

Contents

§16.3(i) Differentiation Formulas

§16.3(ii) Contiguous Functions