具有趋化性的非线性系统的解的爆破性态分析

讨论了一个非线性的抛物-椭圆系统,而该系统来源于生物数学中的一个趋化性模型.主要在Sobolev空间的框架下讨论了系统解的爆破性质,得出结论在二维空间中该系统存在一个门槛值,而该值决定了解全局存在或者是发生爆破.最后利用利亚普诺夫函数、下解爆破等方法给出了定理的证明并得出结论.     

一类退化抛物方程解的存在唯一性及爆破速率

本文运用正则化方法证明了一类退化抛物方程解的存在唯一性,讨论了解的全局存在性与爆破,并在一定的初值条件下得到了解的爆破速率.     

退化的抛物方程组解的全局存在及爆破

本文讨论了退化抛物方程组初边值问题解的性质 ,通过构造上、下解 ,证明了古典解的存在唯一性 ,利用特征函数以及最大值原理 ,得出了解全局存在以及爆破的若干条件 .     

有非局部源退化抛物方程组解的爆破

本文讨论一类具有非局部源退化抛物方程组．通过利用上下解方法得到解的全局存在和有限时刻爆破，给出爆破集是整个区域，而且得到了解的爆破率．     

半无界空间上退缩抛物型方程解的存在性与爆破

讨论半无界空间上退缩抛物型方程解的存在性与爆破性质.证明了在小初值时解是全局存在的,在大初值时局部解在有限时刻发生爆破.     

二维空间中广义Davey-Stewartson系统整体解存在的最佳条件

根据基态的特征 ,首先在二维空间中导出了广义Davey Stewartson系统解爆破和整体存在的最佳条件 ;其次得到了整体解存在的一个最佳充分条件 ;最后证明了当初值为多小时 ,该系统的整体解存在 .     

非线性边界条件下具有变系数的热量方程解的存在性及爆破现象

考虑了定义在Ω上的有变系数的热量方程,其中Ω∝RN(N≥2)是一个有界的凸区域,并且方程具有非线性边界条件.利用微分不等式技术,首先推导了爆破一定发生的条件,并确定了爆破时间的上界.同时,通过对非线性项做一定的限制,得到了解的全局存在性.当爆破发生时,确定了爆破时间的下界.     

Robin边界条件下更一般化的非线性抛物问题全局解的存在性和爆破

本文主要研究了Robin边界条件下更一般化的非线性抛物问题解的爆破现象以及全局解的存在性.通过对问题中的已知函数进行适当的假设,建立适当的辅助函数,应用微分不等式技术,当问题的解发生爆破时得到了解的爆破时间的下界.这种类型的下界在物理学、生物学、天文学等领域有着广泛的应用.同时,也推导了问题的解全局存在的条件.     

双曲空间上的Landau-Lifshitz-Gilbert方程解的全局存在性与自相似爆破解

应用Hasimoto变换,给出了双曲空间H~2上的Landau-Lifshitz-Gilbert(LLG)方程的一等价系统.基于该等价模型,证明了在小初值条件下LLG方程解的全局存在性.到目前为止,还未见到有文章在双曲空间下给出带阻尼项方程的精确解.基于导出的等价方程,首次构造了一显式小初值的整体解.另外,也给出了等价系统的自相似有限时间爆破解.在作者发表的论文[25]中,构造了在H~2上没有吉尔伯特阻尼项方程的有限时间爆破解.带阻尼项的LLG方程的有限能量解能否在H~2上演化出有限时间爆破或全局光滑这一问题尚不清楚.该文给出的自相似有限时间爆破解是在整个空间区域上的有限能量解.该例子给出了这个问题的一个回答.     

带非局部边界条件的半线性抛物系统的一致爆破模式

文章主要讨论一类带有非局部源与边界条件的半线性抛物系统,通过使用上解与下解技术,证明了系统整体解的存在与有限时间爆破的结果, 而且,还得到了解的一致爆破模式.     

Rolling of a ball without spinning on a plane: the absence of an invariant measure in a system with a complete set of integrals

In the paper we consider a system of a ball that rolls without slipping on a plane. The ball is assumed to be inhomogeneous and its center of mass does not necessarily coincide with its geometric center. We have proved that the governing equations can be recast into a system of six ODEs that admits four integrals of motion. Thus, the phase space of the system is foliated by invariant 2-tori; moreover, this foliation is equivalent to the Liouville foliation encountered in the case of Euler of the rigid body dynamics. However, the system cannot be solved in terms of quadratures because there is no invariant measure which we proved by finding limit cycles.     

Homogenization of the Maxwell Equations: Case II. Nonlinear Conductivity

The Maxwell equations with uniformly monotone nonlinear electric conductivity in a heterogeneous medium, which may be non-periodic, are homogenized by two-scale convergence. We introduce a new set of function spaces appropriate for the nonlinear Maxwell system. New compactness results, of two-scale type, are proved for these function spaces. We prove existence of a unique solution for the heterogeneous system as well as for the homogenized system. We also prove that the solutions of the heterogeneous system converge weakly to the solution of the homogenized system. Furthermore, we prove corrector results, important for numerical implementations.     

Dynamic feedback control and exponential stabilization of a compound system

We studied the exponential stabilization problem of a compounded system composed of a flow equation and an Euler–Bernoulli beam, which is equivalent to a cantilever Euler–Bernoulli beam with a delay controller. We designed a dynamic feedback controller that stabilizes exponentially the system provided that the eigenvalues of the free system are not the zeros of controller. In this paper we described the design detail of the dynamic feedback controller and proved its stabilization property.     

CONSTRAINT-PRESERVING ENERGY-STABLE SCHEME FOR THE 2D SIMPLIFIED ERICKSEN-LESLIE SYSTEM

Here we consider the numerical approximations of the 2D simplified Ericksen-Leslie system.We first rewrite the system and get a new system.For the new system,we propose an easy-to-implement time discretization scheme which preserves the sphere constraint at each node,enjoys a discrete energy law,and leads to linear and decoupled elliptic equations to be solved at each time step.A discrete maximum principle of the schemc in the finite element form is also proved.Some numerical simulations are performed to validate the scheme and simulate the dynamic motion of liquid crystals.     

Convergence and monotonicity of the hormone levels in a hormone-based content delivery system

The practical significance of bio-inspired, self-organising methods is rapidly increasing due to their robustness, adaptability and capability of handling complex tasks in a dynamically changing environment. Our aim is to examine an artificial hormone system that was introduced in order to deliver multimedia content in dynamic networks. The artificial hormone algorithm proved to be an efficient approach to solve the problem during the experimental evaluations. In this paper we focus on the theoretical foundation of its goodness. We show that the hormone levels converge to a limit at each node in the typical cases. We form a series of theorems on convergence with different conditions which are built on each other by starting with a specific base case and then we consider more general, practically relevant cases. The theorems are proved by exploiting the analogy between the Markov chains and the artificial hormone system. We examine spatial and temporal monotonicity of the hormone levels as well and give sufficient conditions on monotonic increase.     

Mixed problem for a system of fractional partial differential equations

We study a mixed boundary value problem in the general setting for a system of Riemann–Liouville fractional partial differential equations with constant matrix coefficients. By using a system of Volterra integral equations of the second kind, we reduce the problem to a special case for which the solution was earlier constructed in terms of the Green matrix. Existence and uniqueness theorems are proved for the problem in question.     

一类非线性微分方程解的有界性

本文从探讨与函数密切相关的定性函数入手，研究了微分方程组解的有界性质，并由此给出某些高阶及２阶非线性微分方程解的有界性的一些结论，它们包合并推广了［３～８］的有关结果     

模糊逻辑系统中的演绎定理和HS规则

Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG-Rand LG, respectively. In LG-R we proved that neither the deduction theorem nor the hypothetical syllogism (HS) rule held but a deduction theorem and an HS rule are obtained in a weak sense. We also proved that both the deduction theorem and the hypothetical syllogism(HS) rule hold in LG.     

An Alternative Model for Queueing Systems with Single Arrivals,Batch Services and Customer Coalescence

In this paper we consider a queueing system with single arrivals, batch services and customer coalescence and we use it as a building block for constructing queueing networks that incorporate such characteristics. Chao et al. (1996) considered a similar model and they proved that it possesses a geometric product form stationary distribution, under the assumption that if the number of units present at a service completion epoch is less than the required number of units, then all the units coalesce into an incomplete (defective) batch which leaves the system. We drop this assumption and we study a model without incomplete batches. We prove that the stationary distribution of such a queue has a nearly geometric form. Using quasi-reversibility arguments we construct a network model with such queues which provides relevant bounds and approximations for the behaviour of assembly processes. Several issues about the validity of these bounds and approximations are also discussed.