高分子物理中分子量不等式的一个证明

从赫尔德不等式出发,分离散型和连续型两种情况对分子量不等式珚Mn≤珚Mη≤珚Mw≤珚Mz进行严密证明.对于离散型分子量不等式,通过对4种分子量两两作商、变形,利用离散型的赫尔德不等式证明分子量不等式.对于积分表示形式的连续型分子量不等式,利用连续型赫尔德不等式进行类似处理,证明了不等式.     

"两个新的柯西不等式"是赫尔特不等式的两个特例

本文把赫尔特不等式与"两个新的柯西不等式"进行了对比,得出了"两个新的柯西不等式"是赫尔特不等式的两个特例的结论.     

关于Jesen不等式的几个推广

利用凸函数的定义分析 Jesen 不等式的由来,然后在 Jesen 不等式的基础上建立 Jesen 积分不等式,并由此进行推广,导出更为一般的结论——广义 Jesen 积分不等式.     

关于酉不变范数的几个不等式

首先,得到并证明了酉不变范数的几个不等式;然后,将其与以前的不等式进行了比较.结果表明,新不等式比旧不等式更精细.     

三角形不等式判定程序agl2009的改进及应用

从8个方面对三角形不等式判定程序agl2009进行了改进和补充,使改进后的程序能够处理更多类型的不等式;针对传统不等式证明器只对给定不等式判定的不足,给出了批量发现非平凡不等式的应用实例;提出了若干形式新颖的不等式猜想.     

关于一个乘积不等式的推广

算术—几何平均不等式在不等式的证明中有着广泛的应用．本文应用算术—几何平均不等式,对文[1]中给出的乘积不等式的结果进行了多次推广,得到了几个比原不等式更一般的结果．     

Kantorovich积分不等式的加强式及应用

从Kantorovich离散型不等式出发,推广到相应的积分型不等式,并给出构造性证明,又对其积分型不等式进行了加强,最后讨论了Kantorovich积分不等式加强式的应用.     

四边形不等式的自动发现

对圆内接四边形和双圆四边形不等式的自动发现进行了探讨,并编写了应用程序;讨论了圆内接四边形不等式与双圆四边形不等式的区别和联系;初步探讨了圆内接四边形不等式的证明方法;发现了大量新颖优美的圆内接四边形不等式和双圆四边形不等式新结果;提出了若干待解决的问题.     

一类级数部分和不等式及其应用

级数部分和不等式是不等式研究和近代数学发展的基础,基于对经典不等式的研究,建立了一类含有多个参数,结构形式简洁的级数部分和不等式。应用基本不等式,结合初等变换对所建立的不等式进行了严格证明。在分析该类不等式结构特征的基础上,赋于参数特定的值式,得出了一系列重要的推论。通过实例,检验定理及其推论在构造或者证明一大批级数部分和不等式中具有普适性。同时所得结果不仅囊括了众多著名不等式,更是对这些不等式以及相关文献结果的推广、改进和加强。     

图形构造法证明不等式

文章对构造图形证明不等式进行了分类讨论和归纳,总结了构造图形证明不等式的一些特殊技巧,突出灵活运用和数形结合的数学思想,力求体现构造图形证明不等式在不等式证明中所具有的重要作用。     

向量拟变分不等式与标量广义拟变分不等式之间的关系(英文)

建立了向量拟变分不等式与标量广义拟变分不等式之间的等价性,证明了向量拟变分不等式的Levtin-Polyak适定性与标量广义拟变分不等式的Levtin-Polyak适定性之间的等价关系。     

向量拟变分不等式与标量广义拟变分不等式之间的关系

建立了向量拟变分不等式与标量广义拟变分不等式之间的等价性,证明了向量拟变分不等式的Levtin-Polyak适定性与标量广义拟变分不等式的Levtin-Polyak适定性之间的等价关系.     

广义Ando-Hiai不等式和广义Furuta不等式的等价性

类似于Furuta不等式与Ando-Hiai不等式的等价性,引入了广义Ando-Hiai不等式,并进一步证明了广义Ando-Hiai不等式与广义Furuta不等式的等价关系.     

广义多元凸函数与控制不等式(Ⅰ)

将著名的一元控制不等式推广到多元的情形,获得了一个重要的多元凸函数的控制不等式。引入了广义多元凸函数概念,并且给出了一个实用而简洁的广义多元凸函数的判据。作为多元凸函数的控制不等式在矩阵方面的初步应用,获得了矩阵特征值和奇异值的简洁的控制不等式。     

关于一类新的变分不等式的解

本文是建立在一些作者前期的工作基础之上,构造一类新的变分不等式问题,其形式是许多已研究过的变分不等式问题形式的推广,并为其找到以投影为工具的新的选代算法,在集值映象无紧约的条件下证明了由算法生成的序列的收敛性（收敛于问题的解）．     

基于工程优化问题的广义变分不等式模型研究

文章介绍基于工程优化问题的广义变分不等式及其相关问题,以实例说明变分不等式集中用于非线性规划、经济学、工程学、社会科学和自然科学中的建模、计算和许多平衡(或称为均衡)问题,并给出了广义变分不等式的研究进展。     

一类新的广义强非线性拟变分不等式

研究了一类新的广义强非线性拟变分不等式问题。提出了求此类变分不等式的逼近解的迭代算法。在无紧性条件下,证明了由算法生成的迭代序列的收敛性和变分不等式的解的存在性。所得结果推广了一些新的结果。     

2-赋范空间和拟Banach空间中的华罗庚不等式

 华罗庚在1965年发现的华罗庚不等式在数论中有着重要的应用,它得到了很多的推广。将华罗庚不等式推广到严格凸的2-赋范空间 和拟Banach空间。     

二元向量输出的Partially Bent函数

把关于布尔函数的Carlet不等式推广到向量输出的布尔函数并且引入了向量输出的Partially Bent函数的概念,即广义Carlet不等式中等式成立的向量输出布尔函数.给出了一些广义Carlet不等式中等式成立的充分必要条件.进一步讨论了二元向量输出的partially bent函数的密码学性质.     

Hilbert空间中的广义拟变分不等式问题

本文研究了广义拟变不等式总是和提出了该问题手的代格式，并且还讨论了广义拟变分不等式问题解的存在性及其失代格式的收敛准则，对所得结果也给出了应用。