On a regularized family of models for homogeneous incompressible two-phase flows

We consider a general family of regularized models for incompressible two-phase flows based on the Allen-Cahn formulation in n-dimensional compact Riemannian manifolds for n=2,3. The system we consider consists of a regularized family of Navier-Stokes equations (including the Navier-Stokes-{alpha}-like model, the Leray-{alpha} model, the Modified Leray-{alpha} model, the Simplified Bardina model, the Navier-Stokes-Voight model and the Navier-Stokes model) for the fluid velocity suitably coupled with a convective Allen-Cahn equation for the (phase) order parameter. We give a unified analysis of the entire three-parameter family of two-phase models using only abstract mapping properties of the principal dissipation and smoothing operators, and then use assumptions about the specific form of the parametrizations, leading to specific models, only when necessary to obtain the sharpest results. We establish existence, stability and regularity results, and some results for singular perturbations, which as special cases include the inviscid limit of viscous models and the {alpha}->0 limit in {alpha}-models. Then, we also show the existence of a global attractor and exponential attractor for our general model, and then establish precise conditions under which each trajectory converges to a single equilibrium by means of a LS inequality. We also derive new results on the existence of global and exponential attractors for the regularized family of Navier-Stokes equations and magnetohydrodynamics models which improve and complement the results of Holst et. al. [J. Nonlinear Science 20, 2010, 523-567]. Finally, our analysis is applied to certain regularized Ericksen-Leslie (RSEL) models for the hydrodynamics of liquid crystals in n-dimensional compact Riemannian manifolds.

On a regularized family of models for the full Ericksen-Leslie system

We consider a general family of regularized systems for the full Ericksen-Leslie model for the hydrodynamics of liquid crystals in $n$-dimensional compact Riemannian manifolds, $n$=2,3. The system we consider consists of a regularized family of Navier-Stokes equations (including the Navier Stokes-$alpha $-like equation, the Leray-$alpha $ equation, the Modified Leray-$alpha $ equation, the Simplified Bardina model, the Navier Stokes-Voigt model and the Navier-Stokes equation) for the fluid velocity $u$ suitably coupled with a parabolic equation for the director field $d$. We establish existence, stability and regularity results for this family. We also show the existence of a finite dimensional global attractor for our general model, and then establish sufficiently general conditions under which each trajectory converges to a single equilibrium by means of a Lojasiewicz-Simon inequality.

Singular limits of Voigt models in fluid dynamics

We investigate the long-term behavior, as a certain regularization parameter vanishes, of the three-dimensional Navier-Stokes-Voigt model of a viscoelastic incompressible fluid. We prove the existence of global and exponential attractors of optimal regularity. We then derive explicit upper bounds for the dimension of these attractors in terms of the three-dimensional Grashof number and the regularization parameter. Finally, we also prove convergence of the (strong) global attractor of the 3D Navier-Stokes-Voigt model to the (weak) global attractor of the 3D Navier-Stokes equation. Our analysis improves and extends recent results obtained by Kalantarov and Titi in [31].

On nonlocal Cahn-Hilliard-Navier-Stokes systems in two dimensions

We consider a diffuse interface model which describes the motion of an incompressible isothermal mixture of two immiscible fluids. This model consists of the Navier-Stokes equations coupled with a convective nonlocal Cahn-Hilliard equation. Several results were already proven by two of the present authors. However, in the two-dimensional case, the uniqueness of weak solutions was still open. Here we establish such a result even in the case of degenerate mobility and singular potential. Moreover, we show the strong-weak uniqueness in the case of viscosity depending on the order parameter, provided that either the mobility is constant and the potential is regular or the mobility is degenerate and the potential is singular. In the case of constant viscosity, on account of the uniqueness results we can deduce the connectedness of the global attractor whose existence was obtained in a previous paper. The uniqueness technique can be adapted to show the validity of a smoothing property for the difference of two trajectories which is crucial to establish the existence of an exponential attractor. The latter is established even in the case of variable viscosity, constant mobility and regular potential.

Fredholm alternative, semilinear elliptic problems, and Wentzell boundary conditions

We give necessary and sufficient conditions for the solvability of some semilinear elliptic boundary value problems involving the Laplace operator with linear and nonlinear highest order boundary conditions involving the Laplace-Beltrami operator.

Semigroups of Operators on Spaces of Fuzzy-Number-Valued Functions with Applications to Fuzzy Differential Equations

In this paper we introduce and study semigroups of operators on spaces of fuzzy-number-valued functions, and various applications to fuzzy differential equations are presented. Starting from the space of fuzzy numbers, many new spaces sharing the same properties are introduced. We derive basic operator theory results on these spaces and new results in the theory of semigroups of linear operators on fuzzy-number kind spaces. The theory we develop is used to solve classical fuzzy systems of differential equations, including, for example, the fuzzy Cauchy problem and the fuzzy wave equation. These tools allow us to obtain explicit solutions to fuzzy initial value problems which bear explicit formulas similar to the crisp case, with some additional fuzzy terms which in the crisp case disappear. The semigroup method displays a clear advantage over other methods available in the literature (i.e., the level set method, the differential inclusions method and other fuzzification methods of the real-valued solution) in the sense that the solutions can be easily constructed, and that the method can be applied to a larger class of fuzzy differential equations that can be transformed into an abstract Cauchy problem.

Global attractor for a nonlocal model for biological aggregation

We investigate the long term behavior in terms of global attractors, as time goes to infinity, of solutions to a continuum model for biological aggregations in which individuals experience long-range social attraction and short range dispersal. We consider the aggregation equation with both degenerate and non-degenerate diffusion in a bounded domain subject to various boundary conditions. In the degenerate case, we prove the existence of the global attractor and derive some optimal regularity results. Furthermore, in the non-degenerate case we give a complete structural characterization of the global attractor, and also discuss the convergence of any bounded solutions to steady states. Finally, the existence of an exponential attractor is also demonstrated for sufficiently smooth kernels in the case of non-degenerate diffusion.

Hyperbolic Relaxation of Reaction Diffusion Equations with Dynamic Boundary Conditions

Under consideration is the hyperbolic relaxation of a semilinear reaction-diffusion equation on a bounded domain, subject to a dynamic boundary condition. We also consider the limit parabolic problem with the same dynamic boundary condition. Each problem is well-posed in a suitable phase space where the global weak solutions generate a Lipschitz continuous semiflow which admits a bounded absorbing set. We prove the existence of a family of global attractors of optimal regularity. After fitting both problems into a common framework, a proof of the upper-semicontinuity of the family of global attractors is given as the relaxation parameter goes to zero. Finally, we also establish the existence of exponential attractors.

Sup-norm estimates for parabolic systems with dynamic boundary conditions

We consider parabolic systems with nonlinear dynamic boundary conditions, for which we give a rigorous derivation. Then, we give them several physical interpretations which includes an interpretation for the porous-medium equation, and for certain reaction-diffusion systems that occur in mathematical biology and ecology. We devise several strategies which imply (uniform)}$L^{p} and}$L^{infty}$ estimates on the solutions for the initial value problems considered.

Longtime behavior of nonlocal Cahn-Hilliard equations

Here we consider the nonlocal Cahn-Hilliard equation with constant mobility in a bounded domain. We prove that the associated dynamical system has an exponential attractor, provided that the potential is regular. In order to do that a crucial step is showing the eventual boundedness of the order parameter uniformly with respect to the initial datum. This is obtained through an Alikakos-Moser type argument. We establish a similar result for the viscous nonlocal Cahn-Hilliard equation with singular (e.g., logarithmic) potential. In this case the validity of the so-called separation property is crucial. We also discuss the convergence of a solution to a single stationary state. The separation property in the nonviscous case is known to hold when the mobility degenerates at the pure phases in a proper way and the potential is of logarithmic type. Thus, the existence of an exponential attractor can be proven in this case as well.