嫪丽切拉函数

{{inuse|24小时]] Lauricella超几何函数是1893年意大利数学Giuseppe Lauricella首先研究的三元超几何函数。

F_{A}^{(3)}(a,b_{1},b_{2},b_{3},c_{1},c_{2},c_{3};x_{1},x_{2},x_{3})=\sum _{i_{1},i_{2},i_{3}=0}^{\infty }{\frac {(a)_{i_{1}+i_{2}+i_{3}}(b_{1})_{i_{1}}(b_{2})_{i_{2}}(b_{3})_{i_{3}}}{(c_{1})_{i_{1}}(c_{2})_{i_{2}}(c_{3})_{i_{3}}\,i_{1}!\,i_{2}!\,i_{3}!}}\,x_{1}^{i_{1}}x_{2}^{i_{2}}x_{3}^{i_{3}}

其中 |x₁| + |x₂| + |x₃| < 1

F_{B}^{(3)}(a_{1},a_{2},a_{3},b_{1},b_{2},b_{3},c;x_{1},x_{2},x_{3})=\sum _{i_{1},i_{2},i_{3}=0}^{\infty }{\frac {(a_{1})_{i_{1}}(a_{2})_{i_{2}}(a_{3})_{i_{3}}(b_{1})_{i_{1}}(b_{2})_{i_{2}}(b_{3})_{i_{3}}}{(c)_{i_{1}+i_{2}+i_{3}}\,i_{1}!\,i_{2}!\,i_{3}!}}\,x_{1}^{i_{1}}x_{2}^{i_{2}}x_{3}^{i_{3}}

其中 |x₁| < 1, |x₂| < 1, |x₃| < 1

F_{C}^{(3)}(a,b,c_{1},c_{2},c_{3};x_{1},x_{2},x_{3})=\sum _{i_{1},i_{2},i_{3}=0}^{\infty }{\frac {(a)_{i_{1}+i_{2}+i_{3}}(b)_{i_{1}+i_{2}+i_{3}}}{(c_{1})_{i_{1}}(c_{2})_{i_{2}}(c_{3})_{i_{3}}\,i_{1}!\,i_{2}!\,i_{3}!}}\,x_{1}^{i_{1}}x_{2}^{i_{2}}x_{3}^{i_{3}}

其中|x₁|^½ + |x₂|^½ + |x₃|^½ < 1

F_{D}^{(3)}(a,b_{1},b_{2},b_{3},c;x_{1},x_{2},x_{3})=\sum _{i_{1},i_{2},i_{3}=0}^{\infty }{\frac {(a)_{i_{1}+i_{2}+i_{3}}(b_{1})_{i_{1}}(b_{2})_{i_{2}}(b_{3})_{i_{3}}}{(c)_{i_{1}+i_{2}+i_{3}}\,i_{1}!\,i_{2}!\,i_{3}!}}\,x_{1}^{i_{1}}x_{2}^{i_{2}}x_{3}^{i_{3}}

其中 |x₁| < 1, |x₂| < 1, |x₃| < 1. Here the Pochhammer symbol (q)_i indicates the i-th rising factorial of q, i.e.

(q)_{i}=q\,(q+1)\cdots (q+i-1)={\frac {\Gamma (q+i)}{\Gamma (q)}}~,

where the second equality is true for all complex $q$ except $q=0,-1,-2,\ldots$ .

通过解析延拓，可将 x₁, x₂, x₃等变数扩展到其他数值.

Lauricella指出，另外还有十个三元超几何函数： F_E, F_F, ..., F_T (Saran 1954).

n 元推广

F_{A}^{(n)}(a,b_{1},\ldots ,b_{n},c_{1},\ldots ,c_{n};x_{1},\ldots ,x_{n})=\sum _{i_{1},\ldots ,i_{n}=0}^{\infty }{\frac {(a)_{i_{1}+\ldots +i_{n}}(b_{1})_{i_{1}}\cdots (b_{n})_{i_{n}}}{(c_{1})_{i_{1}}\cdots (c_{n})_{i_{n}}\,i_{1}!\cdots \,i_{n}!}}\,x_{1}^{i_{1}}\cdots x_{n}^{i_{n}}~,

当 n = 2,时 the Lauricella 超几何函数化为二元阿佩尔函数 :

F_{A}^{(2)}\equiv F_{2},\quad F_{B}^{(2)}\equiv F_{3},\quad F_{C}^{(2)}\equiv F_{4},\quad F_{D}^{(2)}\equiv F_{1}.

当 n = 1, a则化为超计划函数:

F_{A}^{(1)}(a,b,c;x)\equiv F_{B}^{(1)}(a,b,c;x)\equiv F_{C}^{(1)}(a,b,c;x)\equiv F_{D}^{(1)}(a,b,c;x)\equiv {_{2}}F_{1}(a,b;c;x).

F_{D}^{(n)}(a,b_{1},\ldots ,b_{n},c;x_{1},\ldots ,x_{n})={\frac {\Gamma (c)}{\Gamma (a)\Gamma (c-a)}}\int _{0}^{1}t^{a-1}(1-t)^{c-a-1}(1-x_{1}t)^{-b_{1}}\cdots (1-x_{n}t)^{-b_{n}}\,\mathrm {d} t,\quad \Re \,c>\Re \,a>0~.

\Pi (n,\phi ,k)=\int _{0}^{\phi }{\frac {\mathrm {d} \theta }{(1-n\sin ^{2}\theta ){\sqrt {1-k^{2}\sin ^{2}\theta }}}}=\sin \phi \,F_{D}^{(3)}({\tfrac {1}{2}},1,{\tfrac {1}{2}},{\tfrac {1}{2}},{\tfrac {3}{2}};n\sin ^{2}\phi ,\sin ^{2}\phi ,k^{2}\sin ^{2}\phi ),\quad |\Re \,\phi |<{\frac {\pi }{2}}~.

Appell, Paul; Kampé de Fériet, Joseph. Fonctions hypergéométriques et hypersphériques; Polynômes d'Hermite. Paris: Gauthier–Villars. 1926. JFM 52.0361.13 （French）. (see p. 114)
Exton, Harold. Multiple hypergeometric functions and applications. Mathematics and its applications. Chichester, UK: Halsted Press, Ellis Horwood Ltd. 1976. ISBN 0-470-15190-0. MR 0422713.
Lauricella, Giuseppe. Sulle funzioni ipergeometriche a più variabili. Rendiconti del Circolo Matematico di Palermo. 1893, 7 (S1): 111–158. JFM 25.0756.01. doi:10.1007/BF03012437 （Italian）.
Saran, Shanti. Hypergeometric Functions of Three Variables. Ganita. 1954, 5 (1): 77–91. ISSN 0046-5402. MR 0087777. Zbl 0058.29602. (corrigendum 1956 in Ganita 7, p. 65)
Slater, Lucy Joan. Generalized hypergeometric functions. Cambridge, UK: Cambridge University Press. 1966. ISBN 0-521-06483-X. MR 0201688. (there is a 2008 paperback with ISBN 978-0-521-09061-2)
Srivastava, Hari M.; Karlsson, Per W. Multiple Gaussian hypergeometric series. Mathematics and its applications. Chichester, UK: Halsted Press, Ellis Horwood Ltd. 1985. ISBN 0-470-20100-2. MR 0834385. (there is another edition with ISBN 0-85312-602-X)