馬 磊， 賓 芮， 董 旭

（1.廣東茂名幼兒師范?？茖W(xué)校理學(xué)院，廣東茂名525200；2.重慶師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院，重慶400047）

1 引言

等周不等式源于等周問題，是幾何中著名的不等式之一，對數(shù)學(xué)諸多分支的發(fā)展起到了重要的促進作用.平面上的等周不等式等價于分析中著名的Wirtinger不等式和一維的Poincare不等式[1-3]；高維空間中的等周不等式與分析中的Sobolev不等式等價[4]；仿射不變性的Sobolev型不等式等價于著名的Petty投影不等式[5，6].目前，研究具有幾何背景的分析不等式已經(jīng)成為凸幾何分析中的熱點問題[7，8]，另外部分分析不等式也與算子類不等式密切相關(guān)[9].

設(shè)為平面上的簡單閉曲線所圍成的閉凸區(qū)域，則其邊界周長，面積，最大內(nèi)接圓半徑，最小外接圓半徑，滿足如下形式的幾何不等式[10-12]

設(shè)p（θ）為平面上包含原點的具有光滑邊界的閉凸區(qū)域K的支撐函數(shù)（即p（θ）是以2π為周期的C2（二階連續(xù)可微）函數(shù)），則p＞0，曲率半徑ρ=p+p″＞0，周長面積參見[1]，[3]）.特別地，當(dāng)K關(guān)于原點對稱時，p（θ）=p（θ+π）.故當(dāng)K關(guān)于原點對稱時，p（θ）為以π為周期的函數(shù).設(shè)K的最大內(nèi)接圓半徑與最小外接圓半徑分別是r=min{p∶0≤θ≤π}，R=max{p∶0≤θ≤π}.因此，當(dāng)K關(guān)于原點對稱時，不等式（1）等價于下面一組分析形式的不等式.

設(shè)p（θ）是以π為周期的C2（二階連續(xù)可微）函數(shù)，且p（θ）＞0，p（θ）+p″（θ）＞0，若m=min{p∶0≤θ≤π}，M=max{p∶0≤θ≤π}.本文的主要目的是證明幾何不等式（1）的分析形式：

2 主要引理

下面的引理由Green-Osher在文獻[13]中利用傅里葉（Fourier）級數(shù)的方法得到，這里我們應(yīng)用Scheeffer在文獻[14]中的方法給出一種不同形式的證明.

引理1設(shè)a＞0，u（x），u′（x）∈L2[0，a]，且u（0）=u（a）=0，則

證明由于

而u（0）=u（a）=0，且

所以

引理2設(shè)v（x），v′（x）∈L2[a，b]，其中b＞a＞0，v（a）=v（b）=0，則

證明令u（x）=v（x+a），因為v（a）=v（b）=0，則v（0）=v（b-a）=0.由引理1可知

作變量替換y=x+a，則故dy=dx.故

即

引理3設(shè)w（x）是以T＞0為周期的連續(xù)函數(shù)，則對于任意的a都有

證明設(shè)x=t+T，有dx=dt，則

因而

3 主要結(jié)論

定理1設(shè)p（θ）是以π為周期的C2（二階連續(xù)可微）函數(shù)，則

證明令v（θ）=p（θ）-p（θ0），因為p（θ）是以π為周期的函數(shù)，則

由引理2可知

即

由p（θ）是以π為周期的函數(shù)，結(jié)合引理3可知

因此

又因為

故

推論1設(shè)p（θ）是以π為周期的C2函數(shù)，則

定理2設(shè)p（θ）是以π為周期的C2函數(shù)，且p（θ）＞0，p（θ）+p″（θ）＞0，若m=min{p∶0≤θ≤π}，M=max{p∶0≤θ≤π}，則

證明因為m=min{p∶0≤θ≤π}，M=max{p∶0≤θ≤π}，則存在θm，θM∈[0，π]使得，m=p（θm）≤p（θ）≤p（θM）=M.又因為p（θ）＞0，p（θ）+p″（θ）＞0，則

所以

由推論1可知

由于m=min{p∶0≤θ≤π}，則存在θM∈[0，π]使得，p（θm）=m.在定理1中取θ0=θm可得

又由于M=max{p∶0≤θ≤π}，則存在θM∈[0，π]使得，p（θM）=M.在定理1中取θ0=θm，可得

綜上，可知不等式（7）成立.