English

Logan's problem for Jacobi transform

Classical Analysis and ODEs 2022-10-25 v2

Abstract

We consider direct and inverse Jacobi transforms with measures dμ(t)=22ρ(sinht)2α+1(cosht)2β+1dtd\mu(t)=2^{2\rho}(\sinh t)^{2\alpha+1}(\cosh t)^{2\beta+1}\,dt and dσ(λ)=(2π)12ρiλΓ(α+1)Γ(iλ)Γ((ρ+iλ)/2)Γ((ρ+iλ)/2β)2dλd\sigma(\lambda)=(2\pi)^{-1}\bigl|\frac{2^{\rho-i\lambda}\Gamma(\alpha+1)\Gamma(i\lambda)} {\Gamma((\rho+i\lambda)/2)\Gamma((\rho+i\lambda)/2-\beta)}\bigr|^{-2}\,d\lambda, respectively. We solve the following generalized Logan problem: to find infΛ((1)m1f),mN, \inf\Lambda((-1)^{m-1}f), \quad m\in \mathbb{N}, where Λ(f)=sup{λ>0 ⁣:f(λ)>0}\Lambda(f)=\sup\,\{\lambda>0\colon f(\lambda)>0\} and the infimum is taken over all nontrivial even entire functions ff of exponential type that are Jacobi transforms of positive measures with supports on an interval. Here, if m2m\ge 2, then we additionally assume that 0λ2kf(λ)dσ(λ)=0\int_{0}^{\infty}\lambda^{2k}f(\lambda)\,d\sigma(\lambda)=0 for k=0,,m2k=0,\dots,m-2. We prove that admissible functions for this problem are positive definite with respect to the inverse Jacobi transform. The solution of Logan's problem was known only when α=β=1/2\alpha=\beta=-1/2. We find a unique (up to multiplication by a positive constant) extremizer fmf_m. The corresponding Logan problem for the Fourier transform on the hyperboloid Hd\mathbb{H}^{d} is also solved. Using properties of the extremizer fmf_m allows us to give an upper estimate of the length of a minimal interval containing not less than nn zeros of positive definite functions. Finally, we show that the Jacobi functions form the Chebyshev systems.

Keywords

Cite

@article{arxiv.2112.05802,
  title  = {Logan's problem for Jacobi transform},
  author = {D. V. Gorbachev and V. I. Ivanov and S. Yu. Tikhonov},
  journal= {arXiv preprint arXiv:2112.05802},
  year   = {2022}
}

Comments

26 pages. arXiv admin note: text overlap with arXiv:1904.11328

R2 v1 2026-06-24T08:12:54.460Z