Convergence to equilibrium for a fully hyperbolic phase‐field model with Cattaneo heat flux law

We consider a fully hyperbolic phase‐field model in this paper. Our model consists of a damped hyperbolic equation of second order with respect to the phase function χ(t) , which is coupled with a hyperbolic system of first order with respect to the relative temperature θ(t) and the heat flux vector q (t). We prove the well‐posedness of this system subject to homogeneous Neumann boundary condition and no‐heat flux boundary condition. Then, we show that this dynamical system is a dissipative one. Finally, using the celebrated ?ojasiewicz–Simon inequality and by constructing an auxiliary functional, we prove that the solution of this problem converges to an equilibrium as time goes to infinity. We also obtain an estimate of the decay rate to equilibrium. Copyright © 2008 John Wiley & Sons, Ltd.     

A Navier–Stokes–Voight model with memory

In this article, we consider a three‐dimensional Navier–Stokes–Voight model with memory where relaxation effects are described through a distributed delay. We prove the existence of uniform global attractors , where ? ∈ (0,1) is the scaling parameter in the memory kernel. Furthermore, we prove that the model converges to the classical three‐dimensional Navier–Stokes–Voight system in an appropriate sense as ? → 0. In particular, we construct a family of exponential attractors Ξ_? that is robust as ? → 0. Copyright © 2013 John Wiley & Sons, Ltd.     

Dynamical behaviors of a discrete HIV‐1 virus model with bilinear infective rate

We establish a discrete virus dynamic model by discretizing a continuous HIV‐1 virus model with bilinear infective rate using ‘hybrid’ Euler method. We discuss not only the existence and global stability of the uninfected equilibrium but also the existence and local stability of the infected equilibrium. We prove that there exists a crucial value similar to that of the continuous HIV‐1 virus dynamics, which is called the basic reproductive ratio of the virus. If the basic reproductive ratio of the virus is less than one, the uninfected equilibrium is globally asymptotically stable. If the basic reproductive ratio of the virus is larger than one, the infected equilibrium exists and is locally stable. Moreover, we consider the permanence for such a system by constructing a Lyapunov function v_n. Copyright © 2013 John Wiley & Sons, Ltd.     

Kernels and best approximations related to the system of ultraspherical polynomials

We study the uniformly bounded orthonormal system of functions

where is the normalized system of ultraspherical polynomials. We investigate some approximation properties of the system and we show that these properties are similar to one's of the trigonometric system. First, we obtain estimates of L^p-norms of the kernels of the system . These estimates enable us to prove Nikol'skiı˘-type inequalities for -polynomials. Next, we prove directly that is a basis in each , where w is an arbitrary A_p-weight function. Finally, we apply these results to get sharp inequalities for the best -approximations in L^q in terms of the best -approximations in . For the trigonometric system such inequalities have been already known.     

Stability of the Crank–Nicolson–Adams–Bashforth scheme for the 2D Leray‐alpha model

We consider the stability of an efficient Crank–Nicolson–Adams–Bashforth method in time, finite element in space, discretization of the Leray‐α model. We prove finite‐time stability of the scheme in L², H¹, and H², as well as the long‐time L‐stability of the scheme under a Courant‐Freidrichs‐Lewy (CFL)‐type condition. Numerical experiments are given that are in agreement with the theoretical results. © 2015 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 32: 1155–1183, 2016     

Global well‐posedness of the Cauchy problem for certain magnetohydrodynamic‐α models

This paper is devoted to study the Cauchy problem for certain incompressible magnetohydrodynamics‐α model. In the Sobolev space with fractional index s>1, we proved the local solutions for any initial data, and global solutions for small initial data. Furthermore, we also prove that as α→0, the MHD‐α model reduces to the MHD equations, and the solutions of the MHD‐α model converge to a pair of solutions for the MHD equations. Copyright © 2010 John Wiley & Sons, Ltd.     

On Extension and Continuity of p–Additive Functions

In this paper we prove some properties of p–additive functions as well as p–additive set–valued functions.     

Convergence analysis and computational testing of the finite element discretization of the Navier–Stokes alpha model

This report performs a complete analysis of convergence and rates of convergence of finite element approximations of the Navier–Stokes‐α (NS‐α) regularization of the NSE, under a zero‐divergence constraint on the velocity, to the true solution of the NSE. Convergence of the discrete NS‐α approximate velocity to the true Navier–Stokes velocity is proved and rates of convergence derived, under no‐slip boundary conditions. Generalization of the results herein to periodic boundary conditions is evident. Two‐dimensional experiments are performed, verifying convergence and predicted rates of convergence. It is shown that the NS‐α‐FE solutions converge at the theoretical limit of O(h²) when choosing α = h, in the H¹ norm. Furthermore, in the case of flow over a step the NS‐α model is shown to resolve vortex separation in the recirculation zone. © 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2010     

Nonlinear artificial boundary conditions with pointwise error estimates for the exterior three dimensional Navier–Stokes problem

On a three–dimensional exterior domain Ω we consider the Dirichlet problem for the stationary Navier–Stokes system. We construct an approximation problem on the domain Ω_R, which is the intersection of Ω with a sufficiently large ball, while we create nonlinear, but local artificial boundary conditions on the truncation boundary. We prove existence and uniqueness of the solutions to the approximating problem together with asymptotically precise pointwise error estimates as R tends to infinity.     

Stationary solutions to the drift–diffusion model in the whole spaces

We study the stationary problem in the whole space ?ⁿ for the drift–diffusion model arising in semiconductor device simulation and plasma physics. We prove the existence and uniqueness of stationary solutions in the weighted L^p spaces. The proof is based on a fixed point theorem of the Leray–Schauder type. Copyright © 2008 John Wiley & Sons, Ltd.     

Global existence and long-time asymptotics for rotating fluids in a 3D layer

The Navier–Stokes–Coriolis system is a simple model for rotating fluids, which allows to study the influence of the Coriolis force on the dynamics of three-dimensional flows. In this paper, we consider the NSC system in an infinite three-dimensional layer delimited by two horizontal planes, with periodic boundary conditions in the vertical direction. If the angular velocity parameter is sufficiently large, depending on the initial data, we prove the existence of global, infinite-energy solutions with nonzero circulation number. We also show that these solutions converge toward two-dimensional Lamb–Oseen vortices as t→∞.     

On the existence of solutions to the Navier–Stokes–Poisson equations of a two‐dimensional compressible flow

In this paper, we consider the Navier–Stokes–Poisson equations for compressible, barotropic flow in two space dimensions. We introduce useful tools from the theory of Orlicz spaces. Then we prove the existence of globally defined finite energy weak solutions for the pressure satisfying p(?)=a?log^d (?) for large ?. Here d>1 and a>0. Copyright © 2006 John Wiley & Sons, Ltd.     

On the universality of the nonstationary ideal

Burke proved that the generalized nonstationary ideal, denoted by NS, is universal in the following sense: every normal ideal, and every tower of normal ideals of inaccessible height, is a canonical Rudin‐Keisler projection of the restriction of NS to some stationary set. We investigate how far Burke's theorem can be pushed, by analyzing the universality properties of NS with respect to the wider class of ‐systems of filters introduced by Audrito and Steila. First we answer a question of Audrito and Steila, by proving that ‐systems of filters do not capture all kinds of set‐generic embeddings. We provide a characterization of supercompactness in terms of short extenders and canonical projections of NS, without any reference to the strength of the extenders; as a corollary, NS can consistently fail to canonically project to arbitrarily strong short extenders. We prove that ω‐cofinal towers of normal ultrafilters, e.g., the kind used to characterize I2 and I3 embeddings, are well‐founded if and only if they are canonical projections of NS. Finally, we provide a characterization of “ is Jónsson” in terms of canonical projections of NS.     

(Co)Bordism Groups in PDEs

We introduce a geometric theory of PDEs, by obtaining existence theorems of smooth and singular solutions. Within this framework, following our previous results on (co)bordisms in PDEs, we give characterizations of quantum and integral (co)bordism groups and relate them to the formal integrability of PDEs. An explicit proof that the usual Thom–Pontryagin construction in (co)bordism theory can be generalized also to a singular integral (co)bordism on the category of differential equations is given. In fact, we prove the existence of a spectrum that characterizes the singular integral (co)bordism groups in PDEs. Moreover, a general method that associates, in a natural way, Hopf algebras (full p-Hopf algebras, 0 p n – 1), to any PDE, recently introduced, is further studied. Applications to particular important classes of PDEs are considered. In particular, we carefully consider the Navier–Stokes equation (NS) and explicitly calculate their quantum and integral bordism groups. An existence theorem of solutions of (NS) with a change in sectional topology is obtained. Relations between integral bordism groups and causal integral manifolds, causal tunnel effects, and the full p-Hopf algebras, 0 p 3, for the Navier–Stokes equation are determined.     

Periodic Cyclic Homology as Sheaf Cohomology Dedicated to Daniel Quillen on his 60th Birthday

We study a noncommutative version of the infinitesimal site of Grothendieck. A theorem of Grothendieck establishes that the cohomology of the structure sheaf on the infinitesimal topology of a scheme of characteristic zero is de Rham cohomology. We prove that, for the noncommutative infinitesimal topology of an associative algebra over a field of characteristic zero, the cohomology of the structure sheaf modulo commutators is periodic cyclic cohomology. We also compute the noncommutative infinitesimal cohomology of other sheaves. For example, we show that infinitesimal hypercohomology with coefficients in K-theory gives the fiber of the Jones–Goodwillie character which goes from K-theory to negative cyclic homology.     

Zero‐Hopf bifurcation in the FitzHugh–Nagumo system

We characterize the values of the parameters for which a zero‐Hopf equilibrium point takes place at the singular points, namely, O (the origin), P₊, and P_? in the FitzHugh–Nagumo system. We find two two‐parameter families of the FitzHugh–Nagumo system for which the equilibrium point at the origin is a zero‐Hopf equilibrium. For these two families, we prove the existence of a periodic orbit bifurcating from the zero‐Hopf equilibrium point O. We prove that there exist three two‐parameter families of the FitzHugh–Nagumo system for which the equilibrium point at P₊ and at P_? is a zero‐Hopf equilibrium point. For one of these families, we prove the existence of one, two, or three periodic orbits starting at P₊ and P_?. Copyright © 2014 John Wiley & Sons, Ltd.     

Fully discrete T‐ψ finite element method to solve a nonlinear induction hardening problem

We study an induction hardening model described by Maxwell's equations coupled with a heat equation. The magnetic induction field is assumed a nonlinear constitutional relation and the electric conductivity is temperature‐dependent. The T ‐ψ method is to transform Maxwell's equations to the vector–scalar potential formulations and to solve the potentials by means of the finite element method. In this article, we present a fully discrete T ‐ψ finite element scheme for this nonlinear coupled problem and discuss its solvability. We prove that the discrete solution converges to a weak solution of the continuous problem. Finally, we conclude with two numerical experiments for the coupled system.     

Shock formation in a chemotaxis model

In this paper, we establish the existence of shock solutions for a simplified version of the Othmer–Stevens chemotaxis model (SIAM J. Appl. Math. 1997; 57 :1044–1081). The existence of these shock solutions was suggested by Levine and Sleeman (SIAM J. Appl. Math. 1997; 57 :683–730). Here, we consider the general Riemann problem and derive the shock curves in parameterized forms. By studying the travelling wave solutions, we examine the shock structure for the chemotaxis model and prove that the travelling wave speed is identical to the shock speed. Moreover, we explicitly derive an entropy–entropy flux pair to prove the uniqueness of the weak shock solutions. Some discussion is given for further study. Copyright © 2007 John Wiley & Sons, Ltd.     

Adaptive density estimation of stationary β-mixing and τ-mixing processes

We propose an algorithm to estimate the common density s of a stationary process X ₁, ..., _{X n} . We suppose that the process is either β or τ-mixing. We provide a model selection procedure based on a generalization of Mallows’ C _p and we prove oracle inequalities for the selected estimator under a few prior assumptions on the collection of models and on the mixing coefficients. We prove that our estimator is adaptive over a class of Besov spaces, namely, we prove that it achieves the same rates of convergence as in the i.i.d. framework.      

Rigorous Formulation of a 2D Conformal Model in the Fock–Krein Space: Construction of the Global Op J *-Algebra of Fields and Currents

We use the formalism of the 2D massless scalar field model in an indefinite space of the Fock–Krein type as a basis for constructing a rigorous formulation of 2D quantum conformal theories. We show that the sought construction is a several-stage procedure whose central block is the construction of a new type of representation of the Virasoro algebra. We develop the first stage of this procedure, which is to construct a special global algebra of fields and currents generated by exponential generators. We obtain a system of commutation relations for the Wick-squared currents used in the definition of the Virasoro generators. We prove the existence of Wick exponentials of the current given by operator-valued generalized functions; the sought global algebra is rigorously defined as the algebra of current and field, Wick and normal exponentials on a common dense invariant domain in a Fock–Krein space.