板模型具广义边界条件的迁移算子的谱

研究具广义边界条件、非均匀介质、各向异性和连续能量的板模型迁移算子A的谱．证明了K=A-B的相对紧性，在L^1空间研究算子A的谱，以及占优本征值和严格占优本征值．     

一类串联可修复系统指数稳定性

运用泛函分析的方法和线性算子半群理论,证明了严格占优本征值的存在性,并通过分析系统本质谱界经过扰动后的变化,进一步表明在一定的条件下,系统的动态解的指数形式收敛于系统的稳态解.     

一类具有储备部件的可修复人机系统的指数稳定性

研究了具有储备部件的可修复人机系统.运用Banach空间上的线性算子半群理论,证明了严格占优本征值的存在性,并通过分析系统本质谱界经过扰动后的变化,进一步表明在一定的条件下,系统动态解以指数形式收敛于系统的稳态解.     

两不同部件并联可修复系统指数稳定性分析

研究两不同部件并联可修复系统,运用泛函分析的方法,特别是Banach空间上的线性算子半群理论,证明了严格占优本征值的存在性,并通过分析系统本质谱界经过扰动后的变化,进一步表明在一定的条件下,系统的动态解以指数形式收敛于系统的稳态解.     

一类冷贮备可修系统的指数稳定性

研究了修理工可延误休假的冷贮备可修系统.通过选取空间及定义算子,将模型方程转化成Banach空间中抽象的Cauchy问题,运用预解正算子和C_0半群理论证明了系统动态解的存在唯一性,并通过分析系统算子的谱分布,得出系统算子的严格占优本征值及近似本征值,进而得到系统的指数稳定性.     

具有周期修复的机器人系统指数稳定性分析

研究具有周期修复函数的机器人与其连带的安全装置构成的系统的可靠性.运用泛函分析的方法,特别是Banach空间上的线性算子半群C_0理论,证明了系统的适定性,并通过分析系统本质谱和经过扰动后半群的本质谱半径的变化,给出解的有限展开式。并进一步证明,0是系统的严格占优本征值,系统的非零本征值至多有两个,从而表明系统解以指数形式收敛.     

具一组可修复设备的系统解的适定性和稳定性

研究具一组可修复设备的系统解的适定性和稳定性.使用泛函分析方法,特别是Banach空间上的线性算子理论和C_0半群理论,证明了系统解的适定性以及正解的存在性,证明了系统解的渐近稳定性,指数稳定性以及严格占优本征值的存在性,证实了实际问题中相关假设的合理性.     

中子迁移的多群理论

本文用泛函分析方法,特别是Banach空间L^p (1≤p<∞)的算子理论,给中子迁移多群逼近理论以系统的数学论述,文中证明了非稳定态多群迁移方程的解逼近原(能量未离散化的)非稳定态迁移方程的解,原迁移算子的本征值,占优本征值以及相应的殆遍正本征函数,分别可由相应的多群迁移算子的本征值,占优本征值及相应的本征函数逼近,给出了逼近的数量级。     

含任意空穴的非均匀介质中具连续能量的迁移算子的谱

非稳定态中子迁移方程所确定的B。lzmonn迁移算子的占优本征值问题,是迁移理论中至今仍未解决的基本问题之一.本文证明了在合空穴的任意非均匀的有界凸的介质中,在散射和裂变是各向同性的情况下,具连续能量的中子迁移问题所确定的迁移算子的占优本征值的存在.     

边界条件与占优本征值

本文首先给出了一类算子存在占优本征值的充分条件．接着以板几何中子迁移算子为例，证明了只要在零边界条件下这一充分条件满足，则在常见的非零边界条件下这一条件也满足，因此这一类算子的占优本征值的存在性问题便归结为在零边界条件下充分条件的验证．     

Stability analysis of a complex standby system with constant waiting and different repairman criteria incorporating environmental failure

In this paper we investigate the solution of a complex standby system with constant waiting and different repairman criteria incorporating environmental failure. By using the method of functional analysis, especially, the _C0$C_0$ semigroup theory of bounded linear operators on Banach space, we prove the well-posedness and the existence of positive solution of the system. Under some appropriate hypothesis, we prove that the dynamic solution of the system converges its steady state in a stronger sense.     

Right preconditioned MINRES for singular systems†

We consider solving large sparse symmetric singular linear systems. We first introduce an algorithm for right preconditioned minimum residual (MINRES) and prove that its iterates converge to the preconditioner weighted least squares solution without breakdown for an arbitrary right‐hand‐side vector and an arbitrary initial vector even if the linear system is singular and inconsistent. For the special case when the system is consistent, we prove that the iterates converge to a min‐norm solution with respect to the preconditioner if the initial vector is in the range space of the right preconditioned coefficient matrix. Furthermore, we propose a right preconditioned MINRES using symmetric successive over‐relaxation (SSOR) with Eisenstat's trick. Some numerical experiments on semidefinite systems in electromagnetic analysis and so forth indicate that the method is efficient and robust. Finally, we show that the residual norm can be further reduced by restarting the iterations.     

The System of Vector Quasi-Equilibrium Problems with Applications

In this paper, we consider the system of vector quasi-equilibrium problems with or without involving -condensing maps and prove the existence of its solution. Consequently, we get existence results for a solution to the system of vector quasi-variational-like inequalities. We also prove the equivalence between the system of vector quasi-variational-like inequalities and the Debreu type equilibrium problem for vector-valued functions. As an application, we derive some existence results for a solution to the Debreu type equilibrium problem for vector-valued functions.     

Fixed point approach for weakly asymptotic stability of fractional differential inclusions involving impulsive effects

We prove the global solvability and weakly asymptotic stability for a semilinear fractional differential inclusion subject to impulsive effects by analyzing behavior of its solutions on the half-line. Our analysis is based on a fixed point principle for condensing multi-valued maps, which is employed for solution operator acting on the space of piecewise continuous functions. The obtained results will be applied to a lattice fractional differential system.     

可修复人机储备系统解的渐近稳定性及可靠性分析

讨论了可修复人机储备系统解的渐近稳定性及可靠性分析.证明了系统算子在Banach空间中生成正压缩C0半群,系统的非负稳定解恰是系统算子0本征值对应的本征向量,系统算子的谱点均位于复平面的左半平面且在虚轴上除0外无谱.此外,证明了系统解在特例情况下的可靠性,即瞬态可靠度大于等于其牢固可靠度.     

Blow-up result and energy decay rates for binary mixtures of solids with nonlinear damping and source terms

In this paper we study the long-time behavior of binary mixture problem of solids, focusing on the interplay between nonlinear damping and source terms. By employing nonlinear semigroups and the theory of monotone operators, we obtain several results on the existence of local and global weak solutions, and uniqueness of weak solutions. Moreover, we prove that every weak solution to our system blows up in finite time, provided the initial energy is negative and the sources are more dominant than the damping in the system. Additional results are obtained via careful analysis involving the Nehari Manifold. Specifically, we prove the existence of a unique global weak solution with initial data coming from the “good” part of the potential well. For such a global solution, we prove that the total energy of the system decays exponentially or algebraically, depending on the behavior of the dissipation in the system near the origin.     

Conditionally Periodic Solutions of an Inhomogeneous Linear System Of Differential Equations with Conditionally Periodic Coefficients

We study the existence of a conditionally periodic solution of a linear system with a Stepanov conditionally periodic inhomogeneity. We prove that if this system has a bounded solution, then almost every system in its H-class has a bounded Besicovitch conditionally periodic solution.     

机器人与其连带的安全装置构成的系统稳定性分析

本文用强连续算子半群理论证明了机器人与其连带的安全装置构成的系统存在唯一的非负动态依赖解 ,并表明在一定条件下 ,系统存在稳态正解 ,且系统的动态解在通常意义下 (空间范数意义下 )渐近收敛于稳态解     

Stochastic equations for two-type continuous-state branching processes with immigration

A two-dimensional stochastic integral equation system with jumps is studied. We first prove its unique weak solution is a two-type continuous-state branching process with immigration. Then the comparison property of the solution is established. These results imply the existence and uniqueness of the strong solution of the stochastic equation system.     

Porous elastic system with nonlinear damping and sources terms

We study the long-time behavior of porous-elastic system, focusing on the interplay between nonlinear damping and source terms. The sources may represent restoring forces, but may also be focusing thus potentially amplifying the total energy which is the primary scenario of interest. By employing nonlinear semigroups and the theory of monotone operators, we obtain several results on the existence of local and global weak solutions, and uniqueness of weak solutions. Moreover, we prove that such unique solutions depend continuously on the initial data. Under some restrictions on the parameters, we also prove that every weak solution to our system blows up in finite time, provided the initial energy is negative and the sources are more dominant than the damping in the system. Additional results are obtained via careful analysis involving the Nehari Manifold. Specifically, we prove the existence of a unique global weak solution with initial data coming from the “good” part of the potential well. For such a global solution, we prove that the total energy of the system decays exponentially or algebraically, depending on the behavior of the dissipation in the system near the origin. We also prove the existence of a global attractor.