MATHEMATICAL PROBLEMS ON THE FLUID-SOLUTE-HEAT FLOW THROUGH POROUS MEDIA Ⅰ. UNSATURATED CASE

A degenerate parabolic system arising from the fluid-solute-heat flow through unsaturatedporous media is considered. The existence of weak solutions to the initial boundary value problemof this system is esteblished by parabolic regularizaton. The regularity is proved as well, i. e. theweak solutions satisfy the equations and initial boundary conditions pointwise in the region wherethe moisture content is positive.     

LINEAR SYSTEMS ASSOCIATED WITH NUMERICAL METHODS FOR CONSTRAINED OPITMIZATION

Linear systems associated with numerical methods for constrained optimization are discussed in this paper. It is shown that the corresponding subproblems arise in most well-known methods, no matter line search methods or trust region methods for constrained optimization can be expressed as similar systems of linear equations. All these linear systems can be viewed as some kinds of approximation to the linear system derived by the Lagrange-Newton method. Some properties of these linear systems are analyzed.     

EXISTENCE AND REGULARITY OF SOLUTIONS TO MODEL FOR LIQUID MIXTURE OF ^3HE-^4HE

Existence and regularity of solutions to model for liquid mixture of 3He-4He is considered in this paper.First,it is proved that this system possesses a unique global weak solution in H 1(,C × R) by using Galerkin method.Secondly,by using an iteration procedure,regularity estimates for the linear semigroups,it is proved that the model for liquid mixture of 3He-4He has a unique solution in Hk(,C × R) for all k ≥ 1.     

On the stability of diffusion processes with state-dependent switching

In this paper we consider the stability for diffusion processes with state-dependent switching. We first prove their Feller continuity by the coupling methods. Furthermore, we also prove their strong Feller continuity and their exponential ergodicity under some reasonable conditions. Finally, we append a very brief discussion about the regularity of these processes.     

CONVERGENCE ANALYSIS ON ITERATIVE METHODS FOR SEMIDEFINITE SYSTEMS

The convergence analysis on the general iterative methods for the symmetric and positive semidefinite problems is presented in this paper. First, formulated are refined necessary and sumcient conditions for the energy norm convergence for iterative methods. Some illustrative examples for the conditions are also provided. The sharp convergence rate identity for the Gauss-Seidel method for the semidefinite system is obtained relying only on the pure matrix manipulations which guides us to obtain the convergence rate identity for the general successive subspace correction methods. The convergence rate identity for the successive subspace correction methods is obtained under the new conditions that the local correction schemes possess the local energy norm convergence. A convergence rate estimate is then derived in terms of the exact subspace solvers and the parameters that appear in the conditions. The uniform convergence of multigrid method for a model problem is proved by the convergence rate identity. The work can be regradled as unified and simplified analysis on the convergence of iteration methods for semidefinite problems [8, 9].     

Remarks on the Regularity to 3-D Ideal Magnetohydrodynamic Equations

In this paper we are interested in the sufficient conditions which guarantee the regularity of solutions of 3-D ideal magnetohydrodynamic equations in the arbitrary time interval [0,T]. Five sufficient conditions are given. Our results are motivated by two main ideas: one is to control the accumulation of vorticity alone; the other is to generalize the corresponding geometric conditions of 3-D Euler equations to 3-D ideal magnetohydrodynamic equations.     

EXISTENCE OF MULTIPLE SOLUTIONS FOR SINGULAR QUASILINEAR ELLIPTIC SYSTEM WITH CRITICAL SOBOLEV-HARDY EXPONENTS AND CONCAVE-CONVEX TERMS

The main purpose of this paper is to establish the existence of multiple solutions for singular elliptic system involving the critical Sobolev-Hardy exponents and concave-convex nonlinearities.It is shown,by means of variational methods,that under certain conditions,the system has at least two positive solutions.     

Large time behavior of Euler-Poisson system for semiconductor

In this note,we present a framework for the large time behavior of general uniformly bounded weak entropy solutions to the Cauchy problem of Euler-Poisson system of semiconductor devices.It is shown that the solutions converges to the stationary solutions exponentially in time.No smallness and regularity conditions are assumed.     

On the Regularity of Shear Thickening Viscous Fluids

The aim of this note is to improve the regularity results obtained by H. Beirao da Veiga in 2008 for a class of p-fluid flows in a cubic domain. The key idea is exploiting the better regularity of solutions in the tangential directions with respect to the normal one, by appealing to anisotropic Sobolev embeddings.     

THE NONLOCAL INITIAL PROBLEMS OF A SEMILINEAR EVOLUTION EQUATION

The purpose of this paper is to investigate the existence of solutions to a nonlocal Cauchy problem for an evolution equation. The methods used here include the semigroup methods in proper spaces and Schauder's theorem. And the results are applied to a system of nonlinear partial differential equations with nonlinear boundary conditions.     

Existence and Regularity for a Class of Nonlinear Hyperbolic Boundary Value Problems

The regularity of the solution of the telegraph system with nonlinear monotone boundary conditions is investigated by two methods. The first one is based on D'Alembert-type representation formulae for the solution. In the second method the telegraph system is reduced to a linear Cauchy problem with a locally Lipschitzian functional perturbation; then regularity results are established by appealing to the theory of linear semigroups.     

On regularity conditions for complementarity problems

In the context of complementarity problems, various concepts of solution regularity are known, each of them playing a certain role in the related theoretical and algorithmic developments. Despite the existence of rich literature on this subject, it appears that the exact relations between some of these regularity concepts remained unknown. In this note, we not only summarize the existing results on the subject but also establish the missing relations filling all the gaps in the current understanding of how different regularity concepts relate to each other. In particular, we demonstrate that strong regularity is in fact equivalent to nonsingularity of all matrices in the natural outer estimates of the generalized Jacobians of the most widely used residual mappings for complementarity problems. On the other hand, we show that CD-regularity of the natural residual mapping does not imply even BD-regularity of the Fischer–Burmeister residual mapping. As a result, we provide the complete picture of relations between the most important regularity conditions for mixed complementarity problems, with a special emphasis on those conditions used to justify the related numerical methods. A special attention is paid to the particular cases of a nonlinear complementarity problem and of a Karush–Kuhn–Tucker system.     

Asymptotic normality of prediction error estimators for approximate system models

A general class of parameter estimation methods for stochastic dynamical systems is studied. The class contains the least squares method, output-error methods, the maximum likelihood method and several other techniques. It is shown that the class of estimates so obtained are asymptotically normal and expressions for the resulting asymptotic covariance matrices are given. The regularity conditions that are imposed to obtain these results, are fairly weak. It is, for example, not assumed that the true system can be described within the chosen model set, and, as a consequence, the results in this paper form a part of the so-called approximate modeling approach to system identification. It is also noteworthy that arbitrary feedback from observed system outputs to observed system inputs is allowed and stationarity is not required     

The nonlinear bilevel programming problem:formulations,regularity and optimality conditions

In this paper, we study regularity and optimality conditions for the BLPP by using a marginal function formulation, where the marginal function is defined by the optimal value function of the lower problem. We address the regularity issue by exploring the structure of the tangent cones of the feasible set of the BLPP. These regularity results indicate that the nonlinear/nonlinear BLPP is most likely degenerate and a class of nonlinear/linear BLPP is regular in the conventional sense. Existence of exact penalty function is proved for a class of nonlinear/linear BLPP. Fritz-John type optimality conditions are derived for nonlinear BLPP, while KKT type conditions are obtained for a class of nonlinear/linear BLPP in the framework of nonsmooth analysis. A typical example is examined for these conditions and some applications of these conditions are pointed out     

Partial regularity of weak solutions for Landau-Lifshitz system with potential

In this note, we prove the partial regularity of stationary weak solutions for the Landau-Lifshitz system with general potential in four or three dimensional space. As well known, in general, since the constraint of the methods, in order to get the partial regularity of stationary weak solution of the Landau-Lifshitz system with potential, we need to add some very strongly conditions on the potential. The main difficulty caused by potential is how to find the equation satisfied by the scaling function, which breaks down the blow-up processing. We estimate directly Morrey’s energy to avoid the difficulties by blowing up. This work was supported by National Natural Science Foundation of China (Grant Nos. 10631020, 60850005) and the Natural Science Foundation of Zhejiang Province (Grant No. D7080080)     

一般线性方法的正则性

１．引言数值方法的动力特征近年引起了人们的广泛关注。其中之一就是系统的平衡态和数值方法的平衡态相一致的问题,即用一个数值方法沿定步长求解系统时,是否会出现伪平衡。不可能出现伪平衡的方法称为是正则的。ＲＫ方法和线性多步法的正则性已被众多的文献研究［２,３,４］,其它方法的正则性显然是一亟待研究的问题。本文讨论较ＲＫ方法和线性多步法远为广泛的一般线性方法的正则性。设ｆ：Ｒ~（Ｎ）→Ｒ~（Ｎ）是一充分光滑的映射,考虑求解初值问题：的一般线性方法［１］：其中步长逼近于逼近于关于微分方程真解ｙ（ｔ）在第ｎ层…     

Conservation of invariants by symmetric multistep cosine methods for second-order partial differential equations

In a previous paper, some multistep cosine methods which integrate exactly the linear and stiff part of a second-order differential equation have been introduced and its convergence has been analysed under assumptions of regularity. In this paper, we characterize when this type of methods are symmetric and give a detailed analysis which allows to prove that these symmetric methods behave very advantageously with respect to the conservation of invariants when a Hamiltonian wave equation subject to periodic boundary conditions is integrated. In this way we prove that these methods are really competitive since they are explicit, stable and qualitatively correct for this type of equations.     

Global well-posedness for the 2D fluid system with the linear Soret effect and Yudovich's type data

In this paper, we are concerned with the Cauchy problem of the two-dimensional (2D) fluid system with the linear Soret effect and Yudovich's type data. We obtain global unique solution for this system without imposing any smallness conditions on the initial data. Our methods mainly rely upon Littlewood–Paley theory and loss of regularity estimates.     

Sharp regularity theory for thermo-elastic mixed problems 1

We give a sharp (optimal) regularity theory of thermo-elastic mixed problems. Our approach is by P.D.E. methods and applies to any space dimension and, in principle, to any set of boundary conditions. We consider two sets of boundary conditions: hinged and clamped B.C. The original coupled P.D.E. system is split into two suitable uncoupled P.D.E. equations: a Kirchoff mixed problem and a heat equation, whose delicate, optimal regularity is available in the literature. Ultimately, the original problem with boundary non-homogeneous term is reduced to the same problem, however, with homogeneou B.C. and a known ‘right-hand term’ in the equation, which is easier to analyze.