Uniform Hölder bounds for a strongly coupled elliptic system with strong competition

This article is concerned with a strongly coupled elliptic system modeling the steady state of populations that compete in some region. We prove that the solutions are uniformly Hölder bounded, as the competition rate tends to infinity. The proof relies on the blow-up technique and the monotonicity formula.     

Transversality of stable and Nehari manifolds for a semilinear heat equation

It is well known that for the subcritical semilinear heat equation, negative initial energy is a sufficient condition for finite time blowup of the solution. We show that this is no longer true when the energy functional is replaced with the Nehari functional, thus answering negatively a question left open by Gazzola and Weth (2005). Our proof proceeds by showing that the local stable manifold of any non-zero steady state solution intersects the Nehari manifold transversally. As a consequence, there exist solutions converging to any given steady state, with initial Nehari energy either negative or positive.     

Convergence to steady state of solutions of the euler equations,I

In this paper we analyze the convergence to steady state of solutions of the compressible and the incompressible isentropic Euler equations in two space dimensions. In the compressible case, the original equations do not converge. We replace the equation of continuity with an elliptic equation for the density, obtaining a new set of equations, which have the same steady solution. In the incompressible case, the equation of continuity is replaced by a Poisson equation for the pressure. In both cases, we linearize the equations around a steady solution and show that the unsteady solution of the linearized equations converges to the steady solution, if the steady solution is sufficiently smooth. In the proof we consider how the energy of the time dependent part developes with time, and find that it decrease exponentially.     

Analysis of a parabolic cross-diffusion population model without self-diffusion

The global existence of non-negative weak solutions to a strongly coupled parabolic system arising in population dynamics is shown. The cross-diffusion terms are allowed to be arbitrarily large, whereas the self-diffusion terms are assumed to disappear. The last assumption complicates the analysis since these terms usually provide H¹ estimates of the solutions. The existence proof is based on a positivity-preserving backward Euler-Galerkin approximation, discrete entropy estimates, and L¹ weak compactness arguments. Furthermore, employing the entropy-entropy production method, we show for special stationary solutions that the transient solution converges exponentially fast to its steady state. As a by-product, we prove that only constant steady states exist if the inter-specific competition parameters disappear no matter how strong the cross-diffusion constants are.     

Global smooth solutions to the multi-dimensional hydrodynamic model for two-carrier plasmas

The existence of global smooth solutions to the multi-dimensional hydrodynamic model for plasmas of electrons and positively charged ions is shown under the assumption that the initial densities are close to a constant. The model consists of the conservation laws for the particle densities and the current densities, coupled to the Poisson equation for the electrostatic potential. Furthermore, it is proved that the particle densities converge exponentially fast to the (constant) steady state. The proof uses a higher-order energy method inspired from extended thermodynamics.     

A new variational approach to the stability of gravitational systems

We consider the three-dimensional gravitational Vlasov–Poisson system which describes the mechanical state of a stellar system subject to its own gravity. A well-known conjecture in astrophysics is that the steady state solutions which are nonincreasing functions of their microscopic energy are nonlinearly stable by the flow. This was proved at the linear level by Antonov in 1961. Since then, standard variational techniques based on concentration compactness methods as introduced by P.-L. Lions in 1984 have led to the nonlinear stability of subclasses of stationary solutions of ground state type. In this Note, we propose a new variational approach based on the minimization of the Hamiltonian under equimeasurable constraints, which are conserved by the nonlinear transport flow, and recognize any steady state solution which is a nonincreasing function of its microscopic energy as a local minimizer. The outcome is the proof of its nonlinear stability under radially symmetric perturbations. To cite this article: M. Lemou et al., C. R. Acad. Sci. Paris, Ser. I 347 (2009).     

Asymptotic behavior and decay rate estimates for a class of semilinear evolution equations of mixed order

In this article we present a unified approach to study the asymptotic behavior and the decay rate to a steady state of bounded weak solutions of nonlinear, gradient-like evolution equations of mixed first and second order. The proof of convergence is based on the Lojasiewicz-Simon inequality, the construction of an appropriate Lyapunov functional, and some differential inequalities. Applications are given to nonautonomous semilinear wave and heat equations with dissipative, dynamical boundary conditions, a nonlinear hyperbolic-parabolic partial differential equation, a damped wave equation and some coupled system.     

Finding all steady state solutions of chemical kinetic models

Ordinary differential equations are used frequently by theoreticians to model kinetic process in chemistry and biology. These systems can have stable and unstable steady states and oscillations. This paper presents an algorithm to find all steady state solutions to a restricted class of ODE models, for which the right-hand sides are linear combinations of rational functions of variables and parameters. The algorithm converts the steady state equations into a system of polynomial equations and uses a globally convergent homotopy method to find all the roots of the system of polynomials. All steady state solutions of the original ODEs are guaranteed to be present as roots of the polynomial equations. The conversion may generate some spurious roots that do not correspond to steady state solutions. The stability properties of the steady states are not revealed. This paper explains the algorithms used and gives results for a cell cycle modeling problem.     

具有Holling-II型功能反应和交叉扩散的捕食-食饵模型正平衡解的存在性和不存在性

本文主要研究一类在齐次Dirichlet边界条件下带交叉扩散的Holling-II型捕食者-食饵模型正平衡解的存在性, 其中两个交叉扩散系数分别代表食饵远离捕食者的趋势和捕食者追逐食饵的趋势. 应用不动点指标理论得到了正平衡解存在的充分条件, 并进一步研究了正平衡解不存在的条件.     

The impact of finite precision arithmetic and sensitivity on the numerical solution of partial differential equations

In this paper, we address some fundamental issues concerning “time marching” numerical schemes for computing steady state solutions of boundary value problems for nonlinear partial differential equations. Simple examples are used to illustrate that even theoretically convergent schemes can produce numerical steady state solutions that do not correspond to steady state solutions of the boundary value problem. This phenomenon must be considered in any computational study of nonunique solutions to partial differential equations that govern physical systems such as fluid flows. In particular, numerical calculations have been used to “suggest” that certain Euler equations do not have a unique solution. For Burgers' equation on a finite spatial interval with Neumann boundary conditions the only steady state solutions are constant (in space) functions. Moreover, according to recent theoretical results, for any initial condition the corresponding solution to Burgers' equation must converge to a constant as t → ∞. However, we present a convergent finite difference scheme that produces false nonconstant numerical steady state “solutions.” These erroneous solutions arise out of the necessary finite floating point arithmetic inherent in every digital computer. We suggest the resulting numerical steady state solution may be viewed as a solution to a “nearby” boundary value problem with high sensitivity to changes in the boundary conditions. Finally, we close with some comments on the relevance of this paper to some recent “numerical based proofs” of the existence of nonunique solutions to Euler equations and to aerodynamic design.     

有界域上三维非等熵半导体方程解的渐近性(英文)

本文讨论了一类三维非等熵半导体方程. 利用能量估计法, 证明了热平衡稳态解的存在唯一性.然后, 得到了Cauchy-Neumann问题光滑解的整体存在性以及当t→ +∞这种光滑解以指数速度收敛到稳定解, 改进了文献[12]的结果.     

On steady state Euler-Poisson models for semiconductors

This paper is concerned with an analysis of the Euler-Poisson model for unipolar semiconductor devices in the steady state isentropic case. In the two-dimensional case we prove the existence of smooth solutions under a smallness assumption on the prescribed outflow velocity (small boundary current) and, additionally, under a smallness assumption on the gradient of the velocity relaxation time. The latter assumption allows a control of the vorticity of the flow and the former guarantees subsonic flow. The main ingredient of the proof is a regularization of the equation for the vorticity.Also, in the irrotational two- and three-dimensional cases we show that the smallness assumption on the outflow velocity can be replaced by a smallness assumption on the (physical) parameter multiplying the drift-term in the velocity equation. Moreover, we show that solutions of the Euler-Poisson system converge to a solution of the drift-diffusion model as this parameter tends to zero.     

Multiplicity results for the unstirred chemostat model with general response functions

We investigate the multiplicity of positive steady state solutions to the unstirred chemostat model with general response functions. It turns out that all positive steady state solutions to this model lie on a single smooth solution curve, whose properties determine the multiplicity of positive steady state solutions. The key point of our analysis is to study the “turning points” on this positive steady state solution curve, and to prove that any nontrivial solution to the associated linearized problem is one of sign by constructing a suitable test function. The main tools used here include bifurcation theory, monotone method, mountain passing lemma and Sturm comparison theorem.     

Exact controllability for the magnetohydrodynamic equations

We study the local exact controllability of the steady state solutions of the magnetohydrodynamic equations. The main result of the paper asserts that the steady state solutions of these equations are locally controllable if they are smooth enough. We reduce the local exact controllability of the steady state solutions of the magnetohydrodynamic equations to the global exact controllability of the null solution of the linearized magnetohydrodynamic system via a fixed‐point argument. The treatment of the reduced problem relies on two Carleman‐type inequalities for the backward adjoint system. © 2003 Wiley Periodicals, Inc.     

Existence of secondary bifurcations or isolas for PDEs

In this paper, we introduce a method to conclude about the existence of secondary bifurcations or isolas of steady state solutions for parameter dependent nonlinear partial differential equations. The technique combines the Global Bifurcation Theorem, knowledge about the non-existence of nontrivial steady state solutions at the zero parameter value and explicit information about the coexistence of multiple nontrivial steady states at a positive parameter value. We apply the method to the two-dimensional Swift-Hohenberg equation.     

ON EXISTENCE， UNIQUENESS AND REGULARITY OF STEADY STATE SOLUTIONS TO THE BASIC SEMICONDUCTOR EQUATIONS

ＯＮＥＸＩＳＴＥＮＣＥ，ＵＮＩＱＵＥＮＥＳＳＡＮＤＲＥＧＵＬＡＲＩＴＹＯＦＳＴＥＡＤＹＳＴＡＴＥＳＯＬＵＴＩＯＮＳＴＯＴＨＥＢＡＳＩＣＳＥＭＩＣＯＮＤＵＣＴＯＲＥＱＵＡＴＩＯＮＳＷａｎｇＹｕａｎｍｉｎｇ（王元明）ＦａｎＪｉｓｈａｎ（樊继山）（Ｄｅｐｔ...     

Global stability of solutions to a free boundary problem of ductal carcinoma in situ

In the paper we present some remarks on the global stability of steady state solutions to a free boundary model studied by Xu (2004) and also prove some new results of global stability of steady state solutions to the model.     

Delayed stability switches in singularly perturbed predator–prey models

In this paper we provide an elementary proof of the existence of canard solutions for a class of singularly perturbed planar systems in which there occurs a transcritical bifurcation of the quasi steady states. The proof uses the one-dimensional result proved by V.F. Butuzov, N.N. Nefedov and K.R. Schneider, and an appropriate monotonicity assumption on the vector field. The result is applied to identify all possible predator–prey models with quadratic vector fields allowing for the existence of canard solutions.     

A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh–Bénard problems

This paper is the three dimensional extension of the two dimensional work in Nakao et al. (Reliable Comput 9(5):359–372, 2003) and Watanabe et al. (J Math Fluid Mech 6:1–20, 2004) on a computer assisted proof of the existence of nontrivial steady state solutions for Rayleigh–Bénard convection based on the fixed point theorem using a Newton like operator. The differences are emerging of complicated types of bifurcation, direct attack on the problem without stream functions, and increased complexity of numerical computation. The last one makes it hard to proceed the verification of solutions corresponding to the points on bifurcation diagram for three dimensional case. Actually, this work should be the first result for the three dimensional Navier–Stokes problems which seems to be very difficult to solve by theoretical approaches.     

非牛顿流体非定常旋转流动计算机智能解析理论

计算机符号运算科学是人工智能的前沿方向。计算机软件Macsyma是完成符号运算的有力工具。应用德国Darmstadt大学的计算机软件Macsyma、与数学方法和流变学模型结合,研究了Oldroyd B流体由一类定常状态向另一定常状态转变的非定常流动过程。采用改进的Kantorovich方法和符号运算软件,把该问题的3阶偏微分方程的初、边值问题化为各级近似的2阶常微分方程问题。并给出了1级、2级和3级近似方程的解析形式解答。该研究表明了计算机符号处理解决应用数学和力学问题的潜力,同时指出了由一定常状态向另一定常状态转变的非牛顿流动过程,可以经历无限多途径,这一现象是由于本构方程的非线性性质引起的。