两类方程亚纯解(n,1)级的上界估计

本文给出Riccati方程及另外一类具有代表性微分方程的亚纯解（n,1)级的上界估计，在一定条件下确立了文[2]中的猜测的正确性。     

Generalized quasilinearization method for reaction-diffusion equations under nonlinear and nonlocal flux conditions

In this paper we consider an initial boundary value problem for a reaction-diffusion equation under nonlinear and nonlocal Robin type boundary condition. Assuming the existence of an ordered pair of upper and lower solutions we establish a generalized quasilinearization method for the problem under consideration whose characteristic feature consists in the construction of monotone sequences converging to the unique solution within the interval of upper and lower solutions, and whose convergence rate is quadratic. Thus this method provides an efficient iteration technique that produces not only improved approximations due to the monotonicity of its iterates, but yields also a measure of the convergence rate.     

在一个新步长规则下梯度投影算法的全局收敛性

考虑约束最优化问题：minx∈Ωf(x)其中:f:R^n→R是连续可微函数，Ω是一闭凸集。本文研究了解决此问题的梯度投影方法，在步长的选取时采用了一种新的策略，在较弱的条件下，证明了梯度投影响方法的全局收敛性。     

具有扩散的Lotka-Volterra系统的持续性

利用最大值原理结合上、下解的方法，讨论了一类具有扩散的竞争－捕食的Lotka-Volterra系统静态解的存在性与持续生存。     

Multidimensional transonic shocks and free boundary problems for nonlinear equations of mixed type

We establish the existence and stability of multidimensional transonic shocks for the Euler equations for steady potential compressible fluids. The Euler equations, consisting of the conservation law of mass and the Bernoulli law for the velocity, can be written as a second-order, nonlinear equation of mixed elliptic-hyperbolic type for the velocity potential. The transonic shock problem can be formulated into the following free boundary problem: The free boundary is the location of the transonic shock which divides the two regions of smooth flow, and the equation is hyperbolic in the upstream region where the smooth perturbed flow is supersonic. We develop a nonlinear approach to deal with such a free boundary problem in order to solve the transonic shock problem. Our results indicate that there exists a unique solution of the free boundary problem such that the equation is always elliptic in the downstream region and the free boundary is smooth, provided that the hyperbolic phase is close to a uniform flow. We prove that the free boundary is stable under the steady perturbation of the hyperbolic phase. We also establish the existence and stability of multidimensional transonic shocks near spherical or circular transonic shocks.

     

ROBUST GLOBAL EXPONENTIAL STABILITY OF UNCERTAIN IMPULSIVE SYSTEMS

By using the quasi-Lyapunov function, some sufficient conditions of global exponential stability for impulsive systems are established, which is the basis for the following discussion. Then, by employing Riccati inequality and Hamilton-Jacobi inequality approach, some sufficient conditions of robust exponential stability for uncertain linear/nonlinear impulsive systems are derived, respectively. Finally, some examples are given to illustrate the applications of the theory.     

The generation of three-dimensional internal waves and attendant boundary layers in a viscous continuously stratified fluid. Construction of an analytical solution

An analytical solution of a linearized problem of the emission of periodic internal waves by part of a plane which oscillates with a small amplitude in an arbitrary direction in a viscous exponentially stratified fluid is constructed. Solutions of the dispersion equation are given for all positions of the emitting surface (arbitrary, vertical, horizontal, and critical when one of the beam propagation directions is collinear with the emitting surface). The possibility of transition to the case of a uniform fluid, which is important for applications, is analyzed.     

Mathematical modelling of the oxidation of nickel titanium alloys

A one-dimensional bulk reaction model for the oxidation of nickeltitanium is formulated, with preferential oxidation of titaniumbeing included. The modelling is directed at the better understandingof the dominant mechanisms involved in the oxidation processand their significance for the biocompatibility of the alloy.Two different regimes for the relative diffusivities of oxygenand the metals are investigated. By assuming fast bulk reactions,different asymptotic structures emerge in different parameterregimes and the resulting models take the form of moving boundaryproblems. Different profiles of nickel concentration are obtained:in particular a nickel-rich layer (observed in practice) ispresent below the oxide/metal interface for the case when oxygenand the metals diffuse at comparable rates.     

试探方程法及其在非线性发展方程中的应用

提出了一种比较系统的求解非线性发展方程精确解的新方法, 即试探方程法. 以一个带5阶 导数项的非线性发展方程为例, 利用试探方程法化成初等积分形式，再利用三阶多项式的完 全判别系统求解，由此求得的精确解包括有理函数型解, 孤波解, 三角函数型周期解, 多项 式型Jacobi椭圆函数周期解和分式型Jacobi椭圆函数周期解 关键词： 试探方程法 非线性发展方程 孤波解 Jacobi椭圆函数 周期解     

Besov-Morrey spaces: Function space theory and applications to non-linear PDE

This paper is devoted to the analysis of function spaces modeled on Besov spaces and their applications to non-linear partial differential equations, with emphasis on the incompressible, isotropic Navier-Stokes system and semi-linear heat equations. Specifically, we consider the class, introduced by Hideo Kozono and Masao Yamazaki, of Besov spaces based on Morrey spaces, which we call Besov-Morrey or BM spaces. We obtain equivalent representations in terms of the Weierstrass semigroup and wavelets, and various embeddings in classical spaces. We then establish pseudo-differential and para-differential estimates. Our results cover non-regular and exotic symbols. Although the heat semigroup is not strongly continuous on Morrey spaces, we show that its action defines an equivalent norm. In particular, homogeneous BM spaces belong to a larger class constructed by Grzegorz Karch to analyze scaling in parabolic equations. We compare Karch's results with those of Kozono and Yamazaki and generalize them by obtaining short-time existence and uniqueness of solutions for arbitrary data with subcritical regularity. We exploit pseudo-differential calculus to extend the analysis to compact, smooth, boundaryless, Riemannian manifolds. BM spaces are defined by means of partitions of unity and coordinate patches, and intrinsically in terms of functions of the Laplace operator.