No Arabic abstract
In this work we verify the sufficiency of a Jensens necessary and sufficient condition for a class of genus 0 or 1 entire functions to have only real zeros. They are Fourier transforms of even, positive, indefinitely differentiable, and very fast decreasing functions. We also apply our result to several important special functions in mathematics, such as modified Bessel function $K_{iz}(a), a>0$ as a function of variable $z$, Riemann Xi function $Xi(z)$, and character Xi function $Xi(z;chi)$ when $chi$ is a real primitive non-principal character satisfying $varphi(u;chi)ge0$ on the real line, we prove these entire functions have only real zeros.
We shall give bounds on the spacing of zeros of certain functions belonging to the Laguerre-Polya class and satisfying a second order differential equation. As a corollary we establish new sharp inequalities on the extreme zeros of the Hermite, Laguerre and Jacobi polinomials, which are uniform in all the parameters.
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 sets of necessary conditions for positivity of the Fourier transforms and test their ability of constraining the positivity domain. One uses analytic continuation and Jensen inequalities and the other deals with Toeplitz determinants and the Bochner theorem. Applications are discussed, including the extension to the two-dimensional Fourier-Bessel transform and the problem of positive reciprocity, i.e. positive functions with positive transforms.
We study the inverse problem of recovering a vector field in $mathbb{R}^2$ from a set of new generalized $V$-line transforms in three different ways. First, we introduce the longitudinal and transverse $V$-line transforms for vector fields in $mathbb{R}^2$. We then give an explicit characterization of their respective kernels and show that they are complements of each other. We prove invertibility of each transform modulo their kernels and combine them to reconstruct explicitly the full vector field. In the second method, we combine the longitudinal and transverse V-line transforms with their corresponding first moment transforms and recover the full vector field from either pair. We show that the available data in each of these setups can be used to derive the signed V-line transform of both scalar component of the vector field, and use the known inversion of the latter. The final major result of this paper is the derivation of an exact closed form formula for reconstruction of the full vector field in $mathbb{R}^2$ from its star transform with weights. We solve this problem by relating the star transform of the vector field to the ordinary Radon transform of the scalar components of the field.
Let $x_1$ and $x_k$ be the least and the largest zeros of the Laguerre or Jacobi polynomial of degree $k.$ We shall establish sharp inequalities of the form $x_1 <A, x_k >B,$ which are uniform in all the parameters involved. Together with inequalities in the opposite direction, recently obtained by the author, this locates the extreme zeros of classical orthogonal polynomials with the relative precision, roughly speaking, $O(k^{-2/3}).$
We show that the adjunction counits of a Fourier-Mukai transform $Phi$ from $D(X_1)$ to $D(X_2)$ arise from maps of the kernels of the corresponding Fourier-Mukai transforms. In a very general setting of proper separable schemes of finite type over a field we write down these maps of kernels explicitly -- facilitating the computation of the twist (the cone of an adjunction counit) of $Phi$. We also give another description of these maps, better suited to computing cones if the kernel of $Phi$ is a pushforward from a closed subscheme $Z$ of $X_1 times X_2$. Moreover, we show that we can replace the condition of properness of the ambient spaces $X_1$ and $X_2$ by that of $Z$ being proper over them and still have this description apply as is. This can be used, for instance, to compute spherical twists on non-proper varieties directly and in full generality.