Math 2.0

Special functions Definition

Confluent hypergeometric function

Builds on Pochhammer symbolKummer's equationPower series

Definition

Let aa and bb be complex numbers with b∉{0,−1,−2,… }b \notin \set{0, -1, -2, \dots}. Write (x)n=x(x+1)⋯(x+n−1)(x)_n = x (x + 1) \cdots (x + n - 1) for the Pochhammer symbol, with (x)0=1(x)_0 = 1. Kummer's confluent hypergeometric function is the power series M(a,b,z)=1F1(a;b;z)=∑n=0∞(a)n(b)nznn!,z∈ℂ.M(a, b, z) = {}_1F_1(a; b; z) = \sum_{n = 0}^{\infty} \frac{(a)_n}{(b)_n} \frac{z^n}{n!}, \qquad z \in \C. More generally, a confluent hypergeometric function is any solution of Kummer's equation zw′′+(b−z)w′−aw=0z w'' + (b - z) w' - a w = 0.

Remarks

The ratio of consecutive terms is (a+n)z(b+n)(n+1)\frac{(a + n) z}{(b + n)(n + 1)}, which tends to 00, so the series converges for every zz and M(a,b,⋅)M(a, b, \cdot) is entire. Inserting the series into Kummer's equation shows that M(a,b,z)M(a, b, z) is its solution that is analytic at 00 with M(a,b,0)=1M(a, b, 0) = 1. Example: M(a,a,z)=ezM(a, a, z) = e^z, since (a)n/(a)n=1(a)_n / (a)_n = 1. Example: M(1,2,z)=ez−1zM(1, 2, z) = \frac{e^z - 1}{z}, since (1)n(2)n n!=1(n+1)!\frac{(1)_n}{(2)_n\, n!} = \frac{1}{(n + 1)!}. Non-example: for b=−1b = -1 the series is not defined, since (b)2=0(b)_2 = 0 appears in a denominator. If a=−ma = -m with mm a nonnegative integer, the series stops and M(−m,b,z)M(-m, b, z) is a polynomial of degree mm; for b=α+1b = \alpha + 1 it is a multiple of the generalized Laguerre polynomial Lm(α)(z)L_m^{(\alpha)}(z). Another notation is Φ(a;b;z)\Phi(a; b; z).

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. Kummer's equation concept
  2. Pochhammer symbol concept
  3. Power series concept
  4. Confluent hypergeometric function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Confluent_hypergeometric_function
About this page
TagY0BA4WG2W3
URIm2://Y0BA4WG2W3
Kinddefinition
WritingW0 stub
MSC33C15
DefinesConfluent hypergeometric function
UsesPochhammer symbol, Kummer's equation, Power series

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.