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, on”。然后他做了一个注记;“is on when is ‘large enough’. Claim 1. shows that is ‘large enough’ in this sense. There is no claim that is in any way optimal”。本文用初等方法证明了在中使这一不等式成立的最佳参数是。
显然我们有,因此我们只需对的情况证明这一不等式成立即可。
引理1. 当时有,
证明:由计算直接得出引理1成立。
引理2.,等号仅在时成立。
证明:从等式
可知引理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.