孫玉婷,王 文,楊世國(guó)
(1.安徽文達(dá)信息工程學(xué)院 通識(shí)教育學(xué)院,安徽 合肥 231201;2.合肥師范學(xué)院,安徽 合肥 230601;3.安徽新華學(xué)院,安徽 合肥 230088)
當(dāng)Ω為正則單形時(shí)等號(hào)成立.文獻(xiàn)[2-4]中推廣了不等式(1.1),得到如下一些不等式.
G.S.Leng,L.H.Tang[2]獲得了不等式
G.S.Leng,T.Y.Ma[3]獲得了另一不等式
L.Gerber[4]建立了不等式
其中m是任意正整數(shù),當(dāng)Ω為正則單形且D為其中心時(shí),(1.2)-(1.4)等號(hào)成立.
在不等式(1.2)- (1.4)中取點(diǎn)D為單形Ω 的內(nèi)心I,此時(shí)di=r(i= 0,1,…,n),便得到不等式(1.1)的實(shí)質(zhì)性推廣.
不等式(1.2)- (1.4)又可寫(xiě)成以下形式
本文研究上述三個(gè)幾何不等式的穩(wěn)定性,得到相應(yīng)的穩(wěn)定性版本,實(shí)質(zhì)上對(duì)它們做了進(jìn)一步的推廣.
幾何不等式的穩(wěn)定性這一概念最早是由H.Minkowski和T.Bounesen提出,后期H.Groemer[5]做了詳細(xì)描述,其中關(guān)于歐氏空間單形的幾何不等式穩(wěn)定性反映的是正則單形與一般單形的偏差估計(jì).
因單形的徑向函數(shù)或支撐函數(shù)表達(dá)式不易找到,故使得關(guān)于其幾何不等式的穩(wěn)定性研究困難重重.介于單形的棱長(zhǎng)對(duì)單形的確定起重要作用,何斌吾在其論文[6]引入“偏正度量”概念,自此單形幾何不等式的穩(wěn)定性得到廣泛而系統(tǒng)的研究.
本文給出(1.2)- (1.4)不等式的穩(wěn)定性版本:
當(dāng)Ω為正則單形且D為中心時(shí)等號(hào)成立.其中τ≤n+ 1 -k
下給出( 1.4') 的兩個(gè)穩(wěn)定性版本.
定理2.5 設(shè)σ( Ω,Ωˉ)是單形Ω的“偏正度量”,則對(duì)任意的ε>0,當(dāng)
先介紹以下引理,從而輔助定理的證明
引理3.1[7]設(shè)n維單形Ω,有
當(dāng)Ω是正則單形時(shí)等號(hào)成立.
引理3.2[8-9]設(shè)n維單形Ω,有
等號(hào)成立當(dāng)且僅當(dāng)Ω為正則單形.
引理3.3[10]設(shè)n維單形Ω,自然數(shù)k∈[ ]2,n,有
等號(hào)成立當(dāng)且僅當(dāng)Ω為正則單形.
引理3.4[11]設(shè)n維單形Ω,τ≤n+ 1 -k,,有
引理3.5[11]設(shè)n維單形Ω,有
等號(hào)成立當(dāng)且僅當(dāng)Ω為正則單形.
證明 利用文獻(xiàn)[12]中不等式
等號(hào)成立當(dāng)且僅當(dāng)Ω為正則單形.
將不等式(3.2)代入式3.7右端分母,得
等號(hào)成立當(dāng)且僅當(dāng)Ω為正則單形.
利用文獻(xiàn)[13]中不等式
等號(hào)成立當(dāng)且僅當(dāng)Ω為正則單形.
由式3.9和式3.8即可得式3.6.
定理2.1和定理2.2的證明 利用文獻(xiàn)[2]中的不等式(20)式即式(3.10),有
等號(hào)成立當(dāng)且僅當(dāng)Ω為正則單形且D為中心.
利用式3.10、式3.11、式3.6及算術(shù)幾何平均不等式,得
利用文獻(xiàn)[2]中式(16)即(3.13)式,有
等號(hào)成立當(dāng)且僅當(dāng)Ω為正則單形.
由式3.12和式3.13得
利用文獻(xiàn)[9]中不等式
等號(hào)成立當(dāng)且僅當(dāng)Ω為正則單形.
利用冪平均不等式,引理3.3及式3.15,得
由式3.14、式3.16得
由式3.15、式3.1和式3.3得
利用代數(shù)恒等式
由式3.18和式3.19得
由式3.17和式3.20得
不難得出當(dāng)Ω為正則單形且D為其中心時(shí)等號(hào)成立,故定理2.1成立.
由 式3.15、式3.4、式3.5及式3.3得
由式3.17和式3.21得
易知當(dāng)Ω為正則單形且D為其中心時(shí)等號(hào)成立,故定理2.2成立.
定理2.3和定理2.4的證明:利用文獻(xiàn)[3]中式3.8即(3.22)式,有
即
當(dāng)Ω為正則單形且D為其中心時(shí)等號(hào)成立.
由式3.2
由式3.23和式3.24得
式3.20代入式3.25可證定理2.3.
對(duì)式3.25兩邊k次方后,對(duì)R2k應(yīng)用不等式3.21可證定理2.4.
定理2.5和定理2.6的證明:利用式3.11得
由式3.6和式3.27得
利用文獻(xiàn)[9]不等式
當(dāng)Ω為正則單形時(shí)等號(hào)成立.
對(duì)式3.30兩邊k次方后,應(yīng)用式3.21可證定理2.6,當(dāng)Ω為正則單形且D為其中心時(shí)等號(hào)成立.
本文通過(guò)研究歐氏空間單形的穩(wěn)定性,為后期進(jìn)一步研究其他凸體如C60 的幾何結(jié)構(gòu)奠定基礎(chǔ),從而讓C60更好地在工業(yè)生產(chǎn)中發(fā)揮重要作用.
韓山師范學(xué)院學(xué)報(bào)2022年6期