E凸规划问题解集的刻画

考虑一类重要的广义凸规划问题E凸规划. 在E凸集中定义了关于E凸函数的E-Gateaux微分概念, 证明了E凸函数 的E-Gateaux微分的几个特征性质,并利用这些特征性质,提出了E凸规划问题解集的等价刻画. 在赋范向量空间中,对于一个目标函数在最优解处E-Gateaux可微的E凸规划问题而言,它的解集是由位于超平面内的可行解组成的,这些可行解的法向量就是目标函数在给定最优解处的E-Gateaux微分.     

两点拉伸型不动点定理及其应用

在研究各种非线性方程解的存在性问题时,上下解方法是一个强有力的工具.设 E是 Banach 空间,P 是 E 中的锥,E 中的半序由 P 导出.设 A:E→E 是一个算子.如果x_0∈E 满足     

一类广义Liénard系统解的有界性

研究了一类广义 Liénard系统dxdt=p(y) -F(x) ,　 dydt=-g(x) (E)解的有界性 .首先获得了系统 (E)存在无界解的两个新的充分条件 ,然后获得系统 (E)所有解正向有界的若干充分条件和充要条件 ,所获结果改进和扩展了文 [1 -2 ]中的相应结果 .     

抽象半线性发展方程正周期解的存在唯一性

讨论有序Banach空间E中半线性发展方程 u′(t)+Au(t)=f(t,u(t)),t∈R, ω-周期解的存在性,其中A为E中正C0-半群的生成元,f:R×E→E连续,关于t 以ω为周期．我们对相应的线性发展方程建立了周期解的存在唯一性,并对周期解算子的谱半径作了精确估计．借助于这个估计,我们用单调迭代方法获得了半线性发展方程正ω-周期解的存在唯一性．     

矩阵方程AXB+CY D=E的三对角中心对称极小范数最小二乘解

本文研究了矩阵方程AXB+CY D=E的三对角中心对称极小范数最小二乘解问题.利用矩阵的Kronecker积和Moore-Penrose广义逆方法,得到了矩阵方程AXB+CY D=E的三对角中心对称极小范数最小二乘解的表达式.     

多目标规划的障碍函数问题

本文讨论了多目标规划的障碍函数问题。研究了障碍函数问题有效解与原问题有效解之间的关系,也研究了这两问题有效解集E(X_0,μ)和E(X)之间的关系。其中一些结论是非线性规划结论的推广,另一些结论是新的。     

矩阵方程AXB+CYD=E的M对称解的迭代算法

在共轭梯度思想的启发下,结合线性投影算子,给出迭代算法求解了线性矩阵方程AXB+CYD=E的M对称解[X,Y]及其最佳逼近.当矩阵方程AXB+CYD=E有M对称解时,应用迭代算法,在有限的误差范围内,对任意初始M对称矩阵对[X_,Y_1],经过有限步迭代可得到矩阵方程的M对称解;选取合适的初始迭代矩阵,还可得到极小范数M对称解.而且,对任意给定的矩阵对[X,Y],矩阵方程AXB+CYD=E的最佳逼近可以通过迭代求解新的矩阵方程AXB+CYD=E的极小范数M对称解得到.文中的数值例子证实了该算法的有效性.     

解线性方程组双扰动的条件数最优性

对于一个线性方程组Ax=b,当A有小扰动矩阵E,b有小扰动Δb,则满足(A E)(?)=b Δb。本文给出了精确解x与扰动解(?)的相对误差界中的条件数K(A)=‖A‖‖A~ ‖在某种意义下为最优。     

Liénard型系统解的定性行为

该文讨论非线性系统 x＝1/a(h(y)-F(x)), y＝-a(x)g(x) (E)解的一些定性行为,获得了系统(E)为振动,全局渐近稳定,全局中心的充要条件和周期解的存在的充分条件.     

矩阵不等式约束下矩阵方程AX=B的双对称解

本文讨论矩阵不等式CXD≥E 约束下矩阵方程AX=B的双对称解,即给定矩阵A,B,C,D和 E, 求双对称矩阵X, 使得AX=B 和 CXD≥E, 其中CXD≥E表示矩阵CXD-E非负.本文将问题转化为矩阵不等式最小非负偏差问题,利用极分解理论给出了求其解的迭代方法,并结合相关矩阵理论说明算法的收敛性.最后给出数值算例验证算法的有效性.     

几类增算子的不动点定理及其应用

讨论了C[I,E]和L_p[I,E]中几类增算子,得到了若干新的不动点定理,并将其应用于证明非线性微分方程唯一解的存在性.     

抽象半线性发展方程初值问题解的存在性

本文研究Banach空间E中具有非紧半群的半线性发展方程初值问题u′(t)+Au(t)=f(t,u(t)),t≥0;u(0)=x_0解的存在性,其中-A为E中等度连续C_0-半群的生成元,f:[0,∞)×E→E连续。在f满足较弱的非紧性测度条件下,获得了该问题饱和mild解的存在性。特别,当E为有序弱序列完备Banach空间时,我们获得了一个不需要非紧性测度条件的便于应用的存在性结果。     

矩阵方程AXC＋BYD＝E的解及其最佳逼近

本文利用矩阵的广义奇异值分解给出了矩阵方程AXC＝BYD＝E有解的充分必要条件及其通解的表达式，同时在矩阵方程的解集合中导出了与给定矩阵的最佳逼近解的表达式。     

二阶拟线性椭圆型方程很弱解的唯一性

本文讨论了一个二阶拟线性椭圆型方程的很弱解u∈Wl1o,cr(Ω)的唯一性,边界条件为很弱边值,即在Ω\E上取零边界值,而E是一个满足capt(E)=0的闭集.文中应用了Hodge分解的方法构造检验函数.     

求解矩阵方程组A1XB1+C1XD1=E1,A2XB2+C2XD2=E2的迭代算法北大核心CSCD

应用共轭梯度方法和线性投影算子,给出迭代算法求解了线性矩阵方程组A1XB1＋C1XD1=E1,A2XB2＋C2XD2=E2在任意线性子空间上的约束解及其最佳逼近.可以证明,当矩阵方程组A1XB1＋C1XD1=E1,A2XB2＋C2XD2=E2相容时,所给迭代算法经过有限步迭代可得到矩阵方程组的约束解,极小范数解和最佳逼近.文中的数值例子证实了该算法的有效性.     

2×2拟线性双曲型守恒律组的粘性消失法(英文)

考虑2×2严格双曲型守恒律组(E),它是在Lax意义下真正非线性的,带有初始条件(Ⅰ)众所周知,在条件(M),(C),(Ⅴ)下,初值问题(E)、(Ⅰ)存在整体光滑解,(参看文[1,2])。然而在文中所采用的方法本质地用来求广义解。本文是用粘性消失法证明文[1]的结果。我们把这个结果看作用粘性消失法求(E)、(Ⅰ)的广义解的第一步。本文也可以看作文[4]的某种推广。在文[4]中,(E)是在Lagrange坐标下均熵气体动力学方程组,但无需条件(Ⅴ)。也是用粘性消失法求得光滑解。     

2×2拟线性双曲型守恒律组的粘性消失法

考虑2×2严格双曲型守恒律组(E),它是在Lax意义下真正非线性的,带有初始条件(Ⅰ)众所周知,在条件(M),(C),(Ⅴ)下,初值问题(E)、(Ⅰ)存在整体光滑解,(参看文[1,2])。然而在文中所采用的方法本质地用来求广义解。本文是用粘性消失法证明文[1]的结果。我们把这个结果看作用粘性消失法求(E)、(Ⅰ)的广义解的第一步。本文也可以看作文[4]的某种推广。在文[4]中,(E)是在Lagrange坐标下均熵气体动力学方程组,但无需条件(Ⅴ)。也是用粘性消失法求得光滑解。     

开口弧段上的奇异积分方程关于积分曲线的稳定性

设E是复平面上的有界单连通区域 ,Γ =ab是E中的一条Lyapunov开口弧段 ,当a(z) ,b(z)∈Hv(E) (0 相似文献   

方程λ＋a＋be^τλ=0全部根的精确分布

考虑方程其中a，b为任意实常数,τ为正常数．本文在复数域上求得了方程（*）全部根的精确分布．在文[1]和[2]中应用Laplace变换法，得到了滞后型方程初值问题的形式解公式下：其中x（t）为初值问题的解，这里H（θ）为Heaviside函数．方程（*）为初值问题（E）中方程的特征方程．应用本文结果于形式解公式（1．1），可求得初值问题（E）的精确解．篇幅所限，此问题另文讨论．     

有序Banach空间非线性二阶周期边值问题解的存在性

在不假定f满足非紧性测度条件及上下解存在的情形下,用算子谱理论与半序方法获得了有序Banach空间E中的非线性二阶周期边值问题■解的存在性结果.