Constant in the Poincare inequality for curl square integrable vector fields - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T12:07:18Z http://mathoverflow.net/feeds/question/106881 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/106881/constant-in-the-poincare-inequality-for-curl-square-integrable-vector-fields Constant in the Poincare inequality for curl square integrable vector fields Shuhao Cao 2012-09-11T03:38:17Z 2012-09-11T03:38:17Z <p>$\newcommand{\v}[1]{\boldsymbol{#1}}$For an $u\in H^1(\Omega) = W^{1,2}(\Omega)$ where $\Omega$ is Lipschitz, we have </p> <p>$$ {\|u - \frac{1}{\Omega} \int_{\Omega} u\|}_{L^2}\leq C {\|\nabla u \|} $$</p> <p>and the Poincare constant is basically a multiple of diameter of the domain.</p> <p>However in $\mathbb{R}^3$, the only similar result for $\mathbf{curl}$-square integrable vector fields $\v{u}$ would be:</p> <p>$$ {\|\v{u} - \frac{1}{\Omega} \int_{\Omega} \v{u}\|}_{L^2} \leq {\|\mathbf{curl} \ \v{u}\|} $$</p> <p>if $\v{u}$ is divergence free. </p> <p>If not, suppose $\v{u}$'s divergence is not well-defined, then we could have:</p> <p>$$ {\|\v{u} - \frac{1}{\Omega} \int_{\Omega} \v{u}\|}_{L^2(\Omega)} \leq C_1 \left(\|\v{u}\|_{L^2(\Omega)}^2+{\|\mathbf{curl} \ \v{u}\|}^2 \right)^{1/2} $$</p> <p>Since we could still do Helmholtz decomposition $\v{u} = \v{w}+\nabla p$, qualitatively speaking, locally in the a compact subdomain $K\subset \Omega$, if the $\v{u}$ is more irrotational(that gradient field $\nabla p$ is dominant), then $C_1$ is closed to $1$, if the $\v{u}$ is more weakly-solenoidal($\v{w}$ is dominant), then the $C_1$ is more closed to $\sqrt{1+d^2}$.</p> <p>I am curious if we could decompose the domain $\Omega$ into different parts, such that we estimate the Poincare constant locally and then put together to get a sharper bound? </p>