Related papers: Schoenberg's Theorem via the law of large numbers
We represent Mat\'ern functions in terms of Schoenberg's integrals which ensure the positive definiteness and prove the systems of translates of Mat\'ern functions form Riesz sequences in $L^2(\R^n)$ or Sobolev spaces. Our approach is based…
In 1991, Shinichi Kotani proved a theorem giving a sufficient condition to conclude that a function $f(x)$ on ${\mathbb Z}^d$ decays like $|x|^{-(d-2)}$ for large $x$, assuming that its Fourier transform $\hat f(k)$ is such that…
In the present work we demonstrate that the so called Goldbach conjecture from 1742, All positive even numbers greater than two can be expressed as a sum of two primes, due to Leonhard Euler, is a true statement. This result is partially…
If $n \ge 3$, $q>2$ and $\beta > 0$ then the function $\exp(-(|x_1|^q+|x_2|^q+\dots+|x_n|^q)^{\beta/q})$\ is not positive definite. This result gives an answer to a question posed by I.J.~Schoenberg in 1938. This text is an authorized…
In modern usage the Bernoulli numbers and Bernoulli polynomials follow Euler's approach and are defined using generating functions. We consider the functional equation $f(x)+x^k=f(x+1)$ and show that a solution can be derived from…
In two dimensions, Gallagher's theorem is a strengthening of the Littlewood conjecture that holds for almost all pairs of real numbers. We prove an inhomogeneous fibre version of Gallagher's theorem, sharpening and making unconditional a…
Enrico Bombieri proved that the ABC Conjecture implies Roth's theorem in 1994. This paper concerns the other direction. In making use of Bombieri's and Van der Poorten's explicit formula for the coefficients of the regular continued…
In 1969 V.V.~Petrov found a new sufficient condition for the applicability of the strong law of large numbers to sequences of independent random variables. He proved the following theorem: let $\{X_{n}\}_{n=1}^{\infty}$ be a sequence of…
Excluding the concept of probability in quantum mechanics, we derive Born's law from the remaining postulates in quantum mechanics using type method. We also give a way of determining the unknown parameter in a state vector based on an…
It is shown how the essentials of quantum theory, i.e., the Schroedinger equation and the Heisenberg uncertainty relations, can be derived from classical physics. Next to the empirically grounded quantisation of energy and momentum, the…
Sturm's theorem (1829/35) provides an elegant algorithm to count and locate the real roots of any real polynomial. In his residue calculus (1831/37) Cauchy extended Sturm's method to count and locate the complex roots of any complex…
Let $u_{2j}$ be the product of the odd positive integers $< 2j$. For $n$ an integer $\ge 1$, define \[ f(x)=\sum_{j=0}^{n}a_j\frac{x^{2j}}{u_{2j+2}}, \] where the $a_j$'s are arbitrary integers with $|a_0|=1$. In 1929, I. Schur established…
We derive the probabilities of measurement results from Schroedinger's equation plus a definition of macroscopic as a particular kind of thermodynamic limit. Bohr's insight that a measurement apparatus must be classical in nature and…
We note that the Fubini theorem may be used to prove that an $L^1$ function is determined by its Fourier coefficients.
Quantum theory has evolved from a set of provisional rules to an indispensable framework that underlies much of modern technology and infrastructure. Yet, after a century, Born's probability postulate remains at odds with the theory's…
The Bochner integral is a generalization of the Lebesgue integral, for functions taking their values in a Banach space. Therefore, both its mathematical definition and its formalization in the Coq proof assistant are more challenging as we…
S. Banach \cite{Banach} proved that good differential properties of function do not guarantee the a.e. convergence of the Fourier series of this function with respect to general orthonormal systems (ONS). On the other hand it is very well…
It is shown that the approximating functions used to define the Bochner integral can be formed using geometrically nice sets, such as balls, from a differentiation basis. Moreover, every appropriate sum of this form will be within a…
Characterizing in a constructive way the set of real functions whose Fourier transforms are positive appears to be yet an open problem. Some sufficient conditions are known but they are far from being exhaustive. We propose two constructive…
The classical Shannon sampling theorem states that a signal f with Fourier transform F in L^2(R) having its support contained in (-\pi,\pi) can be recovered from the sequence of samples (f(n))_{n in Z} via f(t)=\sum_{n in Z} f(n) (sin(\pi…