Differentiatiang Bessel functions

In summary, Pere found a way to evaluate the derivatives of the Bessel-J_1 function at two using the binomial theorem.
  • #1
Pere Callahan
586
1
Hi all,

I am trying to find an expression for the values of the derivates of the Bessel-[tex]J_1[/tex] functions at two.

The function is defined by

[tex]J_1(x)=\sum_{k=0}^\infty{\frac{(-1)^k}{(k+1)!k!}\left(\frac{x}{2}\right)^{2k+1}}[/tex]

this I can differentiate term by term, finding for the n^th derivative at two:[tex]J_1^{(n)}(2)=\sum_{k=\left\lfloor\frac{n}{2}\right\rfloor}^\infty{\frac{(-1)^k(2k+1)!}{(k+1)!k!(2k+1-n)!2^n}}[/tex]

Does anybody know a nice expression for this? It can probably be written as the sum of two Besselfunctions evaluated at two, but I have no idea how to find the coefficients...

Thanks

-PereEdit:

I found that for n even the result can be written as a linear combination of [tex]J_1(2)\text{ and } J_2(2)[/tex]. When multiplied by 2^n the coefficients are all integral ... (Experimental results).
I tried the sequence of these integers in that famous integers sequence database, but nothing ...
 
Last edited:
Physics news on Phys.org
  • #2
There's an identity

[tex]J_s'(z) = \frac{1}{2}\left(J_{s-1}(z) - J_{s+1}(z)\right)[/tex]

So the nth derivative would look like

[tex]J_s^{(n)}(z) = \frac{1}{2}\left(J_{s-1}^{(n-1)}(z) - J_{s+1}^{(n-1)}(z)\right)[/tex]

I guess you might be able to figure out an expression that way. (It might perhaps be best to start with n = 2, 3... to see if you can see a pattern forming, and then use an inductive argument).

(edit: apparently I forgot the forum tag slashes are not the same direction as in LaTeX...)
 
Last edited:
  • #3
Thanks for your answer. That's what I actually did first :smile:

I got:

[tex]J_\nu^{(n)}(x)=\frac{1}{2^n}\sum_{k=0}^n{(-1)^k\left(\stackrel{n}{k}\right)J_{\nu-n+2k}(x)}[/tex]


Ok, granted, that's way nicer than the infinite sum I posted above, but still it's a sum of n Bessel functions evaluated at two.. I want to reduce it so that it only involves two Besselfunctions...any idea how this can systematically be done?

Thanks

-Pere
 
Last edited:
  • #4
I can't think of anything else to do that seems likely to produce anything nice. You might be able to use the identity

[tex]J_{s-1}(z) + J_{s+1}(z) = \frac{2s}{z}J_s(z)[/tex]
to move things around, but given that all the terms in that sum have different coefficients it might not work out so nicely (if at all).

You might see if any of the identities in http://www.math.sfu.ca/~cbm/aands/page_358.htm would help (though I didn't see any that looked useful).
 
  • #5
Pere Callahan said:
Thanks for your answer. That's what I actually did first :smile:

I got:

[tex]J_\nu^{(n)}(x)=\frac{1}{2^n}\sum_{k=0}^n{(-1)^k\left(\stackrel{n}{k}\right)J_{\nu-n+2k}(x)}[/tex]


Ok, granted, that's way nicer than the infinite sum I posted above, but still it's a sum of n Bessel functions evaluated at two.. I want to reduce it so that it only involves two Besselfunctions...any idea how this can systematically be done?

Thanks

-Pere

Sense Bessel functions are orthogonal why should should you be able to empress a sum of n Bessel functions as a some of only two Bessel functions?
 
  • #6
Only their values evaluated at two .
 
  • #7
Pere Callahan said:
Only their values evaluated at two .
So you are trying to evaluate the derivatives at X equal to 2. How about.

[tex]J_1(x)=\sum_{k=0}^\infty{\frac{(-1)^k}{(k+1)!k!}\left(\frac{x}{2}\right)^{2k+1}}[/tex]
[tex]J_1(x)=\sum_{k=0}^\infty{\frac{(-1)^k}{(k+1)!k!}\left(\frac{x-2+2}{2}\right)^{2k+1}}[/tex]
Using the binomial theorem.
[tex]J_1(x)=\sum_{k=0}^\infty{\frac{(-1)^k}{(k+1)!k!}\sum_{m=0}^{2k+1}\left(\stackrel{2k+1}{m}\right)\left(\frac{2}{2}\right)^{2k+1-m}\left(\frac{x-2}{2}\right)^{m}}[/tex]
[tex]J_1(x)=\sum_{k=0}^\infty{\frac{(-1)^k}{(k+1)!k!}\sum_{m=0}^{2k+1} \left(\stackrel{2k+1}{m}\right)\left(\frac{x-2}{2}\right)^{m}}[/tex]

Now if you can figure out how to reverse these sums you will get the Taylor coefficients at X equal to 2. This will give you your derivatives directly without having to evaluate Bessel functions. I guess this will still give you an infinite series though.
 
Last edited:
  • #8
Hi john, this looks like a good idea, thanks. I will try to work it out:smile:
 
  • #9
Here's what I get when I change the order of the sum:

[tex]J_1(x)=\sum_{m=0}^{\infty} \sum_{k=2m-1}^\infty{\frac{(-1)^k}{(k+1)!k!}\left(\stackrel{2k+1}{m}\right)\left(\frac{x-2}{2}\right)^{m}}[/tex]

Or equivalently:

[tex]J_1(x)=\sum_{m=0}^{\infty} \sum_{k=2m-1}^\infty{\frac{(-1)^k(2k+1)!}{(k+1)!(k!)(2k+1-m)!m!}\left(\frac{x-2}{2}\right)^{m}}[/tex]

Okay, well, duh!. This gives me the exact same thing that you got above by differentiating the series term by term and then setting x=2.
 
  • #10
HI John, I just realized that as well - that it gives the same thing.

Hm, maybe it's easier to find a way to avoid calculating these numbers altogether ... after all I'm not interested in them for their own sake but just in order to calculate something else:smile:

Thanks for your help anyways.
 
  • #11
Pere Callahan said:
HI John, I just realized that as well - that it gives the same thing.

Hm, maybe it's easier to find a way to avoid calculating these numbers altogether ... after all I'm not interested in them for their own sake but just in order to calculate something else:smile:

Thanks for your help anyways.

What's the problem that you are trying to solve?
 
  • #12
I have some nasty integral as functions of their upper integration bound. These integrals involve Bessel functions (and some other stuff as well). Since a closed form for these integrals seems not to exist I tried to find their derivatives at the upper integration bound equal to zero (the lower integration bound is always zero, so this makes some sense). The derivatives of the integral-function at zero involve derivatives of the Bessel function at two (because the Bessel functions only occur as

[tex]J_1(2e^{-x})[/tex]

inside the integral ... However even it were possible to find the values of the derivatives of the Bessel function, the overall expression I would get looks ugly to say the least ...

My goal was to then write my function as a power series but it seems to be no more handy than the original integral representation ..
 

1. What are Bessel functions and how are they different from other functions?

Bessel functions are special mathematical functions that are commonly used in various fields such as physics, engineering, and mathematics. They are named after the German mathematician Friedrich Bessel and are characterized by their oscillatory behavior. Unlike other common functions like polynomials and trigonometric functions, Bessel functions are defined as solutions to a specific type of differential equation known as the Bessel equation.

2. What is the significance of differentiating Bessel functions?

Differentiating Bessel functions is important for solving various problems in physics and engineering that involve differential equations. By differentiating Bessel functions, we can obtain new functions that have different properties and can be used to model different physical phenomena.

3. How are Bessel functions differentiated?

Bessel functions can be differentiated using different methods, depending on the specific type of Bessel function. In general, the differentiation process involves applying the product rule, chain rule, or other differentiation rules to the Bessel functions. The resulting function may still be a Bessel function or a combination of Bessel functions.

4. What are the applications of differentiated Bessel functions?

Differentiated Bessel functions have numerous applications in physics and engineering. They are commonly used to model various physical phenomena such as heat transfer, fluid flow, and electromagnetic fields. They are also used in signal processing, image processing, and in the solution of differential equations in quantum mechanics.

5. Are there any special properties of differentiated Bessel functions?

Yes, differentiated Bessel functions have several special properties that make them useful in various applications. For example, they satisfy certain orthogonality and completeness properties, which are important in solving boundary value problems. They also have specific symmetry properties, which can be used to simplify calculations and solve differential equations more efficiently.

Similar threads

Replies
2
Views
858
Replies
5
Views
1K
Replies
1
Views
1K
Replies
3
Views
2K
Replies
3
Views
1K
  • Linear and Abstract Algebra
Replies
2
Views
977
Replies
1
Views
907
  • Calculus
Replies
1
Views
1K
Replies
5
Views
1K
Replies
1
Views
842
Back
Top