Related papers: Fourier Series Formalization in ACL2(r)
In this paper, a Fourier series in fractional dimensional space is introduced for an arbitrarily periodic function $f(t;\alpha)$. We call it fractional Fourier series of the order $\alpha$. Extending the basis functions of the linear space…
In quantum mechanics the eigenstates of the Hamiltonian form a complete basis. However, physicists conventionally express completeness as a formal sum over the eigenstates, and this sum is typically a divergent series if the Hilbert space…
We implement an efficient method of computation of two dimensional Fourier-type integrals based on approximation of the integrand by Gaussian radial basis functions, which constitute a standard tool in approximation theory. As a result, we…
By using computers to do experimental manipulations on Fourier series, we construct additional series with interesting properties. We construct several series whose sums remain unchanged when the $n^{th}$ term is multiplied by $\sin(n)/n$.…
We discuss the fundamental role of entanglement as the essential nonclassical feature providing the computational speed-up in the known quantum algorithms. We review the construction of the Fourier transform on an Abelian group and the…
Proofs of the fundamental theorem of algebra can be divided up into three groups according to the techniques involved: proofs that rely on real or complex analysis, algebraic proofs, and topological proofs. Algebraic proofs make use of the…
We develop a unified second-order parameterized complexity theory for spaces of integrable functions. This generalizes the well-established case of second-order parameterized complexity theory for spaces of continuous functions.…
Euler gave recipes for converting alternating series of two types, I and II, into equivalent continued fractions, i.e., ones whose convergents equal the partial sums. A condition we prove for irrationality of a continued fraction then…
In this article, we prove certain Weber-Schafheitlin type integral formulae for Bessel functions over complex numbers. A special case is a formula for the Fourier transform of regularized Bessel functions on complex numbers. This is applied…
Fourier series approximations of continuous but nonperiodic functions on an interval suffer the Gibbs phenomenon, which means there is a permanent oscillatory overshoot in the neighbourhoods of the endpoints. Fourier extensions circumvent…
The novel functional dimensional regularization (FDR) scheme has proven capable of yielding results that are competitive with the state-of-the-art in the computation of critical exponents in $d=3$, while also reproducing those from the…
In the present paper, we give a brief review of $L^{1}$-convergence of trigonometric series. Previous known results in this direction are improved and generalized by establishing a new condition.
Calculations of the Fourier transform of a constant quantity over an area or volume defined by polygons (connected vertices) are often useful in modeling wave scattering, or in fourier-space filtering of real-space vector-based volumes and…
We study a certain family of finite-dimensional simple representations over quantum affine superalgebras associated to general linear Lie superalgebras, the so-called fundamental representations: the denominators of rational $R$-matrices…
Umbral theory, formulated in its modern version by S. Roman and G.~C. Rota, has been reconsidered in more recent times by G. Dattoli and collaborators with the aim of devising a working computational tool in the framework of special…
We consider a class of $n^{\text{th}}$-order linear ordinary differential equations with a large parameter $u$. Analytic solutions of these equations can be described by (divergent) formal series in descending powers of $u$. We demonstrate…
Using the theory of Stienstra and Beukers, we prove various elementary congruences for the numbers \sum \binom{2i_1}{i_1}^2\binom{2i_2}{i_2}^2...\binom{2i_k}{i_k}^2, where k,n \in N, and the summation is over the integers i_1, i_2, ...i_k…
We study convergence properties of sparse averages of partial sums of Fourier series of continuous functions. By sparse averages, we are considering an increasing sequences of integers $n_0 < n_1 < n_2 < ...$ and looking at…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
We give a proof of Fourier extension conjecture on the paraboloid in all dimensions bigger than 2 that begins with a decomposition suggested in Sawyer [Saw8] of writing a smooth Alpert projection as a sum of pieces whose Fourier extensions…