 Forum index » Science and Technology » Math » Research
Author Message
Gene Ward Smith
science forum Guru

Joined: 08 Jul 2005
Posts: 409 Posted: Wed Jul 05, 2006 12:19 am    Post subject: Thoughts on Bessel functions Consider the homogenous differential equation

x y'' + (n+1) y' = y

where n is a fixed complex number. If n is not a negative integer, we
can develop one solution in series as

B_n(x) = \sum_i=0^infinity 1/(n+1)^(i) x^i/i! = \sum_i=0^infinity
x^i/(C(n+i,n) i!^2)

Here a^(b) = Gamma(a+b)/Gamma(a) is the Pochhammer symbol, and C(a,b)
the extended binomial coefficient function.

The Bessel functions and modified Bessel functions of the first kind
can both be expressed in terms of B_n. We have

B_n(x) = n! I_n(2 sqrt(x))/x^(n/2)

so that

I_n(z) = 1/n! (z/2)^n B_n(z^2/4)

Similarly, we have

J_n(z) = 1/n! (z/2)^n B_n(-z^2/4)

Outside of n equaling a negative integer, this function B is better
behaved than the Bessel functions, since it is entire. It has a simpler
differential equation. It expresses both the J and I functions in terms
of a single function without requiring imaginary arguments. Arguably,
it seems to me, it is a better way to start out the theory of Bessel
functions. What I'm wondering is if anyone has actually done this, and
if B_n has a name. Also, can anyone see why this approach isn't used,
if in fact it is not? Richard Mathar
science forum beginner

Joined: 23 May 2005
Posts: 45 Posted: Fri Jul 07, 2006 6:41 pm    Post subject: Re: Thoughts on Bessel functions genewardsmith@gmail.com writes:
 Quote: Consider the homogenous differential equation x y'' + (n+1) y' = y where n is a fixed complex number. If n is not a negative integer, we can develop one solution in series as B_n(x) = \sum_i=0^infinity 1/(n+1)^(i) x^i/i! = \sum_i=0^infinity x^i/(C(n+i,n) i!^2) Here a^(b) = Gamma(a+b)/Gamma(a) is the Pochhammer symbol, and C(a,b) the extended binomial coefficient function. The Bessel functions and modified Bessel functions of the first kind can both be expressed in terms of B_n. We have B_n(x) = n! I_n(2 sqrt(x))/x^(n/2) so that I_n(z) = 1/n! (z/2)^n B_n(z^2/4) Similarly, we have J_n(z) = 1/n! (z/2)^n B_n(-z^2/4) Outside of n equaling a negative integer, this function B is better behaved than the Bessel functions, since it is entire. It has a simpler differential equation. It expresses both the J and I functions in terms of a single function without requiring imaginary arguments. Arguably, it seems to me, it is a better way to start out the theory of Bessel functions. What I'm wondering is if anyone has actually done this, and if B_n has a name. Also, can anyone see why this approach isn't used, if in fact it is not?

The B_n(z^2/4) is usually written (see 9.6.47 in the Handbook of
Mathematical Functions, edited by Abramowitz and Stegun) as 0F1(n+1,z^2/4),
so it is too close to a special case of hypergeometric and confluent
hypergeometric functions to spend a new name on it.

The use of Bessel functions is first of all tied to the fact that they
appear as solutions to many differential equations in engineering and physics;
so everybody would rather use the "old" Bessel function notation instead
of any "new" B-Function notation if the solution to such a real-world problem
is needed as a paper-saving argument. Also: simplicity of the differential
equation is not a unique argument: if we use diffraction theory of circular
pupils in optics, we need the Fourier transforms of Chebyshev polynomials and
immediately face the integral representations of the Bessel functions, so
simplicity of integral representations is also a nice feature.

Also: what would be the linearly independent counterpart of B_n? This must
be of equivalent simplicity to convince us to switch so we can patch
solutions to the DE across boundaries  Gene Ward Smith
science forum Guru

Joined: 08 Jul 2005
Posts: 409 Posted: Sat Jul 08, 2006 7:50 am    Post subject: Re: Thoughts on Bessel functions Richard Mathar wrote:

 Quote: The B_n(z^2/4) is usually written (see 9.6.47 in the Handbook of Mathematical Functions, edited by Abramowitz and Stegun) as 0F1(n+1,z^2/4), so it is too close to a special case of hypergeometric and confluent hypergeometric functions to spend a new name on it.

I found by consulting Watson that A. George Greenhill called it the
Bessel-Clifford function, however.

 Quote: The use of Bessel functions is first of all tied to the fact that they appear as solutions to many differential equations in engineering and physics; so everybody would rather use the "old" Bessel function notation instead of any "new" B-Function notation if the solution to such a real-world problem is needed as a paper-saving argument.

Greenhill also pointed out that sometimes the "new" Bessel functions
(which are actually older than Bessel, as Lagrange used them) sometimes
work better in some engineering situations.

Also: simplicity of the differential
 Quote: equation is not a unique argument: if we use diffraction theory of circular pupils in optics, we need the Fourier transforms of Chebyshev polynomials and immediately face the integral representations of the Bessel functions, so simplicity of integral representations is also a nice feature.

Once again, sometimes these become simpler, and sometimes they are not.

 Quote: Also: what would be the linearly independent counterpart of B_n? This must be of equivalent simplicity to convince us to switch so we can patch solutions to the DE across boundaries Here's an integral representation for it:

x^(-n/2) K_n(2 sqrt(x)) = (1/2) int_0^infinity exp(-t-x/t) dt/t^(n+1)

defined for Re(x) > 0.

This not only defines the other solution, x^(-n/2)K_n(2 sqrt(x)), it
provides an example of when the integral representation is simpler in
the "new" form.

If we don't normalize the hypergeometric way, but instead use
x^(-n/2)I_n(2 sqrt(x)), we get another very nice feature, by the way: a
function with which is holomorphic on C^2; in other words, in both
variables n and x.  Display posts from previous: All Posts1 Day7 Days2 Weeks1 Month3 Months6 Months1 Year Oldest FirstNewest First
 The time now is Tue Mar 26, 2019 3:57 am | All times are GMT Forum index » Science and Technology » Math » Research
 Jump to: Select a forum-------------------Forum index|___Science and Technology    |___Math    |   |___Research    |   |___num-analysis    |   |___Symbolic    |   |___Combinatorics    |   |___Probability    |   |   |___Prediction    |   |       |   |___Undergraduate    |   |___Recreational    |       |___Physics    |   |___Research    |   |___New Theories    |   |___Acoustics    |   |___Electromagnetics    |   |___Strings    |   |___Particle    |   |___Fusion    |   |___Relativity    |       |___Chem    |   |___Analytical    |   |___Electrochem    |   |   |___Battery    |   |       |   |___Coatings    |       |___Engineering        |___Control        |___Mechanics        |___Chemical

 Topic Author Forum Replies Last Post Similar Topics Generating function for Mathieu functions cosmicstring@gmail.com Math 1 Fri Jul 21, 2006 8:39 am Entire functions, polynomial bounds david petry Math 2 Thu Jul 20, 2006 11:09 pm Are Bessel Functions Transcendental? John Schutkeker Math 28 Tue Jul 18, 2006 2:24 am scalar functions on non-diagonalizable matrices xyz91234@yahoo.com Math 6 Mon Jul 17, 2006 5:37 pm Optimization of noisy functions John Herman num-analysis 2 Sat Jul 15, 2006 2:33 pm