ترغب بنشر مسار تعليمي؟ اضغط هنا

A Computer Proof of Turans Inequality

185   0   0.0 ( 0 )
 نشر من قبل Stefan Gerhold
 تاريخ النشر 2005
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

We show how Turans 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$, $-1leq xleq 1$, effortlessly with the aid of our method.



قيم البحث

اقرأ أيضاً

78 - P.S.Bullen 2003
A simple proof of the weighted two variable geometric-arithmetic a mean inequality based on one given earlier valid only for integer weights
Changs lemma is a useful tool in additive combinatorics and the analysis of Boolean functions. Here we give an elementary proof using entropy. The constant we obtain is tight, and we give a slight improvement in the case where the variables are highly biased.
This paper is intended to give a characterization of the optimality case in Nashs inequality, based on methods of nonlinear analysis for elliptic equations and techniques of the calculus of variations. By embedding the problem into a family of Gaglia rdo-Nirenberg inequalities, this approach reveals why optimal functions have compact support and also why optimal constants are determined by a simple spectral problem.
We give a direct analytic proof of the classical Boundary Harnack inequality for solutions to linear uniformly elliptic equations in either divergence or non-divergence form.
107 - Kevin ONeill 2018
Consider the trilinear form for twisted convolution on $mathbb{R}^{2d}$: begin{equation*} mathcal{T}_t(mathbf{f}):=iint f_1(x)f_2(y)f_3(x+y)e^{itsigma(x,y)}dxdy,end{equation*} where $sigma$ is a symplectic form and $t$ is a real-valued parameter. I t is known that in the case $t eq0$ the optimal constant for twisted convolution is the same as that for convolution, though no extremizers exist. Expanding about the manifold of triples of maximizers and $t=0$ we prove a sharpened inequality for twisted convolution with an arbitrary antisymmetric form in place of $sigma$.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا