Inequalities and asymptotics for some moment integrals

For \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha>\beta-1>0$\end{document}α>β−1>0, we obtain two-sided inequalities for the moment integral \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$I(\alpha,\beta)=\int_{\mathbb{R}}|x|^{-\beta}|\sin x|^{\alpha}\,dx$\end{document}I(α,β)=∫R|x|−β|sinx|αdx. These are then used to give the exact asymptotic behavior of the integral as \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha\rightarrow\infty$\end{document}α→∞. The case \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$I(\alpha,\alpha)$\end{document}I(α,α) corresponds to the asymptotics of Ball’s inequality, and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$I(\alpha,[\alpha]-1)$\end{document}I(α,[α]−1) corresponds to a kind of novel “oscillatory” behavior.


Introduction
Ball's integral inequality [KB] , in connection with cube-slicing in R n , says that for all s ≥ 2, with strict inequality except when s = 2.In particular, it suggests that the integral decays like 1 √ s as s → ∞, and this is made precise by the following asymptotic [NP] Since 3 π < 1, the asymptotic result implies the inequality for large values of s.But there are no known "easy" proofs of the inequality for the full range of values,the main difficulty being near small values of s. e.g. between 2 and 4. [NP].The asymptotic result, though reasonably tame, presents new difficulties when we consider a more general integral, and this is circumvented here by the proof of two new inequalities.
Our purpose here is to consider a generalization involving the " moment" integral We shall obtain useful upper and lower bounds for this integral, and use them to obtain the asymptotic behavior of this integral.In addition, the inequalities obtained are indispensible in obtaining the asymptotic behavior, especially in the interesting "oscillatory" cases, where [α] is the greatest integer in α.The oscillatory behavior makes it impossible to employ the standard methods used in connection with Ball's inequality.
We place no restrictions on the indices α and β beyond those necessary to ensure the convergence of the integral I(α, β).Indeed, the condition β > 1 implies convergence in a nbhd of ∞, and near 0, the inequality

Weaker versions of Ball's Inequality
A natural way to deal with Ball's inequality is to apply the sharp form of the Hausdorff-Young inequality [WB].This leads to two inequalities for the relevant integral: the first works for all s ≥ 2, but falls short of the required inequality by supplying the larger constant √ e in place of √ 2. The second gives a constant smaller than √ 2 but only works for s ≥ 4.
To prove part (b), we employ the convolution g = χ * χ of the same characteristic function.A simple computation gives , and an application of the sharp-Hausdorff-Young inequality gives, for q ≥ 2, and the conjugate index p = q ′ , R sin πξ πξ

Main Results
In this section we consider the question of obtaining upper and lower bounds for the more general integral, namely Those bounds are then used to obtain the precise asymptotic behaviour of the integral as α → ∞.In addition, the bounds make it possible to employ discontinuous functions such as [α] in place of β, and then the asymptotic result also captures the precise oscillations in the values of the integral, as α → ∞.
Theorem 2 Suppose α > β − 1 > 0, and put , where Γ is the gamma-function.Then In particular, if β = α, then 6 α Proof.We need first the following double inequality, The left-hand inequality is easily proved by calculus.It will be used with 0 ≤ x ≤ √ 6 .For the right-hand inequality, since 0 ≤ x ≤ π, we may use the inequality between the geometric and arithmetic mean of positive numbers to obtain Letting n → ∞, and recalling the product representation of the sine function, and , we obtain the second inequality.The next step is to compare the full integral in the theorem to an integral over the interval [0, √ 6], or over Using the above inequalities for sin x x , Simple substitutions to change variables bring this double inequality to the form If we extend the right most integral to [0, ∞), and then express both sides through the gamma function, we arrive at This gives the first inequalities for I(α, β), and so, the inequalities for I(α, α).
Corollary 3 Let I(α, β) be the integral in the theorem.
In particular, the asymptotic for the integral in Ball's inequality is , and c remains bounded as α → ∞, then In particular, Proof.(a) In the very special case where β = α, Stirling's formula gives From this, the case where α − β = c, a constant, is handled similarly : and c is only bounded, then Stirling's formula followed by the inequality The corresponding lim sup being clearly ≤ 1, we obtain

Conclusion
We conclude by a generalization of the asymptotic result for a class of infinite products.Let g be a function having an infinite product representation of the form where t n > 0, and c = Two examples of such a function are: The first function f was considered in [KK] in connection with maximal measures of sections of the n-cube.The second is the Bessel function of order 0. We first review the case where β = 0.If 0 ≤ t ≤ t 1 , we need two inequalities analogous to those obtained for the sinc function.If 0 < a i < 1, then we use the double inequality where the left inequality is used when 0 ≤ t ≤ 1 √ c , and the right inequality when 0 ≤ t ≤ t 1 .
The left-hand inequality gives . By Stirling's formula we obtain which suggests that the order of decay of the integral is In the general case where 0 < β < 1, if we were to try the same approach, we would need to know beforehand the expected rate of decay.Thus using one of the inequalities above, we obtain , leading to a sharp lower asymptotic, namely lim inf Once again this suggests that the expected decay is like p β−1 2 .So we make the substitution t = (1 − β)

Contributions and Competing Interests and contributions
The author declares that there are no other contributors to this article, and that he has no competing interests.