Hostname: page-component-8448b6f56d-t5pn6 Total loading time: 0 Render date: 2024-04-24T06:21:16.849Z Has data issue: false hasContentIssue false

Addition Theorems and Binary Expansions

Published online by Cambridge University Press:  20 November 2018

Jonathan M. Borwein
Affiliation:
Department of Mathematics and Statistics Simon Fraser University Burnaby, British Columbia V5A 1S6
Roland Girgensohn
Affiliation:
Department of Pure Mathematics University of Waterloo Waterloo, Ontario N2L 3G1
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let an interval I ⊂ ℝ and subsets D0, D1I with D0D1 = I and D0D1 = Ø be given, as well as functions r0: D0I, r1: D1I. We investigate the system (S) of two functional equations for an unknown function f: I → [0, 1]: We derive conditions for the existence, continuity and monotonicity of a solution. It turns out that the binary expansion of a solution can be computed in a simple recursive way. This recursion is algebraic for, e.g., inverse trigonometric functions, but also for the elliptic integral of the first kind. Moreover, we use (S) to construct two kinds of peculiar functions: surjective functions whose intervals of constancy are residual in I, and strictly increasing functions whose derivative is 0 almost everywhere.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1995

References

1. Borwein, J.M., Borwein, P.B., Pi and the AGM: A Study in Analytic Number Theory and Computational Complexity, Wiley, 1987.Google Scholar
2. de Rham, G., Sur une courbe plane, J. Math. Pures Appl. 35(1956), 2542.Google Scholar