Related papers: Counterexamples to integer-coefficient criteria fo…
We examine recursive monotonic functions on the Lindenbaum algebra of $\mathsf{EA}$. We prove that no such function sends every consistent $\varphi$ to a sentence with deductive strength strictly between $\varphi$ and…
We consider orthogonal polynomials $\{p_{n,N}(x)\}_{n=0}^{\infty}$ on the real line with respect to a weight $w(x)=e^{-NV(x)}$ and in particular the asymptotic behaviour of the coefficients $a_{n,N}$ and $b_{n,N}$ in the three term…
In this paper we prove generic results concerning Hardy spaces in one or several complex variables. More precisely, we show that the generic function in certain Hardy type spaces is totally unbounded and hence non-extentable, despite the…
For any transitive piecewise monotonic map for which the set of periodic measures is dense in the set of ergodic invariant measures (such as monotonic mod one transformations and piecewise monotonic maps with two monotonic pieces), we show…
We prove an extension of Hoermander's classical result on hypoelliptic second order equations, where the coefficients of the related vector fields are globally Lipschitz and satisfy the classical Hoermander condition on a dense set while…
This paper is a contribution to the growing investigation of strong reducibilities between $\Pi^1_2$ statements of second-order arithmetic, viewed as an extension of the traditional analysis of reverse mathematics. We answer several…
For each $d \in {1,2,3,7,11}$, let $T_d$ be the nearest-integer complex continued fraction map associated with the Euclidean ring $\mathcal{O}*d$, and let $(a_n)$ be its digit sequence. We prove two metric results for this five-system…
The recurrence for the $k$-Fibonacci polynomials is usually iterated upwards to positive values of $n$ only. When the recurrence is iterated downwards to $n<0$, there are indices where the polynomials vanish identically. This fact does not…
For each integer $n\ge 1$, denote by $T_{n}$ the map $x\mapsto nx\mod 1$ from the circle group $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ into itself. Let $p,q\ge 2$ be two multiplicatively independent integers. Using Baire Category arguments, we…
The starting point of the article is the puzzling fact that one cannot recover the Fresnel coefficients by letting tend the width of a slab to infinity. Without using the so-called limiting absorption principle, we show by a convenient…
We prove that the statement "there is a $k$ such that for every $f$ there is a $k$-bounded diagonally non-recursive function relative to $f$" does not imply weak K\"onig's lemma over $\mathrm{RCA}_0 + \mathrm{B}\Sigma^0_2$. This answers a…
We give an elementary proof of the classical Hardy inequality on any Carnot group, using only integration by parts and a fine analysis of the commutator structure, which was not deemed possible until now. We also discuss the conditions…
We extend previous results on noncommutative recurrence in unital *-algebras over the integers, to the case where one works over locally compact Hausdorff groups. We derive a generalization of Khintchine's recurrence theorem, as well as a…
We find necessary and sufficient conditions for a finite $K$-bi-invariant measure on a compact Gelfand pair $(G, K)$ to have a square-integrable density. For convolution semigroups, this is equivalent to having a continuous density in…
We consider Hilbert spaces of analytic functions in the disk with a normalized reproducing kernel and such that the backward shift $f(z) \mapsto \frac{f(z)-f(0)}{z}$ is a contraction on the space. We present a model for this operator and…
We show that for any polynomial $f: \mathbb{Z}\to \mathbb{Z}$ with positive leading coefficient and irreducible over $\mathbb{Q}$, if $N$ is large enough then there are two strings of consecutive positive integers $I_{1}=\{n_1-m,\ldots,…
Zeckendorf proved that any integer can be decomposed uniquely as a sum of non-adjacent Fibonacci numbers, $F_n$. Using continued fractions, Lekkerkerker proved the average number of summands of an $m \in [F_n, F_{n+1})$ is essentially…
Recently, Donoso, Le, Moreira and Sun studied the asymptotic behavior of the averages of completely multiplicative functions over the Gaussian integers. They derived Wirsing's theorem for Gaussian integers, answered a question of…
Let a and b be non-zero rational numbers that are multiplicatively independent. We study the natural density of the set of primes p for which the subgroup of the multiplicative group of the finite field with p elements generated by (a\mod…
We prove, using elementary methods of complex analysis, the following generalization of the isoperimetric inequality: if $p\in\re$, $\Omega\subset\re^2$ then the inequality $$…