AIMS Mathematics (Oct 2024)

On accurate asymptotic approximations of roots for polynomial equations containing a small, but fixed parameter

  • Fitriana Yuli Saptaningtyas,
  • Wim T Van Horssen,
  • Fajar Adi-Kusumo ,
  • Lina Aryati

DOI
https://doi.org/10.3934/math.20241385
Journal volume & issue
Vol. 9, no. 10
pp. 28542 – 28559

Abstract

Read online

In this paper, polynomial equations with real coefficients and in one variable were considered which contained a small, positive but specified and fixed parameter $ \varepsilon_0 \neq 0 $. By using the classical asymptotic method, roots of the polynomial equations have been constructed in the literature, which were proved to be valid for sufficiently small $ \varepsilon $-values (or equivalently for $ \varepsilon \to 0 $). In this paper, it was assumed that for some or all roots of a polynomial equation, the first few terms in a Taylor or Laurent series in a small parameter depending on $ \varepsilon $ exist and can be constructed. We also assumed that at least two approximations $ x_1(\varepsilon) $ and $ x_2(\varepsilon) $ for the real roots exist and can be constructed. For a complex root, we assumed that at least two real approximations $ a_1(\varepsilon) $ and $ a_2(\varepsilon) $ for the real part of this root, and that at least two real approximations $ b_1(\varepsilon) $ and $ b_2(\varepsilon) $ for the imaginary part of this root, exist and can be constructed. Usually it was not clear whether for $ \varepsilon = \varepsilon_0 $ the approximations were valid or not. It was shown in this paper how the classical asymptotic method in combination with the bisection method could be used to prove how accurate the constructed approximations of the roots were for a given interval in $ \varepsilon $ (usually including the specified and fixed value $ \varepsilon_0 \neq 0 $). The method was illustrated by studying a polynomial equation of degree five with a small but fixed parameter $ \varepsilon_0 = 0.1 $. It was shown how (absolute and relative) error estimates for the real and imaginary parts of the roots could be obtained for all values of the small parameter in the interval $ (0, \varepsilon_0] $.

Keywords