-
Parabolic Quasi-Variational Inequalities (I) -- Semimonotone Operator Approach
Authors:
Maria Gokieli,
Nobuyuki Kenmochi,
Marek Niezgódka
Abstract:
Variational inequalities, formulated on unknown dependent convex sets, are called quasi-variational inequalities (QVI). This paper is concerned with the abstract approach to a class of parabolic QVIs arising in many biochemical/mechanical problems, based on a compactness theorem for parabolic variational inequalities (cf. [9]). The prototype of our model for QVIs of parabolic type is formulated in…
▽ More
Variational inequalities, formulated on unknown dependent convex sets, are called quasi-variational inequalities (QVI). This paper is concerned with the abstract approach to a class of parabolic QVIs arising in many biochemical/mechanical problems, based on a compactness theorem for parabolic variational inequalities (cf. [9]). The prototype of our model for QVIs of parabolic type is formulated in a reflexive Banach space as the sum of the time-derivative operator under unknown convex constraints and a semimonotone operator, including a feedback system which selects a convex constraint. The main objective of this work is to specify a class of unknown-state dependent convex constraints and to give a precise formulation of QVIs.
△ Less
Submitted 5 October, 2020; v1 submitted 29 September, 2020;
originally announced September 2020.
-
Variational and Quasi--variational Inequalities of Navier--Stokes Type with Velocity Constraints
Authors:
Maria Gokieli,
Nobuyuki Kenmochi,
Marek Niezgódka
Abstract:
In this paper we deal with parabolic variational inequalities of Navier-Stokes type with time-dependent constraints on velocity fields, including gradient constraint case. One of the objectives of this paper is to propose a weak variational formulation for variational inequalities of Navier-Stokes type and to solve them by applying the compactness theorem, which was recently developed by the autho…
▽ More
In this paper we deal with parabolic variational inequalities of Navier-Stokes type with time-dependent constraints on velocity fields, including gradient constraint case. One of the objectives of this paper is to propose a weak variational formulation for variational inequalities of Navier-Stokes type and to solve them by applying the compactness theorem, which was recently developed by the authors (cf. [22]). Another objective is to approach to a class of quasi-variational inequalities associated with Stefan/Navier-Stokes problems in which we are taking into account the freezing effect of materials in fluids. As is easily understood, the phase change from liquid into solid gives a great influence to the velocity field in the fluid. For instance, in the mushy region, the velocity of the fluid is constrained by some obstacle caused by moving solid. We shall challenge to the mathematical modeling of Stefan/Navier-Stokes problem as a quasi-variational inequality and solve it as an application of parabolic variational inequalities of Navier-Stokes type.
△ Less
Submitted 12 October, 2018;
originally announced October 2018.
-
A New Approach to Variational Inequalities of Parabolic Type
Authors:
Maria Gokieli,
Nobuyuki Kenmochi,
Marek Niezgódka
Abstract:
This paper is concerned with the weak solvability of fully nonlinear parabolic variational inequalities with time dependent convex constraints. As possible approaches to such problems, there are for instance the time-discretization method and the fixed point method of Schauder type with appropriate compactness theorems. In this paper, our attention is paid to the latter approach. However, there ha…
▽ More
This paper is concerned with the weak solvability of fully nonlinear parabolic variational inequalities with time dependent convex constraints. As possible approaches to such problems, there are for instance the time-discretization method and the fixed point method of Schauder type with appropriate compactness theorems. In this paper, our attention is paid to the latter approach. However, there has not been prepared any appropriate compactness theorem up to date that enables us the direct application of fixed point method to variational inequalities of parabolic type. In order to establish it we have to start on the set up of a new compactness theorem for a wide class of parabolic variational inequalities.
△ Less
Submitted 20 June, 2017;
originally announced June 2017.
-
Mathematical Modeling of Biofilm Development
Authors:
Maria Gokieli,
Nobuyuki Kenmochi,
Marek Niezgódka
Abstract:
We perform mathematical anaysis of the biofilm development process. A model describing biomass growth is proposed: It arises from coupling three parabolic nonlinear equations: a biomass equation with degenerate and singular diffusion, a nutrient tranport equation with a biomass-density dependent diffusion, and an equation of the Navier-Stokes type, describing the fluid flow in which the biofilm de…
▽ More
We perform mathematical anaysis of the biofilm development process. A model describing biomass growth is proposed: It arises from coupling three parabolic nonlinear equations: a biomass equation with degenerate and singular diffusion, a nutrient tranport equation with a biomass-density dependent diffusion, and an equation of the Navier-Stokes type, describing the fluid flow in which the biofilm develops. This flow is subject to a biomass--density dependent obstacle. The model is treated as a system of three inclusions, or variational inequalities; the third one causes major difficulties for the system's solvability. Our approach is based on the recent development of the theory on Navier-Stokes variational inequalities.
△ Less
Submitted 13 March, 2017;
originally announced March 2017.
-
Variational Inequalities of Navier--Stokes Type with Time Dependent Constraints
Authors:
Maria Gokieli,
Nobuyuki Kenmochi,
Marek Niezgódka
Abstract:
We consider a class of parabolic variational inequalities with time dependent obstacle of the form $|{\boldsymbol u}(x,t)| \le p(x,t)$, where ${\boldsymbol u}$ is the velocity field of a fluid governed by the Navier--Stokes variational inequality. The obstacle function $p=p(x,t)$ imposed on ${\boldsymbol u}$ consists of three parts which are respectively the degenerate part $p(x,t)=0$, the finitel…
▽ More
We consider a class of parabolic variational inequalities with time dependent obstacle of the form $|{\boldsymbol u}(x,t)| \le p(x,t)$, where ${\boldsymbol u}$ is the velocity field of a fluid governed by the Navier--Stokes variational inequality. The obstacle function $p=p(x,t)$ imposed on ${\boldsymbol u}$ consists of three parts which are respectively the degenerate part $p(x,t)=0$, the finitely positive part $0< p(x,t) <\infty$ and singular part $p(x,t)=\infty$. In this paper, we shall propose a sequence of approximate obstacle problems with everywhere finitely positive obstacles and prove an existence result for the original problem by discussing the convergence of the approximate problems. The crucial step is to handle the nonlinear convection term. In this paper we propose a new approach to it.
△ Less
Submitted 21 December, 2016;
originally announced December 2016.
-
Modeling Crowd Dynamics through Hyperbolic - Elliptic Equations
Authors:
Rinaldo M. Colombo,
Maria Gokieli,
Massimiliano D. Rosini
Abstract:
Inspired by the works of Hughes [17, 18], we formalize and prove the well posedness of a hyperbolic--elliptic system whose solutions describe the dynamics of a moving crowd. The resulting model is here shown to be well posed and the time of evacuation from a bounded environment is proved to be finite. This model also provides a microscopic description of the individuals' behaviors.
Inspired by the works of Hughes [17, 18], we formalize and prove the well posedness of a hyperbolic--elliptic system whose solutions describe the dynamics of a moving crowd. The resulting model is here shown to be well posed and the time of evacuation from a bounded environment is proved to be finite. This model also provides a microscopic description of the individuals' behaviors.
△ Less
Submitted 21 October, 2016;
originally announced October 2016.
