Numerical stability of the branched continued fraction expansion of Horn's hypergeometric function $H_4$

  • R. Dmytryshyn Vasyl Stefanyk Precarpathian National University Ivano-Frankivsk, Ukraine
  • C. Cesarano International Telematic University UNINETTUNO Roma, Italy
  • I.-A. Lutsiv Vasyl Stefanyk Precarpathian National University Ivano-Frankivsk, Ukraine
  • M. Dmytryshyn West Ukrainian National University Ternopil, Ukraine
Keywords: branched continued fraction, Horn hypergeometric function, approximation by rational functions, roundoff error

Abstract

In this paper, we consider some numerical aspects of branched continued fractions as special families of functions to represent and expand analytical functions of several complex variables, including generalizations of hypergeometric functions. The backward recurrence algorithm is one of the basic tools of computation approximants of branched continued fractions. Like most recursive processes, it is susceptible to error growth. Each cycle of the recursive process not only generates its own rounding errors but also inherits the rounding errors committed in all the previous cycles. On the other hand, in general, branched continued fractions are a non-linear object of study (the sum of two fractional-linear mappings is not always a fractional-linear mapping). In this work, we are dealing with a confluent branched continued fraction, which is a continued fraction in its form. The essential difference here is that the approximants of the continued fraction are the so-called figure approximants of the branched continued fraction. An estimate of the relative rounding error, produced by the backward recurrence algorithm in calculating an nth approximant of the branched continued fraction expansion of Horn’s hypergeometric function H4, is established. The derivation uses the methods of the theory of branched continued fractions, which are essential in developing convergence criteria. The numerical examples illustrate the numerical stability of the backward recurrence algorithm.

Author Biographies

R. Dmytryshyn, Vasyl Stefanyk Precarpathian National University Ivano-Frankivsk, Ukraine

Vasyl Stefanyk Precarpathian National University

Ivano-Frankivsk, Ukraine

C. Cesarano, International Telematic University UNINETTUNO Roma, Italy

International Telematic University UNINETTUNO

Roma, Italy

I.-A. Lutsiv, Vasyl Stefanyk Precarpathian National University Ivano-Frankivsk, Ukraine

Vasyl Stefanyk Precarpathian National University

Ivano-Frankivsk, Ukraine

M. Dmytryshyn, West Ukrainian National University Ternopil, Ukraine

West Ukrainian National University

Ternopil, Ukraine

References

T. Antonova, R. Dmytryshyn, V. Goran, On the analytic continuation of Lauricella-Saran hypergeometric function $F_K(a_1,a_2,b_1,b_2;a_1,b_2,c_3;mathbf{z})$, Mathematics, 11 (2023), 4487. http://dx.doi.org/10.3390/math11214487

T. Antonova, R. Dmytryshyn, V. Kravtsiv, Branched continued fraction expansions of Horn’s hypergeometric function $H_3$ ratios, Mathematics, 9 (2021), 148. http://dx.doi.org/10.3390/math9020148

T. Antonova, R. Dmytryshyn, S. Sharyn, Generalized hypergeometric function ${}_3F_2$ ratios and branched continued fraction expansions, Axioms, 10 (2021), 310. http://dx.doi.org/10.3390/axioms10040310

T. Antonova, R. Dmytryshyn, I.-A. Lutsiv, S. Sharyn, On some branched continued fraction expansions for Horn’s hypergeometric function $H_4(a,b;c,d;z_1,z_2)$ ratios, Axioms, 12 (2023), 299. http://dx.doi.org/10.3390/axioms12030299

T. Antonova, R. Dmytryshyn, S. Sharyn, Branched continued fraction representations of ratios of Horn’s confluent function $mathrm{H}_6$, Constr. Math. Anal., 6 (2023), 22–37. http://dx.doi.org/10.33205/cma.1243021

T.M. Antonova, On convergence of branched continued fraction expansions of Horn’s hypergeometric function $H_3$ ratios, Carpathian Math. Publ., 13, (2021), 642–650. https://doi.org/10.15330/cmp.13.3.642-650

G. Blanch, Numerical evaluation of continued fractions, SIAM Review, 6 (1964), 383–421. http://dx.doi.org/10.1137/1006092

D.I. Bodnar, Branched Continued Fractions, Naukova Dumka, Kyiv, 1986. (in Russian)

A. Cuyt, P. Van der Cruyssen, Rounding error analysis for forward continued fraction algorithms, Comput. Math. Appl., 11 (1985), 541–564. http://dx.doi.org/10.1016/0898-1221(85)90037-9

D.I. Bodnar, R.I. Dmytryshyn, Multidimensional associated fractions with independent variables and multiple power series, Ukr. Math. Zhurn., 71 (2019), 325–339. (in Ukrainian); Engl. transl.: Ukrainian Math. J., 71 (2019), 370–386. http://dx.doi.org/10.1007/s11253-019-01652-5

D.I. Bodnar, O.S. Manzii, Expansion of the ratio of Appel hypergeometric functions $F_3$ into a branching continued fraction and its limit behavior, Mat. method. and fiz.-mech. polya, 41 (1998), 12–16. (in Ukrainian); Engl. transl.: J. Math. Sci., 107 (2001), 3550–3554. http://dx.doi.org/10.1023/A:1011977720316

R. Dmytryshyn, V. Goran, On the analytic extension of Lauricella–Saran’s hypergeometric function $F_K$ to symmetric domains, Symmetry, 16 (2024), 220. http://dx.doi.org/10.3390/sym16020220

R. Dmytryshyn, I.-A. Lutsiv, O. Bodnar, On the domains of convergence of the branched continued fraction expansion of ratio $H_4(a,d+1;c,d;mathbf{z})/H_4(a,d+2;c,d+1;mathbf{z})$, Res. Math., 31 (2023), 19–26. http://dx.doi.org/10.15421/242311

R. Dmytryshyn, I.-A. Lutsiv, M. Dmytryshyn, C. Cesarano, On some domains of convergence of branched continued fraction expansions of ratios of Horn hypergeometric functions $H_4$, Ukr. Math. Zhurn., 2023, (accepted). (in Ukrainian)

R. Dmytryshyn, I.-A. Lutsiv, M. Dmytryshyn, On the analytic extension of the Horn’s hypergeometric function $H_4$, Carpathian Math. Publ., 16 (2024), 32–39. http://dx.doi.org/10.15330/cmp.16.1.32-39

R.I. Dmytryshyn, I.-A.V. Lutsiv Three- and four-term recurrence relations for Horn’s hypergeometric function $H_4$, Res. Math., 30 (2022), 21–29. http://dx.doi.org/10.15421/242203

R.I. Dmytryshyn, S.V. Sharyn, Approximation of functions of several variables by multidimensional S-fractions with independent variables, Carpathian Math. Publ., 13 (2021), 592–607. http://dx.doi.org/10.15330/cmp.13.3.592-607

R.I. Dmytryshyn, Two-dimensional generalization of the Rutishauser qd-algorithm, Mat. method. and fiz.-mech. polya, 56 (2013), 6–11. (in Ukrainian); Engl. transl.: J. Math. Sci., 208 (2015), 301–309. http://dx.doi.org/10.1007/s10958-015-2447-9

V.R. Hladun, D.I. Bodnar, R.S. Rusyn, Convergence sets and relative stability to perturbations of a branched continued fraction with positive elements, Carpathian Math. Publ., 16 (2024), 16–31. http://dx.doi.org/10.15330/cmp.16.1.16-31

V.R. Hladun, N.P. Hoyenko, O.S. Manzij, L. Ventyk, On convergence of function $F_4(1,2;2,2;z_1,z_2)$ expansion into a branched continued fraction, Math. Model. Comput., 9 (2022), 767–778. http://dx.doi.org/10.23939/mmc2022.03.767

V.R. Hladun, Stability analysis to perturbations of branched continued fractions, PhD Thesis on Mathematical Analysis, Ivan Franko Lviv National University, Lviv, 2007. (in Ukrainian)

V.R. Hladun, Some sets of relative stability under perturbations of branched continued fractions with complex elements and a variable number of branches, Mat. method. and fiz.-mech. polya, 57 (2014), 14–24. (in Ukrainian); Engl. transl.: J. Math. Sci., 215 (2016), 11–25. http://dx.doi.org/10.1007/s10958-016-2818-x

J. Horn, Hypergeometrische funktionen zweier ver¨anderlichen, Math. Ann., 105 (1931), 381–407. http://dx.doi.org/10.1007/BF01455825

N. Hoyenko, T. Antonova, S. Rakintsev, Approximation for ratios of Lauricella–Saran fuctions $F_S$ with real parameters by a branched continued fractions, Math. Bul. Shevchenko Sci. Soc., 8 (2011), 28–42. (in Ukrainian).

N.P. Hoyenko, V.R. Hladun, O.S. Manzij, On the infinite remains of the Norlund branched continued fraction for Appell hypergeometric functions, Carpathian Math. Publ., 6 (2014), 11–25. (in Ukrainian) http://dx.doi.org/10.15330/cmp.6.1.11-25

W.B. Jones, W.J. Thron, Continued Fractions: Analytic Theory and Applications, Addison-Wesley Pub. Co., Reading, 1980.

W.B. Jones, W.J. Thron, Numerical stability in evaluating continued fractions, Math. Comp., 28 (1974), 795–810. http://dx.doi.org/10.2307/2005701

W.B. Jones, W.J. Thron, Rounding error in evaluating continued fractions, Proceedings of the ACM, San Diego, (1974), 11–19.

H. Lima, Multiple orthogonal polynomials associated with branched continued fractions for ratios of hypergeometric series, Adv. Appl. Math., 147 (2023), 102505. http://dx.doi.org/10.1016/j.aam.2023.102505

N. Macon, M. Baskervill, On the generation of errors in the digital evaluation of continued fractions, J. Assoc. Comput. Math., 3 (1956), 199–202. http://dx.doi.org/10.1145/320831.320838

O. Manziy, V. Hladun, L. Ventyk, The algorithms of constructing the continued fractions for any rations of the hypergeometric Gaussian functions, Math. Model. Comput., 4 (2017), 48–58. http://dx.doi.org/10.23939/mmc2017.01.048

M.O. Nedashkovskyi, On the convergence and computational stability of branched continued fractions of certain types, Mat. Metody Fiz. Mekh. Polya, 20 (1984), 27–31. (in Russian)

M. Petreolle, A.D. Sokal, Lattice paths and branched continued fractions II. Multivariate Lah polynomials and Lah symmetric functions, Eur. J. Combin., 92 (2021), 103235. http://dx.doi.org/10.1016/j.ejc.2020.103235

Published
2024-03-19
How to Cite
Dmytryshyn, R., Cesarano, C., Lutsiv, I.-A., & Dmytryshyn, M. (2024). Numerical stability of the branched continued fraction expansion of Horn’s hypergeometric function $H_4$. Matematychni Studii, 61(1), 51-60. https://doi.org/10.30970/ms.61.1.51-60
Section
Articles