Related papers: Symbolic integration of a product of two spherical…
We present IntU package for Mathematica computer algebra system. The presented package performs a symbolic integration of polynomial functions over the unitary group with respect to unique normalized Haar measure. We describe a number of…
We introduce a symbolic method for the evaluation of definite integrals containing combinations of various functions, including exponentials, logarithm and products of Bessel functions of different types. The method we develop is naturally…
The symbolic method is used to get explicit formulae for the products or powers of Bessel functions and for the relevant integrals.
We consider the problem of symbolic-numeric integration of symbolic functions, focusing on rational functions. Using a hybrid method allows the stable yet efficient computation of symbolic antiderivatives while avoiding issues of…
We investigate the asymptotic expansion of integrals analogous to Ball's integral \[\int_0^\infty \left(\frac{\Gamma(1+\nu)|J_\nu(x)|}{(x/2)^\nu}\right)^{\!n}dx\] for large $n$ in which the Bessel function $J_\nu(x)$ is replaced by the…
This paper derives new integral representations for products of two parabolic cylinder functions. In particular, expressions are obtained for D_{nu}(x)D_{mu}(y), with x>0 and y>0, that allow for different orders and arguments in the two…
Symbolic integration over the Haar measure of compact groups is a computational cornerstone in quantum information science and random matrix theory. We present \texttt{IntegrateUnitary.jl}, a comprehensive Julia package for computing exact…
We examine indefinite integral involving of arbitrary power $x$, multiplied by three spherical Bessel functions of the first kind $j_{h},j_{k}$, and $j_{l}$ with integer order $h,k,l \geq 0$ and an exponential. Then we add some conditions…
We examine convergent representations for the sum of Bessel functions \[\sum_{n=1}^\infty \frac{J_\mu(na) J_\nu(nb)}{n^{\alpha}}\] for $\mu$, $\nu\geq0$ and positive values of $a$ and $b$. Such representations enable easy computation of the…
In this paper, the integral $\pmatrix{\lambda_1 &\lambda_2 &\lambda_3\cr 0 &0 &0\cr}\, \int_0^\infty \, r^{\lambda_3+2}\, \exp{(-\alpha r^2)}\, j_{\lambda_1}(k_1r) \,j_{\lambda_2}(k_2r) \,dr$, where $k_1$, $k_2$ and $\alpha$ are positive,…
We consider the asymptotic expansion of the Mathieu-Bessel series \[S_\nu(a,b)=\sum_{n=1}^\infty \frac{n^\gamma J_\nu(nb/a)}{(n^2+a^2)^\mu}, \qquad (\mu, b>0,\ \gamma, \nu\in {\bf R})\] as $a\to+\infty$ with the other parameters held fixed,…
We examine convergent representations for the sum of a decaying exponential and a Bessel function in the form \[\sum_{n=1}^\infty \frac{e^{-an}}{(\frac{1}{2} bn)^\nu}\,J_\nu(bn),\] where $J_\nu(x)$ is the Bessel function of the first kind…
Series involving hypergeometric functions are used to derive, extend and evaluate integrals involving the product of two Bessel functions of the first kind $J_{u}(a z)$ $J_{v}(b z)$ with order $u,v$, studied by Landau et al. The method used…
The integrals $\threej{\Llo}{\Llt}{\Llth} {0}{0}{0}\,\int_0^\infty \,r^{\Llth+1}\,e^{-\alpha r}\,j_\Llo(k_1r)\, j_\Llt(k_2r)\,dr$ and $\threej{\Llo}{\Llt}{\Llth} {0}{0}{0}\,\int_0^\infty \,r^{\Llth+2}\,e^{-\alpha r}\,j_\Llo(k_1r)\,…
We describe a package realized in the Julia programming language which performs symbolic manipulations applied to nonlinear evolution equations, their flows, and commutators of such objects. This tool was employed to perform contrived…
We obtain the asymptotic expansion for large integer $n$ of a generalised sine-integral \[\int_0^\infty\left(\frac{\sin\,x}{x}\right)^{n}dx\] by utilising the saddle-point method. This expansion is shown to agree with recent results of J.…
Integration is indispensable, not only in mathematics, but also in a wide range of other fields. A deep learning method has recently been developed and shown to be capable of integrating mathematical functions that could not previously be…
In this paper, we prove a new integral representation for the Bessel function of the first kind $J_\mu(z)$. This formula generalizes to any $\mu,z\in\mathbb{C}$ the classical representations of Bessel and Poisson.
Spherical Bessel functions appear commonly in many areas of physics wherein there is both translation and rotation invariance, and often integrals over products of several arise. Thus, analytic evaluation of such integrals with different…
We introduce a novel method for encoding integers using smooth real-valued functions whose integral properties implicitly reflect discrete quantities. In contrast to classical representations, where the integer appears as an explicit…