How to do integrals involving two Bessel functions and another function? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T14:00:26Z http://mathoverflow.net/feeds/question/83023 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/83023/how-to-do-integrals-involving-two-bessel-functions-and-another-function How to do integrals involving two Bessel functions and another function? renphysics 2011-12-09T02:56:54Z 2011-12-10T03:17:04Z <p>I often encounter the integrals in the following form:</p> <p>$\int_0^\infty{\rm Bessel}(ax)\cdot{\rm Bessel}(bx)\cdot f(cx)dx$,</p> <p>where Bessel can be $J$, $N$, $H^{(1)}$, $H^{(2)}$, $I$, or $K$; and $f(x)$ can be $\sin(x)$, $e^x$, etc. For example,</p> <p>$\int_0^\infty K_\nu(ax)I_\nu(bx)\cos(cx)dx=\frac{1}{2\sqrt{ab}}Q_{\nu-1/2}(\frac{a^2+b^2+c^2}{2ab})$,$\qquad{\rm Re}(a)>|{\rm Re}(b)|$, $c>0$, ${\rm Re}(\nu)>-1/2$</p> <p>I already know the result of this integral because it is in Gradshtein &amp; Ryzhik's book. Sometimes the integration is with respect to the order of the Bessel function.</p> <p>Both Mathematica 8 and Maple 15 cannot do this kind of integrals. When the integral involves two Bessel functions or two other special functions, Mathematica and Maple usually cannot do even if the integral has a closed-form result. My questions are as follows:</p> <ol> <li><p>Is there any general theory about how to do this kind of integrals? (I wonder how the authors of that book did the above integral.)</p></li> <li><p>I know there is a Mathematica package "<a href="http://www.risc.jku.at/research/combinat/software/HolonomicFunctions/" rel="nofollow">HolonomicFunctions</a>." It seems that this package can help, but it does not seem very straightforward to obtain the final result. This package can verify the integrals with already known results, but can it do new integrals as above? Are there any better ways to deal with these integrals by computer?</p></li> </ol> http://mathoverflow.net/questions/83023/how-to-do-integrals-involving-two-bessel-functions-and-another-function/83053#83053 Answer by Jacques Carette for How to do integrals involving two Bessel functions and another function? Jacques Carette 2011-12-09T13:01:59Z 2011-12-09T13:01:59Z <p>The best tool for trying to deal with such integrals is Fredéric Chyzak's <a href="http://algo.inria.fr/chyzak/mgfun.html" rel="nofollow">MGfun package</a> (available as part of the <a href="http://algo.inria.fr/libraries/" rel="nofollow">Algolib</a> library).</p> <p>For your example, you should get a system of differential equations (for the integrand) for $a,b,c$ and $x$; you can leave $\nu$ as a parameter, or get a (mixed) difference equation for it. Then using this package, you can try to do elimination, which will give you a new system for the answer. </p> <p>Note that this method is a vast generalization of using the Meijer G-function as an intermediary (since MeijerG is the most general function whose series expansion / asymptotic expansion at 0 has coefficients satisfy a recurrence of order <strong>1</strong>). </p> http://mathoverflow.net/questions/83023/how-to-do-integrals-involving-two-bessel-functions-and-another-function/83102#83102 Answer by Tom Dickens for How to do integrals involving two Bessel functions and another function? Tom Dickens 2011-12-10T03:17:04Z 2011-12-10T03:17:04Z <p>Take a look at "A Treatise on the Theory of Bessel Functions" by Watson. There is a long chapter on integrating Bessel functions over the infinite range $0-\infty$. </p> <p>In addition, I think a Mellin transform approach could very well get you what you want. The idea is to find Mellin transforms of the functions in the integrand (most often separated into two parts) and use Parseval's theorem to write the integral as a contour integral. Then one can often move the contour over the poles of the integrand and generate a series representation of the integral, which can sometimes be identified as some known special function. </p> <p>You could look at the paper <a href="http://www.risc.jku.at/publications/download/risc_3924/AlgorithmicMellinTransform.pdf" rel="nofollow">http://www.risc.jku.at/publications/download/risc_3924/AlgorithmicMellinTransform.pdf</a> which briefly describes the method and shows a computer algebra technique for getting the final result. There is also a great, simple book by Fikoris called "Mellin Transform Method for Integral Evaluation." </p> <p>Good luck, Tom</p>