English

A right inverse of the divergence for planar H\"older-$\alpha$ domains

Analysis of PDEs 2008-05-01 v1

Abstract

If ΩRn\Omega\subset\R^n is a bounded domain, the existence of solutions uH01(Ω)n{\bf u}\in H^1_0(\Omega)^n of divu=f{div} {\bf u} = f for fL2(Ω)f\in L^2(\Omega) with vanishing mean value, is a basic result in the analysis of the Stokes equations. In particular it allows to show the existence of a solution (u,p)H01(Ω)n×L2(Ω)({\bf u},p)\in H^1_0(\Omega)^n\times L^2(\Omega), where u{\bf u} is the velocity and pp the pressure. It is known that the above mentioned result holds when Ω\Omega is a Lipschitz domain and that it is not valid for arbitrary H\"older-α\alpha domains. In this paper we prove that if Ω\Omega is a planar simply connected H\"older-α\alpha domain, there exist right inverses of the divergence which are continuous in appropriate weighted spaces, where the weights are powers of the distance to the boundary. Moreover, we show that the powers of the distance in the results obtained are optimal. In our results, the zero boundary condition is replaced by a weaker one. For the particular case of domains with an external cusp of power type, we prove that our weaker boundary condition is equivalent to the standard one. In this case we show the well posedness of the Stokes equations in appropriate weighted Sobolev spaces obtaining as a consequence the existence of a solution (u,p)H01(Ω)n×Lr(Ω)({\bf u},p)\in H^1_0(\Omega)^n\times L^r(\Omega) for some r<2r<2 depending on the power of the cusp.

Keywords

Cite

@article{arxiv.0804.4873,
  title  = {A right inverse of the divergence for planar H\"older-$\alpha$ domains},
  author = {Ricardo G. Durán and Fernando López García},
  journal= {arXiv preprint arXiv:0804.4873},
  year   = {2008}
}

Comments

19 pages