Math 2.0

Special functions Definition

Tricomi confluent hypergeometric function

Builds on Confluent hypergeometric functionGamma functionKummer's equation

Definition

Let aa and bb be complex numbers, let z∈ℂ∖(−∞,0]z \in \C \setminus (-\infty, 0], and let z1−bz^{1 - b} be the principal branch. Let MM be Kummer's function and Γ\Gamma the gamma function, with 1/Γ1/\Gamma read as 00 at the poles of Γ\Gamma. If b∉ℤb \notin \Z, the Tricomi confluent hypergeometric function is U(a,b,z)=Γ(1−b)Γ(a−b+1)M(a,b,z)+Γ(b−1)Γ(a)z1−bM(a−b+1,2−b,z).U(a, b, z) = \frac{\Gamma(1 - b)}{\Gamma(a - b + 1)} M(a, b, z) + \frac{\Gamma(b - 1)}{\Gamma(a)} z^{1 - b} M(a - b + 1, 2 - b, z). If b∈ℤb \in \Z, it is defined by continuity: U(a,b,z)=lim⁡β→bU(a,β,z)U(a, b, z) = \lim_{\beta \to b} U(a, \beta, z).

Remarks

The function U(a,b,⋅)U(a, b, \cdot) solves Kummer's equation, since both terms of the definition do. It is characterised among the solutions by U(a,b,z)∼z−aU(a, b, z) \sim z^{-a} as z→∞z \to \infty with ∣arg⁡z∣<3π2−δ\abs{\arg z} < \frac{3\pi}{2} - \delta, for each δ>0\delta > 0. For Re⁡a>0\operatorname{Re} a > 0 and Re⁡z>0\operatorname{Re} z > 0 it has the integral form U(a,b,z)=1Γ(a)∫0∞e−zt ta−1(1+t)b−a−1 dt.U(a, b, z) = \frac{1}{\Gamma(a)} \int_0^\infty e^{-zt}\, t^{a - 1} (1 + t)^{b - a - 1}\, dt. Example: U(a,a+1,z)=z−aU(a, a + 1, z) = z^{-a}; for Re⁡a>0\operatorname{Re} a > 0 and Re⁡z>0\operatorname{Re} z > 0 the integral is 1Γ(a)∫0∞e−ztta−1 dt=z−a\frac{1}{\Gamma(a)} \int_0^\infty e^{-zt} t^{a - 1}\, dt = z^{-a}. Non-example: M(a,b,z)M(a, b, z) itself is in general not a multiple of U(a,b,z)U(a, b, z); for a=ba = b it is eze^z, which grows faster than any power as z→+∞z \to +\infty. The two functions satisfy Kummer's second transformation U(a,b,z)=z1−bU(a−b+1,2−b,z)U(a, b, z) = z^{1 - b} U(a - b + 1, 2 - 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. Confluent hypergeometric function concept
  2. Gamma function concept
  3. Kummer's equation concept
  4. Tricomi confluent hypergeometric function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Confluent_hypergeometric_function
About this page
TagVVVJ655R0J
URIm2://VVVJ655R0J
Kinddefinition
WritingW0 stub
MSC33C15
DefinesTricomi confluent hypergeometric function
UsesConfluent hypergeometric function, Gamma function, Kummer's equation

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.