-
题名Wallis公式的一个新证明
被引量:4
- 1
-
-
作者
刘证
-
机构
鞍山科技大学理学院
-
出处
《高等数学研究》
2005年第1期14-14,17,共2页
-
文摘
基于被证明的limn∞∫n01-u2nndu =∫∞0e-u2 du,可得到Wallis公式的一个新证明。
-
关键词
证明
公式
平方根
-
分类号
O122.3
[理学—基础数学]
G633
[文化科学—教育学]
-
-
题名一个Gauss型函数方程(英文)
被引量:6
- 2
-
-
作者
刘证
-
机构
鞍山钢铁学院数理系
-
出处
《纯粹数学与应用数学》
CSCD
2002年第1期53-57,62,共6页
-
文摘
给出了任意两个正实数的几何 -调和平均值的一个积分表示式 ,并由此去探讨了函数方程f(ab,2 aba+b) =f(a,b) , a,b>0其中 f:R+× R+→
-
关键词
Gauss型函数方程
几何-调和平均值
积分表示式
-
Keywords
Gauss functional equation,the geometric-harmonic mean
-
分类号
O178
[理学—基础数学]
-
-
题名关于定积分几种近似计算的误差估计
被引量:12
- 3
-
-
作者
刘证
丁桂艳
-
机构
鞍山科技大学理学院
-
出处
《鞍山科技大学学报》
2003年第4期313-317,共5页
-
文摘
在较弱的条件下考虑了定积分近似计算的矩形法、梯形法和抛物线法,并得到误差的最佳估计.
-
关键词
定积分
近似计算
矩形法
梯形法
抛物线法
误差估计
-
Keywords
definite integral
approximate calculation
rectangular method
trapezoidal method
parabolic method
estimate of error
-
分类号
O172.2
[理学—基础数学]
-
-
题名内积空间的特证
- 4
-
-
作者
刘证
-
出处
《鞍山钢铁学院学报》
1998年第1期1-6,共6页
-
文摘
给出内积空间12个新的特征。
-
关键词
内积空间
赋范线性空间
对偶空间
-
Keywords
inner product space,normed linear space
-
分类号
O175.3
[理学—基础数学]
-
-
题名算术-几何平均值与几何-调和平均值的注记
被引量:3
- 5
-
-
作者
刘证
-
机构
辽宁科技大学理学院
-
出处
《鞍山科技大学学报》
CAS
2007年第3期230-235,共6页
-
文摘
给出算术-几何平均值与几何-调和平均值之间的一些基本关系式和有关的不等式,并且把它们与常见的几类复合平均值做了比较。
-
关键词
算术-几何平均值
几何-调和平均值
复合平均值
-
Keywords
arithmetic-geometric mean
geometric-harmonic mean
compound mean
-
分类号
O178
[理学—基础数学]
-
-
题名加权幂平均不等式的加强(英文)
被引量:1
- 6
-
-
作者
刘证
-
机构
鞍山科技大学理学院
-
出处
《纯粹数学与应用数学》
CSCD
2003年第4期354-356,共3页
-
文摘
对加权幂平均不等式的加强作了全面的研究,推广了一个加强的加权算术-几何不等式.
-
关键词
加强
加权摹平均
加权算术-几何不等式
-
Keywords
sharpening,weighted power means,weighted arithmetic-geometric inequality.
-
分类号
O178
[理学—基础数学]
-
-
题名对一个不等式的一点注记(英文)
被引量:1
- 7
-
-
作者
刘证
-
机构
鞍山钢铁学院数理系
-
出处
《纯粹数学与应用数学》
CSCD
2001年第4期349-351,共3页
-
文摘
讨论了不等式bx+y- ax+ybx- ax ≥ x+yx (ab) r2及其逆成立或不成立的一切情形 ,其中 x,y∈ R x≠ 0 a,b>0 ,a≠
-
关键词
不等式
广义平均值
逆
-
Keywords
inequality, extended mean values
-
分类号
O178
[理学—基础数学]
-
-
题名Gauss型函数方程和平均值特征
被引量:6
- 8
-
-
作者
刘证
-
机构
鞍山科技大学理学院
-
出处
《鞍山科技大学学报》
2003年第6期401-405,共5页
-
文摘
针对Lehmer平均值和Stolarsky平均值分别探讨了Gauss型函数方程的求解,并且给出了这些平均值新的特征.
-
关键词
Gauss型函数方程
Lehmer平均值
Stolarsky平均值
算术平均值
几何平均值
-
Keywords
Gauss type functional equation
Lehmer mean
Stolarsky mean
-
分类号
O174.1
[理学—基础数学]
-
-
题名关于n维球的体积
被引量:5
- 9
-
-
作者
刘证
-
机构
鞍山钢铁学院数理系
-
出处
《鞍山钢铁学院学报》
2001年第4期244-244,共1页
-
文摘
综述了n维球的体积已知的几种算法,并且在此基础上给出一种新的算法.类似的这几种算法还被用于计算n维椭球的体积.
-
关键词
类似
体积
椭球
已知
算法
-
Keywords
n_dimensional ball
n_dimensional ellipsoid
n_dimensional volume
-
分类号
O122.3
[理学—基础数学]
-
-
题名关于复合函数的Riemann可积性
被引量:1
- 10
-
-
作者
刘证
马东怡
-
机构
鞍山科技大学理学院
-
出处
《鞍山科技大学学报》
2003年第4期311-312,317,共3页
-
文摘
证明了文献[1]提出的一个命题.
-
关键词
复合函数
RIEMANN可积性
连续性
可微性
严格递增函数
-
Keywords
composite function
continuity
differentiability
Riemann integrability
strictly increasing function
-
分类号
O172.2
[理学—基础数学]
-
-
题名关于Iyengar型积分不等式的注记
被引量:1
- 11
-
-
作者
刘证
石艳霞
-
机构
鞍山科技大学理学院
-
出处
《鞍山科技大学学报》
2003年第4期318-320,共3页
-
文摘
证明了经典的Iyengar积分不等式及其推广形式原来是等价的.同时,对文献中流传的一个错误作了认真分析和彻底纠正.
-
关键词
Iyengar型积分不等式
Hayashi积分不等式
Iyengar积分不等式
可微函数
-
Keywords
Iyengar integral inequality
Hayashi's integral inequality
Iyengar type integral inequality
-
分类号
O178
[理学—基础数学]
-
-
题名关于n维球的体积
被引量:2
- 12
-
-
作者
刘证
-
机构
鞍山钢铁学院数理系
-
出处
《鞍山钢铁学院学报》
2001年第5期321-326,共6页
-
文摘
综述了n维球的体积已知的几种算法 ,并且在此基础上给出一种新的算法 .
-
关键词
类似
体积
椭球
已知
算法
-
Keywords
n_dimensional ball
n_dimensional ellipsoid
n_dimensional volume
-
分类号
O122.3
[理学—基础数学]
-
-
题名Banach空间的K一致光滑性
被引量:2
- 13
-
-
作者
刘证
-
机构
鞍山科技大学理学院
-
出处
《鞍山科技大学学报》
2004年第2期81-86,共6页
-
文摘
对Banach空间给出了一种K一致光滑性的概念,证明了它与K一致凸性具有对偶性,同时还给出Banach空间成为K一致光滑空间的一个定量形式的充分条件.
-
关键词
BANACH空间
K一致光滑
K一致凸
对偶性
-
Keywords
K uniformly rotund
K uniformly smooth
duality
-
分类号
O177.2
[理学—基础数学]
-
-
题名广义Young不等式及其逆(英文)
- 14
-
-
作者
刘证
庄亚栋
-
机构
鞍山钢铁学院
扬州师范学院
-
出处
《辽宁科技大学学报》
CAS
1989年第3期1-4,共4页
-
文摘
本文给出一种广义Young不等式,并且通过建立函数不等式证明了它的逆。
-
关键词
不等式证明
Young
PROPOSITION
INEQUALITY
holds
implies
satisfy
GENERA
STRICTLY
三兰
-
分类号
N55
[自然科学总论]
-
-
题名Gauss型函数方程和平均值特征(Ⅱ)
被引量:1
- 15
-
-
作者
刘证
-
机构
鞍山科技大学理学院
-
出处
《鞍山科技大学学报》
2004年第4期252-255,259,共5页
-
文摘
针对Gini平均值和广义平均值这两种双参数平均值,探讨了Gauss型函数方程的求解,并且给出了这两种平均值新的特征.
-
关键词
Gauss型函数方程
Gini平均值
广义平均值
双参数平均值
-
Keywords
Gauss type functional equation
Gini mean
extended mean value
-
分类号
O174.1
[理学—基础数学]
-
-
题名一些平均值的不等式
- 16
-
-
作者
刘证
-
机构
鞍山钢铁学院数理系
-
出处
《南京大学学报(数学半年刊)》
CAS
2002年第1期37-42,共6页
-
文摘
用Gauss算法和Brochardt算法去考虑Gauss算术平均值和对数平均值的t-更改,得到这些平均值和其他平均值之间的一些不等式.
-
关键词
Gauss算术可平均值
对数平均值
平均值的t-更改
Gauss算法
Brochardt算法
-
分类号
O178
[理学—基础数学]
-
-
题名K—强度光滑空间的一个充分条件
- 17
-
-
作者
刘证
-
机构
鞍山钢铁学院数理系
-
出处
《南京大学学报(数学半年刊)》
CAS
2001年第1期55-61,共7页
-
文摘
本文给出了Bvanach空间成为K强度光滑空间的一个定量形式的充分条件。
-
关键词
BANACH空间
K-光滑空间
相对紧集
K-强度光滑空间
充分条件
-
分类号
O177.3
[理学—基础数学]
-
-
题名反向Dresher不等式
- 18
-
-
作者
刘证
-
机构
鞍山钢铁学院数理系
-
出处
《纯粹数学与应用数学》
CSCD
2001年第3期214-216,共3页
-
文摘
配合使用 Holder不等式和 Minkowski不等式 ,得到一个反向 Dresher不等式 .
-
关键词
HOELDER不等式
矩量空间
MINKOWSKI不等式
Dresher不等式
反向Dresher不等式
-
Keywords
Hlder inequality,Minkowski inequality,Dresher inequality,reverse Dresher inequality
-
分类号
O178
[理学—基础数学]
-
-
题名一个不等式及其逆
- 19
-
-
作者
刘证
-
机构
鞍山科技大学理学院
-
出处
《南京大学学报(数学半年刊)》
CAS
2004年第2期362-366,共5页
-
文摘
讨论了不等式b^x+y-a^x+y/b^x-a^x≥x+y/x(2ab/a+b)^y及其逆成立或不成立的一切情形,其中,x,y∈R,x≠0,a,b>0,a≠b.
-
关键词
不等式
广义平均值
比较
-
分类号
O178
[理学—基础数学]
-
-
题名Ostrowski不等式在内积空间中的推广和加细
- 20
-
-
作者
刘证
-
机构
鞍山科技大学理学院
-
出处
《南京大学学报(数学半年刊)》
CAS
2004年第1期62-66,共5页
-
文摘
Ostrowski不等式及其加细被推广到内积空间.
-
关键词
OSTROWSKI不等式
内积空间
逐次逼近法
内积空间
-
分类号
O178
[理学—基础数学]
-