Related papers: Fourier Series Formalization in ACL2(r)
Finite trigonometric Fourier series on a set of discrete equidistant points are considered. A finite system of orthogonal functions that have interpolation and certain differential properties on the period is introduced. Finite Fourier…
An effective means to approximate an analytic, nonperiodic function on a bounded interval is by using a Fourier series on a larger domain. When constructed appropriately, this so-called Fourier extension is known to converge geometrically…
Let $W_0(\mathbb R)$ be the Wiener Banach algebra of functions representable by the Fourier integrals of Lebesgue integrable functions. It is proven in the paper that, in particular, a trigonometric series $\sum\limits_{k=-\infty}^\infty…
Fourier series are considered on the one-dimensional torus for the space of periodic distributions that are the distributional derivative of a continuous function. This space of distributions is denoted $\alext$ and is a Banach space under…
In this paper, we investigate the Ces\'aro means of Fourier series with respect to general orthonormal systems (ONS), when the function \( f \) belongs to a certain differentiable class of functions. It is well known that the membership of…
We define a compact version of the Hilbert transform, which we then use to write explicit expressions for the partial sums and remainders of arbitrary Fourier series. The expression for the partial sums reproduces the known result in terms…
The Fourier transform is naturally defined for integrable functrions. Otherwise, it should be stipulated in which sense the Fourier transform is understood. We consider some class of radial and, generally saying, nonintegrable functions.…
Properties of 2-dimensional generalizations of sine functions that are symmetric or antisymmetric with respect to permutation of their two variables are described. It is shown that the functions are orthogonal when integrated over a finite…
We introduce a small change in the definition of the Fourier series so that we can guarantee the coincidence with the given function at the endpoints of the interval even if the function does not assume the same value at the endpoints. This…
We propose a novel definition of Fourier transform, with the property that the transform of a real function is again a real function (without doubling the number of real components). We prove the inversion theorem for the novel definition,…
Properties of the four families of recently introduced special functions of two real variables, denoted here by $E^\pm$, and $\cos^\pm$, are studied. The superscripts $^+$ and $^-$ refer to the symmetric and antisymmetric functions…
The semiring of discrete dynamical systems is a simple algebraic model for modularity in deterministic systems. The objects of the semiring are finite transformations (viewed as directed graphs and regarded up to isomorphism), the sum of…
Dimensional regularization of Euclidean momentum space integrals is a highly successful technique in renormalization of quantum field theories. While it yields a straightforward algorithmic method, with which to evaluate diagrams beyond…
Fourier Series is the second of monographs we present on harmonic analysis. Harmonic analysis is one of the most fascinating areas of research in mathematics. Its centrality in the development of many areas of mathematics such as partial…
We will use analytic function theory and Fourier analysis to establish a characterization for some classical umbral calculus, which will focus on the generalization of the evaluation function. Although we cannot cover all the umbral…
We give a proof of the uniform convergence of Fourier series, using the methods of nonstandard analysis.
We extend the functional analytic approach to Colombeau-type spaces of nonlinear generalized functions in order to study algebras of tempered generalized functions. We obtain a definition of Fourier transform of nonlinear generalized…
By using meromorphic "characters" and "logarithms" built up from Euler's Gamma function, and by using convergent factorial series, we will give, in a first pat, a "normal form" to the solutions of a singular regular system. It will enable…
We introduce semicontinuous summation methods for series of fuzzy numbers and give Tauberian conditions under which summation of a series of fuzzy numbers via generalized Dirichlet series and via generalized factorial series implies its…
In this paper, we prove that the partial sum process of general orthogonal series is a geometric 2-rough process under the same condition as in Menshov-Rademacher Theorem. For Fourier series, the condition can be improved, and an equivalent…