Math 2.0

Special functions Definition

Lauricella hypergeometric series

Builds on Pochhammer symbolAppell seriesGamma function

Definition

Let n≥1n \ge 1 be an integer, let x=(x1,…,xn)∈ℂnx = (x_1, \dots, x_n) \in \C^n, and let a,ai,b,bi,c,cia, a_i, b, b_i, c, c_i be complex numbers with every lower parameter c,cic, c_i outside {0,−1,−2,… }\set{0, -1, -2, \dots}. Write (x)k(x)_k for the Pochhammer symbol, and for a multi-index m=(m1,…,mn)∈ℕnm = (m_1, \dots, m_n) \in \N^n write ∣m∣=m1+⋯+mn\abs{m} = m_1 + \cdots + m_n, m!=m1!⋯mn!m! = m_1! \cdots m_n! and xm=x1m1⋯xnmnx^m = x_1^{m_1} \cdots x_n^{m_n}. The four Lauricella series are:

  1. FA(n)(a;b1,…,bn;c1,…,cn;x)=∑m(a)∣m∣(b1)m1⋯(bn)mn(c1)m1⋯(cn)mnxmm!F_A^{(n)}(a; b_1, \dots, b_n; c_1, \dots, c_n; x) = \sum_{m} \frac{(a)_{\abs{m}} (b_1)_{m_1} \cdots (b_n)_{m_n}}{(c_1)_{m_1} \cdots (c_n)_{m_n}} \frac{x^m}{m!}, convergent for ∣x1∣+⋯+∣xn∣<1\abs{x_1} + \cdots + \abs{x_n} < 1;
  2. FB(n)(a1,…,an;b1,…,bn;c;x)=∑m(a1)m1⋯(an)mn(b1)m1⋯(bn)mn(c)∣m∣xmm!F_B^{(n)}(a_1, \dots, a_n; b_1, \dots, b_n; c; x) = \sum_{m} \frac{(a_1)_{m_1} \cdots (a_n)_{m_n} (b_1)_{m_1} \cdots (b_n)_{m_n}}{(c)_{\abs{m}}} \frac{x^m}{m!}, convergent for ∣xi∣<1\abs{x_i} < 1 for all ii;
  3. FC(n)(a;b;c1,…,cn;x)=∑m(a)∣m∣(b)∣m∣(c1)m1⋯(cn)mnxmm!F_C^{(n)}(a; b; c_1, \dots, c_n; x) = \sum_{m} \frac{(a)_{\abs{m}} (b)_{\abs{m}}}{(c_1)_{m_1} \cdots (c_n)_{m_n}} \frac{x^m}{m!}, convergent for ∣x1∣+⋯+∣xn∣<1\sqrt{\abs{x_1}} + \cdots + \sqrt{\abs{x_n}} < 1;
  4. FD(n)(a;b1,…,bn;c;x)=∑m(a)∣m∣(b1)m1⋯(bn)mn(c)∣m∣xmm!F_D^{(n)}(a; b_1, \dots, b_n; c; x) = \sum_{m} \frac{(a)_{\abs{m}} (b_1)_{m_1} \cdots (b_n)_{m_n}}{(c)_{\abs{m}}} \frac{x^m}{m!}, convergent for ∣xi∣<1\abs{x_i} < 1 for all ii.

Each sum runs over all m∈ℕnm \in \N^n.

Remarks

For n=2n = 2 the four series are the Appell series: FA=F2F_A = F_2, FB=F3F_B = F_3, FC=F4F_C = F_4 and FD=F1F_D = F_1. Example: for n=1n = 1 all four series reduce to ∑k(a)k(b)k(c)kxkk!=2F1(a,b;c;x)\sum_{k} \frac{(a)_k (b)_k}{(c)_k} \frac{x^k}{k!} = {}_2F_1(a, b; c; x), with b=b1b = b_1 and c=c1c = c_1 as needed; the check is a direct comparison of coefficients. Non-example: the point x1=x2=12x_1 = x_2 = \frac12 is outside the region of convergence of FA(2)F_A^{(2)}; with a=1a = 1 and bi=cib_i = c_i the series is ∑N≥0(x1+x2)N\sum_{N \ge 0} (x_1 + x_2)^N, which diverges there. For Re⁡c>Re⁡a>0\operatorname{Re} c > \operatorname{Re} a > 0, with Γ\Gamma the gamma function, the series FDF_D has the integral form FD(n)(a;b1,…,bn;c;x)=Γ(c)Γ(a)Γ(c−a)∫01ta−1(1−t)c−a−1∏i=1n(1−xit)−bi dt.F_D^{(n)}(a; b_1, \dots, b_n; c; x) = \frac{\Gamma(c)}{\Gamma(a)\Gamma(c - a)} \int_0^1 t^{a - 1} (1 - t)^{c - a - 1} \prod_{i = 1}^{n} (1 - x_i t)^{-b_i}\, dt.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Appell series concept
  2. Gamma function concept
  3. Pochhammer symbol concept
  4. Lauricella hypergeometric series definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Lauricella_hypergeometric_series
About this page
TagPKYQY68PCB
URIm2://PKYQY68PCB
Kinddefinition
WritingW0 stub
MSC33C65, 33C70
DefinesLauricella hypergeometric series
UsesPochhammer symbol, Appell series, Gamma function

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.