非线性森林发展系统的渐近性

本讨论他一类非线性森林发展系统,利用临界增生率要概念和算子的实特征值,讨论了系统解的渐近性质。     

森林发展系统的一个非线性半离散模型

本文建立了森林发展系统的一类非线性林龄面积结构的半离散模型 ,并讨论了半离散系统解的存在唯一性 ,给出了线性半离散系统稳定的一些充分条件     

具有Boltzmann阻尼的Petrovsky系统的稳定性

研究具有Boltzmann阻尼的Petrovsky系统的稳定性.首先在合适的假设下,应用线性算子半群理论证明了系统的适定性,进而运用Hilbert空间线性算子半群指数稳定的频域结果证明了具有Boltzmann阻尼Petrovsky系统的指数稳定性.     

两不同部件并联可修系统解的稳定性

用强连续算子半群理论证明了两不同部件并联可修系统解的存在唯一性和非负性，并通过研究相应算子的谱特征得到了该系统的稳定性。     

一类柔性梁系统的谱分析和半群生成

讨论了一类双臂三关节柔性梁系统的分析问题．首先,建立了一个与柔性梁的偏微分方程组及初值边值条件相应的希尔伯特空间中的一阶发展系统．接着讨论系统算子的谱性质和半群性质．最后借助系统算子的谱性质和半群性质提出并证明了柔性梁系统的指数稳定性．     

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

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

广义分布参数系统的状态反馈稳定性问题(1)

关于系统的状态反馈稳定性问题的研究一直是现代控制理论研究的重要问题之一.广义分布参数系统是比分布参数系统更广的一类系统,在研究复合材料热导体中的温度分布等问题时会出现这样的系统.本文讨论了H ilbert空间中一阶广义分布参数系统的状态反馈稳定性问题.应用泛函分析及线性算子半群理论的方法给出了使闭环广义分布参数系统渐进稳定的充要条件,充分条件及状态反馈的构造性表达式.这对研究广义分布参数系统的状态反馈稳定性问题具有重要的理论价值.     

非线性非定常系统的稳定性

本文研究一般情形的非线性非定常系统的稳定性,给出了一个广泛而又实用指数稳定性定理。即使是线性时变系统的情形,我们的结果也具一般性,且有应用方便,简捷等优点。     

非线性半离散森林系统的稳定性

讨论森林发展系统的一类非线性林龄面积结构的半离散模型 ,给出了非线性半离散系统稳定的一些充分条件 .     

关于余弦算子函数的一个结果

设Ａ是Ｂａｎａｃｈ空间Ｘ中的闭线性算子,对凡　是单射。文中定义了Ｂａｎａｃｈ空间　范数　强于Ｘ的范数。我们证明了算子Ａ在空间Ｚ中的部分ＡＺ生成Ｚ中的一个余弦算子函数,空间Ｚ具有某种意义上的极大性。     

Well-posedness of the water-waves equations

We prove that the water-waves equations (i.e., the inviscid Euler equations with free surface) are well-posed locally in time in Sobolev spaces for a fluid layer of finite depth, either in dimension or under a stability condition on the linearized equations. This condition appears naturally as the Lévy condition one has to impose on these nonstricly hyperbolic equations to insure well-posedness; it coincides with the generalized Taylor criterion exhibited in earlier works. Similarly to what happens in infinite depth, we show that this condition always holds for flat bottoms. For uneven bottoms, we prove that it is satisfied provided that a smallness condition on the second fundamental form of the bottom surface evaluated on the initial velocity field is satisfied.

We work here with a formulation of the water-waves equations in terms of the velocity potential at the free surface and of the elevation of the free surface, and in Eulerian variables. This formulation involves a Dirichlet-Neumann operator which we study in detail: sharp tame estimates, symbol, commutators and shape derivatives. This allows us to give a tame estimate on the linearized water-waves equations and to conclude with a Nash-Moser iterative scheme.

     

由软件和硬件构成的串联可修计算机系统的适定性及渐近稳定性

讨论由软件和硬件构成的串联可修计算机系统的时间依赖解,运用C_0-半群理论及算子理论,证明系统的适定性和时间依赖非负解的存在唯一性.通过研究系统相应算子的谱特征,得到系统时间依赖解的渐近稳定性.     

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

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

一类具有可修故障和不可修故障的两部件并联可修系统的适定性问题

主要用强连续半群理论,研究了一类具有可修故障和不可修故障的两部件并联系统非负时间依赖解的存在惟一性问题.     

Exponential Decay of Solution Energy for Equations Associated with Some Operator Models of Mechanics

We consider the equation in a Hilbert space , where A is a uniformly positive self-adjoint operator and B is a dissipative operator. The main result is the proof of a theorem stating the exponential energy decay for solutions of this equation (or the exponential stability of the semigroup associated with the equation) under the additional assumption that B is sectorial and is subordinate to A in the sense of quadratic forms.     

一类具有优化调整状态的供应链系统解的适定性和正则性

主要研究了一类具有优化调整状态的供应链系统解的适定性及正则性问题,利用不动点定理证明了解的局部存在唯一性,用一致先验估计及等高延拓得到了解的整体存在唯一性,最后讨论了依赖模型初值的解的连续性,并且给出解的C~1连续性.     

一类Boussinesq方程组带Navier-slip边界条件解的存在性

主要运用Galerkin逼近方法,研究了Boussinesq方程组在Navier-slip边界条件下的适定性问题,建立了在H1范数意义下强解的局部存在唯一性.     

On the Rolewicz theorem for evolution operators

We give a short proof of a generalization of the Rolewicz theorem based on the uniform boundedness principle.