GENERALIZATIONS AND CARTESIAN CLOSED SUBCATEGORIES OF SEMICONTINUOUS LATTICES

In this article, the authors mainly study how to obtain new semicontinuous lattices from the given semicontinuous lattices and discuss the conditions under which the image of a semicontinuous projection operator is also semicontinuous. Moreover, the authors investigate the relation between semicontinuous lattices and completely distributive lattices. Finally, it is proved that the strongly semicontinuous lattice category is a Cartesian closed category.

THE SYMMETRIC AND SYMMETRIC POSITIVE SEMIDEFINITE SOLUTIONS OF LINEAR MATRIX EQUATION——B^TXB = D ON LINEAR MANIFOLDS

This paper discusses the solutions of the linear matrix equation BT X B=Don some linear manifolds.Some necessary and sufficient conditions for the existenceof the solution and the expression of the general solution are given.And also someoptimal approximation solutions are discussed.

THE BOUNDEDNESS OF MULTILINEAR COMMUTATORS ON WEIGHTED SPACES AND HERZ-TYPE SPACES

The boundedness of maximal multilinear commutator on certain weighted spaces is obtained. The boundedness of mulitilinear commutators of singular integrals with Calderon-Zygmund kernel on Herz-type spaces is also considered.

Least-Squares Solutions of the Matrix Equation A^TXA=B Over Bisymmetric Matrices and its Optimal Approximation

A real n×n symmetric matrix X=(x_(ij))_(n×n)is called a bisymmetric matrix if x_(ij)=x_(n+1-j,n+1-i).Based on the projection theorem,the canonical correlation de- composition and the generalized singular value decomposition,a method useful for finding the least-squares solutions of the matrix equation A^TXA=B over bisymmetric matrices is proposed.The expression of the least-squares solutions is given.Moreover, in the corresponding solution set,the optimal approximate solution to a given matrix is also derived.A numerical algorithm for finding the optimal approximate solution is also described.

A Class of Constrained Inverse Eigenproblem and Associated Approximation Problem for Symmetric Reflexive Matrices

Let S∈Rn×n be a symmetric and nontrival involution matrix. We say that A∈E R n×n is a symmetric reflexive matrix if AT = A and SAS = A. Let S R r n×n(S)={A|A= AT,A = SAS, A∈Rn×n}. This paper discusses the following two problems. The first one is as follows. Given Z∈Rn×m (m < n),∧= diag(λ1,...,λm)∈Rm×m, andα,β∈R withα<β. Find a subset (?)(Z,∧,α,β) of SRrn×n(S) such that AZ = Z∧holds for any A∈(?)(Z,∧,α,β) and the remaining eigenvaluesλm+1 ,...,λn of A are located in the interval [α,β], Moreover, for a given B∈Rn×n, the second problem is to find AB∈(?)(Z,∧,α,β) such that where ||.|| is the Frobenius norm. Using the properties of symmetric reflexive matrices, the two problems are essentially decomposed into the same kind of subproblems for two real symmetric matrices with smaller dimensions, and then the expressions of the general solution for the two problems are derived.

Asymptotic Behavior and Stability of Stochastic SIR Model with Variable Diffusion Rates

In this paper, we propose random fluctuation on contact and recovery rates in deterministic SIR model with disease deaths in nonparametric manner and derive a new stochastic SIR model with distributed time delay and general diffusion coefficients. By analysis of the introduced model, we obtain the sufficient conditions for the regularity, existence and uniqueness of a global solution by means of Lyapunov function. Moreover, we also investigate the stochastic asymptotic stability of disease free equilibria and endemic equilibria of this model. Finally, we illustrate our general results by applications.

Mathematical Model,Numerical Simulation and Convergence Analysis of a Semiconductor Device Problem with Heat and Magnetic Influences

In this paper,the authors discuss a three-dimensional problem of the semiconductor device type involved its mathematical description,numerical simulation and theoretical analysis.Two important factors,heat and magnetic influences are involved.The mathematical model is formulated by four nonlinear partial differential equations(PDEs),determining four major physical variables.The influences of magnetic fields are supposed to be weak,and the strength is parallel to the z-axis.The elliptic equation is treated by a block-centered method,and the law of conservation is preserved.The computational accuracy is improved one order.Other equations are convection-dominated,thus are approximated by upwind block-centered differences.Upwind difference can eliminate numerical dispersion and nonphysical oscillation.The diffusion is approximated by the block-centered difference,while the convection term is treated by upwind approximation.Furthermore,the unknowns and adjoint functions are computed at the same time.These characters play important roles in numerical computations of conductor device problems.Using the theories of priori analysis such as energy estimates,the principle of duality and mathematical inductions,an optimal estimates result is obtained.Then a composite numerical method is shown for solving this problem.

THE GENERALIZED REFLEXIVE SOLUTION FOR A CLASS OF MATRIX EQUATIONS (AX-B,XC=D)

In this article, the generalized reflexive solution of matrix equations （AX = B, XC = D） is considered. With special properties of generalized reflexive matrices, the necessary and sufficient conditions for the solvability and the general expression of the solution are obtained. Moreover, the related optimal approximation problem to a given matrix over the solution set is solved.

Global Synchronization of Stochastically Disturbed Memristive Neurodynamics via Discontinuous Control Laws

This paper presents the theoretical results on the master-slave (or driving-response) synchronization of two memristive neural networks in the presence of additive noise. First, a control law with a linear time-delay feedback term and a discontinuous feedback term is introduced. By utilizing the stability theory of stochastic differential equations, sufficient conditions are derived for ascertaining global synchronization in mean square using this control law. Second, an adaptive control law consisting of a linear feedback term and a discontinuous feedback term is designed to achieve global synchronization in mean square, and it does not need prior information of network parameters or random disturbances. Finally, simulation results are presented to substantiate the theoretical results. © 2014 Chinese Association of Automation.

TRAVELLING WAVEFRONTS IN DELAYED COOPERATIVE AND DIFFUSIVE SYSTEMS WITH NON-LOCAL EFFECTS

In this paper, traveling wavefront solutions are established for two cooperative systems with time delay and non-local effects. The results are an extension of the existing results for delayed logistic scale equations and diffusive Nicholson equations with non-local effects to systems. The approach used is the upper-lower solution technique and Schauder fixed point Theorem developed by Ma（J Differential Equations,2001,171：294-314. ）.

Estimates of commutators for multilinear operators on Herz-type spaces

In this paper, the boundedness of mulitilinear commutator [-b,T] on Herz-type space is considered, where T is a standard Calderon-Zygmund singular operator and -b ∈ （BMO（Rn））m.

THE LARGEST SOLUTION OF LINEAR EQUATION OVER THE COMPLETE HEYTING ALGEBRA

Let （L, 〈, V, A） be a complete Heyting algebra. In this article, the linear system Ax = b over a complete Heyting algebra, where classical addition and multiplication operations are replaced by V and A respectively, is studied. We obtain： （i） the necessary and sufficient conditions for S（A,b）≠Ф; （ii） the necessary conditions for IS（A,b）｜ = 1. We also obtain the vector x ∈ Ln and prove that it is the largest element of S（A, b） if S（A, b）≠Ф.

A BLOCK-CENTERED UPWIND APPROXIMATION OF THE SEMICONDUCTOR DEVICE PROBLEM ON A DYNAMICALLY CHANGING MESH

The numerical simulation of a three-dimensional semiconductor device is a fundamental problem in information science. The mathematical model is defined by an initialboundary nonlinear system of four partial differential equations: an elliptic equation for electric potential, two convection-diffusion equations for electron concentration and hole concentration, and a heat conduction equation for temperature. The first equation is solved by the conservative block-centered method. The concentrations and temperature are computed by the block-centered upwind difference method on a changing mesh, where the block-centered method and upwind approximation are used to discretize the diffusion and convection, respectively. The computations on a changing mesh show very well the local special properties nearby the P-N junction. The upwind scheme is applied to approximate the convection, and numerical dispersion and nonphysical oscillation are avoided. The block-centered difference computes concentrations, temperature, and their adjoint vector functions simultaneously.The local conservation of mass, an important rule in the numerical simulation of a semiconductor device, is preserved during the computations. An optimal order convergence is obtained. Numerical examples are provided to show efficiency and application.

Positive periodic solutions of higher-dimensional nonlinear functional difference equations

In this paper, we apply a cone theoretic fixed point theorem to obtain sufficient conditions for the existence of multiple positive periodic solutions to the higher-dimensional functional difference equations of the form:x(n+ 1) =A(n)x(n) +λh(n)f(x(n- τ(n))), n∈ Z.

Hopf Bifurcation of a Positive Feedback Delay Differential Equation

Under some minor technical hypotheses, for each T larger than a certain rS > 0, Krisztin, Walther and Wu showed the existence of a periodic orbit for the positive feedback delay differential equation x(t) = -rμx(t) + rf(x(t-1)), where r and μ are positive constants and f : R → R satisfies f(0) = 0 and f' > 0. Combining this with a unique result of Krisztin and Walther, we know that this periodic orbit is the one branched out from 0 through Hopf bifurcation. Using the normal form theory for delay differential equations, we show the same result under the condition that f ∈ C3(R,R) is such that f''(0) = 0 and f'''(0) < 0, which is weaker than those of Krisztin and Walther.

The Total Embedding Distributions of Cacti and Necklaces

Total embedding distributions have been known for only a few classes of graphs. In this paper the total embedding distributions of the cacti and the necklaces are obtained. Furthermore we obtain the total embedding distributions of all graphs with maximum genus 1 by using the method of this paper.

Existence and Uniqueness of Periodic Solutions for a Kind of Second Order Neutral Functional Differential Equations with Constant Delays

In this paper, we use the coincidence degree theory to establish new results on the existence and uniqueness of T-periodic solutions for the second order neutral functional differential equation with constant delays of the form （x（t）＋Bx（t-δ））＂＋Cx＇（t）＋g（x（t-τ））=p（t）.

A COUPLED CONTINUOUS-DISCONTINUOUS FEM APPROACH FOR CONVECTION DIFFUSION EQUATIONS

In this article, we introduce a coupled approach of local discontinuous Calerkin and standard finite element method for solving convection diffusion problems. The whole domain is divided into two disjoint subdomains. The discontinuous Galerkin method is adopted in the subdomain where the solution varies rapidly, while the standard finite element method is used in the other subdomain due to its lower computational cost. The stability and a priori error estimate are established. We prove that the coupled method has O（ε1/2 ＋ h1/2）hk） convergence rate in an associated norm, where ε is the diffusion coefficient, h is the mesh size and k is the degree of polynomial. The numerical results verify our theoretical results. Moreover, 2k-order superconvergence of the numerical traces at the nodes, and the optimal convergence of the errors under L2 norm are observed numerically on the uniform mesh. The numerical results also indicate that the coupled method has the same convergence order and almost the same errors as the purely LDG method.

Estimates of Some Integral Operators with Bounded Variable Kernels on the Hardy and Weak Hardy Spaces over R^n

In this paper,we first introduce Lσ1-（log L）σ2 conditions satisfied by the variable kernelsΩ（x,z） for 0≤σ1≤1 and σ2≥0.Under these new smoothness conditions,we will prove the boundedness properties of singular integral operators TΩ,fractional integrals TΩ,α and parametric Marcinkiewicz integrals μΩρ with variable kernels on the Hardy spaces Hp（Rn） and weak Hardy spaces WHP（Rn）.Moreover,by using the interpolation arguments,we can get some corresponding results for the above integral operators with variable kernels on Hardy-Lorentz spaces Hp,q（Rn） for all p 〈 q 〈 ∞.

Least-Squares Mirrorsymmetric Solution for Matrix Equations(AX=B,XC=D)

In this paper, least-squaxes mirrorsymmetric solution for matrix equations (AX = B, XC = D) and its optimal approximation is considered. With special expression of mirrorsymmetric matrices, a general representation of solution for the least-squares problem is obtained. In addition, the optimal approximate solution and some algorithms to obtain the optimal approximation are provided.