Open Access
An extension of the multiple Erdélyi-Kober operator and representations of the generalized hypergeometric functions
(De Gruyter, 2018) Karp, D. B.; López García, José Luis; Ingeniería Matemática e Informática; Matematika eta Informatika Ingeniaritza; Universidad Pública de Navarra / Nafarroako Unibertsitate Publikoa
In this paper we investigate the extension of the multiple Erd elyi-Kober fractional integral operator of Kiryakova to arbitrary complex values of parameters by the way of regularization. The regularization involves derivatives of the function in question and the integration with respect to a kernel expressed in terms of special case of Meijer's G function. An action of the regularized multiple Erd elyi-Kober operator on some simple kernels leads to decomposition formulas for the generalized hypergeometric functions. In the ultimate section, we de ne an alternative regularization better suited for representing the Bessel type generalized hypergeometric function p􀀀1Fp. A particular case of this regularization is then used to identify some new facts about the positivity and reality of zeros of this function.
Open Access
Effect of high-energy ball-milling on the magnetostructural properties of a Ni45Co5Mn35Sn15 alloy
(Elsevier, 2021) López García, José Luis; Sánchez-Alarcos Gómez, Vicente; Recarte Callado, Vicente; Rodríguez Velamazán, José Alberto; Unzueta, Iraultza; García, José Ángel; Plazaola, Fernando; La Roca, Paulo Matías; Pérez de Landazábal Berganzo, José Ignacio; Zientziak; Institute for Advanced Materials and Mathematics - INAMAT2; Ciencias; Gobierno de Navarra / Nafarroako Gobernua, PC017-018 AMELEC
The effect of high-energy ball-milling on the magnetostructural properties of a Ni45Co5Mn35Sn15 alloy in austenitic phase at room temperature has been analyzed by neutron and high-resolution X-ray diffraction. The ball milling promotes a mechanically-induced martensitic transformation as well as the appearance of amorphous-like non-transforming regions, following a double stage; for short milling times (below 30 min), a strong size reduction and martensite induction occur. On the opposite, for longer times, the increase of strains predominates and consequently a larger amount of non-transforming regions appears. The effect of the microstructural defects brought by milling (as dislocations) on both the enthalpy change at the martensitic transformation and the high field magnetization of the austenite has been quantitatively estimated and correlated to the internal strains. Contrary to what occurs in ternary Ni-Mn-Sn alloys, the mechanically-induced defects do not change the ferromagnetic coupling between Mn atoms, but just cause a net reduction on the magnetic moments.
Open Access
Uniform convergent expansions of the error function in terms of elementary functions
(Springer, 2023) Ferreira González, Chelo; López García, José Luis; Pérez Sinusía, Ester; Estadística, Informática y Matemáticas; Estatistika, Informatika eta Matematika; Institute for Advanced Materials and Mathematics - INAMAT2; Universidad Pública de Navarra / Nafarroako Unibertsitate Publikoa
We derive a new analytic representation of the error function erfz in the form of a convergent series whose terms are exponential and rational functions. The expansion holds uniformly in z in the double sector | arg (±z) | <π/4. The expansion is accompanied by realistic error bounds.
Open Access
Uniform convergent expansions of integral transforms
(American Mathematical Society, 2021) López García, José Luis; Palacios Herrero, Pablo; Pagola Martínez, Pedro Jesús; Estadística, Informática y Matemáticas; Estatistika, Informatika eta Matematika; Institute for Advanced Materials and Mathematics - INAMAT2; Universidad Pública de Navarra / Nafarroako Unibertsitate Publikoa
Several convergent expansions are available for most of the special functions of the mathematical physics, as well as some asymptotic expansions [NIST Handbook of Mathematical Functions, 2010]. Usually, both type of expansions are given in terms of elementary functions; the convergent expansions provide a good approximation for small values of a certain variable, whereas the asymptotic expansions provide a good approximation for large values of that variable. Also, quite often, those expansions are not uniform: the convergent expansions fail for large values of the variable and the asymptotic expansions fail for small values. In recent papers [Bujanda & all, 2018-2019] we have designed new expansions of certain special functions, given in terms of elementary functions, that are uniform in certain variables, providing good approximations of those special functions in large regions of the variables, in particular for large and small values of the variables. The technique used in [Bujanda & all, 2018-2019] is based on a suitable integral representation of the special function. In this paper we face the problem of designing a general theory of uniform approximations of special functions based on their integral representations. Then, we consider the following integral transform of a function g(t) with kernel h(t, z), F(z) := 1 0 h(t, z)g(t)dt. We require for the function h(t, z) to be uniformly bounded for z ∈D⊂ C by a function H(t) integrable in t ∈ [0, 1], and for the function g(t) to be analytic in an open region Ω that contains the open interval (0, 1). Then, we derive expansions of F(z) in terms of the moments of the function h, M[h(·, z), n] := 1 0 h(t, z)tndt, that are uniformly convergent for z ∈ D. The convergence of the expansion is of exponential order O(a−n), a > 1, when [0, 1] ∈ Ω and of power order O(n−b), b > 0, when [0, 1] ∈/ Ω. Most of the special functions F(z) having an integral representation may be cast in this form, possibly after an appropriate change of the integration variable. Then, special interest has the case when the moments M[h(·, z), n] are elementary functions of z, because in that case the uniformly convergent expansion derived for F(z) is given in terms of elementary functions. We illustrate the theory with several examples of special functions different from those considered in [Bujanda & all, 2018-2019].
Open Access
A simplification of the stationary phase method: application to the Anger and Weber functions
(Kent State University, 2017) López García, José Luis; 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
The main difficulty in the practical use of the stationary phase method in asymptotic expansions of integrals is originated by a change of variables. The coefficients of the asymptotic expansion are the coefficients of the Taylor expansion of a certain function implicitly defined by that change of variables. In general, this function is not explicitly known, and then the computation of those coefficients is cumbersome. Using the factorization of the exponential factor used in previous works of [Tricomi, 1950], [Erdélyi and Wyman, 1963], and [Dingle, 1973], we obtain a variant of the method that avoids that change of variables and simplifies the computations. On the one hand, the calculation of the coefficients of the asymptotic expansion is remarkably simpler and explicit. On the other hand, the asymptotic sequence is as simple as in the standard stationary phase method: inverse powers of the asymptotic variable. New asymptotic expansions of the Anger and Weber functions Jλx(x) and Eλx(x) for large positive x and real parameter λ 6= 0 are given as an illustration.
Open Access
Convergent and asymptotic methods for second-order difference equations with a large parameter
(Springer, 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; Universidad Pública de Navarra / Nafarroako Unibertsitate Publikoa
We consider the second-order linear difference equation y(n+2)−2ay(n+1)−Λ2y(n)=g(n)y(n)+f(n)y(n+1) , where Λ is a large complex parameter, a≥0 and g and f are sequences of complex numbers. Two methods are proposed to find the asymptotic behavior for large |Λ|of the solutions of this equation: (i) an iterative method based on a fixed point method and (ii) a discrete version of Olver’s method for second-order linear differential equations. Both methods provide an asymptotic expansion of every solution of this equation. The expansion given by the first method is also convergent and may be applied to nonlinear problems. Bounds for the remainders are also given. We illustrate the accuracy of both methods for the modified Bessel functions and the associated Legendre functions of the first kind.
Open Access
New recurrence relations for several classical families of polynomials
(Taylor and Francis, 2021) Ferreira González, Chelo; López García, José Luis; Pérez Sinusía, Ester; 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
In this paper, we derive new recurrence relations for the following families of polynomials: nörlund polynomials, generalized Bernoulli polynomials, generalized Euler polynomials, Bernoulli polynomials of the second kind, Buchholz polynomials, generalized Bessel polynomials and generalized Apostol–Euler polynomials. The recurrence relations are derived from a differential equation of first order and a Cauchy integral representation obtained from the generating function of these polynomials.
Open Access
Asymptotic approximation of a highly oscillatory integral with application to the canonical catastrophe integrals
(Wiley, 2023) Ferreira González, Chelo; López García, José Luis; Pérez Sinusía, Ester; Estadística, Informática y Matemáticas; Estatistika, Informatika eta Matematika; Institute for Advanced Materials and Mathematics - INAMAT2; Universidad Pública de Navarra / Nafarroako Unibertsitate Publikoa
We consider the highly oscillatory integral 𝐹(𝑤) ∶= ∫ ∞ −∞ 𝑒𝑖𝑤(𝑡𝐾+2+𝑒𝑖𝜃𝑡𝑝) 𝑔(𝑡)𝑑𝑡 for large positive values of 𝑤, −𝜋 < 𝜃 ≤ 𝜋, 𝐾 and 𝑝 positive integers with 1 ≤ 𝑝 ≤ 𝐾, and 𝑔(𝑡) an entire function. The standard saddle point method is complicated and we use here a simplified version of this method introduced by López et al. We derive an asymptotic approximation of this integral when 𝑤 → +∞ for general values of 𝐾 and 𝑝 in terms of elementary functions, and determine the Stokes lines. For 𝑝 ≠ 1, the asymptotic behavior of this integral may be classified in four different regions according to the even/odd character of the couple of parameters 𝐾 and 𝑝; the special case 𝑝=1 requires a separate analysis. As an important application, we consider the family of canonical catastrophe integrals Ψ𝐾(𝑥1, 𝑥2,…,𝑥𝐾) for large values of one of its variables, say 𝑥𝑝, and bounded values of the remaining ones. This family of integrals may be written in the form 𝐹(𝑤) for appropriate values of the parameters 𝑤, 𝜃 and the function 𝑔(𝑡). Then, we derive an asymptotic approximation of the family of canonical catastrophe integrals for large |𝑥𝑝|. The approximations are accompanied by several numerical experiments. The asymptotic formulas presented here fill up a gap in the NIST Handbook of Mathematical Functions by Olver et al.
Open Access
Analysis of singular one-dimensional linear boundary value problems using two-point Taylor expansions
(University of Szeged (Hungría), 2020) Ferreira González, Chelo; López García, José Luis; Pérez Sinusía, Ester; Estatistika, Informatika eta Matematika; Institute for Advanced Materials and Mathematics - INAMAT2; Estadística, Informática y Matemáticas
We consider the second-order linear differential equation (x2 − 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, g and h are analytic in a Cassini disk Dr with foci at x = ±1 containing the interval [−1, 1]. Then, the two end points of the interval may be regular singular points 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 appro-ximation of the analytic solutions when they exist.
Open Access
Generalization of Zernike polynomials for regular portions of circles and ellipses
(Optical Society of America, 2014) Navarro, Rafael; López García, José Luis; Díaz, José A.; Pérez Sinusía, Ester; Ingeniería Matemática e Informática; Matematika eta Informatika Ingeniaritza
Zernike polynomials are commonly used to represent the wavefront phase on circular optical apertures, since they form a complete and orthonormal basis on the unit circle. Here, we present a generalization of this Zernike basis for a variety of important optical apertures. On the contrary to ad hoc solutions, most of them based on the Gram-Schmidt orthonormalization method, here we apply the diffeomorphism (mapping that has a differentiable inverse mapping) that transforms the unit circle into an angular sector of an elliptical annulus. In this way, other apertures, such as ellipses, rings, angular sectors, etc. are also included as particular cases. This generalization, based on in-plane warping of the basis functions, provides a unique solution and what is more important, it guarantees a reasonable level of invariance of the mathematical properties and the physical meaning of the initial basis functions. Both, the general form and the explicit expressions for most common, elliptical and annular apertures are provided.