退化C_0-半群族的指数稳定性

首先,应用泛函分析和算子理论在Hilbert空间中得到了关于退化C_0-半群指数稳定的充分必要条件.然后,讨论了退化C_0-半群族的指数稳定性问题,应用退化C_0-半群理论给出了充分必要条件.     

Exponential stability for a nonlinear one-dimensional heat-conductive viscous real gas

In this paper, we prove the existence and the exponential stability in H₊ⁱ (i=1,2), an incomplete metric subspace of Hⁱ×Hⁱ×Hⁱ (i=1,2), of a nonlinear C₀-semigroup S(t) for a nonlinear one-dimensional heat-conductive viscous real gas in bounded domain Ω=(0,1). The results in this paper improve those previously related results.     

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.     

关于C0半群的渐近展开

本文得到具有实际背景的一类Ｃ₀半群的渐近展开，它仅要求予解式满足一定条件．     

Well-posedness of linear partial differential equations with unbounded delay operators

In this paper we show the well-posedness of the following constant delay equation:

     

可变输入率M/M/n模型的动态解及其渐近稳定性

本文运用有界线性算子半群理论讨论了可变输入率M/M/n排队模型,证明模型主算子生成C0半群,并运用一定的技巧证明动态解渐近稳定到其定态解.     

Differentiability of a class of semi-linear hyperbolic systems with respect to a parameter

If a parameter is contained in a hyperbolic semi-linear equation, then the solution to the equation will depend on the parameter. It is proved by using the theory of semi-groups of bounded operators that the solution continuously depends on the parameter and is Fréchet continuously differentiable, under certain mild assumptions.     

Asymptotic behavior of Timoshenko beam with dissipative boundary feedback

This paper is concerned with the stabilization problem of Timoshenko beam in the presence of linear dissipative boundary feedback controls. Using C₀-semigroups theory we establish the existence and the uniqueness of solution of the proposed closed loop system. In order to consider the asymptotic behavior of the closed loop system, we first discuss the existence of nonzero solution of a closely related boundary value problem. Then we derive various necessary and sufficient conditions for the system to be asymptotically stable. Finally, we prove the equivalence between the exponential stability and the asymptotic stability for the closed loop system.     

Exponential Stability of Semigroups Related to Operator Models in Mechanics

In this paper, we consider equations of the form , where is a function with values in the Hilbert space , the operator B is symmetric, and the operator A is uniformly positive and self-adjoint in . The linear operator generating the C ₀-semigroup in the energy space is associated with this equation. We prove that this semigroup is exponentially stable if the operator B is uniformly positive and the operator A dominates B in the sense of quadratic forms.     

两相同部件并联部分可修复系统的可靠性分析

用C_0半群理论,研究了一类两相同部件并联部分可修复系统解的存在惟一性及指数稳定性,并从本征向量的角度讨论了此系统的一些主要可靠性指标,给出了瞬态可用度的数值模拟.     

Differentiability of C0-semigroups with respect to parameters and its application

In this paper we discuss some continuous dependency between a C₀-semigroup and its parameter. We first get the following results: if the infinitesimal generator of a C₀-semigroup is continuous in the generalized sense, strongly (or weakly) Fréchet continuously differentiable, or strongly (or weakly) Gâteaux continuously differentiable with respect to the parameter, respectively, so is the corresponding C₀-semigroup. We then obtain corresponding expressions for the differential operators. Finally, the obtained results are applied to a mixed initial-boundary value problem of a semi-linear parabolic equation, and it is proved that the solution of the equation is Fréchet continuously differentiable with respect to the leading variable coefficient of the equation.     

Some Conditions for a C0-Semigroup to Be Asymptotically Finite-Dimensional

We study the class of bounded C ₀-semigroups T=(T _t ) _t0 on a Banach space X satisfying the asymptotic finite dimensionality condition: codim X ₀(T)<, where X ₀(T):={x X:lim_t T _t x=0}. We prove a theorem which provides some necessary and sufficient conditions for asymptotic finite dimensionality.     

A note on approximation of semigroups of contractions on Hilbert spaces

We show that every contractive C ₀-semigroup on a separable, infinite-dimensional Hilbert space X can be approximated by unitary C ₀-groups in the weak operator topology uniformly on compact subsets of ℝ₊. As a consequence we get a new characterization of a bounded H ^∞-calculus for the negatives of generators of bounded holomorphic semigroups. Applications of our results to the study of a topological structure of the set of (almost) weakly stable contractive C ₀-semigroups on X are also discussed. The author was partially supported by the Marie Curie “Transfer of Knowledge” programme, project “TODEQ”, and by a MNiSzW grant Nr. N201384834.     

Reliability of a consecutive (r, s)-out-of-(m, n):F lattice system with conditions on the number of failed components in the system

A consecutive(r, s)-out-of-(m, n):F lattice system which is defined as a two-dimensional version of a consecutive k-out-of-n:F system is used as a reliability evaluation model for a sensor system, an X-ray diagnostic system, a pattern search system, etc. This system consists of m × n components arranged like an (m, n) matrix and fails iff the system has an (r, s) submatrix that contains all failed components. In this paper we deal a combined model of a k-out-of-mn:F and a consecutive (r, s)-out-of-(m, n):F lattice system. Namely, the system has one more condition of system down, that is the total number of failed components, in addition to that of a consecutive (r, s)-out-of-(m, n):F lattice system. We present a method to obtain reliability of the system. The proposed method obtains the reliability by using a combinatorial equation that does not depend on the system size. Some numerical examples are presented to show the relationship between component reliability and system reliability.     

SARS数学模型解的存在唯一性与稳定性

讨论了一种带年龄结构的SARS疾病模型，它是一组非线性偏微分方程组，应用有界线性算子的C0一半群理论及非线性扰动理论，证明了该方程组非负解的存在唯一性及稳定性．     

The influence of delivery times on repairable k-out-of-N systems with spares

The k-out-of-N structure is a popular type of redundancy in fault-tolerant systems with wide applications in computer and communication systems, and power transmission and distribution systems, among others, during the past several decades. In this paper, our interest is in such a reliability system with identical, repairable components having exponential life times, in which at least k out of N components are needed for the system to perform its functions. There is a single repairman who attends to failed components on a first-come-first-served basis. The repair times are assumed to be of phase type. The system has K spares which can be tapped to extend the lifetime of the system using a probabilistic rule. We assume that the delivery time of a spare is exponentially distributed and there could be multiple requests for spares at any given time. Our main goal is to study the influence of delivery times on the performance measures of the k-out-of-N reliability system. To that end, the system is analyzed using a finite quasi-birth-and-death process and some interesting results are obtained.     

The well-posedness and stability of a repairable standby human–machine system

In this paper, the solution of a standby human–machine system is investigated. By using the method of functional analysis, especially, the linear operator theory and the C₀ semigroup theory on Banach space, we prove the well-posedness and the existence of a positive solution of the system. And under some appropriate hypotheses, we study the asymptotic stability of solution of the system.     

On the Hyers-Ulam-Rassias stability of functional equations in n-variables

In this paper we investigate a generalization of the Hyers-Ulam-Rassias stability for a functional equation of the form f(φ(X))=?(X)f(X)+ψ(X) and the stability in the sense of Ger for the functional equation of the form f(φ(X))=?(X)f(X), where X lie in n-variables. As a consequence, we obtain a stability result in the sense of Hyers-Ulam-Rassias, Gǎvruta, and Ger for some well-known equations such as the gamma, beta, and G-function type's equations.     

Exponential asymptotic property of a parallel repairable system with warm standby under common-cause failure

We discuss exponential asymptotic property of the solution of a parallel repairable system with warm standby under common-cause failure. This system can be described by a group of partial differential equations with integral boundary. First we show that the positive contraction C₀-semigroup T(t) [Weiwei Hu, Asymptotic stability analysis of a parallel repairable system with warm standby under common-cause failure, Acta Anal. Funct. Appl. 8 (1) (2006) 5-20] which is generated by the operator corresponding to these equations is a quasi-compact operator. Then by using [Weiwei Hu, Asymptotic stability analysis of a parallel repairable system with warm standby under common-cause failure, Acta Anal. Funct. Appl. 8 (1) (2006) 5-20] that 0 is an eigenvalue of the operator with algebraic index one and the C₀-semigroup T(t) is contraction, we conclude that the spectral bound of the operator is zero. By using the above results the exponential asymptotical stability of the time-dependent solution of the system follows easily.