Global Well‐Posedness of the Three‐Dimensional Primitive Equations with Only Horizontal Viscosity and Diffusion

In this paper, we consider the initial boundary value problem of the three‐dimensional primitive equations for planetary oceanic and atmospheric dynamics with only horizontal eddy viscosity in the horizontal momentum equations and only horizontal diffusion in the temperature equation. Global well‐posedness of the strong solution is established for any H² initial data. An N‐dimensional logarithmic Sobolev embedding inequality, which bounds the L^∞‐norm in terms of the L^q‐norms up to a logarithm of the L^p‐norm for p > N of the first‐order derivatives, and a system version of the classic Grönwall inequality are exploited to establish the required a~priori H² estimates for global regularity.© 2016 Wiley Periodicals, Inc.     

Uniqueness of the weak solution to the fractional anisotropic Navier‐Stokes equations

In this work, we demonstrate uniqueness of the weak solution to the fractional anisotropic Navier‐Stokes system with only horizontal dissipation.     

A regularity criterion for two‐and‐half‐dimensional magnetohydrodynamic equations with horizontal dissipation and horizontal magnetic diffusion

We study the global regularity of classical solution to two‐and‐half‐dimensional magnetohydrodynamic equations with horizontal dissipation and horizontal magnetic diffusion. We prove that any possible finite time blow‐up can be controlled by the L^∞‐norm of the vertical components. Copyright © 2016 John Wiley & Sons, Ltd.     

Non‐linear stability in the Bénard problem for a double‐diffusive mixture in a porous medium

The linear and non‐linear stability of a horizontal layer of a binary fluid mixture in a porous medium heated and salted from below is studied, in the Oberbeck–Boussinesq–Darcy scheme, through the Lyapunov direct method. This is an interesting geophysical case because the salt gradient is stabilizing while heating from below provides a destabilizing effect. The competing effects make an instability analysis difficult. Unconditional non‐linear exponential stability is found in the case where the normalized porosity ? is equal to one. For other values of ? a conditional stability theorem is proved. In both cases we demonstrate the optimum result that the linear and non‐linear critical stability parameters are the same whenever the Principle of Exchange of Stabilities holds. Copyright © 2001 John Wiley & Sons, Ltd.     

Modeling and simulation of the motion of nanoparticles in cylindrical capillaries allowing particle‐to‐wall interactions

The process of transporting nanoparticles at the blood vessels level stumbles upon various physical and physiological obstacles; therefore, a Mathematical modeling will provide a valuable means through which to understand better this complexity. In this paper, we consider the motion of nanoparticles in capillaries having cylindrical shapes (i.e., tubes of finite size). Under the assumption that these particles have spherical shapes, the motion of these particles reduces to the motion of their centers. Under these conditions, we derive the mathematical model, to describe the motion of these centers, from the equilibrium of the gravitational force, the hemodynamic force and the van der Waals interaction forces. We distinguish between the interaction between the particles and the interaction between each particle and the walls of the tube. Assuming that the minimum distance between the particles is large compared with the maximum radius R of the particles and hence neglecting the interactions between the particles, we derive simpler models for each particle taking into account the particles‐to‐wall interactions. At an error of order O(R) or O(R³)(depending if the particles are 'near' or 'very near' to the walls), we show that the horizontal component of each particle's displacement is solution of a nonlinear integral equation that we can solve via the fixed point theory. The vertical components of the displacement are computable in a straightforward manner as soon as the horizontal components are estimated. Finally, we support this theory with several numerical tests. Copyright © 2016 John Wiley & Sons, Ltd.     

The Stability of Large‐Amplitude Shallow Interfacial Non‐Boussinesq Flows

The system of equations describing the shallow‐water limit dynamics of the interface between two layers of immiscible fluids of different densities is formulated. The flow is bounded by horizontal top and bottom walls. The resulting equations are of mixed type: hyperbolic when the shear is weak and the behavior of the system is internal‐wave like, and elliptic for strong shear. This ellipticity, or ill‐posedness is shown to be a manifestation of large‐scale shear instability. This paper gives sharp nonlinear stability conditions for this nonlinear system of equations. For initial data that are initially hyperbolic, two different types of evolution may occur: the system may remain hyperbolic up to internal wave breaking, or it may become elliptic prior to wave breaking. Using simple waves that give a priori bounds on the solutions, we are able to characterize the condition preventing the second behavior, thus providing a long‐time well‐posedness, or nonlinear stability result. Our formulation also provides a systematic way to pass to the Boussinesq limit, whereby the density differences affect buoyancy but not momentum, and to recover the result that shear instability cannot occur from hyperbolic initial data in that case.     

Three‐layer flows in the shallow water limit

We formulate and discuss the shallow water limit dynamics of the layered flow with three layers of immiscible fluids of different densities bounded above and below by horizontal walls. We obtain a resulting system of four equations, which may be nonlocal in the non‐Boussinesq case. We provide a systematic way to pass to the Boussinesq limit, and then study those equations, which are first‐order PDEs of mixed type, more carefully. We show that in a symmetric case the solutions remain on an invariant surface and using simple waves we illustrate that this is not the case for nonsymmetric cases. Reduced models consisting of systems of two equations are also proposed and compared to the full system.     

Modulus‐based synchronous multisplitting methods for solving horizontal linear complementarity problems on parallel computers

In this article, we generalize modulus‐based synchronous multisplitting methods to horizontal linear complementarity problems. In particular, first we define the methods of our concern and prove their convergence under suitable smoothness assumptions. Particular attention is devoted also to modulus‐based multisplitting accelerated overrelaxation methods. Then, as multisplitting methods are well‐suited for parallel computations, we analyze the parallel behavior of the proposed procedures. In particular, we do so by solving various test problems by a parallel implementation of our multisplitting methods. In this context, we carry out parallel computations on GPU with CUDA.     

One time‐step finite element discretization of the equation of motion of two‐fluid flows

We discretize in space the equations obtained at each time step when discretizing in time a Navier‐Stokes system modelling the two‐dimensional flow in a horizontal pipe of two immiscible fluids with comparable densities, but very different viscosities. At each time step the system reduces to a generalized Stokes problem with nonstandard conditions at the boundary and at the interface between the two fluids. We discretize this system with the “mini‐element” and establish error estimates. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2005     

Complexity of clique‐coloring odd‐hole‐free graphs

In this paper we investigate the problem of clique‐coloring, which consists in coloring the vertices of a graph in such a way that no monochromatic maximal clique appears, and we focus on odd‐hole‐free graphs. On the one hand we do not know any odd‐hole‐free graph that is not 3‐clique‐colorable, but on the other hand it is NP‐hard to decide if they are 2‐clique‐colorable, and we do not know if there exists any bound k₀ such that they are all k₀ ‐clique‐colorable. First we will prove that (odd hole, codiamond)‐free graphs are 2‐clique‐colorable. Then we will demonstrate that the complexity of 2‐clique‐coloring odd‐hole‐free graphs is actually Σ₂ P‐complete. Finally we will study the complexity of deciding whether or not a graph and all its subgraphs are 2‐clique‐colorable. © 2009 Wiley Periodicals, Inc. J Graph Theory 62: 139–156, 2009     

Methods for the numerical solution of the Benjamin‐Bona‐Mahony‐Burgers equation

L^∞‐error estimates for finite element for Galerkin solutions for the Benjamin‐Bona‐Mahony‐Burgers (BBMB) equation are considered. A priori bound and the semidiscrete Galerkin scheme are studied using appropriate projections. For fully discrete Galerkin schemes, we consider the backward Euler method and analyze the corresponding error estimates. For a second order accuracy in time, we propose a three‐level backward method. © 2008 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2008     

Time‐Periodic Forcing and Asymptotic Stability for the Navier‐Stokes‐Maxwell Equations

For the three‐dimensional Navier‐Stokes‐Maxwell problem on the whole space and in the presence of external time‐periodic forces, first we study the existence of time‐periodic small solutions, and then we prove their asymptotic stability. We use a new type of spaces to account for averaged decay in time.© 2017 Wiley Periodicals, Inc.     

Paley‐Wiener‐Type theorems for the Clifford‐Fourier transform

In the framework of Clifford analysis, we consider the Paley‐Wiener type theorems for a generalized Clifford‐Fourier transform. This Clifford‐Fourier transform is given by a similar operator exponential as the classical Fourier transform but containing generators of Lie superalgebra.     

Complexiton solutions to the Hirota‐Satsuma‐Ito equation

The Hirota bilinear method is a powerful tool for solving nonlinear evolution equations. Together with the linear superposition principle, it can be used to find a special class of explicit solutions that correspond to complex eigenvalues of associated characteristic problems. These solutions are known as complexiton solutions or simply complexitons. In this article, we study complexiton solutions of the the Hirota‐Satsuma‐Ito equation which is a (2 + 1)‐dimensional extension of the Hirota‐Satsuma shallow water wave equation known to describe propagation of unidirectional shallow water waves. We first construct hyperbolic function solutions and consequently derive the so‐called complexitons via the Hirota bilinear method and the linear superposition principle. In particular, we find nonsingular complexiton solutions to the Hirota‐Satsuma‐Ito equation. Finally, we give some illustrative examples and a few concluding remarks.     

Study of the effect of viscosity and homogeneous horizontal magnetic field on Rayleigh‐Taylor instability

Effect of the viscosity on Rayleigh‐Taylor instability for two contiguous semi‐infinite fluids, in presence of a homogeneous horizontal magnetic field permeating both fluids is investigated. These fluids are incompressible, are arranged in horizontal strata and infinitely conducting. Only the linear terms in the magnetohydrodynamic (MHD) equations are considered. The gravitational acceleration was constant. The dispersion relation that defines the growth rate σ for the system has been defined as a function of the physical parameters of the system and was solved numerically.     

On an initial‐boundary value problem for a wide‐angle parabolic equation in a waveguide with a variable bottom

We consider the third‐order Claerbout‐type wide‐angle parabolic equation (PE) of underwater acoustics in a cylindrically symmetric medium consisting of water over a soft bottom B of range‐dependent topography. There is strong indication that the initial‐boundary value problem for this equation with just a homogeneous Dirichlet boundary condition posed on B may not be well‐posed, for example when B is downsloping. We impose, in addition to the above, another homogeneous, second‐order boundary condition, derived by assuming that the standard (narrow‐angle) PE holds on B, and establish a priori H² estimates for the solution of the resulting initial‐boundary value problem for any bottom topography. After a change of the depth variable that makes B horizontal, we discretize the transformed problem by a second‐order accurate finite difference scheme and show, in the case of upsloping and downsloping wedge‐type domains, that the new model gives stable and accurate results. We also present an alternative set of boundary conditions that make the problem exactly energy conserving; one of these conditions may be viewed as a generalization of the Abrahamsson–Kreiss boundary condition in the wide‐angle case. Copyright © 2008 John Wiley & Sons, Ltd.     

D'Alembert‐type solution of the Cauchy problem for the Boussinesq‐Klein‐Gordon equation

In this paper, we construct a weakly‐nonlinear d'Alembert‐type solution of the Cauchy problem for the Boussinesq‐Klein‐Gordon (BKG) equation. Similarly to our earlier work based on the use of spatial Fourier series, we consider the problem in the class of periodic functions on an interval of finite length (including the case of localized solutions on a large interval), and work with the nonlinear partial differential equation with variable coefficients describing the deviation from the oscillating mean value. Unlike our earlier paper, here we develop a novel multiple‐scales procedure involving fast characteristic variables and two slow time scales and averaging with respect to the spatial variable at a constant value of one or another characteristic variable, which allows us to construct an explicit and compact d'Alembert‐type solution of the nonlinear problem in terms of solutions of two Ostrovsky equations emerging at the leading order and describing the right‐ and left‐propagating waves. Validity of the constructed solution in the case when only the first initial condition for the BKG equation may have nonzero mean value follows from our earlier results, and is illustrated numerically for a number of instructive examples, both for periodic solutions on a finite interval, and localized solutions on a large interval. We also outline an extension of the procedure to the general case, when both initial conditions may have nonzero mean values. Importantly, in all cases, the initial conditions for the leading‐order Ostrovsky equations by construction have zero mean, while initial conditions for the BKG equation may have nonzero mean values.     

Four‐terminal reducibility and projective‐planar wye‐delta‐wye‐reducible graphs

A graph is YΔY‐reducible if it can be reduced to a vertex by a sequence of series‐parallel reductions and YΔY‐transformations. Terminals are distinguished vertices, that cannot be deleted by reductions and transformations. In this article, we show that four‐terminal planar graphs are YΔY‐reducible when at least three of the vertices lie on the same face. Using this result, we characterize YΔY‐reducible projective‐planar graphs. We also consider terminals in projective‐planar graphs, and establish that graphs of crossing‐number one are YΔY‐reducible. © 2000 John Wiley & Sons, Inc. J Graph Theory 33: 83–93, 2000     

Bounding the Clique‐Width of H‐Free Chordal Graphs

A graph is H‐free if it has no induced subgraph isomorphic to H. Brandstädt, Engelfriet, Le, and Lozin proved that the class of chordal graphs with independence number at most 3 has unbounded clique‐width. Brandstädt, Le, and Mosca erroneously claimed that the gem and co‐gem are the only two 1‐vertex P₄‐extensions H for which the class of H‐free chordal graphs has bounded clique‐width. In fact we prove that bull‐free chordal and co‐chair‐free chordal graphs have clique‐width at most 3 and 4, respectively. In particular, we find four new classes of H‐free chordal graphs of bounded clique‐width. Our main result, obtained by combining new and known results, provides a classification of all but two stubborn cases, that is, with two potential exceptions we determine all graphs H for which the class of H‐free chordal graphs has bounded clique‐width. We illustrate the usefulness of this classification for classifying other types of graph classes by proving that the class of ‐free graphs has bounded clique‐width via a reduction to K₄‐free chordal graphs. Finally, we give a complete classification of the (un)boundedness of clique‐width of H‐free weakly chordal graphs.     

On the Cauchy problem for the two‐component b‐family system

In this paper, we establish the local well‐posedness for the two‐component b‐family system in a range of the Besov space. We also derive the blow‐up scenario for strong solutions of the system. In addition, we determine the wave‐breaking mechanism to the two‐component Dullin–Gottwald–Holm system. Copyright © 2013 John Wiley & Sons, Ltd.