Advances in Applied Mathematics
                                        Vol.05 No.01(2016), Article ID:16966,4
                                        pages
                                        
                                        
                                            10.12677/AAM.2016.51006
                                    
A Sharp Parameter Value of a Positive Definite Inequality
Beiye Feng
Institute of Applied Mathematics, Chinese Academy of Sciences, Beijing

Received: Jan. 30th, 2016; accepted: Feb. 20th, 2016; published: Feb. 23rd, 2016
Copyright © 2016 by author and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
                                

                                
ABSTRACT
In this paper, we solved an open problem proposed in [1] . We get a sharp parameter value of a positive definite inequality by elementary method.
Keywords:Sharp Parameter Value, Positive Definite, Inequality

一个正定不等式的最佳参数
冯贝叶
中国科学院应用数学研究所,北京

收稿日期:2016年1月30日;录用日期:2016年2月20日;发布日期:2016年2月23日

摘 要
本文解决了参考文献 [1] 中提出的一个公开问题,用初等方法确定了一个正定不等式成立的最佳参数值。
关键词 :最佳参数,正定,不等式

多项式的正定性条件及正定多项式是否能表示成平方和的问题是一个和Hilbert 17问题有关的有趣而又古老的问题,见 [1] - [5] 。
设 。其中
。其中 。Murray Marshall在 [1] 中用微积分方法证明了如下断言:“Claim 1. When
。Murray Marshall在 [1] 中用微积分方法证明了如下断言:“Claim 1. When ,
,  on
on ”。然后他做了一个注记;“
”。然后他做了一个注记;“ is
is  on
 on  when
 when  is ‘large enough’. Claim 1. shows that
 is ‘large enough’. Claim 1. shows that  is ‘large enough’ in this sense. There is no claim that
 is ‘large enough’ in this sense. There is no claim that  is in any way optimal”。本文用初等方法证明了在
 is in any way optimal”。本文用初等方法证明了在 中使这一不等式成立的最佳参数是
中使这一不等式成立的最佳参数是 。
。
显然我们有 ,因此我们只需对
,因此我们只需对 的情况证明这一不等式成立即可。
的情况证明这一不等式成立即可。
引理1. 当 时有
时有 ,
,
证明:由计算直接得出引理1成立。
引理2. ,等号仅在
,等号仅在 时成立。
时成立。
证明:从等式

可知引理2成立。
引理3. ,等号仅在
,等号仅在 时成立
时成立
证明:



 。
。
因此不等式 等价于不等式
等价于不等式 ,从引理2即得引理3成立。
,从引理2即得引理3成立。
定理 在 中
中 ,等号当且仅当
,等号当且仅当 时成立,此外在
时成立,此外在 中使不等式
中使不等式 成立的最佳参数为
成立的最佳参数为 。
。
证明。考虑以下两种情况
1) 在这种情况下,设
在这种情况下,设 ,那么
,那么
 。
。
要使上述不等式的等号成立,其充分必要条件是 和
和 同时成立,但是易于验证,
同时成立,但是易于验证,
这是不可能的,所以在这种情况下,上述不等式中的等号不可能成立。
2) 。在这种情况下,设
。在这种情况下,设 ,那么
,那么
 。
。
把上面的表达式看成是z的二次三项式,那么其判别式为
 。
。
因此,这个二次三项式有两个实根 ,其中
,其中
 ,
,
 。
。
从引理1和引理3可知 ,以及当且仅当
,以及当且仅当 时
时 。因而
。因而
 。
。
上述不等式中的等号当且仅当 时成立。
时成立。
又设 是一个任意小的正常数,那么我们有
是一个任意小的正常数,那么我们有
 。
。
这就说明在 上使
上使 成立的最佳参数为
成立的最佳参数为 。
。
这就完成了定理的证明。
文章引用
冯贝叶. 一个正定不等式的最佳参数
A Sharp Parameter Value of a Positive Definite Inequality[J]. 应用数学进展, 2016, 05(01): 41-44. http://dx.doi.org/10.12677/AAM.2016.51006
参考文献 (References)
- 1. Marshall, M. (2008) Positive Polynomials and Sums of Squares. American Mathematical Society, SURV Vol. 146.
- 2. Rajwade, A.R. (1993) London Mathematical Society Lecture Note Series. Cambridge University Press, London. http://dx.doi.org/10.1017/CBO9780511566028
- 3. Scheiderer, C. (2000) Sums of Squares of Regular Functions on Real Algebraic Varieties. Transactions of the American Mathematical Society, 352, 1039-1069. http://dx.doi.org/10.1090/S0002-9947-99-02522-2
- 4. Cassels, J.W.S. (1964) On the Representation of Rational Functions as Suns of Squares. Acta Arithmetica, 9, 79-82.
- 5. 冯贝叶. 四次函数实零点的完全判据和正定条件[J]. 应用数学学报, 2006, 29(3): 454-466.