简介:考虑了单位球面S^(n+1)(1)中具有常平均曲率H的超曲面M的拼脐问题.设A=∑i,j,kh(ijk)^2(λi+nH)^2,B=∑i,j,kh(ijk)^2(λi+nH)·(λj+nH),S=∑i(λi+nH)^2,其中h(ij)=λiδ(ij).利用拉格朗日方法,可以得到3(A-2B)关于S和|▽h|^2的估计,其中|▽h|^2=∑i,j,kh(ijk)^2.然后,利用该估计证明了:若M的第二基本形式的平方范数满足一定条件,则M一定等距于Clifford超曲面.因此,极小超曲面的拼脐结果被推广到具有常平均曲率的超曲面情形.
简介:给出了Willmore猜想的一个推广,说明平面打结闭曲线上扁形椭圆环面的全平均曲率蓦∫M2H2dA≥4π2p2,其中p为椭圆的短轴与长轴之比。
简介:狭义函数相对论基本原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻辑中任一可能世界集W仅对应一组二元真值函数,相应的可能世界间的关系R就是这组函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数(式)按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。