Can Bessel Functions Solve Cell Biology Mysteries?

[Mapes]

I'm confused about differentiating an improper integral. Consider the function

F(r)=\int_0^\infty J_0(rx)\,dx=\frac{1}{r}\int_0^\infty J_0(m)\,dm=\frac{1}{r}

where I've solved the integral by making the substitution m=rx (I think this is OK). Now I would like to find \frac{\partial F}{\partial r}. From the solution I know that this is -\frac{1}{r^2}, but I would like to do it another way, by differentiating inside the integral. I thought it was allowable to write

\frac{\partial F(r)}{\partial r}=\int_0^\infty \frac{\partial}{\partial r}J_0(rx)\,dx=\int_0^\infty -x\,J_1(rx)\,dx

but this integral doesn't converge. Where have I gone wrong? Thanks!

 

[John Creighto]

I'm confused about differentiating an improper integral. Consider the function

F(r)=\int_0^\infty J_0(rx)\,dx=\frac{1}{r}\int_0^\infty J_0(m)\,dm=\frac{1}{r}

where I've solved the integral by making the substitution m=rx (I think this is OK). Now I would like to find \frac{\partial F}{\partial r}. From the solution I know that this is -\frac{1}{r^2}, but I would like to do it another way, by differentiating inside the integral. I thought it was allowable to write

\frac{\partial F(r)}{\partial r}=\int_0^\infty \frac{\partial}{\partial r}J_0(rx)\,dx=\int_0^\infty -x\,J_1(rx)\,dx

but this integral doesn't converge. Where have I gone wrong? Thanks!

Are you sure it doesn’t converge? You should be able to switch the order of differentiation and integration provided that the limits of integration do not depend on the dependent variable of the derivative.

 

[Mapes]

Mathematica says it doesn't converge. If all of my operations are valid, however, then it does converge and equals -\frac{1}{r^2}. This would mean that

\int^\infty_0 m\,J_1(m)\,dm=1

I'm wary about this equation, though. I haven't seen it in any tables of integrals.

 

[John Creighto]

Mathematica says it doesn't converge. If all of my operations are valid, however, then it does converge and equals -\frac{1}{r^2}. This would mean that

\int^\infty_0 m\,J_1(m)\,dm=1

I'm wary about this equation, though. I haven't seen it in any tables of integrals.

I wonder if mathematic uses any convergence tests. I'm never 100% confident in answers produced by computer algebra systems. Perhaps consider re-asking the question on either the mathematica news group or the symbolic math newsgroup.

 

[Pere Callahan]

Improper integrals of Bessel functions are definitely a weak point of Mathematica. Only recently I encountered a very similar problem. (It was convergent after all.)

Do you have any additional parameters in your integrand which might cause mathematica's convergence tests to fail? If so, try setting them to some fixed value. (In my case, Assuming[] nd With[] was not enough.)

You can also use NIntegrate to check if it converges. It might produce a warnign that it is not, but as long as it gives a reasonable numerical answer it's a good indication that it converges

 

[John Creighto]

Some readers my find the following interesting:

Why Computer Algebra Systems Can't Solve Simple Equations
http://www.cs.berkeley.edu/~fateman/algebra.html

 

[Mapes]

Thanks, very interesting. I also enjoyed the paper (found via the second link) on speaking math to a computer.

 

[Rainbow Child]

The Bessel functions satisy the recurrence relations

J_{n-1}+J_{n+1}=\frac{2\,n}{x}\,J_n\quad \text{and} \quad J_{n-1}-J_{n+1}=2\,J_n'

Adding these, you get

x\,J_{n-1}=n\,J_n+x\,J_n'\overset{n=2}\Rightarrow x\,J_1=2\,J_2+x\,J_2'

while integrating from 0 to \infty

\int_0^\infty x\,J_1\,d\,x=2\int_0^\infty J_2\,d\,x+\int_0^\infty x\,J_2'\,d\,x

The first one equals 2 since \int_0^\infty J_2\,d\,x=1 and the second one can be evaluated by integrating by parts, i.e.

\int_0^\infty x\,J_2'\,d\,x=x\,J_2(x)\Big|_0^\infty-\int_0^\infty J_2\,d\,x=-1

thus

\int_0^\infty x\,J_1(x)\,d\,x=1

 

[Mapes]

Very appreciated, thanks. Wow, now I can show that

\int_0^\infty x\,J_0(x)\,d\,x=0
\int_0^\infty x\,J_2(x)\,d\,x=2
etc.

Believe it or not, this is contributing to a journal article in cell biology that I'm working on. When tissue cells attach to a surface, they exert stress on the substrate that can be modeled with elasticity theory. Bessel functions arise naturally from assuming that the stress is applied over a circular area.