S. Gerhold, M. Kauers
We show how Turan's inequality $P_n(x)^2-P_{n-1}(x)P_{n+1}(x)\geq 0$ for Legendre polynomials and related inequalities can be proven by means of a computer procedure. The use of this procedure simplifies the daily work with inequalities. For instance, we have found the stronger inequality $|x|P_n(x)^2-P_{n-1}(x)P_{n+1}(x)\geq 0$, $-1\leq x\leq 1$, effortlessly with the aid of our method.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We present a short proof that the normalized Turán determinant in the ultraspherical case is convex or concave depending on whether parameter $λ$ is positive or negative.
We prove the Erdos-Turan equidistribution inequality, using a construction due to Chebyshev, Markov, and Stieltjes. The method is applicable in a more general setting. As an example, we state another inequality that can be proved using this method. The inequality can be used to get an error estimate in Wigner's law which is sharp near the edge.
In this paper we study the inverse of the eigenfunction $\sin_p$ of the one-dimensional $p$-Laplace operator and its dependence on the parameter $p$, and we present a Turán type inequality for this function. Similar inequalities are given also for other generalized inverse trigonometric and hyperbolic functions. In particular, we deduce a Turán type inequality for a series considered by Ramanujan, involving the digamma function.
Introducing the discrete probability distribution by means of the Prabhakar (or the three--parameter Mittag--Leffler) function, we establish explicit expressions for raw and factorial moments and also general fractional order moments. Applying an elementary moment inequality we obtain functional upper bounds for the Turánian difference for Prabhakar function. Finally, a Laguerre inequality is proved and functional upper bound has been given for Laguerreian difference for Prabhakar function.
There exists a positive function $ψ(t)${on}$t\geq0${, with fast decay at infinity, such that for every measurable set}$Ω${in the Euclidean space and}$R>0${, there exist entire functions}$A(x) ${and}$B(x) ${of exponential type}$R${, satisfying\}$A(x)\leq χ_Ω(x)\leq B(x)${and}$| B(x)-A(x)| \leqslantψ(R\operatorname*{dist}(x,\partialΩ)) $. This leads to Erdős Turán estimates for discrepancy of point set distributions in the multi dimensional torus. Analogous results hold for approximations by eigenfunctions of differential operators and discrepancy on compact manifolds.
A Disk-Growth Remez Principle and a Modular Proof of the Measurable Turán-Nazarov Inequality
通过建立满足两个盘增长假设的全纯函数的Remez原理，结合几何平均归纳法，给出了指数多项式的可测Turán-Nazarov不等式的模化证明，并得到了最优代数指数m-1。
For a convex domain K in the complex plane C, the well-known general Markov inequality asserting that a polynomial p of degree n ||p'|| < c(K) n^2 ||p|| holds. On the other hand for polynomials in general, ||p'|| can be arbitrarily small as compared to ||p||. The situation changes when we assume that the polynomials have all their zeroes in the convex body K. This problem of lower bound for Markov factors was first investigated by Turán in 1939. Turán showed ||p'|| \ge n/2 ||p|| for the unit disk D and ||p'|| > c \sqrt{n} ||p|| for the unit interval I:=[-1,1]. Soon after that, J. Er\H od publi…
Let ${\cal P}_n^c$ denote the set of all algebraic polynomials of degree at most $n$ with complex coefficients. Let $$D^+ := \{z \in \mathbb{C}: |z| \leq 1, \, \, \Im(z) \geq 0\}$$ be the closed upper half-disk of the complex plane. For integers $0 \leq k \leq n$ let ${\mathcal F}_{n,k}^c$ be the set of all polynomials $P \in {\mathcal P}_n^c$ having at least $n-k$ zeros in $D^+$. Let $$\|f\|_A := \sup_{z \in A}{|f(z)|}$$ for complex-valued functions defined on $A \subset {\Bbb C}$. We prove that there are absolute constants $c_1 > 0$ and $c_2 > 0$ such that $$c_1 \left(\frac{n}{k+1}\right)^{1…
For a convex domain $K$ in the complex plane, the well-known general Bernstein-Markov inequality holds asserting that a polynomial $p$ of degree $n$ must have $||p'|| < c(K) n^2 ||p||$. On the other hand for polynomials in general, $||p'||$ can be arbitrarily small as compared to $||p||$. The situation changes when we assume that the polynomials in question have all their zeroes in the convex body $K$. This was first investigated by Turán, who showed the lower bounds $||p'|| \ge (n/2) ||p||$ for the unit disk $D$ and $||p'|| > c \sqrt{n} ||p||$ for the unit interval $I:=[-1,1]$. Although parti…
It is shown that $\sum_{j=-m}^m (-1)^j \frac{f(x-j)(f(x+j)}{(m-j)! (m+j)!} \ge 0,$ $m=0,1,...,$ where $f(x)$ is either a real polynomial with only real zeros or an allied entire function of a special type, provided the distance between two consecutive zeros of $f(x)$ is at least $\sqrt{4-\frac{6}{m+2}}.$ These inequalities are a surprisingly similar discrete analogue of higher degree generalizations of the Laguerre and Turan inequalities. Being applied to the classical discrete orthogonal polynomials, they yield sharp, explicit bounds uniform in all parameters involved, on the polynomials and …
We prove two-sided estimates for the best (i.e., the smallest possible) constant $\,c_n(α)\,$ in the Markov inequality $$ \|p_n'\|_{w_α} \le c_n(α) \|p_n\|_{w_α}\,, \qquad p_n \in {\cal P}_n\,. $$ Here, ${\cal P}_n$ stands for the set of algebraic polynomials of degree $\le n$, $\,w_α(x) := x^α\,e^{-x}$, $\,α> -1$, is the Laguerre weight function, and $\|\cdot\|_{w_α}$ is the associated $L_2$-norm, $$ \|f\|_{w_α} = \left(\int_{0}^{\infty} |f(x)|^2 w_α(x)\,dx\right)^{1/2}\,. $$ Our approach is based on the fact that $\,c_n^{-2}(α)\,$ equals the smallest zero of a polynomial $\,Q_n$, orthogonal …
In this work, we show that the proof of the main result in [An Application of Hayashi's Inequality for Differentiable Functions, Computers & Mathematics with Applications, 32 (6) (1996), 95--99, by R.P. Agarwal and S.S. Dragomir] was wrong. A correction of the proof is given. More general related inequalities are also provided.
The search of the optimal constant for a generalized Wirtinger inequality in an interval consists in minimizing the $p$-norm of the derivative among all functions whose $q$-norm is equal to~1 and whose $(r-1)$-power has zero average. Symmetry properties of minimizers have attracted great attention in mathematical literature in the last decades, leading to a precise characterization of symmetry and asymmetry regions. In this paper we provide a proof of the symmetry result without computer assisted steps, and a proof of the asymmetry result which works as well for local minimizers. As a conseque…
In a recent study, H. Alzer and the author showed that the sine polynomial $$ \sum_{k=1}^{n-1} \left( \frac{n}{k} - \frac{k}{n} \right) ^β\,\sin(kx) > 0 $$ is nonnegative for $ x\in[0,π] $, $ n\geq 2, \, β\geq β_1 := \frac{\log(2)}{\log(16/5)} . $ This result, among others, will be presented in a forthcoming article. The proof relies on quite a number of technical Lemmas and inequalities. We have decided to delegate all the tedious details of the proofs of these Lemmas in a separate article, namely, the current one. Some of the proofs require brute-force numerical computation, performed with t…
Brascamp-Lieb inequality is an important mathematical tool in analysis, geometry and information theory. There are various ways to prove Brascamp-Lieb inequality such as heat flow method, Brownian motion and subadditivity of the entropy. While Brascamp-Lieb inequality is originally stated in Euclidean Space, discussed Brascamp-Lieb inequality for discrete Abelian group and discussed Brascamp-Lieb inequality for Markov semigroups. Many mathematical inequalities can be formulated as algebraic inequalities which asserts some given polynomial is nonnegative. In 1927, Artin proved that any non- neg…
We improve the constant $\fracπ{2}$ in $L^1$-Poincaré inequality on Hamming cube. For Gaussian space the sharp constant in $L^1$ inequality is known, and it is $\sqrt{\fracπ{2}}$. For Hamming cube the sharp constant is not known, and $\sqrt{\fracπ{2}}$ gives an estimate from below for this sharp constant. On the other hand, L. Ben Efraim and F. Lust-Piquard have shown an estimate from above: $C_1\le \fracπ{2}$. There are at least two other independent proofs of the same estimate from above (we write down them in this note). Since those proofs are very different from the proof of Ben Efraim and…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。