Math 2.0

Special functions Definition

Racah polynomials

Builds on Pochhammer symbolGeneralized hypergeometric function

Definition

Let N≥0N \ge 0 be an integer, let α,β,γ,δ\alpha, \beta, \gamma, \delta be real numbers, and assume that one of α+1\alpha + 1, β+δ+1\beta + \delta + 1, γ+1\gamma + 1 equals −N-N. Write (a)k(a)_k for the Pochhammer symbol and set λ(x)=x(x+γ+δ+1)\lambda(x) = x(x + \gamma + \delta + 1). For 0≤n≤N0 \le n \le N, the Racah polynomial of degree nn is Rn(λ(x);α,β,γ,δ)=∑k=0n(−n)k (n+α+β+1)k (−x)k (x+γ+δ+1)k(α+1)k (β+δ+1)k (γ+1)k k!,R_n(\lambda(x); \alpha, \beta, \gamma, \delta) = \sum_{k=0}^{n} \frac{(-n)_k \, (n + \alpha + \beta + 1)_k \, (-x)_k \, (x + \gamma + \delta + 1)_k}{(\alpha + 1)_k \, (\beta + \delta + 1)_k \, (\gamma + 1)_k \, k!}, that is, the terminating generalized hypergeometric series 4F3(−n,n+α+β+1,−x,x+γ+δ+1;α+1,β+δ+1,γ+1;1){}_4F_3\left( -n, n + \alpha + \beta + 1, -x, x + \gamma + \delta + 1; \alpha + 1, \beta + \delta + 1, \gamma + 1; 1 \right), assuming the denominators do not vanish.

Remarks

Since (−x)k(x+γ+δ+1)k=∏j=0k−1(j(j+γ+δ+1)−λ(x))(-x)_k (x + \gamma + \delta + 1)_k = \prod_{j=0}^{k-1} \left( j(j + \gamma + \delta + 1) - \lambda(x) \right), each RnR_n is a polynomial of degree nn in λ(x)\lambda(x). Example: R1=1+(α+β+2) λ(x)(α+1)(β+δ+1)(γ+1)R_1 = 1 + \frac{(\alpha + \beta + 2) \, \lambda(x)}{(\alpha + 1)(\beta + \delta + 1)(\gamma + 1)}. They are orthogonal on x=0,1,…,Nx = 0, 1, \dots, N for the weight w(x)=(α+1)x(β+δ+1)x(γ+1)x(γ+δ+1)x(γ+δ+32)x(−α+γ+δ+1)x(−β+γ+1)x(γ+δ+12)x(δ+1)x x!,w(x) = \frac{(\alpha + 1)_x (\beta + \delta + 1)_x (\gamma + 1)_x (\gamma + \delta + 1)_x \left( \frac{\gamma + \delta + 3}{2} \right)_x}{(-\alpha + \gamma + \delta + 1)_x (-\beta + \gamma + 1)_x \left( \frac{\gamma + \delta + 1}{2} \right)_x (\delta + 1)_x \, x!}, that is, ∑x=0Nw(x)Rm(λ(x))Rn(λ(x))=0\sum_{x=0}^{N} w(x) R_m(\lambda(x)) R_n(\lambda(x)) = 0 for m≠nm \ne n; the weight is positive for suitable ranges of the parameters. The balanced condition holds: the sum of the lower parameters exceeds the sum of the upper ones by 11. Non-example: with α+1=−N\alpha + 1 = -N, the degree n=N+1n = N + 1 is not allowed, since the term k=N+1k = N + 1 has the factor (α+1)N+1=(−N)N+1=0(\alpha + 1)_{N+1} = (-N)_{N+1} = 0 in its denominator.

Reading path

To understand this page from the ground up, read these 3 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. Generalized hypergeometric function concept
  2. Pochhammer symbol concept
  3. Racah polynomials definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Racah_polynomials
About this page
TagZ1BRQY4S3Y
URIm2://Z1BRQY4S3Y
Kinddefinition
WritingW0 stub
MSC33C45, 33C80
DefinesRacah polynomials
UsesPochhammer symbol, Generalized hypergeometric 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.