Global boundedness and stability of solutions for prey-taxis model with handling and searching predators

In this paper, we show the global boundedness and stability of solutions for prey-taxis model with handling and searching predators in a two-dimensional bounded domain with smooth boundary. First, entropy-like equations and boundedness criteria are derived, and it is proved that the system has a unique uniformly bounded global classical solution. In addition, we show that prey-only steady state is globally asymptotically stable if the predator is weak. The convergence rate of solutions to the steady states is derived in the paper.     

Long-time correlations for a hard-sphere gas at equilibrium

It has been known since Lanford that the dynamics of a hard-sphere gas is described in the low density limit by the Boltzmann equation, at least for short times. The classical strategy of proof fails for longer times, even close to equilibrium. In this paper, we introduce a weak convergence method coupled with a sampling argument to prove that the covariance of the fluctuation field around equilibrium is governed by the linearized Boltzmann equation globally in time (including in diffusive regimes). This method is much more robust and simpler than the one devised in Bodineau et al which was specific to the 2D case.     

Nonnegative solutions of an elliptic equation and Harnack ends of Riemannian manifolds

In this paper, we give a barrier argument at infinity for solutions of an elliptic equation on a complete Riemannian manifold. By using the barrier argument, we can construct a nonnegative (bounded, respectively) solution of the elliptic equation, which takes the given data at infinity of each end. In particular, we prove that if a complete Riemannian manifold has finitely many ends, each of which is Harnack and nonparabolic, then the set of bounded solutions of the elliptic equation is finite dimensional, in some sense. We also prove that if a complete Riemannian manifold is roughly isometric to a complete Riemannian manifold satisfying the volume doubling condition, the Poincaré inequality and the finite covering condition on each end, then there exists a nonnegative solution of an elliptic equation taking the given data at infinity of each end of the manifold. These results generalize those of Yau, of Donnelly, of Grigor'yan, of Li and Tam, of Holopainen, and of the present authors, but with the barrier argument at infinity that enables one to overcome the obstacle due to the nonlinearity of solutions. Received: 11 November 1999     

Pseudo Almost Periodic Solutions of Nonlinear Hyperbolic Equations with Piecewise Constant Argument

In this paper, we investigate the pseudo almost periodicity of the unique bounded solution for a nonlinear hyperbolic equation with piecewise constant argument. The equation under consideration is a mathematical model for the dynamics of gas absorption,     

带逐段常变量的非线性双曲微分方程的伪概周期解

In this paper,we investigate the pseudo almost periodicity of the unique bounded solution for a nonlinear hyperbolic equation with piecewise constant argument.The equation under consideration is a mathematical model for the dynamics of gas absorption.     

Scattering for radial energy-subcritical wave equations in dimensions 4 and 5

In this paper, we consider the focusing and defocusing energy-subcritical, nonlinear wave equation in ?^1+d with radial initial data for d = 4,5. We prove that if a solution remains bounded in the critical space on its interval of existence, then the solution exists globally and scatters at ±∞. The proof follows the concentration compactness/rigidity method initiated by Kenig and Merle, and the main obstacle is to show the nonexistence of nonzero solutions with a certain compactness property. A main novelty of this work is the use of a simple virial argument to rule out the existence of nonzero solutions with this compactness property rather than channels of energy arguments that have been proven to be most useful in odd dimensions.     

双非线性抛物组解的有界性

本文考虑对角型双非线性抛物型方程组，在一般结构条件下，证明广义解局部有界和整体有界，并对一特殊情形，证明了如果解在抛物边界为零，那么它只能是零解．     

全局拓扑线性化理论的推广

微分方程dx/dt=Ax f(x)(其中A的特征根实部异于零)拓扑线性化的经典结论是由Hartman与 Grobman给出的,但是他们的结论都是局部拓扑线性化,即要求同胚函数限制在原点的小邻域内．如 果要延伸到全局上的话,必须f(x)有界．本文研究了系统(1．3),证明当此系统满足适当的条件时可全 局线性化．     

Protter-Morawetz multidimensional problems

About 50 years ago M.H. Protter introduced boundary value problems that are multidimensional analogues of the classical plane Morawetz problems for equations of mixed hyperbolic-elliptic type that model transonic fluid flows. Up to now there are no general existence results for the Protter-Morawetz multidimensional problems, and an understanding of the situation is not at hand. At the same time, Protter also formulated boundary value problems in the hyperbolic part of the domain??the nonhomogeneous wave equation is studied in a (3+1)-D domain bounded by two characteristic cones and a non-characteristic ball. These problems could be considered as multidimensional variants of the Darboux problem in ?². In the frame of classical solvability the hyperbolic Protter problem is not Fredholm, because it has an infinite-dimensional cokernel. On the other hand, it is known that the unique generalized solution of a Protter problem may have a strong power-type singularity even for some very smooth right-hand side functions. This singularity is isolated at the vertex O of the boundary light cone and does not propagate along the characteristic cone. In the general case of smooth right-hand side function, some necessary and sufficient conditions for the existence of a bounded solution are given and a priori estimates for the solution are found. The semi-Fredholm solvability of the problem is proved.     

On the study of globally exponentially attractive set of a general chaotic system

In this paper, we prove that there exists globally exponential attractive and positive invariant set for a general chaotic system, which does not belong to the known Lorenz system, or the Chen system, or the Lorenz family. We show that all the solution orbits of the chaotic system are ultimately bounded with exponential convergent rates and the convergent rates are explicitly estimated. The method given in this paper can be applied to study other chaotic systems.     

On the blow-up of solutions of equations of hydrodynamic type under special boundary conditions

We use the nonlinear capacity method to prove the blow-up of solutions of initial-boundary value problems of hydrodynamic type in bounded domains. We present sufficient boundary conditions ensuring the blow-up of the solution of an equation that is globally solvable under the classical boundary conditions. We estimate the blow-up time of solutions under given initial conditions. Note that it is the first result concerning blow-up for one of the problems considered.     

Zero asymptotic Lipschitz distance and finite Gromov-Hausdorff distance

We give an example which shows that the Burago's bounded distance theorem does not hold in a non-intrinsic metric case. The argument is based on the classical answer to the densest circle packing problem in R2.     

Homogenization and corrector for the wave equation with discontinuous coefficients in time

In this paper we analyze the homogenization of the wave equation with bounded variation coefficients in time, generalizing the classical result, which assumes Lipschitz-continuity. We start showing a general existence and uniqueness result for a general sort of hyperbolic equations. Then, we obtain our homogenization result comparing the solution of a sequence of wave equations to the solution of a sequence of elliptic ones. We conclude the paper making an analysis of the corrector. Firstly, we obtain a corrector result assuming that the derivative of the coefficients in the time variable is equicontinuous. This result was known for non-time dependent coefficients. After, we show, with a counterexample, that the regularity hypothesis for the corrector theorem is optimal in the sense that it does not hold if the time derivative of the coefficients is just bounded.     

The global controllability of some mechanical systems with absolutely elastic impacts

Sufficient conditions are presented for the stabilizability and global controllability of certain natural Lagrangian systems with a non-negative potential energy when there are ideal unilateral constraints. In the general case, the number of controls is less than the number of degrees of freedom and the controls are bounded by preassigned quantities. Examples of globally controlled systems with two degrees of freedom are considered in which the action of the unilateral constraints is modelled within the framework of classical collision theory.     

Topological stability of linear semi-infinite inequality systems

In this note, we analyze the relationship between the lower semicontinuity of the feasible set mapping for linear semi-infinite inequality systems and the so-called topological stability, which is held when the solution sets of all the systems obtained by sufficiently small perturbations of the data are homeomorphic to each other. This topological stability and its relation with the Mangasarian-Fromovitz constraints qualification have been studied deeply by Jongen et al. in Ref. 1. The main difference of our approach is that we are not assuming any kind of structure for the index set and, consequently, any particular property for the functional dependence between the inequalities and the associated indices. In addition, we deal with systems whose solution sets are not necessarily bounded.This work has been supported partially by the DGICYT of Spain, Grant PB93-0943, by Generalitat Valenciana, Grant GV-2219/94, and by IVEI, Grant 003/026.The authors would like to thank J. E. Martínez Legaz for his valuable comments.     

The tamed Milstein method for commutative stochastic differential equations with non-globally Lipschitz continuous coefficients

For stochastic differential equations (SDEs) with a superlinearly growing and globally one-sided Lipschitz continuous drift coefficient, the classical explicit Euler scheme fails to converge strongly to the exact solution. Recently, an explicit strongly convergent numerical scheme, called the tamed Euler method, has been proposed in [8] for such SDEs. Motivated by their work, we here introduce a tamed version of the Milstein scheme for SDEs with commutative noise. The proposed method is also explicit and easily implementable, but achieves higher strong convergence order than the tamed Euler method does. In recovering the strong convergence order one of the new method, new difficulties arise and kind of a bootstrap argument is developed to overcome them. Finally, an illustrative example confirms the computational efficiency of the tamed Milstein method compared to the tamed Euler method.     

Internal Controllability for Parabolic Systems Involving Analytic Non-local Terms

This paper deals with the problem of internal controllability of a system of heat equations posed on a bounded domain with Dirichlet boundary conditions and perturbed with analytic non-local coupling terms. Each component of the system may be controlled in a different subdomain. Assuming that the unperturbed system is controllable—a property that has been recently characterized in terms of a Kalman-like rank condition—the authors give a necessary and sufficient condition for the controllability of the coupled system under the form of a unique continuation property for the corresponding elliptic eigenvalue system.The proof relies on a compactness-uniqueness argument, which is quite unusual in the context of parabolic systems, previously developed for scalar parabolic equations. The general result is illustrated by two simple examples.     

Strong convergence properties of a modified nonmonotone smoothing algorithm for the SCCP

The smoothing algorithms have been successfully applied to solve the symmetric cone complementarity problem (denoted by SCCP), which in general have the global and local superlinear/quadratic convergence if the solution set of the SCCP is nonempty and bounded. Huang, Hu and Han [Science in China Series A: Mathematics, 52: 833–848, 2009] presented a nonmonotone smoothing algorithm for solving the SCCP, whose global convergence is established by just requiring that the solution set of the SCCP is nonempty. In this paper, we propose a new nonmonotone smoothing algorithm for solving the SCCP by modifying the version of Huang-Hu-Han’s algorithm. We prove that the modified nonmonotone smoothing algorithm not only is globally convergent but also has local superlinear/quadratical convergence if the solution set of the SCCP is nonempty. This convergence result is stronger than those obtained by most smoothing-type algorithms. Finally, some numerical results are reported.     

Solutions to Integro-differential Problems Arising on Pricing Options in a Lévy Market

We study an integro-differential parabolic problem arising in Financial Mathematics. Under suitable conditions, we prove the existence of solutions for a multi-asset case in a general domain using the method of upper and lower solutions and a diagonal argument. We also model the jump in the related integro differential equation and give a solution procedure for that model assuming that the brownian motions are not correlated. For a bounded domain, this model for the jump gives an elegant expression of the solution in terms of hyper-spherical harmonics.     

Classical solvability of the relativistic Vlasov–Maxwell system with bounded spatial density

In (Arch. Rat. Mech. Anal. 1986; 92:59–90), Glassey and Strauss showed that if the growth in the momentum of the particles is controlled, the relativistic Vlasov–Maxwell system has classical solution globally in time. Later they proved that such control is achieved if the kinetic energy density of the particles remains bounded for all time (Math. Meth. Appl. Sci. 1987; 9:46–52). Here, we show that the latter assumption can be weakened to the boundedness of the spatial density. Copyright © 2009 John Wiley & Sons, Ltd.