Global weak solutions of the Navier-Stokes equations with nonhomogeneous boundary data and divergence
The paper contains the proof of global existence of weak solutions to the mixed initial-boundary value problem for a certain modification of a system of equations of motion of viscous compressible fluid. The modification is based on an application of an operator of regularization to some terms appearing in the system of equations and it does not contradict the laws of fluid mechanics. It is assumed that pressure is a known function of density. The method of discretization in time is used and finally,...
The concept of regularization to the complete system of Navier-Stokes equations for viscous compressible heat conductive fluid is developed. The existence of weak solutions for the initial boundary value problem for the modified equations is proved. Some energy and etropy estimates independent of the parameter of regularization are derived.
In this paper we prove the existence of a global φ-attractor in the weak topology of the natural phase space for the family of multi-valued processes generated by solutions of a nonautonomous modified 3D Bénard system in unbounded domains for which Poincaré inequality takes place.
A numerically inexpensive globalization strategy of sequential quadratic programming methods (SQP-methods) for control of the instationary Navier Stokes equations is investigated. Based on the proper functional analytic setting a convergence analysis for the globalized method is given. It is argued that the a priori formidable SQP-step can be decomposed into linear primal and linear adjoint systems, which is amenable for existing CFL-software. A report on a numerical test demonstrates the feasibility...
A numerically inexpensive globalization strategy of sequential quadratic programming methods (SQP-methods) for control of the instationary Navier Stokes equations is investigated. Based on the proper functional analytic setting a convergence analysis for the globalized method is given. It is argued that the a priori formidable SQP-step can be decomposed into linear primal and linear adjoint systems, which is amenable for existing CFL-software. A report on a numerical test demonstrates the feasibility...