Bateman function

From HandWiki

In mathematics, the Bateman function (or k-function) is a special case of the confluent hypergeometric function studied by Harry Bateman(1931).[1][2] Bateman defined it by

[math]\displaystyle{ \displaystyle k_\nu(x) = \frac{2}{\pi}\int_0^{\pi/2}\cos(x\tan\theta-\nu\theta) \, d\theta . }[/math]

Bateman discovered this function, when Theodore von Kármán asked for the solution of the following differential equation which appeared in the theory of turbulence[3]

[math]\displaystyle{ x \frac{d^2u}{dx^2} = (x-\nu) u }[/math]

and Bateman found this function as one of the solutions. Bateman denoted this function as "k" function in honor of Theodore von Kármán.

The Bateman function for [math]\displaystyle{ x\gt 0 }[/math] is the related to the Confluent hypergeometric function of the second kind as follows

[math]\displaystyle{ k_{\nu}(x)=\frac{e^{-x}}{\Gamma\left(1+\frac{1}{2}\nu\right)} U\left(-\frac{1}{2}\nu,0,2x\right), \quad x\gt 0. }[/math]

This is not to be confused with another function of the same name which is used in Pharmacokinetics.

Havelock function

Complementary to the Bateman function, one may also define the Havelock function, named after Thomas Henry Havelock. In fact, both the Bateman and the Havelock functions were first introduced by Havelock in 1927,[4] while investigating the surface elevation of the uniform stream past an immersed circular cylinder. The Havelock function is defined by

[math]\displaystyle{ \displaystyle h_\nu(x) = \frac{2}{\pi}\int_0^{\pi/2}\sin(x\tan\theta-\nu\theta) \, d\theta . }[/math]

Properties

  • [math]\displaystyle{ k_0(x) = e^{-|x|} }[/math]
  • [math]\displaystyle{ k_{-n}(x) = k_n(-x) }[/math]
  • [math]\displaystyle{ k_n(0)=\frac{2}{n\pi} \sin \frac{n\pi}{2} }[/math]
  • [math]\displaystyle{ k_2(x)=(x+|x|) e^{-|x|} }[/math]
  • [math]\displaystyle{ |k_n(x)|\leq 1 }[/math] for real values of [math]\displaystyle{ n }[/math] and [math]\displaystyle{ x }[/math]
  • [math]\displaystyle{ k_{2n}(x)=0 }[/math] for [math]\displaystyle{ x\lt 0 }[/math] if [math]\displaystyle{ n }[/math] is a positive integer
  • [math]\displaystyle{ k_1(x) = \frac{2x}{\pi} [K_1(x) + K_0(x)], \ x\lt 0 }[/math], where [math]\displaystyle{ K_n(-x) }[/math] is the Modified Bessel function of the second kind

References

  1. Bateman, H. (1931), "The k-function, a particular case of the confluent hypergeometric function", Transactions of the American Mathematical Society 33 (4): 817–831, doi:10.2307/1989510, ISSN 0002-9947 
  2. Hazewinkel, Michiel, ed. (2001), "Bateman function", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=B/b015360 
  3. Martin, P. A., & Bateman, H. (2010). from Manchester to Manuscript Project. Mathematics Today, 46, 82-85. http://www.math.ust.hk/~machiang/papers_folder/http___www.ima.org.uk_mathematics_mt_april10_harry_bateman_from_manchester_to_manuscript_project.pdf
  4. Havelock, T. H. (1927). The method of images in some problems of surface waves. Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character, 115(771), 268-280.