On the solvability for the mixed-type Lyapunov equation

^** Email: xsf{at}math.pku.edu.cn^*** Email: mscheng{at}math.pku.edu.cn In this paper, the linear matrix equation X = AXB^* + BXA^* +Q is considered, which is called the mixed-type Lyapunov equation.Some necessary and sufficient conditions for the existence ofa unique solution are presented. Since a Hermitian positivesemidefinite solution is important from the application pointof view, some sufficient conditions for the existence of a Hermitianpositive semidefinite solution are derived.     

广义系统能控性的两个充要条件

能控性判定问题是现代控制论研究的重要课题,它是系统分析和设计的理论基础.本文给出了广义系统能控性的两个充要条件,该些结果也为判定广义系统的能控性提供了一些实用方法,最后给出了一个例子.     

线性互补问题均衡解的存在形式与识别方法

研究了线性互补问题均衡解的存在形式与判定方法,给出了线性互补问题有解的充要条件,得到了带有几类特殊系数矩阵的线性互补问题的解的性质.在此基础上设计了求解线性互补问题均衡解的直接算法.     

拟单调问题的讨论

This paper gives the necessary condition and one sufficient condition of the quasi-monotonic function, and proves that the linear fractional function is quasi-monotone.     

四阶直接控制系统绝对稳定的充分必要条件

本用用popov频率法，讨论了一类四阶直接控制系统dx/dt=Ax bf(σ），σ=c^Tx零解的绝对稳定性，获得了特征根均为负实数的一类四阶直接控制系统零解绝对稳定的充分必要条件．     

关于Hadamard不等式等号成立的充要条件

应用定积分的一个性质,对Hadamard不等式等号成立的充要条件进行证明.     

Necessary and sufficient conditions for distinguishability of linear control systems

Distinguishability plays a crucial rule in studying observability of hybrid system such as switched system. Recently, for two linear systems, Lou and Si gave a condition not only necessary but also sufficient to the distinguishability of linear systems. However, the condition is not easy enough to verify. This paper will give a new equivalent condition which is relatively easy to verify.     

关于随机变量期望方差的两个注记

文献[1]中给出了有关条件期望与三个随机变量独立的两个充要条件,本文通过几个反例说明其充分性是不成立的.分析了文献[4]中一个定理证明存在的错误,并给出了新的证明.     

抛物型时滞偏微分方程解振动的充要条件

讨论一类多滞量抛物型时滞偏微分方程解的振动性质，获得了其一切解振动的充要条件及一些充分条件；指出了其与普通抛物型偏微分方程解的质的差异．     

关于复正定矩阵的判定

研究了复矩阵的正定性 ,给出了复正定矩阵的一系列判定条件 ,获得了一些新的结果 ,改进并推广了著名的 Hadam ard不等式、Fejer定理及郭忠的结果 ,削弱了华罗庚不等式的条件 .     

关于复矩阵乘积的正定性

两复正定矩阵之和必是复正定矩阵,但其积未必是复正定矩阵.研究了复矩阵之积的正定性,给出了复矩阵之积为复正定矩阵的一系列判定条件,获得了一些新的结果,改进并推广了K y Fan T aussky定理及Fe jer定理.     

Jacobi condition for elliptic forms in Hilbert spaces

In this paper, we give the definitions of conjugate and semi-conjugate points for a quadratic elliptic form in a Hilbert space, and we state the corresponding necessary and sufficient conditions (the Jacobi conditions) for the form to be positive (nonnegative). We apply the abstract results to a one-dimensional problem in the calculus of variations where both endpoints are allowed to vary. The conditions that we obtain complete and generalize previously known results.This research was partly supported by MURST Research Grant, Teoria del Controllo dei Sistemi Dinamici.     

奇异P-Laplace方程存在正解的充分必要条件

讨论了一维奇异P-Laplace方程{φp（u′））′ f(t,u)=0,t∈（0,1)；u(0=u(1)=0存在C^1[0，1]或C[0，1]正解的一个充分必要条件．用到的方法主要有上下解方法和Schaude，不动点定理．     

关于两个多元多项式互素问题

给出了两个二元多项式互素的充要条件 ,然后利用这个充要条件推出二元多项式互素的性质 ,最后给出一般的 n元多项式互素的充要条件 .     

Jacobi Condition for Elliptic Forms in Hilbert Spaces

A definition given in Ref. 1 is corrected together with its consequences.     

二元函数梯度存在的一个充要条件

本文首先拓展了二元函数方向导数的计算公式,并给出了该公式成立的充分必要条件,在此基础上也给出了二元函数梯度存在的一个充要条件.     

On the Construction and Analysis of Finite Volume Element Schemes with Optimal $L^2$ Convergence Rate

We provide a general construction method for a finite volume element (FVE) scheme with the optimal $L^2$ convergence rate. The $k$-($k$-1)-order orthogonal condition (generalized) is proved to be a sufficient and necessary condition for a $k$-order FVE scheme to have the optimal $L^2$ convergence rate in 1D, in which the independent dual parameters constitute a ($k$-1)-dimension surface in the reasonable domain in $k$-dimension.In the analysis, the dual strategies in different primary elements are not necessarily to be the same, and they are allowed to be asymmetric in each primary element, which open up more possibilities of the FVE schemes to be applied to some complex problems, such as the convection-dominated problems. It worth mentioning that, the construction can be extended to the quadrilateral meshes in 2D. The stability and $H^1$ estimate are proved for completeness. All the above results are demonstrated by numerical experiments.     

预定相对曲率的平面曲线

本文给出了以给定函数为相对曲率 (曲线的曲率 )的平面曲线存在的充要条件 .     

广义Liénard系统的同宿轨族的存在性

本文研究广义Lienard系统解的一些定性性质,证明了（E）至多存在一个最大椭圆扇形,并获得系统（E）的轨线趋于原点及存在同宿轨族的充要条件．     

两大部类扩大再生产的充分必要条件与求解

两大部类扩大再生产的充分必要条件也就是马克思扩大再生产公式有解的充分必要条件.直到目前,由于还没有严谨地提出对于扩大再生产公式的一般求解方法,因而也没有严格地确定扩大再生产的充分必要条件.本文基于已经有研究获得的扩大再生产的一个必要条件,建立一种求解扩大再生产问题的一般方法,从而证明这个必要条件能够成为充分条件,由此确定它是充分必要条件.进而使用变量替换法,给出了通过直接求解两个部类的剩余价值积累率而求解扩大再生产问题的另一种方法.最后引用《资本论》中的两个实例,对所给出的两种求解扩大再生产问题的一般方法做了计算验证.