-
$\,_{3}F_{4}$ hypergeometric functions as a sum of a product of $\,_{2}F_{3}$ functions
Authors:
Jack C. Straton
Abstract:
This paper shows that certain $\,_{3}F_{4}$ hypergeometric functions may be expanded in sums of pair products of $\,_{2}F_{3}$ functions. This expands the class of hypergeometric functions having summation theorems beyond those expressible as pair-products of generalized Whittaker functions, $\,_{2}F_{1}$ functions, and $\,_{3}F_{2}$ functions into the realm of $\,_{P}F_{Q}$ functions where $P<Q$…
▽ More
This paper shows that certain $\,_{3}F_{4}$ hypergeometric functions may be expanded in sums of pair products of $\,_{2}F_{3}$ functions. This expands the class of hypergeometric functions having summation theorems beyond those expressible as pair-products of generalized Whittaker functions, $\,_{2}F_{1}$ functions, and $\,_{3}F_{2}$ functions into the realm of $\,_{P}F_{Q}$ functions where $P<Q$ for both the summand and terms in the series. In addition to its intrinsic value, this result has a specific application in calculating the response of the atoms to laser stimulation in the Strong Field Approximation.
△ Less
Submitted 6 February, 2024;
originally announced March 2024.
-
The Fourier-Legendre series of Bessel functions of the first kind and the summed series involving $\,_{2}F_{3}$ hypergeometric functions that arise from them
Authors:
Jack C. Straton
Abstract:
The Bessel function of the first kind $J_{N}\left(kx\right)$ is expanded in a Fourier-Legendre series, as is the modified Bessel functions of the first kind $I_{N}\left(kx\right)$. The purpose of these expansions in Legendre polynomials was not an attempt to rival established \emph{numerical methods} for calculating Bessel functions, but to provide a form for $J_{N}\left(kx\right)$ useful for \emp…
▽ More
The Bessel function of the first kind $J_{N}\left(kx\right)$ is expanded in a Fourier-Legendre series, as is the modified Bessel functions of the first kind $I_{N}\left(kx\right)$. The purpose of these expansions in Legendre polynomials was not an attempt to rival established \emph{numerical methods} for calculating Bessel functions, but to provide a form for $J_{N}\left(kx\right)$ useful for \emph{analytical} work in the area of strong laser fields, where analytical integration over scattering angles is essential. Despite their primary purpose, we can easily truncate the series at 21 terms to provide 33-digit accuracy that matches IEEE extended precision in some compilers. The analytical theme is furthered by showing that infinite series of like-powered contributors (involving $\,_{2}F_{3}$ hypergeometric functions) extracted from the Fourier-Legendre series may be summed, having values that are inverse powers of the eight primes $1/\left(2^{i}3^{j}5^{k}7^{l}11^{m}13^{n}17^{o}19^{p}\right)$ multiplying powers of the coefficient $k$.
△ Less
Submitted 6 February, 2024; v1 submitted 19 November, 2023;
originally announced January 2024.
-
Integral representations over finite limits for quantum amplitudes
Authors:
Jack C. Straton
Abstract:
We extend prior work to derive three additional M-1-dimensional integral representations--over the interval $[0,1]$ --for products of M Slater orbitals that allows their magnitudes of coordinate vector differences (square roots of polynomials) $|{\bf x}_{1}-{\bf x}_{2}|=\sqrt{x_{1}^{2}-2x_{1}x_{2}\cosθ+x_{2}^{2}}$ to be moved from disjoint products of functions into a single quadratic form whose s…
▽ More
We extend prior work to derive three additional M-1-dimensional integral representations--over the interval $[0,1]$ --for products of M Slater orbitals that allows their magnitudes of coordinate vector differences (square roots of polynomials) $|{\bf x}_{1}-{\bf x}_{2}|=\sqrt{x_{1}^{2}-2x_{1}x_{2}\cosθ+x_{2}^{2}}$ to be moved from disjoint products of functions into a single quadratic form whose square my be completed. This provides more alternatives to Fourier transforms that introduce a 3M-dimensional momentum integral for those products of Slater orbitals, followed by another set of M-1-dimensional integral representations to combine those denominators into one denominator having a single (momentum) quadratic form. The current work is also slightly more compact than Gaussian transforms that introduce an M-dimensional integral for products of M Slater orbitals.
We have found that two of these M-1-dimensional integral representations over the interval $[0,1]$ are numerically stable, as was the prior version having integrals running over the interval $[0,\infty]$, and one does not need to test for a sufficiently large upper integration limit. For analytical reductions of integrals arising from any of the three, however, there is the possible drawback for large M of there being fewer tabled integrals over $[0,1]$ than over $[0,\infty]$. These representations have integration variables within square roots as arguments of Macdonald functions. In a number of cases, these may be converted to Meijer G-functions for which a single tabled integral exists over the interval $[0,\infty]$ of the prior paper, and from which other forms may be found.
Finally, we introduce a fourth integral representation that is not easily generalizable to large M, but may well provide a bridge for finding the requisite integrals for such Meijer G-functions over $[0,1]$.
△ Less
Submitted 29 December, 2023;
originally announced January 2024.
-
An integral transform for quantum amplitudes
Authors:
Jack C. Straton
Abstract:
The central impediment to reducing multidimensional integrals of transition amplitudes to analytic form, or at least to a fewer number of integral dimensions, is the presence of magnitudes of coordinate vector differences (square roots of polynomials) $|{\bf x}_{1}-{\bf x}_{2}|^{2}=\sqrt{x_{1}^{2}-2x_{1}x_{2}\cosθ+x_{2}^{2}}$ in disjoint products of functions. Fourier transforms circumvent this by…
▽ More
The central impediment to reducing multidimensional integrals of transition amplitudes to analytic form, or at least to a fewer number of integral dimensions, is the presence of magnitudes of coordinate vector differences (square roots of polynomials) $|{\bf x}_{1}-{\bf x}_{2}|^{2}=\sqrt{x_{1}^{2}-2x_{1}x_{2}\cosθ+x_{2}^{2}}$ in disjoint products of functions. Fourier transforms circumvent this by introducing a three-dimensional momentum integral for each of those products, followed in many cases by another set of integral transforms to move all of the resulting denominators into a single quadratic form in one denominator whose square my be completed. Gaussian transforms introduce a one-dimensional integral for each such product while squaring the square roots of coordinate vector differences and moving them into an exponential. Addition theorems may also be used for this purpose, and sometimes direct integration is even possible. Each method has its strengths and weaknesses. An alternative integral transform to Fourier transforms and Gaussian transforms is derived herein and utilized. A number of consequent integrals of Macdonald functions, hypergeometric functions, and Meijer G-functions with complicated arguments is given.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
Reducing a class of two-dimensional integrals to one-dimension with application to Gaussian Transforms
Authors:
Jack C. Straton
Abstract:
Quantum theory is awash in multidimensional integrals that contain exponentials in the integration variables, their inverses, and inverse polynomials of those variables. The present paper introduces a means to reduce pairs of such integrals to one dimension when the integrand contains powers times an arbitrary function of xy/(x+y) multiplying various combinations of exponentials. In some cases the…
▽ More
Quantum theory is awash in multidimensional integrals that contain exponentials in the integration variables, their inverses, and inverse polynomials of those variables. The present paper introduces a means to reduce pairs of such integrals to one dimension when the integrand contains powers times an arbitrary function of xy/(x+y) multiplying various combinations of exponentials. In some cases these exponentials arise directly from transition-amplitudes involving products of plane waves, hydrogenic wave functions, Yukawa and/or Coulomb potentials. In other cases these exponentials arise from Gaussian transforms of such functions.
△ Less
Submitted 9 May, 2020;
originally announced May 2020.