Algorithms for computing the global infimum and minimum of a polynomial function

By catching the so-called strictly critical points,this paper presents an effective algorithm for computing the global infimum of a polynomial function.For a multivariate real polynomial f ,the algorithm in this paper is able to decide whether or not the global infimum of f is finite.In the case of f having a finite infimum,the global infimum of f can be accurately coded in the Interval Representation.Another usage of our algorithm to decide whether or not the infimum of f is attained when the global infimum of f is finite.In the design of our algorithm,Wu’s well-known method plays an important role.     

广义严格对角占优矩阵判定的新迭代准则

本文给出了广义严格对角占优矩阵判定的几个新迭代准则,改进了近期的一些结果,并给出相应的数值算例来说明结果的有效性.     

Orlicz-Sobolev空间的弱局部一致凸性

本文研究了Orlicz-Sobolev空间的弱局部一致凸性.通过运用Orlicz空间和Sobolev空间的技巧,得到了赋Luxemburg范数的Orlicz-Sobolev空间具有弱局部一致凸性的充要条件和赋Orlicz范数的Orlicz-Sobolev空间具有弱局部一致凸性的充分条件.     

交换环上的严格上三角矩阵代数上的Lie导子

设R是任意含单位元的交换环,N(R)为R上(n+1)×(n+1)严格上三角矩阵构成的代数．本文证明了当n≥3且2是R的单位时,N(R)上任意Lie导子D可以唯一的表示为D=D_d+D_b+D_c+D_x,其中D_d,D_b,D_c,D_x分别是N(R)上的对角,极端,中心和内Lie导子,在n=2的情况,我们也证明了N(R)上任意Lie导子D可以表示为对角,极端,内Lie导子的和。     

LIFE-SPAN OF CLASSICAL SOLUTIONS TO QUASILINEAR HYPERBOLIC SYSTEMS WITH SLOW DECAY INITIAL DATA LIFE-SPAN OF CLASSICAL SOLUTIONS TO QUASILINEAR HYPERBOLIC SYSTEMS WITH SLOW DECAY INITIAL DATA

1. IntroductionConsider the following quasilinear systeman on~ A(u)~ = 0, (1.1)ot oxwhere u ~ (ul,'' t u.)" is the unknown vector function of (t, x) and A(u) ~ (ail(u)) is ann x n matrix with suitably smooth elements ail(u) (i, j = 1,... ) n).Suppose that the system (1.1) is strictly hyperbolic in a neighbourhood of u = 0, namely,for any given u in this domain, A(u) has n distinct real eigenvalues Al(u), AZ(u),'' j A.(u)such thatAl(u) < AZ(u) <'' < A.(u). (1.2)For i = 1,'',nl let h(u…     

弧拟凸函数的性质

本文对文［１］中引入的弧拟凸函数的性质做了进一步研究，找出了弧拟凸性与严格弧拟凸性及下半连续性之间的联系。同时，还对拟线性函数的性质做了进一步研究。     

Criterion of Bari basis property for 2 × 2 Dirac-type operators with strictly regular boundary conditions

The paper is concerned with the Bari basis property of a boundary value problem associated in $L^2([0,1];{\mathbb{C}}^2)$ with the following 2 × 2 Dirac-type equation for $y=col(y_1,y_2)$: with a potential matrix $Q\in L^2([0,1];{\mathbb{C}}^{2\times 2})$ and subject to the strictly regular boundary conditions $Uy:=\{U_1,U_2\}y=0$. If $b_2=-b_1=1$, this equation is equivalent to one-dimensional Dirac equation. We show that the normalized system of root vectors ${\{f_n\}}_{n\in \mathbb{Z}}$ of the operator $L_U(Q)$ is a Bari basis in $L^2([0,1];{\mathbb{C}}^2)$ if and only if the unperturbed operator $L_U(0)$ is self-adjoint. We also give explicit conditions for this in terms of coefficients in the boundary conditions. The Bari basis criterion is a consequence of our more general result: Let $Q\in L^p([0,1];{\mathbb{C}}^{2\times 2})$, $p\in [1,2]$, boundary conditions be strictly regular, and let ${\{g_n\}}_{n\in \mathbb{Z}}$ be the sequence biorthogonal to the normalized system of root vectors ${\{f_n\}}_{n\in \mathbb{Z}}$ of the operator $L_U(Q)$. Then, $$\{\parallel f_n-g_n{{\parallel }_2\}}_{n\in \mathbb{Z}}\in {({\ell }^p(\mathbb{Z}))}^{\ast }\iff L_U(0)=L_U{(0)}^{\ast }.$$ These abstract results are applied to noncanonical initial-boundary value problem for a damped string equation.