The paper present an existence theorem for a strong solution to an abstract evolution inequality where the properties of the operators involved are motivated by a type of modified Navier-Stokes equations under certain unilateral boundary conditions. The method of proof rests upon a Galerkin type argument combined with the regularization of the functional.
The present part of the paper continues the study of the abstract evolution inequality from the first part. Theorem 1 states the existence and uniqueness of a weak solution to the evolution inequality under consideration. The proof is based on the method of approximation of the weak solution by a sequence of strong solutions. Theorem 2 yields two regularity results for the strong solution.
In this paper, we establish the large-data and long-time existence of a suitable weak solution to an initial and boundary value problem driven by a system of partial differential equations consisting of the Navier-Stokes equations with the viscosity polynomially increasing with a scalar quantity that evolves according to an evolutionary convection diffusion equation with the right hand side that is merely -integrable over space and time. We also formulate a conjecture concerning regularity...
We study the local exact controllability problem for the Navier-Stokes equations that describe an incompressible fluid flow in a bounded domain with control distributed in an arbitrary fixed subdomain. The result that we obtain in this paper is as follows. Suppose that we have a given stationary point of the Navier-Stokes equations and our initial condition is sufficiently close to it. Then there exists a locally distributed control such that in a given moment of time the solution of the Navier-Stokes...
We investigate the existence of weak solutions and their smoothness properties for a generalized Stokes problem. The generalization is twofold: the Laplace operator is replaced by a general second order linear elliptic operator in divergence form and the “pressure” gradient is replaced by a linear operator of first order.
Existence of solutions for equations of the nonstationary Stokes system in a bounded domain Ω ⊂ ℝ³ is proved in a class such that velocity belongs to , and pressure belongs to for p > 3. The proof is divided into three steps. First, the existence of solutions with vanishing initial data is proved in a half-space by applying the Marcinkiewicz multiplier theorem. Next, we prove the existence of weak solutions in a bounded domain and then we regularize them. Finally, the problem with nonvanishing...
For a class of random dynamical systems which describe dissipative nonlinear PDEs perturbed by a bounded random kick-force, I propose a “direct proof” of the uniqueness of the stationary measure and exponential convergence of solutions to this measure, by showing that the transfer-operator, acting in the space of probability measures given the Kantorovich metric, defines a contraction of this space.
In this paper the fluid-structure interaction problem is studied on a simplified model of the human vocal fold. The problem is mathematically described and the arbitrary Lagrangian-Eulerian method is applied in order to treat the time dependent computational domain. The viscous incompressible fluid flow and linear elasticity models are considered. The fluid flow and the motion of elastic body is approximated with the aid of finite element method. An attention is paid to the applied stabilization...
The equilibrium state of a deformable body under the action of body forces is described by the well known conditions of equilibrium, the straindisplacement relations, the constitutive law of the linear theory and the boundary conditions. The authors discuss in detail the boundary conditions. The starting point is the general relation between the vectors of stress and displacement on the boundary which can be expressed in terms of a subgradient relation. It is shown that this relation includes as...
Global-in-time existence of solutions for equations of viscous compressible barotropic fluid in a bounded domain Ω ⊂ with the boundary slip condition is proved. The solution is close to an equilibrium solution. The proof is based on the energy method. Moreover, in the -approach the result is sharp (the regularity of the solution cannot be decreased) because the velocity belongs to and the density belongs to , α ∈ (1/2,1).