Search arXivSearch

arXiv · 2601.22187

A root finding method with arbitrary order of convergence

Abstract

Let $a\in \mathbb{R}^{+}\backslash\left\{0\right\}$ and $M\in\mathbb{N}$. We consider the equation $t^M-a=0$, which is equivalent to $1-\frac{t^M}{a}=0\,.$ The real solution is $\sqrt[M]{a}$. In this publication, we present a method that enables the calculation of $\sqrt[M]{a}$ with arbitrary order of convergence using only polynomials. We define the fixed point function \[ F\left(x\right) =\prod_{\ell=1}^{P}\left(1+\frac{1}{\ell\cdot M}\right) \int\limits_{0}^{x}\!\left(1-{\frac{{t}^{M}}{a}}\right)^{P}{\rm d}t =\sum\limits_{k=0}^{P}\frac{\left(-1\right)^{\,k}}{a^{\,k}}\cdot\binom{P}{k}\cdot\frac{x^{\,k\,\cdot M+1}}{k\,\cdot M+1} \] This is a polynomial of degree $\left(P\cdot M+1\right)$ with $\left(P+1\right)$ terms. The calculation of $\sqrt[M]{a}$ is thus reduced to a polynomial evaluation. The computational tests we performed demonstrate the efficiency of the method. -- Es sei $a\in \mathbb{R}^{+}\backslash\left\{0\right\}$ und $M\in\mathbb{N}$. Vorgelegt ist die Gleichung $t^M-a=0$, die äquivalent zu $1-\frac{t^M}{a}=0$ ist. Die reelle Lösung hiervon ist $\sqrt[M]{a}$. In dieser Veröffentlichung stellen wir ein Verfahren vor, das die Berechnung von $\sqrt[M]{a}$ mit beliebiger Konvergenzordnung ermöglicht und nur Polynome verwendet. Wir definieren die Fixpunktfunktion \[F\left(x\right) =\prod_{\ell=1}^{P}\left(1+\frac{1}{\ell\cdot M}\right) \int\limits_{0}^{x}\!\left(1-{\frac{{t}^{M}}{a}}\right)^{P}{\rm d}t =\sum\limits_{k=0}^{P}\frac{\left(-1\right)^{\,k}}{a^{\,k}}\cdot\binom{P}{k}\cdot\frac{x^{\,k\,\cdot M+1}}{k\,\cdot M+1} \] Das ist ein Polynom vom Grad $\left(P\cdot M+1\right)$ mit $\left(P+1\right)$ Summanden. Anhand ausgewählter Beispiele von Wurzelberechnungen zeigen wir die Effizienz des Verfahrens.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alois Schiessl. 2026-02-09. A root finding method with arbitrary order of convergence. https://arxiv.org/abs/2601.22187

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The new Fermat-type factorization algorithm

Let n be any odd natural number other than a perfect square. We show that the new factorization algorithm, presented in this paper and which we call DFM-1 (where DFM stands for Detto's Factorization Method), is much more efficient than the implementation technique of Fermat's Factorization Algorithm (FFA) called FFA-1, which, among the implementation techniques of Fermat's Factorization Algorithm (FFA), is the one that requires the fewest iterations to identify the non-trivial and trivial factors of n (excluding the cases in which the two factors of the pair of non-trivial or trivial factors of n are so close to each other that they can be identified at the 1st iteration with each of such implementation techniques). Indeed, by the way in which Euler's totient function of any n that is a semiprime is applied to FFA-1, we arrive at the new factorization algorithm (DFM-1), which halves (possibly rounding up to the next integer) the number of iterations required by FFA-1. Furthermore, in this paper, we present the hypothetical scenario according to which the number of iterations could possibly be further reduced. Finally, and still in relation to this new factorization algorithm, in this paper we present the limit number of iterations, which is less than the number of iterations required by DFM-1 to reach the condition x - y = 1 which characterizes the pair of trivial factors of n, beyond which it is no longer possible for pairs of non-trivial factors of n to occur.

math.GM

A Note on the Measure of Vector and Pythagorean Theorem

Why the square? We present a geometry-axiom-free derivation of the Pythagorean theorem and the square at its core, establishing their algebraic origin from within the bare vector-space framework. Such concepts as the (right) angle, rotation, inner product, orthogonality etc also emerge as a logical construct rather than taken as given. They are necessitated by the square, and the ensuing theory, in turn, $\textit{canonically}$ stems from a $\textit{single}$ definitional primitive $-$ the ($\mathbb R^{\vcenter{\hbox{$\scriptscriptstyle+$}}}\!$-quantitative) invariant $\mathcal Q$-measure of a vector. This provides the core of an algebraic justification for Euclidean geometry. Equally important, these findings account (also canonically) for the complex modulus-squared $p = |\mathfrak a|^2$ $-$ the quantum Born rule $-$ and point out what is even admissible for being quantitatively interpreted. The linear structure and its endomorphisms are rigid in the sense that the $\textit{well-defined}$ interpretable turns out to be, up to gauge $\mathcal Q {\,\to\,} \mathrm{const} {\,\vcenter{\hbox{$\scriptstyle\times$}}\,} \mathcal Q$, the unique gauge-invariant measure $\mathcal Q=|\hspace{-0.18em}| {\cdot}{\cdot}{\cdot} |\hspace{-0.18em}|^2$; independently of the field $\mathbb R$ or $\mathbb C$.

math.GM

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. Liu proposed the conjecture \[ \sum_{\text{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \ge 2+\left(\frac{2r}{R}\right)^k,\qquad k>1, \] with the reverse inequality for $k<1$. We prove this conjecture by reducing it to an algebraic inequality for three positive variables with prescribed sum and product. We also determine the equality cases.

math.GM