Related papers: Foundational aspects of singular integrals
According to a theorem due to Kenneth Kunen, under ZFC, there is no ordinal $\lambda$ and non-trivial elementary embedding $j:V_{\lambda+2}\to V_{\lambda+2}$. His proof relied on the Axiom of Choice (AC), and no proof from ZF alone has been…
Completely multiplicative functions whose sum is zero ($CMO$).The paper deals with $CMO$, meaning completely multiplicative ($CM$) functions $f$ such that $f(1)=1$ and $\sum\limits\_1^\infty f(n)=0$. $CM$ means $f(ab)=f(a)f(b)$ for all…
We continue the project of the study of reverse mathematics principles inspired by cardinal invariants. In this article in particular we focus on principles encapsulating the existence of large families of objects that are in some sense…
We introduce a class $\Lambda_{s}$ of functions with complicated local structure. Any function from the class belongs to one of three specifically defined types $f^s _k$, $f_+$, and $f^{-1} _+$ or is a specifically defined composition of…
We introduce the notion of a `pure` Abstract Elementary Class to block trivial counterexamples. We study classes of models of bipartite graphs and show: Main Theorem (cf. Theorem 3.5.2 and Corollary 3.5.6): If $(\lambda_i : i \le…
In this article we consider the class $\mathcal{A}(p)$ which consists of functions that are meromorphic in the unit disc $\ID$ having a simple pole at $z=p\in (0,1)$ with the normalization $f(0)=0=f'(0)-1 $. First we prove some sufficient…
It is known that the Cauchy's argument principle, applied to an holomorphic function $f$, requires that $f$ has no zeros on the curve of integration. In this short note, we give a generalization of such a principle which covers the case…
It is well known that ZFC, despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due to the…
We show that for every non-negative integer d, there exist differential equations w''+Pw=0, where P is a polynomial of degree d, such that some non-trivial solution w has all zeros real.
We consider linear combinations of eigenfunctions of the Laplace-Beltrami operator on a compact Riemannian manifold $(M,g)$ and investigate a density property of their zero sets. More precisely, let $f=\sum_{k=1}^m a_k…
Let $\A$ be the operator which assigns to each $m \times n$ matrix-valued function on the unit circle with entries in $H^\infty + C$ its unique superoptimal approximant in the space of bounded analytic $m \times n$ matrix-valued functions…
In the probability theory \emph{selfdecomposable, or class $L_0$ distributions} play an important role as they are limiting distributions of normalized partial sums of sequences of independent, not necessarily identically distributed,…
Given constants $x, \nu \in \mathbb{C}$ and the space $\mathscr{H}_0$ of entire functions in $\mathbb{C}$ vanishing at $0$, we consider the integro-differential operator $$ \mathfrak{L} = \left ( \frac{x \, \nu(1-\nu)}{1-x} \right ) \;…
For given two harmonic functions $\Phi$ and $\Psi$ with real coefficients in the open unit disk $\mathbb{D}$, we study a class of harmonic functions $f(z)=z-\sum_{n=2}^{\infty}A_nz^{n}+\sum_{n=1}^{\infty}B_n\bar{z}^n$ $(A_n, B_n \geq 0)$…
In this paper, we address the one-parameter families of the fractional integrals and derivatives defined on a finite interval. First we remind the reader of the known fact that under some reasonable conditions, there exists precisely one…
Differential equations of the form $f'' + A(z)f' + B(z)f = 0$ (*) are considered, where $A(z)$ and $B(z) \not\equiv 0$ are entire functions. The Lindel\"of function is used to show that for any $\rho \in (1/2, \infty)$, there exists an…
An integer part I of a real closed field K is a discretely ordered subring with minimal element 1 such that, for every x in K, I contains some i such that x is between i and i+1 in the ordering of K. Mourgues and Ressayre showed that every…
Let $\psi$ be a real primitive character modulo $D$. If the $L$-function $L(s,\psi)$ has a real zero close to $s=1$, known as a Landau-Siegel zero, then we say the character $\psi$ is exceptional. Under the hypothesis that such exceptional…
This paper contains a new elementary proof of the Fundamental Theorem of Calculus for the Lebesgue integral. The hardest part of our proof simply concerns the convergence in ${\rm L}^1$ of a certain sequence of step functions, and we prove…
One of the classical results concerning differentiability of continuous functions states that the set $\mathcal{SD}$ of somewhere differentiable functions (i.e., functions which are differentiable at some point) is Haar-null in the space…