-
Chebyshev systems and Sturm oscillation theory for discrete polynomials
Authors:
D. V. Gorbachev,
V. I. Ivanov,
S. Yu. Tikhonov
Abstract:
We prove an analogue of Chebyshev's alternation theorem for linearly independent discrete functions $Φ_n=\{\varphi_k\}_{k=1}^n$ on the interval $[0,q]_{\mathbb{Z}}=[0,q]\cap \mathbb{Z}$. In particular, we establish that the polynomial of best uniform approximation of a discrete function $f$ admits a Chebyshev alternance set of length $n+1$ if and only if $Φ_n$ is a Chebyshev $T_{\mathbb{Z}}$-syste…
▽ More
We prove an analogue of Chebyshev's alternation theorem for linearly independent discrete functions $Φ_n=\{\varphi_k\}_{k=1}^n$ on the interval $[0,q]_{\mathbb{Z}}=[0,q]\cap \mathbb{Z}$. In particular, we establish that the polynomial of best uniform approximation of a discrete function $f$ admits a Chebyshev alternance set of length $n+1$ if and only if $Φ_n$ is a Chebyshev $T_{\mathbb{Z}}$-system.
Also, we obtain a discrete version of Sturm's oscillation theorem, according to which the number of discrete zeros of the polynomial $\sum_{k=m}^{n}a_k\varphi_k$ is no less than $m-1$ and no more than $n-1$. This implies that $Φ_n$ is a $T_{\mathbb{Z}}$-system and a discrete Sturm-Hurwitz spectral gap theorem is valid.
As applications, we study the orthogonal polynomials with removed largest zeros. We establish the monotonicity property of coefficients in the Fourier expansions of such polynomials, thereby strengthening the results of H. Cohn and A. Kumar. We apply this to solve a Yudin-type extremal problem for polynomials with spectral gap.
△ Less
Submitted 4 January, 2025;
originally announced January 2025.
-
On the kernel of the $(κ,a)$-generalized Fourier transform
Authors:
D. V. Gorbachev,
V. I. Ivanov,
S. Yu. Tikhonov
Abstract:
For the kernel $B_{κ,a}(x,y)$ of the $(κ,a)$-generalized Fourier transform $\mathcal{F}_{κ,a}$, acting in $L^{2}(\mathbb{R}^{d})$ with the weight $|x|^{a-2}v_κ(x)$, where $v_κ$ is the Dunkl weight, we study the important question of when $\|B_{κ,a}\|_{\infty}=B_{κ,a}(0,0)=1$. The positive answer was known for $d\ge 2$ and $\frac{2}{a}\in\mathbb{N}$. We investigate the case $d=1$ and…
▽ More
For the kernel $B_{κ,a}(x,y)$ of the $(κ,a)$-generalized Fourier transform $\mathcal{F}_{κ,a}$, acting in $L^{2}(\mathbb{R}^{d})$ with the weight $|x|^{a-2}v_κ(x)$, where $v_κ$ is the Dunkl weight, we study the important question of when $\|B_{κ,a}\|_{\infty}=B_{κ,a}(0,0)=1$. The positive answer was known for $d\ge 2$ and $\frac{2}{a}\in\mathbb{N}$. We investigate the case $d=1$ and $\frac{2}{a}\in\mathbb{N}$. Moreover, we give sufficient conditions on parameters for $\|B_{κ,a}\|_{\infty}>1$ to hold with $d\ge 1$ and any $a$.
We also study the image of the Schwartz space under the $\mathcal{F}_{κ,a}$ transform. In particular, we obtain that $\mathcal{F}_{κ,a}(\mathcal{S}(\mathbb{R}^d))=\mathcal{S}(\mathbb{R}^d)$ only if $a=2$. Finally, extending the Dunkl transform, we introduce non-deformed transforms generated by $\mathcal{F}_{κ,a}$ and study their main properties.
△ Less
Submitted 16 November, 2022; v1 submitted 27 October, 2022;
originally announced October 2022.
-
Logan's problem for Jacobi transform
Authors:
D. V. Gorbachev,
V. I. Ivanov,
S. Yu. Tikhonov
Abstract:
We consider direct and inverse Jacobi transforms with measures $dμ(t)=2^{2ρ}(\sinh t)^{2α+1}(\cosh t)^{2β+1}\,dt$ and $dσ(λ)=(2π)^{-1}\bigl|\frac{2^{ρ-iλ}Γ(α+1)Γ(iλ)} {Γ((ρ+iλ)/2)Γ((ρ+iλ)/2-β)}\bigr|^{-2}\,dλ$, respectively. We solve the following generalized Logan problem: to find \[ \infΛ((-1)^{m-1}f), \quad m\in \mathbb{N}, \] where $Λ(f)=\sup\,\{λ>0\colon f(λ)>0\}$ and the infimum is taken ove…
▽ More
We consider direct and inverse Jacobi transforms with measures $dμ(t)=2^{2ρ}(\sinh t)^{2α+1}(\cosh t)^{2β+1}\,dt$ and $dσ(λ)=(2π)^{-1}\bigl|\frac{2^{ρ-iλ}Γ(α+1)Γ(iλ)} {Γ((ρ+iλ)/2)Γ((ρ+iλ)/2-β)}\bigr|^{-2}\,dλ$, respectively. We solve the following generalized Logan problem: to find \[ \infΛ((-1)^{m-1}f), \quad m\in \mathbb{N}, \] where $Λ(f)=\sup\,\{λ>0\colon f(λ)>0\}$ and the infimum is taken over all nontrivial even entire functions $f$ of exponential type that are Jacobi transforms of positive measures with supports on an interval. Here, if $m\ge 2$, then we additionally assume that $\int_{0}^{\infty}λ^{2k}f(λ)\,dσ(λ)=0$ for $k=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$. We find a unique (up to multiplication by a positive constant) extremizer $f_m$. The corresponding Logan problem for the Fourier transform on the hyperboloid $\mathbb{H}^{d}$ is also solved. Using properties of the extremizer $f_m$ allows us to give an upper estimate of the length of a minimal interval containing not less than $n$ zeros of positive definite functions. Finally, we show that the Jacobi functions form the Chebyshev systems.
△ Less
Submitted 21 October, 2022; v1 submitted 10 December, 2021;
originally announced December 2021.
-
Sharp approximation theorems and Fourier inequalities in the Dunkl setting
Authors:
D. V. Gorbachev,
V. I. Ivanov,
S. Yu. Tikhonov
Abstract:
In this paper we study direct and inverse approximation inequalities in $L^{p}(\mathbb{R}^{d})$, $1<p<\infty$, with the Dunkl weight. We obtain these estimates in their sharp form substantially improving previous results. We also establish new estimates of the modulus of smoothness of a function $f$ via the fractional powers of the Dunkl Laplacian of approximants of $f$. Moreover, we obtain new Le…
▽ More
In this paper we study direct and inverse approximation inequalities in $L^{p}(\mathbb{R}^{d})$, $1<p<\infty$, with the Dunkl weight. We obtain these estimates in their sharp form substantially improving previous results. We also establish new estimates of the modulus of smoothness of a function $f$ via the fractional powers of the Dunkl Laplacian of approximants of $f$. Moreover, we obtain new Lebesgue type estimates for moduli of smoothness in terms of Dunkl transforms. Needed Pitt-type and Kellogg-type Fourier--Dunkl inequalities are derived.
△ Less
Submitted 27 March, 2020; v1 submitted 8 December, 2019;
originally announced December 2019.
-
Estimates of the asymptotic Nikolskii constants for spherical polynomials
Authors:
Feng Dai,
Dmitry Gorbachev,
Sergey Tikhonov
Abstract:
Let $Π_n^d$ denote the space of spherical polynomials of degree at most $n$ on the unit sphere $\mathbb{S}^d\subset \mathbb{R}^{d+1}$ that is equipped with the surface Lebesgue measure $dσ$ normalized by $\int_{\mathbb{S}^d} \, dσ(x)=1$. This paper establishes a close connection between the asymptotic Nikolskii constant,…
▽ More
Let $Π_n^d$ denote the space of spherical polynomials of degree at most $n$ on the unit sphere $\mathbb{S}^d\subset \mathbb{R}^{d+1}$ that is equipped with the surface Lebesgue measure $dσ$ normalized by $\int_{\mathbb{S}^d} \, dσ(x)=1$. This paper establishes a close connection between the asymptotic Nikolskii constant, $$ \mathcal{L}^\ast(d):=\lim_{n\to \infty} \frac 1 {\dim Π_n^d} \sup_{f\in Π_n^d} \frac { \|f\|_{L^\infty(\mathbb{S}^d)}}{\|f\|_{L^1(\mathbb{S}^d)}},$$ and the following extremal problem: $$ \mathcal{I}_α:=\inf_{a_k} \Bigl\| j_{α+1} (t)- \sum_{k=1}^\infty a_k j_α \bigl( q_{α+1,k}t/q_{α+1,1}\bigr)\Bigr\|_{L^\infty(\mathbb{R}_+)} $$ with the infimum being taken over all sequences $\{a_k\}_{k=1}^\infty\subset \mathbb{R}$ such that the infinite series converges absolutely a.e. on $\mathbb{R}_+$. Here $j_α$ denotes the Bessel function of the first kind normalized so that $j_α(0)=1$, and $\{q_{α+1,k}\}_{k=1}^\infty$ denotes the strict increasing sequence of all positive zeros of $j_{α+1}$. We prove that for $α\ge -0.272$, $$\mathcal{I}_α= \frac{\int_{0}^{q_{α+1,1}}j_{α+1}(t)t^{2α+1}\,dt}{\int_{0}^{q_{α+1,1}}t^{2α+1}\,dt}= {}_{1}F_{2}\Bigl(α+1;α+2,α+2;-\frac{q_{α+1,1}^{2}}{4}\Bigr). $$ As a result, we deduce that the constant $\mathcal{L}^\ast(d)$ goes to zero exponentially fast as $d\to\infty$: \[ 0.5^d\le \mathcal{L}^{*}(d)\le (0.857\cdots)^{d\,(1+\varepsilon_d)} \ \ \ \ \ \text{with $\varepsilon_d =O(d^{-2/3})$.} \]
△ Less
Submitted 8 July, 2019;
originally announced July 2019.
-
Nikolskii inequality for lacunary spherical polynomials
Authors:
Feng Dai,
Dmitry Gorbachev,
Sergey Tikhonov
Abstract:
We prove that for $d\ge 2$, the asymptotic order of the usual Nikolskii inequality on $\mathbb{S}^d$ (also known as the reverse Hölder's inequality) can be significantly improved in many cases, for lacunary spherical polynomials of the form $f=\sum_{j=0}^m f_{n_j}$ with $f_{n_j}$ being a spherical harmonic of degree $n_j$ and $n_{j+1}-n_j\ge 3$. As is well known, for $d=1$, the Nikolskii inequalit…
▽ More
We prove that for $d\ge 2$, the asymptotic order of the usual Nikolskii inequality on $\mathbb{S}^d$ (also known as the reverse Hölder's inequality) can be significantly improved in many cases, for lacunary spherical polynomials of the form $f=\sum_{j=0}^m f_{n_j}$ with $f_{n_j}$ being a spherical harmonic of degree $n_j$ and $n_{j+1}-n_j\ge 3$. As is well known, for $d=1$, the Nikolskii inequality for trigonometric polynomials on the unit circle does not have such a phenomenon.
△ Less
Submitted 1 May, 2019;
originally announced May 2019.
-
Uncertainty principles for eventually constant sign bandlimited functions
Authors:
D. V. Gorbachev,
V. I. Ivanov,
S. Yu. Tikhonov
Abstract:
We study the uncertainty principles related to the generalized Logan problem in $\mathbb{R}^{d}$. Our main result provides the complete solution of the following problem: for a fixed $m\in \mathbb{Z}_{+}$, find \[ \sup\{|x|\colon (-1)^{m}f(x)>0\}\cdot \sup \{|x|\colon x\in \mathrm{supp}\,\widehat{f}\,\}\to \inf, \] where the infimum is taken over all nontrivial positive definite bandlimited functi…
▽ More
We study the uncertainty principles related to the generalized Logan problem in $\mathbb{R}^{d}$. Our main result provides the complete solution of the following problem: for a fixed $m\in \mathbb{Z}_{+}$, find \[ \sup\{|x|\colon (-1)^{m}f(x)>0\}\cdot \sup \{|x|\colon x\in \mathrm{supp}\,\widehat{f}\,\}\to \inf, \] where the infimum is taken over all nontrivial positive definite bandlimited functions such that $\int_{\mathbb{R}^d}|x|^{2k}f(x)\,dx=0$ for $k=0,\dots,m-1$ if $m\ge 1$.
We also obtain the uncertainty principle for bandlimited functions related to the recent result by Bourgain, Clozel, and Kahane.
△ Less
Submitted 25 April, 2019;
originally announced April 2019.
-
Fractional smoothness in $L^p$ with Dunkl weight and its applications
Authors:
D. V. Gorbachev,
V. I. Ivanov
Abstract:
We define fractional power of the Dunkl Laplacian, fractional modulus of smoothness and fractional $K$-functional in $L^p$-space with the Dunkl weight. As application, we prove direct and inverse theorems of approximation theory, and some inequalities for entire functions of spherical exponential type in fractional settings.
We define fractional power of the Dunkl Laplacian, fractional modulus of smoothness and fractional $K$-functional in $L^p$-space with the Dunkl weight. As application, we prove direct and inverse theorems of approximation theory, and some inequalities for entire functions of spherical exponential type in fractional settings.
△ Less
Submitted 10 December, 2018;
originally announced December 2018.
-
Weighted gradient inequalities and unique continuation problems
Authors:
laura De Carli,
Dmitry Gorbachev,
Sergey Tikhonov
Abstract:
We use Pitt inequalities for the Fourier transform to prove the following weighted gradient inequality $$ \|e^{-τ\ell(\cdot)} u^{\frac 1q} f\|_q\leq c_τ\| e^{-τ\ell(\cdot)} v^{\frac 1p}\, \nabla f\|_p, \quad f\in C^\infty_0( R^n). $$ This inequality is a Carleman-type estimate that yields unique continuation results for solutions of first order differential equations and systems.
We use Pitt inequalities for the Fourier transform to prove the following weighted gradient inequality $$ \|e^{-τ\ell(\cdot)} u^{\frac 1q} f\|_q\leq c_τ\| e^{-τ\ell(\cdot)} v^{\frac 1p}\, \nabla f\|_p, \quad f\in C^\infty_0( R^n). $$ This inequality is a Carleman-type estimate that yields unique continuation results for solutions of first order differential equations and systems.
△ Less
Submitted 10 April, 2018;
originally announced April 2018.
-
Nikolskii constants for polynomials on the unit sphere
Authors:
Feng Dai,
Dmitry Gorbachev,
Sergey Tikhonov
Abstract:
This paper studies the asymptotic behavior of the exact constants of the Nikolskii inequalities for the space $Π_n^d$ of spherical polynomials of degree at most $n$ on the unit sphere $\mathbb{S}^d\subset \mathbb{R}^{d+1}$ as $n\to\infty$. It is shown that for $0<p<\infty$, \[ \lim_{n\to \infty} \sup\Bigl\{\frac{\|P\|_{L^\infty(\mathbb{S}^d)}}{n^{\frac dp}\|P\|_{L^p(\mathbb{S}^d)}}:\ \ P\inΠ_n^d\B…
▽ More
This paper studies the asymptotic behavior of the exact constants of the Nikolskii inequalities for the space $Π_n^d$ of spherical polynomials of degree at most $n$ on the unit sphere $\mathbb{S}^d\subset \mathbb{R}^{d+1}$ as $n\to\infty$. It is shown that for $0<p<\infty$, \[ \lim_{n\to \infty} \sup\Bigl\{\frac{\|P\|_{L^\infty(\mathbb{S}^d)}}{n^{\frac dp}\|P\|_{L^p(\mathbb{S}^d)}}:\ \ P\inΠ_n^d\Bigr\} =\sup\Bigl\{ \frac{\|f\|_{L^\infty(\mathbb{R}^{d})}}{\|f\|_{L^p(\mathbb{R}^d)}}:\ \ f\in\mathcal{E}_p^d \Bigr\}, \] where $\mathcal{E}_p^d$ denotes the space of all entire functions of spherical exponential type at most $1$ whose restrictions to $\mathbb{R}^d$ belong to the space $L^p(\mathbb{R}^d)$, and it is agreed that $0/0=0$. It is further proved that for $0<p<q<\infty$, \[ \liminf_{n\to \infty} \sup\Bigl\{\frac{\|P\|_{L^q(\mathbb{S}^d)}}{n^{d(1/p-1/q)}\|P\|_{L^p(\mathbb{S}^d)}}:\ \ P\inΠ_n^d\Bigr\} \ge \sup\Bigl\{ \frac{\|f\|_{L^q(\mathbb{R}^{d})}}{\|f\|_{L^p(\mathbb{R}^d)}}:\ \ f\in\mathcal{E}_p^d\Bigr\}. \] These results extend the recent results of Levin and Lubinsky for trigonometric polynomials on the unit circle.
The paper also determines the exact value of the Nikolskii constant for nonnegative functions with $p=1$ and $q=\infty$: $$\lim_{n\to \infty} \sup_{0\leq P\inΠ_n^d}\frac{\|P\|_{L^\infty(\mathbb{S}^d)}}{\|P\|_{L^1(\mathbb{S}^d)}} =\sup_{0\leq f\in\mathcal{E}_1^d}\frac{\|f\|_{L^\infty(\mathbb{R}^{d})}}{\|f\|_{L^1(\mathbb{R}^d)}}
=\frac1{4^d π^{d/2}Γ(d/2+1)}.$$
△ Less
Submitted 31 August, 2017;
originally announced August 2017.
-
Riesz potential and maximal function for Dunkl transform
Authors:
D. V. Gorbachev,
V. I. Ivanov,
S. Yu. Tikhonov
Abstract:
We study weighted $(L^p, L^q)$-boundedness properties of Riesz potentials and fractional maximal functions for the Dunkl transform. In particular, we obtain the weighted Hardy-Littlewood-Sobolev type inequality and weighted week $(L^1, L^q)$ estimate. We find a sharp constant in the weighted $L^p$-inequality, generalizing the results of W. Beckner and S. Samko.
We study weighted $(L^p, L^q)$-boundedness properties of Riesz potentials and fractional maximal functions for the Dunkl transform. In particular, we obtain the weighted Hardy-Littlewood-Sobolev type inequality and weighted week $(L^1, L^q)$ estimate. We find a sharp constant in the weighted $L^p$-inequality, generalizing the results of W. Beckner and S. Samko.
△ Less
Submitted 31 August, 2017;
originally announced August 2017.
-
Positive $L^p$-bounded Dunkl-type generalized translation operator and its applications
Authors:
D. V. Gorbachev,
V. I. Ivanov,
S. Yu. Tikhonov
Abstract:
We prove that the spherical mean value of the Dunkl-type generalized translation operator $τ^y$ is a positive $L^p$-bounded generalized translation operator $T^t$. As application, we prove the Young inequality for a convolution defined by $T^t$, the $L^p$-boundedness of $τ^y$ on a radial functions for $p>2$, the $L^p$-boundedness of the Riesz potential for the Dunkl transform and direct and invers…
▽ More
We prove that the spherical mean value of the Dunkl-type generalized translation operator $τ^y$ is a positive $L^p$-bounded generalized translation operator $T^t$. As application, we prove the Young inequality for a convolution defined by $T^t$, the $L^p$-boundedness of $τ^y$ on a radial functions for $p>2$, the $L^p$-boundedness of the Riesz potential for the Dunkl transform and direct and inverse theorems of approximation theory in $L^p$-spaces with the Dunkl weight.
△ Less
Submitted 3 December, 2018; v1 submitted 20 March, 2017;
originally announced March 2017.
-
Doubling condition at the origin for non-negative positive definite functions
Authors:
Dmitry Gorbachev,
Sergey Tikhonov
Abstract:
We study upper and lower estimates as well as the asymptotic behavior of the sharp constant $C=C_n(U,V)$ in the doubling-type condition at the origin \[ \frac{1}{|V|}\int_{V}f(x)\,dx\le C\,\frac{1}{|U|}\int_{U}f(x)\,dx, \] where $U,V\subset \mathbb{R}^{n}$ are $0$-symmetric convex bodies and $f$ is a non-negative positive definite function.
We study upper and lower estimates as well as the asymptotic behavior of the sharp constant $C=C_n(U,V)$ in the doubling-type condition at the origin \[ \frac{1}{|V|}\int_{V}f(x)\,dx\le C\,\frac{1}{|U|}\int_{U}f(x)\,dx, \] where $U,V\subset \mathbb{R}^{n}$ are $0$-symmetric convex bodies and $f$ is a non-negative positive definite function.
△ Less
Submitted 27 December, 2016;
originally announced December 2016.
-
Wiener's problem for positive definite functions
Authors:
Dmitry Gorbachev,
Sergey Tikhonov
Abstract:
We study the sharp constant $W_{n}(D)$ in Wiener's inequality for positive definite functions \[ \int_{\mathbb{T}^{n}}|f|^{2}\,dx\le W_{n}(D)|D|^{-1}\int_{D}|f|^{2}\,dx,\quad D\subset \mathbb{T}^{n}. \] N. Wiener proved that $W_{1}([-δ,δ])<\infty$, $δ\in (0,1/2)$. E. Hlawka showed that $W_{n}(D)\le 2^{n}$, where $D$ is an origin-symmetric convex body.
We sharpen Hlawka's estimates for $D$ being…
▽ More
We study the sharp constant $W_{n}(D)$ in Wiener's inequality for positive definite functions \[ \int_{\mathbb{T}^{n}}|f|^{2}\,dx\le W_{n}(D)|D|^{-1}\int_{D}|f|^{2}\,dx,\quad D\subset \mathbb{T}^{n}. \] N. Wiener proved that $W_{1}([-δ,δ])<\infty$, $δ\in (0,1/2)$. E. Hlawka showed that $W_{n}(D)\le 2^{n}$, where $D$ is an origin-symmetric convex body.
We sharpen Hlawka's estimates for $D$ being the ball $B^{n}$ and the cube $I^{n}$. In particular, we prove that $W_{n}(B^{n})\le 2^{(0.401\ldots +o(1))n}$. We also obtain a lower bound of $W_{n}(D)$. Moreover, for a cube $ D=\frac1q I^{n}$ with $q=3,4,\ldots,$ we obtain that $W_{n}(D)=2^{n}$. Our proofs are based on the interrelation between Wiener's problem and the problems of Turán and Delsarte.
△ Less
Submitted 5 April, 2016;
originally announced April 2016.
-
Pitt inequalities and restriction theorems for the Fourier transform
Authors:
Laura De Carli,
Dmitriy Gorbachev,
Sergey Tikhonov
Abstract:
We prove new Pitt inequalities for the Fourier transforms with radial and non-radial weights using weighted restriction inequalities for the Fourier transform on the sphere. We also prove new Riemann-Lebesgue estimates and versions of the uncertainty principle for the Fourier transform.
We prove new Pitt inequalities for the Fourier transforms with radial and non-radial weights using weighted restriction inequalities for the Fourier transform on the sphere. We also prove new Riemann-Lebesgue estimates and versions of the uncertainty principle for the Fourier transform.
△ Less
Submitted 3 September, 2015;
originally announced September 2015.
-
Pitt's inequalities and uncertainty principle for generalized Fourier transform
Authors:
Dmitry Gorbachev,
Valery Ivanov,
Sergey Tikhonov
Abstract:
We study the two-parameter family of unitary operators \[ \mathcal{F}_{k,a}=\exp\Bigl(\frac{iπ}{2a}\,(2\langle k\rangle+{d}+a-2 )\Bigr) \exp\Bigl(\frac{iπ}{2a}\,Δ_{k,a}\Bigr), \] which are called $(k,a)$-generalized Fourier transforms and defined by the $a$-deformed Dunkl harmonic oscillator $Δ_{k,a}=|x|^{2-a}Δ_{k}-|x|^{a}$, $a>0$, where $Δ_{k}$ is the Dunkl Laplacian. Particular cases of such ope…
▽ More
We study the two-parameter family of unitary operators \[ \mathcal{F}_{k,a}=\exp\Bigl(\frac{iπ}{2a}\,(2\langle k\rangle+{d}+a-2 )\Bigr) \exp\Bigl(\frac{iπ}{2a}\,Δ_{k,a}\Bigr), \] which are called $(k,a)$-generalized Fourier transforms and defined by the $a$-deformed Dunkl harmonic oscillator $Δ_{k,a}=|x|^{2-a}Δ_{k}-|x|^{a}$, $a>0$, where $Δ_{k}$ is the Dunkl Laplacian. Particular cases of such operators are the Fourier and Dunkl transforms. The restriction of $\mathcal{F}_{k,a}$ to radial functions is given by the $a$-deformed Hankel transform $H_{λ,a}$.
We obtain necessary and sufficient conditions for the weighted $(L^{p},L^{q})$ Pitt inequalities to hold for the $a$-deformed Hankel transform. Moreover, we prove two-sided Boas--Sagher type estimates for the general monotone functions. We also prove sharp Pitt's inequality for $\mathcal{F}_{k,a}$ transform in $L^{2}(\mathbb{R}^{d})$ with the corresponding weights. Finally, we establish the logarithmic uncertainty principle for $\mathcal{F}_{k,a}$.
△ Less
Submitted 23 July, 2015;
originally announced July 2015.
-
Sharp Pitt inequality and logarithmic uncertainty principle for Dunkl transform in $L^{2}$
Authors:
Dmitry Gorbachev,
Valery Ivanov,
Sergey Tikhonov
Abstract:
We prove sharp Pitt's inequality for the Dunkl transform in $L^{2}(\mathbb{R}^{d})$ with the corresponding weights. As an application, we obtain the logarithmic uncertainty principle for the Dunkl transform.
We prove sharp Pitt's inequality for the Dunkl transform in $L^{2}(\mathbb{R}^{d})$ with the corresponding weights. As an application, we obtain the logarithmic uncertainty principle for the Dunkl transform.
△ Less
Submitted 12 May, 2015;
originally announced May 2015.
-
Moduli of smoothness and growth properties of Fourier transforms: two-sided estimates
Authors:
D. Gorbachev,
S. Tikhonov
Abstract:
We prove two-sided inequalities between the integral moduli of smoothness of a function on $\mathbb{R}^d/\mathbb{T}^d$ and the weighted tail-type integrals of its Fourier transform/series.
Sharpness of obtained results in particular is given by the equivalence results for functions satisfying certain regular conditions. Applications include a quantitative form of the Riemann-Lebesgue lemma as we…
▽ More
We prove two-sided inequalities between the integral moduli of smoothness of a function on $\mathbb{R}^d/\mathbb{T}^d$ and the weighted tail-type integrals of its Fourier transform/series.
Sharpness of obtained results in particular is given by the equivalence results for functions satisfying certain regular conditions. Applications include a quantitative form of the Riemann-Lebesgue lemma as well as several other questions in approximation theory and the theory of function spaces.
△ Less
Submitted 20 April, 2012; v1 submitted 19 April, 2012;
originally announced April 2012.
-
Relation between Turán extremum problem and van der Corput sets
Authors:
D. V. Gorbachev,
A. S. Manoshina
Abstract:
Let $K\subset\mathbb N$ and $\mathbf T(K)$ is a set of trigonometric polynomials \[ T(x)=T_0+\sum_{k\in K, k\le H}T_k\cos(2πkx), \qquad H>1, \] $T(x)\ge0$ for all $x$ and $T(0)=1$.
Suppose that $0<h\le1/2$ and $K(h)$ is the class of functions \[ f(x)=\sum_{n=0}^{\infty}a_n\cos(2πnx) \] satisfying the following conditions: $a_n\ge0$ for all $n$, $f(0)=1$ and $f(x)=0$ for $h\le|x|\le1/2$.
We c…
▽ More
Let $K\subset\mathbb N$ and $\mathbf T(K)$ is a set of trigonometric polynomials \[ T(x)=T_0+\sum_{k\in K, k\le H}T_k\cos(2πkx), \qquad H>1, \] $T(x)\ge0$ for all $x$ and $T(0)=1$.
Suppose that $0<h\le1/2$ and $K(h)$ is the class of functions \[ f(x)=\sum_{n=0}^{\infty}a_n\cos(2πnx) \] satisfying the following conditions: $a_n\ge0$ for all $n$, $f(0)=1$ and $f(x)=0$ for $h\le|x|\le1/2$.
We consider an relation between extremum problem \[ δ(K)=\inf_{T\in\mathbf T(K)}T_0 \] and Turán extremum problem \[ A(h)=\sup_{f\in K(h)}a_0=\sup_{f\in K(h)}\int_{-h}^hf(x) dx \] for rational numbers $h=p/q$ and set $K=\bigcup\limits_{ν=0}^\infty\{qν+p,...,qν+q-p\}$.
The problem $δ(K)$ is connection with van der Korput sets. Van der Korput sets study in analytic number theory.
△ Less
Submitted 16 December, 2003;
originally announced December 2003.
-
Improvement Taykov's lower bound in an inequation between C and L norms for trigonometric polynomials
Authors:
D. V. Gorbachev
Abstract:
We give new lower asymptotical estimate of constant \[ C_n=\sup\biggl\{\frac{\|t_n\|_{C(\mathbb T)}}{\|t_n\|_{L(\mathbb T)}}:t_n\text{are real trigonometric polynomials}, \operatorname{deg}t_n<n\biggr\} \] as $n\to\infty$. This estimate improves known bound of L.V.Taykov (1965).
We give new lower asymptotical estimate of constant \[ C_n=\sup\biggl\{\frac{\|t_n\|_{C(\mathbb T)}}{\|t_n\|_{L(\mathbb T)}}:t_n\text{are real trigonometric polynomials}, \operatorname{deg}t_n<n\biggr\} \] as $n\to\infty$. This estimate improves known bound of L.V.Taykov (1965).
△ Less
Submitted 3 December, 2002;
originally announced December 2002.
-
Turan Extremum Problem for Periodic Function with Small Support
Authors:
D. V. Gorbachev,
A. S. Manoshina
Abstract:
We consider an extremum problem posed by Turan. The aim of this problem is to find a maximum mean value of 1-periodic continuous even function such that sum of Fourier coefficient modules for this function is equal to 1 and support of this function lies in $[-h,h]$, $0<h\le 1/2$. We show that this extremum problem for rational $h=p/q$ is equivalent two finite-dimensional linear programming probl…
▽ More
We consider an extremum problem posed by Turan. The aim of this problem is to find a maximum mean value of 1-periodic continuous even function such that sum of Fourier coefficient modules for this function is equal to 1 and support of this function lies in $[-h,h]$, $0<h\le 1/2$. We show that this extremum problem for rational $h=p/q$ is equivalent two finite-dimensional linear programming problems. Here there are exact results for rational $h=2/q$, $h=p/(2p+1)$, $h=3/q$, and asymptotic equalities.
△ Less
Submitted 19 November, 2002;
originally announced November 2002.
