Math 2.0

Special functions Definition

Meixner polynomials

Builds on Pochhammer symbolHypergeometric function

Definition

Let β>0\beta > 0 and 0<c<10 < c < 1 be real numbers, and let n≥0n \ge 0 be an integer. Write (a)k(a)_k for the Pochhammer symbol. The Meixner polynomial of degree nn is Mn(x;β,c)=∑k=0n(−n)k (−x)k(β)k k!(1−1c)k,M_n(x; \beta, c) = \sum_{k=0}^{n} \frac{(-n)_k \, (-x)_k}{(\beta)_k \, k!} \left( 1 - \frac{1}{c} \right)^k, that is, Mn(x;β,c)=2F1(−n,−x;β;1−1c)M_n(x; \beta, c) = {}_2F_1\left( -n, -x; \beta; 1 - \frac{1}{c} \right), a terminating hypergeometric function.

Remarks

They are orthogonal on the nonnegative integers: ∑x=0∞(β)xx!cxMm(x;β,c)Mn(x;β,c)=c−n n!(β)n(1−c)βδmn.\sum_{x=0}^{\infty} \frac{(\beta)_x}{x!} c^x M_m(x; \beta, c) M_n(x; \beta, c) = \frac{c^{-n} \, n!}{(\beta)_n (1 - c)^\beta} \delta_{mn}. Example: M1(x;β,c)=1−(1−c)xβcM_1(x; \beta, c) = 1 - \frac{(1 - c) x}{\beta c}. Check: the weights sum to (1−c)−β(1 - c)^{-\beta}, and their mean value of xx is βc1−c\frac{\beta c}{1 - c}, so the weighted sum of M1M_1 is (1−c)−β(1−1)=0(1 - c)^{-\beta} (1 - 1) = 0. Non-example: for c≥1c \ge 1 the clause 0<c<10 < c < 1 fails, and the weights (β)xx!cx\frac{(\beta)_x}{x!} c^x do not have a finite sum, so the orthogonality relation has no meaning. Limit to Laguerre: lim⁡c→1Mn(x1−c;α+1,c)=Ln(α)(x)Ln(α)(0)\lim_{c \to 1} M_n\left( \frac{x}{1 - c}; \alpha + 1, c \right) = \frac{L_n^{(\alpha)}(x)}{L_n^{(\alpha)}(0)}.

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. Hypergeometric function concept
  2. Pochhammer symbol concept
  3. Meixner polynomials definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Meixner_polynomials
About this page
Tag88GQ3KHQ3Q
URIm2://88GQ3KHQ3Q
Kinddefinition
WritingW0 stub
MSC33C45, 42C05
DefinesMeixner polynomials
UsesPochhammer symbol, Hypergeometric function

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • 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.