Decomposition of Vector-Valued Divergence Free Sobolev Functions and Shape Optimization for Stationary Navier–Stokes Equations

From MaRDI portal
Publication:5459785




Abstract: We establish a divergence free partition for vector-valued Sobolev functions with free divergence in . We prove that for any domain om of class calC in , the space D01(om)equivmathbfvinH01(Omega)n;divmathbfv=0 and the space , which is the completion of mathbfvinC0infty(Omega)n;divmathbfv=0 in the H1(Omega)n-norm, are identical. We will also prove that , where D is a bounded Lipschitz domain such that omsubsetsubsetD. These results, together with properties for domains of class mathcalC, are used to solve an existence problem in the shape optimization theory of the stationary Navier-Stokes equations.









This page was built for publication: Decomposition of Vector-Valued Divergence Free Sobolev Functions and Shape Optimization for Stationary Navier–Stokes Equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5459785)