Stability and bifurcation in a delayed predator-prey system with Beddington-DeAngelis functional response

We consider a delayed predator-prey system with Beddington-DeAngelis functional response. The stability of the interior equilibrium will be studied by analyzing the associated characteristic transcendental equation. By choosing the delay τ as a bifurcation parameter, we show that Hopf bifurcation can occur as the delay τ crosses some critical values. The direction and stability of the Hopf bifurcation are investigated by following the procedure of deriving normal form given by Faria and Magalhães. An example is given and numerical simulations are performed to illustrate the obtained results.     

Unsaturated bond existing in tetrafluoroethylene-propylene-vinylidene fluoride terpolymer

Infrared and nuclear magnetic resonance (NMR) spectroscopies have been applied for quantitative comparison on unsaturated bonds in tetrafluoroethylene (TFE)-propylene (P)-vinylidene fluoride (VdF) terpolymers. These spectroscopies have led to consistent results while they are based on completely different principles. It is shown that the absolute concentration can be evaluated from NMR measurements. The behavior of unsaturation has been discussed in terms of after-treatment such as wet and dry treatments. The result obtained here can give the important information to improve the performance of fluoroelastomer based on TFE-P-VdF terpolymers.     

Strengthened semidefinite programming bounds for codes

We give a hierarchy of semidefinite upper bounds for the maximum size A(n,d) of a binary code of word length n and minimum distance at least d. At any fixed stage in the hierarchy, the bound can be computed (to an arbitrary precision) in time polynomial in n; this is based on a result of de Klerk et al. (Math Program, 2006) about the regular ∗-representation for matrix ∗-algebras. The Delsarte bound for A(n,d) is the first bound in the hierarchy, and the new bound of Schrijver (IEEE Trans. Inform. Theory 51:2859–2866, 2005) is located between the first and second bounds in the hierarchy. While computing the second bound involves a semidefinite program with O(n ⁷) variables and thus seems out of reach for interesting values of n, Schrijver’s bound can be computed via a semidefinite program of size O(n ³), a result which uses the explicit block-diagonalization of the Terwilliger algebra. We propose two strengthenings of Schrijver’s bound with the same computational complexity. Supported by the Netherlands Organisation for Scientific Research grant NWO 639.032.203.     

Embedded diagonally implicit Runge–Kutta–Nystrom 4(3) pair for solving special second-order IVPs

In this paper, third-order 3-stage diagonally implicit Runge–Kutta–Nystrom method embedded in fourth-order 4-stage for solving special second-order initial value problems is constructed. The method has the property of minimized local truncation error as well as the last row of the coefficient matrix is equal to the vector output. The stability of the method is investigated and a standard set of test problems are tested upon and comparisons on the numerical results are made when the same set of test problems are reduced to first-order system and solved using existing Runge–Kutta method. The results clearly shown the advantage and the efficiency of the new method.     

A mathematical analysis of a fish school model

A model proposed in the literature for fish schools of relatively large size is studied for mathematical and qualitative properties. Existence, uniqueness and positivity of solutions are established and bifurcation properties relative to diffusion and alignment parameters are studied.     

A geometric theory forL 2-stability of the inverse problem in a one-dimensional elliptic equation from anH 1-observation

This study provides a stability theory for the nonlinear least-squares formulation of estimating the diffusion coefficient in a two-point boundary-value problem from an error-corrupted observation of the state variable. It is based on analysing the projection of the observation on the nonconvex attainable set.This research was started while G. Chavent visited the Technical University of Graz. Support through the Steiermaerkische Landesregierung is gratefully acknowledged.     

Factorisation in the ring of exponential polynomials

We study factorisation in the ring of exponential polynomials and provide a proof of Ritt's factorisation theorem in modern notation and so generalised as to deal with polynomial coefficients as well as with several variables. We do this in the more general context of a group ring of a divisible torsion-free ordered abelian group over a unique factorisation domain.

     

Stability of translating solutions to mean curvature flow

We prove stability of rotationally symmetric translating solutions to mean curvature flow. For initial data that converge spatially at infinity to such a soliton, we obtain convergence for large times to that soliton without imposing any decay rates. The authors are members of SFB 647/B3 “Raum – Zeit – Materie: Singularity Structure, Long-time Behaviour and Dynamics of Solutions of Non-linear Evolution Equations”.     

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.     

Numerical analysis of time-dependent Boussinesq models

In this paper we analyse numerical models for time-dependent Boussinesq equations. These equations arise when so-called Boussinesq terms are introduced into the shallow water equations. We use the Boussinesq terms proposed by Katapodes and Dingemans. These terms generalize the constant depth terms given by Broer. The shallow water equations are discretized by using fourth-order finite difference formulae for the space derivatives and a fourth-order explicit time integrator. The effect on the stability and accuracy of various discrete Boussinesq terms is investigated. Numerical experiments are presented in the case of a fourth-order Runge-Kutta time integrator.