关于Van Der Corput不等式加强的进一步改进

利用传统方法,将Van Der Corput不等式的一个加强式做了改进,建立了Van Der Corput不等式两个更强的加强式,它们优于现有的众多结论.     

关于Van Der Corput不等式推广的进一步改进

运用数值计算和分析方法,将Van Der Corput不等式的推广做了进一步改进,建立了Van Der Corput不等式更强的推广式,它优于现有的相关结论.     

关于双曲函数的两个平均及其Schur凸性

通过类比三角函数的两个平均,定义了双曲函数的两个平均Msh（a,b）和Mth（a,b）.为进一步确定它们的Schur凸性,采用了凸函数的相关理论,并结合Hadamard不等式,证明出Msh（a,b）在[0,＋∞）上为Schur凸函数,而Mth（a,b）在[0,＋∞）上为Schur凹函数.基于这两个平均的Schur凸性,建立了一个涉及算术平均、Msh（a,b）和Mth（a,b）的新不等式链.     

轮换对称多项式通式的构造及初等轮换式的自动发现

通过改进算法的轮换对称多项式的通式构造程序,研究了初等轮换对称多项式的构造,编写Maple程序得到了3元到7元的初等轮换对称多项式;提出并编程实现列表乘法运算,为较多元多项式的线性表示及多项式的通式构造提供了强有力的工具;提出了3个猜想并编程实现部分验证.     

Jordan不等式的拓广及应用

借助于多项式判别系统和M ap le数学软件,建立了Jordan不等式新的拓广形式,由此得到关于Se iffert平均的3个含参双边不等式,并给出杨乐不等式的一个推广。     

Carleman不等式的下界改进及改进式的自动发现

对有限项Carleman不等式进行非严格化,建立了无限项Carleman不等式下界的一个改进,根据其证明规律,编写程序cdiscover2,实现了此类Carleman不等式下界改进式的自动发现.     

关于余弦的一个含参双边不等式及其应用

借助于多项式判别系统和maple数学软件,建立了关于余弦的一个含参双边不等式及含参三角函数不等式链,由此得到两条关于Seiffert平均的不等式链,并给出杨乐不等式的一个拓广.     

关于三角函数Redheffer型不等式的拓广

利用级数理论,建立了5个三角函数Redheffer型不等式的一般性的拓广,所得结论中的系数为最佳。     

3元n次对称多项式的平方型分拆及其他

探讨了3元对称多项式的平方型分拆,编写maple程序实现分拆,举例说明程序在证明多项式半正定中的应用,并证明了多项式的一个性质定理。     

局部对称线性空间再探究

提出了通用的局部对称多项式对称类型通式的构造算法,编程实现了部分多元局部对称多项式的类型通式构造,理论上解决了7元以内局部对称多项式空间基的求解及多项式一般式的构造,建立了维数统计表。