A Fixed-Point Construction of the Elementary Transcendental Functions

Abstract

We present a unified fixed-point construction of the elementary transcendental functions, encompassing the real exponential, the complex exponential (sine and cosine), and the natural logarithm. Each function is characterized as the unique solution of a duplication identity established through the Banach contraction principle. These foundational identities are $e(2x)=e^2(x)$ for the exponentials, and $\log(x^{2})=2\log x$ for the logarithm. Because a direct iteration of these identities is numerically unstable, owing to local expansiveness at the target, the central idea transfers the analysis to a residual function, on which the operator becomes a strict contraction with an explicit convergence rate. Beyond its theoretical economy, which dispenses with differential equations and power series, this characterization translates into efficient algorithms for the machine evaluation of elementary functions: the underlying framework yields floating-point kernels whose accuracy and iteration depth are governed by the theoretical contraction rate. We also present a computational study showing that, in a throughput-bound vectorized regime, these kernels are competitive with standard production libraries, and in favorable configurations exceed them, with the sine--cosine kernel faster at every tested iteration depth. These implementations operate without lookup tables or memory traffic, an architectural advantage for modern high-performance and energy-efficient computing.

Disclosure

“his work are currently available from the corresponding author upon reasonable request. The authors plan to clean, document, and host the complete codebase in a publicly accessible GitHub repository before final publication. Declaration of Generative AI and AI-Assisted Technologies: During the preparation of this manuscript, the authors used Grammarly and Gemini to check spelling and improve the fluency of selected portions of the text. The manuscript was initially prepared using TeXmacs”

PDF page 21

Classification

Proofreading, grammar, or spelling

Multiplier

1

Verified

2026-08-23T19:05:56.299142Z

Structural counts