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-Stoke
s 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.
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 Navie
r-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.
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.
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 sam
e 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.
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 co
nsider 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.
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 pro
blem 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.
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 re
action-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.
