Finite Presentability and the Homological Type FP m for a Class of Hopf Algebras

We define and study the property finite presentability in the category  of Hopf algebras that are smash product of universal enveloping algebra of a Lie algebra by a group algebra. We show that for such Hopf algebras finite presentability is equivalent with finite presentability as an associative k-algebra.     

Analysis of and numerical schemes for a mouse population model in Hantavirus epidemics

This paper considers a non-linear system of ordinary differential equations, which arises in the study of hantavirus epidemics. The system has the property that the total population obeys the logistic equation. For this system, we use linearization and the dynamical properties of the logistic equation to analyze the dynamics of the subpopulation system. In view of the usual numerical instabilities associated with standard finite difference methods used for simulating such systems, we construct non-standard finite difference (NSFD) schemes, which preserve the dynamic properties of the system, and may therefore be used for its simulation.     

An efficient and robust numerical algorithm for estimating parameters in Turing systems

We present a new algorithm for estimating parameters in reaction–diffusion systems that display pattern formation via the mechanism of diffusion-driven instability. A Modified Discrete Optimal Control Algorithm (MDOCA) is illustrated with the Schnakenberg and Gierer–Meinhardt reaction–diffusion systems using PDE constrained optimization techniques. The MDOCA algorithm is a modification of a standard variable step gradient algorithm that yields a huge saving in computational cost. The results of numerical experiments demonstrate that the algorithm accurately estimated key parameters associated with stationary target functions generated from the models themselves. Furthermore, the robustness of the algorithm was verified by performing experiments with target functions perturbed with various levels of additive noise. The MDOCA algorithm could have important applications in the mathematical modeling of realistic Turing systems when experimental data are available.     

ADDITIVE POLYNOMIALS AND PRIMITIVE ROOTS OVER FINITE FIELDS

We prove existence of primitive roots with a prescribed non-zero image using the arithmetic of algebraic function fields for a class of polynomials over sufficiently large finite fields.     

On the global existence and finite time blow-up of shadow systems

Shadow systems are often used to approximate reaction-diffusion systems when one of the diffusion rates is large. In this paper, we study the global existence and blow-up phenomena for shadow systems. Our results show that even for these fundamental aspects, there are serious discrepancies between the dynamics of the reaction-diffusion systems and that of their corresponding shadow systems.     

Increasing the polynomial reproduction of a quasi-interpolation operator

Quasi-interpolation is an important tool, used both in theory and in practice, for the approximation of smooth functions from univariate or multivariate spaces which contain , the d-variate polynomials of degree ≤m. In particular, the reproduction of Π_m leads to an approximation order of m+1. Prominent examples include Lagrange and Bernstein type approximations by polynomials, the orthogonal projection onto Π_m for some inner product, finite element methods of precision m, and multivariate spline approximations based on macroelements or the translates of a single spline.For such a quasi-interpolation operator L which reproduces and any r≥0, we give an explicit construction of a quasi-interpolant which reproduces Π_m+r, together with an integral error formula which involves only the (m+r+1)th derivative of the function approximated. The operator is defined on functions with r additional orders of smoothness than those on which L is defined. This very general construction holds in all dimensions d. A number of representative examples are considered.     

Direct numerical method for an inverse problem of a parabolic partial differential equation

A coefficient inverse problem of the one-dimensional parabolic equation is solved by a high-order compact finite difference method in this paper. The problem of recovering a time-dependent coefficient in a parabolic partial differential equation has attracted considerable attention recently. While many theoretical results regarding the existence and uniqueness of the solution are obtained, the development of efficient and accurate numerical methods is still far from satisfactory. In this paper a fourth-order efficient numerical method is proposed to calculate the function u(x,t) and the unknown coefficient a(t) in a parabolic partial differential equation. Several numerical examples are presented to demonstrate the efficiency and accuracy of the numerical method.     

The analysis of a finite element method for the three-species Lotka–Volterra competition-diffusion with Dirichlet boundary conditions

A Galerkin finite element method is developed for the two dimensional/three dimensional nonlinear time-dependent three-species Lotka–Volterra competition-diffusion equations on a bounded domain. The existence and uniqueness of the solution to the numerical formulation are proved. An error estimate for the numerical solution is obtained. Numerical computations are carried out to examine the expected orders of accuracy in the error estimates.     

1,3-取代方酸衍生物非线性光学性质的从头算和半经验方法的比较研究

The structures of 1,3-substituted squaraine derivatives Sq1 ～ Sq12 were fully optimized by ab initio HF method with 6-31G* basis set level,and the electronic structures of Sq1 ～ Sq12 were also calculated. Based on the optimized structures,the electronic spectra were obtained by the CIS / 6-31G* method,which suggested that the max absorption wavelength mainly resulted from the electronic transition from HOMO to LUMO. The second nonlinear optical coefficients（β0）were calculated using ab initio CPHF method at 6-31G* basis set level and FF / AM1,FF / PM3,FF / MNDO,FF / MINDO3 methods. A systematic comparison between the results was carried out. It indicated that the second nonlinear optical coefficients were affected dramatically by the properties of five-membered hetero-rings. β0 can be enhanced by introducing pyrrole,thiazole and oxazole. The position of five-membered rings containing two heteroatoms which were connected with four-membered squaraine rings also affected β0 .