A non‐commutative Landau‐Zener formula

We study semi‐classical measures of families of solutions to a 2 × 2 Dirac system with 0 mass, which presents bands crossing. We focus on constant electro‐magnetic fields. The fact that these fields are orthogonal or not leads to different geometric situations. In the first case, one reduces to some well‐understood model problem. For studying the second case, we introduce some two‐scale semi‐classical measures associated with symplectic submanifold. These measures are operator‐valued measures and the transfer of energy at the crossing is described by a non‐commutative Landau‐Zener formula for these measures. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Existence and zero‐electron‐mass limit of strong solutions to the stationary compressible Navier‐Stokes‐Poisson equation with large external force

In this study, we consider a viscous compressible model of plasma and semiconductors, which is expressed as a compressible Navier‐Stokes‐Poisson equation. We prove that there exists a strong solution to the boundary value problem of the steady compressible Navier‐Stokes‐Poisson equation with large external forces in bounded domain, provided that the ratio of the electron/ions mass is appropriately small. Moreover, the zero‐electron‐mass limit of the strong solutions is rigorously verified. The main idea in the proof is to split the original equation into 4 parts, a system of stationary incompressible Navier‐Stokes equations with large forces, a system of stationary compressible Navier‐Stokes equations with small forces, coupled with 2 Poisson equations. Based on the known results about linear incompressible Navier‐Stokes equation, linear compressible Navier‐Stokes, linear transport, and Poisson equations, we try to establish uniform in the ratio of the electron/ions mass a priori estimates. Further, using Schauder fixed point theorem, we can show the existence of a strong solution to the boundary value problem of the steady compressible Navier‐Stokes‐Poisson equation with large external forces. At the same time, from the uniform a priori estimates, we present the zero‐electron‐mass limit of the strong solutions, which converge to the solutions of the corresponding incompressible Navier‐Stokes‐Poisson equations.     

Weak‐quasi‐Stone algebras

In this paper we shall introduce the variety WQS of weak‐quasi‐Stone algebras as a generalization of the variety QS of quasi‐Stone algebras introduced in [9]. We shall apply the Priestley duality developed in [4] for the variety N of ¬‐lattices to give a duality for WQS. We prove that a weak‐quasi‐Stone algebra is characterized by a property of the set of its regular elements, as well by mean of some principal lattice congruences. We will also determine the simple and subdirectly irreducible algebras (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Mass‐lumping or not mass‐lumping for eigenvalue problems

In this article we analyze the effect of mass‐lumping in the linear triangular finite element approximation of second‐order elliptic eigenvalue problems. We prove that the eigenvalue obtained by using mass‐lumping is always below the one obtained with exact integration. For singular eigenfunctions, as those arising in non convex polygons, we prove that the eigenvalue obtained with mass‐lumping is above the exact eigenvalue when the mesh size is small enough. So, we conclude that the use of mass‐lumping is convenient in the singular case. When the eigenfunction is smooth several numerical experiments suggest that the eigenvalue computed with mass‐lumping is below the exact one if the mesh is not too coarse. © 2003 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 19: 653–664, 2003     

ω‐categorical weakly o‐minimal expansions of Boolean lattices

We study ω‐categorical weakly o‐minimal expansions of Boolean lattices. We show that a structure ?? = (A,≤, ?) expanding a Boolean lattice (A,≤) by a finite sequence I of ideals of A closed under the usual Heyting algebra operations is weakly o‐minimal if and only if it is ω‐categorical, and hence if and only if A/I has only finitely many atoms for every I ∈ ?. We propose other related examples of weakly o‐minimal ω‐categorical models in this framework, and we examine the internal structure of these models.     

On deciding the non‐emptiness of 2SAT polytopes with respect to First Order Queries

This paper is concerned with techniques for identifying simple and quantified lattice points in 2SAT polytopes. 2SAT polytopes generalize the polyhedra corresponding to Boolean 2SAT formulas, Vertex‐Packing (Covering, Partitioning) and Network flow problems; they find wide application in the domains of Program verification (Software Engineering) and State‐Space search (Artificial Intelligence). Our techniques are based on the symbolic elimination strategy called the Fourier‐Motzkin elimination procedure and thus have the advantages of being extremely simple (from an implementational perspective) and incremental. We also provide a characterization of a 2SAT polytope in terms of its extreme points and derive some interesting hardness results for associated optimization problems. Finally, we provide a brief discussion on the maximum size of a subdeterminant of the linear system representing a 2SAT polytope; this parameter plays a vital role in deriving analytical bounds on the size of the search space for checking whether the polyhedron includes a lattice point. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Spectral analysis for linear semi‐infinite mass‐spring systems

We study how the spectrum of a Jacobi operator changes when this operator is modified by a certain finite rank perturbation. The operator corresponds to an infinite mass‐spring system and the perturbation is obtained by modifying one interior mass and one spring of this system. In particular, there are detailed results of what happens in the spectral gaps and which eigenvalues do not move under the modifications considered. These results were obtained by a new tecnique of comparative spectral analysis and they generalize and include previous results for finite and infinite Jacobi matrices.     

Some results on the internal finite‐time stabilization of vibrating strings with interior mass

In this paper, the problem of internal finite‐time stabilization for 1‐D coupled wave equations with interior point mass is handled. The nonlinear stabilizing feedback law leads, in closed‐loop, to nonlinear evolution equations where Kato theory is used to prove the well‐posedness. In addition, it is showed that in some cases, the solution of this hybrid system is constant in finite‐time if we use Neumann boundary conditions. This result can be improved (in complete finite‐time stability sense) if we change the above feedback.     

Mass and spring dimer Fermi–Pasta–Ulam–Tsingou nanopterons with exponentially small,nonvanishing ripples

We study traveling waves in mass and spring dimer Fermi–Pasta–Ulam–Tsingou (FPUT) lattices in the long wave limit. Such lattices are known to possess nanopteron traveling waves in relative displacement coordinates. These nanopteron profiles consist of the superposition of an exponentially localized “core,” which is close to a Korteweg–de Vries solitary wave, and a periodic “ripple,” whose amplitude is small beyond all algebraic orders of the long wave parameter, although a zero amplitude is not precluded. Here we deploy techniques of spatial dynamics, inspired by results of Iooss and Kirchgässner, Iooss and James, and Venney and Zimmer, to construct mass and spring dimer nanopterons whose ripples are both exponentially small and also nonvanishing. We first obtain “growing front” traveling waves in the original position coordinates and then pass to relative displacement. To study position, we recast its traveling wave problem as a first-order equation on an infinite-dimensional Banach space; then we develop hypotheses that, when met, allow us to reduce such a first-order problem to one solved by Lombardi. A key part of our analysis is then the passage back from the reduced problem to the original one. Our hypotheses free us from working strictly with lattices but are easily checked for FPUT mass and spring dimers. We also give a detailed exposition and reinterpretation of Lombardi's methods, to illustrate how our hypotheses work in concert with his techniques, and we provide a dialog with prior methods of constructing FPUT nanopterons, to expose similarities and differences with the present approach.     

Clique‐coloring some classes of odd‐hole‐free graphs

We consider the problem of clique‐coloring, that is coloring the vertices of a given graph such that no maximal clique of size at least 2 is monocolored. Whereas we do not know any odd‐hole‐free graph that is not 3‐clique‐colorable, the existence of a constant C such that any perfect graph is C‐clique‐colorable is an open problem. In this paper we solve this problem for some subclasses of odd‐hole‐free graphs: those that are diamond‐free and those that are bull‐free. We also prove the NP‐completeness of 2‐clique‐coloring K₄‐free perfect graphs. © 2006 Wiley Periodicals, Inc. J Graph Theory 53: 233–249, 2006     

Wave simulations of Gray‐Scott reaction‐diffusion system

In this work, we study the numerical simulation of the one‐dimensional reaction‐diffusion system known as the Gray‐Scott model. This model is responsible for the spatial pattern formation, which we often meet in nature as the result of some chemical reactions. We have used the trigonometric quartic B‐spline (T4B) functions for space discretization with the Crank‐Nicolson method for time integration to integrate the nonlinear reaction‐diffusion equation into a system of algebraic equations. The solutions of the Gray‐Scott model are presented with different wave simulations. Test problems are chosen from the literature to illustrate the stationary waves, pulse‐splitting waves, and self‐replicating waves.     

Bounded BCK‐algebras and their generated variety

In this paper we prove that the equational class generated by bounded BCK‐algebras is the variety generated by the class of finite simple bounded BCK‐algebras. To obtain these results we prove that every simple algebra in the equational class generated by bounded BCK‐algebras is also a relatively simple bounded BCK‐algebra. Moreover, we show that every simple bounded BCK‐algebra can be embedded into a simple integral commutative bounded residuated lattice. We extend our main results to some richer subreducts of the class of integral commutative bounded residuated lattices and to the involutive case. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Semi‐linear wave models with power non‐linearity and scale‐invariant time‐dependent mass and dissipation,II

This paper is a continuation of our recent paper 8 . We will consider the semi‐linear Cauchy problem for wave models with scale‐invariant time‐dependent mass and dissipation and power non‐linearity. The goal is to study the interplay between the coefficients of the mass and the dissipation term to prove global existence (in time) of small data energy solutions assuming suitable regularity on the L² scale with additional L¹ regularity for the data. In order to deal with this L² regularity in the non‐linear part, we will develop and employ some tools from Harmonic Analysis.     

Conservative discretizations and parameter‐robust preconditioners for Biot and multiple‐network flux‐based poroelasticity models

The parameters in the governing system of partial differential equations of multiple‐network poroelasticity models typically vary over several orders of magnitude, making its stable discretization and efficient solution a challenging task. In this paper, we prove the uniform Ladyzhenskaya–Babu?ka–Brezzi (LBB) condition and design uniformly stable discretizations and parameter‐robust preconditioners for flux‐based formulations of multiporosity/multipermeability systems. Novel parameter‐matrix‐dependent norms that provide the key for establishing uniform LBB stability of the continuous problem are introduced. As a result, the stability estimates presented here are uniform not only with respect to the Lamé parameter λ but also to all the other model parameters, such as the permeability coefficients K_i; storage coefficients $c_{p_i}$; network transfer coefficients β_{i j},i,j = 1,…,n; the scale of the networks n; and the time step size τ. Moreover, strongly mass‐conservative discretizations that meet the required conditions for parameter‐robust LBB stability are suggested and corresponding optimal error estimates proved. The transfer of the canonical (norm‐equivalent) operator preconditioners from the continuous to the discrete level lays the foundation for optimal and fully robust iterative solution methods. The theoretical results are confirmed in numerical experiments that are motivated by practical applications.     

The discrete (G′/G)‐expansion method applied to the differential‐difference Burgers equation and the relativistic Toda lattice system

We introduce the discrete (G′/G)‐expansion method for solving nonlinear differential–difference equations (NDDEs). As illustrative examples, we consider the differential–difference Burgers equation and the relativistic Toda lattice system. Discrete solitary, periodic, and rational solutions are obtained in a concise manner. The method is also applicable to other types of NDDEs. © 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 28: 127‐137, 2012     

Modified Hermitian and skew‐Hermitian splitting methods for non‐Hermitian positive‐definite linear systems

To further study the Hermitian and non‐Hermitian splitting methods for a non‐Hermitian and positive‐definite matrix, we introduce a so‐called lopsided Hermitian and skew‐Hermitian splitting and then establish a class of lopsided Hermitian/skew‐Hermitian (LHSS) methods to solve the non‐Hermitian and positive‐definite systems of linear equations. These methods include a two‐step LHSS iteration and its inexact version, the inexact Hermitian/skew‐Hermitian (ILHSS) iteration, which employs some Krylov subspace methods as its inner process. We theoretically prove that the LHSS method converges to the unique solution of the linear system for a loose restriction on the parameter α. Moreover, the contraction factor of the LHSS iteration is derived. The presented numerical examples illustrate the effectiveness of both LHSS and ILHSS iterations. Copyright © 2007 John Wiley & Sons, Ltd.     

One‐factorizations of complete graphs with vertex‐regular automorphism groups

We consider one‐factorizations of K_2n possessing an automorphism group acting regularly (sharply transitively) on vertices. We present some upper bounds on the number of one‐factors which are fixed by the group; further information is obtained when equality holds in these bounds. The case where the group is dihedral is studied in some detail, with some non‐existence statements in case the number of fixed one‐factors is as large as possible. Constructions both for dihedral groups and for some classes of abelian groups are given. © 2002 John Wiley & Sons, Inc. J Combin Designs 10: 1–16, 2002     

Semi‐linear wave models with power non‐linearity and scale‐invariant time‐dependent mass and dissipation

In this paper we will consider the semi‐linear Cauchy problem for wave models with scale‐invariant time‐dependent mass and dissipation and power non‐linearity. The goal is to study the interplay between the coefficients of the mass and the dissipation term to prove blow‐up results or global existence (in time) of small data energy solutions.     

Besov‐Morrey spaces and Triebel‐Lizorkin‐Morrey spaces for nondoubling measures

We define Morrey type Besov‐Triebel spaces with the underlying measure non‐doubling. After defining the function spaces, we investigate boundedness property of some class of the singular integral operators (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Local well‐posedness for the Cauchy problem of the MHD equations with mass diffusion

This paper studies the Cauchy problem of the MHD equations with mass diffusion. We use the Tikhonov fixed point theorem to prove a local‐in‐time well‐posedness theorem. Copyright © 2010 John Wiley & Sons, Ltd.