Optimal control problem in a domain with branched structure and homogenization

We consider a linear parabolic problem in a thick junction domain which is the union of a fixed domain and a collection of periodic branched trees of height of order 1 and small width connected on a part of the boundary. We consider a three‐branched structure, but the analysis can be extended to n‐branched structures. We use unfolding operator to study the asymptotic behavior of the solution of the problem. In the limit problem, we get a multi‐sheeted function in which each sheet is the limit of restriction of the solution to various branches of the domain. Homogenization of an optimal control problem posed on the above setting is also investigated. One of the novelty of the paper is the characterization of the optimal control via the appropriately defined unfolding operators. Finally, we obtain the limit of the optimal control problem. Copyright © 2016 John Wiley & Sons, Ltd.     

A Liouville theorem for weighted p−Laplace operator on smooth metric measure spaces

We prove that on a smooth metric measure space with m ?Bakry–Émery curvature bounded from below by ?(m ? 1)K for some constant K ≥0 (i.e., Ric_{f ,m} ≥?(m ? 1)K ), the following degenerate elliptic equation (0.1) has no nonconstant positive solution when p > 1 and constant λ _{f ,p} satisfies Our approach is based on the local Sobolev inequality and the Moser's iterative technique and is different from Cheng‐Yau's method, which was used by Wang‐Zhu in 2012 to derive a same Liouville theorem when 1 < p ≤2, Ric_{f ,m} ≥?(m ? 1)K and the sectional curvature is bounded from below. Copyright © 2016 John Wiley & Sons, Ltd.     

一类双曲型方程的Hamilton算子半群方法

将一类双曲型方程混合问题转换成一阶抽象Cauchy问题,证明所得Hamilton算子矩阵H在相应空间中生成压缩半群,并借助Fourier变换,采用一致连续半群做逼近的方法,得到H所生成的压缩半群,进而给出了问题的古典解.     

可修复人机系统的指数稳定性

研究了两相同部件温储备可修的人机系统,运用C_0半群的相关理论,对系统主算子的谱界进行估值.估算系统的算子产生的半群的增长界,然后运用了共尾的概念及相关的理论,得到了系统算子A+B的谱界与系统算子产生的半群的增长界相同.进而运用相关代数知识证得,0为系统算子的简单本征值,并分析了系统算子的谱分布,得到系统的指数稳定性.并研究了系统算子预解式的特性.对任意给定的δ0,γ=a+bi,-μ+δa_1≤a≤a_2,得到lim|b|→∞‖R(γ;A+B)‖=0.进而得到在~sRγ≥a_1的右半平面内相应于系统算子A+B的谱点由有限个本征值组成.     

广义算子半群的PERRON问题

借助于广义算子半群和广义积分算子半群的关系,讨论广义算子半群的Perron型指数稳定性,研究了广义积分算子半群的渐近行为.     

抽象空间中非线性算子方程变号解的存在性研究

利用Banach空间中的锥理论和不动点定理讨论了非线性算子方程变号解的存在性,给出了E_u_0空间下非线性算子方程变号解至少有一个变号解、一个正解和一个负解的条件,并讨论了仅通过一个上解条件得出非线性算子方程变号解的存在性定理.     

具有N策略和负顾客的反馈抢占型M/G/1重试可修排队模型解的渐近行为

研究具有N策略和负顾客的反馈抢占型M/G/1重试可修排队模型的时间依赖解的渐近行为.当初步服务的失效率函数η(x),主要服务的失效率函数μ(x)和修理时间的失效率函数ψ(x)满足0η≤η(x)≤η∞,0μ≤μ(x)≤μ∞,0ψ≤ψ(x)≤ψ∞并且η(x)是Lipschitz连续函数时,证明模型的时间依赖解指数稳定.     

内部算子生成的直觉I-Fuzzy拓扑空间

在直觉I-fuzzy拓扑空间中定义了内部度,并研究了它的一些性质,接着给出了直觉I-fuzzy拓扑空间内部算子的概念,最后得到了从拓扑的直觉I-Fuzzy内部算子I出发,得到一个直觉I-fuzzy拓扑r,再利用r定义的内部算子恰好回到了I等结论.     

Stokes第一问题的分数阶导数解

 给出了Stokes第一问题基于Heaviside的符号算子法的分数阶导数解， 并把该解与传统的基于相似法得到的误差函数解进行了沟通. 这是在流体 力学中充分体现数学的明晰、简洁和统一的一个很好的例子.     

Oblique Frictional Impact of a Bar: Analysis and Comparison of Different Impact Laws

In this paper a basic, easily to multi-contact problems extendable, non-smooth approach is applied to analyze a bar striking an inelastic half-space. Coulomb contact is assumed and modeled by using set-valued Newtonian impact laws in normal as well as in tangential direction. The resulting linear complementarity problem contains all possible impact states and provides an instantaneous collision operator that respects all inequality constraints. This operator depends on the orientation of the bar and determines uniquely the post-impact velocities as functions of the pre-impact state. Different types of solutions may occur, including “stick’’ and “slip’’. In this context, stick and slip have to be understood as the two cases characterized by the tangential impulsive force as an element of either the set-valued or of the single-valued domain of the friction law. Depending on the choice of parameters, sign reversal of the tangential contact velocity is possible. For certain inertia properties and initial conditions, the collision operator yields an impact, even for initially vanishing normal contact velocity. This phenomenon is well known as the Painlevé paradox. The results obtained by this fully non-smooth rigid body approach are compared with those of other impact models, such as a lumped mass model with compliance elements, and a collision operator used for particle interactions in flows.AMR: 160A, 160B, 160Y, 292B, 292Y