Asymptotic stability of stationary solutions to the compressible bipolar Navier–Stokes–Poisson equations

In this paper, we consider the compressible bipolar Navier–Stokes–Poisson equations with a non‐flat doping profile in three‐dimensional space. The existence and uniqueness of the non‐constant stationary solutions are established when the doping profile is a small perturbation of a positive constant state. Then under the smallness assumption of the initial perturbation, we show the global existence of smooth solutions to the Cauchy problem near the stationary state. Finally, the convergence rates are obtained by combining the energy estimates for the nonlinear system and the L²‐decay estimates for the linearized equations. Copyright © 2017 John Wiley & Sons, Ltd.     

Lower compactness estimates for scalar balance laws

In this paper, we study the compactness in L of the semigroup (St)_t≥0 of entropy weak solutions to strictly convex scalar conservation laws in one space dimension. The compactness of St for each t > 0 was established by P. D. Lax. Upper estimates for the Kolmogorov e‐entropy of the image of bounded sets in L¹ n L^∞ through S_t were given by C. De Lellis and F. Golse. Here we provide lower estimates on this e‐entropy of the same order as the one established by De Lellis and Golse, thus showing that such an e‐entropy is of size ≈ 1/ε. Moreover, we extend these estimates of compactness to the case of convex balance laws. © 2012 Wiley Periodicals, Inc.     

Vanishing viscosity limit of the Navier‐Stokes equations to the euler equations for compressible fluid flow

We establish the vanishing viscosity limit of the Navier‐Stokes equations to the isentropic Euler equations for one‐dimensional compressible fluid flow. For the Navier‐Stokes equations, there exist no natural invariant regions for the equations with the real physical viscosity term so that the uniform sup‐norm of solutions with respect to the physical viscosity coefficient may not be directly controllable. Furthermore, convex entropy‐entropy flux pairs may not produce signed entropy dissipation measures. To overcome these difficulties, we first develop uniform energy‐type estimates with respect to the viscosity coefficient for solutions of the Navier‐Stokes equations and establish the existence of measure‐valued solutions of the isentropic Euler equations generated by the Navier‐Stokes equations. Based on the uniform energy‐type estimates and the features of the isentropic Euler equations, we establish that the entropy dissipation measures of the solutions of the Navier‐Stokes equations for weak entropy‐entropy flux pairs, generated by compactly supported C² test functions, are confined in a compact set in H^?1, which leads to the existence of measure‐valued solutions that are confined by the Tartar‐Murat commutator relation. A careful characterization of the unbounded support of the measure‐valued solution confined by the commutator relation yields the reduction of the measurevalued solution to a Dirac mass, which leads to the convergence of solutions of the Navier‐Stokes equations to a finite‐energy entropy solution of the isentropic Euler equations with finite‐energy initial data, relative to the different end‐states at infinity. © 2010 Wiley Periodicals, Inc.     

A posteriori error estimates for finite element approximations to the wave equation with discontinuous coefficients

We derive residual‐based a posteriori error estimates of finite element method for linear wave equation with discontinuous coefficients in a two‐dimensional convex polygonal domain. A posteriori error estimates for both the space‐discrete case and for implicit fully discrete scheme are discussed in L^∞(L²) norm. The main ingredients used in deriving a posteriori estimates are new Clément type interpolation estimates in conjunction with appropriate adaption of the elliptic reconstruction technique of continuous and discrete solutions. We use only an energy argument to establish a posteriori error estimates with optimal order convergence in the L^∞(L²) norm.     

Existence of solutions to a phase transition model with microscopic movements

We prove the existence of weak solutions for a 3D phase change model introduced by Michel Frémond in (Non‐smooth Thermomechanics. Springer: Berlin, 2002) showing, via a priori estimates, the weak sequential stability property in the sense already used by the first author in (Comput. Math. Appl. 2007; 53 :461–490). The result follows by passing to the limit in an approximate problem obtained adding a superlinear part (in terms of the gradient of the temperature) in the heat flux law. We first prove well posedness for this last problem and then—using proper a priori estimates—we pass to the limit showing that the total energy is conserved during the evolution process and proving the non‐negativity of the entropy production rate in a suitable sense. Finally, these weak solutions turn out to be the classical solution to the original Frémond's model provided all quantities in question are smooth enough. Copyright © 2008 John Wiley & Sons, Ltd.     

Estimates of difference norms for functions in anisotropic Sobolev spaces

We investigate the spaces of functions on ?ⁿ for which the generalized partial derivatives Dequation/tex2gif-sup-2.gif_kf exist and belong to different Lorentz spaces Lequation/tex2gif-sup-3.gif . For the functions in these spaces, the sharp estimates of the Besov type norms are found. The methods used in the paper are based on estimates of non‐increasing rearrangements. These methods enable us to cover also the case when some of the p_k's are equal to 1. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Viscous compressible barotropic symmetric flows with free boundary under general mass force Part I: Uniform‐in‐time bounds and stabilization

We consider symmetric flows of a viscous compressible barotropic fluid with a free boundary, under a general mass force depending both on the Eulerian and Lagrangian co‐ordinates, with arbitrarily large initial data. For a general non‐monotone state function p, we prove uniform‐in‐time energy bound and the uniform bounds for the density ρ, together with the stabilization as t → ∞ of the kinetic and potential energies. We also obtain H¹‐stabilization of the velocity v to zero provided that the second viscosity is zero. For either increasing or non‐decreasing p, we study the L^λ‐stabilization of ρ and the stabilization of the free boundary together with the corresponding ω‐limit set in the general case of non‐unique stationary solution possibly with zones of vacuum. In the case of increasing p and stationary densities ρ_S separated from zero, we establish the uniform‐in‐time H¹‐bounds and the uniform stabilization for ρ and v. All these results are stated and mainly proved in the Eulerian co‐ordinates. They are supplemented with the corresponding stabilization results in the Lagrangian co‐ordinates in the case of ρ_S separated from zero. Copyright © 2005 John Wiley & Sons, Ltd.     

On cubic non‐Cayley vertex‐transitive graphs

In 1983, the second author [D. Maru?i?, Ars Combinatoria 16B (1983), 297–302] asked for which positive integers n there exists a non‐Cayley vertex‐transitive graph on n vertices. (The term non‐Cayley numbers has later been given to such integers.) Motivated by this problem, Feng [Discrete Math 248 (2002), 265–269] asked to determine the smallest valency ?(n) among valencies of non‐Cayley vertex‐transitive graphs of order n. As cycles are clearly Cayley graphs, ?(n)?3 for any non‐Cayley number n. In this paper a goal is set to determine those non‐Cayley numbers n for which ?(n) = 3, and among the latter to determine those for which the generalized Petersen graphs are the only non‐Cayley vertex‐transitive graphs of order n. It is known that for a prime p every vertex‐transitive graph of order p, p² or p³ is a Cayley graph, and that, with the exception of the Coxeter graph, every cubic non‐Cayley vertex‐transitive graph of order 2p, 4p or 2p² is a generalized Petersen graph. In this paper the next natural step is taken by proving that every cubic non‐Cayley vertex‐transitive graph of order 4p², p>7 a prime, is a generalized Petersen graph. In addition, cubic non‐Cayley vertex‐transitive graphs of order 2p^k, where p>7 is a prime and k?p, are characterized. © 2011 Wiley Periodicals, Inc. J Graph Theory 69: 77–95, 2012     

Asymptotic analysis and boundary homogenization in linear elasticity

We describe the asymptotic behaviour of the solution of a linear elastic problem posed in a domain of ℝ³, with homogeneous Dirichlet boundary conditions imposed on small zones of size less than ϵ distributed on the boundary of this domain, when the parameter ϵ goes to 0. We use epi‐convergence arguments in order to establish this asymptotic behaviour. We then specialize this general situation to the case of identical strips of size r_ϵ ϵ‐periodically distributed on the lateral surface of an axisymmetric body. We exhibit a critical size of the strips through the limit of the non‐negative quantity −1/(ϵ ln r_ϵ) and we identify the different limit problems according to the values of this limit. Copyright © 2000 John Wiley & Sons, Ltd.     

Symmetries for the Ablowitz–Ladik Hierarchy: Part I. Four‐Potential Case

In the paper, we first investigate symmetries of isospectral and non‐isospectral four‐potential Ablowitz–Ladik hierarchies. We express these hierarchies in the form of u_n,t= L^mH⁽⁰⁾ , where m is an arbitrary integer (instead of a nature number) and L is the recursion operator. Then by means of the zero‐curvature representations of the isospectral and non‐isospectral flows, we construct symmetries for the isospectral equation hierarchy as well as non‐isospectral equation hierarchy, respectively. The symmetries, respectively, form two centerless Kac‐Moody‐Virasoro algebras. The recursion operator L is proved to be hereditary and a strong symmetry for this isospectral equation hierarchy. Besides, we make clear for the relation between four‐potential and two‐potential Ablowitz–Ladik hierarchies. The even order members in the four‐potential Ablowitz–Ladik hierarchies together with their symmetries and algebraic structures can be reduced to two‐potential case. The reduction keeps invariant for the algebraic structures and the recursion operator for two potential case becomes L² .     

Second‐order finite‐volume schemes for a non‐linear hyperbolic equation: error estimate

We study second‐order finite‐volume schemes for the non‐linear hyperbolic equation u_t(x, t) + div F(x, t, u(x, t)) = 0 with initial condition u₀. The main result is the error estimate between the approximate solution given by the scheme and the entropy solution. It is based on some stability properties verified by the scheme and on a discrete entropy inequality. If u₀ ∈ L^∞ ∩ BV_loc(ℝ^N), we get an error estimate of order h^1/4, where h defines the size of the mesh. Copyright © 2000 John Wiley & Sons, Ltd.     

Morley type non‐C0 nonconforming rectangular plate finite elements on anisotropic meshes

In this article, two Morley type non‐C⁰ nonconforming rectangular finite elements are discussed to numerically solve the fourth order plate bending problem under anisotropic meshes. The optimal anisotropic interpolation error and consistency error estimates are obtained by using some novel approaches. Some numerical tests are given to confirm the theoretical analysis. © 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2010     

Clifford algebras and Maxwell's equations in Lipschitz domains

We present a simple, Clifford algebra‐based approach to several key results in the theory of Maxwell's equations in non‐smooth subdomains of ℝ^m. Among other things, we give new proofs to the boundary energy estimates of Rellich type for Maxwell's equations in Lipschitz domains from [20, 10], discuss radiation conditions and the case of variable wave number. Copyright © 1999 John Wiley & Sons, Ltd.     

Convergence and superconvergence analysis of an anisotropic nonconforming finite element methods for semisingularly perturbed reaction–diffusion problems

The numerical approximation by a lower‐order anisotropic nonconforming finite element on appropriately graded meshes are considered for solving semisingular perturbation problems. The quasi‐optimal‐order error estimates are proved in the ε‐weighted H¹‐norm valid uniformly, up to a logarithmic factor, in the singular perturbation parameter. By using the interpolation postprocessing technique, the global superconvergent error estimates in ε‐weighted H¹‐norm are obtained. Numerical experiments are given to demonstrate validity of our theoretical analysis. Copyright © 2007 John Wiley & Sons, Ltd.     

Local mesh refinement for the discretization of Neumann boundary control problems on polyhedra

This paper deals with optimal control problems constrained by linear elliptic partial differential equations. The case where the right‐hand side of the Neumann boundary is controlled, is studied. The variational discretization concept for these problems is applied, and discretization error estimates are derived. On polyhedral domains, one has to deal with edge and corner singularities, which reduce the convergence rate of the discrete solutions, that is, one cannot expect convergence order two for linear finite elements on quasi‐uniform meshes in general. As a remedy, a local mesh refinement strategy is presented, and a priori bounds for the refinement parameters are derived such that convergence with optimal rate is guaranteed. As a by‐product, finite element error estimates in the H¹(Ω)‐norm, L²(Ω)‐norm and L²(Γ)‐norm for the boundary value problem are obtained, where the latter one turned out to be the main challenge. Copyright © 2015 John Wiley & Sons, Ltd.     

Attractors of reaction‐diffusion systems in unbounded domains and their spatial complexity

The nonlinear reaction‐diffusion system in an unbounded domain is studied. It is proven that, under some natural assumptions on the nonlinear term and on the diffusion matrix, this system possesses a global attractor ?? in the corresponding phase space. Since the dimension of the attractor happens to be infinite, we study its Kolmogorov's ?‐entropy. Upper and lower bounds of this entropy are obtained. Moreover, we give a more detailed study of the attractor for the spatially homogeneous RDE in ?ⁿ. In this case, a group of spatial shifts acts on the attractor. In order to study the spatial complexity of the attractor, we interpret this group as a dynamical system (with multidimensional “time” if n > 1) acting on a phase space ??. It is proven that the dynamical system thus obtained is chaotic and has infinite topological entropy. In order to clarify the nature of this chaos, we suggest a new model dynamical system that generalizes the symbolic dynamics to the case of the infinite entropy and construct the homeomorphic (and even Lipschitz‐continuous) embedding of this system into the spatial shifts on the attractor. Finally, we consider also the temporal evolution of the spatially chaotic structures in the attractor and prove that the spatial chaos is preserved under this evolution. © 2003 Wiley Periodicals, Inc.     

Well‐posedness of the upper convected Maxwell fluid in the limit of infinite Weissenberg number

An iteration scheme is used to show the well‐posedness of the initial‐boundary value problem for incompressible hypoelastic materials, which arise as a high Weissenberg number limit of viscoelastic fluids. We first assume that the stress is a rank‐one matrix T=qq^T, q∈?ⁿ, and develop energy estimates to show that the problem is locally well‐posed. This problem is related to incompressible ideal magnetohydrodynamics (MHD). We show that the general case T=CC^T, C∈?^n×n can be handled by a generalization of the method we developed. Copyright © 2010 John Wiley & Sons, Ltd.     

半导体中非线性漂流扩散模型的拟中性极限:快扩散情形

本文研究无Pn-联结的非线性双极半导体漂流扩散模型的消失Debye长度极限(即粒子中性极限)问题．使用熵方法和弱紧性方法从数学上严格证明了快扩散情形的拟中性极限．     

Uniform estimate of the constant in the strengthened CBS inequality for anisotropic non‐conforming FEM systems

Preconditioners based on various multilevel extensions of two‐level finite element methods (FEM) lead to iterative methods which have an optimal order computational complexity with respect to the size of the system. Such methods were first presented in Axelsson and Padiy (SIAM. J. Sci. Stat. Comp. 1990; 20 :1807) and Axelsson and Vassilevski (Numer. Math. 1989; 56 :157), and are based on (recursive) two‐level splittings of the finite element space. The key role in the derivation of optimal convergence rate estimates is played by the constant γ in the so‐called Cauchy–Bunyakowski–Schwarz (CBS) inequality, associated with the angle between the two subspaces of the splitting. It turns out that only existence of uniform estimates for this constant is not enough but accurate quantitative bounds for γ have to be found as well. More precisely, the value of the upper bound for γ∈(0,1) is part of the construction of various multilevel extensions of the related two‐level methods. In this paper, an algebraic two‐level preconditioning algorithm for second‐order elliptic boundary value problems is constructed, where the discretization is done using Crouzeix–Raviart non‐conforming linear finite elements on triangles. An important point to make is that in this case the finite element spaces corresponding to two successive levels of mesh refinements are not nested. To handle this, a proper two‐level basis is considered, which enables us to fit the general framework for the construction of two‐level preconditioners for conforming finite elements and to generalize the method to the multilevel case. The major contribution of this paper is the derived estimates of the related constant γ in the strengthened CBS inequality. These estimates are uniform with respect to both coefficient and mesh anisotropy. To our knowledge, the results presented in the paper are the first such estimates for non‐conforming FEM systems. Copyright © 2004 John Wiley & Sons, Ltd.     

Lipschitz Estimates in Almost‐Periodic Homogenization

We establish uniform Lipschitz estimates for second‐order elliptic systems in divergence form with rapidly oscillating, almost‐periodic coefficients. We give interior estimates as well as estimates up to the boundary in bounded C^1,α domains with either Dirichlet or Neumann data. The main results extend those in the periodic setting due to Avellaneda and Lin for interior and Dirichlet boundary estimates and later Kenig, Lin, and Shen for the Neumann boundary conditions. In contrast to these papers, our arguments are constructive (and thus the constants are in principle computable) and the results for the Neumann conditions are new even in the periodic setting, since we can treat nonsymmetric coefficients. We also obtain uniform W^1,p estimates.© 2016 Wiley Periodicals, Inc.