Open Access
Convergent expansions of the Bessel functions in terms of elementary functions
(Springer US, 2018) López García, José Luis; Pagola Martínez, Pedro Jesús; Matematika eta Informatika Ingeniaritza; Institute for Advanced Materials and Mathematics - INAMAT2; Ingeniería Matemática e Informática; Universidad Pública de Navarra / Nafarroako Unibertsitate Publikoa
We consider the Bessel functions Jν (z) and Yν (z) for ν > −1/2 and z ≥ 0. We derive a convergent expansion of Jν (z) in terms of the derivatives of (sin z)/z, and a convergent expansion of Yν (z) in terms of derivatives of (1−cos z)/z, derivatives of (1 − e−z)/z and (2ν, z). Both expansions hold uniformly in z in any fixed horizontal strip and are accompanied by error bounds. The accuracy of the approximations is illustrated with some numerical experiments.
Open Access
Orthogonal basis for the optical transfer function
(Optical Society of America, 2016) Ferreira González, Chelo; López García, José Luis; Navarro, Rafael; Pérez Sinusía, Ester; Ingeniería Matemática e Informática; Matematika eta Informatika Ingeniaritza
We propose systems of orthogonal functions qn to represent optical transfer functions (OTF) characterized by including the diffraction-limited OTF as the first basis function q0 OTF perfect. To this end, we apply a powerful and rigorous theoretical framework based on applying the appropriate change of variables to well-known orthogonal systems. Here we depart from Legendre polynomials for the particular case of rotationally symmetric OTF and from spherical harmonics for the general case. Numerical experiments with different examples show that the number of terms necessary to obtain an accurate linear expansion of the OTF mainly depends on the image quality. In the rotationally symmetric case we obtained a reasonable accuracy with approximately 10 basis functions, but in general, for cases of poor image quality, the number of basis functions may increase and hence affect the efficiency of the method. Other potential applications, such as new image quality metrics are also discussed.
Open Access
The asymptotic expansion of the swallowtail integral in the highly oscillatory region
(Elsevier, 2018) Ferreira González, Chelo; López García, José Luis; Pérez Sinusía, Ester; Ingeniería Matemática e Informática; Matematika eta Informatika Ingeniaritza; Universidad Pública de Navarra / Nafarroako Unibertsitate Publikoa
The mathematical models of many short wavelength phenomena, specially wave propagation and optical diffraction, contain, as a basic ingredient, oscillatory integrals with several nearly coincident stationary phase or saddle points. The uniform approximation of those integrals can be expressed in terms of certain canonical integrals and their derivatives [2,16]. The importance of these canonical diffraction integrals is stressed in [14] by means of the following sentence: The role played by these canonical diffraction integrals in the analysis of caustic wave fields is analogous to that played by complex exponentials in plane wave theory. Apart from their mathematical importance in the uniform asymptotic approximation of oscillatory integrals [12], the canonical diffraction integrals have physical applications in the description of surface gravity waves [11], [17], bifurcation sets, optics, quantum mechanics, chemical physics [4] and acoustics (see [1], Section 36.14 and references there in). To our knowledge, the first application of this family of integrals traces back to the description of the disturbances on a water surface produced, for example, by a traveling ship. These disturbances form a familiar pattern of bow and stern waves which was first explained mathematically by Lord Kelvin [10] using these integrals.
Open Access
New series expansions of the 3F2 function
(2015) López García, José Luis; Pagola Martínez, Pedro Jesús; Pérez Sinusía, Ester; Ingeniería Matemática e Informática; Matematika eta Informatika Ingeniaritza
We can use the power series definition of 3F2(a1, a2, a3; b1, b2; z) to compute this function for z in the unit disk only. In this paper we obtain new expansions of this function that are convergent in larger domains. Some of these expansions involve the polynomial 3F2(a1,−n, a3; b1, b2; z) evaluated at certain points z. Other expansions involve the Gauss hypergeometric function 2F1. The domain of convergence is sometimes a disk, other times a half-plane, other times the region |z|2 < 4|1 − z|. The accuracy of the approximation given by these expansions is illustrated with numerical experiments.
Open Access
The use of two-point Taylor expansions in singular one-dimensional boundary value problems I
(Elsevier, 2018) Ferreira González, Chelo; López García, José Luis; Pérez Sinusía, Ester; Matematika eta Informatika Ingeniaritza; Institute for Advanced Materials and Mathematics - INAMAT2; Ingeniería Matemática e Informática
We consider the second-order linear differential equation (x + 1)y′′ + f(x)y′ + g(x)y = h(x) in the interval (−1, 1) with initial conditions or boundary conditions (Dirichlet, Neumann or mixed Dirichlet-Neumann). The functions f(x), g(x) and h(x) are analytic in a Cassini disk Dr with foci at x = ±1 containing the interval [−1, 1]. Then, the end point of the interval x = −1 may be a regular singular point of the differential equation. The two-point Taylor expansion of the solution y(x) at the end points ±1 is used to study the space of analytic solutions in Dr of the differential equation, and to give a criterion for the existence and uniqueness of analytic solutions of the boundary value problem. This method is constructive and provides the two-point Taylor approximation of the analytic solutions when they exist.
Open Access
Orthogonal basis with a conicoid first mode for shape specification of optical surfaces
(Optical Society of America, 2016) Ferreira González, Chelo; López García, José Luis; Pérez Sinusía, Ester; Navarro, Rafael; Ingeniería Matemática e Informática; Matematika eta Informatika Ingeniaritza
A rigorous and powerful theoretical framework is proposed to obtain systems of orthogonal functions (or shape modes) to represent optical surfaces. The method is general so it can be applied to different initial shapes and different polynomials. Here we present results for surfaces with circular apertures when the first basis function (mode) is a conicoid. The system for aspheres with rotational symmetry is obtained applying an appropriate change of variables to Legendre polynomials, whereas the system for general freeform case is obtained applying a similar procedure to spherical harmonics. Numerical comparisons with standard systems, such as Forbes and Zernike polynomials, are performed and discussed.
Open Access
The Pearcey integral in the highly oscillatory region
(Elsevier, 2016) López García, José Luis; Pagola Martínez, Pedro Jesús; Matematika eta Informatika Ingeniaritza; Institute for Advanced Materials and Mathematics - INAMAT2; Ingeniería Matemática e Informática; Universidad Pública de Navarra / Nafarroako Unibertsitate Publikoa
We consider the Pearcey integral P(x, y) for large values of |y| and bounded values of |x|. The integrand of the Pearcey integral oscillates wildly in this region and the asymptotic saddle point analysis is complicated. Then we consider here the modified saddle point method introduced in [Lopez, Pérez and Pagola, 2009] [4]. With this method, the analysis is simpler and it is possible to derive a complete asymptotic expansion of P(x, y) for large |y|. The asymptotic analysis requires the study of three different regions for separately. In the three regions, the expansion is given in terms of inverse powers of y2/3 and the coefficients are elementary functions of x. The accuracy of the approximation is illustrated with some numerical experiments.
Open Access
Convergent expansions of the confluent hypergeometric functions in terms of elementary functions
(American Mathematical Society, 2018) Bujanda Cirauqui, Blanca; López García, José Luis; Pagola Martínez, Pedro Jesús; Estatistika, Informatika eta Matematika; Institute for Advanced Materials and Mathematics - INAMAT2; Estadística, Informática y Matemáticas; Universidad Pública de Navarra / Nafarroako Unibertsitate Publikoa
We consider the confluent hypergeometric function M(a, b; z) for z ∈ C and Rb >Ra > 0, and the confluent hypergeometric function U(a, b; z) for b ∈ C, Ra > 0, and Rz > 0. We derive two convergent expansions of M(a, b; z); one of them in terms of incomplete gamma functions γ(a, z) and another one in terms of rational functions of ez and z. We also derive a convergent expansion of U(a, b; z) in terms of incomplete gamma functions γ(a, z) and Γ(a, z). The expansions of M(a, b; z) hold uniformly in either Rz ≥ 0 or Rz ≤ 0; the expansion of U(a, b; z) holds uniformly in Rz > 0. The accuracy of the approximations is illustrated by means of some numerical experiments.
Open Access
On a modifcation of Olver's method: a special case
(Springer US, 2016) Ferreira González, Chelo; López García, José Luis; Pérez Sinusía, Ester; Ingeniería Matemática e Informática; Matematika eta Informatika Ingeniaritza
We consider the asymptotic method designed by Olver (Asymptotics and special functions. Academic Press, New York, 1974) for linear differential equations of the second order containing a large (asymptotic) parameter : xm y −2 y = g(x)y, with m ∈ Z and g continuous. Olver studies in detail the cases m = 2, especially the cases m = 0, ±1, giving the Poincaré-type asymptotic expansions of two independent solutions of the equation. The case m = 2 is different, as the behavior of the solutions for large is not of exponential type, but of power type. In this case, Olver’s theory does not give many details. We consider here the special case m = 2. We propose two different techniques to handle the problem: (1) a modification of Olver’s method that replaces the role of the exponential approximations by power approximations, and (2) the transformation of the differential problem into a fixed point problem from which we construct an asymptotic sequence of functions that converges to the unique solution of the problem. Moreover, we show that this second technique may also be applied to nonlinear differential equations with a large parameter.
Open Access
Convergent expansions of the incomplete gamma functions in terms of elementary functions
(World Scientific Publishing, 2017) Bujanda Cirauqui, Blanca; López García, José Luis; Pagola Martínez, Pedro Jesús; Matematika eta Informatika Ingeniaritza; Institute for Advanced Materials and Mathematics - INAMAT2; Ingeniería Matemática e Informática; Universidad Pública de Navarra / Nafarroako Unibertsitate Publikoa
We consider the incomplete gamma function γ(a,z) for Ra>0 and z∈C. We derive several convergent expansions of z−aγ(a,z) in terms of exponentials and rational functions of z that hold uniformly in z with Rz bounded from below. These expansions, multiplied by ez, are expansions of ezz−aγ(a,z) uniformly convergent in z with Rz bounded from above. The expansions are accompanied by realistic error bounds.