Search arXivSearch

arXiv · 2505.17159

Simple and accurate complete elliptic integrals for the full range of modulus

Abstract

The complete elliptic integral of the first and second kind, K(k) and E(k), appear in a multitude of physics and engineering applications. Because there is no known closed-form, the exact values have to be computed numerically. Here, approximations for the integrals are proposed based on their asymptotic behaviors. An inverse of K is also presented. As a result, the proposed K(k) and E(k) reproduce the exact analytical forms both in the zero and asymptotic limits, while in the mid-range of modulus maintain average error of 0.06% and 0.01% respectively. The key finding is the ability to compute the integrals with exceptional accuracy on both limits of elliptical conditions. An accuracy of 1 in 1,000 should be sufficient for practical or prototyping engineering and architecture designs. The simplicity should facilitate discussions of advanced physics topics in introductory physics classes, and enable broader collaborations among researchers from other fields of expertise. For example, the phase space of energy-conserving nonlinear pendulum using only elementary functions is discussed. The proposed inverse of K is shown to be Never Failing Newton Initialization and is an important step for the computation of the exact inverse. An algorithm based on Arithmetic-Geometric Mean for computing exact integrals and their derivatives are also presented, which should be useful in a platform that special functions are not accessible such as web-based and firmware developments. Comparisons with sharp bounds from the mathematical inequalities literature further highlight the competitiveness of the proposed approximations.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Teepanis Chachiyo. 2025-10-27. Simple and accurate complete elliptic integrals for the full range of modulus. https://doi.org/10.1016/j.cpc.2025.109931

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

KEEP EXPLORING

Related papers

Evaluation of uncertainties in the estimates of correlated variables as the elemental-isotopic-abundances: properties of corresponding-indirect-measurement-system-specific-relationships

Isotopic-abundances of any multi-(N)-isotopic-element (E) are interdependent and therefore needed to be measured indirectly from their rather accurately-measurable (N-1) abundance-ratios. ... Even, corresponding-atomic-weight (A_E) is determined by translating the estimated-ratios into the desired-estimate via concerned-input(s)-output-system-specific-relationship (SSR). However, how good the output-estimates y_d(s) and a_E should represent their desired-true-values Y_d(s) and A_E be indicated by the respective uncertainties e_d^Y (s) and e_E^A only; i.e. correct-knowledge of even the output-uncertainties be indispensable for the desired-indirect-measurements. Usually, by assuming the lab-established-(input)-uncertainty(s) as u_m(s) to be accidental-in-nature, a measure of any-corresponding-non-correlated-variable-specific-output-uncertainty is obtained by the popular-error-propagation-law. And, any-correlated-variable as the isotopic-abundance-Y_d-specific-output-uncertainty e_d^Y is evaluated by incorporating additional-(correlation)-correction-factor(s) in the error-propagation-formula, i.e. correlation is being assumed as an output-uncertainty-governing-parameter. However, it is here clarified that: (i) the output-uncertainty e_d^Y (or even e_E^A) should, like the corresponding-output-estimate y_d (or a_E) itself, be independent of whether the isotopic-abundances are correlated; and: (ii) any output-uncertainty e should actually be the corresponding-SSR-governed-systematic-parameter, irrespective of whether the input-uncertainty(s) u_m (s) be purely-random-in-nature. That-is, like the non-correlated-variables-specific-SSRs discussed elsewhere, any isotopic-variable-specific-SSR should be bracketed with certain input(s)-to-output-variation-parameter(s) [MF]_m^d (s) which really prefix(s), for given the input-uncertainty(s) u_m (s), the corresponding-output-uncertainty ...

physics.gen-ph

Yukawa coupling and one loop inflation in the light of CMB

The one loop inflation stemming from the superstring theory and associated Yukawa coupling arising from supersymmetric interactions is examined with CMB. The Yukawa coupling can exist beyond standard model particle physics sector. The tensor-to-scalar ratio of the loop inflation is found consistent with the recent CMB results for the Yukawa coupling from cosmology. The alternative constraint on the Yukawa coupling from loop inflation may play a crucial role in validating inflationary model originating from supersymmetry and string theory. The outcomes of the study may be helpful in the phenomenological realisation of string theory.

physics.gen-ph

Phase Encoding of Genuine Three-Body Interactions in a Relativistic Dirac System in $1+1$ Dimensions

We show how genuine three-body phase information can enter the invariant mass of a relativistic three-particle Dirac system in $(1+1)$ dimensions. As a solvable reference system, we consider the Sakamoto--Munakata--Ino model with pairwise contact interactions $g_{ij}(1-α_iα_j)δ(x_i-x_j)$. These singular interactions can be transferred into sector-dependent phases and matching conditions by a discontinuous unitary transformation. Although the explicit contact terms are thereby removed, the nonzero constituent-mass operator is rotated and retains nontrivial spectral information. We introduce a genuine three-body holonomy generated by $Q_3=α_1α_2α_3$. The kinetic and pair-interaction parts commute with $Q_3$, while the constituent-mass operator anticommutes with it. Consequently, the massless system separates into the $Q_3=\pm1$ sectors, which acquire opposite holonomy phases $e^{\pm iθ_3}$, whereas nonzero constituent masses mix the two sectors. This phase-sector-mixing mechanism makes the relative three-body phase dynamically accessible to the bound-state spectrum and establishes an operator-level mechanism through which the three-body holonomy generates a $θ_3$ dependence of the physical three-body invariant mass. We further emphasize that the topological three-body holonomy is not automatically equivalent to a bare triple-contact potential; such an equivalence requires a regulated self-adjoint realization and a compatible interaction-dependent boost satisfying the Poincaré algebra. The resulting framework therefore connects genuine three-body phase information to the mass spectrum of a relativistic composite system while clearly separating the controlled holonomy construction from the unresolved short-distance triple-contact realization.

physics.gen-ph