Extended Hadamard expansions for the Airy functions
A new set of Hadamard series expansions for the Airy functions, {Ai}(z)\) and {Bi}(z)\), is presented. Previous Hadamard expansions were defined in terms of an infinite number of integration path subdivisions. Unlike the earlier expansions, the expansions in the present work originate in the splitti...
| Autor: | |
|---|---|
| Formato: | artículo |
| Fecha de publicación: | 2024 |
| País: | España |
| Recursos: | Universidad de Alcalá (UAH) |
| Repositorio: | e_Buah Biblioteca Digital Universidad de Alcalá |
| Idioma: | inglés |
| OAI Identifier: | oai:ebuah.uah.es:10017/63413 |
| Acesso em linha: | http://hdl.handle.net/10017/63413 https://dx.doi.org/10.1137/23M1599884 |
| Access Level: | acceso abierto |
| Palavra-chave: | Airy's integral Airy functions Asymptotic series Steepest descents method Hadamard expansions Incomplete Gamma functions Telecomunicaciones Telecommunication |
| Resumo: | A new set of Hadamard series expansions for the Airy functions, {Ai}(z)\) and {Bi}(z)\), is presented. Previous Hadamard expansions were defined in terms of an infinite number of integration path subdivisions. Unlike the earlier expansions, the expansions in the present work originate in the splitting of the steepest descent into a number of segments that is not only finite but very small, and these segments are defined on the basis of the location of the branch points. One of the segments reaches to infinity, and this gives rise to the presence of upper incomplete gamma functions. This is one of the most important differences from the Hadamard series as defined in the work of R.B. Paris, where all the incomplete gamma functions are of the lower type. The interest of the new series expansion is twofold. First, it shows how to convert an asymptotic series into a convergent one with a finite splitting of the steepest descent path in a process that can be named "exactification." Second, the inverse of the phase function that is part of the Laplace-type integral is Taylor-expanded around branch points to produce Puiseux series when necessary. Regarding their computational application, these series expansions require a relatively small number of terms for each of them to reach a very high precision. |
|---|