On the Modified Crystalline Stefan Problem with Singular Data

We study the behavior of solutions of the modified Stefan problem in the plane for polygonal interfaces. We are particularly interested in a solution near a singularity of either the loss of a facet or the breaking of a facet. We establish precise regularity results if a facet disappears. We use them to establish the existence of a weak solution with singular data, i.e., when some of the zero-crystalline-curvature facets have zero length.     

脉冲微分方程的上、下解及其在常微分方程上的应用

In this paper, we establish the existence of upper and lower solutions for a periodic boundary value problems (PBVP for short) of impulsive differential equations. which guarantees the existence of at least one solution for the problem. As an application, these results are applied to PBVP of ODE and some examples are given to illustrate our results.     

关于拟共形映照边界伸缩商的一个注记

本文给出了拟共形映照边界伸缩商与无限小边界伸缩商的一个等式h([μ])=inf_(μ1∈[μ])b([μ1]B)；并给出了一个关于T_0空间的推论．     

Comparison of the boundary theory with the contact rule of phase regions and Gupta’s method

The phase boundary theory and the contact rule of phase regions are compared, and some weaknesses of the latter are manifested. The comparison between the Gupta’s method and the boundary theory method for constructing multicomponent isobaric sections is also presented.     

Exact Max-SAT solvers for over-constrained problems

We present a new generic problem solving approach for over-constrained problems based on Max-SAT. We first define a Boolean clausal form formalism, called soft CNF formulas, that deals with blocks of clauses instead of individual clauses, and that allows one to declare each block either as hard (i.e., must be satisfied by any solution) or soft (i.e., can be violated by some solution). We then present two Max-SAT solvers that find a truth assignment that satisfies all the hard blocks of clauses and the maximum number of soft blocks of clauses. Our solvers are branch and bound algorithms equipped with original lazy data structures, powerful inference techniques, good quality lower bounds, and original variable selection heuristics. Finally, we report an experimental investigation on a representative sample of instances (random 2-SAT, Max-CSP, graph coloring, pigeon hole and quasigroup completion) which provides experimental evidence that our approach is very competitive compared with the state-of-the-art approaches developed in the CSP and SAT communities. Research partially supported by projects TIN2004-07933-C03-03 and TIC2003-00950 funded by the Ministerio de Educación y Ciencia. The second author is supported by a grant Ramón y Cajal.     

High order generalized upwind schemes and numerical solution of singular perturbation problems

High even order generalizations of the traditional upwind method are introduced to solve second order ODE-BVPs without recasting the problem as a first order system. Both theoretical analysis and numerical comparison with central difference schemes of the same order show that these new methods may avoid typical oscillations and achieve high accuracy. Singular perturbation problems are taken into account to emphasize the main features of the proposed methods. AMS subject classification (2000)  65L10, 65L12, 65L50     

On the Lp–Lq maximal regularity for Stokes equations with Robin boundary condition in a bounded domain

We obtain the L_p–L_q maximal regularity of the Stokes equations with Robin boundary condition in a bounded domain in ?ⁿ (n?2). The Robin condition consists of two conditions: v ? u=0 and αu+β(T(u, p)v – 〈T(u, p)v, v〉v)=h on the boundary of the domain with α, β?0 and α+β=1, where u and p denote a velocity vector and a pressure, T(u, p) the stress tensor for the Stokes flow and v the unit outer normal to the boundary of the domain. It presents the slip condition when β=1 and non‐slip one when α=1, respectively. The slip condition is appropriate for problems that involve free boundaries. Copyright © 2006 John Wiley & Sons, Ltd.     

Global Parametric Sufficient Optimality Conditions for Semi-infinite Discrete Minmax Fractional Programming Problems Involving Generalized （η,ρ）-invex Functions

In this paper,we discuss a large number of sets of global parametric sufficient optimality condi-tions under various gcneralized (η,ρ)-invexity assumptions for a semi-infinite minmax fractional programmingproblem.     

On existence and regularity of solutions for 2‐D micropolar fluid equations with periodic boundary conditions

In this paper, we prove the existence and uniqueness of a global solution for 2‐D micropolar fluid equation with periodic boundary conditions. Then we restrict ourselves to the autonomous case and show the existence of a global attractor. Copyright © 2006 John Wiley & Sons, Ltd.     

矩母函数:拟对称概率测度

本文用凸函数的方法研究了概率测度的矩母函数和由C.J.Stone提出的拟对称性,并刻画了Martin边界的法向量.拟对称性在随机游动的比例极限定理中是一个重要的概念.这些结果可应用于Levy过程的研究.