Related papers: On absolute convergence of Fourier integrals
We survey our recent result that for every continuous function there is an absolutely continuous homeomorphism such that the composition has a uniformly converging Fourier expansion. We mention the history of the problem, orginally stated…
We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework…
In this paper, we study the inversion formula for recovering a function from its windowed Fourier transform. We give a rigorous proof for an inversion formula which is known in engineering. We show that the integral involved in the formula…
Motivated by infinite-dimensional optimal control problems with endpoint state constraints, in this Note, we introduce the notion of finite codimensional exact controllability for evolution equations. It is shown that this new…
With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…
Pippenger's Galois theory of finite functions and relational constraints is extended to the infinite case. The functions involved are functions of several variables on a set $A$ and taking values in a possibly different set $B$, where any…
Absolute continuity implies uniform continuity, but generally not vice versa. In this short note, we present one sufficient condition for a uniformly continuous function to be absolutely continuous, which is the following theorem: For a…
In the paper we consider the infinite horizon control problems on the interval with free right-hand endpoint. We obtain the necessary conditions of strict optimality. The method of the proof actually follows the classic paper by Halkin, and…
A known Hardy-Littlewood theorem asserts that if both the function and its conjugate are of bounded variation, then their Fourier series are absolutely convergent. It is proved in the paper that the same result holds true for functions on…
A trigonometric series strongly bounded at two points and with coefficients forming a log-quasidecreasing sequence is necessarily the Fourier series of a function belonging to all $L^{p}$ spaces, $1\leq p < \infty$. We obtain new results on…
The Fourier transform of the indicator function of arbitrary polygons and polyhedra is computed for complex wavevectors. Using the divergence theorem and Stokes' theorem, closed expressions are obtained. Apparent singularities, all…
We prove that if $f:I\subset \Bbb R\to \Bbb R$ is of bounded variation, then the noncentered maximal function $Mf$ is absolutely continuous, and its derivative satisfies the sharp inequality $\|DMf\|_1\le |Df|(I)$. This allows us obtain,…
The Fourier transform of a bounded measurable function, $f$, on the real line is shown to be the second distributional derivative of a H\"older continuous function. The Fourier transform is written as the difference of $\int_{-1}^1…
A class theorem is presented and proved: the complex Fourier transforms of a certain class of exponential functions have all their zeros on the real line. A class of basis functions is first considered, and the class is then extended via…
Approximate controllability of the Euler equations is investigated by means of a finite set of actuators. It is proven that approximate controllability holds if we can find a saturating subset of actuators. The notion of saturating set is…
Certain relations between the Fourier transform of a function of bounded variation and the Hilbert transform of its derivative are revealed. The widest subspaces of the space of functions of bounded variation are indicated in which the…
Consider the group ${\mathbb{R}}^2$ with the discrete topology, and denote its Fourier algebra by $A({{\mathbb{R}}_{\rm d}^2})$. We reformulate a theorem of V.A. Yudin as a statement about restrictions of functions in $A({{\mathbb{R}}_{\rm…
The large variety of Fourier transforms in geometric algebras inspired the straight forward definition of ``A General Geometric Fourier Transform`` in Bujack et al., Proc. of ICCA9, covering most versions in the literature. We showed which…
The purpose of this paper is to establish the first and second order necessary conditions for stochastic optimal controls in infinite dimensions. The control system is governed by a stochastic evolution equation, in which both drift and…
If $f\in L^1({\mathbb R})$ it is proved that $\lim_{S\to\infty}\lVert f-f\ast D_S\rVert=0$, where $D_S(x)=\sin(Sx)/(\pi x)$ is the Dirichlet kernel and $\lVert f\rVert = \sup_{\alpha<\beta}|\int_{\alpha}^{\beta}f(x)\,dx|$ is the Alexiewicz…