Related papers: Evaluating the Fabius function
Different questions lead to the same class of functions from natural integers to integers: those which have integral difference ratios, i.e. verifying $f(a)-f(b)\equiv0 \pmod {(a-b)}$ for all $a>b$. We characterize this class of functions…
In a previous study, the first author defines an inverse ambiguous function on a group $G$ to be a bijective function $f : G \to G$ satisfying the functional equation $f^{-1}(x) = f(x^{-1})$ for all $x \in G$. In this paper, we investigate…
The Thue--Morse sequence is a prototypical automatic sequence found in diverse areas of mathematics, and in computer science. We study occurrences of factors $w$ within this sequence, more precisely, the sequence of gaps between consecutive…
We consider the problem of approximation of a continuous function $f$ defined on a compact metric space $X$ by elements from a sum of two algebras. We prove a de la Vall\'{e}e Poussin type theorem, which estimates the approximation error…
Letting $(t_n)$ denote the Thue-Morse sequence with values $0, 1$, we note that the Woods-Robbins product $$ \prod_{n \geq 0} \left(\frac{2n+1}{2n+2}\right)^{(-1)^{t_n}} = 2^{-1/2} $$ involves a rational function in $n$ and the $\pm 1$…
Rouch\'e's Theorem is among the most useful results in complex analysis for counting zeros of analytic functions. Rouch\'e's Theorem also admits a harmonic analogue for counting zeros of complex harmonic functions. Previously, this analogue…
It is a well-known fact that Riemann Hypothesis will follows if the function identically equal to -1 can be arbitrarily approximated in the norm $\norma{.}$ of $L^{2}([0,1],dx)$ by functions of the form $f(x)=\sum_{k=1}^{n}a_{k}…
The limiting function $f(s)$ of the pair correlation \[ \frac{1}{N} \# \left\{ 1 \leq i\neq j\leq N \middle\vert \left\lVert x_i - x_j \right\rVert \leq \frac{s}{N} \right\} \] for a sequence $(x_N)_{N \in \mathbb{N}}$ on the torus…
For a discrete function $f\left( x\right) $ on a discrete set, the finite difference can be either forward and backward. However, we observe that if $ f\left( x\right) $ is a sum of two functions $f\left( x\right) =f_{1}\left( x\right)…
A function from Baire space to the natural numbers is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuity to two other notions of continuity on Baire space working…
A remarkable discrete counterpart of the Gaussian function of one continuous variable can be defined by using a Jacobi theta function, that is, as the sum of a convergent series. We extend this approach to Gaussian functions of two…
A one-to-one continuous function from a triangle to itself is defined that has both interesting number theoretic and analytic properties. This function is shown to be a natural generalization of the classical Minkowski ?(x) function. It is…
Let ${\mathbb F}_q$ be the finite field of $q$ elements, where $q=p^r$ is a power of the prime $p$, and $\left(\beta_1, \beta_2, \dots, \beta_r \right)$ be an ordered basis of ${\mathbb F}_q$ over ${\mathbb F}_p$. For…
This is the English translation of my old paper 'Definici\'on y estudio de una funci\'on indefinidamente diferenciable de soporte compacto', Rev. Real Acad. Ciencias 76 (1982) 21-38. In it a function (essentially Fabius function) is defined…
In \cite{d4}, we gave a method to construct a continued fraction of the function $F(x):=e^{x}E_{1}(x)$. More precisely we define $F_{1}(x)$ as the reciprocal of $F(x)$ and we inductively define $F_{m}(x)$ as the reciprocal of ``$F_{m-1}(x)$…
We prove that certain sequences of finite continued fractions associated with a 2-periodic continued fraction with period a,b>0 are moment sequences of discrete signed measures supported in the interval [-1,1], and we give necessary and…
Following Inoue et al., we define a word to be a repetition if it is a (fractional) power of exponent at least 2. A word has a repetition factorization if it is the product of repetitions. We study repetition factorizations in several…
Let $\nu_{f}(n)$ be the $n$-th nomalized Fourier coefficient of a Hecke--Maass cusp form $f$ for ${\rm SL}(2,\Z)$ and let $\alpha$ be a real number. We prove strong oscillations of the argument of $\nu_{f}(n)\mu (n) \exp (2\pi i n \alpha)$…
Given a finite number of samples of a continuous set-valued function F, mapping an interval to compact subsets of the real line, we develop good approximations of F, which can be computed efficiently.
Convolution powers of $1/x$ are transformed into functions $f_n$, which satisfy a simple recurrence relation. Solutions are characterized and analyzed.