Lie symmetries and conserved quantities of controllable nonholonomic dynamical systems

This paper concentrates on studying the Lie symmetries and conserved quantities of controllable nonholonomic dynamical systems. Based on the infinitesimal transformation, we establish the Lie symmetric determining equations and restrictive equations and give three definitions of Lie symmetries before the structure equations and conserved quantities of the Lie symmetries are obtained. Then we make a study of the inverse problems. Finally, an example is presented for illustrating the results.     

Proton Fraction in Neutron Star Matter and Three-Body Force Effects

The three-body force effects on the equation of state and its iso-spin dependence of asymmetric nuclear matter and on the proton fraction in neutron star matter have been investigated[1] within Brueckner Hartree-Fock (BHF) approach by using a microscopic three-body force. It is shown that, even in the presence of the three-body force, the empirical parabolic law of the energy per nucleon vs. isospin asymmetry β=(N-Z)/A is fulfilled in the whole asymmetry range 0 ≤β ≤1 and also up to high density. The three-body force provides a strong enhancement of symmetry energy at high density in agreement with relativistic approaches. Thecalculated proton fraction in β stable neutron star matter is given in Fig.l, where the thick solid line is the BHF prediction using AV18 TBF, while the dotted one is the BHF result using AVis. The thin solid line is the prediction of the Dirac-Brueckner approach taken from Ref.[2]. The results extracted according to the phenomenological paramete rizations of the symmetry energy suggested in Ref.[3] are also plotted. It is seen from     

一个不等式的证明及引伸推广

贵刊 2 0 0 2年第 2期数学问题第 3题是 :设a、b、c ∈R ,且abc =1,求证 :a3(c b) (a c) b3(b c) (b a) c3(c a) (a b) ≥ 34( 1)一、关于不等式 ( 1)的证明原证明是在假定a≥b≥c的前提下运用排序不等式给出的 ,但由于不等式 ( 1)的左端不是关于a、b、c的对称式 ,故原证明有不妥之处 ,下面我们给出不等式 ( 1)的一个证明 .证明 :记不等式 ( 1)的左端为M ,由平均值不等式得a3(c b) (a c) c b8 a c8≥ 33 a364 =3a4,即 a3(c b) (a c) ≥ 5a -b-2c8.同理 ,b3(b c) (b a) ≥ 5b -c-2a8,c3(c a) (a b) ≥ 5c-2a -b8,以上三个不等式…     

剩余格与FI代数的可嵌入性

给出剩余格可嵌入于全序剩余格的乘积的充要条件。还给出定义在格上的FI代数可嵌入于全序FI代数的乘积的充要条件。     

有界对称域上的Dp乘子

设Ω是Cⁿ中包含原点的有界对称域。本文在Ω上得到了关于D^p空间的两个乘子定理。     

关于限制李超代数的分解

代数$A$ 称为不可分解的,如果 $A$ 不能分解成理想的直和.文中将证明满足$C(L_{\bar{0}})=C(L)=\{0\}$的限制李超代数能够分解成不可分解限制理想的直和,这种分解在不计理想次序的前提下是唯一的.而且还证明了限制李超代数的一些结果.     

高维电报方程的对称周期解

讨论n维电报方程的对称周期解．利用Schauder不动点定理，在非共振条件下给出了一个存在性定理．     

良序套张量积的代数中的强不可约算子

设Ｈ为复的可分无限维Ｈｉｌｂｅｒｔ空间，称有界线性算子Ｔ为强不可约的，如果与Ｔ可交换的幂等算子只有０和Ｉ．王宗尧、蒋春澜、纪有清等人证明了在任何一个套的套代数中都存在大量的强不可约算子，并且找到了它们的酉轨道闭包．本文考虑有限个套的张量积的代数中强不可约算子的存在性问题。证明了：对复平面上任何一个连通完备集σ、总存在一个对角算子Ｎ和它的一个范数可以任意小的紧摄动Ｔ＝Ｘ＋Ｋ，使得Ｔ是一个强不可约算子、Ｔ在有限个良序套的张量积的代数中，并且σ（Ｔ）＝σｌｒｅ（Ｔ）＝σ（Ｎ）＝σｌｒｅ（Ｎ）＝σ进一步，文章还对具有单点谱的算子和良序套与正交补为良序套的张量积的代数进行了讨论，得到了一些结果．     

MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.     

一个征解轮换对称不等式的初等证明

用初等方法证明了不等式:设xi>0,i=1,2,…,n(n≥3),则x2/x1(x3 x4 … xn) x3/x2(x4 x5 … x1) … x1/xn(x2 x3 … xn-1)≥(n-2)(x1 x2 … xn)