Carleman不等式的加强及加强式的自动发现

运用最值单调定理及maple数学软件,对有限项Carleman不等式进行非严格化,建立了无限项Carleman不等式一个新的加强式,根据其证明规律,编写程序cdiscover,实现了此类Carleman不等式加强式的自动发现.     

Carleman不等式的新加强

运用一些分析技巧,对有限项Carleman不等式进行非严格化,给出了无限项Carleman不等式的2个新的加强式,得到了e∑nk=1kk+1αak-∑nk=1(∏ki=1ai)1/k≥Ane∑nk=11k-∑nk=1(k+1)α/k(k!)1/k;∑∞k=1(∏ki=1ai)1/k≤e∑∞k=1kk+1αak;∑∞k=1((k+1)α∏ki=1ai)1/k≤e∑∞k=1ak.其中,α=1ln 2-1≈0.442 695…,ak>0,k=1,2,…,An=min1≤k≤nkα+1(k+1)αak.     

有限项Carleman不等式的一些加强式

对于著名的Carleman不等式,研究其有限项的情形,得到一些加强式。     

关于Carleman不等式的加强改进

建立如下权系数不等式:(1+1/x)x＜e[1-1/2(x+1)-7/96(x+1)(2x+1)],从而得到一个加强的Carleman不等式.     

Carleman不等式的一种改进

给出了（1＋1／x)^x≤e(1-1[2(x 1)]-10/[81(2x 1)^2])(x≥1)的一个上界,同时对Carleman不等式给出了一种加强形式。     

有关指数e及Stirling公式的不等式

文中给出了(1 1／n)^n的级数展开式，利用此展开式得到比文[1、2、3、5、6]中更确切的关于指数e的不等式,应用这些不等式，加强了Carleman不等式和Hardy不等式，并且证明了文[4]中提出的Stirling公式。     

Carlem an不等式的加强

利用幂级数相关理论和一些初等不等式, 建立了 Ｃａｒｌｅｍ ａｎ 不等式的一序列加强不等式     

关于Hardy-Carleman不等式的一种改进

本文对Hardy—Carleman不等式作出一种改进．     

矩阵Young不等式的改进

Kittaneh和Manasrah近期对经典的Young不等式进行改进,包括矩阵迹不等式和矩阵行列式两种形式。根据他们已有的结论,利用相似的证明方法,改进了Young不等式,并分别对半正定矩阵的迹与行列式改进Young不等式,获得了一些新的不等式。     

关于Wallis不等式的新改进

本文建立了Wallis不等式新的上界和下界,改进了已有结果.     

四边形不等式的自动发现

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

关于Cramer-Rao下界的推广

从Cramer-Rao信息不等式出发,详细地证明了当T(x)是g(θ)的无偏估计且满足T(x)-g(θ)是1(e)L/L(e)θ,1(e)L2/L(e)θ2,L的线性函数时,T(x)的方差可以达到Bhattacharyya下界,并给出实例.从而推广了C-R下界.     

不等式自动发现与判定程序agl2010的若干新改进

通过引入全局变量,使不等式自动发现过程中数据表达式的构造简洁而方便;通过角代换,解决了锐角三角形不等式的验证问题;通过正数域等价集,解决了实变元不等式的验证问题;给出了等腰三角形时取等号不等式的构造方法;实现了已知不等式隔离式的自动发现.     

再谈不等式自动发现与判定程序agl2010的改进和应用

对不等式自动发现与判定程序agl2010的功能进行了若干改进,通过15个具体实例演示了程序的强大功能;利用agl算法得到了一类三角形几何不等式最佳系数的估算方法;结合Bottema软件的xprove命令,得到了一种带约束条件不等式自动发现的设计方案;通过建立数据限制函数,实现了一类变元取值范围受限制条件不等式的自动发现和自动加强,从而拓展了包括Fan Ky不等式在内的一大批不等式类型;最后提出2个有趣的不等式问题.     

不等式的自动发现原理及其实现

提出了自动发现不等式的思路、算法并编写了应用程序agl2010;通过大量的实例演示了agl2010程序丰富的指令集及使用方法,指出agl2010程序不仅可以自动发现不等式,而且还可以完成指定的任务;提出了不等式磨光器的概念,并设计了若干实用的磨光器,从而为自动加强不等式提供了一个有用的途径.     

非齐型空间上Fefferman-Stein加权向量值极大不等式

应用Y.Sawano的结果及对偶理论,将K.F.Andersen和R.T.John的Fefferman-Stein加权向量值极大不等式从欧氏空间Rn推广到非齐型空间上.该文的证明思想对于欧氏空间上的向量值极大不等式的证明同样适用.     

Bellman不等式的推广及其应用

利用变量代换解普通的微分不等式,对Bellman不等式进行了适当的推广,并举例说明这一推广后的不等式的一个应用,推广了文献[4]中定理6的一个结论.     

一类微分型Gronwall不等式的应用及推广

常见的Gronwall不等式分为积分形式与微分形式。首先,对于常见的积分型Gronwall不等式,旨在给予一种新的证明方法,不同于以往不等式两端乘以指数函数的证明方法,而是应用最基本的积分公式加以证明,并用该不等式证明了一阶常微分方程解的唯一性;其次,旨在推广微分型Gronwall不等式,应用基本微分型不等式证明了波动方程解的唯一性及热传导方程的解能量估计;再者,应用变量代换、求导公式及基本的微分型Gronwall不等式,把一阶微分型的Gronwall不等式推广为两种情形:右端控制项由一次方升到α(α0)次方;把一阶微分型的Gronwall不等式推广到二阶微分型的Gronwall不等式,并得到与一阶相似的结论。     

一类新混合积分不等式及应用

研究了如下混合积分不等式up（x,y）≤a（x,y）＋b（x,y）f^a（x0∫^a（x）0∫^∞βy[c（s,t）u（s,t）＋e（s,t）]dtds,u^p（x,y）≤a（x,y）＋∫a（x）0b（s,y）[u（s,y）]）^pds＋∫α（x）0∫^∞βy[c（s,t）u（s,t）＋e（s,t）]dtds及u^p（x,y）≤a（x,y）＋∫^a（x）0b（s,y）[u（s,y）]^pds＋∫^α（x）0∫^∞βyF（s,t,u（s,t））dtds,并给出了其具体的应用实例．