Cauchy-Schwarz不等式在F-范数的范数定义证明中的应用

利用Cauchy-Schwarz不等式给出了F-范数满足范数定义的证明方法.     

分布Henstock-Kurzweil积分与Gronwall不等式

讨论分布Henstock-Kurzweil积分的意义下的Gronwall不等式和Gronwall-Bellman不等式。给出分布Henstock-Kurzweil积分的定义及相关性质,证明含有分布Henstock-Kurzweil积分的Gronwall不等式成立,推广了已有的结果。     

关于微分形式的双权弱逆Hlder不等式(英文)

应用广义H lder不等式及双权的性质,给出了关于A-调和方程d*A(x,dw) =0解的局部双权弱逆H lder不等式.作为局部结果的应用,利用Whitney覆盖性质,在域Ω上得到了关于A-调和张量的全局双权弱逆H lder不等式.这些结果是经典弱逆H lder不等式的推广,可以用来研究微分形式的积分估计.     

关于微分形式的双权弱逆Hölder不等式

应用广义H(o)lder不等式及双权的性质,给出了关于A-调和方程d*A(x,dw)=0解的局部双权弱逆H(o)lder不等式.作为局部结果的应用,利用Whitney覆盖性质,在域Ω上得到了关于A-调和张量的全局双权弱逆H(o)lder不等式.这些结果是经典弱逆Holder不等式的推广,可以用来研究微分形式的积分估计.     

关于微分形式的双权弱逆H(o)lder不等式

应用广义H(o)lder不等式及双权的性质,给出了关于A-调和方程d*A(x,dw)=0解的局部双权弱逆H(o)lder不等式.作为局部结果的应用,利用Whitney覆盖性质,在域Ω上得到了关于A-调和张量的全局双权弱逆H(o)lder不等式.这些结果是经典弱逆Holder不等式的推广,可以用来研究微分形式的积分估计.     

带等式广义子句集上的归结原理

本文提出了带等式广义子句的概念,使用带等式广义子句去描述定理会更加自然。为了解决不可满足的等式广义子句集的证明,本文又提出了广义调整的方法。并且,本文还证明了,结合使用广义调整的归结原理是完备的。     

关于A-调和张量的加权Hardy-Littlewood积分不等式

首先证明了A-调和张量的加Aλr(Ω)-权函数的局部Hardy-Litdewood不等式,此结果类似于Hardy和Littlewood的一个早期不等式.作为局部结果的应用,证明了在Rn中的有界域Ω上的A-调和张量的加Aλr(Ω)-权函数的全局Hardy-Littlewood不等式.     

Euler方程与Navier-Stokes方程解的全局存在性研究

研究了Euler方程及Navier-Stokes方程,通过讨论方程中压力项p与速度场u之间的关系,在一些温和的假设下,利用Sobolev不等式及Gagliargo-Nirenberg不等式,得到了在Sobolev空间中Euler方程解的全局存在性以及Navier-Stokes方程在小初值情形下的解的全局存在性的一些结果.     

关于Rao—Cramer不等式

Rao—cramer不等式(以下简称R—C不等式)是概率论与数理统计中的一个重要不等式,在[1],[2],[3]中,都是对连续型随机变量给出的或证明是对连续型随机变量给出的,这是不严格的。本文的主要结果是:对通常教材中给出的R—C不等式加以改进,首先引入概率函数的概念,借助于数字特征这一工具,将R—C不等式的条件抽象化,并给出简捷而严格的证明,此结果对连续型和离散型这两类随机变量都是适用的。     

Euler方程与Navier Stokes方程解的全局存在性研究

研究了Euler方程及NavierStokes方程,通过讨论方程中压力项p与速度场u之间的关系,在一些温和的假设下,利用Sobolev不等式及GagliargoNirenberg不等式,得到了在Sobolev空间中Euler方程解的全局存在性以及NavierStokes方程在小初值情形下的解的全局存在性的一些结果     

多模连续变量系统的可分性判据

利用柯西-施瓦兹不等式和海森堡不确定关系,得到了多模连续变量系统的可分性判据.并对具体的量子态进行了计算,得到了纠缠态满足条件.     

信息论中几个重要不等式关系的讨论

信息论中许多不等式结论的证明都是利用对数不等式、对数和不等式、Jensen不等式、熵极值不等式进行证明的,对4个不等式的关系进行了讨论,并进行了严格的证明.     

时标上具有正负系数的中立型时滞动力方程的稳定性

根据时标特点—统一连续分析和离散分析,考虑时标上的一类具有正负系数的中立型时滞动力方程的稳定性问题。运用时标的微积分基本理论和Cauchy-Schwarz等重要不等式,避免构造Lyapunov函数的复杂性,利用32稳定性的方法,获得该系统一致稳定性及渐近稳定性的充分条件,所得结论统一并包含了已有成果。     

一类条件不等式及其应用

给出两个新的条件下的不等式,并推广了文[l]中的主要结果．     

关于对数不等式的变换及其应用

将一对数不等式进行变换得到一个新的不等式,利用所得结论简化了算术-几何平均值不等式及Euler常数存在性等定理的证明.     

Hadamard不等式和Szasz不等式的逆形式

研究了有限向量集的混合体积的性质,并且利用外微分作为工具证明了一个有关混合体积和平行体体积的Minkowski型不等式,由此证明Hadamard不等式和Szasz不等式的逆形式.     

2个著名不等式的新证法

建立了一个新的泛函不等式,作为应用,给出了著名不等式"几何平均数不大于算术平均数"及其推广形式的一种新证明.     

关于矩阵的迹的一个不等式及其应用

给出了一个与矩阵的迹有关的不等式,并用其推导出一个类似于Holder不等式的不等式．     

连续函数与不等式的解法

将连续函数的性质应用到不等式的解法中，使得解不等式的问题转化为解方程和判定函数值符号的问题，从而得到了解不等式的一种普遍的方法。