两平面凸域的对称混合等周不等式
详细信息    本馆镜像全文|  推荐本文 |  |   获取CNKI官网全文
摘要
本文的主要工作是拓展包含经典的等周不等式,Bonnesen等周不等式在内的几何不等式.
     第一部分:著名的平面等周不等式是最早用基本的几何不变量来刻画平面几何图形的几何不等式.即平面上固定周长的简单闭曲线中,圆所围的面积最大.换句话来说,平面上固定面积的区域中,圆盘的周长最小.用数学语言表述为
     (等周不等式)欧氏平面R2中域K的面积A,周长P满足不等式P2-4πA≥0, (1)等号成立的充要条件是K为圆盘.
     加强的等周不等式是以下是著名的Bonnesen等周不等式
     (Bonnesen等周不等式)欧氏平面R2中域K的面积A,周长P,包含于K内的最大内接圆半径为ri,包含K的最小外接圆半径为re,则有P2-4πA≥π2(re-ri)2, (2)等号成立的充要条件是K为圆盘.
     J.Zhou用积分几何方法揭示了一系列的类似Bonnesen不等式并给出了统一的证明.
     设K为平面上面积为A,周长为P的域,ri和re分别为K的最大内接圆半径和最小外接圆半径,设ri≤r≤re,则下列不等式成立P2-4πA≥(P2-2πr)2, P2-4πA≥(P2-2A/r)2, P2-4πA≥(A/r-πr)2,等号成立的充要条件是K为圆盘.
     我们主要研究平面上两个凸域的对称混合等周不等式(the symmetric mixed isoperimetric inequality)设Kk(k=i,j)为欧氏平面R2中面积为Ak,周长为Pk的域,它们的对称混合等周亏格(the symmetric mixed isoperimetric deficit)被J.Zhou定义为σ(Ki,Kj)=Pi2Pj2-16πAiAj. (4)
     根据周家足的思想方法和积分几何包含测度理论,我们利用欧氏平面上一个域包含另一个域的包含测度把平面上的Bonnesen等周不等式和Bonnesen不等式拓广,得到Bonnesen对称混合等周不等式及加强形式和Bonnesen对称混合不等式,主要得到以下定理
     定理1.设Kk(k=i,j)为欧氏平面R2中面积为Ak的凸域,其边界(?)Kk是简单闭曲线,周长为Pk,则我们有
     定理2.设Kk(k=i,j)为欧氏平面R2中面积为Ak的凸域,其边界(?)Kk是简单闭曲线,周长为Pk,则我们有Pi2Pj2-16π2AiAj≥4π2Ai2(tM-tm)2+(2πAitm+2πAitM-PiPj)2. (6)
     当Ki取为单位圆盘时即为P2-4πA≥π2(re-ri)2+(πre+πri-P)2. (7)
     这是著名的Bonnesen等周不等式(2)的加强.
     第二部分:记△=P2-4πA,则△为等周亏格,它的上界是几何中一个十分有趣的问题,欧氏平面上等周亏格的上界估计有下面的定理
     设K为欧氏平面上面积为A,周长为P的域,ρm和ρM分别为(?)K的最小曲率半径和最大曲率半径,则下列不等式成立P2-4πA≤π2 (ρM-ρm)2, (8)等号成立的充要条件为ρm=ρM,即K为圆盘.
     以上结果由Bottema于1933年得到.1955年Pleijel得到Bottema不等式(8)的加强,即P2-4πA≤πr(4-π)(ρM-ρm)2 (9)等号成立的充要条件为ρm=ρM,即K为圆盘.本文我们得到了欧氏平面上的对称混合等周亏格的上界.
     定理3.设Kk(k=i,j)为欧氏平面R2中面积为Ak的凸域,其边界(?)Kk是简单闭曲线,周长为Pk,则我们有Pi2Pj2-16π2AiAh≤4π2PiPj(tMRi2-tmri2). (10)其中tm=max{t:g(tki)(?)Kj,g∈G},tM=min{t:g(tKi)(?)Kj,g∈G}等号成立的充分必要条件是Ki和Kj均为圆盘.
In this paper, we extend the classical isoperimetric inequality and the Bonnesen isoperimetric inequality in the Euclidean plane.
     Part I:isoperimetric inequality is an old problem, it says that given a domain K in the Euclidean plane, if the area is fixed, then the circle has the minimum length; or if the length is fixed, the circle has the maximum area. And expressed in mathematic language is that:
     (Isoperimetric inequality) The area A and the length P of any domain K in the plane satisfies the inequality P2-4πA≥0, (1) with the equality hold if and only if K is a disk.
     The sharping isoperimetric inequality is the Bonnesen inequality. The following is the famous Bonnesen isoperimetric inequality:
     (Bonnesen isoperimetric inequality) Let K be a domain of perimeter P and area A. Denote ri the radius of the maximal circle contained in K and by re the radius of the minimal circle containing K. Then the following inequality hold P2-4πAA≥π2(re-ri)2, (2) with the equality hold if and only if K is a disk.
     J. Zhou [33] obtain some Bonnesen inequalities by using the integral geometry method.
     We investigate the symmetric mixed isoperimetric inequalities of two planar convex domains. Let Kk(k= i,j) be the domain of the area of Ak, and of the perimeter Pk,respectively.The symmetric mixed isoperimetric deficit of Ki and Kj is defined by J.Zhou asσ(Ki,Kj)=Pi2Pj2-16πAiAj. (4)
     In this thesis the problem we solved is that we use the method of integral geometry and the condition of one domain to contain another domain in the plane, get the Bonnesen symmetric mixed isoperimetric inequality and Bonnesen mixed inequality.We get the following the results.
     Theorem 1.Let Kk(k=i,j)be the convex domain of the area of Ak,and of the perimeter Pk,respectively.Then Pi2Pj2-16π2AiAj≥(PiPj-4πAit)2, Pi2Pj2-16π2AiAj≥(PiPj-4πAi/t)2, (5) Pi2Pj2-16π2AiAj≥4π2(Aj/t-Ait)2
     Theorem 2.Let Kk(k=i,j)be the convex domain of the area of Ak,and of the perimeter Pk,respectively.Then Pi2Pj2-16π2AiAj≥4π2Ai2(tM-tm)2+(2πAitm+2πAitM-PiPj)2. (6)
     When Ki is the unit disk,we have P2-4πA≥π2(re-ri)2+(πre+πri-P)2. (7) This the sharping Bonnesen isoperimetric inequality.
     PartⅡ:LetΔ2(K)=P2-4πA,be the isoperimetric deficit of K.Its upper limit is an interesting problem.For upper limit of the isoperimetric deficit,We have the following theorems:
     Let K be a domain of perimeter P and area A in the plane.Assume that the boundary (?)K of the convex set K has a continuous radius of curvatureρ.Letρm andρM be the smallest and greatest values,respectively,ofρ.We have P2-4πA≤π2(ρM-ρm)2, (8) with the equality hold if and only ifρm=ρM,that is,K is a disk.
     This inequality is due to Bottema in 1933. In 1955,Pleijel obtained an im-provement as follow. P2-4πA≤π(4-π)(ρM-ρm)2, (9) with the equality hold if and only ifρm=ρM,that is,K is a disk.
     We obtain the following symmetric mixed isoperimetric upper limits.
     Theorem 3.Let Kk(k=i,j)be the convex domain of the area of Ak,and the perimeter Pk,respectively.Let tm=max{t:9(tKi)(?)Kj,g∈G},tM=min{t: g(tKi)(?)Kj,g∈G},then Pi2Pj2-16π2AiAj≤4π2PiPj(tMRi2-tmri2). (10) The equality holds if and only if Ki and Kj are discs.
引文
[1]T. Bonnesen, Les problemes des isoperimetres at des isepiphanes, Gauthie-Villars, Paris, (1929).
    [2]T. Bonnesen, Uber eine Verschdrfung der isoperimetrischen Ungleichheit des Kreises in der Ebene und auf der Kugeloberflache nebst einer Anwendung auf eine Minkowskische Ungleichheit fur konvexe Korper, Math. Annalen,84(1921), 216-227.
    [3]T. Bonnesen, Uber das isoperimetrische Defizit ebener Figuren, Math. Annalen, 91(1924),252-268.
    [4]T. Bonnesen, Quelques problems isoperimetriques, Acta Mathematica, 48(1926),123-178.
    [5]Yu. D. Burago & V. A. Zalgaller, Geometric Inequalities, Springer-Verlag Berlin Heidelberg (1998).
    [6]T. F. Banchoff & W. F. Pohl, Ageneralization of the isoperimetric inequality, J. Diff. Geo.,6(1971),175-213.
    [7]M. Green & S. Osher, Steiner polynomials, Wulff flows, and some new isoperi-metric inequalities for convex plane curves, Asian J. Math,3(1999),659-676.
    [8]J. Bokowski & E. Heil, Integral representation of quermassintegrals and Bonnesen-style inequalities, Arch. Math.,47(1986),79-89.
    [9]C. Croke, A sharp four-dimensional isoperimetric inequality, Comment. Math. Helv.,59(1984), no.2,187-192.
    [10]G. Zhang, A suffcient condition for one convex body containing another, Chi-nese Ann.of Math,(SeriesB) 4(1988),447-451.
    [11]V. Diskant, A generalization of Bonnesen's inequalities, Soviet Math. Dokl., 14(1973),1728-1731 (transl. of Dokl. Akad. Nauk SSSR,213(1973)).
    [12]B. D. Kotlyar, On a Geometricheski inequality, (UDC 513:519.21) Ukrainski Geometricheski Sbornik, No.30(1987); 49-52.
    [13]O. Bottema, Eine obere Grenze fur das isoperimetrische Defizit ebener Kurven, Nederl. Akad. Wetensch. Proc., A66(1933),442-446.
    [14]A. Pleijel, On konvexa kurvor, Nordisk Math. Tidskr.3(1955),57-64.
    [15]A. Stone, On the isoperimetric inequality on a minimal surface, Calc. Var. Partial Diff. Equations,17(2003), no.4,369-391.
    [16]D. Tang, Discrete Wirtinger and isoperimetric type inequalities, Bull. Austral. Math. Soc.,43(1991),467-474.
    [17]E. Teufel, A generalization of the isoperimetric inequality in the hyperbolic plane, Arch. Math.57(1991), no.5,508-513.
    [18]E. Teufel, Isoperimetric inequalities for closed curves in spaces of constant cur-vature, Results Math.,22(1992),622-630.
    [19]E. Grinberg, S. Li, G. Zhang & J. Zhou, Integral geometry and Convexity, World Scientific, Singapore (2006).
    [20]E. Grinberg, D. Isoperimetric inequalities and identities for k-dimensional cross-sections of convex bodies, Math. Ann.,291(1991),75-86.
    [21]E. Grinberg & G. Zhang, Convolutions, transforms, and convex bodies, Proc. London Math. Soc.,78(1999),7-115.
    [22]K. Enomoto, A generalization of the isoperimetric inequality on S2 and flat tori in S3, Proc. Amer. Math. Soc.120(1994), no.2,553-558.
    [23]R. Osserman, The isoperimetric inequality, Bull. Amer. Math. Soc.,84 (1978), 1182-1238.
    [24]R. Osserman, Bonnesen-style isoperimetric inequality, Amer. Math. Monthly, 86 (1979),1-29.
    [25]D. Ren, Topics in Integral Geometry, World Scientific, Sigapore(1994).
    [26]L. A. Santalo, Integral Geometry and Geometric Probability, Reading, MA: Addison-Wesley, (1976).
    [27]L. Gysin, The isoperimetric inequality for nonsimple closed curves, Proc. Amer. Math. Soc.,118(1993), no.1,197-203.
    [28]H. Hadwiger, Die isoperimetrische Ungleichung in Raum, Elemente Math., 3(1948),25-38.
    [29]R. Howard, The sharp sobolev inequality and the Banchoff-Pohl inequality on surfaces, Proc. Amer. Math. Soc.,126(1998),2779-2787.
    [30]C. C. Hsiung, Isoperimetric inequalities for two-dimensinal Riemannian mani-folds with boundary, Ann. of Math.,73(1961),213-220.
    [31]W. Y. Hsiung, An elementary proof of the isoperimetric problem, Chin. Ann. Math.,23A:1(2002),7-12.
    [32]H. Ku, M. Ku & X. Zhang, Isoperimetric inequalities on surfaces of constant curvature, Canadian J. of Math.,49(1997),1162-1187.
    [33]J. Zhou, Plan Bonnesen-style inequalities, Acta. Math. Sinica, Chinese Series, 50(2007), no.6,1397-1402.
    [34]M. Li & J. Zhou, An upper limit for the isoperimetric defict of convex set in a plane of constant curvature, Science China Mathematics,53(2010), no.8, 1941-1946.
    [35]J. Zhou & F. Chen, The Bonnesen-type inequalities in a plane of constant curvature, Journal of Korean Math, sco.,44(2007), no.6,1363-1372.
    [36]周家足,积分几何与等周不等式,贵州师范大学学报(自然科学版),20(2002),no.2.
    [37]J. Zhou, A kinematic formula and analogous of Hadwiger's theorem in space, Contemporary Mathematics,140(1992),159-167.
    [38]J. Zhou, S. Yue & W. Ai, On the isohomothetic inequalities, preprint.
    [39]D. Klain, Bonnesen-type inequalities for surfaces of constant curvature, Adv. in Appl. Math.,39(2007), no.2,143-154.
    [40]R. Schneide, Convex bodies:The Brunn-Minkowski Theory, Cambridge Uni-versity Press, (1993).
    [41]任德麟,积分几何学引论,上海科学技术出版社,(1988).
    [42]M. Berger, Geometry I, Translated from the french by M. Cole and S. Levy, Universitext. Springer-Verlag, Berlin, (1987).
    [43]J. Zhou, Y. Xia & C. Zeng, Some new Bonnesen-style inequalities, to appear in J. Korean Math. Soc.
    [44]J. Zhou, Y. Du & F. Cheng, Some Bonnesen-style inequalities for higher di-mensions, to appear in Acta. Math. Sinica.
    [45]J. Zhou, M. Li & L. Ma, The isoperimetric deficit upper bound for convex set in space, preprint.
    [46]J. Zhou, Curvature inequalities for curves, Inter. J. Comp. Math. Sci. Appl., 1(2007), no.2-4,145-147.
    [47]J. Zhou, C. Zhou & F. Ma, Isoperimetric deficit upper limit of a planar convex set, rendiconti del Circolo mathmetico di Palermo, Serie Ⅱ, Soppl.81(2009), 363-367.
    [48]J. Zhou, L. Ma, The discrete isoperimetric deficit upper bound, preprint.
    [49]J. Zhou, Kinematic formulas for mean curvature powers of hypersurfaces and Hadwiger's theorem in R2n, Trans. of the AMS.345(1)(1994),243-262.
    [50]J. Zhou, Sufficient conditions for one domain to contain another in a space of constant curvature, Proc. of the AMS.126(1998),2797-2803.
    [51]J. Zhou, The sufficient condition for a convex body to enclose another in R4, Proc. of the AMS.121(3)(1994),907-913.
    [52]J. Zhou, When can one domain enclose another in R3, journal of the Australian Mathematical society(SeriesA),59(1995),266-272.

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址:北京市海淀区学院路29号 邮编:100083

电话:办公室:(+86 10)66554848;文献借阅、咨询服务、科技查新:66554700