Non-simultaneous Blow-up Criteria for Localized Parabolic Equations

This paper deals with blow-up solutions for parabolic equations coupled via localized exponential sources, subject to homogeneous Dirichlet boundary con- ditions. The criteria are proposed to identify simultaneous and non-simultaneous blow-up solutions. The related classification for the four nonlinear parameters in the model is optimal and complete.     

COMPACT DIFFERENCE SCHEMES FOR THE DIFFUSION AND SCHRODINGER EQUATIONS. APPROXIMATION,STABILITY, CONVERGENCE,EFFECTIVENESS, MONOTONY

Various compact difference schemes （both old and new, explicit and implicit, one-level and two-level）, which approximate the diffusion equation and SchrSdinger equation with periodical boundary conditions are constructed by means of the general approach. The results of numerical experiments for various initial data and right hand side are presented. We evaluate the real order of their convergence, as well as their stability, effectiveness, and various kinds of monotony. The optimal Courant number depends on the number of grid knots and on the smoothness of solutions. The competition of various schemes should be organized for the fixed number of arithmetic operations, which are necessary for numerical integration of a given Cauchy problem. This approach to the construction of compact schemes can be developed for numerical solution of various problems of mathematical physics.     

BIOLUMINESCENCE TOMOGRAPHY： BIOMEDICAL BACKGROUND,MATHEMATICAL THEORY,AND NUMERICAL APPROXIMATION

Over the last couple of years molecular imaging has been rapidly developed to study physiological and pathological processes in vivo at the cellular and molecular levels. Among molecular imaging modalities, optical imaging stands out for its unique advantages, especially performance and cost-effectiveness. Bioluminescence tomography （BLT） is an emerging optical imaging mode with promising biomedical advantages. In this survey paper, we explain the biomedical significance of BLT, summarize theoretical results on the analysis and numerical solution of a diffusion based BLT model, and comment on a few extensions for the study of BLT.     

TESTING OF CORRELATION AND HETEROSCEDASTICITY IN NONLINEAR REGRESSION MODELS WITH DBL（p,q, 1） RANDOM ERRORS

Chaos theory has taught us that a system which has both nonlinearity and random input will most likely produce irregular data. If random errors are irregular data, then random error process will raise nonlinearity （Kantz and Schreiber （1997））. Tsai （1986） introduced a composite test for autocorrelation and heteroscedasticity in linear models with AR（1） errors. Liu （2003） introduced a composite test for correlation and heteroscedasticity in nonlinear models with DBL（p, 0, 1） errors. Therefore, the important problems in regression model axe detections of bilinearity, correlation and heteroscedasticity. In this article, the authors discuss more general case of nonlinear models with DBL（p, q, 1） random errors by score test. Several statistics for the test of bilinearity, correlation, and heteroscedasticity are obtained, and expressed in simple matrix formulas. The results of regression models with linear errors are extended to those with bilinear errors. The simulation study is carried out to investigate the powers of the test statistics. All results of this article extend and develop results of Tsai （1986）, Wei, et al （1995）, and Liu, et al （2003）.     

Projections,Birkhoff Orthogonality and Angles in Normed Spaces

Let X be a Minkowski plane, i.e., a real two dimensional normed linear space. We use projections to give a definition of the angle Aq（x, y） between two vectors x and y in X, such that x is Birkhoff orthogonal to y if and only if Aq（x,y）=π/2. Some other properties of this angle are also discussed.     

COSET DIAGRAMS FOR A HOMOMORPHIC IMAGE OF △（3, 3, k）

Let q be a prime power. By PL（Fq） the authors mean a projective line over the finite field Fq with the additional point ∞. In this article, the authors parametrize the conjugacy classes of nondegenerate homomorphisms which represent actions of △（3, 3, k） = （u, v： u^3 = v^3 = （uv）^k = 1〉on PL（Fq）, where q ≡ ±1（modk）. Also, for various values of k, they find the conditions for the existence of coset diagrams depicting the permutation actions of △（3, 3, k） on PL（Fq）. The conditions are polynomials with integer coefficients and the diagrams are such that every vertex in them is fixed by （u^-v^-）^k. In this way, they get △（3, 3, k） as permutation groups on PL（Fq）.     

NODAL O（h^4）-SUPERCONVERGENCE IN 3D BY AVERAGING PIECEWISE LINEAR,BILINEAR, AND TRILINEAR FE APPROXIMATIONS

We construct and analyse a nodal O（h^4）-superconvergent FE scheme for approximating the Poisson equation with homogeneous boundary conditions in three-dimensional domains by means of piecewise trilinear functions. The scheme is based on averaging the equations that arise from FE approximations on uniform cubic, tetrahedral, and prismatic partitions. This approach presents a three-dimensional generalization of a two-dimensional averaging of linear and bilinear elements which also exhibits nodal O（h^4）-superconvergence （ultracon- vergence）. The obtained superconvergence result is illustrated by two numerical examples.     

Differential inequalities, normality and quasi-normality

We prove that ifD is a domain in C,α 〉 1 and C 〉 0,then the family F of functions f meromorphic in D such that ｜f′（z）｜/1 ＋ ｜f（z）｜α 〉 C for every z ∈ D is normal in D.For α = 1,the same assumptions imply quasi-normality but not necessarily normality.     

On the Clique-Transversal Number in （Claw,K4）-Free 4-Regular Graphs

A clique-transversal set D of a graph G is a set of vertices of G such that D meets all cliques of G.The clique-transversal number,denoted by τC(G),is the minimum cardinality of a clique-transversal set in G.In this paper,we first present a lower bound on τC(G) and characterize the extremal graphs achieving the lower bound for a connected(claw,K4)-free 4-regular graph G.Furthermore,we show that for any 2-connected(claw,K4)-free 4-regular graph G of order n,its clique-transversal number equals to [n/3].     

Super-simple （5, 4）-GDDs of group type g^u

In statistical planning of experiments, super-simple designs are the ones providing samples with maximum intersection as small as possible. Super- simple group divisible designs are useful in constructing other types of super- simple designs which can be applied to codes and designs. In this article, the existence of a super-simple （5, 4）-GDD of group type gU is investigated and it is shown that such a design exists if and only if u ≥ 5, g（u - 2） ≥ 12, and u（u - 1）g^2≡ 0 （mod 5） with some possible exceptions.     

Fixed Point Theorem of {a,b,c} Contraction and Nonexpansive Type Mappings in Weakly Cauchy Normed Spaces

Let C be a closed convex weakly Cauchy subset of a normed space X. Then we define a new {a,b,c} type nonexpansive and {a,b,c} type contraction mapping T from C into C. These types of mappings will be denoted respectively by {a,b,c}-ntype and {a,b,c}-ctype. We proved the following： 1. If T is {a,b,c}-ntype mapping, then inf{ ｜｜ T（x）-x｜｜ ：x C C} =0, accordingly T has a unique fixed point. Moreover, any sequence {Xn}n∈NN in C with limn→∞｜｜T（xn） - Xn｜｜ = 0 has a subsequence strongly convergent to the unique fixed point of T. 2. If T is {a,b,c}-ctype mapping, then T has a unique fixed point. Moreover, for any x∈C the sequence of iterates {Tn （x）}n∈N has subsequence strongly convergent to the unique fixed point of T. This paper extends and generalizes some of the results given in [2,4, 7] and [13].     

THE RELATION OF DIMENSION,ENTROPY AND LYAPUNOV EXPONENT IN RANDOM CASE

We consider random systems generated by two-sided compositions of random surface diffeomorphisms, together with an ergodic Borel probability measure μ. Let D（μω） be its dimension of the sample measure, then we prove a formula relating D（μω） to the entropy and Lyapunov exponents of the random system, where D （μω） is dimHμω, dimBμm, or dimBμm.     

STABILIZED FEM FOR CONVECTION-DIFFUSION PROBLEMS ON LAYER-ADAPTED MESHES

The application of a standard Galerkin finite element method for convection-diffusion problems leads to oscillations in the discrete solution, therefore stabilization seems to be necessary. We discuss several recent stabilization methods, especially its combination with a Galerkin method on layer-adapted meshes. Supercloseness results obtained allow an improvement of the discrete solution using recovery techniques.     

PREDUAL SPACES FOR Q SPACES

To find the predual spaces Pα（R^n） of Qα（R^n） is an important motivation in the study of Q spaces. In this article, wavelet methods are used to solve this problem in a constructive way. First, an wavelet tent atomic characterization of Pα（Rn） is given, then its usual atomic characterization and Poisson extension characterization are given. Finally, the continuity on Pα of Calderon-Zygmund operators is studied, and the result can be also applied to give the Morrey characterization of Pα（Rn）.     

A TWO-SCALE HIGHER-ORDER FINITE ELEMENT DISCRETIZATION FOR SCHROEDINGER EQUATION

In this paper, a two-scale higher-order finite element discretization scheme is proposed and analyzed for a Schroedinger equation on tensor product domains. With the scheme, the solution of the eigenvalue problem on a fine grid can be reduced to an eigenvalue problem on a much coarser grid together with some eigenvalue problems on partially fine grids. It is shown theoretically and numerically that the proposed two-scale higher-order scheme not only significantly reduces the number of degrees of freedom but also produces very accurate approximations.     

FINITE ELEMENTS WITH LOCAL PROJECTION STABILIZATION FOR INCOMPRESSIBLE FLOW PROBLEMS

In this paper we review recent developments in the analysis of finite element methods for incompressible flow problems with local projection stabilization （LPS）. These methods preserve the favourable stability and approximation properties of classical residual-based stabilization （RBS） techniques but avoid the strong coupling of velocity and pressure in the stabilization terms. LPS-methods belong to the class of symmetric stabilization techniques and may be characterized as variational multiscale methods. In this work we summarize the most important a priori estimates of this class of stabilization schemes developed in the past 6 years. We consider the Stokes equations, the Oseen linearization and the NavierStokes equations. Furthermore, we apply it to optimal control problems with linear（ized） flow problems, since the symmetry of the stabilization leads to the nice feature that the operations ＂discretize＂ and ＂optimize＂ commute.     

RECENT PROGRESS ON SPHERICAL HARMONIC APPROXIMATION MADE BY BNU RESEARCH GROUP --In memory of Professor Sun Yongsheng

As early as in 1990, Professor Sun Yongsheng, suggested his students at Beijing Normal University to consider research problems on the unit sphere. Under his guidance and encouragement his students started the research on spherical harmonic analysis and approximation. In this paper, we incompletely introduce the main achievements in this area obtained by our group and relative researchers during recent 5 years （2001-2005）. The main topics are： convergence of Cesaro summability, a.e. and strong summability of Fourier-Laplace series; smoothness and K-functionals; Kolmogorov and linear widths.     

DIRECT MINIMIZATION FOR CALCULATING INVARIANT SUBSPACES IN DENSITY FUNCTIONAL COMPUTATIONS OF THE ELECTRONIC STRUCTURE

In this article, we analyse three related preconditioned steepest descent algorithms, which are partially popular in Hartree-Fock and Kohn-Sham theory as well as invariant subspace computations, from the viewpoint of minimization of the corresponding functionals, constrained by orthogonality conditions. We exploit the geometry of the admissible manifold, i.e., the invariance with respect to unitary transformations, to reformulate the problem on the Grassmann manifold as the admissible set. We then prove asymptotical linear convergence of the algorithms under the condition that the Hessian of the corresponding Lagrangian is elliptic on the tangent space of the Grassmann manifold at the minimizer.     

AN EFFICIENT METHOD FOR MULTIOBJECTIVE OPTIMAL CONTROL AND OPTIMAL CONTROL SUBJECT TO INTEGRAL CONSTRAINTS

We introduce a new and efficient numerical method for multicriterion optimal control and single criterion optimal control under integral constraints. The approach is based on extending the state space to include information on a ＂budget＂ remaining to satisfy each constraint; the augmented Hamilton-Jacobi-Bellman PDE is then solved numerically. The efficiency of our approach hinges on the causality in that PDE, i.e., the monotonicity of characteristic curves in one of the newly added dimensions. A semi-Lagrangian ＂marching＂ method is used to approximate the discontinuous viscosity solution efficiently. We compare this to a recently introduced ＂weighted sum＂ based algorithm for the same problem [25]. We illustrate our method using examples from flight path planning and robotic navigation in the presence of friendly and adversarial observers.