A General Approach to Error Analysis for Roots of Polynomial Equations
Abstract
1. Introduction
1.1. Imprecisions and the Sorites Property, Scalar Neutrices
1.2. Error Analysis and External Numbers
1.3. Polynomials and Main Results
1.4. Relation to Existing Literature
1.5. Structure of the Article
2. On Nonstandard Analysis
3. Minkowski Operations, Neutrices, External Numbers
- 1.
- ,
- 2.
- ,
- 3.
- ,
- 1.
- ,
- 2.
- .
- 1.
- We say that is limited with respect to N if . The set of all real numbers that are limited with respect to N is denoted by .
- 2.
- We say that is an absorber of N if . The set of all absorbers of N is denoted by .
- 3.
- We say that is appreciable with respect to N if . The set of all numbers which are appreciable with respect to N is denoted by .
- 4.
- We say that is an exploder of N if . The set of all exploders of N is denoted by
.
- 1.
- .
- 2.
- 3.
- , if α is zeroless.
4. Polynomials, Main Theorem
- 1.
- The polynomial neutrix inclusion (4) is equivalent to a set of real polynomial inclusions , …, , where is standard, are real polynomials, and are idempotent neutrices.
- 2.
- Assume the polynomial neutrix inclusion (4) admits a root ρ. Then, ρ is an external number of the form
5. Background on Neutrices and External Numbers
5.1. Algebraic Properties of External Numbers
- 1.
- If β and γ have the same sign.
- 2.
- If α is real.
- 3.
- If β or γ is a neutrix.
- 4.
- If , and β and γ are not opposite with respect to α.
- 1.
- .
- 2.
- .
- 3.
- .
- 4.
- Whenever , if and , then .
- 5.
- Whenever , if , then .
5.2. Idempotent Neutrices
- , because .
- Let . Then . Then also . Hence . From this, we derive that .
- Let and . Then . Hence, and also . From this, we derive that .
- 1.
- is a neutrix.
- 2.
- If N is idempotent, also is idempotent.
- 3.
- If I is an idempotent neutrix and is such that N is associated to I by p, then is is associated to by .
- Clearly, . Let . Then , hence also . So, . Let y be such that . By symmetry, , so . Hence . It follows that is a neutrix.
- Assume that N is idempotent. Let . Then, , else , a contradiction. Hence, , which implies that is idempotent.
- It holds thatHence, is associated to by .
- 1.
- is an idempotent neutrix containing I and containing £.
- 2.
- is an idempotent neutrix contained in I and contained in ⊘.
- 3.
.
- 4.
- If , one has and .
- 5.
- If , one has and .
- 6
- .
- 1.
- .
- 2.
- .
- 3.
- If , one has .
- 4.
- If , one has .
- 1.
- If , then .
- 2.
- If , then .
- 1.
- If , then .
- 2.
- If , then .
- 3.
- If , then
- Observe that or . Assume first that . Then, . By Theorem 9 (item 1) it holds thatIt follows from Proposition 9 that we must show that is the maximal idempotent neutrix with this property. Let be an idempotent neutrix. Then, . Hence, by Theorem 9 (item 1)Hence, .Secondly, assume that . Then, . To see that is the maximal idempotent neutrix with this property, let again be an idempotent neutrix. such that . It certainly holds that , hence . ThenHence, .
- By Theorem 9 (item 1) it holds that . It also holds that . To see that I is the maximal idempotent neutrix with this property, let be an idempotent neutrix. If , we have . If , we have . We see that in both circumstances .
- Assume first that . Then , and if is idempotent, we have . Hence, . Secondly, assume that . Then . As in the first case, we derive that J is maximal with this property. Hence . Finally, assume . Then if and also if . As above, we derive that I is maximal with this property.
- 1.
- If , then .
- 2.
- If , then .
- 3.
- If , then .
- 2.
- The strict inclusion is a consequence of Theorem 11 (item 1) and (12).
- 3.
- We apply Theorem 11 (item 3), Assume first that . Then . In all remaining cases, we have . Indeed, if , then , and if , then .
5.3. External Equations
6. Proof of the Main Theorem
6.1. Structuring Polynomials
6.2. From I-Near Roots to Roots
- 1.
- 2.
- .
- 3.
- 1.
- On one has . By the Substitution theorem the simpler equation has the same roots, i.e., and . Both are admissible, for they are subsets of .
- 2.
- On it holds that . Again by the Substitution theorem one may as well solve Its solution is . However the solution must be rejected for it is not an element of .
- 3.
- On the Substitution theorem provides no simplification. Put . Then a is appreciable. The inclusion (42) becomes , which we may transform into the polynomial inclusion
6.3. Roots of Systems of Polynomial Inclusions
7. Multiplicity and Exactness of Roots
7.1. Multiplicities
7.2. Exactness of Roots
- 1.
- If the degree of is odd, the root ρ is exact.
- 2.
- If the degree of is even, the root ρ is semi-exact.
8. Roots of Polynomials Represented by Monomials
9. Conclusions
Author Contributions
Funding
Institutional Review Board Statement
Informed Consent Statement
Data Availability Statement
Conflicts of Interest
References
- Dinis, B.; Jacinto, B. A theory of marginal and large difference. Erkenntnis 2025, 90, 517–544. [Google Scholar] [CrossRef]
- Koudjeti, F.; Van den Berg, I. Neutrices, external numbers, and external calculus. In Nonstandard Analysis in Practice; Springer: Berlin/Heidelberg, Germany, 1995; pp. 145–170. [Google Scholar]
- Taylor, J. Introduction to Error Analysis. The Study of Uncertainties in Physical Measurements, 3rd ed.; University Science Books: Mill Valley, CA, USA, 2025. [Google Scholar]
- Dinis, B.; Van den Berg, I. Neutrices and External Numbers: A Flexible Number System; Chapman and Hall/CRC: Boca Raton, FL, USA, 2019. [Google Scholar]
- Van der Corput, J. Introduction to the neutrix calculus. J. d’Analyse Math. 1959, 7, 281–399. [Google Scholar] [CrossRef]
- Murdock, J.A. Perturbations: Theory and Methods; Society for Industrial and Applied Mathematics: University City, PA, USA, 1999. [Google Scholar]
- Saptaingyas, Y.; Horssen, W.; Adi-Kusumo, F.; Aryati, L. On accurate asymptotic approximations of roots for polynomial equations containing a small, but fixed parameter. AIMS Math. 2024, 9, 28542–28559. [Google Scholar] [CrossRef]
- Lutz, R.; Goze, M. Nonstandard Analysis: A Practical Guide with Applications; Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany, 1982; Volume 881. [Google Scholar]
- Remm, E. Perturbations of polynomials and applications. arXiv 2022, arXiv:2208.09186. [Google Scholar] [CrossRef]
- Nathanson, M.; Ross, D. Continuity of the roots of a polynomial. Commun. Algebra 2024, 52, 2509–2518. [Google Scholar] [CrossRef]
- Wilkinson, J. Rounding Errors in Algebraic Processes; Prentice-Hall: Englewood Cliffs, NJ, USA, 1963. [Google Scholar]
- Nafisah, A.; Sheikh, S.; Alshahrani, M.; Almazah, M.; Alnssyan, B.; Dar, J. Perturbation Approach to Polynomial Root Estimation and Expected Maximum Modulus of Zeros with Uniform Perturbations. Mathematics 2024, 12, 2993. [Google Scholar] [CrossRef]
- Pakdemirli, M.; Sari, G. A comprehensive perturbation theorem for estimating magnitudes of roots of polynomials. LMS J. Comput. Math. 2013, 16, 1–8. [Google Scholar] [CrossRef]
- Pakdemirli, M.; Yurtsever, H. Estimating roots of polynomials using perturbation theory. Appl. Math. Comput. 2007, 188, 2025–2028. [Google Scholar] [CrossRef]
- Van Tran, N.; Van den Berg, I. Gaussian elimination for flexible systems of linear inclusions. Port. Math. 2024, 81, 265–305. [Google Scholar] [CrossRef] [PubMed]
- Nelson, E. Internal set theory: A new approach to nonstandard analysis. Bull. Amer. Math. Soc. 1977, 83, 1165–1198. [Google Scholar] [CrossRef]
- Kanovei, V.; Reeken, M. Nonstandard Analysis, Axiomatically; Springer Monographs in Mathematics; Springer: Berlin/Heidelberg, Germany, 2004. [Google Scholar] [CrossRef]
- Robert, A. Nonstandard Analysis; Dover Publications: Garden City, NY, USA, 2011. [Google Scholar]
- Diener, F.; Reeb, G. Analyse Non Standard; Hermann: Paris, France, 1989. [Google Scholar]
- Diener, F. Sauts des Solutions des Équations εẍ = f(t, x, ẋ). SIAM J. Math. Anal. 1986, 17, 533–559. [Google Scholar] [CrossRef]
- Dinis, B.; van den Berg, I. On the quotient class of non-archimedean fields. Indag. Math. 2017, 28, 784–795. [Google Scholar] [CrossRef]
- Van der Waerden, B. Algebra. Volume I, II; Springer: Berlin/Heidelberg, Germany, 1991. [Google Scholar]
- Van den Berg, I. Un point de vue nonstandard sur les développements en série de Taylor. In IIIe Rencontre de Géométrie du Schnepfenried; Astérisque 109-110; Numdam: Grenoble, France, 1983; Volume 2, pp. 209–223. [Google Scholar]
- Alamer, A.; Nasiruzzaman, M. Approximation by Stancu variant of λ-Bernstein shifted knots operators associated by Bézier basis function. J. King Saud Univ. Sci. 2024, 36, 103333. [Google Scholar] [CrossRef]
- Ayman-Mursaleen, M.; Nasiruzzaman, M.; Rao, N. On the Approximation of Szász-Jakimovski-Leviatan Beta Type Integral Operators Enhanced by Appell Polynomials. Iran. J. Sci. 2025, 49, 784–795. [Google Scholar] [CrossRef]
- Horta, J.L. Numeros Externos Complexos. Raízes de Polinómios e Aplicacões. Ph.D. Thesis, University of Évora, Évora, Portugal, 2023. [Google Scholar]
1 | ||
2 | ||
3 | ||
4 | ||
5 | ||
6 | ||
7 | ||
8 | ||
9 | ||
10 |
1 | ||
2 | ||
3 | ||
4 | ||
5 | ||
6 | ||
7 | ||
8 | ||
9 | ||
10 |
1 | |||
2 | |||
3 | |||
4 | |||
5 | |||
6 | |||
7 | |||
8 | |||
9 | |||
10 |
1 | ||
2 | ||
3 | ||
4 | ||
5 | ||
6 | ||
7 | ||
8 | ||
9 | ||
10 |
1 | ||
2 | ||
3 | ||
4 | ||
5 | ||
6 | ||
7 | ||
8 | ||
9 | ||
10 |
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2025 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).
Share and Cite
Berg, I.v.d.; Horta, J.C.L. A General Approach to Error Analysis for Roots of Polynomial Equations. AppliedMath 2025, 5, 120. https://doi.org/10.3390/appliedmath5030120
Berg Ivd, Horta JCL. A General Approach to Error Analysis for Roots of Polynomial Equations. AppliedMath. 2025; 5(3):120. https://doi.org/10.3390/appliedmath5030120
Chicago/Turabian StyleBerg, Imme van den, and João Carlos Lopes Horta. 2025. "A General Approach to Error Analysis for Roots of Polynomial Equations" AppliedMath 5, no. 3: 120. https://doi.org/10.3390/appliedmath5030120
APA StyleBerg, I. v. d., & Horta, J. C. L. (2025). A General Approach to Error Analysis for Roots of Polynomial Equations. AppliedMath, 5(3), 120. https://doi.org/10.3390/appliedmath5030120