Related papers: A Simple Proof of the Fourier Inversion Theorem Us…
Let $X$ be a complete, simply connected harmonic manifold of purely exponential volume growth. This class contains all non-flat harmonic manifolds of non-positive curvature and, in particular all known examples of harmonic manifolds except…
This is an account of the theory of inverse semigroups, assuming only that the reader knows the basics of semigroup theory.
We provide a simple proof of Kamp's theorem.
This work proves pointwise convergence of the truncated Fourier double integral of non-Lebesgue integrable bounded variation functions. This leads to the Dirichlet-Jordan theorem proof for non-Lebesgue integrable functions, which has not…
Using multisets, we develop novel techniques for mechanizing the proofs of the synthesis conjectures for list-sorting algorithms, and we demonstrate them in the Theorema system. We use the classical principle of extracting the algorithm as…
We give a simple proof of Strassen's theorem on stochastic dominance using linear programming duality, without requiring measure-theoretic arguments. The result extends to generalized inequalities using conic optimization duality and…
The problem of applying Nash-Moser Newton methods to obtain periodic solutions of the compressible Euler equations has led authors to identify the main obstacle, namely, how to invert operators which impose periodicity when they are based…
Fourier transform is applied to annular beams of simplified flat two-level geometry: bright outer ring with a darker core. The pattern of focal beam profile (i.e. far field) is calculated and characterized with respect of its intensity…
We use a restriction theorem for Fourier transforms of fractal measures to study projections onto families of planes in R^3 whose normal directions form nondegenerate curves.
We prove a general transfer theorem for multivariate random sequences with independent random indexes in the double array limit setting. We also prove its partial inverse providing necessary and sufficient conditions for the convergence of…
We show that the virial theorem provides a useful simple tool for approximating nonlinear problems. In particular we consider conservative nonlinear oscillators and a bifurcation problem. In the former case we obtain the same main result…
We show an exact (i.e. no smooth error terms) Fourier inversion type formula for differential operators over Riemannian manifolds. This provides a coordinate free approach for the theory of pseudo-differential operators.
Let $X$ be a complete, simply connected harmonic manifold with sectional curvatures $K$ satisfying $K \leq -1$, and let $\partial X$ denote the boundary at infinity of $X$. Let $h > 0$ denote the mean curvature of horospheres in $X$, and…
Many proofs of the fundamental theorem of algebra rely on the fact that the minimum of the modulus of a complex polynomial over the complex plane is attained at some complex number. The proof then follows by arguing the minimum value is…
We highlight the important role of the Fourier transform in deriving inversion formulas for the integral transforms of tomographic imaging. We demonstrate this principle by deriving inversion formulas for the divergent beam transform and…
We prove an analog of Perron-Frobenius theorem for multilinear forms with nonnegative coefficients, and more generally, for polynomial maps with nonnegative coefficients. We determine the geometric convergence rate of the power algorithm to…
Previous analysis of the Newell-Whitehead-Segel equation proved the best solution is null; although, the method of solution generated complex nested integrals, therefore, difficult to analyze \cite{NWSgen,NWS2020}. Recent insights into the…
The Replica Fourier Transform introduced previously is related to the standard definition of Fourier transforms over a group. Its use is illustrated by block-diagonalizing the eigenvalue equation of a four-replica Parisi matrix.
We present two theorems describing analytic left-inverses of partial X-ray transforms. The first theorem concerns X-ray data collected with an arbitrary distribution of parallel projections; it contains a convolution-backprojection formula…
We give a new proof of the butterfly theorem, based on the use of several expressions involving the scale factor between the two wings.